{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,8]],"date-time":"2025-09-08T06:10:04Z","timestamp":1757311804124,"version":"3.37.3"},"reference-count":46,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"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":["IEEE Trans. Dependable and Secure Comput."],"published-print":{"date-parts":[[2022]]},"DOI":"10.1109\/tdsc.2022.3185096","type":"journal-article","created":{"date-parts":[[2022,6,22]],"date-time":"2022-06-22T19:42:00Z","timestamp":1655926920000},"page":"1-17","source":"Crossref","is-referenced-by-count":4,"title":["Misconfiguration-Free Compositional SDN for Cloud Networks"],"prefix":"10.1109","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5506-5958","authenticated-orcid":false,"given":"Heng","family":"Pan","sequence":"first","affiliation":[{"name":"Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9959-1124","authenticated-orcid":false,"given":"Zhenyu","family":"Li","sequence":"additional","affiliation":[{"name":"Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3372-0971","authenticated-orcid":false,"given":"Penghao","family":"Zhang","sequence":"additional","affiliation":[{"name":"Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Penglai","family":"Cui","sequence":"additional","affiliation":[{"name":"Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5557-9134","authenticated-orcid":false,"given":"Kave","family":"Salamatian","sequence":"additional","affiliation":[{"name":"Tallinn University of Technology, Estonia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gaogang","family":"Xie","sequence":"additional","affiliation":[{"name":"Computer Network Information Center, Chinese Academy of Sciences, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref13","first-page":"15","article-title":"Veriflow: Verifying network-wide invariants in real time","author":"khurshid","year":"2013","journal-title":"Proc 10th USENIX Symp Networked Syst Des Implementation"},{"key":"ref35","first-page":"127","article-title":"A NICE way to test openflow applications","author":"canini","year":"2012","journal-title":"Proc 9th USENIX Symp Networked Syst Des Implementation"},{"key":"ref12","first-page":"113","article-title":"Header space analysis: Static checking for networks","author":"kazemian","year":"2012","journal-title":"Proc 9th USENIX Conf Networked Syst Des Implementation"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/2620728.2620731"},{"key":"ref15","first-page":"15","article-title":"Fireman: A toolkit for firewall modeling and analysis","author":"yuan","year":"2006","journal-title":"Proc IEEE Symp Secur Privacy"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/CCNC46108.2020.9045145"},{"key":"ref14","first-page":"953","article-title":"Plankton: Scalable network configuration verification through model checking","author":"prabhu","year":"2020","journal-title":"Proc USENIX Conf Networked Syst Des Implementation"},{"key":"ref36","first-page":"99","article-title":"Real time network policy checking using header space analysis","author":"kazemian","year":"2013","journal-title":"Proc 10th USENIX Symp Networked Syst Des Implementation"},{"year":"2022","key":"ref31","article-title":"Header space library"},{"year":"2020","key":"ref30","article-title":"Classbench: A packet classification benchmark"},{"key":"ref11","first-page":"241","article-title":"Apkeep: Realtime verification for real networks","author":"zhang","year":"2020","journal-title":"Proc 17th USENIX Symp Networked Syst Des Implementation"},{"year":"2021","key":"ref33","article-title":"Routereview"},{"year":"2021","key":"ref10","article-title":"Cisco sdn switch"},{"article-title":"Openflow data plane abstraction (OF-DPA): Abstract switch specification","year":"2014","author":"corp","key":"ref32"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/1721654.1721672"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/ICNP49622.2020.9259353"},{"year":"2020","key":"ref17","article-title":"Openflow specification"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2017.2720172"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2012.20"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2015.2398197"},{"key":"ref19","first-page":"87","article-title":"Covisor: A compositional hypervisor for software-defined networks","author":"jin","year":"2015","journal-title":"Proc USENIX Conf Networked Syst Des Implementation"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2017.2726066"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/INFOCOM.2019.8737618"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1145\/2620728.2620749"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/INFOCOM.2017.8057135"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1016\/j.cose.2019.101597"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/79147.79149"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/IFIPNetworking.2016.7497226"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/2034773.2034812"},{"key":"ref42","first-page":"241","article-title":"APKeep: Realtime verification for real networks","author":"zhang","year":"2020","journal-title":"Proc 17th USENIX Symp Networked Syst Des Implementation"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1145\/3422604.3425936"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/1384609.1384625"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/ICDCS.2004.1281597"},{"key":"ref21","first-page":"1","article-title":"Composing software defined networks","author":"monsanto","year":"2013","journal-title":"Proc Usenix Networked Syst Des Implementation"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/CSF.2014.32"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/2377677.2377748"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2016.2642586"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/2890955.2890969"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ICNP.2014.50"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/MCOM.2018.1701016"},{"key":"ref9","first-page":"117","article-title":"The design and implementation of open vswitch","author":"pfaff","year":"2015","journal-title":"Proc 12th USENIX Symp Networked Syst Des Implementation"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/3190508.3190555"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ICPPW.2010.45"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/MCOM.2013.6658648"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/INFOCOM.2017.8057137"},{"key":"ref40","first-page":"735","article-title":"Delta-net: Real-time network verification using atoms","author":"horn","year":"2017","journal-title":"Proc 14th USENIX Symp Networked Syst Des Implementation"}],"container-title":["IEEE Transactions on Dependable and Secure Computing"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8858\/4358699\/09803270.pdf?arnumber=9803270","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,16]],"date-time":"2023-05-16T20:16:34Z","timestamp":1684268194000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9803270\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"references-count":46,"URL":"https:\/\/doi.org\/10.1109\/tdsc.2022.3185096","relation":{},"ISSN":["1545-5971","1941-0018","2160-9209"],"issn-type":[{"type":"print","value":"1545-5971"},{"type":"electronic","value":"1941-0018"},{"type":"electronic","value":"2160-9209"}],"subject":[],"published":{"date-parts":[[2022]]}}}