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