当前针对拟态构造量化分析集中于建立安全模型,缺少对攻防成本的建模分析。针对不同攻击扰动与拟态系统动态重构、负反馈控制的防御特性,提出了基于广义随机Petri网(Generalized Stochastic Petri Net, GSPN)与状态图的拟态构造攻防成...当前针对拟态构造量化分析集中于建立安全模型,缺少对攻防成本的建模分析。针对不同攻击扰动与拟态系统动态重构、负反馈控制的防御特性,提出了基于广义随机Petri网(Generalized Stochastic Petri Net, GSPN)与状态图的拟态构造攻防成本建模与优化策略。首先从攻击者角度建立系统的攻击图和脆弱性状态图,从防御者角度建立防御状态图。再通过改变不同余度的构造,平衡系统的可用性与成本代价。仿真结果表明,拟态构造具有高于0.999 7的可用性。相比传统热备份系统,在约6.7%的成本损耗下拟态构造可有效降低防御代价。展开更多