Improving Test Conformance of Smart Cards versus EMV-Specification by Using on the Fly Temporal Property Verification.
Germain JollySylvain VernoisJean-Luc LambertPublished in: SNDS (2014)
Keyphrases
- smart card
- security mechanisms
- java card
- protocol specification
- security requirements
- comprehensive analysis
- security analysis
- digital signature
- secret key
- information security
- formal methods
- authentication protocol
- power analysis
- secure communication
- security protocols
- differential power analysis
- sensitive data
- formal specification
- control flow
- temporal constraints
- model checking