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

项目名称： 口令认证密钥交换协议的可证明安全性研究

项目编号： No.60873261

项目类型： 面上项目

立项/批准年度： 2009

项目学科： 轻工业、手工业

项目作者： 张振峰

作者单位： 中国科学院软件研究所

项目金额： 30万元

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

中文关键词： 可证明安全性；密钥交换协议；口令；标准模型；随机预言模型

英文摘要：

英文关键词：