Security Analysis for Online Banking System Using Hierarchical Stochastic Game Nets Model

In this paper, we propose hierarchical Stochastic Game Nets, and use it to model and analyze the security issues in online banking system. Firstly, the definition and modeling algorithm of hierarchical Stochastic Game Nets are given. In which, some theorems are proved. Then we apply hierarchical Stochastic Game Nets to describe the attack and defense course in the online banking. Finally we analyze the attack time and attack probability in the online banking quantitatively based on the model successfully.