{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,22]],"date-time":"2026-01-22T23:09:39Z","timestamp":1769123379164,"version":"3.49.0"},"reference-count":36,"publisher":"IEEE","license":[{"start":{"date-parts":[[2020,7,1]],"date-time":"2020-07-01T00:00:00Z","timestamp":1593561600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/Crown.html"},{"start":{"date-parts":[[2020,7,1]],"date-time":"2020-07-01T00:00:00Z","timestamp":1593561600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2020,7,1]],"date-time":"2020-07-01T00:00:00Z","timestamp":1593561600000},"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,7]]},"DOI":"10.1109\/infocom41043.2020.9155378","type":"proceedings-article","created":{"date-parts":[[2020,8,4]],"date-time":"2020-08-04T22:29:35Z","timestamp":1596580175000},"page":"1788-1797","source":"Crossref","is-referenced-by-count":11,"title":["AudiSDN: Automated Detection of Network Policy Inconsistencies in Software-Defined Networks"],"prefix":"10.1109","author":[{"given":"Seungsoo","family":"Lee","sequence":"first","affiliation":[]},{"given":"Seungwon","family":"Woo","sequence":"additional","affiliation":[]},{"given":"Jinwoo","family":"Kim","sequence":"additional","affiliation":[]},{"given":"Vinod","family":"Yegneswaran","sequence":"additional","affiliation":[]},{"given":"Phillip","family":"Porras","sequence":"additional","affiliation":[]},{"given":"Seungwon","family":"Shin","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-66332-6_14"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2018.00047"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2015.23283"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2015.23222"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1145\/3050220.3050224"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1145\/2070562.2070569"},{"key":"ref34","first-page":"1","article-title":"Rechecker: Towards secure restful service in software-defined networking","author":"woo","year":"2018","journal-title":"2018 IEEE Conference on Network Function Virtualization and Software Defined Networks (NFV-SDN)"},{"key":"ref10","article-title":"A switch table vulnerability in the open floodlight sdn controller","author":"dover","year":"2014","journal-title":"Relatório Técnico"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/3134600.3134603"},{"key":"ref12","first-page":"451","article-title":"Attacking the brain: Races in the sdn control plane","author":"xu","year":"2017","journal-title":"26th USENIX Security Symposium (USENIX Security 17)"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/2342441.2342452"},{"key":"ref14","first-page":"9","article-title":"Header space analysis: Static checking for networks","author":"kazemian","year":"0"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/2774993.2774996"},{"key":"ref16","first-page":"87","article-title":"Covisor: A compositional hypervisor for software-defined networks","author":"jin","year":"0"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/2535838.2535862"},{"key":"ref18","first-page":"19","article-title":"Mind the gap: Monitoring the control-data plane consistency in software defined networks","author":"zhang","year":"0"},{"key":"ref19","article-title":"Onos project, 2.1.0","year":"2019"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/ICNP.2018.00031"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2017.2748159"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/2491185.2491199"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2014.2371999"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/2660267.2660353"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/2876019.2876026"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/2491185.2491220"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2017.23457"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2015.23064"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/SDN4FNS.2013.6702553"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243799"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/2342441.2342466"},{"key":"ref20","article-title":"1.2, project floodlight","year":"2016"},{"key":"ref22","article-title":"Introduction to graph theory","volume":"2","author":"west","year":"1996"},{"key":"ref21","article-title":"Openflow switch specification: Version 1.3.0","year":"2012"},{"key":"ref24","article-title":"Dictionary of attack patterns and primitives for black-box application fault injection and resource discovery","year":"0"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/2620728.2620744"},{"key":"ref26","article-title":"Wireshark & Ethereal network protocol analyzer toolkit","author":"orebaugh","year":"2006"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/1868447.1868466"}],"event":{"name":"IEEE INFOCOM 2020 - IEEE Conference on Computer Communications","location":"Toronto, ON, Canada","start":{"date-parts":[[2020,7,6]]},"end":{"date-parts":[[2020,7,9]]}},"container-title":["IEEE INFOCOM 2020 - IEEE Conference on Computer Communications"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9146503\/9155217\/09155378.pdf?arnumber=9155378","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,28]],"date-time":"2022-06-28T21:50:44Z","timestamp":1656453044000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9155378\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,7]]},"references-count":36,"URL":"https:\/\/doi.org\/10.1109\/infocom41043.2020.9155378","relation":{},"subject":[],"published":{"date-parts":[[2020,7]]}}}