基于身份的认证密钥协商协议分析-信息安全专业论文.docx

摘要 摘要 摘要 密钥协商协议允许协议诚实的参与者在公开的信道上建立一个共享会话密 钥。密钥协商问题的研究一直伴随公钥密码学的发展，它与加密签名一样已经成 为密码学研究的一个重要问题。由于对 Diffie-Hellman 协议的研究，发现该协议 并不能抵抗中间人攻击。因此研究者围绕着协议的安全性进行了广泛和深入的研 究。然而由于认证密钥协商协议的安全目标的复杂性和多样性，怎样对该类型的 协议进行安全建模和安全性的证明是非常困难的工作。 本文在深入研究目前已提出的基于身份的密钥协商协议的基础之上，紧跟本 领域的前沿学术研究，得到了以下研究成果： 1、针对目前大多数基于身份的认证密钥协商协议在构造方面都是利用计算代 价很大的双线性对，本文提出了一种基于椭圆曲线上的离散对数困难问题的基于 身份的两方认证密钥协商协议。并且在模型 ID-BJM 中进行了安全性证明。然后 对该协议进一步改进，使得该协议能够达到完美前向安全性以及带密钥确认的安 全性。 2、对提出的新的基于身份的两方认证密钥协商协议进行扩展，得到一个基于 身份的三方认证密钥协商协议，并对其进行了形式化的安全性分析。 3、利用 GCC 编译器和 MIRACL 函数库，对提出的基于身份的两方认证密钥 协商协议在 Linux 环境下进行了模拟，实验的结果表明本文提出的新协议是正确 可行的。 关键词：认证密钥协商协议 基于身份密钥协商协议 可证明安全 椭圆曲线密 码体制 Abstract Abstract Abstract The key agreement protocol allows protocol honest participants to establish a shared session key in an open channel.Key agreement issues has been accompanied by the development of public-key cryptography, it has become an essential problem in the cryptography research like encryption and signature. Diffie-Hellman protocol, it is found that the protocol can not resist man-in-the-middle attack. Researchers around the security of the agreement to carry out extensive and in-depth studies. However, due to the complexity and diversity of authenticated key agreement protocol security objectives, how this type of security modeling and the proof of security is a very difficult task. In this paper, on the basis of in-depth study has proposed identity-based key agreement protocol, keeping the forefront of academic research in the field, has been following research: Most of the existing two-party identity-based authenticated key agreement protocol constructed are based computational cost greatly bilinear of computing. This paper proposed a identity-based two-party authenticated key agreement protocol that based on elliptic curve discrete logarithm problem, and we proved the safety on security model ID-BJM. Then, we improved the agreement, make it achieve perfect forward security and key validation security attributes. Based on the proposed new t