基于攻击效应验证攻击树：来自 Barwise-Seligman 信道理论的方法
密码学与安全
2022-04-14 v1
摘要
在安全分析中，攻击树是展示攻击结构分解并支持评估攻击定量属性（称为属性）的主要工具。然而，分解的有效性并非由攻击树自身确立，当攻击树不准确时可能做出错误的安全决策。本文用攻击效应丰富了攻击树，并给出了一个聚焦于精化场景的形式化系统。效应间的关系指示了攻击间的关系，并允许对攻击分解进行系统性评估。为描述效应，本文应用了 Barwise-Seligman 的信道理论。其中，信息同态在连接不同粒度的效应方面发挥了重要作用。由此，分解的一致性被形式化定义并给出了其成立条件。该框架应用于车载网络系统的案例研究。作为一致性思想的应用，讨论了攻击树中攻击的可能缓解程度。
引用
@article{arxiv.2204.06223,
title = {On Validating Attack Trees with Attack Effects: An Approach from Barwise-Seligman's Channel Theory},
author = {Hideaki Nishihara and Yasuyuki Kawanishi and Daisuke Souma and Hirotaka Yoshida},
journal= {arXiv preprint arXiv:2204.06223},
year = {2022}
}
备注
30 pages, 8 figures