DURANTE, ANTONIO ANDREA
DURANTE, ANTONIO ANDREA
Dipartimento di Automatica Informatica (attivo dal 01/01/1900 al 31/12/2011)
018670
Addressing the Shortcomings of One-Way Chains
2006 R., DI PIETRO; Durante, ANTONIO ANDREA; L. MANCINI AND V., Patil
Practically Unbounded One-Way Chains for Authentication with Backward Secrecy
2005 R., DI PIETRO; Durante, ANTONIO ANDREA; L. MANCINI AND V., Patil
A Reliable Key Authentication Schema for Secure Multicast Communication
2003 R., DI PIETRO; Durante, ANTONIO ANDREA; AND L. V., Mancini
A Trace Logic for Local Security Properties
2003 R., Corin; Durante, ANTONIO ANDREA; S. ETALLE AND P., Hartel
Formal Specification for Fast Automatic IDS Training
2002 Durante, ANTONIO ANDREA; R. DI PIETRO AND L. V., Mancini
Using Trace Formulae for Security Protocol Design
2002 R., Corin; Durante, ANTONIO ANDREA; S. ETALLE AND P., Hartel
A compiler for analyzing cryptographic protocols using non-interference
2000 Durante, ANTONIO ANDREA; R., Focardi; AND R., Gorrieri
Analysis of Cryptographic Protocols: the Environment and the Application
2000 Durante, ANTONIO ANDREA
CVS at work: A report on new failures upon some cryptographic protocols.
2000 Durante, ANTONIO ANDREA; R., Focardi; AND R., Gorrieri
CVS a tool for the analysis of cryptographic protocols.
1999 Durante, ANTONIO ANDREA; R. FOCARDI AND R., Gorrieri
Citazione | Data di pubblicazione | Autori | File |
---|---|---|---|
Addressing the Shortcomings of One-Way Chains / R., DI PIETRO; Durante, ANTONIO ANDREA; L. MANCINI AND V., Patil. - (2006), pp. 289-296. (Intervento presentato al convegno ACM Symposium on Information, Computer and Communications Security, tenutosi a TAIPEI nel March 21-24, 2006). | 1-gen-2006 | DURANTE, ANTONIO ANDREA + | - |
Practically Unbounded One-Way Chains for Authentication with Backward Secrecy / R., DI PIETRO; Durante, ANTONIO ANDREA; L. MANCINI AND V., Patil. - (2005). (Intervento presentato al convegno SecureComm 2005 tenutosi a ATHENS nel 5 - 9 September, 2005). | 1-gen-2005 | DURANTE, ANTONIO ANDREA + | - |
A Reliable Key Authentication Schema for Secure Multicast Communication / R., DI PIETRO; Durante, ANTONIO ANDREA; AND L. V., Mancini. - 22:(2003), pp. 231-240. (Intervento presentato al convegno SRDS 2003 tenutosi a Florence nel 6th-8th/October, 2003). | 1-gen-2003 | DURANTE, ANTONIO ANDREA + | - |
A Trace Logic for Local Security Properties / R., Corin; Durante, ANTONIO ANDREA; S. ETALLE AND P., Hartel. - 118 of ENTCS:(2003), pp. 129-143. (Intervento presentato al convegno International Workshop on Software Verification and Validation tenutosi a MUMBAI nel December, 14, 2003). | 1-gen-2003 | DURANTE, ANTONIO ANDREA + | - |
Formal Specification for Fast Automatic IDS Training / Durante, ANTONIO ANDREA; R. DI PIETRO AND L. V., Mancini. - 2629:(2002), pp. 191-204. (Intervento presentato al convegno FASec 2002 tenutosi a London nel December 16-18, 2002). | 1-gen-2002 | DURANTE, ANTONIO ANDREA + | - |
Using Trace Formulae for Security Protocol Design / R., Corin; Durante, ANTONIO ANDREA; S. ETALLE AND P., Hartel. - 7:(2002). (Intervento presentato al convegno 7th CaberNet Radicals Workshop tenutosi a Bertinoro nel 13-16 October 2002). | 1-gen-2002 | DURANTE, ANTONIO ANDREA + | - |
A compiler for analyzing cryptographic protocols using non-interference / Durante, ANTONIO ANDREA; R., Focardi; AND R., Gorrieri. - In: ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY. - ISSN 1049-331X. - 9(4):(2000), pp. 488-528. | 1-gen-2000 | DURANTE, ANTONIO ANDREA + | - |
Analysis of Cryptographic Protocols: the Environment and the Application / Durante, ANTONIO ANDREA. - 15:(2000), pp. 213-216. (Intervento presentato al convegno IFIP SEC 2000 tenutosi a Beijing nel August 21-25 2000). | 1-gen-2000 | DURANTE, ANTONIO ANDREA | - |
CVS at work: A report on new failures upon some cryptographic protocols / Durante, ANTONIO ANDREA; R., Focardi; AND R., Gorrieri. - 2052:(2000), pp. 287-299. (Intervento presentato al convegno MMM-ACNS 2001 tenutosi a ST. PETERSBURG nel May 21-23, 2001). | 1-gen-2000 | DURANTE, ANTONIO ANDREA + | - |
CVS a tool for the analysis of cryptographic protocols / Durante, ANTONIO ANDREA; R. FOCARDI AND R., Gorrieri. - 12:(1999), pp. 203-212. (Intervento presentato al convegno 12th IEEE Computer Security Foundation Workshop tenutosi a MORDANO nel 28-30 June). | 1-gen-1999 | DURANTE, ANTONIO ANDREA + | - |