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

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

Selection of 2 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
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