基于口令的认证和密钥建立协议的可证明安全性研究

项目名称： 基于口令的认证和密钥建立协议的可证明安全性研究

项目编号： No.60970140

项目类型： 面上项目

立项/批准年度： 2010

项目学科： 自动化技术、计算机技术

项目作者： 张玉清

作者单位： 中国科学院大学

项目金额： 30万元

中文摘要： 基于口令的认证和密钥建立协议一直是密码协议研究领域的一个热点。本项目针对目前基于口令的认证和密钥建立协议(PAKE)的可证明安全中存在的问题进行研究，主要研究内容包括：PAKE协议的安全模型、PAKE协议的设计、具有匿名性和不可否认性的PAKE协议以及多方PAKE协议编译器。 项目的目标是：从理论上，建立一套用可证明安全性理论设计PAKE的方法，完善三方PAKE协议的安全模型，为多方PAKE协议定义一个公认的合适的安全模型。在应用上，以协议编译器的开发为核心，用可证明安全性理论设计安全、实用的三方和多方PAKE协议并证明其安全性。此外，适应于各类网络发展对协议安全属性的要求，设计具有匿名性、不可否认性等新的安全属性的PAKE协议。

中文关键词： 安全协议；口令；认证与密钥建立协议；可证明安全；安全模型

英文摘要：

英文关键词： Security protocol；Password；Authenticated key establishmen；Provable security；Security model