Formal Analysis and Verification for Authentication Process of WAPI

doi:10.3969/j.issn.1000-3428.2006.22.004

Computer Engineering ›› 2006, Vol. 32 ›› Issue (22): 10-13. doi: 10.3969/j.issn.1000-3428.2006.22.004

• Degree Paper • Previous Articles Next Articles

Formal Analysis and Verification for Authentication Process of WAPI

LI Xiehua, LI Jianhua, YANG Shutang, ZHU Hongwen

(Dept of Electronic Engineering, Shanghai Jiaotong Univ., Shanghai 200030)

Received:1900-01-01 Revised:1900-01-01 Online:2006-10-20 Published:2006-10-20

WAPI接入鉴别过程的形式化分析与验证

李谢华，李建华，杨树堂，诸鸿文

(上海交通大学电子工程系，上海 200030)

Abstract

Abstract: WAPI is the WLAN national standard designed by China. Based on the thorough researches on authentication process of WAPI, this paper analyzes and verifies this process with BAN logic. The result of formal analysis indicates that the authentication process of WAPI can achieve the goal of identification, data integrity and confidentiality.

Key words: WAPI, Authentication, Session key negotiation

摘要： WAPI协议是我国自行制定的无线局域网国家标准。该文在研究WAPI接入鉴别过程的基础上，使用BAN逻辑对其进行了形式化的分析和验证，证明了接入鉴别过程能够达到信息安全所要求的身份认证、数据完整性和机密性目标。

关键词: WAPI, 接入鉴别, 密钥协商

CLC Number:

TN913.2

LI Xiehua; LI Jianhua; YANG Shutang; ZHU Hongwen. Formal Analysis and Verification for Authentication Process of WAPI[J]. Computer Engineering, 2006, 32(22): 10-13.

李谢华;李建华;杨树堂;诸鸿文. WAPI接入鉴别过程的形式化分析与验证[J]. 计算机工程, 2006, 32(22): 10-13.

/ / Recommend / Download Citations

URL: http://www.ecice06.com/EN/10.3969/j.issn.1000-3428.2006.22.004

http://www.ecice06.com/EN/Y2006/V32/I22/10

[1]	BAO Zhiting, KE Junming, YANG Zheng, LONG Hua, HUANG Dong. Time-based One-Time Password Scheme for PLC [J]. Computer Engineering, 2021, 47(8): 149-156.
[2]	LIAN Wenjuan, ZHAO Duoduo, FAN Xiubin. CFL SSL Security Communication Protocol Based on CFL_BLP Model [J]. Computer Engineering, 2021, 47(6): 152-163.
[3]	WU Tiantian, YANG Yafang, ZHAO Yunlei. An Authentication Protocol with Conditional Privacy Protection for IoV Communication [J]. Computer Engineering, 2021, 47(6): 14-22.
[4]	LIU Qilie, CHEN Cheng. Anonymous Identity Authentication Scheme in V2G Based on Blockchain [J]. Computer Engineering, 2021, 47(11): 22-28.
[5]	ZHANG Pengming, ZHANG Xiaomei, HU Jianpeng. Implicit Authentication Scheme for Smart Phone Based on Dynamic Trust Value [J]. Computer Engineering, 2021, 47(10): 132-139,146.
[6]	YANG Jiyun, YAO Ruidong, ZHOU Jie, GAO Lingyun. Efficient Authentication Scheme Based on Chebyshev Chaotic Map for VANET [J]. Computer Engineering, 2021, 47(10): 34-42,51.
[7]	LIN Mengqi, ZHANG Xiaomei. Identity Authentication of Multi-Modal Fusion Based on Behavioral Footprint [J]. Computer Engineering, 2021, 47(10): 116-124.
[8]	YANG Xueting, LI Zhong. Identity Authentication Scheme Based on Vehicle Behavior Prediction for IoV [J]. Computer Engineering, 2021, 47(1): 129-138.
[9]	LIU Yanan, ZHANG Zheng, QIU Shuo, CHENG Yuan. Intra-Cluster Key Distribution Based on Physical Unclonable Functions in WSN [J]. Computer Engineering, 2020, 46(9): 163-171.
[10]	REN Dezhi, CHEN Juguang, WANG Yong, DUAN Xiaoran, HAO Yujie, WU Xiaohua. Spatial Query Authentication Method Based on MIR Tree [J]. Computer Engineering, 2020, 46(3): 114-119,128.
[11]	YANG Xiaodong, PEI Xizhen, AN Faying, LI Ting, WANG Caifen. Message Authentication Scheme for Vehicular Ad Hoc Network Using Identity-based Aggregate Signature [J]. Computer Engineering, 2020, 46(2): 170-174,182.
[12]	WU Kun, WEI Guoheng. ECC-Based Certificateless Broadcast Information Authentication Scheme for WSN [J]. Computer Engineering, 2020, 46(12): 157-162,200.
[13]	HAN Jialiang, XU Ming. Message Authentication Scheme Under Gaussian Vector Multiple-Input Channels [J]. Computer Engineering, 2020, 46(12): 120-126.
[14]	NIU Shufen, YANG Pingping, XIE Yaya, WANG Caifen, DU Xiaoni. Keyword Search Encryption Scheme for Designated Server in Email System [J]. Computer Engineering, 2020, 46(10): 137-142,150.
[15]	SUN Haiyan, LI Lingling, ZHANG Ling, ZHANG Jianwei, HUANG Wanwei. An Enhanced Identity-based Authentication Key Agreement Protocol for Mobile Internet [J]. Computer Engineering, 2019, 45(9): 153-160,182.

Please choose a citation manager

Content to export

Formal Analysis and Verification for Authentication Process of WAPI

WAPI接入鉴别过程的形式化分析与验证

PDF

Knowledge

Cited

Abstract

Cite this article

share this article

References

Related Articles 15

Recommended Articles

Metrics

Comments

模态框（Modal）标题

Please choose a citation manager

Content to export

Formal Analysis and Verification for Authentication Process of WAPI

WAPI接入鉴别过程的形式化分析与验证

PDF

Knowledge

Cited

Abstract

Cite this article

share this article

References

Related Articles 15

Recommended Articles

Metrics

Comments