{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T03:43:19Z","timestamp":1725594199122},"publisher-location":"Berlin, Heidelberg","reference-count":48,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642224966"},{"type":"electronic","value":"9783642224973"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-22497-3_14","type":"book-chapter","created":{"date-parts":[[2011,7,4]],"date-time":"2011-07-04T02:05:53Z","timestamp":1309745153000},"page":"208-225","source":"Crossref","is-referenced-by-count":4,"title":["Application-Binding Protocol in the 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":"14_CR1","unstructured":"Multos: The Multos Specification"},{"key":"14_CR2","unstructured":"Casper: A Compiler for the Analysis of Security Protocols, Journal of Computer Security (June 1998)"},{"key":"14_CR3","unstructured":"FIPS 180-2: Secure Hash Standard, SHS (2002)"},{"key":"14_CR4","unstructured":"GlobalPlatform Card Security Requirement Specification 1.0 (May 2003)"},{"key":"14_CR5","unstructured":"ISO\/IEC 7816-5, Information Technology - Identification cards - Integrated Circuit(s) cards with contacts - Part 5: Numbering systems and registration procedure for application identifiers, International Organization for Standardization (2004)"},{"key":"14_CR6","unstructured":"Common Criteria for Information Technology Security Evaluation, Part 1: Introduction and general model, Part 2: Security functional requirements, Part 3: Security assurance requirements (August 2006)"},{"key":"14_CR7","unstructured":"GlobalPlatform: GlobalPlatform Card Specification, Version 2.2 (March 2006)"},{"key":"14_CR8","unstructured":"Java Card Platform Specification; Application Programming Interface, Runtime Environment Specification, Virtual Machine Specification (March 2006)"},{"key":"14_CR9","unstructured":"Multos: Guide to Loading and Deleting Applications. Tech. Rep. MAO-DOC-TEC-008 v2.21, MAOSCO (2006)"},{"key":"14_CR10","unstructured":"Trusted Module Specification 1.2: Part 1- Design Principles, Part 2- Structures of the TPM, Part 3- Commands (July 2007)"},{"key":"14_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1007\/978-3-642-10838-9_3","volume-title":"Information Security Applications","author":"R.N. Akram","year":"2009","unstructured":"Akram, R.N., Markantonakis, K., Mayes, K.: Application Management Framework in User Centric Smart Card Ownership Model. In: Youm, H.Y., Yung, M. (eds.) WISA 2009. LNCS, vol.\u00a05932, pp. 20\u201335. Springer, Heidelberg (2009)"},{"key":"14_CR12","series-title":"IFIP Advances in Information and Communication Technology","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/978-3-642-15257-3_15","volume-title":"Security and Privacy \u2013 Silver Linings in the Cloud","author":"R.N. Akram","year":"2010","unstructured":"Akram, R.N., Markantonakis, K., Mayes, K.: A Dynamic and Ubiquitous Smart Card Security Assurance and Validation Mechanism. In: Rannenberg, K., Varadharajan, V., Weber, C. (eds.) SEC 2010. IFIP Advances in Information and Communication Technology, vol.\u00a0330, pp. 161\u2013172. Springer, Heidelberg (2010)"},{"key":"14_CR13","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1109\/ICCSA.2010.52","volume-title":"Proceedings of the 2010 International Conference on Computational Science and Its Applications (ICCSA 2010)","author":"R.N. Akram","year":"2010","unstructured":"Akram, R.N., Markantonakis, K., Mayes, K.: A Paradigm Shift in Smart Card Ownership Model. In: Apduhan, B.O., Gervasi, O., Iglesias, A., Taniar, D., Gavrilova, M. (eds.) Proceedings of the 2010 International Conference on Computational Science and Its Applications (ICCSA 2010), pp. 191\u2013200. IEEE Computer Society, Fukuoka (2010)"},{"key":"14_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"118","DOI":"10.1007\/978-3-642-12510-2_9","volume-title":"Smart Card Research and Advanced Application","author":"R.N. Akram","year":"2010","unstructured":"Akram, R.N., Markantonakis, K., Mayes, K.: Firewall Mechanism in a User Centric Smart Card Ownership Model. In: Gollmann, D., Lanet, J.L., Iguchi-Cartigny, J. (eds.) CARDIS 2010. LNCS, vol.\u00a06035, pp. 118\u2013132. Springer, Heidelberg (2010)"},{"key":"14_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1007\/10930755_22","volume-title":"Theorem Proving in Higher Order Logics","author":"J. Andronick","year":"2003","unstructured":"Andronick, J., Chetali, B., Ly, O.: Using COQ to Verify Java Card Applet Isolation Properties. In: Basin, D., Wolff, B. (eds.) TPHOLs 2003. LNCS, vol.\u00a02758, pp. 335\u2013351. Springer, Heidelberg (2003)"},{"key":"14_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1007\/978-3-642-12510-2_11","volume-title":"Smart Card Research and Advanced Application","author":"G. Barbu","year":"2010","unstructured":"Barbu, G., Thiebeauld, H., Guerin, V.: Attacks on Java Card 3.0 Combining Fault and Logical Attacks. In: Gollmann, D., Lanet, J.-L., Iguchi-Cartigny, J. (eds.) CARDIS 2010. LNCS, vol.\u00a06035, pp. 148\u2013163. Springer, Heidelberg (2010)"},{"key":"14_CR17","unstructured":"Bernardeschi, C., Martini, L.: Enforcement of Applet Boundaries in Java Card Systems. In: IASTED Conf. on Software Engineering and Applications, pp. 96\u2013101 (2004)"},{"key":"14_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1007\/3-540-45418-7_5","volume-title":"Smart Card Programming and Security","author":"D. Caromel","year":"2001","unstructured":"Caromel, D., Henrio, L., Serpette, B.P.: Context Inference for Static Analysis of Java Card Object Sharing. In: Attali, S., Jensen, T. (eds.) E-SMART 2001. LNCS, vol.\u00a02140, pp. 43\u201357. Springer, Heidelberg (2001)"},{"key":"14_CR19","volume-title":"Java Card Technology for Smart Cards: Architecture and Programmer\u2019s Guide","author":"Z. Chen","year":"2000","unstructured":"Chen, Z.: Java Card Technology for Smart Cards: Architecture and Programmer\u2019s Guide. Addison-Wesley Longman Publishing Co., Inc., Boston (2000)"},{"key":"14_CR20","unstructured":"Deville, D., Galland, A., Grimaud, G., Jean, S.: Smart Card Operating Systems: Past, Present and Future. In: Proceedings of the 5th NORDU\/USENIX Conference (2003)"},{"key":"14_CR21","doi-asserted-by":"crossref","unstructured":"Dierks, T., Rescorla, E.: RFC 5246 - The Transport Layer Security (TLS) Protocol Version 1.2. Tech. rep (August 2008)","DOI":"10.17487\/rfc5246"},{"key":"14_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1007\/3-540-45418-7_9","volume-title":"Smart Card Programming and Security","author":"M. \u00c9luard","year":"2001","unstructured":"\u00c9luard, M., Jensen, T., Denne, E.: An Operational Semantics of the Java Card Firewall. In: Attali, S., Jensen, T. (eds.) E-SMART 2001. LNCS, vol.\u00a02140, pp. 95\u2013110. Springer, Heidelberg (2001)"},{"key":"14_CR23","unstructured":"Furlani, C.: FIPS 186-3 : Digital Signature Standard (DSS) (June 2009)"},{"key":"14_CR24","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1145\/1314354.1314363","volume-title":"STC 2007: Proceedings of the 2007 ACM workshop on Scalable trusted computing","author":"Y. Gasmi","year":"2007","unstructured":"Gasmi, Y., Sadeghi, A.R., Stewin, P., Unger, M., Asokan, N.: Beyond Secure Channels. In: STC 2007: Proceedings of the 2007 ACM workshop on Scalable trusted computing, pp. 30\u201340. ACM, New York (2007)"},{"issue":"12","key":"14_CR25","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1109\/35.968814","volume":"39","author":"V. Gupta","year":"2001","unstructured":"Gupta, V., Gupta, S.: Securing the Wireless Internet. IEEE Communications\u00a039(12), 68\u201374 (2001)","journal-title":"IEEE Communications"},{"key":"14_CR26","unstructured":"Gupta, V., Gupta, S.: KSSL: Experiments in Wireless Internet Security. Tech. rep., Mountain View, CA, USA (2001)"},{"key":"14_CR27","doi-asserted-by":"crossref","unstructured":"Harbitter, A., Menasc\u00e9, D.A.: The Performance of Public Key-Enabled Kerberos Authentication in Mobile Computing Aplications, pp. 78\u201385 (2001)","DOI":"10.1145\/501993.501995"},{"key":"14_CR28","volume-title":"Communicating Sequential Processes","author":"C.A.R. Hoare","year":"1978","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes, vol.\u00a021. ACM, New York (1978)"},{"key":"14_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1007\/978-3-540-24721-0_6","volume-title":"Fundamental Approaches to Software Engineering","author":"M. Huisman","year":"2004","unstructured":"Huisman, M., Gurov, D., Sprenger, C., Chugunov, G.: Checking Absence of Illicit Applet Interactions: A\u00a0Case\u00a0Study. In: Wermelinger, M., Margaria-Steffen, T. (eds.) FASE 2004. LNCS, vol.\u00a02984, pp. 84\u201398. Springer, Heidelberg (2004)"},{"key":"14_CR30","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-04722-4","volume-title":"The Design of Rijndael: AES - The Advanced Encryption Standard","author":"J. Daemen","year":"2002","unstructured":"Daemen, J., Rijmen, V.: The Design of Rijndael: AES - The Advanced Encryption Standard. Springer, Berlin (2002)"},{"key":"14_CR31","doi-asserted-by":"publisher","first-page":"303","DOI":"10.1023\/B:WIRE.0000047068.20203.57","volume":"29","author":"G. Kambourakis","year":"2004","unstructured":"Kambourakis, G., Rouskas, A., Gritzalis, S.: Experimental Analysis of an SSL-Based AKA Mechanism in 3G-and-Beyond Wireless Networks. Wirel. Pers. Commun.\u00a029, 303\u2013321 (2004)","journal-title":"Wirel. Pers. Commun."},{"key":"14_CR32","doi-asserted-by":"crossref","unstructured":"Lanet, J.L., Iguchi-Cartigny, J.: Developing a Trojan applet in a Smart Card. Journal in Computer Virology\u00a06(1) (2009)","DOI":"10.1007\/s11416-009-0135-3"},{"key":"14_CR33","first-page":"79","volume-title":"CMS 2004 - Eight IFIP TC-6-11 Conference on Communications and Multimedia Security","author":"K. Markantonakis","year":"2004","unstructured":"Markantonakis, K., Mayes, K.: A Secure Channel Protocol for Multi-application Smart Cards based on Public Key Cryptography. In: Chadwick, D., Prennel, B. (eds.) CMS 2004 - Eight IFIP TC-6-11 Conference on Communications and Multimedia Security, pp. 79\u201396. Springer, Heidelberg (2004)"},{"key":"14_CR34","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-72198-9","volume-title":"Smart Cards, Tokens, Security and Applications","author":"K. Mayes","year":"2008","unstructured":"Mayes, K., Markantonakis, K.: Smart Cards, Tokens, Security and Applications. Springer, Heidelberg (2008)"},{"key":"14_CR35","doi-asserted-by":"publisher","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":"14_CR36","volume-title":"WOST 1999: Proceedings of the USENIX Workshop on Smartcard Technology","author":"M. Montgomery","year":"1999","unstructured":"Montgomery, M., Krishna, K.: Secure Object Sharing in Java Card. In: WOST 1999: Proceedings of the USENIX Workshop on Smartcard Technology. USENIX Association, Berkeley (1999)"},{"key":"14_CR37","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-85893-5_1","volume-title":"Smart Card Research and Advanced Applications","author":"W. Mostowski","year":"2008","unstructured":"Mostowski, W., Poll, E.: Malicious Code on Java Card Smartcards: Attacks and Countermeasures. In: Grimaud, G., Standaert, F.-X. (eds.) CARDIS 2008. LNCS, vol.\u00a05189, pp. 1\u201316. Springer, Heidelberg (2008)"},{"key":"14_CR38","doi-asserted-by":"crossref","unstructured":"Neuman, C., Hartman, S., Raeburn, K.: RFC 4120: The Kerberos Network Authentication Service (V5). Tech. rep (July 2005)","DOI":"10.17487\/rfc4120"},{"key":"14_CR39","first-page":"351","volume-title":"Security and Protection in Information Processing Systems, IFIP 18th WorldComputer Congress, TC11 19th International Information Security Conference","author":"K. Rantos","year":"2004","unstructured":"Rantos, K., Markantonakis, C.: An Asymmetric Cryptography Secure Channel Protocol for Smart Cards. In: Deswarte, Y., Cuppens, F., Jajodia, S., Wang, L. (eds.) Security and Protection in Information Processing Systems, IFIP 18th WorldComputer Congress, TC11 19th International Information Security Conference, Toulouse, August 22-27, pp. 351\u2013366. Kluwer, Dordrecht (2004)"},{"key":"14_CR40","volume-title":"The Modelling and Analysis of Security Protocols: the CSP Approach","author":"P. Ryan","year":"2000","unstructured":"Ryan, P., Schneider, S.: The Modelling and Analysis of Security Protocols: the CSP Approach. Addison-Wesley Professional, Reading (2000)"},{"key":"14_CR41","doi-asserted-by":"crossref","unstructured":"Sauveron, D.: Multiapplication Smart Card: Towards an Open Smart Card? Inf. Secur. Tech. Rep. 14(2), 70\u201378 (2009)","DOI":"10.1016\/j.istr.2009.06.007"},{"key":"14_CR42","doi-asserted-by":"publisher","first-page":"423","DOI":"10.1109\/FGCN.2007.235","volume":"2","author":"D. Sauveron","year":"2007","unstructured":"Sauveron, D., Dusart, P.: Which Trust Can Be Expected of the Common Criteria Certification at End-User Level? Future Generation Communication and Networking\u00a02, 423\u2013428 (2007)","journal-title":"Future Generation Communication and Networking"},{"key":"14_CR43","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11733447_1","volume-title":"Smart Card Research and Advanced Applications","author":"W.G. Sirett","year":"2006","unstructured":"Sirett, W.G., MacDonald, J.A., Mayes, K., Markantonakis, K.: Design, Installation and Execution of a Security Agent for Mobile Stations. In: Domingo-Ferrer, J., Posegga, J., Schreckling, D. (eds.) CARDIS 2006. LNCS, vol.\u00a03928, pp. 1\u201315. Springer, Heidelberg (2006)"},{"key":"14_CR44","doi-asserted-by":"crossref","unstructured":"Urien, P.: Collaboration of SSL Smart Cards within the WEB2 Landscape. In: International Symposium on Collaborative Technologies and Systems, vol.\u00a00, pp. 187\u2013194 (2009)","DOI":"10.1109\/CTS.2009.5067480"},{"key":"14_CR45","doi-asserted-by":"crossref","unstructured":"Urien, P., Elrharbi, S.: Tandem Smart Cards: Enforcing Trust for TLS-Based Network Services. In: International Workshop on Applications and Services in Wireless Networks, pp. 96\u2013104 (2008)","DOI":"10.1109\/ASWN.2008.10"},{"key":"14_CR46","doi-asserted-by":"crossref","unstructured":"Urien, P., Marie, E., Kiennert, C.: An Innovative Solution for Cloud Computing Authentication: Grids of EAP-TLS Smart Cards. In: International Conference on Digital Telecommunications, pp. 22\u201327 (2010)","DOI":"10.1109\/ICDT.2010.12"},{"key":"14_CR47","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/978-3-642-12510-2_10","volume-title":"Smart Card Research and Advanced Application","author":"E. Vetillard","year":"2010","unstructured":"Vetillard, E., Ferrari, A.: Combined Attacks and Countermeasures. In: Gollmann, D., Lanet, J.-L., Iguchi-Cartigny, J. (eds.) CARDIS 2010. LNCS, vol.\u00a06035, pp. 133\u2013147. Springer, Heidelberg (2010)"},{"key":"14_CR48","doi-asserted-by":"crossref","unstructured":"Yu, D., Chen, N., Tan, C.: Design and Implementation of Mobile Security Access System (MSAS) Based on SSL VPN. In: International Workshop on Education Technology and Computer Science, vol.\u00a03, pp. 152\u2013155 (2009)","DOI":"10.1109\/ETCS.2009.559"}],"container-title":["Lecture Notes in Computer Science","Information Security and Privacy"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-22497-3_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,12]],"date-time":"2019-06-12T13:11:00Z","timestamp":1560345060000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-22497-3_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642224966","9783642224973"],"references-count":48,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-22497-3_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}