基于用户定制的数据帧处理技术

在过程工业的控制中存在着大量的通信协议,这些协议基本都是建立在数据帧的基础之上,其差别在于数据帧的格式,要对协议进行解析和处理,只需要对相应的数据帧进行解析和处理即可.讨论了用形式化描述的方法对数据帧格式进行描述,并在此基础上实现与数据帧格式无关的数据帧解析和处理.从而避免了针对不同通信协议的数据帧格式均要编写相应的解析和处理程序,使协议的解析和处理具有更好的灵活性和普适性.     

基于特征关键字的多协议数据流转换方法

提出一种基于特征关键字的多协议数据流转换方法,分析基于特征关键字的数据帧格式描述方法,通过将通信协议数据帧格式的描述与数据流的解析转换代码相分离,实现与协议无关的数据流解析和转换。该方法用稳定的程序处理不稳定的数据流,避免不同通信协议之间的数据流转换均要编写专用解析转换程序的缺陷,具有较好的灵活性和普适性。     

基于IPQueue的即时通信协议还原系统的设计与实现

通过对多种即时通信协议文本传输协议的分析,在Linux Netfilter框架下,利用IPQueue技术,构建了即时通信协议分析与监控系统。提出一个通用协议解析处理模型,分析框架采用多线程、多缓冲的设计思想。实验证明该模型具有良好的实时性及扩展性,可以同时对多个即时通信协议(QQ、MSN、Fetion等)的文本传输协议进行解析。     

可能的WSN协议分层模型

集成了微机电系统、无线通信和现代网络等多项技术而形成的无线传感器网络是一种全新的信息获取和处理模式,其通信协议研究面临许多新的挑战。描述了WSN的性能特征;提出了可能的WSN通信协议分层模型;并在新的通信协议模型下,对协议中的各个层次功能进行了深入地分析。为进一步研究WSN通信协议提供了必要的理论基础。     

基于Ethereal的CORBA通信协议解析功能扩展的方法与实现

Ethereal是一个基于libpcap的开放源代码的网络监听和协议解析工具。介绍了Linux的网络捕获体系结构,详细阐述了在Linux平台下为Ethereal添加CORBA通信协议解析功能的方法及实现技术。结合CORBA实例,对生成的CORBA协议解析器进行了实验验证。     

即时通信协议分析与监控技术研究*

通过对主流即时通信软件通信架构的分析,着重描述了MSN的通信机制和文本消息传输协议的格式,并对ICQ、AIM、雅虎通几个主流即时通信软件的协议特征进行了比较说明,提出了一个通用协议解析处理模型,并采用LEX工具自动生成协议解析器,实现了对MSN文本消息的监控和解析.     

Z应用于通信协议形式化描述的研究

Ｚ语言是一被广泛使用的形式化规格说明语言，该文在其上扩充了时间描述机制Ｔｉｍｅ模式，使之适应于对通信协议的形式化描述，并以流行的ＹＭＯＤＥＭ通信协议为例详细介绍了如何用Ｚ对通信协议进行形式化描述以及在此基础上协议的具体实现方法。     

形式描述技术在通信协议安全分析中的应用

讨论在通信协议安全分析中形式描述技术的使用方法。重点研究在协议模型的基础上建立层次化的协议攻击行为模型的方法,对所建模型进行形式化验证和脆弱性分析,根据验证和分析结果提出防护措施,设计安全方案。给出Petri网建模实例,提出形式描述技术在通信协议安全分析中的一些其他应用。     

计算机网络协议的形式描述风格

研讨计算机网络通信协议的形式描述风格。论述通信协议的形式描述，Ｅｓｔｅｌｌｅ，ＳＤＬ和Ｌｏｔｏｓ等的主要特征；着重以一种虚环互斥协议为例，对结构化形式描述风格和转移形式描述风格进行探讨。     

一种通用串口线程在C++ Builder中的实现

要使上位机和下位机之间能够进行良好的串口通信,就要制定他们之间的串口通信协议,然而通信协议的具体内容是根据用户的需求来自行制定的,其内容并不固定,如果每次都要针对具体的协议来编写解析串口发送数据帧内容的程序,既浪费时间,又不具有通用性。因此,特别设计了适用于解析不同协议的通用串口线程,只需事先设定好协议的结构和内容,而不用再去修改具体程序段的内容。最后,将其应用到电池极板测厚监控系统中,能够较好的实现PC机与DSP之间的串口通信,对电池极板厚度数据进行采集,为进一步的数据处理奠定了良好的基础。     

形式化描述驱动的数据帧解析与处理

在过程工业的数据采集和通讯领域中,数据帧是较为常见的一种数据形式。对于同一应用领域来说,建立在数据帧基础上的操作要求通常是相同的,但在不同的具体工程项目中,需要处理的数据帧的格式却经常不同。为了对不同格式的数据帧进行解析和处理,可以用形式化描述的方法对数据帧的格式进行描述,在形式化描述的驱动下实现与数据帧格式无关的数据帧解析和处理,从而避免分别为不同的数据帧格式编写相应的解析和处理程序,使数据帧的解析和处理程序具有更好的灵活性和普适性。论文讨论了基于形式化描述驱动的数据帧解析与处理的实现方案。     

密码协议安全性证明系统解析器的设计与实现*

可证明安全性是密码协议安全性评估的重要依据,但手写安全性证明容易出错且正确性难以判定,利用计算机辅助构造游戏序列进而实现自动化证明是当前一种可行的方法。为此提出一种基于进程演算的密码协议形式化描述模型,定义了描述密码协议安全性证明中攻击游戏的语法规则,并借助工具LEX和YACC,设计出解析器程序,将密码协议及其安全性的形式化描述解析为自动化安全性证明系统的初始数据结构,并用实例来说明这种方法的可行性。     

基于数据流分析的网络协议逆向解析技术

对未知网络协议进行逆向解析在网络安全应用中具有重要的意义。现有的协议逆向解析方法大都存在无法处理加密协议和无法获取协议字段语义信息的问题。针对这一问题,提出并实现了一种基于数据流分析的网络协议解析技术。该技术依托动态二进制插桩平台Pin下编写的数据流记录插件,以基于数据关联性分析的数据流跟踪技术为基础,对软件使用的网络通信协议进行解析,获取协议的格式信息,以及各个协议字段的语义。实验结果证明,该技术能够正确解析出软件通信的协议格式,并提取出各个字段所对应的程序行为语义,尤其对于加密协议有不错的解析效果,达到了解析网络协议的目的。     

工业互联网云网关架构及实现

针对工业生产数据通信协议复杂、工业设备与云端通信困难的问题,提出一种工业互联网云网关架构。针对传输协议复杂多样的问题,提出了一种多协议数据解析方法,能够对多种协议下的数据进行解析,并转换为MQTT协议,实现数据统一协议并上传至云平台。针对协议转换中的实时可靠性问题,提出一种支持断点续传并可以快速处理并发任务的异步处理机制来保证协议转换的实时可靠性。在保证实时可靠的基础上,提出一种三层加密方式以提高数据传输的安全性。在软硬件上实现了上述云网关架构,并在工业过程控制设备上进行了实验。实验结果表明,该架构能够有效解决工业系统与云平台的数据融合问题。     

恶意软件网络协议的语法和行为语义分析方法

网络协议逆向分析是恶意软件分析的一项重要内容.现有的网络协议逆向分析方法主要考虑获取消息格式和协议语法,缺少数据的行为语义,导致分析者难以在网络数据和恶意软件行为之间建立起对应关系.提出一种网络协议的语法规范和字段行为语义分析方法,该方法利用基于虚拟执行环境的动态程序分析技术,通过分析恶意软件对网络数据的解析过程提取协议语法信息,并根据恶意软件对协议字段的使用方式获取字段的程序行为语义.通过结合API拦截和指令执行监控,该方法降低了分析复杂度,提高了分析效率.在所设计和实现的原型系统Prama(protocol reverse analyzer for malware analysis)上的实验结果表明,该方法能够较为准确地识别字段,提取协议语法规范,并能在命令字段与其引起的程序行为之间建立起有效的对应关系.     

一种支持异构协议解析的可配置解析器设计*

针对当前网络转发设备难以快速应对不断出现的新型网络协议的现状,设计了一种支持异构协议的可重配置解析器。首先,通过配置用户定制模块,实时更新用于解析逻辑的解析树,快速实现新型协议的添加、删除。此外,在满足传统互联网解析需求同时,引入数据链路层的可配置性,将异构协议解析进行统一。最后,通过相应的解析树映射算法将用户定制的协议映射到硬件结构中,并通过匹配域的压缩,减少了所用的硬件资源。实验结果表明,与已有的方案相比,节省了20%的slice资源和17%的BRAM资源,并实现176Gbps的解析速度。     

Defining,analysing and implementing communication protocols using attribute grammars

A new approach to describing communication protocols is introduced. In the style of a formal language, the protocol is considered as the set of all legal sequences of symbols that can be exchanged by the communicating processes. Although context free grammars cannot adequately describe such sequences, it is shown that attribute grammars may be used. Examples are given which show that common protocol features such as interleaving, windowing and flow control can be described by attribute grammars.It is shown how deadlock-proneness of a protocol can be formalised as a property of its attribute grammar specification, and the undecidability of deadlock-proneness for arbitrary grammars is proved. An algorithm is given for determining whether a protocol is deadlock-prone in the decidable case.A method of automatically implementing protocols from their specifications is described. The implementation takes the form of a pair of communicating attributed pushdown automata. These are based on LR(0) parsers, with attribute evaluation being performed in parallel with the parse; attribute values are used to help direct the parse. Consideration is also given to the handling of errors.     

一个通用通讯程序设计与测试的研究

通讯程序的应用非常广泛,关于通讯方面的系统协议也多种多样,但是绝大多数系统提供的协议一般都比较复杂,这些协议都没有多链路管理。本文设计一种相对简单通用的、可靠的、多链路管理的通讯程序。该通用通讯程序能唆封装多种底层协议,为上层应用提供统一的调用接口,方便使用。另外,多链路管理也使得通讯更加可靠。在设计和测试的过程中,大量实验表明,本程序具有良好的特性,在模拟环境中使用也起到了不错的效果。