blob: c2cd682481cfa41830f16d4e2acd5ac40c9af2eb [file] [log] [blame]
Steven Valdez143e8b32016-07-11 13:19:03 -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
David Benjamind304a2f2017-07-12 23:00:28 -040015/* Per C99, various stdint.h macros are unavailable in C++ unless some macros
16 * are defined. C++11 overruled this decision, but older Android NDKs still
17 * require it. */
18#if !defined(__STDC_LIMIT_MACROS)
19#define __STDC_LIMIT_MACROS
20#endif
21
Steven Valdez143e8b32016-07-11 13:19:03 -040022#include <openssl/ssl.h>
23
24#include <assert.h>
25#include <string.h>
26
David Benjaminabbbee12016-10-31 19:20:42 -040027#include <openssl/aead.h>
Steven Valdez143e8b32016-07-11 13:19:03 -040028#include <openssl/bytestring.h>
29#include <openssl/digest.h>
30#include <openssl/err.h>
31#include <openssl/mem.h>
32#include <openssl/rand.h>
33#include <openssl/stack.h>
34
David Benjamin17cf2cb2016-12-13 01:07:13 -050035#include "../crypto/internal.h"
Steven Valdez143e8b32016-07-11 13:19:03 -040036#include "internal.h"
37
38
David Benjamin86e95b82017-07-18 16:34:25 -040039namespace bssl {
40
Steven Valdez143e8b32016-07-11 13:19:03 -040041enum server_hs_state_t {
David Benjamindaa05392017-02-02 23:33:21 -050042 state_select_parameters = 0,
David Benjamin707af292017-03-10 17:47:18 -050043 state_select_session,
Steven Valdez5440fe02016-07-18 12:40:30 -040044 state_send_hello_retry_request,
Steven Valdez5440fe02016-07-18 12:40:30 -040045 state_process_second_client_hello,
Steven Valdez143e8b32016-07-11 13:19:03 -040046 state_send_server_hello,
Steven Valdez143e8b32016-07-11 13:19:03 -040047 state_send_server_certificate_verify,
Steven Valdez143e8b32016-07-11 13:19:03 -040048 state_send_server_finished,
Steven Valdez2d850622017-01-11 11:34:52 -050049 state_read_second_client_flight,
Steven Valdez520e1222017-06-13 12:45:25 -040050 state_process_change_cipher_spec,
Steven Valdez2d850622017-01-11 11:34:52 -050051 state_process_end_of_early_data,
Steven Valdez143e8b32016-07-11 13:19:03 -040052 state_process_client_certificate,
53 state_process_client_certificate_verify,
Nick Harper60a85cb2016-09-23 16:25:11 -070054 state_process_channel_id,
Steven Valdez143e8b32016-07-11 13:19:03 -040055 state_process_client_finished,
Steven Valdez1e6f11a2016-07-27 11:10:52 -040056 state_send_new_session_ticket,
Steven Valdez143e8b32016-07-11 13:19:03 -040057 state_done,
58};
59
Steven Valdez5440fe02016-07-18 12:40:30 -040060static const uint8_t kZeroes[EVP_MAX_MD_SIZE] = {0};
61
David Benjamin6e4fc332016-11-17 16:43:08 +090062static int resolve_ecdhe_secret(SSL_HANDSHAKE *hs, int *out_need_retry,
David Benjamin731058e2016-12-03 23:15:13 -050063 SSL_CLIENT_HELLO *client_hello) {
David Benjamin6e4fc332016-11-17 16:43:08 +090064 SSL *const ssl = hs->ssl;
Steven Valdez5440fe02016-07-18 12:40:30 -040065 *out_need_retry = 0;
Steven Valdez5440fe02016-07-18 12:40:30 -040066
Steven Valdez803c77a2016-09-06 14:13:43 -040067 /* We only support connections that include an ECDHE key exchange. */
Steven Valdez5440fe02016-07-18 12:40:30 -040068 CBS key_share;
David Benjamin731058e2016-12-03 23:15:13 -050069 if (!ssl_client_hello_get_extension(client_hello, &key_share,
70 TLSEXT_TYPE_key_share)) {
Steven Valdez5440fe02016-07-18 12:40:30 -040071 OPENSSL_PUT_ERROR(SSL, SSL_R_MISSING_KEY_SHARE);
72 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_MISSING_EXTENSION);
David Benjamin6929f272016-11-16 19:10:08 +090073 return 0;
Steven Valdez5440fe02016-07-18 12:40:30 -040074 }
75
Steven Valdez5440fe02016-07-18 12:40:30 -040076 int found_key_share;
77 uint8_t *dhe_secret;
78 size_t dhe_secret_len;
David Benjamin7e1f9842016-09-20 19:24:40 -040079 uint8_t alert = SSL_AD_DECODE_ERROR;
David Benjamin8baf9632016-11-17 17:11:16 +090080 if (!ssl_ext_key_share_parse_clienthello(hs, &found_key_share, &dhe_secret,
Steven Valdez7259f2f2016-08-02 16:55:05 -040081 &dhe_secret_len, &alert,
82 &key_share)) {
Steven Valdez5440fe02016-07-18 12:40:30 -040083 ssl3_send_alert(ssl, SSL3_AL_FATAL, alert);
84 return 0;
85 }
86
87 if (!found_key_share) {
88 *out_need_retry = 1;
89 return 0;
90 }
91
David Benjamin6e4fc332016-11-17 16:43:08 +090092 int ok = tls13_advance_key_schedule(hs, dhe_secret, dhe_secret_len);
Steven Valdez5440fe02016-07-18 12:40:30 -040093 OPENSSL_free(dhe_secret);
94 return ok;
95}
96
Steven Valdez038da9b2017-07-10 12:57:25 -040097static int ssl_ext_supported_versions_add_serverhello(SSL_HANDSHAKE *hs,
98 CBB *out) {
99 CBB contents;
100 if (!CBB_add_u16(out, TLSEXT_TYPE_supported_versions) ||
101 !CBB_add_u16_length_prefixed(out, &contents) ||
102 !CBB_add_u16(&contents, hs->ssl->version) ||
103 !CBB_flush(out)) {
104 return 0;
105 }
106
107 return 1;
108}
109
David Benjamin34202b92016-11-16 19:07:53 +0900110static const SSL_CIPHER *choose_tls13_cipher(
David Benjamin731058e2016-12-03 23:15:13 -0500111 const SSL *ssl, const SSL_CLIENT_HELLO *client_hello) {
David Benjamin34202b92016-11-16 19:07:53 +0900112 if (client_hello->cipher_suites_len % 2 != 0) {
113 return NULL;
114 }
115
116 CBS cipher_suites;
117 CBS_init(&cipher_suites, client_hello->cipher_suites,
118 client_hello->cipher_suites_len);
119
120 const int aes_is_fine = EVP_has_aes_hardware();
David Benjaminf01f42a2016-11-16 19:05:33 +0900121 const uint16_t version = ssl3_protocol_version(ssl);
David Benjamin34202b92016-11-16 19:07:53 +0900122
123 const SSL_CIPHER *best = NULL;
124 while (CBS_len(&cipher_suites) > 0) {
125 uint16_t cipher_suite;
126 if (!CBS_get_u16(&cipher_suites, &cipher_suite)) {
127 return NULL;
128 }
129
David Benjaminf01f42a2016-11-16 19:05:33 +0900130 /* Limit to TLS 1.3 ciphers we know about. */
David Benjamin34202b92016-11-16 19:07:53 +0900131 const SSL_CIPHER *candidate = SSL_get_cipher_by_value(cipher_suite);
David Benjaminf01f42a2016-11-16 19:05:33 +0900132 if (candidate == NULL ||
133 SSL_CIPHER_get_min_version(candidate) > version ||
134 SSL_CIPHER_get_max_version(candidate) < version) {
David Benjamin34202b92016-11-16 19:07:53 +0900135 continue;
136 }
137
138 /* TLS 1.3 removes legacy ciphers, so honor the client order, but prefer
139 * ChaCha20 if we do not have AES hardware. */
140 if (aes_is_fine) {
141 return candidate;
142 }
143
144 if (candidate->algorithm_enc == SSL_CHACHA20POLY1305) {
145 return candidate;
146 }
147
148 if (best == NULL) {
149 best = candidate;
150 }
151 }
152
153 return best;
154}
155
David Benjamin794cc592017-03-25 22:24:23 -0500156static int add_new_session_tickets(SSL_HANDSHAKE *hs) {
157 SSL *const ssl = hs->ssl;
158 /* TLS 1.3 recommends single-use tickets, so issue multiple tickets in case
159 * the client makes several connections before getting a renewal. */
160 static const int kNumTickets = 2;
161
David Benjamin794cc592017-03-25 22:24:23 -0500162 /* Rebase the session timestamp so that it is measured from ticket
163 * issuance. */
David Benjamin31b0c9b2017-07-20 14:49:15 -0400164 ssl_session_rebase_time(ssl, hs->new_session.get());
David Benjamin794cc592017-03-25 22:24:23 -0500165
166 for (int i = 0; i < kNumTickets; i++) {
David Benjamin31b0c9b2017-07-20 14:49:15 -0400167 if (!RAND_bytes((uint8_t *)&hs->new_session->ticket_age_add, 4)) {
David Benjamin1386aad2017-07-19 23:57:40 -0400168 return 0;
David Benjamin794cc592017-03-25 22:24:23 -0500169 }
David Benjamin31b0c9b2017-07-20 14:49:15 -0400170 hs->new_session->ticket_age_add_valid = 1;
David Benjamin794cc592017-03-25 22:24:23 -0500171
David Benjamin1386aad2017-07-19 23:57:40 -0400172 ScopedCBB cbb;
David Benjamin794cc592017-03-25 22:24:23 -0500173 CBB body, ticket, extensions;
David Benjamin1386aad2017-07-19 23:57:40 -0400174 if (!ssl->method->init_message(ssl, cbb.get(), &body,
David Benjamin794cc592017-03-25 22:24:23 -0500175 SSL3_MT_NEW_SESSION_TICKET) ||
David Benjamin31b0c9b2017-07-20 14:49:15 -0400176 !CBB_add_u32(&body, hs->new_session->timeout) ||
177 !CBB_add_u32(&body, hs->new_session->ticket_age_add) ||
David Benjamin794cc592017-03-25 22:24:23 -0500178 !CBB_add_u16_length_prefixed(&body, &ticket) ||
David Benjamin31b0c9b2017-07-20 14:49:15 -0400179 !ssl_encrypt_ticket(ssl, &ticket, hs->new_session.get()) ||
David Benjamin794cc592017-03-25 22:24:23 -0500180 !CBB_add_u16_length_prefixed(&body, &extensions)) {
David Benjamin1386aad2017-07-19 23:57:40 -0400181 return 0;
David Benjamin794cc592017-03-25 22:24:23 -0500182 }
183
Alessandro Ghedini67bb45f2017-03-30 16:33:24 -0500184 if (ssl->cert->enable_early_data) {
David Benjamin31b0c9b2017-07-20 14:49:15 -0400185 hs->new_session->ticket_max_early_data = kMaxEarlyDataAccepted;
David Benjamin794cc592017-03-25 22:24:23 -0500186
187 CBB early_data_info;
188 if (!CBB_add_u16(&extensions, TLSEXT_TYPE_ticket_early_data_info) ||
189 !CBB_add_u16_length_prefixed(&extensions, &early_data_info) ||
David Benjamin31b0c9b2017-07-20 14:49:15 -0400190 !CBB_add_u32(&early_data_info,
191 hs->new_session->ticket_max_early_data) ||
David Benjamin794cc592017-03-25 22:24:23 -0500192 !CBB_flush(&extensions)) {
David Benjamin1386aad2017-07-19 23:57:40 -0400193 return 0;
David Benjamin794cc592017-03-25 22:24:23 -0500194 }
195 }
196
197 /* Add a fake extension. See draft-davidben-tls-grease-01. */
198 if (!CBB_add_u16(&extensions,
199 ssl_get_grease_value(ssl, ssl_grease_ticket_extension)) ||
200 !CBB_add_u16(&extensions, 0 /* empty */)) {
David Benjamin1386aad2017-07-19 23:57:40 -0400201 return 0;
David Benjamin794cc592017-03-25 22:24:23 -0500202 }
203
David Benjamin1386aad2017-07-19 23:57:40 -0400204 if (!ssl_add_message_cbb(ssl, cbb.get())) {
205 return 0;
David Benjamin794cc592017-03-25 22:24:23 -0500206 }
207 }
208
209 return 1;
David Benjamin794cc592017-03-25 22:24:23 -0500210}
211
David Benjaminc3c88822016-11-14 10:32:04 +0900212static enum ssl_hs_wait_t do_select_parameters(SSL_HANDSHAKE *hs) {
David Benjamin707af292017-03-10 17:47:18 -0500213 /* At this point, most ClientHello extensions have already been processed by
214 * the common handshake logic. Resolve the remaining non-PSK parameters. */
David Benjaminc3c88822016-11-14 10:32:04 +0900215 SSL *const ssl = hs->ssl;
David Benjamin650aa1c2016-12-20 18:55:16 -0500216
David Benjamin731058e2016-12-03 23:15:13 -0500217 SSL_CLIENT_HELLO client_hello;
218 if (!ssl_client_hello_init(ssl, &client_hello, ssl->init_msg,
Steven Valdez520e1222017-06-13 12:45:25 -0400219 ssl->init_num) ||
220 client_hello.session_id_len > sizeof(hs->session_id)) {
David Benjamin34202b92016-11-16 19:07:53 +0900221 OPENSSL_PUT_ERROR(SSL, SSL_R_CLIENTHELLO_PARSE_FAILED);
222 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
223 return ssl_hs_error;
224 }
225
Steven Valdez520e1222017-06-13 12:45:25 -0400226 OPENSSL_memcpy(hs->session_id, client_hello.session_id,
227 client_hello.session_id_len);
228 hs->session_id_len = client_hello.session_id_len;
229
David Benjaminf01f42a2016-11-16 19:05:33 +0900230 /* Negotiate the cipher suite. */
David Benjamin45738dd2017-02-09 20:01:26 -0500231 hs->new_cipher = choose_tls13_cipher(ssl, &client_hello);
232 if (hs->new_cipher == NULL) {
David Benjaminf01f42a2016-11-16 19:05:33 +0900233 OPENSSL_PUT_ERROR(SSL, SSL_R_NO_SHARED_CIPHER);
234 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_HANDSHAKE_FAILURE);
235 return ssl_hs_error;
236 }
237
David Benjamin707af292017-03-10 17:47:18 -0500238 /* HTTP/2 negotiation depends on the cipher suite, so ALPN negotiation was
239 * deferred. Complete it now. */
240 uint8_t alert = SSL_AD_DECODE_ERROR;
241 if (!ssl_negotiate_alpn(hs, &alert, &client_hello)) {
242 ssl3_send_alert(ssl, SSL3_AL_FATAL, alert);
243 return ssl_hs_error;
244 }
245
Steven Valdez908ac192017-01-12 13:17:07 -0500246 /* The PRF hash is now known. Set up the key schedule and hash the
247 * ClientHello. */
248 if (!tls13_init_key_schedule(hs) ||
249 !ssl_hash_current_message(hs)) {
250 return ssl_hs_error;
251 }
252
David Benjamin707af292017-03-10 17:47:18 -0500253 hs->tls13_state = state_select_session;
254 return ssl_hs_ok;
255}
Steven Valdez908ac192017-01-12 13:17:07 -0500256
David Benjamin707af292017-03-10 17:47:18 -0500257static enum ssl_ticket_aead_result_t select_session(
David Benjamin37af90f2017-07-29 01:42:16 -0400258 SSL_HANDSHAKE *hs, uint8_t *out_alert, UniquePtr<SSL_SESSION> *out_session,
David Benjamin707af292017-03-10 17:47:18 -0500259 int32_t *out_ticket_age_skew, const SSL_CLIENT_HELLO *client_hello) {
260 SSL *const ssl = hs->ssl;
261 *out_session = NULL;
262
263 /* Decode the ticket if we agreed on a PSK key exchange mode. */
264 CBS pre_shared_key;
265 if (!hs->accept_psk_mode ||
266 !ssl_client_hello_get_extension(client_hello, &pre_shared_key,
267 TLSEXT_TYPE_pre_shared_key)) {
268 return ssl_ticket_aead_ignore_ticket;
269 }
270
271 /* Verify that the pre_shared_key extension is the last extension in
272 * ClientHello. */
273 if (CBS_data(&pre_shared_key) + CBS_len(&pre_shared_key) !=
274 client_hello->extensions + client_hello->extensions_len) {
275 OPENSSL_PUT_ERROR(SSL, SSL_R_PRE_SHARED_KEY_MUST_BE_LAST);
276 *out_alert = SSL_AD_ILLEGAL_PARAMETER;
277 return ssl_ticket_aead_error;
278 }
279
280 CBS ticket, binders;
281 uint32_t client_ticket_age;
282 if (!ssl_ext_pre_shared_key_parse_clienthello(hs, &ticket, &binders,
283 &client_ticket_age, out_alert,
284 &pre_shared_key)) {
285 return ssl_ticket_aead_error;
286 }
287
288 /* TLS 1.3 session tickets are renewed separately as part of the
289 * NewSessionTicket. */
290 int unused_renew;
David Benjamin37af90f2017-07-29 01:42:16 -0400291 UniquePtr<SSL_SESSION> session;
David Benjamin707af292017-03-10 17:47:18 -0500292 enum ssl_ticket_aead_result_t ret =
293 ssl_process_ticket(ssl, &session, &unused_renew, CBS_data(&ticket),
294 CBS_len(&ticket), NULL, 0);
295 switch (ret) {
296 case ssl_ticket_aead_success:
297 break;
298 case ssl_ticket_aead_error:
299 *out_alert = SSL_AD_INTERNAL_ERROR;
300 return ret;
301 default:
302 return ret;
303 }
304
David Benjamin37af90f2017-07-29 01:42:16 -0400305 if (!ssl_session_is_resumable(hs, session.get()) ||
David Benjamin707af292017-03-10 17:47:18 -0500306 /* Historically, some TLS 1.3 tickets were missing ticket_age_add. */
307 !session->ticket_age_add_valid) {
David Benjamin707af292017-03-10 17:47:18 -0500308 return ssl_ticket_aead_ignore_ticket;
309 }
310
311 /* Recover the client ticket age and convert to seconds. */
312 client_ticket_age -= session->ticket_age_add;
313 client_ticket_age /= 1000;
314
315 struct OPENSSL_timeval now;
316 ssl_get_current_time(ssl, &now);
317
318 /* Compute the server ticket age in seconds. */
319 assert(now.tv_sec >= session->time);
320 uint64_t server_ticket_age = now.tv_sec - session->time;
321
322 /* To avoid overflowing |hs->ticket_age_skew|, we will not resume
323 * 68-year-old sessions. */
324 if (server_ticket_age > INT32_MAX) {
David Benjamin707af292017-03-10 17:47:18 -0500325 return ssl_ticket_aead_ignore_ticket;
326 }
327
328 /* TODO(davidben,svaldez): Measure this value to decide on tolerance. For
329 * now, accept all values. https://crbug.com/boringssl/113. */
330 *out_ticket_age_skew =
331 (int32_t)client_ticket_age - (int32_t)server_ticket_age;
332
333 /* Check the PSK binder. */
David Benjamin37af90f2017-07-29 01:42:16 -0400334 if (!tls13_verify_psk_binder(hs, session.get(), &binders)) {
David Benjamin707af292017-03-10 17:47:18 -0500335 *out_alert = SSL_AD_DECRYPT_ERROR;
336 return ssl_ticket_aead_error;
337 }
338
David Benjamin37af90f2017-07-29 01:42:16 -0400339 *out_session = std::move(session);
David Benjamin707af292017-03-10 17:47:18 -0500340 return ssl_ticket_aead_success;
341}
342
343static enum ssl_hs_wait_t do_select_session(SSL_HANDSHAKE *hs) {
344 SSL *const ssl = hs->ssl;
345 SSL_CLIENT_HELLO client_hello;
346 if (!ssl_client_hello_init(ssl, &client_hello, ssl->init_msg,
347 ssl->init_num)) {
348 OPENSSL_PUT_ERROR(SSL, SSL_R_CLIENTHELLO_PARSE_FAILED);
349 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
350 return ssl_hs_error;
351 }
352
David Benjamin4eb95cc2016-11-16 17:08:23 +0900353 uint8_t alert = SSL_AD_DECODE_ERROR;
David Benjamin37af90f2017-07-29 01:42:16 -0400354 UniquePtr<SSL_SESSION> session;
David Benjamin707af292017-03-10 17:47:18 -0500355 switch (select_session(hs, &alert, &session, &ssl->s3->ticket_age_skew,
356 &client_hello)) {
357 case ssl_ticket_aead_ignore_ticket:
David Benjamin37af90f2017-07-29 01:42:16 -0400358 assert(!session);
David Benjamin707af292017-03-10 17:47:18 -0500359 if (!ssl_get_new_session(hs, 1 /* server */)) {
David Benjaminf01f42a2016-11-16 19:05:33 +0900360 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
361 return ssl_hs_error;
362 }
David Benjamin707af292017-03-10 17:47:18 -0500363 break;
Steven Valdeza833c352016-11-01 13:39:36 -0400364
David Benjamin707af292017-03-10 17:47:18 -0500365 case ssl_ticket_aead_success:
366 /* Carry over authentication information from the previous handshake into
367 * a fresh session. */
David Benjamin37af90f2017-07-29 01:42:16 -0400368 hs->new_session =
369 SSL_SESSION_dup(session.get(), SSL_SESSION_DUP_AUTH_ONLY);
Steven Valdez2d850622017-01-11 11:34:52 -0500370
371 if (/* Early data must be acceptable for this ticket. */
Alessandro Ghedini67bb45f2017-03-30 16:33:24 -0500372 ssl->cert->enable_early_data &&
Steven Valdez2d850622017-01-11 11:34:52 -0500373 session->ticket_max_early_data != 0 &&
374 /* The client must have offered early data. */
375 hs->early_data_offered &&
Steven Valdez2a070722017-03-25 20:54:16 -0500376 /* Channel ID is incompatible with 0-RTT. */
377 !ssl->s3->tlsext_channel_id_valid &&
Steven Valdez2d850622017-01-11 11:34:52 -0500378 /* The negotiated ALPN must match the one in the ticket. */
379 ssl->s3->alpn_selected_len == session->early_alpn_len &&
380 OPENSSL_memcmp(ssl->s3->alpn_selected, session->early_alpn,
381 ssl->s3->alpn_selected_len) == 0) {
382 ssl->early_data_accepted = 1;
383 }
384
David Benjamin707af292017-03-10 17:47:18 -0500385 if (hs->new_session == NULL) {
386 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
387 return ssl_hs_error;
388 }
389
390 ssl->s3->session_reused = 1;
391
392 /* Resumption incorporates fresh key material, so refresh the timeout. */
David Benjamin31b0c9b2017-07-20 14:49:15 -0400393 ssl_session_renew_timeout(ssl, hs->new_session.get(),
David Benjamin707af292017-03-10 17:47:18 -0500394 ssl->session_ctx->session_psk_dhe_timeout);
395 break;
396
397 case ssl_ticket_aead_error:
398 ssl3_send_alert(ssl, SSL3_AL_FATAL, alert);
399 return ssl_hs_error;
400
401 case ssl_ticket_aead_retry:
402 hs->tls13_state = state_select_session;
403 return ssl_hs_pending_ticket;
404 }
405
406 /* Record connection properties in the new session. */
407 hs->new_session->cipher = hs->new_cipher;
408
409 if (hs->hostname != NULL) {
410 OPENSSL_free(hs->new_session->tlsext_hostname);
David Benjamin31b0c9b2017-07-20 14:49:15 -0400411 hs->new_session->tlsext_hostname = BUF_strdup(hs->hostname.get());
David Benjamin707af292017-03-10 17:47:18 -0500412 if (hs->new_session->tlsext_hostname == NULL) {
Steven Valdez4aa154e2016-07-29 14:32:55 -0400413 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
414 return ssl_hs_error;
415 }
Steven Valdez143e8b32016-07-11 13:19:03 -0400416 }
417
Steven Valdez2d850622017-01-11 11:34:52 -0500418 /* Store the initial negotiated ALPN in the session. */
Steven Valdez27a9e6a2017-02-14 13:20:40 -0500419 if (ssl->s3->alpn_selected != NULL) {
David Benjamind304a2f2017-07-12 23:00:28 -0400420 hs->new_session->early_alpn = (uint8_t *)BUF_memdup(
421 ssl->s3->alpn_selected, ssl->s3->alpn_selected_len);
David Benjamin45738dd2017-02-09 20:01:26 -0500422 if (hs->new_session->early_alpn == NULL) {
Steven Valdez27a9e6a2017-02-14 13:20:40 -0500423 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
424 return ssl_hs_error;
425 }
David Benjamin45738dd2017-02-09 20:01:26 -0500426 hs->new_session->early_alpn_len = ssl->s3->alpn_selected_len;
Steven Valdez27a9e6a2017-02-14 13:20:40 -0500427 }
428
David Benjamin707af292017-03-10 17:47:18 -0500429 if (ssl->ctx->dos_protection_cb != NULL &&
430 ssl->ctx->dos_protection_cb(&client_hello) == 0) {
431 /* Connection rejected for DOS reasons. */
432 OPENSSL_PUT_ERROR(SSL, SSL_R_CONNECTION_REJECTED);
433 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
434 return ssl_hs_error;
435 }
436
David Benjamin8f820b42016-11-30 11:24:40 -0500437 /* Incorporate the PSK into the running secret. */
438 if (ssl->s3->session_reused) {
David Benjamin45738dd2017-02-09 20:01:26 -0500439 if (!tls13_advance_key_schedule(hs, hs->new_session->master_key,
440 hs->new_session->master_key_length)) {
David Benjamin8f820b42016-11-30 11:24:40 -0500441 return ssl_hs_error;
442 }
Steven Valdez908ac192017-01-12 13:17:07 -0500443 } else if (!tls13_advance_key_schedule(hs, kZeroes, hs->hash_len)) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400444 return ssl_hs_error;
445 }
446
Steven Valdez2d850622017-01-11 11:34:52 -0500447 if (ssl->early_data_accepted) {
448 if (!tls13_derive_early_secrets(hs)) {
449 return ssl_hs_error;
450 }
451 } else if (hs->early_data_offered) {
452 ssl->s3->skip_early_data = 1;
453 }
454
Steven Valdez143e8b32016-07-11 13:19:03 -0400455 /* Resolve ECDHE and incorporate it into the secret. */
Steven Valdez5440fe02016-07-18 12:40:30 -0400456 int need_retry;
David Benjamin6e4fc332016-11-17 16:43:08 +0900457 if (!resolve_ecdhe_secret(hs, &need_retry, &client_hello)) {
Steven Valdez5440fe02016-07-18 12:40:30 -0400458 if (need_retry) {
Steven Valdez2d850622017-01-11 11:34:52 -0500459 ssl->early_data_accepted = 0;
460 ssl->s3->skip_early_data = 1;
David Benjamin8f94c312017-08-01 17:35:55 -0400461 ssl->method->next_message(ssl);
David Benjamin3977f302016-12-11 13:30:41 -0500462 hs->tls13_state = state_send_hello_retry_request;
Steven Valdez5440fe02016-07-18 12:40:30 -0400463 return ssl_hs_ok;
Steven Valdez143e8b32016-07-11 13:19:03 -0400464 }
Steven Valdez5440fe02016-07-18 12:40:30 -0400465 return ssl_hs_error;
466 }
Steven Valdez143e8b32016-07-11 13:19:03 -0400467
David Benjamin8f94c312017-08-01 17:35:55 -0400468 ssl->method->next_message(ssl);
David Benjamin3977f302016-12-11 13:30:41 -0500469 hs->tls13_state = state_send_server_hello;
Steven Valdez5440fe02016-07-18 12:40:30 -0400470 return ssl_hs_ok;
471}
Steven Valdez143e8b32016-07-11 13:19:03 -0400472
David Benjaminc3c88822016-11-14 10:32:04 +0900473static enum ssl_hs_wait_t do_send_hello_retry_request(SSL_HANDSHAKE *hs) {
474 SSL *const ssl = hs->ssl;
David Benjamin1386aad2017-07-19 23:57:40 -0400475 ScopedCBB cbb;
476 CBB body, extensions;
Steven Valdez5440fe02016-07-18 12:40:30 -0400477 uint16_t group_id;
David Benjamin1386aad2017-07-19 23:57:40 -0400478 if (!ssl->method->init_message(ssl, cbb.get(), &body,
Steven Valdez5440fe02016-07-18 12:40:30 -0400479 SSL3_MT_HELLO_RETRY_REQUEST) ||
480 !CBB_add_u16(&body, ssl->version) ||
David Benjaminf3c8f8d2016-11-17 17:20:47 +0900481 !tls1_get_shared_group(hs, &group_id) ||
Steven Valdez5440fe02016-07-18 12:40:30 -0400482 !CBB_add_u16_length_prefixed(&body, &extensions) ||
David Benjamin3baa6e12016-10-07 21:10:38 -0400483 !CBB_add_u16(&extensions, TLSEXT_TYPE_key_share) ||
484 !CBB_add_u16(&extensions, 2 /* length */) ||
485 !CBB_add_u16(&extensions, group_id) ||
David Benjamin1386aad2017-07-19 23:57:40 -0400486 !ssl_add_message_cbb(ssl, cbb.get())) {
Steven Valdez5440fe02016-07-18 12:40:30 -0400487 return ssl_hs_error;
488 }
489
David Benjamin3977f302016-12-11 13:30:41 -0500490 hs->tls13_state = state_process_second_client_hello;
Steven Valdez5440fe02016-07-18 12:40:30 -0400491 return ssl_hs_flush_and_read_message;
492}
493
David Benjaminc3c88822016-11-14 10:32:04 +0900494static enum ssl_hs_wait_t do_process_second_client_hello(SSL_HANDSHAKE *hs) {
495 SSL *const ssl = hs->ssl;
David Benjamin276b7e82017-01-21 14:13:39 -0500496 if (!ssl_check_message_type(ssl, SSL3_MT_CLIENT_HELLO)) {
Steven Valdez5440fe02016-07-18 12:40:30 -0400497 return ssl_hs_error;
498 }
499
David Benjamin731058e2016-12-03 23:15:13 -0500500 SSL_CLIENT_HELLO client_hello;
501 if (!ssl_client_hello_init(ssl, &client_hello, ssl->init_msg,
502 ssl->init_num)) {
Steven Valdez5440fe02016-07-18 12:40:30 -0400503 OPENSSL_PUT_ERROR(SSL, SSL_R_CLIENTHELLO_PARSE_FAILED);
504 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
505 return ssl_hs_error;
506 }
507
508 int need_retry;
David Benjamin6e4fc332016-11-17 16:43:08 +0900509 if (!resolve_ecdhe_secret(hs, &need_retry, &client_hello)) {
Steven Valdez5440fe02016-07-18 12:40:30 -0400510 if (need_retry) {
511 /* Only send one HelloRetryRequest. */
512 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_ILLEGAL_PARAMETER);
513 OPENSSL_PUT_ERROR(SSL, SSL_R_WRONG_CURVE);
Steven Valdez143e8b32016-07-11 13:19:03 -0400514 }
Steven Valdez5440fe02016-07-18 12:40:30 -0400515 return ssl_hs_error;
516 }
517
Steven Valdez908ac192017-01-12 13:17:07 -0500518 if (!ssl_hash_current_message(hs)) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400519 return ssl_hs_error;
520 }
521
David Benjamin8f94c312017-08-01 17:35:55 -0400522 ssl->method->next_message(ssl);
David Benjamin3977f302016-12-11 13:30:41 -0500523 hs->tls13_state = state_send_server_hello;
Steven Valdez143e8b32016-07-11 13:19:03 -0400524 return ssl_hs_ok;
525}
526
David Benjaminc3c88822016-11-14 10:32:04 +0900527static enum ssl_hs_wait_t do_send_server_hello(SSL_HANDSHAKE *hs) {
528 SSL *const ssl = hs->ssl;
David Benjamin81b7bc32017-01-12 19:44:57 -0500529
Steven Valdez038da9b2017-07-10 12:57:25 -0400530 uint16_t version = ssl->version;
531 if (ssl->version == TLS1_3_EXPERIMENT_VERSION) {
532 version = TLS1_2_VERSION;
533 }
534
David Benjamin81b7bc32017-01-12 19:44:57 -0500535 /* Send a ServerHello. */
David Benjamin1386aad2017-07-19 23:57:40 -0400536 ScopedCBB cbb;
537 CBB body, extensions, session_id;
538 if (!ssl->method->init_message(ssl, cbb.get(), &body, SSL3_MT_SERVER_HELLO) ||
Steven Valdez038da9b2017-07-10 12:57:25 -0400539 !CBB_add_u16(&body, version) ||
Steven Valdez143e8b32016-07-11 13:19:03 -0400540 !RAND_bytes(ssl->s3->server_random, sizeof(ssl->s3->server_random)) ||
541 !CBB_add_bytes(&body, ssl->s3->server_random, SSL3_RANDOM_SIZE) ||
Steven Valdez520e1222017-06-13 12:45:25 -0400542 (ssl->version == TLS1_3_EXPERIMENT_VERSION &&
543 (!CBB_add_u8_length_prefixed(&body, &session_id) ||
544 !CBB_add_bytes(&session_id, hs->session_id, hs->session_id_len))) ||
David Benjamin45738dd2017-02-09 20:01:26 -0500545 !CBB_add_u16(&body, ssl_cipher_get_value(hs->new_cipher)) ||
Steven Valdez520e1222017-06-13 12:45:25 -0400546 (ssl->version == TLS1_3_EXPERIMENT_VERSION && !CBB_add_u8(&body, 0)) ||
Steven Valdez143e8b32016-07-11 13:19:03 -0400547 !CBB_add_u16_length_prefixed(&body, &extensions) ||
David Benjamin8baf9632016-11-17 17:11:16 +0900548 !ssl_ext_pre_shared_key_add_serverhello(hs, &extensions) ||
Steven Valdez924a3522017-03-02 16:05:03 -0500549 !ssl_ext_key_share_add_serverhello(hs, &extensions) ||
Steven Valdez038da9b2017-07-10 12:57:25 -0400550 (ssl->version == TLS1_3_EXPERIMENT_VERSION &&
551 !ssl_ext_supported_versions_add_serverhello(hs, &extensions)) ||
David Benjamin1386aad2017-07-19 23:57:40 -0400552 !ssl_add_message_cbb(ssl, cbb.get())) {
553 return ssl_hs_error;
Steven Valdez143e8b32016-07-11 13:19:03 -0400554 }
555
Steven Valdez520e1222017-06-13 12:45:25 -0400556 if (ssl->version == TLS1_3_EXPERIMENT_VERSION &&
557 !ssl3_add_change_cipher_spec(ssl)) {
David Benjamin1386aad2017-07-19 23:57:40 -0400558 return ssl_hs_error;
Steven Valdez520e1222017-06-13 12:45:25 -0400559 }
560
David Benjamin81b7bc32017-01-12 19:44:57 -0500561 /* Derive and enable the handshake traffic secrets. */
Steven Valdez4cb84942016-12-16 11:29:28 -0500562 if (!tls13_derive_handshake_secrets(hs) ||
Steven Valdez4cb84942016-12-16 11:29:28 -0500563 !tls13_set_traffic_key(ssl, evp_aead_seal, hs->server_handshake_secret,
564 hs->hash_len)) {
David Benjamin1386aad2017-07-19 23:57:40 -0400565 return ssl_hs_error;
Steven Valdez143e8b32016-07-11 13:19:03 -0400566 }
567
David Benjamin81b7bc32017-01-12 19:44:57 -0500568 /* Send EncryptedExtensions. */
David Benjamin1386aad2017-07-19 23:57:40 -0400569 if (!ssl->method->init_message(ssl, cbb.get(), &body,
Steven Valdez143e8b32016-07-11 13:19:03 -0400570 SSL3_MT_ENCRYPTED_EXTENSIONS) ||
David Benjamin8c880a22016-12-03 02:20:34 -0500571 !ssl_add_serverhello_tlsext(hs, &body) ||
David Benjamin1386aad2017-07-19 23:57:40 -0400572 !ssl_add_message_cbb(ssl, cbb.get())) {
573 return ssl_hs_error;
Steven Valdez143e8b32016-07-11 13:19:03 -0400574 }
575
David Benjaminc3648fa2017-07-01 10:50:56 -0400576 if (!ssl->s3->session_reused) {
577 /* Determine whether to request a client certificate. */
578 hs->cert_request = !!(ssl->verify_mode & SSL_VERIFY_PEER);
579 /* Only request a certificate if Channel ID isn't negotiated. */
580 if ((ssl->verify_mode & SSL_VERIFY_PEER_IF_NO_OBC) &&
581 ssl->s3->tlsext_channel_id_valid) {
582 hs->cert_request = 0;
583 }
Steven Valdez143e8b32016-07-11 13:19:03 -0400584 }
585
David Benjamin81b7bc32017-01-12 19:44:57 -0500586 /* Send a CertificateRequest, if necessary. */
587 if (hs->cert_request) {
588 CBB sigalgs_cbb;
David Benjamin1386aad2017-07-19 23:57:40 -0400589 if (!ssl->method->init_message(ssl, cbb.get(), &body,
David Benjamin81b7bc32017-01-12 19:44:57 -0500590 SSL3_MT_CERTIFICATE_REQUEST) ||
David Benjamin69522112017-03-28 15:38:29 -0500591 !CBB_add_u8(&body, 0 /* no certificate_request_context. */) ||
592 !CBB_add_u16_length_prefixed(&body, &sigalgs_cbb) ||
593 !tls12_add_verify_sigalgs(ssl, &sigalgs_cbb) ||
594 !ssl_add_client_CA_list(ssl, &body) ||
David Benjamin81b7bc32017-01-12 19:44:57 -0500595 !CBB_add_u16(&body, 0 /* empty certificate_extensions. */) ||
David Benjamin1386aad2017-07-19 23:57:40 -0400596 !ssl_add_message_cbb(ssl, cbb.get())) {
597 return ssl_hs_error;
Steven Valdez143e8b32016-07-11 13:19:03 -0400598 }
599 }
600
David Benjamin81b7bc32017-01-12 19:44:57 -0500601 /* Send the server Certificate message, if necessary. */
602 if (!ssl->s3->session_reused) {
603 if (!ssl_has_certificate(ssl)) {
604 OPENSSL_PUT_ERROR(SSL, SSL_R_NO_CERTIFICATE_SET);
David Benjamin1386aad2017-07-19 23:57:40 -0400605 return ssl_hs_error;
David Benjamin81b7bc32017-01-12 19:44:57 -0500606 }
607
David Benjamin0f24bed2017-01-12 19:46:50 -0500608 if (!tls13_add_certificate(hs)) {
David Benjamin1386aad2017-07-19 23:57:40 -0400609 return ssl_hs_error;
David Benjamin81b7bc32017-01-12 19:44:57 -0500610 }
611
612 hs->tls13_state = state_send_server_certificate_verify;
613 return ssl_hs_ok;
Steven Valdez143e8b32016-07-11 13:19:03 -0400614 }
615
David Benjamin81b7bc32017-01-12 19:44:57 -0500616 hs->tls13_state = state_send_server_finished;
David Benjamin25ac2512017-01-12 19:31:28 -0500617 return ssl_hs_ok;
Steven Valdez143e8b32016-07-11 13:19:03 -0400618}
619
David Benjamin44148742017-06-17 13:20:59 -0400620static enum ssl_hs_wait_t do_send_server_certificate_verify(SSL_HANDSHAKE *hs) {
621 switch (tls13_add_certificate_verify(hs)) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400622 case ssl_private_key_success:
David Benjamin3977f302016-12-11 13:30:41 -0500623 hs->tls13_state = state_send_server_finished;
David Benjamin25ac2512017-01-12 19:31:28 -0500624 return ssl_hs_ok;
Steven Valdez143e8b32016-07-11 13:19:03 -0400625
626 case ssl_private_key_retry:
David Benjamin44148742017-06-17 13:20:59 -0400627 hs->tls13_state = state_send_server_certificate_verify;
Steven Valdez143e8b32016-07-11 13:19:03 -0400628 return ssl_hs_private_key_operation;
629
630 case ssl_private_key_failure:
631 return ssl_hs_error;
632 }
633
634 assert(0);
635 return ssl_hs_error;
636}
637
David Benjaminc3c88822016-11-14 10:32:04 +0900638static enum ssl_hs_wait_t do_send_server_finished(SSL_HANDSHAKE *hs) {
David Benjaminc3c88822016-11-14 10:32:04 +0900639 SSL *const ssl = hs->ssl;
David Benjamin0f24bed2017-01-12 19:46:50 -0500640 if (!tls13_add_finished(hs) ||
David Benjamin25ac2512017-01-12 19:31:28 -0500641 /* Update the secret to the master secret and derive traffic keys. */
642 !tls13_advance_key_schedule(hs, kZeroes, hs->hash_len) ||
David Benjamin6e4fc332016-11-17 16:43:08 +0900643 !tls13_derive_application_secrets(hs) ||
Steven Valdeza833c352016-11-01 13:39:36 -0400644 !tls13_set_traffic_key(ssl, evp_aead_seal, hs->server_traffic_secret_0,
645 hs->hash_len)) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400646 return ssl_hs_error;
647 }
648
David Benjamin794cc592017-03-25 22:24:23 -0500649 if (ssl->early_data_accepted) {
650 /* If accepting 0-RTT, we send tickets half-RTT. This gets the tickets on
651 * the wire sooner and also avoids triggering a write on |SSL_read| when
652 * processing the client Finished. This requires computing the client
653 * Finished early. See draft-ietf-tls-tls13-18, section 4.5.1. */
654 size_t finished_len;
655 if (!tls13_finished_mac(hs, hs->expected_client_finished, &finished_len,
656 0 /* client */)) {
657 return ssl_hs_error;
658 }
659
660 if (finished_len != hs->hash_len) {
661 OPENSSL_PUT_ERROR(SSL, ERR_R_INTERNAL_ERROR);
662 return ssl_hs_error;
663 }
664
665 /* Feed the predicted Finished into the transcript. This allows us to derive
666 * the resumption secret early and send half-RTT tickets.
667 *
668 * TODO(davidben): This will need to be updated for DTLS 1.3. */
669 assert(!SSL_is_dtls(hs->ssl));
David Benjamind304a2f2017-07-12 23:00:28 -0400670 assert(hs->hash_len <= 0xff);
David Benjamin6dc8bf62017-07-19 16:38:21 -0400671 uint8_t header[4] = {SSL3_MT_FINISHED, 0, 0,
672 static_cast<uint8_t>(hs->hash_len)};
673 if (!hs->transcript.Update(header, sizeof(header)) ||
674 !hs->transcript.Update(hs->expected_client_finished, hs->hash_len) ||
David Benjamin8f94c312017-08-01 17:35:55 -0400675 !tls13_derive_resumption_secret(hs) ||
676 !add_new_session_tickets(hs)) {
David Benjamin794cc592017-03-25 22:24:23 -0500677 return ssl_hs_error;
678 }
679 }
680
Steven Valdez2d850622017-01-11 11:34:52 -0500681 hs->tls13_state = state_read_second_client_flight;
682 return ssl_hs_flush;
683}
684
685static enum ssl_hs_wait_t do_read_second_client_flight(SSL_HANDSHAKE *hs) {
686 SSL *const ssl = hs->ssl;
687 if (ssl->early_data_accepted) {
688 if (!tls13_set_traffic_key(ssl, evp_aead_open, hs->early_traffic_secret,
689 hs->hash_len)) {
690 return ssl_hs_error;
691 }
Steven Valdez681eb6a2016-12-19 13:19:29 -0500692 hs->can_early_write = 1;
693 hs->can_early_read = 1;
Steven Valdeze831a812017-03-09 14:56:07 -0500694 hs->in_early_data = 1;
Steven Valdez2d850622017-01-11 11:34:52 -0500695 hs->tls13_state = state_process_end_of_early_data;
696 return ssl_hs_read_end_of_early_data;
697 }
Steven Valdez2d850622017-01-11 11:34:52 -0500698 hs->tls13_state = state_process_end_of_early_data;
699 return ssl_hs_ok;
700}
701
702static enum ssl_hs_wait_t do_process_end_of_early_data(SSL_HANDSHAKE *hs) {
Steven Valdez520e1222017-06-13 12:45:25 -0400703 hs->tls13_state = state_process_change_cipher_spec;
704 /* If early data was accepted, the ChangeCipherSpec message will be in the
705 * discarded early data. */
706 if (hs->early_data_offered && !hs->ssl->early_data_accepted) {
707 return ssl_hs_ok;
708 }
709 return hs->ssl->version == TLS1_3_EXPERIMENT_VERSION
710 ? ssl_hs_read_change_cipher_spec
711 : ssl_hs_ok;
712}
713
714static enum ssl_hs_wait_t do_process_change_cipher_spec(SSL_HANDSHAKE *hs) {
Steven Valdez2d850622017-01-11 11:34:52 -0500715 SSL *const ssl = hs->ssl;
716 if (!tls13_set_traffic_key(ssl, evp_aead_open, hs->client_handshake_secret,
717 hs->hash_len)) {
718 return ssl_hs_error;
719 }
David Benjamin794cc592017-03-25 22:24:23 -0500720 hs->tls13_state = ssl->early_data_accepted ? state_process_client_finished
721 : state_process_client_certificate;
Steven Valdez2d850622017-01-11 11:34:52 -0500722 return ssl_hs_read_message;
Steven Valdez143e8b32016-07-11 13:19:03 -0400723}
724
David Benjaminc3c88822016-11-14 10:32:04 +0900725static enum ssl_hs_wait_t do_process_client_certificate(SSL_HANDSHAKE *hs) {
726 SSL *const ssl = hs->ssl;
727 if (!hs->cert_request) {
Adam Langley37646832016-08-01 16:16:46 -0700728 /* OpenSSL returns X509_V_OK when no certificates are requested. This is
David Benjamindd634eb2016-08-18 16:40:28 -0400729 * classed by them as a bug, but it's assumed by at least NGINX. */
David Benjamin45738dd2017-02-09 20:01:26 -0500730 hs->new_session->verify_result = X509_V_OK;
Adam Langley37646832016-08-01 16:16:46 -0700731
Steven Valdez143e8b32016-07-11 13:19:03 -0400732 /* Skip this state. */
David Benjamin3977f302016-12-11 13:30:41 -0500733 hs->tls13_state = state_process_channel_id;
Steven Valdez143e8b32016-07-11 13:19:03 -0400734 return ssl_hs_ok;
735 }
736
David Benjamin4087df92016-08-01 20:16:31 -0400737 const int allow_anonymous =
738 (ssl->verify_mode & SSL_VERIFY_FAIL_IF_NO_PEER_CERT) == 0;
739
David Benjamin276b7e82017-01-21 14:13:39 -0500740 if (!ssl_check_message_type(ssl, SSL3_MT_CERTIFICATE) ||
Adam Langley0c294252016-12-12 11:46:09 -0800741 !tls13_process_certificate(hs, allow_anonymous) ||
Steven Valdez908ac192017-01-12 13:17:07 -0500742 !ssl_hash_current_message(hs)) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400743 return ssl_hs_error;
744 }
745
David Benjamin8f94c312017-08-01 17:35:55 -0400746 ssl->method->next_message(ssl);
David Benjamin3977f302016-12-11 13:30:41 -0500747 hs->tls13_state = state_process_client_certificate_verify;
Steven Valdez143e8b32016-07-11 13:19:03 -0400748 return ssl_hs_read_message;
749}
750
751static enum ssl_hs_wait_t do_process_client_certificate_verify(
David Benjaminc3c88822016-11-14 10:32:04 +0900752 SSL_HANDSHAKE *hs) {
753 SSL *const ssl = hs->ssl;
David Benjamin45738dd2017-02-09 20:01:26 -0500754 if (sk_CRYPTO_BUFFER_num(hs->new_session->certs) == 0) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400755 /* Skip this state. */
David Benjamin3977f302016-12-11 13:30:41 -0500756 hs->tls13_state = state_process_channel_id;
Steven Valdez143e8b32016-07-11 13:19:03 -0400757 return ssl_hs_ok;
758 }
759
David Benjamin3a1dd462017-07-11 16:13:10 -0400760 switch (ssl_verify_peer_cert(hs)) {
761 case ssl_verify_ok:
762 break;
763 case ssl_verify_invalid:
764 return ssl_hs_error;
765 case ssl_verify_retry:
766 hs->tls13_state = state_process_client_certificate_verify;
767 return ssl_hs_certificate_verify;
768 }
769
David Benjamin276b7e82017-01-21 14:13:39 -0500770 if (!ssl_check_message_type(ssl, SSL3_MT_CERTIFICATE_VERIFY) ||
Adam Langley0c294252016-12-12 11:46:09 -0800771 !tls13_process_certificate_verify(hs) ||
Steven Valdez908ac192017-01-12 13:17:07 -0500772 !ssl_hash_current_message(hs)) {
David Benjamin6929f272016-11-16 19:10:08 +0900773 return ssl_hs_error;
Steven Valdez143e8b32016-07-11 13:19:03 -0400774 }
775
David Benjamin8f94c312017-08-01 17:35:55 -0400776 ssl->method->next_message(ssl);
David Benjamin3977f302016-12-11 13:30:41 -0500777 hs->tls13_state = state_process_channel_id;
Nick Harper60a85cb2016-09-23 16:25:11 -0700778 return ssl_hs_read_message;
779}
780
David Benjaminc3c88822016-11-14 10:32:04 +0900781static enum ssl_hs_wait_t do_process_channel_id(SSL_HANDSHAKE *hs) {
David Benjamin8f94c312017-08-01 17:35:55 -0400782 SSL *const ssl = hs->ssl;
783 if (!ssl->s3->tlsext_channel_id_valid) {
David Benjamin3977f302016-12-11 13:30:41 -0500784 hs->tls13_state = state_process_client_finished;
Nick Harper60a85cb2016-09-23 16:25:11 -0700785 return ssl_hs_ok;
786 }
787
David Benjamin8f94c312017-08-01 17:35:55 -0400788 if (!ssl_check_message_type(ssl, SSL3_MT_CHANNEL_ID) ||
Steven Valdez908ac192017-01-12 13:17:07 -0500789 !tls1_verify_channel_id(hs) ||
790 !ssl_hash_current_message(hs)) {
Nick Harper60a85cb2016-09-23 16:25:11 -0700791 return ssl_hs_error;
792 }
793
David Benjamin8f94c312017-08-01 17:35:55 -0400794 ssl->method->next_message(ssl);
David Benjamin3977f302016-12-11 13:30:41 -0500795 hs->tls13_state = state_process_client_finished;
Steven Valdez143e8b32016-07-11 13:19:03 -0400796 return ssl_hs_read_message;
797}
798
David Benjaminc3c88822016-11-14 10:32:04 +0900799static enum ssl_hs_wait_t do_process_client_finished(SSL_HANDSHAKE *hs) {
800 SSL *const ssl = hs->ssl;
David Benjamin276b7e82017-01-21 14:13:39 -0500801 if (!ssl_check_message_type(ssl, SSL3_MT_FINISHED) ||
David Benjamin794cc592017-03-25 22:24:23 -0500802 /* If early data was accepted, we've already computed the client Finished
803 * and derived the resumption secret. */
804 !tls13_process_finished(hs, ssl->early_data_accepted) ||
Steven Valdez143e8b32016-07-11 13:19:03 -0400805 /* evp_aead_seal keys have already been switched. */
Steven Valdeza833c352016-11-01 13:39:36 -0400806 !tls13_set_traffic_key(ssl, evp_aead_open, hs->client_traffic_secret_0,
David Benjamin794cc592017-03-25 22:24:23 -0500807 hs->hash_len)) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400808 return ssl_hs_error;
809 }
810
David Benjamin794cc592017-03-25 22:24:23 -0500811 if (!ssl->early_data_accepted) {
812 if (!ssl_hash_current_message(hs) ||
813 !tls13_derive_resumption_secret(hs)) {
814 return ssl_hs_error;
815 }
816
817 /* We send post-handshake tickets as part of the handshake in 1-RTT. */
818 hs->tls13_state = state_send_new_session_ticket;
David Benjamin8f94c312017-08-01 17:35:55 -0400819 } else {
820 /* We already sent half-RTT tickets. */
821 hs->tls13_state = state_done;
David Benjamin794cc592017-03-25 22:24:23 -0500822 }
823
David Benjamin8f94c312017-08-01 17:35:55 -0400824 ssl->method->next_message(ssl);
Steven Valdez143e8b32016-07-11 13:19:03 -0400825 return ssl_hs_ok;
826}
827
David Benjaminc3c88822016-11-14 10:32:04 +0900828static enum ssl_hs_wait_t do_send_new_session_ticket(SSL_HANDSHAKE *hs) {
Steven Valdeza833c352016-11-01 13:39:36 -0400829 /* If the client doesn't accept resumption with PSK_DHE_KE, don't send a
830 * session ticket. */
831 if (!hs->accept_psk_mode) {
David Benjamin3977f302016-12-11 13:30:41 -0500832 hs->tls13_state = state_done;
Steven Valdeza833c352016-11-01 13:39:36 -0400833 return ssl_hs_ok;
834 }
835
David Benjamin794cc592017-03-25 22:24:23 -0500836 if (!add_new_session_tickets(hs)) {
837 return ssl_hs_error;
Steven Valdez08b65f42016-12-07 15:29:45 -0500838 }
839
David Benjamin25ac2512017-01-12 19:31:28 -0500840 hs->tls13_state = state_done;
841 return ssl_hs_flush;
Steven Valdez1e6f11a2016-07-27 11:10:52 -0400842}
843
David Benjaminc3c88822016-11-14 10:32:04 +0900844enum ssl_hs_wait_t tls13_server_handshake(SSL_HANDSHAKE *hs) {
David Benjamin3977f302016-12-11 13:30:41 -0500845 while (hs->tls13_state != state_done) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400846 enum ssl_hs_wait_t ret = ssl_hs_error;
David Benjamind304a2f2017-07-12 23:00:28 -0400847 enum server_hs_state_t state =
848 static_cast<enum server_hs_state_t>(hs->tls13_state);
Steven Valdez143e8b32016-07-11 13:19:03 -0400849 switch (state) {
David Benjamin25fe85b2016-08-09 20:00:32 -0400850 case state_select_parameters:
David Benjaminc3c88822016-11-14 10:32:04 +0900851 ret = do_select_parameters(hs);
David Benjamin25fe85b2016-08-09 20:00:32 -0400852 break;
David Benjamin707af292017-03-10 17:47:18 -0500853 case state_select_session:
854 ret = do_select_session(hs);
855 break;
Steven Valdez5440fe02016-07-18 12:40:30 -0400856 case state_send_hello_retry_request:
David Benjaminc3c88822016-11-14 10:32:04 +0900857 ret = do_send_hello_retry_request(hs);
Steven Valdez5440fe02016-07-18 12:40:30 -0400858 break;
Steven Valdez5440fe02016-07-18 12:40:30 -0400859 case state_process_second_client_hello:
David Benjaminc3c88822016-11-14 10:32:04 +0900860 ret = do_process_second_client_hello(hs);
Steven Valdez5440fe02016-07-18 12:40:30 -0400861 break;
Steven Valdez143e8b32016-07-11 13:19:03 -0400862 case state_send_server_hello:
David Benjaminc3c88822016-11-14 10:32:04 +0900863 ret = do_send_server_hello(hs);
Steven Valdez143e8b32016-07-11 13:19:03 -0400864 break;
Steven Valdez143e8b32016-07-11 13:19:03 -0400865 case state_send_server_certificate_verify:
David Benjamin44148742017-06-17 13:20:59 -0400866 ret = do_send_server_certificate_verify(hs);
Steven Valdez2d850622017-01-11 11:34:52 -0500867 break;
Steven Valdez143e8b32016-07-11 13:19:03 -0400868 case state_send_server_finished:
David Benjaminc3c88822016-11-14 10:32:04 +0900869 ret = do_send_server_finished(hs);
Steven Valdez143e8b32016-07-11 13:19:03 -0400870 break;
Steven Valdez2d850622017-01-11 11:34:52 -0500871 case state_read_second_client_flight:
872 ret = do_read_second_client_flight(hs);
873 break;
874 case state_process_end_of_early_data:
875 ret = do_process_end_of_early_data(hs);
876 break;
Steven Valdez520e1222017-06-13 12:45:25 -0400877 case state_process_change_cipher_spec:
878 ret = do_process_change_cipher_spec(hs);
879 break;
Steven Valdez143e8b32016-07-11 13:19:03 -0400880 case state_process_client_certificate:
David Benjaminc3c88822016-11-14 10:32:04 +0900881 ret = do_process_client_certificate(hs);
Steven Valdez143e8b32016-07-11 13:19:03 -0400882 break;
883 case state_process_client_certificate_verify:
David Benjaminc3c88822016-11-14 10:32:04 +0900884 ret = do_process_client_certificate_verify(hs);
Steven Valdez143e8b32016-07-11 13:19:03 -0400885 break;
Nick Harper60a85cb2016-09-23 16:25:11 -0700886 case state_process_channel_id:
David Benjaminc3c88822016-11-14 10:32:04 +0900887 ret = do_process_channel_id(hs);
Nick Harper60a85cb2016-09-23 16:25:11 -0700888 break;
Steven Valdez143e8b32016-07-11 13:19:03 -0400889 case state_process_client_finished:
David Benjaminc3c88822016-11-14 10:32:04 +0900890 ret = do_process_client_finished(hs);
Steven Valdez143e8b32016-07-11 13:19:03 -0400891 break;
Steven Valdez1e6f11a2016-07-27 11:10:52 -0400892 case state_send_new_session_ticket:
David Benjaminc3c88822016-11-14 10:32:04 +0900893 ret = do_send_new_session_ticket(hs);
Steven Valdez1e6f11a2016-07-27 11:10:52 -0400894 break;
Steven Valdez143e8b32016-07-11 13:19:03 -0400895 case state_done:
896 ret = ssl_hs_ok;
897 break;
898 }
899
900 if (ret != ssl_hs_ok) {
901 return ret;
902 }
903 }
904
905 return ssl_hs_ok;
906}
David Benjamin86e95b82017-07-18 16:34:25 -0400907
908} // namespace bssl