{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,21]],"date-time":"2025-04-21T04:27:08Z","timestamp":1745209628879,"version":"3.28.0"},"reference-count":13,"publisher":"IEEE","license":[{"start":{"date-parts":[[2022,6,27]],"date-time":"2022-06-27T00:00:00Z","timestamp":1656288000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,6,27]],"date-time":"2022-06-27T00:00:00Z","timestamp":1656288000000},"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":[[2022,6,27]]},"DOI":"10.1109\/netsoft54395.2022.9844025","type":"proceedings-article","created":{"date-parts":[[2022,8,3]],"date-time":"2022-08-03T19:34:09Z","timestamp":1659555249000},"page":"486-491","source":"Crossref","is-referenced-by-count":4,"title":["Security Automation using Traffic Flow Modeling"],"prefix":"10.1109","author":[{"given":"Simone","family":"Bussa","sequence":"first","affiliation":[{"name":"Politecnico di Torino,Dip. Automatica e Informatica,Torino,Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Riccardo","family":"Sisto","sequence":"additional","affiliation":[{"name":"Politecnico di Torino,Dip. Automatica e Informatica,Torino,Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fulvio","family":"Valenza","sequence":"additional","affiliation":[{"name":"Politecnico di Torino,Dip. Automatica e Informatica,Torino,Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","article-title":"Validating network security policies via static analysis of router acl configuration","author":"wong","year":"2006","journal-title":"Tech Rep"},{"key":"ref11","article-title":"Real time network policy checking using header space analysis","author":"kazemian","year":"2013","journal-title":"Proc of the USENIX Symp on Net Syst Design and Impl"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ICDCS.2010.15"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/INFCOM.2005.1498492"},{"key":"ref4","article-title":"Veriflow: Verifying network-wide invariants in real time","author":"khurshid","year":"2013","journal-title":"Proc of the USENIX Symp on Net Syst Design and Impl"},{"key":"ref3","article-title":"Improving the formal verification of reachability policies in virtualized networks","volume":"18","author":"bringhenti","year":"2020","journal-title":"IEEE Trans on Net and Serv Manag"},{"key":"ref6","article-title":"Checking beliefs in dynamic networks","author":"lopes","year":"2015","journal-title":"Proc of the USENIX Symp on Net Syst Design and Impl"},{"key":"ref5","article-title":"Header space analysis: Static checking for networks","author":"kazemian","year":"2012","journal-title":"Proc of the USENIX Symp on Net Syst Design and Impl"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2015.2398197"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/2934872.2934881"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/NETSOFT.2017.8004230"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/NETSOFT.2016.7502434"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2022.3160293"}],"event":{"name":"2022 IEEE 8th International Conference on Network Softwarization (NetSoft)","start":{"date-parts":[[2022,6,27]]},"location":"Milan, Italy","end":{"date-parts":[[2022,7,1]]}},"container-title":["2022 IEEE 8th International Conference on Network Softwarization (NetSoft)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9844017\/9844019\/09844025.pdf?arnumber=9844025","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,8,22]],"date-time":"2022-08-22T20:02:25Z","timestamp":1661198545000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9844025\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,6,27]]},"references-count":13,"URL":"https:\/\/doi.org\/10.1109\/netsoft54395.2022.9844025","relation":{},"subject":[],"published":{"date-parts":[[2022,6,27]]}}}