Reference : Attack-Defense Trees and Two-Player Binary Zero-Sum Extensive Form Games Are Equivalent
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/9319
Attack-Defense Trees and Two-Player Binary Zero-Sum Extensive Form Games Are Equivalent
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) >]
Melissen, Matthijs mailto [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 GameSec 2010
Springer
LNCS 6442
245-256
Yes
978-3-642-17196-3
Conference on Decision and Game Theory for Security (GameSec 2010)
22-23 November, 2010
Berlin
Germany
[en] Games ; Attack-Defense Trees ; Equivalence
[en] Attack-defense trees are used to describe security weaknesses of a system and possible countermeasures. In this paper, the connection between attack-defense trees and game theory is made explicit. We show that attack-defense trees and binary zero-sum two-player extensive form game have equivalent expressive power when considering satisfiability, in the sense that they can be converted into each other while preserving their outcome and their internal structure.
http://hdl.handle.net/10993/9319
10.1007/978-3-642-17197-0_17
Extended version available at http://arxiv.org/abs/1006.2732

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Limited access
adt.pdfAuthor postprint168.22 kBRequest a copy

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.