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

Network reachability solving method based on formalized verification

A formal verification and accessibility technology, applied in the field of network reachability solution based on formal verification, which can solve problems such as high time complexity of verification algorithms, no good solutions to other problems, and needs to be optimized, etc. Achieve low time and space complexity, high scalability and reusability, ensure correctness and logical completeness

Active Publication Date: 2022-01-18
ZHEJIANG UNIV
View PDF5 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0009] (b) The verification algorithm has high time complexity and needs to be optimized;
[0010] (c) The function of the solver has limitations. Even if a certain solver is feasible for a certain problem, it may not be able to have a good solution for other problems

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
  • Network reachability solving method based on formalized verification
  • Network reachability solving method based on formalized verification
  • Network reachability solving method based on formalized verification

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0031] Virtual private cloud (Virtual Private Cloud, hereinafter referred to as VPC), builds an isolated, user-configured and managed virtual network environment for resources such as cloud servers, cloud containers, and cloud databases, which can improve the security of user cloud resources and simplify user network deployment. In order to make the purpose and effect of the present invention clearer, the following will take VPC as an example of network environment, and describe the specific implementation manner of the present invention in detail according to the accompanying drawings and preferred embodiments. It should be understood that the specific embodiments described here are only used to explain the present invention, not to limit the present invention.

[0032] combine figure 1 and figure 2 , the embodiment of the present invention provides a method for solving the reachability of a virtual private cloud network based on formal verification, including the followin...

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 discloses a network reachability solving method based on formalized verification, and the method comprises the steps: carrying out the abstract modeling of a network reachability problem, carrying out the specific modeling and refinement based on a set through semantic equivalence, and achieving the network reachability solving through logic equivalence conversion. The formalized verification can ensure that the method can correctly and effectively solve the reachability problem of the network model. According to the method, the correctness and logic completeness of the reachability solving method are ensured through mathematical reasoning by means of a form verification tool. Compared with a traditional case coverage test scheme, the correctness and effectiveness of the network reachability method are ensured based on the formalized verification method.

Description

technical field [0001] The invention relates to the field of formal methods, in particular to a method for solving network accessibility based on formal verification. Background technique [0002] With the development of big data and cloud technology, Internet companies provide users with many cloud services. Individual users and enterprise users can build private clouds on cloud servers and realize independent configuration of network configuration. In this virtual private cloud environment, users have high security requirements for the deployed network services, and the self-designed network configuration and rules need to meet the actual needs of users, in order to prevent users from setting blacklists. The conditions in which the host can access the deployed network, etc. [0003] Network reachability means that on a certain network, host A can reach host B, if and only if there is a physical path, a data packet (such as IP, TCP, UDP, etc.) can be found to be sent from ...

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 Applications(China)
IPC IPC(8): H04L43/50H04L43/08H04L41/14H04L41/142H04L9/40
CPCH04L43/50H04L43/08H04L41/145H04L41/142H04L63/0272
Inventor 常瑞赵永望张卓若王聪李荣泰任奎
Owner ZHEJIANG UNIV