Topological analysis of network attack vulnerability
automated generation and analysis of attack graphs .