{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T03:04:38Z","timestamp":1725505478865},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540791034"},{"type":"electronic","value":"9783540791041"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-79104-1_1","type":"book-chapter","created":{"date-parts":[[2008,3,13]],"date-time":"2008-03-13T03:28:21Z","timestamp":1205378901000},"page":"1-13","source":"Crossref","is-referenced-by-count":4,"title":["Verification of Integrity and Secrecy Properties of a Biometric Authentication Protocol"],"prefix":"10.1007","author":[{"given":"A.","family":"Salaiwarakul","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M. D.","family":"Ryan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"1_CR1","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1016\/0020-0190(95)00144-2","volume":"56","author":"G. Lowe","year":"1995","unstructured":"Lowe, G.: An attack on the Needham-Schroeder public-key authentication protocol. Information Processing Letters\u00a056, 131\u2013133 (1995)","journal-title":"Information Processing Letters"},{"key":"1_CR2","unstructured":"Chen, L., Pearson, S., Vamvakas, A.: Trusted Biometric System (2002), \n                  \n                    http:\/\/www.hpl.hp.com\/techreports\/2002\/HPL-2002-185.pdf"},{"key":"1_CR3","unstructured":"Pearson, S.: How Can You Trust the Computer in Front of You? (2002), \n                  \n                    http:\/\/www.hpl.hp.com\/techreports\/2002\/HPL-2002-222.pdf"},{"key":"1_CR4","doi-asserted-by":"crossref","unstructured":"Abadi, M., Fournet, C.: Mobile values, new names, and secure communications. In: Proceedings of the 28th Annual ACM Symposium on Principles of Programming Languages, pp. 104\u2013115 (2001)","DOI":"10.1145\/360204.360213"},{"key":"1_CR5","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1109\/CSFW.2001.930138","volume-title":"14th IEEE Computer Security Foundations Workshop","author":"B. Blanchet","year":"2001","unstructured":"Blanchet, B.: An efficient cryptographic protocol verifier based on prolog rules. In: Schneider, S. (ed.) 14th IEEE Computer Security Foundations Workshop, pp. 82\u201396. IEEE Computer Society Press, Los Alamitos (2001)"},{"key":"1_CR6","doi-asserted-by":"crossref","unstructured":"Blanchet, B.: Automatic Proof of Strong Secrecy for Security Protocols. In: IEEE Symposium on Security and Privacy, pp. 86\u2013100 (2004)","DOI":"10.1109\/SECPRI.2004.1301317"},{"key":"1_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"186","DOI":"10.1007\/978-3-540-31987-0_14","volume-title":"Programming Languages and Systems","author":"S. Kremer","year":"2005","unstructured":"Kremer, S., Ryan, M.: Analysis of an Electronic Voting Protocol in the Applied Pi Calculus. In: Sagiv, M. (ed.) ESOP 2005. LNCS, vol.\u00a03444, pp. 186\u2013200. Springer, Heidelberg (2005)"},{"key":"1_CR8","unstructured":"Blanchet, B.: ProVerif Automatic Cryptographic Protocol Verifier User Manual (2005)"},{"key":"1_CR9","volume-title":"19th Computer Security oundations Workshop","author":"S. Delaune","year":"2006","unstructured":"Delaune, S., Kremer, S., Ryan, M.: Coercion-resistance and Receipt-freeness in Electronic Voting. In: 19th Computer Security oundations Workshop, IEEE Computer Society Press, Los Alamitos (2006)"},{"key":"1_CR10","doi-asserted-by":"crossref","unstructured":"Dolev, D., Yao, A.C.: On the Security of Public Key Protocols. In: Proceedings of 22nd IEEE Symposium on Foundations of Computer Science, pp. 350\u2013357 (1981)","DOI":"10.1109\/SFCS.1981.32"},{"key":"1_CR11","unstructured":"Bond, M.: Chip and Pin (EMV) Point-of-Sale Terminal Interceptor (2007), \n                  \n                    http:\/\/www.cl.cam.ac.uk\/~mkb23\/interceptor\/"}],"container-title":["Lecture Notes in Computer Science","Information Security Practice and Experience"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-79104-1_1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:10:11Z","timestamp":1619507411000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-79104-1_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540791034","9783540791041"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-79104-1_1","relation":{},"subject":[]}}