Paper published in a book (Scientific congresses, symposiums and conference proceedings)
Foundations of Attack-Defense Trees
Kordy, Barbara; Mauw, Sjouke; Radomirovic, Sasa et al.
2010In Proceedings of the 7th International Workshop on Formal Aspects of Security and Trust
Peer reviewed
 

Files


Full Text
adt.pdf
Author postprint (229.41 kB)
Request a copy

All documents in ORBilu are protected by a user license.

Send to



Details



Keywords :
Attack Trees; Attack-Defense Trees; Graphical Security Modeling
Abstract :
[en] We introduce and give formal definitions of attack–defense trees. We argue that these trees are a simple, yet powerful tool to analyze complex security and privacy problems. Our formalization is generic in the sense that it supports different semantical approaches. We present several semantics for attack–defense trees along with usage scenarios, and we show how to evaluate attributes.
Disciplines :
Computer science
Author, co-author :
Kordy, Barbara ;  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)
Mauw, Sjouke ;  University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
Radomirovic, Sasa ;  University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Schweitzer, Patrick ;  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)
Language :
English
Title :
Foundations of Attack-Defense Trees
Publication date :
2010
Event name :
7th International Workshop on Formal Aspects of Security and Trust
Event place :
Pisa, Italy
Event date :
16-17 September, 2010
Main work title :
Proceedings of the 7th International Workshop on Formal Aspects of Security and Trust
Publisher :
Springer
ISBN/EAN :
978-3-642-19750-5
Collection name :
LNCS 6561
Pages :
80-95
Peer reviewed :
Peer reviewed
Available on ORBilu :
since 20 November 2013

Statistics


Number of views
83 (3 by Unilu)
Number of downloads
0 (0 by Unilu)

Scopus citations®
 
164
Scopus citations®
without self-citations
158
WoS citations
 
125

Bibliography


Similar publications



Contact ORBilu