Bazan Eixarch, Ezequiel, Gustavo Betarte, and Carlos Luna. “A Formal Specification of the DNSSEC Model”.
Electronic Communications of the EASST
48 (March 17, 2013). Accessed July 29, 2025. https://www.eceasst.org/index.php/eceasst/article/view/2017.