Specifying JAVA CARD API in OCL.
Daniel LarssonWojciech MostowskiPublished in: Electron. Notes Theor. Comput. Sci. (2004)
Keyphrases
- java card
- smart card
- static analysis
- fault injection
- source code
- countermeasures
- byte code
- api calls
- virtual machine
- application programming interface
- metamodel
- control flow
- elliptic curve
- modeling language
- test cases
- open source
- high level
- security model
- wireless sensor networks
- life cycle
- secret key
- information systems