6 citations · 22 across the 22 of their papers we have counts for
6 papers · 1 filter
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…
How hard can it be? Quantifying MITRE attack campaigns with attack trees and cATM logic
Stefano M. Nicoletti, Milan Lopuhaä-Zwakenberg, Mariëlle Stoelinga +2
The landscape of cyber threats grows more complex by the day. Advanced Persistent Threats carry out attack campaigns - e.g. operations Dream Job, Wocao, and WannaCry - against whic…
Fuzzy quantitative attack tree analysis
Thi Kim Nhung Dang, Milan Lopuhaä-Zwakenberg, Mariëlle Stoelinga
Attack trees are important for security, as they help to identify weaknesses and vulnerabilities in a system. Quantitative attack tree analysis supports a number security metrics,…
ATM: a Logic for Quantitative Security Properties on Attack Trees
Stefano M. Nicoletti, Milan Lopuhaä-Zwakenberg, E. Moritz Hahn +1
Critical infrastructure systems - for which high reliability and availability are paramount - must operate securely. Attack trees (ATs) are hierarchical diagrams that offer a flexi…
Cost-damage analysis of attack trees
Milan Lopuhaä-Zwakenberg, Mariëlle Stoelinga
Attack trees (ATs) are a widely deployed modelling technique to categorize potential attacks on a system. An attacker of such a system aims at doing as much damage as possible, but…
Parametric analyses of attack-fault trees
Étienne André, Didier Lime, Mathias Ramparison +1
Risk assessment of cyber-physical systems, such as power plants, connected devices and IT-infrastructures has always been challenging: safety (i.e. absence of unintentional failure…