攻击树的对抗式形式语义及相关问题
计算机科学与博弈论
2022-09-22 v1
摘要
安全性在当今社会中日益受到重视，以保护关键资源免受信息泄露、窃取或破坏。Schneier 提出的、在工业界广泛使用的攻击树非形式化模型，在 2008 年 NATO 报告中被倡导用于治理风险分析中的威胁评估。自此，攻击-防御树已成为许多探讨不同形式化方法的理论工作的主题。2017 年，M. Audinot 等人针对攻击树引入了基于迁移系统的路径语义。受此启发，我们提出攻击树形式化的双人解释。为此，我们将迁移系统替换为并发博弈竞技场，且我们关联的语义由策略构成。接着我们证明，已知在路径语义下为 NP-完全的空性问题，现在变为 PSPACE-完全。此外，我们证明成员问题在我们的双人解释下为 coNP-完全，而在路径语义下则归约为 P。
引用
@article{arxiv.2209.10322,
title = {Adversarial Formal Semantics of Attack Trees and Related Problems},
author = {Thomas Brihaye and Sophie Pinchinat and Alexandre Terefenko},
journal= {arXiv preprint arXiv:2209.10322},
year = {2022}
}
备注
In Proceedings GandALF 2022, arXiv:2209.09333