Stochastic game net and applications in security analysis for enterprise network
Model-based evaluation: from dependability to security