Security policy verification in grid systems

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.