Jan 12, 2016: Niels Wolters: Generating Uppaal Models from Attack Trees

January 12, 2016Generating Uppaal Models from Attack Trees
Room: HB 2FNiels Wolters
12:30-13:30

Attack Trees are a formalism which can be used to analyse different attacks, they are used to store a lot of information, like the attack costs, execution time, risk, etc. Extracting this information can be hard and is therefore done with multiple tools.

During my thesis I worked on analyzing attack trees in Uppaal and primarily on doing this in a structured and automated way. Using model transformations we transformed instances of our defined attack tree meta-model into our desired Uppaal model. This was done with three of the languages of the Epsilon framework.

During this talk I will introduce and explain these three languages (ETL, EGL and EVL) and will finally display how the example of our last lunch talk (presented by David) would be transformed into the desired Uppaal model.

Attack Trees are a formalism which can be used to analyse different attacks, they are used to store a lot of information, like the attack costs, execution time, risk, etc. Extracting this information can be hard and is therefor done with multiple tools.

During my thesis I worked on analyzing attack trees in Uppaal and primarily on doing this in a structured and automated way. Using model transformations we transformed instances of our defined attack tree meta-model into our desired Uppaal model. This was done with three of the languages of the Epsilon framework.
During this talk I will introduce and explain these three languages (ETL, EGL and EVL) and will finally display how the example of our last lunch talk (presented by David) would be transformed into the desired Uppaal model.

project description