Formalization of objectives of grid systems resources protection against unauthorized access

摘要

The paper reviews the problem of security for computing resources and user data in Grid systems. It discusses the security related characteristics of Grid system architecture and provides the threat model. It also considers methods aimed to improve security of Grid systems and highlights their disadvantages. The Grid system specification based on Petri net is proposed which allows modeling job requests distribution in accordance with requirements of security policies and formalization of the objectives of Grid systems protection against unauthorized access.