网络安全协议形式分析的理论与方法
基本信息
批准号：60273027
项目类别：面上项目
资助金额：22.00
负责人：冯登国
学科分类：
依托单位：中国科学院软件研究所
批准年份：2002
结题年份：2005
起止时间：2003-01-01 - 2005-12-31
项目状态： 已结题
项目参与者：薛锐,季庆光,徐镇,张敏,吕双双,李斓,陈华
关键词：
安全协议形式分析
结项摘要
在现有理论的基础上,提出一种支持自动推理或模型检测的、具有丰富表达能力的,并且可以自然容纳群协议的形式模型,研究改进的模型的形式推理或检测的相关技术,发展改进的模型的形式推理或检测的自动工具,研究改进的模型在具体协议中的应用,上述这些研究成果将对安全协议的安全性分析提供强有力的工具,对安全协议的设计具有重要的指导意义.
项目摘要
项目成果
{{index+1}}
{{i.achievement_title}}
{{i.achievement_title}}
DOI：{{i.doi}}
发表时间：{{i.publish_year}}
暂无此项成果
数据更新时间：2023-05-31
其他相关文献
1
玉米叶向值的全基因组关联分析
玉米叶向值的全基因组关联分析
DOI：
发表时间：
2
正交异性钢桥面板纵肋-面板疲劳开裂的CFRP加固研究
正交异性钢桥面板纵肋-面板疲劳开裂的CFRP加固研究
DOI：10.19713/j.cnki.43-1423/u.t20201185
发表时间：2021
3
硬件木马:关键问题研究进展及新动向
硬件木马:关键问题研究进展及新动向
DOI：
发表时间：2018
4
基于SSVEP 直接脑控机器人方向和速度研究
基于SSVEP 直接脑控机器人方向和速度研究
DOI：10.16383/j.aas.2016.c150880
发表时间：2016
5
小跨高比钢板- 混凝土组合连梁抗剪承载力计算方法研究
小跨高比钢板- 混凝土组合连梁抗剪承载力计算方法研究
DOI：10.19701/j.jzjg.2015.15.012
发表时间：2015
冯登国的其他基金
批准号：69703012
批准年份：1997
资助金额：11.00
项目类别：青年科学基金项目
批准号：91118006
批准年份：2011
资助金额：300.00
项目类别：重大研究计划
批准号：60833008
批准年份：2008
资助金额：180.00
项目类别：重点项目
批准号：60673083
批准年份：2006
资助金额：26.00
项目类别：面上项目
相似国自然基金
1
无线传感网络安全协议的形式化建模与分析
批准号：61103044
批准年份：2011
负责人：陈铁明
学科分类：F0201
资助金额：24.00
项目类别：青年科学基金项目
2
基于串空间无线传感器网络安全协议形式化方法研究
批准号：61240025
批准年份：2012
负责人：汤鹏志
学科分类：F0204
资助金额：12.00
项目类别：专项基金项目
3
形式化的协议理论
批准号：90104010
批准年份：2001
负责人：赵保华
学科分类：F0104
资助金额：30.00
项目类别：重大研究计划
4
非否认协议及协议形式化分析研究
批准号：69673016
批准年份：1996
负责人：卿斯汉
学科分类：F0206
资助金额：10.00
项目类别：面上项目