Sciweavers

CASSIS
2004
Springer

A Type System for Checking Applet Isolation in Java Card

14 years 4 months ago
A Type System for Checking Applet Isolation in Java Card
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.
Werner Dietl, Peter Müller, Arnd Poetzsch-Hef
Added 01 Jul 2010
Updated 01 Jul 2010
Type Conference
Year 2004
Where CASSIS
Authors Werner Dietl, Peter Müller, Arnd Poetzsch-Heffter
Comments (0)