A Formal Verification Approach to Handle Attack Graphs

Davide Catta, Jean Leneutre, Antonina Mijatovic, Johanna Ulin, Vadim Malvone

2024

Abstract

We propose a formalization of attack graphs through a multi-agent approach. Specifically, we focus on dynamic scenarios that capture the interaction between an attacker and defenders during a cyberattack. We introduce a formal definition of an attack graph using interpreted systems, demonstrating how this formalization enables us to express interesting security properties. Finally, we present a tool AG2IS, which we have developed as an implementation of our formal definitions, to perform the formal verification of attack graphs.

Paper Citation

in Harvard Style

Catta D., Leneutre J., Mijatovic A., Ulin J. and Malvone V. (2024). A Formal Verification Approach to Handle Attack Graphs. In Proceedings of the 16th International Conference on Agents and Artificial Intelligence - Volume 3: ICAART; ISBN 978-989-758-680-4, SciTePress, pages 125-132. DOI: 10.5220/0012310000003636

in Bibtex Style

@conference{icaart24,
author={Davide Catta and Jean Leneutre and Antonina Mijatovic and Johanna Ulin and Vadim Malvone},
title={A Formal Verification Approach to Handle Attack Graphs},
booktitle={Proceedings of the 16th International Conference on Agents and Artificial Intelligence - Volume 3: ICAART},
year={2024},
pages={125-132},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0012310000003636},
isbn={978-989-758-680-4},
}

in EndNote Style

TY - CONF

JO - Proceedings of the 16th International Conference on Agents and Artificial Intelligence - Volume 3: ICAART
TI - A Formal Verification Approach to Handle Attack Graphs
SN - 978-989-758-680-4
AU - Catta D.
AU - Leneutre J.
AU - Mijatovic A.
AU - Ulin J.
AU - Malvone V.
PY - 2024
SP - 125
EP - 132
DO - 10.5220/0012310000003636
PB - SciTePress