1 citations · 1 across the 7 of their papers we have counts for
4 papers · 1 filter
Querying Attack-Fault-Defense Trees: Property Specification in Smart Grid and Aerospace Case Studies
Reza Soltani, Stefano M. Nicoletti, Milan Lopuhaä-Zwakenberg +1
This paper introduces AFDL, a logic-based framework for reasoning about safety, security, and defense interactions in Attack-Fault-Defense Trees, which is a model that captures all…
Fuzzy Fault Trees: the Fast and the Formal
Thi Kim Nhung Dang, Benedikt Peterseim, Milan Lopuhaä-Zwakenberg +1
We provide a rigorous framework for handling uncertainty in quantitative fault tree analysis based on fuzzy theory. We show that any algorithm for fault tree unreliability analysis…
Attack-Defense Trees with Offensive and Defensive Attributes (with Appendix)
Danut-Valentin Copae, Reza Soltani, Milan Lopuhaä-Zwakenberg
Effective risk management in cybersecurity requires a thorough understanding of the interplay between attacker capabilities and defense strategies. Attack-Defense Trees (ADTs) are…
Safety and Security Risk Mitigation in Satellite Missions via Attack-Fault-Defense Trees
Reza Soltani, Pablo Diale, Milan Lopuhaä-Zwakenberg +1
Cyber-physical systems, such as self-driving cars or digitized electrical grids, often involve complex interactions between security, safety, and defense. Proper risk management st…