Formal Analysis of Graphical Security Models
Stochastic Model Checking