{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T06:08:06Z","timestamp":1730268486779,"version":"3.28.0"},"reference-count":21,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,4]]},"DOI":"10.1109\/infocom.2018.8485948","type":"proceedings-article","created":{"date-parts":[[2018,10,18]],"date-time":"2018-10-18T18:45:36Z","timestamp":1539888336000},"page":"621-629","source":"Crossref","is-referenced-by-count":2,"title":["VeriTable: Fast Equivalence Verification of Multiple Large Forwarding Tables"],"prefix":"10.1109","author":[{"given":"Garegin","family":"Grigoryan","sequence":"first","affiliation":[]},{"given":"Yaoqing","family":"Liu","sequence":"additional","affiliation":[]},{"given":"Michael","family":"Leczinsky","sequence":"additional","affiliation":[]},{"given":"Jun","family":"Li","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"AS131072 IPv6 BGP Table Data","year":"0","key":"ref10"},{"journal-title":"BGP in 2016","year":"0","author":"huston","key":"ref11"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/321479.321481"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ICCCN.2011.6006278"},{"key":"ref14","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1145\/2534169.2486009","article-title":"Com-pressing IP forwarding tables: towards entropy bounds and beyond","volume":"43","author":"r\u00e9tv\u00e1ri","year":"2013","journal-title":"ACM SIGCOMM Computer Communication Review"},{"journal-title":"The RouteViews project","article-title":"Advanced Network Technology Center and University of Oregon","year":"0","key":"ref15"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/2018436.2018470"},{"key":"ref17","first-page":"87","article-title":"Libra: Divide and Conquer to Verify Forwarding Tables in Huge Networks","volume":"14","author":"zeng","year":"2014","journal-title":"NSDI"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/1327452.1327492"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/2377677.2377766"},{"key":"ref4","first-page":"88","volume":"1","author":"draves","year":"1999","journal-title":"Constructing optimal IP routing tables"},{"journal-title":"Configuring CEF Consistency Checkers","year":"0","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/INFCOM.2013.6566913"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/2079296.2079325"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/MIC.2012.98"},{"key":"ref7","article-title":"The Intra-domain BGP Scaling Problem","author":"mcpherson","year":"2009","journal-title":"RIPF 58 Amsterdam"},{"journal-title":"Troubleshooting Prefix Inconsistencies with Cisco Express Forwarding","year":"0","key":"ref2"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1002\/0470113952"},{"journal-title":"The CIDR Report","article-title":"CIDR","year":"0","key":"ref9"},{"key":"ref20","first-page":"99","article-title":"Real Time Network Policy Checking Using Header Space Analysis","author":"kazemian","year":"2013","journal-title":"NSDI"},{"key":"ref21","first-page":"113","article-title":"Header Space Analysis: Static Checking for Networks","volume":"12","author":"kazemian","year":"2012","journal-title":"NSDI"}],"event":{"name":"IEEE INFOCOM 2018 - IEEE Conference on Computer Communications","start":{"date-parts":[[2018,4,16]]},"location":"Honolulu, HI","end":{"date-parts":[[2018,4,19]]}},"container-title":["IEEE INFOCOM 2018 - IEEE Conference on Computer Communications"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8464035\/8485803\/08485948.pdf?arnumber=8485948","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,24]],"date-time":"2020-08-24T05:14:41Z","timestamp":1598246081000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8485948\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,4]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/infocom.2018.8485948","relation":{},"subject":[],"published":{"date-parts":[[2018,4]]}}}