{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,1]],"date-time":"2025-11-01T13:41:48Z","timestamp":1762004508860,"version":"3.40.4"},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642380037"},{"type":"electronic","value":"9783642380044"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-38004-4_17","type":"book-chapter","created":{"date-parts":[[2013,4,22]],"date-time":"2013-04-22T08:24:16Z","timestamp":1366619056000},"page":"257-272","source":"Crossref","is-referenced-by-count":24,"title":["YubiSecure? Formal Security Analysis Results for the Yubikey and YubiHSM"],"prefix":"10.1007","author":[{"given":"Robert","family":"K\u00fcnnemann","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Graham","family":"Steel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"#cr-split#-17_CR1.1","doi-asserted-by":"crossref","unstructured":"Bonneau, J., Herley, C., van Oorschot, P.C., Stajano, F.: The quest to replace passwords: a framework for comparative evaluation of Web authentication schemes. Technical Report UCAM-CL-TR-817, University of Cambridge, Computer Laboratory (March 2012)","DOI":"10.1109\/SP.2012.44"},{"key":"#cr-split#-17_CR1.2","unstructured":"Shorter version appears in Proceedings of IEEE Symposium on Security and Privacy (2012)"},{"key":"17_CR2","unstructured":"Yubico AB: Yubico customer list, http:\/\/www.yubico.com\/references"},{"key":"17_CR3","unstructured":"Yubico AB: Yubikey security evaluation: Discussion of security properties and best practices v2.0. (September 2009), http:\/\/static.yubico.com\/var\/uploads\/pdfs\/Security_Evaluation_2009-09-09.pdf"},{"key":"17_CR4","unstructured":"Bj\u00f6rck, F.: Yubikey security weaknesses. On Security DJ Blog (February 2009), http:\/\/web.archive.org\/web\/20100203110742\/http:\/\/security.dj\/?p=4"},{"key":"17_CR5","unstructured":"Bj\u00f6rck, F.: Increased security for yubikey. On Security DJ Blog (August 2009), http:\/\/web.archive.org\/web\/20100725005817\/http:\/\/security.dj\/?p=154"},{"key":"17_CR6","unstructured":"Vamanu, L.: Formal analysis of Yubikey. Master\u2019s thesis, \u00c9cole normale sup\u00e9rieure de Cachan (August 2011), http:\/\/n.ethz.ch\/~lvamanu\/download\/YubiKeyAnalysis.pdf"},{"key":"17_CR7","doi-asserted-by":"crossref","unstructured":"Schmidt, B., Meier, S., Cremers, C.J.F., Basin, D.A.: Automated analysis of diffie-hellman protocols and advanced security properties. In: Proceedings of the 25th IEEE Computer Security Foundations Symposium, CSF 2012, pp. 78\u201394 (2012)","DOI":"10.1109\/CSF.2012.25"},{"key":"17_CR8","unstructured":"Kaminsky, D.: On the RSA SecurID compromise (June 2011), http:\/\/dankaminsky.com\/2011\/06\/09\/securid\/"},{"key":"17_CR9","unstructured":"Yubico Inc.: Yubihsm 1.0 security advisory 2012-01 (February 2012) (published online), http:\/\/static.yubico.com\/var\/uploads\/pdfs\/SecurityAdvisory%202012-02-13.pdf"},{"key":"17_CR10","unstructured":"Yubico AB Kungsgatan 37, 111 56 Stockholm Sweden: The YubiKey Manual - Usage, configuration and introduction of basic concepts (Version 2.2) (June 2010), http:\/\/www.yubico.com\/documentation"},{"key":"17_CR11","unstructured":"Yubico AB Kungsgatan 37, 111 56 Stockholm Sweden: YubiKey Authentication Module Design Guide and Best Practices (Version 1.0), http:\/\/www.yubico.com\/documentation"},{"key":"17_CR12","unstructured":"Kamikaze28, et\u00a0al.: Specification of the Yubikey operation in the Yubico wiki (June 2012), http:\/\/wiki.yubico.com\/wiki\/index.php\/Yubikey"},{"key":"17_CR13","unstructured":"The yubikey-val-server-php project: Validation protocol version 2.0. (October 2011), http:\/\/code.google.com\/p\/yubikey-val-server-php\/wiki\/ValidationProtocolV20"},{"key":"17_CR14","unstructured":"Durgin, N., Lincoln, P., Mitchell, J., Scedrov, A.: Undecidability of bounded security protocols. In: Heintze, N., Clarke, E. (eds.) Proceedings of the Workshop on Formal Methods and Security Protocols \u2014 FMSP, Trento, Italy (1999), Electronic proceedings, http:\/\/www.cs.bell-labs.com\/who\/nch\/fmsp99\/program.html"},{"issue":"4","key":"17_CR15","doi-asserted-by":"crossref","first-page":"363","DOI":"10.3233\/JCS-2009-0339","volume":"17","author":"B. Blanchet","year":"2009","unstructured":"Blanchet, B.: Automatic verification of correspondences for security protocols. Journal of Computer Security\u00a017(4), 363\u2013434 (2009)","journal-title":"Journal of Computer Security"},{"key":"17_CR16","doi-asserted-by":"crossref","unstructured":"Arapinis, M., Ritter, E., Ryan, M.D.: Statverif: Verification of stateful processes. In: CSF, pp. 33\u201347. IEEE Computer Society (2011)","DOI":"10.1109\/CSF.2011.10"},{"key":"17_CR17","doi-asserted-by":"crossref","unstructured":"M\u00f6dersheim, S.: Abstraction by set-membership: verifying security protocols and web services with databases. In: [25], pp. 351\u2013360","DOI":"10.1145\/1866307.1866348"},{"issue":"2","key":"17_CR18","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1007\/s10817-010-9202-1","volume":"48","author":"J.D. Guttman","year":"2012","unstructured":"Guttman, J.D.: State and progress in strand spaces: Proving fair exchange. J. Autom. Reasoning\u00a048(2), 159\u2013195 (2012)","journal-title":"J. Autom. Reasoning"},{"key":"17_CR19","unstructured":"Yubico AB Kungsgatan 37, 111 56 Stockholm Sweden: Yubico YubiHSM - Cryptographic Hardware Security Module (Version 1.0) (September 2011), http:\/\/www.yubico.com\/documentation"},{"key":"17_CR20","doi-asserted-by":"crossref","unstructured":"Whiting, D., Housley, R., Ferguson, N.: Counter with CBC-MAC (CCM). RFC 3610 (Informational) (September 2003)","DOI":"10.17487\/rfc3610"},{"key":"17_CR21","unstructured":"Yubico AB Kungsgatan 37, 111 56 Stockholm Sweden: Yubicloud Validation Service - (Version 1.1) (May 2012), http:\/\/www.yubico.com\/documentation"},{"key":"17_CR22","unstructured":"Habets, T.: Yubihsm login helper program, http:\/\/code.google.com\/p\/yhsmpam\/"},{"key":"17_CR23","doi-asserted-by":"crossref","unstructured":"Rogaway, P., Shrimpton, T.: Deterministic authenticated encryption: A provable-security treatment of the keywrap problem (2006)","DOI":"10.1007\/11761679_23"},{"key":"17_CR24","doi-asserted-by":"crossref","unstructured":"Meier, S., Cremers, C.J.F., Basin, D.A.: Strong invariants for the efficient construction of machine-checked protocol security proofs. In: [25], pp. 231\u2013245","DOI":"10.1109\/CSF.2010.23"},{"key":"17_CR25","unstructured":"Al-Shaer, E., Keromytis, A.D., Shmatikov, V. (eds.) Proceedings of the 17th ACM Conference on Computer and Communications Security, CCS 2010, Chicago, Illinois, USA, October 4-8. ACM (2010)"}],"container-title":["Lecture Notes in Computer Science","Security and Trust Management"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-38004-4_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,30]],"date-time":"2025-04-30T06:03:56Z","timestamp":1745993036000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-38004-4_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642380037","9783642380044"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-38004-4_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}