[发明专利]安卓系统环境下的网络协议形式化描述工具

摘要

本发明涉及一种安卓系统环境下的网络协议形式化描述工具，属于计算机网络领域。包含一套协议描述和解析流程及工具链。包括安卓环境下的网络数据包捕获，协议形式化描述解析，数据包内容解析三个模块，并最终显示协议分析的结果。具体通过定义典型网络协议的形式化描述语言解析流程和关键函数，以及数据包内容解析的流程和元素类定义、关键函数定义来实现。本发明应用于Android操作系统下的实时网络情况分析，协议质量分析以及安全性分析等相关研究和应用领域。能够在正常流量情况下对网络数据包进行捕获，程序设计对系统的影响小，且能够正常顺利的完成对数据包协议形式化描述的工作。

主权项

一种安卓系统环境下的网络协议形式化描述工具，其特征在于：包括（1）基于安卓的网络数据采集模块，数据采集部分采用开源的Tcpdump工具实现，步骤包括安卓环境下Tcpdump的安装和授权方法，以及获取数据后的存储和管理方法三项；（2）协议形式化描述解析模块，包含一种四步骤的协议语言解析的流程以及两个关键函数的定义：    （2.1）程序当前路径获取；    （2.2）构造ProtocolBuilder对象；    （2.3）调用recursionPROTree函数；    （2.4）得到DOM树；    （2.5）两个关键函数定义：recursionPROTree()函数，和addToBuilderList()函数；（3）数据包内容解析模块，包括一种五步骤的数据包解析流程：    （3.1）Netpdl解析；    （3.2）获得DOM树根节点；    （3.3）查找一个协议定义的入口；    （3.4）在协议容器中创建协议；  （3.5）构造协议元素。