{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T18:59:16Z","timestamp":1743015556351,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642193477"},{"type":"electronic","value":"9783642193484"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-19348-4_9","type":"book-chapter","created":{"date-parts":[[2011,2,11]],"date-time":"2011-02-11T10:50:20Z","timestamp":1297421420000},"page":"108-122","source":"Crossref","is-referenced-by-count":3,"title":["L\u2013PEP: A Logic to Reason about Privacy\u2013Enhancing Cryptography Protocols"],"prefix":"10.1007","author":[{"given":"Almudena","family":"Alcaide","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ali E.","family":"Abdallah","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ana I.","family":"Gonz\u00e1lez\u2013Tablas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jos\u00e9 M.","family":"de Fuentes","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","doi-asserted-by":"crossref","unstructured":"Meadows, C.: Formal methods for cryptographic protocol analysis: emerging issues and trends. IEEE Journal on Selected Areas in Communications 21(1) (2003)","DOI":"10.1109\/JSAC.2002.806125"},{"key":"9_CR2","unstructured":"Privacy and identity management for europe (prime). Privacy and Identity Management for Europe (PRIME), https:\/\/www.prime-project.eu"},{"issue":"1","key":"9_CR3","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1145\/77648.77649","volume":"8","author":"M. Burrows","year":"1990","unstructured":"Burrows, M., Abadi, M., Needham, R.: A logic of authentication. ACM Transactions on Computer Systems\u00a08(1), 18\u201336 (1990)","journal-title":"ACM Transactions on Computer Systems"},{"key":"9_CR4","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1145\/112600.112618","volume-title":"Proceedings of the ACM Symposium of Principles of Distributed Computing","author":"M. Abadi","year":"1991","unstructured":"Abadi, M., Tuttle, M.: A semantics for a logic of authentication. In: Proceedings of the ACM Symposium of Principles of Distributed Computing, pp. 201\u2013216. ACM Press, New York (1991)"},{"key":"9_CR5","doi-asserted-by":"crossref","unstructured":"Moser, L.: A logic of knowledge and belief for reasoning about computer security. In: Proceedings of the Computer Security Foundations Workshop II, pp. 57\u201363 (June 1989)","DOI":"10.1109\/CSFW.1989.40587"},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"Rubin, A.D.: Nonmonotonic cryptographic protocols. In: Proceedings of the Computer Security Foundations Workshop, pp. 100\u2013116 (1994)","DOI":"10.1109\/CSFW.1994.315943"},{"key":"9_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1007\/BFb0055477","volume-title":"Financial Cryptography","author":"C. Meadows","year":"1998","unstructured":"Meadows, C., Syverson, P.F.: A Formal Specification of Requirements for Payment Transactions in the SET Protocol. In: Hirschfeld, R. (ed.) FC 1998. LNCS, vol.\u00a01465, pp. 122\u2013140. Springer, Heidelberg (1998)"},{"key":"9_CR8","first-page":"2079","volume-title":"Proceedings of the 9th International Conference for Young Computer Scientists","author":"Y. Xu","year":"2008","unstructured":"Xu, Y., Xie, X.: Analysis of electronic commerce protocols based on extended rubin logic. In: Proceedings of the 9th International Conference for Young Computer Scientists, Washington, DC, USA, pp. 2079\u20132084. IEEE Computer Society, Los Alamitos (2008)"},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"Xu, Y., Xie, X.: Analysis of authentication protocols based on rubin logic. In: 4th International Conference on Wireless Communications, Networking and Mobile Computing, WiCOM 2008, pp. 1\u20135 (2008)","DOI":"10.1109\/WiCom.2008.1120"},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"Xu, Y., Xie, X.: Security analysis of routing protocol for manet based on extended rubin logic. In: IEEE International Conference on Networking, Sensing and Control, ICNSC 2008, pp. 1326\u20131331 (2008)","DOI":"10.1109\/ICNSC.2008.4525423"},{"issue":"1","key":"9_CR11","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1007\/s10458-008-9063-8","volume":"19","author":"W. Teepe","year":"2009","unstructured":"Teepe, W.: On ban logic and hash functions or: how an unjustified inference rule causes problems. Autonomous Agents and Multi-Agent Systems\u00a019(1), 76\u201388 (2009)","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"9_CR12","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1007\/3-540-45941-3_3","volume-title":"From Theory to Practice in Multi-Agent Systems","author":"N. Agray","year":"2002","unstructured":"Agray, N., van der Hoek, W., de Vink, E.P.: On ban logics for industrial security protocols. In: Dunin-Keplicz, B., Nawarecki, E. (eds.) CEEMAS 2001. LNCS (LNAI), vol.\u00a02296, pp. 29\u201336. Springer, Heidelberg (2002)"},{"key":"9_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"981","DOI":"10.1007\/978-3-540-87700-4_97","volume-title":"Parallel Problem Solving from Nature \u2013 PPSN X","author":"A. Alcaide","year":"2008","unstructured":"Alcaide, A., Est\u00e9vez-Tapiador, J., Hernandez Castro, J., Ribagorda, A.: Nature\u2013inspired synthesis of rational protocols. In: Rudolph, G., Jansen, T., Lucas, S., Poloni, C., Beume, N. (eds.) PPSN 2008. LNCS, vol.\u00a05199, pp. 981\u2013990. Springer, Heidelberg (2008)"}],"container-title":["Lecture Notes in Computer Science","Data Privacy Management and Autonomous Spontaneous Security"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-19348-4_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,2]],"date-time":"2025-03-02T15:26:14Z","timestamp":1740929174000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-19348-4_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642193477","9783642193484"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-19348-4_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}