CN113489603B - Interactive background flow generation method and system in network target range - Google Patents
Interactive background flow generation method and system in network target range Download PDFInfo
- Publication number
- CN113489603B CN113489603B CN202110684121.2A CN202110684121A CN113489603B CN 113489603 B CN113489603 B CN 113489603B CN 202110684121 A CN202110684121 A CN 202110684121A CN 113489603 B CN113489603 B CN 113489603B
- Authority
- CN
- China
- Prior art keywords
- flow
- node
- request message
- interactive
- file
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Active
Links
Classifications
-
- H—ELECTRICITY
- H04—ELECTRIC COMMUNICATION TECHNIQUE
- H04L—TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
- H04L41/00—Arrangements for maintenance, administration or management of data switching networks, e.g. of packet switching networks
- H04L41/14—Network analysis or design
- H04L41/145—Network analysis or design involving simulating, designing, planning or modelling of a network
-
- Y—GENERAL TAGGING OF NEW TECHNOLOGICAL DEVELOPMENTS; GENERAL TAGGING OF CROSS-SECTIONAL TECHNOLOGIES SPANNING OVER SEVERAL SECTIONS OF THE IPC; TECHNICAL SUBJECTS COVERED BY FORMER USPC CROSS-REFERENCE ART COLLECTIONS [XRACs] AND DIGESTS
- Y02—TECHNOLOGIES OR APPLICATIONS FOR MITIGATION OR ADAPTATION AGAINST CLIMATE CHANGE
- Y02D—CLIMATE CHANGE MITIGATION TECHNOLOGIES IN INFORMATION AND COMMUNICATION TECHNOLOGIES [ICT], I.E. INFORMATION AND COMMUNICATION TECHNOLOGIES AIMING AT THE REDUCTION OF THEIR OWN ENERGY USE
- Y02D30/00—Reducing energy consumption in communication networks
- Y02D30/50—Reducing energy consumption in communication networks in wire-line communication networks, e.g. low power modes or reduced link rate
Landscapes
- Engineering & Computer Science (AREA)
- Computer Networks & Wireless Communication (AREA)
- Signal Processing (AREA)
- Data Exchanges In Wide-Area Networks (AREA)
Abstract
The invention discloses a method and a system for generating interactive background flow in a network target range, and belongs to the technical field of network security. In the method, an interactive flow generator is deployed on a target range virtual node, communication opponents, roles and background flow files are configured for any two nodes needing to apply flow in a target range scene, and the nodes load the appointed background flow files and analyze the flow after receiving a simulation instruction; the node serving as the client role analyzes the request message and replaces the IP and then sends the request message to the server node, and the server node analyzes the corresponding response message and replaces the IP to reply, so that the flow interaction phenomenon between two intercommunication nodes in the real network is simulated. Compared with the prior art, the invention does not need extra flow generation nodes, reduces the occupation of scene resources, can simulate real network flow interactive response according to real flow files, and improves the high simulation of the environment simulation of the target range.
Description
Technical Field
The invention relates to a method and a system for generating interactive background flow in a network target range, and belongs to the technical field of network security.
Background
The network target range is a simulation of a real network environment based on a virtualization technology and is used as a platform for supporting network space safety technology verification, network weapon equipment test, attack and defense countermeasure exercise and network risk assessment. In the actual use of the network target range, a plurality of virtual machines are operated, the virtual machines are communicated with each other through a network, and background traffic needs to be applied between the two virtual machines to simulate complex network behaviors in real life.
The manner of generating traffic in the network target range is shown in fig. 1, an independent network environment application scene is virtualized in a network target range platform, at least two nodes including a node 1 and a node 2 exist in the scene, and a traffic generation node (capable of generating background traffic) is started by default when the scene is started generally and used for simulating real traffic, the platform issues an instruction to the traffic generation node, and after receiving the instruction, the platform sends the designated background traffic to a target machine respectively, so that the background traffic is received in the node 1 and the node 2.
The existing flow generation mode has the following problems: 1. the background traffic sent in the network environment is unidirectional traffic, i.e. traffic from the traffic generating node to the target node, and traffic interaction behavior between the two nodes cannot be reflected. 2. The target node has no corresponding software or network environment, and the background flow operation has no feedback, so that the reality of the simulated flow is affected. 3. In the scene starting process, additional traffic generating nodes are required to be started for generating traffic, so that the resource consumption in the scene starting process is increased, and the resource waste is caused.
Disclosure of Invention
The invention aims to: aiming at the problems existing in the prior art, the invention aims to provide an interactive background flow generation method and system in a network target range, which simulate real network flow interactive response by arranging a flow generator in a virtual node, thereby improving high simulation of the target range environment simulation.
The technical scheme is as follows: in order to achieve the above object, the present invention provides a method for generating interactive background traffic in a network target range, comprising the following steps:
(1) In the process of starting a node of a virtual scene, deploying an interactive flow generator on the node;
(2) Sending a simulation instruction to at least one pair of intercommunication nodes in a network target scene, and designating a communication counterpart, a role and a background flow file;
(3) After receiving the simulation instruction, the node designated as the client role loads the designated background flow file and carries out flow analysis, screens out a request message in the flow file, replaces the source IP in the request message with the IP of the cost node, and sends out the IP after replacing the destination IP with the IP of the designated communication counterpart;
(4) After receiving the simulation instruction, the node designated as the service end role loads the designated background flow file and carries out flow analysis, after receiving the request message sent by the client end node, the node is matched with the response message from the flow file, the source IP in the response message is replaced with the IP of the cost node, and the destination IP is replaced with the IP of the designated communication counterpart and then sent out;
(5) Repeating steps (3) - (4) until the specified background traffic file data is transmitted in its entirety.
Preferably, the interactive flow generator performs flow analysis according to a message protocol in a flow file, and matches each request message with a corresponding response message according to a sequence number field in the same message.
Based on the same inventive concept, the interactive background flow generation system in the network target range provided by the invention comprises an interactive flow generator deployed on a virtual node in the network target range scene and a flow simulation configuration module deployed on a network target range management platform;
the flow simulation configuration module is used for configuring at least one pair of intercommunication nodes generating interactive flow in the shooting range, and designating communication opponents, roles and background flow files for the nodes;
the interactive flow generator is used for completing deployment in the virtual scene starting process, loading a specified background flow file and carrying out flow analysis after receiving a simulation instruction, screening a request message in the flow file if a node where the interactive flow generator is positioned is configured as a client role, replacing the source IP in the request message with the IP of a cost node, and sending the request message after replacing the destination IP with the IP of a specified communication counterpart; if the node where the node is located is configured as a service end role, after receiving a request message sent by a client node, matching the request message with a response message from a flow file, replacing the IP of the cost node with the source IP in the response message, and sending the request message after replacing the destination IP with the IP of a designated communication counterpart; and the two interworking nodes finish one-time flow interaction simulation after transmitting all the data in the appointed background flow file.
Preferably, the interactive flow generator includes:
the file loading unit is used for loading the appointed background flow file;
the flow analysis unit is used for carrying out flow analysis according to a message protocol in the flow file and matching each request message with a corresponding response message according to a serial number field in the same message;
the request message processing unit is used for replacing the source IP in the request message with the IP of the node when the node is configured as a client role, and sending the request message after replacing the destination IP with the IP of the appointed communication counterpart;
the response message processing unit is used for matching the corresponding response message after receiving the request message sent by the client node when the node is configured as the service end role, replacing the source IP in the response message with the IP of the node, and sending the request message after replacing the destination IP with the IP of the appointed communication counterpart;
and the task monitoring unit is used for monitoring the simulation instruction, calling the file loading unit and the flow analysis unit after receiving the simulation instruction, and generating interactive background flow by the request message processing unit or the response message processing unit, and ending the simulation after all the data in the designated flow file are transmitted.
Based on the same inventive concept, the invention provides an interactive background traffic generation system in a network target range, which comprises a network target range management platform and at least two virtual nodes configured as a pair of intercommunication nodes, wherein the virtual nodes comprise a memory, a processor and a computer program which is stored on the memory and can run on the processor, and the computer program realizes the following steps when being loaded to the processor:
receiving a simulation instruction sent by a network target range management platform, and designating communication opponents, roles and background flow files;
when the node is designated as a client role, loading a designated background flow file, carrying out flow analysis, screening a request message in the flow file, replacing a source IP in the request message with the IP of the node, and sending the request message after replacing a destination IP with the IP of a designated communication counterpart;
when the node is designated as a service end role, loading a designated background flow file and carrying out flow analysis, after receiving a request message sent by a client node, matching a response message from the flow file, replacing the source IP in the response message with the IP of the cost node, and sending the IP after replacing the destination IP with the IP of a designated communication counterpart;
and after all the data in the specified background flow file are sent, ending the interactive flow simulation.
The beneficial effects are that: the interactive background flow generation scheme provided by the invention can apply flow in any two nodes to realize the simulation of the real network environment. Compared with the prior art, the invention has the following advantages: 1. the interactive flow generator is arranged in the virtual node of the network target scene, no additional flow generation node is needed, and occupation of scene resources is reduced. 2. According to the real flow file, the real network flow interactive response can be simulated through configuration of the intercommunication node. 3. Based on the scheme of the invention, realistic flow interference can be caused to the target and the target to be attacked, and the high simulation of the environment simulation of the target range is improved.
Drawings
Fig. 1 is a simplified diagram of a scenario in which existing network range traffic occurs.
Fig. 2 is a simplified diagram of a scenario in which traffic occurs according to an embodiment of the present invention.
Fig. 3 is a schematic diagram of an embodiment of the present invention.
Fig. 4 is a detailed timing diagram of the interactive traffic generation in an embodiment of the present invention.
Detailed Description
The technical scheme of the invention will be clearly and completely described below with reference to the accompanying drawings and specific embodiments.
As shown in fig. 2 and 3, the method for generating interactive background traffic in a network target range according to the embodiment of the present invention may apply traffic in any two virtual nodes of the target range, and promote simulation of a real network environment, and specifically includes the steps of:
(1) In the process of starting a node of a virtual scene, deploying an interactive flow generator on the node;
(2) Sending a simulation instruction to at least one pair of intercommunication nodes in a network target scene, and designating a communication counterpart, a role and a background flow file;
(3) After receiving the simulation instruction, the node designated as the client role loads the designated background flow file and carries out flow analysis, screens out a request message in the flow file, replaces the source IP in the request message with the IP of the cost node, and sends out the IP after replacing the destination IP with the IP of the designated communication counterpart;
(4) After receiving the simulation instruction, the node designated as the service end role loads the designated background flow file and carries out flow analysis, after receiving the request message sent by the client end node, the node is matched with the response message from the flow file, the source IP in the response message is replaced with the IP of the cost node, and the destination IP is replaced with the IP of the designated communication counterpart and then sent out;
(5) Repeating steps (3) - (4) until the specified background traffic file data is transmitted in its entirety.
The method of the present invention is described in detail below in connection with specific application scenarios. The virtual scene and the basic data are prepared in advance, and the background flow file used in the embodiment contains various flow information such as QQ, weChat, mail login and the like. The process of realizing interactive flow generation is shown in fig. 4, and mainly comprises the following steps:
1. the user initiates the virtual scene through a network range management platform (range platform).
2. In the process of starting the scene nodes, the interactive flow generators are installed in the respective started nodes, and no additional flow generation nodes are required to be generated, so that the waste of scene resources can be effectively reduced.
3. And waiting for starting all virtual machines in the scene to finish.
4. And the user sends a simulation instruction to the nodes of the scene through the target range platform, the source IP of the node 1 is designated as a local IP and the destination IP is designated as a node 2, the node is designated as a client end, and meanwhile, the interactive flow generator on the node can load the designated background flow file. The user can specify a plurality of pairs of interworking nodes to perform traffic interaction, and the processing method of each pair of interworking nodes is consistent, and only the node 1 and the node 2 are taken as examples for illustration.
5. The source IP of the node 2 is designated as a local IP and the destination IP is designated as a node 1, the node is designated as a server end, and meanwhile, the interactive flow generator on the node can load the designated background flow file.
6. After the flow file is loaded, the interactive flow generator analyzes the flow, the flow file contains various messages, taking QQ messages as an example, the analyzer screens out related QQ messages according to the OICQ protocol, and each request message and response message can be matched through a sequence field in the analysis message.
7. The flow generator in the client node 1 screens out the request message in the flow file, replaces the source IP in the request message with the local IP and replaces the destination IP with the appointed destination IP for sending;
8. the flow generator in the server node 2 receives the request message sent by the client node 1, filters the acquired message through the OICQ protocol and the sequence field, and sends the matched response message after the matched response message is replaced by the destination IP designated by the node 2;
9. and (3) repeating the steps 7 and 8, and transmitting all the data in the flow file, so as to simulate the flow interaction phenomenon between two interworking nodes in the real network.
Based on the same inventive concept, the interactive background flow generation system in the network shooting range provided by the embodiment of the invention comprises an interactive flow generator arranged on a virtual node in a network shooting range scene and a flow simulation configuration module arranged on a network shooting range management platform; the traffic simulation configuration module is used for configuring at least one pair of intercommunication nodes generating interactive traffic in the shooting range, and designating communication opponents, roles and background traffic files for the nodes; the interactive flow generator is used for completing deployment in the virtual scene starting process, loading a specified background flow file and carrying out flow analysis after receiving a simulation instruction, screening a request message in the flow file if a node where the interactive flow generator is positioned is configured as a client role, replacing the IP of a cost node with a source IP in the request message, and sending the IP after replacing the destination IP with the IP of a specified communication counterpart; if the node where the node is located is configured as a service end role, after receiving a request message sent by a client node, matching the request message with a response message from a flow file, replacing the IP of the cost node with the source IP in the response message, and sending the request message after replacing the destination IP with the IP of a designated communication counterpart; and the two interworking nodes finish one-time flow interaction simulation after transmitting all the data in the appointed background flow file.
Specifically, the interactive flow generator includes: the file loading unit is used for loading the appointed background flow file; the flow analysis unit is used for carrying out flow analysis according to a message protocol in the flow file and matching each request message with a corresponding response message according to a serial number field in the same message; the request message processing unit is used for replacing the source IP in the request message with the IP of the node when the node is configured as a client role, and sending the request message after replacing the destination IP with the IP of the appointed communication counterpart; the response message processing unit is used for matching the corresponding response message after receiving the request message sent by the client node when the node is configured as the service end role, replacing the source IP in the response message with the IP of the node, and sending the request message after replacing the destination IP with the IP of the appointed communication counterpart; and the task monitoring unit is used for monitoring the simulation instruction, calling the file loading unit and the flow analysis unit after receiving the simulation instruction, and generating interactive background flow by the request message processing unit or the response message processing unit, and ending the simulation after all the data in the designated flow file are transmitted.
Based on the same inventive concept, the invention provides an interactive background traffic generation system in a network target range, which comprises a network target range management platform and at least two virtual nodes configured as a pair of intercommunication nodes, wherein the virtual nodes comprise a memory, a processor and a computer program which is stored on the memory and can run on the processor, and the computer program realizes the following steps when being loaded to the processor: receiving a simulation instruction sent by a network target range management platform, and designating communication opponents, roles and background flow files; when the node is designated as a client role, loading a designated background flow file, carrying out flow analysis, screening a request message in the flow file, replacing a source IP in the request message with the IP of the node, and sending the request message after replacing a destination IP with the IP of a designated communication counterpart; when the node is designated as a service end role, loading a designated background flow file and carrying out flow analysis, after receiving a request message sent by a client node, matching a response message from the flow file, replacing the source IP in the response message with the IP of the cost node, and sending the IP after replacing the destination IP with the IP of a designated communication counterpart; and after all the data in the specified background flow file are sent, ending the interactive flow simulation.
Claims (6)
1. The interactive background flow generation method in the network target range is characterized by comprising the following steps of:
(1) In the process of starting a virtual node of a virtual scene, deploying an interactive flow generator on the virtual node;
(2) Sending a simulation instruction to at least one pair of intercommunication virtual nodes in a network target scene, and designating a communication counterpart, a role and a background flow file;
(3) After receiving the simulation instruction, the virtual node designated as the client role loads the designated background flow file and performs flow analysis, screens out the request message in the flow file, replaces the source IP in the request message with the IP of the cost node, and sends out the IP after replacing the destination IP with the IP of the designated communication counterpart;
(4) After receiving the simulation instruction, the virtual node designated as the service end role loads the designated background flow file and carries out flow analysis, after receiving the request message sent by the client end node, the virtual node is matched with the response message from the flow file, the source IP in the response message is replaced with the IP of the cost node, and the destination IP is replaced with the IP of the designated communication counterpart and then sent out;
(5) Repeating steps (3) - (4) between each pair of interworking virtual nodes until the designated background traffic file data is completely transmitted.
2. The method for generating interactive background traffic in a network target range according to claim 1, wherein the interactive traffic generator performs traffic analysis according to a message protocol in a traffic file, and matches each request message with a corresponding response message according to a sequence number field in the same message.
3. An interactive background flow generation system in a network target range is characterized by comprising an interactive flow generator deployed on a virtual node in a network target range scene and a flow simulation configuration module deployed on a network target range management platform;
the flow simulation configuration module is used for configuring at least one pair of intercommunication virtual nodes generating interactive flow in the shooting range, and designating communication opponents, roles and background flow files for the virtual nodes;
the interactive flow generator is used for completing deployment in the virtual scene starting process, loading a specified background flow file and carrying out flow analysis after receiving a simulation instruction, screening out a request message in the flow file if a virtual node where the interactive flow generator is positioned is configured as a client role, replacing the source IP in the request message with the IP of a cost node, and sending the request message after replacing the destination IP with the IP of a specified communication counterpart; if the virtual node is configured as a service end role, after receiving a request message sent by a client node, matching the request message with a response message from a flow file, replacing the source IP in the response message with the IP of the cost node, and sending the request message after replacing the destination IP with the IP of the appointed communication counterpart; and after all the data in the appointed background flow file are sent by each pair of intercommunication virtual nodes, the flow interaction simulation is finished once.
4. An interactive background traffic generating system in a network target range according to claim 3, wherein the interactive traffic generator comprises:
the file loading unit is used for loading the appointed background flow file;
the flow analysis unit is used for carrying out flow analysis according to a message protocol in the flow file and matching each request message with a corresponding response message according to a serial number field in the same message;
the request message processing unit is used for replacing the source IP in the request message with the IP of the node when the node is configured as a client role, and sending the request message after replacing the destination IP with the IP of the appointed communication counterpart;
the response message processing unit is used for matching the corresponding response message after receiving the request message sent by the client node when the node is configured as the service end role, replacing the source IP in the response message with the IP of the node, and sending the request message after replacing the destination IP with the IP of the appointed communication counterpart;
and the task monitoring unit is used for monitoring the simulation instruction, calling the file loading unit and the flow analysis unit after receiving the simulation instruction, and generating interactive background flow by the request message processing unit or the response message processing unit, and ending the simulation after all the data in the designated flow file are transmitted.
5. An interactive background traffic generating system in a network range, comprising a network range management platform and at least two virtual nodes configured as a pair of interworking nodes, the virtual nodes comprising a memory, a processor and a computer program stored on the memory and executable on the processor, the computer program when loaded into the processor implementing the steps of:
receiving a simulation instruction sent by a network target range management platform, and designating communication opponents, roles and background flow files;
when the virtual node is designated as a client role, loading a designated background flow file, carrying out flow analysis, screening a request message in the flow file, replacing a source IP in the request message with the IP of the node, and sending the request message after replacing a destination IP with the IP of a designated communication counterpart;
when the virtual node is designated as a service end role, loading a designated background flow file and carrying out flow analysis, after receiving a request message sent by a client node, matching a response message from the flow file, replacing the IP of a cost node with a source IP in the response message, and sending the IP after replacing the destination IP with the IP of a designated communication counterpart;
and between each pair of intercommunication virtual nodes, after all data in the appointed background flow file are transmitted, ending the interactive flow simulation.
6. The interactive background traffic generation system according to claim 5, wherein the traffic analysis is performed according to a message protocol in the traffic file, and each request message and the corresponding response message are matched according to a sequence number field in the same message.
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN202110684121.2A CN113489603B (en) | 2021-06-21 | 2021-06-21 | Interactive background flow generation method and system in network target range |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN202110684121.2A CN113489603B (en) | 2021-06-21 | 2021-06-21 | Interactive background flow generation method and system in network target range |
Publications (2)
| Publication Number | Publication Date |
|---|---|
| CN113489603A CN113489603A (en) | 2021-10-08 |
| CN113489603B true CN113489603B (en) | 2023-07-25 |
Family
ID=77934155
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| CN202110684121.2A Active CN113489603B (en) | 2021-06-21 | 2021-06-21 | Interactive background flow generation method and system in network target range |
Country Status (1)
| Country | Link |
|---|---|
| CN (1) | CN113489603B (en) |
Families Citing this family (4)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN114064060A (en) * | 2021-11-29 | 2022-02-18 | 安天科技集团股份有限公司 | Background flow generation method and device, computing equipment and storage medium |
| CN114629682B (en) * | 2022-02-09 | 2023-06-09 | 烽台科技（北京）有限公司 | Industrial control network target range allocation method, device, terminal and storage medium |
| CN115277440B (en) * | 2022-05-09 | 2023-08-22 | 南京赛宁信息技术有限公司 | Method and system for generating mixed flow in network target range |
| CN117749639B (en) * | 2024-02-19 | 2024-05-31 | 南京赛宁信息技术有限公司 | Automatic network target range flow generation method and system |
Citations (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN108939550A (en) * | 2018-06-26 | 2018-12-07 | 魔力小鸟（北京）信息技术有限公司 | The system of simulated environment and virtual role Interactive control and visualized management |
-
2021
- 2021-06-21 CN CN202110684121.2A patent/CN113489603B/en active Active
Patent Citations (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN108939550A (en) * | 2018-06-26 | 2018-12-07 | 魔力小鸟（北京）信息技术有限公司 | The system of simulated environment and virtual role Interactive control and visualized management |
Non-Patent Citations (1)
| Title |
|---|
| 赵瑜、吴承荣、严明.基于LoadRunner的定制化业务背景流量生成***.计算机工程.2020,第10卷(第46期),231-239. * |
Also Published As
| Publication number | Publication date |
|---|---|
| CN113489603A (en) | 2021-10-08 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| CN113489603B (en) | Interactive background flow generation method and system in network target range | |
| CN109525461B (en) | Network equipment testing method, device, equipment and storage medium | |
| CN108121654B (en) | Software large-scale test method based on Docker | |
| CN111708702A (en) | Simulation test method, client, server, system and readable storage medium | |
| JP2014506045A (en) | Network stimulation engine | |
| KR101056682B1 (en) | A weapon simulation system and the same method based on the component | |
| CN105404580B (en) | Distributed pressure testing system and method | |
| CN107168844B (en) | Performance monitoring method and device | |
| CN113645314B (en) | Private cloud deployment method and server | |
| CN112767135A (en) | Rule engine configuration method and device, storage medium and computer equipment | |
| CN112767133A (en) | Service decision method and device, storage medium and computer equipment | |
| Berger et al. | Does my bft protocol implementation scale? | |
| CN111756853A (en) | RPA simulation training method and device, computing equipment and storage medium | |
| CN112994954B (en) | Network test system, test network construction method and device | |
| CN112398857B (en) | Firewall testing method, device, computer equipment and storage medium | |
| KR100811468B1 (en) | System and method for ensuring stability of server application by load test | |
| Hine et al. | Scalable emulation of enterprise systems | |
| CN113535572B (en) | Service virtualization device and method | |
| CN109508193A (en) | A kind of application deployment operation method, device, terminal device and medium | |
| CN111221687B (en) | Cloud storage testing system and method | |
| CN111082984A (en) | Method and device for simulating login of network equipment to carry out command line interaction | |
| CN116361150B (en) | Method, device and system for testing vehicle in whole vehicle simulation environment | |
| CN114416106B (en) | Method, system, electronic device and storage medium for updating compiling count value | |
| CN110311977A (en) | A kind of formal verification platform and its method based on cloud computing | |
| Berger et al. | Simulating BFT Protocol Implementations at Scale |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| PB01 | Publication | ||
| PB01 | Publication | ||
| SE01 | Entry into force of request for substantive examination | ||
| SE01 | Entry into force of request for substantive examination | ||
| GR01 | Patent grant | ||
| GR01 | Patent grant |