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