{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T14:30:56Z","timestamp":1740148256271,"version":"3.37.3"},"reference-count":37,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"1","license":[{"start":{"date-parts":[[2018,3,1]],"date-time":"2018-03-01T00:00:00Z","timestamp":1519862400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"funder":[{"name":"National Key R&D Program of China: EU-China study on IoT and 5G(EXCITING)","award":["2016YFE0133000"],"award-info":[{"award-number":["2016YFE0133000"]}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61572475","61502462","61502458"],"award-info":[{"award-number":["61572475","61502462","61502458"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"name":"National High Technology Research and Development Program of China","award":["2015AA016101"],"award-info":[{"award-number":["2015AA016101"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Netw. Serv. Manage."],"published-print":{"date-parts":[[2018,3]]},"DOI":"10.1109\/tnsm.2017.2780265","type":"journal-article","created":{"date-parts":[[2017,12,6]],"date-time":"2017-12-06T19:15:49Z","timestamp":1512587749000},"page":"387-401","source":"Crossref","is-referenced-by-count":2,"title":["Efficient Action Computation for Compositional SDN Policies"],"prefix":"10.1109","volume":"15","author":[{"given":"Heng","family":"Pan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhenyu","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gaogang","family":"Xie","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peng","family":"He","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hongtao","family":"Guan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Laurent","family":"Mathy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"The rules set of evaluation packet classification","year":"2015","key":"ref33"},{"journal-title":"Routereview","year":"2015","key":"ref32"},{"key":"ref31","first-page":"207","article-title":"EffiCuts: Optimizing packet classification for memory and throughput","volume":"41","author":"vamanan","year":"2011","journal-title":"ACM SIGCOMM Comput Commun Rev"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/2534169.2486011"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/IFIPNetworking.2016.7497226"},{"key":"ref36","first-page":"49","article-title":"VeriFlow: Verifying network-wide invariants in real time","author":"khurshid","year":"2013","journal-title":"Proc NSDI"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1145\/2620728.2620741"},{"article-title":"FlowVisor: A network virtualization layer","year":"2009","author":"sherwood","key":"ref34"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/2034574.2034812"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/2103621.2103685"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/2785956.2787506"},{"key":"ref13","first-page":"59","article-title":"Kinetic: Verifiable dynamic network control","author":"kim","year":"2015","journal-title":"Proc NSDI"},{"key":"ref14","first-page":"87","article-title":"CoVisor: A compositional hypervisor for software-defined networks","author":"jin","year":"2015","journal-title":"Proc USENIX NSDI"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ICNP.2014.50"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/1355734.1355746"},{"key":"ref17","first-page":"1","article-title":"Composing software defined networks","author":"monsanto","year":"2013","journal-title":"Proc NSDI"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/MCOM.2013.6461197"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/2535838.2535862"},{"journal-title":"Introduction to Algorithms","year":"2001","author":"cormen","key":"ref28"},{"journal-title":"The hp sdn app store","year":"2015","key":"ref4"},{"journal-title":"OpenFlow Switch Specification","year":"2015","key":"ref27"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2014.2371999"},{"journal-title":"OpenDaylight","year":"2015","key":"ref6"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(81)90048-X"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/SURV.2014.012214.00180"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/1384609.1384625"},{"journal-title":"Ryu Openflow Controller","year":"2015","key":"ref7"},{"key":"ref2","first-page":"1","article-title":"Software-defined networking","author":"mckeown","year":"2009","journal-title":"INFOCOM Keynote Talk"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/2674005.2674989"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/IFIPNetworking.2016.7497207"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/2620728.2620731"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/ANCS.2011.36"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcss.2012.06.001"},{"journal-title":"The code of frenetic language","year":"2015","key":"ref24"},{"journal-title":"The opensource code of covisor","year":"2015","key":"ref23"},{"journal-title":"Huawei Cloudengine 8800 Series Switches","year":"2015","key":"ref26"},{"journal-title":"H3C S6800 DataCenter Intelligent Switch","year":"2015","key":"ref25"}],"container-title":["IEEE Transactions on Network and Service Management"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/4275028\/8310716\/08168383.pdf?arnumber=8168383","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T16:22:12Z","timestamp":1642004532000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8168383\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,3]]},"references-count":37,"journal-issue":{"issue":"1"},"URL":"https:\/\/doi.org\/10.1109\/tnsm.2017.2780265","relation":{},"ISSN":["1932-4537"],"issn-type":[{"type":"print","value":"1932-4537"}],"subject":[],"published":{"date-parts":[[2018,3]]}}}