Adding support for automatic enforcement of security policies in NFV networks C Basile, F Valenza, A Lioy, DR Lopez, AP Perales IEEE/ACM Transactions on Networking 27 (2), 707-720, 2019 | 61 | 2019 |
A novel approach for integrating security policy enforcement with dynamic network virtualization C Basile, A Lioy, C Pitscheider, F Valenza, M Vallini Network Softwarization (NetSoft), 2015 1st IEEE Conference on, 2015 | 58 | 2015 |
Automated optimal firewall orchestration and configuration in virtualized networks D Bringhenti, G Marchetto, R Sisto, F Valenza, J Yusupov NOMS 2020-2020 IEEE/IFIP Network Operations and Management Symposium, 1-7, 2020 | 42 | 2020 |
Classification and analysis of communication protection policy anomalies F Valenza, C Basile, D Canavese, A Lioy IEEE/ACM Transactions on Networking 25 (5), 2601 - 2614, 2017 | 42 | 2017 |
Securing SOME/IP for in-vehicle service protection M Iorio, M Reineri, F Risso, R Sisto, F Valenza IEEE Transactions on Vehicular Technology 69 (11), 13450-13466, 2020 | 40 | 2020 |
Towards a fully automated and optimized network security functions orchestration D Bringhenti, G Marchetto, R Sisto, F Valenza, J Yusupov 2019 4th International Conference on Computing, Communications and Security …, 2019 | 38 | 2019 |
Automated firewall configuration in virtual networks D Bringhenti, G Marchetto, R Sisto, F Valenza, J Yusupov IEEE Transactions on Dependable and Secure Computing 20 (2), 1559-1576, 2022 | 36 | 2022 |
Improving the formal verification of reachability policies in virtualized networks D Bringhenti, G Marchetto, R Sisto, S Spinoso, F Valenza, J Yusupov IEEE Transactions on Network and Service Management 18 (1), 713 - 728, 2020 | 33 | 2020 |
Protecting In-Vehicle Services : Security-Enabled SOME/IP Middleware M Iorio, A Buttiglieri, M Reineri, F Risso, R Sisto, F Valenza IEEE Vehicular Technology Magazine, 2020 | 32 | 2020 |
Leveraging SDN to improve security in industrial networks M Cheminod, L Durante, L Seno, F Valenza, A Valenzano, C Zunino 2017 IEEE 13th International Workshop on Factory Communication Systems (WFCS …, 2017 | 28 | 2017 |
An Optimized Firewall Anomaly Resolution F Valenza, M Cheminod Journal of Internet Services and Information Security 10 (1), 22-37, 2020 | 27 | 2020 |
Formally specifying and checking policies and anomalies in service function chaining F Valenza, S Spinoso, R Sisto Journal of Network and Computer Applications 146, 102419, 2019 | 24 | 2019 |
Assessing network authorization policies via reachability analysis C Basile, D Canavese, C Pitscheider, A Lioy, F Valenza Computers & Electrical Engineering 64, 110-131, 2017 | 24 | 2017 |
Automatic, verifiable and optimized policy-based security enforcement for SDN-aware IoT networks D Bringhenti, J Yusupov, AM Zarca, F Valenza, R Sisto, JB Bernabe, ... Computer Networks 213, 109123, 2022 | 23 | 2022 |
A comprehensive approach to the automatic refinement and verification of access control policies M Cheminod, L Durante, L Seno, F Valenza, A Valenzano Computers & Security 80, 186-199, 2019 | 23 | 2019 |
A model for the analysis of security policies in service function chains L Durante, L Seno, F Valenza, A Valenzano 2017 IEEE Conference on Network Softwarization (NetSoft), 1-6, 2017 | 22 | 2017 |
A formal model of network policy analysis F Valenza, S Spinoso, C Basile, R Sisto, A Lioy 2015 IEEE 1st International Forum on Research and Technologies for Society …, 2015 | 21 | 2015 |
Toward cybersecurity personalization in smart homes D Bringhenti, F Valenza, C Basile IEEE Security & Privacy 20 (1), 45-53, 2021 | 20 | 2021 |
A framework for verification-oriented user-friendly network function modeling G Marchetto, R Sisto, F Valenza, J Yusupov IEEE Access 7, 99349-99359, 2019 | 20 | 2019 |
Introducing programmability and automation in the synthesis of virtual firewall rules D Bringhenti, G Marchetto, R Sisto, F Valenza, J Yusupov 2020 6th IEEE Conference on Network Softwarization (NetSoft), 473-478, 2020 | 19 | 2020 |