News Score: Score the News, Sort the News, Rewrite the Headlines

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

© News Score  score the news, sort the news, rewrite the headlines