A Constructive Approach to Correctness, Exemplified by a Generator for Certified Java Card Applets.

Alessandro Coglio Cordell Green

Published in: VSTTE (2005)

Keyphrases

java card
smart card
byte code
fault injection
static analysis
countermeasures
virtual machine
control flow
security model
data flow
elliptic curve
information systems
database systems
security analysis
data management
high level
database
method invocation