Channel Bindings for TLS 1.3

Introduction The "tls-unique" channel binding type defined in was found to be vulnerable to the "triple handshake vulnerability" without the extended master secret extension defined in . While TLS 1.3 uses a complete transcript hash akin to the extended master secret procedures, the safety of channel bindings with TLS 1.3 was not analyzed as part of the core protocol work, and so the specification of channel bindings for TLS 1.3 was deferred. section C.5 notes the lack of channel bindings for TLS 1.3; this document defines such channel bindings, and fills that gap. Furthermore, this document updates by adding an additional unique channel binding type, "tls-exporter", that replaces some usage of "tls-unique".

Conventions and Terminology Throughout this document the acronym "EKM" is used to refer to Exported Keying Material as defined in . 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.

The 'tls-exporter' Channel Binding Type Channel binding mechanisms are not useful until TLS implementations expose the required data. To facilitate this, "tls-exporter" uses exported keying material (EKM) which is already widely exposed by TLS implementations. The EKM is obtained using the keying material exporters for TLS as defined in and section 7.5 by supplying the following inputs:

Label:: The ASCII string "EXPORTER-Channel-Binding" with no terminating NUL.
Context value:: Zero-length string.
Length:: 32 bytes.

This channel binding mechanism is defined only when the TLS handshake results in unique master secrets. This is true of TLS versions prior to 1.3 when the extended master secret extension of is in use, and is always true for TLS 1.3 (see appendix D).

TLS 1.3 with SCRAM or GSS-API over SASL SCRAM (, and ) and GSS-API over SASL define "tls-unique" as the default channel binding to use over TLS. As "tls-unique" is not defined for TLS 1.3 (and greater), this document updates , , and to use "tls-exporter" as the default channel binding over TLS 1.3 (and greater). Note that this document does not change the default channel binding for SCRAM mechanisms over TLS 1.2 , which is still "tls-unique". Additionally, this document updates the aforementioned documents to make "tls-exporter" the mandatory to implement channel binding if any channel bindings are implemented for TLS 1.3. Implementations that support channel binding over TLS 1.3 MUST implement "tls-exporter".

Security Considerations The channel binding type defined in this document is constructed so that disclosure of the channel binding data does not leak secret information about the TLS channel and does not affect the security of the TLS channel. The derived data MUST NOT be used for any purpose other than channel bindings as described in . In particular, implementations MUST NOT use channel binding as a secret key to protect privileged information. The Security Considerations sections of , , and apply to this document.

Uniqueness of Channel Bindings The definition of channel bindings in defines the concept of a "unique" channel binding as being one that is unique to the channel endpoints and unique over time, that is, a value that is unique to a specific instance of the lower layer security protocol. When TLS is the lower layer security protocol, as for the channel binding type defined in this document, this concept of uniqueness corresponds to uniquely identifying the specific TLS connection. However, a stronger form of uniqueness is possible, which would entail uniquely identifying not just the lower layer protocol but also the upper layer application or authentication protocol that is consuming the channel binding. The distinction is relevant only when there are multiple instances of an authentication protocol, or multiple distinct authentication protocols, that run atop the same lower layer protocol. Such a situation is rare -- most consumers of channel bindings establish an instance of the lower layer secure protocol, run a single application or authentication protocol as the upper layer protocol, then terminate both upper and lower layer protocols. In this situation the stronger form of uniqueness is trivially achieved, given that the channel binding value is unique in the sense of . The channel binding type defined by this document provides only the weaker type of uniqueness, as per ; it does not achieve the stronger uniqueness per upper layer protocol instance described above. This stronger form of uniqueness would be useful in that it provides protection against cross-protocol attacks for the multiple authentication protocols running over the same instance of the lower layer protocol, and it provides protection against replay attacks that seek to replay a message from one instance of an authentication protocol in a different instance of the same authentication protocol, again running over the same instance of the lower layer protocol. Both of these properties are highly desirable when performing formal analysis of upper layer protocols; if these properties are not provided, such formal analysis is essentially impossible. In some cases one or both of these properties may already be provided by specific upper layer protocols, but that is dependent on the mechanism(s) in question, and formal analysis requires that the property is provided in a generic manner, across all potential upper layer protocols that exist or might exist in the future. Accordingly, applications that make use of the channel binding type defined in this document MUST NOT use the channel binding for more than one authentication mechanism instance on a given TLS connection. Such applications MUST immediately close the TLS connection after the conclusion of the upper layer protocol.

Use with Legacy TLS While it is possible to use this channel binding mechanism with TLS versions below 1.3, extra precaution must be taken to ensure that the chosen cipher suites always result in unique master secrets. For more information see and the Security Considerations section of (TLS 1.3 always provides unique master secrets, as discussed in Appendix D of .) When TLS renegotiation is enabled on a connection the "tls-exporter" channel binding type is not defined for that connection and implementations MUST NOT support it. In general, users wishing to take advantage of channel binding should upgrade to TLS 1.3 or later.

IANA Considerations

Registration of Channel Binding Type This document adds the following registration in the "Channel-Binding Types" registry:

Subject:: Registration of channel binding tls-exporter
Channel binding unique prefix:: tls-exporter
Channel binding type:: unique
Channel type:: TLS
Published specification:: &docName;
Channel binding is secret:: no
Description:: The EKM value obtained from the current TLS connection.
Intended usage:: COMMON
Person and email address to contact for further information:: Sam Whited <sam@samwhited.com>.
Owner/Change controller name and email address:: IESG.
Expert reviewer name and contact information:: IETF KITTEN or TLS WG (kitten@ietf.org or tls@ietf.org, failing that, ietf@ietf.org).
Note:: See the published specification for advice on the applicability of this channel binding type.

Registration of Channel Binding TLS Exporter Label This document adds the following registration in the "TLS Exporter Labels" registry, which is part of the "Transport Layer Security (TLS) Parameters" group:

Value:: EXPORTER-Channel-Binding
DTLS-OK:: Y
Recommended:: Y
Reference:: This document