{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T23:15:08Z","timestamp":1763507708040,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662466650"},{"type":"electronic","value":"9783662466667"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-662-46666-7_12","type":"book-chapter","created":{"date-parts":[[2015,3,30]],"date-time":"2015-03-30T18:57:12Z","timestamp":1427741832000},"page":"219-238","source":"Crossref","is-referenced-by-count":9,"title":["Automated Backward Analysis of PKCS#11 v2.20"],"prefix":"10.1007","author":[{"given":"Robert","family":"K\u00fcnnemann","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12_CR1","doi-asserted-by":"crossref","unstructured":"Abadi, M., Fournet, C.: Mobile Values, New Names, and Secure Communication. In: POPL 2001. ACM Press (2001)","DOI":"10.1145\/360204.360213"},{"key":"12_CR2","doi-asserted-by":"crossref","unstructured":"Ad\u00e3o, P., Focardi, R., Luccio, F.L.: Type-Based Analysis of Generic Key Management APIs. In: CSF, pp. 97\u2013111. IEEE (2013)","DOI":"10.1109\/CSF.2013.14"},{"key":"12_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"557","DOI":"10.1007\/978-3-642-33167-1_32","volume-title":"Computer Security \u2013 ESORICS 2012","author":"N. Ahmed","year":"2012","unstructured":"Ahmed, N., Jensen, C.D., Zenner, E.: Towards Symbolic Encryption Schemes. In: Foresti, S., Yung, M., Martinelli, F. (eds.) ESORICS 2012. LNCS, vol.\u00a07459, pp. 557\u2013572. Springer, Heidelberg (2012)"},{"key":"12_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"608","DOI":"10.1007\/978-3-642-32009-5_36","volume-title":"Advances in Cryptology \u2013 CRYPTO 2012","author":"R. Bardou","year":"2012","unstructured":"Bardou, R., Focardi, R., Kawamoto, Y., Simionato, L., Steel, G., Tsay, J.-K.: Efficient Padding Oracle Attacks on Cryptographic Hardware. In: Safavi-Naini, R., Canetti, R. (eds.) CRYPTO 2012. LNCS, vol.\u00a07417, pp. 608\u2013625. Springer, Heidelberg (2012)"},{"key":"12_CR5","doi-asserted-by":"crossref","unstructured":"Bond, M., Anderson, R.: API level attacks on embedded systems. IEEE Computer Magazine\u00a034(10) (2001)","DOI":"10.1109\/2.955101"},{"key":"12_CR6","doi-asserted-by":"crossref","unstructured":"Bortolozzo, M., et al.: Attacking and Fixing PKCS#11 Security Tokens. In: CCS 2010. ACM Press (2010)","DOI":"10.1145\/1866307.1866337"},{"key":"12_CR7","doi-asserted-by":"crossref","unstructured":"Centenaro, M., Focardi, R., Luccio, F.L.: Type-based analysis of key management in PKCS#11 cryptographic devices. Journal of Computer Security 21(6) (2013)","DOI":"10.3233\/JCS-130479"},{"key":"12_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"411","DOI":"10.1007\/978-3-540-45238-6_32","volume-title":"Cryptographic Hardware and Embedded Systems - CHES 2003","author":"J. Clulow","year":"2003","unstructured":"Clulow, J.: On the security of PKCS #11. In: Walter, C.D., Ko\u00e7, \u00c7.K., Paar, C. (eds.) CHES 2003. LNCS, vol.\u00a02779, pp. 411\u2013425. Springer, Heidelberg (2003)"},{"key":"12_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"538","DOI":"10.1007\/978-3-540-71209-1_42","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"V. Cortier","year":"2007","unstructured":"Cortier, V., Keighren, G., Steel, G.: Automatic Analysis of the Security of XOR-Based Key Management Schemes. In: Grumberg, O., Huth, M. (eds.) TACAS 2007. LNCS, vol.\u00a04424, pp. 538\u2013552. Springer, Heidelberg (2007)"},{"key":"12_CR10","doi-asserted-by":"crossref","unstructured":"Cortier, V., Steel, G., Wiedling, C.: Revoke and let live: a secure key revocation API for cryptographic devices. In: CCS 2012. ACM (2012)","DOI":"10.1145\/2382196.2382293"},{"key":"12_CR11","doi-asserted-by":"crossref","unstructured":"Delaune, S., Kremer, S., Steel, G.: Formal Analysis of PKCS#11 and Proprietary Extensions. Journal of Computer Security\u00a018(6) (2010)","DOI":"10.3233\/JCS-2009-0394"},{"key":"12_CR12","unstructured":"Durgin, N., et al.: Undecidability of Bounded Security Protocols. In: Workshop on Formal Methods and Security Protocols. IEEE (1999)"},{"key":"12_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1007\/978-3-642-29420-4_9","volume-title":"Formal Aspects of Security and Trust","author":"S. Fr\u00f6schle","year":"2012","unstructured":"Fr\u00f6schle, S., Sommer, N.: Concepts and Proofs for Configuring PKCS#11. In: Barthe, G., Datta, A., Etalle, S. (eds.) FAST 2011. LNCS, vol.\u00a07140, pp. 131\u2013147. Springer, Heidelberg (2012)"},{"key":"12_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"92","DOI":"10.1007\/978-3-642-03459-6_7","volume-title":"Foundations and Applications of Security Analysis","author":"S. Fr\u00f6schle","year":"2009","unstructured":"Fr\u00f6schle, S., Steel, G.: Analysing PKCS#11 key management aPIs with unbounded fresh data. In: Degano, P., Vigan\u00f2, L. (eds.) ARSPA-WITS 2009. LNCS, vol.\u00a05511, pp. 92\u2013106. Springer, Heidelberg (2009)"},{"key":"12_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"96","DOI":"10.1007\/978-3-642-19751-2_7","volume-title":"Formal Aspects of Security and Trust","author":"S. Fr\u00f6schle","year":"2011","unstructured":"Fr\u00f6schle, S., Sommer, N.: Reasoning with past to prove PKCS#11 keys secure. In: Degano, P., Etalle, S., Guttman, J. (eds.) FAST 2010. LNCS, vol.\u00a06561, pp. 96\u2013110. Springer, Heidelberg (2011)"},{"key":"12_CR16","unstructured":"Fr\u00f6schle, S.B., Sommer, N.: When is a PKCS#11 configuration secure? Tech. rep. Reports of SFB\/TR 14 AVACS 82, SFB\/TR 14 AVACS (2011), \n                      \n                        https:\/\/vhome.offis.de\/sibyllef\/cryptokireport.pdf"},{"key":"12_CR17","doi-asserted-by":"crossref","unstructured":"Kremer, S., K\u00fcnnemann, R.: Automated analysis of security protocols with global state. In: Security and Privacy. IEEE Computer Society (2014)","DOI":"10.1109\/SP.2014.18"},{"key":"12_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"327","DOI":"10.1007\/978-3-642-40203-6_19","volume-title":"Computer Security \u2013 ESORICS 2013","author":"S. Kremer","year":"2013","unstructured":"Kremer, S., K\u00fcnnemann, R., Steel, G.: Universally Composable Key-Management. In: Crampton, J., Jajodia, S., Mayes, K. (eds.) ESORICS 2013. LNCS, vol.\u00a08134, pp. 327\u2013344. Springer, Heidelberg (2013)"},{"key":"12_CR19","doi-asserted-by":"crossref","unstructured":"Kremer, S., Steel, G., Warinschi, B.: Security for Key Management Interfaces. In: CSF 2011, pp. 66\u201382. IEEE Computer Society (2011)","DOI":"10.1109\/CSF.2011.25"},{"key":"12_CR20","doi-asserted-by":"crossref","unstructured":"Longley, D., Rigby, S.: An Automatic Search for Security Flaws in Key Management Schemes. Computers and Security\u00a011(1) (March 1992)","DOI":"10.1016\/0167-4048(92)90222-D"},{"key":"12_CR21","unstructured":"PKCS #11 Cryptographic Token Interface Base Specification Version 2.40, Committee Specification 01. OASIS Open (September 2014), \n                      \n                        http:\/\/docs.oasis-open.org\/pkcs11\/pkcs11-base\/v2.40\/cs01\/pkcs11-base-v2.40-cs01.html"},{"key":"12_CR22","unstructured":"PKCS #11: Cryptographic Token Interface Standard. RSA Security Inc. v2.20 (June 2004)"},{"key":"12_CR23","doi-asserted-by":"crossref","unstructured":"Schmidt, B., et al.: Automated Analysis of Diffie-Hellman Protocols and Advanced Security Properties. In: CSF 2012. IEEE (2012)","DOI":"10.1109\/CSF.2012.25"}],"container-title":["Lecture Notes in Computer Science","Principles of Security and Trust"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-46666-7_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T14:02:09Z","timestamp":1559138529000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-46666-7_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783662466650","9783662466667"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-46666-7_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}