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