blob: 89649a06010239afa99075b3e7f7b23cd527de62 [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
David Benjamin86e95b82017-07-18 16:34:25 -040022#define BORINGSSL_INTERNAL_CXX_TYPES
23
Steven Valdez143e8b32016-07-11 13:19:03 -040024#include <openssl/ssl.h>
25
26#include <assert.h>
27#include <string.h>
28
David Benjaminabbbee12016-10-31 19:20:42 -040029#include <openssl/aead.h>
Steven Valdez143e8b32016-07-11 13:19:03 -040030#include <openssl/bytestring.h>
31#include <openssl/digest.h>
32#include <openssl/err.h>
33#include <openssl/mem.h>
34#include <openssl/rand.h>
35#include <openssl/stack.h>
36
David Benjamin17cf2cb2016-12-13 01:07:13 -050037#include "../crypto/internal.h"
Steven Valdez143e8b32016-07-11 13:19:03 -040038#include "internal.h"
39
40
David Benjamin86e95b82017-07-18 16:34:25 -040041namespace bssl {
42
Steven Valdez143e8b32016-07-11 13:19:03 -040043enum server_hs_state_t {
David Benjamindaa05392017-02-02 23:33:21 -050044 state_select_parameters = 0,
David Benjamin707af292017-03-10 17:47:18 -050045 state_select_session,
Steven Valdez5440fe02016-07-18 12:40:30 -040046 state_send_hello_retry_request,
Steven Valdez5440fe02016-07-18 12:40:30 -040047 state_process_second_client_hello,
Steven Valdez143e8b32016-07-11 13:19:03 -040048 state_send_server_hello,
Steven Valdez143e8b32016-07-11 13:19:03 -040049 state_send_server_certificate_verify,
Steven Valdez143e8b32016-07-11 13:19:03 -040050 state_send_server_finished,
Steven Valdez2d850622017-01-11 11:34:52 -050051 state_read_second_client_flight,
Steven Valdez520e1222017-06-13 12:45:25 -040052 state_process_change_cipher_spec,
Steven Valdez2d850622017-01-11 11:34:52 -050053 state_process_end_of_early_data,
Steven Valdez143e8b32016-07-11 13:19:03 -040054 state_process_client_certificate,
55 state_process_client_certificate_verify,
Nick Harper60a85cb2016-09-23 16:25:11 -070056 state_process_channel_id,
Steven Valdez143e8b32016-07-11 13:19:03 -040057 state_process_client_finished,
Steven Valdez1e6f11a2016-07-27 11:10:52 -040058 state_send_new_session_ticket,
Steven Valdez143e8b32016-07-11 13:19:03 -040059 state_done,
60};
61
Steven Valdez5440fe02016-07-18 12:40:30 -040062static const uint8_t kZeroes[EVP_MAX_MD_SIZE] = {0};
63
David Benjamin6e4fc332016-11-17 16:43:08 +090064static int resolve_ecdhe_secret(SSL_HANDSHAKE *hs, int *out_need_retry,
David Benjamin731058e2016-12-03 23:15:13 -050065 SSL_CLIENT_HELLO *client_hello) {
David Benjamin6e4fc332016-11-17 16:43:08 +090066 SSL *const ssl = hs->ssl;
Steven Valdez5440fe02016-07-18 12:40:30 -040067 *out_need_retry = 0;
Steven Valdez5440fe02016-07-18 12:40:30 -040068
Steven Valdez803c77a2016-09-06 14:13:43 -040069 /* We only support connections that include an ECDHE key exchange. */
Steven Valdez5440fe02016-07-18 12:40:30 -040070 CBS key_share;
David Benjamin731058e2016-12-03 23:15:13 -050071 if (!ssl_client_hello_get_extension(client_hello, &key_share,
72 TLSEXT_TYPE_key_share)) {
Steven Valdez5440fe02016-07-18 12:40:30 -040073 OPENSSL_PUT_ERROR(SSL, SSL_R_MISSING_KEY_SHARE);
74 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_MISSING_EXTENSION);
David Benjamin6929f272016-11-16 19:10:08 +090075 return 0;
Steven Valdez5440fe02016-07-18 12:40:30 -040076 }
77
Steven Valdez5440fe02016-07-18 12:40:30 -040078 int found_key_share;
79 uint8_t *dhe_secret;
80 size_t dhe_secret_len;
David Benjamin7e1f9842016-09-20 19:24:40 -040081 uint8_t alert = SSL_AD_DECODE_ERROR;
David Benjamin8baf9632016-11-17 17:11:16 +090082 if (!ssl_ext_key_share_parse_clienthello(hs, &found_key_share, &dhe_secret,
Steven Valdez7259f2f2016-08-02 16:55:05 -040083 &dhe_secret_len, &alert,
84 &key_share)) {
Steven Valdez5440fe02016-07-18 12:40:30 -040085 ssl3_send_alert(ssl, SSL3_AL_FATAL, alert);
86 return 0;
87 }
88
89 if (!found_key_share) {
90 *out_need_retry = 1;
91 return 0;
92 }
93
David Benjamin6e4fc332016-11-17 16:43:08 +090094 int ok = tls13_advance_key_schedule(hs, dhe_secret, dhe_secret_len);
Steven Valdez5440fe02016-07-18 12:40:30 -040095 OPENSSL_free(dhe_secret);
96 return ok;
97}
98
Steven Valdez038da9b2017-07-10 12:57:25 -040099static int ssl_ext_supported_versions_add_serverhello(SSL_HANDSHAKE *hs,
100 CBB *out) {
101 CBB contents;
102 if (!CBB_add_u16(out, TLSEXT_TYPE_supported_versions) ||
103 !CBB_add_u16_length_prefixed(out, &contents) ||
104 !CBB_add_u16(&contents, hs->ssl->version) ||
105 !CBB_flush(out)) {
106 return 0;
107 }
108
109 return 1;
110}
111
David Benjamin34202b92016-11-16 19:07:53 +0900112static const SSL_CIPHER *choose_tls13_cipher(
David Benjamin731058e2016-12-03 23:15:13 -0500113 const SSL *ssl, const SSL_CLIENT_HELLO *client_hello) {
David Benjamin34202b92016-11-16 19:07:53 +0900114 if (client_hello->cipher_suites_len % 2 != 0) {
115 return NULL;
116 }
117
118 CBS cipher_suites;
119 CBS_init(&cipher_suites, client_hello->cipher_suites,
120 client_hello->cipher_suites_len);
121
122 const int aes_is_fine = EVP_has_aes_hardware();
David Benjaminf01f42a2016-11-16 19:05:33 +0900123 const uint16_t version = ssl3_protocol_version(ssl);
David Benjamin34202b92016-11-16 19:07:53 +0900124
125 const SSL_CIPHER *best = NULL;
126 while (CBS_len(&cipher_suites) > 0) {
127 uint16_t cipher_suite;
128 if (!CBS_get_u16(&cipher_suites, &cipher_suite)) {
129 return NULL;
130 }
131
David Benjaminf01f42a2016-11-16 19:05:33 +0900132 /* Limit to TLS 1.3 ciphers we know about. */
David Benjamin34202b92016-11-16 19:07:53 +0900133 const SSL_CIPHER *candidate = SSL_get_cipher_by_value(cipher_suite);
David Benjaminf01f42a2016-11-16 19:05:33 +0900134 if (candidate == NULL ||
135 SSL_CIPHER_get_min_version(candidate) > version ||
136 SSL_CIPHER_get_max_version(candidate) < version) {
David Benjamin34202b92016-11-16 19:07:53 +0900137 continue;
138 }
139
140 /* TLS 1.3 removes legacy ciphers, so honor the client order, but prefer
141 * ChaCha20 if we do not have AES hardware. */
142 if (aes_is_fine) {
143 return candidate;
144 }
145
146 if (candidate->algorithm_enc == SSL_CHACHA20POLY1305) {
147 return candidate;
148 }
149
150 if (best == NULL) {
151 best = candidate;
152 }
153 }
154
155 return best;
156}
157
David Benjamin794cc592017-03-25 22:24:23 -0500158static int add_new_session_tickets(SSL_HANDSHAKE *hs) {
159 SSL *const ssl = hs->ssl;
160 /* TLS 1.3 recommends single-use tickets, so issue multiple tickets in case
161 * the client makes several connections before getting a renewal. */
162 static const int kNumTickets = 2;
163
164 SSL_SESSION *session = hs->new_session;
David Benjamin794cc592017-03-25 22:24:23 -0500165
166 /* Rebase the session timestamp so that it is measured from ticket
167 * issuance. */
168 ssl_session_rebase_time(ssl, session);
169
170 for (int i = 0; i < kNumTickets; i++) {
171 if (!RAND_bytes((uint8_t *)&session->ticket_age_add, 4)) {
David Benjamin1386aad2017-07-19 23:57:40 -0400172 return 0;
David Benjamin794cc592017-03-25 22:24:23 -0500173 }
174 session->ticket_age_add_valid = 1;
175
David Benjamin1386aad2017-07-19 23:57:40 -0400176 ScopedCBB cbb;
David Benjamin794cc592017-03-25 22:24:23 -0500177 CBB body, ticket, extensions;
David Benjamin1386aad2017-07-19 23:57:40 -0400178 if (!ssl->method->init_message(ssl, cbb.get(), &body,
David Benjamin794cc592017-03-25 22:24:23 -0500179 SSL3_MT_NEW_SESSION_TICKET) ||
180 !CBB_add_u32(&body, session->timeout) ||
181 !CBB_add_u32(&body, session->ticket_age_add) ||
182 !CBB_add_u16_length_prefixed(&body, &ticket) ||
183 !ssl_encrypt_ticket(ssl, &ticket, session) ||
184 !CBB_add_u16_length_prefixed(&body, &extensions)) {
David Benjamin1386aad2017-07-19 23:57:40 -0400185 return 0;
David Benjamin794cc592017-03-25 22:24:23 -0500186 }
187
Alessandro Ghedini67bb45f2017-03-30 16:33:24 -0500188 if (ssl->cert->enable_early_data) {
David Benjamin794cc592017-03-25 22:24:23 -0500189 session->ticket_max_early_data = kMaxEarlyDataAccepted;
190
191 CBB early_data_info;
192 if (!CBB_add_u16(&extensions, TLSEXT_TYPE_ticket_early_data_info) ||
193 !CBB_add_u16_length_prefixed(&extensions, &early_data_info) ||
194 !CBB_add_u32(&early_data_info, session->ticket_max_early_data) ||
195 !CBB_flush(&extensions)) {
David Benjamin1386aad2017-07-19 23:57:40 -0400196 return 0;
David Benjamin794cc592017-03-25 22:24:23 -0500197 }
198 }
199
200 /* Add a fake extension. See draft-davidben-tls-grease-01. */
201 if (!CBB_add_u16(&extensions,
202 ssl_get_grease_value(ssl, ssl_grease_ticket_extension)) ||
203 !CBB_add_u16(&extensions, 0 /* empty */)) {
David Benjamin1386aad2017-07-19 23:57:40 -0400204 return 0;
David Benjamin794cc592017-03-25 22:24:23 -0500205 }
206
David Benjamin1386aad2017-07-19 23:57:40 -0400207 if (!ssl_add_message_cbb(ssl, cbb.get())) {
208 return 0;
David Benjamin794cc592017-03-25 22:24:23 -0500209 }
210 }
211
212 return 1;
David Benjamin794cc592017-03-25 22:24:23 -0500213}
214
David Benjaminc3c88822016-11-14 10:32:04 +0900215static enum ssl_hs_wait_t do_select_parameters(SSL_HANDSHAKE *hs) {
David Benjamin707af292017-03-10 17:47:18 -0500216 /* At this point, most ClientHello extensions have already been processed by
217 * the common handshake logic. Resolve the remaining non-PSK parameters. */
David Benjaminc3c88822016-11-14 10:32:04 +0900218 SSL *const ssl = hs->ssl;
David Benjamin650aa1c2016-12-20 18:55:16 -0500219
David Benjamin731058e2016-12-03 23:15:13 -0500220 SSL_CLIENT_HELLO client_hello;
221 if (!ssl_client_hello_init(ssl, &client_hello, ssl->init_msg,
Steven Valdez520e1222017-06-13 12:45:25 -0400222 ssl->init_num) ||
223 client_hello.session_id_len > sizeof(hs->session_id)) {
David Benjamin34202b92016-11-16 19:07:53 +0900224 OPENSSL_PUT_ERROR(SSL, SSL_R_CLIENTHELLO_PARSE_FAILED);
225 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
226 return ssl_hs_error;
227 }
228
Steven Valdez520e1222017-06-13 12:45:25 -0400229 OPENSSL_memcpy(hs->session_id, client_hello.session_id,
230 client_hello.session_id_len);
231 hs->session_id_len = client_hello.session_id_len;
232
David Benjaminf01f42a2016-11-16 19:05:33 +0900233 /* Negotiate the cipher suite. */
David Benjamin45738dd2017-02-09 20:01:26 -0500234 hs->new_cipher = choose_tls13_cipher(ssl, &client_hello);
235 if (hs->new_cipher == NULL) {
David Benjaminf01f42a2016-11-16 19:05:33 +0900236 OPENSSL_PUT_ERROR(SSL, SSL_R_NO_SHARED_CIPHER);
237 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_HANDSHAKE_FAILURE);
238 return ssl_hs_error;
239 }
240
David Benjamin707af292017-03-10 17:47:18 -0500241 /* HTTP/2 negotiation depends on the cipher suite, so ALPN negotiation was
242 * deferred. Complete it now. */
243 uint8_t alert = SSL_AD_DECODE_ERROR;
244 if (!ssl_negotiate_alpn(hs, &alert, &client_hello)) {
245 ssl3_send_alert(ssl, SSL3_AL_FATAL, alert);
246 return ssl_hs_error;
247 }
248
Steven Valdez908ac192017-01-12 13:17:07 -0500249 /* The PRF hash is now known. Set up the key schedule and hash the
250 * ClientHello. */
251 if (!tls13_init_key_schedule(hs) ||
252 !ssl_hash_current_message(hs)) {
253 return ssl_hs_error;
254 }
255
David Benjamin707af292017-03-10 17:47:18 -0500256 hs->tls13_state = state_select_session;
257 return ssl_hs_ok;
258}
Steven Valdez908ac192017-01-12 13:17:07 -0500259
David Benjamin707af292017-03-10 17:47:18 -0500260static enum ssl_ticket_aead_result_t select_session(
261 SSL_HANDSHAKE *hs, uint8_t *out_alert, SSL_SESSION **out_session,
262 int32_t *out_ticket_age_skew, const SSL_CLIENT_HELLO *client_hello) {
263 SSL *const ssl = hs->ssl;
264 *out_session = NULL;
265
266 /* Decode the ticket if we agreed on a PSK key exchange mode. */
267 CBS pre_shared_key;
268 if (!hs->accept_psk_mode ||
269 !ssl_client_hello_get_extension(client_hello, &pre_shared_key,
270 TLSEXT_TYPE_pre_shared_key)) {
271 return ssl_ticket_aead_ignore_ticket;
272 }
273
274 /* Verify that the pre_shared_key extension is the last extension in
275 * ClientHello. */
276 if (CBS_data(&pre_shared_key) + CBS_len(&pre_shared_key) !=
277 client_hello->extensions + client_hello->extensions_len) {
278 OPENSSL_PUT_ERROR(SSL, SSL_R_PRE_SHARED_KEY_MUST_BE_LAST);
279 *out_alert = SSL_AD_ILLEGAL_PARAMETER;
280 return ssl_ticket_aead_error;
281 }
282
283 CBS ticket, binders;
284 uint32_t client_ticket_age;
285 if (!ssl_ext_pre_shared_key_parse_clienthello(hs, &ticket, &binders,
286 &client_ticket_age, out_alert,
287 &pre_shared_key)) {
288 return ssl_ticket_aead_error;
289 }
290
291 /* TLS 1.3 session tickets are renewed separately as part of the
292 * NewSessionTicket. */
293 int unused_renew;
294 SSL_SESSION *session = NULL;
295 enum ssl_ticket_aead_result_t ret =
296 ssl_process_ticket(ssl, &session, &unused_renew, CBS_data(&ticket),
297 CBS_len(&ticket), NULL, 0);
298 switch (ret) {
299 case ssl_ticket_aead_success:
300 break;
301 case ssl_ticket_aead_error:
302 *out_alert = SSL_AD_INTERNAL_ERROR;
303 return ret;
304 default:
305 return ret;
306 }
307
308 if (!ssl_session_is_resumable(hs, session) ||
309 /* Historically, some TLS 1.3 tickets were missing ticket_age_add. */
310 !session->ticket_age_add_valid) {
311 SSL_SESSION_free(session);
312 return ssl_ticket_aead_ignore_ticket;
313 }
314
315 /* Recover the client ticket age and convert to seconds. */
316 client_ticket_age -= session->ticket_age_add;
317 client_ticket_age /= 1000;
318
319 struct OPENSSL_timeval now;
320 ssl_get_current_time(ssl, &now);
321
322 /* Compute the server ticket age in seconds. */
323 assert(now.tv_sec >= session->time);
324 uint64_t server_ticket_age = now.tv_sec - session->time;
325
326 /* To avoid overflowing |hs->ticket_age_skew|, we will not resume
327 * 68-year-old sessions. */
328 if (server_ticket_age > INT32_MAX) {
329 SSL_SESSION_free(session);
330 return ssl_ticket_aead_ignore_ticket;
331 }
332
333 /* TODO(davidben,svaldez): Measure this value to decide on tolerance. For
334 * now, accept all values. https://crbug.com/boringssl/113. */
335 *out_ticket_age_skew =
336 (int32_t)client_ticket_age - (int32_t)server_ticket_age;
337
338 /* Check the PSK binder. */
339 if (!tls13_verify_psk_binder(hs, session, &binders)) {
340 SSL_SESSION_free(session);
341 *out_alert = SSL_AD_DECRYPT_ERROR;
342 return ssl_ticket_aead_error;
343 }
344
345 *out_session = session;
346 return ssl_ticket_aead_success;
347}
348
349static enum ssl_hs_wait_t do_select_session(SSL_HANDSHAKE *hs) {
350 SSL *const ssl = hs->ssl;
351 SSL_CLIENT_HELLO client_hello;
352 if (!ssl_client_hello_init(ssl, &client_hello, ssl->init_msg,
353 ssl->init_num)) {
354 OPENSSL_PUT_ERROR(SSL, SSL_R_CLIENTHELLO_PARSE_FAILED);
355 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
356 return ssl_hs_error;
357 }
358
David Benjamin4eb95cc2016-11-16 17:08:23 +0900359 uint8_t alert = SSL_AD_DECODE_ERROR;
360 SSL_SESSION *session = NULL;
David Benjamin707af292017-03-10 17:47:18 -0500361 switch (select_session(hs, &alert, &session, &ssl->s3->ticket_age_skew,
362 &client_hello)) {
363 case ssl_ticket_aead_ignore_ticket:
364 assert(session == NULL);
365 if (!ssl_get_new_session(hs, 1 /* server */)) {
David Benjaminf01f42a2016-11-16 19:05:33 +0900366 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
367 return ssl_hs_error;
368 }
David Benjamin707af292017-03-10 17:47:18 -0500369 break;
Steven Valdeza833c352016-11-01 13:39:36 -0400370
David Benjamin707af292017-03-10 17:47:18 -0500371 case ssl_ticket_aead_success:
372 /* Carry over authentication information from the previous handshake into
373 * a fresh session. */
374 hs->new_session = SSL_SESSION_dup(session, SSL_SESSION_DUP_AUTH_ONLY);
Steven Valdez2d850622017-01-11 11:34:52 -0500375
376 if (/* Early data must be acceptable for this ticket. */
Alessandro Ghedini67bb45f2017-03-30 16:33:24 -0500377 ssl->cert->enable_early_data &&
Steven Valdez2d850622017-01-11 11:34:52 -0500378 session->ticket_max_early_data != 0 &&
379 /* The client must have offered early data. */
380 hs->early_data_offered &&
Steven Valdez2a070722017-03-25 20:54:16 -0500381 /* Channel ID is incompatible with 0-RTT. */
382 !ssl->s3->tlsext_channel_id_valid &&
Steven Valdez2d850622017-01-11 11:34:52 -0500383 /* The negotiated ALPN must match the one in the ticket. */
384 ssl->s3->alpn_selected_len == session->early_alpn_len &&
385 OPENSSL_memcmp(ssl->s3->alpn_selected, session->early_alpn,
386 ssl->s3->alpn_selected_len) == 0) {
387 ssl->early_data_accepted = 1;
388 }
389
David Benjamin707af292017-03-10 17:47:18 -0500390 SSL_SESSION_free(session);
391 if (hs->new_session == NULL) {
392 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
393 return ssl_hs_error;
394 }
395
396 ssl->s3->session_reused = 1;
397
398 /* Resumption incorporates fresh key material, so refresh the timeout. */
399 ssl_session_renew_timeout(ssl, hs->new_session,
400 ssl->session_ctx->session_psk_dhe_timeout);
401 break;
402
403 case ssl_ticket_aead_error:
404 ssl3_send_alert(ssl, SSL3_AL_FATAL, alert);
405 return ssl_hs_error;
406
407 case ssl_ticket_aead_retry:
408 hs->tls13_state = state_select_session;
409 return ssl_hs_pending_ticket;
410 }
411
412 /* Record connection properties in the new session. */
413 hs->new_session->cipher = hs->new_cipher;
414
415 if (hs->hostname != NULL) {
416 OPENSSL_free(hs->new_session->tlsext_hostname);
417 hs->new_session->tlsext_hostname = BUF_strdup(hs->hostname);
418 if (hs->new_session->tlsext_hostname == NULL) {
Steven Valdez4aa154e2016-07-29 14:32:55 -0400419 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
420 return ssl_hs_error;
421 }
Steven Valdez143e8b32016-07-11 13:19:03 -0400422 }
423
Steven Valdez2d850622017-01-11 11:34:52 -0500424 /* Store the initial negotiated ALPN in the session. */
Steven Valdez27a9e6a2017-02-14 13:20:40 -0500425 if (ssl->s3->alpn_selected != NULL) {
David Benjamind304a2f2017-07-12 23:00:28 -0400426 hs->new_session->early_alpn = (uint8_t *)BUF_memdup(
427 ssl->s3->alpn_selected, ssl->s3->alpn_selected_len);
David Benjamin45738dd2017-02-09 20:01:26 -0500428 if (hs->new_session->early_alpn == NULL) {
Steven Valdez27a9e6a2017-02-14 13:20:40 -0500429 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
430 return ssl_hs_error;
431 }
David Benjamin45738dd2017-02-09 20:01:26 -0500432 hs->new_session->early_alpn_len = ssl->s3->alpn_selected_len;
Steven Valdez27a9e6a2017-02-14 13:20:40 -0500433 }
434
David Benjamin707af292017-03-10 17:47:18 -0500435 if (ssl->ctx->dos_protection_cb != NULL &&
436 ssl->ctx->dos_protection_cb(&client_hello) == 0) {
437 /* Connection rejected for DOS reasons. */
438 OPENSSL_PUT_ERROR(SSL, SSL_R_CONNECTION_REJECTED);
439 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
440 return ssl_hs_error;
441 }
442
David Benjamin8f820b42016-11-30 11:24:40 -0500443 /* Incorporate the PSK into the running secret. */
444 if (ssl->s3->session_reused) {
David Benjamin45738dd2017-02-09 20:01:26 -0500445 if (!tls13_advance_key_schedule(hs, hs->new_session->master_key,
446 hs->new_session->master_key_length)) {
David Benjamin8f820b42016-11-30 11:24:40 -0500447 return ssl_hs_error;
448 }
Steven Valdez908ac192017-01-12 13:17:07 -0500449 } else if (!tls13_advance_key_schedule(hs, kZeroes, hs->hash_len)) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400450 return ssl_hs_error;
451 }
452
Steven Valdez2d850622017-01-11 11:34:52 -0500453 if (ssl->early_data_accepted) {
454 if (!tls13_derive_early_secrets(hs)) {
455 return ssl_hs_error;
456 }
457 } else if (hs->early_data_offered) {
458 ssl->s3->skip_early_data = 1;
459 }
460
David Benjaminf01f42a2016-11-16 19:05:33 +0900461 ssl->method->received_flight(ssl);
462
Steven Valdez143e8b32016-07-11 13:19:03 -0400463 /* Resolve ECDHE and incorporate it into the secret. */
Steven Valdez5440fe02016-07-18 12:40:30 -0400464 int need_retry;
David Benjamin6e4fc332016-11-17 16:43:08 +0900465 if (!resolve_ecdhe_secret(hs, &need_retry, &client_hello)) {
Steven Valdez5440fe02016-07-18 12:40:30 -0400466 if (need_retry) {
Steven Valdez2d850622017-01-11 11:34:52 -0500467 ssl->early_data_accepted = 0;
468 ssl->s3->skip_early_data = 1;
David Benjamin3977f302016-12-11 13:30:41 -0500469 hs->tls13_state = state_send_hello_retry_request;
Steven Valdez5440fe02016-07-18 12:40:30 -0400470 return ssl_hs_ok;
Steven Valdez143e8b32016-07-11 13:19:03 -0400471 }
Steven Valdez5440fe02016-07-18 12:40:30 -0400472 return ssl_hs_error;
473 }
Steven Valdez143e8b32016-07-11 13:19:03 -0400474
David Benjamin3977f302016-12-11 13:30:41 -0500475 hs->tls13_state = state_send_server_hello;
Steven Valdez5440fe02016-07-18 12:40:30 -0400476 return ssl_hs_ok;
477}
Steven Valdez143e8b32016-07-11 13:19:03 -0400478
David Benjaminc3c88822016-11-14 10:32:04 +0900479static enum ssl_hs_wait_t do_send_hello_retry_request(SSL_HANDSHAKE *hs) {
480 SSL *const ssl = hs->ssl;
David Benjamin1386aad2017-07-19 23:57:40 -0400481 ScopedCBB cbb;
482 CBB body, extensions;
Steven Valdez5440fe02016-07-18 12:40:30 -0400483 uint16_t group_id;
David Benjamin1386aad2017-07-19 23:57:40 -0400484 if (!ssl->method->init_message(ssl, cbb.get(), &body,
Steven Valdez5440fe02016-07-18 12:40:30 -0400485 SSL3_MT_HELLO_RETRY_REQUEST) ||
486 !CBB_add_u16(&body, ssl->version) ||
David Benjaminf3c8f8d2016-11-17 17:20:47 +0900487 !tls1_get_shared_group(hs, &group_id) ||
Steven Valdez5440fe02016-07-18 12:40:30 -0400488 !CBB_add_u16_length_prefixed(&body, &extensions) ||
David Benjamin3baa6e12016-10-07 21:10:38 -0400489 !CBB_add_u16(&extensions, TLSEXT_TYPE_key_share) ||
490 !CBB_add_u16(&extensions, 2 /* length */) ||
491 !CBB_add_u16(&extensions, group_id) ||
David Benjamin1386aad2017-07-19 23:57:40 -0400492 !ssl_add_message_cbb(ssl, cbb.get())) {
Steven Valdez5440fe02016-07-18 12:40:30 -0400493 return ssl_hs_error;
494 }
495
David Benjamin3977f302016-12-11 13:30:41 -0500496 hs->tls13_state = state_process_second_client_hello;
Steven Valdez5440fe02016-07-18 12:40:30 -0400497 return ssl_hs_flush_and_read_message;
498}
499
David Benjaminc3c88822016-11-14 10:32:04 +0900500static enum ssl_hs_wait_t do_process_second_client_hello(SSL_HANDSHAKE *hs) {
501 SSL *const ssl = hs->ssl;
David Benjamin276b7e82017-01-21 14:13:39 -0500502 if (!ssl_check_message_type(ssl, SSL3_MT_CLIENT_HELLO)) {
Steven Valdez5440fe02016-07-18 12:40:30 -0400503 return ssl_hs_error;
504 }
505
David Benjamin731058e2016-12-03 23:15:13 -0500506 SSL_CLIENT_HELLO client_hello;
507 if (!ssl_client_hello_init(ssl, &client_hello, ssl->init_msg,
508 ssl->init_num)) {
Steven Valdez5440fe02016-07-18 12:40:30 -0400509 OPENSSL_PUT_ERROR(SSL, SSL_R_CLIENTHELLO_PARSE_FAILED);
510 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
511 return ssl_hs_error;
512 }
513
514 int need_retry;
David Benjamin6e4fc332016-11-17 16:43:08 +0900515 if (!resolve_ecdhe_secret(hs, &need_retry, &client_hello)) {
Steven Valdez5440fe02016-07-18 12:40:30 -0400516 if (need_retry) {
517 /* Only send one HelloRetryRequest. */
518 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_ILLEGAL_PARAMETER);
519 OPENSSL_PUT_ERROR(SSL, SSL_R_WRONG_CURVE);
Steven Valdez143e8b32016-07-11 13:19:03 -0400520 }
Steven Valdez5440fe02016-07-18 12:40:30 -0400521 return ssl_hs_error;
522 }
523
Steven Valdez908ac192017-01-12 13:17:07 -0500524 if (!ssl_hash_current_message(hs)) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400525 return ssl_hs_error;
526 }
527
David Benjamin613fe3b2016-07-22 17:39:29 +0200528 ssl->method->received_flight(ssl);
David Benjamin3977f302016-12-11 13:30:41 -0500529 hs->tls13_state = state_send_server_hello;
Steven Valdez143e8b32016-07-11 13:19:03 -0400530 return ssl_hs_ok;
531}
532
David Benjaminc3c88822016-11-14 10:32:04 +0900533static enum ssl_hs_wait_t do_send_server_hello(SSL_HANDSHAKE *hs) {
534 SSL *const ssl = hs->ssl;
David Benjamin81b7bc32017-01-12 19:44:57 -0500535
Steven Valdez038da9b2017-07-10 12:57:25 -0400536 uint16_t version = ssl->version;
537 if (ssl->version == TLS1_3_EXPERIMENT_VERSION) {
538 version = TLS1_2_VERSION;
539 }
540
David Benjamin81b7bc32017-01-12 19:44:57 -0500541 /* Send a ServerHello. */
David Benjamin1386aad2017-07-19 23:57:40 -0400542 ScopedCBB cbb;
543 CBB body, extensions, session_id;
544 if (!ssl->method->init_message(ssl, cbb.get(), &body, SSL3_MT_SERVER_HELLO) ||
Steven Valdez038da9b2017-07-10 12:57:25 -0400545 !CBB_add_u16(&body, version) ||
Steven Valdez143e8b32016-07-11 13:19:03 -0400546 !RAND_bytes(ssl->s3->server_random, sizeof(ssl->s3->server_random)) ||
547 !CBB_add_bytes(&body, ssl->s3->server_random, SSL3_RANDOM_SIZE) ||
Steven Valdez520e1222017-06-13 12:45:25 -0400548 (ssl->version == TLS1_3_EXPERIMENT_VERSION &&
549 (!CBB_add_u8_length_prefixed(&body, &session_id) ||
550 !CBB_add_bytes(&session_id, hs->session_id, hs->session_id_len))) ||
David Benjamin45738dd2017-02-09 20:01:26 -0500551 !CBB_add_u16(&body, ssl_cipher_get_value(hs->new_cipher)) ||
Steven Valdez520e1222017-06-13 12:45:25 -0400552 (ssl->version == TLS1_3_EXPERIMENT_VERSION && !CBB_add_u8(&body, 0)) ||
Steven Valdez143e8b32016-07-11 13:19:03 -0400553 !CBB_add_u16_length_prefixed(&body, &extensions) ||
David Benjamin8baf9632016-11-17 17:11:16 +0900554 !ssl_ext_pre_shared_key_add_serverhello(hs, &extensions) ||
Steven Valdez924a3522017-03-02 16:05:03 -0500555 !ssl_ext_key_share_add_serverhello(hs, &extensions) ||
Steven Valdez038da9b2017-07-10 12:57:25 -0400556 (ssl->version == TLS1_3_EXPERIMENT_VERSION &&
557 !ssl_ext_supported_versions_add_serverhello(hs, &extensions)) ||
David Benjamin1386aad2017-07-19 23:57:40 -0400558 !ssl_add_message_cbb(ssl, cbb.get())) {
559 return ssl_hs_error;
Steven Valdez143e8b32016-07-11 13:19:03 -0400560 }
561
Steven Valdez520e1222017-06-13 12:45:25 -0400562 if (ssl->version == TLS1_3_EXPERIMENT_VERSION &&
563 !ssl3_add_change_cipher_spec(ssl)) {
David Benjamin1386aad2017-07-19 23:57:40 -0400564 return ssl_hs_error;
Steven Valdez520e1222017-06-13 12:45:25 -0400565 }
566
David Benjamin81b7bc32017-01-12 19:44:57 -0500567 /* Derive and enable the handshake traffic secrets. */
Steven Valdez4cb84942016-12-16 11:29:28 -0500568 if (!tls13_derive_handshake_secrets(hs) ||
Steven Valdez4cb84942016-12-16 11:29:28 -0500569 !tls13_set_traffic_key(ssl, evp_aead_seal, hs->server_handshake_secret,
570 hs->hash_len)) {
David Benjamin1386aad2017-07-19 23:57:40 -0400571 return ssl_hs_error;
Steven Valdez143e8b32016-07-11 13:19:03 -0400572 }
573
David Benjamin81b7bc32017-01-12 19:44:57 -0500574 /* Send EncryptedExtensions. */
David Benjamin1386aad2017-07-19 23:57:40 -0400575 if (!ssl->method->init_message(ssl, cbb.get(), &body,
Steven Valdez143e8b32016-07-11 13:19:03 -0400576 SSL3_MT_ENCRYPTED_EXTENSIONS) ||
David Benjamin8c880a22016-12-03 02:20:34 -0500577 !ssl_add_serverhello_tlsext(hs, &body) ||
David Benjamin1386aad2017-07-19 23:57:40 -0400578 !ssl_add_message_cbb(ssl, cbb.get())) {
579 return ssl_hs_error;
Steven Valdez143e8b32016-07-11 13:19:03 -0400580 }
581
David Benjaminc3648fa2017-07-01 10:50:56 -0400582 if (!ssl->s3->session_reused) {
583 /* Determine whether to request a client certificate. */
584 hs->cert_request = !!(ssl->verify_mode & SSL_VERIFY_PEER);
585 /* Only request a certificate if Channel ID isn't negotiated. */
586 if ((ssl->verify_mode & SSL_VERIFY_PEER_IF_NO_OBC) &&
587 ssl->s3->tlsext_channel_id_valid) {
588 hs->cert_request = 0;
589 }
Steven Valdez143e8b32016-07-11 13:19:03 -0400590 }
591
David Benjamin81b7bc32017-01-12 19:44:57 -0500592 /* Send a CertificateRequest, if necessary. */
593 if (hs->cert_request) {
594 CBB sigalgs_cbb;
David Benjamin1386aad2017-07-19 23:57:40 -0400595 if (!ssl->method->init_message(ssl, cbb.get(), &body,
David Benjamin81b7bc32017-01-12 19:44:57 -0500596 SSL3_MT_CERTIFICATE_REQUEST) ||
David Benjamin69522112017-03-28 15:38:29 -0500597 !CBB_add_u8(&body, 0 /* no certificate_request_context. */) ||
598 !CBB_add_u16_length_prefixed(&body, &sigalgs_cbb) ||
599 !tls12_add_verify_sigalgs(ssl, &sigalgs_cbb) ||
600 !ssl_add_client_CA_list(ssl, &body) ||
David Benjamin81b7bc32017-01-12 19:44:57 -0500601 !CBB_add_u16(&body, 0 /* empty certificate_extensions. */) ||
David Benjamin1386aad2017-07-19 23:57:40 -0400602 !ssl_add_message_cbb(ssl, cbb.get())) {
603 return ssl_hs_error;
Steven Valdez143e8b32016-07-11 13:19:03 -0400604 }
605 }
606
David Benjamin81b7bc32017-01-12 19:44:57 -0500607 /* Send the server Certificate message, if necessary. */
608 if (!ssl->s3->session_reused) {
609 if (!ssl_has_certificate(ssl)) {
610 OPENSSL_PUT_ERROR(SSL, SSL_R_NO_CERTIFICATE_SET);
David Benjamin1386aad2017-07-19 23:57:40 -0400611 return ssl_hs_error;
David Benjamin81b7bc32017-01-12 19:44:57 -0500612 }
613
David Benjamin0f24bed2017-01-12 19:46:50 -0500614 if (!tls13_add_certificate(hs)) {
David Benjamin1386aad2017-07-19 23:57:40 -0400615 return ssl_hs_error;
David Benjamin81b7bc32017-01-12 19:44:57 -0500616 }
617
618 hs->tls13_state = state_send_server_certificate_verify;
619 return ssl_hs_ok;
Steven Valdez143e8b32016-07-11 13:19:03 -0400620 }
621
David Benjamin81b7bc32017-01-12 19:44:57 -0500622 hs->tls13_state = state_send_server_finished;
David Benjamin25ac2512017-01-12 19:31:28 -0500623 return ssl_hs_ok;
Steven Valdez143e8b32016-07-11 13:19:03 -0400624}
625
David Benjamin44148742017-06-17 13:20:59 -0400626static enum ssl_hs_wait_t do_send_server_certificate_verify(SSL_HANDSHAKE *hs) {
627 switch (tls13_add_certificate_verify(hs)) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400628 case ssl_private_key_success:
David Benjamin3977f302016-12-11 13:30:41 -0500629 hs->tls13_state = state_send_server_finished;
David Benjamin25ac2512017-01-12 19:31:28 -0500630 return ssl_hs_ok;
Steven Valdez143e8b32016-07-11 13:19:03 -0400631
632 case ssl_private_key_retry:
David Benjamin44148742017-06-17 13:20:59 -0400633 hs->tls13_state = state_send_server_certificate_verify;
Steven Valdez143e8b32016-07-11 13:19:03 -0400634 return ssl_hs_private_key_operation;
635
636 case ssl_private_key_failure:
637 return ssl_hs_error;
638 }
639
640 assert(0);
641 return ssl_hs_error;
642}
643
David Benjaminc3c88822016-11-14 10:32:04 +0900644static enum ssl_hs_wait_t do_send_server_finished(SSL_HANDSHAKE *hs) {
David Benjaminc3c88822016-11-14 10:32:04 +0900645 SSL *const ssl = hs->ssl;
David Benjamin0f24bed2017-01-12 19:46:50 -0500646 if (!tls13_add_finished(hs) ||
David Benjamin25ac2512017-01-12 19:31:28 -0500647 /* Update the secret to the master secret and derive traffic keys. */
648 !tls13_advance_key_schedule(hs, kZeroes, hs->hash_len) ||
David Benjamin6e4fc332016-11-17 16:43:08 +0900649 !tls13_derive_application_secrets(hs) ||
Steven Valdeza833c352016-11-01 13:39:36 -0400650 !tls13_set_traffic_key(ssl, evp_aead_seal, hs->server_traffic_secret_0,
651 hs->hash_len)) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400652 return ssl_hs_error;
653 }
654
David Benjamin794cc592017-03-25 22:24:23 -0500655 if (ssl->early_data_accepted) {
656 /* If accepting 0-RTT, we send tickets half-RTT. This gets the tickets on
657 * the wire sooner and also avoids triggering a write on |SSL_read| when
658 * processing the client Finished. This requires computing the client
659 * Finished early. See draft-ietf-tls-tls13-18, section 4.5.1. */
660 size_t finished_len;
661 if (!tls13_finished_mac(hs, hs->expected_client_finished, &finished_len,
662 0 /* client */)) {
663 return ssl_hs_error;
664 }
665
666 if (finished_len != hs->hash_len) {
667 OPENSSL_PUT_ERROR(SSL, ERR_R_INTERNAL_ERROR);
668 return ssl_hs_error;
669 }
670
671 /* Feed the predicted Finished into the transcript. This allows us to derive
672 * the resumption secret early and send half-RTT tickets.
673 *
674 * TODO(davidben): This will need to be updated for DTLS 1.3. */
675 assert(!SSL_is_dtls(hs->ssl));
David Benjamind304a2f2017-07-12 23:00:28 -0400676 assert(hs->hash_len <= 0xff);
677 uint8_t header[4] = {SSL3_MT_FINISHED, 0, 0, static_cast<uint8_t>(hs->hash_len)};
David Benjamin794cc592017-03-25 22:24:23 -0500678 if (!SSL_TRANSCRIPT_update(&hs->transcript, header, sizeof(header)) ||
679 !SSL_TRANSCRIPT_update(&hs->transcript, hs->expected_client_finished,
680 hs->hash_len) ||
681 !tls13_derive_resumption_secret(hs) ||
682 !add_new_session_tickets(hs)) {
683 return ssl_hs_error;
684 }
685 }
686
Steven Valdez2d850622017-01-11 11:34:52 -0500687 hs->tls13_state = state_read_second_client_flight;
688 return ssl_hs_flush;
689}
690
691static enum ssl_hs_wait_t do_read_second_client_flight(SSL_HANDSHAKE *hs) {
692 SSL *const ssl = hs->ssl;
693 if (ssl->early_data_accepted) {
694 if (!tls13_set_traffic_key(ssl, evp_aead_open, hs->early_traffic_secret,
695 hs->hash_len)) {
696 return ssl_hs_error;
697 }
Steven Valdez681eb6a2016-12-19 13:19:29 -0500698 hs->can_early_write = 1;
699 hs->can_early_read = 1;
Steven Valdeze831a812017-03-09 14:56:07 -0500700 hs->in_early_data = 1;
Steven Valdez2d850622017-01-11 11:34:52 -0500701 hs->tls13_state = state_process_end_of_early_data;
702 return ssl_hs_read_end_of_early_data;
703 }
Steven Valdez2d850622017-01-11 11:34:52 -0500704 hs->tls13_state = state_process_end_of_early_data;
705 return ssl_hs_ok;
706}
707
708static enum ssl_hs_wait_t do_process_end_of_early_data(SSL_HANDSHAKE *hs) {
Steven Valdez520e1222017-06-13 12:45:25 -0400709 hs->tls13_state = state_process_change_cipher_spec;
710 /* If early data was accepted, the ChangeCipherSpec message will be in the
711 * discarded early data. */
712 if (hs->early_data_offered && !hs->ssl->early_data_accepted) {
713 return ssl_hs_ok;
714 }
715 return hs->ssl->version == TLS1_3_EXPERIMENT_VERSION
716 ? ssl_hs_read_change_cipher_spec
717 : ssl_hs_ok;
718}
719
720static enum ssl_hs_wait_t do_process_change_cipher_spec(SSL_HANDSHAKE *hs) {
Steven Valdez2d850622017-01-11 11:34:52 -0500721 SSL *const ssl = hs->ssl;
722 if (!tls13_set_traffic_key(ssl, evp_aead_open, hs->client_handshake_secret,
723 hs->hash_len)) {
724 return ssl_hs_error;
725 }
David Benjamin794cc592017-03-25 22:24:23 -0500726 hs->tls13_state = ssl->early_data_accepted ? state_process_client_finished
727 : state_process_client_certificate;
Steven Valdez2d850622017-01-11 11:34:52 -0500728 return ssl_hs_read_message;
Steven Valdez143e8b32016-07-11 13:19:03 -0400729}
730
David Benjaminc3c88822016-11-14 10:32:04 +0900731static enum ssl_hs_wait_t do_process_client_certificate(SSL_HANDSHAKE *hs) {
732 SSL *const ssl = hs->ssl;
733 if (!hs->cert_request) {
Adam Langley37646832016-08-01 16:16:46 -0700734 /* OpenSSL returns X509_V_OK when no certificates are requested. This is
David Benjamindd634eb2016-08-18 16:40:28 -0400735 * classed by them as a bug, but it's assumed by at least NGINX. */
David Benjamin45738dd2017-02-09 20:01:26 -0500736 hs->new_session->verify_result = X509_V_OK;
Adam Langley37646832016-08-01 16:16:46 -0700737
Steven Valdez143e8b32016-07-11 13:19:03 -0400738 /* Skip this state. */
David Benjamin3977f302016-12-11 13:30:41 -0500739 hs->tls13_state = state_process_channel_id;
Steven Valdez143e8b32016-07-11 13:19:03 -0400740 return ssl_hs_ok;
741 }
742
David Benjamin4087df92016-08-01 20:16:31 -0400743 const int allow_anonymous =
744 (ssl->verify_mode & SSL_VERIFY_FAIL_IF_NO_PEER_CERT) == 0;
745
David Benjamin276b7e82017-01-21 14:13:39 -0500746 if (!ssl_check_message_type(ssl, SSL3_MT_CERTIFICATE) ||
Adam Langley0c294252016-12-12 11:46:09 -0800747 !tls13_process_certificate(hs, allow_anonymous) ||
Steven Valdez908ac192017-01-12 13:17:07 -0500748 !ssl_hash_current_message(hs)) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400749 return ssl_hs_error;
750 }
751
David Benjamin3977f302016-12-11 13:30:41 -0500752 hs->tls13_state = state_process_client_certificate_verify;
Steven Valdez143e8b32016-07-11 13:19:03 -0400753 return ssl_hs_read_message;
754}
755
756static enum ssl_hs_wait_t do_process_client_certificate_verify(
David Benjaminc3c88822016-11-14 10:32:04 +0900757 SSL_HANDSHAKE *hs) {
758 SSL *const ssl = hs->ssl;
David Benjamin45738dd2017-02-09 20:01:26 -0500759 if (sk_CRYPTO_BUFFER_num(hs->new_session->certs) == 0) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400760 /* Skip this state. */
David Benjamin3977f302016-12-11 13:30:41 -0500761 hs->tls13_state = state_process_channel_id;
Steven Valdez143e8b32016-07-11 13:19:03 -0400762 return ssl_hs_ok;
763 }
764
David Benjamin3a1dd462017-07-11 16:13:10 -0400765 switch (ssl_verify_peer_cert(hs)) {
766 case ssl_verify_ok:
767 break;
768 case ssl_verify_invalid:
769 return ssl_hs_error;
770 case ssl_verify_retry:
771 hs->tls13_state = state_process_client_certificate_verify;
772 return ssl_hs_certificate_verify;
773 }
774
David Benjamin276b7e82017-01-21 14:13:39 -0500775 if (!ssl_check_message_type(ssl, SSL3_MT_CERTIFICATE_VERIFY) ||
Adam Langley0c294252016-12-12 11:46:09 -0800776 !tls13_process_certificate_verify(hs) ||
Steven Valdez908ac192017-01-12 13:17:07 -0500777 !ssl_hash_current_message(hs)) {
David Benjamin6929f272016-11-16 19:10:08 +0900778 return ssl_hs_error;
Steven Valdez143e8b32016-07-11 13:19:03 -0400779 }
780
David Benjamin3977f302016-12-11 13:30:41 -0500781 hs->tls13_state = state_process_channel_id;
Nick Harper60a85cb2016-09-23 16:25:11 -0700782 return ssl_hs_read_message;
783}
784
David Benjaminc3c88822016-11-14 10:32:04 +0900785static enum ssl_hs_wait_t do_process_channel_id(SSL_HANDSHAKE *hs) {
Steven Valdez908ac192017-01-12 13:17:07 -0500786 if (!hs->ssl->s3->tlsext_channel_id_valid) {
David Benjamin3977f302016-12-11 13:30:41 -0500787 hs->tls13_state = state_process_client_finished;
Nick Harper60a85cb2016-09-23 16:25:11 -0700788 return ssl_hs_ok;
789 }
790
Steven Valdez908ac192017-01-12 13:17:07 -0500791 if (!ssl_check_message_type(hs->ssl, SSL3_MT_CHANNEL_ID) ||
792 !tls1_verify_channel_id(hs) ||
793 !ssl_hash_current_message(hs)) {
Nick Harper60a85cb2016-09-23 16:25:11 -0700794 return ssl_hs_error;
795 }
796
David Benjamin3977f302016-12-11 13:30:41 -0500797 hs->tls13_state = state_process_client_finished;
Steven Valdez143e8b32016-07-11 13:19:03 -0400798 return ssl_hs_read_message;
799}
800
David Benjaminc3c88822016-11-14 10:32:04 +0900801static enum ssl_hs_wait_t do_process_client_finished(SSL_HANDSHAKE *hs) {
802 SSL *const ssl = hs->ssl;
David Benjamin276b7e82017-01-21 14:13:39 -0500803 if (!ssl_check_message_type(ssl, SSL3_MT_FINISHED) ||
David Benjamin794cc592017-03-25 22:24:23 -0500804 /* If early data was accepted, we've already computed the client Finished
805 * and derived the resumption secret. */
806 !tls13_process_finished(hs, ssl->early_data_accepted) ||
Steven Valdez143e8b32016-07-11 13:19:03 -0400807 /* evp_aead_seal keys have already been switched. */
Steven Valdeza833c352016-11-01 13:39:36 -0400808 !tls13_set_traffic_key(ssl, evp_aead_open, hs->client_traffic_secret_0,
David Benjamin794cc592017-03-25 22:24:23 -0500809 hs->hash_len)) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400810 return ssl_hs_error;
811 }
812
David Benjamin613fe3b2016-07-22 17:39:29 +0200813 ssl->method->received_flight(ssl);
David Benjamin123db572016-11-03 16:59:25 -0400814
David Benjamin794cc592017-03-25 22:24:23 -0500815 if (!ssl->early_data_accepted) {
816 if (!ssl_hash_current_message(hs) ||
817 !tls13_derive_resumption_secret(hs)) {
818 return ssl_hs_error;
819 }
820
821 /* We send post-handshake tickets as part of the handshake in 1-RTT. */
822 hs->tls13_state = state_send_new_session_ticket;
823 return ssl_hs_ok;
824 }
825
826 hs->tls13_state = state_done;
Steven Valdez143e8b32016-07-11 13:19:03 -0400827 return ssl_hs_ok;
828}
829
David Benjaminc3c88822016-11-14 10:32:04 +0900830static enum ssl_hs_wait_t do_send_new_session_ticket(SSL_HANDSHAKE *hs) {
Steven Valdeza833c352016-11-01 13:39:36 -0400831 /* If the client doesn't accept resumption with PSK_DHE_KE, don't send a
832 * session ticket. */
833 if (!hs->accept_psk_mode) {
David Benjamin3977f302016-12-11 13:30:41 -0500834 hs->tls13_state = state_done;
Steven Valdeza833c352016-11-01 13:39:36 -0400835 return ssl_hs_ok;
836 }
837
David Benjamin794cc592017-03-25 22:24:23 -0500838 if (!add_new_session_tickets(hs)) {
839 return ssl_hs_error;
Steven Valdez08b65f42016-12-07 15:29:45 -0500840 }
841
David Benjamin25ac2512017-01-12 19:31:28 -0500842 hs->tls13_state = state_done;
843 return ssl_hs_flush;
Steven Valdez1e6f11a2016-07-27 11:10:52 -0400844}
845
David Benjaminc3c88822016-11-14 10:32:04 +0900846enum ssl_hs_wait_t tls13_server_handshake(SSL_HANDSHAKE *hs) {
David Benjamin3977f302016-12-11 13:30:41 -0500847 while (hs->tls13_state != state_done) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400848 enum ssl_hs_wait_t ret = ssl_hs_error;
David Benjamind304a2f2017-07-12 23:00:28 -0400849 enum server_hs_state_t state =
850 static_cast<enum server_hs_state_t>(hs->tls13_state);
Steven Valdez143e8b32016-07-11 13:19:03 -0400851 switch (state) {
David Benjamin25fe85b2016-08-09 20:00:32 -0400852 case state_select_parameters:
David Benjaminc3c88822016-11-14 10:32:04 +0900853 ret = do_select_parameters(hs);
David Benjamin25fe85b2016-08-09 20:00:32 -0400854 break;
David Benjamin707af292017-03-10 17:47:18 -0500855 case state_select_session:
856 ret = do_select_session(hs);
857 break;
Steven Valdez5440fe02016-07-18 12:40:30 -0400858 case state_send_hello_retry_request:
David Benjaminc3c88822016-11-14 10:32:04 +0900859 ret = do_send_hello_retry_request(hs);
Steven Valdez5440fe02016-07-18 12:40:30 -0400860 break;
Steven Valdez5440fe02016-07-18 12:40:30 -0400861 case state_process_second_client_hello:
David Benjaminc3c88822016-11-14 10:32:04 +0900862 ret = do_process_second_client_hello(hs);
Steven Valdez5440fe02016-07-18 12:40:30 -0400863 break;
Steven Valdez143e8b32016-07-11 13:19:03 -0400864 case state_send_server_hello:
David Benjaminc3c88822016-11-14 10:32:04 +0900865 ret = do_send_server_hello(hs);
Steven Valdez143e8b32016-07-11 13:19:03 -0400866 break;
Steven Valdez143e8b32016-07-11 13:19:03 -0400867 case state_send_server_certificate_verify:
David Benjamin44148742017-06-17 13:20:59 -0400868 ret = do_send_server_certificate_verify(hs);
Steven Valdez2d850622017-01-11 11:34:52 -0500869 break;
Steven Valdez143e8b32016-07-11 13:19:03 -0400870 case state_send_server_finished:
David Benjaminc3c88822016-11-14 10:32:04 +0900871 ret = do_send_server_finished(hs);
Steven Valdez143e8b32016-07-11 13:19:03 -0400872 break;
Steven Valdez2d850622017-01-11 11:34:52 -0500873 case state_read_second_client_flight:
874 ret = do_read_second_client_flight(hs);
875 break;
876 case state_process_end_of_early_data:
877 ret = do_process_end_of_early_data(hs);
878 break;
Steven Valdez520e1222017-06-13 12:45:25 -0400879 case state_process_change_cipher_spec:
880 ret = do_process_change_cipher_spec(hs);
881 break;
Steven Valdez143e8b32016-07-11 13:19:03 -0400882 case state_process_client_certificate:
David Benjaminc3c88822016-11-14 10:32:04 +0900883 ret = do_process_client_certificate(hs);
Steven Valdez143e8b32016-07-11 13:19:03 -0400884 break;
885 case state_process_client_certificate_verify:
David Benjaminc3c88822016-11-14 10:32:04 +0900886 ret = do_process_client_certificate_verify(hs);
Steven Valdez143e8b32016-07-11 13:19:03 -0400887 break;
Nick Harper60a85cb2016-09-23 16:25:11 -0700888 case state_process_channel_id:
David Benjaminc3c88822016-11-14 10:32:04 +0900889 ret = do_process_channel_id(hs);
Nick Harper60a85cb2016-09-23 16:25:11 -0700890 break;
Steven Valdez143e8b32016-07-11 13:19:03 -0400891 case state_process_client_finished:
David Benjaminc3c88822016-11-14 10:32:04 +0900892 ret = do_process_client_finished(hs);
Steven Valdez143e8b32016-07-11 13:19:03 -0400893 break;
Steven Valdez1e6f11a2016-07-27 11:10:52 -0400894 case state_send_new_session_ticket:
David Benjaminc3c88822016-11-14 10:32:04 +0900895 ret = do_send_new_session_ticket(hs);
Steven Valdez1e6f11a2016-07-27 11:10:52 -0400896 break;
Steven Valdez143e8b32016-07-11 13:19:03 -0400897 case state_done:
898 ret = ssl_hs_ok;
899 break;
900 }
901
902 if (ret != ssl_hs_ok) {
903 return ret;
904 }
905 }
906
907 return ssl_hs_ok;
908}
David Benjamin86e95b82017-07-18 16:34:25 -0400909
910} // namespace bssl