Attack Trees and their extensions are widely known for their capabilities in representing security threats. This work analyzes the given models concerning attack success probabilities, costs, and delays. Additionally, work on automatically generating the models from log files.
Team
Tools
Contact
QuADTool
QuadTool focuses on the synthesis of Cyber-security models based on the attack-tree concept.
Publications
|
2024 |
QuADTool: Attack-Defense-Tree Synthesis, Analysis and Bridge to Verification
International Conference on Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems |
|
2023 |
Learning Attack Trees by Genetic Algorithms
International Colloquium on Theoretical Aspects of Computing |