Automated Proof of Authentication Protocols in a Logic of Events.
Mark BickfordPublished in: VERIFY@IJCAR (2010)
Keyphrases
- authentication protocol
- proof theory
- linear logic
- automated theorem provers
- natural deduction
- proof search
- computer algebra
- proof theoretic
- security analysis
- smart card
- theorem prover
- lightweight
- logical rules
- logic programming
- public key
- database systems
- ban logic
- security protocols
- hash functions
- inference rules
- modal logic