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] Online Minimax Q Network Learning for Two-Player Zero-Sum Markov Games
Zhu, Yuanheng
Zhao, Dongbin
IEEE TRANSACTIONS ON NEURAL NETWORKS AND LEARNING SYSTEMS, 2022, 33 (03) : 1228 - 1241
[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] A dynamical neural network approach for solving stochastic two-player zero-sum games
Wu, Dawen
Lisser, Abdel
NEURAL NETWORKS, 2022, 152 : 140 - 149
[34] Online solution of two-player zero-sum games for linear systems with unknown dynamics
Fu, Yue
Chai, Tian-You
Kongzhi Lilun Yu Yingyong/Control Theory and Applications, 2015, 32 (02): : 196 - 201
[35] 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
[36] 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,
[37] Efficient Parallel Design for Self-Play in Two-Player Zero-Sum Games
Tang, Hongsong
Chen, Bo
Liu, Yingzhuo
Han, Kuoye
Liu, Jingqian
Qu, Zhaowei
SYMMETRY-BASEL, 2025, 17 (02):
[38] 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,
[39] 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
[40] 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

← 1 2 3 4 5 →