Automatic Vulnerability Checking of IEEE 802.16 WiMAX Protocols through TLA+

Prasad Narayana,Ruiming Chen,Yao Zhao,Yan Chen,Zhi Fu,Hai Zhou
DOI: https://doi.org/10.1109/npsec.2006.320346
2006-01-01
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 ...
What problem does this paper attempt to address?