A Formal Specification of the DNSSEC Model. - Ezequiel Bazan Eixarch; Gustavo Betarte; Carlos Daniel Luna (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011)