位置：立项数据库 > 立项详情页
密码协议的安全模型与可证明安全性研究
  • 项目名称：密码协议的安全模型与可证明安全性研究
  • 项目类别：重大研究计划
  • 批准号：90604018
  • 申请代码：F020702
  • 项目来源：国家自然科学基金
  • 研究期限：2006-01-01-2008-12-31
  • 项目负责人：张振峰
  • 负责人职称：研究员
  • 依托单位：中国科学院软件研究所
  • 批准年度：2006
中文摘要：

密码协议的安全模型与可证明安全性研究是国际密码学领域与信息安全理论研究的主要研究目标之一，也是国际标准化运动中的一个工程实践准则。本项目拟就密码协议的安全模型的正确建立以及关键应用协议的可证明安全性开展研究。主要包括可证明安全性研究方法中随机预言模型方法论的合理性和可靠性研究；针对具体应用环境下的实用密码协议的设计与分析，研究如何建立合理的安全模型，并设计和开发有效的可证明安全的具体方案；从标准和

中文主题词： 密码协议;安全模型;可证明安全性;随机预言模型
成果综合统计
成果类型
数量
  • 期刊论文
  • 会议论文
  • 专利
  • 获奖
  • 著作
  • 19
  • 6
  • 0
  • 0
  • 0
期刊论文
一个移动Ad Hoc网密钥协商协议的安全分析
Anonymous and authenticated key exchange for roaming networks
Revocable ring signature
Certificateless signature: a new security model and an improved generic construction
Identity Based Threshold Proxy Signature
Constructing Optimistic ID-Based Fair Exchange Protocols via Proxy Signature
Cryptanalysis of a Pairing-based Threshold Proxy Signature Scheme with Known Signers
Cryptanalysis of Certificateless Short Signatures
Cryptanaysis of two authentication protocols with anonymity
Security analysis of two identity -based key agreement protocols
Certificateless signatures: refined model and efficient construction
Security Analysis of a Simple Three-Party Key Exchange Protocol
标准模型下可证安全的门限签名方案
基于身份的可验证加密签名协议的安全性分析
会议论文
Certificateless public-key signature: Security model and efficient construction
Key replacement attack against a generic construction of certificateless signature
Improvement of a fingerprint- based remote user authentication scheme
Fair Exchanges Made Simple: Generic Construction without TTP
Analysis and Improvement of Client-to-Client Password- Authenticated Key Exchange Protocols
A New Anonymous Password-based Authenticated Key Exchange Protocol
相关项目
口令认证密钥交换协议的可证明安全性研究
期刊论文 8 会议论文 13
基于证书数字签名研究
期刊论文 67 会议论文 4
高效环签名体制及其应用研究
期刊论文 41 会议论文 15 专利 1 著作 2
符号化通用复合的密码协议分析方法研究
期刊论文 17 会议论文 11 著作 3
基于身份的标准模型下可证明安全的短代理签名体制研究
期刊论文 11 会议论文 3
公钥密码体制中多维模幂计算方法及其应用研究
期刊论文 14 会议论文 1 专利 5
高信度密码协议的设计与分析
期刊论文 30 会议论文 8 获奖 1 著作 3
面向授权的数字签名方案的新型设计
期刊论文 28 会议论文 4
基于交互神经网络的新型密码协议研究与设计
期刊论文 8 会议论文 3
张振峰的项目
基于格的密码方案设计与分析
期刊论文 18 会议论文 20
基于格的抗量子计算公钥密码理论与技术研究
期刊论文 2
高信度密码协议的设计与分析
期刊论文 30 会议论文 8 获奖 1 著作 3
口令认证密钥交换协议的可证明安全性研究
期刊论文 8 会议论文 13