典型文献
面向进程多变体软件系统的攻击面定性建模分析
文献摘要：
攻击面是衡量软件系统安全性的一个重要指标,采用攻击面描述可以通过集合的方式描述软件系统的安全性并对其进行度量.一般的攻击面模型基于I/O自动机模型对软件系统进行建模,其一般采用非冗余的架构,难以应用于类似多变体系统这类异构冗余的系统架构.Manadhatad等提出了一种在非相似余度系统中进行攻击面度量的方式,但其采用的系统架构表决粒度和表决方式与多变体系统不同,无法准确度量多变体系统的攻击面.因此,在传统攻击面模型基础上,结合多变体系统异构冗余架构的特点,对传统攻击面模型进行扩展,并构建多变体系统的攻击面模型;使用形式化方式表示多变体系统的攻击面,根据多变体系统在系统出口点处的表决机制对传统攻击面模型进行改进,以使其能解释多变体系统攻击面缩小的现象,通过该建模方式,能够说明采用多变体架构的多变体系统在运行过程中攻击面的变化.采用了两组多变体执行架构的软件系统进行实例分析,分别通过与未采用多变体架构的功能相同的软件系统在未受攻击和遭受攻击两种情境下进行攻击面的对比分析,体现多变体系统在攻击面上的变化.结合攻击面理论与多变体执行系统的特点提出了一种面向多变体执行系统的攻击面建模方法,目前可以定性分析多变体执行系统攻击面的变化,未来将在定量分析多变体执行系统攻击面的方向继续进行深入研究.
文献关键词：
多变体;攻击面;攻击面度量;网络安全
中图分类号：
作者姓名：
邢福康;张铮;隋然;曲晟;季新生
作者机构：
信息工程大学,河南郑州 450001;中央军委后勤保障部信息中心,北京 100089
文献出处：
引用格式：
[1]邢福康;张铮;隋然;曲晟;季新生-.面向进程多变体软件系统的攻击面定性建模分析)[J].网络与信息安全学报,2022(05):121-128
A类：
Manadhatad,攻击面度量,攻击面缩小
B类：
软件系统,建模分析,系统安全性,行度,自动机,非冗余,异构冗余,系统架构,余度,表决,系统异构,冗余架构,形式化,建模方式,多变体执行,执行系统,以定
AB值：
0.111552
机标中图分类号，由域田数据科技根据网络公开资料自动分析生成，仅供学习研究参考。
