University of Twente Student Theses


Analysis of Attack Trees with Timed Automata (transforming formalisms through metamodeling)

Wolters, N.H. (2016) Analysis of Attack Trees with Timed Automata (transforming formalisms through metamodeling).

[img] PDF
Abstract:This thesis considers Attack Trees, one of the most prominent security formalisms for analysing threats. It presents methods to transform this formalism into Timed Automata. Which in turn can be analysed with Uppaal, resulting in different types of analysis and thus in additional possibilities for results. This thesis provides a meta-modelling approach to the transformation of input ATs from ADTool into an instance of Uppaal. For this to work, we also introduce the Attack Tree Meta Model (ATMM) which is used as an intermediate model. The Epsilon Transformation Language (ETL) is used for the model-to-model transformations and the Epsilon Generation Language (EGL) for the model-to-text. As a final deliverable all the transformations and the internal ATMM are included in a standalone java tool, which can transform ADTool input into a Uppaal model which can be used for Attack Tree analysis.
Item Type:Essay (Master)
Faculty:EEMCS: Electrical Engineering, Mathematics and Computer Science
Subject:54 computer science
Programme:Computer Science MSc (60300)
Link to this item:
Export this item as:BibTeX
HTML Citation
Reference Manager


Repository Staff Only: item control page