A Type System for Checking Applet Isolation in Java Card
Download: PDF.
“A Type System for Checking Applet Isolation in Java Card” by W. Dietl, P. Müller, and A. Poetzsch-Heffter. In Construction and Analysis of Safe, Secure and Interoperable Smart devices (CASSIS), Mar. 2004, pp. 129-150.
Abstract
A Java Card applet is, in general, not allowed to access fields and methods of other applets on the same smart card. This applet isolation property is enforced by dynamic checks in the Java Card Virtual Machine. This paper describes a refined type system for Java Card that enables static checking of applet isolation. With this type system, firewall violations are detected at compile time. Only a special kind of downcast requires dynamic checks.
Download: PDF.
BibTeX entry:
@inproceedings{DietlMuellerPoetzsch-Heffter04,
author = {W. Dietl and P. M{"u}ller and A. Poetzsch-Heffter},
title = {{A Type System for Checking Applet Isolation in Java Card}},
booktitle = {Construction and Analysis of Safe, Secure and
Interoperable Smart devices (CASSIS)},
series = {Lecture Notes in Computer Science},
month = mar,
}
Copyright notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author’s copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.
(This webpage was created with bibtex2web.)