Attack-Defense Trees

Kordy, Barbara; Mauw, Sjouke; Radomirovic, Sasa; Schweitzer, Patrick

doi:10.1093/logcom/exs029

Reference : Attack-Defense Trees


	Document type :	Scientific journals : Article
	Discipline(s) :	Engineering, computing & technology : Computer science
	To cite this reference:	http://hdl.handle.net/10993/11472

Title :	Attack-Defense Trees
Language :	English
Author, co-author :	Kordy, Barbara [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
	Mauw, Sjouke [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
	Radomirovic, Sasa [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
	Schweitzer, Patrick [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
Publication date :	Jun-2012
Journal title :	Journal of Logic & Computation
Publisher :	Oxford University Press
Peer reviewed :	Yes
Audience :	International
ISSN :	0955-792X
Keywords :	[en] Attack-Defense Trees ; Attack Trees ; Security Assessment ; Attributes ; Countermeasures ; Complete Set of Axioms ; Semantics
Abstract :	[en] Attack-defense trees are a novel methodology for graphical security modeling 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 modeling 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 analyze attack and defense scenarios using attributes.
Permalink :	http://hdl.handle.net/10993/11472
DOI :	10.1093/logcom/exs029

File(s) associated to this reference

Fulltext file(s):

	File	Commentary	Version	Size	Access
Limited access	ADT12.pdf		Author preprint	411.37 kB	Request a copy

All documents in ORBi^lu are protected by a user license.

University of Luxembourg Library | Feedback | Legal notices