Abstract:Edge networks are providing services for an increasing number of companies, and they can be used for communication between edge devices and edge gateways. However, the performance of edge devices varies greatly, and it is not easy to upgrade low-performance edge devices. Therefore, cyber attackers can use the vulnerability of edge devices to implement advanced persistent threat (APT) attacks. This paper proposes a network verification framework for edge networks that can minimize the upgrades needed to strengthen edge network security. First, the communication parties use the data transmitted by the given edge network. Our method uses our proposed PacketVerifier to attach verification information to the packet after it is sent and to verify and restore the packet before it reaches the receiver. Second, due to the performance requirements of edge networks, we design a new data processing structure, namely, a sliding window double ring (SWDR), to improve the performance of strict sequential protocols in parallel validation. Finally, experimental simulations show that our parallel processing algorithm has good performance in terms of network bandwidth compared with two existing packet processing algorithms. Furthermore, the proposed packet with verification information is compatible with the existing network topology, which helps PacketVerifier establish trustworthy transmission in a zero-trust environment.

Verification of Network Interface Based on VMM

A System Verification Environment for Mixed-Signal SOC Design Based on IP Bus

Application of network-based virtual instrument technology for remote inspection of vehicle

A Generic UVM Verification Framework Based on Two-Stage Comparison for Protocol-Agnostic Data Streams in Digital Designs

Functional Verification of EPA Chip

The FCU Verification Platform Based on VMM

Design and Implementation of High-Speed Sensor Net List Mapping System

A Vera Modeling Verification Method in Integrated Circuit

A Deep Research on the Chip Verification Platform Based on Network

A Function Verification Method Based on the Models at Test Case Level

An Intelligent and Reusable Verification Platform Based on Uvm for Rfid Digital Baseband

Function Verification of Interface IP Core Based on the Restricted Random Test Bench

Hardware design of digital multimeter based on VXI bus

A networks-on-chip emulation/verification framework

Hardware Verification of 10/100 Base-T Ethernet Physical Layer

LFVeri: Network Configuration Verification for Virtual Private Cloud Networks

A Full-Featured Verification Intellectual Property and Its Application in GJB RFID Protocol

Toward Comprehensive Network Verification: Practices, Challenges and Beyond

Mahjong: A Generic Framework for Network Data Plane Verification

Design of Chip Verification Platform Based on Network

A Highly Compatible Verification Framework with Minimal Upgrades to Secure An Existing Edge Network