| 2002 |
|---|
| 4 | EE | Massimo Benerecetti,
Maurizio Panti,
Luca Spalazzi,
Simone Tacconi:
Verification of Payment Protocols via MultiAgent Model Checking.
CAiSE 2002: 311-327 |
| 3 | | Maurizio Panti,
Luca Spalazzi,
Simone Tacconi,
Salvatore Valenti:
Automatic Verification of Security in Payment Protocols for Electronic Commerce.
ICEIS 2002: 968-974 |
| 2 | EE | Massimo Benerecetti,
Maurizio Panti,
Luca Spalazzi,
Simone Tacconi:
Verification of the SSL/TLS Protocol Using a Model Checkable Logic of Belief and Time.
SAFECOMP 2002: 126-138 |
| 2000 |
|---|
| 1 | | Maurizio Panti,
Luca Spalazzi,
Simone Tacconi:
Verifica formale dei protocolli di sicurezza mediante model checking.
SEBD 2000: 167-180 |
