.png){kind=icon}
返回
A scalable algorithm for network reachability analysis with cyclic attack graphs
.png){kind=icon}
PRE
AI
DOI：10.3233/jcs-210103.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
如今，了解我们IT基础设施的安全等级对于我们制定合理的决策以保护其免受恶意攻击至关重要。然而，我们基础设施的规模和复杂性的不断增长使得这一点变得困难。一种可行的方法是攻击图分析，这是一种基于模型的算法，它生成一个由可能的攻击动作及其AND/OR组合构成的称为攻击图的定向图。攻击图使我们能够识别网络攻击的逻辑可能性。不幸的是，攻击图缺乏定量信息，例如成功攻击的可能性——可达性。同时，一些先进的方法，如贝叶斯攻击图，使用攻击图计算可达性。然而，这些方法在可扩展性和处理攻击图中的循环方面存在问题。本研究提出并检验了另一种方法，即可达性图分析。可达性图是从攻击图中获得的定向图，通过它可以计算可达性。其生成速度极快，因此适用于大规模网络分析。此外，该方法允许攻击图中存在循环。这样一种可扩展的算法已期待已久；它生成概率性安全指标，并保证适用于任何循环AND/OR图。我们将我们方法与贝叶斯攻击图进行计算效率比较。此外，我们将该方法应用于大规模、循环攻击图。我们还检验了该方法的一些理论性质（附有证明）及其计算复杂度。
期刊
暂无期刊信息
机构
暂无机构信息
引用论文
暂无论文信息