面向进程多变体软件系统的攻击面定性建模分析
2022-12-06 14:48:58   来源：    点击：

摘要:攻击面是衡量软件系统安全性的一个重要指标，采用攻击面描述可以通过集合的方式描述软件系统的安全性并对其进行度量。一般的攻击面模型基于 I/O 自动机模型对软件系统进行建模，其一般采用非冗余的架构，难以应用于类似多变体系统这类异构冗余的系统架构。Mamadhatad 等提出了一种在非相似余度系统中进行攻击面度量的方式，但其采用的系统架构表决粒度和表决方式与多变体系统不同，无法准确度量多变体系统的攻击面。因此，在传统攻击面模型基础上，结合多变体系统异构冗余架构的特点，对传统攻击面模型进行扩展，并构建多变体系统的攻击面模型:使用形式化方式表示多变体系统的攻击面，根据多变体系统在系统出口点处的表决机制对传统攻击面模型进行改进，以使其能解释多变体系统攻击面缩小的现象，通过该建模方式，能够说明采用多变体架构的多变体系统在运行过程中攻击面的变化。采用了两组多变体执行架构的软件系统进行实例分析，分别通过与未采用多变体架构的功能相同的软件系统在未受攻击和遭受攻击两种情境下进行攻击面的对比分析，体现多变体系统在攻击面上的变化。结合攻击面理论与多变体执行系统的特点提出了一种面向多变体执行系统的攻击面建模方法，目前可以定性分析多变体执行系统攻击面的变化，未来将在定量分析多变体执行系统攻击面的方向继续进行深入研究。