Fault Tree Analysis: Identifying Maximum Probability Minimal Cut Sets with MaxSAT

no code implementations • 5 May 2020 • Martín Barrère, Chris Hankin

In this paper, we present a novel MaxSAT-based technique to compute Maximum Probability Minimal Cut Sets (MPMCSs) in fault trees.

Exact Inference Techniques for the Analysis of Bayesian Attack Graphs

no code implementations • 8 Oct 2015 • Luis Muñoz-González, Daniele Sgandurra, Martín Barrère, Emil Lupu

Attack graphs are a powerful tool for security risk assessment by analysing network vulnerabilities and the paths attackers can use to compromise network resources.