Foundations of attack-defense trees

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

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

98 Citations (Scopus)

Abstract

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
PublisherSpringer
Pages80-95
Number of pages16
ISBN (Electronic)9783642197512
ISBN (Print)9783642197505
DOIs
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
Volume6561
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference7th International Workshop on Formal Aspects of Security and Trust 2010
Abbreviated titleFAST 2010
CountryItaly
CityPisa
Period16/09/1017/09/10

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

    Kordy, B., Mauw, S., Radomirović, S., & Schweitzer, P. (2011). Foundations of attack-defense trees. In Formal Aspects of Security and Trust: FAST 2010 (pp. 80-95). (Lecture Notes in Computer Science; Vol. 6561). Springer. https://doi.org/10.1007/978-3-642-19751-2_6