Project Name: 
Join the BADGraph family

Description:
As the complexity of IT-based systems increases, it gets difficult to assess their vulnerabilities and comprehend the different ways they can be breached. Graph-based security models provide effective ways of representing and analysing security scenarios by combining intuitive visual features with formal semantics. 

Several such approaches exist. At DTU Compute we develop the tool BADGraph (Behavioural Attack-Defence Graphs, https://github.com/BADGraph/BADGraph/wiki) which offers a modern Eclipse-based integrated development environment including state-of-the-art statistical analysis capabilities.

A number of projects can be offered to extend BADGraph with novel functionalities: importing/exporting models from/to other tools, running the analysis in a distributed network, graphical interfaces, etc.

Prerequisites:
Familiarity with Java. 

Supervisor(s):
Andrea Vandin, http://people.compute.dtu.dk/anvan/, anvan@dtu.dk
Alberto Lluch Lafuente, http://people.compute.dtu.dk/albl/, albl@dtu.dk