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

作　　者：马晓宁[1] 李明楚[1] 

机构地区：[1]天津大学电子信息工程学院,天津300072

出　　处：《电子技术应用》2006年第3期50-53,共4页Application of Electronic Technique

基　　金：国家自然科学基金项目:网格计算中多用户协同计算的安全机制(90412007)

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

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

分 类 号：TP393.08[自动化与计算机技术—计算机应用技术] TP393[自动化与计算机技术—计算机科学与技术]