Multiapplication smart card: Towards an open smart card?

Information Security Technical Report

Volumn 14, Issue 2, 2009, Pages 70-78

  Sauveron, Damien ^a  

^a UNIVERSITY OF LIMOGES   (France)

Author keywords

Management of applications; Multiapplication smart card; Open smart card

Indexed keywords

APPLICATION DOMAINS; BUSINESS MODELS; HARDWARE AND SOFTWARE; MULTI-APPLICATION; MULTI-APPLICATION CARDS; MULTIAPPLICATION SMART CARD; MULTIAPPLICATION SMART CARDS; NEW TECHNOLOGIES; OPEN SMART CARD;

COMPUTER SOFTWARE;

SMART CARDS;

EID: 68349148025     PISSN: 13634127     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.istr.2009.06.007     Document Type: Article

References (32)

1. Atallah E., Chaumette S., Darrigade F., Karray A., and Sauveron D. A grid of Java cards to deal with security demanding application domains. e-Smart 2005 (21-23 September 2005), Nice, France
2. Bar-El H, Choukri H, Naccache D, Tunstall M, Whelan C. The Sorcerer's apprentice guide to fault attacks. In: Proceedings of workshop on fault detection and tolerance in cryptography. Italy; 2004.
3. Barthe G., Dufay G., Jakubiec L., and Melo de Sousa S. A formal correspondence between offensive and defensive JavaCard virtual machines. Proceedings of VMCAI'02. Lecture notes in computer science vol. 2294 (2002), Springer-Verlag, Venice, Italy 32-45
4. Casset L, Burdy L, Requet A. Formal development of an embedded verifier for Java Card byte code. In: Proceedings of the IEEE international conference on dependable systems & networks. Washington, D.C., USA; 2002.
5. Chaumette S., Markantonakis K., Mayes K., and Sauveron D. The mobile Java card grid project. e-Smart 2006 (20-22 September 2006), Nice, France
6. Chen Z. Java card technology for smart cards: architecture and programmer's guide (2000), Addison-Wesley
7. Chaumette Serge, Sauveron Damien. An efficient and simple way to test the security of Java cards. In: Seventh international conference on enterprise information systems (ICEIS 2005), third international workshop on security in information systems: WOSIS 2005, Miami, Florida, USA; 24-25 May 2005a.
8. Chaumette Serge, Sauveron Damien. Some security problems raised by open multiapplication smart cards. In: 10th Nordic workshop on secure IT-systems: NordSec 2005, Tartu, Estonia; 20-21 October 2005b.
9. Cohen RM. Defensive Java virtual machine version 0.5 alpha; 1997.
10. Deville Damien, Grimaud Gilles. Building an "impossible" verifier on a Java card. In: Proceedings of the second USENIX workshop on industrial experiences with systems software, Boston, USA; 2002.
11. Foundation for Information Policy Research. Framework for smart card use in government - consultation response (1999). http://www.cl.cam.ac.uk/users/rja14/cards.html
12. GlobalPlatform. Card specification v2.2. http://www.globalplatform.org
13. Giraud C., and Thiebeauld H. A survey on fault attacks. Proceedings of CARDIS'04, smart card research and advanced applications VI (2004), Kluwer Academic Publisher, Toulouse, France 159-176
14. GSMA. Requirements for single wire protocol NFC handsets. Version 2.0; November 20, 2008.
15. Hendry M. Smart card security and applications. 2nd ed. (2001), Artech House Publishers
16. Hive-Minded. Smartcard.NET. http://www.hiveminded.com
17. Jurgensen T.M., and Guthery S.B. Smart cards: the developer's toolkit (2002), Prentice Hall
18. Lagosanto L., and Vandewalle J.-J. Web 2.0 applications on a next-generation Java card™ platform. JavaOne (2007)
19. Leroy X. Bytecode verification on Java smart cards. Software-Practice & Experience 32 (2002) 319-340
20. Leroy X. On-card bytecode verification for Java card. e-Smart 2001. Proceedings of the international conference on research in Smart Cards (2001), Springer-Verlag 150-164
21. Mayes K., and Markantonakis K. Smart cards, tokens, security and applications (2008), Springer
22. Mostowski W., and Poll E. Malicious code on Java card smartcards: attacks and countermeasures. CARDIS'2008. LNCS vol. 5189 (2008), Springer 1-16
23. Mostowski W., and Poll E. Testing the Java card applet firewall. Technical Report ICIS-R07029 (December 2007), Radboud University Nijmegen, The Netherlands
24. MULTOS. The MULTOS specification. http://www.multos.com
25. .NET brings web services to smart cards. SmartCards Trends 1 (April-May 2004) 12
26. NFC Forum. http://www.nfc-forum.org
27. Rose E, Rose K. Lightweight bytecode verification. In: Workshop on fundamental underpinnings of Java, OOPSLA'98 workshop. Vancouver, Canada; October 1998.
28. Sauveron Damien. Étude et réalisation d'un environnement d'expérimentation et de modélisation pour la technologie Java Card. Application à la sécurité. Ph.D. thesis, Université Bordeaux 1; 2004.
29. Sun microsystems. Java card 2.2.2 specification. Available from: (2006), Sun microsystems. http://java.sun.com/products/javacard
30. Skorobogatov S, Anderson R. Optical fault induction attacks. In: Proceedings of workshop on cryptographic hardware and embedded systems (CHES 2002), San Francisco Bay (Redwood City), USA; 2002.
31. Watt D.A. Programming language processors: compilers and interpreters (2000), Prentice Hall
32. ZeitControl. BasicCard. http://www.basiccard.com