A taxonomy for attack graph generation and usage in network security
FIREMAN: a toolkit for firewall modeling and analysis