Bayesian Attack Model for Dynamic Risk Assessment
Mulval: A logic-based network security analyzer