Formal Analysis of Graphical Security Models
automated generation and analysis of attack graphs .