CHEMINOD, MANUEL
CHEMINOD, MANUEL
Istituto di Elettronica e di Ingegneria dell'Informazione e delle Telecomunicazioni - IEIIT
Mostra
records
Risultati 1 - 9 di 9 (tempo di esecuzione: 0.012 secondi).
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
Detection of attacks based on known vulnerabilities in industrial networked systems
2017 Cheminod, M; 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
Review of Security Issues in Industrial Networks
2013 M. Cheminod; L. Durante; A. Valenzano
Formal Vulnerability Analysis of a Security System for Remote Fieldbus Access
2011 M. Cheminod; A. Pironti; R. Sisto
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