%0 Journal Article %A 郑秋华 %A 胡程楠 %A 崔婷婷 %A 申延召 %A 曾英佩 %A 吴铤 %T 一种基于概率分析的DHR模型安全性分析方法 %D 2021 %R 10.12263/DZXB.20201063 %J 电子学报 %P 1586-1598 %V 49 %N 8 %X

动态异构冗余(Dynamic Heterogeneous Redundancy, DHR)模型的安全性分析是拟态防御的核心问题之一.本文针对DHR模型安全性量化分析问题提出了执行体-漏洞矩阵和服务体-漏洞矩阵模型,实现了DHR系统的形式化描述.提出了攻击序列法和服务体法的两种计算方法,从系统攻击成功率和被控制率对DHR系统进行安全性分析,推导出非合谋(合谋)盲攻击和非合谋(合谋)最优攻击4种场景下安全性指标的计算公式.通过仿真实验分析了DHR模型各因素对系统安全性的影响,给出了增强DHR系统安全性的具体建议.所提方法能用于DHR系统的安全性量化分析和比较,为DHR系统构建提供量化决策支撑.

%U https://www.ejournal.org.cn/CN/10.12263/DZXB.20201063