]> Google LLC

davidben@google.com

Google LLC

asymmetric@google.com

Google LLC

bbe@google.com

Security Transport Layer Security This document defines TLS trust expressions, a mechanism for relying parties to succinctly convey trusted certification authorities to subscribers by referencing named and versioned trust stores. It also defines supporting mechanisms for subscribers to evaluate these trust expressions, and select one of several available certification paths to present. This enables a multi-certificate deployment model, for a more agile and flexible PKI that can better meet security requirements. About This Document The latest revision of this draft can be found at . Status information for this document may be found at . Discussion of this document takes place on the Transport Layer Security Working Group mailing list (), which is archived at . Subscribe at . Source for this draft and an issue tracker can be found at .

Introduction TLS endpoints typically authenticate using X.509 certificates . These are used as assertions by a certification authority (CA) that associate some TLS key with some DNS name or other identifier. If the peer trusts the CA, it will accept this association. The authenticating party is known as the subscriber and the peer is the relying party. Subscribers typically provision a single certificate for all supported relying parties, because relying parties do not communicate which CAs are trusted. This certificate must then simultaneously meet requirements for all relying parties. This constraint imposes costs on the ecosystem as PKIs evolve over time. The older the relying party, the more its requirements may have diverged from newer ones, making it increasingly difficult for subscribers to support both. This translates to analogous costs for CAs and relying parties:

• For a new CA to be usable by subscribers, it must be trusted by all relying parties. This is particularly challenging for older, unupdatable relying parties. Existing CAs face similar challenges when rotating or deploying new keys.
• When a relying party must update its policies to meet new security requirements, it must choose between compromising on user security or imposing a significant burden on subscribers that still support older relying parties.

This document aims to remove this constraint with a multi-certificate deployment model. Subscribers are instead provisioned with multiple certificates and automatically select the correct one to use with each relying party. This allows a single subscriber to use different certificates for different relying parties, including older and newer ones. This model requires the endpoints to somehow negotiate which certificate to use. defines the certificate_authorities extension, but it is often impractical. Some trust stores are large, and the X.509 Name structure is inefficient. For example, as of August 2023, the Mozilla CA Certificate Program would encode 144 names totaling 14,457 bytes. Instead, this document defines a TLS extension and supporting mechanisms that allow relying parties and subscribers to succinctly communicate supported trust anchors to subscribers, using pre-shared information provisioned by root programs and CAs, respectively. Together, these mechanisms enable subscribers to deploy multiple certificates, which supports a more flexible, robust Public Key Infrastructure (PKI). discusses several deployment use cases that benefit from this model.

Conventions and Definitions 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 when, and only when, they appear in all capitals, as shown here. This document additionally uses the TLS presentation language defined in .

Time Times in this document are represented by POSIX timestamps, which are integers containing a number of seconds since the Epoch, defined in Section 4.16 of . That is, the number of seconds after 1970-01-01 00:00:00 UTC, excluding leap seconds. A UTC time is converted to a POSIX timestamp as described in . Durations of time are integers, representing a number of seconds not including leap seconds. They can be added to POSIX timestamps to produce other POSIX timestamps. The current time is a POSIX timestamp determined by converting the current UTC time to seconds since the Epoch as per Section 4.16 of . One POSIX timestamp is said to be before (respectively, after) another POSIX timestamp if it is less than (respectively, greater than) the other value.

Terminology and Roles This document discusses four roles:

Subscriber:

The party whose identity is being validated in the protocol. In TLS, this is the side sending the Certificate and CertificateVerify message.

Relying party:

The party that authenticates the subscriber. In TLS, this is the side that validates a Certificate and CertificateVerify message.

Certification authority (CA):

The service that issues certificates to the subscriber.

Root program:

An entity that manages a set of common trusted CAs for a set of relying parties.

While the first three roles are common to most X.509 deployments, this document discusses the role of a root program as distinct from the relying party. Trust decisions are often common between related relying parties, such as multiple clients running the same application. The root program is the entity making those common decisions, such as the software vendor for the application or operating system. Additionally, there are several terms used throughout this document to describe this proposal:

Trust anchor:

A pre-distributed public key or certificate that relying parties use to determine whether a certification path is trusted.

Trust store:

A collection of trust anchors managed by the root program.

Certification path:

An ordered list of X.509 certificates starting the target certificate. Each certificate is issued by the next certificate, except the last, which is issued by a trust anchor.

Trust store manifest:

A structure describing a series of versioned trust stores.

Trust expression:

A compact description of a relying party's trust store contents, referencing named, versioned trust stores.

CertificatePropertyList:

A structure associated with a certification path, containing additional information from the CA, for use by the subscriber when presenting the certification path.

TrustStoreInclusionList:

A property in the CertificatePropertyList which describes the corresponding trust anchor's inclusion in trust stores. This is used by the subscriber when evaluating trust expressions.

Overview In the TLS handshake, a relying party sends trust expressions, which reference named, versioned trust stores to describe a list of trust anchors. The subscriber uses this information to select a certification path to return. These structures are intended to be provisioned by root programs and CAs as follows:

• Root programs maintain versions of a trust store over time in a trust store manifest, which is published to a well-known location. (See .)
• CAs regularly fetch trust store manifests. CAs use these manifests to associate TrustStoreInclusionList structures with issued certification paths. This communicates the trust anchor's inclusion status to subscribers. (See .)
• The CA issues multiple certification paths to subscribers, which together cover all supported relying parties. The provisioning process is expected to be automated. (See ).
• When updating a relying party's list of supported trust anchors, root programs also send a compact description as a TrustExpressionList. (See .)
• During a TLS handshake, relying parties send their TrustExpressionList to subscribers. (See .)
• Subscribers select certification paths by evaluating the TrustExpressionList with each path's TrustStoreInclusionList. Subscribers are then assured that all supported relying parties will be satisfied by some available path. (See .)

By providing accurate trust anchor negotiation, this process avoids the need for relying parties to perform path-building . Certification paths can be pre-constructed to end at one of the relying party's supported anchors.

Trust Store Manifests This section defines a trust store manifest, which is a structure published by the root program to some well-known location. These manifests are used to compute certificate properties for the subscriber () and trust expressions for the relying party (). Trust store manifests are identified by a short, unique trust store name and define a list of trust store versions. A trust store version contains a set of trust anchors, and is identified by a name (from the manifest) and a version number. [[TODO: Trust store names need to be unique, or at least unique among relying parties and subscribers that talk to each other, but also short. How do we allocate them? Registry? Just pick values? OIDs?]] A trust store manifest is a JSON object containing:

name:

A string containing a short, unique name that identifies the collection of trust stores

max_age:

A non-negative integer containing the number of seconds that this document may be cached.

trust_anchors:

A non-empty object describing a set of trust anchors. Each member's name is a short identifier for the trust anchor, used in entries below. Each member's value is an object describing the trust anchor, containing:

type:

A string describing the type of trust anchor.

In this document, the value of type is always "x509". In this case, the object additionally contains a member data whose value is a string containing a base64-encoded , DER-encoded X.509 certificate. Future documents may extend this format with other trust anchor types. Recipients MUST ignore trust anchors with unrecognized type.

versions:

A non-empty array describing versions of the trust store. Each element of the array is a JSON object containing:

timestamp:

An integer, which is the time at which this trust store version was defined, as a POSIX timestamp (see ).

entries:

A non-empty array describing the contents of this version of the trust store. These are known as trust store entries. Each element is an object containing:

id:

A string containing the name of some member of the trust_anchors object.

labels:

A non-empty array of non-negative, 24-bit integer labels associated with the trust anchor. See for how this field is interpreted.

max_lifetime:

A non-negative integer containing the maximum lifetime, in seconds, of certification paths that this trust anchor is expected to issue.

Versions in versions are identified by their zero-indexed position in the array. That is, the first entry is version 0, the second is version 1, and so on. Recipients MUST ignore JSON object members with unrecognized names in each of the objects defined above. Future documents MAY extend these formats with new names. contains a CDDL describing the above structure. When updating a trust store manifest, root programs append a new object to the versions array to represent the new trust store version. When the new object references a trust anchor, the root program uses the existing members of trust_anchors, or adds new members as required. Updates MUST NOT modify or remove existing entries in the versions array.

Trust Store Entry Expiration The max_age and max_lifetime fields define an expiration time for trust store entries in versions other than the latest version. For a trust store entry in version V, the expiration time is the sum of:

• The timestamp of the subsequent version, i.e. version V+1
• The max_age of the manifest
• The max_lifetime of the trust store entry

Expiration times for entries in the latest version are not defined. They are determined once the root store appends a new version. Trust store entries are not removed from their containing version after they expire. Rather, the expiration time is the point at which all unexpired certificates have incorporated information about subsequent trust store versions, per . This ensures the negotiation procedures in and interoperate.

Labels Trust store entries reference labels, which are 24-bit integers that identify subsets of a trust store version. These integers are defined relative to the trust store manifest and are not globally unique. Root programs allocate labels when defining versions of a trust store. Labels are used in trust expressions () to exclude trust anchor entries from the expression. A label may identify an individual trust anchor if it is the only one with that label, or multiple trust anchors if they share the label. The root program's label allocation scheme determines which sets may be efficiently represented. In particular, when trust anchors are removed in a later version of a trust store, trust expressions must express the removed set with labels as described in . Root programs SHOULD allocate individual labels for each trust anchor, and shared labels for trust anchors that will likely be removed together. For example, the root program may allocate shared labels for trust anchors with the same operator, or trust anchors that use some signature algorithm if it expects some relying parties to exclude by algorithm. When allocating labels, root programs MAY repurpose a previously allocated label value after all previous entries referencing it have expired ().

Certificate Properties In order to evaluate references to trust stores, e.g. in , subscribers require information about which trust stores contain each candidate certification path's trust anchor. This document introduces an extensible CertificatePropertyList structure to carry this information. CertificatePropertyLists are constructed by CAs and sent to subscribers, alongside the certification path itself. They contain a list of properties the subscriber may use when presenting the certificate, e.g. as an input to certificate negotiation (). A CertificatePropertyList is defined using the TLS presentation language () below: ; } CertificateProperty; CertificateProperty CertificatePropertyList<0..2^16-1>; ]]> The entries in a CertificatePropertyList MUST be sorted numerically by type and MUST NOT contain values with a duplicate type. Inputs that do not satisfy these invariants are syntax errors and MUST be rejected by parsers. This document defines a single property, trust_stores, which describes trust store inclusion. Future documents may define other properties for use with other mechanisms. Subscribers MUST ignore unrecognized properties with CertificatePropertyType values. If ignoring a property would cause such subscribers to misinterpret the structure, the document defining the CertificatePropertyType SHOULD include a mechanism for CAs to negotiate the new property with the subscriber in certificate management protocols such as ACME . For example, defines a "trustExpressions" ACME order field.

Trust Store Inclusion The trust_stores property specifies which trust stores contain the certification path's trust anchor. Its data field contains a TrustStoreInclusionList, defined below: ; uint24 version; } TrustStore; struct { TrustStore trust_store; TrustStoreStatus status; uint24 labels<1..2^16-1>; } TrustStoreInclusion; TrustStoreInclusion TrustStoreInclusionList<1..2^16-1>; ]]> Each TrustStoreInclusion describes a trust store version which contains this certification path's trust anchor. trust_store specifies a version of the trust store, and labels specifies the trust anchor's labels within that trust store. If status is latest_version_at_issuance, trust_store was the latest trust store of its name at the time the certificate was issued. In this case, the trust expression evaluation algorithm () predicts this information additionally applies to all versions greater than trust_store's version, up to the expiration of the certification path. A TrustStoreInclusionList MUST satisfy the following invariants:

• Each TrustStoreInclusion has a unique trust_store value.
• The TrustStoreInclusion structures are sorted, first by length of trust_store's name, then by trust_store's name lexicographically, then by trust_store's version.
• If status is latest_version_at_issuance in some TrustStoreInclusion, no trust_store with the same name but higher version appears in the list.

Computing Trust Store Inclusions Each CA regularly fetches trust store manifests from root programs in which it participates, caching the most recently fetched manifest from each root program. When issuing a certification path to a subscriber, it runs the following procedure on each root program's trust store manifest, to compute a list of TrustStoreInclusions:

1. If the cached manifest was fetched more than max_age seconds ago, fetch and cache a new copy.
2. For each trust store version in the cached manifest's versions:
   1. Look for a trust store entry whose id, when indexed into trust_anchors, matches the certification path's trust anchor.
   2. If found, output a TrustStoreInclusion structure:
      • Set trust_store to the manifest's name, encoded in UTF-8 , and the version's version number.
      • Set status to latest_version_at_issuance if the trust store version is currently the latest version. Otherwise, set it to previous_version.
      • Set labels to the trust store entry's labels.

If the above procedure outputs a TrustStoreInclusion with status of latest_version_at_issuance, the certification path's lifetime MUST NOT exceed the corresponding trust store entry's max_lifetime field. This ensures the procedures in and interoperate correctly. The CA combines the outputs of this procedure for each known manifest to form the final TrustStoreInclusionList. To aid the CA in collecting manifests, repositories such as can publish a directory of trust store manifests from participating root programs.

Media Type A certification path with its associated CertificationPropertyList may be represented in a PEM structure in a file of type "application/pem-certificate-chain-with-properties". Files of this type MUST use the strict encoding and MUST NOT include explanatory text. The ABNF for this format is as follows, where "stricttextualmsg" and "eol" are as defined in : The first element MUST be the encoded CertificatePropertyList. The second element MUST be an end-entity certificate. Each following certificate MUST directly certify the one preceding it. The certificate representing the trust anchor MUST be omitted from the path. CertificatePropertyLists are encoded using the "CERTIFICATE PROPERTIES" label. The encoded data is a serialized CertificatePropertyList, defined in . Certificates are encoded as in , except DER MUST be used. The following is an example file with a certification path containing an end-entity certificate and an intermediate certificate. The IANA registration for this media type is described in .

TLS Certificate Negotiation This section defines the trust_expressions extension, which is sent in the ClientHello, CertificateRequest, and Certificate messages.

Trust Expressions When the trust_expressions extension is sent in ClientHello and CertificateRequest, the extension_data field is a TrustExpressionList, defined below: ; } TrustExpression; TrustExpression TrustExpressionList<1..2^16-1>; ]]> A TrustExpressionList is an unordered set of TrustExpression objects. When a relying party sends a TrustExpressionList, it indicates support for all trust anchors specified by any TrustExpression contained in the list. A TrustExpression specifies a list of trust anchors in two parts: First, trust_store specifies a trust store by name and version (see ). Any trust anchors contained in the specified trust store are included. Second, excluded_labels specifies a set of labels, each of which identify one or more trust anchors in a trust store manifest. Any trust anchors identified by any label in excluded_labels are excluded. discusses this set in more detail. excluded_labels MUST be sorted in ascending order and contain no duplicate values to be valid. If invalid, receivers MUST terminate the connection with an illegal_parameter alert. Together, a TrustExpression indicates that the relying party accepts all trust anchors in the referenced trust store version, except for any that were excluded via excluded_labels.

Subscriber Acknowledgement When the trust_expressions extension is sent in a Certificate message, the extension MUST be in the first CertificateEntry and the extension_data field MUST be empty. This extension indicates the subscriber selected a certification path using trust expressions. In this case, the certificate_list flexibility described in no longer applies. The certificate_list MUST contain a complete certification path, correctly ordered and with no extraneous certificates. That is, each certificate MUST certify the one immediately preceding it, and the trust anchor MUST certify the final certificate. If a relying party receives this extension in the Certificate message, it SHOULD NOT use path building to validate the result.

Evaluating Trust Expressions Given a certification path with a trust_store certificate property (), a subscriber can evaluate a TrustExpressionList to determine whether the certification path matches. A TrustExpression is said to match a TrustStoreInclusionList if there is at least one TrustStoreInclusion in the TrustStoreInclusionList such that all of the following are true:

• The name fields of two structures' trust_store fields are equal.
• Either the version fields of the two structures' trust_store fields are equal, or the TrustStoreInclusion's status is latest_version_at_issuance and the version field of TrustExpression's trust_store is greater than that of the TrustStoreInclusion's trust_store.
• There is no value in common between the TrustStoreInclusion's labels field and the TrustExpression's excluded_labels field.

The invariants in imply that at most one TrustStoreInclusion will satisfy the first two properties. Implementations may evaluate this efficiently by performing a binary search over the TrustStoreInclusionList, and then checking the third property. A TrustExpressionList is said to match a TrustStoreInclusionList if any TrustExpression in the TrustExpressionList matches the TrustStoreInclusionList. When a TrustStoreInclusion's status is latest_version_at_issuance, the above criteria predicts that trust anchors in the latest version will continue to be present in later versions. This allows relying parties using later trust store versions to continue to interoperate with certification paths that predate the later version. If this prediction is incorrect and the trust anchor has been removed from the later version, requires that the TrustExpression include appropriate excluded_labels values to mitigate this.

Subscriber Behavior Subscribers using this negotiation scheme are configured with a list of certification paths, with corresponding CertificatePropertyList () structures, in some preference order. When responding to a ClientHello (as a server) or CertificateRequest (as a client) containing the trust_expressions extension, the subscriber collects all candidate certification paths such that all of the following are true:

• The certification path has not expired.
• The CertificatePropertyList has a trust_store property with a TrustStoreInclusionList.
• The matching algorithm described in returns true.
• The certification path is suitable for use based on other TLS criteria. For example, the TLS signature_algorithms () extension constrains the types of keys which may be used.
• The certification path satisfies any other application-specific constraints which may apply. For example, TLS servers often select certificates based on the server_name () extension.

Once all candidate paths are determined, the subscriber picks one to present to the relying party. The subscriber MUST include an empty trust_expressions extension in the first CertificateEntry. If multiple candidates match, the subscriber picks its most preferred option. For example, it may try to minimize message size, or prefer options with more performant private keys. If no candidates match, or if the peer did not send a trust_expressions extension, the subscriber falls back to preexisting behavior outside the scope of this document, without including a trust_expressions extension. For example, the subscriber may have a default certificate configured, or select a certificate using the certificate_authorities extension.

Constructing Trust Expressions Relying parties send the trust_expressions extension to advertise a set of accepted trust anchors. discusses which trust anchors to advertise. Each trust expression to be sent advertises a subset of some trust store version. To communicate a set of trust anchors that span multiple trust stores, relying parties MAY send multiple trust expressions, each referencing a different trust store. For each referenced trust store version, the following procedure constructs a trust expression. This procedure is expected to be run by the root program, as part of defining new trust store versions and provisioning supported trust anchors in relying parties. [[TODO: This is written as a procedure, but we expect root programs to fill in the expected exclusions when they define a new trust store version, and then trim the compatibility exclusions as they expire. Also the root programs know their label allocation scheme and are the ones deciding on removals, so they're best situated to pick a set of excluded_labels. Perhaps this should get moved to the manifest?]]

1. Let include_entries and exclude_entries be two empty sets of trust anchor entries.
2. For each trust store entry in the trust store version:
   1. If the trust store entry's id references a trust anchor that is in the desired subset, add it to include_entries.
   2. Otherwise, add it to exclude_entries.
3. For all trust store entries in trust store versions before the specified version:
   1. If the current time is before the entry's expiration time () and if the entry's id references a trust anchor that is not in the desired subset, add the entry to exclude_entries.
4. Compute a set of labels, excluded_labels such that:
   1. No label appears in any entry in include_entries.
   2. For each entry in exclude_entries, there is some label in common between excluded_labels and the labels in the entry.
   How to compute this set depends on the root program's label allocation scheme (). If the root program allocates a label for each trust anchor, this set is always computable, though more efficient sets may be possible depending on the allocation scheme.
5. Output a TrustExpression such that trust_store is the referenced trust store version, and excluded_labels is the computed excluded_labels value.

This procedure uses excluded_labels for two kinds of exclusions: First, if the trust store version includes undesired trust anchors, the trust expression should exclude them. This may occur if, for example, the trust store is used by all versions of the relying party's software, but some trust anchors are gated by software version. Second, trust expressions exclude unexpired entries from previous versions. This is because the matching criteria described in predictively applies TrustStoreInclusion values with status of latest_version_at_issuance to all future versions of a trust store. This allows relying parties to interoperate with subscribers with stale information. Unexpired entries are those for which such an unexpired certification path may still exist. Where this prediction is incorrect, trust expressions MUST mitigate this by excluding the past entries.

Issuing Certificates Subscribers SHOULD use an automated issuance process where the CA transparently provisions multiple certification paths, without changes to subscriber configuration. As relying party requirements evolve, the CA adjusts its output to ensure its subscribers continue to interoperate with all supported relying parties. This results in a more flexible and agile PKI that can better respond to security incidents and changes in requirements. (See for details.) Subscribers MAY additionally combine the outputs from multiple CAs. This may be used, for example, to maintain backup certificates as described in .

ACME Extension This section extends ACME to be able to issue certificate paths, each with an associated CertificatePropertyList by defining a new media type in . It extends the ACME order object with a configurable boolean field, "trustExpressions". First, ACME clients indicate they support certification paths selected by trust expressions by setting "trustExpressions" to "true" in the ACME newOrder request (). If the server accepts the request, it MUST reflect the field in the resulting order object. When an ACME server processes an order object with the "trustExpressions" field set to "true", it MAY issue multiple certification paths, each with an associated TrustStoreInclusionList, computed as in . These paths MAY share an end-entity certificate but end at different trust anchors, or they MAY be completely distinct. If the latter, the "trustExpressions" order field allows the ACME server to skip issuing unnecessary end-entity certificates for ACME clients that would be unable to use them. The ACME server encodes each certification path using the application/pem-certificate-chain-with-properties format, defined in ). Note this format is required to form a complete certification path. The CA MUST return a result that may be verified by relying parties without path building . The ACME server provides additional results to the client with the link relation header fields described in . When fetching certificates, the ACME client includes application/pem-certificate-chain-with-properties in its Accept header to indicate it supports the new format. Unlike the original mechanism described in , these certification paths do not require heuristics to be used. Instead, the ACME client uses the associated TrustStoreInclusionLists to select a path as described in . When the ACME client wishes to renew any of the certification paths issued in this order, it repeats this process to renew each path concurrently. Thus this extension is suitable when the CA is willing to issue and renew all paths together. It may not be appropriate if the paths have significantly different processing times or lifetimes. Future enhancements to ACME may be defined to address these cases, e.g. by allowing the ACME client to make independent orders.

Example Suppose A1, A2, B1, B2, C1, and C2 are X.509 root certificates, such that A1 and A2 share an operator, B1 and B2 share an operator, and C1 and C2 share an operator. On January 1st, 2023, the root program includes A1, A2, B1, and B2. It allocates labels 0 through 3 for each individual CA and then 100 and 101 for the two CA operators. The CAs issue 90 day certificates and are permitted to use manifests stale by 10 days. The root store manifest may then be: A certification path, A1_old, issued by A1, would have a TrustStoreInclusion:

• trust_store.name is "example"
• trust_store.version is 0
• status is latest_version_at_issuance
• labels is 0, 100

A certification path, B1_old, issued by B1, would have a TrustStoreInclusion:

• trust_store.name is "example"
• trust_store.version is 0
• status is latest_version_at_issuance
• labels is 2, 101

A certification path, C1_old, issued by C1, would have no TrustStoreInclusions that reference "example". On February 1st, 2023, the root program added CAs C1 and C2 but removed CAs B1 and B2. It continues the previous label allocation scheme, but now wishes to allocate label 200 for CAs A1 and C1. The manifest may then be: A certification path, A1_new, newly issued by A1, would have two TrustStoreInclusions. The first:

• trust_store.name is "example"
• trust_store.version is 0
• status is previous_version
• labels is 0, 100

And the second:

• trust_store.name is "example"
• trust_store.version is 1
• status is latest_version_at_issuance
• labels is 0, 100, 200

A certification path, B1_new, newly issued by B1, would have a TrustStoreInclusion:

• trust_store.name is "example"
• trust_store.version is 0
• status is previous_version
• labels contains 2, 101

A certification path, C1_new, newly issued by C1, would have a TrustStoreInclusion:

• trust_store.name is "example"
• trust_store.version is 1
• status is previous_version
• labels contains 2, 101, 200

A relying party which trusts trust anchors A1, A2, B1, and B2 might send a TrustExpression referencing trust store "example", version 0, with empty excluded_labels. This would match A1_old, A1_new, B1_old, and B1_new by the corresponding TrustStoreInclusion. It would not match C1_old or C1_new. A relying party which trusts trust anchors A2, B1, and B2, but not A1, might send a TrustExpression referencing trust store "example", version 0, with excluded_labels of 0. This would match B1_old and B1_new, but not A1_old or A1_new because the TrustExpression excludes A1. A relying party which trusts trust anchors A1, A2, C1, and C2 might send a TrustExpression referencing trust store "example", version 1, with excluded_labels of 101. Although B1 and B2 are not contained in version 1 of the trust store, the relying party must exclude them, per . This TrustExpression matches the above certification paths as follows:

• A1_old matches. Although it has no version 1 TrustStoreInclusion, the version 0 TrustStoreInclusion has a status of latest_version_at_issuance.
• A1_new matches via its version 1 TrustStoreInclusion.
• B1_old does not match. Although its version 0 TrustStoreInclusion has a status of latest_version_at_issuance and thus applies, excluded_labels excludes it.
• B1_new does not match. Its version 0 TrustStoreInclusion has a status of previous_version and does not apply. It has no version 1 TrustStoreInclusion.
• C1_old does not match. Although the relying party trusts C1, C1_old was issued before C1 was able to communicate this to the subscriber.
• C1_new matches via its version 1 TrustStoreInclusion.

The relying party could equivalently have sent a TrustExpression referencing trust store "example", version 1, with excluded_labels of 2 and 3. This pair of labels excludes the same CAs as 101. Of the above examples, B1_old depends on the exclusion to avoid a false positive match. 100 days after February 1st, B1 and B2's trust store entries from version 0 will expire (see ), and the relying party no longer needs to exclude them. By this point, B1_old will have expired. B1_new may still be valid, but it does not require the exclusion.

Use Cases

Key Rotation In most X.509 deployments, a compromise of any root CA's private key compromises the entire PKI. Yet key rotation in PKIs is rare. In 2023, the oldest root in and was 25 years old, dating to 1998. Key rotation is challenging in a single-certificate deployment model. As long as any older relying party requires the old root, subscribers cannot switch to the new root, which in turn means relying parties cannot distrust the old root, leaving them vulnerable. A multi-certificate deployment model avoids these transition problems. Key rotation may proceed as follows:

1. The CA operator generates a new root CA with a separate key, but continues operating the old root CA.
2. Root programs begin trusting the new root CA alongside the old one. They update their root store manifests.
3. When subscribers request certificates, the CA issues certificates from both roots and provisions the subscriber with both certificates.
4. Relying parties send trust expressions that evaluate to either the old or new root, and are served the appropriate option.
5. Once subscribers have been provisioned with new certificates, root programs can safely distrust the old root in new relying parties. The CA operator continues to operate the old root CA for as long as it wishes to serve subscribers that, in turn, wish to serve older relying parties.

This process requires no configuration changes to the subscriber, given an automated, multi-certificate-aware certificate issuance process. The subscriber does not need to know why it received two certificates, only how to select between them for each relying party.

Adding CAs In the single-certificate model, subscribers cannot use TLS certificates issued from a new root CA until all supported relying parties have been updated to trust the new root CA. This can take years or more. Some relying parties, such as IoT devices, may never receive trust store updates at all. As a result, it is very difficult for subscribers that serve a wide variety of relying parties to use a newly-trusted root CA. When trust stores diverge too far, subscribers often must partition their services into multiple TLS endpoints (i.e. different DNS names) and direct different relying parties to different endpoints. Subscribers sometimes resort to TLS fingerprinting, to detect particular relying parties. But, as this repurposes other TLS fields for unintended purposes, this is unreliable and usually requires writing custom service-specific logic. In a multi-certificate deployment model, subscribers can begin serving certificates from new root CAs without interrupting relying parties that depend on existing ones. In some contexts, it may be possible to use other fields to select the new CA. For example, post-quantum-capable clients may be detected with the signature_algorithms and signature_algorithms_cert extensions. However, this assumes all post-quantum CAs are added at the same time. A multi-certificate model avoids this problem and allows for a more gradual deployment of post-quantum CAs.

Removing CAs Subscribers in a single-certificate model are limited to CAs in the intersection of their supported relying parties. As newer relying parties remove untrusted CAs over time,the intersection with older relying parties shrinks. Moreover, the subscriber may not even know which CAs are in the intersection. Often, the only option is to try the new certificate and monitor errors. For subscribers that serve many diverse relying parties, this is a disruptive and risky process. The multi-certificate model removes this constraint. If a subscriber's CA is distrusted, it can continue to use that CA, in addition to a newer one. This removes the risk that some older relying party required that CA and was incompatible with the new one. The mechanisms in this document will select an appropriate certificate for each relying party.

Other Root Transitions The mechanisms in this document can aid PKI transitions beyond key rotation. For example, a CA operator may generate a postquantum root CA and use the mechanism in to issue from the classical and postquantum roots concurrently. The subscriber will then, transparently and with no configuration change, serve both. As in , newer relying parties can then remove the classical roots, while older relying parties continue to function. This same procedure may also be used to transition between newer, more size-efficient signature algorithms, as they are developed. [[TODO: There's one missing piece, which is that some servers may attempt to parse the signature algorithms out of the certificate chain. See https://github.com/davidben/tls-trust-expressions/issues/9 ]]

Intermediate Elision Today, root CAs typically issue shorter-lived intermediate certificates which, in turn, issue end-entity certificates. The long-lived root key is less exposed to attack, while the short-lived intermediate key can be more easily replaced without changes to relying parties. This operational improvement comes at a bandwidth cost: the TLS handshake includes an extra certificate, which includes a public key, signature, and X.509 metadata. An average X.509 name in the Chrome Root Store or Mozilla CA Certificate Program is around 100 bytes alone. Post-quantum signature algorithms will dramatically shift this tradeoff. Dilithium3 , for example, has a total public key and signature size of 5,245 bytes. proposes to predistribute known intermediate certificates to relying parties, as a compression scheme. A multi-certificate deployment model provides another way to achieve this effect. To relying parties, a predistributed intermediate certificate is functionally equivalent to a root certificate. PKIs use intermediate certificates because changing root certificates requires updating relying parties, but predistributed intermediates already presume updated relying parties. A CA operator could provide subscribers with two certification paths: a longer path ending at a long-lived trust anchor and shorter path the other ending at a short-lived, revocable root. Relying parties would be configured to trust both the long-lived root and the most recent short-lived root. The negotiation mechanism in would then send the shorter path to up-to-date relying parties, and the longer path to older relying parties. This achieves the same effect with a more general-purpose multi-certificate mechanism. It is also more flexible, as the two paths need not be related. For example, root CA public keys are not distributed in each TLS connection, so a post-quantum signature algorithm that optimizes for signature size may be preferable. In this model, both the long-lived and short-lived roots may use such an algorithm. In a compression-based model, the same intermediate must optimize both its compressed and uncompressed size, so such an algorithm may not be suitable.

Conflicting Relying Party Requirements A subscriber may need to support relying parties with different requirements. For example, in contexts where online revocation checks are expensive, unreliable, or privacy-sensitive, user security is best served by short-lived certificates. In other contexts, long-lived certificates may be more appropriate for, e.g., systems that are offline for long periods of time or have unreliable clocks. A single-certificate deployment model forces subscribers to find a single certificate that meets all requirements. User security then suffers in all contexts, as the PKI may not quite meet anyone's needs. In a multi-certificate deployment model, different contexts may use different trust anchors. A subscriber that supports multiple contexts would provision certificates for each, with certificate negotiation logic directing the right one to each relying party.

Backup Certificates A subscriber may obtain certificate paths from multiple CAs for redundancy in the face of future CA compromises. If one CA is compromised and removed from newer relying parties, the TLS server software will transparently serve the other one. To support this, TLS serving software SHOULD permit users to configure multiple ACME endpoints and select from the union of the certificate paths returned by each ACME server.

Privacy Considerations The negotiation mechanism described in this document is analogous to the certificate_authorities extension (), but more size-efficient. Like that extension, it presumes the advertised trust anchor list is not sensitive. Thus, this mechanism SHOULD NOT be used to advertise trust anchors or distrusts which are unique to an individual user. Rather, trust expressions SHOULD be computed based only on the trust anchors common to the relying party's anonymity set (). Additionally, multiple trust expressions may evaluate to the same trust anchor list, so relying parties in the same anonymity set SHOULD send the same trust expression. To achieve this, trust expressions SHOULD be assembled by the root program and configured in relying parties alongside trust store updates. For example, a web browser may support both a common set of trust anchors configured by the browser vendor, along with user-specified additions and removals. The common trust anchors would reveal, at most, which browser is used, while the user-specified modifications may reveal identifying information about the user. The trust expression SHOULD reflect only the common trust anchors. This limits the benefits of trust anchor agility in two ways:

• If a subscriber relies on a user-specified addition, the procedure in will fallback to preexisting behavior, such as selecting a default certificate. The subscriber then relies on the default certificate matching the relying party.
• If a subscriber has a certificate issued by a CA distrusted by the user, the procedure in may select a distrusted certificate. In that case, the connection will fail, even if the subscriber has another certificate available.

Both of these cases match the preexisting behavior in PKIs that do not use trust expressions.

Security Considerations The certificate negotiation mechanism described in this document facilitates which certification path is served to relying parties, but has no impact on the relying party's trust preferences themselves. As a result, this allows for a more flexible and agile PKI, which can better mitigate security risks to users. discusses some scenarios which benefit from the multi-certificate deployment this document enables. In general, robust certificate negotiation helps subscribers navigate differences in relying party requirements. This means security improvements for one set of relying parties can be deployed without needing to risk incompatibility or breakage for others. If either the subscriber's TrustStoreInclusionList or the relying party's TrustExpressionList are incorrect, the matching algorithm described in may incorrectly identify an untrusted certification path. This mechanism will not result in that path being trusted, but does present the possibility of a denial of service. These structures are provisioned by the CA and root program, respectively, who are already expected to provide accurate information.

IANA Considerations

TLS ExtensionType Updates IANA is requested to create the following entry in the TLS ExtensionType Values registry, defined by :

Value	Extension Name	TLS 1.3	DTLS-Only	Recommended	Reference
TBD	trust_expressions	CH, CR, CT	N	Y	[this-RFC]

Media Type Updates IANA is requested to create the following entry in the "Media Types" registry, defined in :

Type name:

application

Subtype name:

pem-certificate-chain-with-properties

Required parameters:

None

Optional parameters:

None

Encoding considerations:

7bit

Security considerations:

Carries a cryptographic certificate and its associated certificate chain and additional properties. This media type carries no active content.

Interoperability considerations:

None

Published specification:

[this-RFC, ]

Applications that use this media type:

ACME clients and servers, HTTP servers, other applications that need to be configured with a certificate chain

Additional information:

Deprecated alias names for this type:

n/a

Magic number(s):

n/a

File extension(s):

.pem

Macintosh file type code(s):

n/a

Person & email address to contact for further information:

See Authors' Addresses section.

Intended usage:

COMMON

Restrictions on usage:

n/a

Author:

See Authors' Addresses section.

Change controller:

IETF

ACME Order Object Fields Updates IANA is requested to create the following entry in the ACME Order Object Fields registry, defined by :

Field Name	Field Type	Configurable	Reference
trustExpressions	boolean	true	[this-RFC]

CertificatePropertyType Registry [[TODO: Establish a CertificatePropertyType registry.]]

References Normative References IEEE ITU-T This document specifies version 1.3 of the Transport Layer Security (TLS) protocol. TLS allows client/server applications to communicate over the Internet in a way that is designed to prevent eavesdropping, tampering, and message forgery. This document updates RFCs 5705 and 6066, and obsoletes RFCs 5077, 5246, and 6961. This document also specifies new requirements for TLS 1.2 implementations. This memo profiles the X.509 v3 certificate and X.509 v2 certificate revocation list (CRL) for use in the Internet. An overview of this approach and model is provided as an introduction. The X.509 v3 certificate format is described in detail, with additional information regarding the format and semantics of Internet name forms. Standard certificate extensions are described and two Internet-specific extensions are defined. A set of required certificate extensions is specified. The X.509 v2 CRL format is described in detail along with standard and Internet-specific extensions. An algorithm for X.509 certification path validation is described. An ASN.1 module and examples are provided in the appendices. [STANDARDS-TRACK] In many standards track documents several words are used to signify the requirements in the specification. These words are often capitalized. This document defines these words as they should be interpreted in IETF documents. This document specifies an Internet Best Current Practices for the Internet Community, and requests discussion and suggestions for improvements. RFC 2119 specifies common key words that may be used in protocol specifications. This document aims to reduce the ambiguity by clarifying that only UPPERCASE usage of the key words have the defined special meanings. This document provides guidance and recommendations to developers building X.509 public-key certification paths within their applications. By following the guidance and recommendations defined in this document, an application developer is more likely to develop a robust X.509 certificate-enabled application that can build valid certification paths across a wide range of PKI environments. This memo provides information for the Internet community. JavaScript Object Notation (JSON) is a lightweight, text-based, language-independent data interchange format. It was derived from the ECMAScript Programming Language Standard. JSON defines a small set of formatting rules for the portable representation of structured data. This document removes inconsistencies with other specifications of JSON, repairs specification errors, and offers experience-based interoperability guidance. This document describes the commonly used base 64, base 32, and base 16 encoding schemes. It also discusses the use of line-feeds in encoded data, use of padding in encoded data, use of non-alphabet characters in encoded data, use of different encoding alphabets, and canonical encodings. [STANDARDS-TRACK] Public Key Infrastructure using X.509 (PKIX) certificates are used for a number of purposes, the most significant of which is the authentication of domain names. Thus, certification authorities (CAs) in the Web PKI are trusted to verify that an applicant for a certificate legitimately represents the domain name(s) in the certificate. As of this writing, this verification is done through a collection of ad hoc mechanisms. This document describes a protocol that a CA and an applicant can use to automate the process of verification and certificate issuance. The protocol also provides facilities for other certificate management functions, such as certificate revocation. ISO/IEC 10646-1 defines a large character set called the Universal Character Set (UCS) which encompasses most of the world's writing systems. The originally proposed encodings of the UCS, however, were not compatible with many current applications and protocols, and this has led to the development of UTF-8, the object of this memo. UTF-8 has the characteristic of preserving the full US-ASCII range, providing compatibility with file systems, parsers and other software that rely on US-ASCII values but are transparent to other values. This memo obsoletes and replaces RFC 2279. This document describes and discusses the textual encodings of the Public-Key Infrastructure X.509 (PKIX), Public-Key Cryptography Standards (PKCS), and Cryptographic Message Syntax (CMS). The textual encodings are well-known, are implemented by several applications and libraries, and are widely deployed. This document articulates the de facto rules by which existing implementations operate and defines them so that future implementations can interoperate. Internet technical specifications often need to define a formal syntax. Over the years, a modified version of Backus-Naur Form (BNF), called Augmented BNF (ABNF), has been popular among many Internet specifications. The current specification documents ABNF. It balances compactness and simplicity with reasonable representational power. The differences between standard BNF and ABNF involve naming rules, repetition, alternatives, order-independence, and value ranges. This specification also supplies additional rule definitions and encoding for a core lexical analyzer of the type common to several Internet specifications. [STANDARDS-TRACK] This document offers guidance for developing privacy considerations for inclusion in protocol specifications. It aims to make designers, implementers, and users of Internet protocols aware of privacy-related design choices. It suggests that whether any individual RFC warrants a specific privacy considerations section will depend on the document's content. This document defines procedures for the specification and registration of media types for use in HTTP, MIME, and other Internet protocols. This memo documents an Internet Best Current Practice. Informative References Chromium Mozilla Mozilla Microsoft Google Apple Cisco This document proposes a notational convention to express Concise Binary Object Representation (CBOR) data structures (RFC 7049). Its main goal is to provide an easy and unambiguous way to express structures for protocol messages and data formats that use CBOR or JSON. This document provides specifications for existing TLS extensions. It is a companion document for RFC 5246, "The Transport Layer Security (TLS) Protocol Version 1.2". The extensions specified are server_name, max_fragment_length, client_certificate_url, trusted_ca_keys, truncated_hmac, and status_request. [STANDARDS-TRACK] Mozilla This draft defines a new TLS Certificate Compression scheme which uses a shared dictionary of root and intermediate WebPKI certificates. The scheme smooths the transition to post-quantum certificates by eliminating the root and intermediate certificates from the TLS certificate chain without impacting trust negotiation. It also delivers better compression than alternative proposals whilst ensuring fair treatment for both CAs and website operators. It may also be useful in other applications which store certificate chains, e.g. Certificate Transparency logs.

CDDL Schema The following is a non-normative CDDL schema which describes a trust store manifest structure (): any, } trust-store-entry = { id: text, labels: [+ uint], max_lifetime: uint, * text => any, } trust-store-version = { timestamp: int, entries: [+ trust-store-entry], * text => any, } trust-store-manifest = { name: text, max_age: uint, trust_anchors: {+ text => trust-anchor}, versions: [+ trust-store-version], * text => any, } ]]>

Acknowledgements The authors thank Nick Harper, Sophie Schmieg, and Emily Stark for many valuable discussions and insights which led to this document, as well as review of early iterations.