Towards a Formal Verification of an Authentication Protocol Using Non-Monotonic Logic.
Manik Lal DasV. Lakshmi NarasimhanPublished in: ITNG (2008)
Keyphrases
- formal verification
- authentication protocol
- model checking
- smart card
- security analysis
- lightweight
- security protocols
- public key
- automated verification
- symbolic model checking
- model checker
- bounded model checking
- rfid tags
- cryptographic protocols
- secret key
- password authentication
- rfid systems
- formal specification
- temporal logic
- low cost
- wireless sensor networks