Search Results for author: Martín Barrère

Found 2 papers, 0 papers with code

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

no code implementations5 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 implementations8 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.

Cannot find the paper you are looking for? You can Submit a new open access paper.