<?xml version="1.0" encoding="US-ASCII"?>

<!DOCTYPE rfc SYSTEM "rfc2629.dtd">

<?rfc sortrefs="yes"?>
<?rfc subcompact="no"?>
<?rfc symrefs="yes"?>
<?rfc toc="yes"?>
<?rfc tocdepth="3"?>
<?rfc compact="yes"?>
<?rfc subcompact="no"?>

<rfc
   category="std"
   docName="draft-ietf-sidrops-rpki-validation-update-00"
   updates="6482,6487"
   obsoletes="8360"
   ipr="trust200902">
  
<front>
    
  <title abbrev="RPKI Validation Algorithm">RPKI Validation Re-reconsidered</title>

  <author fullname="Job Snijders" initials="J." surname="Snijders">
    <organization>Fastly</organization>
    <address>
      <postal>
        <street />
        <city>Amsterdam</city>
        <code />
        <country>Netherlands</country>
      </postal>
      <email>job@fastly.com</email>
    </address>
  </author>

  <author fullname="Ben Maddison" initials="B." surname="Maddison">
    <organization>Workonline</organization>
    <address>
      <postal>
        <street />
        <city>Cape-Town</city>
        <code />
        <country>South Africa</country>
      </postal>
      <email>benm@workonline.africa</email>
    </address>
  </author>
  <date />

  <abstract>

    <t>
      This document describes an improved validation procedure for Resource Public Key Infrastructure (RPKI) signed objects.
      This document updates RFC 6482.
      This document updates RFC 6487.
      This document obsoletes RFC 8360.
    </t>

  </abstract>
  
</front>

<middle>
  
  <section title="Introduction">

    <t>
      <xref target="RFC8360" /> describes an improved validation algorithm for signed objects published in the RPKI.
      This improved validation algorithm would help in situations such as described in this <xref target="Report" />.
      However, analysis has shown the described procedure for deploying updates to the validation algorithm, as described in <xref target="RFC6487"/> Section 9, is impractical, and this specification is <xref target="incomplete"/>.
    </t>
    <t>
      This document deprecates the original <xref target="RFC6487" /> section 7 algorithm in favour of the <xref target="RFC8360" /> algorithm, and obsoletes <xref target="RFC8360" /> because a migration via those codepoints is infeasible.
      This document also deprecates the procedure set out in <xref target="RFC6487" /> section 9 for future changes to the validation algorithm.
    </t>

    <section title="Requirements Language">

      <t>
        The key words "MUST", "MUST NOT", "REQUIRED", "SHALL", "SHALL
        NOT", "SHOULD", "SHOULD NOT", "RECOMMENDED", "NOT RECOMMENDED",
        "MAY", and "OPTIONAL" in this document are to be interpreted as
        described in BCP 14 <xref format="default" pageno="false"
        target="RFC2119"/> <xref format="default" pageno="false"
        target="RFC8174"/> when, and only when, they appear in all
        capitals, as shown here.
      </t>

    </section>

  </section>

  <section title="Deprecation of RFC 8360">
    <t>
      <xref target="RFC8360"/> defines several alternative OIDs for use in <xref target="RFC6487">Resource Certificates</xref>:
      <list style="symbols">
        <t>id-cp-ipAddr-asNumber-v2 - <xref target="RFC8360">Section 4.2.1</xref></t>
        <t>id-pe-ipAddrBlocks-v2 - <xref target="RFC8360">Sections 4.2.2.1 and 4.2.2.2</xref></t>
        <t>id-pe-autonomousSysIds-v2 - <xref target="RFC8360">Sections 4.2.2.3 and 4.2.2.4</xref></t>
      </list>
      The stated purpose of the above OIDs is rendered obsolete by the updated specifications contained in this document.
    </t>
    <t>
      Therefore:
      <list style="symbols">
        <t>Issuing CAs MUST NOT include the above OIDs in newly issued Resource Certificates; and</t>
        <t>Relying parties encountering the above OIDs in Resource Certificates MUST proceed according to the updated procedures described below.</t>
      </list>
    </t>
  </section>

  <section title="Updates to RFC 6482">
   <t>
   This section updates <xref target="RFC6482">Section 4</xref>.
   The following text:
   </t>
   <t>
     <list style="empty">
       <t>
         The IP address delegation extension <xref target="RFC3779"/> is present in the end-entity (EE) certificate (contained within the ROA), and each IP address prefix(es) in the ROA is contained within the set of IP addresses specified by the EE certificate's IP address delegation extension.
       </t>
     </list>
   </t>
   <t>
     Is replaced with:
   </t>
   <t>
     <list style="empty">
       <t>
         Either the IP Address Delegation extension described in <xref target="RFC3779"/> or the alternative IP Address Delegation extension described in <xref target="RFC8360"/> (but not both) is present in the end entity (EE) certificate (contained within the ROA), and each IP address prefix(es) in the ROA is contained within the VRS-IP set that is specified as an outcome of EE certificate validation described in <xref target="RFC6487">Section 7.2 (as updated by this document)</xref>.
       </t>
     </list>
   </t>
   <t>
     Note that this ensures that ROAs can be valid only if all IP address prefixes in the ROA are encompassed by the VRS-IP of all certificates along the path to the trust anchor used to verify it.
   </t>
   <t>
     Operators MAY issue separate ROAs for each IP address prefix, so that the loss of one or more IP address prefixes from the VRS-IP of any certificate along the path to the trust anchor would not invalidate authorizations for other IP address prefixes.
   </t>
  </section>


  <section title="Updates to RFC 6487">
    <t>
      This section updates <xref target="RFC6487"/> to specify an improved behavior of a Relying Party implementation.
    </t>

    <section title="Updates to Section 7.2">
      <t>
        The following section replaces <xref target="RFC6487">Section 7.2</xref> (Resource Certification Path Validation) in its entirety.
      </t>
      <t>
        Validation of signed resource data using a target resource certificate consists of verifying that the digital signature of the signed resource data is valid, using the public key of the target resource certificate, and also validating the resource certificate in the context of the RPKI, using the path validation process.
      </t>
      <t>
        There are two inputs to the validation algortihm:
        <list style="numbers">
          <t>A trust anchor</t>
          <t>A certificate to be validated</t>
        </list>
      </t>
      <t>
         The algorithm is initialized with two new variables for use in the RPKI: Verified Resource Set-IP (VRS-IP) and Verified Resource Set-AS (VRS-AS).
         These sets are used to track the set of INRs (IP address space and AS numbers) that are considered valid for each CA certificate.
         The VRS-IP and VRS-AS sets are initially set to the IP Address Delegation and AS Identifier Delegation values, respectively, from the trust anchor used to perform validation.
      </t>
      <t>
        This path validation algorithm verifies, among other things, that a prospective certification path (a sequence of n certificates) satisfies the following conditions:
      </t>
      <t>
        <list style="letters">
          <t>for all 'x' in {1, ..., n-1}, the subject of certificate 'x' is the issuer of certificate ('x' + 1);</t>
          <t>certificate '1' is issued by a trust anchor;</t>
          <t>certificate 'n' is the certificate to be validated; and</t>
          <t>for all 'x' in {1, ..., n}, certificate 'x' is valid.</t>
        </list>
      </t>
      <t>
        Certificate validation requires verifying that all of the following conditions hold, in addition to the certification path validation criteria specified in Section 6 of <xref target="RFC5280"/>.
      </t>
      <t>
        <list style="numbers">
          <t>The signature of certificate x (x>1) is verified using the public key of the issuer's certificate (x-1), using the signature algorithm specified for that public key (in certificate x-1).</t>
          <t>The current time lies within the interval defined by the NotBefore and NotAfter values in the Validity field of certificate x.</t>
          <t>The Version, Issuer, and Subject fields of certificate x satisfy the constraints established in Sections 4.1 to 4.7 of RFC 6487.</t>
          <t>
            If certificate x uses the Certificate Policy defined in Section 4.8.9 of <xref target="RFC6487"/>, then the certificate MUST contain all extensions defined in Section 4.8 of <xref target="RFC6487"/> that must be present.
            The value(s) for each of these extensions MUST satisfy the constraints established for each extension in the respective sections.
            Any extension not thus identified MUST NOT appear in certificate x.
          </t>
          <t>
            If certificate x uses the Certificate Policy defined in <xref target="RFC8360">Section 4.2.4.1</xref>, then all extensions defined in Section 4.8 of <xref target="RFC6487"/>, except Sections 4.8.9, 4.8.10, and 4.8.11 MUST be present.
            The certificate MUST contain an extension as defined in <xref target="RFC8360">Sections 4.2.4.2 or 4.2.4.3</xref>, or both.
            The value(s) for each of these extensions MUST satisfy the constraints established for each extension in the respective sections.
            Any extension not thus identified MUST NOT appear in certificate x.
          </t>
          <t>Certificate x MUST NOT have been revoked, i.e., it MUST NOT appear on a Certificate Revocation List (CRL) issued by the CA represented by certificate x-1.</t>
          <t>Compute the VRS-IP and VRS-AS set values as indicated below: 
            <list style="symbol">
              <t>If the IP Address Delegation extension is present in certificate x and x=1, set the VRS-IP to the resources found in this extension.</t>
              <t>If the IP Address Delegation extension is present in certificate x and x>1, set the VRS-IP to the intersection of the resources between this extension and the value of the VRS-IP computed for certificate x-1.</t>
              <t>If the IP Address Delegation extension is absent in certificate x, set the VRS-IP to NULL.</t>
              <t>If the IP Address Delegation extension is present in certificate x and x=1, set the VRS-IP to the resources found in this extension.</t>
              <t>If the AS Identifier Delegation extension is present in certificate x and x>1, set the VRS-AS to the intersection of the resources between this extension and the value of the VRS-AS computed for certificate x-1.</t>
              <t>If the AS Identifier Delegation extension is absent in certificate x, set the VRS-AS to NULL.</t>
            </list>
          </t>
          <t>If there is any difference in resources in the VRS-IP and the IP Address Delegation extension on certificate x, or the VRS-AS and the AS Identifier Delegation extension on certificate x, then a warning listing the overclaiming resources for certificate x SHOULD be issued.</t>
        </list>
      </t>
      <t>
        These rules allow a CA certificate to contain resources that are not present in (all of) the certificates along the path from the trust anchor to the CA certificate.
        If none of the resources in the CA certificate are present in all certificates along the path, no subordinate certificates could be valid.
        However, the certificate is not immediately rejected as this may be a transient condition.
        Not immediately rejecting the certificate does not result in a security problem because the associated VRS sets accurately reflect the resources validly associated with the certificate in question.
      </t>
    </section>
 
<!--         This path validation process verifies, among other things, that a prospective certification path (a sequence of n certificates) satisfies the following conditions: -->


      <!-- copy from RFC 8360 section 4.2.4.4 ... --> 

    <section title="Updates to Section 9">
      <t>
        Section 9 "Operational Considerations for Profile Agility" is removed.
      </t>
    </section>

  </section>

  <section title="Implementation status - RFC EDITOR: REMOVE BEFORE PUBLICATION">

    <t>
      This section records the status of known implementations of the protocol
      defined by this specification at the time of posting of this Internet-Draft,
      and is based on a proposal described in RFC7942. The description of
      implementations in this section is intended to assist the IETF in its decision
      processes in progressing drafts to RFCs.  Please note that the listing of any
      individual implementation here does not imply endorsement by the IETF.
      Furthermore, no effort has been spent to verify the information presented here
      that was supplied by IETF contributors.  This is not intended as, and must not
      be construed to be, a catalog of available implementations or their features.
      Readers are advised to note that other implementations may exist.
    </t>
    <t>
      As of today these changesets have been produced for commonly used Relying Party implementations:
      <list style="symbol">
        <t>NLnet Labs Routinator <xref target="routinator" /></t>
        <t>OpenBSD rpki-client <xref target="rpkiclient" /></t>
        <t>FORT Validator <xref target="fort" /></t>
      </list> 
    </t>
    <t>
      The 'public' OpenSSL X509v3_addr_validate_path() and X509v3_asid_validate_path() interfaces do not read the Policy OIDs.
      Also, these interfaces are not referenced outside OpenSSL itself: <xref target="codesearch" /> and <xref target="github" />.
    </t>
    <t>
      At the time of writing there are zero (0) certificates in the RPKI carrying the extensions and policy defined in <xref target="RFC8360"/>.
    </t>
  </section>

  <section title="Security Considerations">

    <t>
      The authors believe that the revised validation algortihm introduces no new security vulnerabilities into the RPKI, because it cannot lead to any ROA and/or router certificates to be accepted if they contain resources that are not held by the issuer.
    </t>

  </section>

  <section title="IANA Considerations">

    <t>
      IANA is requested to reference this document in the "SMI Security for PKIX Certificate Policies" registry at:
      <list style="symbol">
        <t>id-cp-ipAddr-asNumber-v2</t>
      </list>
    </t>

    <t>
      IANA is requested to reference this document in the "SMI Security for PKIX Certificate Extensions" registry at:
      <list style="symbol">
        <t>id-pe-ipAddrBlocks-v2</t>
        <t>id-pe-autonomousSysIds-v2</t>
      </list>
    </t>

    <t>
      IANA is requested to reference this document in the "SMI Security for PKIX Module Identifier" registry at:
      <list style="symbol">
        <t>id-mod-ip-addr-and-as-ident-v2</t>
        <t>id-mod-ip-addr-and-as-ident-2v2</t>
      </list>
    </t>

  </section>

  <section title="Acknowledgements">

    <t>
      The authors would like to thank
      Tim Bruijnzeels,
      Mikael Abrahamsson,
      Nick Hilliard,
      and
      Peter Peele
      for their helpful review of this document.
    </t>

  </section>

</middle>

<back>
  <references title="Normative References">
    <?rfc include="reference.RFC.2119.xml"?>
    <?rfc include="reference.RFC.3779.xml"?>
    <?rfc include="reference.RFC.5280.xml"?>
    <?rfc include="reference.RFC.6482.xml"?>
    <?rfc include="reference.RFC.6487.xml"?>
    <?rfc include="reference.RFC.8174.xml"?>
    <?rfc include="reference.RFC.8360.xml"?>
  </references>

  <references title="Informative References">

    <reference anchor="routinator" target="https://github.com/job/rpki-rs/commit/d9fa8c72cf83ed6f25e4420eaaa9054078f15bc3">
      <front>
        <title>Harmonize RFC 8360 and RFC 6487 in rpki-rs</title>
        <author initials="J." surname="Snijders" fullname="Job Snijders"><organization>Fastly</organization></author>
        <date year="2021" month="February" />
      </front>
    </reference>

    <reference anchor="rpkiclient" target="https://marc.info/?l=openbsd-tech&amp;m=161011710120123&amp;w=2">
      <front>
        <title>rpki-client check IP and ASnum coverage only on ROAs</title>
        <author initials="C." surname="Jeker" fullname="Claudio Jeker"><organization>OpenBSD</organization></author>
        <date year="2021" month="January" />
      </front>
    </reference>

    <reference anchor="fort" target="https://github.com/job/FORT-validator/commit/ff5f4b9313d5c553fa13bae427acb69665977727">
      <front>
        <title>Harmonize RFC 8360 and RFC 6487 in FORT</title>
        <author initials="J." surname="Snijders" fullname="Job Snijders"><organization>Fastly</organization></author>
        <date year="2021" month="February" />
      </front>
    </reference>

    <reference anchor="codesearch" target="https://codesearch.debian.net/search?q=X509v3_addr_validate_path&amp;literal=1">
      <front>
        <title>Debian Codesearch</title>
        <author fullname="Debian"><organization /></author>
        <date year="2021" month="February" />
      </front>
    </reference>

    <reference anchor="github" target="https://github.com/search?q=X509v3_addr_validate_path&amp;type=commits">
      <front>
        <title>Github Search</title>
        <author fullname="Github"><organization /></author>
        <date year="2021" month="February" />
      </front>
    </reference>

    <reference anchor="Report" target="https://www.ripe.net/ripe/mail/archives/routing-wg/2021-January/004220.html">
      <front>
        <title>[routing-wg] RFC 8360 should be the default (Was: RPKI Outage Post-Mortem)</title>
        <author initials="J." surname="Snijders" fullname="Job Snijders"><organization>Fastly</organization></author>
        <date year="2021" month="January" />
      </front>
    </reference>

    <reference anchor="incomplete" target="https://mailarchive.ietf.org/arch/msg/sidrops/L02g9Z8OIUc1AOi_IoRViOvTSCY/">
      <front>
        <title>What are the RFC 5280 section 6.1.1 inputs for (c) (e) (f) (g) in context of RFC 8360?</title>
        <author initials="J." surname="Snijders" fullname="Job Snijders"><organization>Fastly</organization></author>
        <date year="2023" month="October" />
      </front>
    </reference>

  </references>

</back>

</rfc>
