We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:


Current browse context:


Change to browse by:


References & Citations

DBLP - CS Bibliography


(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Software Engineering

Title: Extending Attack-Fault Trees with Runtime Verification

Authors: Rafael C. Cardoso (University of Aberdeen), Angelo Ferrando (University of Genova), Michael Fisher (The University of Manchester)
Abstract: Autonomous systems are often complex and prone to software failures and cyber-attacks. We introduce RVAFTs, an extension of Attack-Fault Trees (AFTs) with runtime events that can be used to construct runtime monitors. These monitors are able to detect when failures, that can be caused either by an attack or by a fault, occur. The safety and security properties monitored are, in turn, derived from the hierarchical decomposition of RVAFTs. Our approach not only provides further use of AFTs, but also improves the process of instrumentation often required in runtime verification. We explain the principles and provide a simple case study demonstrating how RVAFTs can be used in practice. Through this we are also able to evaluate the detection of faults and attacks as well as assessing the computational overhead of the monitors.
Comments: In Proceedings FMAS2022 ASYDE2022, arXiv:2209.13181
Subjects: Software Engineering (cs.SE)
Journal reference: EPTCS 371, 2022, pp. 193-207
DOI: 10.4204/EPTCS.371.14
Cite as: arXiv:2209.14044 [cs.SE]
  (or arXiv:2209.14044v1 [cs.SE] for this version)

Submission history

From: EPTCS [view email]
[v1] Wed, 28 Sep 2022 12:26:01 GMT (203kb,D)

Link back to: arXiv, form interface, contact.