Bazan Eixarch, E.; Betarte, G.; Luna, C. A Formal Specification of the DNSSEC Model. eceasst 2013, 48.