{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T01:22:10Z","timestamp":1740100930768,"version":"3.37.3"},"reference-count":74,"publisher":"IEEE","license":[{"start":{"date-parts":[[2022,7,1]],"date-time":"2022-07-01T00:00:00Z","timestamp":1656633600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,7,1]],"date-time":"2022-07-01T00:00:00Z","timestamp":1656633600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CNS-1909450"],"award-info":[{"award-number":["CNS-1909450"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022,7]]},"DOI":"10.1109\/icccn54977.2022.9868871","type":"proceedings-article","created":{"date-parts":[[2022,9,5]],"date-time":"2022-09-05T20:26:54Z","timestamp":1662409614000},"page":"1-10","source":"Crossref","is-referenced-by-count":0,"title":["Design and Implementation of a Strong Representation System for Network Policies"],"prefix":"10.1109","author":[{"given":"Fangping","family":"Lan","sequence":"first","affiliation":[{"name":"Temple University,Department of Computer and Information Sciences,Philadelphia,PA,USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sanchari","family":"Biswas","sequence":"additional","affiliation":[{"name":"Temple University,Department of Computer and Information Sciences,Philadelphia,PA,USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bin","family":"Gui","sequence":"additional","affiliation":[{"name":"Temple University,Department of Computer and Information Sciences,Philadelphia,PA,USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jie","family":"Wu","sequence":"additional","affiliation":[{"name":"Temple University,Department of Computer and Information Sciences,Philadelphia,PA,USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anduo","family":"Wang","sequence":"additional","affiliation":[{"name":"Temple University,Department of Computer and Information Sciences,Philadelphia,PA,USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref73","doi-asserted-by":"publisher","DOI":"10.1145\/3041027.3041030"},{"key":"ref72","article-title":"Onix: a distributed control platform for large-scale production networks","author":"koponen","year":"2010","journal-title":"ser OSDI’ 10"},{"key":"ref71","doi-asserted-by":"publisher","DOI":"10.1145\/2038916.2038942"},{"key":"ref70","doi-asserted-by":"publisher","DOI":"10.14778\/2212351.2212357"},{"key":"ref74","doi-asserted-by":"publisher","DOI":"10.1145\/2661061.2661063"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.17487\/rfc4456"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1145\/1147376.1147391"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1145\/303976.303983"},{"key":"ref31","first-page":"1","article-title":"Consistent query answering: Five easy pieces","author":"chomicki","year":"2007","journal-title":"ser ICDT'07"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/1514894.1514899"},{"journal-title":"Examples of Yices and Maude Encoding of Routing Policies","year":"0","key":"ref37"},{"journal-title":"Yices","year":"0","key":"ref36"},{"journal-title":"Logic-Based Techniques in Data Integration","year":"1999","author":"levy","key":"ref35"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/1084805.1084825"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1109\/OPNARC.2003.1196373"},{"key":"ref62","article-title":"Boot-strapping evolvability for inter-domain routing with d-bgp","author":"sambasivan","year":"2017","journal-title":"ser SIG-COMM'17"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.1145\/1016707.1016718"},{"key":"ref63","first-page":"12:1","article-title":"Bootstrapping evolvability for inter-domain routing","year":"2015","journal-title":"ser HotNets-XIV ACM"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/1065167.1065176"},{"key":"ref64","doi-asserted-by":"publisher","DOI":"10.1145\/3341302.3342075"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/1558334.1558341"},{"key":"ref65","article-title":"Declar-ative routing: Extensible routing with declarative queries","author":"loo","year":"2005","journal-title":"ser SIG-COMM '05 ACM"},{"key":"ref66","doi-asserted-by":"publisher","DOI":"10.1145\/1142473.1142485"},{"key":"ref29","article-title":"The tsimmis project: Integration of heterogenous information sources","author":"chawathe","year":"1994","journal-title":"Information Processing Society of Japan (IPSJ 1994)"},{"key":"ref67","article-title":"Finally, a use for componentized transport protocols","author":"condie","year":"2005","journal-title":"Hotnets-IV"},{"key":"ref68","doi-asserted-by":"publisher","DOI":"10.1145\/1544012.1544017"},{"key":"ref69","doi-asserted-by":"publisher","DOI":"10.1145\/1321753.1321757"},{"key":"ref2","first-page":"87","article-title":"Covisor: A compositional hypervisor for software-defined networks","author":"jin","year":"2015","journal-title":"ser NSDI'15 USENIX Association"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/1355734.1355746"},{"key":"ref20","doi-asserted-by":"crossref","first-page":"761","DOI":"10.1145\/1634.1886","article-title":"Incomplete information in relational databases","volume":"31","author":"imieliundefinedski","year":"1984","journal-title":"J ACM"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/INFCOM.2000.832222"},{"key":"ref21","first-page":"41","article-title":"Some foundational problems in interdomain routing","author":"feamster","year":"2004","journal-title":"HotNets"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/1151659.1159934"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/90.993304"},{"journal-title":"NSDI","article-title":"Mutually controlled routing with independent ISPs","year":"2007","key":"ref26"},{"key":"ref25","article-title":"Negotiation-based routing between neighboring isps","author":"mahajan","year":"2005","journal-title":"NSDI"},{"key":"ref50","article-title":"BGP Communities Attribute","author":"li","year":"1996","journal-title":"RFC 1997"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.17487\/RFC8642"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1145\/972426.944766"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1145\/1880153.1880156"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1145\/774763.774774"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1145\/1080091.1080095"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1145\/863955.863964"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1109\/JSAC.2009.090409"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2007.893888"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1145\/1594977.1592583"},{"journal-title":"Controlling the Impact of BGP Policy Changes on IP Traffic","year":"2001","author":"feamster","key":"ref10"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/3422604.3425952"},{"key":"ref40","article-title":"Autonomous system confed-erations for BGP","author":"traina","year":"2007","journal-title":"RFC 5065"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.17487\/rfc4271"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/2934872.2934909"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.17487\/RFC7665"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/3422604.3425936"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/3098822.3098834"},{"key":"ref17","first-page":"969","article-title":"Con-fig2spec: Mining network specifications from network configurations","author":"birkner","year":"2020","journal-title":"USENIX Association"},{"journal-title":"Foundations of Databases The Logical Level","year":"1995","author":"abiteboul","key":"ref18"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/38713.38724"},{"key":"ref4","article-title":"Modular SDN Programming with Pyretic","volume":"38","author":"reich","year":"2013","journal-title":"USENIX login"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/MCOM.2013.6461197"},{"key":"ref6","first-page":"59","article-title":"Kinetic: Verifiable dynamic network control","author":"kim","year":"2015","journal-title":"ser NSDI'15 USENIX Association"},{"key":"ref5","first-page":"1","article-title":"Com-posing software-defined networks","author":"monsanto","year":"2013","journal-title":"ser nsdi'13 USENIX Association"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/2670518.2673872"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/2785956.2787506"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.17487\/rfc4451"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/3098822.3098830"},{"key":"ref46","first-page":"1","article-title":"Fml: Practical declarative network management","author":"hinrichs","year":"2009","journal-title":"ser WREN '09 ACM"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1145\/2890955.2890970"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1109\/ICNP.2002.1181389"},{"journal-title":"PostgreSQL The World's Most Advanced open source relational database","year":"0","key":"ref47"},{"key":"ref42","article-title":"Inherently safe backup routing with BGP","author":"gao","year":"2001","journal-title":"IEEE INFOCOM"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1145\/316194.316231"},{"key":"ref44","first-page":"203","article-title":"Network virtualization in multi-tenant datacenters","author":"koponen","year":"2014","journal-title":"ser NSDI'14 USENIX Association"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1145\/339331.339426"}],"event":{"name":"2022 International Conference on Computer Communications and Networks (ICCCN)","start":{"date-parts":[[2022,7,25]]},"location":"Honolulu, HI, USA","end":{"date-parts":[[2022,7,28]]}},"container-title":["2022 International Conference on Computer Communications and Networks (ICCCN)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9868842\/9868856\/09868871.pdf?arnumber=9868871","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,9,26]],"date-time":"2022-09-26T21:04:18Z","timestamp":1664226258000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9868871\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,7]]},"references-count":74,"URL":"https:\/\/doi.org\/10.1109\/icccn54977.2022.9868871","relation":{},"subject":[],"published":{"date-parts":[[2022,7]]}}}