Semantics for Specialising Attack Trees based on Linear Logic

What is it about?

Causal attack trees profile the sub-goals of the proponent of an attack, by refining goals disjunctively, conjunctively and sequentially. We provide the machinery for determining whether one attack "specialises" another attack. Specialisation preserves correlations between answers to quantitative questions concerning attacks such as the "minimum attack time".

Featured Image

Why is it important?

An objective logical approach to the semantics of attack trees. Emphasises the importance of specialisation over equivalence in the evolution of attack trees. Identifies classes of attribute domains for causal attack trees that have distinct specialisation preorders.