Exact Inference Techniques for the Dynamic Analysis of Bayesian Attack Graphs
Topological analysis of network attack vulnerability