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