Security Analysis for Online Banking System Using Hierarchical Stochastic Game Nets Model
Model-based evaluation: from dependability to security