Mulval: A logic-based network security analyzer
Constructing attack scenarios through correlation of intrusion alerts