{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T13:15:26Z","timestamp":1725542126542},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642108372"},{"type":"electronic","value":"9783642108389"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-10838-9_3","type":"book-chapter","created":{"date-parts":[[2009,12,16]],"date-time":"2009-12-16T02:20:05Z","timestamp":1260930005000},"page":"20-35","source":"Crossref","is-referenced-by-count":20,"title":["Application Management Framework in User Centric Smart Card Ownership Model"],"prefix":"10.1007","author":[{"given":"Raja Naeem","family":"Akram","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Konstantinos","family":"Markantonakis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Keith","family":"Mayes","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","unstructured":"Near Field Communication and the NFC Forum: The Keys to Truly Interoperable Communications, White Paper (November 2006)"},{"key":"3_CR2","unstructured":"The GlobalPlatform Proposition for NFC Mobile: Secure Element Management and Messaging, GlobalPlatform, White Paper (April 2009)"},{"key":"3_CR3","unstructured":"Near Field Communications (NFC). Simplifying and Expanding. Contactless Commerce, Connectivity, and Content, ABI Research, Oyster Bay, NY (2006)"},{"key":"3_CR4","unstructured":"Pay-Buy-Mobile: Business Opportunity Analysis, GSM Association, White Paper 1.0 (November 2007)"},{"key":"3_CR5","unstructured":"Co-Branded Multi-Application Contactless Cards for Transit and Financial Payment, Smart Card Alliance, NJ, USA, White Paper (March 2008)"},{"key":"3_CR6","unstructured":"Mobile NFC Services, GSM Association, White Paper Version 1.0 (2007)"},{"key":"3_CR7","unstructured":"Java Card Platform Specification; Application Programming Interface, Runtime Environment Specification, Virtual Machine Specification, Sun Microsystems Inc. Version 2.2.2 (March 2006)"},{"key":"3_CR8","unstructured":"Multos, \n                    \n                      http:\/\/www.multos.com\/"},{"key":"3_CR9","unstructured":"GlobalPlatform: GlobalPlatform Card Specification, Version 2.2, GlobalPlatform (March 2006)"},{"key":"3_CR10","doi-asserted-by":"publisher","DOI":"10.1002\/047085670X","volume-title":"Smart Card Handbook","author":"W. Rankl","year":"2003","unstructured":"Rankl, W., Effing, W.: Smart Card Handbook, New York, NY, USA. John Wiley & Sons, Inc., Chichester (2003)"},{"key":"3_CR11","unstructured":"Dierks, T., Rescorla, E. (eds.): The Transport Layer Security (TLS) Protocol Version 1.1. RFC 4346 (2006), \n                    \n                      http:\/\/tools.ietf.org\/html\/rfc4346"},{"key":"3_CR12","volume-title":"Internetworking with TCP\/IP Vol.1: Principles, Protocols, and Architecture","author":"D.E. Comer","year":"2000","unstructured":"Comer, D.E.: Internetworking with TCP\/IP Vol.1: Principles, Protocols, and Architecture, 4th edn. Prentice Hall, Englewood Cliffs (2000)","edition":"4"},{"key":"3_CR13","doi-asserted-by":"crossref","DOI":"10.1201\/9781439821916","volume-title":"Handbook of Applied Cryptography","author":"A.J. Menezes","year":"1996","unstructured":"Menezes, A.J., van Oorschot, P.C., Vanstone, S.A.: Handbook of Applied Cryptography. CRC, Boca Raton (1996)"},{"key":"3_CR14","unstructured":"Common Criteria for Information Technology Security Evaluation, Part 1: Introduction and general model, Part 2: Security functional requirements, Part 3: Security assurance requirements, Common Criteria. Version 3.1 (August. 2006)"},{"key":"3_CR15","unstructured":"Trusted Module Specification 1.2: Part 1- Design Principles, Part 2- Structures of the TPM, Part 3- Commands, Trusted Computing Group, Rev. 103 (July 2007)"},{"key":"3_CR16","unstructured":"Smartcard-Web-Server, Smartcard Web Server Enabler Architecture, Smartcard Web Server Requirements, Open Mobile Alliance (OMA) (2008)"},{"key":"3_CR17","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1109\/DSN.2002.1028886","volume-title":"DSN 2002: Proceedings of the 2002 International Conference on Dependable Systems and Networks","author":"L. Casset","year":"2002","unstructured":"Casset, L., Burdy, L., Requet, A.: Formal Development of an Embedded Verifier for Java Card Byte Code. In: DSN 2002: Proceedings of the 2002 International Conference on Dependable Systems and Networks, pp. 51\u201358. IEEE Computer Society, Washington (2002)"},{"key":"3_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1007\/3-540-47813-2_3","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"G. Barthe","year":"2002","unstructured":"Barthe, G., Dufay, G., Jakubiec, L., Melo de Sousa, S.: A Formal Correspondence between Offensive and Defensive JavaCard Virtual Machines. In: Cortesi, A. (ed.) VMCAI 2002. LNCS, vol.\u00a02294, pp. 32\u201345. Springer, Heidelberg (2002)"},{"key":"3_CR19","first-page":"2","volume-title":"WIESS 2002: Proceedings of the 2nd conference on Industrial Experiences with Systems Software","author":"D. Deville","year":"2002","unstructured":"Deville, D., Grimaud, G.: Building an \u201cimpossible\u201d verifier on a java card. In: WIESS 2002: Proceedings of the 2nd conference on Industrial Experiences with Systems Software, p. 2. USENIX Association, Berkeley (2002)"},{"issue":"4","key":"3_CR20","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1002\/spe.438","volume":"32","author":"X. Leroy","year":"2002","unstructured":"Leroy, X.: Bytecode verification on Java smart cards. Softw. Pract. Exper.\u00a032(4), 319\u2013340 (2002)","journal-title":"Softw. Pract. Exper."},{"key":"3_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"388","DOI":"10.1007\/3-540-48405-1_25","volume-title":"Advances in Cryptology - CRYPTO \u201999","author":"P.C. Kocher","year":"1999","unstructured":"Kocher, P.C., Jaffe, J., Jun, B.: Differential Power Analysis. In: Wiener, M. (ed.) CRYPTO 1999. LNCS, vol.\u00a01666, pp. 388\u2013397. Springer, Heidelberg (1999)"}],"container-title":["Lecture Notes in Computer Science","Information Security Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-10838-9_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,30]],"date-time":"2021-04-30T07:42:25Z","timestamp":1619768545000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-10838-9_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642108372","9783642108389"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-10838-9_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}