基于攻击者的安全协议的形式化验证模型
基本信息
批准号：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：
发表时间：2018
2
面向云工作流安全的任务调度方法
面向云工作流安全的任务调度方法
DOI：10.7544/issn1000-1239.2018.20170425
发表时间：2018
3
人工智能技术在矿工不安全行为识别中的融合应用
人工智能技术在矿工不安全行为识别中的融合应用
DOI：10.16265/j.cnki.issn1003-3033.2019.01.002
发表时间：2019
4
瞬态波位移场计算方法在相控阵声场模拟中的实验验证
瞬态波位移场计算方法在相控阵声场模拟中的实验验证
DOI：
发表时间：2020
5
行为安全损耗和激励双路径管理理论研究
行为安全损耗和激励双路径管理理论研究
DOI：
发表时间：2020
黄连生的其他基金
相似国自然基金
1
基于事件逻辑的安全协议形式化分析及验证
批准号：61163005
批准年份：2011
负责人：肖美华
学科分类：F0201
资助金额：30.00
项目类别：地区科学基金项目
2
基于进程代数的复杂安全协议的形式化分析与验证
批准号：60473057
批准年份：2004
负责人：李舟军
学科分类：F0203
资助金额：23.00
项目类别：面上项目
3
知识-信度的概率形式化模型及其在安全协议验证中的应用
批准号：60905036
批准年份：2009
负责人：周春来
学科分类：F0601
资助金额：19.00
项目类别：青年科学基金项目
4
网络信息安全协议的形式化分析和验证研究
批准号：60473024
批准年份：2004
负责人：王卫红
学科分类：F0206
资助金额：23.00
项目类别：面上项目