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

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

赵辉李明楚王智慧

计算机工程与应用2007，Vol.43Issue(24)：117-122,145,7.

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

New formal verification method of grid security protocols based on virtual organization

赵辉 ¹李明楚 ¹王智慧¹

作者信息

1. 大连理工大学,软件学院,辽宁,大连,116620
折叠

摘要

关键词

网格/协同计算/形式化分析/虚拟组织/Strand Space

分类

信息技术与安全科学

引用本文复制引用

赵辉,李明楚,王智慧..一种基于虚拟组织的网格安全协议形式化验证方法[J].计算机工程与应用,2007,43(24):117-122,145,7.

基金项目

国家自然科学基金(the National Natural Science Foundation of China under Grant No.90412007). （the National Natural Science Foundation of China under Grant No.90412007）

计算机工程与应用

OA北大核心CSCDCSTPCD

ISSN：1002-8331

访问量3

下载量0

段落导航