blob: 0278b500b48e3d930f29f4433ccfbda435306b5f [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. */
153 ssl->s3->tmp.new_cipher = choose_tls13_cipher(ssl, &client_hello);
154 if (ssl->s3->tmp.new_cipher == NULL) {
155 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 Benjamin75f99142016-11-12 12:36:06 +0900192 !ssl_session_is_resumable(ssl, 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
205 ssl->s3->new_session->cipher = ssl->s3->tmp.new_cipher;
206
207 /* On new sessions, stash the SNI value in the session. */
David Benjamin6e4fc332016-11-17 16:43:08 +0900208 if (hs->hostname != NULL) {
Steven Valdez2f82a0e2017-02-06 12:06:01 -0500209 OPENSSL_free(ssl->s3->new_session->tlsext_hostname);
David Benjamin6e4fc332016-11-17 16:43:08 +0900210 ssl->s3->new_session->tlsext_hostname = BUF_strdup(hs->hostname);
David Benjaminf01f42a2016-11-16 19:05:33 +0900211 if (ssl->s3->new_session->tlsext_hostname == NULL) {
212 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. */
225 ssl->s3->new_session = SSL_SESSION_dup(session, SSL_SESSION_DUP_AUTH_ONLY);
226 if (ssl->s3->new_session == NULL) {
227 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. */
234 ssl_session_renew_timeout(ssl, ssl->s3->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
David Benjamin8f820b42016-11-30 11:24:40 -0500254 /* Incorporate the PSK into the running secret. */
255 if (ssl->s3->session_reused) {
David Benjamin6e4fc332016-11-17 16:43:08 +0900256 if (!tls13_advance_key_schedule(hs, ssl->s3->new_session->master_key,
David Benjamin8f820b42016-11-30 11:24:40 -0500257 ssl->s3->new_session->master_key_length)) {
258 return ssl_hs_error;
259 }
Steven Valdez908ac192017-01-12 13:17:07 -0500260 } else if (!tls13_advance_key_schedule(hs, kZeroes, hs->hash_len)) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400261 return ssl_hs_error;
262 }
263
David Benjaminf01f42a2016-11-16 19:05:33 +0900264 ssl->method->received_flight(ssl);
265
Steven Valdez143e8b32016-07-11 13:19:03 -0400266 /* Resolve ECDHE and incorporate it into the secret. */
Steven Valdez5440fe02016-07-18 12:40:30 -0400267 int need_retry;
David Benjamin6e4fc332016-11-17 16:43:08 +0900268 if (!resolve_ecdhe_secret(hs, &need_retry, &client_hello)) {
Steven Valdez5440fe02016-07-18 12:40:30 -0400269 if (need_retry) {
David Benjamin3977f302016-12-11 13:30:41 -0500270 hs->tls13_state = state_send_hello_retry_request;
Steven Valdez5440fe02016-07-18 12:40:30 -0400271 return ssl_hs_ok;
Steven Valdez143e8b32016-07-11 13:19:03 -0400272 }
Steven Valdez5440fe02016-07-18 12:40:30 -0400273 return ssl_hs_error;
274 }
Steven Valdez143e8b32016-07-11 13:19:03 -0400275
David Benjamin3977f302016-12-11 13:30:41 -0500276 hs->tls13_state = state_send_server_hello;
Steven Valdez5440fe02016-07-18 12:40:30 -0400277 return ssl_hs_ok;
278}
Steven Valdez143e8b32016-07-11 13:19:03 -0400279
David Benjaminc3c88822016-11-14 10:32:04 +0900280static enum ssl_hs_wait_t do_send_hello_retry_request(SSL_HANDSHAKE *hs) {
281 SSL *const ssl = hs->ssl;
Steven Valdez5440fe02016-07-18 12:40:30 -0400282 CBB cbb, body, extensions;
283 uint16_t group_id;
284 if (!ssl->method->init_message(ssl, &cbb, &body,
285 SSL3_MT_HELLO_RETRY_REQUEST) ||
286 !CBB_add_u16(&body, ssl->version) ||
David Benjaminf3c8f8d2016-11-17 17:20:47 +0900287 !tls1_get_shared_group(hs, &group_id) ||
Steven Valdez5440fe02016-07-18 12:40:30 -0400288 !CBB_add_u16_length_prefixed(&body, &extensions) ||
David Benjamin3baa6e12016-10-07 21:10:38 -0400289 !CBB_add_u16(&extensions, TLSEXT_TYPE_key_share) ||
290 !CBB_add_u16(&extensions, 2 /* length */) ||
291 !CBB_add_u16(&extensions, group_id) ||
David Benjamindaf207a2017-01-03 18:37:41 -0500292 !ssl_add_message_cbb(ssl, &cbb)) {
Steven Valdez5440fe02016-07-18 12:40:30 -0400293 CBB_cleanup(&cbb);
294 return ssl_hs_error;
295 }
296
David Benjamin3977f302016-12-11 13:30:41 -0500297 hs->tls13_state = state_process_second_client_hello;
Steven Valdez5440fe02016-07-18 12:40:30 -0400298 return ssl_hs_flush_and_read_message;
299}
300
David Benjaminc3c88822016-11-14 10:32:04 +0900301static enum ssl_hs_wait_t do_process_second_client_hello(SSL_HANDSHAKE *hs) {
302 SSL *const ssl = hs->ssl;
David Benjamin276b7e82017-01-21 14:13:39 -0500303 if (!ssl_check_message_type(ssl, SSL3_MT_CLIENT_HELLO)) {
Steven Valdez5440fe02016-07-18 12:40:30 -0400304 return ssl_hs_error;
305 }
306
David Benjamin731058e2016-12-03 23:15:13 -0500307 SSL_CLIENT_HELLO client_hello;
308 if (!ssl_client_hello_init(ssl, &client_hello, ssl->init_msg,
309 ssl->init_num)) {
Steven Valdez5440fe02016-07-18 12:40:30 -0400310 OPENSSL_PUT_ERROR(SSL, SSL_R_CLIENTHELLO_PARSE_FAILED);
311 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
312 return ssl_hs_error;
313 }
314
315 int need_retry;
David Benjamin6e4fc332016-11-17 16:43:08 +0900316 if (!resolve_ecdhe_secret(hs, &need_retry, &client_hello)) {
Steven Valdez5440fe02016-07-18 12:40:30 -0400317 if (need_retry) {
318 /* Only send one HelloRetryRequest. */
319 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_ILLEGAL_PARAMETER);
320 OPENSSL_PUT_ERROR(SSL, SSL_R_WRONG_CURVE);
Steven Valdez143e8b32016-07-11 13:19:03 -0400321 }
Steven Valdez5440fe02016-07-18 12:40:30 -0400322 return ssl_hs_error;
323 }
324
Steven Valdez908ac192017-01-12 13:17:07 -0500325 if (!ssl_hash_current_message(hs)) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400326 return ssl_hs_error;
327 }
328
David Benjamin613fe3b2016-07-22 17:39:29 +0200329 ssl->method->received_flight(ssl);
David Benjamin3977f302016-12-11 13:30:41 -0500330 hs->tls13_state = state_send_server_hello;
Steven Valdez143e8b32016-07-11 13:19:03 -0400331 return ssl_hs_ok;
332}
333
David Benjaminc3c88822016-11-14 10:32:04 +0900334static enum ssl_hs_wait_t do_send_server_hello(SSL_HANDSHAKE *hs) {
335 SSL *const ssl = hs->ssl;
David Benjamin81b7bc32017-01-12 19:44:57 -0500336
337 /* Send a ServerHello. */
Steven Valdez143e8b32016-07-11 13:19:03 -0400338 CBB cbb, body, extensions;
339 if (!ssl->method->init_message(ssl, &cbb, &body, SSL3_MT_SERVER_HELLO) ||
340 !CBB_add_u16(&body, ssl->version) ||
341 !RAND_bytes(ssl->s3->server_random, sizeof(ssl->s3->server_random)) ||
342 !CBB_add_bytes(&body, ssl->s3->server_random, SSL3_RANDOM_SIZE) ||
343 !CBB_add_u16(&body, ssl_cipher_get_value(ssl->s3->tmp.new_cipher)) ||
344 !CBB_add_u16_length_prefixed(&body, &extensions) ||
David Benjamin8baf9632016-11-17 17:11:16 +0900345 !ssl_ext_pre_shared_key_add_serverhello(hs, &extensions) ||
David Benjamin6f600d62016-12-21 16:06:54 -0500346 !ssl_ext_key_share_add_serverhello(hs, &extensions)) {
347 goto err;
348 }
349
350 if (ssl->s3->short_header) {
351 if (!CBB_add_u16(&extensions, TLSEXT_TYPE_short_header) ||
352 !CBB_add_u16(&extensions, 0 /* empty extension */)) {
353 goto err;
354 }
355 }
356
David Benjamindaf207a2017-01-03 18:37:41 -0500357 if (!ssl_add_message_cbb(ssl, &cbb)) {
Steven Valdez803c77a2016-09-06 14:13:43 -0400358 goto err;
Steven Valdez143e8b32016-07-11 13:19:03 -0400359 }
360
David Benjamin81b7bc32017-01-12 19:44:57 -0500361 /* Derive and enable the handshake traffic secrets. */
Steven Valdez4cb84942016-12-16 11:29:28 -0500362 if (!tls13_derive_handshake_secrets(hs) ||
363 !tls13_set_traffic_key(ssl, evp_aead_open, hs->client_handshake_secret,
364 hs->hash_len) ||
365 !tls13_set_traffic_key(ssl, evp_aead_seal, hs->server_handshake_secret,
366 hs->hash_len)) {
David Benjamin81b7bc32017-01-12 19:44:57 -0500367 goto err;
Steven Valdez143e8b32016-07-11 13:19:03 -0400368 }
369
David Benjamin81b7bc32017-01-12 19:44:57 -0500370 /* Send EncryptedExtensions. */
Steven Valdez143e8b32016-07-11 13:19:03 -0400371 if (!ssl->method->init_message(ssl, &cbb, &body,
372 SSL3_MT_ENCRYPTED_EXTENSIONS) ||
David Benjamin8c880a22016-12-03 02:20:34 -0500373 !ssl_add_serverhello_tlsext(hs, &body) ||
David Benjamindaf207a2017-01-03 18:37:41 -0500374 !ssl_add_message_cbb(ssl, &cbb)) {
David Benjamin81b7bc32017-01-12 19:44:57 -0500375 goto err;
Steven Valdez143e8b32016-07-11 13:19:03 -0400376 }
377
Steven Valdez143e8b32016-07-11 13:19:03 -0400378 /* Determine whether to request a client certificate. */
David Benjaminc3c88822016-11-14 10:32:04 +0900379 hs->cert_request = !!(ssl->verify_mode & SSL_VERIFY_PEER);
Steven Valdez803c77a2016-09-06 14:13:43 -0400380 /* CertificateRequest may only be sent in non-resumption handshakes. */
381 if (ssl->s3->session_reused) {
David Benjaminc3c88822016-11-14 10:32:04 +0900382 hs->cert_request = 0;
Steven Valdez143e8b32016-07-11 13:19:03 -0400383 }
384
David Benjamin81b7bc32017-01-12 19:44:57 -0500385 /* Send a CertificateRequest, if necessary. */
386 if (hs->cert_request) {
387 CBB sigalgs_cbb;
388 if (!ssl->method->init_message(ssl, &cbb, &body,
389 SSL3_MT_CERTIFICATE_REQUEST) ||
390 !CBB_add_u8(&body, 0 /* no certificate_request_context. */)) {
391 goto err;
392 }
Steven Valdez143e8b32016-07-11 13:19:03 -0400393
David Benjamin81b7bc32017-01-12 19:44:57 -0500394 const uint16_t *sigalgs;
395 size_t num_sigalgs = tls12_get_verify_sigalgs(ssl, &sigalgs);
396 if (!CBB_add_u16_length_prefixed(&body, &sigalgs_cbb)) {
397 goto err;
398 }
Steven Valdez143e8b32016-07-11 13:19:03 -0400399
David Benjamin81b7bc32017-01-12 19:44:57 -0500400 for (size_t i = 0; i < num_sigalgs; i++) {
401 if (!CBB_add_u16(&sigalgs_cbb, sigalgs[i])) {
402 goto err;
403 }
404 }
Steven Valdez143e8b32016-07-11 13:19:03 -0400405
David Benjamin81b7bc32017-01-12 19:44:57 -0500406 if (!ssl_add_client_CA_list(ssl, &body) ||
407 !CBB_add_u16(&body, 0 /* empty certificate_extensions. */) ||
408 !ssl_add_message_cbb(ssl, &cbb)) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400409 goto err;
410 }
411 }
412
David Benjamin81b7bc32017-01-12 19:44:57 -0500413 /* Send the server Certificate message, if necessary. */
414 if (!ssl->s3->session_reused) {
415 if (!ssl_has_certificate(ssl)) {
416 OPENSSL_PUT_ERROR(SSL, SSL_R_NO_CERTIFICATE_SET);
417 goto err;
418 }
419
David Benjamin0f24bed2017-01-12 19:46:50 -0500420 if (!tls13_add_certificate(hs)) {
David Benjamin81b7bc32017-01-12 19:44:57 -0500421 goto err;
422 }
423
424 hs->tls13_state = state_send_server_certificate_verify;
425 return ssl_hs_ok;
Steven Valdez143e8b32016-07-11 13:19:03 -0400426 }
427
David Benjamin81b7bc32017-01-12 19:44:57 -0500428 hs->tls13_state = state_send_server_finished;
David Benjamin25ac2512017-01-12 19:31:28 -0500429 return ssl_hs_ok;
Steven Valdez143e8b32016-07-11 13:19:03 -0400430
431err:
432 CBB_cleanup(&cbb);
433 return ssl_hs_error;
434}
435
David Benjaminc3c88822016-11-14 10:32:04 +0900436static enum ssl_hs_wait_t do_send_server_certificate_verify(SSL_HANDSHAKE *hs,
Steven Valdez143e8b32016-07-11 13:19:03 -0400437 int is_first_run) {
David Benjamin0f24bed2017-01-12 19:46:50 -0500438 switch (tls13_add_certificate_verify(hs, is_first_run)) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400439 case ssl_private_key_success:
David Benjamin3977f302016-12-11 13:30:41 -0500440 hs->tls13_state = state_send_server_finished;
David Benjamin25ac2512017-01-12 19:31:28 -0500441 return ssl_hs_ok;
Steven Valdez143e8b32016-07-11 13:19:03 -0400442
443 case ssl_private_key_retry:
David Benjamin3977f302016-12-11 13:30:41 -0500444 hs->tls13_state = state_complete_server_certificate_verify;
Steven Valdez143e8b32016-07-11 13:19:03 -0400445 return ssl_hs_private_key_operation;
446
447 case ssl_private_key_failure:
448 return ssl_hs_error;
449 }
450
451 assert(0);
452 return ssl_hs_error;
453}
454
David Benjaminc3c88822016-11-14 10:32:04 +0900455static enum ssl_hs_wait_t do_send_server_finished(SSL_HANDSHAKE *hs) {
David Benjaminc3c88822016-11-14 10:32:04 +0900456 SSL *const ssl = hs->ssl;
David Benjamin0f24bed2017-01-12 19:46:50 -0500457 if (!tls13_add_finished(hs) ||
David Benjamin25ac2512017-01-12 19:31:28 -0500458 /* Update the secret to the master secret and derive traffic keys. */
459 !tls13_advance_key_schedule(hs, kZeroes, hs->hash_len) ||
David Benjamin6e4fc332016-11-17 16:43:08 +0900460 !tls13_derive_application_secrets(hs) ||
Steven Valdeza833c352016-11-01 13:39:36 -0400461 !tls13_set_traffic_key(ssl, evp_aead_seal, hs->server_traffic_secret_0,
462 hs->hash_len)) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400463 return ssl_hs_error;
464 }
465
David Benjamin3977f302016-12-11 13:30:41 -0500466 hs->tls13_state = state_process_client_certificate;
David Benjaminf2401eb2016-07-18 22:25:05 +0200467 return ssl_hs_flush_and_read_message;
Steven Valdez143e8b32016-07-11 13:19:03 -0400468}
469
David Benjaminc3c88822016-11-14 10:32:04 +0900470static enum ssl_hs_wait_t do_process_client_certificate(SSL_HANDSHAKE *hs) {
471 SSL *const ssl = hs->ssl;
472 if (!hs->cert_request) {
Adam Langley37646832016-08-01 16:16:46 -0700473 /* OpenSSL returns X509_V_OK when no certificates are requested. This is
David Benjamindd634eb2016-08-18 16:40:28 -0400474 * classed by them as a bug, but it's assumed by at least NGINX. */
Adam Langley37646832016-08-01 16:16:46 -0700475 ssl->s3->new_session->verify_result = X509_V_OK;
476
Steven Valdez143e8b32016-07-11 13:19:03 -0400477 /* Skip this state. */
David Benjamin3977f302016-12-11 13:30:41 -0500478 hs->tls13_state = state_process_channel_id;
Steven Valdez143e8b32016-07-11 13:19:03 -0400479 return ssl_hs_ok;
480 }
481
David Benjamin4087df92016-08-01 20:16:31 -0400482 const int allow_anonymous =
483 (ssl->verify_mode & SSL_VERIFY_FAIL_IF_NO_PEER_CERT) == 0;
484
David Benjamin276b7e82017-01-21 14:13:39 -0500485 if (!ssl_check_message_type(ssl, SSL3_MT_CERTIFICATE) ||
Adam Langley0c294252016-12-12 11:46:09 -0800486 !tls13_process_certificate(hs, allow_anonymous) ||
Steven Valdez908ac192017-01-12 13:17:07 -0500487 !ssl_hash_current_message(hs)) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400488 return ssl_hs_error;
489 }
490
David Benjamin3977f302016-12-11 13:30:41 -0500491 hs->tls13_state = state_process_client_certificate_verify;
Steven Valdez143e8b32016-07-11 13:19:03 -0400492 return ssl_hs_read_message;
493}
494
495static enum ssl_hs_wait_t do_process_client_certificate_verify(
David Benjaminc3c88822016-11-14 10:32:04 +0900496 SSL_HANDSHAKE *hs) {
497 SSL *const ssl = hs->ssl;
Adam Langley46db7af2017-02-01 15:49:37 -0800498 if (sk_CRYPTO_BUFFER_num(ssl->s3->new_session->certs) == 0) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400499 /* Skip this state. */
David Benjamin3977f302016-12-11 13:30:41 -0500500 hs->tls13_state = state_process_channel_id;
Steven Valdez143e8b32016-07-11 13:19:03 -0400501 return ssl_hs_ok;
502 }
503
David Benjamin276b7e82017-01-21 14:13:39 -0500504 if (!ssl_check_message_type(ssl, SSL3_MT_CERTIFICATE_VERIFY) ||
Adam Langley0c294252016-12-12 11:46:09 -0800505 !tls13_process_certificate_verify(hs) ||
Steven Valdez908ac192017-01-12 13:17:07 -0500506 !ssl_hash_current_message(hs)) {
David Benjamin6929f272016-11-16 19:10:08 +0900507 return ssl_hs_error;
Steven Valdez143e8b32016-07-11 13:19:03 -0400508 }
509
David Benjamin3977f302016-12-11 13:30:41 -0500510 hs->tls13_state = state_process_channel_id;
Nick Harper60a85cb2016-09-23 16:25:11 -0700511 return ssl_hs_read_message;
512}
513
David Benjaminc3c88822016-11-14 10:32:04 +0900514static enum ssl_hs_wait_t do_process_channel_id(SSL_HANDSHAKE *hs) {
Steven Valdez908ac192017-01-12 13:17:07 -0500515 if (!hs->ssl->s3->tlsext_channel_id_valid) {
David Benjamin3977f302016-12-11 13:30:41 -0500516 hs->tls13_state = state_process_client_finished;
Nick Harper60a85cb2016-09-23 16:25:11 -0700517 return ssl_hs_ok;
518 }
519
Steven Valdez908ac192017-01-12 13:17:07 -0500520 if (!ssl_check_message_type(hs->ssl, SSL3_MT_CHANNEL_ID) ||
521 !tls1_verify_channel_id(hs) ||
522 !ssl_hash_current_message(hs)) {
Nick Harper60a85cb2016-09-23 16:25:11 -0700523 return ssl_hs_error;
524 }
525
David Benjamin3977f302016-12-11 13:30:41 -0500526 hs->tls13_state = state_process_client_finished;
Steven Valdez143e8b32016-07-11 13:19:03 -0400527 return ssl_hs_read_message;
528}
529
David Benjaminc3c88822016-11-14 10:32:04 +0900530static enum ssl_hs_wait_t do_process_client_finished(SSL_HANDSHAKE *hs) {
531 SSL *const ssl = hs->ssl;
David Benjamin276b7e82017-01-21 14:13:39 -0500532 if (!ssl_check_message_type(ssl, SSL3_MT_FINISHED) ||
David Benjamin6e4fc332016-11-17 16:43:08 +0900533 !tls13_process_finished(hs) ||
Steven Valdez908ac192017-01-12 13:17:07 -0500534 !ssl_hash_current_message(hs) ||
Steven Valdez143e8b32016-07-11 13:19:03 -0400535 /* evp_aead_seal keys have already been switched. */
Steven Valdeza833c352016-11-01 13:39:36 -0400536 !tls13_set_traffic_key(ssl, evp_aead_open, hs->client_traffic_secret_0,
537 hs->hash_len) ||
David Benjamin6e4fc332016-11-17 16:43:08 +0900538 !tls13_derive_resumption_secret(hs)) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400539 return ssl_hs_error;
540 }
541
David Benjamin613fe3b2016-07-22 17:39:29 +0200542 ssl->method->received_flight(ssl);
David Benjamin123db572016-11-03 16:59:25 -0400543
David Benjamin17b30832017-01-28 14:00:32 -0500544 /* Rebase the session timestamp so that it is measured from ticket
David Benjamin123db572016-11-03 16:59:25 -0400545 * issuance. */
David Benjamin17b30832017-01-28 14:00:32 -0500546 ssl_session_rebase_time(ssl, ssl->s3->new_session);
David Benjamin3977f302016-12-11 13:30:41 -0500547 hs->tls13_state = state_send_new_session_ticket;
Steven Valdez143e8b32016-07-11 13:19:03 -0400548 return ssl_hs_ok;
549}
550
David Benjaminc3c88822016-11-14 10:32:04 +0900551static enum ssl_hs_wait_t do_send_new_session_ticket(SSL_HANDSHAKE *hs) {
David Benjamin25ac2512017-01-12 19:31:28 -0500552 /* TLS 1.3 recommends single-use tickets, so issue multiple tickets in case the
553 * client makes several connections before getting a renewal. */
554 static const int kNumTickets = 2;
555
David Benjaminc3c88822016-11-14 10:32:04 +0900556 SSL *const ssl = hs->ssl;
Steven Valdeza833c352016-11-01 13:39:36 -0400557 /* If the client doesn't accept resumption with PSK_DHE_KE, don't send a
558 * session ticket. */
559 if (!hs->accept_psk_mode) {
David Benjamin3977f302016-12-11 13:30:41 -0500560 hs->tls13_state = state_done;
Steven Valdeza833c352016-11-01 13:39:36 -0400561 return ssl_hs_ok;
562 }
563
Steven Valdez1e6f11a2016-07-27 11:10:52 -0400564 SSL_SESSION *session = ssl->s3->new_session;
David Benjamin25ac2512017-01-12 19:31:28 -0500565 CBB cbb;
566 CBB_zero(&cbb);
Steven Valdez1e6f11a2016-07-27 11:10:52 -0400567
David Benjamin25ac2512017-01-12 19:31:28 -0500568 for (int i = 0; i < kNumTickets; i++) {
569 if (!RAND_bytes((uint8_t *)&session->ticket_age_add, 4)) {
570 goto err;
571 }
David Benjamin1a5e8ec2016-10-07 15:19:18 -0400572
David Benjamin25ac2512017-01-12 19:31:28 -0500573 CBB body, ticket, extensions;
574 if (!ssl->method->init_message(ssl, &cbb, &body,
575 SSL3_MT_NEW_SESSION_TICKET) ||
576 !CBB_add_u32(&body, session->timeout) ||
577 !CBB_add_u32(&body, session->ticket_age_add) ||
578 !CBB_add_u16_length_prefixed(&body, &ticket) ||
579 !ssl_encrypt_ticket(ssl, &ticket, session) ||
580 !CBB_add_u16_length_prefixed(&body, &extensions)) {
581 goto err;
582 }
Steven Valdez08b65f42016-12-07 15:29:45 -0500583
David Benjamin25ac2512017-01-12 19:31:28 -0500584 if (ssl->ctx->enable_early_data) {
585 session->ticket_max_early_data = kMaxEarlyDataAccepted;
586
587 CBB early_data_info;
588 if (!CBB_add_u16(&extensions, TLSEXT_TYPE_ticket_early_data_info) ||
589 !CBB_add_u16_length_prefixed(&extensions, &early_data_info) ||
590 !CBB_add_u32(&early_data_info, session->ticket_max_early_data) ||
591 !CBB_flush(&extensions)) {
592 goto err;
593 }
594 }
595
596 /* Add a fake extension. See draft-davidben-tls-grease-01. */
597 if (!CBB_add_u16(&extensions,
598 ssl_get_grease_value(ssl, ssl_grease_ticket_extension)) ||
599 !CBB_add_u16(&extensions, 0 /* empty */)) {
600 goto err;
601 }
602
603 if (!ssl_add_message_cbb(ssl, &cbb)) {
Steven Valdez08b65f42016-12-07 15:29:45 -0500604 goto err;
605 }
606 }
607
Steven Valdez1e6f11a2016-07-27 11:10:52 -0400608 hs->session_tickets_sent++;
David Benjamin25ac2512017-01-12 19:31:28 -0500609 hs->tls13_state = state_done;
610 return ssl_hs_flush;
David Benjamin1a5e8ec2016-10-07 15:19:18 -0400611
612err:
613 CBB_cleanup(&cbb);
614 return ssl_hs_error;
Steven Valdez1e6f11a2016-07-27 11:10:52 -0400615}
616
David Benjaminc3c88822016-11-14 10:32:04 +0900617enum ssl_hs_wait_t tls13_server_handshake(SSL_HANDSHAKE *hs) {
David Benjamin3977f302016-12-11 13:30:41 -0500618 while (hs->tls13_state != state_done) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400619 enum ssl_hs_wait_t ret = ssl_hs_error;
David Benjamin3977f302016-12-11 13:30:41 -0500620 enum server_hs_state_t state = hs->tls13_state;
Steven Valdez143e8b32016-07-11 13:19:03 -0400621 switch (state) {
David Benjamin25fe85b2016-08-09 20:00:32 -0400622 case state_select_parameters:
David Benjaminc3c88822016-11-14 10:32:04 +0900623 ret = do_select_parameters(hs);
David Benjamin25fe85b2016-08-09 20:00:32 -0400624 break;
Steven Valdez5440fe02016-07-18 12:40:30 -0400625 case state_send_hello_retry_request:
David Benjaminc3c88822016-11-14 10:32:04 +0900626 ret = do_send_hello_retry_request(hs);
Steven Valdez5440fe02016-07-18 12:40:30 -0400627 break;
Steven Valdez5440fe02016-07-18 12:40:30 -0400628 case state_process_second_client_hello:
David Benjaminc3c88822016-11-14 10:32:04 +0900629 ret = do_process_second_client_hello(hs);
Steven Valdez5440fe02016-07-18 12:40:30 -0400630 break;
Steven Valdez143e8b32016-07-11 13:19:03 -0400631 case state_send_server_hello:
David Benjaminc3c88822016-11-14 10:32:04 +0900632 ret = do_send_server_hello(hs);
Steven Valdez143e8b32016-07-11 13:19:03 -0400633 break;
Steven Valdez143e8b32016-07-11 13:19:03 -0400634 case state_send_server_certificate_verify:
David Benjaminc3c88822016-11-14 10:32:04 +0900635 ret = do_send_server_certificate_verify(hs, 1 /* first run */);
Steven Valdez143e8b32016-07-11 13:19:03 -0400636 break;
637 case state_complete_server_certificate_verify:
David Benjaminc3c88822016-11-14 10:32:04 +0900638 ret = do_send_server_certificate_verify(hs, 0 /* complete */);
Steven Valdez143e8b32016-07-11 13:19:03 -0400639 break;
640 case state_send_server_finished:
David Benjaminc3c88822016-11-14 10:32:04 +0900641 ret = do_send_server_finished(hs);
Steven Valdez143e8b32016-07-11 13:19:03 -0400642 break;
Steven Valdez143e8b32016-07-11 13:19:03 -0400643 case state_process_client_certificate:
David Benjaminc3c88822016-11-14 10:32:04 +0900644 ret = do_process_client_certificate(hs);
Steven Valdez143e8b32016-07-11 13:19:03 -0400645 break;
646 case state_process_client_certificate_verify:
David Benjaminc3c88822016-11-14 10:32:04 +0900647 ret = do_process_client_certificate_verify(hs);
Steven Valdez143e8b32016-07-11 13:19:03 -0400648 break;
Nick Harper60a85cb2016-09-23 16:25:11 -0700649 case state_process_channel_id:
David Benjaminc3c88822016-11-14 10:32:04 +0900650 ret = do_process_channel_id(hs);
Nick Harper60a85cb2016-09-23 16:25:11 -0700651 break;
Steven Valdez143e8b32016-07-11 13:19:03 -0400652 case state_process_client_finished:
David Benjaminc3c88822016-11-14 10:32:04 +0900653 ret = do_process_client_finished(hs);
Steven Valdez143e8b32016-07-11 13:19:03 -0400654 break;
Steven Valdez1e6f11a2016-07-27 11:10:52 -0400655 case state_send_new_session_ticket:
David Benjaminc3c88822016-11-14 10:32:04 +0900656 ret = do_send_new_session_ticket(hs);
Steven Valdez1e6f11a2016-07-27 11:10:52 -0400657 break;
Steven Valdez143e8b32016-07-11 13:19:03 -0400658 case state_done:
659 ret = ssl_hs_ok;
660 break;
661 }
662
663 if (ret != ssl_hs_ok) {
664 return ret;
665 }
666 }
667
668 return ssl_hs_ok;
669}