基于攻击者的安全协议的形式化验证模型
基本信息
批准号：69872019
项目类别：面上项目
资助金额：10.00
负责人：黄连生
学科分类：
依托单位：清华大学
批准年份：1998
结题年份：2001
起止时间：1999-01-01 - 2001-12-31
项目状态： 已结题
项目参与者：戴一奇,郭宝安,贾志红,潘平,谢峰,杨克
关键词：
安全协议形式化验证攻击
结项摘要
实现对安全协议进行形式化验证的基于攻击者的证伪工具模型，提出身份验证协议必须分发秘密的概念，并计划综合采用BAN等逻辑工具及有限自动机协议验证工具的思想，创造性地卸杂心诓拷峁埂ash函数及签名的协议进行研究，并实现实用性好、复杂度低的具体协檠橹すぞ?具有很高的学术及应用价值。.
项目摘要
项目成果
{{index+1}}
{{i.achievement_title}}
{{i.achievement_title}}
DOI：{{i.doi}}
发表时间：{{i.publish_year}}
暂无此项成果
数据更新时间：2023-05-31
其他相关文献
1
面向人机交互的数字孪生系统工业安全控制体系与关键技术
面向人机交互的数字孪生系统工业安全控制体系与关键技术
DOI：10.13196/j.cims.2021.02.006
发表时间：2021
2
综述:基于轨道角动量光子态的高维量子密钥分发
综述:基于轨道角动量光子态的高维量子密钥分发
DOI：10.3969/j.issn.1007-5461.2022.01.004
发表时间：2022
3
腐植酸调节砷酸盐生菜毒性作用研究
腐植酸调节砷酸盐生菜毒性作用研究
DOI：10.11654/jaes.2019-1304
发表时间：2020
4
基于水安全目标的城市绿地水体设计方法研究——以第二届河北省园林博览会(秦皇岛)园区为例
基于水安全目标的城市绿地水体设计方法研究——以第二届河北省园林博览会(秦皇岛)园区为例
DOI：
发表时间：2020
5
基于驾驶员视觉兴趣区域的交通工程设施信息量阈值研究
基于驾驶员视觉兴趣区域的交通工程设施信息量阈值研究
DOI：10.3969/j.issn.1674-0696.2021.07.08
发表时间：2021
黄连生的其他基金
相似国自然基金
1
基于事件逻辑的安全协议形式化分析及验证
批准号：61163005
批准年份：2011
负责人：肖美华
学科分类：F0201
资助金额：30.00
项目类别：地区科学基金项目
2
基于进程代数的复杂安全协议的形式化分析与验证
批准号：60473057
批准年份：2004
负责人：李舟军
学科分类：F0203
资助金额：23.00
项目类别：面上项目
3
知识-信度的概率形式化模型及其在安全协议验证中的应用
批准号：60905036
批准年份：2009
负责人：周春来
学科分类：F0601
资助金额：19.00
项目类别：青年科学基金项目
4
网络信息安全协议的形式化分析和验证研究
批准号：60473024
批准年份：2004
负责人：王卫红
学科分类：F0206
资助金额：23.00
项目类别：面上项目