共被期刊论文引用了4次
您的检索式：您选中1篇文献正在查看引证文献汇总
|
|
|
题名
|
作者
|
年代
|
出处
|
被引量
|
| 1 | 基于强认证理论的三方网络协议安全性证明显示文摘形式化方法是分析网络安全协议的一种重要方法,网络协议安全性也是信息安全领域的研究热点。事件逻辑是一种描述分布式系统中状态迁移的形式化方法,用于证明网络安全协议的安全性。以事件逻辑为基础,定义强匹配及匹配会话,结合事件逻辑公理和推理规则,提出了强认证理论。利用该理论对有3个主体的Neuman-Stubblebine协议进行了研究,分析得出发送者是安全的而接收者是不安全的,从而证明了该协议是不安全的,说明了强认证理论适用于三方的网络安全协议。该理论适用于类似多方网络安全协议的安全性证明。 | 肖美华 刘欣倩 李娅楠 程道雷 梅映天 | 2016 | 计算机科学与探索2016，10，12： | 4 |
| 2 | 多阶段平台动态防御的Markov演化博弈模型及迁移策略显示文摘为提升持续性和阶段性攻击下平台动态防御效率,提出多阶段平台动态防御的Markov演化博弈模型和迁移策略。从平台动态防御的网络攻防原理入手,分析平台动态防御的循环性和阶段性特点,进行多阶段平台动态防御的关键参数和收益计算;建立多阶段平台动态防御的Markov演化博弈模型,针对博弈的阶段性,在总收益计算中引入折现因子和转移概率;在此基础上,研究纳什均衡在多阶段Markov平台动态防御演化博弈中的存在性,给出纳什均衡解和最优迁移策略选取算法。通过示例设计迁移策略的分析流程,仿真结果验证了所提模型和迁移策略的有效性。 | 王刚 王志屹 张恩宁 马润年 陈彤睿 | 2021 | 兵工学报2021，42，8： | 3 |
| 3 | 平台动态防御演化博弈模型和状态迁移策略显示文摘为提升平台动态防御系统对病毒的适应性和防御效能,对基于有限理性假设的平台动态防御演化博弈模型和状态迁移策略进行研究。首先,从病毒传播感染机理入手,阐述了平台状态迁移动态防御和有限理性假设下的演化博弈原理,分析了平台动态防御中节点状态转移关系和影响因素;其次,定义了平台动态防御的演化博弈模型和关键参数,考虑迁移平台与病毒类型之间的免疫特性,提出免疫因子和防御节点收益计算方法;最后,通过算例给出了单个状态演化稳定分析流程和方法,设计了节点状态迁移演化均衡策略生成算法。理论分析和仿真结果表明:平台动态防御节点状态迁移演化均衡策略具有更好的防御效能,可有效解决平台动态防御系统在面对随机攻击病毒的平台迁移选择问题。 | 王志屹 王刚 陈彤睿 冯云 马润年 | 2020 | 空军工程大学学报(自然科学版)2020，21，3： | 1 |
| 4 | 基于动态网络安全模型的信息安全风险分析显示文摘随着计算机网络的快速发展和广泛应用,信息安全和网络安全面临着新的挑战。传统的安全模型和单一的安全技术已跟不上复杂网络结构的变化和不同的入侵措施。本文研究了信息系统中网络风险评估中的相关技术,提出了一种顾及动态网络安全模型的信息安全风险分析方法。该方法不仅可以收集数据,还可以处理数据,克服传统网络安全模型的缺点,提高响应速度,减轻网络负担。 | 吴静 陈侃 | 2022 | 集宁师范学院学报2022，44，5： | 0 |
您所在的机构暂未开通此部分的功能，请联系管理员