{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,22]],"date-time":"2026-01-22T21:14:46Z","timestamp":1769116486108,"version":"3.49.0"},"reference-count":51,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"3","license":[{"start":{"date-parts":[[2022,6,1]],"date-time":"2022-06-01T00:00:00Z","timestamp":1654041600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2022,6,1]],"date-time":"2022-06-01T00:00:00Z","timestamp":1654041600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,6,1]],"date-time":"2022-06-01T00:00:00Z","timestamp":1654041600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100002628","name":"Incheon National University (International Cooperative) Research","doi-asserted-by":"publisher","award":["2021"],"award-info":[{"award-number":["2021"]}],"id":[{"id":"10.13039\/501100002628","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE\/ACM Trans. Networking"],"published-print":{"date-parts":[[2022,6]]},"DOI":"10.1109\/tnet.2022.3140824","type":"journal-article","created":{"date-parts":[[2022,1,14]],"date-time":"2022-01-14T20:32:04Z","timestamp":1642192324000},"page":"1410-1423","source":"Crossref","is-referenced-by-count":8,"title":["A Framework for Policy Inconsistency Detection in Software-Defined Networks"],"prefix":"10.1109","volume":"30","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-6883-1869","authenticated-orcid":false,"given":"Seungsoo","family":"Lee","sequence":"first","affiliation":[{"name":"Incheon National University, Incheon, South Korea"}]},{"given":"Seungwon","family":"Woo","sequence":"additional","affiliation":[{"name":"Electronics and Telecommunications Research Institute (ETRI), Daejeon, South Korea"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1303-8668","authenticated-orcid":false,"given":"Jinwoo","family":"Kim","sequence":"additional","affiliation":[{"name":"Korea Advanced Institute of Science and Technology (KAIST), Daejeon, South Korea"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8907-5495","authenticated-orcid":false,"given":"Jaehyun","family":"Nam","sequence":"additional","affiliation":[{"name":"AccuKnox, Cupertino, CA, USA"}]},{"given":"Vinod","family":"Yegneswaran","sequence":"additional","affiliation":[{"name":"SRI International, Menlo Park, CA, USA"}]},{"given":"Phillip","family":"Porras","sequence":"additional","affiliation":[{"name":"SRI International, Menlo Park, CA, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1077-5606","authenticated-orcid":false,"given":"Seungwon","family":"Shin","sequence":"additional","affiliation":[{"name":"Korea Advanced Institute of Science and Technology (KAIST), Daejeon, South Korea"}]}],"member":"263","reference":[{"key":"ref1","first-page":"249","article-title":"ElasticTree: Saving energy in data center networks","volume-title":"Proc. USENIX Symp. Networked Syst. Design Implement.","author":"Heller"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/2486001.2486012"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/2486001.2486019"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/2342441.2342466"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/SDN4FNS.2013.6702553"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2014.2371999"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2017.2748159"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/2491185.2491220"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/2660267.2660353"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2015.23064"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2017.23457"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243799"},{"key":"ref13","article-title":"A switch table vulnerability in the open floodlight SDN controller","author":"Dover","journal-title":"Relat\u00f3rio T\u00e9cnico"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/3134600.3134603"},{"key":"ref15","first-page":"451","article-title":"Attacking the brain: Races in the SDN control plane","volume-title":"Proc. 26th USENIX Secur. Symp.","author":"Xu"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ICNP.2018.00031"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/2619239.2626304"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/2980983.2908097"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-53291-8_8"},{"key":"ref20","first-page":"133","article-title":"Avenir: Managing data plane diversity with control plane synthesis","volume-title":"Proc. NSDI","author":"Campbell"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594317"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/2775051.2676990"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/FMCAD.2014.6987609"},{"key":"ref24","volume-title":"OpenFlow Switch Specification: Version 1.3.0","year":"2012"},{"key":"ref25","volume-title":"1.2, Project Floodlight","year":"2016"},{"key":"ref26","volume-title":"ONOS Project, 2.1.0","year":"2019"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/2342441.2342452"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2015.23222"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/2670518.2673879"},{"key":"ref30","volume-title":"Introduction to Graph Theory","volume":"2","author":"West","year":"1996"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/2890955.2890965"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1145\/2620728.2620744"},{"key":"ref33","volume-title":"Dictionary of Attack Patterns and Primitives for Black-Box Application Fault Injection and Resource Discovery"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/1868447.1868466"},{"key":"ref35","volume-title":"Wireshark & Ethereal Network Protocol Analyzer Toolkit","author":"Orebaugh","year":"2006"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1145\/2656877.2656890"},{"key":"ref38","volume-title":"Initial Draft Specification for P4 Runtime","author":"Group"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2015.23283"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2018.00047"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1145\/3052973.3053039"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-66332-6_14"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/NFV-SDN.2018.8725649"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1145\/2070562.2070569"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1145\/3050220.3050224"},{"key":"ref46","first-page":"113","article-title":"Header space analysis: Static checking for networks","volume-title":"Proc. USENIX Conf. Networked Syst. Design Implement.","author":"Kazemian"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1145\/2535838.2535862"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1145\/2774993.2774996"},{"key":"ref49","first-page":"87","article-title":"CoVisor: A compositional hypervisor for software-defined networks","volume-title":"Proc. USENIX Symp. Netw. Syst. Design Implement.","author":"Jin"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1145\/2999572.2999605"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1109\/TNSM.2019.2955790"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1109\/JSAC.2020.2999653"}],"container-title":["IEEE\/ACM Transactions on Networking"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/90\/9797041\/09681706.pdf?arnumber=9681706","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,13]],"date-time":"2024-01-13T22:45:31Z","timestamp":1705185931000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9681706\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,6]]},"references-count":51,"journal-issue":{"issue":"3"},"URL":"https:\/\/doi.org\/10.1109\/tnet.2022.3140824","relation":{},"ISSN":["1063-6692","1558-2566"],"issn-type":[{"value":"1063-6692","type":"print"},{"value":"1558-2566","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,6]]}}}