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

摘要：

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

关键词：802.16、TLS协议、形式化分析、Rubin逻辑

所属期刊栏目：32

分类号：TN915

资助基金：国家"863"项目资助2007AA01Z472

在线出版日期：2009-04-24（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：67-71