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

Résultats de recherche: Contribution à un journal › Article de conférence › Revue par des pairs

Résumé

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.

langue originale	Anglais
journal	CEUR Workshop Proceedings
Volume	3585
état	Publié - 1 janv. 2023
Evénement	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, Italie Durée: 7 nov. 2023 → 9 nov. 2023

Autres fichiers et liens

Lien vers la publication dans Scopus

Contient cette citation

@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",

}

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

UR - https://www.scopus.com/pages/publications/85180157240

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

Résumé

Autres fichiers et liens

Empreinte digitale

Contient cette citation