一种改进的安全协议形式化需求语言
所屬分類：技术论文
上傳者：aet
文檔大?。?span>266 K
所需積分：0分積分不夠怎么辦？
文檔介紹：对原有的安全协议形式化需求语言进行了改进，使其能适用于复杂的分布式系统。使用改进后的语言描述了网格环境下多用户协同计算中科学计算问题的安全需求。
現(xiàn)在下載
VIP會(huì)員，AET專家下載不扣分；重復(fù)下載不扣分，本人上傳資源不扣分。