Reasoning about Card Tears and Transactions in Java Card.

Engelbert Hubbers Erik Poll

Published in: FASE (2004)

Keyphrases

java card
smart card
fault injection
byte code
information security
database
secret key
security analysis
security requirements
static analysis
databases
countermeasures
information systems
relational databases
virtual machine