身份基密钥交换协议的新研究

本项目旨在针对身份基密钥交换协议进行仔细深入的研究。由于身份基密钥交换协议在认证方面不需要采用公钥证书，而直接以用户的身份或电子邮件地址等作为公钥，因而避免了大量证书查询工作。所以，近几年，身份基的密钥交换协议被广泛研究。然而，我们通过仔细分析已有的一些身份基密钥交换协议，发现很大一部分协议并不安全。因此，在本项目我们主要研究三部分内容：1.分析和改进已有的一些身份基密钥交换协议，并进行形式化可证安全性证明；2.我们考虑各种新的攻击情形，建模更为合理的身份基密钥交换协议安全模型，并提出新的有效的可证安全身份基密钥交换协议；3.考虑到目前身份基密钥交换协议都采用双线性配对技术，而配对技术是一种耗时复杂的操作，因此本项目又一大创新是研究不基于配对技术的身份基密钥交换协议。