Development of an Embedded Verifier for Java Card Byte Code Using Formal Methods.
Ludovic CassetPublished in: FME (2002)
Keyphrases
- java card
- byte code
- formal methods
- smart card
- countermeasures
- static analysis
- software engineering
- virtual machine
- knowledge based systems
- control flow
- elliptic curve
- security model
- model checking
- software testing
- java virtual machine
- information security
- formal specification
- data flow
- databases
- software systems
- cloud computing
- open source
- knowledge representation
- case study