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

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