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