Bazan Eixarch, E., Betarte, G. and Luna, C. (2013) “A Formal Specification of the DNSSEC Model”, Electronic Communications of the EASST, 48. doi: 10.14279/tuj.eceasst.48.797.