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).
|
PDF
3MB |
| 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: | https://purl.utwente.nl/essays/69402 |
| Export this item as: | BibTeX EndNote HTML Citation Reference Manager |
Show download statistics for this publication
Show download statistics for this publicationRepository Staff Only: item control page