DURANTE, LUCA
DURANTE, LUCA
Istituto di Elettronica e di Ingegneria dell'Informazione e delle Telecomunicazioni - IEIIT
Tecniche per migliorare le prestazioni di filtraggio del traffico in reti industriali multi-firewall
2022 Durante, L; Maggiora, M; Seno, L; Valenzano, A
A Formal Model and Technique to Redistribute the Packet Filtering Load in Multiple Firewall Networks
2021 Durante L.; Seno L.; Valenzano A.
A comprehensive approach to the automatic refinement and verification of access control policies
2019 Cheminod M.; Durante L.; Seno L.; Valenza F.; Valenzano A.
Performance Evaluation and Modeling of an Industrial Application-Layer Firewall
2018 M. Cheminod; L. Durante; L. Seno; A. Valenzano
Analisi di sicurezza system-level per reti industriali
2017 Durante, L; Maggiora, M; Valenzano, A
Detection of attacks based on known vulnerabilities in industrial networked systems
2017 Cheminod, M; Durante, L; Seno, L; Valenzano, A
Valutazione low-cost di firewall industriali
2017 Durante, L; Maggiora, M; Valenzano, A
A twofold model for the analysis of access control policies in industrial networked systems
2015 CIBRARIO BERTOLOTTI, Ivan; Durante, L; Seno, L; Valenzano, A
Semiautomated Verification of Access Control Implementation in Industrial Networked Systems
2015 M. Cheminod; L. Durante; L. Seno; A. Valenzano
Controllo di Accesso in Sistemi Industriali Distribuiti
2014 Cheminod, M; Durante, L; A Valenzano, L Seno
La Cybersecurity delle Reti Industriali
2013 Durante, L; Valenzano, A
Review of Security Issues in Industrial Networks
2013 M. Cheminod; L. Durante; A. Valenzano
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