{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,1]],"date-time":"2025-11-01T13:47:08Z","timestamp":1762004828397},"reference-count":30,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,6]]},"DOI":"10.1109\/netsoft.2016.7502488","type":"proceedings-article","created":{"date-parts":[[2016,7,4]],"date-time":"2016-07-04T17:03:38Z","timestamp":1467651818000},"page":"477-482","source":"Crossref","is-referenced-by-count":14,"title":["SRV: Switch-based rules verification in software defined networking"],"prefix":"10.1109","author":[{"given":"Yuchia","family":"Tseng","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zonghua","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Farid","family":"Nait-Abdesselam","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref30","article-title":"Header space analysis: Static checking for networks","author":"kazemian","year":"2012","journal-title":"NSDI"},{"article-title":"Survey on Network Troubleshooting","year":"0","author":"zengy","key":"ref10"},{"year":"0","key":"ref11"},{"year":"0","key":"ref12"},{"year":"0","key":"ref13"},{"journal-title":"Open Networking Lab Open Network Operating System(ONOS)","year":"0","key":"ref14"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/2491185.2491203"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/1355734.1355746"},{"article-title":"POX: A Python-based OpenFlow Controller","year":"0","author":"mccauley","key":"ref17"},{"journal-title":"Beacon","article-title":"OpenFlowHub","year":"0","key":"ref18"},{"key":"ref19","article-title":"Forwarding and control element separation (ForCES) protocol specification","author":"doria","year":"2010","journal-title":"Internet Engineering Task Force"},{"key":"ref28","article-title":"Talmadge King Debugging the data plane with anteater","author":"haohui","year":"2011","journal-title":"Proceedings of the ACM SIGCOMM 2011 conference on SIGCOMM - SIGCOMM '11"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2015.23222"},{"key":"ref27","article-title":"Real Time Network Policy Checking using Header Space Analysis","author":"kazemian","year":"2013","journal-title":"NSDI"},{"key":"ref3","article-title":"A Security Enforcement Kernel for OpenFlow Networks","author":"phillip","year":"2012","journal-title":"ACM Sigcomm HotSDN'12"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2015.23064"},{"key":"ref29","article-title":"A NICE Way to Test OpenFlow Applications","author":"canini","year":"2012","journal-title":"NDSI"},{"key":"ref5","article-title":"Software-Defined Networking: A Comprehensive Survey","author":"diego","year":"2015","journal-title":"Proceedings of the IEEE"},{"key":"ref8","article-title":"Kinetic: Verifiable Dynamic Network Control","author":"kim","year":"2015","journal-title":"NDSI"},{"key":"ref7","article-title":"FRESCO: Modular Composable Security Services for Software-Defined Networks","author":"shin","year":"2013","journal-title":"NDSS"},{"journal-title":"OpenFlow Switch Specification Version 1 1 0","article-title":"Open Networking Foundation","year":"2015","key":"ref2"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/2068816.2068863"},{"journal-title":"OpenFlow Switch Specification Version 1 1 0","article-title":"Open Networking Foundation","year":"2009","key":"ref1"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/2491185.2491190"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2015.23283"},{"journal-title":"Performance Test White Paper for SDN Controller","year":"0","key":"ref21"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/ICC.2013.6654813"},{"key":"ref23","article-title":"VeriFlow : Verifying Network-Wide Invariants in Real Time","author":"ahmed","year":"2013","journal-title":"NSDI"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/1866898.1866905"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/2620728.2620749"}],"event":{"name":"2016 IEEE NetSoft Conference and Workshops (NetSoft)","start":{"date-parts":[[2016,6,6]]},"location":"Seoul, South Korea","end":{"date-parts":[[2016,6,10]]}},"container-title":["2016 IEEE NetSoft Conference and Workshops (NetSoft)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7497397\/7502392\/07502488.pdf?arnumber=7502488","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2016,9,29]],"date-time":"2016-09-29T22:10:05Z","timestamp":1475187005000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7502488\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,6]]},"references-count":30,"URL":"https:\/\/doi.org\/10.1109\/netsoft.2016.7502488","relation":{},"subject":[],"published":{"date-parts":[[2016,6]]}}}