blob: ca4223ee427c71d3a6caf18c3aac0bd55045bd55 [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);
David Benjamin6929f272016-11-16 19:10:08 +090066 return 0;
Steven Valdez5440fe02016-07-18 12:40:30 -040067 }
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);
David Benjamin6929f272016-11-16 19:10:08 +0900108 return ssl_hs_error;
David Benjamine14ff062016-08-09 16:21:24 -0400109 }
110 memcpy(ssl->s3->client_random, client_hello.random, client_hello.random_len);
Steven Valdez143e8b32016-07-11 13:19:03 -0400111
David Benjamin4eb95cc2016-11-16 17:08:23 +0900112 /* TLS 1.3 requires the peer only advertise the null compression. */
113 if (client_hello.compression_methods_len != 1 ||
114 client_hello.compression_methods[0] != 0) {
115 OPENSSL_PUT_ERROR(SSL, SSL_R_INVALID_COMPRESSION_LIST);
116 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_ILLEGAL_PARAMETER);
David Benjamin6929f272016-11-16 19:10:08 +0900117 return ssl_hs_error;
Steven Valdez4aa154e2016-07-29 14:32:55 -0400118 }
119
David Benjamin4eb95cc2016-11-16 17:08:23 +0900120 /* TLS extensions. */
121 if (!ssl_parse_clienthello_tlsext(ssl, &client_hello)) {
122 OPENSSL_PUT_ERROR(SSL, SSL_R_PARSE_TLSEXT);
123 return ssl_hs_error;
124 }
Steven Valdeza833c352016-11-01 13:39:36 -0400125
David Benjamin4eb95cc2016-11-16 17:08:23 +0900126 uint8_t alert = SSL_AD_DECODE_ERROR;
127 SSL_SESSION *session = NULL;
128 CBS pre_shared_key, binders;
129 if (hs->accept_psk_mode &&
130 ssl_early_callback_get_extension(&client_hello, &pre_shared_key,
131 TLSEXT_TYPE_pre_shared_key)) {
132 /* Verify that the pre_shared_key extension is the last extension in
133 * ClientHello. */
134 if (CBS_data(&pre_shared_key) + CBS_len(&pre_shared_key) !=
135 client_hello.extensions + client_hello.extensions_len) {
136 OPENSSL_PUT_ERROR(SSL, SSL_R_PRE_SHARED_KEY_MUST_BE_LAST);
137 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_ILLEGAL_PARAMETER);
138 return ssl_hs_error;
139 }
140
141 if (!ssl_ext_pre_shared_key_parse_clienthello(ssl, &session, &binders,
142 &alert, &pre_shared_key)) {
143 ssl3_send_alert(ssl, SSL3_AL_FATAL, alert);
144 return ssl_hs_error;
Steven Valdeza833c352016-11-01 13:39:36 -0400145 }
146 }
147
Steven Valdez4aa154e2016-07-29 14:32:55 -0400148 if (session != NULL &&
David Benjamin75f99142016-11-12 12:36:06 +0900149 !ssl_session_is_resumable(ssl, session)) {
Steven Valdez4aa154e2016-07-29 14:32:55 -0400150 SSL_SESSION_free(session);
151 session = NULL;
152 }
153
154 if (session == NULL) {
155 if (!ssl_get_new_session(ssl, 1 /* server */)) {
156 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
157 return ssl_hs_error;
158 }
159 } else {
Steven Valdeza833c352016-11-01 13:39:36 -0400160 /* Check the PSK binder. */
161 if (!tls13_verify_psk_binder(ssl, session, &binders)) {
162 SSL_SESSION_free(session);
163 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECRYPT_ERROR);
164 return ssl_hs_error;
165 }
166
Steven Valdez4aa154e2016-07-29 14:32:55 -0400167 /* Only authentication information carries over in TLS 1.3. */
168 ssl->s3->new_session = SSL_SESSION_dup(session, SSL_SESSION_DUP_AUTH_ONLY);
169 if (ssl->s3->new_session == NULL) {
170 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
171 return ssl_hs_error;
172 }
173 ssl->s3->session_reused = 1;
Steven Valdez4aa154e2016-07-29 14:32:55 -0400174 SSL_SESSION_free(session);
Steven Valdez143e8b32016-07-11 13:19:03 -0400175 }
176
177 if (ssl->ctx->dos_protection_cb != NULL &&
David Benjamine14ff062016-08-09 16:21:24 -0400178 ssl->ctx->dos_protection_cb(&client_hello) == 0) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400179 /* Connection rejected for DOS reasons. */
180 OPENSSL_PUT_ERROR(SSL, SSL_R_CONNECTION_REJECTED);
David Benjamin2c66e072016-09-16 15:58:00 -0400181 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
Steven Valdez143e8b32016-07-11 13:19:03 -0400182 return ssl_hs_error;
183 }
184
David Benjamin25fe85b2016-08-09 20:00:32 -0400185 hs->state = state_select_parameters;
186 return ssl_hs_ok;
187}
188
David Benjaminabbbee12016-10-31 19:20:42 -0400189static const SSL_CIPHER *choose_tls13_cipher(
190 const SSL *ssl, const struct ssl_early_callback_ctx *client_hello) {
191 if (client_hello->cipher_suites_len % 2 != 0) {
192 return NULL;
193 }
194
195 CBS cipher_suites;
196 CBS_init(&cipher_suites, client_hello->cipher_suites,
197 client_hello->cipher_suites_len);
198
199 const int aes_is_fine = EVP_has_aes_hardware();
200
201 const SSL_CIPHER *best = NULL;
202 while (CBS_len(&cipher_suites) > 0) {
203 uint16_t cipher_suite;
204 if (!CBS_get_u16(&cipher_suites, &cipher_suite)) {
205 return NULL;
206 }
207
208 const SSL_CIPHER *candidate = SSL_get_cipher_by_value(cipher_suite);
209 if (candidate == NULL || !ssl_is_valid_cipher(ssl, candidate)) {
210 continue;
211 }
212
213 /* TLS 1.3 removes legacy ciphers, so honor the client order, but prefer
214 * ChaCha20 if we do not have AES hardware. */
215 if (aes_is_fine) {
216 return candidate;
217 }
218
219 if (candidate->algorithm_enc == SSL_CHACHA20POLY1305) {
220 return candidate;
221 }
222
223 if (best == NULL) {
224 best = candidate;
225 }
226 }
227
228 return best;
229}
230
David Benjamin25fe85b2016-08-09 20:00:32 -0400231static enum ssl_hs_wait_t do_select_parameters(SSL *ssl, SSL_HANDSHAKE *hs) {
Steven Valdez4aa154e2016-07-29 14:32:55 -0400232 if (!ssl->s3->session_reused) {
233 /* Call |cert_cb| to update server certificates if required. */
234 if (ssl->cert->cert_cb != NULL) {
235 int rv = ssl->cert->cert_cb(ssl, ssl->cert->cert_cb_arg);
236 if (rv == 0) {
237 OPENSSL_PUT_ERROR(SSL, SSL_R_CERT_CB_ERROR);
238 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
239 return ssl_hs_error;
240 }
241 if (rv < 0) {
242 hs->state = state_select_parameters;
243 return ssl_hs_x509_lookup;
244 }
Steven Valdez143e8b32016-07-11 13:19:03 -0400245 }
246 }
247
David Benjamin25fe85b2016-08-09 20:00:32 -0400248 struct ssl_early_callback_ctx client_hello;
249 if (!ssl_early_callback_init(ssl, &client_hello, ssl->init_msg,
250 ssl->init_num)) {
251 OPENSSL_PUT_ERROR(SSL, SSL_R_CLIENTHELLO_PARSE_FAILED);
252 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
253 return ssl_hs_error;
254 }
255
David Benjamin75f99142016-11-12 12:36:06 +0900256 if (ssl->s3->session_reused) {
257 /* Clients may not offer sessions containing unsupported ciphers. */
258 if (!ssl_client_cipher_list_contains_cipher(
259 &client_hello,
260 (uint16_t)SSL_CIPHER_get_id(ssl->s3->new_session->cipher))) {
261 OPENSSL_PUT_ERROR(SSL, SSL_R_REQUIRED_CIPHER_MISSING);
262 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_ILLEGAL_PARAMETER);
263 return ssl_hs_error;
264 }
265 } else {
David Benjaminabbbee12016-10-31 19:20:42 -0400266 const SSL_CIPHER *cipher = choose_tls13_cipher(ssl, &client_hello);
Steven Valdez4aa154e2016-07-29 14:32:55 -0400267 if (cipher == NULL) {
268 OPENSSL_PUT_ERROR(SSL, SSL_R_NO_SHARED_CIPHER);
269 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_HANDSHAKE_FAILURE);
270 return ssl_hs_error;
271 }
Steven Valdez143e8b32016-07-11 13:19:03 -0400272
Steven Valdez4aa154e2016-07-29 14:32:55 -0400273 ssl->s3->new_session->cipher = cipher;
David Benjamin4eb95cc2016-11-16 17:08:23 +0900274
275 /* On new sessions, stash the SNI value in the session. */
276 if (ssl->s3->hs->hostname != NULL) {
277 ssl->s3->new_session->tlsext_hostname = BUF_strdup(ssl->s3->hs->hostname);
278 if (ssl->s3->new_session->tlsext_hostname == NULL) {
279 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
280 return ssl_hs_error;
281 }
282 }
Steven Valdez4aa154e2016-07-29 14:32:55 -0400283 }
Steven Valdez143e8b32016-07-11 13:19:03 -0400284
Steven Valdez803c77a2016-09-06 14:13:43 -0400285 ssl->s3->tmp.new_cipher = ssl->s3->new_session->cipher;
David Benjamin613fe3b2016-07-22 17:39:29 +0200286 ssl->method->received_flight(ssl);
287
David Benjamin9ef31f02016-10-31 18:01:13 -0400288 /* Resolve ALPN after the cipher suite is selected. HTTP/2 negotiation depends
289 * on the cipher suite. */
290 uint8_t alert;
291 if (!ssl_negotiate_alpn(ssl, &alert, &client_hello)) {
292 ssl3_send_alert(ssl, SSL3_AL_FATAL, alert);
293 return ssl_hs_error;
294 }
Steven Valdez803c77a2016-09-06 14:13:43 -0400295
296 /* The PRF hash is now known. */
297 size_t hash_len =
Steven Valdez143e8b32016-07-11 13:19:03 -0400298 EVP_MD_size(ssl_get_handshake_digest(ssl_get_algorithm_prf(ssl)));
Steven Valdez803c77a2016-09-06 14:13:43 -0400299
300 /* Derive resumption material. */
Steven Valdez803c77a2016-09-06 14:13:43 -0400301 uint8_t psk_secret[EVP_MAX_MD_SIZE] = {0};
Steven Valdez4aa154e2016-07-29 14:32:55 -0400302 if (ssl->s3->session_reused) {
Steven Valdeza833c352016-11-01 13:39:36 -0400303 if (hash_len != (size_t) ssl->s3->new_session->master_key_length) {
Steven Valdez4aa154e2016-07-29 14:32:55 -0400304 return ssl_hs_error;
305 }
Steven Valdeza833c352016-11-01 13:39:36 -0400306 memcpy(psk_secret, ssl->s3->new_session->master_key, hash_len);
Steven Valdez143e8b32016-07-11 13:19:03 -0400307 }
308
Steven Valdez803c77a2016-09-06 14:13:43 -0400309 /* Set up the key schedule, hash in the ClientHello, and incorporate the PSK
310 * into the running secret. */
Steven Valdeza833c352016-11-01 13:39:36 -0400311 if (!tls13_init_key_schedule(ssl) ||
Steven Valdez803c77a2016-09-06 14:13:43 -0400312 !tls13_advance_key_schedule(ssl, psk_secret, hash_len)) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400313 return ssl_hs_error;
314 }
315
316 /* Resolve ECDHE and incorporate it into the secret. */
Steven Valdez5440fe02016-07-18 12:40:30 -0400317 int need_retry;
David Benjamine14ff062016-08-09 16:21:24 -0400318 if (!resolve_ecdhe_secret(ssl, &need_retry, &client_hello)) {
Steven Valdez5440fe02016-07-18 12:40:30 -0400319 if (need_retry) {
320 hs->state = state_send_hello_retry_request;
321 return ssl_hs_ok;
Steven Valdez143e8b32016-07-11 13:19:03 -0400322 }
Steven Valdez5440fe02016-07-18 12:40:30 -0400323 return ssl_hs_error;
324 }
Steven Valdez143e8b32016-07-11 13:19:03 -0400325
Steven Valdez5440fe02016-07-18 12:40:30 -0400326 hs->state = state_send_server_hello;
327 return ssl_hs_ok;
328}
Steven Valdez143e8b32016-07-11 13:19:03 -0400329
Steven Valdez5440fe02016-07-18 12:40:30 -0400330static enum ssl_hs_wait_t do_send_hello_retry_request(SSL *ssl,
331 SSL_HANDSHAKE *hs) {
332 CBB cbb, body, extensions;
333 uint16_t group_id;
334 if (!ssl->method->init_message(ssl, &cbb, &body,
335 SSL3_MT_HELLO_RETRY_REQUEST) ||
336 !CBB_add_u16(&body, ssl->version) ||
Steven Valdez5440fe02016-07-18 12:40:30 -0400337 !tls1_get_shared_group(ssl, &group_id) ||
Steven Valdez5440fe02016-07-18 12:40:30 -0400338 !CBB_add_u16_length_prefixed(&body, &extensions) ||
David Benjamin3baa6e12016-10-07 21:10:38 -0400339 !CBB_add_u16(&extensions, TLSEXT_TYPE_key_share) ||
340 !CBB_add_u16(&extensions, 2 /* length */) ||
341 !CBB_add_u16(&extensions, group_id) ||
Steven Valdez5eead162016-11-11 22:23:25 -0500342 !ssl_complete_message(ssl, &cbb)) {
Steven Valdez5440fe02016-07-18 12:40:30 -0400343 CBB_cleanup(&cbb);
344 return ssl_hs_error;
345 }
346
347 hs->state = state_flush_hello_retry_request;
348 return ssl_hs_write_message;
349}
350
351static enum ssl_hs_wait_t do_flush_hello_retry_request(SSL *ssl,
352 SSL_HANDSHAKE *hs) {
353 hs->state = state_process_second_client_hello;
354 return ssl_hs_flush_and_read_message;
355}
356
357static enum ssl_hs_wait_t do_process_second_client_hello(SSL *ssl,
358 SSL_HANDSHAKE *hs) {
359 if (!tls13_check_message_type(ssl, SSL3_MT_CLIENT_HELLO)) {
360 return ssl_hs_error;
361 }
362
David Benjamine14ff062016-08-09 16:21:24 -0400363 struct ssl_early_callback_ctx client_hello;
364 if (!ssl_early_callback_init(ssl, &client_hello, ssl->init_msg,
David Benjamind7573dc2016-07-20 19:05:22 +0200365 ssl->init_num)) {
Steven Valdez5440fe02016-07-18 12:40:30 -0400366 OPENSSL_PUT_ERROR(SSL, SSL_R_CLIENTHELLO_PARSE_FAILED);
367 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
368 return ssl_hs_error;
369 }
370
371 int need_retry;
David Benjamine14ff062016-08-09 16:21:24 -0400372 if (!resolve_ecdhe_secret(ssl, &need_retry, &client_hello)) {
Steven Valdez5440fe02016-07-18 12:40:30 -0400373 if (need_retry) {
374 /* Only send one HelloRetryRequest. */
375 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_ILLEGAL_PARAMETER);
376 OPENSSL_PUT_ERROR(SSL, SSL_R_WRONG_CURVE);
Steven Valdez143e8b32016-07-11 13:19:03 -0400377 }
Steven Valdez5440fe02016-07-18 12:40:30 -0400378 return ssl_hs_error;
379 }
380
David Benjaminced94792016-11-14 17:12:11 +0900381 if (!ssl_hash_current_message(ssl)) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400382 return ssl_hs_error;
383 }
384
David Benjamin613fe3b2016-07-22 17:39:29 +0200385 ssl->method->received_flight(ssl);
Steven Valdez143e8b32016-07-11 13:19:03 -0400386 hs->state = state_send_server_hello;
387 return ssl_hs_ok;
388}
389
390static enum ssl_hs_wait_t do_send_server_hello(SSL *ssl, SSL_HANDSHAKE *hs) {
391 CBB cbb, body, extensions;
392 if (!ssl->method->init_message(ssl, &cbb, &body, SSL3_MT_SERVER_HELLO) ||
393 !CBB_add_u16(&body, ssl->version) ||
394 !RAND_bytes(ssl->s3->server_random, sizeof(ssl->s3->server_random)) ||
395 !CBB_add_bytes(&body, ssl->s3->server_random, SSL3_RANDOM_SIZE) ||
396 !CBB_add_u16(&body, ssl_cipher_get_value(ssl->s3->tmp.new_cipher)) ||
397 !CBB_add_u16_length_prefixed(&body, &extensions) ||
Steven Valdez4aa154e2016-07-29 14:32:55 -0400398 !ssl_ext_pre_shared_key_add_serverhello(ssl, &extensions) ||
Steven Valdeza833c352016-11-01 13:39:36 -0400399 !ssl_ext_key_share_add_serverhello(ssl, &extensions) ||
400 !ssl_complete_message(ssl, &cbb)) {
Steven Valdez803c77a2016-09-06 14:13:43 -0400401 goto err;
Steven Valdez143e8b32016-07-11 13:19:03 -0400402 }
403
404 hs->state = state_send_encrypted_extensions;
405 return ssl_hs_write_message;
Steven Valdez803c77a2016-09-06 14:13:43 -0400406
407err:
408 CBB_cleanup(&cbb);
409 return ssl_hs_error;
Steven Valdez143e8b32016-07-11 13:19:03 -0400410}
411
412static enum ssl_hs_wait_t do_send_encrypted_extensions(SSL *ssl,
413 SSL_HANDSHAKE *hs) {
414 if (!tls13_set_handshake_traffic(ssl)) {
415 return ssl_hs_error;
416 }
417
418 CBB cbb, body;
419 if (!ssl->method->init_message(ssl, &cbb, &body,
420 SSL3_MT_ENCRYPTED_EXTENSIONS) ||
421 !ssl_add_serverhello_tlsext(ssl, &body) ||
Steven Valdez5eead162016-11-11 22:23:25 -0500422 !ssl_complete_message(ssl, &cbb)) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400423 CBB_cleanup(&cbb);
424 return ssl_hs_error;
425 }
426
427 hs->state = state_send_certificate_request;
428 return ssl_hs_write_message;
429}
430
431static enum ssl_hs_wait_t do_send_certificate_request(SSL *ssl,
432 SSL_HANDSHAKE *hs) {
433 /* Determine whether to request a client certificate. */
David Benjamina0486782016-10-06 19:11:32 -0400434 ssl->s3->hs->cert_request = !!(ssl->verify_mode & SSL_VERIFY_PEER);
Steven Valdez803c77a2016-09-06 14:13:43 -0400435 /* CertificateRequest may only be sent in non-resumption handshakes. */
436 if (ssl->s3->session_reused) {
David Benjamina0486782016-10-06 19:11:32 -0400437 ssl->s3->hs->cert_request = 0;
Steven Valdez143e8b32016-07-11 13:19:03 -0400438 }
439
David Benjamina0486782016-10-06 19:11:32 -0400440 if (!ssl->s3->hs->cert_request) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400441 /* Skip this state. */
442 hs->state = state_send_server_certificate;
443 return ssl_hs_ok;
444 }
445
446 CBB cbb, body, sigalgs_cbb;
447 if (!ssl->method->init_message(ssl, &cbb, &body,
448 SSL3_MT_CERTIFICATE_REQUEST) ||
449 !CBB_add_u8(&body, 0 /* no certificate_request_context. */)) {
450 goto err;
451 }
452
453 const uint16_t *sigalgs;
David Benjamin3ef76972016-10-17 17:59:54 -0400454 size_t num_sigalgs = tls12_get_verify_sigalgs(ssl, &sigalgs);
Steven Valdez143e8b32016-07-11 13:19:03 -0400455 if (!CBB_add_u16_length_prefixed(&body, &sigalgs_cbb)) {
456 goto err;
457 }
458
David Benjamin0fc37ef2016-08-17 15:29:46 -0400459 for (size_t i = 0; i < num_sigalgs; i++) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400460 if (!CBB_add_u16(&sigalgs_cbb, sigalgs[i])) {
461 goto err;
462 }
463 }
464
465 if (!ssl_add_client_CA_list(ssl, &body) ||
466 !CBB_add_u16(&body, 0 /* empty certificate_extensions. */) ||
Steven Valdez5eead162016-11-11 22:23:25 -0500467 !ssl_complete_message(ssl, &cbb)) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400468 goto err;
469 }
470
471 hs->state = state_send_server_certificate;
472 return ssl_hs_write_message;
473
474err:
475 CBB_cleanup(&cbb);
476 return ssl_hs_error;
477}
478
479static enum ssl_hs_wait_t do_send_server_certificate(SSL *ssl,
480 SSL_HANDSHAKE *hs) {
Steven Valdez803c77a2016-09-06 14:13:43 -0400481 if (ssl->s3->session_reused) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400482 hs->state = state_send_server_finished;
483 return ssl_hs_ok;
484 }
485
486 if (!ssl_has_certificate(ssl)) {
487 OPENSSL_PUT_ERROR(SSL, SSL_R_NO_CERTIFICATE_SET);
488 return ssl_hs_error;
489 }
490
491 if (!tls13_prepare_certificate(ssl)) {
492 return ssl_hs_error;
493 }
494
495 hs->state = state_send_server_certificate_verify;
496 return ssl_hs_write_message;
497}
498
499static enum ssl_hs_wait_t do_send_server_certificate_verify(SSL *ssl,
500 SSL_HANDSHAKE *hs,
501 int is_first_run) {
502 switch (tls13_prepare_certificate_verify(ssl, is_first_run)) {
503 case ssl_private_key_success:
504 hs->state = state_send_server_finished;
505 return ssl_hs_write_message;
506
507 case ssl_private_key_retry:
508 hs->state = state_complete_server_certificate_verify;
509 return ssl_hs_private_key_operation;
510
511 case ssl_private_key_failure:
512 return ssl_hs_error;
513 }
514
515 assert(0);
516 return ssl_hs_error;
517}
518
519static enum ssl_hs_wait_t do_send_server_finished(SSL *ssl, SSL_HANDSHAKE *hs) {
520 if (!tls13_prepare_finished(ssl)) {
521 return ssl_hs_error;
522 }
523
524 hs->state = state_flush;
525 return ssl_hs_write_message;
526}
527
528static enum ssl_hs_wait_t do_flush(SSL *ssl, SSL_HANDSHAKE *hs) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400529 /* Update the secret to the master secret and derive traffic keys. */
Steven Valdez143e8b32016-07-11 13:19:03 -0400530 if (!tls13_advance_key_schedule(ssl, kZeroes, hs->hash_len) ||
Steven Valdeza833c352016-11-01 13:39:36 -0400531 !tls13_derive_application_secrets(ssl) ||
532 !tls13_set_traffic_key(ssl, evp_aead_seal, hs->server_traffic_secret_0,
533 hs->hash_len)) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400534 return ssl_hs_error;
535 }
536
537 hs->state = state_process_client_certificate;
David Benjaminf2401eb2016-07-18 22:25:05 +0200538 return ssl_hs_flush_and_read_message;
Steven Valdez143e8b32016-07-11 13:19:03 -0400539}
540
541static enum ssl_hs_wait_t do_process_client_certificate(SSL *ssl,
542 SSL_HANDSHAKE *hs) {
David Benjamina0486782016-10-06 19:11:32 -0400543 if (!ssl->s3->hs->cert_request) {
Adam Langley37646832016-08-01 16:16:46 -0700544 /* OpenSSL returns X509_V_OK when no certificates are requested. This is
David Benjamindd634eb2016-08-18 16:40:28 -0400545 * classed by them as a bug, but it's assumed by at least NGINX. */
Adam Langley37646832016-08-01 16:16:46 -0700546 ssl->s3->new_session->verify_result = X509_V_OK;
547
Steven Valdez143e8b32016-07-11 13:19:03 -0400548 /* Skip this state. */
Nick Harper60a85cb2016-09-23 16:25:11 -0700549 hs->state = state_process_channel_id;
Steven Valdez143e8b32016-07-11 13:19:03 -0400550 return ssl_hs_ok;
551 }
552
David Benjamin4087df92016-08-01 20:16:31 -0400553 const int allow_anonymous =
554 (ssl->verify_mode & SSL_VERIFY_FAIL_IF_NO_PEER_CERT) == 0;
555
Steven Valdez143e8b32016-07-11 13:19:03 -0400556 if (!tls13_check_message_type(ssl, SSL3_MT_CERTIFICATE) ||
David Benjamin4087df92016-08-01 20:16:31 -0400557 !tls13_process_certificate(ssl, allow_anonymous) ||
David Benjaminced94792016-11-14 17:12:11 +0900558 !ssl_hash_current_message(ssl)) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400559 return ssl_hs_error;
560 }
561
David Benjamin3ce43892016-08-01 19:41:34 -0400562 /* For historical reasons, the server's copy of the chain does not include the
563 * leaf while the client's does. */
Adam Langleyc5ac2b62016-11-07 12:02:35 -0800564 if (sk_X509_num(ssl->s3->new_session->x509_chain) > 0) {
565 X509_free(sk_X509_shift(ssl->s3->new_session->x509_chain));
David Benjamin3ce43892016-08-01 19:41:34 -0400566 }
567
Steven Valdez143e8b32016-07-11 13:19:03 -0400568 hs->state = state_process_client_certificate_verify;
569 return ssl_hs_read_message;
570}
571
572static enum ssl_hs_wait_t do_process_client_certificate_verify(
573 SSL *ssl, SSL_HANDSHAKE *hs) {
Adam Langleyc5ac2b62016-11-07 12:02:35 -0800574 if (ssl->s3->new_session->x509_peer == NULL) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400575 /* Skip this state. */
Nick Harper60a85cb2016-09-23 16:25:11 -0700576 hs->state = state_process_channel_id;
Steven Valdez143e8b32016-07-11 13:19:03 -0400577 return ssl_hs_ok;
578 }
579
580 if (!tls13_check_message_type(ssl, SSL3_MT_CERTIFICATE_VERIFY) ||
581 !tls13_process_certificate_verify(ssl) ||
David Benjaminced94792016-11-14 17:12:11 +0900582 !ssl_hash_current_message(ssl)) {
David Benjamin6929f272016-11-16 19:10:08 +0900583 return ssl_hs_error;
Steven Valdez143e8b32016-07-11 13:19:03 -0400584 }
585
Nick Harper60a85cb2016-09-23 16:25:11 -0700586 hs->state = state_process_channel_id;
587 return ssl_hs_read_message;
588}
589
590static enum ssl_hs_wait_t do_process_channel_id(SSL *ssl, SSL_HANDSHAKE *hs) {
591 if (!ssl->s3->tlsext_channel_id_valid) {
592 hs->state = state_process_client_finished;
593 return ssl_hs_ok;
594 }
595
596 if (!tls13_check_message_type(ssl, SSL3_MT_CHANNEL_ID) ||
597 !tls1_verify_channel_id(ssl) ||
David Benjaminced94792016-11-14 17:12:11 +0900598 !ssl_hash_current_message(ssl)) {
Nick Harper60a85cb2016-09-23 16:25:11 -0700599 return ssl_hs_error;
600 }
601
Steven Valdez143e8b32016-07-11 13:19:03 -0400602 hs->state = state_process_client_finished;
603 return ssl_hs_read_message;
604}
605
606static enum ssl_hs_wait_t do_process_client_finished(SSL *ssl,
607 SSL_HANDSHAKE *hs) {
608 if (!tls13_check_message_type(ssl, SSL3_MT_FINISHED) ||
609 !tls13_process_finished(ssl) ||
David Benjaminced94792016-11-14 17:12:11 +0900610 !ssl_hash_current_message(ssl) ||
Steven Valdez143e8b32016-07-11 13:19:03 -0400611 /* evp_aead_seal keys have already been switched. */
Steven Valdeza833c352016-11-01 13:39:36 -0400612 !tls13_set_traffic_key(ssl, evp_aead_open, hs->client_traffic_secret_0,
613 hs->hash_len) ||
614 !tls13_derive_resumption_secret(ssl)) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400615 return ssl_hs_error;
616 }
617
David Benjamin613fe3b2016-07-22 17:39:29 +0200618 ssl->method->received_flight(ssl);
David Benjamin123db572016-11-03 16:59:25 -0400619
620 /* Refresh the session timestamp so that it is measured from ticket
621 * issuance. */
622 ssl_session_refresh_time(ssl, ssl->s3->new_session);
Steven Valdez1e6f11a2016-07-27 11:10:52 -0400623 hs->state = state_send_new_session_ticket;
Steven Valdez143e8b32016-07-11 13:19:03 -0400624 return ssl_hs_ok;
625}
626
David Benjamin0a011fc2016-11-03 17:19:16 -0400627/* TLS 1.3 recommends single-use tickets, so issue multiple tickets in case the
628 * client makes several connections before getting a renewal. */
629static const int kNumTickets = 2;
630
Steven Valdez1e6f11a2016-07-27 11:10:52 -0400631static enum ssl_hs_wait_t do_send_new_session_ticket(SSL *ssl,
632 SSL_HANDSHAKE *hs) {
Steven Valdeza833c352016-11-01 13:39:36 -0400633 /* If the client doesn't accept resumption with PSK_DHE_KE, don't send a
634 * session ticket. */
635 if (!hs->accept_psk_mode) {
636 hs->state = state_done;
637 return ssl_hs_ok;
638 }
639
Steven Valdez1e6f11a2016-07-27 11:10:52 -0400640 SSL_SESSION *session = ssl->s3->new_session;
Steven Valdeza833c352016-11-01 13:39:36 -0400641 if (!RAND_bytes((uint8_t *)&session->ticket_age_add, 4)) {
642 goto err;
643 }
Steven Valdez1e6f11a2016-07-27 11:10:52 -0400644
Steven Valdez5b986082016-09-01 12:29:49 -0400645 /* TODO(svaldez): Add support for sending 0RTT through TicketEarlyDataInfo
646 * extension. */
647
Steven Valdeza833c352016-11-01 13:39:36 -0400648 CBB cbb, body, ticket, extensions;
Steven Valdez1e6f11a2016-07-27 11:10:52 -0400649 if (!ssl->method->init_message(ssl, &cbb, &body,
650 SSL3_MT_NEW_SESSION_TICKET) ||
David Benjamin123db572016-11-03 16:59:25 -0400651 !CBB_add_u32(&body, session->timeout) ||
Steven Valdeza833c352016-11-01 13:39:36 -0400652 !CBB_add_u32(&body, session->ticket_age_add) ||
Steven Valdez1e6f11a2016-07-27 11:10:52 -0400653 !CBB_add_u16_length_prefixed(&body, &ticket) ||
654 !ssl_encrypt_ticket(ssl, &ticket, session) ||
David Benjamin1a5e8ec2016-10-07 15:19:18 -0400655 !CBB_add_u16_length_prefixed(&body, &extensions)) {
656 goto err;
657 }
658
659 /* Add a fake extension. See draft-davidben-tls-grease-01. */
David Benjamin079b3942016-10-20 13:19:20 -0400660 if (!CBB_add_u16(&extensions,
661 ssl_get_grease_value(ssl, ssl_grease_ticket_extension)) ||
662 !CBB_add_u16(&extensions, 0 /* empty */)) {
663 goto err;
David Benjamin1a5e8ec2016-10-07 15:19:18 -0400664 }
665
Steven Valdez5eead162016-11-11 22:23:25 -0500666 if (!ssl_complete_message(ssl, &cbb)) {
David Benjamin1a5e8ec2016-10-07 15:19:18 -0400667 goto err;
Steven Valdez1e6f11a2016-07-27 11:10:52 -0400668 }
669
670 hs->session_tickets_sent++;
David Benjamin0a011fc2016-11-03 17:19:16 -0400671 if (hs->session_tickets_sent >= kNumTickets) {
672 hs->state = state_flush_new_session_tickets;
673 } else {
674 hs->state = state_send_new_session_ticket;
675 }
Steven Valdez1e6f11a2016-07-27 11:10:52 -0400676
Steven Valdez1e6f11a2016-07-27 11:10:52 -0400677 return ssl_hs_write_message;
David Benjamin1a5e8ec2016-10-07 15:19:18 -0400678
679err:
680 CBB_cleanup(&cbb);
681 return ssl_hs_error;
Steven Valdez1e6f11a2016-07-27 11:10:52 -0400682}
683
David Benjamin0a011fc2016-11-03 17:19:16 -0400684static enum ssl_hs_wait_t do_flush_new_session_tickets(SSL *ssl,
685 SSL_HANDSHAKE *hs) {
686 hs->state = state_done;
Steven Valdez1e6f11a2016-07-27 11:10:52 -0400687 return ssl_hs_flush;
688}
689
Steven Valdez143e8b32016-07-11 13:19:03 -0400690enum ssl_hs_wait_t tls13_server_handshake(SSL *ssl) {
691 SSL_HANDSHAKE *hs = ssl->s3->hs;
692
693 while (hs->state != state_done) {
694 enum ssl_hs_wait_t ret = ssl_hs_error;
695 enum server_hs_state_t state = hs->state;
696 switch (state) {
697 case state_process_client_hello:
698 ret = do_process_client_hello(ssl, hs);
699 break;
David Benjamin25fe85b2016-08-09 20:00:32 -0400700 case state_select_parameters:
701 ret = do_select_parameters(ssl, hs);
702 break;
Steven Valdez5440fe02016-07-18 12:40:30 -0400703 case state_send_hello_retry_request:
704 ret = do_send_hello_retry_request(ssl, hs);
705 break;
706 case state_flush_hello_retry_request:
707 ret = do_flush_hello_retry_request(ssl, hs);
708 break;
709 case state_process_second_client_hello:
710 ret = do_process_second_client_hello(ssl, hs);
711 break;
Steven Valdez143e8b32016-07-11 13:19:03 -0400712 case state_send_server_hello:
713 ret = do_send_server_hello(ssl, hs);
714 break;
715 case state_send_encrypted_extensions:
716 ret = do_send_encrypted_extensions(ssl, hs);
717 break;
718 case state_send_certificate_request:
719 ret = do_send_certificate_request(ssl, hs);
720 break;
721 case state_send_server_certificate:
722 ret = do_send_server_certificate(ssl, hs);
723 break;
724 case state_send_server_certificate_verify:
725 ret = do_send_server_certificate_verify(ssl, hs, 1 /* first run */);
726 break;
727 case state_complete_server_certificate_verify:
728 ret = do_send_server_certificate_verify(ssl, hs, 0 /* complete */);
729 break;
730 case state_send_server_finished:
731 ret = do_send_server_finished(ssl, hs);
732 break;
733 case state_flush:
734 ret = do_flush(ssl, hs);
735 break;
Steven Valdez143e8b32016-07-11 13:19:03 -0400736 case state_process_client_certificate:
737 ret = do_process_client_certificate(ssl, hs);
738 break;
739 case state_process_client_certificate_verify:
740 ret = do_process_client_certificate_verify(ssl, hs);
741 break;
Nick Harper60a85cb2016-09-23 16:25:11 -0700742 case state_process_channel_id:
743 ret = do_process_channel_id(ssl, hs);
744 break;
Steven Valdez143e8b32016-07-11 13:19:03 -0400745 case state_process_client_finished:
746 ret = do_process_client_finished(ssl, hs);
747 break;
Steven Valdez1e6f11a2016-07-27 11:10:52 -0400748 case state_send_new_session_ticket:
749 ret = do_send_new_session_ticket(ssl, hs);
750 break;
David Benjamin0a011fc2016-11-03 17:19:16 -0400751 case state_flush_new_session_tickets:
752 ret = do_flush_new_session_tickets(ssl, hs);
Steven Valdez1e6f11a2016-07-27 11:10:52 -0400753 break;
Steven Valdez143e8b32016-07-11 13:19:03 -0400754 case state_done:
755 ret = ssl_hs_ok;
756 break;
757 }
758
759 if (ret != ssl_hs_ok) {
760 return ret;
761 }
762 }
763
764 return ssl_hs_ok;
765}