Attack-defense trees

Barbara Kordy, Sjouke Mauw, Sasa Radomirovic, Patrick Schweitzer

Research output: Contribution to journalArticle

66 Citations (Scopus)

Abstract

Attack-defense trees are a novel methodology for graphical security modelling and assessment. They extend the well- known formalism of attack trees by allowing nodes that represent defensive measures to appear at any level of the tree. This enlarges the modelling capabilities of attack trees and makes the new formalism suitable for representing interactions between an attacker and a defender. Our formalization supports different semantical approaches for which we provide usage scenarios. We also formalize how to quantitatively analyse attack and defense scenarios using attributes.

Original languageEnglish
Pages (from-to)55-87
Number of pages33
JournalJournal of Logic and Computation
Volume24
Issue number1
DOIs
Publication statusPublished - Feb 2014

Keywords

  • attack trees
  • Attack-defense trees
  • attributes
  • complete set of axioms
  • countermeasures
  • security assessment
  • semantics

ASJC Scopus subject areas

  • Software
  • Theoretical Computer Science
  • Arts and Humanities (miscellaneous)
  • Hardware and Architecture
  • Logic

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

  • Profiles

    Cite this