{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T01:38:07Z","timestamp":1730252287934,"version":"3.28.0"},"reference-count":22,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,10]]},"DOI":"10.1109\/icnp.2012.6459941","type":"proceedings-article","created":{"date-parts":[[2013,2,21]],"date-time":"2013-02-21T19:11:30Z","timestamp":1361473890000},"page":"1-6","source":"Crossref","is-referenced-by-count":5,"title":["Reduction-based security analysis of Internet routing protocols"],"prefix":"10.1109","author":[{"given":"Chen","family":"Chen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Limin","family":"Jia","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Boon Thau","family":"Loo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wenchao","family":"Zhou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","article-title":"A security evaluation of DNSSEC with NSEC3","author":"bau","year":"0","journal-title":"Proceedings of NDSS 2010"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28641-4_3"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1145\/1103576.1103578"},{"key":"18","article-title":"Automatic verification of correspondences for security protocols","volume":"17","author":"blanchet","year":"2009","journal-title":"J Comput Secur"},{"key":"15","article-title":"A modular correctness proof of IEEE 802.11i and TLS","author":"he","year":"0","journal-title":"Proceedings of CCS 2005"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/CSFW.1997.596790"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2007.02.012"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-77505-8_15"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1145\/1045405.1045413"},{"key":"12","article-title":"Model-checking large network protocol implementations","author":"engler","year":"0","journal-title":"Proceedings of NSDI 2004"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22438-6_6"},{"key":"3","first-page":"15","article-title":"Securing bgp through secure origin BGP (soBGP)","volume":"6","author":"white","year":"2003","journal-title":"The Internet Protocol Journal"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/CSF.2010.12"},{"key":"2","article-title":"Pretty secure BGP (psBGP)","author":"wan","year":"0","journal-title":"Proceedings of 12th NDSS 2005"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/49.839934"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1145\/581771.581775"},{"journal-title":"Secure BGP","year":"0","key":"7"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2009.2034031"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1145\/2079296.2079326"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2011.45"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/ICNP.2012.6459941"},{"journal-title":"Proverif 1 86 Automatic Cryptographic Protocol Verifier User Manual and Tutorial","year":"0","author":"blanchet","key":"8"}],"event":{"name":"2012 20th IEEE International Conference on Network Protocols (ICNP)","start":{"date-parts":[[2012,10,30]]},"location":"Austin, TX, USA","end":{"date-parts":[[2012,11,2]]}},"container-title":["2012 20th IEEE International Conference on Network Protocols (ICNP)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6424016\/6459930\/06459941.pdf?arnumber=6459941","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,22]],"date-time":"2017-03-22T23:09:43Z","timestamp":1490224183000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6459941\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,10]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/icnp.2012.6459941","relation":{},"subject":[],"published":{"date-parts":[[2012,10]]}}}