Java Card Code Generation from B Specifications.
Bruno TatibouëtAntoine RequetJean-Christophe VoisinetAhmed HammadPublished in: ICFEM (2003)
Keyphrases
- code generation
- java card
- smart card
- fault injection
- application development
- byte code
- control flow
- formal specification
- countermeasures
- static analysis
- software development
- modeling language
- virtual machine
- security model
- software reuse
- model driven
- elliptic curve
- rapid prototyping
- data flow
- design patterns
- information security
- data management
- database
- development process
- end users