Reference : Foundations 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/11461
Foundations 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)]
Mauw, Sjouke mailto [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 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)]
2010
Proceedings of the 7th International Workshop on Formal Aspects of Security and Trust
Springer
LNCS 6561
80-95
Yes
978-3-642-19750-5
7th International Workshop on Formal Aspects of Security and Trust
16-17 September, 2010
Pisa
Italy
[en] Attack Trees ; Attack-Defense Trees ; Graphical Security Modeling
[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.
http://hdl.handle.net/10993/11461

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Limited access
adt.pdfAuthor postprint224.04 kBRequest a copy

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.