Abstract: This paper presents an identity-based authenticated key exchange protocol in the standard model.Protocol design is inspired by bilinear pairings.Strand space knowledge and Game method in provable security are comprehensively used.The correctness of the protocol is analysed and a strict proof is given.The protocol has good forward security and session key non-hosting.At the same time，through the explicit authentication，it improves the efficiency of the implementation of the protocol.Compared with the protocol in the random oracle model，the protocol has the same computational and communication efficiencies.

Key words: authenticated key exchange, provable security, strand space, bilinear pairings, standard model

摘要： 提出了一个标准模型下的基于身份认证的密钥协商协议。协议的设计采用了双线性配对的思想，协议的安全性分析，则综合运用了串空间知识以及可证安全中Game证明的方法，给出了严格的证明。协议具有良好的前向安全性和会话密钥无托管性，通过利用显式的身份认证，提高了协议的执行效率。与随机预言模型中的协议相比，在计算和通信效率方面相当。

关键词: 认证密钥协商, 可证安全, 串空间, 双线性配对, 标准模型