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

doi:10.3969/j.issn.1000-3428.2006.22.004

计算机工程 ›› 2006, Vol. 32 ›› Issue (22): 10-13. doi: 10.3969/j.issn.1000-3428.2006.22.004

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

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

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

收稿日期:1900-01-01 修回日期:1900-01-01 出版日期:2006-10-20 发布日期:2006-10-20

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

摘要/Abstract

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

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

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

中图分类号:

TN913.2

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

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.

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

[1]	孙海燕, 李玲玲, 张玲, 张建伟, 黄万伟. 一种增强的移动互联网身份基认证密钥协商协议[J]. 计算机工程, 2019, 45(9): 153-160,182.
[2]	王彩芬,陈丽,张玉磊. 基于理想格的用户匿名口令认证密钥协商协议[J]. 计算机工程, 2018, 44(4): 212-217.
[3]	陈振宇,杨阳,季赛,刘文杰. 基于量子委托计算模式的半量子密钥协商[J]. 计算机工程, 2018, 44(3): 178-181,188.
[4]	王永涛，宋璟，贺强，刘照辉. 一个基于属性的密钥协商协议[J]. 计算机工程, 2014, 40(2): 134-139.
[5]	刘松，果乃福，谢帆，张丽，李淼. UC安全的双向口令认证密钥协商协议[J]. 计算机工程, 2014, 40(2): 140-143,147.
[6]	王志蓬,林慕清,季东杰,徐剑. 无线局域网中基于身份签名的接入认证方案[J]. 计算机工程, 2014, 40(12): 108-113.
[7]	唐祚波, 缪祥华. 一种改进的三方认证密钥协商协议[J]. 计算机工程, 2013, 39(6): 174-176,180.
[8]	范修伟, 卢建朱. 一种轻量级的WSN认证和密钥协商方案[J]. 计算机工程, 2013, 39(3): 146-151.
[9]	马钧，冷华. 配电自动化GPRS两方认证密钥协商协议[J]. 计算机工程, 2013, 39(11): 143-146,157.
[10]	唐祚波, 缪祥华. 一种三方认证密钥协商协议的分析与改进[J]. 计算机工程, 2013, 39(1): 140-143.
[11]	姚瑶, 王兴伟. 基于跨域认证与密钥协商的协议模型[J]. 计算机工程, 2012, 38(9): 12-14.
[12]	赵跃华, 黄淑美. 基于双线性对的WSN密钥协商和认证协议[J]. 计算机工程, 2012, 38(9): 121-124.
[13]	王亚飞, 周本东. 一种可证明安全的ID-AKA协议[J]. 计算机工程, 2012, 38(9): 144-147,165.
[14]	蒋华, 贾永兴, 汪良辰, 杨庆锐. 基于身份的P2PSIP可认证密钥协商方案[J]. 计算机工程, 2012, 38(3): 134-136.
[15]	丁清, 朱敏, 闫二辉. 一种安全高效的WAPI改进策略[J]. 计算机工程, 2012, 38(3): 153-155.

选择文件类型/文献管理软件名称

选择包含的内容

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

Formal Analysis and Verification for Authentication Process of WAPI

PDF

可视化

被引次数

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

编辑推荐

Metrics

本文评价

模态框（Modal）标题

选择文件类型/文献管理软件名称

选择包含的内容

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

Formal Analysis and Verification for Authentication Process of WAPI

PDF

可视化

被引次数

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

编辑推荐

Metrics

本文评价