{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,3]],"date-time":"2026-03-03T11:56:13Z","timestamp":1772538973538,"version":"3.50.1"},"reference-count":51,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"1","license":[{"start":{"date-parts":[[2023,2,1]],"date-time":"2023-02-01T00:00:00Z","timestamp":1675209600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2023,2,1]],"date-time":"2023-02-01T00:00:00Z","timestamp":1675209600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,2,1]],"date-time":"2023-02-01T00:00:00Z","timestamp":1675209600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62172358"],"award-info":[{"award-number":["62172358"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100004731","name":"Natural Science Foundation of Zhejiang Province","doi-asserted-by":"publisher","award":["LY19F020050"],"award-info":[{"award-number":["LY19F020050"]}],"id":[{"id":"10.13039\/501100004731","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation","doi-asserted-by":"publisher","award":["61772236"],"award-info":[{"award-number":["61772236"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Zhejiang Key Research and Development Plan","award":["2019C03133"],"award-info":[{"award-number":["2019C03133"]}]},{"name":"Alibaba-Zhejiang University Joint Institute of Frontier Technologies"},{"DOI":"10.13039\/100017132","name":"Research Institute of Cyberspace Governance in Zhejiang University","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100017132","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Leading Innovative and Entrepreneur Team Introduction Program of Zhejiang"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE\/ACM Trans. Networking"],"published-print":{"date-parts":[[2023,2]]},"DOI":"10.1109\/tnet.2022.3194970","type":"journal-article","created":{"date-parts":[[2022,8,8]],"date-time":"2022-08-08T19:48:10Z","timestamp":1659988090000},"page":"395-407","source":"Crossref","is-referenced-by-count":6,"title":["RuleOut Forwarding Anomalies for SDN"],"prefix":"10.1109","volume":"31","author":[{"given":"Shaoke","family":"Xi","sequence":"first","affiliation":[{"name":"College of Computer Science and Technology, Zhejiang University, Hangzhou, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1188-801X","authenticated-orcid":false,"given":"Kai","family":"Bu","sequence":"additional","affiliation":[{"name":"College of Computer Science and Technology, Zhejiang University, Hangzhou, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wensen","family":"Mao","sequence":"additional","affiliation":[{"name":"College of Computer Science and Technology, Zhejiang University, Hangzhou, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3644-7691","authenticated-orcid":false,"given":"Xiaoyu","family":"Zhang","sequence":"additional","affiliation":[{"name":"College of Computer Science and Technology, Zhejiang University, Hangzhou, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1969-2591","authenticated-orcid":false,"given":"Kui","family":"Ren","sequence":"additional","affiliation":[{"name":"College of Computer Science and Technology, Zhejiang University, Hangzhou, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xinxin","family":"Ren","sequence":"additional","affiliation":[{"name":"GTTX Network Technology, Jinhua, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","first-page":"71","article-title":"I know what your packet did last hop: Using packet histories to troubleshoot networks","volume-title":"Proc. NSDI","author":"Handigol"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-15509-8_26"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2018.2793765"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/INFOCOM.2016.7524333"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2017.2686443"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/2999572.2999605"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ICCCN.2016.7568569"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/INFOCOM.2017.8056994"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2020.2977006"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/INFOCOM.2019.8737387"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/INFOCOM41043.2020.9155378"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ICDCS.2018.00085"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2020.3033588"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ICNP.2017.8117541"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2018.2885532"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TNSM.2019.2955790"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/1355734.1355746"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/j.comnet.2018.02.014"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/2413176.2413205"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/2666356.2594317"},{"key":"ref21","first-page":"451","article-title":"Attacking the brain: Races in the SDN control plane","volume-title":"Proc. 26th USENIX Security Symp. (USENIX)","author":"Xu"},{"key":"ref22","first-page":"719","article-title":"Automated bug removal for software-defined networks","volume-title":"Proc. NSDI","author":"Wu"},{"key":"ref23","first-page":"127","article-title":"A NICE way to test OpenFlow applications","volume-title":"Proc. NSDI","author":"Canini"},{"key":"ref24","first-page":"181","article-title":"NetSMC: A custom symbolic model checker for stateful network verification","volume-title":"Proc. NSDI","author":"Yuan"},{"key":"ref25","first-page":"113","article-title":"Header space analysis: Static checking for networks","volume-title":"Proc. NSDI","author":"Kazemian"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/2342441.2342452"},{"key":"ref27","first-page":"953","article-title":"Plankton: Scalable network configuration verification through model checking","volume-title":"Proc. NSDI","author":"Prabhu"},{"key":"ref28","first-page":"241","article-title":"APKeep: Realtime verification for real networks","volume-title":"Proc. NSDI","author":"Zhang"},{"key":"ref29","first-page":"601","article-title":"Differential network analysis","volume-title":"Proc. NSDI","author":"Zhang"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/ICC.2016.7510990"},{"key":"ref31","first-page":"207","article-title":"Compiling path queries","volume-title":"Proc. NSDI","author":"Narayana"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1145\/2774993.2775066"},{"key":"ref33","first-page":"233","article-title":"Simplifying datacenter network debugging with PathDump","volume-title":"Proc. OSDI","author":"Tammana"},{"key":"ref34","first-page":"453","article-title":"Distributed network monitoring and debugging with SwitchPointer","volume-title":"Proc. NSDI","author":"Tammana"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2015.23064"},{"key":"ref36","first-page":"1","article-title":"Introduction to RYU SDN framework","volume-title":"Open Networking Summit","author":"Tomonori","year":"2013"},{"key":"ref37","first-page":"117","article-title":"The design and implementation of open vSwitch","volume-title":"Proc. NSDI","author":"Pfaff"},{"key":"ref38","first-page":"735","article-title":"Delta-Net: Real-time network verification using atoms","volume-title":"Proc. NSDI","author":"Horn"},{"key":"ref39","volume-title":"OpenFlow Switch Specification Version 1.5.1","year":"2017"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1145\/2079296.2079326"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1145\/2619239.2626323"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1145\/3085591"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1145\/3409796"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2018.2810880"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1145\/2890955.2890969"},{"key":"ref46","first-page":"99","article-title":"Real time network policy checking using header space analysis","volume-title":"Proc. NSDI","author":"Kazemian"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1145\/3387514.3406214"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2010.2047730"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.7873\/DATE.2013.300"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1109\/TVLSI.2018.2877131"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1145\/2018436.2018467"}],"container-title":["IEEE\/ACM Transactions on Networking"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/90\/10045328\/09852189.pdf?arnumber=9852189","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,1]],"date-time":"2024-02-01T12:14:20Z","timestamp":1706789660000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9852189\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,2]]},"references-count":51,"journal-issue":{"issue":"1"},"URL":"https:\/\/doi.org\/10.1109\/tnet.2022.3194970","relation":{},"ISSN":["1063-6692","1558-2566"],"issn-type":[{"value":"1063-6692","type":"print"},{"value":"1558-2566","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,2]]}}}