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. The tool is available on Gitlab.
Team
Research Area
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 |