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 November 21, 2024. https://eceasst.org/index.php/eceasst/article/view/2017.