Method for analyzing safety defect of network protocol

A technology for network protocol security and defect analysis, applied in electrical components, transmission systems, etc., can solve problems such as the lack of formalization of idealized steps, the lack of formalization of the determination of initial assumptions, and the lack of semantic basis for BAN logic.
CN102104609BInactive Publication Date: 2013-06-19TIANJIN UNIV
4 Cites 1 Cited by

Patent Information

Authority / Receiving Office
CN · China
Patent Type
Patents(China)
Current Assignee / Owner
TIANJIN UNIV
Publication Date
2013-06-19
Estimated Expiration
Not applicable · inactive patent

Smart Images

  • Figure 1
    Figure 1
  • Figure 2
    Figure 2
  • Figure 3
    Figure 3
Patent Text Reader

Abstract

The invention discloses a method for analyzing the safety defect of a network protocol, and relates to the field of safety software engineering. The method comprises the following steps of: analyzing and summarizing the network protocol, and extracting resources, behaviors and harms of the protocol to model the network protocol so as to form an attack rule graph; analyzing all combinations of nodes and parameters in the attack rule graph according to the attack rule graph, and finding out at least one potential attack model; improving a rule knowledge library by using a reasoning mode; and formalizing the attack model in the improved rule knowledge library to establish an alleviation scheme corresponding to the attack model, and finally generating a network protocol attack analysis report. The method provided by the invention is more intelligent; on the protocol modeling aspect, the protocol can be better understood by a computer so as to extract effective information; and the background reasoning is performed based on the rule knowledge library, so that the shortcoming of the prior art is overcome, and the demand in actual application can be met.
Need to check novelty before this filing date? Find Prior Art

Description

technical field

[0001] The present invention is based on secure software engineering, and in particular relates to a network protocol security defect analysis method. The method aims at network protocol security defects and attacks, and proposes a formal analysis method based on protocol modeling for attack discovery. The underlying formal modeling uses reasoning in the field of artificial intelligence, combined with knowledge rules, to obtain protocol defects and corresponding attack modes. Background technique

[0002] Network protocols are rules and conventions that control computer information exchange on network transmission media. In a computer network, two entities that communicate with each other are located in different geographical locations. The two entities communicate with each other and coordinate their actions by exchanging information to achieve synchronization. The information exchange must follow a pre-agreed process. Network protocols generally include th...

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