A Novel Attack Graph Posterior Inference Model Based on Bayesian Network
automated generation and analysis of attack graphs .