VALENZA, FULVIO
VALENZA, FULVIO
Istituto di Elettronica e di Ingegneria dell'Informazione e delle Telecomunicazioni - IEIIT
Mostra
records
Risultati 1 - 5 di 5 (tempo di esecuzione: 0.002 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.
A formal approach for network security policy validation
2017 Valenza F.; Su T.; Spinoso S.; Lioy A.; Sisto R.; Vallini M.
Assessing network authorization policies via reachability analysis
2017 Basile, Cataldo; Canavese, Daniele; Pitscheider, Christian; Lioy, Antonio; Valenza, Fulvio; Valenza, Fulvio
Classification and Analysis of Communication Protection Policy Anomalies
2017 Valenza F.; Basile C.; Canavese D.; Lioy A.
Inter-function anomaly analysis for correct SDN/NFV deployment
2016 Basile C.; Canavese D.; Lioy A.; Pitscheider C.; Valenza F.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
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. | |
A formal approach for network security policy validation | 1-gen-2017 | Valenza F.; Su T.; Spinoso S.; Lioy A.; Sisto R.; Vallini M. | |
Assessing network authorization policies via reachability analysis | 1-gen-2017 | Basile, Cataldo; Canavese, Daniele; Pitscheider, Christian; Lioy, Antonio; Valenza, Fulvio; Valenza, Fulvio | |
Classification and Analysis of Communication Protection Policy Anomalies | 1-gen-2017 | Valenza F.; Basile C.; Canavese D.; Lioy A. | |
Inter-function anomaly analysis for correct SDN/NFV deployment | 1-gen-2016 | Basile C.; Canavese D.; Lioy A.; Pitscheider C.; Valenza F. |