Release Time:2019-03-10  Hits:

Indexed by: Journal Article

Date of Publication: 2007-08-21

Journal: 计算机工程与应用

Included Journals: CSCD、ISTIC、PKU

Volume: 43

Issue: 24

Page Number: 117-122,145

ISSN: 1002-8331

Key Words: 网格;协同计算;形式化分析;虚拟组织;Strand Space

Abstract: 虚拟组织是网格计算的基本管理单元,而协同计算组是虚拟组织形成的基础.对应于网格计算的复杂性,网格安全协议的分析与证明十分复杂.通过引入网格计算信道的概念,在传统Strand Space理论的基础上提出了一种基于虚拟组织的网格安全协议形式化验证方法,实现了网格环境下多用户协同计算安全协议的分析与证明.