blob: 58e062dc1d9ea17bb60ac2f1c985fef9498d3e0d [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
15#include <openssl/ssl.h>
16
17#include <assert.h>
18#include <string.h>
19
David Benjaminabbbee12016-10-31 19:20:42 -040020#include <openssl/aead.h>
Steven Valdez143e8b32016-07-11 13:19:03 -040021#include <openssl/bytestring.h>
22#include <openssl/digest.h>
23#include <openssl/err.h>
24#include <openssl/mem.h>
25#include <openssl/rand.h>
26#include <openssl/stack.h>
27
David Benjamin17cf2cb2016-12-13 01:07:13 -050028#include "../crypto/internal.h"
Steven Valdez143e8b32016-07-11 13:19:03 -040029#include "internal.h"
30
31
32enum server_hs_state_t {
David Benjamindaa05392017-02-02 23:33:21 -050033 state_select_parameters = 0,
David Benjamin707af292017-03-10 17:47:18 -050034 state_select_session,
Steven Valdez5440fe02016-07-18 12:40:30 -040035 state_send_hello_retry_request,
Steven Valdez5440fe02016-07-18 12:40:30 -040036 state_process_second_client_hello,
Steven Valdez143e8b32016-07-11 13:19:03 -040037 state_send_server_hello,
Steven Valdez143e8b32016-07-11 13:19:03 -040038 state_send_server_certificate_verify,
Steven Valdez143e8b32016-07-11 13:19:03 -040039 state_send_server_finished,
Steven Valdez2d850622017-01-11 11:34:52 -050040 state_read_second_client_flight,
Steven Valdez520e1222017-06-13 12:45:25 -040041 state_process_change_cipher_spec,
Steven Valdez2d850622017-01-11 11:34:52 -050042 state_process_end_of_early_data,
Steven Valdez143e8b32016-07-11 13:19:03 -040043 state_process_client_certificate,
44 state_process_client_certificate_verify,
Nick Harper60a85cb2016-09-23 16:25:11 -070045 state_process_channel_id,
Steven Valdez143e8b32016-07-11 13:19:03 -040046 state_process_client_finished,
Steven Valdez1e6f11a2016-07-27 11:10:52 -040047 state_send_new_session_ticket,
Steven Valdez143e8b32016-07-11 13:19:03 -040048 state_done,
49};
50
Steven Valdez5440fe02016-07-18 12:40:30 -040051static const uint8_t kZeroes[EVP_MAX_MD_SIZE] = {0};
52
David Benjamin6e4fc332016-11-17 16:43:08 +090053static int resolve_ecdhe_secret(SSL_HANDSHAKE *hs, int *out_need_retry,
David Benjamin731058e2016-12-03 23:15:13 -050054 SSL_CLIENT_HELLO *client_hello) {
David Benjamin6e4fc332016-11-17 16:43:08 +090055 SSL *const ssl = hs->ssl;
Steven Valdez5440fe02016-07-18 12:40:30 -040056 *out_need_retry = 0;
Steven Valdez5440fe02016-07-18 12:40:30 -040057
Steven Valdez803c77a2016-09-06 14:13:43 -040058 /* We only support connections that include an ECDHE key exchange. */
Steven Valdez5440fe02016-07-18 12:40:30 -040059 CBS key_share;
David Benjamin731058e2016-12-03 23:15:13 -050060 if (!ssl_client_hello_get_extension(client_hello, &key_share,
61 TLSEXT_TYPE_key_share)) {
Steven Valdez5440fe02016-07-18 12:40:30 -040062 OPENSSL_PUT_ERROR(SSL, SSL_R_MISSING_KEY_SHARE);
63 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_MISSING_EXTENSION);
David Benjamin6929f272016-11-16 19:10:08 +090064 return 0;
Steven Valdez5440fe02016-07-18 12:40:30 -040065 }
66
Steven Valdez5440fe02016-07-18 12:40:30 -040067 int found_key_share;
68 uint8_t *dhe_secret;
69 size_t dhe_secret_len;
David Benjamin7e1f9842016-09-20 19:24:40 -040070 uint8_t alert = SSL_AD_DECODE_ERROR;
David Benjamin8baf9632016-11-17 17:11:16 +090071 if (!ssl_ext_key_share_parse_clienthello(hs, &found_key_share, &dhe_secret,
Steven Valdez7259f2f2016-08-02 16:55:05 -040072 &dhe_secret_len, &alert,
73 &key_share)) {
Steven Valdez5440fe02016-07-18 12:40:30 -040074 ssl3_send_alert(ssl, SSL3_AL_FATAL, alert);
75 return 0;
76 }
77
78 if (!found_key_share) {
79 *out_need_retry = 1;
80 return 0;
81 }
82
David Benjamin6e4fc332016-11-17 16:43:08 +090083 int ok = tls13_advance_key_schedule(hs, dhe_secret, dhe_secret_len);
Steven Valdez5440fe02016-07-18 12:40:30 -040084 OPENSSL_free(dhe_secret);
85 return ok;
86}
87
David Benjamin34202b92016-11-16 19:07:53 +090088static const SSL_CIPHER *choose_tls13_cipher(
David Benjamin731058e2016-12-03 23:15:13 -050089 const SSL *ssl, const SSL_CLIENT_HELLO *client_hello) {
David Benjamin34202b92016-11-16 19:07:53 +090090 if (client_hello->cipher_suites_len % 2 != 0) {
91 return NULL;
92 }
93
94 CBS cipher_suites;
95 CBS_init(&cipher_suites, client_hello->cipher_suites,
96 client_hello->cipher_suites_len);
97
98 const int aes_is_fine = EVP_has_aes_hardware();
David Benjaminf01f42a2016-11-16 19:05:33 +090099 const uint16_t version = ssl3_protocol_version(ssl);
David Benjamin34202b92016-11-16 19:07:53 +0900100
101 const SSL_CIPHER *best = NULL;
102 while (CBS_len(&cipher_suites) > 0) {
103 uint16_t cipher_suite;
104 if (!CBS_get_u16(&cipher_suites, &cipher_suite)) {
105 return NULL;
106 }
107
David Benjaminf01f42a2016-11-16 19:05:33 +0900108 /* Limit to TLS 1.3 ciphers we know about. */
David Benjamin34202b92016-11-16 19:07:53 +0900109 const SSL_CIPHER *candidate = SSL_get_cipher_by_value(cipher_suite);
David Benjaminf01f42a2016-11-16 19:05:33 +0900110 if (candidate == NULL ||
111 SSL_CIPHER_get_min_version(candidate) > version ||
112 SSL_CIPHER_get_max_version(candidate) < version) {
David Benjamin34202b92016-11-16 19:07:53 +0900113 continue;
114 }
115
116 /* TLS 1.3 removes legacy ciphers, so honor the client order, but prefer
117 * ChaCha20 if we do not have AES hardware. */
118 if (aes_is_fine) {
119 return candidate;
120 }
121
122 if (candidate->algorithm_enc == SSL_CHACHA20POLY1305) {
123 return candidate;
124 }
125
126 if (best == NULL) {
127 best = candidate;
128 }
129 }
130
131 return best;
132}
133
David Benjamin794cc592017-03-25 22:24:23 -0500134static int add_new_session_tickets(SSL_HANDSHAKE *hs) {
135 SSL *const ssl = hs->ssl;
136 /* TLS 1.3 recommends single-use tickets, so issue multiple tickets in case
137 * the client makes several connections before getting a renewal. */
138 static const int kNumTickets = 2;
139
140 SSL_SESSION *session = hs->new_session;
141 CBB cbb;
142 CBB_zero(&cbb);
143
144 /* Rebase the session timestamp so that it is measured from ticket
145 * issuance. */
146 ssl_session_rebase_time(ssl, session);
147
148 for (int i = 0; i < kNumTickets; i++) {
149 if (!RAND_bytes((uint8_t *)&session->ticket_age_add, 4)) {
150 goto err;
151 }
152 session->ticket_age_add_valid = 1;
153
154 CBB body, ticket, extensions;
155 if (!ssl->method->init_message(ssl, &cbb, &body,
156 SSL3_MT_NEW_SESSION_TICKET) ||
157 !CBB_add_u32(&body, session->timeout) ||
158 !CBB_add_u32(&body, session->ticket_age_add) ||
159 !CBB_add_u16_length_prefixed(&body, &ticket) ||
160 !ssl_encrypt_ticket(ssl, &ticket, session) ||
161 !CBB_add_u16_length_prefixed(&body, &extensions)) {
162 goto err;
163 }
164
Alessandro Ghedini67bb45f2017-03-30 16:33:24 -0500165 if (ssl->cert->enable_early_data) {
David Benjamin794cc592017-03-25 22:24:23 -0500166 session->ticket_max_early_data = kMaxEarlyDataAccepted;
167
168 CBB early_data_info;
169 if (!CBB_add_u16(&extensions, TLSEXT_TYPE_ticket_early_data_info) ||
170 !CBB_add_u16_length_prefixed(&extensions, &early_data_info) ||
171 !CBB_add_u32(&early_data_info, session->ticket_max_early_data) ||
172 !CBB_flush(&extensions)) {
173 goto err;
174 }
175 }
176
177 /* Add a fake extension. See draft-davidben-tls-grease-01. */
178 if (!CBB_add_u16(&extensions,
179 ssl_get_grease_value(ssl, ssl_grease_ticket_extension)) ||
180 !CBB_add_u16(&extensions, 0 /* empty */)) {
181 goto err;
182 }
183
184 if (!ssl_add_message_cbb(ssl, &cbb)) {
185 goto err;
186 }
187 }
188
189 return 1;
190
191err:
192 CBB_cleanup(&cbb);
193 return 0;
194}
195
David Benjaminc3c88822016-11-14 10:32:04 +0900196static enum ssl_hs_wait_t do_select_parameters(SSL_HANDSHAKE *hs) {
David Benjamin707af292017-03-10 17:47:18 -0500197 /* At this point, most ClientHello extensions have already been processed by
198 * the common handshake logic. Resolve the remaining non-PSK parameters. */
David Benjaminc3c88822016-11-14 10:32:04 +0900199 SSL *const ssl = hs->ssl;
David Benjamin650aa1c2016-12-20 18:55:16 -0500200
David Benjamin731058e2016-12-03 23:15:13 -0500201 SSL_CLIENT_HELLO client_hello;
202 if (!ssl_client_hello_init(ssl, &client_hello, ssl->init_msg,
Steven Valdez520e1222017-06-13 12:45:25 -0400203 ssl->init_num) ||
204 client_hello.session_id_len > sizeof(hs->session_id)) {
David Benjamin34202b92016-11-16 19:07:53 +0900205 OPENSSL_PUT_ERROR(SSL, SSL_R_CLIENTHELLO_PARSE_FAILED);
206 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
207 return ssl_hs_error;
208 }
209
Steven Valdez520e1222017-06-13 12:45:25 -0400210 OPENSSL_memcpy(hs->session_id, client_hello.session_id,
211 client_hello.session_id_len);
212 hs->session_id_len = client_hello.session_id_len;
213
David Benjaminf01f42a2016-11-16 19:05:33 +0900214 /* Negotiate the cipher suite. */
David Benjamin45738dd2017-02-09 20:01:26 -0500215 hs->new_cipher = choose_tls13_cipher(ssl, &client_hello);
216 if (hs->new_cipher == NULL) {
David Benjaminf01f42a2016-11-16 19:05:33 +0900217 OPENSSL_PUT_ERROR(SSL, SSL_R_NO_SHARED_CIPHER);
218 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_HANDSHAKE_FAILURE);
219 return ssl_hs_error;
220 }
221
David Benjamin707af292017-03-10 17:47:18 -0500222 /* HTTP/2 negotiation depends on the cipher suite, so ALPN negotiation was
223 * deferred. Complete it now. */
224 uint8_t alert = SSL_AD_DECODE_ERROR;
225 if (!ssl_negotiate_alpn(hs, &alert, &client_hello)) {
226 ssl3_send_alert(ssl, SSL3_AL_FATAL, alert);
227 return ssl_hs_error;
228 }
229
Steven Valdez908ac192017-01-12 13:17:07 -0500230 /* The PRF hash is now known. Set up the key schedule and hash the
231 * ClientHello. */
232 if (!tls13_init_key_schedule(hs) ||
233 !ssl_hash_current_message(hs)) {
234 return ssl_hs_error;
235 }
236
David Benjamin707af292017-03-10 17:47:18 -0500237 hs->tls13_state = state_select_session;
238 return ssl_hs_ok;
239}
Steven Valdez908ac192017-01-12 13:17:07 -0500240
David Benjamin707af292017-03-10 17:47:18 -0500241static enum ssl_ticket_aead_result_t select_session(
242 SSL_HANDSHAKE *hs, uint8_t *out_alert, SSL_SESSION **out_session,
243 int32_t *out_ticket_age_skew, const SSL_CLIENT_HELLO *client_hello) {
244 SSL *const ssl = hs->ssl;
245 *out_session = NULL;
246
247 /* Decode the ticket if we agreed on a PSK key exchange mode. */
248 CBS pre_shared_key;
249 if (!hs->accept_psk_mode ||
250 !ssl_client_hello_get_extension(client_hello, &pre_shared_key,
251 TLSEXT_TYPE_pre_shared_key)) {
252 return ssl_ticket_aead_ignore_ticket;
253 }
254
255 /* Verify that the pre_shared_key extension is the last extension in
256 * ClientHello. */
257 if (CBS_data(&pre_shared_key) + CBS_len(&pre_shared_key) !=
258 client_hello->extensions + client_hello->extensions_len) {
259 OPENSSL_PUT_ERROR(SSL, SSL_R_PRE_SHARED_KEY_MUST_BE_LAST);
260 *out_alert = SSL_AD_ILLEGAL_PARAMETER;
261 return ssl_ticket_aead_error;
262 }
263
264 CBS ticket, binders;
265 uint32_t client_ticket_age;
266 if (!ssl_ext_pre_shared_key_parse_clienthello(hs, &ticket, &binders,
267 &client_ticket_age, out_alert,
268 &pre_shared_key)) {
269 return ssl_ticket_aead_error;
270 }
271
272 /* TLS 1.3 session tickets are renewed separately as part of the
273 * NewSessionTicket. */
274 int unused_renew;
275 SSL_SESSION *session = NULL;
276 enum ssl_ticket_aead_result_t ret =
277 ssl_process_ticket(ssl, &session, &unused_renew, CBS_data(&ticket),
278 CBS_len(&ticket), NULL, 0);
279 switch (ret) {
280 case ssl_ticket_aead_success:
281 break;
282 case ssl_ticket_aead_error:
283 *out_alert = SSL_AD_INTERNAL_ERROR;
284 return ret;
285 default:
286 return ret;
287 }
288
289 if (!ssl_session_is_resumable(hs, session) ||
290 /* Historically, some TLS 1.3 tickets were missing ticket_age_add. */
291 !session->ticket_age_add_valid) {
292 SSL_SESSION_free(session);
293 return ssl_ticket_aead_ignore_ticket;
294 }
295
296 /* Recover the client ticket age and convert to seconds. */
297 client_ticket_age -= session->ticket_age_add;
298 client_ticket_age /= 1000;
299
300 struct OPENSSL_timeval now;
301 ssl_get_current_time(ssl, &now);
302
303 /* Compute the server ticket age in seconds. */
304 assert(now.tv_sec >= session->time);
305 uint64_t server_ticket_age = now.tv_sec - session->time;
306
307 /* To avoid overflowing |hs->ticket_age_skew|, we will not resume
308 * 68-year-old sessions. */
309 if (server_ticket_age > INT32_MAX) {
310 SSL_SESSION_free(session);
311 return ssl_ticket_aead_ignore_ticket;
312 }
313
314 /* TODO(davidben,svaldez): Measure this value to decide on tolerance. For
315 * now, accept all values. https://crbug.com/boringssl/113. */
316 *out_ticket_age_skew =
317 (int32_t)client_ticket_age - (int32_t)server_ticket_age;
318
319 /* Check the PSK binder. */
320 if (!tls13_verify_psk_binder(hs, session, &binders)) {
321 SSL_SESSION_free(session);
322 *out_alert = SSL_AD_DECRYPT_ERROR;
323 return ssl_ticket_aead_error;
324 }
325
326 *out_session = session;
327 return ssl_ticket_aead_success;
328}
329
330static enum ssl_hs_wait_t do_select_session(SSL_HANDSHAKE *hs) {
331 SSL *const ssl = hs->ssl;
332 SSL_CLIENT_HELLO client_hello;
333 if (!ssl_client_hello_init(ssl, &client_hello, ssl->init_msg,
334 ssl->init_num)) {
335 OPENSSL_PUT_ERROR(SSL, SSL_R_CLIENTHELLO_PARSE_FAILED);
336 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
337 return ssl_hs_error;
338 }
339
David Benjamin4eb95cc2016-11-16 17:08:23 +0900340 uint8_t alert = SSL_AD_DECODE_ERROR;
341 SSL_SESSION *session = NULL;
David Benjamin707af292017-03-10 17:47:18 -0500342 switch (select_session(hs, &alert, &session, &ssl->s3->ticket_age_skew,
343 &client_hello)) {
344 case ssl_ticket_aead_ignore_ticket:
345 assert(session == NULL);
346 if (!ssl_get_new_session(hs, 1 /* server */)) {
David Benjaminf01f42a2016-11-16 19:05:33 +0900347 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
348 return ssl_hs_error;
349 }
David Benjamin707af292017-03-10 17:47:18 -0500350 break;
Steven Valdeza833c352016-11-01 13:39:36 -0400351
David Benjamin707af292017-03-10 17:47:18 -0500352 case ssl_ticket_aead_success:
353 /* Carry over authentication information from the previous handshake into
354 * a fresh session. */
355 hs->new_session = SSL_SESSION_dup(session, SSL_SESSION_DUP_AUTH_ONLY);
Steven Valdez2d850622017-01-11 11:34:52 -0500356
357 if (/* Early data must be acceptable for this ticket. */
Alessandro Ghedini67bb45f2017-03-30 16:33:24 -0500358 ssl->cert->enable_early_data &&
Steven Valdez2d850622017-01-11 11:34:52 -0500359 session->ticket_max_early_data != 0 &&
360 /* The client must have offered early data. */
361 hs->early_data_offered &&
Steven Valdez2a070722017-03-25 20:54:16 -0500362 /* Channel ID is incompatible with 0-RTT. */
363 !ssl->s3->tlsext_channel_id_valid &&
Steven Valdez2d850622017-01-11 11:34:52 -0500364 /* The negotiated ALPN must match the one in the ticket. */
365 ssl->s3->alpn_selected_len == session->early_alpn_len &&
366 OPENSSL_memcmp(ssl->s3->alpn_selected, session->early_alpn,
367 ssl->s3->alpn_selected_len) == 0) {
368 ssl->early_data_accepted = 1;
369 }
370
David Benjamin707af292017-03-10 17:47:18 -0500371 SSL_SESSION_free(session);
372 if (hs->new_session == NULL) {
373 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
374 return ssl_hs_error;
375 }
376
377 ssl->s3->session_reused = 1;
378
379 /* Resumption incorporates fresh key material, so refresh the timeout. */
380 ssl_session_renew_timeout(ssl, hs->new_session,
381 ssl->session_ctx->session_psk_dhe_timeout);
382 break;
383
384 case ssl_ticket_aead_error:
385 ssl3_send_alert(ssl, SSL3_AL_FATAL, alert);
386 return ssl_hs_error;
387
388 case ssl_ticket_aead_retry:
389 hs->tls13_state = state_select_session;
390 return ssl_hs_pending_ticket;
391 }
392
393 /* Record connection properties in the new session. */
394 hs->new_session->cipher = hs->new_cipher;
395
396 if (hs->hostname != NULL) {
397 OPENSSL_free(hs->new_session->tlsext_hostname);
398 hs->new_session->tlsext_hostname = BUF_strdup(hs->hostname);
399 if (hs->new_session->tlsext_hostname == NULL) {
Steven Valdez4aa154e2016-07-29 14:32:55 -0400400 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
401 return ssl_hs_error;
402 }
Steven Valdez143e8b32016-07-11 13:19:03 -0400403 }
404
Steven Valdez2d850622017-01-11 11:34:52 -0500405 /* Store the initial negotiated ALPN in the session. */
Steven Valdez27a9e6a2017-02-14 13:20:40 -0500406 if (ssl->s3->alpn_selected != NULL) {
David Benjamin45738dd2017-02-09 20:01:26 -0500407 hs->new_session->early_alpn =
Steven Valdez27a9e6a2017-02-14 13:20:40 -0500408 BUF_memdup(ssl->s3->alpn_selected, ssl->s3->alpn_selected_len);
David Benjamin45738dd2017-02-09 20:01:26 -0500409 if (hs->new_session->early_alpn == NULL) {
Steven Valdez27a9e6a2017-02-14 13:20:40 -0500410 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
411 return ssl_hs_error;
412 }
David Benjamin45738dd2017-02-09 20:01:26 -0500413 hs->new_session->early_alpn_len = ssl->s3->alpn_selected_len;
Steven Valdez27a9e6a2017-02-14 13:20:40 -0500414 }
415
David Benjamin707af292017-03-10 17:47:18 -0500416 if (ssl->ctx->dos_protection_cb != NULL &&
417 ssl->ctx->dos_protection_cb(&client_hello) == 0) {
418 /* Connection rejected for DOS reasons. */
419 OPENSSL_PUT_ERROR(SSL, SSL_R_CONNECTION_REJECTED);
420 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
421 return ssl_hs_error;
422 }
423
David Benjamin8f820b42016-11-30 11:24:40 -0500424 /* Incorporate the PSK into the running secret. */
425 if (ssl->s3->session_reused) {
David Benjamin45738dd2017-02-09 20:01:26 -0500426 if (!tls13_advance_key_schedule(hs, hs->new_session->master_key,
427 hs->new_session->master_key_length)) {
David Benjamin8f820b42016-11-30 11:24:40 -0500428 return ssl_hs_error;
429 }
Steven Valdez908ac192017-01-12 13:17:07 -0500430 } else if (!tls13_advance_key_schedule(hs, kZeroes, hs->hash_len)) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400431 return ssl_hs_error;
432 }
433
Steven Valdez2d850622017-01-11 11:34:52 -0500434 if (ssl->early_data_accepted) {
435 if (!tls13_derive_early_secrets(hs)) {
436 return ssl_hs_error;
437 }
438 } else if (hs->early_data_offered) {
439 ssl->s3->skip_early_data = 1;
440 }
441
David Benjaminf01f42a2016-11-16 19:05:33 +0900442 ssl->method->received_flight(ssl);
443
Steven Valdez143e8b32016-07-11 13:19:03 -0400444 /* Resolve ECDHE and incorporate it into the secret. */
Steven Valdez5440fe02016-07-18 12:40:30 -0400445 int need_retry;
David Benjamin6e4fc332016-11-17 16:43:08 +0900446 if (!resolve_ecdhe_secret(hs, &need_retry, &client_hello)) {
Steven Valdez5440fe02016-07-18 12:40:30 -0400447 if (need_retry) {
Steven Valdez2d850622017-01-11 11:34:52 -0500448 ssl->early_data_accepted = 0;
449 ssl->s3->skip_early_data = 1;
David Benjamin3977f302016-12-11 13:30:41 -0500450 hs->tls13_state = state_send_hello_retry_request;
Steven Valdez5440fe02016-07-18 12:40:30 -0400451 return ssl_hs_ok;
Steven Valdez143e8b32016-07-11 13:19:03 -0400452 }
Steven Valdez5440fe02016-07-18 12:40:30 -0400453 return ssl_hs_error;
454 }
Steven Valdez143e8b32016-07-11 13:19:03 -0400455
David Benjamin3977f302016-12-11 13:30:41 -0500456 hs->tls13_state = state_send_server_hello;
Steven Valdez5440fe02016-07-18 12:40:30 -0400457 return ssl_hs_ok;
458}
Steven Valdez143e8b32016-07-11 13:19:03 -0400459
David Benjaminc3c88822016-11-14 10:32:04 +0900460static enum ssl_hs_wait_t do_send_hello_retry_request(SSL_HANDSHAKE *hs) {
461 SSL *const ssl = hs->ssl;
Steven Valdez5440fe02016-07-18 12:40:30 -0400462 CBB cbb, body, extensions;
463 uint16_t group_id;
464 if (!ssl->method->init_message(ssl, &cbb, &body,
465 SSL3_MT_HELLO_RETRY_REQUEST) ||
466 !CBB_add_u16(&body, ssl->version) ||
David Benjaminf3c8f8d2016-11-17 17:20:47 +0900467 !tls1_get_shared_group(hs, &group_id) ||
Steven Valdez5440fe02016-07-18 12:40:30 -0400468 !CBB_add_u16_length_prefixed(&body, &extensions) ||
David Benjamin3baa6e12016-10-07 21:10:38 -0400469 !CBB_add_u16(&extensions, TLSEXT_TYPE_key_share) ||
470 !CBB_add_u16(&extensions, 2 /* length */) ||
471 !CBB_add_u16(&extensions, group_id) ||
David Benjamindaf207a2017-01-03 18:37:41 -0500472 !ssl_add_message_cbb(ssl, &cbb)) {
Steven Valdez5440fe02016-07-18 12:40:30 -0400473 CBB_cleanup(&cbb);
474 return ssl_hs_error;
475 }
476
David Benjamin3977f302016-12-11 13:30:41 -0500477 hs->tls13_state = state_process_second_client_hello;
Steven Valdez5440fe02016-07-18 12:40:30 -0400478 return ssl_hs_flush_and_read_message;
479}
480
David Benjaminc3c88822016-11-14 10:32:04 +0900481static enum ssl_hs_wait_t do_process_second_client_hello(SSL_HANDSHAKE *hs) {
482 SSL *const ssl = hs->ssl;
David Benjamin276b7e82017-01-21 14:13:39 -0500483 if (!ssl_check_message_type(ssl, SSL3_MT_CLIENT_HELLO)) {
Steven Valdez5440fe02016-07-18 12:40:30 -0400484 return ssl_hs_error;
485 }
486
David Benjamin731058e2016-12-03 23:15:13 -0500487 SSL_CLIENT_HELLO client_hello;
488 if (!ssl_client_hello_init(ssl, &client_hello, ssl->init_msg,
489 ssl->init_num)) {
Steven Valdez5440fe02016-07-18 12:40:30 -0400490 OPENSSL_PUT_ERROR(SSL, SSL_R_CLIENTHELLO_PARSE_FAILED);
491 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
492 return ssl_hs_error;
493 }
494
495 int need_retry;
David Benjamin6e4fc332016-11-17 16:43:08 +0900496 if (!resolve_ecdhe_secret(hs, &need_retry, &client_hello)) {
Steven Valdez5440fe02016-07-18 12:40:30 -0400497 if (need_retry) {
498 /* Only send one HelloRetryRequest. */
499 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_ILLEGAL_PARAMETER);
500 OPENSSL_PUT_ERROR(SSL, SSL_R_WRONG_CURVE);
Steven Valdez143e8b32016-07-11 13:19:03 -0400501 }
Steven Valdez5440fe02016-07-18 12:40:30 -0400502 return ssl_hs_error;
503 }
504
Steven Valdez908ac192017-01-12 13:17:07 -0500505 if (!ssl_hash_current_message(hs)) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400506 return ssl_hs_error;
507 }
508
David Benjamin613fe3b2016-07-22 17:39:29 +0200509 ssl->method->received_flight(ssl);
David Benjamin3977f302016-12-11 13:30:41 -0500510 hs->tls13_state = state_send_server_hello;
Steven Valdez143e8b32016-07-11 13:19:03 -0400511 return ssl_hs_ok;
512}
513
David Benjaminc3c88822016-11-14 10:32:04 +0900514static enum ssl_hs_wait_t do_send_server_hello(SSL_HANDSHAKE *hs) {
515 SSL *const ssl = hs->ssl;
David Benjamin81b7bc32017-01-12 19:44:57 -0500516
517 /* Send a ServerHello. */
Steven Valdez520e1222017-06-13 12:45:25 -0400518 CBB cbb, body, extensions, session_id;
Steven Valdez143e8b32016-07-11 13:19:03 -0400519 if (!ssl->method->init_message(ssl, &cbb, &body, SSL3_MT_SERVER_HELLO) ||
520 !CBB_add_u16(&body, ssl->version) ||
521 !RAND_bytes(ssl->s3->server_random, sizeof(ssl->s3->server_random)) ||
522 !CBB_add_bytes(&body, ssl->s3->server_random, SSL3_RANDOM_SIZE) ||
Steven Valdez520e1222017-06-13 12:45:25 -0400523 (ssl->version == TLS1_3_EXPERIMENT_VERSION &&
524 (!CBB_add_u8_length_prefixed(&body, &session_id) ||
525 !CBB_add_bytes(&session_id, hs->session_id, hs->session_id_len))) ||
David Benjamin45738dd2017-02-09 20:01:26 -0500526 !CBB_add_u16(&body, ssl_cipher_get_value(hs->new_cipher)) ||
Steven Valdez520e1222017-06-13 12:45:25 -0400527 (ssl->version == TLS1_3_EXPERIMENT_VERSION && !CBB_add_u8(&body, 0)) ||
Steven Valdez143e8b32016-07-11 13:19:03 -0400528 !CBB_add_u16_length_prefixed(&body, &extensions) ||
David Benjamin8baf9632016-11-17 17:11:16 +0900529 !ssl_ext_pre_shared_key_add_serverhello(hs, &extensions) ||
Steven Valdez924a3522017-03-02 16:05:03 -0500530 !ssl_ext_key_share_add_serverhello(hs, &extensions) ||
531 !ssl_add_message_cbb(ssl, &cbb)) {
Steven Valdez803c77a2016-09-06 14:13:43 -0400532 goto err;
Steven Valdez143e8b32016-07-11 13:19:03 -0400533 }
534
Steven Valdez520e1222017-06-13 12:45:25 -0400535 if (ssl->version == TLS1_3_EXPERIMENT_VERSION &&
536 !ssl3_add_change_cipher_spec(ssl)) {
537 goto err;
538 }
539
David Benjamin81b7bc32017-01-12 19:44:57 -0500540 /* Derive and enable the handshake traffic secrets. */
Steven Valdez4cb84942016-12-16 11:29:28 -0500541 if (!tls13_derive_handshake_secrets(hs) ||
Steven Valdez4cb84942016-12-16 11:29:28 -0500542 !tls13_set_traffic_key(ssl, evp_aead_seal, hs->server_handshake_secret,
543 hs->hash_len)) {
David Benjamin81b7bc32017-01-12 19:44:57 -0500544 goto err;
Steven Valdez143e8b32016-07-11 13:19:03 -0400545 }
546
David Benjamin81b7bc32017-01-12 19:44:57 -0500547 /* Send EncryptedExtensions. */
Steven Valdez143e8b32016-07-11 13:19:03 -0400548 if (!ssl->method->init_message(ssl, &cbb, &body,
549 SSL3_MT_ENCRYPTED_EXTENSIONS) ||
David Benjamin8c880a22016-12-03 02:20:34 -0500550 !ssl_add_serverhello_tlsext(hs, &body) ||
David Benjamindaf207a2017-01-03 18:37:41 -0500551 !ssl_add_message_cbb(ssl, &cbb)) {
David Benjamin81b7bc32017-01-12 19:44:57 -0500552 goto err;
Steven Valdez143e8b32016-07-11 13:19:03 -0400553 }
554
David Benjaminc3648fa2017-07-01 10:50:56 -0400555 if (!ssl->s3->session_reused) {
556 /* Determine whether to request a client certificate. */
557 hs->cert_request = !!(ssl->verify_mode & SSL_VERIFY_PEER);
558 /* Only request a certificate if Channel ID isn't negotiated. */
559 if ((ssl->verify_mode & SSL_VERIFY_PEER_IF_NO_OBC) &&
560 ssl->s3->tlsext_channel_id_valid) {
561 hs->cert_request = 0;
562 }
Steven Valdez143e8b32016-07-11 13:19:03 -0400563 }
564
David Benjamin81b7bc32017-01-12 19:44:57 -0500565 /* Send a CertificateRequest, if necessary. */
566 if (hs->cert_request) {
567 CBB sigalgs_cbb;
568 if (!ssl->method->init_message(ssl, &cbb, &body,
569 SSL3_MT_CERTIFICATE_REQUEST) ||
David Benjamin69522112017-03-28 15:38:29 -0500570 !CBB_add_u8(&body, 0 /* no certificate_request_context. */) ||
571 !CBB_add_u16_length_prefixed(&body, &sigalgs_cbb) ||
572 !tls12_add_verify_sigalgs(ssl, &sigalgs_cbb) ||
573 !ssl_add_client_CA_list(ssl, &body) ||
David Benjamin81b7bc32017-01-12 19:44:57 -0500574 !CBB_add_u16(&body, 0 /* empty certificate_extensions. */) ||
575 !ssl_add_message_cbb(ssl, &cbb)) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400576 goto err;
577 }
578 }
579
David Benjamin81b7bc32017-01-12 19:44:57 -0500580 /* Send the server Certificate message, if necessary. */
581 if (!ssl->s3->session_reused) {
582 if (!ssl_has_certificate(ssl)) {
583 OPENSSL_PUT_ERROR(SSL, SSL_R_NO_CERTIFICATE_SET);
584 goto err;
585 }
586
David Benjamin0f24bed2017-01-12 19:46:50 -0500587 if (!tls13_add_certificate(hs)) {
David Benjamin81b7bc32017-01-12 19:44:57 -0500588 goto err;
589 }
590
591 hs->tls13_state = state_send_server_certificate_verify;
592 return ssl_hs_ok;
Steven Valdez143e8b32016-07-11 13:19:03 -0400593 }
594
David Benjamin81b7bc32017-01-12 19:44:57 -0500595 hs->tls13_state = state_send_server_finished;
David Benjamin25ac2512017-01-12 19:31:28 -0500596 return ssl_hs_ok;
Steven Valdez143e8b32016-07-11 13:19:03 -0400597
598err:
599 CBB_cleanup(&cbb);
600 return ssl_hs_error;
601}
602
David Benjamin44148742017-06-17 13:20:59 -0400603static enum ssl_hs_wait_t do_send_server_certificate_verify(SSL_HANDSHAKE *hs) {
604 switch (tls13_add_certificate_verify(hs)) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400605 case ssl_private_key_success:
David Benjamin3977f302016-12-11 13:30:41 -0500606 hs->tls13_state = state_send_server_finished;
David Benjamin25ac2512017-01-12 19:31:28 -0500607 return ssl_hs_ok;
Steven Valdez143e8b32016-07-11 13:19:03 -0400608
609 case ssl_private_key_retry:
David Benjamin44148742017-06-17 13:20:59 -0400610 hs->tls13_state = state_send_server_certificate_verify;
Steven Valdez143e8b32016-07-11 13:19:03 -0400611 return ssl_hs_private_key_operation;
612
613 case ssl_private_key_failure:
614 return ssl_hs_error;
615 }
616
617 assert(0);
618 return ssl_hs_error;
619}
620
David Benjaminc3c88822016-11-14 10:32:04 +0900621static enum ssl_hs_wait_t do_send_server_finished(SSL_HANDSHAKE *hs) {
David Benjaminc3c88822016-11-14 10:32:04 +0900622 SSL *const ssl = hs->ssl;
David Benjamin0f24bed2017-01-12 19:46:50 -0500623 if (!tls13_add_finished(hs) ||
David Benjamin25ac2512017-01-12 19:31:28 -0500624 /* Update the secret to the master secret and derive traffic keys. */
625 !tls13_advance_key_schedule(hs, kZeroes, hs->hash_len) ||
David Benjamin6e4fc332016-11-17 16:43:08 +0900626 !tls13_derive_application_secrets(hs) ||
Steven Valdeza833c352016-11-01 13:39:36 -0400627 !tls13_set_traffic_key(ssl, evp_aead_seal, hs->server_traffic_secret_0,
628 hs->hash_len)) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400629 return ssl_hs_error;
630 }
631
David Benjamin794cc592017-03-25 22:24:23 -0500632 if (ssl->early_data_accepted) {
633 /* If accepting 0-RTT, we send tickets half-RTT. This gets the tickets on
634 * the wire sooner and also avoids triggering a write on |SSL_read| when
635 * processing the client Finished. This requires computing the client
636 * Finished early. See draft-ietf-tls-tls13-18, section 4.5.1. */
637 size_t finished_len;
638 if (!tls13_finished_mac(hs, hs->expected_client_finished, &finished_len,
639 0 /* client */)) {
640 return ssl_hs_error;
641 }
642
643 if (finished_len != hs->hash_len) {
644 OPENSSL_PUT_ERROR(SSL, ERR_R_INTERNAL_ERROR);
645 return ssl_hs_error;
646 }
647
648 /* Feed the predicted Finished into the transcript. This allows us to derive
649 * the resumption secret early and send half-RTT tickets.
650 *
651 * TODO(davidben): This will need to be updated for DTLS 1.3. */
652 assert(!SSL_is_dtls(hs->ssl));
653 uint8_t header[4] = {SSL3_MT_FINISHED, 0, 0, hs->hash_len};
654 if (!SSL_TRANSCRIPT_update(&hs->transcript, header, sizeof(header)) ||
655 !SSL_TRANSCRIPT_update(&hs->transcript, hs->expected_client_finished,
656 hs->hash_len) ||
657 !tls13_derive_resumption_secret(hs) ||
658 !add_new_session_tickets(hs)) {
659 return ssl_hs_error;
660 }
661 }
662
Steven Valdez2d850622017-01-11 11:34:52 -0500663 hs->tls13_state = state_read_second_client_flight;
664 return ssl_hs_flush;
665}
666
667static enum ssl_hs_wait_t do_read_second_client_flight(SSL_HANDSHAKE *hs) {
668 SSL *const ssl = hs->ssl;
669 if (ssl->early_data_accepted) {
670 if (!tls13_set_traffic_key(ssl, evp_aead_open, hs->early_traffic_secret,
671 hs->hash_len)) {
672 return ssl_hs_error;
673 }
Steven Valdez681eb6a2016-12-19 13:19:29 -0500674 hs->can_early_write = 1;
675 hs->can_early_read = 1;
Steven Valdeze831a812017-03-09 14:56:07 -0500676 hs->in_early_data = 1;
Steven Valdez2d850622017-01-11 11:34:52 -0500677 hs->tls13_state = state_process_end_of_early_data;
678 return ssl_hs_read_end_of_early_data;
679 }
Steven Valdez2d850622017-01-11 11:34:52 -0500680 hs->tls13_state = state_process_end_of_early_data;
681 return ssl_hs_ok;
682}
683
684static enum ssl_hs_wait_t do_process_end_of_early_data(SSL_HANDSHAKE *hs) {
Steven Valdez520e1222017-06-13 12:45:25 -0400685 hs->tls13_state = state_process_change_cipher_spec;
686 /* If early data was accepted, the ChangeCipherSpec message will be in the
687 * discarded early data. */
688 if (hs->early_data_offered && !hs->ssl->early_data_accepted) {
689 return ssl_hs_ok;
690 }
691 return hs->ssl->version == TLS1_3_EXPERIMENT_VERSION
692 ? ssl_hs_read_change_cipher_spec
693 : ssl_hs_ok;
694}
695
696static enum ssl_hs_wait_t do_process_change_cipher_spec(SSL_HANDSHAKE *hs) {
Steven Valdez2d850622017-01-11 11:34:52 -0500697 SSL *const ssl = hs->ssl;
698 if (!tls13_set_traffic_key(ssl, evp_aead_open, hs->client_handshake_secret,
699 hs->hash_len)) {
700 return ssl_hs_error;
701 }
David Benjamin794cc592017-03-25 22:24:23 -0500702 hs->tls13_state = ssl->early_data_accepted ? state_process_client_finished
703 : state_process_client_certificate;
Steven Valdez2d850622017-01-11 11:34:52 -0500704 return ssl_hs_read_message;
Steven Valdez143e8b32016-07-11 13:19:03 -0400705}
706
David Benjaminc3c88822016-11-14 10:32:04 +0900707static enum ssl_hs_wait_t do_process_client_certificate(SSL_HANDSHAKE *hs) {
708 SSL *const ssl = hs->ssl;
709 if (!hs->cert_request) {
Adam Langley37646832016-08-01 16:16:46 -0700710 /* OpenSSL returns X509_V_OK when no certificates are requested. This is
David Benjamindd634eb2016-08-18 16:40:28 -0400711 * classed by them as a bug, but it's assumed by at least NGINX. */
David Benjamin45738dd2017-02-09 20:01:26 -0500712 hs->new_session->verify_result = X509_V_OK;
Adam Langley37646832016-08-01 16:16:46 -0700713
Steven Valdez143e8b32016-07-11 13:19:03 -0400714 /* Skip this state. */
David Benjamin3977f302016-12-11 13:30:41 -0500715 hs->tls13_state = state_process_channel_id;
Steven Valdez143e8b32016-07-11 13:19:03 -0400716 return ssl_hs_ok;
717 }
718
David Benjamin4087df92016-08-01 20:16:31 -0400719 const int allow_anonymous =
720 (ssl->verify_mode & SSL_VERIFY_FAIL_IF_NO_PEER_CERT) == 0;
721
David Benjamin276b7e82017-01-21 14:13:39 -0500722 if (!ssl_check_message_type(ssl, SSL3_MT_CERTIFICATE) ||
Adam Langley0c294252016-12-12 11:46:09 -0800723 !tls13_process_certificate(hs, allow_anonymous) ||
Steven Valdez908ac192017-01-12 13:17:07 -0500724 !ssl_hash_current_message(hs)) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400725 return ssl_hs_error;
726 }
727
David Benjamin3977f302016-12-11 13:30:41 -0500728 hs->tls13_state = state_process_client_certificate_verify;
Steven Valdez143e8b32016-07-11 13:19:03 -0400729 return ssl_hs_read_message;
730}
731
732static enum ssl_hs_wait_t do_process_client_certificate_verify(
David Benjaminc3c88822016-11-14 10:32:04 +0900733 SSL_HANDSHAKE *hs) {
734 SSL *const ssl = hs->ssl;
David Benjamin45738dd2017-02-09 20:01:26 -0500735 if (sk_CRYPTO_BUFFER_num(hs->new_session->certs) == 0) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400736 /* Skip this state. */
David Benjamin3977f302016-12-11 13:30:41 -0500737 hs->tls13_state = state_process_channel_id;
Steven Valdez143e8b32016-07-11 13:19:03 -0400738 return ssl_hs_ok;
739 }
740
David Benjamin276b7e82017-01-21 14:13:39 -0500741 if (!ssl_check_message_type(ssl, SSL3_MT_CERTIFICATE_VERIFY) ||
Adam Langley0c294252016-12-12 11:46:09 -0800742 !tls13_process_certificate_verify(hs) ||
Steven Valdez908ac192017-01-12 13:17:07 -0500743 !ssl_hash_current_message(hs)) {
David Benjamin6929f272016-11-16 19:10:08 +0900744 return ssl_hs_error;
Steven Valdez143e8b32016-07-11 13:19:03 -0400745 }
746
David Benjamin3977f302016-12-11 13:30:41 -0500747 hs->tls13_state = state_process_channel_id;
Nick Harper60a85cb2016-09-23 16:25:11 -0700748 return ssl_hs_read_message;
749}
750
David Benjaminc3c88822016-11-14 10:32:04 +0900751static enum ssl_hs_wait_t do_process_channel_id(SSL_HANDSHAKE *hs) {
Steven Valdez908ac192017-01-12 13:17:07 -0500752 if (!hs->ssl->s3->tlsext_channel_id_valid) {
David Benjamin3977f302016-12-11 13:30:41 -0500753 hs->tls13_state = state_process_client_finished;
Nick Harper60a85cb2016-09-23 16:25:11 -0700754 return ssl_hs_ok;
755 }
756
Steven Valdez908ac192017-01-12 13:17:07 -0500757 if (!ssl_check_message_type(hs->ssl, SSL3_MT_CHANNEL_ID) ||
758 !tls1_verify_channel_id(hs) ||
759 !ssl_hash_current_message(hs)) {
Nick Harper60a85cb2016-09-23 16:25:11 -0700760 return ssl_hs_error;
761 }
762
David Benjamin3977f302016-12-11 13:30:41 -0500763 hs->tls13_state = state_process_client_finished;
Steven Valdez143e8b32016-07-11 13:19:03 -0400764 return ssl_hs_read_message;
765}
766
David Benjaminc3c88822016-11-14 10:32:04 +0900767static enum ssl_hs_wait_t do_process_client_finished(SSL_HANDSHAKE *hs) {
768 SSL *const ssl = hs->ssl;
David Benjamin276b7e82017-01-21 14:13:39 -0500769 if (!ssl_check_message_type(ssl, SSL3_MT_FINISHED) ||
David Benjamin794cc592017-03-25 22:24:23 -0500770 /* If early data was accepted, we've already computed the client Finished
771 * and derived the resumption secret. */
772 !tls13_process_finished(hs, ssl->early_data_accepted) ||
Steven Valdez143e8b32016-07-11 13:19:03 -0400773 /* evp_aead_seal keys have already been switched. */
Steven Valdeza833c352016-11-01 13:39:36 -0400774 !tls13_set_traffic_key(ssl, evp_aead_open, hs->client_traffic_secret_0,
David Benjamin794cc592017-03-25 22:24:23 -0500775 hs->hash_len)) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400776 return ssl_hs_error;
777 }
778
David Benjamin613fe3b2016-07-22 17:39:29 +0200779 ssl->method->received_flight(ssl);
David Benjamin123db572016-11-03 16:59:25 -0400780
David Benjamin794cc592017-03-25 22:24:23 -0500781 if (!ssl->early_data_accepted) {
782 if (!ssl_hash_current_message(hs) ||
783 !tls13_derive_resumption_secret(hs)) {
784 return ssl_hs_error;
785 }
786
787 /* We send post-handshake tickets as part of the handshake in 1-RTT. */
788 hs->tls13_state = state_send_new_session_ticket;
789 return ssl_hs_ok;
790 }
791
792 hs->tls13_state = state_done;
Steven Valdez143e8b32016-07-11 13:19:03 -0400793 return ssl_hs_ok;
794}
795
David Benjaminc3c88822016-11-14 10:32:04 +0900796static enum ssl_hs_wait_t do_send_new_session_ticket(SSL_HANDSHAKE *hs) {
Steven Valdeza833c352016-11-01 13:39:36 -0400797 /* If the client doesn't accept resumption with PSK_DHE_KE, don't send a
798 * session ticket. */
799 if (!hs->accept_psk_mode) {
David Benjamin3977f302016-12-11 13:30:41 -0500800 hs->tls13_state = state_done;
Steven Valdeza833c352016-11-01 13:39:36 -0400801 return ssl_hs_ok;
802 }
803
David Benjamin794cc592017-03-25 22:24:23 -0500804 if (!add_new_session_tickets(hs)) {
805 return ssl_hs_error;
Steven Valdez08b65f42016-12-07 15:29:45 -0500806 }
807
David Benjamin25ac2512017-01-12 19:31:28 -0500808 hs->tls13_state = state_done;
809 return ssl_hs_flush;
Steven Valdez1e6f11a2016-07-27 11:10:52 -0400810}
811
David Benjaminc3c88822016-11-14 10:32:04 +0900812enum ssl_hs_wait_t tls13_server_handshake(SSL_HANDSHAKE *hs) {
David Benjamin3977f302016-12-11 13:30:41 -0500813 while (hs->tls13_state != state_done) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400814 enum ssl_hs_wait_t ret = ssl_hs_error;
David Benjamin3977f302016-12-11 13:30:41 -0500815 enum server_hs_state_t state = hs->tls13_state;
Steven Valdez143e8b32016-07-11 13:19:03 -0400816 switch (state) {
David Benjamin25fe85b2016-08-09 20:00:32 -0400817 case state_select_parameters:
David Benjaminc3c88822016-11-14 10:32:04 +0900818 ret = do_select_parameters(hs);
David Benjamin25fe85b2016-08-09 20:00:32 -0400819 break;
David Benjamin707af292017-03-10 17:47:18 -0500820 case state_select_session:
821 ret = do_select_session(hs);
822 break;
Steven Valdez5440fe02016-07-18 12:40:30 -0400823 case state_send_hello_retry_request:
David Benjaminc3c88822016-11-14 10:32:04 +0900824 ret = do_send_hello_retry_request(hs);
Steven Valdez5440fe02016-07-18 12:40:30 -0400825 break;
Steven Valdez5440fe02016-07-18 12:40:30 -0400826 case state_process_second_client_hello:
David Benjaminc3c88822016-11-14 10:32:04 +0900827 ret = do_process_second_client_hello(hs);
Steven Valdez5440fe02016-07-18 12:40:30 -0400828 break;
Steven Valdez143e8b32016-07-11 13:19:03 -0400829 case state_send_server_hello:
David Benjaminc3c88822016-11-14 10:32:04 +0900830 ret = do_send_server_hello(hs);
Steven Valdez143e8b32016-07-11 13:19:03 -0400831 break;
Steven Valdez143e8b32016-07-11 13:19:03 -0400832 case state_send_server_certificate_verify:
David Benjamin44148742017-06-17 13:20:59 -0400833 ret = do_send_server_certificate_verify(hs);
Steven Valdez2d850622017-01-11 11:34:52 -0500834 break;
Steven Valdez143e8b32016-07-11 13:19:03 -0400835 case state_send_server_finished:
David Benjaminc3c88822016-11-14 10:32:04 +0900836 ret = do_send_server_finished(hs);
Steven Valdez143e8b32016-07-11 13:19:03 -0400837 break;
Steven Valdez2d850622017-01-11 11:34:52 -0500838 case state_read_second_client_flight:
839 ret = do_read_second_client_flight(hs);
840 break;
841 case state_process_end_of_early_data:
842 ret = do_process_end_of_early_data(hs);
843 break;
Steven Valdez520e1222017-06-13 12:45:25 -0400844 case state_process_change_cipher_spec:
845 ret = do_process_change_cipher_spec(hs);
846 break;
Steven Valdez143e8b32016-07-11 13:19:03 -0400847 case state_process_client_certificate:
David Benjaminc3c88822016-11-14 10:32:04 +0900848 ret = do_process_client_certificate(hs);
Steven Valdez143e8b32016-07-11 13:19:03 -0400849 break;
850 case state_process_client_certificate_verify:
David Benjaminc3c88822016-11-14 10:32:04 +0900851 ret = do_process_client_certificate_verify(hs);
Steven Valdez143e8b32016-07-11 13:19:03 -0400852 break;
Nick Harper60a85cb2016-09-23 16:25:11 -0700853 case state_process_channel_id:
David Benjaminc3c88822016-11-14 10:32:04 +0900854 ret = do_process_channel_id(hs);
Nick Harper60a85cb2016-09-23 16:25:11 -0700855 break;
Steven Valdez143e8b32016-07-11 13:19:03 -0400856 case state_process_client_finished:
David Benjaminc3c88822016-11-14 10:32:04 +0900857 ret = do_process_client_finished(hs);
Steven Valdez143e8b32016-07-11 13:19:03 -0400858 break;
Steven Valdez1e6f11a2016-07-27 11:10:52 -0400859 case state_send_new_session_ticket:
David Benjaminc3c88822016-11-14 10:32:04 +0900860 ret = do_send_new_session_ticket(hs);
Steven Valdez1e6f11a2016-07-27 11:10:52 -0400861 break;
Steven Valdez143e8b32016-07-11 13:19:03 -0400862 case state_done:
863 ret = ssl_hs_ok;
864 break;
865 }
866
867 if (ret != ssl_hs_ok) {
868 return ret;
869 }
870 }
871
872 return ssl_hs_ok;
873}