Secure Object Flow Analysis for Java Card.

Marc Éluard Thomas P. Jensen

Published in: CARDIS (2002)

Keyphrases

flow analysis
method invocation
java card
smart card
fault injection
byte code
countermeasures
information flow
security model
static analysis
garbage collection
control flow
elliptic curve
security requirements
virtual machine
data warehouse
lightweight