一种基于虚拟组织的网格安全协议形式化验证方法  

New formal verification method of grid security protocols based on virtual organization

作　　者：赵辉[1] 李明楚[1] 王智慧[1] 

机构地区：[1]大连理工大学软件学院,辽宁大连116620

出　　处：《计算机工程与应用》2007年第24期117-122,145,共7页Computer Engineering and Applications

基　　金：国家自然科学基金(the National Natural Science Foundation of China under Grant No.90412007)

摘　　要：虚拟组织是网格计算的基本管理单元,而协同计算组是虚拟组织形成的基础。对应于网格计算的复杂性,网格安全协议的分析与证明十分复杂。通过引入网格计算信道的概念,在传统Strand Space理论的基础上提出了一种基于虚拟组织的网格安全协议形式化验证方法,实现了网格环境下多用户协同计算安全协议的分析与证明。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 muhiuser coordinative computing in grid environment.

关 键 词：网格协同计算形式化分析虚拟组织StrandSpace 

分 类 号：TP393[自动化与计算机技术—计算机应用技术]