-
题名面向实现的协议形式化描述语言
- 1
-
-
作者
刘才兴
肖德琴
谢洁锐
-
机构
华南农业大学理学院计算机系
中国科学院研究生院信息安全国家重点实验室
-
出处
《计算机工程与应用》
CSCD
北大核心
2003年第19期81-83,145,共4页
-
基金
国家自然科学基金重点项目(编号:19931010)
中国科学院研究生院信息安全国家重点实验室开放课题支持
-
文摘
该文在多种形式化描述语言(FDL)和时序逻辑原理的研究基础上,针对通讯协议的特点提出了一个协议模型思想,并设计了实现此模型的协议描述语言。该语言对事件有强的描述能力,并且引入了面向对象的概念,让描述更接近于现实;它扩展了对事件的描述,能描述事件的随机发生,笔者已将之成功地应用于对HTTP协议和HTTP-NG协议的描述。
-
关键词
协议工程
协议描述语言
面向实现
-
Keywords
Protocol Engineering,Formal Description Language,Realization-Oriented
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于NetVM架构的网络数据包处理
- 2
-
-
作者
马丽
-
机构
长沙学院信息与计算科学系
-
出处
《湖南师范大学自然科学学报》
CAS
北大核心
2009年第3期42-46,共5页
-
基金
长沙学院科研基金资助项目
-
文摘
阐述了基于NetVM(Network Virtual Machine网络虚拟机)的架构,以及其特有的协议描述语言-Net-PDL(Network Protocol Description Language)和组装语言-NetIL(Net Interpreter Language),以进行有效、快速、灵活的网络数据包处理.
-
关键词
包处理
网络虚拟机
协议描述语言
组装语言
-
Keywords
packet processing
Network Virtual Machine
NetPDL
Net Interpreter Language
-
分类号
TP393
[自动化与计算机技术—计算机应用技术]
-
