Formal verification of the Extensible Authentication Protocol using SPIN.
Manu S. HegdeH. K. JnanamurthySanjay SinghPublished in: CCSEIT (2012)
Keyphrases
- formal verification
- authentication protocol
- model checking
- smart card
- security analysis
- lightweight
- bounded model checking
- automated verification
- public key
- model checker
- rfid tags
- security protocols
- symbolic model checking
- hash functions
- secret key
- rfid systems
- cryptographic protocols
- object oriented
- data model
- temporal logic
- dimensionality reduction
- low cost
- password authentication