Research output per year
Research output per year
Stefano M. Nicoletti, Milan Lopuhaä-Zwakenberg, E. Moritz Hahn, Mariëlle Stoelinga
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
We provide an overview of three different query languages whose objective is to specify properties on the highly popular formalisms of fault trees (FTs) and attack trees (ATs). These are BFL, a Boolean Logic for FTs, PFL, a probabilistic extension of BFL and ATM, a logic for security metrics on ATs. We validate the framework composed by these three logics by applying them to the case study of a water distribution network. We extend the FT for this network - found in the literature - and we propose to model the system under analysis with the Fault Trees/Attack Trees (FT/ATs) formalism, combining both FTs and ATs in a unique model. Furthermore, we propose a novel combination of the showcased logics to account for queries that jointly consider both the FT and the AT of the model, integrating influences of attacks on failure probabilities of different components. Finally, we extend the domain specific language for PFL with novel constructs to capture the interplay between metrics of attacks - e.g., 'cost', success probabilities - and failure probabilities in the system.
Original language | English |
---|---|
Title of host publication | 2024 Annual Reliability and Maintainability Symposium (RAMS) |
Publisher | IEEE |
Number of pages | 6 |
ISBN (Electronic) | 979-8-3503-0769-6 |
ISBN (Print) | 979-8-3503-0770-2 |
DOIs | |
Publication status | Published - 2024 |
Event | 70th Annual Reliability and Maintainability Symposium, RAMS 2024 - Albuquerque, United States Duration: 22 Jan 2024 → 25 Jan 2024 Conference number: 70 |
Name | Proceedings, Annual Reliability and Maintainability Symposium |
---|---|
ISSN (Print) | 0149-144X |
ISSN (Electronic) | 2577-0993 |
Conference | 70th Annual Reliability and Maintainability Symposium, RAMS 2024 |
---|---|
Abbreviated title | RAMS 2024 |
Country/Territory | United States |
City | Albuquerque |
Period | 22/01/24 → 25/01/24 |
Research output: Thesis › PhD Thesis - Research UT, graduation UT