|title:||Quantitative analysis of attack trees with timed automata|
Mariëlle Stoelinga ,
Attack trees are, one of the most prominent security formalisms for threat analysis.
Idea is to exploite the priced timed automaton model checker Uppaal CORA, in order to compute the resources, costs, and impact for a successful attack. In particular, the goal is to map each attack tree gate and element to an a price timed automaton model; and then to use the price timed automaton model to obtain a cost-optimal trace, and to interpret the trace as a path repersenting to an optimal attack.