论文部分内容阅读
在深入研究中国无线局域网安全标准WAPI接入鉴别过程的基础上，利用CK模型并结合BAN逻辑，对其认证和密钥协商过程安全性进行了形式化分析，证明其能够实现所声称的各种认证及密钥协商目标．进一步的分析结果表明，WAPI不仅具有所声称的各种安全属性，同时还能够有效地实现实体间相互认证、密钥的相互控制、密钥确认、消息完整性校验等安全属性．如果协议中所采用的椭圆曲线加密算法和杂凑算法足够安全，则该协议能够实现STA和AP之间的相互身份认证，可以用于替代原来的无线局域网国际标准中的安全机制，以增强无线局域网的安全性．