{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,3]],"date-time":"2026-07-03T16:52:16Z","timestamp":1783097536644,"version":"3.54.6"},"reference-count":55,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"6","license":[{"start":{"date-parts":[[2019,11,1]],"date-time":"2019-11-01T00:00:00Z","timestamp":1572566400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2019,11,1]],"date-time":"2019-11-01T00:00:00Z","timestamp":1572566400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2019,11,1]],"date-time":"2019-11-01T00:00:00Z","timestamp":1572566400000},"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":["61572278"],"award-info":[{"award-number":["61572278"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["U1736209"],"award-info":[{"award-number":["U1736209"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Dependable and Secure Comput."],"published-print":{"date-parts":[[2019,11,1]]},"DOI":"10.1109\/tdsc.2018.2810880","type":"journal-article","created":{"date-parts":[[2018,3,1]],"date-time":"2018-03-01T19:28:17Z","timestamp":1519932497000},"page":"915-929","source":"Crossref","is-referenced-by-count":40,"title":["Dynamic Packet Forwarding Verification in SDN"],"prefix":"10.1109","volume":"16","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-8776-8730","authenticated-orcid":false,"given":"Qi","family":"Li","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1954-828X","authenticated-orcid":false,"given":"Xiaoyue","family":"Zou","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2387-6131","authenticated-orcid":false,"given":"Qun","family":"Huang","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5321-3830","authenticated-orcid":false,"given":"Jing","family":"Zheng","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4501-4364","authenticated-orcid":false,"given":"Patrick P. C.","family":"Lee","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1145\/774763.774775"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1145\/2079296.2079326"},{"key":"ref33","first-page":"365","article-title":"Passport: Secure and adoptable source authentication","author":"liu","year":"2008","journal-title":"Proc 5th USENIX Symp Netw Syst Des Implementation"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/TMC.2007.1036"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/1923641.1923654"},{"key":"ref30","first-page":"311","article-title":"FlowRadar: A better netflow for data centers","author":"li","year":"2016","journal-title":"Proc 10th USENIX Conf Netw Syst Des Implementation"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1145\/2619239.2626291"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2005.49"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1145\/345910.345955"},{"key":"ref34","first-page":"231","article-title":"Sustaining cooperation in multi-hop wireless networks","volume":"2","author":"mahajan","year":"2010","journal-title":"Proc 2nd Conf Symp Netw Syst Des Implementation-Volume 2"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/2619239.2626323"},{"key":"ref27","article-title":"VeriFlow: Verifying network-wide invariants in real time","author":"khurshid","year":"2013","journal-title":"Proc 10th USENIX Symp Netw Syst Des Implementation"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/2491185.2491199"},{"key":"ref2","year":"2015"},{"key":"ref1","year":"2016"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2015.23064"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2016.23458"},{"key":"ref21","first-page":"817","article-title":"Bohatei: Flexible and elastic DDoS defense","author":"fayaz","year":"2015","journal-title":"24th USENIX Security Symp"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2016.23147"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/2620728.2620749"},{"key":"ref26","first-page":"9","article-title":"Header space analysis: Static checking for networks","author":"kazemian","year":"2012","journal-title":"Proc 9th USENIX Conf Netw Syst Des Implementation"},{"key":"ref25","first-page":"99","article-title":"Real time network policy checking using header space analysis","author":"kazemian","year":"2013","journal-title":"Proc 10th USENIX Symp Netw Syst Des Implementation"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1016\/j.future.2017.04.038"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1109\/INFOCOM.2016.7524500"},{"key":"ref55","first-page":"73","article-title":"Enforcing generalized consistency properties in software-defined networks","author":"zhou","year":"2015","journal-title":"Proc 10th USENIX Symp Netw Syst Des Implementation"},{"key":"ref54","article-title":"Shortmac: Efficient data-plane fault localization","author":"zhang","year":"2012","journal-title":"Proc NDSS"},{"key":"ref53","article-title":"Packet-dropping adversary identification for data plane security","author":"zhang","year":"2016","journal-title":"Proc ACM CoNEXT"},{"key":"ref52","first-page":"29","article-title":"Software defined traffic measurement with opensketch","author":"yu","year":"2013","journal-title":"Proc 5th USENIX Symp Netw Syst Des Implementation"},{"key":"ref10","article-title":"Tcpreplay.","year":"2013"},{"key":"ref11","article-title":"Youtube hijacking: A RIPE NCC RIS case study.","year":"2008"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2015.23222"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/2620728.2620756"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ICNP.2007.4375850"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/INFCOM.2004.1354494"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/1284680.1341892"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/2666356.2594317"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2016.56"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1155\/2016\/9396525"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/j.comcom.2016.11.009"},{"key":"ref4","year":"2016"},{"key":"ref3","article-title":"China's 18-minute mystery.","year":"2010"},{"key":"ref6","article-title":"Linux traffic control.","year":"2014"},{"key":"ref5","article-title":"Internet2.","year":"2016"},{"key":"ref8","year":"2015"},{"key":"ref7","year":"2014"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2015.27"},{"key":"ref9","article-title":"Stealing the internet: An Internet-scale Man In The Middle attack.","year":"2016"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1145\/2660267.2660353"},{"key":"ref45","article-title":"FRESCO: Modular composable security services for software-defined networks","author":"shin","year":"2013","journal-title":"Proc ISOC Symp Net and Distrib Sys Sec"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1109\/ICC.2013.6654813"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1145\/2508859.2516684"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/ICCCN.2016.7568569"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1145\/2342441.2342466"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1145\/2491185.2491220"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1145\/3052973.3053039"}],"container-title":["IEEE Transactions on Dependable and Secure Computing"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8858\/8895602\/08305491.pdf?arnumber=8305491","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,13]],"date-time":"2022-07-13T20:48:36Z","timestamp":1657745316000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8305491\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,11,1]]},"references-count":55,"journal-issue":{"issue":"6"},"URL":"https:\/\/doi.org\/10.1109\/tdsc.2018.2810880","relation":{},"ISSN":["1545-5971","1941-0018","2160-9209"],"issn-type":[{"value":"1545-5971","type":"print"},{"value":"1941-0018","type":"electronic"},{"value":"2160-9209","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,11,1]]}}}