期刊文献+

基于Pr/T网的网格安全体系结构的分析

Analysis of GRID Security Infrastructure Based on Pr/T Net
下载PDF
导出
摘要 网格安全体系结构GSI保障了网格环境的安全认证和安全通信,它为网格环境提供了一系列的安全协议、安全服务和命令行程序。它在实现时过程比较复杂,一般的建模图只能描述它的主要过程和静态特征,难以分析其动态特性及细节。Pr/T网能够直观地描述非确定性,以图形化的方式表示及运用数学工具模拟与分析复杂系统。利用Pr/T网的这些特性来描述和分析网格安全体系结构GSI中的任务提交与执行过程。 Security certification and security communication are ensured by GSI in the GRID. GSI provides a series of security agreement.security service and command program. Because of its difficult execution process, only main process and static traits are described by ordinary modeling graph. Therefore, it is difficult to analyze the dynamic traits and details. The Pr/T net can describe nondeterminability intuitionistically, which can simulate and analyze complex system through mathematics. The authors have taken advantage of these properties of the Pr/T net to depict and analyze the submission and execution process of assignment in GSI.
出处 《安徽理工大学学报(自然科学版)》 CAS 2007年第2期53-56,共4页 Journal of Anhui University of Science and Technology:Natural Science
基金 国家自然科学基金资助项目(3057043160173053) 安徽省教育厅青年教师基金资助项目(2006jq1077)
关键词 Pr/T网 网格安全体系结构GSI 抑制弧 S-不变量 Pr/T net GSI inhibit arc S- invariant
  • 相关文献

参考文献5

  • 1都志辉等编著..网格计算[M].北京:清华大学出版社,2002:181.
  • 2徐志伟 ... ..网格计算技术[M],2004.
  • 3J PETERSON.Petri net theory and the modeling of systems[M].吴哲辉.译.徐州:中国矿业大学出版社,1989. 被引量:1
  • 4袁崇义著..Petri网原理[M].北京:电子工业出版社,1998:199.
  • 5崔焕庆,吴哲辉,韩丛英.MPI通信函数的增广Petri网模型[J].系统仿真学报,2003,15(z1):26-28. 被引量:6

二级参考文献3

  • 1[3]崔焕庆, 韩丛英. 基于曙光-2000 的 MPI 运行验证[EB/OL]. http://www.sc.ac.cn/NPCS, 2002. 被引量:2
  • 2[3]都志辉.高性能并行编程技术-MPI并行程序设计[M].北京:清华大学出版社,2001. 被引量:1
  • 3[4]Message Passing Interface Forum. MPI:A Message-Passing Interface Standard [M]. Tennessee: University of Tennessee, 1995. 被引量:1

共引文献5

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部