认证的密钥交换协议及SVO逻辑证明

Authenticated Key Exchange Protocol and Verification SVO Logic

在环境受限的无线通信网络环境中,身份认证和会话密钥的协商是确保通信双方能否建立安全会话的关键。为使认证和密钥建立协议中采用的密码技术能适合受限通信环境中的应用,提出一个基于身份的认证的密钥建立协议,并使用SVO逻辑证明设计协议的安全目标。

In a distributed wireless communication network, authenticated key agreement protocol is critical to the secure sessions between communication parties, and much attention is paid to formal theories of cryptographic protocol analysis. A Mutually-Authenticated Key Establish Protoeol（AKEP） based on entity authentication with elliptic curve cryptography is proposed, which could provide data confidentiality of exchanged information between Server and client via symmetric cryptography. The security of the protocol is verified by SVO logic.