| 一种基于虚拟组织的网格安全协议形式化验证方法 |
| |
| 引用本文： | 赵辉,李明楚,王智慧. 一种基于虚拟组织的网格安全协议形式化验证方法[J]. 计算机工程与应用, 2007, 43(24): 117-122 |
| |
| 作者姓名： | 赵辉 李明楚 王智慧 |
| |
| 作者单位： | 大连理工大学,软件学院,辽宁,大连,116620;大连理工大学,软件学院,辽宁,大连,116620;大连理工大学,软件学院,辽宁,大连,116620 |
| |
| 摘 要： | 虚拟组织是网格计算的基本管理单元，而协同计算组是虚拟组织形成的基础。对应于网格计算的复杂性，网格安全协议的分析与证明十分复杂。通过引入网格计算信道的概念，在传统Strand Space理论的基础上提出了一种基于虚拟组织的网格安全协议形式化验证方法，实现了网格环境下多用户协同计算安全协议的分析与证明。
|
| 关 键 词： | 网格 协同计算 形式化分析 虚拟组织 Strand Space |
| 文章编号： | 1002-8331（2007）24-0117-06 |
| 修稿时间： | 2006-12-01 |
New formal verification method of grid security protocols based on virtual organization |
| |
| ZHAO Hui,LI Ming-chu,WANG Zhi-hui. New formal verification method of grid security protocols based on virtual organization[J]. Computer Engineering and Applications, 2007, 43(24): 117-122 |
| |
| Authors: | ZHAO Hui LI Ming-chu WANG Zhi-hui |
| |
| Affiliation: | Software School，Dalian University of Technology，Dalian，Liaoning 116620，China |
| |
| Abstract: | VO(Virtual Organization) is the basic management unit of grid computing,and coordinative computing group is the base of VO.The analysis and verification of security protocols in grid computing are very complex due to the complexity of grid computing.In this paper,The notion of grid computing channel is introduced and a formal verification method of grid security protocols based on the traditional Strand Space theory is defined to provide analysis and verification for security protocols of multi-user coordinative computing in grid environment. |
| |
| Keywords: | grid coordinative computing formal verification virtual organization Strand Space |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程与应用》浏览原始摘要信息 |
|
点击此处可从《计算机工程与应用》下载免费的PDF全文 |
