Summary
The DNSSEC validation routines treat entire RRsets of DNSKEY records as trusted once they have established trust in only one of the DNSKEYs. As a result, if a zone includes a DNSKEY with a public key that matches a configured trust anchor, all keys in that zone will be trusted to authenticate other records in the zone. There is a second variant of this vulnerability involving DS records, where an authenticated DS record covering one DNSKEY leads to trust in signatures made by an unrelated DNSKEY in the same zone.
Details
verify_dnskey_rrset()
will return Ok(true)
if any record's public key matches a trust anchor. This results in verify_rrset()
returning a Secure
proof. This ultimately results in successfully verifying a response containing DNSKEY records. verify_default_rrset()
looks up DNSKEY records by calling handle.lookup()
, which takes the above code path. There's a comment following this that says "DNSKEYs were already validated by the inner query in the above lookup", but this is not the case. To fully verify the whole RRset of DNSKEYs, it would be necessary to check self-signatures by the trusted key over the other keys. Later in verify_default_rrset()
, verify_rrset_with_dnskey()
is called multiple times with different keys and signatures, and if any call succeeds, then its Proof
is returned.
Similarly, verify_dnskey_rrset()
returns Ok(false)
if any DNSKEY record is covered by a DS record. A comment says "If all the keys are valid, then we are secure", but this is only checking that one key is authenticated by a DS in the parent zone's delegation point. This time, after control flow returns to verify_rrset()
, it will call verify_default_rrset()
. The special handling for DNSKEYs in verify_default_rrset()
will then call verify_rrset_with_dnskey()
using each KSK DNSKEY record, and if one call succeeds, return its Proof
. If there are multiple KSK DNSKEYs in the RRset, then this leads to another authentication break. We need to either pass the authenticated DNSKEYs from the DS covering check to the RRSIG validation, or we need to perform this RRSIG validation of the DNSKEY RRset inside verify_dnskey_rrset()
and cut verify_default_rrset()
out of DNSKEY RRset validation entirely.
PoC
The proof of concepts have been integrated into the conformance test suite, as resolver::dnssec::scenarios::bogus::bogus_zone_plus_trust_anchor_dnskey
and resolver::dnssec::scenarios::bogus::bogus_zone_plus_ds_covered_dnskey
.
Impact
This impacts Hickory DNS users relying on DNSSEC verification in the client library, stub resolver, or recursive resolver.
References
Summary
The DNSSEC validation routines treat entire RRsets of DNSKEY records as trusted once they have established trust in only one of the DNSKEYs. As a result, if a zone includes a DNSKEY with a public key that matches a configured trust anchor, all keys in that zone will be trusted to authenticate other records in the zone. There is a second variant of this vulnerability involving DS records, where an authenticated DS record covering one DNSKEY leads to trust in signatures made by an unrelated DNSKEY in the same zone.
Details
verify_dnskey_rrset()
will returnOk(true)
if any record's public key matches a trust anchor. This results inverify_rrset()
returning aSecure
proof. This ultimately results in successfully verifying a response containing DNSKEY records.verify_default_rrset()
looks up DNSKEY records by callinghandle.lookup()
, which takes the above code path. There's a comment following this that says "DNSKEYs were already validated by the inner query in the above lookup", but this is not the case. To fully verify the whole RRset of DNSKEYs, it would be necessary to check self-signatures by the trusted key over the other keys. Later inverify_default_rrset()
,verify_rrset_with_dnskey()
is called multiple times with different keys and signatures, and if any call succeeds, then itsProof
is returned.Similarly,
verify_dnskey_rrset()
returnsOk(false)
if any DNSKEY record is covered by a DS record. A comment says "If all the keys are valid, then we are secure", but this is only checking that one key is authenticated by a DS in the parent zone's delegation point. This time, after control flow returns toverify_rrset()
, it will callverify_default_rrset()
. The special handling for DNSKEYs inverify_default_rrset()
will then callverify_rrset_with_dnskey()
using each KSK DNSKEY record, and if one call succeeds, return itsProof
. If there are multiple KSK DNSKEYs in the RRset, then this leads to another authentication break. We need to either pass the authenticated DNSKEYs from the DS covering check to the RRSIG validation, or we need to perform this RRSIG validation of the DNSKEY RRset insideverify_dnskey_rrset()
and cutverify_default_rrset()
out of DNSKEY RRset validation entirely.PoC
The proof of concepts have been integrated into the conformance test suite, as
resolver::dnssec::scenarios::bogus::bogus_zone_plus_trust_anchor_dnskey
andresolver::dnssec::scenarios::bogus::bogus_zone_plus_ds_covered_dnskey
.Impact
This impacts Hickory DNS users relying on DNSSEC verification in the client library, stub resolver, or recursive resolver.
References