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.
Domaines
Informatique [cs]| Origine | Fichiers éditeurs autorisés sur une archive ouverte |
|---|
