TY - GEN
T1 - Model Checking Denial-of-Service Attack Against IEEE 802.15.6 Protocol
AU - Liu, Henan
AU - Wang, Yanmei
AU - Zheng, Kai
AU - Huang, Xin
N1 - Funding Information:
This work was supported by the XJTLU research development fund projects under Grant RDF 140243and Grant RDF 150246, in part by the National Natural Science Foundation of China under Grant No. 61701418, in part by Innovation Projects of The Next Generation Internet Technology under Grant NGII20170301, in part by the Suzhou Science and Technology Development Plan under Grant SYG201516, and in part by the Jiangsu Province National Science Foundation under Grant BK20150376.
Publisher Copyright:
© 2018 IEEE.
PY - 2018/12/26
Y1 - 2018/12/26
N2 - 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.
AB - 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.
KW - IEEE 802.15.6 password association protocol
KW - Internet of Things (IoT)
KW - Model checking
KW - PRISM
UR - http://www.scopus.com/inward/record.url?scp=85061313065&partnerID=8YFLogxK
U2 - 10.1109/ITME.2018.00192
DO - 10.1109/ITME.2018.00192
M3 - Conference Proceeding
AN - SCOPUS:85061313065
T3 - Proceedings - 9th International Conference on Information Technology in Medicine and Education, ITME 2018
SP - 857
EP - 861
BT - Proceedings - 9th International Conference on Information Technology in Medicine and Education, ITME 2018
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 9th International Conference on Information Technology in Medicine and Education, ITME 2018
Y2 - 19 October 2018 through 21 October 2018
ER -