Formal Methods in Context: Security and Java Card.
Dominique BolignanoDaniel Le MétayerClaire LoiseauxPublished in: Java Card Workshop (2000)
Keyphrases
- java card
- formal methods
- fault injection
- smart card
- static analysis
- countermeasures
- byte code
- security properties
- security model
- elliptic curve
- formal specification
- knowledge based systems
- virtual machine
- security requirements
- information security
- control flow
- model checking
- artificial intelligence
- database systems
- object oriented
- high level
- database
- development lifecycle