节点文献
一种改进的安全协议形式化需求语言
【摘要】 对原有的安全协议形式化需求语言进行了改进,使其能适用于复杂的分布式系统。使用改进后的语言描述了网格环境下多用户协同计算中科学计算问题的安全需求。
【基金】 国家自然科学基金项目:网格计算中多用户协同计算的安全机制(90412007)
- 【文献出处】 电子技术应用 ,Application of Electronic Technique , 编辑部邮箱 ,2006年03期
- 【分类号】TN918
- 【下载频次】96