{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,17]],"date-time":"2026-04-17T08:42:12Z","timestamp":1776415332740,"version":"3.51.2"},"reference-count":36,"publisher":"IEEE","license":[{"start":{"date-parts":[[2020,10,13]],"date-time":"2020-10-13T00:00:00Z","timestamp":1602547200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2020,10,13]],"date-time":"2020-10-13T00:00:00Z","timestamp":1602547200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2020,10,13]],"date-time":"2020-10-13T00:00:00Z","timestamp":1602547200000},"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":[[2020,10,13]]},"DOI":"10.1109\/icnp49622.2020.9259353","type":"proceedings-article","created":{"date-parts":[[2020,11,20]],"date-time":"2020-11-20T15:56:20Z","timestamp":1605887780000},"page":"1-11","source":"Crossref","is-referenced-by-count":10,"title":["Misconfiguration Checking for SDN: Data Structure, Theory and Algorithms"],"prefix":"10.1109","author":[{"given":"Heng","family":"Pan","sequence":"first","affiliation":[]},{"given":"Zhenyu","family":"Li","sequence":"additional","affiliation":[]},{"given":"Penghao","family":"Zhang","sequence":"additional","affiliation":[]},{"given":"Kave","family":"Salamatian","sequence":"additional","affiliation":[]},{"given":"Gaogang","family":"Xie","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref33","article-title":"Plankton: Scalable network configuration verifi-cation through model checking","author":"kheradmand","year":"2020","journal-title":"NSDI"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/IFIPNetworking.2016.7497226"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/2377677.2377748"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/2785956.2787506"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2006.16"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1145\/2486001.2486030"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2016.2642586"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-04245-8"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ICNP.2014.50"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/2034773.2034812"},{"key":"ref13","article-title":"Update algebra: Toward continuous, non-blocking composition of net-work updates in sdn","author":"le","year":"2019","journal-title":"IEEE INFOCOM"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/1384609.1384625"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2012.20"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-36087-5_18"},{"key":"ref17","first-page":"87","article-title":"Covisor: A compositional hypervisor for software-defined networks","volume":"15","author":"jin","year":"2015","journal-title":"NSDI"},{"key":"ref18","first-page":"6","article-title":"Cacheflow: Dependency-aware rule-caching for software-defined net-works","author":"katta","year":"2016","journal-title":"Proceedings of the Symposium on SDN Research"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/2491185.2491191"},{"key":"ref28","article-title":"Composing software defined networks","author":"monsanto","year":"2013","journal-title":"NSDI"},{"key":"ref4","article-title":"The rules set of evaluation packet classification","year":"0"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/2103656.2103685"},{"key":"ref3","year":"0"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/INFCOM.2004.1354680"},{"key":"ref29","doi-asserted-by":"crossref","first-page":"1617","DOI":"10.1109\/SURV.2014.012214.00180","article-title":"A survey of software-defined net-working: Past, present, and future of programmable networks","volume":"16","author":"astuto","year":"2014","journal-title":"IEEE Communications Surveys & Tutorials"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/CSF.2014.32"},{"key":"ref8","first-page":"127","article-title":"A {NICE} way to test openflow applications","author":"canini","year":"2012","journal-title":"Part of the 9th USENIX Symposium on Networked Systems Design and Implementation ( NSDI 12)"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/JSAC.2019.2894239"},{"key":"ref2","year":"0"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/79147.79149"},{"key":"ref1","year":"0"},{"key":"ref20","first-page":"113","article-title":"Header space analysis: Static checking for networks","volume":"12","author":"kazemian","year":"2012","journal-title":"NSDI"},{"key":"ref22","article-title":"Onix: A distributed control platform for large-scale production networks","author":"koponen","year":"2010","journal-title":"OSDI"},{"key":"ref21","first-page":"15","article-title":"Veriflow: Verifying network-wide invariants in real time","author":"khurshid","year":"2013","journal-title":"Presented as part of the 10th USENIX Symposium on Networked Systems Design and Implementation ( NSDI 13)"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/INFOCOM.2019.8737618"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2014.2371999"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/1355734.1355746"},{"key":"ref25","article-title":"Software-defined networking","author":"mckeown","year":"2009","journal-title":"INFOCOM Keynote Talk"}],"event":{"name":"2020 IEEE 28th International Conference on Network Protocols (ICNP)","location":"Madrid, Spain","start":{"date-parts":[[2020,10,13]]},"end":{"date-parts":[[2020,10,16]]}},"container-title":["2020 IEEE 28th International Conference on Network Protocols (ICNP)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9259328\/9259327\/09259353.pdf?arnumber=9259353","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,27]],"date-time":"2022-06-27T20:23:24Z","timestamp":1656361404000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9259353\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,10,13]]},"references-count":36,"URL":"https:\/\/doi.org\/10.1109\/icnp49622.2020.9259353","relation":{},"subject":[],"published":{"date-parts":[[2020,10,13]]}}}