Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

12

CASSIS
2004
Springer

favoriteEmaildiscussreport

96views Human Computer Interaction» more CASSIS 2004»

A Type System for Checking Applet Isolation in Java Card

13 years 10 months ago

A Type System for Checking Applet Isolation in Java Card

Download www.cs.washington.edu

A Java Card applet is, in general, not allowed to access ﬁelds 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 reﬁned type system for Java Card that enables static checking of applet isolation. With this type system, ﬁrewall violations are detected at compile time. Only a special kind of downcast requires dynamic checks.

Werner Dietl, Peter Müller, Arnd Poetzsch-Hef

Real-time Traffic

Applet Isolation | CASSIS 2004 | Human Computer Interaction | Java Card | Java Card Applet |

claim paper

Related Content

» Java bytecode verification with dynamic structures

» Typed Memory Management in a Calculus of Capabilities

» A modelbased approach to integrating security policies for embedded devices

» EnerJ approximate data types for safe and general lowpower computation

» Asserting Bytecode Safety

Post Info
More Details (n/a)

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)