CNR Institutional Research Information System

SISTO, RICCARDO

SISTO, RICCARDO  

Mostra records
Risultati 1 - 18 di 18 (tempo di esecuzione: 0.046 secondi).
Titolo Data di pubblicazione Autore(i) File
A formal approach for network security policy validation 1-gen-2017 Valenza F.; Su T.; Spinoso S.; Lioy A.; Sisto R.; Vallini M.
Formal Vulnerability Analysis of a Security System for Remote Fieldbus Access 1-gen-2011 Cheminod, Manuel; Pironti, Alfredo; Sisto, Riccardo
Tools for Cryptographic Protocols Analysis: A Technical and Experimental Comparison 1-gen-2009 M. Cheminod; I. Cibrario Bertolotti; L. Durante; R. Sisto; A. Valenzano
Evaluating the Combined Effect of Vulnerabilities and Faults on Large Distributed Systems 1-gen-2007 Cheminod, M; CIBRARIO BERTOLOTTI, Ivan; Durante, L; Sisto, R; Valenzano, A
Experimental Comparison of Automatic Tools for the Formal Analysis of Cryptographic Protocols 1-gen-2007 Cheminod, M; CIBRARIO BERTOLOTTI, Ivan; Durante, L; Sisto, R; Valenzano, A
Improving the Security of Industrial Networks by Means of Formal Verification 1-gen-2007 CIBRARIO BERTOLOTTI, Ivan; Durante, L; Maggi, P; Sisto, R; Valenzano, A
Comparing Lexical Analysis Tools for Buffer Overflow Detection in Network Software 1-gen-2006 Durante, L; Pozza, D; Sisto, R; Valenzano, A
Exploiting Symmetries for Testing Equivalence Verification in the SPI Calculus 1-gen-2006 I. Cibrario Bertolotti; L. Durante; R. Sisto; A. Valenzano
On the Use of Automatic Tools for the Formal Analysis of the IEEE 802.11 Key-Exchange Protocols 1-gen-2006 Cheminod, M; CIBRARIO BERTOLOTTI, Ivan; Durante, L; Sisto, R; Valenzano, A
Automatic Detection of Attacks on Cryptographic Protocols: A Case Study 1-gen-2005 CIBRARIO BERTOLOTTI, Ivan; Durante, L; Valenzano, A; Sisto, R
Exploiting Symmetries for Testing Equivalence in the Spi Calculus 1-gen-2004 I. Cibrario Bertolotti; L. Durante; A. Valenzano; R. Sisto
Spi2Java: Automatic Cryptographic Protocol Java Code Generation from spi calculus 1-gen-2004 D. Pozza; R. Sisto; L. Durante
A New Knowledge Representation Strategy for Cryptographic Protocol Analysis 1-gen-2003 CIBRARIO BERTOLOTTI, Ivan; Durante, L; Sisto, R; Valenzano, A
Automatic Testing Equivalence Verification of Spi-calculus Specifications 1-gen-2003 Durante, L; Sisto, R; Valenzano, A
Introducing Commutative and Associative Operators in Cryptographic Protocol Analysis 1-gen-2003 I. Cibrario Bertolotti; L. Durante; R. Sisto; A. Valenzano
A State-Exploration Technique for Spi-Calculus Testing Equivalence Verification 1-gen-2000 Durante, L; Sisto, R; Valenzano, A
Graphic LOTOS Specification of an EN50254 System 1-gen-2000 L. Durante; R. Sisto; A. Valenzano
Dynamic Data Management in STEP 1-gen-1999 L. Durante; R. Sisto; A. Valenzano