Formal Verification of a Commercial Smart Card Applet with Multiple Tools.
Bart JacobsClaude MarchéNicole RauchPublished in: AMAST (2004)
Keyphrases
- smart card
- formal verification
- java card
- model checking
- secret key
- security requirements
- secure communication
- security mechanisms
- automated verification
- remote user authentication scheme
- authentication scheme
- security analysis
- symbolic model checking
- digital signature
- model checker
- power analysis
- bounded model checking
- computer aided software engineering
- fingerprint authentication
- security enforcement
- differential power analysis