CNR Institutional Research Information System

DURANTE, LUCA

DURANTE, LUCA  

Istituto di Elettronica e di Ingegneria dell'Informazione e delle Telecomunicazioni - IEIIT  

Mostra records
Risultati 1 - 20 di 25 (tempo di esecuzione: 0.056 secondi).
Titolo Data di pubblicazione Autore(i) File
Tecniche per migliorare le prestazioni di filtraggio del traffico in reti industriali multi-firewall 1-gen-2022 Durante, L; Maggiora, M; Seno, L; Valenzano, A
A Formal Model and Technique to Redistribute the Packet Filtering Load in Multiple Firewall Networks 1-gen-2021 Durante L.; Seno L.; Valenzano A.
A comprehensive approach to the automatic refinement and verification of access control policies 1-gen-2019 Cheminod M.; Durante L.; Seno L.; Valenza F.; Valenzano A.
Performance Evaluation and Modeling of an Industrial Application-Layer Firewall 1-gen-2018 M. Cheminod; L. Durante; L. Seno; A. Valenzano
Analisi di sicurezza system-level per reti industriali 1-gen-2017 Durante, L; Maggiora, M; Valenzano, A
Detection of attacks based on known vulnerabilities in industrial networked systems 1-gen-2017 Cheminod, M; Durante, L; Seno, L; Valenzano, A
Valutazione low-cost di firewall industriali 1-gen-2017 Durante, L; Maggiora, M; Valenzano, A
A twofold model for the analysis of access control policies in industrial networked systems 1-gen-2015 CIBRARIO BERTOLOTTI, Ivan; Durante, L; Seno, L; Valenzano, A
Semiautomated Verification of Access Control Implementation in Industrial Networked Systems 1-gen-2015 M. Cheminod; L. Durante; L. Seno; A. Valenzano
Controllo di Accesso in Sistemi Industriali Distribuiti 1-gen-2014 Cheminod, M; Durante, L; A Valenzano, L Seno
La Cybersecurity delle Reti Industriali 1-gen-2013 Durante, L; Valenzano, A
Review of Security Issues in Industrial Networks 1-gen-2013 M. Cheminod; L. Durante; A. Valenzano
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