A Game Theoretic Approach to Attack Graphs

Davide Catta, Antonio Di Stasio, Jean Leneutre, Vadim Malvone, Aniello Murano

2023

Abstract

An attack graph is a succinct representation of all the paths in an open system that allow an attacker to enter a forbidden state (e.g., a resource), besides any attempt of the system to prevent it. Checking system vulnerability amounts to verifying whether such paths exist. In this paper we reason about attack graphs by means of a game-theoretic approach. Precisely, we introduce a suitable game model to represent the interaction between the system and the attacker and an automata-based solution to show the absence of vulnerability.

Paper Citation

in Harvard Style

Catta D., Di Stasio A., Leneutre J., Malvone V. and Murano A. (2023). A Game Theoretic Approach to Attack Graphs. In Proceedings of the 15th International Conference on Agents and Artificial Intelligence - Volume 1: ICAART, ISBN 978-989-758-623-1, pages 347-354. DOI: 10.5220/0011776900003393

in Bibtex Style

@conference{icaart23,
author={Davide Catta and Antonio Di Stasio and Jean Leneutre and Vadim Malvone and Aniello Murano},
title={A Game Theoretic Approach to Attack Graphs},
booktitle={Proceedings of the 15th International Conference on Agents and Artificial Intelligence - Volume 1: ICAART,},
year={2023},
pages={347-354},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0011776900003393},
isbn={978-989-758-623-1},
}

in EndNote Style

TY - CONF

JO - Proceedings of the 15th International Conference on Agents and Artificial Intelligence - Volume 1: ICAART,
TI - A Game Theoretic Approach to Attack Graphs
SN - 978-989-758-623-1
AU - Catta D.
AU - Di Stasio A.
AU - Leneutre J.
AU - Malvone V.
AU - Murano A.
PY - 2023
SP - 347
EP - 354
DO - 10.5220/0011776900003393