Hits:
Indexed by:期刊论文
Date of Publication:2007-08-21
Journal:计算机工程与应用
Included Journals:PKU、ISTIC、CSCD
Volume:43
Issue:24
Page Number:117-122,145
ISSN No.:1002-8331
Key Words:网格;协同计算;形式化分析;虚拟组织;Strand Space
Abstract:虚拟组织是网格计算的基本管理单元,而协同计算组是虚拟组织形成的基础.对应于网格计算的复杂性,网格安全协议的分析与证明十分复杂.通过引入网格计算信道的概念,在传统Strand Space理论的基础上提出了一种基于虚拟组织的网格安全协议形式化验证方法,实现了网格环境下多用户协同计算安全协议的分析与证明.
