blob: db5fb2426b039d1d0c049b34b0a418738e2b41d2 [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) {
201 ssl->s3->new_session->tlsext_hostname = BUF_strdup(hs->hostname);
David Benjaminf01f42a2016-11-16 19:05:33 +0900202 if (ssl->s3->new_session->tlsext_hostname == NULL) {
203 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
204 return ssl_hs_error;
205 }
206 }
Steven Valdez4aa154e2016-07-29 14:32:55 -0400207 } else {
Steven Valdeza833c352016-11-01 13:39:36 -0400208 /* Check the PSK binder. */
209 if (!tls13_verify_psk_binder(ssl, session, &binders)) {
210 SSL_SESSION_free(session);
211 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECRYPT_ERROR);
212 return ssl_hs_error;
213 }
214
Steven Valdez4aa154e2016-07-29 14:32:55 -0400215 /* Only authentication information carries over in TLS 1.3. */
216 ssl->s3->new_session = SSL_SESSION_dup(session, SSL_SESSION_DUP_AUTH_ONLY);
217 if (ssl->s3->new_session == NULL) {
218 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
219 return ssl_hs_error;
220 }
221 ssl->s3->session_reused = 1;
Steven Valdez4aa154e2016-07-29 14:32:55 -0400222 SSL_SESSION_free(session);
David Benjamin17b30832017-01-28 14:00:32 -0500223
224 /* Resumption incorporates fresh key material, so refresh the timeout. */
225 ssl_session_renew_timeout(ssl, ssl->s3->new_session,
226 ssl->session_psk_dhe_timeout);
Steven Valdez143e8b32016-07-11 13:19:03 -0400227 }
228
229 if (ssl->ctx->dos_protection_cb != NULL &&
David Benjamine14ff062016-08-09 16:21:24 -0400230 ssl->ctx->dos_protection_cb(&client_hello) == 0) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400231 /* Connection rejected for DOS reasons. */
232 OPENSSL_PUT_ERROR(SSL, SSL_R_CONNECTION_REJECTED);
David Benjamin2c66e072016-09-16 15:58:00 -0400233 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
Steven Valdez143e8b32016-07-11 13:19:03 -0400234 return ssl_hs_error;
235 }
236
David Benjaminf01f42a2016-11-16 19:05:33 +0900237 /* HTTP/2 negotiation depends on the cipher suite, so ALPN negotiation was
238 * deferred. Complete it now. */
David Benjaminf3c8f8d2016-11-17 17:20:47 +0900239 if (!ssl_negotiate_alpn(hs, &alert, &client_hello)) {
David Benjamin9ef31f02016-10-31 18:01:13 -0400240 ssl3_send_alert(ssl, SSL3_AL_FATAL, alert);
241 return ssl_hs_error;
242 }
Steven Valdez803c77a2016-09-06 14:13:43 -0400243
David Benjaminf71036e2017-01-21 14:49:39 -0500244 /* The PRF hash is now known. Set up the key schedule and hash the
245 * ClientHello. */
Steven Valdez803c77a2016-09-06 14:13:43 -0400246 size_t hash_len =
Steven Valdez143e8b32016-07-11 13:19:03 -0400247 EVP_MD_size(ssl_get_handshake_digest(ssl_get_algorithm_prf(ssl)));
David Benjaminf71036e2017-01-21 14:49:39 -0500248 if (!tls13_init_key_schedule(hs) ||
249 !ssl_hash_current_message(ssl)) {
David Benjamin8f820b42016-11-30 11:24:40 -0500250 return ssl_hs_error;
Steven Valdez143e8b32016-07-11 13:19:03 -0400251 }
252
David Benjamin8f820b42016-11-30 11:24:40 -0500253 /* Incorporate the PSK into the running secret. */
254 if (ssl->s3->session_reused) {
David Benjamin6e4fc332016-11-17 16:43:08 +0900255 if (!tls13_advance_key_schedule(hs, ssl->s3->new_session->master_key,
David Benjamin8f820b42016-11-30 11:24:40 -0500256 ssl->s3->new_session->master_key_length)) {
257 return ssl_hs_error;
258 }
David Benjamin6e4fc332016-11-17 16:43:08 +0900259 } else if (!tls13_advance_key_schedule(hs, kZeroes, hash_len)) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400260 return ssl_hs_error;
261 }
262
David Benjaminf01f42a2016-11-16 19:05:33 +0900263 ssl->method->received_flight(ssl);
264
Steven Valdez143e8b32016-07-11 13:19:03 -0400265 /* Resolve ECDHE and incorporate it into the secret. */
Steven Valdez5440fe02016-07-18 12:40:30 -0400266 int need_retry;
David Benjamin6e4fc332016-11-17 16:43:08 +0900267 if (!resolve_ecdhe_secret(hs, &need_retry, &client_hello)) {
Steven Valdez5440fe02016-07-18 12:40:30 -0400268 if (need_retry) {
David Benjamin3977f302016-12-11 13:30:41 -0500269 hs->tls13_state = state_send_hello_retry_request;
Steven Valdez5440fe02016-07-18 12:40:30 -0400270 return ssl_hs_ok;
Steven Valdez143e8b32016-07-11 13:19:03 -0400271 }
Steven Valdez5440fe02016-07-18 12:40:30 -0400272 return ssl_hs_error;
273 }
Steven Valdez143e8b32016-07-11 13:19:03 -0400274
David Benjamin3977f302016-12-11 13:30:41 -0500275 hs->tls13_state = state_send_server_hello;
Steven Valdez5440fe02016-07-18 12:40:30 -0400276 return ssl_hs_ok;
277}
Steven Valdez143e8b32016-07-11 13:19:03 -0400278
David Benjaminc3c88822016-11-14 10:32:04 +0900279static enum ssl_hs_wait_t do_send_hello_retry_request(SSL_HANDSHAKE *hs) {
280 SSL *const ssl = hs->ssl;
Steven Valdez5440fe02016-07-18 12:40:30 -0400281 CBB cbb, body, extensions;
282 uint16_t group_id;
283 if (!ssl->method->init_message(ssl, &cbb, &body,
284 SSL3_MT_HELLO_RETRY_REQUEST) ||
285 !CBB_add_u16(&body, ssl->version) ||
David Benjaminf3c8f8d2016-11-17 17:20:47 +0900286 !tls1_get_shared_group(hs, &group_id) ||
Steven Valdez5440fe02016-07-18 12:40:30 -0400287 !CBB_add_u16_length_prefixed(&body, &extensions) ||
David Benjamin3baa6e12016-10-07 21:10:38 -0400288 !CBB_add_u16(&extensions, TLSEXT_TYPE_key_share) ||
289 !CBB_add_u16(&extensions, 2 /* length */) ||
290 !CBB_add_u16(&extensions, group_id) ||
David Benjamindaf207a2017-01-03 18:37:41 -0500291 !ssl_add_message_cbb(ssl, &cbb)) {
Steven Valdez5440fe02016-07-18 12:40:30 -0400292 CBB_cleanup(&cbb);
293 return ssl_hs_error;
294 }
295
David Benjamin3977f302016-12-11 13:30:41 -0500296 hs->tls13_state = state_process_second_client_hello;
Steven Valdez5440fe02016-07-18 12:40:30 -0400297 return ssl_hs_flush_and_read_message;
298}
299
David Benjaminc3c88822016-11-14 10:32:04 +0900300static enum ssl_hs_wait_t do_process_second_client_hello(SSL_HANDSHAKE *hs) {
301 SSL *const ssl = hs->ssl;
David Benjamin276b7e82017-01-21 14:13:39 -0500302 if (!ssl_check_message_type(ssl, SSL3_MT_CLIENT_HELLO)) {
Steven Valdez5440fe02016-07-18 12:40:30 -0400303 return ssl_hs_error;
304 }
305
David Benjamin731058e2016-12-03 23:15:13 -0500306 SSL_CLIENT_HELLO client_hello;
307 if (!ssl_client_hello_init(ssl, &client_hello, ssl->init_msg,
308 ssl->init_num)) {
Steven Valdez5440fe02016-07-18 12:40:30 -0400309 OPENSSL_PUT_ERROR(SSL, SSL_R_CLIENTHELLO_PARSE_FAILED);
310 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
311 return ssl_hs_error;
312 }
313
314 int need_retry;
David Benjamin6e4fc332016-11-17 16:43:08 +0900315 if (!resolve_ecdhe_secret(hs, &need_retry, &client_hello)) {
Steven Valdez5440fe02016-07-18 12:40:30 -0400316 if (need_retry) {
317 /* Only send one HelloRetryRequest. */
318 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_ILLEGAL_PARAMETER);
319 OPENSSL_PUT_ERROR(SSL, SSL_R_WRONG_CURVE);
Steven Valdez143e8b32016-07-11 13:19:03 -0400320 }
Steven Valdez5440fe02016-07-18 12:40:30 -0400321 return ssl_hs_error;
322 }
323
David Benjaminced94792016-11-14 17:12:11 +0900324 if (!ssl_hash_current_message(ssl)) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400325 return ssl_hs_error;
326 }
327
David Benjamin613fe3b2016-07-22 17:39:29 +0200328 ssl->method->received_flight(ssl);
David Benjamin3977f302016-12-11 13:30:41 -0500329 hs->tls13_state = state_send_server_hello;
Steven Valdez143e8b32016-07-11 13:19:03 -0400330 return ssl_hs_ok;
331}
332
David Benjaminc3c88822016-11-14 10:32:04 +0900333static enum ssl_hs_wait_t do_send_server_hello(SSL_HANDSHAKE *hs) {
334 SSL *const ssl = hs->ssl;
David Benjamin81b7bc32017-01-12 19:44:57 -0500335
336 /* Send a ServerHello. */
Steven Valdez143e8b32016-07-11 13:19:03 -0400337 CBB cbb, body, extensions;
338 if (!ssl->method->init_message(ssl, &cbb, &body, SSL3_MT_SERVER_HELLO) ||
339 !CBB_add_u16(&body, ssl->version) ||
340 !RAND_bytes(ssl->s3->server_random, sizeof(ssl->s3->server_random)) ||
341 !CBB_add_bytes(&body, ssl->s3->server_random, SSL3_RANDOM_SIZE) ||
342 !CBB_add_u16(&body, ssl_cipher_get_value(ssl->s3->tmp.new_cipher)) ||
343 !CBB_add_u16_length_prefixed(&body, &extensions) ||
David Benjamin8baf9632016-11-17 17:11:16 +0900344 !ssl_ext_pre_shared_key_add_serverhello(hs, &extensions) ||
David Benjamin6f600d62016-12-21 16:06:54 -0500345 !ssl_ext_key_share_add_serverhello(hs, &extensions)) {
346 goto err;
347 }
348
349 if (ssl->s3->short_header) {
350 if (!CBB_add_u16(&extensions, TLSEXT_TYPE_short_header) ||
351 !CBB_add_u16(&extensions, 0 /* empty extension */)) {
352 goto err;
353 }
354 }
355
David Benjamindaf207a2017-01-03 18:37:41 -0500356 if (!ssl_add_message_cbb(ssl, &cbb)) {
Steven Valdez803c77a2016-09-06 14:13:43 -0400357 goto err;
Steven Valdez143e8b32016-07-11 13:19:03 -0400358 }
359
David Benjamin81b7bc32017-01-12 19:44:57 -0500360 /* Derive and enable the handshake traffic secrets. */
Steven Valdez4cb84942016-12-16 11:29:28 -0500361 if (!tls13_derive_handshake_secrets(hs) ||
362 !tls13_set_traffic_key(ssl, evp_aead_open, hs->client_handshake_secret,
363 hs->hash_len) ||
364 !tls13_set_traffic_key(ssl, evp_aead_seal, hs->server_handshake_secret,
365 hs->hash_len)) {
David Benjamin81b7bc32017-01-12 19:44:57 -0500366 goto err;
Steven Valdez143e8b32016-07-11 13:19:03 -0400367 }
368
David Benjamin81b7bc32017-01-12 19:44:57 -0500369 /* Send EncryptedExtensions. */
Steven Valdez143e8b32016-07-11 13:19:03 -0400370 if (!ssl->method->init_message(ssl, &cbb, &body,
371 SSL3_MT_ENCRYPTED_EXTENSIONS) ||
David Benjamin8c880a22016-12-03 02:20:34 -0500372 !ssl_add_serverhello_tlsext(hs, &body) ||
David Benjamindaf207a2017-01-03 18:37:41 -0500373 !ssl_add_message_cbb(ssl, &cbb)) {
David Benjamin81b7bc32017-01-12 19:44:57 -0500374 goto err;
Steven Valdez143e8b32016-07-11 13:19:03 -0400375 }
376
Steven Valdez143e8b32016-07-11 13:19:03 -0400377 /* Determine whether to request a client certificate. */
David Benjaminc3c88822016-11-14 10:32:04 +0900378 hs->cert_request = !!(ssl->verify_mode & SSL_VERIFY_PEER);
Steven Valdez803c77a2016-09-06 14:13:43 -0400379 /* CertificateRequest may only be sent in non-resumption handshakes. */
380 if (ssl->s3->session_reused) {
David Benjaminc3c88822016-11-14 10:32:04 +0900381 hs->cert_request = 0;
Steven Valdez143e8b32016-07-11 13:19:03 -0400382 }
383
David Benjamin81b7bc32017-01-12 19:44:57 -0500384 /* Send a CertificateRequest, if necessary. */
385 if (hs->cert_request) {
386 CBB sigalgs_cbb;
387 if (!ssl->method->init_message(ssl, &cbb, &body,
388 SSL3_MT_CERTIFICATE_REQUEST) ||
389 !CBB_add_u8(&body, 0 /* no certificate_request_context. */)) {
390 goto err;
391 }
Steven Valdez143e8b32016-07-11 13:19:03 -0400392
David Benjamin81b7bc32017-01-12 19:44:57 -0500393 const uint16_t *sigalgs;
394 size_t num_sigalgs = tls12_get_verify_sigalgs(ssl, &sigalgs);
395 if (!CBB_add_u16_length_prefixed(&body, &sigalgs_cbb)) {
396 goto err;
397 }
Steven Valdez143e8b32016-07-11 13:19:03 -0400398
David Benjamin81b7bc32017-01-12 19:44:57 -0500399 for (size_t i = 0; i < num_sigalgs; i++) {
400 if (!CBB_add_u16(&sigalgs_cbb, sigalgs[i])) {
401 goto err;
402 }
403 }
Steven Valdez143e8b32016-07-11 13:19:03 -0400404
David Benjamin81b7bc32017-01-12 19:44:57 -0500405 if (!ssl_add_client_CA_list(ssl, &body) ||
406 !CBB_add_u16(&body, 0 /* empty certificate_extensions. */) ||
407 !ssl_add_message_cbb(ssl, &cbb)) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400408 goto err;
409 }
410 }
411
David Benjamin81b7bc32017-01-12 19:44:57 -0500412 /* Send the server Certificate message, if necessary. */
413 if (!ssl->s3->session_reused) {
414 if (!ssl_has_certificate(ssl)) {
415 OPENSSL_PUT_ERROR(SSL, SSL_R_NO_CERTIFICATE_SET);
416 goto err;
417 }
418
David Benjamin0f24bed2017-01-12 19:46:50 -0500419 if (!tls13_add_certificate(hs)) {
David Benjamin81b7bc32017-01-12 19:44:57 -0500420 goto err;
421 }
422
423 hs->tls13_state = state_send_server_certificate_verify;
424 return ssl_hs_ok;
Steven Valdez143e8b32016-07-11 13:19:03 -0400425 }
426
David Benjamin81b7bc32017-01-12 19:44:57 -0500427 hs->tls13_state = state_send_server_finished;
David Benjamin25ac2512017-01-12 19:31:28 -0500428 return ssl_hs_ok;
Steven Valdez143e8b32016-07-11 13:19:03 -0400429
430err:
431 CBB_cleanup(&cbb);
432 return ssl_hs_error;
433}
434
David Benjaminc3c88822016-11-14 10:32:04 +0900435static enum ssl_hs_wait_t do_send_server_certificate_verify(SSL_HANDSHAKE *hs,
Steven Valdez143e8b32016-07-11 13:19:03 -0400436 int is_first_run) {
David Benjamin0f24bed2017-01-12 19:46:50 -0500437 switch (tls13_add_certificate_verify(hs, is_first_run)) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400438 case ssl_private_key_success:
David Benjamin3977f302016-12-11 13:30:41 -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
442 case ssl_private_key_retry:
David Benjamin3977f302016-12-11 13:30:41 -0500443 hs->tls13_state = state_complete_server_certificate_verify;
Steven Valdez143e8b32016-07-11 13:19:03 -0400444 return ssl_hs_private_key_operation;
445
446 case ssl_private_key_failure:
447 return ssl_hs_error;
448 }
449
450 assert(0);
451 return ssl_hs_error;
452}
453
David Benjaminc3c88822016-11-14 10:32:04 +0900454static enum ssl_hs_wait_t do_send_server_finished(SSL_HANDSHAKE *hs) {
David Benjaminc3c88822016-11-14 10:32:04 +0900455 SSL *const ssl = hs->ssl;
David Benjamin0f24bed2017-01-12 19:46:50 -0500456 if (!tls13_add_finished(hs) ||
David Benjamin25ac2512017-01-12 19:31:28 -0500457 /* Update the secret to the master secret and derive traffic keys. */
458 !tls13_advance_key_schedule(hs, kZeroes, hs->hash_len) ||
David Benjamin6e4fc332016-11-17 16:43:08 +0900459 !tls13_derive_application_secrets(hs) ||
Steven Valdeza833c352016-11-01 13:39:36 -0400460 !tls13_set_traffic_key(ssl, evp_aead_seal, hs->server_traffic_secret_0,
461 hs->hash_len)) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400462 return ssl_hs_error;
463 }
464
David Benjamin3977f302016-12-11 13:30:41 -0500465 hs->tls13_state = state_process_client_certificate;
David Benjaminf2401eb2016-07-18 22:25:05 +0200466 return ssl_hs_flush_and_read_message;
Steven Valdez143e8b32016-07-11 13:19:03 -0400467}
468
David Benjaminc3c88822016-11-14 10:32:04 +0900469static enum ssl_hs_wait_t do_process_client_certificate(SSL_HANDSHAKE *hs) {
470 SSL *const ssl = hs->ssl;
471 if (!hs->cert_request) {
Adam Langley37646832016-08-01 16:16:46 -0700472 /* OpenSSL returns X509_V_OK when no certificates are requested. This is
David Benjamindd634eb2016-08-18 16:40:28 -0400473 * classed by them as a bug, but it's assumed by at least NGINX. */
Adam Langley37646832016-08-01 16:16:46 -0700474 ssl->s3->new_session->verify_result = X509_V_OK;
475
Steven Valdez143e8b32016-07-11 13:19:03 -0400476 /* Skip this state. */
David Benjamin3977f302016-12-11 13:30:41 -0500477 hs->tls13_state = state_process_channel_id;
Steven Valdez143e8b32016-07-11 13:19:03 -0400478 return ssl_hs_ok;
479 }
480
David Benjamin4087df92016-08-01 20:16:31 -0400481 const int allow_anonymous =
482 (ssl->verify_mode & SSL_VERIFY_FAIL_IF_NO_PEER_CERT) == 0;
483
David Benjamin276b7e82017-01-21 14:13:39 -0500484 if (!ssl_check_message_type(ssl, SSL3_MT_CERTIFICATE) ||
Adam Langley0c294252016-12-12 11:46:09 -0800485 !tls13_process_certificate(hs, allow_anonymous) ||
David Benjaminced94792016-11-14 17:12:11 +0900486 !ssl_hash_current_message(ssl)) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400487 return ssl_hs_error;
488 }
489
David Benjamin3977f302016-12-11 13:30:41 -0500490 hs->tls13_state = state_process_client_certificate_verify;
Steven Valdez143e8b32016-07-11 13:19:03 -0400491 return ssl_hs_read_message;
492}
493
494static enum ssl_hs_wait_t do_process_client_certificate_verify(
David Benjaminc3c88822016-11-14 10:32:04 +0900495 SSL_HANDSHAKE *hs) {
496 SSL *const ssl = hs->ssl;
Adam Langleyc5ac2b62016-11-07 12:02:35 -0800497 if (ssl->s3->new_session->x509_peer == NULL) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400498 /* Skip this state. */
David Benjamin3977f302016-12-11 13:30:41 -0500499 hs->tls13_state = state_process_channel_id;
Steven Valdez143e8b32016-07-11 13:19:03 -0400500 return ssl_hs_ok;
501 }
502
David Benjamin276b7e82017-01-21 14:13:39 -0500503 if (!ssl_check_message_type(ssl, SSL3_MT_CERTIFICATE_VERIFY) ||
Adam Langley0c294252016-12-12 11:46:09 -0800504 !tls13_process_certificate_verify(hs) ||
David Benjaminced94792016-11-14 17:12:11 +0900505 !ssl_hash_current_message(ssl)) {
David Benjamin6929f272016-11-16 19:10:08 +0900506 return ssl_hs_error;
Steven Valdez143e8b32016-07-11 13:19:03 -0400507 }
508
David Benjamin3977f302016-12-11 13:30:41 -0500509 hs->tls13_state = state_process_channel_id;
Nick Harper60a85cb2016-09-23 16:25:11 -0700510 return ssl_hs_read_message;
511}
512
David Benjaminc3c88822016-11-14 10:32:04 +0900513static enum ssl_hs_wait_t do_process_channel_id(SSL_HANDSHAKE *hs) {
514 SSL *const ssl = hs->ssl;
Nick Harper60a85cb2016-09-23 16:25:11 -0700515 if (!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
David Benjamin276b7e82017-01-21 14:13:39 -0500520 if (!ssl_check_message_type(ssl, SSL3_MT_CHANNEL_ID) ||
Nick Harper60a85cb2016-09-23 16:25:11 -0700521 !tls1_verify_channel_id(ssl) ||
David Benjaminced94792016-11-14 17:12:11 +0900522 !ssl_hash_current_message(ssl)) {
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) ||
David Benjaminced94792016-11-14 17:12:11 +0900534 !ssl_hash_current_message(ssl) ||
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}