Model Checking Denial-of-Service Attack Against IEEE 802.15.6 Protocol

With the prevalence of Internet of Things, numerous system vulnerabilities can be explored, and the hacker may launch a series of DoS attacks by exploiting the vulnerabilities of the system. In this paper, a simulation experiment is designed to implement DoS attacks on a system that utilizes the IEEE 802.15.6 password association protocol to accomplish the information transmission. During the process, authors introduce the probabilistic model checking technique with the tool of PRISM. This method is used for the analysis of the factors affecting the success rate of DoS attacks. The study is expected to enrich the analysis of the factors influencing the success rate of DoS attacks.