Security policy verification in grid systems

Authors:
Artem S. Konoplev;Maxim O. Kalinin
Affiliations:
St. Petersburg Polytechnical University, St. Petersburg, Russia;St. Petersburg Polytechnical University, St. Petersburg, Russia
Venue:
Proceedings of the 6th International Conference on Security of Information and Networks
Year:
2013

Citing 5
Cited 0

The Grid 2: Blueprint for a New Computing Infrastructure

The Grid 2: Blueprint for a New Computing Infrastructure
Grid Computing Security

Grid Computing Security
Enhancing grid security by fine-grained behavioral control and negotiation-based authorization

International Journal of Information Security
Enhancing grid security using trusted virtualization

ATC'07 Proceedings of the 4th international conference on Autonomic and Trusted Computing
Security modeling of grid systems using petri nets

MMM-ACNS'12 Proceedings of the 6th international conference on Mathematical Methods, Models and Architectures for Computer Network Security: computer network security

Quantified Score

Hi-index	0.00

Visualization

Abstract

The paper reviews different approaches applied to enable security in Grid systems. It analyzes security mechanisms compatible with Grid platforms. It focuses on the following aspects of Grid security: anomaly detection and security policy verification. Petri-net-based model is proposed for access control security analysis in Grid systems. That model enhances Grid security with trusted 'jobs' submission and security verification.