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
QuADTool
We provide a highly user-friendly tool for Synthesis of Cyber-security models based on the attack-tree concept. It also features interfaces to a variety of other tools and model-checkers, as well as built-in analysis for uncertain values. Additionally, the CLI can be used to learn attack-trees from logfiles or other traces.
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 |