Formal Verification of the IEEE 802.11i WLAN Security Protocol.
Elankayer SithirasenanSaad ZafarVallipuram MuthukkumarasamyPublished in: ASWEC (2006)
Keyphrases
- formal verification
- security protocols
- wireless lan
- wireless local area network
- wireless local area networks
- model checking
- wireless networks
- security services
- cryptographic algorithms
- access points
- key management
- artificial immune algorithm
- bounded model checking
- model checker
- authentication protocol
- automated verification
- wifi
- symbolic model checking
- medium access control
- security mechanisms
- temporal logic
- mac layer
- quality of service
- video streaming
- security requirements
- rfid systems
- wireless systems
- formal specification
- wireless communication