|
|||||
|
|
| 数据独立技术在CSP协议模型中的设计与实现 | |
| 作者姓名： | 安靖 王亚弟 韩继红 |
| 作者单位： | 解放军信息工程大学,电子技术学院,河南,郑州,450004 |
| 基金项目： | 解放军总参谋部预研项目 |
| 摘 要： | 在研究Roscoe数据独立技术的基础上,引入新的进程扩展CSP协议模型,并以Yahalom协议为例给出了完整的协议模型。随后对扩展的协议模型进行形式化描述。最后使用脚本语言CSPM对其进行编写,完成验证。 |
| 关 键 词： | CSP(Communication Sequential Processes) 数据独立 进程 映射 |
| 修稿时间： | 2005-11-30 |
| 本文献已被 CNKI 万方数据 等数据库收录！ | |