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 条

[31] A dynamical neural network approach for solving stochastic two-player zero-sum games
Wu, Dawen
Lisser, Abdel
NEURAL NETWORKS, 2022, 152 : 140 - 149
[32] Uncoupled and Convergent Learning in Two-Player Zero-Sum Markov Games with Bandit Feedback
Cai, Yang
Luo, Haipeng
Wei, Chen-Yu
Zheng, Weiqiang
ADVANCES IN NEURAL INFORMATION PROCESSING SYSTEMS 36 (NEURIPS 2023), 2023,
[33] Solutions for zero-sum two-player games with noncompact decision sets and unbounded payoffs
Feinberg, Eugene A.
Kasyanov, Pavlo O.
Zgurovsky, Michael Z.
NAVAL RESEARCH LOGISTICS, 2023, 70 (05) : 493 - 506
[34] Sufficient Conditions for Optimality and Asymptotic Stability in Two-Player Zero-Sum Hybrid Games
Jimenez Leudo, Santiago
Sanfelice, Ricardo G
HSCC 2022 - Proceedings of the 25th ACM International Conference on Hybrid Systems: Computation and Control, Part of CPS-IoT Week 2022, 2022,
[35] LP formulation of stochastic Bayesian two-player zero-sum games with long horizon
Orpa, Nabiha Nasir
Li, Lichun
INTERNATIONAL JOURNAL OF ROBUST AND NONLINEAR CONTROL, 2023,
[36] Covariance steering in zero-sum linear-quadratic two-player differential games
Chen, Yongxin
Georgiou, Tryphon T.
Pavon, Michele
2019 IEEE 58TH CONFERENCE ON DECISION AND CONTROL (CDC), 2019, : 8204 - 8209
[37] Almost Optimal Algorithms for Two-player Zero-Sum Linear Mixture Markov Games
Chen, Zixiang
Zhou, Dongruo
Gu, Quanquan
INTERNATIONAL CONFERENCE ON ALGORITHMIC LEARNING THEORY, VOL 167, 2022, 167
[38] A Generalized Minimax Q-Learning Algorithm for Two-Player Zero-Sum Stochastic Games
Diddigi, Raghuram Bharadwaj
Kamanchi, Chandramouli
Bhatnagar, Shalabh
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2022, 67 (09) : 4816 - 4823
[39] On the Use of Non-Stationary Strategies for Solving Two-Player Zero-Sum Markov Games
Perolat, Julien
Piot, Bilal
Scherrer, Bruno
Pietquin, Olivier
ARTIFICIAL INTELLIGENCE AND STATISTICS, VOL 51, 2016, 51 : 893 - 901
[40] Online Solution of Nonlinear Two-Player Zero-Sum Games Using Synchronous Policy Iteration
Vamvoudakis, Kyriakos G.
Lewis, F. L.
49TH IEEE CONFERENCE ON DECISION AND CONTROL (CDC), 2010, : 3040 - 3047

← 1 2 3 4 5 →