blob: 2f000e55b37c7f42cf8e11b6a16c3bb80e1a9ad8 [file] [log] [blame]
David Benjaminc895d6b2016-08-11 13:26:41 -04001/* Copyright (c) 2016, Google Inc.
2 *
3 * Permission to use, copy, modify, and/or distribute this software for any
4 * purpose with or without fee is hereby granted, provided that the above
5 * copyright notice and this permission notice appear in all copies.
6 *
7 * THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
8 * WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
9 * MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY
10 * SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
11 * WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN ACTION
12 * OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF OR IN
13 * CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE. */
14
15#include <openssl/ssl.h>
16
17#include <assert.h>
18#include <string.h>
19
Robert Sloan4c22c5f2019-03-01 15:53:37 -080020#include <tuple>
21
Steven Valdez909b19f2016-11-21 15:35:44 -050022#include <openssl/aead.h>
David Benjaminc895d6b2016-08-11 13:26:41 -040023#include <openssl/bytestring.h>
24#include <openssl/digest.h>
25#include <openssl/err.h>
Pete Bentley00a7c402021-07-23 17:57:12 +010026#include <openssl/hpke.h>
David Benjaminc895d6b2016-08-11 13:26:41 -040027#include <openssl/mem.h>
28#include <openssl/rand.h>
29#include <openssl/stack.h>
30
Robert Sloan69939df2017-01-09 10:53:07 -080031#include "../crypto/internal.h"
David Benjaminc895d6b2016-08-11 13:26:41 -040032#include "internal.h"
33
34
Robert Sloan726e9d12018-09-11 11:45:04 -070035BSSL_NAMESPACE_BEGIN
Robert Sloanb6d070c2017-07-24 08:40:01 -070036
David Benjaminc895d6b2016-08-11 13:26:41 -040037static const uint8_t kZeroes[EVP_MAX_MD_SIZE] = {0};
38
Pete Bentley0c61efe2019-08-13 09:32:23 +010039// Allow a minute of ticket age skew in either direction. This covers
40// transmission delays in ClientHello and NewSessionTicket, as well as
41// drift between client and server clock rate since the ticket was issued.
42// See RFC 8446, section 8.3.
43static const int32_t kMaxTicketAgeSkewSeconds = 60;
44
Pete Bentley00a7c402021-07-23 17:57:12 +010045static bool resolve_ecdhe_secret(SSL_HANDSHAKE *hs,
46 const SSL_CLIENT_HELLO *client_hello) {
David Benjamin1b249672016-12-06 18:25:50 -050047 SSL *const ssl = hs->ssl;
Pete Bentley00a7c402021-07-23 17:57:12 +010048 const uint16_t group_id = hs->new_session->group_id;
David Benjaminc895d6b2016-08-11 13:26:41 -040049
Robert Sloana27a6a42017-09-05 08:39:28 -070050 bool found_key_share;
Pete Bentley00a7c402021-07-23 17:57:12 +010051 Span<const uint8_t> peer_key;
David Benjamin7c0d06c2016-08-11 13:26:41 -040052 uint8_t alert = SSL_AD_DECODE_ERROR;
Pete Bentley00a7c402021-07-23 17:57:12 +010053 if (!ssl_ext_key_share_parse_clienthello(hs, &found_key_share, &peer_key,
54 &alert, client_hello)) {
Robert Sloan921ef2c2017-10-17 09:02:20 -070055 ssl_send_alert(ssl, SSL3_AL_FATAL, alert);
Pete Bentley00a7c402021-07-23 17:57:12 +010056 return false;
David Benjaminc895d6b2016-08-11 13:26:41 -040057 }
58
59 if (!found_key_share) {
Pete Bentley00a7c402021-07-23 17:57:12 +010060 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_ILLEGAL_PARAMETER);
61 OPENSSL_PUT_ERROR(SSL, SSL_R_WRONG_CURVE);
62 return false;
David Benjaminc895d6b2016-08-11 13:26:41 -040063 }
64
Pete Bentley00a7c402021-07-23 17:57:12 +010065 Array<uint8_t> secret;
66 SSL_HANDSHAKE_HINTS *const hints = hs->hints.get();
67 if (hints && !hs->hints_requested && hints->key_share_group_id == group_id &&
68 !hints->key_share_secret.empty()) {
69 // Copy DH secret from hints.
70 if (!hs->ecdh_public_key.CopyFrom(hints->key_share_public_key) ||
71 !secret.CopyFrom(hints->key_share_secret)) {
72 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
73 return false;
74 }
75 } else {
76 ScopedCBB public_key;
77 UniquePtr<SSLKeyShare> key_share = SSLKeyShare::Create(group_id);
78 if (!key_share || //
79 !CBB_init(public_key.get(), 32) ||
80 !key_share->Accept(public_key.get(), &secret, &alert, peer_key) ||
81 !CBBFinishArray(public_key.get(), &hs->ecdh_public_key)) {
82 ssl_send_alert(ssl, SSL3_AL_FATAL, alert);
83 return false;
84 }
85 if (hints && hs->hints_requested) {
86 hints->key_share_group_id = group_id;
87 if (!hints->key_share_public_key.CopyFrom(hs->ecdh_public_key) ||
88 !hints->key_share_secret.CopyFrom(secret)) {
89 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
90 return false;
91 }
92 }
93 }
94
95 return tls13_advance_key_schedule(hs, secret);
David Benjaminc895d6b2016-08-11 13:26:41 -040096}
97
Robert Sloana12bf462017-07-17 07:08:26 -070098static int ssl_ext_supported_versions_add_serverhello(SSL_HANDSHAKE *hs,
99 CBB *out) {
100 CBB contents;
101 if (!CBB_add_u16(out, TLSEXT_TYPE_supported_versions) ||
102 !CBB_add_u16_length_prefixed(out, &contents) ||
103 !CBB_add_u16(&contents, hs->ssl->version) ||
104 !CBB_flush(out)) {
105 return 0;
106 }
107
108 return 1;
109}
110
Steven Valdez909b19f2016-11-21 15:35:44 -0500111static const SSL_CIPHER *choose_tls13_cipher(
Robert Sloan11c28bd2018-12-17 12:09:20 -0800112 const SSL *ssl, const SSL_CLIENT_HELLO *client_hello, uint16_t group_id) {
Steven Valdez909b19f2016-11-21 15:35:44 -0500113 CBS cipher_suites;
114 CBS_init(&cipher_suites, client_hello->cipher_suites,
115 client_hello->cipher_suites_len);
116
Robert Sloan921ef2c2017-10-17 09:02:20 -0700117 const uint16_t version = ssl_protocol_version(ssl);
Steven Valdez909b19f2016-11-21 15:35:44 -0500118
Pete Bentley0c61efe2019-08-13 09:32:23 +0100119 return ssl_choose_tls13_cipher(cipher_suites, version, group_id);
Steven Valdez909b19f2016-11-21 15:35:44 -0500120}
121
Adam Vartanianbfcf3a72018-08-10 14:55:24 +0100122static bool add_new_session_tickets(SSL_HANDSHAKE *hs, bool *out_sent_tickets) {
Robert Sloan6d0d00e2017-03-27 07:13:07 -0700123 SSL *const ssl = hs->ssl;
Adam Vartanianbfcf3a72018-08-10 14:55:24 +0100124 if (// If the client doesn't accept resumption with PSK_DHE_KE, don't send a
125 // session ticket.
126 !hs->accept_psk_mode ||
127 // We only implement stateless resumption in TLS 1.3, so skip sending
128 // tickets if disabled.
129 (SSL_get_options(ssl) & SSL_OP_NO_TICKET)) {
130 *out_sent_tickets = false;
131 return true;
132 }
133
Robert Sloana27a6a42017-09-05 08:39:28 -0700134 // TLS 1.3 recommends single-use tickets, so issue multiple tickets in case
135 // the client makes several connections before getting a renewal.
Robert Sloan6d0d00e2017-03-27 07:13:07 -0700136 static const int kNumTickets = 2;
137
Robert Sloana27a6a42017-09-05 08:39:28 -0700138 // Rebase the session timestamp so that it is measured from ticket
139 // issuance.
Robert Sloanb6d070c2017-07-24 08:40:01 -0700140 ssl_session_rebase_time(ssl, hs->new_session.get());
Robert Sloan6d0d00e2017-03-27 07:13:07 -0700141
142 for (int i = 0; i < kNumTickets; i++) {
Robert Sloanb1b54b82017-11-06 13:50:02 -0800143 UniquePtr<SSL_SESSION> session(
144 SSL_SESSION_dup(hs->new_session.get(), SSL_SESSION_INCLUDE_NONAUTH));
145 if (!session) {
Adam Vartanianbfcf3a72018-08-10 14:55:24 +0100146 return false;
Robert Sloan6d0d00e2017-03-27 07:13:07 -0700147 }
Robert Sloan6d0d00e2017-03-27 07:13:07 -0700148
Robert Sloanb1b54b82017-11-06 13:50:02 -0800149 if (!RAND_bytes((uint8_t *)&session->ticket_age_add, 4)) {
Adam Vartanianbfcf3a72018-08-10 14:55:24 +0100150 return false;
Robert Sloanb1b54b82017-11-06 13:50:02 -0800151 }
Adam Vartanianbfcf3a72018-08-10 14:55:24 +0100152 session->ticket_age_add_valid = true;
Pete Bentleyf23caaf2020-09-22 18:02:11 +0100153 bool enable_early_data =
154 ssl->enable_early_data &&
155 (!ssl->quic_method || !ssl->config->quic_early_data_context.empty());
156 if (enable_early_data) {
Tobias Thierer580fcaf2019-09-12 20:23:01 +0100157 // QUIC does not use the max_early_data_size parameter and always sets it
Pete Bentley00a7c402021-07-23 17:57:12 +0100158 // to a fixed value. See RFC 9001, section 4.6.1.
Tobias Thierer580fcaf2019-09-12 20:23:01 +0100159 session->ticket_max_early_data =
160 ssl->quic_method != nullptr ? 0xffffffff : kMaxEarlyDataAccepted;
Robert Sloan921ef2c2017-10-17 09:02:20 -0700161 }
162
Robert Sloanb1b54b82017-11-06 13:50:02 -0800163 static_assert(kNumTickets < 256, "Too many tickets");
164 uint8_t nonce[] = {static_cast<uint8_t>(i)};
165
Robert Sloanb6d070c2017-07-24 08:40:01 -0700166 ScopedCBB cbb;
Robert Sloanb1b54b82017-11-06 13:50:02 -0800167 CBB body, nonce_cbb, ticket, extensions;
Robert Sloanb6d070c2017-07-24 08:40:01 -0700168 if (!ssl->method->init_message(ssl, cbb.get(), &body,
Robert Sloan6d0d00e2017-03-27 07:13:07 -0700169 SSL3_MT_NEW_SESSION_TICKET) ||
Robert Sloanb1b54b82017-11-06 13:50:02 -0800170 !CBB_add_u32(&body, session->timeout) ||
171 !CBB_add_u32(&body, session->ticket_age_add) ||
Robert Sloan8542c082018-02-05 09:07:34 -0800172 !CBB_add_u8_length_prefixed(&body, &nonce_cbb) ||
173 !CBB_add_bytes(&nonce_cbb, nonce, sizeof(nonce)) ||
Robert Sloan6d0d00e2017-03-27 07:13:07 -0700174 !CBB_add_u16_length_prefixed(&body, &ticket) ||
Robert Sloan4c22c5f2019-03-01 15:53:37 -0800175 !tls13_derive_session_psk(session.get(), nonce) ||
Adam Vartanianbfcf3a72018-08-10 14:55:24 +0100176 !ssl_encrypt_ticket(hs, &ticket, session.get()) ||
Robert Sloan6d0d00e2017-03-27 07:13:07 -0700177 !CBB_add_u16_length_prefixed(&body, &extensions)) {
Adam Vartanianbfcf3a72018-08-10 14:55:24 +0100178 return false;
Robert Sloan6d0d00e2017-03-27 07:13:07 -0700179 }
180
Pete Bentleyf23caaf2020-09-22 18:02:11 +0100181 if (enable_early_data) {
Tobias Thierer6204b542019-10-18 21:55:05 +0100182 CBB early_data;
Robert Sloan8542c082018-02-05 09:07:34 -0800183 if (!CBB_add_u16(&extensions, TLSEXT_TYPE_early_data) ||
Tobias Thierer6204b542019-10-18 21:55:05 +0100184 !CBB_add_u16_length_prefixed(&extensions, &early_data) ||
185 !CBB_add_u32(&early_data, session->ticket_max_early_data) ||
Robert Sloan6d0d00e2017-03-27 07:13:07 -0700186 !CBB_flush(&extensions)) {
Adam Vartanianbfcf3a72018-08-10 14:55:24 +0100187 return false;
Robert Sloan6d0d00e2017-03-27 07:13:07 -0700188 }
189 }
190
Pete Bentley00a7c402021-07-23 17:57:12 +0100191 // Add a fake extension. See RFC 8701.
Robert Sloan6d0d00e2017-03-27 07:13:07 -0700192 if (!CBB_add_u16(&extensions,
Robert Sloan309a31e2018-01-29 10:22:47 -0800193 ssl_get_grease_value(hs, ssl_grease_ticket_extension)) ||
Robert Sloan6d0d00e2017-03-27 07:13:07 -0700194 !CBB_add_u16(&extensions, 0 /* empty */)) {
Adam Vartanianbfcf3a72018-08-10 14:55:24 +0100195 return false;
Robert Sloan6d0d00e2017-03-27 07:13:07 -0700196 }
197
Robert Sloanb6d070c2017-07-24 08:40:01 -0700198 if (!ssl_add_message_cbb(ssl, cbb.get())) {
Adam Vartanianbfcf3a72018-08-10 14:55:24 +0100199 return false;
Robert Sloan6d0d00e2017-03-27 07:13:07 -0700200 }
201 }
202
Adam Vartanianbfcf3a72018-08-10 14:55:24 +0100203 *out_sent_tickets = true;
204 return true;
Robert Sloan6d0d00e2017-03-27 07:13:07 -0700205}
206
David Benjamin1b249672016-12-06 18:25:50 -0500207static enum ssl_hs_wait_t do_select_parameters(SSL_HANDSHAKE *hs) {
Robert Sloana27a6a42017-09-05 08:39:28 -0700208 // At this point, most ClientHello extensions have already been processed by
209 // the common handshake logic. Resolve the remaining non-PSK parameters.
David Benjamin1b249672016-12-06 18:25:50 -0500210 SSL *const ssl = hs->ssl;
Robert Sloan84377092017-08-14 09:33:19 -0700211 SSLMessage msg;
David Benjamin1b249672016-12-06 18:25:50 -0500212 SSL_CLIENT_HELLO client_hello;
Pete Bentley00a7c402021-07-23 17:57:12 +0100213 if (!hs->GetClientHello(&msg, &client_hello)) {
David Benjaminc895d6b2016-08-11 13:26:41 -0400214 return ssl_hs_error;
215 }
216
Pete Bentleyf23caaf2020-09-22 18:02:11 +0100217 if (ssl->quic_method != nullptr && client_hello.session_id_len > 0) {
218 OPENSSL_PUT_ERROR(SSL, SSL_R_UNEXPECTED_COMPATIBILITY_MODE);
219 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_ILLEGAL_PARAMETER);
220 return ssl_hs_error;
221 }
Robert Sloana12bf462017-07-17 07:08:26 -0700222 OPENSSL_memcpy(hs->session_id, client_hello.session_id,
223 client_hello.session_id_len);
224 hs->session_id_len = client_hello.session_id_len;
225
Robert Sloan11c28bd2018-12-17 12:09:20 -0800226 uint16_t group_id;
227 if (!tls1_get_shared_group(hs, &group_id)) {
228 OPENSSL_PUT_ERROR(SSL, SSL_R_NO_SHARED_GROUP);
229 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_HANDSHAKE_FAILURE);
230 return ssl_hs_error;
231 }
232
Robert Sloana27a6a42017-09-05 08:39:28 -0700233 // Negotiate the cipher suite.
Robert Sloan11c28bd2018-12-17 12:09:20 -0800234 hs->new_cipher = choose_tls13_cipher(ssl, &client_hello, group_id);
Robert Sloana94fe052017-02-21 08:49:28 -0800235 if (hs->new_cipher == NULL) {
Steven Valdez909b19f2016-11-21 15:35:44 -0500236 OPENSSL_PUT_ERROR(SSL, SSL_R_NO_SHARED_CIPHER);
Robert Sloan921ef2c2017-10-17 09:02:20 -0700237 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_HANDSHAKE_FAILURE);
Steven Valdez909b19f2016-11-21 15:35:44 -0500238 return ssl_hs_error;
239 }
240
Robert Sloana27a6a42017-09-05 08:39:28 -0700241 // HTTP/2 negotiation depends on the cipher suite, so ALPN negotiation was
242 // deferred. Complete it now.
Robert Sloan1c9db532017-03-13 08:03:59 -0700243 uint8_t alert = SSL_AD_DECODE_ERROR;
244 if (!ssl_negotiate_alpn(hs, &alert, &client_hello)) {
Robert Sloan921ef2c2017-10-17 09:02:20 -0700245 ssl_send_alert(ssl, SSL3_AL_FATAL, alert);
Robert Sloan1c9db532017-03-13 08:03:59 -0700246 return ssl_hs_error;
247 }
248
Pete Bentley2f26c212021-10-01 11:32:03 +0000249 // The PRF hash is now known.
Robert Sloanb1b54b82017-11-06 13:50:02 -0800250 if (!hs->transcript.InitHash(ssl_protocol_version(ssl), hs->new_cipher)) {
251 return ssl_hs_error;
252 }
253
Tobias Thierer43be7d22020-03-02 19:23:34 +0000254 hs->tls13_state = state13_select_session;
Robert Sloan1c9db532017-03-13 08:03:59 -0700255 return ssl_hs_ok;
256}
Robert Sloan5d625782017-02-13 09:55:39 -0800257
Robert Sloan1c9db532017-03-13 08:03:59 -0700258static enum ssl_ticket_aead_result_t select_session(
Robert Sloanfe7cd212017-08-07 09:03:39 -0700259 SSL_HANDSHAKE *hs, uint8_t *out_alert, UniquePtr<SSL_SESSION> *out_session,
Pete Bentley0c61efe2019-08-13 09:32:23 +0100260 int32_t *out_ticket_age_skew, bool *out_offered_ticket,
261 const SSLMessage &msg, const SSL_CLIENT_HELLO *client_hello) {
Robert Sloan1c9db532017-03-13 08:03:59 -0700262 SSL *const ssl = hs->ssl;
Pete Bentley0c61efe2019-08-13 09:32:23 +0100263 *out_session = nullptr;
Robert Sloan1c9db532017-03-13 08:03:59 -0700264
Robert Sloan1c9db532017-03-13 08:03:59 -0700265 CBS pre_shared_key;
Pete Bentley0c61efe2019-08-13 09:32:23 +0100266 *out_offered_ticket = ssl_client_hello_get_extension(
267 client_hello, &pre_shared_key, TLSEXT_TYPE_pre_shared_key);
268 if (!*out_offered_ticket) {
Robert Sloan1c9db532017-03-13 08:03:59 -0700269 return ssl_ticket_aead_ignore_ticket;
270 }
271
Pete Bentley2f26c212021-10-01 11:32:03 +0000272 // Per RFC 8446, section 4.2.9, servers MUST abort the handshake if the client
Pete Bentley00a7c402021-07-23 17:57:12 +0100273 // sends pre_shared_key without psk_key_exchange_modes.
274 CBS unused;
275 if (!ssl_client_hello_get_extension(client_hello, &unused,
276 TLSEXT_TYPE_psk_key_exchange_modes)) {
277 *out_alert = SSL_AD_MISSING_EXTENSION;
278 OPENSSL_PUT_ERROR(SSL, SSL_R_MISSING_EXTENSION);
279 return ssl_ticket_aead_error;
280 }
281
Robert Sloan1c9db532017-03-13 08:03:59 -0700282 CBS ticket, binders;
283 uint32_t client_ticket_age;
Tobias Thierer5b7aef42019-08-23 11:08:22 +0100284 if (!ssl_ext_pre_shared_key_parse_clienthello(
285 hs, &ticket, &binders, &client_ticket_age, out_alert, client_hello,
286 &pre_shared_key)) {
Robert Sloan1c9db532017-03-13 08:03:59 -0700287 return ssl_ticket_aead_error;
288 }
289
Pete Bentley0c61efe2019-08-13 09:32:23 +0100290 // If the peer did not offer psk_dhe, ignore the resumption.
291 if (!hs->accept_psk_mode) {
292 return ssl_ticket_aead_ignore_ticket;
293 }
294
Robert Sloana27a6a42017-09-05 08:39:28 -0700295 // TLS 1.3 session tickets are renewed separately as part of the
296 // NewSessionTicket.
297 bool unused_renew;
Robert Sloanfe7cd212017-08-07 09:03:39 -0700298 UniquePtr<SSL_SESSION> session;
Robert Sloan1c9db532017-03-13 08:03:59 -0700299 enum ssl_ticket_aead_result_t ret =
Robert Sloand9e572d2018-08-27 12:27:00 -0700300 ssl_process_ticket(hs, &session, &unused_renew, ticket, {});
Robert Sloan1c9db532017-03-13 08:03:59 -0700301 switch (ret) {
302 case ssl_ticket_aead_success:
303 break;
304 case ssl_ticket_aead_error:
305 *out_alert = SSL_AD_INTERNAL_ERROR;
306 return ret;
307 default:
308 return ret;
309 }
310
Robert Sloanfe7cd212017-08-07 09:03:39 -0700311 if (!ssl_session_is_resumable(hs, session.get()) ||
Robert Sloana27a6a42017-09-05 08:39:28 -0700312 // Historically, some TLS 1.3 tickets were missing ticket_age_add.
Robert Sloan1c9db532017-03-13 08:03:59 -0700313 !session->ticket_age_add_valid) {
Robert Sloan1c9db532017-03-13 08:03:59 -0700314 return ssl_ticket_aead_ignore_ticket;
315 }
316
Robert Sloana27a6a42017-09-05 08:39:28 -0700317 // Recover the client ticket age and convert to seconds.
Robert Sloan1c9db532017-03-13 08:03:59 -0700318 client_ticket_age -= session->ticket_age_add;
319 client_ticket_age /= 1000;
320
321 struct OPENSSL_timeval now;
322 ssl_get_current_time(ssl, &now);
323
Robert Sloana27a6a42017-09-05 08:39:28 -0700324 // Compute the server ticket age in seconds.
Robert Sloan1c9db532017-03-13 08:03:59 -0700325 assert(now.tv_sec >= session->time);
326 uint64_t server_ticket_age = now.tv_sec - session->time;
327
Robert Sloana27a6a42017-09-05 08:39:28 -0700328 // To avoid overflowing |hs->ticket_age_skew|, we will not resume
329 // 68-year-old sessions.
Robert Sloan1c9db532017-03-13 08:03:59 -0700330 if (server_ticket_age > INT32_MAX) {
Robert Sloan1c9db532017-03-13 08:03:59 -0700331 return ssl_ticket_aead_ignore_ticket;
332 }
333
Pete Bentley47637342019-08-19 12:22:49 +0100334 *out_ticket_age_skew = static_cast<int32_t>(client_ticket_age) -
335 static_cast<int32_t>(server_ticket_age);
Robert Sloan1c9db532017-03-13 08:03:59 -0700336
Robert Sloana27a6a42017-09-05 08:39:28 -0700337 // Check the PSK binder.
Robert Sloan84377092017-08-14 09:33:19 -0700338 if (!tls13_verify_psk_binder(hs, session.get(), msg, &binders)) {
Robert Sloan1c9db532017-03-13 08:03:59 -0700339 *out_alert = SSL_AD_DECRYPT_ERROR;
340 return ssl_ticket_aead_error;
341 }
342
Robert Sloanfe7cd212017-08-07 09:03:39 -0700343 *out_session = std::move(session);
Robert Sloan1c9db532017-03-13 08:03:59 -0700344 return ssl_ticket_aead_success;
345}
346
Pete Bentleyf23caaf2020-09-22 18:02:11 +0100347static bool quic_ticket_compatible(const SSL_SESSION *session,
348 const SSL_CONFIG *config) {
349 if (!session->is_quic) {
350 return true;
351 }
352
353 if (session->quic_early_data_context.empty() ||
354 config->quic_early_data_context.size() !=
355 session->quic_early_data_context.size() ||
356 CRYPTO_memcmp(config->quic_early_data_context.data(),
357 session->quic_early_data_context.data(),
358 session->quic_early_data_context.size()) != 0) {
359 return false;
360 }
361 return true;
362}
363
Robert Sloan1c9db532017-03-13 08:03:59 -0700364static enum ssl_hs_wait_t do_select_session(SSL_HANDSHAKE *hs) {
365 SSL *const ssl = hs->ssl;
Robert Sloan84377092017-08-14 09:33:19 -0700366 SSLMessage msg;
Robert Sloan1c9db532017-03-13 08:03:59 -0700367 SSL_CLIENT_HELLO client_hello;
Pete Bentley00a7c402021-07-23 17:57:12 +0100368 if (!hs->GetClientHello(&msg, &client_hello)) {
Robert Sloan1c9db532017-03-13 08:03:59 -0700369 return ssl_hs_error;
370 }
371
Steven Valdez909b19f2016-11-21 15:35:44 -0500372 uint8_t alert = SSL_AD_DECODE_ERROR;
Robert Sloanfe7cd212017-08-07 09:03:39 -0700373 UniquePtr<SSL_SESSION> session;
Pete Bentley0c61efe2019-08-13 09:32:23 +0100374 bool offered_ticket = false;
375 switch (select_session(hs, &alert, &session, &ssl->s3->ticket_age_skew,
376 &offered_ticket, msg, &client_hello)) {
Robert Sloan1c9db532017-03-13 08:03:59 -0700377 case ssl_ticket_aead_ignore_ticket:
Robert Sloanfe7cd212017-08-07 09:03:39 -0700378 assert(!session);
Pete Bentley00a7c402021-07-23 17:57:12 +0100379 if (!ssl_get_new_session(hs)) {
Robert Sloan921ef2c2017-10-17 09:02:20 -0700380 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
Steven Valdez909b19f2016-11-21 15:35:44 -0500381 return ssl_hs_error;
382 }
Robert Sloan1c9db532017-03-13 08:03:59 -0700383 break;
Steven Valdez909b19f2016-11-21 15:35:44 -0500384
Robert Sloan1c9db532017-03-13 08:03:59 -0700385 case ssl_ticket_aead_success:
Robert Sloana27a6a42017-09-05 08:39:28 -0700386 // Carry over authentication information from the previous handshake into
387 // a fresh session.
Robert Sloanfe7cd212017-08-07 09:03:39 -0700388 hs->new_session =
389 SSL_SESSION_dup(session.get(), SSL_SESSION_DUP_AUTH_ONLY);
Pete Bentley0c61efe2019-08-13 09:32:23 +0100390 if (hs->new_session == nullptr) {
Srinivas Paladugudd42a612019-08-09 19:30:39 +0000391 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
392 return ssl_hs_error;
Pete Bentleya5c947b2019-08-09 14:24:27 +0000393 }
394
Robert Sloana27a6a42017-09-05 08:39:28 -0700395 ssl->s3->session_reused = true;
Pete Bentley00a7c402021-07-23 17:57:12 +0100396 hs->can_release_private_key = true;
Robert Sloan1c9db532017-03-13 08:03:59 -0700397
Robert Sloana27a6a42017-09-05 08:39:28 -0700398 // Resumption incorporates fresh key material, so refresh the timeout.
Robert Sloanb6d070c2017-07-24 08:40:01 -0700399 ssl_session_renew_timeout(ssl, hs->new_session.get(),
Robert Sloan1c9db532017-03-13 08:03:59 -0700400 ssl->session_ctx->session_psk_dhe_timeout);
401 break;
402
403 case ssl_ticket_aead_error:
Robert Sloan921ef2c2017-10-17 09:02:20 -0700404 ssl_send_alert(ssl, SSL3_AL_FATAL, alert);
Robert Sloan1c9db532017-03-13 08:03:59 -0700405 return ssl_hs_error;
406
407 case ssl_ticket_aead_retry:
Tobias Thierer43be7d22020-03-02 19:23:34 +0000408 hs->tls13_state = state13_select_session;
Robert Sloan1c9db532017-03-13 08:03:59 -0700409 return ssl_hs_pending_ticket;
410 }
411
Pete Bentley17486112021-01-20 11:51:47 +0000412 // Negotiate ALPS now, after ALPN is negotiated and |hs->new_session| is
413 // initialized.
414 if (!ssl_negotiate_alps(hs, &alert, &client_hello)) {
415 ssl_send_alert(ssl, SSL3_AL_FATAL, alert);
416 return ssl_hs_error;
417 }
418
Pete Bentley00a7c402021-07-23 17:57:12 +0100419 // Record connection properties in the new session.
420 hs->new_session->cipher = hs->new_cipher;
421 if (!tls1_get_shared_group(hs, &hs->new_session->group_id)) {
422 OPENSSL_PUT_ERROR(SSL, SSL_R_NO_SHARED_GROUP);
423 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_HANDSHAKE_FAILURE);
424 return ssl_hs_error;
425 }
426
427 // Determine if we need HelloRetryRequest.
428 bool found_key_share;
429 if (!ssl_ext_key_share_parse_clienthello(hs, &found_key_share,
430 /*out_key_share=*/nullptr, &alert,
431 &client_hello)) {
432 ssl_send_alert(ssl, SSL3_AL_FATAL, alert);
433 return ssl_hs_error;
434 }
435
Pete Bentley17486112021-01-20 11:51:47 +0000436 // Determine if we're negotiating 0-RTT.
437 if (!ssl->enable_early_data) {
438 ssl->s3->early_data_reason = ssl_early_data_disabled;
439 } else if (!offered_ticket) {
440 ssl->s3->early_data_reason = ssl_early_data_no_session_offered;
441 } else if (!session) {
442 ssl->s3->early_data_reason = ssl_early_data_session_not_resumed;
443 } else if (session->ticket_max_early_data == 0) {
444 ssl->s3->early_data_reason = ssl_early_data_unsupported_for_session;
445 } else if (!hs->early_data_offered) {
446 ssl->s3->early_data_reason = ssl_early_data_peer_declined;
Pete Bentley00a7c402021-07-23 17:57:12 +0100447 } else if (hs->channel_id_negotiated) {
Pete Bentley17486112021-01-20 11:51:47 +0000448 // Channel ID is incompatible with 0-RTT.
449 ssl->s3->early_data_reason = ssl_early_data_channel_id;
Pete Bentley17486112021-01-20 11:51:47 +0000450 } else if (MakeConstSpan(ssl->s3->alpn_selected) != session->early_alpn) {
451 // The negotiated ALPN must match the one in the ticket.
452 ssl->s3->early_data_reason = ssl_early_data_alpn_mismatch;
453 } else if (hs->new_session->has_application_settings !=
454 session->has_application_settings ||
455 MakeConstSpan(hs->new_session->local_application_settings) !=
456 session->local_application_settings) {
457 ssl->s3->early_data_reason = ssl_early_data_alps_mismatch;
458 } else if (ssl->s3->ticket_age_skew < -kMaxTicketAgeSkewSeconds ||
459 kMaxTicketAgeSkewSeconds < ssl->s3->ticket_age_skew) {
460 ssl->s3->early_data_reason = ssl_early_data_ticket_age_skew;
461 } else if (!quic_ticket_compatible(session.get(), hs->config)) {
462 ssl->s3->early_data_reason = ssl_early_data_quic_parameter_mismatch;
Pete Bentley00a7c402021-07-23 17:57:12 +0100463 } else if (!found_key_share) {
464 ssl->s3->early_data_reason = ssl_early_data_hello_retry_request;
Pete Bentley17486112021-01-20 11:51:47 +0000465 } else {
466 // |ssl_session_is_resumable| forbids cross-cipher resumptions even if the
467 // PRF hashes match.
468 assert(hs->new_cipher == session->cipher);
469
470 ssl->s3->early_data_reason = ssl_early_data_accepted;
471 ssl->s3->early_data_accepted = true;
472 }
473
Pete Bentley17486112021-01-20 11:51:47 +0000474 // Store the ALPN and ALPS values in the session for 0-RTT. Note the peer
475 // applications settings are not generally known until client
476 // EncryptedExtensions.
Adam Vartanianbfcf3a72018-08-10 14:55:24 +0100477 if (!hs->new_session->early_alpn.CopyFrom(ssl->s3->alpn_selected)) {
478 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
479 return ssl_hs_error;
Robert Sloana94fe052017-02-21 08:49:28 -0800480 }
481
Pete Bentley17486112021-01-20 11:51:47 +0000482 // The peer applications settings are usually received later, in
483 // EncryptedExtensions. But, in 0-RTT handshakes, we carry over the
484 // values from |session|. Do this now, before |session| is discarded.
485 if (ssl->s3->early_data_accepted &&
486 hs->new_session->has_application_settings &&
487 !hs->new_session->peer_application_settings.CopyFrom(
488 session->peer_application_settings)) {
489 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
490 return ssl_hs_error;
491 }
492
Pete Bentleyb2db9562020-10-13 12:57:59 +0100493 // Copy the QUIC early data context to the session.
494 if (ssl->enable_early_data && ssl->quic_method) {
495 if (!hs->new_session->quic_early_data_context.CopyFrom(
496 hs->config->quic_early_data_context)) {
497 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
498 return ssl_hs_error;
499 }
500 }
501
Robert Sloan1c9db532017-03-13 08:03:59 -0700502 if (ssl->ctx->dos_protection_cb != NULL &&
503 ssl->ctx->dos_protection_cb(&client_hello) == 0) {
Robert Sloana27a6a42017-09-05 08:39:28 -0700504 // Connection rejected for DOS reasons.
Robert Sloan1c9db532017-03-13 08:03:59 -0700505 OPENSSL_PUT_ERROR(SSL, SSL_R_CONNECTION_REJECTED);
Robert Sloan921ef2c2017-10-17 09:02:20 -0700506 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
Robert Sloan1c9db532017-03-13 08:03:59 -0700507 return ssl_hs_error;
508 }
509
Robert Sloanb1b54b82017-11-06 13:50:02 -0800510 size_t hash_len = EVP_MD_size(
511 ssl_get_handshake_digest(ssl_protocol_version(ssl), hs->new_cipher));
512
513 // Set up the key schedule and incorporate the PSK into the running secret.
Pete Bentley00a7c402021-07-23 17:57:12 +0100514 if (!tls13_init_key_schedule(
515 hs, ssl->s3->session_reused
516 ? MakeConstSpan(hs->new_session->secret,
517 hs->new_session->secret_length)
518 : MakeConstSpan(kZeroes, hash_len)) ||
519 !ssl_hash_message(hs, msg)) {
David Benjaminc895d6b2016-08-11 13:26:41 -0400520 return ssl_hs_error;
521 }
522
Robert Sloan0da43952018-01-03 15:13:14 -0800523 if (ssl->s3->early_data_accepted) {
Tobias Thierer580fcaf2019-09-12 20:23:01 +0100524 if (!tls13_derive_early_secret(hs)) {
Robert Sloan6d0d00e2017-03-27 07:13:07 -0700525 return ssl_hs_error;
526 }
527 } else if (hs->early_data_offered) {
Robert Sloana27a6a42017-09-05 08:39:28 -0700528 ssl->s3->skip_early_data = true;
Robert Sloan6d0d00e2017-03-27 07:13:07 -0700529 }
530
Pete Bentley00a7c402021-07-23 17:57:12 +0100531 if (!found_key_share) {
532 ssl->method->next_message(ssl);
533 if (!hs->transcript.UpdateForHelloRetryRequest()) {
534 return ssl_hs_error;
David Benjaminc895d6b2016-08-11 13:26:41 -0400535 }
Pete Bentley00a7c402021-07-23 17:57:12 +0100536 hs->tls13_state = state13_send_hello_retry_request;
537 return ssl_hs_ok;
538 }
539
540 if (!resolve_ecdhe_secret(hs, &client_hello)) {
David Benjaminc895d6b2016-08-11 13:26:41 -0400541 return ssl_hs_error;
542 }
543
Robert Sloan84377092017-08-14 09:33:19 -0700544 ssl->method->next_message(ssl);
Pete Bentley00a7c402021-07-23 17:57:12 +0100545 hs->ech_client_hello_buf.Reset();
Tobias Thierer43be7d22020-03-02 19:23:34 +0000546 hs->tls13_state = state13_send_server_hello;
David Benjaminc895d6b2016-08-11 13:26:41 -0400547 return ssl_hs_ok;
548}
549
David Benjamin1b249672016-12-06 18:25:50 -0500550static enum ssl_hs_wait_t do_send_hello_retry_request(SSL_HANDSHAKE *hs) {
551 SSL *const ssl = hs->ssl;
Pete Bentley00a7c402021-07-23 17:57:12 +0100552 if (hs->hints_requested) {
553 return ssl_hs_hints_ready;
554 }
Robert Sloand5c22152017-11-13 09:22:12 -0800555
Robert Sloan8542c082018-02-05 09:07:34 -0800556 ScopedCBB cbb;
557 CBB body, session_id, extensions;
558 uint16_t group_id;
559 if (!ssl->method->init_message(ssl, cbb.get(), &body, SSL3_MT_SERVER_HELLO) ||
560 !CBB_add_u16(&body, TLS1_2_VERSION) ||
561 !CBB_add_bytes(&body, kHelloRetryRequest, SSL3_RANDOM_SIZE) ||
562 !CBB_add_u8_length_prefixed(&body, &session_id) ||
563 !CBB_add_bytes(&session_id, hs->session_id, hs->session_id_len) ||
Pete Bentleyf23caaf2020-09-22 18:02:11 +0100564 !CBB_add_u16(&body, SSL_CIPHER_get_protocol_id(hs->new_cipher)) ||
Robert Sloan8542c082018-02-05 09:07:34 -0800565 !CBB_add_u8(&body, 0 /* no compression */) ||
566 !tls1_get_shared_group(hs, &group_id) ||
567 !CBB_add_u16_length_prefixed(&body, &extensions) ||
568 !CBB_add_u16(&extensions, TLSEXT_TYPE_supported_versions) ||
569 !CBB_add_u16(&extensions, 2 /* length */) ||
570 !CBB_add_u16(&extensions, ssl->version) ||
571 !CBB_add_u16(&extensions, TLSEXT_TYPE_key_share) ||
572 !CBB_add_u16(&extensions, 2 /* length */) ||
Pete Bentley2f26c212021-10-01 11:32:03 +0000573 !CBB_add_u16(&extensions, group_id)) {
Robert Sloan8542c082018-02-05 09:07:34 -0800574 return ssl_hs_error;
575 }
Pete Bentley2f26c212021-10-01 11:32:03 +0000576 if (hs->ech_is_inner) {
577 // Fill a placeholder for the ECH confirmation value.
578 if (!CBB_add_u16(&extensions, TLSEXT_TYPE_encrypted_client_hello) ||
579 !CBB_add_u16(&extensions, ECH_CONFIRMATION_SIGNAL_LEN) ||
580 !CBB_add_zeros(&extensions, ECH_CONFIRMATION_SIGNAL_LEN)) {
581 return ssl_hs_error;
582 }
583 }
584 Array<uint8_t> hrr;
585 if (!ssl->method->finish_message(ssl, cbb.get(), &hrr)) {
586 return ssl_hs_error;
587 }
588 if (hs->ech_is_inner) {
589 // Now that the message is encoded, fill in the whole value.
590 size_t offset = hrr.size() - ECH_CONFIRMATION_SIGNAL_LEN;
591 if (!ssl_ech_accept_confirmation(
592 hs, MakeSpan(hrr).last(ECH_CONFIRMATION_SIGNAL_LEN),
593 ssl->s3->client_random, hs->transcript, /*is_hrr=*/true, hrr,
594 offset)) {
595 return ssl_hs_error;
596 }
597 }
Robert Sloand5c22152017-11-13 09:22:12 -0800598
Pete Bentley2f26c212021-10-01 11:32:03 +0000599 if (!ssl->method->add_message(ssl, std::move(hrr)) ||
600 !ssl->method->add_change_cipher_spec(ssl)) {
Robert Sloan8542c082018-02-05 09:07:34 -0800601 return ssl_hs_error;
David Benjaminc895d6b2016-08-11 13:26:41 -0400602 }
603
Tobias Thierer43be7d22020-03-02 19:23:34 +0000604 ssl->s3->used_hello_retry_request = true;
605 hs->tls13_state = state13_read_second_client_hello;
Robert Sloan84377092017-08-14 09:33:19 -0700606 return ssl_hs_flush;
David Benjaminc895d6b2016-08-11 13:26:41 -0400607}
608
Robert Sloan84377092017-08-14 09:33:19 -0700609static enum ssl_hs_wait_t do_read_second_client_hello(SSL_HANDSHAKE *hs) {
David Benjamin1b249672016-12-06 18:25:50 -0500610 SSL *const ssl = hs->ssl;
Robert Sloan84377092017-08-14 09:33:19 -0700611 SSLMessage msg;
612 if (!ssl->method->get_message(ssl, &msg)) {
613 return ssl_hs_read_message;
614 }
615 if (!ssl_check_message_type(ssl, msg, SSL3_MT_CLIENT_HELLO)) {
David Benjaminc895d6b2016-08-11 13:26:41 -0400616 return ssl_hs_error;
617 }
David Benjamin1b249672016-12-06 18:25:50 -0500618 SSL_CLIENT_HELLO client_hello;
Pete Bentley00a7c402021-07-23 17:57:12 +0100619 if (!ssl_client_hello_init(ssl, &client_hello, msg.body)) {
David Benjaminc895d6b2016-08-11 13:26:41 -0400620 OPENSSL_PUT_ERROR(SSL, SSL_R_CLIENTHELLO_PARSE_FAILED);
Robert Sloan921ef2c2017-10-17 09:02:20 -0700621 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
David Benjaminc895d6b2016-08-11 13:26:41 -0400622 return ssl_hs_error;
623 }
624
Pete Bentley00a7c402021-07-23 17:57:12 +0100625 if (ssl->s3->ech_status == ssl_ech_accepted) {
Pete Bentley2f26c212021-10-01 11:32:03 +0000626 // If we previously accepted the ClientHelloInner, the second ClientHello
627 // must contain an outer encrypted_client_hello extension.
Pete Bentley00a7c402021-07-23 17:57:12 +0100628 CBS ech_body;
629 if (!ssl_client_hello_get_extension(&client_hello, &ech_body,
630 TLSEXT_TYPE_encrypted_client_hello)) {
631 OPENSSL_PUT_ERROR(SSL, SSL_R_MISSING_EXTENSION);
632 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_MISSING_EXTENSION);
633 return ssl_hs_error;
634 }
Pete Bentley00a7c402021-07-23 17:57:12 +0100635 uint16_t kdf_id, aead_id;
Pete Bentley2f26c212021-10-01 11:32:03 +0000636 uint8_t type, config_id;
Pete Bentley00a7c402021-07-23 17:57:12 +0100637 CBS enc, payload;
Pete Bentley2f26c212021-10-01 11:32:03 +0000638 if (!CBS_get_u8(&ech_body, &type) || //
639 type != ECH_CLIENT_OUTER || //
640 !CBS_get_u16(&ech_body, &kdf_id) || //
Pete Bentley00a7c402021-07-23 17:57:12 +0100641 !CBS_get_u16(&ech_body, &aead_id) ||
642 !CBS_get_u8(&ech_body, &config_id) ||
643 !CBS_get_u16_length_prefixed(&ech_body, &enc) ||
644 !CBS_get_u16_length_prefixed(&ech_body, &payload) ||
645 CBS_len(&ech_body) != 0) {
646 OPENSSL_PUT_ERROR(SSL, SSL_R_DECODE_ERROR);
647 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
648 return ssl_hs_error;
649 }
650
Pete Bentley00a7c402021-07-23 17:57:12 +0100651 if (kdf_id != EVP_HPKE_KDF_id(EVP_HPKE_CTX_kdf(hs->ech_hpke_ctx.get())) ||
652 aead_id !=
653 EVP_HPKE_AEAD_id(EVP_HPKE_CTX_aead(hs->ech_hpke_ctx.get())) ||
654 config_id != hs->ech_config_id || CBS_len(&enc) > 0) {
655 OPENSSL_PUT_ERROR(SSL, SSL_R_DECODE_ERROR);
656 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_ILLEGAL_PARAMETER);
657 return ssl_hs_error;
658 }
659
660 // Decrypt the payload with the HPKE context from the first ClientHello.
661 Array<uint8_t> encoded_client_hello_inner;
662 bool unused;
Pete Bentley2f26c212021-10-01 11:32:03 +0000663 if (!ssl_client_hello_decrypt(hs->ech_hpke_ctx.get(),
664 &encoded_client_hello_inner, &unused,
665 &client_hello, payload)) {
Pete Bentley00a7c402021-07-23 17:57:12 +0100666 // Decryption failure is fatal in the second ClientHello.
667 OPENSSL_PUT_ERROR(SSL, SSL_R_DECRYPTION_FAILED);
668 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECRYPT_ERROR);
669 return ssl_hs_error;
670 }
671
672 // Recover the ClientHelloInner from the EncodedClientHelloInner.
673 uint8_t alert = SSL_AD_DECODE_ERROR;
674 bssl::Array<uint8_t> client_hello_inner;
675 if (!ssl_decode_client_hello_inner(ssl, &alert, &client_hello_inner,
676 encoded_client_hello_inner,
677 &client_hello)) {
678 OPENSSL_PUT_ERROR(SSL, SSL_R_DECODE_ERROR);
679 ssl_send_alert(ssl, SSL3_AL_FATAL, alert);
680 return ssl_hs_error;
681 }
682 hs->ech_client_hello_buf = std::move(client_hello_inner);
683
684 // Reparse |client_hello| from the buffer owned by |hs|.
685 if (!hs->GetClientHello(&msg, &client_hello)) {
686 OPENSSL_PUT_ERROR(SSL, ERR_R_INTERNAL_ERROR);
687 return ssl_hs_error;
688 }
689 }
690
Tobias Thierer5b7aef42019-08-23 11:08:22 +0100691 // We perform all our negotiation based on the first ClientHello (for
692 // consistency with what |select_certificate_cb| observed), which is in the
693 // transcript, so we can ignore most of this second one.
694 //
695 // We do, however, check the second PSK binder. This covers the client key
696 // share, in case we ever send half-RTT data (we currently do not). It is also
697 // a tricky computation, so we enforce the peer handled it correctly.
698 if (ssl->s3->session_reused) {
699 CBS pre_shared_key;
700 if (!ssl_client_hello_get_extension(&client_hello, &pre_shared_key,
701 TLSEXT_TYPE_pre_shared_key)) {
702 OPENSSL_PUT_ERROR(SSL, SSL_R_INCONSISTENT_CLIENT_HELLO);
703 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_ILLEGAL_PARAMETER);
704 return ssl_hs_error;
705 }
706
707 CBS ticket, binders;
708 uint32_t client_ticket_age;
709 uint8_t alert = SSL_AD_DECODE_ERROR;
710 if (!ssl_ext_pre_shared_key_parse_clienthello(
711 hs, &ticket, &binders, &client_ticket_age, &alert, &client_hello,
712 &pre_shared_key)) {
713 ssl_send_alert(ssl, SSL3_AL_FATAL, alert);
714 return ssl_hs_error;
715 }
716
717 // Note it is important that we do not obtain a new |SSL_SESSION| from
718 // |ticket|. We have already selected parameters based on the first
719 // ClientHello (in the transcript) and must not switch partway through.
720 if (!tls13_verify_psk_binder(hs, hs->new_session.get(), msg, &binders)) {
721 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECRYPT_ERROR);
722 return ssl_hs_error;
723 }
724 }
725
Pete Bentley00a7c402021-07-23 17:57:12 +0100726 if (!resolve_ecdhe_secret(hs, &client_hello)) {
David Benjaminc895d6b2016-08-11 13:26:41 -0400727 return ssl_hs_error;
728 }
729
Robert Sloan84377092017-08-14 09:33:19 -0700730 if (!ssl_hash_message(hs, msg)) {
David Benjaminc895d6b2016-08-11 13:26:41 -0400731 return ssl_hs_error;
732 }
733
Tobias Thierer43be7d22020-03-02 19:23:34 +0000734 // ClientHello should be the end of the flight.
735 if (ssl->method->has_unprocessed_handshake_data(ssl)) {
736 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_UNEXPECTED_MESSAGE);
737 OPENSSL_PUT_ERROR(SSL, SSL_R_EXCESS_HANDSHAKE_DATA);
738 return ssl_hs_error;
739 }
740
Robert Sloan84377092017-08-14 09:33:19 -0700741 ssl->method->next_message(ssl);
Pete Bentley00a7c402021-07-23 17:57:12 +0100742 hs->ech_client_hello_buf.Reset();
Tobias Thierer43be7d22020-03-02 19:23:34 +0000743 hs->tls13_state = state13_send_server_hello;
David Benjaminc895d6b2016-08-11 13:26:41 -0400744 return ssl_hs_ok;
745}
746
David Benjamin1b249672016-12-06 18:25:50 -0500747static enum ssl_hs_wait_t do_send_server_hello(SSL_HANDSHAKE *hs) {
748 SSL *const ssl = hs->ssl;
Robert Sloan4d1ac502017-02-06 08:36:14 -0800749
Pete Bentley17486112021-01-20 11:51:47 +0000750 Span<uint8_t> random(ssl->s3->server_random);
Pete Bentley17486112021-01-20 11:51:47 +0000751
Pete Bentley00a7c402021-07-23 17:57:12 +0100752 SSL_HANDSHAKE_HINTS *const hints = hs->hints.get();
753 if (hints && !hs->hints_requested &&
754 hints->server_random.size() == random.size()) {
755 OPENSSL_memcpy(random.data(), hints->server_random.data(), random.size());
756 } else {
757 RAND_bytes(random.data(), random.size());
758 if (hints && hs->hints_requested &&
759 !hints->server_random.CopyFrom(random)) {
Pete Bentley17486112021-01-20 11:51:47 +0000760 return ssl_hs_error;
761 }
762 }
763
Pete Bentley00a7c402021-07-23 17:57:12 +0100764 Array<uint8_t> server_hello;
Robert Sloanb6d070c2017-07-24 08:40:01 -0700765 ScopedCBB cbb;
766 CBB body, extensions, session_id;
767 if (!ssl->method->init_message(ssl, cbb.get(), &body, SSL3_MT_SERVER_HELLO) ||
Robert Sloan0da43952018-01-03 15:13:14 -0800768 !CBB_add_u16(&body, TLS1_2_VERSION) ||
Pete Bentley00a7c402021-07-23 17:57:12 +0100769 !CBB_add_bytes(&body, ssl->s3->server_random,
770 sizeof(ssl->s3->server_random)) ||
Robert Sloan0da43952018-01-03 15:13:14 -0800771 !CBB_add_u8_length_prefixed(&body, &session_id) ||
772 !CBB_add_bytes(&session_id, hs->session_id, hs->session_id_len) ||
Pete Bentleyf23caaf2020-09-22 18:02:11 +0100773 !CBB_add_u16(&body, SSL_CIPHER_get_protocol_id(hs->new_cipher)) ||
Robert Sloan0da43952018-01-03 15:13:14 -0800774 !CBB_add_u8(&body, 0) ||
David Benjaminc895d6b2016-08-11 13:26:41 -0400775 !CBB_add_u16_length_prefixed(&body, &extensions) ||
David Benjamin1b249672016-12-06 18:25:50 -0500776 !ssl_ext_pre_shared_key_add_serverhello(hs, &extensions) ||
Pete Bentley00a7c402021-07-23 17:57:12 +0100777 !ssl_ext_key_share_add_serverhello(hs, &extensions) ||
Robert Sloan0da43952018-01-03 15:13:14 -0800778 !ssl_ext_supported_versions_add_serverhello(hs, &extensions) ||
Pete Bentley00a7c402021-07-23 17:57:12 +0100779 !ssl->method->finish_message(ssl, cbb.get(), &server_hello)) {
Robert Sloanb6d070c2017-07-24 08:40:01 -0700780 return ssl_hs_error;
David Benjaminc895d6b2016-08-11 13:26:41 -0400781 }
782
Pete Bentley2f26c212021-10-01 11:32:03 +0000783 assert(ssl->s3->ech_status != ssl_ech_accepted || hs->ech_is_inner);
784 if (hs->ech_is_inner) {
Pete Bentley00a7c402021-07-23 17:57:12 +0100785 // Fill in the ECH confirmation signal.
Pete Bentley2f26c212021-10-01 11:32:03 +0000786 const size_t offset = ssl_ech_confirmation_signal_hello_offset(ssl);
787 Span<uint8_t> random_suffix = random.last(ECH_CONFIRMATION_SIGNAL_LEN);
788 if (!ssl_ech_accept_confirmation(hs, random_suffix, ssl->s3->client_random,
789 hs->transcript,
790 /*is_hrr=*/false, server_hello, offset)) {
Pete Bentley00a7c402021-07-23 17:57:12 +0100791 return ssl_hs_error;
792 }
793
794 // Update |server_hello|.
Pete Bentley00a7c402021-07-23 17:57:12 +0100795 Span<uint8_t> server_hello_out =
796 MakeSpan(server_hello).subspan(offset, ECH_CONFIRMATION_SIGNAL_LEN);
797 OPENSSL_memcpy(server_hello_out.data(), random_suffix.data(),
798 ECH_CONFIRMATION_SIGNAL_LEN);
799 }
800
801 if (!ssl->method->add_message(ssl, std::move(server_hello))) {
802 return ssl_hs_error;
803 }
804
805 hs->ecdh_public_key.Reset(); // No longer needed.
Tobias Thierer43be7d22020-03-02 19:23:34 +0000806 if (!ssl->s3->used_hello_retry_request &&
Robert Sloan921ef2c2017-10-17 09:02:20 -0700807 !ssl->method->add_change_cipher_spec(ssl)) {
Robert Sloanb6d070c2017-07-24 08:40:01 -0700808 return ssl_hs_error;
Robert Sloana12bf462017-07-17 07:08:26 -0700809 }
810
Robert Sloana27a6a42017-09-05 08:39:28 -0700811 // Derive and enable the handshake traffic secrets.
Robert Sloan69939df2017-01-09 10:53:07 -0800812 if (!tls13_derive_handshake_secrets(hs) ||
Robert Sloancbf5ea62018-11-05 11:56:34 -0800813 !tls13_set_traffic_key(ssl, ssl_encryption_handshake, evp_aead_seal,
Tobias Thierer43be7d22020-03-02 19:23:34 +0000814 hs->new_session.get(),
Tobias Thierer5b7aef42019-08-23 11:08:22 +0100815 hs->server_handshake_secret())) {
Robert Sloanb6d070c2017-07-24 08:40:01 -0700816 return ssl_hs_error;
David Benjaminc895d6b2016-08-11 13:26:41 -0400817 }
818
Robert Sloana27a6a42017-09-05 08:39:28 -0700819 // Send EncryptedExtensions.
Robert Sloanb6d070c2017-07-24 08:40:01 -0700820 if (!ssl->method->init_message(ssl, cbb.get(), &body,
David Benjaminc895d6b2016-08-11 13:26:41 -0400821 SSL3_MT_ENCRYPTED_EXTENSIONS) ||
David Benjamin1b249672016-12-06 18:25:50 -0500822 !ssl_add_serverhello_tlsext(hs, &body) ||
Robert Sloanb6d070c2017-07-24 08:40:01 -0700823 !ssl_add_message_cbb(ssl, cbb.get())) {
824 return ssl_hs_error;
David Benjaminc895d6b2016-08-11 13:26:41 -0400825 }
826
Robert Sloanf6200e72017-07-10 08:09:18 -0700827 if (!ssl->s3->session_reused) {
Robert Sloana27a6a42017-09-05 08:39:28 -0700828 // Determine whether to request a client certificate.
Adam Vartanianbfcf3a72018-08-10 14:55:24 +0100829 hs->cert_request = !!(hs->config->verify_mode & SSL_VERIFY_PEER);
Robert Sloana27a6a42017-09-05 08:39:28 -0700830 // Only request a certificate if Channel ID isn't negotiated.
Adam Vartanianbfcf3a72018-08-10 14:55:24 +0100831 if ((hs->config->verify_mode & SSL_VERIFY_PEER_IF_NO_OBC) &&
Pete Bentley00a7c402021-07-23 17:57:12 +0100832 hs->channel_id_negotiated) {
Robert Sloana27a6a42017-09-05 08:39:28 -0700833 hs->cert_request = false;
Robert Sloanf6200e72017-07-10 08:09:18 -0700834 }
David Benjaminc895d6b2016-08-11 13:26:41 -0400835 }
836
Robert Sloana27a6a42017-09-05 08:39:28 -0700837 // Send a CertificateRequest, if necessary.
Robert Sloan4d1ac502017-02-06 08:36:14 -0800838 if (hs->cert_request) {
Robert Sloan8542c082018-02-05 09:07:34 -0800839 CBB cert_request_extensions, sigalg_contents, sigalgs_cbb;
840 if (!ssl->method->init_message(ssl, cbb.get(), &body,
841 SSL3_MT_CERTIFICATE_REQUEST) ||
842 !CBB_add_u8(&body, 0 /* no certificate_request_context. */) ||
843 !CBB_add_u16_length_prefixed(&body, &cert_request_extensions) ||
844 !CBB_add_u16(&cert_request_extensions,
845 TLSEXT_TYPE_signature_algorithms) ||
846 !CBB_add_u16_length_prefixed(&cert_request_extensions,
847 &sigalg_contents) ||
848 !CBB_add_u16_length_prefixed(&sigalg_contents, &sigalgs_cbb) ||
Tobias Thierer43be7d22020-03-02 19:23:34 +0000849 !tls12_add_verify_sigalgs(hs, &sigalgs_cbb)) {
Robert Sloan8542c082018-02-05 09:07:34 -0800850 return ssl_hs_error;
851 }
852
Adam Vartanianbfcf3a72018-08-10 14:55:24 +0100853 if (ssl_has_client_CAs(hs->config)) {
Robert Sloan8542c082018-02-05 09:07:34 -0800854 CBB ca_contents;
855 if (!CBB_add_u16(&cert_request_extensions,
856 TLSEXT_TYPE_certificate_authorities) ||
Robert Sloanb1b54b82017-11-06 13:50:02 -0800857 !CBB_add_u16_length_prefixed(&cert_request_extensions,
Robert Sloan8542c082018-02-05 09:07:34 -0800858 &ca_contents) ||
Adam Vartanianbfcf3a72018-08-10 14:55:24 +0100859 !ssl_add_client_CA_list(hs, &ca_contents) ||
Robert Sloan8542c082018-02-05 09:07:34 -0800860 !CBB_flush(&cert_request_extensions)) {
Robert Sloanb1b54b82017-11-06 13:50:02 -0800861 return ssl_hs_error;
862 }
Robert Sloan8542c082018-02-05 09:07:34 -0800863 }
Robert Sloanb1b54b82017-11-06 13:50:02 -0800864
Robert Sloan8542c082018-02-05 09:07:34 -0800865 if (!ssl_add_message_cbb(ssl, cbb.get())) {
866 return ssl_hs_error;
David Benjaminc895d6b2016-08-11 13:26:41 -0400867 }
868 }
869
Robert Sloana27a6a42017-09-05 08:39:28 -0700870 // Send the server Certificate message, if necessary.
Robert Sloan4d1ac502017-02-06 08:36:14 -0800871 if (!ssl->s3->session_reused) {
Robert Sloan4c22c5f2019-03-01 15:53:37 -0800872 if (!ssl_has_certificate(hs)) {
Robert Sloan4d1ac502017-02-06 08:36:14 -0800873 OPENSSL_PUT_ERROR(SSL, SSL_R_NO_CERTIFICATE_SET);
Robert Sloanb6d070c2017-07-24 08:40:01 -0700874 return ssl_hs_error;
Robert Sloan4d1ac502017-02-06 08:36:14 -0800875 }
876
877 if (!tls13_add_certificate(hs)) {
Robert Sloanb6d070c2017-07-24 08:40:01 -0700878 return ssl_hs_error;
Robert Sloan4d1ac502017-02-06 08:36:14 -0800879 }
880
Tobias Thierer43be7d22020-03-02 19:23:34 +0000881 hs->tls13_state = state13_send_server_certificate_verify;
Robert Sloan4d1ac502017-02-06 08:36:14 -0800882 return ssl_hs_ok;
David Benjaminc895d6b2016-08-11 13:26:41 -0400883 }
884
Tobias Thierer43be7d22020-03-02 19:23:34 +0000885 hs->tls13_state = state13_send_server_finished;
Robert Sloan4d1ac502017-02-06 08:36:14 -0800886 return ssl_hs_ok;
David Benjaminc895d6b2016-08-11 13:26:41 -0400887}
888
Robert Sloane56da3e2017-06-26 08:26:42 -0700889static enum ssl_hs_wait_t do_send_server_certificate_verify(SSL_HANDSHAKE *hs) {
890 switch (tls13_add_certificate_verify(hs)) {
David Benjaminc895d6b2016-08-11 13:26:41 -0400891 case ssl_private_key_success:
Tobias Thierer43be7d22020-03-02 19:23:34 +0000892 hs->tls13_state = state13_send_server_finished;
Robert Sloan4d1ac502017-02-06 08:36:14 -0800893 return ssl_hs_ok;
David Benjaminc895d6b2016-08-11 13:26:41 -0400894
895 case ssl_private_key_retry:
Tobias Thierer43be7d22020-03-02 19:23:34 +0000896 hs->tls13_state = state13_send_server_certificate_verify;
David Benjaminc895d6b2016-08-11 13:26:41 -0400897 return ssl_hs_private_key_operation;
898
899 case ssl_private_key_failure:
900 return ssl_hs_error;
901 }
902
903 assert(0);
904 return ssl_hs_error;
905}
906
David Benjamin1b249672016-12-06 18:25:50 -0500907static enum ssl_hs_wait_t do_send_server_finished(SSL_HANDSHAKE *hs) {
David Benjamin1b249672016-12-06 18:25:50 -0500908 SSL *const ssl = hs->ssl;
Pete Bentley00a7c402021-07-23 17:57:12 +0100909 if (hs->hints_requested) {
910 return ssl_hs_hints_ready;
911 }
912
913 hs->can_release_private_key = true;
Robert Sloan4d1ac502017-02-06 08:36:14 -0800914 if (!tls13_add_finished(hs) ||
Robert Sloana27a6a42017-09-05 08:39:28 -0700915 // Update the secret to the master secret and derive traffic keys.
Tobias Thierer5b7aef42019-08-23 11:08:22 +0100916 !tls13_advance_key_schedule(
917 hs, MakeConstSpan(kZeroes, hs->transcript.DigestLen())) ||
David Benjamin1b249672016-12-06 18:25:50 -0500918 !tls13_derive_application_secrets(hs) ||
Robert Sloancbf5ea62018-11-05 11:56:34 -0800919 !tls13_set_traffic_key(ssl, ssl_encryption_application, evp_aead_seal,
Tobias Thierer43be7d22020-03-02 19:23:34 +0000920 hs->new_session.get(),
Tobias Thierer5b7aef42019-08-23 11:08:22 +0100921 hs->server_traffic_secret_0())) {
David Benjaminc895d6b2016-08-11 13:26:41 -0400922 return ssl_hs_error;
923 }
924
Tobias Thierer43be7d22020-03-02 19:23:34 +0000925 hs->tls13_state = state13_send_half_rtt_ticket;
926 return hs->handback ? ssl_hs_handback : ssl_hs_ok;
927}
928
929static enum ssl_hs_wait_t do_send_half_rtt_ticket(SSL_HANDSHAKE *hs) {
930 SSL *const ssl = hs->ssl;
931
Robert Sloan0da43952018-01-03 15:13:14 -0800932 if (ssl->s3->early_data_accepted) {
Robert Sloana27a6a42017-09-05 08:39:28 -0700933 // If accepting 0-RTT, we send tickets half-RTT. This gets the tickets on
934 // the wire sooner and also avoids triggering a write on |SSL_read| when
935 // processing the client Finished. This requires computing the client
Robert Sloand9e572d2018-08-27 12:27:00 -0700936 // Finished early. See RFC 8446, section 4.6.1.
Robert Sloan8542c082018-02-05 09:07:34 -0800937 static const uint8_t kEndOfEarlyData[4] = {SSL3_MT_END_OF_EARLY_DATA, 0,
938 0, 0};
Tobias Thierer580fcaf2019-09-12 20:23:01 +0100939 if (ssl->quic_method == nullptr &&
940 !hs->transcript.Update(kEndOfEarlyData)) {
Robert Sloan8542c082018-02-05 09:07:34 -0800941 OPENSSL_PUT_ERROR(SSL, ERR_R_INTERNAL_ERROR);
942 return ssl_hs_error;
Robert Sloanb1b54b82017-11-06 13:50:02 -0800943 }
944
Robert Sloan6d0d00e2017-03-27 07:13:07 -0700945 size_t finished_len;
Tobias Thierer5b7aef42019-08-23 11:08:22 +0100946 if (!tls13_finished_mac(hs, hs->expected_client_finished().data(),
947 &finished_len, false /* client */)) {
Robert Sloan6d0d00e2017-03-27 07:13:07 -0700948 return ssl_hs_error;
949 }
950
Tobias Thierer5b7aef42019-08-23 11:08:22 +0100951 if (finished_len != hs->expected_client_finished().size()) {
Robert Sloan6d0d00e2017-03-27 07:13:07 -0700952 OPENSSL_PUT_ERROR(SSL, ERR_R_INTERNAL_ERROR);
953 return ssl_hs_error;
954 }
955
Robert Sloana27a6a42017-09-05 08:39:28 -0700956 // Feed the predicted Finished into the transcript. This allows us to derive
957 // the resumption secret early and send half-RTT tickets.
958 //
959 // TODO(davidben): This will need to be updated for DTLS 1.3.
Robert Sloan6d0d00e2017-03-27 07:13:07 -0700960 assert(!SSL_is_dtls(hs->ssl));
Tobias Thierer5b7aef42019-08-23 11:08:22 +0100961 assert(hs->expected_client_finished().size() <= 0xff);
962 uint8_t header[4] = {
963 SSL3_MT_FINISHED, 0, 0,
964 static_cast<uint8_t>(hs->expected_client_finished().size())};
Adam Vartanianbfcf3a72018-08-10 14:55:24 +0100965 bool unused_sent_tickets;
Robert Sloan921ef2c2017-10-17 09:02:20 -0700966 if (!hs->transcript.Update(header) ||
Tobias Thierer5b7aef42019-08-23 11:08:22 +0100967 !hs->transcript.Update(hs->expected_client_finished()) ||
Robert Sloan84377092017-08-14 09:33:19 -0700968 !tls13_derive_resumption_secret(hs) ||
Adam Vartanianbfcf3a72018-08-10 14:55:24 +0100969 !add_new_session_tickets(hs, &unused_sent_tickets)) {
Robert Sloan6d0d00e2017-03-27 07:13:07 -0700970 return ssl_hs_error;
971 }
972 }
973
Tobias Thierer43be7d22020-03-02 19:23:34 +0000974 hs->tls13_state = state13_read_second_client_flight;
Robert Sloan6d0d00e2017-03-27 07:13:07 -0700975 return ssl_hs_flush;
976}
977
978static enum ssl_hs_wait_t do_read_second_client_flight(SSL_HANDSHAKE *hs) {
979 SSL *const ssl = hs->ssl;
Robert Sloan0da43952018-01-03 15:13:14 -0800980 if (ssl->s3->early_data_accepted) {
Pete Bentleyf23caaf2020-09-22 18:02:11 +0100981 if (!tls13_set_traffic_key(ssl, ssl_encryption_early_data, evp_aead_open,
Tobias Thierer43be7d22020-03-02 19:23:34 +0000982 hs->new_session.get(),
Tobias Thierer5b7aef42019-08-23 11:08:22 +0100983 hs->early_traffic_secret())) {
Robert Sloan6d0d00e2017-03-27 07:13:07 -0700984 return ssl_hs_error;
985 }
Robert Sloana27a6a42017-09-05 08:39:28 -0700986 hs->can_early_write = true;
987 hs->can_early_read = true;
988 hs->in_early_data = true;
Robert Sloan6d0d00e2017-03-27 07:13:07 -0700989 }
Tobias Thierer580fcaf2019-09-12 20:23:01 +0100990
Pete Bentley00a7c402021-07-23 17:57:12 +0100991 // QUIC doesn't use an EndOfEarlyData message (RFC 9001, section 8.3), so we
992 // switch to client_handshake_secret before the early return.
Tobias Thierer580fcaf2019-09-12 20:23:01 +0100993 if (ssl->quic_method != nullptr) {
994 if (!tls13_set_traffic_key(ssl, ssl_encryption_handshake, evp_aead_open,
Tobias Thierer43be7d22020-03-02 19:23:34 +0000995 hs->new_session.get(),
Tobias Thierer580fcaf2019-09-12 20:23:01 +0100996 hs->client_handshake_secret())) {
997 return ssl_hs_error;
998 }
Pete Bentley17486112021-01-20 11:51:47 +0000999 hs->tls13_state = state13_process_end_of_early_data;
Tobias Thierer580fcaf2019-09-12 20:23:01 +01001000 return ssl->s3->early_data_accepted ? ssl_hs_early_return : ssl_hs_ok;
1001 }
1002
Tobias Thierer43be7d22020-03-02 19:23:34 +00001003 hs->tls13_state = state13_process_end_of_early_data;
Robert Sloan0da43952018-01-03 15:13:14 -08001004 return ssl->s3->early_data_accepted ? ssl_hs_read_end_of_early_data
1005 : ssl_hs_ok;
Robert Sloan6d0d00e2017-03-27 07:13:07 -07001006}
1007
1008static enum ssl_hs_wait_t do_process_end_of_early_data(SSL_HANDSHAKE *hs) {
Robert Sloanb1b54b82017-11-06 13:50:02 -08001009 SSL *const ssl = hs->ssl;
Pete Bentley17486112021-01-20 11:51:47 +00001010 // In protocols that use EndOfEarlyData, we must consume the extra message and
1011 // switch to client_handshake_secret after the early return.
1012 if (ssl->quic_method == nullptr) {
1013 // If early data was not accepted, the EndOfEarlyData will be in the
1014 // discarded early data.
1015 if (hs->ssl->s3->early_data_accepted) {
1016 SSLMessage msg;
1017 if (!ssl->method->get_message(ssl, &msg)) {
1018 return ssl_hs_read_message;
1019 }
1020 if (!ssl_check_message_type(ssl, msg, SSL3_MT_END_OF_EARLY_DATA)) {
1021 return ssl_hs_error;
1022 }
1023 if (CBS_len(&msg.body) != 0) {
1024 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
1025 OPENSSL_PUT_ERROR(SSL, SSL_R_DECODE_ERROR);
1026 return ssl_hs_error;
1027 }
1028 ssl->method->next_message(ssl);
1029 }
1030 if (!tls13_set_traffic_key(ssl, ssl_encryption_handshake, evp_aead_open,
1031 hs->new_session.get(),
1032 hs->client_handshake_secret())) {
1033 return ssl_hs_error;
1034 }
1035 }
1036 hs->tls13_state = state13_read_client_encrypted_extensions;
1037 return ssl_hs_ok;
1038}
1039
1040static enum ssl_hs_wait_t do_read_client_encrypted_extensions(
1041 SSL_HANDSHAKE *hs) {
1042 SSL *const ssl = hs->ssl;
1043 // For now, only one extension uses client EncryptedExtensions. This function
1044 // may be generalized if others use it in the future.
1045 if (hs->new_session->has_application_settings &&
1046 !ssl->s3->early_data_accepted) {
Tobias Thierer5b7aef42019-08-23 11:08:22 +01001047 SSLMessage msg;
1048 if (!ssl->method->get_message(ssl, &msg)) {
1049 return ssl_hs_read_message;
Robert Sloanb1b54b82017-11-06 13:50:02 -08001050 }
Pete Bentley17486112021-01-20 11:51:47 +00001051 if (!ssl_check_message_type(ssl, msg, SSL3_MT_ENCRYPTED_EXTENSIONS)) {
Tobias Thierer5b7aef42019-08-23 11:08:22 +01001052 return ssl_hs_error;
1053 }
Pete Bentley17486112021-01-20 11:51:47 +00001054
1055 CBS body = msg.body, extensions;
1056 if (!CBS_get_u16_length_prefixed(&body, &extensions) ||
1057 CBS_len(&body) != 0) {
Tobias Thierer5b7aef42019-08-23 11:08:22 +01001058 OPENSSL_PUT_ERROR(SSL, SSL_R_DECODE_ERROR);
Pete Bentley17486112021-01-20 11:51:47 +00001059 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
Tobias Thierer5b7aef42019-08-23 11:08:22 +01001060 return ssl_hs_error;
1061 }
Pete Bentley17486112021-01-20 11:51:47 +00001062
Pete Bentley2f26c212021-10-01 11:32:03 +00001063 SSLExtension application_settings(TLSEXT_TYPE_application_settings);
Pete Bentley17486112021-01-20 11:51:47 +00001064 uint8_t alert = SSL_AD_DECODE_ERROR;
Pete Bentley2f26c212021-10-01 11:32:03 +00001065 if (!ssl_parse_extensions(&extensions, &alert, {&application_settings},
Pete Bentley17486112021-01-20 11:51:47 +00001066 /*ignore_unknown=*/false)) {
1067 ssl_send_alert(ssl, SSL3_AL_FATAL, alert);
1068 return ssl_hs_error;
1069 }
1070
Pete Bentley2f26c212021-10-01 11:32:03 +00001071 if (!application_settings.present) {
Pete Bentley17486112021-01-20 11:51:47 +00001072 OPENSSL_PUT_ERROR(SSL, SSL_R_MISSING_EXTENSION);
1073 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_MISSING_EXTENSION);
1074 return ssl_hs_error;
1075 }
1076
1077 // Note that, if 0-RTT was accepted, these values will already have been
1078 // initialized earlier.
1079 if (!hs->new_session->peer_application_settings.CopyFrom(
Pete Bentley2f26c212021-10-01 11:32:03 +00001080 application_settings.data) ||
Pete Bentley17486112021-01-20 11:51:47 +00001081 !ssl_hash_message(hs, msg)) {
1082 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
1083 return ssl_hs_error;
1084 }
1085
Tobias Thierer5b7aef42019-08-23 11:08:22 +01001086 ssl->method->next_message(ssl);
Robert Sloana12bf462017-07-17 07:08:26 -07001087 }
Pete Bentley17486112021-01-20 11:51:47 +00001088
Tobias Thierer43be7d22020-03-02 19:23:34 +00001089 hs->tls13_state = state13_read_client_certificate;
Robert Sloan84377092017-08-14 09:33:19 -07001090 return ssl_hs_ok;
David Benjaminc895d6b2016-08-11 13:26:41 -04001091}
1092
Robert Sloan84377092017-08-14 09:33:19 -07001093static enum ssl_hs_wait_t do_read_client_certificate(SSL_HANDSHAKE *hs) {
David Benjamin1b249672016-12-06 18:25:50 -05001094 SSL *const ssl = hs->ssl;
1095 if (!hs->cert_request) {
Tobias Thierer5b7aef42019-08-23 11:08:22 +01001096 if (!ssl->s3->session_reused) {
1097 // OpenSSL returns X509_V_OK when no certificates are requested. This is
1098 // classed by them as a bug, but it's assumed by at least NGINX. (Only do
1099 // this in full handshakes as resumptions should carry over the previous
1100 // |verify_result|, though this is a no-op because servers do not
1101 // implement the client's odd soft-fail mode.)
1102 hs->new_session->verify_result = X509_V_OK;
1103 }
David Benjaminf0c4a6c2016-08-11 13:26:41 -04001104
Robert Sloana27a6a42017-09-05 08:39:28 -07001105 // Skip this state.
Tobias Thierer43be7d22020-03-02 19:23:34 +00001106 hs->tls13_state = state13_read_channel_id;
David Benjaminc895d6b2016-08-11 13:26:41 -04001107 return ssl_hs_ok;
1108 }
1109
Robert Sloan726e9d12018-09-11 11:45:04 -07001110 const bool allow_anonymous =
Adam Vartanianbfcf3a72018-08-10 14:55:24 +01001111 (hs->config->verify_mode & SSL_VERIFY_FAIL_IF_NO_PEER_CERT) == 0;
Robert Sloan84377092017-08-14 09:33:19 -07001112 SSLMessage msg;
1113 if (!ssl->method->get_message(ssl, &msg)) {
1114 return ssl_hs_read_message;
1115 }
1116 if (!ssl_check_message_type(ssl, msg, SSL3_MT_CERTIFICATE) ||
1117 !tls13_process_certificate(hs, msg, allow_anonymous) ||
1118 !ssl_hash_message(hs, msg)) {
David Benjaminc895d6b2016-08-11 13:26:41 -04001119 return ssl_hs_error;
1120 }
1121
Robert Sloan84377092017-08-14 09:33:19 -07001122 ssl->method->next_message(ssl);
Tobias Thierer43be7d22020-03-02 19:23:34 +00001123 hs->tls13_state = state13_read_client_certificate_verify;
Robert Sloan84377092017-08-14 09:33:19 -07001124 return ssl_hs_ok;
David Benjaminc895d6b2016-08-11 13:26:41 -04001125}
1126
Pete Bentley17486112021-01-20 11:51:47 +00001127static enum ssl_hs_wait_t do_read_client_certificate_verify(SSL_HANDSHAKE *hs) {
David Benjamin1b249672016-12-06 18:25:50 -05001128 SSL *const ssl = hs->ssl;
Adam Vartanianbfcf3a72018-08-10 14:55:24 +01001129 if (sk_CRYPTO_BUFFER_num(hs->new_session->certs.get()) == 0) {
Robert Sloana27a6a42017-09-05 08:39:28 -07001130 // Skip this state.
Tobias Thierer43be7d22020-03-02 19:23:34 +00001131 hs->tls13_state = state13_read_channel_id;
David Benjaminc895d6b2016-08-11 13:26:41 -04001132 return ssl_hs_ok;
1133 }
1134
Robert Sloan84377092017-08-14 09:33:19 -07001135 SSLMessage msg;
1136 if (!ssl->method->get_message(ssl, &msg)) {
1137 return ssl_hs_read_message;
1138 }
1139
Robert Sloanb6d070c2017-07-24 08:40:01 -07001140 switch (ssl_verify_peer_cert(hs)) {
1141 case ssl_verify_ok:
1142 break;
1143 case ssl_verify_invalid:
1144 return ssl_hs_error;
1145 case ssl_verify_retry:
Tobias Thierer43be7d22020-03-02 19:23:34 +00001146 hs->tls13_state = state13_read_client_certificate_verify;
Robert Sloanb6d070c2017-07-24 08:40:01 -07001147 return ssl_hs_certificate_verify;
1148 }
1149
Robert Sloan84377092017-08-14 09:33:19 -07001150 if (!ssl_check_message_type(ssl, msg, SSL3_MT_CERTIFICATE_VERIFY) ||
1151 !tls13_process_certificate_verify(hs, msg) ||
1152 !ssl_hash_message(hs, msg)) {
Steven Valdez909b19f2016-11-21 15:35:44 -05001153 return ssl_hs_error;
1154 }
1155
Robert Sloan84377092017-08-14 09:33:19 -07001156 ssl->method->next_message(ssl);
Tobias Thierer43be7d22020-03-02 19:23:34 +00001157 hs->tls13_state = state13_read_channel_id;
Robert Sloan84377092017-08-14 09:33:19 -07001158 return ssl_hs_ok;
Steven Valdez909b19f2016-11-21 15:35:44 -05001159}
1160
Robert Sloan84377092017-08-14 09:33:19 -07001161static enum ssl_hs_wait_t do_read_channel_id(SSL_HANDSHAKE *hs) {
1162 SSL *const ssl = hs->ssl;
Pete Bentley00a7c402021-07-23 17:57:12 +01001163 if (!hs->channel_id_negotiated) {
Tobias Thierer43be7d22020-03-02 19:23:34 +00001164 hs->tls13_state = state13_read_client_finished;
Steven Valdez909b19f2016-11-21 15:35:44 -05001165 return ssl_hs_ok;
1166 }
1167
Robert Sloan84377092017-08-14 09:33:19 -07001168 SSLMessage msg;
1169 if (!ssl->method->get_message(ssl, &msg)) {
1170 return ssl_hs_read_message;
1171 }
1172 if (!ssl_check_message_type(ssl, msg, SSL3_MT_CHANNEL_ID) ||
1173 !tls1_verify_channel_id(hs, msg) ||
1174 !ssl_hash_message(hs, msg)) {
Steven Valdez909b19f2016-11-21 15:35:44 -05001175 return ssl_hs_error;
David Benjaminc895d6b2016-08-11 13:26:41 -04001176 }
1177
Robert Sloan84377092017-08-14 09:33:19 -07001178 ssl->method->next_message(ssl);
Tobias Thierer43be7d22020-03-02 19:23:34 +00001179 hs->tls13_state = state13_read_client_finished;
Robert Sloan84377092017-08-14 09:33:19 -07001180 return ssl_hs_ok;
David Benjaminc895d6b2016-08-11 13:26:41 -04001181}
1182
Robert Sloan84377092017-08-14 09:33:19 -07001183static enum ssl_hs_wait_t do_read_client_finished(SSL_HANDSHAKE *hs) {
David Benjamin1b249672016-12-06 18:25:50 -05001184 SSL *const ssl = hs->ssl;
Robert Sloan84377092017-08-14 09:33:19 -07001185 SSLMessage msg;
1186 if (!ssl->method->get_message(ssl, &msg)) {
1187 return ssl_hs_read_message;
1188 }
1189 if (!ssl_check_message_type(ssl, msg, SSL3_MT_FINISHED) ||
Robert Sloana27a6a42017-09-05 08:39:28 -07001190 // If early data was accepted, we've already computed the client Finished
1191 // and derived the resumption secret.
Robert Sloan0da43952018-01-03 15:13:14 -08001192 !tls13_process_finished(hs, msg, ssl->s3->early_data_accepted) ||
Robert Sloana27a6a42017-09-05 08:39:28 -07001193 // evp_aead_seal keys have already been switched.
Robert Sloancbf5ea62018-11-05 11:56:34 -08001194 !tls13_set_traffic_key(ssl, ssl_encryption_application, evp_aead_open,
Tobias Thierer43be7d22020-03-02 19:23:34 +00001195 hs->new_session.get(),
Tobias Thierer5b7aef42019-08-23 11:08:22 +01001196 hs->client_traffic_secret_0())) {
David Benjaminc895d6b2016-08-11 13:26:41 -04001197 return ssl_hs_error;
1198 }
1199
Robert Sloan0da43952018-01-03 15:13:14 -08001200 if (!ssl->s3->early_data_accepted) {
Robert Sloan84377092017-08-14 09:33:19 -07001201 if (!ssl_hash_message(hs, msg) ||
Robert Sloan6d0d00e2017-03-27 07:13:07 -07001202 !tls13_derive_resumption_secret(hs)) {
1203 return ssl_hs_error;
1204 }
1205
Robert Sloana27a6a42017-09-05 08:39:28 -07001206 // We send post-handshake tickets as part of the handshake in 1-RTT.
Tobias Thierer43be7d22020-03-02 19:23:34 +00001207 hs->tls13_state = state13_send_new_session_ticket;
Robert Sloan84377092017-08-14 09:33:19 -07001208 } else {
Robert Sloana27a6a42017-09-05 08:39:28 -07001209 // We already sent half-RTT tickets.
Tobias Thierer43be7d22020-03-02 19:23:34 +00001210 hs->tls13_state = state13_done;
Robert Sloan6d0d00e2017-03-27 07:13:07 -07001211 }
1212
Robert Sloan84377092017-08-14 09:33:19 -07001213 ssl->method->next_message(ssl);
David Benjaminc895d6b2016-08-11 13:26:41 -04001214 return ssl_hs_ok;
1215}
1216
David Benjamin1b249672016-12-06 18:25:50 -05001217static enum ssl_hs_wait_t do_send_new_session_ticket(SSL_HANDSHAKE *hs) {
Adam Vartanianbfcf3a72018-08-10 14:55:24 +01001218 bool sent_tickets;
1219 if (!add_new_session_tickets(hs, &sent_tickets)) {
Robert Sloan6d0d00e2017-03-27 07:13:07 -07001220 return ssl_hs_error;
Robert Sloan69939df2017-01-09 10:53:07 -08001221 }
1222
Tobias Thierer43be7d22020-03-02 19:23:34 +00001223 hs->tls13_state = state13_done;
Pete Bentley0c61efe2019-08-13 09:32:23 +01001224 // In TLS 1.3, the NewSessionTicket isn't flushed until the server performs a
1225 // write, to prevent a non-reading client from causing the server to hang in
1226 // the case of a small server write buffer. Consumers which don't write data
1227 // to the client will need to do a zero-byte write if they wish to flush the
1228 // tickets.
Tobias Thierer01e077a2019-10-09 20:48:13 +01001229 if (hs->ssl->quic_method != nullptr && sent_tickets) {
Pete Bentley0c61efe2019-08-13 09:32:23 +01001230 return ssl_hs_flush;
1231 }
1232 return ssl_hs_ok;
David Benjaminc895d6b2016-08-11 13:26:41 -04001233}
1234
David Benjamin1b249672016-12-06 18:25:50 -05001235enum ssl_hs_wait_t tls13_server_handshake(SSL_HANDSHAKE *hs) {
Tobias Thierer43be7d22020-03-02 19:23:34 +00001236 while (hs->tls13_state != state13_done) {
David Benjaminc895d6b2016-08-11 13:26:41 -04001237 enum ssl_hs_wait_t ret = ssl_hs_error;
Tobias Thierer43be7d22020-03-02 19:23:34 +00001238 enum tls13_server_hs_state_t state =
1239 static_cast<enum tls13_server_hs_state_t>(hs->tls13_state);
David Benjaminc895d6b2016-08-11 13:26:41 -04001240 switch (state) {
Tobias Thierer43be7d22020-03-02 19:23:34 +00001241 case state13_select_parameters:
David Benjamin1b249672016-12-06 18:25:50 -05001242 ret = do_select_parameters(hs);
David Benjaminc895d6b2016-08-11 13:26:41 -04001243 break;
Tobias Thierer43be7d22020-03-02 19:23:34 +00001244 case state13_select_session:
Robert Sloan1c9db532017-03-13 08:03:59 -07001245 ret = do_select_session(hs);
1246 break;
Tobias Thierer43be7d22020-03-02 19:23:34 +00001247 case state13_send_hello_retry_request:
David Benjamin1b249672016-12-06 18:25:50 -05001248 ret = do_send_hello_retry_request(hs);
David Benjaminc895d6b2016-08-11 13:26:41 -04001249 break;
Tobias Thierer43be7d22020-03-02 19:23:34 +00001250 case state13_read_second_client_hello:
Robert Sloan84377092017-08-14 09:33:19 -07001251 ret = do_read_second_client_hello(hs);
David Benjaminc895d6b2016-08-11 13:26:41 -04001252 break;
Tobias Thierer43be7d22020-03-02 19:23:34 +00001253 case state13_send_server_hello:
David Benjamin1b249672016-12-06 18:25:50 -05001254 ret = do_send_server_hello(hs);
David Benjaminc895d6b2016-08-11 13:26:41 -04001255 break;
Tobias Thierer43be7d22020-03-02 19:23:34 +00001256 case state13_send_server_certificate_verify:
Robert Sloane56da3e2017-06-26 08:26:42 -07001257 ret = do_send_server_certificate_verify(hs);
Robert Sloan6d0d00e2017-03-27 07:13:07 -07001258 break;
Tobias Thierer43be7d22020-03-02 19:23:34 +00001259 case state13_send_server_finished:
David Benjamin1b249672016-12-06 18:25:50 -05001260 ret = do_send_server_finished(hs);
David Benjaminc895d6b2016-08-11 13:26:41 -04001261 break;
Tobias Thierer43be7d22020-03-02 19:23:34 +00001262 case state13_send_half_rtt_ticket:
1263 ret = do_send_half_rtt_ticket(hs);
1264 break;
1265 case state13_read_second_client_flight:
Robert Sloan6d0d00e2017-03-27 07:13:07 -07001266 ret = do_read_second_client_flight(hs);
1267 break;
Tobias Thierer43be7d22020-03-02 19:23:34 +00001268 case state13_process_end_of_early_data:
Robert Sloan6d0d00e2017-03-27 07:13:07 -07001269 ret = do_process_end_of_early_data(hs);
1270 break;
Pete Bentley17486112021-01-20 11:51:47 +00001271 case state13_read_client_encrypted_extensions:
1272 ret = do_read_client_encrypted_extensions(hs);
1273 break;
Tobias Thierer43be7d22020-03-02 19:23:34 +00001274 case state13_read_client_certificate:
Robert Sloan84377092017-08-14 09:33:19 -07001275 ret = do_read_client_certificate(hs);
David Benjaminc895d6b2016-08-11 13:26:41 -04001276 break;
Tobias Thierer43be7d22020-03-02 19:23:34 +00001277 case state13_read_client_certificate_verify:
Robert Sloan84377092017-08-14 09:33:19 -07001278 ret = do_read_client_certificate_verify(hs);
David Benjaminc895d6b2016-08-11 13:26:41 -04001279 break;
Tobias Thierer43be7d22020-03-02 19:23:34 +00001280 case state13_read_channel_id:
Robert Sloan84377092017-08-14 09:33:19 -07001281 ret = do_read_channel_id(hs);
Steven Valdez909b19f2016-11-21 15:35:44 -05001282 break;
Tobias Thierer43be7d22020-03-02 19:23:34 +00001283 case state13_read_client_finished:
Robert Sloan84377092017-08-14 09:33:19 -07001284 ret = do_read_client_finished(hs);
David Benjaminc895d6b2016-08-11 13:26:41 -04001285 break;
Tobias Thierer43be7d22020-03-02 19:23:34 +00001286 case state13_send_new_session_ticket:
David Benjamin1b249672016-12-06 18:25:50 -05001287 ret = do_send_new_session_ticket(hs);
David Benjaminc895d6b2016-08-11 13:26:41 -04001288 break;
Tobias Thierer43be7d22020-03-02 19:23:34 +00001289 case state13_done:
David Benjaminc895d6b2016-08-11 13:26:41 -04001290 ret = ssl_hs_ok;
1291 break;
1292 }
1293
Robert Sloana27a6a42017-09-05 08:39:28 -07001294 if (hs->tls13_state != state) {
Robert Sloan8f860b12017-08-28 07:37:06 -07001295 ssl_do_info_callback(hs->ssl, SSL_CB_ACCEPT_LOOP, 1);
1296 }
1297
David Benjaminc895d6b2016-08-11 13:26:41 -04001298 if (ret != ssl_hs_ok) {
1299 return ret;
1300 }
1301 }
1302
1303 return ssl_hs_ok;
1304}
Robert Sloanb6d070c2017-07-24 08:40:01 -07001305
Robert Sloan8f860b12017-08-28 07:37:06 -07001306const char *tls13_server_handshake_state(SSL_HANDSHAKE *hs) {
Tobias Thierer43be7d22020-03-02 19:23:34 +00001307 enum tls13_server_hs_state_t state =
1308 static_cast<enum tls13_server_hs_state_t>(hs->tls13_state);
Robert Sloan8f860b12017-08-28 07:37:06 -07001309 switch (state) {
Tobias Thierer43be7d22020-03-02 19:23:34 +00001310 case state13_select_parameters:
Robert Sloan8f860b12017-08-28 07:37:06 -07001311 return "TLS 1.3 server select_parameters";
Tobias Thierer43be7d22020-03-02 19:23:34 +00001312 case state13_select_session:
Robert Sloan8f860b12017-08-28 07:37:06 -07001313 return "TLS 1.3 server select_session";
Tobias Thierer43be7d22020-03-02 19:23:34 +00001314 case state13_send_hello_retry_request:
Robert Sloan8f860b12017-08-28 07:37:06 -07001315 return "TLS 1.3 server send_hello_retry_request";
Tobias Thierer43be7d22020-03-02 19:23:34 +00001316 case state13_read_second_client_hello:
Robert Sloan8f860b12017-08-28 07:37:06 -07001317 return "TLS 1.3 server read_second_client_hello";
Tobias Thierer43be7d22020-03-02 19:23:34 +00001318 case state13_send_server_hello:
Robert Sloan8f860b12017-08-28 07:37:06 -07001319 return "TLS 1.3 server send_server_hello";
Tobias Thierer43be7d22020-03-02 19:23:34 +00001320 case state13_send_server_certificate_verify:
Robert Sloan8f860b12017-08-28 07:37:06 -07001321 return "TLS 1.3 server send_server_certificate_verify";
Tobias Thierer43be7d22020-03-02 19:23:34 +00001322 case state13_send_half_rtt_ticket:
1323 return "TLS 1.3 server send_half_rtt_ticket";
1324 case state13_send_server_finished:
Robert Sloan8f860b12017-08-28 07:37:06 -07001325 return "TLS 1.3 server send_server_finished";
Tobias Thierer43be7d22020-03-02 19:23:34 +00001326 case state13_read_second_client_flight:
Robert Sloan8f860b12017-08-28 07:37:06 -07001327 return "TLS 1.3 server read_second_client_flight";
Tobias Thierer43be7d22020-03-02 19:23:34 +00001328 case state13_process_end_of_early_data:
Robert Sloan8f860b12017-08-28 07:37:06 -07001329 return "TLS 1.3 server process_end_of_early_data";
Pete Bentley17486112021-01-20 11:51:47 +00001330 case state13_read_client_encrypted_extensions:
1331 return "TLS 1.3 server read_client_encrypted_extensions";
Tobias Thierer43be7d22020-03-02 19:23:34 +00001332 case state13_read_client_certificate:
Robert Sloan8f860b12017-08-28 07:37:06 -07001333 return "TLS 1.3 server read_client_certificate";
Tobias Thierer43be7d22020-03-02 19:23:34 +00001334 case state13_read_client_certificate_verify:
Robert Sloan8f860b12017-08-28 07:37:06 -07001335 return "TLS 1.3 server read_client_certificate_verify";
Tobias Thierer43be7d22020-03-02 19:23:34 +00001336 case state13_read_channel_id:
Robert Sloan8f860b12017-08-28 07:37:06 -07001337 return "TLS 1.3 server read_channel_id";
Tobias Thierer43be7d22020-03-02 19:23:34 +00001338 case state13_read_client_finished:
Robert Sloan8f860b12017-08-28 07:37:06 -07001339 return "TLS 1.3 server read_client_finished";
Tobias Thierer43be7d22020-03-02 19:23:34 +00001340 case state13_send_new_session_ticket:
Robert Sloan8f860b12017-08-28 07:37:06 -07001341 return "TLS 1.3 server send_new_session_ticket";
Tobias Thierer43be7d22020-03-02 19:23:34 +00001342 case state13_done:
Robert Sloan8f860b12017-08-28 07:37:06 -07001343 return "TLS 1.3 server done";
1344 }
1345
1346 return "TLS 1.3 server unknown";
1347}
1348
Robert Sloan726e9d12018-09-11 11:45:04 -07001349BSSL_NAMESPACE_END