25 citations · 99 across the 22 of their papers we have counts for
Showing 2024 · cs.CRShow all
3 papers · 2 filters
cs.CR2024
Quantitative analysis of attack-fault trees via Markov decision processes
Milan Lopuhaä-Zwakenberg
Adequate risk assessment of safety critical systems needs to take both safety and security into account, as well as their interaction. A prominent methodology for modeling safety a…
cs.CR2024
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,…
cs.CR2024
Attack tree metrics are operad algebras
Milan Lopuhaä-Zwakenberg
Attack Trees (ATs) are a widely used tool for security analysis. ATs can be employed in quantitative security analysis through metrics, which assign a security value to an AT. Many…