Automatic vulnerability checking of IEEE 802.16 WiMAX protocols through TLA+

Computer Science

• Vulnerabilities 60%
• Network Protocols 40%
• Vulnerability Assessment 40%
• Case Study 20%
• Denial of Service Attack 20%
• Denial-of-Service 20%
• State Space 20%
• Authentication 20%
• Security Properties 20%
• Attacker Model 20%
• Manual Process 20%
• Air Interface Protocol 20%
• Attack 20%
• Threat 20%
• Forwarding 20%

INIS

• vulnerability 100%
• space 20%
• interfaces 20%
• security 20%
• air 20%
• explosions 20%
• authentication 20%