blob: e10e88ef3b92f409050c6bb6700d2eeea440a91b [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 Benjamin34202b92016-11-16 19:07:53 +0900126 hs->state = state_select_parameters;
127 return ssl_hs_ok;
128}
129
130static const SSL_CIPHER *choose_tls13_cipher(
131 const SSL *ssl, const struct ssl_early_callback_ctx *client_hello) {
132 if (client_hello->cipher_suites_len % 2 != 0) {
133 return NULL;
134 }
135
136 CBS cipher_suites;
137 CBS_init(&cipher_suites, client_hello->cipher_suites,
138 client_hello->cipher_suites_len);
139
140 const int aes_is_fine = EVP_has_aes_hardware();
David Benjaminf01f42a2016-11-16 19:05:33 +0900141 const uint16_t version = ssl3_protocol_version(ssl);
David Benjamin34202b92016-11-16 19:07:53 +0900142
143 const SSL_CIPHER *best = NULL;
144 while (CBS_len(&cipher_suites) > 0) {
145 uint16_t cipher_suite;
146 if (!CBS_get_u16(&cipher_suites, &cipher_suite)) {
147 return NULL;
148 }
149
David Benjaminf01f42a2016-11-16 19:05:33 +0900150 /* Limit to TLS 1.3 ciphers we know about. */
David Benjamin34202b92016-11-16 19:07:53 +0900151 const SSL_CIPHER *candidate = SSL_get_cipher_by_value(cipher_suite);
David Benjaminf01f42a2016-11-16 19:05:33 +0900152 if (candidate == NULL ||
153 SSL_CIPHER_get_min_version(candidate) > version ||
154 SSL_CIPHER_get_max_version(candidate) < version) {
David Benjamin34202b92016-11-16 19:07:53 +0900155 continue;
156 }
157
158 /* TLS 1.3 removes legacy ciphers, so honor the client order, but prefer
159 * ChaCha20 if we do not have AES hardware. */
160 if (aes_is_fine) {
161 return candidate;
162 }
163
164 if (candidate->algorithm_enc == SSL_CHACHA20POLY1305) {
165 return candidate;
166 }
167
168 if (best == NULL) {
169 best = candidate;
170 }
171 }
172
173 return best;
174}
175
176static enum ssl_hs_wait_t do_select_parameters(SSL *ssl, SSL_HANDSHAKE *hs) {
177 /* Call |cert_cb| to update server certificates if required. */
178 if (ssl->cert->cert_cb != NULL) {
179 int rv = ssl->cert->cert_cb(ssl, ssl->cert->cert_cb_arg);
180 if (rv == 0) {
181 OPENSSL_PUT_ERROR(SSL, SSL_R_CERT_CB_ERROR);
182 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
183 return ssl_hs_error;
184 }
185 if (rv < 0) {
186 hs->state = state_select_parameters;
187 return ssl_hs_x509_lookup;
188 }
189 }
190
191 struct ssl_early_callback_ctx client_hello;
192 if (!ssl_early_callback_init(ssl, &client_hello, ssl->init_msg,
193 ssl->init_num)) {
194 OPENSSL_PUT_ERROR(SSL, SSL_R_CLIENTHELLO_PARSE_FAILED);
195 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
196 return ssl_hs_error;
197 }
198
David Benjaminf01f42a2016-11-16 19:05:33 +0900199 /* Negotiate the cipher suite. */
200 ssl->s3->tmp.new_cipher = choose_tls13_cipher(ssl, &client_hello);
201 if (ssl->s3->tmp.new_cipher == NULL) {
202 OPENSSL_PUT_ERROR(SSL, SSL_R_NO_SHARED_CIPHER);
203 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_HANDSHAKE_FAILURE);
204 return ssl_hs_error;
205 }
206
207 /* Decode the ticket if we agree on a PSK key exchange mode. */
David Benjamin4eb95cc2016-11-16 17:08:23 +0900208 uint8_t alert = SSL_AD_DECODE_ERROR;
209 SSL_SESSION *session = NULL;
210 CBS pre_shared_key, binders;
211 if (hs->accept_psk_mode &&
212 ssl_early_callback_get_extension(&client_hello, &pre_shared_key,
213 TLSEXT_TYPE_pre_shared_key)) {
214 /* Verify that the pre_shared_key extension is the last extension in
215 * ClientHello. */
216 if (CBS_data(&pre_shared_key) + CBS_len(&pre_shared_key) !=
217 client_hello.extensions + client_hello.extensions_len) {
218 OPENSSL_PUT_ERROR(SSL, SSL_R_PRE_SHARED_KEY_MUST_BE_LAST);
219 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_ILLEGAL_PARAMETER);
220 return ssl_hs_error;
221 }
222
223 if (!ssl_ext_pre_shared_key_parse_clienthello(ssl, &session, &binders,
224 &alert, &pre_shared_key)) {
225 ssl3_send_alert(ssl, SSL3_AL_FATAL, alert);
226 return ssl_hs_error;
Steven Valdeza833c352016-11-01 13:39:36 -0400227 }
228 }
229
Steven Valdez4aa154e2016-07-29 14:32:55 -0400230 if (session != NULL &&
David Benjamin75f99142016-11-12 12:36:06 +0900231 !ssl_session_is_resumable(ssl, session)) {
Steven Valdez4aa154e2016-07-29 14:32:55 -0400232 SSL_SESSION_free(session);
233 session = NULL;
234 }
235
David Benjaminf01f42a2016-11-16 19:05:33 +0900236 /* Set up the new session, either using the original one as a template or
237 * creating a fresh one. */
Steven Valdez4aa154e2016-07-29 14:32:55 -0400238 if (session == NULL) {
239 if (!ssl_get_new_session(ssl, 1 /* server */)) {
240 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
241 return ssl_hs_error;
242 }
David Benjaminf01f42a2016-11-16 19:05:33 +0900243
244 ssl->s3->new_session->cipher = ssl->s3->tmp.new_cipher;
245
246 /* On new sessions, stash the SNI value in the session. */
247 if (ssl->s3->hs->hostname != NULL) {
248 ssl->s3->new_session->tlsext_hostname = BUF_strdup(ssl->s3->hs->hostname);
249 if (ssl->s3->new_session->tlsext_hostname == NULL) {
250 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
251 return ssl_hs_error;
252 }
253 }
Steven Valdez4aa154e2016-07-29 14:32:55 -0400254 } else {
Steven Valdeza833c352016-11-01 13:39:36 -0400255 /* Check the PSK binder. */
256 if (!tls13_verify_psk_binder(ssl, session, &binders)) {
257 SSL_SESSION_free(session);
258 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECRYPT_ERROR);
259 return ssl_hs_error;
260 }
261
Steven Valdez4aa154e2016-07-29 14:32:55 -0400262 /* Only authentication information carries over in TLS 1.3. */
263 ssl->s3->new_session = SSL_SESSION_dup(session, SSL_SESSION_DUP_AUTH_ONLY);
264 if (ssl->s3->new_session == NULL) {
265 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
266 return ssl_hs_error;
267 }
268 ssl->s3->session_reused = 1;
Steven Valdez4aa154e2016-07-29 14:32:55 -0400269 SSL_SESSION_free(session);
Steven Valdez143e8b32016-07-11 13:19:03 -0400270 }
271
272 if (ssl->ctx->dos_protection_cb != NULL &&
David Benjamine14ff062016-08-09 16:21:24 -0400273 ssl->ctx->dos_protection_cb(&client_hello) == 0) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400274 /* Connection rejected for DOS reasons. */
275 OPENSSL_PUT_ERROR(SSL, SSL_R_CONNECTION_REJECTED);
David Benjamin2c66e072016-09-16 15:58:00 -0400276 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
Steven Valdez143e8b32016-07-11 13:19:03 -0400277 return ssl_hs_error;
278 }
279
David Benjaminf01f42a2016-11-16 19:05:33 +0900280 /* HTTP/2 negotiation depends on the cipher suite, so ALPN negotiation was
281 * deferred. Complete it now. */
David Benjamin9ef31f02016-10-31 18:01:13 -0400282 if (!ssl_negotiate_alpn(ssl, &alert, &client_hello)) {
283 ssl3_send_alert(ssl, SSL3_AL_FATAL, alert);
284 return ssl_hs_error;
285 }
Steven Valdez803c77a2016-09-06 14:13:43 -0400286
David Benjamin8f820b42016-11-30 11:24:40 -0500287 /* The PRF hash is now known. Set up the key schedule. */
Steven Valdez803c77a2016-09-06 14:13:43 -0400288 size_t hash_len =
Steven Valdez143e8b32016-07-11 13:19:03 -0400289 EVP_MD_size(ssl_get_handshake_digest(ssl_get_algorithm_prf(ssl)));
David Benjamin8f820b42016-11-30 11:24:40 -0500290 if (!tls13_init_key_schedule(ssl)) {
291 return ssl_hs_error;
Steven Valdez143e8b32016-07-11 13:19:03 -0400292 }
293
David Benjamin8f820b42016-11-30 11:24:40 -0500294 /* Incorporate the PSK into the running secret. */
295 if (ssl->s3->session_reused) {
296 if (!tls13_advance_key_schedule(ssl, ssl->s3->new_session->master_key,
297 ssl->s3->new_session->master_key_length)) {
298 return ssl_hs_error;
299 }
300 } else if (!tls13_advance_key_schedule(ssl, kZeroes, hash_len)) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400301 return ssl_hs_error;
302 }
303
David Benjaminf01f42a2016-11-16 19:05:33 +0900304 ssl->method->received_flight(ssl);
305
Steven Valdez143e8b32016-07-11 13:19:03 -0400306 /* Resolve ECDHE and incorporate it into the secret. */
Steven Valdez5440fe02016-07-18 12:40:30 -0400307 int need_retry;
David Benjamine14ff062016-08-09 16:21:24 -0400308 if (!resolve_ecdhe_secret(ssl, &need_retry, &client_hello)) {
Steven Valdez5440fe02016-07-18 12:40:30 -0400309 if (need_retry) {
310 hs->state = state_send_hello_retry_request;
311 return ssl_hs_ok;
Steven Valdez143e8b32016-07-11 13:19:03 -0400312 }
Steven Valdez5440fe02016-07-18 12:40:30 -0400313 return ssl_hs_error;
314 }
Steven Valdez143e8b32016-07-11 13:19:03 -0400315
Steven Valdez5440fe02016-07-18 12:40:30 -0400316 hs->state = state_send_server_hello;
317 return ssl_hs_ok;
318}
Steven Valdez143e8b32016-07-11 13:19:03 -0400319
Steven Valdez5440fe02016-07-18 12:40:30 -0400320static enum ssl_hs_wait_t do_send_hello_retry_request(SSL *ssl,
321 SSL_HANDSHAKE *hs) {
322 CBB cbb, body, extensions;
323 uint16_t group_id;
324 if (!ssl->method->init_message(ssl, &cbb, &body,
325 SSL3_MT_HELLO_RETRY_REQUEST) ||
326 !CBB_add_u16(&body, ssl->version) ||
Steven Valdez5440fe02016-07-18 12:40:30 -0400327 !tls1_get_shared_group(ssl, &group_id) ||
Steven Valdez5440fe02016-07-18 12:40:30 -0400328 !CBB_add_u16_length_prefixed(&body, &extensions) ||
David Benjamin3baa6e12016-10-07 21:10:38 -0400329 !CBB_add_u16(&extensions, TLSEXT_TYPE_key_share) ||
330 !CBB_add_u16(&extensions, 2 /* length */) ||
331 !CBB_add_u16(&extensions, group_id) ||
Steven Valdez5eead162016-11-11 22:23:25 -0500332 !ssl_complete_message(ssl, &cbb)) {
Steven Valdez5440fe02016-07-18 12:40:30 -0400333 CBB_cleanup(&cbb);
334 return ssl_hs_error;
335 }
336
337 hs->state = state_flush_hello_retry_request;
338 return ssl_hs_write_message;
339}
340
341static enum ssl_hs_wait_t do_flush_hello_retry_request(SSL *ssl,
342 SSL_HANDSHAKE *hs) {
343 hs->state = state_process_second_client_hello;
344 return ssl_hs_flush_and_read_message;
345}
346
347static enum ssl_hs_wait_t do_process_second_client_hello(SSL *ssl,
348 SSL_HANDSHAKE *hs) {
349 if (!tls13_check_message_type(ssl, SSL3_MT_CLIENT_HELLO)) {
350 return ssl_hs_error;
351 }
352
David Benjamine14ff062016-08-09 16:21:24 -0400353 struct ssl_early_callback_ctx client_hello;
354 if (!ssl_early_callback_init(ssl, &client_hello, ssl->init_msg,
David Benjamind7573dc2016-07-20 19:05:22 +0200355 ssl->init_num)) {
Steven Valdez5440fe02016-07-18 12:40:30 -0400356 OPENSSL_PUT_ERROR(SSL, SSL_R_CLIENTHELLO_PARSE_FAILED);
357 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
358 return ssl_hs_error;
359 }
360
361 int need_retry;
David Benjamine14ff062016-08-09 16:21:24 -0400362 if (!resolve_ecdhe_secret(ssl, &need_retry, &client_hello)) {
Steven Valdez5440fe02016-07-18 12:40:30 -0400363 if (need_retry) {
364 /* Only send one HelloRetryRequest. */
365 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_ILLEGAL_PARAMETER);
366 OPENSSL_PUT_ERROR(SSL, SSL_R_WRONG_CURVE);
Steven Valdez143e8b32016-07-11 13:19:03 -0400367 }
Steven Valdez5440fe02016-07-18 12:40:30 -0400368 return ssl_hs_error;
369 }
370
David Benjaminced94792016-11-14 17:12:11 +0900371 if (!ssl_hash_current_message(ssl)) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400372 return ssl_hs_error;
373 }
374
David Benjamin613fe3b2016-07-22 17:39:29 +0200375 ssl->method->received_flight(ssl);
Steven Valdez143e8b32016-07-11 13:19:03 -0400376 hs->state = state_send_server_hello;
377 return ssl_hs_ok;
378}
379
380static enum ssl_hs_wait_t do_send_server_hello(SSL *ssl, SSL_HANDSHAKE *hs) {
381 CBB cbb, body, extensions;
382 if (!ssl->method->init_message(ssl, &cbb, &body, SSL3_MT_SERVER_HELLO) ||
383 !CBB_add_u16(&body, ssl->version) ||
384 !RAND_bytes(ssl->s3->server_random, sizeof(ssl->s3->server_random)) ||
385 !CBB_add_bytes(&body, ssl->s3->server_random, SSL3_RANDOM_SIZE) ||
386 !CBB_add_u16(&body, ssl_cipher_get_value(ssl->s3->tmp.new_cipher)) ||
387 !CBB_add_u16_length_prefixed(&body, &extensions) ||
Steven Valdez4aa154e2016-07-29 14:32:55 -0400388 !ssl_ext_pre_shared_key_add_serverhello(ssl, &extensions) ||
Steven Valdeza833c352016-11-01 13:39:36 -0400389 !ssl_ext_key_share_add_serverhello(ssl, &extensions) ||
390 !ssl_complete_message(ssl, &cbb)) {
Steven Valdez803c77a2016-09-06 14:13:43 -0400391 goto err;
Steven Valdez143e8b32016-07-11 13:19:03 -0400392 }
393
394 hs->state = state_send_encrypted_extensions;
395 return ssl_hs_write_message;
Steven Valdez803c77a2016-09-06 14:13:43 -0400396
397err:
398 CBB_cleanup(&cbb);
399 return ssl_hs_error;
Steven Valdez143e8b32016-07-11 13:19:03 -0400400}
401
402static enum ssl_hs_wait_t do_send_encrypted_extensions(SSL *ssl,
403 SSL_HANDSHAKE *hs) {
404 if (!tls13_set_handshake_traffic(ssl)) {
405 return ssl_hs_error;
406 }
407
408 CBB cbb, body;
409 if (!ssl->method->init_message(ssl, &cbb, &body,
410 SSL3_MT_ENCRYPTED_EXTENSIONS) ||
411 !ssl_add_serverhello_tlsext(ssl, &body) ||
Steven Valdez5eead162016-11-11 22:23:25 -0500412 !ssl_complete_message(ssl, &cbb)) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400413 CBB_cleanup(&cbb);
414 return ssl_hs_error;
415 }
416
417 hs->state = state_send_certificate_request;
418 return ssl_hs_write_message;
419}
420
421static enum ssl_hs_wait_t do_send_certificate_request(SSL *ssl,
422 SSL_HANDSHAKE *hs) {
423 /* Determine whether to request a client certificate. */
David Benjamina0486782016-10-06 19:11:32 -0400424 ssl->s3->hs->cert_request = !!(ssl->verify_mode & SSL_VERIFY_PEER);
Steven Valdez803c77a2016-09-06 14:13:43 -0400425 /* CertificateRequest may only be sent in non-resumption handshakes. */
426 if (ssl->s3->session_reused) {
David Benjamina0486782016-10-06 19:11:32 -0400427 ssl->s3->hs->cert_request = 0;
Steven Valdez143e8b32016-07-11 13:19:03 -0400428 }
429
David Benjamina0486782016-10-06 19:11:32 -0400430 if (!ssl->s3->hs->cert_request) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400431 /* Skip this state. */
432 hs->state = state_send_server_certificate;
433 return ssl_hs_ok;
434 }
435
436 CBB cbb, body, sigalgs_cbb;
437 if (!ssl->method->init_message(ssl, &cbb, &body,
438 SSL3_MT_CERTIFICATE_REQUEST) ||
439 !CBB_add_u8(&body, 0 /* no certificate_request_context. */)) {
440 goto err;
441 }
442
443 const uint16_t *sigalgs;
David Benjamin3ef76972016-10-17 17:59:54 -0400444 size_t num_sigalgs = tls12_get_verify_sigalgs(ssl, &sigalgs);
Steven Valdez143e8b32016-07-11 13:19:03 -0400445 if (!CBB_add_u16_length_prefixed(&body, &sigalgs_cbb)) {
446 goto err;
447 }
448
David Benjamin0fc37ef2016-08-17 15:29:46 -0400449 for (size_t i = 0; i < num_sigalgs; i++) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400450 if (!CBB_add_u16(&sigalgs_cbb, sigalgs[i])) {
451 goto err;
452 }
453 }
454
455 if (!ssl_add_client_CA_list(ssl, &body) ||
456 !CBB_add_u16(&body, 0 /* empty certificate_extensions. */) ||
Steven Valdez5eead162016-11-11 22:23:25 -0500457 !ssl_complete_message(ssl, &cbb)) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400458 goto err;
459 }
460
461 hs->state = state_send_server_certificate;
462 return ssl_hs_write_message;
463
464err:
465 CBB_cleanup(&cbb);
466 return ssl_hs_error;
467}
468
469static enum ssl_hs_wait_t do_send_server_certificate(SSL *ssl,
470 SSL_HANDSHAKE *hs) {
Steven Valdez803c77a2016-09-06 14:13:43 -0400471 if (ssl->s3->session_reused) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400472 hs->state = state_send_server_finished;
473 return ssl_hs_ok;
474 }
475
476 if (!ssl_has_certificate(ssl)) {
477 OPENSSL_PUT_ERROR(SSL, SSL_R_NO_CERTIFICATE_SET);
478 return ssl_hs_error;
479 }
480
481 if (!tls13_prepare_certificate(ssl)) {
482 return ssl_hs_error;
483 }
484
485 hs->state = state_send_server_certificate_verify;
486 return ssl_hs_write_message;
487}
488
489static enum ssl_hs_wait_t do_send_server_certificate_verify(SSL *ssl,
490 SSL_HANDSHAKE *hs,
491 int is_first_run) {
492 switch (tls13_prepare_certificate_verify(ssl, is_first_run)) {
493 case ssl_private_key_success:
494 hs->state = state_send_server_finished;
495 return ssl_hs_write_message;
496
497 case ssl_private_key_retry:
498 hs->state = state_complete_server_certificate_verify;
499 return ssl_hs_private_key_operation;
500
501 case ssl_private_key_failure:
502 return ssl_hs_error;
503 }
504
505 assert(0);
506 return ssl_hs_error;
507}
508
509static enum ssl_hs_wait_t do_send_server_finished(SSL *ssl, SSL_HANDSHAKE *hs) {
510 if (!tls13_prepare_finished(ssl)) {
511 return ssl_hs_error;
512 }
513
514 hs->state = state_flush;
515 return ssl_hs_write_message;
516}
517
518static enum ssl_hs_wait_t do_flush(SSL *ssl, SSL_HANDSHAKE *hs) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400519 /* Update the secret to the master secret and derive traffic keys. */
Steven Valdez143e8b32016-07-11 13:19:03 -0400520 if (!tls13_advance_key_schedule(ssl, kZeroes, hs->hash_len) ||
Steven Valdeza833c352016-11-01 13:39:36 -0400521 !tls13_derive_application_secrets(ssl) ||
522 !tls13_set_traffic_key(ssl, evp_aead_seal, hs->server_traffic_secret_0,
523 hs->hash_len)) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400524 return ssl_hs_error;
525 }
526
527 hs->state = state_process_client_certificate;
David Benjaminf2401eb2016-07-18 22:25:05 +0200528 return ssl_hs_flush_and_read_message;
Steven Valdez143e8b32016-07-11 13:19:03 -0400529}
530
531static enum ssl_hs_wait_t do_process_client_certificate(SSL *ssl,
532 SSL_HANDSHAKE *hs) {
David Benjamina0486782016-10-06 19:11:32 -0400533 if (!ssl->s3->hs->cert_request) {
Adam Langley37646832016-08-01 16:16:46 -0700534 /* OpenSSL returns X509_V_OK when no certificates are requested. This is
David Benjamindd634eb2016-08-18 16:40:28 -0400535 * classed by them as a bug, but it's assumed by at least NGINX. */
Adam Langley37646832016-08-01 16:16:46 -0700536 ssl->s3->new_session->verify_result = X509_V_OK;
537
Steven Valdez143e8b32016-07-11 13:19:03 -0400538 /* Skip this state. */
Nick Harper60a85cb2016-09-23 16:25:11 -0700539 hs->state = state_process_channel_id;
Steven Valdez143e8b32016-07-11 13:19:03 -0400540 return ssl_hs_ok;
541 }
542
David Benjamin4087df92016-08-01 20:16:31 -0400543 const int allow_anonymous =
544 (ssl->verify_mode & SSL_VERIFY_FAIL_IF_NO_PEER_CERT) == 0;
545
Steven Valdez143e8b32016-07-11 13:19:03 -0400546 if (!tls13_check_message_type(ssl, SSL3_MT_CERTIFICATE) ||
David Benjamin4087df92016-08-01 20:16:31 -0400547 !tls13_process_certificate(ssl, allow_anonymous) ||
David Benjaminced94792016-11-14 17:12:11 +0900548 !ssl_hash_current_message(ssl)) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400549 return ssl_hs_error;
550 }
551
David Benjamin3ce43892016-08-01 19:41:34 -0400552 /* For historical reasons, the server's copy of the chain does not include the
553 * leaf while the client's does. */
Adam Langleyc5ac2b62016-11-07 12:02:35 -0800554 if (sk_X509_num(ssl->s3->new_session->x509_chain) > 0) {
555 X509_free(sk_X509_shift(ssl->s3->new_session->x509_chain));
David Benjamin3ce43892016-08-01 19:41:34 -0400556 }
557
Steven Valdez143e8b32016-07-11 13:19:03 -0400558 hs->state = state_process_client_certificate_verify;
559 return ssl_hs_read_message;
560}
561
562static enum ssl_hs_wait_t do_process_client_certificate_verify(
563 SSL *ssl, SSL_HANDSHAKE *hs) {
Adam Langleyc5ac2b62016-11-07 12:02:35 -0800564 if (ssl->s3->new_session->x509_peer == NULL) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400565 /* Skip this state. */
Nick Harper60a85cb2016-09-23 16:25:11 -0700566 hs->state = state_process_channel_id;
Steven Valdez143e8b32016-07-11 13:19:03 -0400567 return ssl_hs_ok;
568 }
569
570 if (!tls13_check_message_type(ssl, SSL3_MT_CERTIFICATE_VERIFY) ||
571 !tls13_process_certificate_verify(ssl) ||
David Benjaminced94792016-11-14 17:12:11 +0900572 !ssl_hash_current_message(ssl)) {
David Benjamin6929f272016-11-16 19:10:08 +0900573 return ssl_hs_error;
Steven Valdez143e8b32016-07-11 13:19:03 -0400574 }
575
Nick Harper60a85cb2016-09-23 16:25:11 -0700576 hs->state = state_process_channel_id;
577 return ssl_hs_read_message;
578}
579
580static enum ssl_hs_wait_t do_process_channel_id(SSL *ssl, SSL_HANDSHAKE *hs) {
581 if (!ssl->s3->tlsext_channel_id_valid) {
582 hs->state = state_process_client_finished;
583 return ssl_hs_ok;
584 }
585
586 if (!tls13_check_message_type(ssl, SSL3_MT_CHANNEL_ID) ||
587 !tls1_verify_channel_id(ssl) ||
David Benjaminced94792016-11-14 17:12:11 +0900588 !ssl_hash_current_message(ssl)) {
Nick Harper60a85cb2016-09-23 16:25:11 -0700589 return ssl_hs_error;
590 }
591
Steven Valdez143e8b32016-07-11 13:19:03 -0400592 hs->state = state_process_client_finished;
593 return ssl_hs_read_message;
594}
595
596static enum ssl_hs_wait_t do_process_client_finished(SSL *ssl,
597 SSL_HANDSHAKE *hs) {
598 if (!tls13_check_message_type(ssl, SSL3_MT_FINISHED) ||
599 !tls13_process_finished(ssl) ||
David Benjaminced94792016-11-14 17:12:11 +0900600 !ssl_hash_current_message(ssl) ||
Steven Valdez143e8b32016-07-11 13:19:03 -0400601 /* evp_aead_seal keys have already been switched. */
Steven Valdeza833c352016-11-01 13:39:36 -0400602 !tls13_set_traffic_key(ssl, evp_aead_open, hs->client_traffic_secret_0,
603 hs->hash_len) ||
604 !tls13_derive_resumption_secret(ssl)) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400605 return ssl_hs_error;
606 }
607
David Benjamin613fe3b2016-07-22 17:39:29 +0200608 ssl->method->received_flight(ssl);
David Benjamin123db572016-11-03 16:59:25 -0400609
610 /* Refresh the session timestamp so that it is measured from ticket
611 * issuance. */
612 ssl_session_refresh_time(ssl, ssl->s3->new_session);
Steven Valdez1e6f11a2016-07-27 11:10:52 -0400613 hs->state = state_send_new_session_ticket;
Steven Valdez143e8b32016-07-11 13:19:03 -0400614 return ssl_hs_ok;
615}
616
David Benjamin0a011fc2016-11-03 17:19:16 -0400617/* TLS 1.3 recommends single-use tickets, so issue multiple tickets in case the
618 * client makes several connections before getting a renewal. */
619static const int kNumTickets = 2;
620
Steven Valdez1e6f11a2016-07-27 11:10:52 -0400621static enum ssl_hs_wait_t do_send_new_session_ticket(SSL *ssl,
622 SSL_HANDSHAKE *hs) {
Steven Valdeza833c352016-11-01 13:39:36 -0400623 /* If the client doesn't accept resumption with PSK_DHE_KE, don't send a
624 * session ticket. */
625 if (!hs->accept_psk_mode) {
626 hs->state = state_done;
627 return ssl_hs_ok;
628 }
629
Steven Valdez1e6f11a2016-07-27 11:10:52 -0400630 SSL_SESSION *session = ssl->s3->new_session;
Steven Valdeza833c352016-11-01 13:39:36 -0400631 if (!RAND_bytes((uint8_t *)&session->ticket_age_add, 4)) {
632 goto err;
633 }
Steven Valdez1e6f11a2016-07-27 11:10:52 -0400634
Steven Valdez5b986082016-09-01 12:29:49 -0400635 /* TODO(svaldez): Add support for sending 0RTT through TicketEarlyDataInfo
636 * extension. */
637
Steven Valdeza833c352016-11-01 13:39:36 -0400638 CBB cbb, body, ticket, extensions;
Steven Valdez1e6f11a2016-07-27 11:10:52 -0400639 if (!ssl->method->init_message(ssl, &cbb, &body,
640 SSL3_MT_NEW_SESSION_TICKET) ||
David Benjamin123db572016-11-03 16:59:25 -0400641 !CBB_add_u32(&body, session->timeout) ||
Steven Valdeza833c352016-11-01 13:39:36 -0400642 !CBB_add_u32(&body, session->ticket_age_add) ||
Steven Valdez1e6f11a2016-07-27 11:10:52 -0400643 !CBB_add_u16_length_prefixed(&body, &ticket) ||
644 !ssl_encrypt_ticket(ssl, &ticket, session) ||
David Benjamin1a5e8ec2016-10-07 15:19:18 -0400645 !CBB_add_u16_length_prefixed(&body, &extensions)) {
646 goto err;
647 }
648
649 /* Add a fake extension. See draft-davidben-tls-grease-01. */
David Benjamin079b3942016-10-20 13:19:20 -0400650 if (!CBB_add_u16(&extensions,
651 ssl_get_grease_value(ssl, ssl_grease_ticket_extension)) ||
652 !CBB_add_u16(&extensions, 0 /* empty */)) {
653 goto err;
David Benjamin1a5e8ec2016-10-07 15:19:18 -0400654 }
655
Steven Valdez5eead162016-11-11 22:23:25 -0500656 if (!ssl_complete_message(ssl, &cbb)) {
David Benjamin1a5e8ec2016-10-07 15:19:18 -0400657 goto err;
Steven Valdez1e6f11a2016-07-27 11:10:52 -0400658 }
659
660 hs->session_tickets_sent++;
David Benjamin0a011fc2016-11-03 17:19:16 -0400661 if (hs->session_tickets_sent >= kNumTickets) {
662 hs->state = state_flush_new_session_tickets;
663 } else {
664 hs->state = state_send_new_session_ticket;
665 }
Steven Valdez1e6f11a2016-07-27 11:10:52 -0400666
Steven Valdez1e6f11a2016-07-27 11:10:52 -0400667 return ssl_hs_write_message;
David Benjamin1a5e8ec2016-10-07 15:19:18 -0400668
669err:
670 CBB_cleanup(&cbb);
671 return ssl_hs_error;
Steven Valdez1e6f11a2016-07-27 11:10:52 -0400672}
673
David Benjamin0a011fc2016-11-03 17:19:16 -0400674static enum ssl_hs_wait_t do_flush_new_session_tickets(SSL *ssl,
675 SSL_HANDSHAKE *hs) {
676 hs->state = state_done;
Steven Valdez1e6f11a2016-07-27 11:10:52 -0400677 return ssl_hs_flush;
678}
679
Steven Valdez143e8b32016-07-11 13:19:03 -0400680enum ssl_hs_wait_t tls13_server_handshake(SSL *ssl) {
681 SSL_HANDSHAKE *hs = ssl->s3->hs;
682
683 while (hs->state != state_done) {
684 enum ssl_hs_wait_t ret = ssl_hs_error;
685 enum server_hs_state_t state = hs->state;
686 switch (state) {
687 case state_process_client_hello:
688 ret = do_process_client_hello(ssl, hs);
689 break;
David Benjamin25fe85b2016-08-09 20:00:32 -0400690 case state_select_parameters:
691 ret = do_select_parameters(ssl, hs);
692 break;
Steven Valdez5440fe02016-07-18 12:40:30 -0400693 case state_send_hello_retry_request:
694 ret = do_send_hello_retry_request(ssl, hs);
695 break;
696 case state_flush_hello_retry_request:
697 ret = do_flush_hello_retry_request(ssl, hs);
698 break;
699 case state_process_second_client_hello:
700 ret = do_process_second_client_hello(ssl, hs);
701 break;
Steven Valdez143e8b32016-07-11 13:19:03 -0400702 case state_send_server_hello:
703 ret = do_send_server_hello(ssl, hs);
704 break;
705 case state_send_encrypted_extensions:
706 ret = do_send_encrypted_extensions(ssl, hs);
707 break;
708 case state_send_certificate_request:
709 ret = do_send_certificate_request(ssl, hs);
710 break;
711 case state_send_server_certificate:
712 ret = do_send_server_certificate(ssl, hs);
713 break;
714 case state_send_server_certificate_verify:
715 ret = do_send_server_certificate_verify(ssl, hs, 1 /* first run */);
716 break;
717 case state_complete_server_certificate_verify:
718 ret = do_send_server_certificate_verify(ssl, hs, 0 /* complete */);
719 break;
720 case state_send_server_finished:
721 ret = do_send_server_finished(ssl, hs);
722 break;
723 case state_flush:
724 ret = do_flush(ssl, hs);
725 break;
Steven Valdez143e8b32016-07-11 13:19:03 -0400726 case state_process_client_certificate:
727 ret = do_process_client_certificate(ssl, hs);
728 break;
729 case state_process_client_certificate_verify:
730 ret = do_process_client_certificate_verify(ssl, hs);
731 break;
Nick Harper60a85cb2016-09-23 16:25:11 -0700732 case state_process_channel_id:
733 ret = do_process_channel_id(ssl, hs);
734 break;
Steven Valdez143e8b32016-07-11 13:19:03 -0400735 case state_process_client_finished:
736 ret = do_process_client_finished(ssl, hs);
737 break;
Steven Valdez1e6f11a2016-07-27 11:10:52 -0400738 case state_send_new_session_ticket:
739 ret = do_send_new_session_ticket(ssl, hs);
740 break;
David Benjamin0a011fc2016-11-03 17:19:16 -0400741 case state_flush_new_session_tickets:
742 ret = do_flush_new_session_tickets(ssl, hs);
Steven Valdez1e6f11a2016-07-27 11:10:52 -0400743 break;
Steven Valdez143e8b32016-07-11 13:19:03 -0400744 case state_done:
745 ret = ssl_hs_ok;
746 break;
747 }
748
749 if (ret != ssl_hs_ok) {
750 return ret;
751 }
752 }
753
754 return ssl_hs_ok;
755}