Unlock instant, AI-driven research and patent intelligence for your innovation.

A formal description tool for network protocols in the environment of Android system

A formal description and network protocol technology, applied in transmission systems, electrical components, program control devices, etc., can solve problems such as network traffic restrictions and system impact, and achieve the effect of small impact

Inactive Publication Date: 2017-05-17
XINJIANG UNIVERSITY
View PDF3 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

Existing systems or tools usually have certain restrictions on network traffic, and at the same time have a greater impact on the installed system, thus limiting the application

Method used

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
View more

Image

Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
  • A formal description tool for network protocols in the environment of Android system
  • A formal description tool for network protocols in the environment of Android system
  • A formal description tool for network protocols in the environment of Android system

Examples

Experimental program
Comparison scheme
Effect test

Embodiment

[0068] 1. Android-based network data collection

[0069] The Android-based network data acquisition module mainly filters and captures network data packets. The Tcpdump tool is used to realize the collection and management functions of data packets. The process is as follows:

[0070] (1) Upload Tcpdump to the / system / bin / folder of the mobile phone, and grant permission to Tcpdump, that is, run the command adb shell chmod 6755 / system / bin / Tcpdump

[0071] (2) To run Tcpdump, the premise is that the operating system has obtained root privileges, otherwise Tcpdump cannot capture data packets. Following is the command to capture packets.

[0072] adb shell Tcpdump -i any -p -s 0 -w / sdcard / capture.pcap

[0073] # "-i any": listen on any network interface

[0074] # "-p": disable promiscuous mode (doesn't work anyway)

[0075] # "-s 0": capture the entire packet

[0076] # "-w": write packets to a file (rather than printing to stdout)

[0077] (3) After the packet is capt...

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More

PUM

No PUM Login to View More

Abstract

The invention relates to a network protocol formalization description tool under an Android system environment and belongs to the field of computer networks. The network protocol formalization description tool comprises a set of protocol description and analysis flows and a tool chain and comprises a network data packet capturing module under an Android environment, a protocol formalization description analysis module and a data packet content analysis module, and a protocol analysis result is finally displayed. The tool is specifically implemented by defining a formalization description language analysis flow and key function of a typical network protocol and by virtue of a flow and element definition of data packet content analysis and a key function definition. The network protocol formalization description tool is applied to the field of relevant research and application for real-time network condition analysis, protocol quality analysis and safety analysis under an Android operating system. A network data packet can be captured under a normal flow condition, the system is slightly influenced by program design, and the formalization description operation of a data packet protocol can be normally and smoothly completed.

Description

technical field [0001] The present invention relates to the field of computer networks, in particular to protocol engineering, Android operating system, and formalized description of network protocols, especially to a formalized description tool for network protocols in an Android system environment, which is a network protocol form in an Android system environment Description and analysis methods, as well as protocol formal analysis tools based on this. Background technique [0002] The Android (Android) operating system is an open source mobile operating system based on the Linux platform announced by Google in November 2007. It adopts a software stack architecture and is mainly divided into three parts: the bottom layer is based on the work of the Linux kernel and is developed by C language. Only basic functions are provided; the middle layer includes function libraries and virtual machines, which are developed in C++; the upper layer is various application software, whic...

Claims

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More

Application Information

Patent Timeline
no application Login to View More
Patent Type & Authority Patents(China)
IPC IPC(8): G06F9/44H04L29/06
Inventor 努尔布力解男男高程阿洪阿吉黄春虎沙利瓦尔杨志伟王宁王浩
Owner XINJIANG UNIVERSITY