文件名称：论文研究-一种基于虚拟组织的网格安全协议形式化验证方法 .pdf
文件大小：383KB
文件格式：PDF
更新时间：2022-09-04 05:58:40
网格;协同计算;形式化分析;虚拟组织;Strand Space理论
一种基于虚拟组织的网格安全协议形式化验证方法，赵辉，，虚拟组织是网格计算的基本管理单元,而协同计算组是虚拟组织形成的基础.对应于网格计算的复杂性,网格安全协议的分析与证明十分复杂
论文研究-一种基于虚拟组织的网格安全协议形式化验证方法 .pdf
【文件属性】：