802.16e中双重EAP认证的Rubin逻辑分析

• 作者: 刘丽明 潘进 王松
• 来源期刊: 现代电子技术
• 关键词: 802.16 TLS协议 形式化分析 Rubin逻辑
• 年，卷（期）: 2009,（5）
• 所属期刊栏目: 信息安全
• 页码范围: 67-71
• 页数: 5页
• 分类号: TN915
• 语种: 中文
• DOI: 10.3969/j.issn.1004-373X.2009.05.021

摘要

802.16是IEEE制定的无线城域网技术标准.作为当今最具发展前景的无线宽带接入技术之一,由于传输信号的开放性,其安全问题备受关注.802.16e标准的安全体制在802.16d安全体制的基础上作了进一步的改进,不但实现了RSA的双向认证,而且引入了应用层认证协议EAP;实现了基于EAP的双重认证.根据协议分析需求,首先对所选形式化分析方法Rubin逻辑进行了扩展,并用扩展后的Rubin逻辑对双重认证模式进行分析,验证了802.16e中的双重认证模式的安全性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	潘进		53	378	8.0	18.0
2	刘丽明		3	10	2.0	3.0
3	王松		5	6	2.0	2.0