Game strategies in network security
automated generation and analysis of attack graphs .