Reasoning About Dynamic Game Models Using Obstruction Logic

Davide Catta; Jean Leneutre; Vadim Malvone

Reasoning About Dynamic Game Models Using Obstruction Logic

Davide Catta
, Jean Leneutre
, Vadim Malvone

University of Naples Federico II

Research output: Contribution to journal › Conference article › peer-review

1 Citation (Scopus)

Abstract

Games played within dynamic models have been explored in various domains, including cybersecurity and planning. Our paper introduces Obstruction Logic, a formalism designed for analyzing specific games featuring temporal objectives, which unfold within dynamic models. These games involve players whose actions can impact the underlying game model. We demonstrate how this logic can be employed to express significant properties within the realm of cybersecurity games, particularly those defined on attack graphs. An expanded version of our research has been published in ECAI 2023.

Original language	English
Journal	CEUR Workshop Proceedings
Volume	3585
Publication status	Published - 1 Jan 2023
Event	11th Italian Workshop on Planning and Scheduling, 30th RCRA Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, and 2023 SPIRIT Workshop on Strategies, Prediction, Interaction, and Reasoning in Italy, IPS-RCRA-SPIRIT 2023 Workshops - Rome, Italy Duration: 7 Nov 2023 → 9 Nov 2023

Keywords

Attack Graphs
Dynamic games
Strategic Reasoning

Cite this

@article{87997151f12e49bcac476b946dc045bc,

title = "Reasoning About Dynamic Game Models Using Obstruction Logic",

abstract = "Games played within dynamic models have been explored in various domains, including cybersecurity and planning. Our paper introduces Obstruction Logic, a formalism designed for analyzing specific games featuring temporal objectives, which unfold within dynamic models. These games involve players whose actions can impact the underlying game model. We demonstrate how this logic can be employed to express significant properties within the realm of cybersecurity games, particularly those defined on attack graphs. An expanded version of our research has been published in ECAI 2023.",

keywords = "Attack Graphs, Dynamic games, Strategic Reasoning",

author = "Davide Catta and Jean Leneutre and Vadim Malvone",

note = "Publisher Copyright: {\textcopyright} 2023 Copyright for this paper by its authors. Use permitted under Creative Commons License Attribution 4.0 International (CC BY 4.0).; 11th Italian Workshop on Planning and Scheduling, 30th RCRA Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, and 2023 SPIRIT Workshop on Strategies, Prediction, Interaction, and Reasoning in Italy, IPS-RCRA-SPIRIT 2023 Workshops ; Conference date: 07-11-2023 Through 09-11-2023",

year = "2023",

month = jan,

day = "1",

language = "English",

volume = "3585",

journal = "CEUR Workshop Proceedings",

issn = "1613-0073",

publisher = "CEUR-WS",

}

TY - JOUR

T1 - Reasoning About Dynamic Game Models Using Obstruction Logic

AU - Catta, Davide

AU - Leneutre, Jean

AU - Malvone, Vadim

PY - 2023/1/1

Y1 - 2023/1/1

N2 - Games played within dynamic models have been explored in various domains, including cybersecurity and planning. Our paper introduces Obstruction Logic, a formalism designed for analyzing specific games featuring temporal objectives, which unfold within dynamic models. These games involve players whose actions can impact the underlying game model. We demonstrate how this logic can be employed to express significant properties within the realm of cybersecurity games, particularly those defined on attack graphs. An expanded version of our research has been published in ECAI 2023.

AB - Games played within dynamic models have been explored in various domains, including cybersecurity and planning. Our paper introduces Obstruction Logic, a formalism designed for analyzing specific games featuring temporal objectives, which unfold within dynamic models. These games involve players whose actions can impact the underlying game model. We demonstrate how this logic can be employed to express significant properties within the realm of cybersecurity games, particularly those defined on attack graphs. An expanded version of our research has been published in ECAI 2023.

KW - Attack Graphs

KW - Dynamic games

KW - Strategic Reasoning

M3 - Conference article

AN - SCOPUS:85180157240

SN - 1613-0073

VL - 3585

JO - CEUR Workshop Proceedings

JF - CEUR Workshop Proceedings

T2 - 11th Italian Workshop on Planning and Scheduling, 30th RCRA Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, and 2023 SPIRIT Workshop on Strategies, Prediction, Interaction, and Reasoning in Italy, IPS-RCRA-SPIRIT 2023 Workshops

Y2 - 7 November 2023 through 9 November 2023

ER -

Reasoning About Dynamic Game Models Using Obstruction Logic

Abstract

Keywords

Fingerprint

Cite this