对原有的安全协议形式化需求语言进行了改进,使其能适用于复杂的分布式系统.使用改进后的语言描述了网格环境下多用户协同计算中科学计算问题的安全需求. 一种改进的安全协议形式化需求语言.rar
*博客内容为网友个人发布，仅代表博主个人观点，如有侵权请联系工作人员删除。
1500536942 阅读：1543
1710298977 阅读：2880
1587357151 阅读：3082
1599098977 阅读：3407
发布文章
