归约方法与形式化方法相结合的安全协议验证技术研究
基本信息
批准号：90604010
项目类别：重大研究计划
资助金额：23.00
负责人：姬东耀
学科分类：
依托单位：中国科学院大学
批准年份：2006
结题年份：2008
起止时间：2006-01-01 - 2008-12-31
项目状态： 已结题
项目参与者：王宏,杨海波,张斌,程达
关键词：
形式化方法安全协议归约方法
结项摘要
面向各种实用的安全协议，提出层次化、组合化的基于归约方法与形式化方法相结合的安全协议验证技术和算法，并建立相应的计算机辅助工具．主要内容包括：（１）研究高效的安全性归约方法；（２）研究利用形式化方法使得归约方法自动化或半自动化；（３）研究利用归约方法说明形式化公理与定理在计算安全意义下的合理性与完备性；（4）结合归约方法和形式化方法设计各种能够普遍组合的可证明安全协议；（5）与此相关的概率逻辑分析
项目摘要
项目成果
{{index+1}}
{{i.achievement_title}}
{{i.achievement_title}}
DOI：{{i.doi}}
发表时间：{{i.publish_year}}
暂无此项成果
数据更新时间：2023-05-31
其他相关文献
1
四川盆地东部垫江盐盆三叠系海相钾盐成钾有利区圈定:地球物理和地球化学方法综合应用
四川盆地东部垫江盐盆三叠系海相钾盐成钾有利区圈定:地球物理和地球化学方法综合应用
DOI：10.19762/j.cnki.dizhixuebao.2021191
发表时间：2021
2
黄曲霉毒素B1检测与脱毒方法最新研究进展
黄曲霉毒素B1检测与脱毒方法最新研究进展
DOI：10.3969/j.issn.1000-4440.2021.03.031
发表时间：2021
3
面向人机交互的数字孪生系统工业安全控制体系与关键技术
面向人机交互的数字孪生系统工业安全控制体系与关键技术
DOI：10.13196/j.cims.2021.02.006
发表时间：2021
4
油源断裂输导和遮挡配置油气成藏有利部位预测方法及其应用
油源断裂输导和遮挡配置油气成藏有利部位预测方法及其应用
DOI：10.16509/j.georeview.2021.02.010
发表时间：2021
5
综述:基于轨道角动量光子态的高维量子密钥分发
综述:基于轨道角动量光子态的高维量子密钥分发
DOI：10.3969/j.issn.1007-5461.2022.01.004
发表时间：2022
姬东耀的其他基金
批准号：60273029
批准年份：2002
资助金额：20.00
项目类别：面上项目
相似国自然基金
1
基于进程代数的复杂安全协议的形式化分析与验证
批准号：60473057
批准年份：2004
负责人：李舟军
学科分类：F0203
资助金额：23.00
项目类别：面上项目
2
网络信息安全协议的形式化分析和验证研究
批准号：60473024
批准年份：2004
负责人：王卫红
学科分类：F0206
资助金额：23.00
项目类别：面上项目
3
基于事件逻辑的安全协议形式化分析及验证
批准号：61163005
批准年份：2011
负责人：肖美华
学科分类：F0201
资助金额：30.00
项目类别：地区科学基金项目
4
多方多维量子安全通信协议及其形式化验证
批准号：61103235
批准年份：2011
负责人：刘文杰
学科分类：F0206
资助金额：25.00
项目类别：青年科学基金项目