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.