Guaranteeing Correctness Properties of a Java Card Applet.

Lars-Åke Fredlund

Published in: Electron. Notes Theor. Comput. Sci. (2005)

Keyphrases

java card
smart card
fault injection
static analysis
countermeasures
byte code
virtual machine
elliptic curve
security model
control flow
database
data model
data flow
security requirements