English
Related papers

Related papers: Model-Based Generation of Attack-Fault Trees

200 papers

One of the most appreciated features of Fault Trees (FTs) is their simplicity, making them fit into industrial processes. As such processes evolve in time, considering new aspects of large modern systems, modelling techniques based on FTs…

Machine Learning · Computer Science 2024-03-21 Roberta De Fazio , Stefano Marrone , Laura Verde , Vincenzo Reccia , Paolo Valletta

Safety-critical infrastructures must operate safely and reliably. Fault tree analysis is a widespread method used to assess risks in these systems: fault trees (FTs) are required - among others - by the Federal Aviation Authority, the…

Software Engineering · Computer Science 2024-06-04 Stefano M. Nicoletti , E. Moritz Hahn , Marielle Stoelinga

Timely maintenance is an important means of increasing system dependability and life span. Fault Maintenance trees (FMTs) are an innovative framework incorporating both maintenance strategies and degradation models and serve as a good…

Systems and Control · Computer Science 2018-06-25 Nathalie Cauchi , Khaza Anuarul Hoque , Marielle Stoelinga , Alessandro Abate

This paper presents the current state of the art on attack and defense modeling approaches that are based on directed acyclic graphs (DAGs). DAGs allow for a hierarchical decomposition of complex scenarios into simple, easily understandable…

Cryptography and Security · Computer Science 2013-04-01 Barbara Kordy , Ludovic Piètre-Cambacédès , Patrick Schweitzer

Domain-specific quantitative modeling and analysis approaches are fundamental in scenarios in which qualitative approaches are inappropriate or unfeasible. In this paper, we present a tool-supported approach to quantitative graph-based…

Cryptography and Security · Computer Science 2021-01-22 Maurice H. ter Beek , Axel Legay , Alberto Lluch Lafuente , Andrea Vandin

The growing complexity of safety-relevant systems causes an increasing effort for safety assurance. The reduction of development costs and time-to-market, while guaranteeing safe operation, is therefore a major challenge. In order to enable…

Software Engineering · Computer Science 2021-06-08 Sebastian Reiter , Marc Zeller , Kai Hoefig , Alexander Viehl , Oliver Bringmann , Wolfgang Rosenstiel

Information technology system (ITS), informally, consists of hardware and software infrastructure (e.g., workstations, servers, laptops, installed software packages, databases, LANs, firewalls, etc.), along with physical and logical…

Cryptography and Security · Computer Science 2022-02-01 Ivan Kovačević , Stjepan Groš , Ante Đerek

When a network is attacked, cyber defenders need to precisely identify which systems (i.e., computers or devices) were compromised and what damage may have been inflicted. This process is sometimes referred to as cyber triage and is an…

Cryptography and Security · Computer Science 2024-09-18 Eric Ficke , Raymond M. Bateman , Shouhuai Xu

Attack trees (ATs) are popular graphical models for reasoning about the security of complex systems, allowing for the quantification of risk through so-called AT metrics. A large variety of different such AT metrics have been proposed, and…

Cryptography and Security · Computer Science 2025-11-19 Benedikt Peterseim , Milan Lopuhaä-Zwakenberg

Advanced Persistent Threats (APTs) evolve through multiple stages, each exhibiting distinct temporal and structural behaviors. Accurate stage estimation is critical for enabling adaptive cyber defense. This paper presents StageFinder, a…

Cryptography and Security · Computer Science 2026-05-06 Trung V. Phan , Thomas Bauschert

Connected acyclic graphs (trees) are data objects that hierarchically organize categories. Collections of trees arise in a diverse variety of fields, including evolutionary biology, public health, machine learning, social sciences and…

Methodology · Statistics 2025-12-01 Maria Alejandra Valdez Cabrera , Amy D Willis , Armeen Taeb

Fault Tree Analysis (FTA) is a prominent technique in industrial and scientific risk assessment. Repairable Fault Trees (RFT) enhance the classical Fault Tree (FT) model by introducing the possibility to describe complex dependent repairs…

Formal Languages and Automata Theory · Computer Science 2019-10-24 Raul E. Monti , Pedro R. D'Argenio , Carlos E. Budde

The power grid is a critical infrastructure that plays a vital role in modern society. Its availability is of utmost importance, as a loss can endanger human lives. However, with the increasing digitalization of the power grid, it also…

Cryptography and Security · Computer Science 2023-12-22 Ömer Sen , Bozhidar Ivanov , Martin Henze , Andreas Ulbig

Cyber-physical systems, such as self-driving cars or digitized electrical grids, often involve complex interactions between security, safety, and defense. Proper risk management strategies must account for these three critical domains and…

Cryptography and Security · Computer Science 2025-04-02 Reza Soltani , Pablo Diale , Milan Lopuhaä-Zwakenberg , Mariëlle Stoelinga

Cyber supply chain, encompassing digital asserts, software, hardware, has become an essential component of modern Information and Communications Technology (ICT) provisioning. However, the growing inter-dependencies have introduced numerous…

Cryptography and Security · Computer Science 2025-04-04 Zhuoran Tan , Christos Anagnostopoulos , Jeremy Singer

The emerging wide area monitoring systems (WAMS) have brought significant improvements in electric grids' situational awareness. However, the newly introduced system can potentially increase the risk of cyber-attacks, which may be disguised…

Cryptography and Security · Computer Science 2021-08-26 Gabriel Intriago , Yu Zhang

Inspired by the success of foundation models in applications such as ChatGPT, as graph data has been ubiquitous, one can envision the far-reaching impacts that can be brought by Graph Foundation Models (GFMs) with broader applications in…

Machine Learning · Computer Science 2024-11-12 Zehong Wang , Zheyuan Zhang , Nitesh V Chawla , Chuxu Zhang , Yanfang Ye

This paper integrates Fault Tree Analysis (FTA) and Bayesian Networks (BN) to assess collision risk and establish Automotive Safety Integrity Level (ASIL) B failure rate targets for critical autonomous vehicle (AV) components. The FTA-BN…

Systems and Control · Electrical Eng. & Systems 2025-09-29 Lansu Dai , Burak Kantarci

Safety-critical infrastructures must operate in a safe and reliable way. Fault tree analysis is a widespread method used for risk assessment of these systems: fault trees (FTs) are required by, e.g., the Federal Aviation Administration and…

Logic in Computer Science · Computer Science 2025-08-05 Stefano M. Nicoletti , Milan Lopuhaä-Zwakenberg , E. Moritz Hahn , Mariëlle Stoelinga

Fault Tree Analysis (FTA) is a well-established method in failure analysis and is widely used in safety and reliability assessments. While FTA tools enable users to manage complex analyses effectively, they can sometimes obscure the…

Systems and Control · Electrical Eng. & Systems 2025-07-09 Hamid Jahanian