blob: 319fe4c2392db2dd222a64a6e416fc95e8631efd [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
160 /* Decode the ticket if we agree on a PSK key exchange mode. */
David Benjamin4eb95cc2016-11-16 17:08:23 +0900161 uint8_t alert = SSL_AD_DECODE_ERROR;
162 SSL_SESSION *session = NULL;
163 CBS pre_shared_key, binders;
164 if (hs->accept_psk_mode &&
David Benjamin731058e2016-12-03 23:15:13 -0500165 ssl_client_hello_get_extension(&client_hello, &pre_shared_key,
166 TLSEXT_TYPE_pre_shared_key)) {
David Benjamin4eb95cc2016-11-16 17:08:23 +0900167 /* Verify that the pre_shared_key extension is the last extension in
168 * ClientHello. */
169 if (CBS_data(&pre_shared_key) + CBS_len(&pre_shared_key) !=
170 client_hello.extensions + client_hello.extensions_len) {
171 OPENSSL_PUT_ERROR(SSL, SSL_R_PRE_SHARED_KEY_MUST_BE_LAST);
172 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_ILLEGAL_PARAMETER);
173 return ssl_hs_error;
174 }
175
David Benjamin8baf9632016-11-17 17:11:16 +0900176 if (!ssl_ext_pre_shared_key_parse_clienthello(hs, &session, &binders,
David Benjamin4eb95cc2016-11-16 17:08:23 +0900177 &alert, &pre_shared_key)) {
178 ssl3_send_alert(ssl, SSL3_AL_FATAL, alert);
179 return ssl_hs_error;
Steven Valdeza833c352016-11-01 13:39:36 -0400180 }
181 }
182
Steven Valdez4aa154e2016-07-29 14:32:55 -0400183 if (session != NULL &&
David Benjamin75f99142016-11-12 12:36:06 +0900184 !ssl_session_is_resumable(ssl, session)) {
Steven Valdez4aa154e2016-07-29 14:32:55 -0400185 SSL_SESSION_free(session);
186 session = NULL;
187 }
188
David Benjaminf01f42a2016-11-16 19:05:33 +0900189 /* Set up the new session, either using the original one as a template or
190 * creating a fresh one. */
Steven Valdez4aa154e2016-07-29 14:32:55 -0400191 if (session == NULL) {
David Benjaminf3c8f8d2016-11-17 17:20:47 +0900192 if (!ssl_get_new_session(hs, 1 /* server */)) {
Steven Valdez4aa154e2016-07-29 14:32:55 -0400193 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
194 return ssl_hs_error;
195 }
David Benjaminf01f42a2016-11-16 19:05:33 +0900196
197 ssl->s3->new_session->cipher = ssl->s3->tmp.new_cipher;
198
199 /* On new sessions, stash the SNI value in the session. */
David Benjamin6e4fc332016-11-17 16:43:08 +0900200 if (hs->hostname != NULL) {
Steven Valdez2f82a0e2017-02-06 12:06:01 -0500201 OPENSSL_free(ssl->s3->new_session->tlsext_hostname);
David Benjamin6e4fc332016-11-17 16:43:08 +0900202 ssl->s3->new_session->tlsext_hostname = BUF_strdup(hs->hostname);
David Benjaminf01f42a2016-11-16 19:05:33 +0900203 if (ssl->s3->new_session->tlsext_hostname == NULL) {
204 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
205 return ssl_hs_error;
206 }
207 }
Steven Valdez4aa154e2016-07-29 14:32:55 -0400208 } else {
Steven Valdeza833c352016-11-01 13:39:36 -0400209 /* Check the PSK binder. */
210 if (!tls13_verify_psk_binder(ssl, session, &binders)) {
211 SSL_SESSION_free(session);
212 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECRYPT_ERROR);
213 return ssl_hs_error;
214 }
215
Steven Valdez4aa154e2016-07-29 14:32:55 -0400216 /* Only authentication information carries over in TLS 1.3. */
217 ssl->s3->new_session = SSL_SESSION_dup(session, SSL_SESSION_DUP_AUTH_ONLY);
218 if (ssl->s3->new_session == NULL) {
219 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
220 return ssl_hs_error;
221 }
222 ssl->s3->session_reused = 1;
Steven Valdez4aa154e2016-07-29 14:32:55 -0400223 SSL_SESSION_free(session);
David Benjamin17b30832017-01-28 14:00:32 -0500224
225 /* Resumption incorporates fresh key material, so refresh the timeout. */
226 ssl_session_renew_timeout(ssl, ssl->s3->new_session,
227 ssl->session_psk_dhe_timeout);
Steven Valdez143e8b32016-07-11 13:19:03 -0400228 }
229
230 if (ssl->ctx->dos_protection_cb != NULL &&
David Benjamine14ff062016-08-09 16:21:24 -0400231 ssl->ctx->dos_protection_cb(&client_hello) == 0) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400232 /* Connection rejected for DOS reasons. */
233 OPENSSL_PUT_ERROR(SSL, SSL_R_CONNECTION_REJECTED);
David Benjamin2c66e072016-09-16 15:58:00 -0400234 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
Steven Valdez143e8b32016-07-11 13:19:03 -0400235 return ssl_hs_error;
236 }
237
David Benjaminf01f42a2016-11-16 19:05:33 +0900238 /* HTTP/2 negotiation depends on the cipher suite, so ALPN negotiation was
239 * deferred. Complete it now. */
David Benjaminf3c8f8d2016-11-17 17:20:47 +0900240 if (!ssl_negotiate_alpn(hs, &alert, &client_hello)) {
David Benjamin9ef31f02016-10-31 18:01:13 -0400241 ssl3_send_alert(ssl, SSL3_AL_FATAL, alert);
242 return ssl_hs_error;
243 }
Steven Valdez803c77a2016-09-06 14:13:43 -0400244
David Benjaminf71036e2017-01-21 14:49:39 -0500245 /* The PRF hash is now known. Set up the key schedule and hash the
246 * ClientHello. */
Steven Valdez803c77a2016-09-06 14:13:43 -0400247 size_t hash_len =
Steven Valdez143e8b32016-07-11 13:19:03 -0400248 EVP_MD_size(ssl_get_handshake_digest(ssl_get_algorithm_prf(ssl)));
David Benjaminf71036e2017-01-21 14:49:39 -0500249 if (!tls13_init_key_schedule(hs) ||
250 !ssl_hash_current_message(ssl)) {
David Benjamin8f820b42016-11-30 11:24:40 -0500251 return ssl_hs_error;
Steven Valdez143e8b32016-07-11 13:19:03 -0400252 }
253
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 }
David Benjamin6e4fc332016-11-17 16:43:08 +0900260 } else if (!tls13_advance_key_schedule(hs, kZeroes, 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
David Benjaminced94792016-11-14 17:12:11 +0900325 if (!ssl_hash_current_message(ssl)) {
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) ||
David Benjaminced94792016-11-14 17:12:11 +0900487 !ssl_hash_current_message(ssl)) {
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 Langleyc5ac2b62016-11-07 12:02:35 -0800498 if (ssl->s3->new_session->x509_peer == NULL) {
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) ||
David Benjaminced94792016-11-14 17:12:11 +0900506 !ssl_hash_current_message(ssl)) {
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) {
515 SSL *const ssl = hs->ssl;
Nick Harper60a85cb2016-09-23 16:25:11 -0700516 if (!ssl->s3->tlsext_channel_id_valid) {
David Benjamin3977f302016-12-11 13:30:41 -0500517 hs->tls13_state = state_process_client_finished;
Nick Harper60a85cb2016-09-23 16:25:11 -0700518 return ssl_hs_ok;
519 }
520
David Benjamin276b7e82017-01-21 14:13:39 -0500521 if (!ssl_check_message_type(ssl, SSL3_MT_CHANNEL_ID) ||
Nick Harper60a85cb2016-09-23 16:25:11 -0700522 !tls1_verify_channel_id(ssl) ||
David Benjaminced94792016-11-14 17:12:11 +0900523 !ssl_hash_current_message(ssl)) {
Nick Harper60a85cb2016-09-23 16:25:11 -0700524 return ssl_hs_error;
525 }
526
David Benjamin3977f302016-12-11 13:30:41 -0500527 hs->tls13_state = state_process_client_finished;
Steven Valdez143e8b32016-07-11 13:19:03 -0400528 return ssl_hs_read_message;
529}
530
David Benjaminc3c88822016-11-14 10:32:04 +0900531static enum ssl_hs_wait_t do_process_client_finished(SSL_HANDSHAKE *hs) {
532 SSL *const ssl = hs->ssl;
David Benjamin276b7e82017-01-21 14:13:39 -0500533 if (!ssl_check_message_type(ssl, SSL3_MT_FINISHED) ||
David Benjamin6e4fc332016-11-17 16:43:08 +0900534 !tls13_process_finished(hs) ||
David Benjaminced94792016-11-14 17:12:11 +0900535 !ssl_hash_current_message(ssl) ||
Steven Valdez143e8b32016-07-11 13:19:03 -0400536 /* evp_aead_seal keys have already been switched. */
Steven Valdeza833c352016-11-01 13:39:36 -0400537 !tls13_set_traffic_key(ssl, evp_aead_open, hs->client_traffic_secret_0,
538 hs->hash_len) ||
David Benjamin6e4fc332016-11-17 16:43:08 +0900539 !tls13_derive_resumption_secret(hs)) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400540 return ssl_hs_error;
541 }
542
David Benjamin613fe3b2016-07-22 17:39:29 +0200543 ssl->method->received_flight(ssl);
David Benjamin123db572016-11-03 16:59:25 -0400544
David Benjamin17b30832017-01-28 14:00:32 -0500545 /* Rebase the session timestamp so that it is measured from ticket
David Benjamin123db572016-11-03 16:59:25 -0400546 * issuance. */
David Benjamin17b30832017-01-28 14:00:32 -0500547 ssl_session_rebase_time(ssl, ssl->s3->new_session);
David Benjamin3977f302016-12-11 13:30:41 -0500548 hs->tls13_state = state_send_new_session_ticket;
Steven Valdez143e8b32016-07-11 13:19:03 -0400549 return ssl_hs_ok;
550}
551
David Benjaminc3c88822016-11-14 10:32:04 +0900552static enum ssl_hs_wait_t do_send_new_session_ticket(SSL_HANDSHAKE *hs) {
David Benjamin25ac2512017-01-12 19:31:28 -0500553 /* TLS 1.3 recommends single-use tickets, so issue multiple tickets in case the
554 * client makes several connections before getting a renewal. */
555 static const int kNumTickets = 2;
556
David Benjaminc3c88822016-11-14 10:32:04 +0900557 SSL *const ssl = hs->ssl;
Steven Valdeza833c352016-11-01 13:39:36 -0400558 /* If the client doesn't accept resumption with PSK_DHE_KE, don't send a
559 * session ticket. */
560 if (!hs->accept_psk_mode) {
David Benjamin3977f302016-12-11 13:30:41 -0500561 hs->tls13_state = state_done;
Steven Valdeza833c352016-11-01 13:39:36 -0400562 return ssl_hs_ok;
563 }
564
Steven Valdez1e6f11a2016-07-27 11:10:52 -0400565 SSL_SESSION *session = ssl->s3->new_session;
David Benjamin25ac2512017-01-12 19:31:28 -0500566 CBB cbb;
567 CBB_zero(&cbb);
Steven Valdez1e6f11a2016-07-27 11:10:52 -0400568
David Benjamin25ac2512017-01-12 19:31:28 -0500569 for (int i = 0; i < kNumTickets; i++) {
570 if (!RAND_bytes((uint8_t *)&session->ticket_age_add, 4)) {
571 goto err;
572 }
David Benjamin1a5e8ec2016-10-07 15:19:18 -0400573
David Benjamin25ac2512017-01-12 19:31:28 -0500574 CBB body, ticket, extensions;
575 if (!ssl->method->init_message(ssl, &cbb, &body,
576 SSL3_MT_NEW_SESSION_TICKET) ||
577 !CBB_add_u32(&body, session->timeout) ||
578 !CBB_add_u32(&body, session->ticket_age_add) ||
579 !CBB_add_u16_length_prefixed(&body, &ticket) ||
580 !ssl_encrypt_ticket(ssl, &ticket, session) ||
581 !CBB_add_u16_length_prefixed(&body, &extensions)) {
582 goto err;
583 }
Steven Valdez08b65f42016-12-07 15:29:45 -0500584
David Benjamin25ac2512017-01-12 19:31:28 -0500585 if (ssl->ctx->enable_early_data) {
586 session->ticket_max_early_data = kMaxEarlyDataAccepted;
587
588 CBB early_data_info;
589 if (!CBB_add_u16(&extensions, TLSEXT_TYPE_ticket_early_data_info) ||
590 !CBB_add_u16_length_prefixed(&extensions, &early_data_info) ||
591 !CBB_add_u32(&early_data_info, session->ticket_max_early_data) ||
592 !CBB_flush(&extensions)) {
593 goto err;
594 }
595 }
596
597 /* Add a fake extension. See draft-davidben-tls-grease-01. */
598 if (!CBB_add_u16(&extensions,
599 ssl_get_grease_value(ssl, ssl_grease_ticket_extension)) ||
600 !CBB_add_u16(&extensions, 0 /* empty */)) {
601 goto err;
602 }
603
604 if (!ssl_add_message_cbb(ssl, &cbb)) {
Steven Valdez08b65f42016-12-07 15:29:45 -0500605 goto err;
606 }
607 }
608
Steven Valdez1e6f11a2016-07-27 11:10:52 -0400609 hs->session_tickets_sent++;
David Benjamin25ac2512017-01-12 19:31:28 -0500610 hs->tls13_state = state_done;
611 return ssl_hs_flush;
David Benjamin1a5e8ec2016-10-07 15:19:18 -0400612
613err:
614 CBB_cleanup(&cbb);
615 return ssl_hs_error;
Steven Valdez1e6f11a2016-07-27 11:10:52 -0400616}
617
David Benjaminc3c88822016-11-14 10:32:04 +0900618enum ssl_hs_wait_t tls13_server_handshake(SSL_HANDSHAKE *hs) {
David Benjamin3977f302016-12-11 13:30:41 -0500619 while (hs->tls13_state != state_done) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400620 enum ssl_hs_wait_t ret = ssl_hs_error;
David Benjamin3977f302016-12-11 13:30:41 -0500621 enum server_hs_state_t state = hs->tls13_state;
Steven Valdez143e8b32016-07-11 13:19:03 -0400622 switch (state) {
David Benjamin25fe85b2016-08-09 20:00:32 -0400623 case state_select_parameters:
David Benjaminc3c88822016-11-14 10:32:04 +0900624 ret = do_select_parameters(hs);
David Benjamin25fe85b2016-08-09 20:00:32 -0400625 break;
Steven Valdez5440fe02016-07-18 12:40:30 -0400626 case state_send_hello_retry_request:
David Benjaminc3c88822016-11-14 10:32:04 +0900627 ret = do_send_hello_retry_request(hs);
Steven Valdez5440fe02016-07-18 12:40:30 -0400628 break;
Steven Valdez5440fe02016-07-18 12:40:30 -0400629 case state_process_second_client_hello:
David Benjaminc3c88822016-11-14 10:32:04 +0900630 ret = do_process_second_client_hello(hs);
Steven Valdez5440fe02016-07-18 12:40:30 -0400631 break;
Steven Valdez143e8b32016-07-11 13:19:03 -0400632 case state_send_server_hello:
David Benjaminc3c88822016-11-14 10:32:04 +0900633 ret = do_send_server_hello(hs);
Steven Valdez143e8b32016-07-11 13:19:03 -0400634 break;
Steven Valdez143e8b32016-07-11 13:19:03 -0400635 case state_send_server_certificate_verify:
David Benjaminc3c88822016-11-14 10:32:04 +0900636 ret = do_send_server_certificate_verify(hs, 1 /* first run */);
Steven Valdez143e8b32016-07-11 13:19:03 -0400637 break;
638 case state_complete_server_certificate_verify:
David Benjaminc3c88822016-11-14 10:32:04 +0900639 ret = do_send_server_certificate_verify(hs, 0 /* complete */);
Steven Valdez143e8b32016-07-11 13:19:03 -0400640 break;
641 case state_send_server_finished:
David Benjaminc3c88822016-11-14 10:32:04 +0900642 ret = do_send_server_finished(hs);
Steven Valdez143e8b32016-07-11 13:19:03 -0400643 break;
Steven Valdez143e8b32016-07-11 13:19:03 -0400644 case state_process_client_certificate:
David Benjaminc3c88822016-11-14 10:32:04 +0900645 ret = do_process_client_certificate(hs);
Steven Valdez143e8b32016-07-11 13:19:03 -0400646 break;
647 case state_process_client_certificate_verify:
David Benjaminc3c88822016-11-14 10:32:04 +0900648 ret = do_process_client_certificate_verify(hs);
Steven Valdez143e8b32016-07-11 13:19:03 -0400649 break;
Nick Harper60a85cb2016-09-23 16:25:11 -0700650 case state_process_channel_id:
David Benjaminc3c88822016-11-14 10:32:04 +0900651 ret = do_process_channel_id(hs);
Nick Harper60a85cb2016-09-23 16:25:11 -0700652 break;
Steven Valdez143e8b32016-07-11 13:19:03 -0400653 case state_process_client_finished:
David Benjaminc3c88822016-11-14 10:32:04 +0900654 ret = do_process_client_finished(hs);
Steven Valdez143e8b32016-07-11 13:19:03 -0400655 break;
Steven Valdez1e6f11a2016-07-27 11:10:52 -0400656 case state_send_new_session_ticket:
David Benjaminc3c88822016-11-14 10:32:04 +0900657 ret = do_send_new_session_ticket(hs);
Steven Valdez1e6f11a2016-07-27 11:10:52 -0400658 break;
Steven Valdez143e8b32016-07-11 13:19:03 -0400659 case state_done:
660 ret = ssl_hs_ok;
661 break;
662 }
663
664 if (ret != ssl_hs_ok) {
665 return ret;
666 }
667 }
668
669 return ssl_hs_ok;
670}