Rethinking DNS Configuration Verification with a Distributed Architecture

Yao Wang,Kexin Yu,Ziyi Wang,Kaiqiang Hu,Haizhou Du,Qiao Xiang,Xing Fang,Geng Li,Ruiting Zhou,Linghe Kong,Jiwu Shu
DOI: https://doi.org/10.1145/3663408.3663412
2024-01-01
Abstract:DNS misconfiguration can result in severe social and financial consequences. Existing DNS configuration verification tools employ a centralized architecture, where all zone files are collected for verification. This architecture faces significant scalability issues (e.g., the verifier becoming the performance bottleneck and not supporting incremental verification). Inspired by the recent proposal of distributed data plane verification and the resemblance between the network data plane and DNS configuration, we propose to rearchitect DNS configuration verification with a distributed design. Our key insight is that by analyzing the query processing behavior of each DNS zone file in parallel and stitching the results in a symbolic way, we can substantially scale up the verification of DNS configuration. Evaluation shows that an up to 9.51x speed up on a dataset with over 410,000 resource records while having small overhead.
What problem does this paper attempt to address?