新完善的WAPI协议安全性分析

• 作者: 庞辽军 李慧贤 王育民
• 来源期刊: 东南大学学报（英文版）
• 学科: 工学
• 关键词: 无线局域网 WAPI 认证 密钥协商 CK模型
• 年，卷（期）: 2008,（1）
• 页码范围: 25-28
• 页数: 4页
• 分类号: TP309
• 字数: 1061字
• 语种: 英文
• DOI: 10.3969/j.issn.1003-7985.2008.01.006

摘要

在深入研究中国无线局域网安全标准WAPI接入鉴别过程的基础上,利用CK模型并结合BAN逻辑,对其认证和密钥协商过程安全性进行了形式化分析,证明其能够实现所声称的各种认证及密钥协商目标.进一步的分析结果表明,WAPI不仅具有所声称的各种安全属性,同时还能够有效地实现实体间相互认证、密钥的相互控制、密钥确认、消息完整性校验等安全属性.如果协议中所采用的椭圆曲线加密算法和杂凑算法足够安全,则该协议能够实现STA和AP之间的相互身份认证,可以用于替代原来的无线局域网国际标准中的安全机制,以增强无线局域网的安全性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王育民	西安电子科技大学计算机网络与信息安全教育部重点实验室	244	2283	26.0	36.0
2	李慧贤	西北工业大学计算机学院	38	466	14.0	20.0
3	庞辽军	西安电子科技大学计算机网络与信息安全教育部重点实验室	70	844	19.0	25.0