Security analysis for online banking system using hierarchical stochastic game nets model

Authors:
Yuanzhuo Wang;Chuang Lin;Kun Meng;Hongkun Yang;Junjie Lv
Affiliations:
Department of Computer Science and Technology, Tsinghua University, Beijing, China;Department of Computer Science and Technology, Tsinghua University, Beijing, China;Department of Computer Science and Technology, Tsinghua University, Beijing, China;Department of Computer Science and Technology, Tsinghua University, Beijing, China;Business School, Beijing Technology and Business University, Beijing, China
Venue:
GLOBECOM'09 Proceedings of the 28th IEEE conference on Global telecommunications
Year:
2009

Citing 5
Cited 1

Modeling and Quantification of Security Attributes of Software Systems

DSN '02 Proceedings of the 2002 International Conference on Dependable Systems and Networks
Model-Based Evaluation: From Dependability to Security

IEEE Transactions on Dependable and Secure Computing
Towards a Stochastic Model for Integrated Security and Dependability Evaluation

ARES '06 Proceedings of the First International Conference on Availability, Reliability and Security
The Use of Attack and Protection Trees to Analyze Security for an Online Banking System

HICSS '07 Proceedings of the 40th Annual Hawaii International Conference on System Sciences
Security analysis of enterprise network based on stochastic game nets model

ICC'09 Proceedings of the 2009 IEEE international conference on Communications

Modeling and security analysis of enterprise network using attack–defense stochastic game Petri nets

Security and Communication Networks

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.