{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T08:38:37Z","timestamp":1725698317684},"reference-count":27,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,5]]},"DOI":"10.1109\/ifipnetworking.2016.7497226","type":"proceedings-article","created":{"date-parts":[[2016,6,25]],"date-time":"2016-06-25T07:39:03Z","timestamp":1466840343000},"page":"28-36","source":"Crossref","is-referenced-by-count":8,"title":["Anomaly-free policy composition in software-defined networks"],"prefix":"10.1109","author":[{"given":"Mohsen","family":"Rezvani","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Aleksandar","family":"Ignjatovic","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maurice","family":"Pagnucco","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sanjay","family":"Jha","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-36087-5_18"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/CSF.2014.32"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/2034574.2034812"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/2535838.2535862"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-43936-4_23"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/2774993.2775064"},{"key":"ref16","article-title":"FRESCO: Modular composable security services for software-defined networks","author":"shin","year":"2013","journal-title":"Proceedings of ISOC Symposium on Network and Distributed System Security Sein"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/2785956.2787506"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/2784731.2784761"},{"year":"2014","key":"ref19","article-title":"Openflow switch specification version 1.5.0"},{"key":"ref4","first-page":"87","article-title":"CoVisor: A compositional hypervisor for software-defined networks","author":"jin","year":"2015","journal-title":"Proceedings of the 10th USENIX Conference on Networked Systems Design and Implementation Ser NSDI"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2007.893156"},{"key":"ref3","first-page":"1","article-title":"Composing software-defined networks","author":"monsanto","year":"2013","journal-title":"Proceedings of the 10th USENIX conference on Networked Systems Design and Implementation ser Nsdi'13"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/INFCOM.2004.1354680"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/2620728.2620733"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2012.20"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2006.16"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/1355734.1355746"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/INMIC.2009.5383125"},{"key":"ref1","article-title":"Software-defined networking: The new norm for networks","author":"foundation","year":"2012","journal-title":"Tech Rep ONF White Paper"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/1866898.1866905"},{"journal-title":"Network Algorithmics An Interdisciplinary Approach to Designing Fast Networked Devices","year":"2005","author":"varghese","key":"ref22"},{"key":"ref21","first-page":"99","article-title":"Real time network policy checking using header space analysis","author":"kazemian","year":"2013","journal-title":"Proceedings of the 10th USENIX conference on Networked Systems Design and Implementation ser Nsdi'13"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2011.2178431"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/2342441.2342452"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/2620728.2620741"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1986.1676819"}],"event":{"name":"2016 IFIP Networking Conference (IFIP Networking) and Workshops","start":{"date-parts":[[2016,5,17]]},"location":"Vienna, Austria","end":{"date-parts":[[2016,5,19]]}},"container-title":["2016 IFIP Networking Conference (IFIP Networking) and Workshops"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7493812\/7497194\/07497226.pdf?arnumber=7497226","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2016,9,29]],"date-time":"2016-09-29T13:52:11Z","timestamp":1475157131000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7497226\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,5]]},"references-count":27,"URL":"https:\/\/doi.org\/10.1109\/ifipnetworking.2016.7497226","relation":{},"subject":[],"published":{"date-parts":[[2016,5]]}}}