{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,31]],"date-time":"2022-03-31T02:25:15Z","timestamp":1648693515937},"reference-count":17,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"4","license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Internet Comput."],"published-print":{"date-parts":[[2017]]},"DOI":"10.1109\/mic.2017.2911415","type":"journal-article","created":{"date-parts":[[2017,7,27]],"date-time":"2017-07-27T18:07:19Z","timestamp":1501178839000},"page":"82-86","source":"Crossref","is-referenced-by-count":3,"title":["Network Function Modeling and Its Applications"],"prefix":"10.1109","volume":"21","author":[{"given":"Wenfei","family":"Wu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ying","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.17487\/rfc3040"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.17487\/rfc3234"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/2934872.2934881"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/MNET.2008.4626228"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/3005745.3005754"},{"key":"ref15","article-title":"Paving the Way for NFV: Simplifying Middlebox Modifications Using StateAlyzr","author":"khalid","year":"2016","journal-title":"Proc USENIX Symp Networked Systems Design and Implementation"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/2934872.2934892"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(87)90052-6"},{"key":"ref4","first-page":"445","article-title":"NetVM: High Performance and Flexible Networking Using Virtualization on Commodity Platforms","author":"hwang","year":"2014","journal-title":"Proc USENIX Symp Networked Systems Design and Implementation"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/2619239.2626313"},{"key":"ref6","first-page":"101","article-title":"Software Dataplane Verification","author":"dobrescu","year":"2014","journal-title":"Proc USENIX Symp Networked Systems Design and Implementation"},{"key":"ref5","first-page":"203","article-title":"NetBricks: Taking the V out of NFV","author":"panda","year":"2016","journal-title":"Proc USENIX Symp Operating Systems Design and Implementation"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/NFV-SDN.2016.7919488"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/2785956.2787501"},{"key":"ref2","first-page":"275","article-title":"BUZZ: Testing Context-Dependent Policies in Stateful Networks","author":"fayaz","year":"2016","journal-title":"Proc USENIX Symp Networked Systems Design and Implementation"},{"key":"ref1","first-page":"699","article-title":"Verifying Reachability in Networks with Mutable Datapaths","author":"panda","year":"2017","journal-title":"Proc USENIX Symp Networked Systems Design and Implementation"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.17487\/rfc2663"}],"container-title":["IEEE Internet Computing"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/4236\/7994534\/07994546.pdf?arnumber=7994546","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T16:53:04Z","timestamp":1642006384000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7994546\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"references-count":17,"journal-issue":{"issue":"4"},"URL":"https:\/\/doi.org\/10.1109\/mic.2017.2911415","relation":{},"ISSN":["1089-7801"],"issn-type":[{"value":"1089-7801","type":"print"}],"subject":[],"published":{"date-parts":[[2017]]}}}