摘要： 网格环境下多用户参与的协同计算是网格计算的重要应用方向。网格计算的复杂性导致网格安全需求复杂。该文提出一种基于虚拟组织的网格计算多用户协同关系描述模型，在其基础上构建网格安全需求分析模型，实现了网格环境下多用户协同计算的安全需求形式化描述，把网格协同计算环境下的不同安全需求统一在同一种理论体系中。

关键词: 网格, 协同计算, 安全需求, 形式化描述

Abstract: Multi-user coordinative computing in grid environment is an important research field. The security requirements in grid computing are very complex due to the complexity of grid computing. This paper proposes a multi-user coordinative relationship specification model based on Virtual Organization(VO) for grid computing. A grid security requirement analysis model is defined to provide formal security requirement specifications so that different security requirements are unified into one single theory architecture for multi-user coordinative computing in grid environment.

Key words: grid, coordinative computing, security requirements, formal specification

中图分类号: 

• TP309