含代数运算和时间特征的安全协议分析与验证
基本信息
批准号：90604007
项目类别：重大研究计划
资助金额：28.00
负责人：李梦君
学科分类：
依托单位：中国人民解放军国防科技大学
批准年份：2006
结题年份：2008
起止时间：2006-01-01 - 2008-12-31
项目状态： 已结题
项目参与者：李梦君,刘锋,刘万伟,张玲,周倜
关键词：
形式化方法可证明安全性理论代数运算时间特征安全协议
结项摘要
安全协议是解决开放互联网络安全问题的最有效手段之一，安全协议的分析与验证是一件十分有意义的研究工作。本课题以含代数运算和时间特征的安全协议作为主要研究对象，具体研究它的建模方法和安全性质的分析与验证方法，需要解决的理论问题有：在抽象解释理论框架下安全协议中的时间要素的建模；等式理论合一化问题的合一化算法；约束可满足性问题的求解；逻辑程序的正规逼近问题；设计判定逻辑程序不动点计算是否等停机的近似算法
项目摘要
项目成果
{{index+1}}
{{i.achievement_title}}
{{i.achievement_title}}
DOI：{{i.doi}}
发表时间：{{i.publish_year}}
暂无此项成果
数据更新时间：2023-05-31
其他相关文献
1
硬件木马:关键问题研究进展及新动向
硬件木马:关键问题研究进展及新动向
DOI：
发表时间：2018
2
栓接U肋钢箱梁考虑对接偏差的疲劳性能及改进方法研究
栓接U肋钢箱梁考虑对接偏差的疲劳性能及改进方法研究
DOI：10.3969/j.issn.1002-0268.2020.03.007
发表时间：2020
3
面向云工作流安全的任务调度方法
面向云工作流安全的任务调度方法
DOI：10.7544/issn1000-1239.2018.20170425
发表时间：2018
4
气载放射性碘采样测量方法研究进展
气载放射性碘采样测量方法研究进展
DOI：
发表时间：2020
5
基于全模式全聚焦方法的裂纹超声成像定量检测
基于全模式全聚焦方法的裂纹超声成像定量检测
DOI：10.19650/j.cnki.cjsi.J2007019
发表时间：2021
李梦君的其他基金
批准号：60703075
批准年份：2007
资助金额：18.00
项目类别：青年科学基金项目
批准号：61672525
批准年份：2016
资助金额：62.00
项目类别：面上项目
相似国自然基金
1
基于进程代数的复杂安全协议的形式化分析与验证
批准号：60473057
批准年份：2004
负责人：李舟军
学科分类：F0203
资助金额：23.00
项目类别：面上项目
2
网络信息安全协议的形式化分析和验证研究
批准号：60473024
批准年份：2004
负责人：王卫红
学科分类：F0206
资助金额：23.00
项目类别：面上项目
3
物联网RFID安全协议设计与验证研究
批准号：61302091
批准年份：2013
负责人：张琛
学科分类：F0102
资助金额：24.00
项目类别：青年科学基金项目
4
基于事件逻辑的安全协议形式化分析及验证
批准号：61163005
批准年份：2011
负责人：肖美华
学科分类：F0201
资助金额：30.00
项目类别：地区科学基金项目