dblp.uni-trier.dewww.uni-trier.de

Antonio Durante

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2006
9EERoberto Di Pietro, Luigi V. Mancini, Antonio Durante, Vishwas Patil: Addressing the shortcomings of one-way chains. ASIACCS 2006: 289-296
2005
8EERicardo Corin, Sandro Etalle, Pieter H. Hartel, Antonio Durante: A Trace Logic for Local Security Properties. Electr. Notes Theor. Comput. Sci. 118: 129-143 (2005)
2004
7EERicardo Corin, Antonio Durante, Sandro Etalle, Pieter H. Hartel: A Trace Logic for Local Security Properties CoRR cs.CR/0411010: (2004)
2003
6EERoberto Di Pietro, Antonio Durante, Luigi V. Mancini: A Reliable Key Authentication Schema for Secure Multicast Communications. SRDS 2003: 231-240
2002
5EEAntonio Durante, Roberto Di Pietro, Luigi V. Mancini: Formal Specification for Fast Automatic IDS Training. FASec 2002: 191-204
2001
4EEAntonio Durante, Riccardo Focardi, Roberto Gorrieri: CVS at Work: A Report on New Failures upon Some Cryptographic Protocols. MMM-ACNS 2001: 287-299
2000
3EEAntonio Durante, Riccardo Focardi, Roberto Gorrieri: A compiler for analyzing cryptographic protocols using noninterference. ACM Trans. Softw. Eng. Methodol. 9(4): 488-528 (2000)
1999
2EEAntonio Durante, Riccardo Focardi, Roberto Gorrieri: CVS: A Compiler for the Analysis of Cryptographic Protocols. CSFW 1999: 203-212
1994
1 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

1Alberto Baudino [1]
2Ricardo Corin [7] [8]
3Sandro Etalle [7] [8]
4Riccardo Focardi [2] [3] [4]
5Roberto Gorrieri [2] [3] [4]
6Pieter H. Hartel [7] [8]
7Luigi V. Mancini [5] [6] [9]
8Joy Marino [1]
9Vishwas Patil [9]
10Roberto Di Pietro [5] [6] [9]
11Giancarlo Succi [1]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)