{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T23:34:01Z","timestamp":1725838441695},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662488980"},{"type":"electronic","value":"9783662488997"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-662-48899-7_9","type":"book-chapter","created":{"date-parts":[[2015,11,21]],"date-time":"2015-11-21T03:59:28Z","timestamp":1448078368000},"page":"112-129","source":"Crossref","is-referenced-by-count":3,"title":["Analyzing Internet Routing Security Using Model Checking"],"prefix":"10.1007","author":[{"given":"Adi","family":"Sosnovich","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Orna","family":"Grumberg","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gabi","family":"Nakibly","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,11,22]]},"reference":[{"key":"9_CR1","unstructured":"http:\/\/www.cs.technion.ac.il\/~sadisos\/bgp\/"},{"key":"9_CR2","unstructured":"Arye, M., Harrison, R., Wang, R.: The next 10,000 BGP gadgets"},{"key":"9_CR3","unstructured":"Arye, M., Harrison, R., Wang, R., Zave, P., Rexford, J.: Toward a lightweight model of BGP safety. In: Proceedings of WRiPE (2011)"},{"key":"9_CR4","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1145\/1282427.1282411","volume":"37","author":"H Ballani","year":"2007","unstructured":"Ballani, H., Francis, P., Zhang, X.: A study of prefix hijacking and interception in the internet. ACM SIGCOMM Comput. Commun. Rev. 37, 265\u2013276 (2007)","journal-title":"ACM SIGCOMM Comput. Commun. Rev."},{"key":"9_CR5","unstructured":"CAIDA. Inferred AS Relationships Dataset (2014). \n                    http:\/\/data.caida.org\/datasets\/as-relationships\/serial-1\/20141001.as-rel.txt.bz2"},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"Callon, R.: Use of OSI IS-IS for routing in TCP\/IP and dual environments. IETF RFC 1195, December 1990","DOI":"10.17487\/rfc1195"},{"key":"9_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1007\/978-3-319-03077-7_24","volume-title":"Hardware and Software: Verification and Testing","author":"H Chockler","year":"2013","unstructured":"Chockler, H., Pidan, D., Ruah, S.: Improving representative computation in ExpliSAT. In: Bertacco, V., Legay, A. (eds.) HVC 2013. LNCS, vol. 8244, pp. 359\u2013364. Springer, Heidelberg (2013)"},{"issue":"6","key":"9_CR8","doi-asserted-by":"publisher","first-page":"681","DOI":"10.1109\/90.974523","volume":"9","author":"L Gao","year":"2001","unstructured":"Gao, L., Rexford, J.: Stable Internet routing without global coordination. IEEE\/ACM Trans. Netw. (TON) 9(6), 681\u2013692 (2001)","journal-title":"IEEE\/ACM Trans. Netw. (TON)"},{"key":"9_CR9","doi-asserted-by":"publisher","first-page":"260","DOI":"10.1016\/j.comnet.2014.05.007","volume":"70","author":"S Goldberg","year":"2014","unstructured":"Goldberg, S., Schapira, M., Hummon, P., Rexford, J.: How secure are secure interdomain routing protocols? Comput. Netw. 70, 260\u2013287 (2014)","journal-title":"Comput. Netw."},{"key":"9_CR10","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1109\/49.839934","volume":"18","author":"S Kent","year":"2000","unstructured":"Kent, S., Lynn, C., Mikkelson, J., Seo, K.: Secure border gateway protocol (S-BGP). IEEE J. Sel. Areas Commun. 18, 103\u2013116 (2000)","journal-title":"IEEE J. Sel. Areas Commun."},{"key":"9_CR11","unstructured":"Lychev, R., Goldberg, S., Schapira, M.: Network-destabilizing attacks. arXiv preprint (2012). \n                    arXiv:1203.1681"},{"key":"9_CR12","unstructured":"Madory, D.: Sprint, Windstream: Latest ISPs to hijack foreign networks (2014). \n                    http:\/\/research.dyn.com\/2014\/09\/latest-isps-to-hijack\/"},{"key":"9_CR13","unstructured":"Madory,D.: The Vast World of Fraudulent Routing (2015). \n                    http:\/\/research.dyn.com\/2015\/01\/vast-world-of-fraudulent-routing\/"},{"key":"9_CR14","doi-asserted-by":"crossref","unstructured":"Malkin, G.: RIP version 2. IETF RFC 2453 (1998)","DOI":"10.17487\/rfc2453"},{"key":"9_CR15","doi-asserted-by":"crossref","unstructured":"Moy, J.: OSPF version 2. IETF RFC 2328 (1998)","DOI":"10.17487\/rfc2328"},{"key":"9_CR16","doi-asserted-by":"crossref","unstructured":"Rekhter, Y., Li, T., Hares, S.: A border gateway protocol 4 (BGP-4). IETF RFC 4271 (2006)","DOI":"10.17487\/rfc4271"},{"key":"9_CR17","doi-asserted-by":"publisher","first-page":"440","DOI":"10.1145\/2043164.2018510","volume":"41","author":"Y Ren","year":"2011","unstructured":"Ren, Y., Zhou, W., Wang, A., Jia, L., Gurney, A.J.T., Loo, B.T., Rexford, J.: FSR: formal analysis and implementation toolkit for safe inter-domain routing. ACM SIGCOMM Comput. Commun. Rev. 41, 440\u2013441 (2011)","journal-title":"ACM SIGCOMM Comput. Commun. Rev."},{"key":"9_CR18","unstructured":"Toonk, A.: BGP hijack incident by Syrian Telecommunications Establishment (2014). \n                    http:\/\/www.bgpmon.net\/bgp-hijack-incident-by-syrian-telecommunications-establishment\/"},{"key":"9_CR19","unstructured":"Toonk, A.: Hijack event today by Indosat (2014). \n                    http:\/\/www.bgpmon.net\/hijack-event-today-by-indosat\/"},{"key":"9_CR20","unstructured":"Toonk, A.: The Canadian Bitcoin Hijack (2014). \n                    http:\/\/www.bgpmon.net\/the-canadian-bitcoin-hijack\/"},{"key":"9_CR21","doi-asserted-by":"crossref","unstructured":"Vervier, P.A., Thonnard, O., Dacier, M.: Mind your blocks : on the stealthiness of malicious BGP hijacks (2015)","DOI":"10.14722\/ndss.2015.23035"}],"container-title":["Lecture Notes in Computer Science","Logic for Programming, Artificial Intelligence, and Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-48899-7_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T19:25:26Z","timestamp":1559330726000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-48899-7_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783662488980","9783662488997"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-48899-7_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}