P: Automated Deduction on a Smart Card.
Andrew SlaterRajeev GoréJoachim PoseggaHarald VogtPublished in: Australian Joint Conference on Artificial Intelligence (1998)
Keyphrases
- automated deduction
- smart card
- theorem proving
- theorem prover
- digital signature
- inference rules
- logic programming
- security requirements
- secure communication
- information security
- security mechanisms
- security enforcement
- secret key
- authentication scheme
- authentication protocol
- java card
- security analysis
- remote user authentication scheme
- deductive databases
- first order logic
- lightweight
- fingerprint authentication
- artificial intelligence
- machine learning