Attack-Defense Trees
Attack Trees and their extensions are widely known for their capabilities in representing security threats. The work focuses on the analysis of the given models with respect of attack success probabilities, costs and delays. Additionally, work on automatically generating the models from logfiles.
Team
Projects
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.