摘要
文中用一种新的形式化描述语言RSL来描述网络协议,采用通信顺序进程CSP为模型。该模型基于进程代数,能用严密的代数演算方法验证协议性质。文中对CSP模型和RSL语言作了时间的扩充,并且给出了从CSP模型到RSL语言的转换步骤及规则。最后给出了一个TFTP的实例来说明RSL语言在协议描述上的适用性。
The paper adopts a new RSL (Formal Description Language) to describe network protocols with CSP(Communication Sequential Processes) model,which is based on process algebra and is able to use strict algebra calculation method to verify the protocol character.In addition,we extend the CSP model and RSL,giving the translation rules and process from CSP model to RSL.In the end,an example of TFTP demonstrates the applicability of RSL.
出处
《计算机应用》
CSCD
北大核心
2003年第1期10-12,共3页
journal of Computer Applications
基金
自然科学基金重大研究计划基金资助项目(90104010)
教育部博士点基金资助项目(2000035802)
安徽省自然科学基金资助项目(01042208)
国家863计划基金资助项目(2001AA112062和2001AA121016)
中国科学院院长基金特别支持项目(院基计字905号)
