Security analysis of WPS in WLAN

Computer Engineering and Applications ›› 2013, Vol. 49 ›› Issue (21): 87-89.

Previous Articles Next Articles

Security analysis of WPS in WLAN

LIU Yonglei1，2, JIN Zhigang3

1.School of Computer Science and Technology, Tianjin University, Tianjin 300072, China
2.Department of Electronic and Information, Tianjin Institute of Urban Construction, Tianjin 300384, China
3.School of Electronic and Information Engineering, Tianjin University, Tianjin 300072, China

Online:2013-11-01 Published:2013-10-30

无线局域网WPS安全性分析

刘永磊1，2，金志刚3

1.天津大学计算机科学与技术学院，天津 300072
2.天津城市建设学院电子与信息工程系，天津 300384
3.天津大学电子信息工程学院，天津 300072

Abstract

Abstract: In this paper, an overview of Wi-Fi Protected Setup（WPS） is supplied. A brute force attack is pointed out. Using Colored Petri Nets（CPN）, the WPS protocol and the improvement are modeled and it is proven that the security flaws exist and the brute force attack is available. Moreover, under setting retry times of connection authentication to be three times, the original protocol can be completely breached and the success breach probability of the improved protocol is only about 3/108.

Key words: Wireless Local Area Network（WLAN）, Wi-Fi protected setup, brute force, colored Petri nets, personal identification number, protocol formal analysis

摘要： 介绍了Wi-Fi联盟的WPS标准并给出了对应的攻击方法——暴力破解攻击，使用CPN对WPS协议及改进协议进行形式化分析并证明AP限制重新发起连接认证的次数为3次时，原协议可完全被攻破而给出的改进协议成功概率仅约为3/108。

关键词: 无线局域网, Wi-Fi受保护安装, 暴力破解, 着色Petri网, 个人识别码, 协议形式化分析

LIU Yonglei1，2, JIN Zhigang3. Security analysis of WPS in WLAN[J]. Computer Engineering and Applications, 2013, 49(21): 87-89.

刘永磊1，2，金志刚3. 无线局域网WPS安全性分析[J]. 计算机工程与应用, 2013, 49(21): 87-89.

[1]	DONG Jian, DAI Shenghua. Modeling and formal analysis of level transition based on colored Petri nets [J]. Computer Engineering and Applications, 2018, 54(2): 208-213.
[2]	WANG Ruifeng1, LI Yuan1, CHENG Jinshan2. Analysis on level transition scenario modeling based on CPN [J]. Computer Engineering and Applications, 2015, 51(10): 266-270.
[3]	ZHENG Wenyan. Performance simulation of uncertainty inventory based on colored petri nets [J]. Computer Engineering and Applications, 2014, 50(22): 250-255.
[4]	LI Peiwu1, LEI Jin’e2. Extended usage control strategy model based on colored Petri net design [J]. Computer Engineering and Applications, 2012, 48(33): 96-100.
[5]	HAN Zhaochao，HUANG Shucai. Modeling of union ATBM system based on colored Petri nets [J]. Computer Engineering and Applications, 2011, 47(6): 235-238.
[6]	GE Lunyue，WU Qilin，TIAN Yiming，LU Yang. Analysis and improvement of VoIP capacity in IEEE 802.11e WLAN [J]. Computer Engineering and Applications, 2011, 47(18): 73-75.
[7]	JIA Fan1，XIE Di2. Design and implementation of protection process for USB Key [J]. Computer Engineering and Applications, 2011, 47(15): 72-74.
[8]	XU Wan-fu，HOU Hui-fang. Analysis and amendment of EAP-AKA protocol in 3G-WLAN interworking [J]. Computer Engineering and Applications, 2010, 46(32): 81-83.
[9]	FENG Hui-fang¹，SHU Yan-tai². Second-order scaling properties analysis of aggregate WLAN traffic [J]. Computer Engineering and Applications, 2009, 45(36): 15-18.
[10]	ZHANG Yan，WANG Ze. Improved method of enhancing EAP-AKA protocol security [J]. Computer Engineering and Applications, 2009, 45(28): 96-98.
[11]	SONG Jun,JIN Yan-hua. Fast collision resolution algorithm implementatlon and performance analysis based on ns-2 [J]. Computer Engineering and Applications, 2008, 44(36): 122-125.
[12]	HU Zhong－dong,LI Ping－guo,XIA Dong－mei. Algorithm of adaptive vertical handoff for wireless heterogeneous networks [J]. Computer Engineering and Applications, 2007, 43(31): 145-147.
[13]	,,,. Improved Algorithm of Slide Window Protocol for SUNA [J]. Computer Engineering and Applications, 2007, 43(2期): 145-145.
[14]	WANG Ke,YANG Shi-zhong,XU Chang-biao . Overview for IEEE 802.11 DCF-based QoS mechanisms [J]. Computer Engineering and Applications, 2007, 43(18): 126-131.
[15]	JiaFen Liu,. Analysis of X.509 Authentication Protocol via Authentication Test [J]. Computer Engineering and Applications, 2006, 42(8期): 23-.

Security analysis of WPS in WLAN

无线局域网WPS安全性分析

PDF

Knowledge

Abstract

Cite this article

share this article

References

Related Articles 15

Recommended Articles

Metrics