Implementing a Formally Verifiable Security Protocol in Java Card.
Engelbert HubbersMartijn OostdijkErik PollPublished in: SPC (2003)
Keyphrases
- java card
- security protocols
- smart card
- security mechanisms
- method invocation
- fault injection
- security requirements
- countermeasures
- static analysis
- byte code
- artificial immune algorithm
- security services
- security model
- virtual machine
- elliptic curve
- key management
- rfid tags
- control flow
- security analysis
- information security
- case study
- end to end
- knowledge management