Reachability Analysis of the Domain Name System

Dhruv Nevatia, Si Liu, David Basin

The high complexity of DNS poses unique challenges for ensuring its security and reliability. Despite continuous advances in DNS testing, monitoring, and verification, protocol-lev…