Executing JML specifications of Java card applications: a case study.

Néstor Cataño Tim Wahls

Published in: SAC (2009)

Keyphrases

java card
control flow
smart card
fault injection
byte code
countermeasures
static analysis
virtual machine
data flow
security model
case study
elliptic curve
high level
low cost
efficient execution
formal specification
database
software testing
process model