密码协议分析的理论和方法
基本信息
批准号：60373048
项目类别：面上项目
资助金额：23.00
负责人：薛锐
学科分类：
依托单位：中国科学院软件研究所
批准年份：2003
结题年份：2006
起止时间：2004-01-01 - 2006-12-31
项目状态： 已结题
项目参与者：柳欣欣,徐涛,孙海波,何永忠,石昊苏,刘学锋
关键词：
形式化分析密码协议模式复合模型检测可证安全
结项摘要
密码学的中心任务之一就是设计密码协议, 密码协议是通讯和网络安全体系,分布式系统和电子商务的关键组成部分和主要保障手段和工具.本项目是为了克服现在密码协议分析形式化方法的不完全不可靠的缺点, 弥补可证安全分析的复杂和难以操作的缺点. 通过研究总结出集多种方法优点于一体的形式化模型, 并在其中引入计算复杂性的概念和手段,建立安全分析的方法.项目将通过三个过程达到目标: 1. 甄选出一种形式简明,表达力强,具有大多数模型优点的形式化模型. 并具有可扩展性, 以适应与可证安全方法的融合. 2. 研究在可证安全方法中如何放松对于理想模型下实现现实协议的要求,并能够保持复合的性质. 3. 以此为基础, 与模型检测的模型相结合, 形成安全可靠的易于操作的密码协议分析模型.该方法的形成将为协议设计和分析提供有力的工具,对于密码学的发展起到积极的促进作用.
项目摘要
项目成果
{{index+1}}
{{i.achievement_title}}
{{i.achievement_title}}
DOI：{{i.doi}}
发表时间：{{i.publish_year}}
暂无此项成果
数据更新时间：2023-05-31
其他相关文献
1
中温固体氧化物燃料电池复合阴极材料LaBiMn_2O_6-Sm_(0.2)Ce_(0.8)O_(1.9)的制备与电化学性质
中温固体氧化物燃料电池复合阴极材料LaBiMn_2O_6-Sm_(0.2)Ce_(0.8)O_(1.9)的制备与电化学性质
DOI：10.11862/CJIC.2019.081
发表时间：2019
2
一种基于多层设计空间缩减策略的近似高维优化方法
一种基于多层设计空间缩减策略的近似高维优化方法
DOI：10.1051/jnwpu/20213920292
发表时间：2021
3
基于LS-SVM香梨可溶性糖的近红外光谱快速检测
基于LS-SVM香梨可溶性糖的近红外光谱快速检测
DOI：
发表时间：
4
基于MCPF算法的列车组合定位应用研究
基于MCPF算法的列车组合定位应用研究
DOI：
发表时间：2016
5
基于文献计量学和社会网络分析的国内高血压病中医学术团队研究
基于文献计量学和社会网络分析的国内高血压病中医学术团队研究
DOI：10.11842/wst.20190724002
发表时间：2020
薛锐的其他基金
批准号：81701891
批准年份：2017
资助金额：21.00
项目类别：青年科学基金项目
批准号：61772514
批准年份：2017
资助金额：63.00
项目类别：面上项目
批准号：61170280
批准年份：2011
资助金额：56.00
项目类别：面上项目
批准号：61472414
批准年份：2014
资助金额：81.00
项目类别：面上项目
批准号：60773029
批准年份：2007
资助金额：8.00
项目类别：面上项目
批准号：60873260
批准年份：2008
资助金额：32.00
项目类别：面上项目
相似国自然基金
1
量子密码中的协议分析方法
批准号：60903152
批准年份：2009
负责人：高飞
学科分类：F0206
资助金额：18.00
项目类别：青年科学基金项目
2
量子密码协议分析与设计的图演算方法
批准号：61003212
批准年份：2010
负责人：王全龙
学科分类：F0206
资助金额：7.00
项目类别：青年科学基金项目
3
分组密码的分析理论和方法研究
批准号：61103192
批准年份：2011
负责人：孙兵
学科分类：F0206
资助金额：21.00
项目类别：青年科学基金项目
4
符号化通用复合的密码协议分析方法研究
批准号：61170280
批准年份：2011
负责人：薛锐
学科分类：F0206
资助金额：56.00
项目类别：面上项目