基于 RisQFLan 的定量安全风险建模与分析
密码学与安全
2021-01-22 v1 软件工程
摘要
在特定领域中，定性方法不恰当或不可行的情况下，领域特定的定量建模与分析方法至关重要。本文提出一种基于攻击-防御树的、由工具支撑的图基定量安全风建模与分析方法。我们的方法基于 QFLan——一种成功的领域特定方法，用于支持高度可配置系统的定量建模与分析；其领域特定组件已被解耦，以促成 QFLan 方法在图基定量安全风建模与分析领域的实例化。我们的方法将三种流行攻击树（即增强攻击树、基于能力的攻击树和攻击-对策树）的显著特征整合进领域特定建模语言。由此产生了一个称为 RisQFLan 的新框架，用于支持基于攻击-防御图的定量安全风建模与分析。通过提供对概率攻击场景的精确或统计验证，RisQFLan 构成了该领域现有工具集的一项重要新颖贡献。我们通过基于攻击树的图基安全风建模分析开创性方法中的三个说明性案例研究，凸显 RisQFLan 所提供的附加特性，从而验证了我们的方法。
引用
@article{arxiv.2101.08677,
title = {Quantitative Security Risk Modeling and Analysis with RisQFLan},
author = {Maurice H. ter Beek and Axel Legay and Alberto Lluch Lafuente and Andrea Vandin},
journal= {arXiv preprint arXiv:2101.08677},
year = {2021}
}