用运行时验证扩展攻击-故障树
软件工程
2022-09-29 v1
摘要
自主系统通常复杂且易受软件故障与网络攻击影响。我们引入 RVAFTs，即带运行时事件的攻击-故障树（Attack-Fault Trees, AFTs）的扩展，可用于构建运行时监视器。这些监视器能够检测由攻击或故障引起的故障何时发生。所监视的安全与安保属性反过来源自 RVAFTs 的层次化分解。我们的方法不仅提供了 AFTs 的进一步用途，也改进了运行时验证中常需要的插桩过程。我们解释其原理并提供一个简单案例研究，演示 RVAFTs 如何在实践中使用。由此我们也能够评估故障与攻击的检测以及监视器的计算开销。
引用
@article{arxiv.2209.14044,
title = {Extending Attack-Fault Trees with Runtime Verification},
author = {Rafael C. Cardoso and Angelo Ferrando and Michael Fisher},
journal= {arXiv preprint arXiv:2209.14044},
year = {2022}
}
备注
In Proceedings FMAS2022 ASYDE2022, arXiv:2209.13181