Drawing Attack Graphs for Multi-Component Systems (Bachelor Thesis, Ongoing)
Author
Description
In complex systems, especially in safety-critical domains such as aviation, self-driving cars, trains or ships, it is necessary to understand how component failures can propagate through the system. Often these systems are too complex to analyze manually, and even when critical components are identified, it is difficult to grasp the full impact of a failure.
This work aims to create a formal representation of multi-component systems through “attack graphs” that visualize the propagation of failures. Using “symbolic execution”, the input/output behavior of each component is analyzed and based on their interactions, a graph can be generated.
The goal is to provide a tool that allows the user to give it different components, define their interactions, and specify illegal states or outputs. The tool will then perform symbolic execution on each component according to the data flow between them, analyze whether inputs lead to illegal outputs, and generate an attack graph. This can then be used by system engineers to identify critical components and paths within the system, and to develop strategies to mitigate the impact of failures.
Start / End Dates
2025/04/14 - 2025/08/13