Abstract
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.
| Original language | English |
|---|---|
| Journal | CEUR Workshop Proceedings |
| Volume | 3345 |
| Publication status | Published - 1 Jan 2022 |
| Event | 10th Italian Workshop on Planning and Scheduling, IPS 2022, RCRA Incontri E Confronti, RiCeRcA 2022, and the Workshop on Strategies, Prediction, Interaction, and Reasoning in Italy, SPIRIT 2022 - Udine, Italy Duration: 28 Nov 2022 → 2 Dec 2022 |
Keywords
- Attack Graphs
- Logics in Games
- Sabotage Games