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

赵辉; 李明楚; 王智慧

首页> 中文期刊> 《计算机工程与应用》 >一种基于虚拟组织的网格安全协议形式化验证方法

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

AI论文写作 >>

开具论文收录证明 >>

页面导航

摘要
著录项
引文网络
相似文献
相关主题

摘要

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

著录项

来源
《计算机工程与应用》 |2007年第24期|117-122,145|共7页
作者
赵辉; 李明楚; 王智慧;
展开▼
作者单位

大连理工大学;

软件学院;

辽宁;

大连;

116620;

大连理工大学;

软件学院;

辽宁;

大连;

116620;

大连理工大学;

软件学院;

辽宁;

大连;

116620;

展开▼
原文格式 PDF
正文语种 chi
中图分类计算机网络;
关键词
网格; 协同计算; 形式化分析; 虚拟组织; Strand Space;

相似文献

中文文献
外文文献
专利

1. 一种基于SPIN的安全协议形式化验证方法 [J] . 刘虹 . 电子技术与软件工程 . 2013,第016期
2. 一种安全协议的形式化验证方法 [J] . 蒋欢 ,何青 . 电子世界 . 2019,第002期
3. 一种安全协议的形式化验证方法 [J] . 石曙东 . 湖北师范学院学报（自然科学版） . 2004,第001期
4. 一种新的安全协议形式化验证方法 [J] . 侯峻峰 ,张磊 ,黄连生 . 计算机研究与发展 . 2004,第008期
5. 基于RSL的协议形式化描述与验证方法 [J] . 顾翔 ,邱建林 ,邵浩然 . 计算机工程 . 2009,第023期
6. 安全协议形式化分析的新进展:基于逻辑程序的验证方法 [C] . 林瀚 ,徐艳艳 ,苏开乐 . 2004年全国理论计算机科学学术年会 . 2004
7. 基于知识理论的安全协议形式化验证方法的应用——验证对称密钥交换协议 [A] . 罗方跃 . 2006

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

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅