{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T15:24:46Z","timestamp":1742916286756,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642384004"},{"type":"electronic","value":"9783642384011"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-38401-1_10","type":"book-chapter","created":{"date-parts":[[2013,5,29]],"date-time":"2013-05-29T04:53:08Z","timestamp":1369803188000},"page":"129-139","source":"Crossref","is-referenced-by-count":3,"title":["Securing Address Registration in Location\/ID Split Protocol Using ID-Based Cryptography"],"prefix":"10.1007","author":[{"given":"Mahdi","family":"Aiash","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ameer","family":"Al-Nemrat","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Preston","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"10_CR1","doi-asserted-by":"crossref","unstructured":"Farinacci, D., Fuller, V., Meyer, D., Lewis, D.: Locator\/ID Separation Protocol (LISP). Internet-Draft (November 13, 2012)","DOI":"10.17487\/rfc6830"},{"key":"10_CR2","unstructured":"Cisco Locator\/ID Separation Protocol Security At-A-Glance, \n                      http:\/\/www.cisco.com\/en\/US\/prod\/collateral\/iosswrel\/ps6537\/ps6554\/ps6599\/ps10800\/at_a_glance_c45-645204.pdf\n                     (last accessed on January 13, 2013)"},{"key":"10_CR3","unstructured":"Maino, F., Ermagan, V., Cabellos, A., Saucez, A., Bonaventure, O.: LISP-Security (LISP-SEC). Internet-Draft (September 12, 2012)"},{"key":"10_CR4","unstructured":"Maino, F., Ermagan, V., Cabellos, A., Saucez, A., Bonaventure, O.: LISP-Security (LISP-SEC). Internet-Draft (September 12, 2012)"},{"key":"10_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/3-540-39568-7_5","volume-title":"Advances in Cryptology","author":"A. Shamir","year":"1985","unstructured":"Shamir, A.: Identity-based cryptosystems and signature schemes. In: Blakely, G.R., Chaum, D. (eds.) CRYPTO 1984. LNCS, vol.\u00a0196, pp. 47\u201353. Springer, Heidelberg (1985)"},{"key":"10_CR6","doi-asserted-by":"crossref","unstructured":"Arends, R., Austein, R., Larson, M., Massey, D., Rose, S.: DNS Security Introduction and Requirements, Internet Engineering Task Force, RFC 4033 (March 2005)","DOI":"10.17487\/rfc4033"},{"key":"10_CR7","unstructured":"Lowe, G., Broadfoot, P., Dilloway, C., Hui, M.L.: Casper: A compiler for the analysis of security protocols, 1.12 edn. (September 2009)"},{"key":"10_CR8","unstructured":"Cisco Locator\/ID Separation Protocol Revolutionary Network Architecture to Power the Network, \n                      http:\/\/www.cisco.com\/en\/US\/prod\/collateral\/iosswrel\/ps6537\/ps6554\/ps6599\/ps10800\/aag_c45-635298.pdf\n                     (last accessed on January 13, 2013)"},{"key":"10_CR9","unstructured":"Farinacci, D., Fuller, V.: LISP Map Server Interface. Internet-Draft (March 4, 2012)"},{"key":"10_CR10","unstructured":"Goldsmith, M., Lowe, G., Roscoe, A.W., Ryan, P., Schneider, S.: The modelling and analysis of security protocols. PEARSON Ltd. (2010)"},{"key":"10_CR11","unstructured":"Formal Systems, Failures-divergence refinement. FDR2 user manual and tutorial, Version 1.3 (June 1993)"},{"key":"10_CR12","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1186\/1687-1499-2012-57","volume":"2012","author":"M. Aiash","year":"2012","unstructured":"Aiash, M., Mapp, G., Lasebae, A., Phan, P., Loo, J.: Casper: A formally verified AKA protocol for vertical handover in heterogeneous environments using Casper\/FDR. EURASIP Journal on Wireless Communications and Networking\u00a02012, 57 (2012)","journal-title":"EURASIP Journal on Wireless Communications and Networking"},{"key":"10_CR13","doi-asserted-by":"crossref","unstructured":"Aiash, M., Mapp, G., Lasebae, A., Phan, P., Loo, J.: A Formally Verified Device Authentication Protocol Using Casper\/FDR. In: 11th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom), June 25-27 (2012)","DOI":"10.1109\/TrustCom.2012.27"}],"container-title":["Lecture Notes in Computer Science","Wired\/Wireless Internet Communication"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-38401-1_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,9]],"date-time":"2023-02-09T15:09:10Z","timestamp":1675955350000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-38401-1_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642384004","9783642384011"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-38401-1_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}