SISTO, RICCARDO
SISTO, RICCARDO
Istituto di Elettronica e di Ingegneria dell'Informazione e delle Telecomunicazioni - IEIIT
A formal approach for network security policy validation
2017 Valenza F.; Su T.; Spinoso S.; Lioy A.; Sisto R.; Vallini M.
Formal Vulnerability Analysis of a Security System for Remote Fieldbus Access
2011 Cheminod, Manuel; Pironti, Alfredo; Sisto, Riccardo
Tools for Cryptographic Protocols Analysis: A Technical and Experimental Comparison
2009 M. Cheminod; I. Cibrario Bertolotti; L. Durante; R. Sisto; A. Valenzano
Improving the Security of Industrial Networks by Means of Formal Verification
2007 CIBRARIO BERTOLOTTI, Ivan; Durante, L; Maggi, P; Sisto, R; Valenzano, A
Exploiting Symmetries for Testing Equivalence Verification in the SPI Calculus
2006 I. Cibrario Bertolotti; L. Durante; R. Sisto; A. Valenzano
Automatic Detection of Attacks on Cryptographic Protocols: A Case Study
2005 CIBRARIO BERTOLOTTI, Ivan; Durante, L; Valenzano, A; Sisto, R
Exploiting Symmetries for Testing Equivalence in the Spi Calculus
2004 I. Cibrario Bertolotti; L. Durante; A. Valenzano; R. Sisto
A New Knowledge Representation Strategy for Cryptographic Protocol Analysis
2003 CIBRARIO BERTOLOTTI, Ivan; Durante, L; Sisto, R; Valenzano, A
Automatic Testing Equivalence Verification of Spi-calculus Specifications
2003 Durante, L; Sisto, R; Valenzano, A
Introducing Commutative and Associative Operators in Cryptographic Protocol Analysis
2003 I. Cibrario Bertolotti; L. Durante; R. Sisto; A. Valenzano
| 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 | |
| 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 | |
| Exploiting Symmetries for Testing Equivalence Verification in the SPI Calculus | 1-gen-2006 | I. Cibrario Bertolotti; L. Durante; R. Sisto; A. Valenzano | |
| 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 | |
| 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 |