基于模型的攻击-故障树生成
密码学与安全
2023-09-19 v1 形式语言与自动机理论
软件工程
摘要
信息物理系统的联合安全与安全性分析是正确捕捉这些属性间相互依赖关系的必要步骤。攻击-故障树（AFT）代表了动态故障树与攻击树的结合，可用于建模和模型检测关于安全性与安保性的整体视图。然而，为整个系统手动创建完整的 AFT 是一项艰巨任务。它需要跨越多个抽象层，例如受各类漏洞影响的应用架构与数据流抽象以及系统和库依赖关系。我们提出了一种 AFT 生成工具链，利用手动创建或从漏洞数据库挖掘的部分故障树与攻击树来简化该任务。我们半自动地创建两个系统模型，提供必要信息，以使用图转换规则将这些部分故障树与攻击树自动组合为完整的 AFT。
引用
@article{arxiv.2309.09941,
title = {Model-Based Generation of Attack-Fault Trees},
author = {Raffaela Groner and Thomas Witte and Alexander Raschke and Sophie Hirn and Irdin Pekaric and Markus Frick and Matthias Tichy and Michael Felderer},
journal= {arXiv preprint arXiv:2309.09941},
year = {2023}
}