一種改進(jìn)的安全協(xié)議形式化需求語言
所屬分類：技術(shù)論文
上傳者：aet
文檔大?。?span>266 K
所需積分：0分積分不夠怎么辦？
文檔介紹：對(duì)原有的安全協(xié)議形式化需求語言進(jìn)行了改進(jìn),，使其能適用于復(fù)雜的分布式系統(tǒng),。使用改進(jìn)后的語言描述了網(wǎng)格環(huán)境下多用戶協(xié)同計(jì)算中科學(xué)計(jì)算問題的安全需求。
現(xiàn)在下載
VIP會(huì)員,，AET專家下載不扣分,；重復(fù)下載不扣分，本人上傳資源不扣分,。