Skip to main content
USENIX
  • Conferences
  • Students
Sign in

connect with us


  •  Twitter
  •  Facebook
  •  LinkedIn
  •  Google+
  •  YouTube

twitter

Tweets by @usenix

usenix conference policies

  • Event Code of Conduct
  • Conference Network Policy
  • Statement on Environmental Responsibility Policy

You are here

Home ยป Building an "Impossible" Verifier on a Java Card
Tweet

connect with us

Building an "Impossible" Verifier on a Java Card

Abstract: 

Java is a popular development platform for mobile code systems. It ensures application portability and mobility for a variety of systems, while providing strong security features. The intermediate code (byte code) allows the virtual machine to verify statically (during the loading phase) that the program is well-behaved. This is done by a software security module called the byte code verifier. Smart Cards that provide a Java Virtual Machine, called Java Card, are not supplied with such a verifier because of its complexity. Alternatives are being studied to provide the same functionality outside the card. In the present paper, we propose to integrate the whole verifier inside the smart card. This ensures that the smart card becomes entirely autonomous, which allows full realization of smart cards potential as pervasive computing devices. Our verifier uses a specialized encoding and a software cache with a variety of cache polices to adapt to the hardware constraints of smart card. Our experimental results confirm the feasibility of such a security system being implemented in a smart card.

Damien Deville, University of Lille

Gilles Grimaud, University of Lille

BibTeX
@inproceedings {270459,
author = {Damien Deville and Gilles Grimaud},
title = {Building an "Impossible" Verifier on a Java Card},
booktitle = {2nd Workshop on Industrial Experiences with Systems Software (WIESS 02)},
year = {2002},
address = {Boston, MA},
url = {https://www.usenix.org/conference/wiess-02/building-impossible-verifier-java-card},
publisher = {USENIX Association},
month = dec,
}
Download

Links

Paper: 
http://www.usenix.org/events/wiess02/tech/full_papers/deville/deville.pdf
Paper (HTML): 
http://www.usenix.org/events/wiess02/tech/full_papers/deville/deville_html/index.html
  • Log in or    Register to post comments

© USENIX

  • Privacy Policy
  • Contact Us