Back to University of Twente portal
| author: | Niels Wolters |
| title: | Quantitative analysis of attack trees with timed automata |
| keywords: | |
| topics: | |
| committee: |
Rajesh Kumar
, Mariëlle Stoelinga , Stefano Schivo |
| started: | April 2015 |
| end: | March 2016 |
Description
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.