| CSP和RSL应用于协议形式化描述的研究 |
| |
| 引用本文： | 贾若宇,赵保华,屈玉贵,顾翔.CSP和RSL应用于协议形式化描述的研究[J].计算机应用,2003,23(1):10-12. |
| |
| 作者姓名： | 贾若宇 赵保华 屈玉贵 顾翔 |
| |
| 作者单位： | 中国科学技术大学,信息科学技术学院,安徽,合肥,230027 |
| |
| 基金项目： | 自然科学基金重大研究计划基金资助项目(90104010)，教育部博士点基金资助项目(2000035802)，安徽省自然科学基金资助项目(01042208)，国家863计划基金资助项目(2001AA112062和2001AA121016)，中国科学院院长基金特别支持项目(院基计字905号) |
| |
| 摘 要： | 文中用一种新的形式化描述语言RSL来描述网络协议，采用通信顺序进程CSP为模型。该模型基于进程代数，能用严密的代数演算方法验证协议性质，文中对CSP模型和RSL语言作了时间的扩充，并且给出了从CSP模型到RSL语言的转换步骤及规则，最后给出了一个TFTP的实例来说明RSL语言在协议描述上的适应性。
|
| 关 键 词： | CSP RSL 协议形式化描述 网络协议 通信协议 计算机网络 |
| 文章编号： | 1001-9081(2003)01-0010-03 |
| 修稿时间： | 2002年7月18日 |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
