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

• 作者: 李明楚 王智慧 赵辉
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 网格 协同计算 形式化分析 虚拟组织 Strand Space
• 年，卷（期）: 2007,（24）
• 所属期刊栏目: 网络、通信与安全
• 页码范围: 117-122,145
• 页数: 7页
• 分类号: TP393
• 字数: 7061字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2007.24.033

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李明楚	大连理工大学软件学院	63	300	11.0	14.0
2	赵辉	大连理工大学软件学院	20	114	7.0	10.0
3	王智慧	大连理工大学软件学院	4	17	2.0	4.0