Developing Java Card Applications with B.

Bruno Emerson Gurgel Gomes Anamaria Martins Moreira David Déharbe

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

Keyphrases

java card
fault injection
smart card
byte code
countermeasures
static analysis
virtual machine
security model
wireless networks
elliptic curve
business processes
security requirements