位置：立项数据库 > 立项详情页
口令认证密钥交换协议的可证明安全性研究
  • 项目名称：口令认证密钥交换协议的可证明安全性研究
  • 项目类别：面上项目
  • 批准号：60873261
  • 申请代码：F020702
  • 项目来源：国家自然科学基金
  • 研究期限：2009-01-01-2011-12-31
  • 项目负责人：张振峰
  • 负责人职称：研究员
  • 依托单位：中国科学院软件研究所
  • 批准年度：2008
中文摘要：

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

中文主题词： 可证明安全性；密钥交换协议；口令；标准模型；随机预言模型
成果综合统计
成果类型
数量
  • 期刊论文
  • 会议论文
  • 专利
  • 获奖
  • 著作
  • 8
  • 13
  • 0
  • 0
  • 0
期刊论文
Gateway-oriented password- authenticated key exchange protocol in the standard model
标准模型下通用可组合的口令认证密钥交换协议
Attribute based signature scheme with constant size signature
Provably secure three-factor authenticated key exchange
Certificateless Threshold Ring Signature
Cryptanalysis of two password authenticated key exchange protocols
Password authenticated key exchange based on lattices
对两个口令认证密钥交换协议的安全性分析
会议论文
A new anonymous password-based authenticated key exchange protocol
Trusted Channels with Password-based Authentication and TPM-based Attestation
Collusion attack on a self- healing key distribution with revocation in wireless sensor networks
Gateway-Oriented Password- Authenticated Key Exchange Protocol with Stronger Security
On Password-based Key Exchange with Enhanced Security
Three-Party Password Authenticated Key Exchange in the Standard Model
Attribute-based conditional proxy re-encryption with chosen- ciphertext security
Efficient Ciphertext Policy Attribute-Based Encryption with Constant-Size Ciphertext and Constant Co
Efficient ciphertext policy attribute-based encryption with constant-size ciphertext and constant co
A Ciphertext Policy Attribute- Based Encryption Scheme without Pairings
A Generic Construction from Selective-IBE to Public-Key Encryption with Non-interactive Opening
Some Improvements on Model Checking CoreASM Models of Security Protocols
Efficient Password-Based Authenticated Key Exchange Protocol in the UC Framework
相关项目
安全高效的乐观公平交换协议
期刊论文 19 会议论文 8
基于身份的标准模型下可证明安全的短代理签名体制研究
期刊论文 11 会议论文 3
混合密码体制的设计与形式化分析
期刊论文 20 会议论文 1 著作 2
高效环签名体制及其应用研究
期刊论文 41 会议论文 15 专利 1 著作 2
密码协议的安全模型与可证明安全性研究
期刊论文 19 会议论文 6
在标准模型的框架下对重味重子的性质及产生和衰变机制的研究
期刊论文 12
可证安全代理密码系统研究
期刊论文 24 会议论文 5
高信度密码协议的设计与分析
期刊论文 30 会议论文 8 获奖 1 著作 3
精确研究LHC上Higgs物理及其可能的新物理现象
期刊论文 21
张振峰的项目
高信度密码协议的设计与分析
期刊论文 30 会议论文 8 获奖 1 著作 3
密码协议的安全模型与可证明安全性研究
期刊论文 19 会议论文 6
基于格的密码方案设计与分析
期刊论文 18 会议论文 20
基于格的抗量子计算公钥密码理论与技术研究
期刊论文 2