Mulval: A logic-based network security analyzer
The COPS security checker system