author: Niels Wolters
title: Quantitative analysis of attack trees with timed automata
committee: Rajesh Kumar ,
Mariƫlle Stoelinga ,
Stefano Schivo
started: April 2015
end: March 2016


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. 

Additional Resources

  1. Thesis