Gespeichert in:
| Hauptverfasser: | , , |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2024
|
| Schlagworte: | |
| Online-Zugang: | https://arxiv.org/abs/2411.00025 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866929571191848960 |
|---|---|
| author | Leneutre, Jean Malvone, Vadim Ortiz, James |
| author_facet | Leneutre, Jean Malvone, Vadim Ortiz, James |
| contents | In this paper, we propose a novel formalism called Probabilistic Obstruction Temporal Logic (POTL), which extends Obstruction Logic (OL) by incorporating probabilistic elements. POTL provides a robust framework for reasoning about the probabilistic behaviors and strategic interactions between attackers and defenders in environments where probabilistic events influence outcomes. We explore the model checking complexity of POTL and demonstrate that it is not higher than that of Probabilistic Computation Tree Logic (PCTL), making it both expressive and computationally feasible for cybersecurity and privacy applications. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2411_00025 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Probabilistic Obstruction Temporal Logic: a Probabilistic Logic to Reason about Dynamic Models Leneutre, Jean Malvone, Vadim Ortiz, James Logic in Computer Science Computer Science and Game Theory In this paper, we propose a novel formalism called Probabilistic Obstruction Temporal Logic (POTL), which extends Obstruction Logic (OL) by incorporating probabilistic elements. POTL provides a robust framework for reasoning about the probabilistic behaviors and strategic interactions between attackers and defenders in environments where probabilistic events influence outcomes. We explore the model checking complexity of POTL and demonstrate that it is not higher than that of Probabilistic Computation Tree Logic (PCTL), making it both expressive and computationally feasible for cybersecurity and privacy applications. |
| title | Probabilistic Obstruction Temporal Logic: a Probabilistic Logic to Reason about Dynamic Models |
| topic | Logic in Computer Science Computer Science and Game Theory |
| url | https://arxiv.org/abs/2411.00025 |