Reference : Attack-Defense Trees
Scientific journals : Article
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/11472
Attack-Defense Trees
English
Kordy, Barbara mailto [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
Mauw, Sjouke mailto [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 mailto [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
Jun-2012
Journal of Logic & Computation
Oxford University Press
Yes
International
0955-792X
[en] Attack-Defense Trees ; Attack Trees ; Security Assessment ; Attributes ; Countermeasures ; Complete Set of Axioms ; Semantics
[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.
http://hdl.handle.net/10993/11472
10.1093/logcom/exs029

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Limited access
ADT12.pdfAuthor preprint411.37 kBRequest a copy

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.