该文在多种形式化描述语言(FDL)和时序逻辑原理的研究基础上，针对通讯协议的特点提出了一个协议模型思想，并设计了实现此模型的协议......

阐述了基于NetVM（Network Virtual Machine网络虚拟机）的架构，以及其特有的协议描述语言-NetPDL（Network Protocol Description Langua......

用于网络协议解析的软件很多，但其绝大多数均是针对某些特定的协议进行开发，其扩展性较差。本文设计一种网络协议形式化描述方法，它通......