Skip to main content
SpringerLink
Log in

An Efficient Small Sized On-Card Verifier for Java Card

  • Conference paper
  • First Online:
Computational Science and Its Applications — ICCSA 2003 (ICCSA 2003)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2668))

Included in the following conference series:

  • 677 Accesses

Abstract

Smart Card technology has been a promising one, because it can handle, protect and manage data within a small sized chip. Java card is the major platform for Smart card, because of its platform independence and secure mechanism. But as a limit of hardware, many functions of Java Virtual Machine are not supported. One of these functions is verifying, because verifier is complicated with large size. In this paper, we propose a very small verifier to put on-card verifier into smart card feasibly.

This work is supported by Kyungnam University Research Fund, 2003

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Reference

  1. Z. Chen. Java Card Technology for Smart Cards. Addison Wesley, 2000

    Google Scholar 

  2. C. Colby, G. C. Necula, and P. Lee. A Proof-Carrying Code Architecture for Java. In Computer Aided Verification, 2000.

    Google Scholar 

  3. X. Leroy. Java bytecode verification: an overview. In Computer Aided Verification, 2001.

    Google Scholar 

  4. X. Leroy. On-card bytecode verification for java card. In Esmart, 2001.

    Google Scholar 

  5. X. Leroy. Bytecode verification for Java smart card. Software Practice & Experience, 2002.

    Google Scholar 

  6. G. C. Necula and P. Lee. Proof-carrying code. In Proceedings of the 24 th ACM SIGPLAN-SICACT Symposium on Principles of Programming Languages (POPL’ 97), 1997.

    Google Scholar 

  7. E. Rose and K.H. Rose. Lightweight bytecode verification. In Workshop of the Formal Underpinnings of the Java Paradigm, OOPSLA’ 98 1998.

    Google Scholar 

  8. Sun Microsystem. Connected Limited Device Configuration and K Virtual Machine. http://java.sun.com/products/cldc/ .

  9. Trusted Logic. Formal methods, smart card, security. http://www.trustedlogic.com/ .

  10. Damien Deville. Building an “impossible” verifier on a Java Card.

    Google Scholar 

  11. Ludovic Casset. Formal Development of an Embedded Verifier for Java Card Byte Code.

    Google Scholar 

  12. Sun Microsystem. Java Card 2.1.1 Virtual Machine Specification, 2000.

    Google Scholar 

  13. B. Venners, Inside Java Virtual Machine, McGraw-Hill,1997.

    Google Scholar 

  14. Sun Microsystems, http://java.sun.com/ , Java Home Page.

  15. Java Card Forums, http://www.javacardforum.org Java Card Forum Home Page.

  16. Sun Microsystems. JavaCard 2.2 Development Kit User’s guide specification, 2002

    Google Scholar 

  17. Sun Microsystems. JavaCard 2.2 Application Programming notes, 2002.

    Google Scholar 

  18. Sun Microsystems. JavaCard 2.2 Off-Card Verifier, White paper,2002.

    Google Scholar 

  19. Sun Microsystems. Java Virtual Machine Specs, 2002.

    Google Scholar 

  20. Wook-Chul Hwang. A study on the optimization of the Java Card Virtual Machine based on smart card, 2001.

    Google Scholar 

  21. Gong L. Inside Java 2 platform security: architecture, API design, and implementation. The Java Series. Addison-Wesley, 1999.

    Google Scholar 

  22. Lars R. Clausen, Ulrik Pagh Schultz, Charles Consel, and Gilles Muller, “Java Bytecode Compression for Low-End Embeded Systems”, ACM Transactions on Programming Languages and Systems, Vol. 22, No. 3, 2000.

    Google Scholar 

  23. Clausen. L. R, “A Java bytecode optimizer using side-effect analysis”, Concurrency: Practice and Experience 9, pages 1031–1045, 1997.

    Article  Google Scholar 

  24. Pusch C. Proving the soundness of a Java bytecode verifier specification in Isabelle/HOL. In TACAS’99, Cleaveland WR (ed.), volume 1579 of LNCS, pages 89–103. Springer-Verlag, 1999.

    Google Scholar 

  25. Sun Microsystems. Java 2 platform micro edition technology for creating mobile devices. White paper, http://java.sun.com/products/cldc/wp/KVMwp.pdf, 2000.

  26. Jeung-Bo Cho. Design and implementation of On-Card Verifier for Java card based on smart card, 2002

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dept. of Computer Engineering, Kyungnam University, South Korea

    Jeung-Bo Cho

  2. Dept. of Computer Engineering, Kyungnam University, South Korea

    Min-Soo Jung

  3. IC Card OS Research Team of Electronics and Telecommunications Research Institute, Daejun, South Korea

    Sung-Ik Jun

Authors
  1. Jeung-Bo Cho
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Min-Soo Jung
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Sung-Ik Jun
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Army High Performance Computing Research Center, USA

    Vipin Kumar

  2. Department of Computer Science and Engineering, University of Minessota, MN, 55455, USA

    Vipin Kumar

  3. Department of Computer Science, University of Calgary, Calgary, AB, T2N1N4, Canada

    Marina L. Gavrilova

  4. Heuchera Technologies Inc., 122 9251-8 Yonge Street, Richmond Hill, ON, Canada, L4C 9T3

    Chih Jeng Kenneth Tan

  5. School of Computer Science, The Queen’s University of Belfast, Belfast, BT7 1NN, Northern Ireland, UK

    Chih Jeng Kenneth Tan

  6. Département d’informatique et de recherche opérationelle, Université de Montréal, Montréal, Québec, H3C 3J7, Canada

    Pierre L’Ecuyer

Rights and permissions

Reprints and permissions

Copyright information

© 2003 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Cho, JB., Jung, MS., Jun, SI. (2003). An Efficient Small Sized On-Card Verifier for Java Card. In: Kumar, V., Gavrilova, M.L., Tan, C.J.K., L’Ecuyer, P. (eds) Computational Science and Its Applications — ICCSA 2003. ICCSA 2003. Lecture Notes in Computer Science, vol 2668. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44843-8_60

Download citation

  • DOI: https://doi.org/10.1007/3-540-44843-8_60

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-40161-2

  • Online ISBN: 978-3-540-44843-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation