From Finite State Machines to Provably Correct Java Card Applets.
Engelbert HubbersMartijn OostdijkErik PollPublished in: SEC (2003)
Keyphrases
- finite state machines
- provably correct
- java card
- smart card
- byte code
- model checking
- static analysis
- fault injection
- formal methods
- situation calculus
- virtual machine
- countermeasures
- finite state automata
- regular expressions
- elliptic curve
- control flow
- security model
- information security
- temporal logic
- source code
- formal specification
- query language
- open source