{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,17]],"date-time":"2026-07-17T15:44:38Z","timestamp":1784303078026,"version":"3.55.0"},"reference-count":26,"publisher":"IEEE","license":[{"start":{"date-parts":[[2024,5,6]],"date-time":"2024-05-06T00:00:00Z","timestamp":1714953600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,5,6]],"date-time":"2024-05-06T00:00:00Z","timestamp":1714953600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024,5,6]]},"DOI":"10.1109\/noms59830.2024.10575212","type":"proceedings-article","created":{"date-parts":[[2024,7,2]],"date-time":"2024-07-02T17:23:51Z","timestamp":1719941031000},"page":"1-9","source":"Crossref","is-referenced-by-count":8,"title":["Automatic and optimized firewall reconfiguration"],"prefix":"10.1109","author":[{"given":"Francesco","family":"Pizzato","sequence":"first","affiliation":[{"name":"Politecnico di Torino,Dip. Automatica e Informatica,Torino,Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Daniele","family":"Bringhenti","sequence":"additional","affiliation":[{"name":"Politecnico di Torino,Dip. Automatica e Informatica,Torino,Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Riccardo","family":"Sisto","sequence":"additional","affiliation":[{"name":"Politecnico di Torino,Dip. Automatica e Informatica,Torino,Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Fulvio","family":"Valenza","sequence":"additional","affiliation":[{"name":"Politecnico di Torino,Dip. Automatica e Informatica,Torino,Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/3616401"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.jnca.2016.09.002"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/s11227-020-03213-1"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/isorc.2014.12"},{"key":"ref5","first-page":"86","article-title":"Benchmarking open source NFV MANO systems: OSM and ONAP","volume-title":"Comput. Commun.","volume":"161","author":"Yilma","year":"2020"},{"key":"ref6","article-title":"DDoS attack trends for 2022 Q2","year":"2022"},{"key":"ref7","article-title":"A brief update regarding ongoing DDoS incidents","year":"2022"},{"key":"ref8","first-page":"359","article-title":"Automatically repairing network control planes using an abstract representation","volume-title":"Proceedings of the 26th Symposium on Operating Systems Principles, Shanghai, China, October 28-31, 2017","author":"Gember-Jacobson"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/3386367.3431304"},{"key":"ref10","first-page":"214","article-title":"Safely and automatically updating in-network ACL configurations with intent language","volume-title":"Proceedings of the ACM Special Interest Group on Data Communication, SIGCOMM 2019, Beijing, China, August 19-23, 2019","author":"Tian"},{"issue":"2","key":"ref11","first-page":"1","article-title":"First step towards automatic correction of firewall policy faults","volume-title":"ACM Trans. Auton. Adapt. Syst.","volume":"7","author":"Chen","year":"2012"},{"key":"ref12","first-page":"461","article-title":"A fully automatic approach for fixing firewall misconfigurations","volume-title":"11th IEEE International Conference on Computer and Information Technology, CIT 2011, Pafos, Cyprus, 31 August-2 September 2011.","author":"Youssef"},{"key":"ref13","first-page":"156","article-title":"Automatic security policy enforcement in computer systems","volume-title":"Comput. Secur.","volume":"73","author":"Adi","year":"2018"},{"issue":"1","key":"ref14","first-page":"127","article-title":"Automated repair by example for firewalls","volume-title":"Formal Methods Syst. Des.","volume":"56","author":"Hallahan","year":"2020"},{"key":"ref15","first-page":"186","article-title":"A comprehensive approach to the automatic refinement and verification of access control policies","volume-title":"Comput. Secur.","volume":"80","author":"Cheminod","year":"2019"},{"issue":"2","key":"ref16","first-page":"416","article-title":"Automated synthesis of distributed network access controls: A formal framework with refinement","volume-title":"IEEE Trans. Parallel Distributed Syst.","volume":"28","author":"Rahman","year":"2017"},{"key":"ref17","first-page":"1","article-title":"Automated optimal firewall orchestration and configuration in virtualized networks","volume-title":"NOMS 2020 - IEEE\/IFIP Network Operations and Management Symposium, Budapest, Hungary, April 20-24, 2020.","author":"Bringhenti"},{"issue":"2","key":"ref18","first-page":"1559","article-title":"Automated firewall configuration in virtual networks","volume-title":"IEEE Trans. Dependable Secur. Comput.","volume":"20","author":"Bringhenti","year":"2023"},{"key":"ref19","first-page":"486","article-title":"Security automation using traffic flow modeling","volume-title":"8th IEEE International Conference on Network Softwarization, NetSoft 2022, Milan, Italy, June 27 - July 1, 2022.","author":"Bussa"},{"key":"ref20","first-page":"1","article-title":"Real-time verification of network properties using atomic predicates","volume-title":"2013 21st IEEE International Conference on Network Protocols, ICNP 2013, G\u00f6ttingen, Germany, October 7-10, 2013.","author":"Yang"},{"issue":"10","key":"ref21","first-page":"2069","article-title":"Conflict classification and analysis of distributed firewall policies","volume-title":"IEEE J. Sel. Areas Commun.","volume":"23","author":"Al-Shaer","year":"2005"},{"issue":"5","key":"ref22","first-page":"2601","article-title":"Classification and analysis of communication protection policy anomalies","volume-title":"IEEE\/ACM Trans. Netw.","volume":"25","author":"Valenza","year":"2017"},{"key":"ref23","first-page":"337","article-title":"Z3: an efficient SMT solver","volume-title":"Proc. of the 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS, Budapest, Hungary, March 29-April 6, 2008","volume":"4963","author":"de Moura"},{"key":"ref24","article-title":"VEREFOO Github page"},{"key":"ref25","first-page":"426","article-title":"Robotron: Top-down network management at facebook scale","volume-title":"Proceedings of the ACM SIGCOMM 2016 Conference, Florianopolis, Brazil, August 22-26, 2016","author":"Sung"},{"key":"ref26","first-page":"395","article-title":"Management plane analytics","volume-title":"Proceedings of the 2015 ACM Internet Measurement Conference, IMC 2015, Tokyo, Japan, October 28-30, 2015","author":"Gember-Jacobson"}],"event":{"name":"NOMS 2024-2024 IEEE Network Operations and Management Symposium","location":"Seoul, Korea, Republic of","start":{"date-parts":[[2024,5,6]]},"end":{"date-parts":[[2024,5,10]]}},"container-title":["NOMS 2024-2024 IEEE Network Operations and Management Symposium"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/10574855\/10574897\/10575212.pdf?arnumber=10575212","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,6]],"date-time":"2024-07-06T04:50:15Z","timestamp":1720241415000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10575212\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,5,6]]},"references-count":26,"URL":"https:\/\/doi.org\/10.1109\/noms59830.2024.10575212","relation":{},"subject":[],"published":{"date-parts":[[2024,5,6]]}}}