A Type System for Checking Applet Isolation in Java Card.

Werner Dietl Peter Müller Arnd Poetzsch-Heffter

Published in: CASSIS (2004)

Keyphrases

java card
smart card
byte code
fault injection
static analysis
countermeasures
virtual machine
type checking
security model
control flow
elliptic curve
security analysis
method invocation
sensor networks
fault model
secret key
source code
open source