DURANTE, ANTONIO ANDREA

DURANTE, ANTONIO ANDREA  

Dipartimento di Automatica Informatica (attivo dal 01/01/1900 al 31/12/2011)  

018670  

Mostra records
Risultati 1 - 10 di 10 (tempo di esecuzione: 0.015 secondi).
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 + -