The Security Proof of a 4-Way Handshake Protocol in IEEE 802.11i.
Fan ZhangJianfeng MaSang-Jae MoonPublished in: CIS (2) (2005)
Keyphrases
- physical layer
- medium access control
- cryptographic protocols
- security protocols
- authentication protocol
- security analysis
- key agreement protocol
- security properties
- security model
- mac protocol
- key exchange protocol
- formal proof
- rfid systems
- ban logic
- wireless local area network
- communication protocols
- wireless communication
- mutual authentication
- denial of service attacks
- access control
- mobile payment
- wireless networks
- application layer
- lightweight
- information security
- provably secure
- key distribution
- security systems
- security requirements
- security issues
- security mechanisms
- link layer
- secure routing
- mac layer
- secure multiparty computation
- protocol specification
- key exchange
- public key
- mobile agent system
- key agreement
- network layer
- electronic voting
- intrusion detection
- wireless sensor networks
- mobility management
- communication protocol
- elliptic curve
- formal analysis
- trust negotiation
- diffie hellman
- ad hoc networks
- network security
- security policies
- rfid tags
- homomorphic encryption
- key management
- smart grid