CSP和RSL应用于协议形式化描述的研究

• 作者: 屈玉贵 贾若宇 赵保华 顾翔
• 来源期刊: 计算机应用
• 学科: 工学
• 关键词: 形式化描述 CSP RSL
• 年，卷（期）: 2003,（1）
• 所属期刊栏目: 设计与开发
• 页码范围: 10-12
• 页数: 3页
• 分类号: TP311
• 字数: 2411字
• 语种: 中文

摘要

文中用一种新的形式化描述语言RSL来描述网络协议,采用通信顺序进程CSP为模型.该模型基于进程代数,能用严密的代数演算方法验证协议性质.文中对CSP模型和RSL语言作了时间的扩充,并且给出了从CSP模型到RSL语言的转换步骤及规则.最后给出了一个TFTP的实例来说明RSL语言在协议描述上的适用性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	屈玉贵	中国科学技术大学信息科学技术学院	98	1088	19.0	27.0
2	赵保华	中国科学技术大学信息科学技术学院	152	1481	21.0	28.0
3	顾翔	中国科学技术大学信息科学技术学院	3	23	2.0	3.0
4	贾若宇	中国科学技术大学信息科学技术学院	1	13	1.0	1.0