JCML: A specification language for the runtime verification of Java Card programs.
Umberto Souza da CostaAnamaria Martins MoreiraMartin A. MusicantePlácido A. Souza NetoPublished in: Sci. Comput. Program. (2012)
Keyphrases
- java card
- specification language
- symbolic execution
- static analysis
- method invocation
- control flow
- smart card
- fault injection
- byte code
- formal specification
- countermeasures
- programming language
- description language
- virtual machine
- data flow
- elliptic curve
- java bytecode
- source code
- security model
- model checking
- case study
- artificial intelligence
- process model