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

• 作者: 李建华 李谢华 杨树堂 诸鸿文
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: WAPI 接入鉴别 密钥协商
• 年，卷（期）: 2006,（22）
• 所属期刊栏目: 博士论文
• 页码范围: 10-13
• 页数: 4页
• 分类号: TN913.2
• 字数: 4483字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2006.22.004

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	杨树堂	上海交通大学电子工程系	77	745	16.0	23.0
2	诸鸿文	上海交通大学电子工程系	181	1218	17.0	25.0
3	李建华	上海交通大学电子工程系	336	2966	25.0	36.0
4	李谢华	上海交通大学电子工程系	6	54	5.0	6.0