Formal Proof of Smart Card Applets Correctness.
Jean-Louis LanetAntoine RequetPublished in: CARDIS (1998)
Keyphrases
- smart card
- formal proof
- java card
- theorem prover
- information security
- security requirements
- digital signature
- security mechanisms
- authentication scheme
- security analysis
- secret key
- authentication protocol
- fingerprint authentication
- secure communication
- differential power analysis
- power analysis
- security enforcement
- password authentication
- byte code
- information systems
- remote user authentication scheme
- software architecture
- feature extraction