Attack-Defense Trees and Two-Player Binary Zero-Sum Extensive Form Games Are Equivalent

被引：0

作者：

Kordy, Barbara ^{[1
]}

Mauw, Sjouke ^{[1
]}

Melissen, Matthijs ^{[1
]}

Schweitzer, Patrick ^{[1
]}

机构：

[1] Univ Luxembourg, Luxembourg, Luxembourg

来源：

DECISION AND GAME THEORY FOR SECURITY | 2010年 / 6442卷

关键词：

D O I：

暂无

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

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 games 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.

引用

页码：245 / 256

页数：12

共 50 条

[11] Generating Dominant Strategies for Continuous Two-Player Zero-Sum Games
Vazquez-Chanlatte, Marcell J.
Ghosh, Shromona
Raman, Vasumathi
Sangiovanni-Vincentelli, Alberto
Seshia, Sanjit A.
IFAC PAPERSONLINE, 2018, 51 (16): : 7 - 12
[12] Approximate Dynamic Programming for Two-Player Zero-Sum Markov Games
Perolat, Julien
Scherrer, Bruno
Piot, Bilal
Pietquin, Olivier
INTERNATIONAL CONFERENCE ON MACHINE LEARNING, VOL 37, 2015, 37 : 1321 - 1329
[13] When are Offline Two-Player Zero-Sum Markov Games Solvable?
Cui, Qiwen
Du, Simon S.
ADVANCES IN NEURAL INFORMATION PROCESSING SYSTEMS 35 (NEURIPS 2022), 2022,
[14] Two-player zero-sum stochastic differential games with regime switching
Lv, Siyu
AUTOMATICA, 2020, 114
[15] Pure strategy equilibria in symmetric two-player zero-sum games
Duersch, Peter
Oechssler, Joerg
Schipper, Burkhard C.
INTERNATIONAL JOURNAL OF GAME THEORY, 2012, 41 (03) : 553 - 564
[16] TWO-PLAYER ZERO-SUM STOCHASTIC DIFFERENTIAL GAMES WITH RANDOM HORIZON
Ferreira, M.
Pinheiro, D.
Pinheiro, S.
ADVANCES IN APPLIED PROBABILITY, 2019, 51 (04) : 1209 - 1235
[17] Policy Gradient Algorithm in Two-Player Zero-Sum Markov Games
Li Y.
Zhou J.
Feng Y.
Feng Y.
Moshi Shibie yu Rengong Zhineng/Pattern Recognition and Artificial Intelligence, 2023, 36 (01): : 81 - 91
[18] Large Scale Learning of Agent Rationality in Two-Player Zero-Sum Games
Ling, Chun Kai
Fang, Fei
Kolterl, J. Zico
THIRTY-THIRD AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE / THIRTY-FIRST INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE / NINTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, 2019, : 6104 - 6111
[19] Equilibrium payoffs in repeated two-player zero-sum games of finite automata
Baskov, O. V.
INTERNATIONAL JOURNAL OF GAME THEORY, 2019, 48 (02) : 423 - 431
[20] An LP Approach for Solving Two-Player Zero-Sum Repeated Bayesian Games
Li, Lichun
Langbort, Cedric
Shamma, Jeff
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2019, 64 (09) : 3716 - 3731

← 1 2 3 4 5 →