域名系统可达性分析取得突破

研究人员首次提出了一种用于验证域名系统（DNS）的判定过程，并确定其复杂度为2ExpTime。该研究通过形式化DNS语义，并使用一种新颖的基于正前缀可测试语言的抽象方法，将DNS验证问题简化为对下推系统的验证问题。该方法能够有效建模DNS中的攻击向量，例如放大攻击和重写黑洞攻击，为保障DNS安全性和可靠性提供了新的理论基础。