Rass Stefan, König Sandra, Schauer Stefan
Universität Klagenfurt, Institute of Applied Informatics, Klagenfurt, Austria.
Austrian Institute of Technology, Safety & Security Department, Klagenfurt, Austria.
PLoS One. 2017 Jan 3;12(1):e0168675. doi: 10.1371/journal.pone.0168675. eCollection 2017.
Advanced persistent threats (APT) combine a variety of different attack forms ranging from social engineering to technical exploits. The diversity and usual stealthiness of APT turns them into a central problem of contemporary practical system security, since information on attacks, the current system status or the attacker's incentives is often vague, uncertain and in many cases even unavailable. Game theory is a natural approach to model the conflict between the attacker and the defender, and this work investigates a generalized class of matrix games as a risk mitigation tool for an advanced persistent threat (APT) defense. Unlike standard game and decision theory, our model is tailored to capture and handle the full uncertainty that is immanent to APTs, such as disagreement among qualitative expert risk assessments, unknown adversarial incentives and uncertainty about the current system state (in terms of how deeply the attacker may have penetrated into the system's protective shells already). Practically, game-theoretic APT models can be derived straightforwardly from topological vulnerability analysis, together with risk assessments as they are done in common risk management standards like the ISO 31000 family. Theoretically, these models come with different properties than classical game theoretic models, whose technical solution presented in this work may be of independent interest.
高级持续性威胁(APT)结合了从社会工程到技术利用等各种不同的攻击形式。APT的多样性和通常的隐蔽性使其成为当代实际系统安全的核心问题,因为有关攻击、当前系统状态或攻击者动机的信息往往模糊、不确定,而且在许多情况下甚至无法获取。博弈论是对攻击者和防御者之间的冲突进行建模的自然方法,这项工作研究了一类广义的矩阵博弈,作为一种减轻高级持续性威胁(APT)防御风险的工具。与标准博弈和决策理论不同,我们的模型旨在捕捉和处理APT固有的完全不确定性,例如定性专家风险评估之间的分歧、未知的对抗动机以及当前系统状态的不确定性(就攻击者可能已经深入系统保护壳的程度而言)。实际上,博弈论APT模型可以直接从拓扑漏洞分析以及像ISO 31000系列这样的常见风险管理标准中所做的风险评估中推导出来。从理论上讲,这些模型具有与经典博弈论模型不同的性质,本文提出的其技术解决方案可能具有独立的研究价值。