: The First Theorem Prover on a Smart Card.
Rajeev GoréJoachim PoseggaAndrew SlaterHarald VogtPublished in: CADE (1998)
Keyphrases
- smart card
- theorem prover
- theorem proving
- first order logic
- automated theorem proving
- inference rules
- digital signature
- security requirements
- information security
- security analysis
- secret key
- term rewriting
- java card
- authentication scheme
- formal proof
- security enforcement
- authentication protocol
- secure communication
- remote user authentication scheme
- power analysis
- differential power analysis
- boolean algebra
- natural deduction
- fingerprint authentication
- lightweight
- source code