一种改进的安全协议形式化需求语言

摘要：

对原有的安全协议形式化需求语言进行了改进,使其能适用于复杂的分布式系统.使用改进后的语言描述了网格环境下多用户协同计算中科学计算问题的安全需求.

关键词：安全协议、形式化需求语言、网格、协同计算

所属期刊栏目：32

分类号：TP3(计算技术、计算机技术)

资助基金：中国科学院资助项目90412007

在线出版日期：2006-07-21（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：50-53