WAPI安全接入过程的形式化验证

• 作者: 秦建丰 薛质 郝黎明
• 来源期刊: 信息技术
• 学科: 工学
• 关键词: 无线局域网 WAPI WAI 证书鉴别
• 年，卷（期）: 2006,（1）
• 所属期刊栏目: 应用技术
• 页码范围: 60-63
• 页数: 4页
• 分类号: TP399.1
• 字数: 3450字
• 语种: 中文
• DOI: 10.3969/j.issn.1009-2552.2006.01.018

摘要

WAPI协议是我国自行制定的无线局域网国家标准.在对其中WAI的安全接入过程深入研究的基础上,使用BAN逻辑对该过程进行了形式化的分析和验证.验证结果表明协议中存在着安全漏洞,文章最后针对这些安全漏洞提出了一些改进的建议.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	薛质	上海交通大学信息安全工程学院	274	1489	18.0	25.0
2	郝黎明	上海交通大学信息安全工程学院	8	31	3.0	5.0
3	秦建丰	上海交通大学信息安全工程学院	1	2	1.0	1.0