Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Antonio Durante
2000 – 2009
- 2006
[c7]Roberto Di Pietro, Luigi V. Mancini, Antonio Durante, Vishwas Patil: Addressing the shortcomings of one-way chains. ASIACCS 2006: 289-296- 2005
- [j2]Ricardo Corin, Sandro Etalle, Pieter H. Hartel, Antonio Durante: A Trace Logic for Local Security Properties. Electr. Notes Theor. Comput. Sci. 118: 129-143 (2005)
- [c6]Roberto Di Pietro, Antonio Durante, Luigi V. Mancini, Vishwas Patil: Short Paper: Practically Unbounded One-Way Chains for Authentication with Backward Secrecy. SecureComm 2005: 400-402
- 2004
- [i1]Ricardo Corin, Antonio Durante, Sandro Etalle, Pieter H. Hartel: A Trace Logic for Local Security Properties. CoRR cs.CR/0411010 (2004)
- 2003
- [c5]Roberto Di Pietro, Antonio Durante, Luigi V. Mancini: A Reliable Key Authentication Schema for Secure Multicast Communications. SRDS 2003: 231-240
- 2002
- [c4]Antonio Durante, Roberto Di Pietro, Luigi V. Mancini: Formal Specification for Fast Automatic IDS Training. FASec 2002: 191-204
- 2001
- [c3]Antonio Durante, Riccardo Focardi, Roberto Gorrieri: CVS at Work: A Report on New Failures upon Some Cryptographic Protocols. MMM-ACNS 2001: 287-299
- 2000
- [j1]Antonio Durante, Riccardo Focardi, Roberto Gorrieri: A compiler for analyzing cryptographic protocols using noninterference. ACM Trans. Softw. Eng. Methodol. 9(4): 488-528 (2000)
1990 – 1999
- 1999
- [c2]Antonio Durante, Riccardo Focardi, Roberto Gorrieri: CVS: A Compiler for the Analysis of Cryptographic Protocols. CSFW 1999: 203-212
- 1994
- [c1]Giancarlo Succi, Joy Marino, Alberto Baudino, Antonio Durante: The Compilation of a Set-Based Logic Language for Generic Parallel Machines. WLP 1994: 16-19
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2012-12-02 21:18 CET by the dblp team