Foundations of Attack–Defense Trees

Barbara Kordy, Sjouke Mauw, Saša Radomirović, Patrick Schweitzer

Research output: Chapter in Book/Report/Conference proceedingConference contribution

155 Citations (Scopus)


We introduce and give formal definitions of attack-defense trees. We argue that these trees are a simple, yet powerful tool to analyze complex security and privacy problems. Our formalization is generic in the sense that it supports different semantical approaches. We present several semantics for attack-defense trees along with usage scenarios, and we show how to evaluate attributes.

Original languageEnglish
Title of host publicationFormal Aspects of Security and Trust
Subtitle of host publication7th International Workshop, FAST 2010, Revised Selected Papers
EditorsPierpaolo Degano, Sandro Etalle, Joshua Guttman
Place of PublicationBerlin
PublisherSpringer Verlag
Number of pages16
ISBN (Electronic)9783642197512
ISBN (Print)9783642197505
Publication statusPublished - 2011
Event7th International Workshop on Formal Aspects of Security and Trust - Auditorium of the CNR Research Area, Pisa, Italy
Duration: 16 Sept 201017 Sept 2010 (Link to Workshop website)

Publication series

NameLecture Notes in Computer Science
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Workshop7th International Workshop on Formal Aspects of Security and Trust
Abbreviated titleFAST 2010
OtherWorkshop is co-located with The 8th IEEE International Conference on Software Engineering and Formal Methods (SEFM2010)
Internet address

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)


Dive into the research topics of 'Foundations of Attack–Defense Trees'. Together they form a unique fingerprint.

Cite this