Agda formalization of the Attack Tree Linear Logic
-
Updated
Jul 29, 2018 - Agda
Agda formalization of the Attack Tree Linear Logic
Attack Tree modeling sheet for Dia
A Haskell EDSL for conducting threat analysis using Attack Trees
⬆️ Code to facilitate testing directory traversal issues
Live editor for DOT language graphs
A Tool that Generates Attack--Defense Trees to Support Threat Modeling Activities
Attack Tree to Expert System Conversion Program
Draw.io libraries for threat modeling diagrams
Implementation of Attack Tree with using object-oriented design patterns. Abstract Factory and Visitor patterns were used for implementation.
Modeling, analyzing and rendering attack trees.
Azure DevOps server supply-chain attack tree (map, Attack surface, threat modeling)
Attack Tree Designer is a Modelio module developed by Softeam that allows Modelio users to design attack tree diagrams.
An open-source modular framework capable of identifying a wide range of TLS vulnerabilities and assessing compliance with multiple guidelines. Its actionable report can assist the user in correctly and easily fixing their configurations.
Add a description, image, and links to the attack-trees topic page so that developers can more easily learn about it.
To associate your repository with the attack-trees topic, visit your repo's landing page and select "manage topics."