{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,12]],"date-time":"2025-09-12T19:29:29Z","timestamp":1757705369546,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642402029"},{"type":"electronic","value":"9783642402036"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"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":[[2013]]},"DOI":"10.1007\/978-3-642-40203-6_19","type":"book-chapter","created":{"date-parts":[[2013,8,14]],"date-time":"2013-08-14T02:48:53Z","timestamp":1376448533000},"page":"327-344","source":"Crossref","is-referenced-by-count":6,"title":["Universally Composable Key-Management"],"prefix":"10.1007","author":[{"given":"Steve","family":"Kremer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert","family":"K\u00fcnnemann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Graham","family":"Steel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"19_CR1","unstructured":"RSA Security Inc.: PKCS #11: Cryptographic Token Interface Standard v2.20 (June 2004)"},{"key":"19_CR2","unstructured":"IBM: CCA Basic Services Reference and Guide (October 2006), \n                    \n                      http:\/\/www-03.ibm.com\/security\/cryptocards\/pdfs\/bs327.pdf"},{"key":"19_CR3","unstructured":"Trusted Computing Group: TPM Specification version 1.2. Parts 1\u20133, revision 103 (2007), \n                    \n                      http:\/\/www.trustedcomputinggroup.org\/resources\/tpm_main_specification"},{"key":"19_CR4","doi-asserted-by":"crossref","unstructured":"Cachin, C., Chandran, N.: A secure cryptographic token interface. In: Proc. 22th IEEE Computer Security Foundation Symposium, CSF 2009, pp. 141\u2013153. IEEE Comp. Soc. Press (2009)","DOI":"10.1109\/CSF.2009.7"},{"key":"19_CR5","doi-asserted-by":"crossref","unstructured":"Kremer, S., Steel, G., Warinschi, B.: Security for key management interfaces. In: Proc. 24th IEEE Computer Security Foundations Symposium, CSF 2011, pp. 66\u201382. IEEE Comp. Soc. Press (2011)","DOI":"10.1109\/CSF.2011.25"},{"key":"19_CR6","unstructured":"Hofheinz, D., Shoup, V.: GNUC: A new universal composability framework. Cryptology ePrint Archive, Report 2011\/303 (2011), \n                    \n                      http:\/\/eprint.iacr.org\/"},{"key":"19_CR7","unstructured":"Canetti, R.: Universally composable signature, certification, and authentication. In: Proc. 17th IEEE workshop on Computer Security Foundations, CSFW 2004, pp. 219\u2013233. IEEE Computer Society (2004)"},{"issue":"3","key":"19_CR8","doi-asserted-by":"publisher","first-page":"470","DOI":"10.1007\/s00145-010-9066-x","volume":"24","author":"D. Hofheinz","year":"2011","unstructured":"Hofheinz, D.: Possibility and impossibility results for selective decommitments. J. Cryptology\u00a024(3), 470\u2013516 (2011)","journal-title":"J. Cryptology"},{"issue":"1","key":"19_CR9","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1016\/0167-4048(92)90222-D","volume":"11","author":"D. Longley","year":"1992","unstructured":"Longley, D., Rigby, S.: An automatic search for security flaws in key management schemes. Computers and Security\u00a011(1), 75\u201389 (1992)","journal-title":"Computers and Security"},{"key":"19_CR10","doi-asserted-by":"crossref","unstructured":"Bond, M., Anderson, R.: API level attacks on embedded systems. IEEE Computer Magazine, 67\u201375 (October 2001)","DOI":"10.1109\/2.955101"},{"key":"19_CR11","doi-asserted-by":"crossref","unstructured":"Bortolozzo, M., Centenaro, M., Focardi, R., Steel, G.: Attacking and fixing PKCS#11 security tokens. In: Proc. 17th ACM Conference on Computer and Communications Security, CCS 2010, Chicago, Illinois, USA, pp. 260\u2013269. ACM Press (October 2010)","DOI":"10.1145\/1866307.1866337"},{"key":"19_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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)"},{"issue":"6","key":"19_CR13","doi-asserted-by":"crossref","first-page":"1211","DOI":"10.3233\/JCS-2009-0394","volume":"18","author":"S. Delaune","year":"2010","unstructured":"Delaune, S., Kremer, S., Steel, G.: Formal analysis of PKCS#11 and proprietary extensions. Journal of Computer Security\u00a018(6), 1211\u20131245 (2010)","journal-title":"Journal of Computer Security"},{"key":"19_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/978-3-642-19074-2_12","volume-title":"Topics in Cryptology \u2013 CT-RSA 2011","author":"R. K\u00fcsters","year":"2011","unstructured":"K\u00fcsters, R., Tuengerthal, M.: Ideal Key Derivation and Encryption in Simulation-Based Security. In: Kiayias, A. (ed.) CT-RSA 2011. LNCS, vol.\u00a06558, pp. 161\u2013179. Springer, Heidelberg (2011)"},{"key":"19_CR15","unstructured":"Kremer, S., K\u00fcnnemann, R., Steel, G.: Universally composable key-management (2012), \n                    \n                      http:\/\/eprint.iacr.org\/2012\/189"},{"key":"19_CR16","unstructured":"K\u00fcsters, R.: Simulation-Based Security with Inexhaustible Interactive Turing Machines. In: Proc. 19th IEEE Computer Security Foundations Workshop, CSFW 2006, pp. 309\u2013320. IEEE Comp. Soc. Press (2006)"},{"key":"19_CR17","unstructured":"Maurer, U., Renner, R.: Abstract cryptography. In: Proc. 2nd Symposium in Innovations in Computer Science, ICS 2011, pp. 1\u201321. Tsinghua University Press (2011)"}],"container-title":["Lecture Notes in Computer Science","Computer Security \u2013 ESORICS 2013"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-40203-6_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,2]],"date-time":"2019-06-02T20:44:56Z","timestamp":1559508296000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40203-6_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642402029","9783642402036"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40203-6_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}