Author:
Yang Hongkun,Lam Simon S.
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Subject
Electrical and Electronic Engineering,Computer Networks and Communications,Computer Science Applications,Software
Cited by
58 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Lightweight and Fast Network Verification Platform for Cloud Data Center Networks;Proceedings of the SIGCOMM Workshop on Formal Methods Aided Network Operation;2024-08-04
2. Accelerating ACL Configuration Update through Data Plane Analysis;Proceedings of the SIGCOMM Workshop on Formal Methods Aided Network Operation;2024-08-04
3. Relational Network Verification;Proceedings of the ACM SIGCOMM 2024 Conference;2024-08-04
4. Rethinking DNS Configuration Verification with a Distributed Architecture;Proceedings of the 8th Asia-Pacific Workshop on Networking;2024-08-03
5. A Two-Fold Traffic Flow Model for Network Security Management;IEEE Transactions on Network and Service Management;2024-08