Verification of JAVA CARD Applets Behavior with Respect to Transactions and Card Tears.

Claude Marché Nicolas Rousset

Published in: SEFM (2006)

Keyphrases

java card
smart card
byte code
fault injection
static analysis
database
countermeasures
secret key
information security
security analysis
virtual machine
method invocation
security model
elliptic curve
security requirements
case study
concurrency control
ad hoc networks
computer systems
data processing
low cost