|
Search the dblp DataBase
Antonio Durante:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Roberto Di Pietro, Luigi V. Mancini, Antonio Durante, Vishwas Patil
Addressing the shortcomings of one-way chains. [Citation Graph (0, 0)][DBLP] ASIACCS, 2006, pp:289-296 [Conf]
- Antonio Durante, Riccardo Focardi, Roberto Gorrieri
CVS: A Compiler for the Analysis of Cryptographic Protocols. [Citation Graph (0, 0)][DBLP] CSFW, 1999, pp:203-212 [Conf]
- Antonio Durante, Roberto Di Pietro, Luigi V. Mancini
Formal Specification for Fast Automatic IDS Training. [Citation Graph (0, 0)][DBLP] FASec, 2002, pp:191-204 [Conf]
- Antonio Durante, Riccardo Focardi, Roberto Gorrieri
CVS at Work: A Report on New Failures upon Some Cryptographic Protocols. [Citation Graph (0, 0)][DBLP] MMM-ACNS, 2001, pp:287-299 [Conf]
- Roberto Di Pietro, Antonio Durante, Luigi V. Mancini
A Reliable Key Authentication Schema for Secure Multicast Communications. [Citation Graph (0, 0)][DBLP] SRDS, 2003, pp:231-240 [Conf]
- Giancarlo Succi, Joy Marino, Alberto Baudino, Antonio Durante
The Compilation of a Set-Based Logic Language for Generic Parallel Machines. [Citation Graph (0, 0)][DBLP] WLP, 1994, pp:16-19 [Conf]
- Ricardo Corin, Antonio Durante, Sandro Etalle, Pieter H. Hartel
A Trace Logic for Local Security Properties [Citation Graph (0, 0)][DBLP] CoRR, 2004, v:0, n:, pp:- [Journal]
- Ricardo Corin, Sandro Etalle, Pieter H. Hartel, Antonio Durante
A Trace Logic for Local Security Properties. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2005, v:118, n:, pp:129-143 [Journal]
- Antonio Durante, Riccardo Focardi, Roberto Gorrieri
A compiler for analyzing cryptographic protocols using noninterference. [Citation Graph (0, 0)][DBLP] ACM Trans. Softw. Eng. Methodol., 2000, v:9, n:4, pp:488-528 [Journal]
Search in 0.003secs, Finished in 0.004secs
|