Login / Signup
Specification and Runtime Verification of Java Card Programs.
Umberto Souza da Costa
Anamaria Martins Moreira
Martin A. Musicante
Plácido A. Souza Neto
Published in:
Electron. Notes Theor. Comput. Sci. (2009)
Keyphrases
</>
java card
control flow
method invocation
smart card
data flow
fault injection
byte code
countermeasures
static analysis
software testing
formal verification
virtual machine
security model
modeling language
process model
high level
information systems
model checking
test cases