关键词: 网格, 协同计算, 形式化分析, 虚拟组织, Strand Space

Abstract: VO（Virtual Organization） is the basic management unit of grid computing，and coordinative computing group is the base of VO.The analysis and verification of security protocols in grid computing are very complex due to the complexity of grid computing.In this paper，The notion of grid computing channel is introduced and a formal verification method of grid security protocols based on the traditional Strand Space theory is defined to provide analysis and verification for security protocols of multi-user coordinative computing in grid environment.

Key words: grid, coordinative computing, formal verification, virtual organization, Strand Space