Reference : Computational Aspects of Attack-Defense Trees
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/11463
Computational Aspects of Attack-Defense Trees
English
Kordy, Barbara mailto [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > > ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)]
Pouly, Marc mailto [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) > > ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)]
2011
Security and Intelligent Information Systems - International Joint Conferences, SIIS 2011, Warsaw, Poland, June 13-14, 2011, Revised Selected Papers
Springer
LNCS 7053
103-116
Yes
978-3-642-25260-0
Security and Intelligent Information Systems - International Joint Conferences
13-14 June 2011
Warsaw
Poland
[en] Attack Trees ; Attack-Defense Trees ; Graphical Security Modeling
[en] Attack-defense trees extend attack trees with defense nodes. This richer formalism allows for a more precise modeling of a system’s vulnerabilities, by representing interactions between possible attacks and corresponding defensive measures. In this paper we compare the computational complexity of both formalisms. We identify semantics for which extending attack trees with defense nodes does not increase the computational complexity. This implies that, for these semantics, every query that can be solved efficiently on attack trees can also be solved efficiently on attack-defense trees. Furthermore, every algorithm for attack trees can directly be used to process attack-defense trees.
http://hdl.handle.net/10993/11463

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Limited access
SIIS11.pdfAuthor postprint183.71 kBRequest a copy

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.