ACME Working Group                                          R.

Internet Engineering Task Force (IETF)                    R.B. Shoemaker
Internet-Draft
Request for Comments: 8737                                          ISRG
Intended status:
Category: Standards Track                        October 01, 2019
Expires: April 3,                                  February 2020

                   ACME
ISSN: 2070-1721

        Automated Certificate Management Environment (ACME) TLS ALPN
   Application-Layer Protocol Negotiation (ALPN) Challenge Extension
                      draft-ietf-acme-tls-alpn-07

Abstract

   This document specifies a new challenge for the Automated Certificate
   Management Environment (ACME) protocol that allows for domain control
   validation using TLS.

Status of This Memo

   This Internet-Draft is submitted in full conformance with the
   provisions of BCP 78 and BCP 79.

   Internet-Drafts are working documents an Internet Standards Track document.

   This document is a product of the Internet Engineering Task Force
   (IETF).  Note that other groups may also distribute
   working documents as Internet-Drafts.  The list  It represents the consensus of current Internet-
   Drafts is at https://datatracker.ietf.org/drafts/current/.

   Internet-Drafts are draft documents valid the IETF community.  It has
   received public review and has been approved for a maximum publication by the
   Internet Engineering Steering Group (IESG).  Further information on
   Internet Standards is available in Section 2 of RFC 7841.

   Information about the current status of six months this document, any errata,
   and how to provide feedback on it may be updated, replaced, or obsoleted by other documents obtained at any
   time.  It is inappropriate to use Internet-Drafts as reference
   material or to cite them other than as "work in progress."

   This Internet-Draft will expire on April 3, 2020.
   https://www.rfc-editor.org/info/rfc8737.

Copyright Notice

   Copyright (c) 2019 2020 IETF Trust and the persons identified as the
   document authors.  All rights reserved.

   This document is subject to BCP 78 and the IETF Trust's Legal
   Provisions Relating to IETF Documents
   (https://trustee.ietf.org/license-info) in effect on the date of
   publication of this document.  Please review these documents
   carefully, as they describe your rights and restrictions with respect
   to this document.  Code Components extracted from this document must
   include Simplified BSD License text as described in Section 4.e of
   the Trust Legal Provisions and are provided without warranty as
   described in the Simplified BSD License.

Table of Contents

   1.  Introduction  . . . . . . . . . . . . . . . . . . . . . . . .   2
   2.  Terminology . . . . . . . . . . . . . . . . . . . . . . . . .   2
   3.  TLS with Application Layer Application-Layer Protocol Negotiation (TLS ALPN)
           Challenge . . . . . . . . . . . . . . . . . . . . . . . . . .   3
   4.  acme-tls/1 Protocol Definition  . . . . . . . . . . . . . . .   5
   5.  Security Considerations . . . . . . . . . . . . . . . . . . .   5
   6.  IANA Considerations . . . . . . . . . . . . . . . . . . . . .   6
     6.1.  SMI Security for PKIX Certificate Extension OID . . . . .   6
     6.2.  ALPN Protocol ID  . . . . . . . . . . . . . . . . . . . .   6
     6.3.  ACME Validation Method  . . . . . . . . . . . . . . . . .   7
   7.  Acknowledgements  . . . . . . . . . . . . . . . . . . . . . .   7
   8.  Normative References  . . . . . . . . . . . . . . . . . . . .   7
   Appendix A.  Design Rationale . . . . . . . . . . . . . . . . . .   9
   Acknowledgments
   Author's Address  . . . . . . . . . . . . . . . . . . . . . . . .  10

1.  Introduction

   The Automatic Certificate Management Environment (ACME) [RFC8555]
   specification describes methods for validating control of domain
   names via HTTP and DNS.  Deployment experience has shown it is also
   useful to be able to validate domain control using the TLS layer
   alone.  In particular, this allows hosting providers, CDNs, Content
   Distribution Networks (CDNs), and TLS-
   terminating TLS-terminating load balancers to
   validate domain control without modifying the HTTP handling behavior
   of their backends.

   This document specifies a new TLS-based challenge type, tls-alpn-01.
   This challenge requires negotiating a new application-layer protocol
   using the TLS Application-Layer Protocol Negotiation (ALPN) Extension
   [RFC7301].  Because this protocol does not build on a preexisting pre-existing
   deployment base, the ability to fulfill complete tls-alpn-01 challenges is
   effectively opt-in.  A
   requires changes by service provider providers, making it explicitly an opt-in
   process.  Because service providers must proactively deploy new code
   in order to implement tls-alpn-01, so we can specify stronger controls
   in that code, resulting in a stronger validation method.

2.  Terminology

   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 [RFC2119] [RFC8174] when, and only when, they appear in all
   capitals, as shown here.

3.  TLS with Application Layer Application-Layer Protocol Negotiation (TLS ALPN) Challenge

   The TLS with Application Layer Application-Layer Protocol Negotiation (TLS ALPN)
   validation method proves control over a domain name by requiring the
   ACME client to configure a TLS server to respond to specific
   connection attempts using the ALPN extension with identifying
   information.  The ACME server validates control of the domain name by
   connecting to a TLS server at one of the addresses resolved for the
   domain name and verifying that a certificate with specific content is
   presented.

   The tls-alpn-01 ACME challenge object has the following format:

   type (required, string):  The string "tls-alpn-01"

   token (required, string):  A random value that uniquely identifies
      the challenge.  This value MUST have at least 128 bits of entropy.
      It MUST NOT contain any characters outside the base64url alphabet
      as described in [RFC4648] Section 5. 5 of [RFC4648].  Trailing '=' padding
      characters MUST be stripped.  See [RFC4086] for additional
      information on randomness requirements.

   The client prepares for validation by constructing a self-signed
   certificate that MUST contain an acmeIdentifier extension and a
   subjectAlternativeName extension [RFC5280].  The
   subjectAlternativeName extension MUST contain a single dNSName entry
   where the value is the domain name being validated.  The
   acmeIdentifier extension MUST contain the SHA-256 digest [FIPS180-4]
   of the key authorization [RFC8555] for the challenge.  The
   acmeIdentifier extension MUST be critical so that the certificate
   isn't inadvertently used by non-ACME software.

   The acmeIdentifier extension is identified by the id-pe-
   acmeIdentifier object identifier (OID) in the id-pe arc [RFC5280]:

   id-pe-acmeIdentifier OBJECT IDENTIFIER ::=  { id-pe 31 }

   The extension has the following ASN.1 [X.680] format :

   Authorization ::= OCTET STRING (SIZE (32))

   The extnValue of the id-pe-acmeIdentifier extension is the ASN.1 DER
   encoding [X.690] of the Authorization structure, which contains the
   SHA-256 digest of the key authorization for the challenge.

   Once this certificate has been created created, it MUST be provisioned such
   that it is returned during a TLS handshake where the "acme-tls/1"
   application-layer protocol has been negotiated and a Server Name
   Indication (SNI) extension [RFC6066] has been provided containing the
   domain name being validated.

   A client responds by POSTing an empty JSON object ({}) to the
   challenge URL to acknowledge that the challenge is ready to be
   validated by the server.  The base64url encoding of the protected
   headers and payload is described in [RFC8555] Section 6.1. 6.1 of [RFC8555].

   POST /acme/authz/1234/1
   Host: example.com
   Content-Type: application/jose+json

   {
     "protected": base64url({
       "alg": "ES256",
       "kid": "https://example.com/acme/acct/1",
       "nonce": "JHb54aT_KTXBWQOzGYkt9A",
       "url": "https://example.com/acme/authz/1234/1"
     }),
     "payload": base64url({}),
     "signature": "Q1bURgJoEslbD1c5...3pYdSMLio57mQNN4"
   }

   On receiving this request from a client client, the server constructs and
   stores the key authorization from the challenge "token" value and the
   current client account key.

   The server then verifies the client's control over the domain by
   verifying that the TLS server was configured as expected using the
   following steps:

   1.  The ACME server computes the expected SHA-256 digest of the key
       authorization.

   2.  The ACME server resolves the domain name being validated and
       chooses one of the IP addresses returned for validation (the
       server MAY validate against multiple addresses if more than one
       is returned).

   3.  The ACME server initiates a TLS connection to the chosen IP
       address.  This connection MUST use TCP port 443.  The ACME server
       MUST provide an ALPN extension with the single protocol name
       "acme-tls/1" and an SNI extension containing only the domain name
       being validated during the TLS handshake.

   4.  The ACME server verifies that during the TLS handshake the
       application-layer protocol "acme-tls/1" was successfully
       negotiated (and that the ALPN extension contained only the value
       "acme-tls/1") and that the certificate returned contains:

       *  a subjectAltName extension containing the dNSName being
          validated and no other entries

       *  a critical acmeIdentifier extension containing the expected
          SHA-256 digest computed in step 1

   The comparison of dNSNames MUST be case insensitive [RFC4343].  Note
   that as ACME doesn't support Unicode identifiers identifiers, all dNSNames MUST
   be encoded using [RFC3492] rules. the rules of [RFC3492].

   If all of the above steps succeed succeed, then the validation is successful,
   otherwise successful.
   Otherwise, it fails.

4.  acme-tls/1 Protocol Definition

   The "acme-tls/1" protocol MUST only be used for validating ACME tls-
   alpn-01 challenges.  The protocol consists of a TLS handshake in
   which the required validation information is transmitted.  The "acme-
   tls/1" protocol does not carry application data, once data.  Once the handshake
   is completed completed, the client MUST NOT exchange any further data with the
   server and MUST immediately close the connection.  While this
   protocol uses X.509 certificates, it does not use the authentication
   method described in [RFC5280] and and, as such such, does not require a valid
   signature on the provided certificate nor require the TLS handshake
   to complete successfully.  An ACME server may wish to use an off the off-the-
   shelf TLS stack where it is not simple to allow these divergences in
   the protocol as defined.  Because of this, an ACME server MAY choose
   to withhold authorization if either the certificate signature is
   invalid or the handshake doesn't fully complete.

   ACME servers that implement "acme-tls/1" MUST only negotiate TLS 1.2
   [RFC5246] or higher when connecting to clients for validation.

5.  Security Considerations

   The design of this challenge relies on some assumptions centered
   around how a an HTTPS server behaves during validation.

   The first assumption is that when a an HTTPS server is being used to
   serve content for multiple DNS names from a single IP address address, it
   properly segregates control of those names to the users that own
   them.  This means that if User A registers Host A and User B
   registers Host B B, the HTTPS server should not allow a TLS request
   using an SNI value for Host A to be served by User B or a TLS
   connection with a server_name extension identifying Host B to be
   answered by User A.  If the HTTPS server allows User B to serve this
   request
   request, it allows them to illegitimately validate control of Host A
   to the ACME server.

   The second assumption is that a server will not violate [RFC7301] by
   blindly agreeing to use the "acme-tls/1" protocol without actually
   understanding it.

   To further mitigate the risk of users claiming domain names used by
   other users on the same infrastructure hosting providers, CDNs, and
   other service providers SHOULD NOT allow users to provide their own
   certificates for the TLS ALPN validation process.  If providers wish
   to implement TLS ALPN validation validation, they SHOULD only generate
   certificates used for validation themselves and not expose this
   functionality to users.

   The extensions to the ACME protocol described in this document build
   upon the Security Considerations and threat model defined in
   [RFC8555]
   Section 10.1. 10.1 of [RFC8555].

6.  IANA Considerations

   [[RFC Editor: please replace I-D.ietf-acme-tls-alpn below by the RFC
   number.]]

6.1.  SMI Security for PKIX Certificate Extension OID

   Within the SMI-numbers "Structure of Management Information (SMI) Numbers (MIB
   Module Registrations)" registry, the following entry has been added
   to the "SMI Security for PKIX Certificate Extension (1.3.6.1.5.5.7.1)" table is to be updated to
   add the following entry:

        +---------+----------------------+------------------------+ Extension"
   (1.3.6.1.5.5.7.1) table.

              +---------+----------------------+------------+
              | Decimal | Description          | References |
        +---------+----------------------+------------------------+
              +=========+======================+============+
              | 31      | id-pe-acmeIdentifier | I-D.ietf-acme-tls-alpn RFC 8737   |
        +---------+----------------------+------------------------+
              +---------+----------------------+------------+

                                  Table 1

6.2.  ALPN Protocol ID

   Within the Transport "Transport Layer Security (TLS) Extensions Extensions" registry, the
   "Application-Layer
   following entry has been added to the "TLS Application-Layer Protocol
   Negotiation (ALPN) Protocol IDs" table is
   to be updated to add the following entry:

   +------------+-----------------------------+------------------------+ table.

      +------------+------------------------------------+-----------+
      | Protocol   | Identification Sequence            | Reference |
   +------------+-----------------------------+------------------------+
      +============+====================================+===========+
      | acme-tls/1 | 0x61 0x63 0x6d 0x65 0x2d 0x74 0x6c | I-D.ietf-acme-tls-alpn RFC 8737  |
      |            | 0x74 0x6c 0x73 0x2f 0x31    |                        |
   |            | ("acme-tls/1")      |           |
   +------------+-----------------------------+------------------------+
      +------------+------------------------------------+-----------+

                                  Table 2

6.3.  ACME Validation Method

   The

   Within the "Automated Certificate Management Environment (ACME)
   Protocol" registry, the following entry has been added to the "ACME
   Validation Methods" registry is to be updated to include
   the following entry:

     +-------------+-----------------+------+------------------------+ registry.

           +-------------+-----------------+------+-----------+
           | Label       | Identifier Type | ACME | Reference |
     +-------------+-----------------+------+------------------------+
           +=============+=================+======+===========+
           | tls-alpn-01 | dns             | Y    | I-D.ietf-acme-tls-alpn RFC 8737  |
     +-------------+-----------------+------+------------------------+
           +-------------+-----------------+------+-----------+

                                 Table 3

7.  Acknowledgements

   The author would like to thank all those whom have provided design
   insights and editorial review of this document, including Richard
   Barnes, Ryan Hurst, Adam Langley, Ryan Sleevi, Jacob Hoffman-Andrews,
   Daniel McCarney, Marcin Walas, Martin Thomson and especially Frans
   Rosen, who discovered the vulnerability in the TLS SNI method that
   necessitated the writing of this specification.

8.  Normative References

   [FIPS180-4]
              Department
              National Institute of Commerce, National., "NIST Standards and Technology (NIST),
              "Secure Hash Standard (SHS)", FIPS PUB 180-4,
              Secure Hash Standard", March 2012,
              <http://csrc.nist.gov/publications/fips/fips180-4/
              fips-180-4.pdf>.
              DOI 10.6028/NIST.FIPS.180-4, August 2015,
              <https://nvlpubs.nist.gov/nistpubs/FIPS/
              NIST.FIPS.180-4.pdf>.

   [RFC2119]  Bradner, S., "Key words for use in RFCs to Indicate
              Requirement Levels", BCP 14, RFC 2119,
              DOI 10.17487/RFC2119, March 1997,
              <https://www.rfc-editor.org/info/rfc2119>.

   [RFC3492]  Costello, A., "Punycode: A Bootstring encoding of Unicode
              for Internationalized Domain Names in Applications
              (IDNA)", RFC 3492, DOI 10.17487/RFC3492, March 2003,
              <https://www.rfc-editor.org/info/rfc3492>.

   [RFC4086]  Eastlake 3rd, D., Schiller, J., and S. Crocker,
              "Randomness Requirements for Security", BCP 106, RFC 4086,
              DOI 10.17487/RFC4086, June 2005,
              <https://www.rfc-editor.org/info/rfc4086>.

   [RFC4343]  Eastlake 3rd, D., "Domain Name System (DNS) Case
              Insensitivity Clarification", RFC 4343,
              DOI 10.17487/RFC4343, January 2006,
              <https://www.rfc-editor.org/info/rfc4343>.

   [RFC4648]  Josefsson, S., "The Base16, Base32, and Base64 Data
              Encodings", RFC 4648, DOI 10.17487/RFC4648, October 2006,
              <https://www.rfc-editor.org/info/rfc4648>.

   [RFC5246]  Dierks, T. and E. Rescorla, "The Transport Layer Security
              (TLS) Protocol Version 1.2", RFC 5246,
              DOI 10.17487/RFC5246, August 2008,
              <https://www.rfc-editor.org/info/rfc5246>.

   [RFC5280]  Cooper, D., Santesson, S., Farrell, S., Boeyen, S.,
              Housley, R., and W. Polk, "Internet X.509 Public Key
              Infrastructure Certificate and Certificate Revocation List
              (CRL) Profile", RFC 5280, DOI 10.17487/RFC5280, May 2008,
              <https://www.rfc-editor.org/info/rfc5280>.

   [RFC6066]  Eastlake 3rd, D., "Transport Layer Security (TLS)
              Extensions: Extension Definitions", RFC 6066,
              DOI 10.17487/RFC6066, January 2011,
              <https://www.rfc-editor.org/info/rfc6066>.

   [RFC7301]  Friedl, S., Popov, A., Langley, A., and E. Stephan,
              "Transport Layer Security (TLS) Application-Layer Protocol
              Negotiation Extension", RFC 7301, DOI 10.17487/RFC7301,
              July 2014, <https://www.rfc-editor.org/info/rfc7301>.

   [RFC8174]  Leiba, B., "Ambiguity of Uppercase vs Lowercase in RFC
              2119 Key Words", BCP 14, RFC 8174, DOI 10.17487/RFC8174,
              May 2017, <https://www.rfc-editor.org/info/rfc8174>.

   [RFC8555]  Barnes, R., Hoffman-Andrews, J., McCarney, D., and J.
              Kasten, "Automatic Certificate Management Environment
              (ACME)", RFC 8555, DOI 10.17487/RFC8555, March 2019,
              <https://www.rfc-editor.org/info/rfc8555>.

   [X.680]    International Telecommunication Union, .,    ITU-T, "Information technology -- Abstract Syntax Notation
              One (ASN.1): Specification of basic notation", ITU-T
              Recommendation X.680, ISO/IEC 8824-1:2015, August 2015,
              <https://www.itu.int/ITU-T/studygroups/com17/languages/
              X.680-0207.pdf>.
              <https://www.itu.int/rec/T-REC-X.680-201508-I/en>.

   [X.690]    International Telecommunication Union, .,    ITU-T, "Information Technology -- ASN.1 encoding rules:
              Specification of Basic Encoding Rules (BER), Canonical
              Encoding Rules (CER) and Distinguished Encoding Rules
              (DER)", ITU-T Recommendation X.690, ISO/IEC 8825-1:2015,
              August 2015,
              <https://www.itu.int/ITU-T/studygroups/com17/languages/
              X.690-0207.pdf>.
              <https://www.itu.int/rec/T-REC-X.690-201508-I/en>.

Appendix A.  Design Rationale

   The TLS ALPN challenge exists to iterate on the TLS SNI challenge
   defined in the early ACME drafts.  The TLS SNI challenge was
   convenient for service providers who were either operating large TLS TLS-
   layer load balancing systems at which they wanted to perform
   validation or running servers fronting large numbers of DNS names
   from a single host as it allowed validation purely within the TLS
   layer.  The value provided by the TLS SNI challenge was considered
   large enough that this document was written in order to provide a new
   challenge type that addressed the existing security concerns.

   A security issue in the TLS SNI challenge was discovered by Frans
   Rosen, which allowed users of various service providers to
   illegitimately validate control of the DNS names of other users of
   the provider.  When the TLS SNI challenge was designed designed, it was
   assumed that a user would only be able to respond to TLS traffic via
   SNI for domain names they had registered with a service provider
   (i.e., if a user registered 'a.example' 'a.example', they would only be able to
   respond to SNI requests for 'a.example' and not for SNI requests for
   'b.example').  It turns out that a number of large service providers
   do not honor this property.  Because of this, users were able to
   respond to SNI requests for the names used by the TLS SNI challenge
   validation process.  This meant that (1) if User A and User B had
   registered Host A and Host B, respectively, User A would be able to
   claim the constructed SNI challenge name for Host B B, and (2) when the
   validation connection was made that made, User A would be able to answer,
   thereby proving 'control' of Host B.  As the SNI name used was a
   subdomain of the domain name being validated, rather than the domain
   name itself, it was likely to not already be registered with the
   service provider for traffic routing, making it much easier for a
   hijack to occur.

Acknowledgments

   The author would like to thank all those that provided design
   insights and editorial review of this document, including Richard
   Barnes, Ryan Hurst, Adam Langley, Ryan Sleevi, Jacob Hoffman-Andrews,
   Daniel McCarney, Marcin Walas, Martin Thomson, and especially Frans
   Rosen, who discovered the vulnerability in the TLS SNI method that
   necessitated the writing of this specification.

Author's Address

   Roland Bracewell Shoemaker
   Internet Security Research Group

   Email: roland@letsencrypt.org