Reusable framework for analysing System Models |
Niels Thykier
|
| Abstract | In this day and age, systems and infrastructures are becoming more complex. Analysing these manually for weaknesses against insiders have become a daunting task. Accordingly, there has been several attempts to describe these systems in a way to make them machine analysable.
However, the work so far seems to have been limited to testing the feasibility and usability of these models. There has been no visible progress in creating an extensible framework to facilitate future work in this area.
In this project, I will attempt create a framework around these models to assist future work on these models. Previous work in this area tells us that there is interest for both static analysis and dynamic analysis. |
| Type | Master's thesis [Academic thesis] |
| Year | 2013 |
| Publisher | Technical University of Denmark, Department of Applied Mathematics and Computer Science / DTU Co |
| Address | Matematiktorvet, Building 303B, DK-2800 Kgs. Lyngby, Denmark, compute@compute.dtu.dk |
| Series | M.Sc.-2013-104 |
| Note | DTU supervisor: Christian Probst, cwpr@dtu.dk, DTU Compute |
| Electronic version(s) | [pdf] |
| Publication link | http://www.compute.dtu.dk/English.aspx |
| BibTeX data | [bibtex] |
| IMM Group(s) | Computer Science & Engineering |