E. Bazan Eixarch, G. Betarte, and C. Luna, “A Formal Specification of the DNSSEC Model”, eceasst, vol. 48, Mar. 2013.