2015 | OriginalPaper | Buchkapitel
Attack Trees with Sequential Conjunction
verfasst von : Ravi Jhawar, Barbara Kordy, Sjouke Mauw, Saša Radomirović, Rolando Trujillo-Rasua
Erschienen in: ICT Systems Security and Privacy Protection
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
We provide the first formal foundation of
SAND
attack trees which are a popular extension of the well-known attack trees. The
SAND
attack tree formalism increases the expressivity of attack trees by introducing the sequential conjunctive operator
$${\mathtt {SAND}}$$
. This operator enables the modeling of ordered events.
We give a semantics to
SAND
attack trees by interpreting them as sets of series-parallel graphs and propose a complete axiomatization of this semantics. We define normal forms for
SAND
attack trees and a term rewriting system which allows identification of semantically equivalent trees. Finally, we formalize how to quantitatively analyze
SAND
attack trees using attributes.