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 条

[21] Provably Efficient Policy Optimization for Two-Player Zero-Sum Markov Games
Zhao, Yulai
Tian, Yuandong
Lee, Jason D.
Du, Simon S.
INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE AND STATISTICS, VOL 151, 2022, 151
[22] A METHOD TO SOLVE TWO-PLAYER ZERO-SUM MATRIX GAMES IN CHAOTIC ENVIRONMENT
Khalifa, Hamiden Abd El-Wahed
Kumar, Pavan
INDEPENDENT JOURNAL OF MANAGEMENT & PRODUCTION, 2021, 12 (01): : 115 - 126
[23] Upper bounds and Cost Evaluation in Dynamic Two-player Zero-sum Games
Leudo, Santiago J.
Ferrante, Francesco
Sanfelice, Ricardo G.
2020 59TH IEEE CONFERENCE ON DECISION AND CONTROL (CDC), 2020, : 424 - 429
[24] Corruption-Robust Offline Two-Player Zero-Sum Markov Games
Nika, Andi
Mandal, Debmalya
Singla, Adish
Radanovic, Goran
INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE AND STATISTICS, VOL 238, 2024, 238
[25] Regularized Gradient Descent Ascent for Two-Player Zero-Sum Markov Games
Zeng, Sihan
Doan, Thinh
Romberg, Justin
ADVANCES IN NEURAL INFORMATION PROCESSING SYSTEMS 35 (NEURIPS 2022), 2022,
[26] Structure in the Value Function of Two-Player Zero-Sum Games of Incomplete Information
Wiggers, Auke J.
Oliehoek, Frans A.
Roijers, Diederik M.
ECAI 2016: 22ND EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2016, 285 : 1628 - 1629
[27] A numerical optimization pesudo-algorithm for two-player zero-sum stochastic games
Li, Peng
Li, Xiangrong
Yuan, Gonglin
Zhang, Maojun
APPLIED ECONOMICS, 2021, 53 (15) : 1729 - 1742
[28] Sufficient Conditions for Optimality and Asymptotic Stability in Two-Player Zero-Sum Hybrid Games
Leudo, Santiago J.
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,
[29] 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
[30] 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

← 1 2 3 4 5 →