lupa1521的博客

8.1 概述自动化的协议逆向方法提高了获得未知协议规范的准确率和效率。在实际工作中获得协议规范不是逆向分析的最终目的，而是进行下一步工作的基础。协议逆向技术广泛应用于无线网络对抗、恶意软件分析、软件安全漏洞挖掘、协议重用、网络管理等领域。大多数情况下，这些应用利用协议逆向分析得到的协议规范（协议格式和协议状态机）作为系统设计、实现的基本依据，而没有与逆向分析系统进行有机结合。理想情...

1.1 协议1.1.1 定义（1）网络协议：为进行网络中的数据交换而建立的规则、标准或约定即称为网络协议。（2）网络协议三要素：语法：数据报文中的控制信息和各种控制报文的结构、格式，也即规定了报文的长度，报文中划分多少个域，每个域的名称、意义、数据类型、长度等。语义：协议数据报文中的控制信息和控制报文所约定的含义，即需要发出何种控制信息，完成何种动作以及做出何种响应。同...

协议设计问题：这些协议如何设计出来？它们采用了哪些技术和方法来实现协议功能？了解协议设计原理对于已知协议分析和未知协议逆向分析都具有重要作用。2.1 协议模型（1）对于复杂协议，一般采用分层的方法进行设计。（2）一个(n)实体向上一层所提供的服务由以下三部分构成：1）（n）实体自己提供的某些功能；2）从（n-1）层及其以下各层以及本地系统环境得到的服务；3）通过与处在另一系...

3.1 概述1、协议形式化描述技术（1）能够提供严格的语法和语义定义，可以更准确、简明地描述协议的特征，为协议开发提供坚实基础；（2）使用逻辑的方法不但能够提供无二义性的描述，而且能够对描述进行形式分析，提高协议设计的可靠性和鲁棒性；（3）协议的研究开发独立于非形式的自然语言文本和最终实现代码，避免了协议验证测试的复杂性；（4）支持协议工程活动的各个环节的实现和自动化，特别是协...