密码协议分析的理论和方法
基本信息
批准号：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
玉米叶向值的全基因组关联分析
玉米叶向值的全基因组关联分析
DOI：
发表时间：
2
监管的非对称性、盈余管理模式选择与证监会执法效率?
监管的非对称性、盈余管理模式选择与证监会执法效率?
DOI：
发表时间：2016
3
一种光、电驱动的生物炭/硬脂酸复合相变材料的制备及其性能
一种光、电驱动的生物炭/硬脂酸复合相变材料的制备及其性能
DOI：10.16085/j.issn.1000-6613.2022-0221
发表时间：2022
4
粗颗粒土的静止土压力系数非线性分析与计算方法
粗颗粒土的静止土压力系数非线性分析与计算方法
DOI：10.16285/j.rsm.2019.1280
发表时间：2019
5
正交异性钢桥面板纵肋-面板疲劳开裂的CFRP加固研究
正交异性钢桥面板纵肋-面板疲劳开裂的CFRP加固研究
DOI：10.19713/j.cnki.43-1423/u.t20201185
发表时间：2021
薛锐的其他基金
批准号：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
项目类别：面上项目