Querying Fault and Attack Trees: Property Specification on a Water Network

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

1 Downloads (Pure)

Abstract

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 languageEnglish
Title of host publication2024 Annual Reliability and Maintainability Symposium (RAMS)
PublisherIEEE
Number of pages6
ISBN (Electronic)979-8-3503-0769-6
ISBN (Print)979-8-3503-0770-2
DOIs
Publication statusPublished - 2024
Event70th Annual Reliability and Maintainability Symposium, RAMS 2024 - Albuquerque, United States
Duration: 22 Jan 202425 Jan 2024
Conference number: 70

Publication series

NameProceedings, Annual Reliability and Maintainability Symposium
ISSN (Print)0149-144X
ISSN (Electronic)2577-0993

Conference

Conference70th Annual Reliability and Maintainability Symposium, RAMS 2024
Abbreviated titleRAMS 2024
Country/TerritoryUnited States
CityAlbuquerque
Period22/01/2425/01/24

Keywords

  • 2024 OA procedure
  • case study analysis
  • fault tree analysis
  • fault trees
  • logic
  • property specification
  • attack trees

Fingerprint

Dive into the research topics of 'Querying Fault and Attack Trees: Property Specification on a Water Network'. Together they form a unique fingerprint.

Cite this