ATSyRa: An Integrated Environment for Synthesizing Attack Trees
- 6 February 2016
- book chapter
- Published by Springer Nature
- p. 97-101
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Towards Synthesis of Attack Trees for Supporting Computer-Aided Risk Analysis2015
- Symbolic Model-Checking Using ITS-Tools2015
- DAG-based attack and defense modeling: Don’t miss the forest for the attack treesComputer Science Review, 2014
- Automated Generation of Attack Trees2014
- Towards Automating the Construction & Maintenance of Attack Trees: a Feasibility StudyElectronic Proceedings in Theoretical Computer Science, 2014
- Scalable Attack Representation Model Using Logic Reduction Techniques2013
- Towards Distributed Software Model-Checking Using Decision DiagramsLecture Notes in Computer Science, 2013
- ADTool: Security Analysis with Attack–Defense Trees2013
- Attack-defense treesJournal of Logic and Computation, 2012
- Foundations of Attack Trees2006