Attack graph based evaluation of network security
Mulval: A logic-based network security analyzer