【作者】 马晓宁； 李明楚；
【机构】 天津大学电子信息工程学院； 天津大学电子信息工程学院 天津300072； 天津300072；
【摘要】 对原有的安全协议形式化需求语言进行了改进,使其能适用于复杂的分布式系统。使用改进后的语言描述了网格环境下多用户协同计算中科学计算问题的安全需求。更多还原
