{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,10]],"date-time":"2025-09-10T22:35:21Z","timestamp":1757543721427},"reference-count":42,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"6","license":[{"start":{"date-parts":[[2012,12,1]],"date-time":"2012-12-01T00:00:00Z","timestamp":1354320000000},"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\/ACM Trans. Networking"],"published-print":{"date-parts":[[2012,12]]},"DOI":"10.1109\/tnet.2012.2187924","type":"journal-article","created":{"date-parts":[[2012,3,14]],"date-time":"2012-03-14T20:05:36Z","timestamp":1331755536000},"page":"1814-1827","source":"Crossref","is-referenced-by-count":28,"title":["FSR: Formal Analysis and Implementation Toolkit for Safe Interdomain Routing"],"prefix":"10.1109","volume":"20","author":[{"given":"Anduo","family":"Wang","sequence":"first","affiliation":[]},{"given":"Limin","family":"Jia","sequence":"additional","affiliation":[]},{"given":"Wenchao","family":"Zhou","sequence":"additional","affiliation":[]},{"given":"Yiqing","family":"Ren","sequence":"additional","affiliation":[]},{"given":"Boon Thau","family":"Loo","sequence":"additional","affiliation":[]},{"given":"Jennifer","family":"Rexford","sequence":"additional","affiliation":[]},{"given":"Vivek","family":"Nigam","sequence":"additional","affiliation":[]},{"given":"Andre","family":"Scedrov","sequence":"additional","affiliation":[]},{"given":"Carolyn","family":"Talcott","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1145\/1592631.1592645"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1145\/1080091.1080095"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1145\/1868447.1868450"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/INFCOM.2009.5061961"},{"key":"ref31","year":"2009","journal-title":"RapidNet A declarative toolkit for rapid network simulation and experimentation"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/2003476.2003495"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2003.822655"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2005.857111"},{"key":"ref35","first-page":"189","article-title":"BFT protocols under fire","author":"singh","year":"2008","journal-title":"Proc 5th USENIX NSDI"},{"key":"ref34","year":"2009","journal-title":"SimBGP"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/COMSNETS.2010.5432000"},{"key":"ref40","first-page":"61","article-title":"Declarative network verification","author":"wang","year":"2009","journal-title":"Proc PADL"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/863955.863964"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/90.993304"},{"key":"ref13","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1090191.1080094","article-title":"Metarouting","author":"griffin","year":"2005","journal-title":"Proc ACM Sigcomm"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/316194.316231"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/INFCOM.2000.832222"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ICNP.2010.5762759"},{"key":"ref17","author":"gurney","year":"2009","journal-title":"Construction and verification of routing algebras"},{"key":"ref18","first-page":"437","article-title":"NetReview: Detecting when interdomain routing goes wrong","author":"haeberlen","year":"2009","journal-title":"Proc NSDI"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/INFCOM.2005.1497928"},{"key":"ref28","first-page":"43","article-title":"Detecting BGP configuration faults with static analysis","author":"feamster","year":"2005","journal-title":"Proc NSDI"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2007.896531"},{"key":"ref27","article-title":"Declarative toolkit for rapid network protocol simulation and experimentation","author":"muthukumar","year":"2009","journal-title":"ACM SIGCOMM"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/1198255.1198259"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/1592568.1592591"},{"key":"ref29","year":"2011","journal-title":"Network Simulator 3"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/1015467.1015491"},{"key":"ref8","first-page":"547","article-title":"Inherently safe backup routing with BGP","volume":"1","author":"gao","year":"2001","journal-title":"Proc IEEE InfoCom"},{"key":"ref7","author":"ren","year":"2011","journal-title":"FSR demonstration video"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/1322263.1322281"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/90.974523"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/1755913.1755937"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/354871.354874"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/1592761.1592785"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/ICNP.2009.5339669"},{"key":"ref42","year":"2012","journal-title":"Yices"},{"key":"ref24","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1145\/1090191.1080126","article-title":"Declarative routing: Extensible routing with declarative queries","author":"loo","year":"2005","journal-title":"Proc ACM Sigcomm"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1145\/1555349.1555375"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/1095810.1095818"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/ICDE.2009.36"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/1544012.1544017"}],"container-title":["IEEE\/ACM Transactions on Networking"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/90\/6381455\/06169964.pdf?arnumber=6169964","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,10]],"date-time":"2021-10-10T23:54:23Z","timestamp":1633910063000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6169964\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,12]]},"references-count":42,"journal-issue":{"issue":"6"},"URL":"https:\/\/doi.org\/10.1109\/tnet.2012.2187924","relation":{},"ISSN":["1063-6692","1558-2566"],"issn-type":[{"value":"1063-6692","type":"print"},{"value":"1558-2566","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,12]]}}}