摘要：本文论述了网络协议开发的形式方法。作者设计了精确描述协议需求的协议形式规范语言PSL(Protocol Specification Language),并开发了相应的协议验证和自动生成的支持工具。通过ISO/OSI虚终端协议机的形式开发实践表明:应用该方法可以提高软件的生产效率,改善软件的质量。

摘要：针对现有网络协议发送平台在图形界面不够直观、操作不够友好和功能上的不足,提出利用Winpcap和Socket网络编程技术,设计并实现了1个网络协议实验平台(NKPP).平台除了具备常见嗅探软件的捕包功能外,还可以方便地发送任何网络协议单元,而且在发送特定网络协议数据包方面具有独特的用户友好性,根据实际网络应用场景和需求开展了测试实验.测试结果表明,该平台不仅可以制造各种网络环境,还可以辅助实现特定的网络功能.

摘要：初步论述了计算机通信网络协议自动监视与分析的概念、方法和意义，着重叙述了一种专门设计的、能精确描述各类通信协议ＰＤＵ结构及其时序的ＬＸＨ形式描述语言的功能特点，并描述了一种基于ＬＸＨ语言的通用协议自动监视分析系统的实现，对该能用协议监视分析系统的系统结构作了详细的介绍。

摘要：在网络协议的设计过程中,一个重要的段就是对协议的运行行为进行验证,以确定协议的正确性。本文采用可达性分析的方法,实现了对用Petri网描述的协议模型运行行为的自动验证,包括死锁验证、非法循环验证及特定状态的验证。

摘要：在软件工程应用中,由于网络协议通讯的双工特性,网络协议的下层实现不依赖于上层实现是一件比较难解决的问题,该文针对这个问题,模仿BSD SOCKET网络编程模式,对网络协议层次化模型实现进行了探讨,并探讨了网络协议服务访问点的选取问题.

摘要：当前所用的多路数据无线传输技术在进行数据传输时基本都会受限于传输距离,难以进行稳定、有效的远程通信,且需租用公网IP完成传输工作,造成运行成本直线上升。针对该种情况,设计以STM32嵌入式处理器为控制核心,将无线模块ESP8266、网络协议集合应用的无线远程数据传输系统,以此来解决以往多路数据传输中的各项问题,并以Java为平台来完成以传输控制协议/网际协议(Transmission Control Protocol/Internet Protocol,TCP/IP)为基础的编程工作,依靠通信协议来直接连接上位机与无线模块,提升通信质量。此外,在设计系统软件、硬件部分后,借助实测来验证系统本身的可行性。

摘要：提出了一种可以缓解状态空间爆炸的抽象原则,对模型设计过程中的辅助变量、报文字段、自动状态机数量进行科学约简,在尽量不影响验证结果准确度的前提下,降低了模型的复杂度.在此基础上,提出了一种半自动化建模框架,只需用户提供少量必须的输入,不需要学习语法,就可以自动生成具有统一规范的模型,方便研究人员查阅和使用.实验结果表明,采用所提的抽象原则和半自动化建模框架创建的模型,可以验证网络协议的相关属性.

摘要：本文提出了基于密集卷积神经网络(DenseNet)的协议识别算法。首先,使用公有协议数据集进行卷积神经网络模型训练,识别网络流量中的公有协议,并设定置信阈值,标注出未知的协议。对于私有协议,没有公开格式,且可隐藏在公有协议荷载中,本文提出基于kmeans聚类的未知协议识别算法,对私有协议进行聚类。使用不同协议数据集对设计的网络协议识别系统进行测试,测试结果表明该系统对于公有协议和私有协议的识别准确率高。该系统今后可部署到各类Iot设备,智能路由和防火墙等应用设备中,能识别新型未知协议特征,帮助网络安全监控。对于营造安全的网络空间,提高网络服务质量等具有重要实际意义。

摘要：网络协议的形式化模型是协议分析和设计的核心技术之一。论文在简要分析当前的几种常用网络协议形式化模型之后,指出时序逻辑作为网络协议形式化模型的独特优越性,然后给出用一种线性时序逻辑MPTL描述IGMP协议的具体实例。

摘要：本文讨论了适用舰船指挥自动化的局部网络协议的选择。详细地介绍了本研究所完成的网络接口卡的硬件设计思想及低层协议支持软件的设计。介绍了设计中提出的双缓冲区设置、无空缓冲区询问及逻辑环的建立和维护等新的设计思想。最后,简要地介绍了所采用协议的实际传输速率及网络延迟的计算方法。