云南高校图书馆联盟文献共享服务平台- 检索结果

检索结果分析

检索条件："关键词=网格协同计算形式化分析虚拟组织StrandSpace "

共条记录，以下是1-1

全选清除导出

视图：

排序：

显示条数：

一种基于虚拟组织的网格安全协议形式化验证方法: 《计算机工程与应用》2007年第24期117-122,145,共7页赵辉李明楚王智慧; 国家自然科学基金(the National Natural Science Foundation of China under Grant No.90412007); 虚拟组织是网格计算的基本管理单元,而协同计算组是虚拟组织形成的基础。对应于网格计算的复杂性,网格安全协议的分析与证明十分复杂。通过引入网格计算信道的概念,在传统Strand Space理论的基础上提出了一种基于虚拟组织的网格安全协...; 关键词：网格协同计算形式化分析虚拟组织StrandSpace

全选清除导出

共1页<1>