含代数运算和时间特征的安全协议分析与验证
基本信息
批准号：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
基于MCPF算法的列车组合定位应用研究
基于MCPF算法的列车组合定位应用研究
DOI：
发表时间：2016
2
基于旋量理论的数控机床几何误差分离与补偿方法研究
基于旋量理论的数控机床几何误差分离与补偿方法研究
DOI：
发表时间：2019
3
现代优化理论与应用
现代优化理论与应用
DOI：10.1360/SSM-2020-0035
发表时间：2020
4
新产品脱销等待时间对顾客抱怨行为的影响:基于有调节的双中介模型
新产品脱销等待时间对顾客抱怨行为的影响:基于有调节的双中介模型
DOI：
发表时间：2023
5
多元化企业IT协同的维度及测量
多元化企业IT协同的维度及测量
DOI：
发表时间：2017
李梦君的其他基金
批准号：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
项目类别：地区科学基金项目