摘要： 提出一种安全高效的WAPI改进策略。介绍WAI接入鉴别机制及其形式化描述，根据RSA算法与公钥认证框架方案改进密钥认证体制，讨论证书认证和密钥协商过程，分析改进WAPI的安全性和运行效率。结果表明，该策略可以将身份认证和密钥协商过程有机结合，能抵御重放攻击。

关键词: 形式化分析, 自验证公钥, 身份认证, 密钥协商

Abstract: This paper proposes a safety and high-efficiency improved strategy for WAPI. It introduces the WAI access identify mechanism and its formalization description. According to RSA algorithm and public key authentication framework, it improves the key authentication system, discusses the certificate authentication and key agreementconsultation process, and analyzes the security and efficiency of improved WAPI. Analysis results show that this strategy can realize authentication and key agreement process organic union, and resist the replay attack.

Key words: formal analysis, self-certified public key, identity authentication, key agreement

中图分类号: 

• TP393