Formal Verification of IEEE 802.11 Authentication Protocols.
K. V. Krishnam RajuV. Valli KumariPublished in: J. Networks (2013)
Keyphrases
- formal verification
- authentication protocol
- cryptographic protocols
- model checking
- smart card
- security analysis
- lightweight
- automated verification
- bounded model checking
- public key
- symbolic model checking
- security protocols
- model checker
- rfid tags
- secret key
- ban logic
- rfid systems
- hash functions
- formal specification
- temporal logic
- operating system