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 December 5, 2025. https://eceasst.org/index.php/eceasst/article/view/2017.