中文
相关论文

相关论文: Model-Based Generation of Attack-Fault Trees

200 篇论文

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…

机器学习 · 计算机科学 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…

软件工程 · 计算机科学 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…

系统与控制 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

软件工程 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

统计方法学 · 统计学 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…

形式语言与自动机理论 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

机器学习 · 计算机科学 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…

系统与控制 · 电气工程与系统科学 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…

计算机科学中的逻辑 · 计算机科学 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…

系统与控制 · 电气工程与系统科学 2025-07-09 Hamid Jahanian