Security policy verification in grid systems
Artem S. Konoplev, Maxim Kalinin · 2013
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.