Security modeling of grid systems using petri nets

Authors:
Peter D. Zegzhda;Dmitry P. Zegzhda;Maxim O. Kalinin;Artem S. Konoplev
Affiliations:
Information Security Center, St. Petersburg Polytechnical University, St. Petersburg, Russia;Information Security Center, St. Petersburg Polytechnical University, St. Petersburg, Russia;Information Security Center, St. Petersburg Polytechnical University, St. Petersburg, Russia;Information Security Center, St. Petersburg Polytechnical University, St. Petersburg, Russia
Venue:
MMM-ACNS'12 Proceedings of the 6th international conference on Mathematical Methods, Models and Architectures for Computer Network Security: computer network security
Year:
2012

Citing 1
Cited 1

The Grid 2: Blueprint for a New Computing Infrastructure

The Grid 2: Blueprint for a New Computing Infrastructure

Security policy verification in grid systems

Proceedings of the 6th International Conference on Security of Information and Networks

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.