)认证密钥协商协议的研究一直是密码学领域的一个热点。但是,在双方身份基和非身份基这两类基本认证密钥协商协议的研究方面仍存在着两大问题一是现有设计方法十分零散和独立,二是已有的安全性证明过程不能够被重用。本项目拟针对上述问题进行深入研究,力争提出一种系统和完整的关于这两类协议的设计与分析新方法。研究目标是一、提出一种平行化协议设计方法;二、提出这两类协议在可证明安全性方面进行相互转换的平行化方法;三、提出若干新的高效认证密钥协商协议。我们希望通过本项目的研究,探索设计与分析这两类协议的新途径和新方法,提出若干在效率和安全性方面都达到国际前沿水平的新协议,为认证密钥协商协议今后的理论发展和应用提供切实的指导与帮助。
authenticated key agreement;id-based protocol;Diffie-Hellman protocol;SOK protocol;security proof
项目组按原定研究计划对所涉及的主要内容进行了深入研究,在身份基和非身份基两个领域都取得了丰富成果。(1)提出了一种十分有效的平行化协议设计方法。比较完美地跨越了原本存在于身份基(基于双线性配对)与传统非身份基协议(基于原始Diffie-Hellman协议)研究之间的“鸿沟”,首次完全揭示了这两类协议之间的内在联系,建立了它们之间的相互转换方法。(2)给出了一种手工式安全性平行化转换方法;这部分工作还有待进一步深入。(3)设计出了若干高效身份基和非身份基认证密钥协商协议,特别是著名的(H)MQV协议的身份基版本。 在论文发表方面,超额完成了任务。共发表SCI检索期刊论文4篇,EI检索期刊论文8篇。