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 条

[41] Algorithms for uniform optimal strategies in two-player zero-sum stochastic games with perfect information
Avrachenkov, Konstantin
Cottatellucci, Laura
Maggi, Lorenzo
OPERATIONS RESEARCH LETTERS, 2012, 40 (01) : 56 - 60
[42] The Lagging Anchor Algorithm: Reinforcement Learning in Two-Player Zero-Sum Games with Imperfect Information
Fredrik A. Dahl
Machine Learning, 2002, 49 : 5 - 37
[43] GPI-Based design for partially unknown nonlinear two-player zero-sum games
Yu, Lin
Xiong, Junlin
Xie, Min
JOURNAL OF THE FRANKLIN INSTITUTE-ENGINEERING AND APPLIED MATHEMATICS, 2023, 360 (03): : 2068 - 2088
[44] Online solution of nonlinear two-player zero-sum games using synchronous policy iteration
Vamvoudakis, Kyriakos G.
Lewis, F.L.
International Journal of Robust and Nonlinear Control, 2012, 22 (13): : 1460 - 1483
[45] Decentralized Single-Timescale Actor Critic on Zero-Sum Two-Player Stochastic Games
Guo, Hongyi
Fu, Zuyue
Yang, Zhuoran
Wang, Zhaoran
INTERNATIONAL CONFERENCE ON MACHINE LEARNING, VOL 139, 2021, 139
[46] Online solution of nonlinear two-player zero-sum games using synchronous policy iteration
Vamvoudakis, Kyriakos G.
Lewis, F. L.
INTERNATIONAL JOURNAL OF ROBUST AND NONLINEAR CONTROL, 2012, 22 (13) : 1460 - 1483
[47] Sufficient Conditions for Optimality in Finite-Horizon Two-Player Zero-Sum Hybrid Games
Leudo, Santiago J.
Sanfelice, Ricardo G.
2022 IEEE 61ST CONFERENCE ON DECISION AND CONTROL (CDC), 2022, : 3268 - 3273
[48] Policy gradient algorithm and its convergence analysis for two-player zero-sum Markov games
Wang Z.
Li Y.
Feng Y.
Feng Y.
Zhejiang Daxue Xuebao (Gongxue Ban)/Journal of Zhejiang University (Engineering Science), 2024, 58 (03): : 480 - 491
[49] The lagging anchor algorithm: Reinforcement learning in two-player zero-sum games with imperfect information
Dahl, FA
MACHINE LEARNING, 2002, 49 (01) : 5 - 37
[50] A Meta-evolutionary Learning Algorithm for Opponent Adaptation in Two-player Zero-sum Games
Wu Z.
Li K.
Xu H.
Xing J.-L.
Zidonghua Xuebao/Acta Automatica Sinica, 2022, 48 (10): : 2462 - 2473

← 1 2 3 4 5 →