blob: 0db16d94be8be9f9c0f3db920548f4879ccddfe2 [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
28#include "internal.h"
29
30
31enum server_hs_state_t {
32 state_process_client_hello = 0,
David Benjamin25fe85b2016-08-09 20:00:32 -040033 state_select_parameters,
Steven Valdez5440fe02016-07-18 12:40:30 -040034 state_send_hello_retry_request,
35 state_flush_hello_retry_request,
36 state_process_second_client_hello,
Steven Valdez143e8b32016-07-11 13:19:03 -040037 state_send_server_hello,
38 state_send_encrypted_extensions,
39 state_send_certificate_request,
40 state_send_server_certificate,
41 state_send_server_certificate_verify,
42 state_complete_server_certificate_verify,
43 state_send_server_finished,
44 state_flush,
Steven Valdez143e8b32016-07-11 13:19:03 -040045 state_process_client_certificate,
46 state_process_client_certificate_verify,
Nick Harper60a85cb2016-09-23 16:25:11 -070047 state_process_channel_id,
Steven Valdez143e8b32016-07-11 13:19:03 -040048 state_process_client_finished,
Steven Valdez1e6f11a2016-07-27 11:10:52 -040049 state_send_new_session_ticket,
David Benjamin0a011fc2016-11-03 17:19:16 -040050 state_flush_new_session_tickets,
Steven Valdez143e8b32016-07-11 13:19:03 -040051 state_done,
52};
53
Steven Valdez5440fe02016-07-18 12:40:30 -040054static const uint8_t kZeroes[EVP_MAX_MD_SIZE] = {0};
55
Steven Valdez5440fe02016-07-18 12:40:30 -040056static int resolve_ecdhe_secret(SSL *ssl, int *out_need_retry,
57 struct ssl_early_callback_ctx *early_ctx) {
58 *out_need_retry = 0;
Steven Valdez5440fe02016-07-18 12:40:30 -040059
Steven Valdez803c77a2016-09-06 14:13:43 -040060 /* We only support connections that include an ECDHE key exchange. */
Steven Valdez5440fe02016-07-18 12:40:30 -040061 CBS key_share;
David Benjamincec73442016-08-02 17:41:33 -040062 if (!ssl_early_callback_get_extension(early_ctx, &key_share,
63 TLSEXT_TYPE_key_share)) {
Steven Valdez5440fe02016-07-18 12:40:30 -040064 OPENSSL_PUT_ERROR(SSL, SSL_R_MISSING_KEY_SHARE);
65 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_MISSING_EXTENSION);
66 return ssl_hs_error;
67 }
68
Steven Valdez5440fe02016-07-18 12:40:30 -040069 int found_key_share;
70 uint8_t *dhe_secret;
71 size_t dhe_secret_len;
David Benjamin7e1f9842016-09-20 19:24:40 -040072 uint8_t alert = SSL_AD_DECODE_ERROR;
Steven Valdez7259f2f2016-08-02 16:55:05 -040073 if (!ssl_ext_key_share_parse_clienthello(ssl, &found_key_share, &dhe_secret,
74 &dhe_secret_len, &alert,
75 &key_share)) {
Steven Valdez5440fe02016-07-18 12:40:30 -040076 ssl3_send_alert(ssl, SSL3_AL_FATAL, alert);
77 return 0;
78 }
79
80 if (!found_key_share) {
81 *out_need_retry = 1;
82 return 0;
83 }
84
85 int ok = tls13_advance_key_schedule(ssl, dhe_secret, dhe_secret_len);
86 OPENSSL_free(dhe_secret);
87 return ok;
88}
89
Steven Valdez143e8b32016-07-11 13:19:03 -040090static enum ssl_hs_wait_t do_process_client_hello(SSL *ssl, SSL_HANDSHAKE *hs) {
91 if (!tls13_check_message_type(ssl, SSL3_MT_CLIENT_HELLO)) {
92 return ssl_hs_error;
93 }
94
David Benjamine14ff062016-08-09 16:21:24 -040095 struct ssl_early_callback_ctx client_hello;
96 if (!ssl_early_callback_init(ssl, &client_hello, ssl->init_msg,
David Benjamind7573dc2016-07-20 19:05:22 +020097 ssl->init_num)) {
Steven Valdez143e8b32016-07-11 13:19:03 -040098 OPENSSL_PUT_ERROR(SSL, SSL_R_CLIENTHELLO_PARSE_FAILED);
99 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
100 return ssl_hs_error;
101 }
102
Steven Valdez143e8b32016-07-11 13:19:03 -0400103 assert(ssl->s3->have_version);
104
105 /* Load the client random. */
David Benjamine14ff062016-08-09 16:21:24 -0400106 if (client_hello.random_len != SSL3_RANDOM_SIZE) {
107 OPENSSL_PUT_ERROR(SSL, ERR_R_INTERNAL_ERROR);
108 return -1;
109 }
110 memcpy(ssl->s3->client_random, client_hello.random, client_hello.random_len);
Steven Valdez143e8b32016-07-11 13:19:03 -0400111
Steven Valdez4aa154e2016-07-29 14:32:55 -0400112 uint8_t alert = SSL_AD_DECODE_ERROR;
Steven Valdeza833c352016-11-01 13:39:36 -0400113 CBS psk_key_exchange_modes;
114 if (ssl_early_callback_get_extension(&client_hello, &psk_key_exchange_modes,
115 TLSEXT_TYPE_psk_key_exchange_modes) &&
116 !ssl_ext_psk_key_exchange_modes_parse_clienthello(
117 ssl, &alert, &psk_key_exchange_modes)) {
Steven Valdez4aa154e2016-07-29 14:32:55 -0400118 ssl3_send_alert(ssl, SSL3_AL_FATAL, alert);
119 return 0;
120 }
121
Steven Valdeza833c352016-11-01 13:39:36 -0400122 SSL_SESSION *session = NULL;
123 CBS binders;
124 if (hs->accept_psk_mode) {
125 CBS pre_shared_key;
126 if (ssl_early_callback_get_extension(&client_hello, &pre_shared_key,
127 TLSEXT_TYPE_pre_shared_key)) {
128 /* Verify that the pre_shared_key extension is the last extension in
129 * ClientHello. */
130 if (CBS_data(&pre_shared_key) + CBS_len(&pre_shared_key) !=
131 client_hello.extensions + client_hello.extensions_len) {
132 OPENSSL_PUT_ERROR(SSL, SSL_R_PRE_SHARED_KEY_MUST_BE_LAST);
133 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_ILLEGAL_PARAMETER);
134 return 0;
135 }
136
137 if (!ssl_ext_pre_shared_key_parse_clienthello(ssl, &session, &binders,
138 &alert, &pre_shared_key)) {
139 ssl3_send_alert(ssl, SSL3_AL_FATAL, alert);
140 return 0;
141 }
142 }
143 }
144
Steven Valdez4aa154e2016-07-29 14:32:55 -0400145 if (session != NULL &&
Steven Valdez5b986082016-09-01 12:29:49 -0400146 /* Only resume if the session's version matches. */
147 (session->ssl_version != ssl->version ||
Steven Valdez803c77a2016-09-06 14:13:43 -0400148 !ssl_client_cipher_list_contains_cipher(
Steven Valdezb6b6ff32016-10-26 11:56:35 -0400149 &client_hello, (uint16_t)SSL_CIPHER_get_id(session->cipher)) ||
150 !ssl_is_valid_cipher(ssl, session->cipher))) {
Steven Valdez4aa154e2016-07-29 14:32:55 -0400151 SSL_SESSION_free(session);
152 session = NULL;
153 }
154
155 if (session == NULL) {
156 if (!ssl_get_new_session(ssl, 1 /* server */)) {
157 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
158 return ssl_hs_error;
159 }
160 } else {
Steven Valdeza833c352016-11-01 13:39:36 -0400161 /* Check the PSK binder. */
162 if (!tls13_verify_psk_binder(ssl, session, &binders)) {
163 SSL_SESSION_free(session);
164 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECRYPT_ERROR);
165 return ssl_hs_error;
166 }
167
Steven Valdez4aa154e2016-07-29 14:32:55 -0400168 /* Only authentication information carries over in TLS 1.3. */
169 ssl->s3->new_session = SSL_SESSION_dup(session, SSL_SESSION_DUP_AUTH_ONLY);
170 if (ssl->s3->new_session == NULL) {
171 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
172 return ssl_hs_error;
173 }
174 ssl->s3->session_reused = 1;
Steven Valdez4aa154e2016-07-29 14:32:55 -0400175 SSL_SESSION_free(session);
Steven Valdez143e8b32016-07-11 13:19:03 -0400176 }
177
178 if (ssl->ctx->dos_protection_cb != NULL &&
David Benjamine14ff062016-08-09 16:21:24 -0400179 ssl->ctx->dos_protection_cb(&client_hello) == 0) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400180 /* Connection rejected for DOS reasons. */
181 OPENSSL_PUT_ERROR(SSL, SSL_R_CONNECTION_REJECTED);
David Benjamin2c66e072016-09-16 15:58:00 -0400182 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
Steven Valdez143e8b32016-07-11 13:19:03 -0400183 return ssl_hs_error;
184 }
185
Steven Valdez143e8b32016-07-11 13:19:03 -0400186 /* TLS 1.3 requires the peer only advertise the null compression. */
David Benjamine14ff062016-08-09 16:21:24 -0400187 if (client_hello.compression_methods_len != 1 ||
188 client_hello.compression_methods[0] != 0) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400189 OPENSSL_PUT_ERROR(SSL, SSL_R_INVALID_COMPRESSION_LIST);
190 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_ILLEGAL_PARAMETER);
191 return ssl_hs_error;
192 }
193
194 /* TLS extensions. */
David Benjamine14ff062016-08-09 16:21:24 -0400195 if (!ssl_parse_clienthello_tlsext(ssl, &client_hello)) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400196 OPENSSL_PUT_ERROR(SSL, SSL_R_PARSE_TLSEXT);
197 return ssl_hs_error;
198 }
199
David Benjamin25fe85b2016-08-09 20:00:32 -0400200 hs->state = state_select_parameters;
201 return ssl_hs_ok;
202}
203
David Benjaminabbbee12016-10-31 19:20:42 -0400204static const SSL_CIPHER *choose_tls13_cipher(
205 const SSL *ssl, const struct ssl_early_callback_ctx *client_hello) {
206 if (client_hello->cipher_suites_len % 2 != 0) {
207 return NULL;
208 }
209
210 CBS cipher_suites;
211 CBS_init(&cipher_suites, client_hello->cipher_suites,
212 client_hello->cipher_suites_len);
213
214 const int aes_is_fine = EVP_has_aes_hardware();
215
216 const SSL_CIPHER *best = NULL;
217 while (CBS_len(&cipher_suites) > 0) {
218 uint16_t cipher_suite;
219 if (!CBS_get_u16(&cipher_suites, &cipher_suite)) {
220 return NULL;
221 }
222
223 const SSL_CIPHER *candidate = SSL_get_cipher_by_value(cipher_suite);
224 if (candidate == NULL || !ssl_is_valid_cipher(ssl, candidate)) {
225 continue;
226 }
227
228 /* TLS 1.3 removes legacy ciphers, so honor the client order, but prefer
229 * ChaCha20 if we do not have AES hardware. */
230 if (aes_is_fine) {
231 return candidate;
232 }
233
234 if (candidate->algorithm_enc == SSL_CHACHA20POLY1305) {
235 return candidate;
236 }
237
238 if (best == NULL) {
239 best = candidate;
240 }
241 }
242
243 return best;
244}
245
David Benjamin25fe85b2016-08-09 20:00:32 -0400246static enum ssl_hs_wait_t do_select_parameters(SSL *ssl, SSL_HANDSHAKE *hs) {
Steven Valdez4aa154e2016-07-29 14:32:55 -0400247 if (!ssl->s3->session_reused) {
248 /* Call |cert_cb| to update server certificates if required. */
249 if (ssl->cert->cert_cb != NULL) {
250 int rv = ssl->cert->cert_cb(ssl, ssl->cert->cert_cb_arg);
251 if (rv == 0) {
252 OPENSSL_PUT_ERROR(SSL, SSL_R_CERT_CB_ERROR);
253 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
254 return ssl_hs_error;
255 }
256 if (rv < 0) {
257 hs->state = state_select_parameters;
258 return ssl_hs_x509_lookup;
259 }
Steven Valdez143e8b32016-07-11 13:19:03 -0400260 }
261 }
262
David Benjamin25fe85b2016-08-09 20:00:32 -0400263 struct ssl_early_callback_ctx client_hello;
264 if (!ssl_early_callback_init(ssl, &client_hello, ssl->init_msg,
265 ssl->init_num)) {
266 OPENSSL_PUT_ERROR(SSL, SSL_R_CLIENTHELLO_PARSE_FAILED);
267 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
268 return ssl_hs_error;
269 }
270
Steven Valdez4aa154e2016-07-29 14:32:55 -0400271 if (!ssl->s3->session_reused) {
David Benjaminabbbee12016-10-31 19:20:42 -0400272 const SSL_CIPHER *cipher = choose_tls13_cipher(ssl, &client_hello);
Steven Valdez4aa154e2016-07-29 14:32:55 -0400273 if (cipher == NULL) {
274 OPENSSL_PUT_ERROR(SSL, SSL_R_NO_SHARED_CIPHER);
275 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_HANDSHAKE_FAILURE);
276 return ssl_hs_error;
277 }
Steven Valdez143e8b32016-07-11 13:19:03 -0400278
Steven Valdez4aa154e2016-07-29 14:32:55 -0400279 ssl->s3->new_session->cipher = cipher;
Steven Valdez4aa154e2016-07-29 14:32:55 -0400280 }
Steven Valdez143e8b32016-07-11 13:19:03 -0400281
Steven Valdez803c77a2016-09-06 14:13:43 -0400282 ssl->s3->tmp.new_cipher = ssl->s3->new_session->cipher;
David Benjamin613fe3b2016-07-22 17:39:29 +0200283 ssl->method->received_flight(ssl);
284
David Benjamin9ef31f02016-10-31 18:01:13 -0400285 /* Resolve ALPN after the cipher suite is selected. HTTP/2 negotiation depends
286 * on the cipher suite. */
287 uint8_t alert;
288 if (!ssl_negotiate_alpn(ssl, &alert, &client_hello)) {
289 ssl3_send_alert(ssl, SSL3_AL_FATAL, alert);
290 return ssl_hs_error;
291 }
Steven Valdez803c77a2016-09-06 14:13:43 -0400292
293 /* The PRF hash is now known. */
294 size_t hash_len =
Steven Valdez143e8b32016-07-11 13:19:03 -0400295 EVP_MD_size(ssl_get_handshake_digest(ssl_get_algorithm_prf(ssl)));
Steven Valdez803c77a2016-09-06 14:13:43 -0400296
297 /* Derive resumption material. */
Steven Valdez803c77a2016-09-06 14:13:43 -0400298 uint8_t psk_secret[EVP_MAX_MD_SIZE] = {0};
Steven Valdez4aa154e2016-07-29 14:32:55 -0400299 if (ssl->s3->session_reused) {
Steven Valdeza833c352016-11-01 13:39:36 -0400300 if (hash_len != (size_t) ssl->s3->new_session->master_key_length) {
Steven Valdez4aa154e2016-07-29 14:32:55 -0400301 return ssl_hs_error;
302 }
Steven Valdeza833c352016-11-01 13:39:36 -0400303 memcpy(psk_secret, ssl->s3->new_session->master_key, hash_len);
Steven Valdez143e8b32016-07-11 13:19:03 -0400304 }
305
Steven Valdez803c77a2016-09-06 14:13:43 -0400306 /* Set up the key schedule, hash in the ClientHello, and incorporate the PSK
307 * into the running secret. */
Steven Valdeza833c352016-11-01 13:39:36 -0400308 if (!tls13_init_key_schedule(ssl) ||
Steven Valdez803c77a2016-09-06 14:13:43 -0400309 !tls13_advance_key_schedule(ssl, psk_secret, hash_len)) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400310 return ssl_hs_error;
311 }
312
313 /* Resolve ECDHE and incorporate it into the secret. */
Steven Valdez5440fe02016-07-18 12:40:30 -0400314 int need_retry;
David Benjamine14ff062016-08-09 16:21:24 -0400315 if (!resolve_ecdhe_secret(ssl, &need_retry, &client_hello)) {
Steven Valdez5440fe02016-07-18 12:40:30 -0400316 if (need_retry) {
317 hs->state = state_send_hello_retry_request;
318 return ssl_hs_ok;
Steven Valdez143e8b32016-07-11 13:19:03 -0400319 }
Steven Valdez5440fe02016-07-18 12:40:30 -0400320 return ssl_hs_error;
321 }
Steven Valdez143e8b32016-07-11 13:19:03 -0400322
Steven Valdez5440fe02016-07-18 12:40:30 -0400323 hs->state = state_send_server_hello;
324 return ssl_hs_ok;
325}
Steven Valdez143e8b32016-07-11 13:19:03 -0400326
Steven Valdez5440fe02016-07-18 12:40:30 -0400327static enum ssl_hs_wait_t do_send_hello_retry_request(SSL *ssl,
328 SSL_HANDSHAKE *hs) {
329 CBB cbb, body, extensions;
330 uint16_t group_id;
331 if (!ssl->method->init_message(ssl, &cbb, &body,
332 SSL3_MT_HELLO_RETRY_REQUEST) ||
333 !CBB_add_u16(&body, ssl->version) ||
Steven Valdez5440fe02016-07-18 12:40:30 -0400334 !tls1_get_shared_group(ssl, &group_id) ||
Steven Valdez5440fe02016-07-18 12:40:30 -0400335 !CBB_add_u16_length_prefixed(&body, &extensions) ||
David Benjamin3baa6e12016-10-07 21:10:38 -0400336 !CBB_add_u16(&extensions, TLSEXT_TYPE_key_share) ||
337 !CBB_add_u16(&extensions, 2 /* length */) ||
338 !CBB_add_u16(&extensions, group_id) ||
Steven Valdez5eead162016-11-11 22:23:25 -0500339 !ssl_complete_message(ssl, &cbb)) {
Steven Valdez5440fe02016-07-18 12:40:30 -0400340 CBB_cleanup(&cbb);
341 return ssl_hs_error;
342 }
343
344 hs->state = state_flush_hello_retry_request;
345 return ssl_hs_write_message;
346}
347
348static enum ssl_hs_wait_t do_flush_hello_retry_request(SSL *ssl,
349 SSL_HANDSHAKE *hs) {
350 hs->state = state_process_second_client_hello;
351 return ssl_hs_flush_and_read_message;
352}
353
354static enum ssl_hs_wait_t do_process_second_client_hello(SSL *ssl,
355 SSL_HANDSHAKE *hs) {
356 if (!tls13_check_message_type(ssl, SSL3_MT_CLIENT_HELLO)) {
357 return ssl_hs_error;
358 }
359
David Benjamine14ff062016-08-09 16:21:24 -0400360 struct ssl_early_callback_ctx client_hello;
361 if (!ssl_early_callback_init(ssl, &client_hello, ssl->init_msg,
David Benjamind7573dc2016-07-20 19:05:22 +0200362 ssl->init_num)) {
Steven Valdez5440fe02016-07-18 12:40:30 -0400363 OPENSSL_PUT_ERROR(SSL, SSL_R_CLIENTHELLO_PARSE_FAILED);
364 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
365 return ssl_hs_error;
366 }
367
368 int need_retry;
David Benjamine14ff062016-08-09 16:21:24 -0400369 if (!resolve_ecdhe_secret(ssl, &need_retry, &client_hello)) {
Steven Valdez5440fe02016-07-18 12:40:30 -0400370 if (need_retry) {
371 /* Only send one HelloRetryRequest. */
372 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_ILLEGAL_PARAMETER);
373 OPENSSL_PUT_ERROR(SSL, SSL_R_WRONG_CURVE);
Steven Valdez143e8b32016-07-11 13:19:03 -0400374 }
Steven Valdez5440fe02016-07-18 12:40:30 -0400375 return ssl_hs_error;
376 }
377
David Benjaminced94792016-11-14 17:12:11 +0900378 if (!ssl_hash_current_message(ssl)) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400379 return ssl_hs_error;
380 }
381
David Benjamin613fe3b2016-07-22 17:39:29 +0200382 ssl->method->received_flight(ssl);
Steven Valdez143e8b32016-07-11 13:19:03 -0400383 hs->state = state_send_server_hello;
384 return ssl_hs_ok;
385}
386
387static enum ssl_hs_wait_t do_send_server_hello(SSL *ssl, SSL_HANDSHAKE *hs) {
388 CBB cbb, body, extensions;
389 if (!ssl->method->init_message(ssl, &cbb, &body, SSL3_MT_SERVER_HELLO) ||
390 !CBB_add_u16(&body, ssl->version) ||
391 !RAND_bytes(ssl->s3->server_random, sizeof(ssl->s3->server_random)) ||
392 !CBB_add_bytes(&body, ssl->s3->server_random, SSL3_RANDOM_SIZE) ||
393 !CBB_add_u16(&body, ssl_cipher_get_value(ssl->s3->tmp.new_cipher)) ||
394 !CBB_add_u16_length_prefixed(&body, &extensions) ||
Steven Valdez4aa154e2016-07-29 14:32:55 -0400395 !ssl_ext_pre_shared_key_add_serverhello(ssl, &extensions) ||
Steven Valdeza833c352016-11-01 13:39:36 -0400396 !ssl_ext_key_share_add_serverhello(ssl, &extensions) ||
397 !ssl_complete_message(ssl, &cbb)) {
Steven Valdez803c77a2016-09-06 14:13:43 -0400398 goto err;
Steven Valdez143e8b32016-07-11 13:19:03 -0400399 }
400
401 hs->state = state_send_encrypted_extensions;
402 return ssl_hs_write_message;
Steven Valdez803c77a2016-09-06 14:13:43 -0400403
404err:
405 CBB_cleanup(&cbb);
406 return ssl_hs_error;
Steven Valdez143e8b32016-07-11 13:19:03 -0400407}
408
409static enum ssl_hs_wait_t do_send_encrypted_extensions(SSL *ssl,
410 SSL_HANDSHAKE *hs) {
411 if (!tls13_set_handshake_traffic(ssl)) {
412 return ssl_hs_error;
413 }
414
415 CBB cbb, body;
416 if (!ssl->method->init_message(ssl, &cbb, &body,
417 SSL3_MT_ENCRYPTED_EXTENSIONS) ||
418 !ssl_add_serverhello_tlsext(ssl, &body) ||
Steven Valdez5eead162016-11-11 22:23:25 -0500419 !ssl_complete_message(ssl, &cbb)) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400420 CBB_cleanup(&cbb);
421 return ssl_hs_error;
422 }
423
424 hs->state = state_send_certificate_request;
425 return ssl_hs_write_message;
426}
427
428static enum ssl_hs_wait_t do_send_certificate_request(SSL *ssl,
429 SSL_HANDSHAKE *hs) {
430 /* Determine whether to request a client certificate. */
David Benjamina0486782016-10-06 19:11:32 -0400431 ssl->s3->hs->cert_request = !!(ssl->verify_mode & SSL_VERIFY_PEER);
Steven Valdez803c77a2016-09-06 14:13:43 -0400432 /* CertificateRequest may only be sent in non-resumption handshakes. */
433 if (ssl->s3->session_reused) {
David Benjamina0486782016-10-06 19:11:32 -0400434 ssl->s3->hs->cert_request = 0;
Steven Valdez143e8b32016-07-11 13:19:03 -0400435 }
436
David Benjamina0486782016-10-06 19:11:32 -0400437 if (!ssl->s3->hs->cert_request) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400438 /* Skip this state. */
439 hs->state = state_send_server_certificate;
440 return ssl_hs_ok;
441 }
442
443 CBB cbb, body, sigalgs_cbb;
444 if (!ssl->method->init_message(ssl, &cbb, &body,
445 SSL3_MT_CERTIFICATE_REQUEST) ||
446 !CBB_add_u8(&body, 0 /* no certificate_request_context. */)) {
447 goto err;
448 }
449
450 const uint16_t *sigalgs;
David Benjamin3ef76972016-10-17 17:59:54 -0400451 size_t num_sigalgs = tls12_get_verify_sigalgs(ssl, &sigalgs);
Steven Valdez143e8b32016-07-11 13:19:03 -0400452 if (!CBB_add_u16_length_prefixed(&body, &sigalgs_cbb)) {
453 goto err;
454 }
455
David Benjamin0fc37ef2016-08-17 15:29:46 -0400456 for (size_t i = 0; i < num_sigalgs; i++) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400457 if (!CBB_add_u16(&sigalgs_cbb, sigalgs[i])) {
458 goto err;
459 }
460 }
461
462 if (!ssl_add_client_CA_list(ssl, &body) ||
463 !CBB_add_u16(&body, 0 /* empty certificate_extensions. */) ||
Steven Valdez5eead162016-11-11 22:23:25 -0500464 !ssl_complete_message(ssl, &cbb)) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400465 goto err;
466 }
467
468 hs->state = state_send_server_certificate;
469 return ssl_hs_write_message;
470
471err:
472 CBB_cleanup(&cbb);
473 return ssl_hs_error;
474}
475
476static enum ssl_hs_wait_t do_send_server_certificate(SSL *ssl,
477 SSL_HANDSHAKE *hs) {
Steven Valdez803c77a2016-09-06 14:13:43 -0400478 if (ssl->s3->session_reused) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400479 hs->state = state_send_server_finished;
480 return ssl_hs_ok;
481 }
482
483 if (!ssl_has_certificate(ssl)) {
484 OPENSSL_PUT_ERROR(SSL, SSL_R_NO_CERTIFICATE_SET);
485 return ssl_hs_error;
486 }
487
488 if (!tls13_prepare_certificate(ssl)) {
489 return ssl_hs_error;
490 }
491
492 hs->state = state_send_server_certificate_verify;
493 return ssl_hs_write_message;
494}
495
496static enum ssl_hs_wait_t do_send_server_certificate_verify(SSL *ssl,
497 SSL_HANDSHAKE *hs,
498 int is_first_run) {
499 switch (tls13_prepare_certificate_verify(ssl, is_first_run)) {
500 case ssl_private_key_success:
501 hs->state = state_send_server_finished;
502 return ssl_hs_write_message;
503
504 case ssl_private_key_retry:
505 hs->state = state_complete_server_certificate_verify;
506 return ssl_hs_private_key_operation;
507
508 case ssl_private_key_failure:
509 return ssl_hs_error;
510 }
511
512 assert(0);
513 return ssl_hs_error;
514}
515
516static enum ssl_hs_wait_t do_send_server_finished(SSL *ssl, SSL_HANDSHAKE *hs) {
517 if (!tls13_prepare_finished(ssl)) {
518 return ssl_hs_error;
519 }
520
521 hs->state = state_flush;
522 return ssl_hs_write_message;
523}
524
525static enum ssl_hs_wait_t do_flush(SSL *ssl, SSL_HANDSHAKE *hs) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400526 /* Update the secret to the master secret and derive traffic keys. */
Steven Valdez143e8b32016-07-11 13:19:03 -0400527 if (!tls13_advance_key_schedule(ssl, kZeroes, hs->hash_len) ||
Steven Valdeza833c352016-11-01 13:39:36 -0400528 !tls13_derive_application_secrets(ssl) ||
529 !tls13_set_traffic_key(ssl, evp_aead_seal, hs->server_traffic_secret_0,
530 hs->hash_len)) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400531 return ssl_hs_error;
532 }
533
534 hs->state = state_process_client_certificate;
David Benjaminf2401eb2016-07-18 22:25:05 +0200535 return ssl_hs_flush_and_read_message;
Steven Valdez143e8b32016-07-11 13:19:03 -0400536}
537
538static enum ssl_hs_wait_t do_process_client_certificate(SSL *ssl,
539 SSL_HANDSHAKE *hs) {
David Benjamina0486782016-10-06 19:11:32 -0400540 if (!ssl->s3->hs->cert_request) {
Adam Langley37646832016-08-01 16:16:46 -0700541 /* OpenSSL returns X509_V_OK when no certificates are requested. This is
David Benjamindd634eb2016-08-18 16:40:28 -0400542 * classed by them as a bug, but it's assumed by at least NGINX. */
Adam Langley37646832016-08-01 16:16:46 -0700543 ssl->s3->new_session->verify_result = X509_V_OK;
544
Steven Valdez143e8b32016-07-11 13:19:03 -0400545 /* Skip this state. */
Nick Harper60a85cb2016-09-23 16:25:11 -0700546 hs->state = state_process_channel_id;
Steven Valdez143e8b32016-07-11 13:19:03 -0400547 return ssl_hs_ok;
548 }
549
David Benjamin4087df92016-08-01 20:16:31 -0400550 const int allow_anonymous =
551 (ssl->verify_mode & SSL_VERIFY_FAIL_IF_NO_PEER_CERT) == 0;
552
Steven Valdez143e8b32016-07-11 13:19:03 -0400553 if (!tls13_check_message_type(ssl, SSL3_MT_CERTIFICATE) ||
David Benjamin4087df92016-08-01 20:16:31 -0400554 !tls13_process_certificate(ssl, allow_anonymous) ||
David Benjaminced94792016-11-14 17:12:11 +0900555 !ssl_hash_current_message(ssl)) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400556 return ssl_hs_error;
557 }
558
David Benjamin3ce43892016-08-01 19:41:34 -0400559 /* For historical reasons, the server's copy of the chain does not include the
560 * leaf while the client's does. */
Adam Langleyc5ac2b62016-11-07 12:02:35 -0800561 if (sk_X509_num(ssl->s3->new_session->x509_chain) > 0) {
562 X509_free(sk_X509_shift(ssl->s3->new_session->x509_chain));
David Benjamin3ce43892016-08-01 19:41:34 -0400563 }
564
Steven Valdez143e8b32016-07-11 13:19:03 -0400565 hs->state = state_process_client_certificate_verify;
566 return ssl_hs_read_message;
567}
568
569static enum ssl_hs_wait_t do_process_client_certificate_verify(
570 SSL *ssl, SSL_HANDSHAKE *hs) {
Adam Langleyc5ac2b62016-11-07 12:02:35 -0800571 if (ssl->s3->new_session->x509_peer == NULL) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400572 /* Skip this state. */
Nick Harper60a85cb2016-09-23 16:25:11 -0700573 hs->state = state_process_channel_id;
Steven Valdez143e8b32016-07-11 13:19:03 -0400574 return ssl_hs_ok;
575 }
576
577 if (!tls13_check_message_type(ssl, SSL3_MT_CERTIFICATE_VERIFY) ||
578 !tls13_process_certificate_verify(ssl) ||
David Benjaminced94792016-11-14 17:12:11 +0900579 !ssl_hash_current_message(ssl)) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400580 return 0;
581 }
582
Nick Harper60a85cb2016-09-23 16:25:11 -0700583 hs->state = state_process_channel_id;
584 return ssl_hs_read_message;
585}
586
587static enum ssl_hs_wait_t do_process_channel_id(SSL *ssl, SSL_HANDSHAKE *hs) {
588 if (!ssl->s3->tlsext_channel_id_valid) {
589 hs->state = state_process_client_finished;
590 return ssl_hs_ok;
591 }
592
593 if (!tls13_check_message_type(ssl, SSL3_MT_CHANNEL_ID) ||
594 !tls1_verify_channel_id(ssl) ||
David Benjaminced94792016-11-14 17:12:11 +0900595 !ssl_hash_current_message(ssl)) {
Nick Harper60a85cb2016-09-23 16:25:11 -0700596 return ssl_hs_error;
597 }
598
Steven Valdez143e8b32016-07-11 13:19:03 -0400599 hs->state = state_process_client_finished;
600 return ssl_hs_read_message;
601}
602
603static enum ssl_hs_wait_t do_process_client_finished(SSL *ssl,
604 SSL_HANDSHAKE *hs) {
605 if (!tls13_check_message_type(ssl, SSL3_MT_FINISHED) ||
606 !tls13_process_finished(ssl) ||
David Benjaminced94792016-11-14 17:12:11 +0900607 !ssl_hash_current_message(ssl) ||
Steven Valdez143e8b32016-07-11 13:19:03 -0400608 /* evp_aead_seal keys have already been switched. */
Steven Valdeza833c352016-11-01 13:39:36 -0400609 !tls13_set_traffic_key(ssl, evp_aead_open, hs->client_traffic_secret_0,
610 hs->hash_len) ||
611 !tls13_derive_resumption_secret(ssl)) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400612 return ssl_hs_error;
613 }
614
David Benjamin613fe3b2016-07-22 17:39:29 +0200615 ssl->method->received_flight(ssl);
David Benjamin123db572016-11-03 16:59:25 -0400616
617 /* Refresh the session timestamp so that it is measured from ticket
618 * issuance. */
619 ssl_session_refresh_time(ssl, ssl->s3->new_session);
Steven Valdez1e6f11a2016-07-27 11:10:52 -0400620 hs->state = state_send_new_session_ticket;
Steven Valdez143e8b32016-07-11 13:19:03 -0400621 return ssl_hs_ok;
622}
623
David Benjamin0a011fc2016-11-03 17:19:16 -0400624/* TLS 1.3 recommends single-use tickets, so issue multiple tickets in case the
625 * client makes several connections before getting a renewal. */
626static const int kNumTickets = 2;
627
Steven Valdez1e6f11a2016-07-27 11:10:52 -0400628static enum ssl_hs_wait_t do_send_new_session_ticket(SSL *ssl,
629 SSL_HANDSHAKE *hs) {
Steven Valdeza833c352016-11-01 13:39:36 -0400630 /* If the client doesn't accept resumption with PSK_DHE_KE, don't send a
631 * session ticket. */
632 if (!hs->accept_psk_mode) {
633 hs->state = state_done;
634 return ssl_hs_ok;
635 }
636
Steven Valdez1e6f11a2016-07-27 11:10:52 -0400637 SSL_SESSION *session = ssl->s3->new_session;
Steven Valdeza833c352016-11-01 13:39:36 -0400638 if (!RAND_bytes((uint8_t *)&session->ticket_age_add, 4)) {
639 goto err;
640 }
Steven Valdez1e6f11a2016-07-27 11:10:52 -0400641
Steven Valdez5b986082016-09-01 12:29:49 -0400642 /* TODO(svaldez): Add support for sending 0RTT through TicketEarlyDataInfo
643 * extension. */
644
Steven Valdeza833c352016-11-01 13:39:36 -0400645 CBB cbb, body, ticket, extensions;
Steven Valdez1e6f11a2016-07-27 11:10:52 -0400646 if (!ssl->method->init_message(ssl, &cbb, &body,
647 SSL3_MT_NEW_SESSION_TICKET) ||
David Benjamin123db572016-11-03 16:59:25 -0400648 !CBB_add_u32(&body, session->timeout) ||
Steven Valdeza833c352016-11-01 13:39:36 -0400649 !CBB_add_u32(&body, session->ticket_age_add) ||
Steven Valdez1e6f11a2016-07-27 11:10:52 -0400650 !CBB_add_u16_length_prefixed(&body, &ticket) ||
651 !ssl_encrypt_ticket(ssl, &ticket, session) ||
David Benjamin1a5e8ec2016-10-07 15:19:18 -0400652 !CBB_add_u16_length_prefixed(&body, &extensions)) {
653 goto err;
654 }
655
656 /* Add a fake extension. See draft-davidben-tls-grease-01. */
David Benjamin079b3942016-10-20 13:19:20 -0400657 if (!CBB_add_u16(&extensions,
658 ssl_get_grease_value(ssl, ssl_grease_ticket_extension)) ||
659 !CBB_add_u16(&extensions, 0 /* empty */)) {
660 goto err;
David Benjamin1a5e8ec2016-10-07 15:19:18 -0400661 }
662
Steven Valdez5eead162016-11-11 22:23:25 -0500663 if (!ssl_complete_message(ssl, &cbb)) {
David Benjamin1a5e8ec2016-10-07 15:19:18 -0400664 goto err;
Steven Valdez1e6f11a2016-07-27 11:10:52 -0400665 }
666
667 hs->session_tickets_sent++;
David Benjamin0a011fc2016-11-03 17:19:16 -0400668 if (hs->session_tickets_sent >= kNumTickets) {
669 hs->state = state_flush_new_session_tickets;
670 } else {
671 hs->state = state_send_new_session_ticket;
672 }
Steven Valdez1e6f11a2016-07-27 11:10:52 -0400673
Steven Valdez1e6f11a2016-07-27 11:10:52 -0400674 return ssl_hs_write_message;
David Benjamin1a5e8ec2016-10-07 15:19:18 -0400675
676err:
677 CBB_cleanup(&cbb);
678 return ssl_hs_error;
Steven Valdez1e6f11a2016-07-27 11:10:52 -0400679}
680
David Benjamin0a011fc2016-11-03 17:19:16 -0400681static enum ssl_hs_wait_t do_flush_new_session_tickets(SSL *ssl,
682 SSL_HANDSHAKE *hs) {
683 hs->state = state_done;
Steven Valdez1e6f11a2016-07-27 11:10:52 -0400684 return ssl_hs_flush;
685}
686
Steven Valdez143e8b32016-07-11 13:19:03 -0400687enum ssl_hs_wait_t tls13_server_handshake(SSL *ssl) {
688 SSL_HANDSHAKE *hs = ssl->s3->hs;
689
690 while (hs->state != state_done) {
691 enum ssl_hs_wait_t ret = ssl_hs_error;
692 enum server_hs_state_t state = hs->state;
693 switch (state) {
694 case state_process_client_hello:
695 ret = do_process_client_hello(ssl, hs);
696 break;
David Benjamin25fe85b2016-08-09 20:00:32 -0400697 case state_select_parameters:
698 ret = do_select_parameters(ssl, hs);
699 break;
Steven Valdez5440fe02016-07-18 12:40:30 -0400700 case state_send_hello_retry_request:
701 ret = do_send_hello_retry_request(ssl, hs);
702 break;
703 case state_flush_hello_retry_request:
704 ret = do_flush_hello_retry_request(ssl, hs);
705 break;
706 case state_process_second_client_hello:
707 ret = do_process_second_client_hello(ssl, hs);
708 break;
Steven Valdez143e8b32016-07-11 13:19:03 -0400709 case state_send_server_hello:
710 ret = do_send_server_hello(ssl, hs);
711 break;
712 case state_send_encrypted_extensions:
713 ret = do_send_encrypted_extensions(ssl, hs);
714 break;
715 case state_send_certificate_request:
716 ret = do_send_certificate_request(ssl, hs);
717 break;
718 case state_send_server_certificate:
719 ret = do_send_server_certificate(ssl, hs);
720 break;
721 case state_send_server_certificate_verify:
722 ret = do_send_server_certificate_verify(ssl, hs, 1 /* first run */);
723 break;
724 case state_complete_server_certificate_verify:
725 ret = do_send_server_certificate_verify(ssl, hs, 0 /* complete */);
726 break;
727 case state_send_server_finished:
728 ret = do_send_server_finished(ssl, hs);
729 break;
730 case state_flush:
731 ret = do_flush(ssl, hs);
732 break;
Steven Valdez143e8b32016-07-11 13:19:03 -0400733 case state_process_client_certificate:
734 ret = do_process_client_certificate(ssl, hs);
735 break;
736 case state_process_client_certificate_verify:
737 ret = do_process_client_certificate_verify(ssl, hs);
738 break;
Nick Harper60a85cb2016-09-23 16:25:11 -0700739 case state_process_channel_id:
740 ret = do_process_channel_id(ssl, hs);
741 break;
Steven Valdez143e8b32016-07-11 13:19:03 -0400742 case state_process_client_finished:
743 ret = do_process_client_finished(ssl, hs);
744 break;
Steven Valdez1e6f11a2016-07-27 11:10:52 -0400745 case state_send_new_session_ticket:
746 ret = do_send_new_session_ticket(ssl, hs);
747 break;
David Benjamin0a011fc2016-11-03 17:19:16 -0400748 case state_flush_new_session_tickets:
749 ret = do_flush_new_session_tickets(ssl, hs);
Steven Valdez1e6f11a2016-07-27 11:10:52 -0400750 break;
Steven Valdez143e8b32016-07-11 13:19:03 -0400751 case state_done:
752 ret = ssl_hs_ok;
753 break;
754 }
755
756 if (ret != ssl_hs_ok) {
757 return ret;
758 }
759 }
760
761 return ssl_hs_ok;
762}