06105437

a

06105437 Zegzhda, Peter D. Zegzhda, Dmitry P. Kalinin, Maxim O. Konoplev, Artem S. Security modeling of grid systems using Petri nets. Kotenko, Igor (ed.) et al., Computer network security. 6th international conference on mathematical methods, models and architectures for computer network security, MMM-ACNS 2012, St. Petersburg, Russia, October 17--19, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33703-1/pbk). Lecture Notes in Computer Science 7531, 299-308 (2012). 2012 Berlin: Springer EN Grid information security Petri net security model security policy verification

doi:10.1007/978-3-642-33704-8_25

Summary: The paper reviews the security problem with computing and information resources in Grid systems. It discusses security relative characteristics of Grid architecture and provides a common threat model of Grid. It summarizes methods being applied to improve security of Grid systems and discusses their disadvantages. There is proposed the Petri-net-based model of access control for Grid systems. That model enhances Grid security with trusted `job' submission (in strict accordance with security policy constraints) and verification of the security implementation in Grid systems.