　　网络监听、网络对抗、网络管理、恶意代码分析、软件安全漏洞挖掘等应用领域常常需要分析未知协议的格式，高效、准确的自动化协议逆向分析技术一直是人们追求的目标。
　　《网络与信息安全前沿技术丛书：网络协议逆向分析及应用》是国内全面介绍自动化网络协议逆向分析及应用的学术专著，反映了协议逆向分析领域的新研究成果，可作为从事软件及协议逆向分析、网络管理、网络安全与对抗等方向的教学、科研及工程技术人员的参考书。

内页插图

第1章绪论
1．1 协议
1．1．1 定义
1．1．2 网络体系结构
1．2 协议分析
1．2．1 应用需求
1．2．2 协议逆向工程
参考文献

第2章协议设计原理
2．1 协议模型
2．2 协议设计的基本内容
2．2．1 协议的通信环境
2．2．2 协议提供的服务
2．2．3 协议功能
2．2．4 协议元素
2．3 差错控制技术
2．3．1 差错类型
2．3．2 差错检测技术
2．3．3 报文丢失、重复、失序处理技术
2．3．4 差错控制与层次的关系
2．4 典型协议
2．4．1 HDLC协议
2．4．2 PPP协议
2．4．3 IP协议
2．4．4 TCP协议
2．4．5 HTTP协议
2．5 总结与展望
参考文献

第3章协议规范描述模型
3．1 概述
3．2 协议规范描述需求分析
3．3 高阶属性方法
3．3．1 协议格式分析
3．3．2 高阶属性文法
3．4 基于高阶属性方法的协议规范描述模型
3．5 模型实现
3．6 总结与展望
参考文献

第4章基于网络流量的协议格式逆向分析
4．1 概述
4．2 序列比对技术
4．2．1 双序列比对
4．2．2 多序列比对
4．2．3 问题分析
4．3 典型报文序列分析方法
4．3．1 PI
4．3．2 PEXT
4．3．3 BFS
4．3．4 ScriptGen
4．3．5 Discoverel
4．3．6 Automaton
4．3．7 Netzob
4．4 基于递归聚类的协议格式提取方法
4．4．1 基本块划分
4．4．2 递归分析
4．4．3 报文结构信息分析
4．4．4 语义及取值约束推断
4．4．5 算法复杂度分析
4．5 人工知识在逆向分析中的应用
4．5．1 人工知识
4．5．2 半自动协议逆向分析
4．6 RPRA实现
4．6．1 输入模块
4．6．2 自动分析模块
4．6．3 输出模块
4．6．4 纠正模块
4．7 应用实例
4．7．1 样本集的获取
4．7．2 数据预处理
4．7．3 已知协议分析
4．8 总结与展望
参考文献

第5章动态二进制程序分析技术
5．1 概述
5．2 动态污点分析技术
5．2．1 动态污点分析的原理
5．2．2 污点属性的传播特征
5．2．3 动态污点分析技术的应用
5．3 动态符号执行技术
5．3．1 符号执行的原理
5．3．2 符号执行技术的局限
5．3．3 动态符号执行的原理及应用
5．4 二进制分析平台简介
5 4 1Intel Pin
5．4．2 BltBlaze
5．4．3 其他二进制分析平台
5．5 总结与展望
参考文献

第6章基于执行轨迹的协议格式逆向分析
6．1 概述
6．2 典型指令序列分析方法
6．2．1 Polyglot
6．2．2 AutoFormat
6．2．3 Tupni
6．2．4 Prospex
6．2．5 ReFormat
6．2．6 Dispatcher
6．3 基于混合符号执行的协议格式提取方法
6．3．1 概述
6．3．2 基本思想
6．3．3 基于中间语言的混合符号执行技术
6．3．4 语义解析层次的协议格式提取技术
6．3．5 原型实现及应用
6．4 总结与展望
参考文献

第7章协议状态机推断技术
7．1 概述
7．2 基本定义
7．3 状态机推断技术研究现状
7．3．1 基于指令序列的状态机推断研究
7．3．2 基于报文序列的状态机推断研究
7．3．3 两类方法的比较
7．4 测试驱动状态融合的协议状态机推断方法-
7．4．1 状态融合问题分析
7．4．2 方法概述
7．4．3 初始状态机构造
7．4．4 状态匹配与融合
7．4．5 状态融合验证
7．4．6 实例分析
7．5 基于域知识的协议状态机主动推断算法
7．5．1 概述
7．5．2 L+N算法
7．5．3 基于强顺序约束关系的output query过滤机制
7．5．4 基于EPTT的output query预响应机制
7．5．5 基于正例样本变异的equivalence queor近似判定算法
7．5．6 实例分析
7．6 总结与展望
参考文献

第8章协议逆向分析的应用
8．1 概述
8．2 Fuzzing测试技术
8．3 基于模型的Fuzzing技术面临的问题
8．3．1 数据格式的描述
8．3．2 测试用例的生成
8．4 文法驱动的Fuzzing测试技术
8．4．1 文法分析树的构造
8．4．2 测试节点的选择
8．4．3 基于语义的测试用例生成
8．5 应用实例
8．6 总结与展望
参考文献

附录缩略语

前言/序言

　　协议是计算机网络和分布式系统中各种通信实体间相互交换信息时必须遵守的一组规则或约定，这些规则明确规定了所交换的数据格式及有关的同步问题，从而保证了通信双方有条不紊、可靠地交换信息。自从英格兰国家物理实验室（National Physical Laboratory，NPL）的R.A.Scantlebury和K.A.BaItlett在1967年将“协议”（protocol）一词用于描述数据通信过程以来，已有大量通信协议出现并被标准化，广泛用于各种各样的网络和通信应用中。比较著名的网络协议有TCP/IP协议栈中的一系列协议，如lP、TCP、UDP、POP3、SMTP、HTTP协议等。
　　除了大量标准化的通信协议外，网络中还存在大量私有协议（也称为未知协议），各软件厂商或个人出于经济利益、安全、隐私等因素的考虑，并没有公开协议细节；一些恶意软件也采用了自己的私有协议防止被跟踪和分析。
　　网络协议规范对于网络管理、网络攻防有着重要意义。从网络管理的角度看，识别网络流量使用的传输协议对于提高网络服务质量、了解网络运行状态、监控恶意网络应用具有重要意义。从网络攻击的角度来看，假冒攻击、网络监听等主动和被动攻击技术都需要以协议格式为前提。从网络防护的角度看，识别软件使用的通信协议、分析软件间网络交互报文是软件安全性分析、漏洞挖掘、流量控制和网络安全策略制定等工作的重要内容。而对于迅速传播的蠕虫、僵尸程序、木马等恶意软件，快速分析其通信协议、掌握其命令控制方式更是对恶意软件做出及时反应的关键步骤。因此，以网络协议为主要研究对象的协议分析技术应运而生。
　　协议分析技术主要分为两大类，一类是对已知协议的识别与分析，另一类是对未知协议的逆向分析。前者以协议特征（如协议格式特征、端口特征、流量特征等）为基础，识别应用使用的通信协议并根据协议规范对协议报文进行分析，其前提是协议规范已知。后者则是在协议特征未知的条件下，通过协议报文或协议软件执行过程分析得到协议规范（包括协议格式和协议状态机），即协议逆向分析。
　　协议逆向工程（ProtocolReverseEngineering），是指在不依赖于协议描述的情况下，通过对协议实体的网络输入／输出、系统行为和指令执行流程进行监控和分析，提取协议语法、语义和同步信息的过程，是工程化的协议逆向分析方法。人工方式的协议逆向虽然取得了较为理想的效果，但其过程冗长耗时、费力，且准确率依赖于分析人员的经验。随着网络规模的扩大和应用种类的增多，对协议逆向的准确性和时效性的要求越来越高，自动化的协议逆向分析技术成为人们追求的目标。
　　在江苏省自然科学基金项目“协议逆向工程关键技术研究”以及军队有关项目资助下，解放军理工大学协议逆向分析课题组经过多年研究，在自动化的协议逆向分析方面取得了一些研究成果。这些研究成果以及国内外在协议逆向分析方向的新研究进展形成了本书的主体内容。
　　全书共8章，主要介绍协议逆向分析原理及应用技术。第1章绪论，主要介绍协议、协议逆向工程等相关概念、研究现状。第2章主要介绍协议设计原理，内容包括协议设计模型、内容、差错控制技术以及典型协议简介等，以此作为协议逆向分析的背景知识。第3章主要介绍协议规范描述模型，内容涉及协议逆向分析对协议规范描述模型的要求、著者提出的基于高阶属性文法的协议规范描述模型，这部分内容是一体化的协议逆向分析技术的基础。协议格式逆向分析主要有两种方法：基于网络流量的协议格式逆向分析和基于执行轨迹的协议格式逆向分析。第4章主要介绍基于网络流量的协议格式逆向分析，内容包括该方法的一般原理、研究现状、著者提出的基于递归聚类的协议格式提取方法、人工知识在逆向分析中的应用等。第5章主要介绍动态二进制程序分析技术，内容包括动态污点分析、动态符号执行技术以及常见的二进制程序分析平台，本章是基于执行轨迹的协议格式逆向分析技术的基础。第6章介绍基于执行轨迹的协议格式逆向分析方法，包括该方法的一般原理、研究现状以及作者在此方向上的研究成果。第7章介绍协议状态机推断技术，包括状态机推断原理、研究现状以及著者提出的两种状态机推断方法。第8章以针对网络协议的模糊测试技术为例，介绍网络协议逆向分析技术的应用。
网络与信息安全前沿技术丛书：网络协议逆向分析及应用 [Network Protocol Reverse Analysis and Application] 下载 mobi epub pdf txt 电子书格式