Archivio Istituzionale della RicercaSfoglia per Autore
Towards an Efficient Management and Orchestration Framework for Virtual Network Security Functions
2019 Pedone, Ignazio; Lioy, Antonio; 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
Formally specifying and checking policies and anomalies in service function chaining
2019 Valenza, F.; Spinoso, S.; Sisto, R.
A comprehensive approach to the automatic refinement and verification of access control policies
2019 Cheminod, Manuel; Durante, Luca; Seno, Lucia; Valenza, Fulvio; Valenzano, Adriano
Towards a fully automated and optimized network security functions orchestration
2019 Bringhenti, Daniele; Marchetto, Guido; Sisto, Riccardo; Valenza, Fulvio; Yusupov, Jalolliddin
Improvements in the transmission of data or messages on board a vehicle by means of a SOME/IP communication protocol
2020 Iorio, Marco; Risso, FULVIO GIOVANNI OTTAVIO; Sisto, Riccardo; Valenza, Fulvio; Reineri, Massimo; Buttiglieri, Alberto
Automatic Firewalls’ Configuration Using Argumentation Reasoning
2020 Karafili, E.; Valenza, F.
Automated optimal firewall orchestration and configuration in virtualized networks
2020 Bringhenti, D.; Marchetto, G.; Sisto, R.; Valenza, F.; Yusupov, J.
Securing SOME/IP for In-Vehicle Service Protection
2020 Iorio, Marco; Reineri, Massimo; Risso, Fulvio; Sisto, Riccardo; Valenza, Fulvio
(User-friendly) formal requirements verification in the context of ISO26262
2020 Makartetskiy, Denis; Marchetto, Guido; Sisto, Riccardo; Valenza, Fulvio; Virgilio, Matteo; Leri, Denise; Denti, Paolo; Finizio, Roberto
Protecting In-Vehicle Services : Security-Enabled SOME/IP Middleware
2020 Iorio, Marco; Buttiglieri, Alberto; Reineri, Massimo; Risso, Fulvio; Sisto, Riccardo; Valenza, Fulvio
Towards a Framework for Automatic Firewalls Configuration via Argumentation Reasoning
2020 Karafili, E.; Valenza, F.; Chen, Y.; Lupu, E. C.
Work-in-Progress: A Formal Approach to Verify Fault Tolerance in Industrial Network Systems
2020 Sacco, Alessio; Marchetto, Guido; Sisto, Riccardo; Valenza, Fulvio
Introducing programmability and automation in the synthesis of virtual firewall rules
2020 Bringhenti, Daniele; Marchetto, Guido; Sisto, Riccardo; Valenza, Fulvio; Yusupov, Jalolliddin
Short Paper: Automatic Configuration for an Optimal Channel Protection in Virtualized Networks
2020 Bringhenti, Daniele; Marchetto, Guido; Sisto, Riccardo; Valenza, Fulvio
An optimized firewall anomaly resolution
2020 Valenza, F.; Cheminod, M.
A novel approach for security function graph configuration and deployment
2021 Bringhenti, D.; Marchetto, G.; Sisto, R.; Valenza, F.
A Formal Approach to Verify Connectivity and Optimize VNF Placement in Industrial Networks
2021 Marchetto, Guido; Sisto, Riccardo; Valenza, Fulvio; Yusupov, Jalolliddin; Ksentini, Adlen
Improving the formal verification of reachability policies in virtualized networks
2021 Bringhenti, Daniele; Marchetto, Guido; Sisto, Riccardo; Spinoso, Serena; Valenza, Fulvio; Yusupov, Jalolliddin
Guest editorial: Special issue on novel cyber-security paradigms for software-defined and virtualized systems
2021 Valenza, F.; Repetto, M.; Shiaeles, S.
| Citazione | Data di pubblicazione | Autori | File |
|---|---|---|---|
| Towards an Efficient Management and Orchestration Framework for Virtual Network Security Functions / Pedone, Ignazio; Lioy, Antonio; Valenza, Fulvio. - In: SECURITY AND COMMUNICATION NETWORKS. - ISSN 1939-0114. - STAMPA. - 2019:(2019), pp. 1-11. [10.1155/2019/2425983] | 1-gen-2019 | PEDONE, IGNAZIOLioy, AntonioValenza, Fulvio | 2425983.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 |
| Formally specifying and checking policies and anomalies in service function chaining / Valenza, F.; Spinoso, S.; Sisto, R.. - In: JOURNAL OF NETWORK AND COMPUTER APPLICATIONS. - ISSN 1084-8045. - 146:(2019), pp. 1-14. [10.1016/j.jnca.2019.102419] | 1-gen-2019 | Valenza F.Spinoso S.Sisto R. | 1-s2.0-S108480451930253X-main.pdf; 2019JNCA_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 |
| Towards a fully automated and optimized network security functions orchestration / Bringhenti, Daniele; Marchetto, Guido; Sisto, Riccardo; Valenza, Fulvio; Yusupov, Jalolliddin. - ELETTRONICO. - (2019), pp. 1-7. (Intervento presentato al convegno 4th IEEE International Conference on Computing, Communications and Security tenutosi a Rome, Italy nel October 2019) [10.1109/CCCS.2019.8888130]. | 1-gen-2019 | BRINGHENTI, DANIELEGuido MarchettoRiccardo SistoFulvio ValenzaJalolliddin Yusupov | main.pdf; main-2.pdf |
| Improvements in the transmission of data or messages on board a vehicle by means of a SOME/IP communication protocol / Iorio, Marco; Risso, FULVIO GIOVANNI OTTAVIO; Sisto, Riccardo; Valenza, Fulvio; Reineri, Massimo; Buttiglieri, Alberto. - (2020). | 1-gen-2020 | Marco IorioFulvio RissoRiccardo SistoFulvio Valenza + | - |
| Automatic Firewalls’ Configuration Using Argumentation Reasoning / Karafili, E.; Valenza, F.. - 12515:(2020), pp. 124-140. (Intervento presentato al convegno 3rd International Workshop on Emerging Technologies for Authorization and Authentication, ETAA 2020 tenutosi a gbr nel 2020) [10.1007/978-3-030-64455-0_8]. | 1-gen-2020 | Valenza F. + | Karafili-Valenza2020_Chapter_AutomaticFirewallsConfiguratio.pdf |
| Automated optimal firewall orchestration and configuration in virtualized networks / Bringhenti, D.; Marchetto, G.; Sisto, R.; Valenza, F.; Yusupov, J.. - ELETTRONICO. - (2020), pp. 1-7. (Intervento presentato al convegno 2020 IEEE/IFIP Network Operations and Management Symposium, NOMS 2020 tenutosi a Budapest (HU) nel 2020) [10.1109/NOMS47738.2020.9110402]. | 1-gen-2020 | Bringhenti D.Marchetto G.Sisto R.Valenza F.Yusupov J. | noms.pdf; 2020NOMS_VEREFOO_author.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 |
| (User-friendly) formal requirements verification in the context of ISO26262 / Makartetskiy, Denis; Marchetto, Guido; Sisto, Riccardo; Valenza, Fulvio; Virgilio, Matteo; Leri, Denise; Denti, Paolo; Finizio, Roberto. - In: ENGINEERING SCIENCE AND TECHNOLOGY, AN INTERNATIONAL JOURNAL. - ISSN 2215-0986. - ELETTRONICO. - 23:3(2020), pp. 494-506. [10.1016/j.jestch.2019.09.005] | 1-gen-2020 | Denis MakartetskiyGuido MarchettoRiccardo SistoFulvio ValenzaMatteo Virgilio + | 1-s2.0-S2215098619306147-main.pdf |
| Protecting In-Vehicle Services : Security-Enabled SOME/IP Middleware / Iorio, Marco; Buttiglieri, Alberto; Reineri, Massimo; Risso, Fulvio; Sisto, Riccardo; Valenza, Fulvio. - In: IEEE VEHICULAR TECHNOLOGY MAGAZINE. - ISSN 1556-6072. - ELETTRONICO. - 15:3(2020), pp. 77-85. [10.1109/MVT.2020.2980444] | 1-gen-2020 | Iorio MarcoRisso FulvioSisto RiccardoValenza Fulvio + | 09085373.pdf; 09085373.pdf |
| Towards a Framework for Automatic Firewalls Configuration via Argumentation Reasoning / Karafili, E.; Valenza, F.; Chen, Y.; Lupu, E. C.. - (2020), pp. 1-4. (Intervento presentato al convegno 2020 IEEE/IFIP Network Operations and Management Symposium, NOMS 2020 tenutosi a hun nel 2020) [10.1109/NOMS47738.2020.9110399]. | 1-gen-2020 | Valenza F. + | Argumentation2020.pdf; 2020NOMS_ArgoFiCo_author.pdf |
| Work-in-Progress: A Formal Approach to Verify Fault Tolerance in Industrial Network Systems / Sacco, Alessio; Marchetto, Guido; Sisto, Riccardo; Valenza, Fulvio. - ELETTRONICO. - (2020), pp. 1-4. (Intervento presentato al convegno 2020 16th IEEE International Conference on Factory Communication Systems (WFCS) tenutosi a Porto, Portugal nel 27-29 April 2020) [10.1109/WFCS47810.2020.9114432]. | 1-gen-2020 | Alessio SaccoGuido MarchettoRiccardo SistoFulvio Valenza | WFCS_2020_WiP_submitted.pdf; 09114432.pdf |
| Introducing programmability and automation in the synthesis of virtual firewall rules / Bringhenti, Daniele; Marchetto, Guido; Sisto, Riccardo; Valenza, Fulvio; Yusupov, Jalolliddin. - ELETTRONICO. - (2020), pp. 473-478. (Intervento presentato al convegno 2nd International Workshop on Cyber-Security Threats, Trust and Privacy Management in Software-defined and Virtualized Infrastructures (SecSoft), co-located with 2020 6th IEEE Conference on Network Softwarization (NetSoft) tenutosi a Ghent, Belgium nel 2020) [10.1109/NetSoft48620.2020.9165434]. | 1-gen-2020 | Bringhenti, DanieleMarchetto, GuidoSisto, RiccardoValenza, FulvioYusupov, Jalolliddin | main.pdf; secsoft.pdf |
| Short Paper: Automatic Configuration for an Optimal Channel Protection in Virtualized Networks / Bringhenti, Daniele; Marchetto, Guido; Sisto, Riccardo; Valenza, Fulvio. - ELETTRONICO. - (2020), pp. 25-30. (Intervento presentato al convegno 2nd Workshop on Cyber-Security Arms Race (CYSARM) tenutosi a Virtual Event nel November 13, 2020) [10.1145/3411505.3418439]. | 1-gen-2020 | Bringhenti,DanieleMarchetto,GuidoSisto,RiccardoValenza,Fulvio | 3411505.3418439.pdf; 2020_CYSARM_author.pdf |
| An optimized firewall anomaly resolution / Valenza, F.; Cheminod, M.. - In: JOURNAL OF INTERNET SERVICES AND INFORMATION SECURITY. - ISSN 2182-2069. - ELETTRONICO. - 10:1(2020), pp. 22-37. [10.22667/JISIS.2020.02.29.022] | 1-gen-2020 | Valenza F.Cheminod M. | jisis-2020-vol10-no1-02.pdf |
| A novel approach for security function graph configuration and deployment / Bringhenti, D.; Marchetto, G.; Sisto, R.; Valenza, F.. - ELETTRONICO. - (2021), pp. 457-463. (Intervento presentato al convegno 7th IEEE International Conference on Network Softwarization, NetSoft 2021 nel 2021) [10.1109/NetSoft51509.2021.9492654]. | 1-gen-2021 | Bringhenti D.Marchetto G.Sisto R.Valenza F. | secsoft2021.pdf; main.pdf |
| 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 |
| Improving the formal verification of reachability policies in virtualized networks / Bringhenti, Daniele; Marchetto, Guido; Sisto, Riccardo; Spinoso, Serena; Valenza, Fulvio; Yusupov, Jalolliddin. - In: IEEE TRANSACTIONS ON NETWORK AND SERVICE MANAGEMENT. - ISSN 1932-4537. - ELETTRONICO. - 18:1(2021), pp. 713-728. [10.1109/TNSM.2020.3045781] | 1-gen-2021 | Daniele BringhentiGuido MarchettoRiccardo SistoSerena SpinosoFulvio ValenzaJalolliddin Yusupov | TNSM2021.pdf; TNSM09298793.pdf |
| Guest editorial: Special issue on novel cyber-security paradigms for software-defined and virtualized systems / Valenza, F.; Repetto, M.; Shiaeles, S.. - In: COMPUTER NETWORKS. - ISSN 1389-1286. - ELETTRONICO. - 193:(2021), p. 108126. [10.1016/j.comnet.2021.108126] | 1-gen-2021 | Valenza F. + | 1-s2.0-S1389128621001997-main.pdf |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile