DURANTE, LUCA

DURANTE, LUCA  

002178  

Mostra records
Risultati 1 - 4 di 4 (tempo di esecuzione: 0.003 secondi).
Citazione Data di pubblicazione Autori File
A comprehensive approach to the automatic refinement and verification of access control policies / Cheminod, Manuel; Durante, Luca; Seno, Lucia; Valenza, Fulvio; Valenzano, Adriano. - In: COMPUTERS & SECURITY. - ISSN 0167-4048. - 80:(2019), pp. 186-199. [10.1016/j.cose.2018.09.013] 1-gen-2019 Cheminod, ManuelDurante, LucaValenza, FulvioValenzano, Adriano + main.pdf1-s2.0-S0167404818303870-main.pdf
Detecting Chains of Vulnerabilities in Industrial Networks / Cheminod, Manuel; CIBRARIO BERTOLOTTI, Ivan; Durante, Luca; Maggi, Paolo; Pozza, Davide; Sisto, Riccardo; Valenzano, Adriano. - In: IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS. - ISSN 1551-3203. - STAMPA. - 5:2(2009), pp. 181-193. [10.1109/TII.2009.2018627] 1-gen-2009 CHEMINOD, MANUELCIBRARIO BERTOLOTTI, IVANDURANTE, LUCAMAGGI, PaoloPOZZA, DAVIDESISTO, RiccardoVALENZANO, ADRIANO 04895710.pdf
Efficient Representation of the Attacker's Knowledge in Cryptographic Protocols Analysis / CIBRARIO BERTOLOTTI, Ivan; Durante, Luca; Sisto, Riccardo; Valenzano, Adriano. - In: FORMAL ASPECTS OF COMPUTING. - ISSN 0934-5043. - STAMPA. - 20:3(2008), pp. 303-348. [10.1007/s00165-008-0078-3] 1-gen-2008 CIBRARIO BERTOLOTTI, IVANDURANTE, LUCASISTO, RiccardoVALENZANO, ADRIANO 10.1007-s00165-008-0078-3.pdf
Tools for cryptographic protocols analysis: A technical and experimental comparison / Cheminod, Manuel; BERTOLOTTI I., Cibrario; Durante, Luca; Sisto, Riccardo; Valenzano, Adriano. - In: COMPUTER STANDARDS & INTERFACES. - ISSN 0920-5489. - 31(5):(2009), pp. 954-961. [10.1016/J.CSI.2008.09.030] 1-gen-2009 CHEMINOD, MANUELDURANTE, LUCASISTO, RiccardoVALENZANO, ADRIANO + -