Abstract
This paper discusses Timed Obstruction Temporal Logic (TOTL) and Probabilistic Obstruction Temporal Logic (POTL), extensions of Obstruction Logic for systems with critical timing and probabilistic behavior. TOTL focuses on real-time system properties, while POTL handles uncertainty and stochastic events alongside temporal constraints. These logics are especially useful in cybersecurity, where both time and probability are crucial. We demonstrate their applicability through case studies in cybersecurity games based on attack graphs.
| Original language | English |
|---|---|
| Pages (from-to) | 268-278 |
| Number of pages | 11 |
| Journal | CEUR Workshop Proceedings |
| Volume | 3883 |
| Publication status | Published - 1 Jan 2024 |
| Event | 1st International Workshop on Artificial Intelligence for Climate Change, 12th Italian Workshop on Planning and Scheduling, 31st RCRA Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, and SPIRIT Workshop on Strategies, Prediction, Interaction, and Reasoning in Italy, AI4CC-IPS-RCRA-SPIRIT 2024 - Bolzano, Italy Duration: 26 Nov 2024 → 28 Nov 2024 |
Keywords
- Attack Graphs
- Dynamic games
- Markov Chain
- Strategic Reasoning
- Timed Systems