Archivio Istituzionale della RicercaVALENZA, FULVIO
VALENZA, FULVIO
Dipartimento di Automatica e Informatica
034475
A Formal Approach to Verify Connectivity and Optimize VNF Placement in Industrial Networks
2021 Marchetto, Guido; Sisto, Riccardo; Valenza, Fulvio; Yusupov, Jalolliddin; Ksentini, Adlen
Securing SOME/IP for In-Vehicle Service Protection
2020 Iorio, Marco; Reineri, Massimo; Risso, Fulvio; Sisto, Riccardo; Valenza, Fulvio
Adding Support for Automatic Enforcement of Security Policies in NFV Networks
2019 Basile, Cataldo; Valenza, Fulvio; Lioy, Antonio; Lopez, Diego R.; Pastor Perales, Antonio
Classification and analysis of communication protection policy anomalies
2017 Valenza, Fulvio; Basile, Cataldo; Canavese, Daniele; Lioy, Antonio
A comprehensive approach to the automatic refinement and verification of access control policies
2019 Cheminod, Manuel; Durante, Luca; Seno, Lucia; Valenza, Fulvio; Valenzano, Adriano
| Citazione | Data di pubblicazione | Autori | File |
|---|---|---|---|
| A Formal Approach to Verify Connectivity and Optimize VNF Placement in Industrial Networks / Marchetto, Guido; Sisto, Riccardo; Valenza, Fulvio; Yusupov, Jalolliddin; Ksentini, Adlen. - In: IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS. - ISSN 1551-3203. - 17:2(2021), pp. 1515-1525. [10.1109/tii.2020.3002816] | 1-gen-2021 | Marchetto, GuidoSisto, RiccardoValenza, FulvioYusupov, Jalolliddin + | TII2021.pdf; 09119174.pdf |
| Securing SOME/IP for In-Vehicle Service Protection / Iorio, Marco; Reineri, Massimo; Risso, Fulvio; Sisto, Riccardo; Valenza, Fulvio. - In: IEEE TRANSACTIONS ON VEHICULAR TECHNOLOGY. - ISSN 0018-9545. - ELETTRONICO. - 69:11(2020), pp. 13450-13466. [10.1109/TVT.2020.3028880] | 1-gen-2020 | Iorio,MarcoRisso,FulvioSisto,RiccardoValenza,Fulvio + | 09215036.pdf; 09215036.pdf |
| Adding Support for Automatic Enforcement of Security Policies in NFV Networks / Basile, Cataldo; Valenza, Fulvio; Lioy, Antonio; Lopez, Diego R.; Pastor Perales, Antonio. - In: IEEE-ACM TRANSACTIONS ON NETWORKING. - ISSN 1063-6692. - STAMPA. - 27:2(2019), pp. 707-720. [10.1109/TNET.2019.2895278] | 1-gen-2019 | Cataldo BasileFulvio ValenzaAntonio Lioy + | IEEE_ACM_10.1109_TNET.2019.2895278_preprint.pdf; 08637976.pdf |
| Classification and analysis of communication protection policy anomalies / Valenza, Fulvio; Basile, Cataldo; Canavese, Daniele; Lioy, Antonio. - In: IEEE-ACM TRANSACTIONS ON NETWORKING. - ISSN 1063-6692. - STAMPA. - 25:5(2017), pp. 2601-2614. [10.1109/TNET.2017.2708096] | 1-gen-2017 | VALENZA, FULVIOBASILE, CATALDOCANAVESE, DANIELELIOY, ANTONIO | 07967691.pdf; 2017TNET_author.pdf |
| 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.pdf; 1-s2.0-S0167404818303870-main.pdf |