Formalisation and Verification of Java Card Security Properties in Dynamic Logic.
Wojciech MostowskiPublished in: FASE (2005)
Keyphrases
- java card
- security properties
- dynamic logic
- smart card
- security requirements
- security analysis
- elliptic curve
- security model
- information security
- countermeasures
- modal logic
- reasoning about actions
- static analysis
- security mechanisms
- formal model
- security protocols
- authentication protocol
- virtual machine
- secret key
- control flow
- formal methods
- cryptographic protocols
- key management
- public key
- situation calculus
- lightweight