Attack Planning in the Real World
automated generation and analysis of attack graphs .