blob: 402c2343163b21f6aba8d9d849f880ac8f168282 [file] [log] [blame]
Steven Valdez143e8b32016-07-11 13:19:03 -04001/* Copyright (c) 2016, Google Inc.
2 *
3 * Permission to use, copy, modify, and/or distribute this software for any
4 * purpose with or without fee is hereby granted, provided that the above
5 * copyright notice and this permission notice appear in all copies.
6 *
7 * THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
8 * WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
9 * MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY
10 * SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
11 * WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN ACTION
12 * OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF OR IN
13 * CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE. */
14
15#include <openssl/ssl.h>
16
17#include <assert.h>
18#include <string.h>
19
David Benjaminabbbee12016-10-31 19:20:42 -040020#include <openssl/aead.h>
Steven Valdez143e8b32016-07-11 13:19:03 -040021#include <openssl/bytestring.h>
22#include <openssl/digest.h>
23#include <openssl/err.h>
24#include <openssl/mem.h>
25#include <openssl/rand.h>
26#include <openssl/stack.h>
27
David Benjamin17cf2cb2016-12-13 01:07:13 -050028#include "../crypto/internal.h"
Steven Valdez143e8b32016-07-11 13:19:03 -040029#include "internal.h"
30
31
Steven Valdez08b65f42016-12-07 15:29:45 -050032/* kMaxEarlyDataAccepted is the advertised number of plaintext bytes of early
33 * data that will be accepted. This value should be slightly below
34 * kMaxEarlyDataSkipped in tls_record.c, which is measured in ciphertext. */
35static const size_t kMaxEarlyDataAccepted = 14336;
36
Steven Valdez143e8b32016-07-11 13:19:03 -040037enum server_hs_state_t {
David Benjamindaa05392017-02-02 23:33:21 -050038 state_select_parameters = 0,
Steven Valdez5440fe02016-07-18 12:40:30 -040039 state_send_hello_retry_request,
Steven Valdez5440fe02016-07-18 12:40:30 -040040 state_process_second_client_hello,
Steven Valdez143e8b32016-07-11 13:19:03 -040041 state_send_server_hello,
Steven Valdez143e8b32016-07-11 13:19:03 -040042 state_send_server_certificate_verify,
43 state_complete_server_certificate_verify,
44 state_send_server_finished,
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,
Steven Valdez143e8b32016-07-11 13:19:03 -040050 state_done,
51};
52
Steven Valdez5440fe02016-07-18 12:40:30 -040053static const uint8_t kZeroes[EVP_MAX_MD_SIZE] = {0};
54
David Benjamin6e4fc332016-11-17 16:43:08 +090055static int resolve_ecdhe_secret(SSL_HANDSHAKE *hs, int *out_need_retry,
David Benjamin731058e2016-12-03 23:15:13 -050056 SSL_CLIENT_HELLO *client_hello) {
David Benjamin6e4fc332016-11-17 16:43:08 +090057 SSL *const ssl = hs->ssl;
Steven Valdez5440fe02016-07-18 12:40:30 -040058 *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 Benjamin731058e2016-12-03 23:15:13 -050062 if (!ssl_client_hello_get_extension(client_hello, &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;
David Benjamin8baf9632016-11-17 17:11:16 +090073 if (!ssl_ext_key_share_parse_clienthello(hs, &found_key_share, &dhe_secret,
Steven Valdez7259f2f2016-08-02 16:55:05 -040074 &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
David Benjamin6e4fc332016-11-17 16:43:08 +090085 int ok = tls13_advance_key_schedule(hs, dhe_secret, dhe_secret_len);
Steven Valdez5440fe02016-07-18 12:40:30 -040086 OPENSSL_free(dhe_secret);
87 return ok;
88}
89
David Benjamin34202b92016-11-16 19:07:53 +090090static const SSL_CIPHER *choose_tls13_cipher(
David Benjamin731058e2016-12-03 23:15:13 -050091 const SSL *ssl, const SSL_CLIENT_HELLO *client_hello) {
David Benjamin34202b92016-11-16 19:07:53 +090092 if (client_hello->cipher_suites_len % 2 != 0) {
93 return NULL;
94 }
95
96 CBS cipher_suites;
97 CBS_init(&cipher_suites, client_hello->cipher_suites,
98 client_hello->cipher_suites_len);
99
100 const int aes_is_fine = EVP_has_aes_hardware();
David Benjaminf01f42a2016-11-16 19:05:33 +0900101 const uint16_t version = ssl3_protocol_version(ssl);
David Benjamin34202b92016-11-16 19:07:53 +0900102
103 const SSL_CIPHER *best = NULL;
104 while (CBS_len(&cipher_suites) > 0) {
105 uint16_t cipher_suite;
106 if (!CBS_get_u16(&cipher_suites, &cipher_suite)) {
107 return NULL;
108 }
109
David Benjaminf01f42a2016-11-16 19:05:33 +0900110 /* Limit to TLS 1.3 ciphers we know about. */
David Benjamin34202b92016-11-16 19:07:53 +0900111 const SSL_CIPHER *candidate = SSL_get_cipher_by_value(cipher_suite);
David Benjaminf01f42a2016-11-16 19:05:33 +0900112 if (candidate == NULL ||
113 SSL_CIPHER_get_min_version(candidate) > version ||
114 SSL_CIPHER_get_max_version(candidate) < version) {
David Benjamin34202b92016-11-16 19:07:53 +0900115 continue;
116 }
117
118 /* TLS 1.3 removes legacy ciphers, so honor the client order, but prefer
119 * ChaCha20 if we do not have AES hardware. */
120 if (aes_is_fine) {
121 return candidate;
122 }
123
124 if (candidate->algorithm_enc == SSL_CHACHA20POLY1305) {
125 return candidate;
126 }
127
128 if (best == NULL) {
129 best = candidate;
130 }
131 }
132
133 return best;
134}
135
David Benjaminc3c88822016-11-14 10:32:04 +0900136static enum ssl_hs_wait_t do_select_parameters(SSL_HANDSHAKE *hs) {
137 SSL *const ssl = hs->ssl;
David Benjamindaa05392017-02-02 23:33:21 -0500138 /* The short record header extension is incompatible with early data. */
139 if (ssl->s3->skip_early_data && ssl->s3->short_header) {
140 OPENSSL_PUT_ERROR(SSL, SSL_R_UNEXPECTED_EXTENSION);
David Benjamin650aa1c2016-12-20 18:55:16 -0500141 return ssl_hs_error;
142 }
143
David Benjamin731058e2016-12-03 23:15:13 -0500144 SSL_CLIENT_HELLO client_hello;
145 if (!ssl_client_hello_init(ssl, &client_hello, ssl->init_msg,
146 ssl->init_num)) {
David Benjamin34202b92016-11-16 19:07:53 +0900147 OPENSSL_PUT_ERROR(SSL, SSL_R_CLIENTHELLO_PARSE_FAILED);
148 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
149 return ssl_hs_error;
150 }
151
David Benjaminf01f42a2016-11-16 19:05:33 +0900152 /* Negotiate the cipher suite. */
David Benjamin45738dd2017-02-09 20:01:26 -0500153 hs->new_cipher = choose_tls13_cipher(ssl, &client_hello);
154 if (hs->new_cipher == NULL) {
David Benjaminf01f42a2016-11-16 19:05:33 +0900155 OPENSSL_PUT_ERROR(SSL, SSL_R_NO_SHARED_CIPHER);
156 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_HANDSHAKE_FAILURE);
157 return ssl_hs_error;
158 }
159
Steven Valdez908ac192017-01-12 13:17:07 -0500160 /* The PRF hash is now known. Set up the key schedule and hash the
161 * ClientHello. */
162 if (!tls13_init_key_schedule(hs) ||
163 !ssl_hash_current_message(hs)) {
164 return ssl_hs_error;
165 }
166
167
David Benjaminf01f42a2016-11-16 19:05:33 +0900168 /* Decode the ticket if we agree on a PSK key exchange mode. */
David Benjamin4eb95cc2016-11-16 17:08:23 +0900169 uint8_t alert = SSL_AD_DECODE_ERROR;
170 SSL_SESSION *session = NULL;
171 CBS pre_shared_key, binders;
172 if (hs->accept_psk_mode &&
David Benjamin731058e2016-12-03 23:15:13 -0500173 ssl_client_hello_get_extension(&client_hello, &pre_shared_key,
174 TLSEXT_TYPE_pre_shared_key)) {
David Benjamin4eb95cc2016-11-16 17:08:23 +0900175 /* Verify that the pre_shared_key extension is the last extension in
176 * ClientHello. */
177 if (CBS_data(&pre_shared_key) + CBS_len(&pre_shared_key) !=
178 client_hello.extensions + client_hello.extensions_len) {
179 OPENSSL_PUT_ERROR(SSL, SSL_R_PRE_SHARED_KEY_MUST_BE_LAST);
180 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_ILLEGAL_PARAMETER);
181 return ssl_hs_error;
182 }
183
David Benjamin8baf9632016-11-17 17:11:16 +0900184 if (!ssl_ext_pre_shared_key_parse_clienthello(hs, &session, &binders,
David Benjamin4eb95cc2016-11-16 17:08:23 +0900185 &alert, &pre_shared_key)) {
186 ssl3_send_alert(ssl, SSL3_AL_FATAL, alert);
187 return ssl_hs_error;
Steven Valdeza833c352016-11-01 13:39:36 -0400188 }
189 }
190
Steven Valdez4aa154e2016-07-29 14:32:55 -0400191 if (session != NULL &&
David Benjamin45738dd2017-02-09 20:01:26 -0500192 !ssl_session_is_resumable(hs, session)) {
Steven Valdez4aa154e2016-07-29 14:32:55 -0400193 SSL_SESSION_free(session);
194 session = NULL;
195 }
196
David Benjaminf01f42a2016-11-16 19:05:33 +0900197 /* Set up the new session, either using the original one as a template or
198 * creating a fresh one. */
Steven Valdez4aa154e2016-07-29 14:32:55 -0400199 if (session == NULL) {
David Benjaminf3c8f8d2016-11-17 17:20:47 +0900200 if (!ssl_get_new_session(hs, 1 /* server */)) {
Steven Valdez4aa154e2016-07-29 14:32:55 -0400201 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
202 return ssl_hs_error;
203 }
David Benjaminf01f42a2016-11-16 19:05:33 +0900204
David Benjamin45738dd2017-02-09 20:01:26 -0500205 hs->new_session->cipher = hs->new_cipher;
David Benjaminf01f42a2016-11-16 19:05:33 +0900206
207 /* On new sessions, stash the SNI value in the session. */
David Benjamin6e4fc332016-11-17 16:43:08 +0900208 if (hs->hostname != NULL) {
David Benjamin45738dd2017-02-09 20:01:26 -0500209 OPENSSL_free(hs->new_session->tlsext_hostname);
210 hs->new_session->tlsext_hostname = BUF_strdup(hs->hostname);
211 if (hs->new_session->tlsext_hostname == NULL) {
David Benjaminf01f42a2016-11-16 19:05:33 +0900212 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
213 return ssl_hs_error;
214 }
215 }
Steven Valdez4aa154e2016-07-29 14:32:55 -0400216 } else {
Steven Valdeza833c352016-11-01 13:39:36 -0400217 /* Check the PSK binder. */
Steven Valdez908ac192017-01-12 13:17:07 -0500218 if (!tls13_verify_psk_binder(hs, session, &binders)) {
Steven Valdeza833c352016-11-01 13:39:36 -0400219 SSL_SESSION_free(session);
220 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECRYPT_ERROR);
221 return ssl_hs_error;
222 }
223
Steven Valdez4aa154e2016-07-29 14:32:55 -0400224 /* Only authentication information carries over in TLS 1.3. */
David Benjamin45738dd2017-02-09 20:01:26 -0500225 hs->new_session = SSL_SESSION_dup(session, SSL_SESSION_DUP_AUTH_ONLY);
226 if (hs->new_session == NULL) {
Steven Valdez4aa154e2016-07-29 14:32:55 -0400227 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
228 return ssl_hs_error;
229 }
230 ssl->s3->session_reused = 1;
Steven Valdez4aa154e2016-07-29 14:32:55 -0400231 SSL_SESSION_free(session);
David Benjamin17b30832017-01-28 14:00:32 -0500232
233 /* Resumption incorporates fresh key material, so refresh the timeout. */
David Benjamin45738dd2017-02-09 20:01:26 -0500234 ssl_session_renew_timeout(ssl, hs->new_session,
Alessandro Ghedini33fe4a02017-02-06 13:40:10 +0000235 ssl->initial_ctx->session_psk_dhe_timeout);
Steven Valdez143e8b32016-07-11 13:19:03 -0400236 }
237
238 if (ssl->ctx->dos_protection_cb != NULL &&
David Benjamine14ff062016-08-09 16:21:24 -0400239 ssl->ctx->dos_protection_cb(&client_hello) == 0) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400240 /* Connection rejected for DOS reasons. */
241 OPENSSL_PUT_ERROR(SSL, SSL_R_CONNECTION_REJECTED);
David Benjamin2c66e072016-09-16 15:58:00 -0400242 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
Steven Valdez143e8b32016-07-11 13:19:03 -0400243 return ssl_hs_error;
244 }
245
David Benjaminf01f42a2016-11-16 19:05:33 +0900246 /* HTTP/2 negotiation depends on the cipher suite, so ALPN negotiation was
247 * deferred. Complete it now. */
Adam Langleyc68e5b92017-02-08 13:33:15 -0800248 alert = SSL_AD_DECODE_ERROR;
David Benjaminf3c8f8d2016-11-17 17:20:47 +0900249 if (!ssl_negotiate_alpn(hs, &alert, &client_hello)) {
David Benjamin9ef31f02016-10-31 18:01:13 -0400250 ssl3_send_alert(ssl, SSL3_AL_FATAL, alert);
251 return ssl_hs_error;
252 }
Steven Valdez803c77a2016-09-06 14:13:43 -0400253
Steven Valdez27a9e6a2017-02-14 13:20:40 -0500254 /* Store the initial negotiated ALPN in the session. */
255 if (ssl->s3->alpn_selected != NULL) {
David Benjamin45738dd2017-02-09 20:01:26 -0500256 hs->new_session->early_alpn =
Steven Valdez27a9e6a2017-02-14 13:20:40 -0500257 BUF_memdup(ssl->s3->alpn_selected, ssl->s3->alpn_selected_len);
David Benjamin45738dd2017-02-09 20:01:26 -0500258 if (hs->new_session->early_alpn == NULL) {
Steven Valdez27a9e6a2017-02-14 13:20:40 -0500259 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
260 return ssl_hs_error;
261 }
David Benjamin45738dd2017-02-09 20:01:26 -0500262 hs->new_session->early_alpn_len = ssl->s3->alpn_selected_len;
Steven Valdez27a9e6a2017-02-14 13:20:40 -0500263 }
264
David Benjamin8f820b42016-11-30 11:24:40 -0500265 /* Incorporate the PSK into the running secret. */
266 if (ssl->s3->session_reused) {
David Benjamin45738dd2017-02-09 20:01:26 -0500267 if (!tls13_advance_key_schedule(hs, hs->new_session->master_key,
268 hs->new_session->master_key_length)) {
David Benjamin8f820b42016-11-30 11:24:40 -0500269 return ssl_hs_error;
270 }
Steven Valdez908ac192017-01-12 13:17:07 -0500271 } else if (!tls13_advance_key_schedule(hs, kZeroes, hs->hash_len)) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400272 return ssl_hs_error;
273 }
274
David Benjaminf01f42a2016-11-16 19:05:33 +0900275 ssl->method->received_flight(ssl);
276
Steven Valdez143e8b32016-07-11 13:19:03 -0400277 /* Resolve ECDHE and incorporate it into the secret. */
Steven Valdez5440fe02016-07-18 12:40:30 -0400278 int need_retry;
David Benjamin6e4fc332016-11-17 16:43:08 +0900279 if (!resolve_ecdhe_secret(hs, &need_retry, &client_hello)) {
Steven Valdez5440fe02016-07-18 12:40:30 -0400280 if (need_retry) {
David Benjamin3977f302016-12-11 13:30:41 -0500281 hs->tls13_state = state_send_hello_retry_request;
Steven Valdez5440fe02016-07-18 12:40:30 -0400282 return ssl_hs_ok;
Steven Valdez143e8b32016-07-11 13:19:03 -0400283 }
Steven Valdez5440fe02016-07-18 12:40:30 -0400284 return ssl_hs_error;
285 }
Steven Valdez143e8b32016-07-11 13:19:03 -0400286
David Benjamin3977f302016-12-11 13:30:41 -0500287 hs->tls13_state = state_send_server_hello;
Steven Valdez5440fe02016-07-18 12:40:30 -0400288 return ssl_hs_ok;
289}
Steven Valdez143e8b32016-07-11 13:19:03 -0400290
David Benjaminc3c88822016-11-14 10:32:04 +0900291static enum ssl_hs_wait_t do_send_hello_retry_request(SSL_HANDSHAKE *hs) {
292 SSL *const ssl = hs->ssl;
Steven Valdez5440fe02016-07-18 12:40:30 -0400293 CBB cbb, body, extensions;
294 uint16_t group_id;
295 if (!ssl->method->init_message(ssl, &cbb, &body,
296 SSL3_MT_HELLO_RETRY_REQUEST) ||
297 !CBB_add_u16(&body, ssl->version) ||
David Benjaminf3c8f8d2016-11-17 17:20:47 +0900298 !tls1_get_shared_group(hs, &group_id) ||
Steven Valdez5440fe02016-07-18 12:40:30 -0400299 !CBB_add_u16_length_prefixed(&body, &extensions) ||
David Benjamin3baa6e12016-10-07 21:10:38 -0400300 !CBB_add_u16(&extensions, TLSEXT_TYPE_key_share) ||
301 !CBB_add_u16(&extensions, 2 /* length */) ||
302 !CBB_add_u16(&extensions, group_id) ||
David Benjamindaf207a2017-01-03 18:37:41 -0500303 !ssl_add_message_cbb(ssl, &cbb)) {
Steven Valdez5440fe02016-07-18 12:40:30 -0400304 CBB_cleanup(&cbb);
305 return ssl_hs_error;
306 }
307
David Benjamin3977f302016-12-11 13:30:41 -0500308 hs->tls13_state = state_process_second_client_hello;
Steven Valdez5440fe02016-07-18 12:40:30 -0400309 return ssl_hs_flush_and_read_message;
310}
311
David Benjaminc3c88822016-11-14 10:32:04 +0900312static enum ssl_hs_wait_t do_process_second_client_hello(SSL_HANDSHAKE *hs) {
313 SSL *const ssl = hs->ssl;
David Benjamin276b7e82017-01-21 14:13:39 -0500314 if (!ssl_check_message_type(ssl, SSL3_MT_CLIENT_HELLO)) {
Steven Valdez5440fe02016-07-18 12:40:30 -0400315 return ssl_hs_error;
316 }
317
David Benjamin731058e2016-12-03 23:15:13 -0500318 SSL_CLIENT_HELLO client_hello;
319 if (!ssl_client_hello_init(ssl, &client_hello, ssl->init_msg,
320 ssl->init_num)) {
Steven Valdez5440fe02016-07-18 12:40:30 -0400321 OPENSSL_PUT_ERROR(SSL, SSL_R_CLIENTHELLO_PARSE_FAILED);
322 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
323 return ssl_hs_error;
324 }
325
326 int need_retry;
David Benjamin6e4fc332016-11-17 16:43:08 +0900327 if (!resolve_ecdhe_secret(hs, &need_retry, &client_hello)) {
Steven Valdez5440fe02016-07-18 12:40:30 -0400328 if (need_retry) {
329 /* Only send one HelloRetryRequest. */
330 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_ILLEGAL_PARAMETER);
331 OPENSSL_PUT_ERROR(SSL, SSL_R_WRONG_CURVE);
Steven Valdez143e8b32016-07-11 13:19:03 -0400332 }
Steven Valdez5440fe02016-07-18 12:40:30 -0400333 return ssl_hs_error;
334 }
335
Steven Valdez908ac192017-01-12 13:17:07 -0500336 if (!ssl_hash_current_message(hs)) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400337 return ssl_hs_error;
338 }
339
David Benjamin613fe3b2016-07-22 17:39:29 +0200340 ssl->method->received_flight(ssl);
David Benjamin3977f302016-12-11 13:30:41 -0500341 hs->tls13_state = state_send_server_hello;
Steven Valdez143e8b32016-07-11 13:19:03 -0400342 return ssl_hs_ok;
343}
344
David Benjaminc3c88822016-11-14 10:32:04 +0900345static enum ssl_hs_wait_t do_send_server_hello(SSL_HANDSHAKE *hs) {
346 SSL *const ssl = hs->ssl;
David Benjamin81b7bc32017-01-12 19:44:57 -0500347
348 /* Send a ServerHello. */
Steven Valdez143e8b32016-07-11 13:19:03 -0400349 CBB cbb, body, extensions;
350 if (!ssl->method->init_message(ssl, &cbb, &body, SSL3_MT_SERVER_HELLO) ||
351 !CBB_add_u16(&body, ssl->version) ||
352 !RAND_bytes(ssl->s3->server_random, sizeof(ssl->s3->server_random)) ||
353 !CBB_add_bytes(&body, ssl->s3->server_random, SSL3_RANDOM_SIZE) ||
David Benjamin45738dd2017-02-09 20:01:26 -0500354 !CBB_add_u16(&body, ssl_cipher_get_value(hs->new_cipher)) ||
Steven Valdez143e8b32016-07-11 13:19:03 -0400355 !CBB_add_u16_length_prefixed(&body, &extensions) ||
David Benjamin8baf9632016-11-17 17:11:16 +0900356 !ssl_ext_pre_shared_key_add_serverhello(hs, &extensions) ||
David Benjamin6f600d62016-12-21 16:06:54 -0500357 !ssl_ext_key_share_add_serverhello(hs, &extensions)) {
358 goto err;
359 }
360
361 if (ssl->s3->short_header) {
362 if (!CBB_add_u16(&extensions, TLSEXT_TYPE_short_header) ||
363 !CBB_add_u16(&extensions, 0 /* empty extension */)) {
364 goto err;
365 }
366 }
367
David Benjamindaf207a2017-01-03 18:37:41 -0500368 if (!ssl_add_message_cbb(ssl, &cbb)) {
Steven Valdez803c77a2016-09-06 14:13:43 -0400369 goto err;
Steven Valdez143e8b32016-07-11 13:19:03 -0400370 }
371
David Benjamin81b7bc32017-01-12 19:44:57 -0500372 /* Derive and enable the handshake traffic secrets. */
Steven Valdez4cb84942016-12-16 11:29:28 -0500373 if (!tls13_derive_handshake_secrets(hs) ||
374 !tls13_set_traffic_key(ssl, evp_aead_open, hs->client_handshake_secret,
375 hs->hash_len) ||
376 !tls13_set_traffic_key(ssl, evp_aead_seal, hs->server_handshake_secret,
377 hs->hash_len)) {
David Benjamin81b7bc32017-01-12 19:44:57 -0500378 goto err;
Steven Valdez143e8b32016-07-11 13:19:03 -0400379 }
380
David Benjamin81b7bc32017-01-12 19:44:57 -0500381 /* Send EncryptedExtensions. */
Steven Valdez143e8b32016-07-11 13:19:03 -0400382 if (!ssl->method->init_message(ssl, &cbb, &body,
383 SSL3_MT_ENCRYPTED_EXTENSIONS) ||
David Benjamin8c880a22016-12-03 02:20:34 -0500384 !ssl_add_serverhello_tlsext(hs, &body) ||
David Benjamindaf207a2017-01-03 18:37:41 -0500385 !ssl_add_message_cbb(ssl, &cbb)) {
David Benjamin81b7bc32017-01-12 19:44:57 -0500386 goto err;
Steven Valdez143e8b32016-07-11 13:19:03 -0400387 }
388
Steven Valdez143e8b32016-07-11 13:19:03 -0400389 /* Determine whether to request a client certificate. */
David Benjaminc3c88822016-11-14 10:32:04 +0900390 hs->cert_request = !!(ssl->verify_mode & SSL_VERIFY_PEER);
Steven Valdez803c77a2016-09-06 14:13:43 -0400391 /* CertificateRequest may only be sent in non-resumption handshakes. */
392 if (ssl->s3->session_reused) {
David Benjaminc3c88822016-11-14 10:32:04 +0900393 hs->cert_request = 0;
Steven Valdez143e8b32016-07-11 13:19:03 -0400394 }
395
David Benjamin81b7bc32017-01-12 19:44:57 -0500396 /* Send a CertificateRequest, if necessary. */
397 if (hs->cert_request) {
398 CBB sigalgs_cbb;
399 if (!ssl->method->init_message(ssl, &cbb, &body,
400 SSL3_MT_CERTIFICATE_REQUEST) ||
401 !CBB_add_u8(&body, 0 /* no certificate_request_context. */)) {
402 goto err;
403 }
Steven Valdez143e8b32016-07-11 13:19:03 -0400404
David Benjamin81b7bc32017-01-12 19:44:57 -0500405 const uint16_t *sigalgs;
406 size_t num_sigalgs = tls12_get_verify_sigalgs(ssl, &sigalgs);
407 if (!CBB_add_u16_length_prefixed(&body, &sigalgs_cbb)) {
408 goto err;
409 }
Steven Valdez143e8b32016-07-11 13:19:03 -0400410
David Benjamin81b7bc32017-01-12 19:44:57 -0500411 for (size_t i = 0; i < num_sigalgs; i++) {
412 if (!CBB_add_u16(&sigalgs_cbb, sigalgs[i])) {
413 goto err;
414 }
415 }
Steven Valdez143e8b32016-07-11 13:19:03 -0400416
David Benjamin81b7bc32017-01-12 19:44:57 -0500417 if (!ssl_add_client_CA_list(ssl, &body) ||
418 !CBB_add_u16(&body, 0 /* empty certificate_extensions. */) ||
419 !ssl_add_message_cbb(ssl, &cbb)) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400420 goto err;
421 }
422 }
423
David Benjamin81b7bc32017-01-12 19:44:57 -0500424 /* Send the server Certificate message, if necessary. */
425 if (!ssl->s3->session_reused) {
426 if (!ssl_has_certificate(ssl)) {
427 OPENSSL_PUT_ERROR(SSL, SSL_R_NO_CERTIFICATE_SET);
428 goto err;
429 }
430
David Benjamin0f24bed2017-01-12 19:46:50 -0500431 if (!tls13_add_certificate(hs)) {
David Benjamin81b7bc32017-01-12 19:44:57 -0500432 goto err;
433 }
434
435 hs->tls13_state = state_send_server_certificate_verify;
436 return ssl_hs_ok;
Steven Valdez143e8b32016-07-11 13:19:03 -0400437 }
438
David Benjamin81b7bc32017-01-12 19:44:57 -0500439 hs->tls13_state = state_send_server_finished;
David Benjamin25ac2512017-01-12 19:31:28 -0500440 return ssl_hs_ok;
Steven Valdez143e8b32016-07-11 13:19:03 -0400441
442err:
443 CBB_cleanup(&cbb);
444 return ssl_hs_error;
445}
446
David Benjaminc3c88822016-11-14 10:32:04 +0900447static enum ssl_hs_wait_t do_send_server_certificate_verify(SSL_HANDSHAKE *hs,
Steven Valdez143e8b32016-07-11 13:19:03 -0400448 int is_first_run) {
David Benjamin0f24bed2017-01-12 19:46:50 -0500449 switch (tls13_add_certificate_verify(hs, is_first_run)) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400450 case ssl_private_key_success:
David Benjamin3977f302016-12-11 13:30:41 -0500451 hs->tls13_state = state_send_server_finished;
David Benjamin25ac2512017-01-12 19:31:28 -0500452 return ssl_hs_ok;
Steven Valdez143e8b32016-07-11 13:19:03 -0400453
454 case ssl_private_key_retry:
David Benjamin3977f302016-12-11 13:30:41 -0500455 hs->tls13_state = state_complete_server_certificate_verify;
Steven Valdez143e8b32016-07-11 13:19:03 -0400456 return ssl_hs_private_key_operation;
457
458 case ssl_private_key_failure:
459 return ssl_hs_error;
460 }
461
462 assert(0);
463 return ssl_hs_error;
464}
465
David Benjaminc3c88822016-11-14 10:32:04 +0900466static enum ssl_hs_wait_t do_send_server_finished(SSL_HANDSHAKE *hs) {
David Benjaminc3c88822016-11-14 10:32:04 +0900467 SSL *const ssl = hs->ssl;
David Benjamin0f24bed2017-01-12 19:46:50 -0500468 if (!tls13_add_finished(hs) ||
David Benjamin25ac2512017-01-12 19:31:28 -0500469 /* Update the secret to the master secret and derive traffic keys. */
470 !tls13_advance_key_schedule(hs, kZeroes, hs->hash_len) ||
David Benjamin6e4fc332016-11-17 16:43:08 +0900471 !tls13_derive_application_secrets(hs) ||
Steven Valdeza833c352016-11-01 13:39:36 -0400472 !tls13_set_traffic_key(ssl, evp_aead_seal, hs->server_traffic_secret_0,
473 hs->hash_len)) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400474 return ssl_hs_error;
475 }
476
David Benjamin3977f302016-12-11 13:30:41 -0500477 hs->tls13_state = state_process_client_certificate;
David Benjaminf2401eb2016-07-18 22:25:05 +0200478 return ssl_hs_flush_and_read_message;
Steven Valdez143e8b32016-07-11 13:19:03 -0400479}
480
David Benjaminc3c88822016-11-14 10:32:04 +0900481static enum ssl_hs_wait_t do_process_client_certificate(SSL_HANDSHAKE *hs) {
482 SSL *const ssl = hs->ssl;
483 if (!hs->cert_request) {
Adam Langley37646832016-08-01 16:16:46 -0700484 /* OpenSSL returns X509_V_OK when no certificates are requested. This is
David Benjamindd634eb2016-08-18 16:40:28 -0400485 * classed by them as a bug, but it's assumed by at least NGINX. */
David Benjamin45738dd2017-02-09 20:01:26 -0500486 hs->new_session->verify_result = X509_V_OK;
Adam Langley37646832016-08-01 16:16:46 -0700487
Steven Valdez143e8b32016-07-11 13:19:03 -0400488 /* Skip this state. */
David Benjamin3977f302016-12-11 13:30:41 -0500489 hs->tls13_state = state_process_channel_id;
Steven Valdez143e8b32016-07-11 13:19:03 -0400490 return ssl_hs_ok;
491 }
492
David Benjamin4087df92016-08-01 20:16:31 -0400493 const int allow_anonymous =
494 (ssl->verify_mode & SSL_VERIFY_FAIL_IF_NO_PEER_CERT) == 0;
495
David Benjamin276b7e82017-01-21 14:13:39 -0500496 if (!ssl_check_message_type(ssl, SSL3_MT_CERTIFICATE) ||
Adam Langley0c294252016-12-12 11:46:09 -0800497 !tls13_process_certificate(hs, allow_anonymous) ||
Steven Valdez908ac192017-01-12 13:17:07 -0500498 !ssl_hash_current_message(hs)) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400499 return ssl_hs_error;
500 }
501
David Benjamin3977f302016-12-11 13:30:41 -0500502 hs->tls13_state = state_process_client_certificate_verify;
Steven Valdez143e8b32016-07-11 13:19:03 -0400503 return ssl_hs_read_message;
504}
505
506static enum ssl_hs_wait_t do_process_client_certificate_verify(
David Benjaminc3c88822016-11-14 10:32:04 +0900507 SSL_HANDSHAKE *hs) {
508 SSL *const ssl = hs->ssl;
David Benjamin45738dd2017-02-09 20:01:26 -0500509 if (sk_CRYPTO_BUFFER_num(hs->new_session->certs) == 0) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400510 /* Skip this state. */
David Benjamin3977f302016-12-11 13:30:41 -0500511 hs->tls13_state = state_process_channel_id;
Steven Valdez143e8b32016-07-11 13:19:03 -0400512 return ssl_hs_ok;
513 }
514
David Benjamin276b7e82017-01-21 14:13:39 -0500515 if (!ssl_check_message_type(ssl, SSL3_MT_CERTIFICATE_VERIFY) ||
Adam Langley0c294252016-12-12 11:46:09 -0800516 !tls13_process_certificate_verify(hs) ||
Steven Valdez908ac192017-01-12 13:17:07 -0500517 !ssl_hash_current_message(hs)) {
David Benjamin6929f272016-11-16 19:10:08 +0900518 return ssl_hs_error;
Steven Valdez143e8b32016-07-11 13:19:03 -0400519 }
520
David Benjamin3977f302016-12-11 13:30:41 -0500521 hs->tls13_state = state_process_channel_id;
Nick Harper60a85cb2016-09-23 16:25:11 -0700522 return ssl_hs_read_message;
523}
524
David Benjaminc3c88822016-11-14 10:32:04 +0900525static enum ssl_hs_wait_t do_process_channel_id(SSL_HANDSHAKE *hs) {
Steven Valdez908ac192017-01-12 13:17:07 -0500526 if (!hs->ssl->s3->tlsext_channel_id_valid) {
David Benjamin3977f302016-12-11 13:30:41 -0500527 hs->tls13_state = state_process_client_finished;
Nick Harper60a85cb2016-09-23 16:25:11 -0700528 return ssl_hs_ok;
529 }
530
Steven Valdez908ac192017-01-12 13:17:07 -0500531 if (!ssl_check_message_type(hs->ssl, SSL3_MT_CHANNEL_ID) ||
532 !tls1_verify_channel_id(hs) ||
533 !ssl_hash_current_message(hs)) {
Nick Harper60a85cb2016-09-23 16:25:11 -0700534 return ssl_hs_error;
535 }
536
David Benjamin3977f302016-12-11 13:30:41 -0500537 hs->tls13_state = state_process_client_finished;
Steven Valdez143e8b32016-07-11 13:19:03 -0400538 return ssl_hs_read_message;
539}
540
David Benjaminc3c88822016-11-14 10:32:04 +0900541static enum ssl_hs_wait_t do_process_client_finished(SSL_HANDSHAKE *hs) {
542 SSL *const ssl = hs->ssl;
David Benjamin276b7e82017-01-21 14:13:39 -0500543 if (!ssl_check_message_type(ssl, SSL3_MT_FINISHED) ||
David Benjamin6e4fc332016-11-17 16:43:08 +0900544 !tls13_process_finished(hs) ||
Steven Valdez908ac192017-01-12 13:17:07 -0500545 !ssl_hash_current_message(hs) ||
Steven Valdez143e8b32016-07-11 13:19:03 -0400546 /* evp_aead_seal keys have already been switched. */
Steven Valdeza833c352016-11-01 13:39:36 -0400547 !tls13_set_traffic_key(ssl, evp_aead_open, hs->client_traffic_secret_0,
548 hs->hash_len) ||
David Benjamin6e4fc332016-11-17 16:43:08 +0900549 !tls13_derive_resumption_secret(hs)) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400550 return ssl_hs_error;
551 }
552
David Benjamin613fe3b2016-07-22 17:39:29 +0200553 ssl->method->received_flight(ssl);
David Benjamin123db572016-11-03 16:59:25 -0400554
David Benjamin17b30832017-01-28 14:00:32 -0500555 /* Rebase the session timestamp so that it is measured from ticket
David Benjamin123db572016-11-03 16:59:25 -0400556 * issuance. */
David Benjamin45738dd2017-02-09 20:01:26 -0500557 ssl_session_rebase_time(ssl, hs->new_session);
David Benjamin3977f302016-12-11 13:30:41 -0500558 hs->tls13_state = state_send_new_session_ticket;
Steven Valdez143e8b32016-07-11 13:19:03 -0400559 return ssl_hs_ok;
560}
561
David Benjaminc3c88822016-11-14 10:32:04 +0900562static enum ssl_hs_wait_t do_send_new_session_ticket(SSL_HANDSHAKE *hs) {
David Benjamin25ac2512017-01-12 19:31:28 -0500563 /* TLS 1.3 recommends single-use tickets, so issue multiple tickets in case the
564 * client makes several connections before getting a renewal. */
565 static const int kNumTickets = 2;
566
David Benjaminc3c88822016-11-14 10:32:04 +0900567 SSL *const ssl = hs->ssl;
Steven Valdeza833c352016-11-01 13:39:36 -0400568 /* If the client doesn't accept resumption with PSK_DHE_KE, don't send a
569 * session ticket. */
570 if (!hs->accept_psk_mode) {
David Benjamin3977f302016-12-11 13:30:41 -0500571 hs->tls13_state = state_done;
Steven Valdeza833c352016-11-01 13:39:36 -0400572 return ssl_hs_ok;
573 }
574
David Benjamin45738dd2017-02-09 20:01:26 -0500575 SSL_SESSION *session = hs->new_session;
David Benjamin25ac2512017-01-12 19:31:28 -0500576 CBB cbb;
577 CBB_zero(&cbb);
Steven Valdez1e6f11a2016-07-27 11:10:52 -0400578
David Benjamin25ac2512017-01-12 19:31:28 -0500579 for (int i = 0; i < kNumTickets; i++) {
580 if (!RAND_bytes((uint8_t *)&session->ticket_age_add, 4)) {
581 goto err;
582 }
David Benjamin1a5e8ec2016-10-07 15:19:18 -0400583
David Benjamin25ac2512017-01-12 19:31:28 -0500584 CBB body, ticket, extensions;
585 if (!ssl->method->init_message(ssl, &cbb, &body,
586 SSL3_MT_NEW_SESSION_TICKET) ||
587 !CBB_add_u32(&body, session->timeout) ||
588 !CBB_add_u32(&body, session->ticket_age_add) ||
589 !CBB_add_u16_length_prefixed(&body, &ticket) ||
590 !ssl_encrypt_ticket(ssl, &ticket, session) ||
591 !CBB_add_u16_length_prefixed(&body, &extensions)) {
592 goto err;
593 }
Steven Valdez08b65f42016-12-07 15:29:45 -0500594
David Benjamin25ac2512017-01-12 19:31:28 -0500595 if (ssl->ctx->enable_early_data) {
596 session->ticket_max_early_data = kMaxEarlyDataAccepted;
597
598 CBB early_data_info;
599 if (!CBB_add_u16(&extensions, TLSEXT_TYPE_ticket_early_data_info) ||
600 !CBB_add_u16_length_prefixed(&extensions, &early_data_info) ||
601 !CBB_add_u32(&early_data_info, session->ticket_max_early_data) ||
602 !CBB_flush(&extensions)) {
603 goto err;
604 }
605 }
606
607 /* Add a fake extension. See draft-davidben-tls-grease-01. */
608 if (!CBB_add_u16(&extensions,
609 ssl_get_grease_value(ssl, ssl_grease_ticket_extension)) ||
610 !CBB_add_u16(&extensions, 0 /* empty */)) {
611 goto err;
612 }
613
614 if (!ssl_add_message_cbb(ssl, &cbb)) {
Steven Valdez08b65f42016-12-07 15:29:45 -0500615 goto err;
616 }
617 }
618
Steven Valdez1e6f11a2016-07-27 11:10:52 -0400619 hs->session_tickets_sent++;
David Benjamin25ac2512017-01-12 19:31:28 -0500620 hs->tls13_state = state_done;
621 return ssl_hs_flush;
David Benjamin1a5e8ec2016-10-07 15:19:18 -0400622
623err:
624 CBB_cleanup(&cbb);
625 return ssl_hs_error;
Steven Valdez1e6f11a2016-07-27 11:10:52 -0400626}
627
David Benjaminc3c88822016-11-14 10:32:04 +0900628enum ssl_hs_wait_t tls13_server_handshake(SSL_HANDSHAKE *hs) {
David Benjamin3977f302016-12-11 13:30:41 -0500629 while (hs->tls13_state != state_done) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400630 enum ssl_hs_wait_t ret = ssl_hs_error;
David Benjamin3977f302016-12-11 13:30:41 -0500631 enum server_hs_state_t state = hs->tls13_state;
Steven Valdez143e8b32016-07-11 13:19:03 -0400632 switch (state) {
David Benjamin25fe85b2016-08-09 20:00:32 -0400633 case state_select_parameters:
David Benjaminc3c88822016-11-14 10:32:04 +0900634 ret = do_select_parameters(hs);
David Benjamin25fe85b2016-08-09 20:00:32 -0400635 break;
Steven Valdez5440fe02016-07-18 12:40:30 -0400636 case state_send_hello_retry_request:
David Benjaminc3c88822016-11-14 10:32:04 +0900637 ret = do_send_hello_retry_request(hs);
Steven Valdez5440fe02016-07-18 12:40:30 -0400638 break;
Steven Valdez5440fe02016-07-18 12:40:30 -0400639 case state_process_second_client_hello:
David Benjaminc3c88822016-11-14 10:32:04 +0900640 ret = do_process_second_client_hello(hs);
Steven Valdez5440fe02016-07-18 12:40:30 -0400641 break;
Steven Valdez143e8b32016-07-11 13:19:03 -0400642 case state_send_server_hello:
David Benjaminc3c88822016-11-14 10:32:04 +0900643 ret = do_send_server_hello(hs);
Steven Valdez143e8b32016-07-11 13:19:03 -0400644 break;
Steven Valdez143e8b32016-07-11 13:19:03 -0400645 case state_send_server_certificate_verify:
David Benjaminc3c88822016-11-14 10:32:04 +0900646 ret = do_send_server_certificate_verify(hs, 1 /* first run */);
Steven Valdez143e8b32016-07-11 13:19:03 -0400647 break;
648 case state_complete_server_certificate_verify:
David Benjaminc3c88822016-11-14 10:32:04 +0900649 ret = do_send_server_certificate_verify(hs, 0 /* complete */);
Steven Valdez143e8b32016-07-11 13:19:03 -0400650 break;
651 case state_send_server_finished:
David Benjaminc3c88822016-11-14 10:32:04 +0900652 ret = do_send_server_finished(hs);
Steven Valdez143e8b32016-07-11 13:19:03 -0400653 break;
Steven Valdez143e8b32016-07-11 13:19:03 -0400654 case state_process_client_certificate:
David Benjaminc3c88822016-11-14 10:32:04 +0900655 ret = do_process_client_certificate(hs);
Steven Valdez143e8b32016-07-11 13:19:03 -0400656 break;
657 case state_process_client_certificate_verify:
David Benjaminc3c88822016-11-14 10:32:04 +0900658 ret = do_process_client_certificate_verify(hs);
Steven Valdez143e8b32016-07-11 13:19:03 -0400659 break;
Nick Harper60a85cb2016-09-23 16:25:11 -0700660 case state_process_channel_id:
David Benjaminc3c88822016-11-14 10:32:04 +0900661 ret = do_process_channel_id(hs);
Nick Harper60a85cb2016-09-23 16:25:11 -0700662 break;
Steven Valdez143e8b32016-07-11 13:19:03 -0400663 case state_process_client_finished:
David Benjaminc3c88822016-11-14 10:32:04 +0900664 ret = do_process_client_finished(hs);
Steven Valdez143e8b32016-07-11 13:19:03 -0400665 break;
Steven Valdez1e6f11a2016-07-27 11:10:52 -0400666 case state_send_new_session_ticket:
David Benjaminc3c88822016-11-14 10:32:04 +0900667 ret = do_send_new_session_ticket(hs);
Steven Valdez1e6f11a2016-07-27 11:10:52 -0400668 break;
Steven Valdez143e8b32016-07-11 13:19:03 -0400669 case state_done:
670 ret = ssl_hs_ok;
671 break;
672 }
673
674 if (ret != ssl_hs_ok) {
675 return ret;
676 }
677 }
678
679 return ssl_hs_ok;
680}