Foundations of attack-defense trees

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

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

111 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 publicationFAST 2010
Number of pages16
ISBN (Electronic)9783642197512
ISBN (Print)9783642197505
Publication statusPublished - 2011
Event7th International Workshop on Formal Aspects of Security and Trust 2010 - Pisa, Italy
Duration: 16 Sep 201017 Sep 2010

Publication series

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


Conference7th International Workshop on Formal Aspects of Security and Trust 2010
Abbreviated titleFAST 2010

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'Foundations of attack-defense trees'. Together they form a unique fingerprint.

Cite this