口令认证密钥交换协议的可证明安全性研究

本项目研究基于口令的认证密钥交换协议的可证明安全性理论。发展口令认证密钥交换协议的分析方法，完善不同应用环境下的安全模型规划，丰富高效协议的设计理论，发展其安全性推理证明技术。主要研究内容包括：根据口令认证协议独特的字典攻击和协议实现所依赖的代数性质，发展口令认证密钥交换协议的分析方法；系统研究口令认证密钥交换协议的安全模型，规划新安全属性的形式化表示，在理想模型和标准模型下对具体协议进行可证明安全性分析；开展理想模型下可证明安全的口令认证密钥交换协议的实例化研究；发展和完善三方口令认证密钥交换协议、跨域口令认证密钥交换协议、基于口令的群组密钥交换协议的设计理论与分析方法；深化研究匿名口令认证协议的设计与分析方法，开展其可证明安全性研究；深入分析高效的口令认证密钥交换协议在复合环境下的安全性。