Attack-defense trees

descriptionPublicationkeyboard_double_arrow_right Article , Other literature type 21 Jun 2012Embargo end date: 11 Jun 2017 Luxembourg, United Kingdom, Switzerland English Publisher:Oxford University Press (OUP)Journal:Journal of Logic and Computation, volume 24, pages 55-87 (issn: 0955-792X, eissn: 1465-363X,

Copyright policy )

Authors: Barbara Kordy; Sjouke Mauw; Sasa Radomirovic; Patrick Schweitzer;

doi: 10.1093/logcom/exs029 , 10.3929/ethz-b-000080334

handle: 20.500.11850/80334

Attack-defense trees

- Summary
- Subjects
- Metrics

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. © 2012 The Author, 2012. Published by Oxford University Press.

Countries

Luxembourg, United Kingdom, Switzerland

Related Organizations

University of Dundee
United Kingdom
ETH Zurich
Switzerland
University of Luxembourg
Luxembourg
Institute of Information Security
Switzerland
University of Surrey
United Kingdom

Keywords

Sciences informatiques, name=Arts and Humanities (miscellaneous), Technology, /dk/atira/pure/subjectarea/asjc/2600/2609, Logic, Attack Trees, Ingénierie, informatique & technologie, Countermeasures, Attack-Defense Trees, Computer Science, Theory & Methods, name=Logic, /dk/atira/pure/subjectarea/asjc/1700/1712, Attack trees, /dk/atira/pure/subjectarea/asjc/1200/1201, Complete Set of Axioms, Science & Technology, /dk/atira/pure/subjectarea/asjc/1700/1708, Security assessment, Computer science, name=Theoretical Computer Science, 004, Semantics, Engineering, computing & technology, name=Software, Computer Science, Attack-defense trees, name=Hardware and Architecture, /dk/atira/pure/subjectarea/asjc/2600/2614, Science & Technology - Other Topics, Attributes, Security Assessment, Complete set of axioms

Impact byBIP!

	selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	142
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Top 1%
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Top 1%
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Top 10%