新完善的WAPI协议安全性分析

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

我国实施WAPI标准面临的困境及启示

WAPI标准的出台,是我国在高科技产业领域实施“标准战略”的一次重要尝试。WAPI标准最终被无限期延迟,这是由多方面的原因造成的。对比韩国强制实施WIPI标准的成功经验,可以给我们提供许多有益的启示。