数据独立技术在CSP协议模型中的设计与实现
所屬分類：技术论文
上傳者：aet
文檔大小：2431 K
所需積分：0分積分不夠怎么辦？
文檔介紹：在研究Roscoe数据独立技术的基础上，引入新的进程扩展CSP协议模型，并以Yahalom协议为例给出了完整的协议模型。随后对扩展的协议模型进行形式化描述。最后使用脚本语言CSPM对其进行编写，完成验证。
現(xiàn)在下載
VIP會員，AET專家下載不扣分；重復(fù)下載不扣分，本人上傳資源不扣分。