A Formal Verification Approach to Handle Attack Graphs - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2024

A Formal Verification Approach to Handle Attack Graphs

Résumé

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.

Dates et versions

hal-04580655 , version 1 (20-05-2024)

Identifiants

Citer

Davide Catta, Jean Leneutre, Antonina Mijatovic, Johanna Ulin, Vadim Malvone. A Formal Verification Approach to Handle Attack Graphs. 16th International Conference on Agents and Artificial Intelligence, Feb 2024, Rome, Italy. pp.125-132, ⟨10.5220/0012310000003636⟩. ⟨hal-04580655⟩
13 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More