Simone Tacconi (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

4 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 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

1 Maurizio Panti, Luca Spalazzi, Simone Tacconi: Verifica formale dei protocolli di sicurezza mediante model checking. SEBD 2000: 167-180

Selection of 4 from 4 records - Simone Tacconi has 4 coauthors

4		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		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
1		Maurizio Panti, Luca Spalazzi, Simone Tacconi: Verifica formale dei protocolli di sicurezza mediante model checking. SEBD 2000: 167-180