{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,12]],"date-time":"2025-07-12T01:24:57Z","timestamp":1752283497426,"version":"3.41.0"},"reference-count":29,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,11]]},"DOI":"10.1109\/nfv-sdn.2016.7919488","type":"proceedings-article","created":{"date-parts":[[2017,5,12]],"date-time":"2017-05-12T21:04:03Z","timestamp":1494623043000},"page":"134-140","source":"Crossref","is-referenced-by-count":25,"title":["SFC-Checker: Checking the correct forwarding behavior of Service Function chaining"],"prefix":"10.1109","author":[{"given":"Brendan","family":"Tschaen","sequence":"first","affiliation":[]},{"given":"Ying","family":"Zhang","sequence":"additional","affiliation":[]},{"given":"Theo","family":"Benson","sequence":"additional","affiliation":[]},{"given":"Sujata","family":"Banerjee","sequence":"additional","affiliation":[]},{"given":"Jeongkeun","family":"Lee","sequence":"additional","affiliation":[]},{"given":"Joon-Myung","family":"Kang","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/2535828.2535835"},{"key":"ref11","article-title":"Buzz: Testing context-dependent policies in stateful networks","author":"fayaz","year":"0","journal-title":"Proc NSDI 2016"},{"key":"ref12","article-title":"Modular SDN Programming with Pyretic","volume":"38","author":"reich","year":"2013","journal-title":"USENIX"},{"key":"ref13","article-title":"Verifying isolation properties in the presence of middleboxes","author":"panda","year":"0","journal-title":"Technical report arXiv 2015"},{"key":"ref14","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1145\/2377677.2377680","article-title":"Making middleboxes someone else's problem: network processing as a cloud service","author":"sherry","year":"2012","journal-title":"Proc ACM Sigcomm"},{"journal-title":"Mininet An Instant Virtual Network on your Laptop","year":"0","key":"ref15"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/2619239.2626313"},{"journal-title":"The Service Function Chaining (SFC) OpenFlow Renderer (SFCOFL2)","year":"0","key":"ref17"},{"journal-title":"OpenDaylight sfc gerrit project","year":"0","key":"ref18"},{"journal-title":"Introduction to ContextNet","year":"0","author":"contextream","key":"ref19"},{"key":"ref28","article-title":"Enforcing customizable consistency properties in software-defined networks","author":"zhou","year":"2015","journal-title":"Proceedings of the 12th USENIX Conference on Networked Systems Desig and Implementation ser NSDI' 15"},{"key":"ref4","doi-asserted-by":"crossref","DOI":"10.1145\/2619239.2631439","article-title":"Flow-level state transition as a new switch primitive for sdn","author":"moshref","year":"2014","journal-title":"Proceedings of the 2014 ACM Conference on SIGCOMM SIGCOMM ‘14"},{"key":"ref27","article-title":"Sfa: Stateful forwarding abstraction in sdn data plane","author":"zhu","year":"0","journal-title":"Presented as part of the Open Networking Summit 2014 (ONS 2014) 2014"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ICNP.2015.45"},{"key":"ref6","article-title":"Real time network policy checking using header space analysis","author":"kazemian","year":"2013","journal-title":"Proceedings of the 10th USENIX Conference on Networked Systems Design and Implementation"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/2934872.2934881"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/2602204.2602211"},{"journal-title":"Bluecoat","year":"0","key":"ref8"},{"journal-title":"Verifying Isolation Properties in the Presence of Middleboxes","year":"0","author":"panda","key":"ref7"},{"key":"ref2","article-title":"Header space analysis: Static checking for networks","author":"kazemian","year":"0","journal-title":"Proc of NSDI 2012"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/MNET.2008.4626228"},{"key":"ref1","article-title":"Veriflow: Verifying — invariants in real time","author":"khurshid","year":"2013","journal-title":"Proc NSDI"},{"key":"ref20","article-title":"Carrier Use Cases With OpenDaylight","author":"noy","year":"0","journal-title":"OpenDayLight Summit 2015"},{"key":"ref22","article-title":"Split\/merge: System support for elastic execution in virtual middle-boxes","author":"rajagopalan","year":"2013","journal-title":"Proceedings of the 10th USENIX Conference on Networked Systems Design and Implementation"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/2785956.2787506"},{"key":"ref24","article-title":"Glasnost: Enabling end users to detect traffic differentiation","author":"dischinger","year":"2010","journal-title":"Proceedings of the 7th USENIX Conference on Networked Systems Design and Implementation NSDI'10"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/2504730.2504757"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/2908080.2908097"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/2934872.2934892"}],"event":{"name":"2016 IEEE Conference on Network Function Virtualization and Software-Defined Networks (NFV-SDN)","start":{"date-parts":[[2016,11,7]]},"location":"Palo Alto, CA","end":{"date-parts":[[2016,11,10]]}},"container-title":["2016 IEEE Conference on Network Function Virtualization and Software Defined Networks (NFV-SDN)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7893447\/7919460\/07919488.pdf?arnumber=7919488","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T14:46:48Z","timestamp":1750258008000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7919488\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,11]]},"references-count":29,"URL":"https:\/\/doi.org\/10.1109\/nfv-sdn.2016.7919488","relation":{},"subject":[],"published":{"date-parts":[[2016,11]]}}}