Bazan Eixarch, Ezequiel, et al. “A Formal Specification of the DNSSEC Model”. Electronic Communications of the EASST, vol. 48, Mar. 2013, doi:10.14279/tuj.eceasst.48.797.