|
Search the dblp DataBase
Simone Tacconi:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Massimo Benerecetti, Maurizio Panti, Luca Spalazzi, Simone Tacconi
Verification of Payment Protocols via MultiAgent Model Checking. [Citation Graph (0, 0)][DBLP] CAiSE, 2002, pp:311-327 [Conf]
- Maurizio Panti, Luca Spalazzi, Simone Tacconi, Salvatore Valenti
Automatic Verification of Security in Payment Protocols for Electronic Commerce. [Citation Graph (0, 0)][DBLP] ICEIS, 2002, pp:968-974 [Conf]
- Massimo Benerecetti, Maurizio Panti, Luca Spalazzi, Simone Tacconi
Verification of the SSL/TLS Protocol Using a Model Checkable Logic of Belief and Time. [Citation Graph (0, 0)][DBLP] SAFECOMP, 2002, pp:126-138 [Conf]
- Maurizio Panti, Luca Spalazzi, Simone Tacconi
Verifica formale dei protocolli di sicurezza mediante model checking. [Citation Graph (0, 0)][DBLP] SEBD, 2000, pp:167-180 [Conf]
Search in 0.001secs, Finished in 0.001secs
|