基于进程代数的复杂安全协议的形式化分析与验证
基本信息
批准号：60473057
项目类别：面上项目
资助金额：23.00
负责人：李舟军
学科分类：
依托单位：中国人民解放军国防科技大学
批准年份：2004
结题年份：2007
起止时间：2005-01-01 - 2007-12-31
项目状态： 已结题
项目参与者：王兵山,李梦君,宋震,孙云,文健,刘锋,刘万伟,周倜
关键词：
进程代数构件验证复杂安全协议
结项摘要
安全协议的缺陷是导致网络安全问题的重要原因之一.安全协议的形式化分析与验证技术能全面深入地检测安全协议中的细微漏洞,被实践证明是一条确保协议正确性的重要途径.复杂安全协议指被广泛实用于Internet的大型安全协议,如Kerberos5协议、TLS协议、IPSec协议及电子商务协议等.本课题以复杂安全协议作为研究对象,以进程代数作为基本工具,研究适合于对复杂安全协议进行验证的安全协议建模方法、安全性质的刻画方法、安全协议的验证方法及验证的优化方法、基于构件的复杂安全协议的设计和分析方法,以及实现一个能够对复杂安全协议进行自动分析和验证的工具.本课题的研究有助于提高和保证包括电子商务在内的各种网上应用的安全性.
项目摘要
项目成果
{{index+1}}
{{i.achievement_title}}
{{i.achievement_title}}
DOI：{{i.doi}}
发表时间：{{i.publish_year}}
暂无此项成果
数据更新时间：2023-05-31
其他相关文献
1
复杂系统科学研究进展
复杂系统科学研究进展
DOI：10.12202/j.0476-0301.2022178
发表时间：2022
2
WMTL-代数中的蕴涵滤子及其应用
WMTL-代数中的蕴涵滤子及其应用
DOI：10.11897/SP.J.1016.2018.00886
发表时间：2018
3
面向人机交互的数字孪生系统工业安全控制体系与关键技术
面向人机交互的数字孪生系统工业安全控制体系与关键技术
DOI：10.13196/j.cims.2021.02.006
发表时间：2021
4
综述:基于轨道角动量光子态的高维量子密钥分发
综述:基于轨道角动量光子态的高维量子密钥分发
DOI：10.3969/j.issn.1007-5461.2022.01.004
发表时间：2022
5
腐植酸调节砷酸盐生菜毒性作用研究
腐植酸调节砷酸盐生菜毒性作用研究
DOI：10.11654/jaes.2019-1304
发表时间：2020
李舟军的其他基金
批准号：61370126
批准年份：2013
资助金额：78.00
项目类别：面上项目
批准号：60973105
批准年份：2009
资助金额：29.00
项目类别：面上项目
批准号：60073001
批准年份：2000
资助金额：14.00
项目类别：面上项目
批准号：61672081
批准年份：2016
资助金额：63.00
项目类别：面上项目
批准号：90718017
批准年份：2007
资助金额：50.00
项目类别：重大研究计划
批准号：61170189
批准年份：2011
资助金额：58.00
项目类别：面上项目
相似国自然基金
1
基于事件逻辑的安全协议形式化分析及验证
批准号：61163005
批准年份：2011
负责人：肖美华
学科分类：F0201
资助金额：30.00
项目类别：地区科学基金项目
2
基于进程代数的电子商务协议形式化研究
批准号：60473006
批准年份：2004
负责人：傅育熙
学科分类：F0201
资助金额：20.00
项目类别：面上项目
3
网络信息安全协议的形式化分析和验证研究
批准号：60473024
批准年份：2004
负责人：王卫红
学科分类：F0206
资助金额：23.00
项目类别：面上项目
4
含代数运算和时间特征的安全协议分析与验证
批准号：90604007
批准年份：2006
负责人：李梦君
学科分类：F0210
资助金额：28.00
项目类别：重大研究计划