Network configuration updates are frequent nowadays to adapt to the rapid evolution of
networks. To ensure the safety of the configuration update, network verification can be used …

Network verification has been proposed to help network operators eliminate the outage or
security issues caused by misconfigurations. Recent studies have proposed SMT-based …

The exponential growth of smart devices and network scale has led to a rapid increase in
network traffic, posing severe challenges to network resource utilisation and transmission …

The Internet has evolved from a hierarchical and multi-tiered interconnection network to a
meshed network, where autonomous systems (ASes) are interconnected with a dense …

In an interdomain network, autonomous systems (ASes) often establish peering agreements,
so that one AS (agreement consumer) can influence the routing policies of the other AS …

互联网作为国家信息基础设施的重要组成部分, 已经在各个领域发挥着巨大的作用.
随着其规模不断扩大和应用持续深入, 我们也面临着意图不一致的网络行为可能导致的灾难性 …

Container networks have become crucial to the overall performance and health of network
systems due to the increasing adoption of container technologies. Passive per-packet and …

Satisfiability Modulo Theories (SMT) based network configuration verification tools are
powerful tools in preventing network configuration errors. However, their fundamental …

The stable path problem (SPP) is a unified model for analyzing the convergence of
distributed routing protocols (eg, BGP), and a foundation for many network verification tools …

In today's hyperconnected world, where every aspect of our lives is intertwined with the
Internet, ensuring the reliability, security, and seamless functionality of networks is …