Automatic Vulnerability Checking of IEEE 802.16 WiMAX Protocols through TLA+

Authors:
Prasad Narayana;Ruiming Chen;Yao Zhao;Yan Chen;Zhi Fu;Hai Zhou
Affiliations:
Northwestern University, Evanston IL, USA;Northwestern University, Evanston IL, USA;Northwestern University, Evanston IL, USA;Northwestern University, Evanston IL, USA;Motorola Labs, Schaumburg IL, USA;Northwestern University, Evanston IL, USA
Venue:
NPSEC '06 Proceedings of the 2006 2nd IEEE Workshop on Secure Network Protocols
Year:
2006

Citing 0
Cited 4

A TLA+ Formal Specification and Verification of a New Real-Time Communication Protocol

Electronic Notes in Theoretical Computer Science (ENTCS)
Towards formal specification of the service in the IEEE 802.16 MAC layer for connection management

CIMMACS '10 Proceedings of the 9th WSEAS international conference on computational intelligence, man-machine systems and cybernetics
The modeling and comparison of wireless network denial of service attacks

MobiHeld '11 Proceedings of the 3rd ACM SOSP Workshop on Networking, Systems, and Applications on Mobile Handhelds
WiMAX Networks-architecture and data security

Annales UMCS, Informatica

Quantified Score

Hi-index	0.00

Visualization

Abstract

IP security is designed to protect hosts from attack, but can itself provide a way to overwhelm the resources of a host. One such denial of service (DoS) attack involves sending incorrectly signed packets to a host, which then consumes substantial CPU ...