An Operational Semantics of the Java Card Firewall.
Marc ÉluardThomas P. JensenEwen DenneyPublished in: E-smart (2001)
Keyphrases
- java card
- operational semantics
- smart card
- fault injection
- countermeasures
- static analysis
- byte code
- formal semantics
- mental states
- virtual machine
- control flow
- elliptic curve
- data model
- speech acts
- data flow
- dynamic environments
- security model
- integrity constraints
- first order logic
- high level
- artificial intelligence
- database