Increasing smart card dependability
Pages 209 - 212
Abstract
Open smart cards like Java Card provide application developers an opportunity to develop rapidly applications by offering the possibility to download during post issuance application into the card. The main drawback with this kind of smart cards is the risk to download a hostile application that may exploit a faulty implementation module of the platform. Security is always a big concern for smart cards, but the issue is getting more intense with multi-applicative platforms, post issuance code downloading and the constant growth of the complexity. Allowing post issuance need to verify that the incoming applet respects the semantics of Java byte code. For this purpose a byte code verifier checks the code during load phase. Unfortunately due to the lack of smart card resources this piece of code has not yet been implemented on a smart card.
References
[1]
{Abr-96} J. R. Abrial, The B Book, Assigning Programs to Meanings, Cambridge University Press, 1996.]]
[2]
{Cas-02} L. Casset, Development of an Embedded Verifier for Java Card Byte Code using Formal Methods, In Proceedings of FME 2002, Copenhaguen, Denmark, July 2002.]]
[3]
{Lan-00} } J. -L. Lanet, Are Smart Cards the Ideal Domain for Applying Formal Methods?, In Proceedings of the ZB 2000 Conference, York, United Kingdom, September 2000.]]
[4]
{Ler-01} X. Leroy, On-Card Byte Code Verification for Java Card, Proceedings of e-Smart, Cannes, France, September 2001.]]
[5]
{Ler-02} X. Leroy, Bytecode Verification on Java smart Cards, to appear in Software Practice and Experience, 2002.]]
[6]
{Nec-97} G. Necula, P. Lee, Proof-Carrying Code, in 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 106--119, Paris, France, 1997.]]
[7]
{Ros-98} E. Rose, K. H. Rose, Lightweight Bytecode Verification, in Formal Underpinnings of Java, OOPSLA'98 Workshop, Vancouver, Canada, October. 1998.]]
[8]
{Sun-00} Connected, Limited Device Configuration, Specification 1.0a, Java 2 Platform Micro Edition, Sun Microsystems, 2000.]]
Recommendations
Multiapplication smart card: Towards an open smart card?
AbstractSmart cards were invented four decades ago so as to keep data secrets and to process them secretly. Even though their main goal are still the same today, the smart cards have been subject to many evolutions at both their hardware and ...
Comments
Information & Contributors
Information
Published In
July 2002
258 pages
Copyright © 2002 ACM.
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 01 July 2002
Check for updates
Qualifiers
- Article
Acceptance Rates
Overall Acceptance Rate 37 of 37 submissions, 100%
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 218Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Reflects downloads up to 20 Feb 2025
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in