密码协议的安全模型与可证明安全性研究
基本信息
批准号：90604018
项目类别：重大研究计划
资助金额：28.00
负责人：张振峰
学科分类：
依托单位：中国科学院软件研究所
批准年份：2006
结题年份：2008
起止时间：2006-01-01 - 2008-12-31
项目状态： 已结题
项目参与者：Duncan S· Wa,徐静,周永彬,徐涛,周苏静,张立武
关键词：
密码协议随机预言模型安全模型可证明安全性
结项摘要
密码协议的安全模型与可证明安全性研究是国际密码学领域与信息安全理论研究的主要研究目标之一，也是国际标准化运动中的一个工程实践准则。本项目拟就密码协议的安全模型的正确建立以及关键应用协议的可证明安全性开展研究。主要包括可证明安全性研究方法中随机预言模型方法论的合理性和可靠性研究；针对具体应用环境下的实用密码协议的设计与分析，研究如何建立合理的安全模型，并设计和开发有效的可证明安全的具体方案；从标准和
项目摘要
项目成果
{{index+1}}
{{i.achievement_title}}
{{i.achievement_title}}
DOI：{{i.doi}}
发表时间：{{i.publish_year}}
暂无此项成果
数据更新时间：2023-05-31
其他相关文献
1
多能耦合三相不平衡主动配电网与输电网交互随机模糊潮流方法
多能耦合三相不平衡主动配电网与输电网交互随机模糊潮流方法
DOI：10.13334/j.0258-8013.pcsee.190276
发表时间：2020
2
一种基于多层设计空间缩减策略的近似高维优化方法
一种基于多层设计空间缩减策略的近似高维优化方法
DOI：10.1051/jnwpu/20213920292
发表时间：2021
3
基于MCPF算法的列车组合定位应用研究
基于MCPF算法的列车组合定位应用研究
DOI：
发表时间：2016
4
二维FM系统的同时故障检测与控制
二维FM系统的同时故障检测与控制
DOI：10.16383/j.aas.c180673
发表时间：2021
5
具有随机多跳时变时延的多航天器协同编队姿态一致性
具有随机多跳时变时延的多航天器协同编队姿态一致性
DOI：10.7641/CTA.2018.70969
发表时间：2018
张振峰的其他基金
批准号：60373039
批准年份：2003
资助金额：20.00
项目类别：面上项目
批准号：81372274
批准年份：2013
资助金额：75.00
项目类别：面上项目
批准号：61170278
批准年份：2011
资助金额：56.00
项目类别：面上项目
批准号：81872069
批准年份：2018
资助金额：57.00
项目类别：面上项目
批准号：60873261
批准年份：2008
资助金额：30.00
项目类别：面上项目
批准号：81672276
批准年份：2016
资助金额：57.00
项目类别：面上项目
相似国自然基金
1
基于椭圆曲线的无证书密码协议及可证明安全性研究
批准号：11226042
批准年份：2012
负责人：罗铭
学科分类：A0103
资助金额：3.00
项目类别：数学天元基金项目
2
安全协议的可证明安全性理论与方法研究
批准号：60673083
批准年份：2006
负责人：冯登国
学科分类：F0206
资助金额：26.00
项目类别：面上项目
3
经典可证明安全性理论在量子密码协议分析中的应用研究
批准号：61272044
批准年份：2012
负责人：张兴兰
学科分类：F0206
资助金额：60.00
项目类别：面上项目
4
口令认证密钥交换协议的可证明安全性研究
批准号：60873261
批准年份：2008
负责人：张振峰
学科分类：F0206
资助金额：30.00
项目类别：面上项目