A Java Card CAP converter in PVS.

Thomas Genet Thomas P. Jensen Vikash Kodati David Pichardie

Published in: Electron. Notes Theor. Comput. Sci. (2003)

Keyphrases

java card
smart card
fault injection
static analysis
byte code
countermeasures
virtual machine
control flow
xml schema
elliptic curve
data flow
security model
information security
method invocation
xml documents
secret key
security requirements
operating system