Towards a Formal Verification of Attack Graphs - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2022

Towards a Formal Verification of Attack Graphs

Résumé

In this perspective paper, we propose different formalizations of games that are played over Attack Graphs between an Attacker and a Defender. In all such games we propose a formal approach (such as logics and automata theory) to check whether the Attacker has a strategy to win the game.
Fichier principal
Vignette du fichier
paper14_Spirit3.pdf (924.4 Ko) Télécharger le fichier
Origine : Fichiers éditeurs autorisés sur une archive ouverte

Dates et versions

hal-04336392 , version 1 (12-12-2023)

Licence

Paternité

Identifiants

  • HAL Id : hal-04336392 , version 1

Citer

Davide Catta, Jean Leneutre, Vadim Malvone. Towards a Formal Verification of Attack Graphs. SPIRIT 2022 - Workshop on Strategies, Prediction, Interaction, and Reasoning in Italy, Nov 2022, Udine, Italy. ⟨hal-04336392⟩
35 Consultations
8 Téléchargements

Partager

Gmail Facebook X LinkedIn More