{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T17:29:09Z","timestamp":1725470949701},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540383413"},{"type":"electronic","value":"9783540383437"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11836810_36","type":"book-chapter","created":{"date-parts":[[2006,10,3]],"date-time":"2006-10-03T10:36:57Z","timestamp":1159871817000},"page":"502-516","source":"Crossref","is-referenced-by-count":2,"title":["Designing and Verifying Core Protocols for Location Privacy"],"prefix":"10.1007","author":[{"given":"David","family":"von Oheimb","sequence":"first","affiliation":[]},{"given":"Jorge","family":"Cuellar","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"36_CR1","unstructured":"The AVISPA project homepage (2003), http:\/\/www.avispa-project.org\/"},{"key":"36_CR2","unstructured":"The AVISPA Tool (2005), Available at: http:\/\/www.avispa-project.org\/"},{"key":"36_CR3","unstructured":"HLPSL Tutorial: A Beginner\u2019s Guide to Modelling and Analysing Internet Security Protocols, Available at: [AH-03] (2005)"},{"key":"36_CR4","unstructured":"AVISPA User Manual, Available at: [AH-03] (2005)"},{"key":"36_CR5","series-title":"Automated Software Engineering","first-page":"193","volume-title":"A High Level Protocol Specification Language for Industrial Security-Sensitive Protocols","author":"Y. Chevalier","year":"2004","unstructured":"Chevalier, Y., Compagna, L., Cuellar, J., Drielsma, P.H., Mantovani, J., M\u00f6dersheim, S., Vigneron, L.: A High Level Protocol Specification Language for Industrial Security-Sensitive Protocols. Automated Software Engineering, vol.\u00a0180, pp. 193\u2013205. Austrian Computer Society, Austria (2004)"},{"key":"36_CR6","doi-asserted-by":"crossref","unstructured":"Cuellar, J., Morris, J., Mulligan, D., Peterson, J., Polk, J.: RFC 3693: geopriv requirements (2004), http:\/\/www.faqs.org\/rfcs\/rfc3693.html","DOI":"10.17487\/rfc3693"},{"key":"36_CR7","doi-asserted-by":"crossref","unstructured":"Danley, M., Mulligan, D., Morris, J., Peterson, J.: RFC 3694: Threat Analysis of the Geopriv Protocol (2004), http:\/\/www.faqs.org\/rfcs\/rfc3694.html","DOI":"10.17487\/rfc3694"},{"key":"36_CR8","doi-asserted-by":"crossref","unstructured":"Dolev, D., Yao, A.: On the Security of Public-Key Protocols. IEEE Transactions on Information Theory\u00a02(29) (1983)","DOI":"10.1109\/TIT.1983.1056650"},{"key":"36_CR9","unstructured":"IETF Working Group: Geographic location\/privacy (geopriv) (2006), http:\/\/www.ietf.org\/html.charters\/geopriv-charter.html"},{"key":"36_CR10","unstructured":"Liu, L.: Analyzing web service protocols with the AVISPA approach. M.Sc. thesis, Universit\u00e4t Karlsruhe and Siemens (2005)"},{"key":"36_CR11","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1109\/CSFW.1997.596782","volume-title":"Proceedings of the 10th IEEE Computer Security Foundations Workshop (CSFW 1997)","author":"G. Lowe","year":"1997","unstructured":"Lowe, G.: A hierarchy of authentication specifications. In: Proceedings of the 10th IEEE Computer Security Foundations Workshop (CSFW 1997), pp. 31\u201343. IEEE Computer Society Press, Los Alamitos (1997)"}],"container-title":["Lecture Notes in Computer Science","Information Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11836810_36","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,21]],"date-time":"2019-04-21T12:10:22Z","timestamp":1555848622000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11836810_36"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540383413","9783540383437"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/11836810_36","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}