安全协议的形式化描述和分析
基本信息
批准号：90104026
项目类别：重大研究计划
资助金额：30.00
负责人：陈火旺
学科分类：
依托单位：中国人民解放军国防科技大学
批准年份：2001
结题年份：2004
起止时间：2002-01-01 - 2004-12-31
项目状态： 已结题
项目参与者：陈火旺,宁洪,樊爱华,宋震,颜跃进,刘丰
关键词：
安全协议安全性模型检测
结项摘要
安全协议利用密码系统在网络环境中完成主体身份认和佳话密钥分发等任务，其正确性对确保网上应用的安全至关重要。形式化方法已被证明是分析的难安全协议的有效手段，本项目研究内民括；对安全性的全面分析和形式化研究协议进行检测算法和工具，并对实用的安全协议进行分析。.
项目摘要
项目成果
{{index+1}}
{{i.achievement_title}}
{{i.achievement_title}}
DOI：{{i.doi}}
发表时间：{{i.publish_year}}
暂无此项成果
数据更新时间：2023-05-31
其他相关文献
1
一种基于多层设计空间缩减策略的近似高维优化方法
一种基于多层设计空间缩减策略的近似高维优化方法
DOI：10.1051/jnwpu/20213920292
发表时间：2021
2
二维FM系统的同时故障检测与控制
二维FM系统的同时故障检测与控制
DOI：10.16383/j.aas.c180673
发表时间：2021
3
扶贫资源输入对贫困地区分配公平的影响
扶贫资源输入对贫困地区分配公平的影响
DOI：
发表时间：2020
4
LTNE条件下界面对流传热系数对部分填充多孔介质通道传热特性的影响
LTNE条件下界面对流传热系数对部分填充多孔介质通道传热特性的影响
DOI：10.11949/0438-1157.20201662
发表时间：2021
5
黄曲霉毒素B1检测与脱毒方法最新研究进展
黄曲霉毒素B1检测与脱毒方法最新研究进展
DOI：10.3969/j.issn.1000-4440.2021.03.031
发表时间：2021
陈火旺的其他基金
批准号：69583002
批准年份：1995
资助金额：14.00
项目类别：专项基金项目
批准号：69173340
批准年份：1991
资助金额：3.50
项目类别：面上项目
批准号：69873045
批准年份：1998
资助金额：14.00
项目类别：面上项目
批准号：68673041
批准年份：1986
资助金额：2.00
项目类别：面上项目
相似国自然基金
1
网络信息安全协议的形式化分析和验证研究
批准号：60473024
批准年份：2004
负责人：王卫红
学科分类：F0206
资助金额：23.00
项目类别：面上项目
2
密码可靠的安全协议形式化分析研究
批准号：60873260
批准年份：2008
负责人：薛锐
学科分类：F0206
资助金额：32.00
项目类别：面上项目
3
计算可靠的安全协议形式化分析系统研究
批准号：60773029
批准年份：2007
负责人：薛锐
学科分类：F0206
资助金额：8.00
项目类别：面上项目
4
基于事件逻辑的安全协议形式化分析及验证
批准号：61163005
批准年份：2011
负责人：肖美华
学科分类：F0201
资助金额：30.00
项目类别：地区科学基金项目