一种改进的安全协议形式化需求语言AET-电子技术应用-最丰富的电子设计资源平台

一种改进的安全协议形式化需求语言
所属分类：技术论文
上传者：aet
文档大小：266 K

所需积分：0分积分不够怎么办？
文档介绍：对原有的安全协议形式化需求语言进行了改进，使其能适用于复杂的分布式系统。使用改进后的语言描述了网格环境下多用户协同计算中科学计算问题的安全需求。
现在下载
VIP会员，AET专家下载不扣分；重复下载不扣分，本人上传资源不扣分。

活动