數(shù)據(jù)獨(dú)立技術(shù)在CSP協(xié)議模型中的設(shè)計(jì)與實(shí)現(xiàn)
所屬分類：技術(shù)論文
上傳者：aet
文檔大小：2431 K
所需積分：0分積分不夠怎么辦？
文檔介紹：在研究Roscoe數(shù)據(jù)獨(dú)立技術(shù)的基礎(chǔ)上，引入新的進(jìn)程擴(kuò)展CSP協(xié)議模型，并以Yahalom協(xié)議為例給出了完整的協(xié)議模型。隨后對(duì)擴(kuò)展的協(xié)議模型進(jìn)行形式化描述。最后使用腳本語(yǔ)言CSPM對(duì)其進(jìn)行編寫，完成驗(yàn)證。
現(xiàn)在下載
VIP會(huì)員，AET專家下載不扣分；重復(fù)下載不扣分，本人上傳資源不扣分。