Intelligent, automated red team emulation
Mulval: A logic-based network security analyzer