公开(公告)号：CN104360836B

公开(公告)日：2017-05-17

申请号：CN201410542038.1

申请日：2014-10-15

Applicant: 新疆大学

Inventor： 努尔布力 ,  解男男 ,  高程 ,  阿洪阿吉 ,  黄春虎 ,  沙利瓦尔 ,  杨志伟 ,  王宁 ,  王浩

IPC: G06F9/44 ,  H04L29/06

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

公开(公告)号：CN104360836A

公开(公告)日：2015-02-18

申请号：CN201410542038.1

申请日：2014-10-15

Applicant: 新疆大学

Inventor： 努尔布力 ,  解男男 ,  高程 ,  阿洪阿吉 ,  黄春虎 ,  沙利瓦尔 ,  杨志伟 ,  王宁 ,  王浩

IPC: G06F9/44 ,  H04L29/06

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