Bazan Eixarch, Ezequiel, Gustavo Betarte, and Carlos Luna. 2013. “A Formal Specification of the DNSSEC Model”. Electronic Communications of the EASST 48 (March). https://doi.org/10.14279/tuj.eceasst.48.797.