{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,7]],"date-time":"2026-10-07T18:37:41Z","timestamp":1791398261891,"version":"4.3.3"},"reference-count":21,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,9]]},"DOI":"10.1109\/cns.2015.7346859","type":"proceedings-article","created":{"date-parts":[[2015,12,8]],"date-time":"2015-12-08T17:19:48Z","timestamp":1449595188000},"page":"469-478","source":"Crossref","is-referenced-by-count":6,"title":["Inter-flow consistency: A novel SDN update abstraction for supporting inter-flow constraints"],"prefix":"10.1109","author":[{"family":"Weijie Liu","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Rakesh B.","family":"Bobba","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sibin","family":"Mohan","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Roy H.","family":"Campbell","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/2377677.2377766"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/1868447.1868466"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/2342441.2342443"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/2486001.2486005"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/CNS.2015.7346859"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/2535771.2535791"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/2342441.2342454"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/1355734.1355746"},{"key":"ref18","article-title":"Toward synthesis of network updates","author":"noyes","year":"2013"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/2486001.2486022"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/2342441.2342455"},{"key":"ref3","article-title":"A demonstration of virtual machine mobility in an openflow network","author":"erickson","year":"2008"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/2486001.2486019"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/2620728.2620754"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/2491185.2491191"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/2740070.2626307"},{"key":"ref2","first-page":"19","article-title":"Hedera: Dynamic flow scheduling for data center networks","volume":"10","author":"alfares","year":"2010","journal-title":"NSDI"},{"key":"ref1","author":"controller","year":"0"},{"key":"ref9","first-page":"99","article-title":"Real time network policy checking using header space analysis","author":"kazemian","year":"2013","journal-title":"NSDI"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2010.2097604"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/2342356.2342427"}],"event":{"name":"2015 IEEE Conference on Communications and Network Security (CNS)","location":"Florence, Italy","start":{"date-parts":[[2015,9,28]]},"end":{"date-parts":[[2015,9,30]]}},"container-title":["2015 IEEE Conference on Communications and Network Security (CNS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7336674\/7346791\/07346859.pdf?arnumber=7346859","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,24]],"date-time":"2017-03-24T21:35:13Z","timestamp":1490391313000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7346859\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,9]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/cns.2015.7346859","relation":{},"subject":[],"published":{"date-parts":[[2015,9]]}}}