Deciding the Non-emptiness of Attack Trees
- 31 March 2019
- book chapter
- Published by Springer Nature
- p. 13-30
Abstract
No abstract availableKeywords
This publication has 16 references indexed in Scilit:
- ATSyRa: An Integrated Environment for Synthesizing Attack Trees2016
- Transforming Graphical System Models to Graphical Attack Models2016
- Attack Tree Generation by Policy Invalidation2015
- Quantitative Attack Tree Analysis via Priced Timed Automata2015
- Attack Trees with Sequential Conjunction2015
- Towards Synthesis of Attack Trees for Supporting Computer-Aided Risk Analysis2015
- Foundations of Attack Trees2006
- The computational complexity of propositional STRIPS planningArtificial Intelligence, 1994
- The complexity of theorem-proving procedures1971
- Relationships between nondeterministic and deterministic tape complexitiesJournal of Computer and System Sciences, 1970