(function(doc, html, url) { var widget = doc.createElement("div"); widget.innerHTML = html; var script = doc.currentScript; // e = a.currentScript; if (!script) { var scripts = doc.scripts; for (var i = 0; i < scripts.length; ++i) { script = scripts[i]; if (script.src && script.src.indexOf(url) != -1) break; } } script.parentElement.replaceChild(widget, script); }(document, '

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".

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.

Read more on Kudos…
The following have contributed to this page:
Ross Horne
' ,"url"));