Reachability Analysis of the Domain Name System
View PDF
HTML (experimental)
Abstract:The high complexity of DNS poses unique challenges for ensuring its security and reliability. Despite continuous advances in DNS testing, monitoring, and verification, protocol-level defects still give rise to numerous bugs and attacks. In this paper, we provide the first decision procedure for the DNS verification problem, establishing its complexity as $\mathsf{2ExpTime}$, which was previously unknown.
We begin by formalizing the semantics of DNS as a syst...
Read more at arxiv.org