在研究Roscoe数据独立技术的基础上,引入新的进程扩展CSP协议模型,并以Yahalom协议为例给出了完整的协议模型.随后对扩展的协议模型进行形式化描述.最后使用脚本语言CSPM对其进行编写,完成验证. 



数据独立技术在CSP协议模型中的设计与实现.rar

*博客内容为网友个人发布，仅代表博主个人观点，如有侵权请联系工作人员删除。