Querying Attack-Fault-Defense Trees: Property Specification in Smart Grid and Aerospace Case Studies
Fuente:
arXiv
Salvato in:
| Autori principali: | , , , |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2025
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866912510347575296 |
|---|---|
| author | Soltani, Reza Nicoletti, Stefano M. Lopuhaä-Zwakenberg, Milan Stoelinga, Mariëlle |
| author_facet | Soltani, Reza Nicoletti, Stefano M. Lopuhaä-Zwakenberg, Milan Stoelinga, Mariëlle |
| contents | This paper introduces AFDL, a logic-based framework for reasoning about safety, security, and defense interactions in Attack-Fault-Defense Trees, which is a model that captures all safety, security, and defense domains in a single framework. We showcase both AFDL and propose a structured domain specific query language, LangAFDL, which enables domain experts to express complex analysis goals through intuitive templates. LangAFDL supports both Boolean and quantified queries as well as minimal cut set analysis, capturing the interplay between safety, security, and defensive measures. We illustrate the expressiveness and utility of the approach through representative queries over two different real-world case studies: Gridshield and Ground Segment as a Service. The formalization lays the automated safety-security groundwork for analyses in mission-critical systems and paves the way for future tool development and integration into design workflows. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2506_23789 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Querying Attack-Fault-Defense Trees: Property Specification in Smart Grid and Aerospace Case Studies Soltani, Reza Nicoletti, Stefano M. Lopuhaä-Zwakenberg, Milan Stoelinga, Mariëlle Logic in Computer Science This paper introduces AFDL, a logic-based framework for reasoning about safety, security, and defense interactions in Attack-Fault-Defense Trees, which is a model that captures all safety, security, and defense domains in a single framework. We showcase both AFDL and propose a structured domain specific query language, LangAFDL, which enables domain experts to express complex analysis goals through intuitive templates. LangAFDL supports both Boolean and quantified queries as well as minimal cut set analysis, capturing the interplay between safety, security, and defensive measures. We illustrate the expressiveness and utility of the approach through representative queries over two different real-world case studies: Gridshield and Ground Segment as a Service. The formalization lays the automated safety-security groundwork for analyses in mission-critical systems and paves the way for future tool development and integration into design workflows. |
| title | Querying Attack-Fault-Defense Trees: Property Specification in Smart Grid and Aerospace Case Studies |
| topic | Logic in Computer Science |
| url | https://arxiv.org/abs/2506.23789 |