blob: f411e194b9c6d2cbd5a58391695350229cf58857 [file] [log] [blame]
David Benjaminc895d6b2016-08-11 13:26:41 -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>
Robert Sloan4d1ac502017-02-06 08:36:14 -080018#include <limits.h>
David Benjaminc895d6b2016-08-11 13:26:41 -040019#include <string.h>
20
Robert Sloanb6d070c2017-07-24 08:40:01 -070021#include <utility>
22
David Benjaminc895d6b2016-08-11 13:26:41 -040023#include <openssl/bytestring.h>
24#include <openssl/digest.h>
25#include <openssl/err.h>
26#include <openssl/mem.h>
Robert Sloan726e9d12018-09-11 11:45:04 -070027#include <openssl/sha.h>
David Benjaminc895d6b2016-08-11 13:26:41 -040028#include <openssl/stack.h>
David Benjaminc895d6b2016-08-11 13:26:41 -040029
Steven Valdez909b19f2016-11-21 15:35:44 -050030#include "../crypto/internal.h"
David Benjaminc895d6b2016-08-11 13:26:41 -040031#include "internal.h"
32
33
Robert Sloan726e9d12018-09-11 11:45:04 -070034BSSL_NAMESPACE_BEGIN
Robert Sloanb6d070c2017-07-24 08:40:01 -070035
David Benjaminc895d6b2016-08-11 13:26:41 -040036enum client_hs_state_t {
Robert Sloan84377092017-08-14 09:33:19 -070037 state_read_hello_retry_request = 0,
David Benjaminc895d6b2016-08-11 13:26:41 -040038 state_send_second_client_hello,
Robert Sloan84377092017-08-14 09:33:19 -070039 state_read_server_hello,
Robert Sloan84377092017-08-14 09:33:19 -070040 state_read_encrypted_extensions,
41 state_read_certificate_request,
42 state_read_server_certificate,
43 state_read_server_certificate_verify,
Robert Sloand9e572d2018-08-27 12:27:00 -070044 state_server_certificate_reverify,
Robert Sloan84377092017-08-14 09:33:19 -070045 state_read_server_finished,
Robert Sloan6d0d00e2017-03-27 07:13:07 -070046 state_send_end_of_early_data,
David Benjaminc895d6b2016-08-11 13:26:41 -040047 state_send_client_certificate,
48 state_send_client_certificate_verify,
Robert Sloan4d1ac502017-02-06 08:36:14 -080049 state_complete_second_flight,
David Benjaminc895d6b2016-08-11 13:26:41 -040050 state_done,
51};
52
David Benjamin1b249672016-12-06 18:25:50 -050053static const uint8_t kZeroes[EVP_MAX_MD_SIZE] = {0};
54
Robert Sloan84377092017-08-14 09:33:19 -070055static enum ssl_hs_wait_t do_read_hello_retry_request(SSL_HANDSHAKE *hs) {
David Benjamin1b249672016-12-06 18:25:50 -050056 SSL *const ssl = hs->ssl;
Robert Sloan99319a12017-11-27 10:32:46 -080057 assert(ssl->s3->have_version);
Robert Sloan84377092017-08-14 09:33:19 -070058 SSLMessage msg;
59 if (!ssl->method->get_message(ssl, &msg)) {
60 return ssl_hs_read_message;
61 }
David Benjaminc895d6b2016-08-11 13:26:41 -040062
Robert Sloan8542c082018-02-05 09:07:34 -080063 // Queue up a ChangeCipherSpec for whenever we next send something. This
64 // will be before the second ClientHello. If we offered early data, this was
65 // already done.
66 if (!hs->early_data_offered &&
67 !ssl->method->add_change_cipher_spec(ssl)) {
68 return ssl_hs_error;
David Benjaminc895d6b2016-08-11 13:26:41 -040069 }
70
Robert Sloan8542c082018-02-05 09:07:34 -080071 if (!ssl_check_message_type(ssl, msg, SSL3_MT_SERVER_HELLO)) {
72 return ssl_hs_error;
73 }
Robert Sloanb1b54b82017-11-06 13:50:02 -080074
Robert Sloan8542c082018-02-05 09:07:34 -080075 CBS body = msg.body, extensions, server_random, session_id;
76 uint16_t server_version, cipher_suite;
77 uint8_t compression_method;
78 if (!CBS_get_u16(&body, &server_version) ||
79 !CBS_get_bytes(&body, &server_random, SSL3_RANDOM_SIZE) ||
80 !CBS_get_u8_length_prefixed(&body, &session_id) ||
81 !CBS_mem_equal(&session_id, hs->session_id, hs->session_id_len) ||
82 !CBS_get_u16(&body, &cipher_suite) ||
83 !CBS_get_u8(&body, &compression_method) ||
84 compression_method != 0 ||
85 !CBS_get_u16_length_prefixed(&body, &extensions) ||
86 CBS_len(&extensions) == 0 ||
87 CBS_len(&body) != 0) {
88 OPENSSL_PUT_ERROR(SSL, SSL_R_DECODE_ERROR);
89 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
90 return ssl_hs_error;
91 }
Robert Sloanb1b54b82017-11-06 13:50:02 -080092
Robert Sloan8542c082018-02-05 09:07:34 -080093 if (!CBS_mem_equal(&server_random, kHelloRetryRequest, SSL3_RANDOM_SIZE)) {
94 hs->tls13_state = state_read_server_hello;
95 return ssl_hs_ok;
96 }
97
98 const SSL_CIPHER *cipher = SSL_get_cipher_by_value(cipher_suite);
99 // Check if the cipher is a TLS 1.3 cipher.
100 if (cipher == NULL ||
101 SSL_CIPHER_get_min_version(cipher) > ssl_protocol_version(ssl) ||
102 SSL_CIPHER_get_max_version(cipher) < ssl_protocol_version(ssl)) {
103 OPENSSL_PUT_ERROR(SSL, SSL_R_WRONG_CIPHER_RETURNED);
104 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_ILLEGAL_PARAMETER);
105 return ssl_hs_error;
106 }
107
108 hs->new_cipher = cipher;
109
110 if (!hs->transcript.InitHash(ssl_protocol_version(ssl), hs->new_cipher) ||
111 !hs->transcript.UpdateForHelloRetryRequest()) {
112 return ssl_hs_error;
Robert Sloanb1b54b82017-11-06 13:50:02 -0800113 }
114
115
Robert Sloand5c22152017-11-13 09:22:12 -0800116 bool have_cookie, have_key_share, have_supported_versions;
117 CBS cookie, key_share, supported_versions;
Robert Sloan0db7f542018-01-16 15:48:33 -0800118 SSL_EXTENSION_TYPE ext_types[] = {
Robert Sloan8542c082018-02-05 09:07:34 -0800119 {TLSEXT_TYPE_key_share, &have_key_share, &key_share},
Steven Valdez909b19f2016-11-21 15:35:44 -0500120 {TLSEXT_TYPE_cookie, &have_cookie, &cookie},
Robert Sloand5c22152017-11-13 09:22:12 -0800121 {TLSEXT_TYPE_supported_versions, &have_supported_versions,
122 &supported_versions},
Steven Valdez909b19f2016-11-21 15:35:44 -0500123 };
124
Robert Sloan5d625782017-02-13 09:55:39 -0800125 uint8_t alert = SSL_AD_DECODE_ERROR;
Steven Valdez909b19f2016-11-21 15:35:44 -0500126 if (!ssl_parse_extensions(&extensions, &alert, ext_types,
Robert Sloan69939df2017-01-09 10:53:07 -0800127 OPENSSL_ARRAY_SIZE(ext_types),
128 0 /* reject unknown */)) {
Robert Sloan921ef2c2017-10-17 09:02:20 -0700129 ssl_send_alert(ssl, SSL3_AL_FATAL, alert);
Steven Valdez909b19f2016-11-21 15:35:44 -0500130 return ssl_hs_error;
131 }
132
Robert Sloan99319a12017-11-27 10:32:46 -0800133 if (!have_cookie && !have_key_share) {
134 OPENSSL_PUT_ERROR(SSL, SSL_R_EMPTY_HELLO_RETRY_REQUEST);
135 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_ILLEGAL_PARAMETER);
136 return ssl_hs_error;
137 }
Steven Valdez909b19f2016-11-21 15:35:44 -0500138 if (have_cookie) {
139 CBS cookie_value;
140 if (!CBS_get_u16_length_prefixed(&cookie, &cookie_value) ||
141 CBS_len(&cookie_value) == 0 ||
142 CBS_len(&cookie) != 0) {
David Benjamin95add822016-10-19 01:09:12 -0400143 OPENSSL_PUT_ERROR(SSL, SSL_R_DECODE_ERROR);
Robert Sloan921ef2c2017-10-17 09:02:20 -0700144 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
David Benjamin95add822016-10-19 01:09:12 -0400145 return ssl_hs_error;
146 }
David Benjaminc895d6b2016-08-11 13:26:41 -0400147
Robert Sloan4562e9d2017-10-02 10:26:51 -0700148 if (!hs->cookie.CopyFrom(cookie_value)) {
Steven Valdez909b19f2016-11-21 15:35:44 -0500149 return ssl_hs_error;
David Benjaminc895d6b2016-08-11 13:26:41 -0400150 }
151 }
152
Steven Valdez909b19f2016-11-21 15:35:44 -0500153 if (have_key_share) {
154 uint16_t group_id;
155 if (!CBS_get_u16(&key_share, &group_id) || CBS_len(&key_share) != 0) {
156 OPENSSL_PUT_ERROR(SSL, SSL_R_DECODE_ERROR);
Robert Sloan921ef2c2017-10-17 09:02:20 -0700157 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
Steven Valdez909b19f2016-11-21 15:35:44 -0500158 return ssl_hs_error;
159 }
160
Robert Sloana27a6a42017-09-05 08:39:28 -0700161 // The group must be supported.
Adam Vartanianbfcf3a72018-08-10 14:55:24 +0100162 if (!tls1_check_group_id(hs, group_id)) {
Robert Sloan921ef2c2017-10-17 09:02:20 -0700163 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_ILLEGAL_PARAMETER);
Steven Valdez909b19f2016-11-21 15:35:44 -0500164 OPENSSL_PUT_ERROR(SSL, SSL_R_WRONG_CURVE);
165 return ssl_hs_error;
166 }
167
Robert Sloan11c28bd2018-12-17 12:09:20 -0800168 // Check that the HelloRetryRequest does not request a key share that was
169 // provided in the initial ClientHello.
170 if (hs->key_shares[0]->GroupID() == group_id ||
171 (hs->key_shares[1] && hs->key_shares[1]->GroupID() == group_id)) {
Robert Sloan921ef2c2017-10-17 09:02:20 -0700172 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_ILLEGAL_PARAMETER);
Steven Valdez909b19f2016-11-21 15:35:44 -0500173 OPENSSL_PUT_ERROR(SSL, SSL_R_WRONG_CURVE);
174 return ssl_hs_error;
175 }
176
Robert Sloan11c28bd2018-12-17 12:09:20 -0800177 hs->key_shares[0].reset();
178 hs->key_shares[1].reset();
Steven Valdez909b19f2016-11-21 15:35:44 -0500179 hs->retry_group = group_id;
180 }
181
Robert Sloan84377092017-08-14 09:33:19 -0700182 if (!ssl_hash_message(hs, msg)) {
Robert Sloan4d1ac502017-02-06 08:36:14 -0800183 return ssl_hs_error;
184 }
185
Robert Sloan84377092017-08-14 09:33:19 -0700186 ssl->method->next_message(ssl);
Robert Sloana27a6a42017-09-05 08:39:28 -0700187 hs->received_hello_retry_request = true;
Steven Valdeze7531f02016-12-14 13:29:57 -0500188 hs->tls13_state = state_send_second_client_hello;
Robert Sloana27a6a42017-09-05 08:39:28 -0700189 // 0-RTT is rejected if we receive a HelloRetryRequest.
Robert Sloane56da3e2017-06-26 08:26:42 -0700190 if (hs->in_early_data) {
Pete Bentley0c61efe2019-08-13 09:32:23 +0100191 ssl->s3->early_data_reason = ssl_early_data_hello_retry_request;
Robert Sloane56da3e2017-06-26 08:26:42 -0700192 return ssl_hs_early_data_rejected;
193 }
David Benjaminc895d6b2016-08-11 13:26:41 -0400194 return ssl_hs_ok;
195}
196
David Benjamin1b249672016-12-06 18:25:50 -0500197static enum ssl_hs_wait_t do_send_second_client_hello(SSL_HANDSHAKE *hs) {
Robert Sloan6d0d00e2017-03-27 07:13:07 -0700198 SSL *const ssl = hs->ssl;
Robert Sloana27a6a42017-09-05 08:39:28 -0700199 // Restore the null cipher. We may have switched due to 0-RTT.
Robert Sloandb4251a2017-09-18 09:38:15 -0700200 bssl::UniquePtr<SSLAEADContext> null_ctx =
201 SSLAEADContext::CreateNullCipher(SSL_is_dtls(ssl));
Robert Sloanb6d070c2017-07-24 08:40:01 -0700202 if (!null_ctx ||
Robert Sloandb4251a2017-09-18 09:38:15 -0700203 !ssl->method->set_write_state(ssl, std::move(null_ctx))) {
204 return ssl_hs_error;
205 }
206
207 ssl->s3->aead_write_ctx->SetVersionIfNullCipher(ssl->version);
208
209 if (!ssl_write_client_hello(hs)) {
David Benjaminc895d6b2016-08-11 13:26:41 -0400210 return ssl_hs_error;
211 }
212
Robert Sloan84377092017-08-14 09:33:19 -0700213 hs->tls13_state = state_read_server_hello;
214 return ssl_hs_flush;
David Benjaminc895d6b2016-08-11 13:26:41 -0400215}
216
Robert Sloan84377092017-08-14 09:33:19 -0700217static enum ssl_hs_wait_t do_read_server_hello(SSL_HANDSHAKE *hs) {
David Benjamin1b249672016-12-06 18:25:50 -0500218 SSL *const ssl = hs->ssl;
Robert Sloan84377092017-08-14 09:33:19 -0700219 SSLMessage msg;
220 if (!ssl->method->get_message(ssl, &msg)) {
221 return ssl_hs_read_message;
222 }
223 if (!ssl_check_message_type(ssl, msg, SSL3_MT_SERVER_HELLO)) {
David Benjaminc895d6b2016-08-11 13:26:41 -0400224 return ssl_hs_error;
225 }
226
Robert Sloan84377092017-08-14 09:33:19 -0700227 CBS body = msg.body, server_random, session_id, extensions;
Robert Sloana12bf462017-07-17 07:08:26 -0700228 uint16_t server_version;
David Benjaminc895d6b2016-08-11 13:26:41 -0400229 uint16_t cipher_suite;
Robert Sloana12bf462017-07-17 07:08:26 -0700230 uint8_t compression_method;
Robert Sloan84377092017-08-14 09:33:19 -0700231 if (!CBS_get_u16(&body, &server_version) ||
232 !CBS_get_bytes(&body, &server_random, SSL3_RANDOM_SIZE) ||
Robert Sloan0da43952018-01-03 15:13:14 -0800233 !CBS_get_u8_length_prefixed(&body, &session_id) ||
234 !CBS_mem_equal(&session_id, hs->session_id, hs->session_id_len) ||
Robert Sloan84377092017-08-14 09:33:19 -0700235 !CBS_get_u16(&body, &cipher_suite) ||
Robert Sloan0da43952018-01-03 15:13:14 -0800236 !CBS_get_u8(&body, &compression_method) ||
237 compression_method != 0 ||
Robert Sloan84377092017-08-14 09:33:19 -0700238 !CBS_get_u16_length_prefixed(&body, &extensions) ||
239 CBS_len(&body) != 0) {
Robert Sloan921ef2c2017-10-17 09:02:20 -0700240 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
David Benjaminc895d6b2016-08-11 13:26:41 -0400241 OPENSSL_PUT_ERROR(SSL, SSL_R_DECODE_ERROR);
242 return ssl_hs_error;
243 }
244
Robert Sloan0da43952018-01-03 15:13:14 -0800245 if (server_version != TLS1_2_VERSION) {
Robert Sloan921ef2c2017-10-17 09:02:20 -0700246 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
David Benjaminc895d6b2016-08-11 13:26:41 -0400247 OPENSSL_PUT_ERROR(SSL, SSL_R_WRONG_VERSION_NUMBER);
248 return ssl_hs_error;
249 }
250
Robert Sloan99319a12017-11-27 10:32:46 -0800251 // Forbid a second HelloRetryRequest.
Robert Sloan8542c082018-02-05 09:07:34 -0800252 if (CBS_mem_equal(&server_random, kHelloRetryRequest, SSL3_RANDOM_SIZE)) {
Robert Sloan99319a12017-11-27 10:32:46 -0800253 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_UNEXPECTED_MESSAGE);
254 OPENSSL_PUT_ERROR(SSL, SSL_R_UNEXPECTED_MESSAGE);
255 return ssl_hs_error;
256 }
257
Robert Sloan69939df2017-01-09 10:53:07 -0800258 OPENSSL_memcpy(ssl->s3->server_random, CBS_data(&server_random),
259 SSL3_RANDOM_SIZE);
Steven Valdezbb1ceac2016-10-07 10:34:51 -0400260
Robert Sloanb1b54b82017-11-06 13:50:02 -0800261 // Check if the cipher is a TLS 1.3 cipher.
Steven Valdezbb1ceac2016-10-07 10:34:51 -0400262 const SSL_CIPHER *cipher = SSL_get_cipher_by_value(cipher_suite);
Robert Sloanb1b54b82017-11-06 13:50:02 -0800263 if (cipher == nullptr ||
264 SSL_CIPHER_get_min_version(cipher) > ssl_protocol_version(ssl) ||
265 SSL_CIPHER_get_max_version(cipher) < ssl_protocol_version(ssl)) {
266 OPENSSL_PUT_ERROR(SSL, SSL_R_WRONG_CIPHER_RETURNED);
Robert Sloan921ef2c2017-10-17 09:02:20 -0700267 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_ILLEGAL_PARAMETER);
Steven Valdezbb1ceac2016-10-07 10:34:51 -0400268 return ssl_hs_error;
269 }
270
Robert Sloanb1b54b82017-11-06 13:50:02 -0800271 // Check that the cipher matches the one in the HelloRetryRequest.
Robert Sloan8542c082018-02-05 09:07:34 -0800272 if (hs->received_hello_retry_request &&
Robert Sloanb1b54b82017-11-06 13:50:02 -0800273 hs->new_cipher != cipher) {
Steven Valdezbb1ceac2016-10-07 10:34:51 -0400274 OPENSSL_PUT_ERROR(SSL, SSL_R_WRONG_CIPHER_RETURNED);
Robert Sloan921ef2c2017-10-17 09:02:20 -0700275 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_ILLEGAL_PARAMETER);
Steven Valdezbb1ceac2016-10-07 10:34:51 -0400276 return ssl_hs_error;
277 }
278
Robert Sloana27a6a42017-09-05 08:39:28 -0700279 // Parse out the extensions.
280 bool have_key_share = false, have_pre_shared_key = false,
281 have_supported_versions = false;
Robert Sloana12bf462017-07-17 07:08:26 -0700282 CBS key_share, pre_shared_key, supported_versions;
Robert Sloan0db7f542018-01-16 15:48:33 -0800283 SSL_EXTENSION_TYPE ext_types[] = {
Robert Sloan8542c082018-02-05 09:07:34 -0800284 {TLSEXT_TYPE_key_share, &have_key_share, &key_share},
Steven Valdez909b19f2016-11-21 15:35:44 -0500285 {TLSEXT_TYPE_pre_shared_key, &have_pre_shared_key, &pre_shared_key},
Robert Sloana12bf462017-07-17 07:08:26 -0700286 {TLSEXT_TYPE_supported_versions, &have_supported_versions,
287 &supported_versions},
Steven Valdez909b19f2016-11-21 15:35:44 -0500288 };
David Benjaminc895d6b2016-08-11 13:26:41 -0400289
Robert Sloan5d625782017-02-13 09:55:39 -0800290 uint8_t alert = SSL_AD_DECODE_ERROR;
Steven Valdez909b19f2016-11-21 15:35:44 -0500291 if (!ssl_parse_extensions(&extensions, &alert, ext_types,
Robert Sloan69939df2017-01-09 10:53:07 -0800292 OPENSSL_ARRAY_SIZE(ext_types),
293 0 /* reject unknown */)) {
Robert Sloan921ef2c2017-10-17 09:02:20 -0700294 ssl_send_alert(ssl, SSL3_AL_FATAL, alert);
Steven Valdez909b19f2016-11-21 15:35:44 -0500295 return ssl_hs_error;
David Benjaminc895d6b2016-08-11 13:26:41 -0400296 }
297
Robert Sloan4c22c5f2019-03-01 15:53:37 -0800298 // Recheck supported_versions, in case this is the second ServerHello.
299 uint16_t version;
300 if (!have_supported_versions ||
301 !CBS_get_u16(&supported_versions, &version) ||
302 version != ssl->version) {
303 OPENSSL_PUT_ERROR(SSL, SSL_R_SECOND_SERVERHELLO_VERSION_MISMATCH);
304 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_ILLEGAL_PARAMETER);
305 return ssl_hs_error;
Adam Vartanianbfcf3a72018-08-10 14:55:24 +0100306 }
307
Steven Valdez909b19f2016-11-21 15:35:44 -0500308 alert = SSL_AD_DECODE_ERROR;
David Benjaminf0c4a6c2016-08-11 13:26:41 -0400309 if (have_pre_shared_key) {
310 if (ssl->session == NULL) {
311 OPENSSL_PUT_ERROR(SSL, SSL_R_UNEXPECTED_EXTENSION);
Robert Sloan921ef2c2017-10-17 09:02:20 -0700312 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_UNSUPPORTED_EXTENSION);
David Benjaminf0c4a6c2016-08-11 13:26:41 -0400313 return ssl_hs_error;
314 }
315
David Benjamin1b249672016-12-06 18:25:50 -0500316 if (!ssl_ext_pre_shared_key_parse_serverhello(hs, &alert,
David Benjaminf0c4a6c2016-08-11 13:26:41 -0400317 &pre_shared_key)) {
Robert Sloan921ef2c2017-10-17 09:02:20 -0700318 ssl_send_alert(ssl, SSL3_AL_FATAL, alert);
David Benjaminf0c4a6c2016-08-11 13:26:41 -0400319 return ssl_hs_error;
320 }
321
322 if (ssl->session->ssl_version != ssl->version) {
323 OPENSSL_PUT_ERROR(SSL, SSL_R_OLD_SESSION_VERSION_NOT_RETURNED);
Robert Sloan921ef2c2017-10-17 09:02:20 -0700324 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_ILLEGAL_PARAMETER);
David Benjaminf0c4a6c2016-08-11 13:26:41 -0400325 return ssl_hs_error;
326 }
327
Steven Valdez909b19f2016-11-21 15:35:44 -0500328 if (ssl->session->cipher->algorithm_prf != cipher->algorithm_prf) {
329 OPENSSL_PUT_ERROR(SSL, SSL_R_OLD_SESSION_PRF_HASH_MISMATCH);
Robert Sloan921ef2c2017-10-17 09:02:20 -0700330 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_ILLEGAL_PARAMETER);
Steven Valdezbb1ceac2016-10-07 10:34:51 -0400331 return ssl_hs_error;
332 }
333
Adam Vartanianbfcf3a72018-08-10 14:55:24 +0100334 if (!ssl_session_is_context_valid(hs, ssl->session.get())) {
Robert Sloana27a6a42017-09-05 08:39:28 -0700335 // This is actually a client application bug.
David Benjaminf0c4a6c2016-08-11 13:26:41 -0400336 OPENSSL_PUT_ERROR(SSL,
337 SSL_R_ATTEMPT_TO_REUSE_SESSION_IN_DIFFERENT_CONTEXT);
Robert Sloan921ef2c2017-10-17 09:02:20 -0700338 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_ILLEGAL_PARAMETER);
David Benjaminf0c4a6c2016-08-11 13:26:41 -0400339 return ssl_hs_error;
340 }
341
Robert Sloana27a6a42017-09-05 08:39:28 -0700342 ssl->s3->session_reused = true;
343 // Only authentication information carries over in TLS 1.3.
Adam Vartanianbfcf3a72018-08-10 14:55:24 +0100344 hs->new_session =
345 SSL_SESSION_dup(ssl->session.get(), SSL_SESSION_DUP_AUTH_ONLY);
Robert Sloanb6d070c2017-07-24 08:40:01 -0700346 if (!hs->new_session) {
Robert Sloan921ef2c2017-10-17 09:02:20 -0700347 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
David Benjaminf0c4a6c2016-08-11 13:26:41 -0400348 return ssl_hs_error;
349 }
Robert Sloane56da3e2017-06-26 08:26:42 -0700350 ssl_set_session(ssl, NULL);
Robert Sloan4d1ac502017-02-06 08:36:14 -0800351
Robert Sloana27a6a42017-09-05 08:39:28 -0700352 // Resumption incorporates fresh key material, so refresh the timeout.
Robert Sloanb6d070c2017-07-24 08:40:01 -0700353 ssl_session_renew_timeout(ssl, hs->new_session.get(),
Robert Sloan1c9db532017-03-13 08:03:59 -0700354 ssl->session_ctx->session_psk_dhe_timeout);
David Benjamin1b249672016-12-06 18:25:50 -0500355 } else if (!ssl_get_new_session(hs, 0)) {
Robert Sloan921ef2c2017-10-17 09:02:20 -0700356 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
David Benjaminc895d6b2016-08-11 13:26:41 -0400357 return ssl_hs_error;
358 }
359
Robert Sloana94fe052017-02-21 08:49:28 -0800360 hs->new_session->cipher = cipher;
361 hs->new_cipher = cipher;
362
Robert Sloanb1b54b82017-11-06 13:50:02 -0800363 size_t hash_len =
364 EVP_MD_size(ssl_get_handshake_digest(ssl_protocol_version(ssl), cipher));
David Benjaminc895d6b2016-08-11 13:26:41 -0400365
Robert Sloanb1b54b82017-11-06 13:50:02 -0800366 // Set up the key schedule and incorporate the PSK into the running secret.
David Benjamin1b249672016-12-06 18:25:50 -0500367 if (ssl->s3->session_reused) {
Robert Sloanb1b54b82017-11-06 13:50:02 -0800368 if (!tls13_init_key_schedule(hs, hs->new_session->master_key,
369 hs->new_session->master_key_length)) {
David Benjamin1b249672016-12-06 18:25:50 -0500370 return ssl_hs_error;
371 }
Robert Sloanb1b54b82017-11-06 13:50:02 -0800372 } else if (!tls13_init_key_schedule(hs, kZeroes, hash_len)) {
David Benjaminc895d6b2016-08-11 13:26:41 -0400373 return ssl_hs_error;
374 }
375
Steven Valdeze7531f02016-12-14 13:29:57 -0500376 if (!have_key_share) {
Robert Sloana27a6a42017-09-05 08:39:28 -0700377 // We do not support psk_ke and thus always require a key share.
Steven Valdeze7531f02016-12-14 13:29:57 -0500378 OPENSSL_PUT_ERROR(SSL, SSL_R_MISSING_KEY_SHARE);
Robert Sloan921ef2c2017-10-17 09:02:20 -0700379 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_MISSING_EXTENSION);
Steven Valdeze7531f02016-12-14 13:29:57 -0500380 return ssl_hs_error;
381 }
382
Robert Sloana27a6a42017-09-05 08:39:28 -0700383 // Resolve ECDHE and incorporate it into the secret.
Robert Sloan4562e9d2017-10-02 10:26:51 -0700384 Array<uint8_t> dhe_secret;
Robert Sloan5d625782017-02-13 09:55:39 -0800385 alert = SSL_AD_DECODE_ERROR;
Robert Sloan4562e9d2017-10-02 10:26:51 -0700386 if (!ssl_ext_key_share_parse_serverhello(hs, &dhe_secret, &alert,
387 &key_share)) {
Robert Sloan921ef2c2017-10-17 09:02:20 -0700388 ssl_send_alert(ssl, SSL3_AL_FATAL, alert);
Steven Valdezbb1ceac2016-10-07 10:34:51 -0400389 return ssl_hs_error;
390 }
David Benjaminc895d6b2016-08-11 13:26:41 -0400391
Robert Sloan4562e9d2017-10-02 10:26:51 -0700392 if (!tls13_advance_key_schedule(hs, dhe_secret.data(), dhe_secret.size()) ||
Robert Sloancbf5ea62018-11-05 11:56:34 -0800393 !ssl_hash_message(hs, msg) || !tls13_derive_handshake_secrets(hs) ||
394 !tls13_set_traffic_key(ssl, ssl_encryption_handshake, evp_aead_open,
395 hs->server_handshake_secret, hs->hash_len)) {
Robert Sloan6d0d00e2017-03-27 07:13:07 -0700396 return ssl_hs_error;
397 }
398
Robert Sloana12bf462017-07-17 07:08:26 -0700399 if (!hs->early_data_offered) {
Robert Sloana27a6a42017-09-05 08:39:28 -0700400 // If not sending early data, set client traffic keys now so that alerts are
401 // encrypted.
Robert Sloancbf5ea62018-11-05 11:56:34 -0800402 if (!tls13_set_traffic_key(ssl, ssl_encryption_handshake, evp_aead_seal,
403 hs->client_handshake_secret, hs->hash_len)) {
Robert Sloana12bf462017-07-17 07:08:26 -0700404 return ssl_hs_error;
405 }
David Benjaminc895d6b2016-08-11 13:26:41 -0400406 }
407
Robert Sloand5c22152017-11-13 09:22:12 -0800408 ssl->method->next_message(ssl);
Robert Sloan84377092017-08-14 09:33:19 -0700409 hs->tls13_state = state_read_encrypted_extensions;
410 return ssl_hs_ok;
David Benjaminc895d6b2016-08-11 13:26:41 -0400411}
412
Robert Sloan84377092017-08-14 09:33:19 -0700413static enum ssl_hs_wait_t do_read_encrypted_extensions(SSL_HANDSHAKE *hs) {
David Benjamin1b249672016-12-06 18:25:50 -0500414 SSL *const ssl = hs->ssl;
Robert Sloan84377092017-08-14 09:33:19 -0700415 SSLMessage msg;
416 if (!ssl->method->get_message(ssl, &msg)) {
417 return ssl_hs_read_message;
418 }
419 if (!ssl_check_message_type(ssl, msg, SSL3_MT_ENCRYPTED_EXTENSIONS)) {
David Benjaminc895d6b2016-08-11 13:26:41 -0400420 return ssl_hs_error;
421 }
422
Robert Sloan84377092017-08-14 09:33:19 -0700423 CBS body = msg.body;
424 if (!ssl_parse_serverhello_tlsext(hs, &body)) {
David Benjaminc895d6b2016-08-11 13:26:41 -0400425 OPENSSL_PUT_ERROR(SSL, SSL_R_PARSE_TLSEXT);
426 return ssl_hs_error;
427 }
Robert Sloan84377092017-08-14 09:33:19 -0700428 if (CBS_len(&body) != 0) {
David Benjaminc895d6b2016-08-11 13:26:41 -0400429 OPENSSL_PUT_ERROR(SSL, SSL_R_DECODE_ERROR);
Robert Sloan921ef2c2017-10-17 09:02:20 -0700430 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
David Benjaminc895d6b2016-08-11 13:26:41 -0400431 return ssl_hs_error;
432 }
433
Robert Sloana27a6a42017-09-05 08:39:28 -0700434 // Store the negotiated ALPN in the session.
Adam Vartanianbfcf3a72018-08-10 14:55:24 +0100435 if (!hs->new_session->early_alpn.CopyFrom(ssl->s3->alpn_selected)) {
436 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
437 return ssl_hs_error;
Robert Sloan6d0d00e2017-03-27 07:13:07 -0700438 }
439
Robert Sloan0da43952018-01-03 15:13:14 -0800440 if (ssl->s3->early_data_accepted) {
Robert Sloane56da3e2017-06-26 08:26:42 -0700441 if (hs->early_session->cipher != hs->new_session->cipher ||
Adam Vartanianbfcf3a72018-08-10 14:55:24 +0100442 MakeConstSpan(hs->early_session->early_alpn) !=
Robert Sloan29c1d2c2017-10-30 14:10:28 -0700443 ssl->s3->alpn_selected) {
Robert Sloan6d0d00e2017-03-27 07:13:07 -0700444 OPENSSL_PUT_ERROR(SSL, SSL_R_ALPN_MISMATCH_ON_EARLY_DATA);
445 return ssl_hs_error;
446 }
Adam Vartanianbfcf3a72018-08-10 14:55:24 +0100447 if (ssl->s3->channel_id_valid || ssl->s3->token_binding_negotiated) {
Robert Sloan8f860b12017-08-28 07:37:06 -0700448 OPENSSL_PUT_ERROR(SSL, SSL_R_UNEXPECTED_EXTENSION_ON_EARLY_DATA);
Robert Sloan6d0d00e2017-03-27 07:13:07 -0700449 return ssl_hs_error;
450 }
451 }
452
Robert Sloan84377092017-08-14 09:33:19 -0700453 if (!ssl_hash_message(hs, msg)) {
David Benjaminc895d6b2016-08-11 13:26:41 -0400454 return ssl_hs_error;
455 }
456
Robert Sloan84377092017-08-14 09:33:19 -0700457 ssl->method->next_message(ssl);
458 hs->tls13_state = state_read_certificate_request;
Robert Sloan0da43952018-01-03 15:13:14 -0800459 if (hs->in_early_data && !ssl->s3->early_data_accepted) {
Robert Sloane56da3e2017-06-26 08:26:42 -0700460 return ssl_hs_early_data_rejected;
461 }
462 return ssl_hs_ok;
463}
464
Robert Sloan84377092017-08-14 09:33:19 -0700465static enum ssl_hs_wait_t do_read_certificate_request(SSL_HANDSHAKE *hs) {
David Benjamin1b249672016-12-06 18:25:50 -0500466 SSL *const ssl = hs->ssl;
Robert Sloana27a6a42017-09-05 08:39:28 -0700467 // CertificateRequest may only be sent in non-resumption handshakes.
Steven Valdezbb1ceac2016-10-07 10:34:51 -0400468 if (ssl->s3->session_reused) {
Robert Sloanc9abfe42018-11-26 12:19:07 -0800469 if (ssl->ctx->reverify_on_resume && !ssl->s3->early_data_accepted) {
Robert Sloand9e572d2018-08-27 12:27:00 -0700470 hs->tls13_state = state_server_certificate_reverify;
471 return ssl_hs_ok;
472 }
Robert Sloan84377092017-08-14 09:33:19 -0700473 hs->tls13_state = state_read_server_finished;
David Benjaminc895d6b2016-08-11 13:26:41 -0400474 return ssl_hs_ok;
475 }
476
Robert Sloan84377092017-08-14 09:33:19 -0700477 SSLMessage msg;
478 if (!ssl->method->get_message(ssl, &msg)) {
479 return ssl_hs_read_message;
480 }
481
Robert Sloana27a6a42017-09-05 08:39:28 -0700482 // CertificateRequest is optional.
Robert Sloan84377092017-08-14 09:33:19 -0700483 if (msg.type != SSL3_MT_CERTIFICATE_REQUEST) {
484 hs->tls13_state = state_read_server_certificate;
David Benjaminc895d6b2016-08-11 13:26:41 -0400485 return ssl_hs_ok;
486 }
487
David Benjaminc895d6b2016-08-11 13:26:41 -0400488
Robert Sloan8542c082018-02-05 09:07:34 -0800489 bool have_sigalgs = false, have_ca = false;
490 CBS sigalgs, ca;
491 const SSL_EXTENSION_TYPE ext_types[] = {
492 {TLSEXT_TYPE_signature_algorithms, &have_sigalgs, &sigalgs},
493 {TLSEXT_TYPE_certificate_authorities, &have_ca, &ca},
494 };
David Benjaminc895d6b2016-08-11 13:26:41 -0400495
Robert Sloan8542c082018-02-05 09:07:34 -0800496 CBS body = msg.body, context, extensions, supported_signature_algorithms;
497 uint8_t alert = SSL_AD_DECODE_ERROR;
498 if (!CBS_get_u8_length_prefixed(&body, &context) ||
499 // The request context is always empty during the handshake.
500 CBS_len(&context) != 0 ||
501 !CBS_get_u16_length_prefixed(&body, &extensions) ||
502 CBS_len(&body) != 0 ||
503 !ssl_parse_extensions(&extensions, &alert, ext_types,
504 OPENSSL_ARRAY_SIZE(ext_types),
505 1 /* accept unknown */) ||
506 (have_ca && CBS_len(&ca) == 0) ||
507 !have_sigalgs ||
508 !CBS_get_u16_length_prefixed(&sigalgs,
509 &supported_signature_algorithms) ||
Robert Sloan8542c082018-02-05 09:07:34 -0800510 !tls1_parse_peer_sigalgs(hs, &supported_signature_algorithms)) {
511 ssl_send_alert(ssl, SSL3_AL_FATAL, alert);
512 OPENSSL_PUT_ERROR(SSL, SSL_R_DECODE_ERROR);
513 return ssl_hs_error;
514 }
Robert Sloanb1b54b82017-11-06 13:50:02 -0800515
Robert Sloan8542c082018-02-05 09:07:34 -0800516 if (have_ca) {
517 hs->ca_names = ssl_parse_client_CA_list(ssl, &alert, &ca);
Robert Sloanb1b54b82017-11-06 13:50:02 -0800518 if (!hs->ca_names) {
519 ssl_send_alert(ssl, SSL3_AL_FATAL, alert);
520 return ssl_hs_error;
521 }
Robert Sloan8542c082018-02-05 09:07:34 -0800522 } else {
523 hs->ca_names.reset(sk_CRYPTO_BUFFER_new_null());
524 if (!hs->ca_names) {
525 OPENSSL_PUT_ERROR(SSL, ERR_R_MALLOC_FAILURE);
526 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
Robert Sloanb1b54b82017-11-06 13:50:02 -0800527 return ssl_hs_error;
528 }
David Benjaminc895d6b2016-08-11 13:26:41 -0400529 }
530
Robert Sloana27a6a42017-09-05 08:39:28 -0700531 hs->cert_request = true;
Robert Sloan7d422bc2017-03-06 10:04:29 -0800532 ssl->ctx->x509_method->hs_flush_cached_ca_names(hs);
David Benjaminc895d6b2016-08-11 13:26:41 -0400533
Robert Sloan84377092017-08-14 09:33:19 -0700534 if (!ssl_hash_message(hs, msg)) {
David Benjaminc895d6b2016-08-11 13:26:41 -0400535 return ssl_hs_error;
536 }
537
Robert Sloan84377092017-08-14 09:33:19 -0700538 ssl->method->next_message(ssl);
539 hs->tls13_state = state_read_server_certificate;
540 return ssl_hs_ok;
David Benjaminc895d6b2016-08-11 13:26:41 -0400541}
542
Robert Sloan84377092017-08-14 09:33:19 -0700543static enum ssl_hs_wait_t do_read_server_certificate(SSL_HANDSHAKE *hs) {
David Benjamin1b249672016-12-06 18:25:50 -0500544 SSL *const ssl = hs->ssl;
Robert Sloan84377092017-08-14 09:33:19 -0700545 SSLMessage msg;
546 if (!ssl->method->get_message(ssl, &msg)) {
547 return ssl_hs_read_message;
548 }
Adam Vartanianbfcf3a72018-08-10 14:55:24 +0100549
550 if (msg.type != SSL3_MT_COMPRESSED_CERTIFICATE &&
551 !ssl_check_message_type(ssl, msg, SSL3_MT_CERTIFICATE)) {
552 return ssl_hs_error;
553 }
554
Robert Sloan726e9d12018-09-11 11:45:04 -0700555 if (!tls13_process_certificate(hs, msg, false /* certificate required */) ||
Robert Sloan84377092017-08-14 09:33:19 -0700556 !ssl_hash_message(hs, msg)) {
David Benjaminc895d6b2016-08-11 13:26:41 -0400557 return ssl_hs_error;
558 }
559
Robert Sloan84377092017-08-14 09:33:19 -0700560 ssl->method->next_message(ssl);
561 hs->tls13_state = state_read_server_certificate_verify;
562 return ssl_hs_ok;
David Benjaminc895d6b2016-08-11 13:26:41 -0400563}
564
Robert Sloan84377092017-08-14 09:33:19 -0700565static enum ssl_hs_wait_t do_read_server_certificate_verify(
David Benjamin1b249672016-12-06 18:25:50 -0500566 SSL_HANDSHAKE *hs) {
567 SSL *const ssl = hs->ssl;
Robert Sloan84377092017-08-14 09:33:19 -0700568 SSLMessage msg;
569 if (!ssl->method->get_message(ssl, &msg)) {
570 return ssl_hs_read_message;
571 }
Robert Sloanb6d070c2017-07-24 08:40:01 -0700572 switch (ssl_verify_peer_cert(hs)) {
573 case ssl_verify_ok:
574 break;
575 case ssl_verify_invalid:
576 return ssl_hs_error;
577 case ssl_verify_retry:
Robert Sloan84377092017-08-14 09:33:19 -0700578 hs->tls13_state = state_read_server_certificate_verify;
Robert Sloanb6d070c2017-07-24 08:40:01 -0700579 return ssl_hs_certificate_verify;
580 }
581
Robert Sloan84377092017-08-14 09:33:19 -0700582 if (!ssl_check_message_type(ssl, msg, SSL3_MT_CERTIFICATE_VERIFY) ||
583 !tls13_process_certificate_verify(hs, msg) ||
584 !ssl_hash_message(hs, msg)) {
Steven Valdez909b19f2016-11-21 15:35:44 -0500585 return ssl_hs_error;
David Benjaminc895d6b2016-08-11 13:26:41 -0400586 }
587
Robert Sloan84377092017-08-14 09:33:19 -0700588 ssl->method->next_message(ssl);
589 hs->tls13_state = state_read_server_finished;
590 return ssl_hs_ok;
David Benjaminc895d6b2016-08-11 13:26:41 -0400591}
592
Robert Sloand9e572d2018-08-27 12:27:00 -0700593static enum ssl_hs_wait_t do_server_certificate_reverify(
594 SSL_HANDSHAKE *hs) {
595 switch (ssl_reverify_peer_cert(hs)) {
596 case ssl_verify_ok:
597 break;
598 case ssl_verify_invalid:
599 return ssl_hs_error;
600 case ssl_verify_retry:
601 hs->tls13_state = state_server_certificate_reverify;
602 return ssl_hs_certificate_verify;
603 }
604 hs->tls13_state = state_read_server_finished;
605 return ssl_hs_ok;
606}
607
Robert Sloan84377092017-08-14 09:33:19 -0700608static enum ssl_hs_wait_t do_read_server_finished(SSL_HANDSHAKE *hs) {
David Benjamin1b249672016-12-06 18:25:50 -0500609 SSL *const ssl = hs->ssl;
Robert Sloan84377092017-08-14 09:33:19 -0700610 SSLMessage msg;
611 if (!ssl->method->get_message(ssl, &msg)) {
612 return ssl_hs_read_message;
613 }
614 if (!ssl_check_message_type(ssl, msg, SSL3_MT_FINISHED) ||
Robert Sloan726e9d12018-09-11 11:45:04 -0700615 !tls13_process_finished(hs, msg, false /* don't use saved value */) ||
Robert Sloan84377092017-08-14 09:33:19 -0700616 !ssl_hash_message(hs, msg) ||
Robert Sloana27a6a42017-09-05 08:39:28 -0700617 // Update the secret to the master secret and derive traffic keys.
David Benjamin1b249672016-12-06 18:25:50 -0500618 !tls13_advance_key_schedule(hs, kZeroes, hs->hash_len) ||
619 !tls13_derive_application_secrets(hs)) {
David Benjaminc895d6b2016-08-11 13:26:41 -0400620 return ssl_hs_error;
621 }
622
Robert Sloan84377092017-08-14 09:33:19 -0700623 ssl->method->next_message(ssl);
Robert Sloan6d0d00e2017-03-27 07:13:07 -0700624 hs->tls13_state = state_send_end_of_early_data;
625 return ssl_hs_ok;
626}
627
628static enum ssl_hs_wait_t do_send_end_of_early_data(SSL_HANDSHAKE *hs) {
629 SSL *const ssl = hs->ssl;
Robert Sloane56da3e2017-06-26 08:26:42 -0700630
Robert Sloan0da43952018-01-03 15:13:14 -0800631 if (ssl->s3->early_data_accepted) {
Robert Sloana27a6a42017-09-05 08:39:28 -0700632 hs->can_early_write = false;
Robert Sloan8542c082018-02-05 09:07:34 -0800633 ScopedCBB cbb;
634 CBB body;
635 if (!ssl->method->init_message(ssl, cbb.get(), &body,
636 SSL3_MT_END_OF_EARLY_DATA) ||
637 !ssl_add_message_cbb(ssl, cbb.get())) {
638 return ssl_hs_error;
Robert Sloane56da3e2017-06-26 08:26:42 -0700639 }
Robert Sloan6d0d00e2017-03-27 07:13:07 -0700640 }
641
Robert Sloana12bf462017-07-17 07:08:26 -0700642 if (hs->early_data_offered) {
Robert Sloancbf5ea62018-11-05 11:56:34 -0800643 if (!tls13_set_traffic_key(ssl, ssl_encryption_handshake, evp_aead_seal,
644 hs->client_handshake_secret, hs->hash_len)) {
Robert Sloana12bf462017-07-17 07:08:26 -0700645 return ssl_hs_error;
646 }
Robert Sloan6d0d00e2017-03-27 07:13:07 -0700647 }
648
Steven Valdeze7531f02016-12-14 13:29:57 -0500649 hs->tls13_state = state_send_client_certificate;
David Benjaminc895d6b2016-08-11 13:26:41 -0400650 return ssl_hs_ok;
651}
652
Steven Valdeze7531f02016-12-14 13:29:57 -0500653static enum ssl_hs_wait_t do_send_client_certificate(SSL_HANDSHAKE *hs) {
David Benjamin1b249672016-12-06 18:25:50 -0500654 SSL *const ssl = hs->ssl;
Robert Sloan6d0d00e2017-03-27 07:13:07 -0700655
Robert Sloana27a6a42017-09-05 08:39:28 -0700656 // The peer didn't request a certificate.
David Benjamin1b249672016-12-06 18:25:50 -0500657 if (!hs->cert_request) {
Robert Sloan4d1ac502017-02-06 08:36:14 -0800658 hs->tls13_state = state_complete_second_flight;
David Benjaminc895d6b2016-08-11 13:26:41 -0400659 return ssl_hs_ok;
660 }
661
Robert Sloana27a6a42017-09-05 08:39:28 -0700662 // Call cert_cb to update the certificate.
Adam Vartanianbfcf3a72018-08-10 14:55:24 +0100663 if (hs->config->cert->cert_cb != NULL) {
664 int rv = hs->config->cert->cert_cb(ssl, hs->config->cert->cert_cb_arg);
David Benjaminc895d6b2016-08-11 13:26:41 -0400665 if (rv == 0) {
Robert Sloan921ef2c2017-10-17 09:02:20 -0700666 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
David Benjaminc895d6b2016-08-11 13:26:41 -0400667 OPENSSL_PUT_ERROR(SSL, SSL_R_CERT_CB_ERROR);
668 return ssl_hs_error;
669 }
670 if (rv < 0) {
Steven Valdeze7531f02016-12-14 13:29:57 -0500671 hs->tls13_state = state_send_client_certificate;
David Benjaminc895d6b2016-08-11 13:26:41 -0400672 return ssl_hs_x509_lookup;
673 }
674 }
675
Robert Sloan572a4e22017-04-17 10:52:19 -0700676 if (!ssl_on_certificate_selected(hs) ||
Robert Sloan4d1ac502017-02-06 08:36:14 -0800677 !tls13_add_certificate(hs)) {
David Benjaminc895d6b2016-08-11 13:26:41 -0400678 return ssl_hs_error;
679 }
680
Steven Valdeze7531f02016-12-14 13:29:57 -0500681 hs->tls13_state = state_send_client_certificate_verify;
Robert Sloan4d1ac502017-02-06 08:36:14 -0800682 return ssl_hs_ok;
David Benjaminc895d6b2016-08-11 13:26:41 -0400683}
684
Robert Sloane56da3e2017-06-26 08:26:42 -0700685static enum ssl_hs_wait_t do_send_client_certificate_verify(SSL_HANDSHAKE *hs) {
Robert Sloana27a6a42017-09-05 08:39:28 -0700686 // Don't send CertificateVerify if there is no certificate.
Robert Sloan4c22c5f2019-03-01 15:53:37 -0800687 if (!ssl_has_certificate(hs)) {
Robert Sloan4d1ac502017-02-06 08:36:14 -0800688 hs->tls13_state = state_complete_second_flight;
David Benjaminc895d6b2016-08-11 13:26:41 -0400689 return ssl_hs_ok;
690 }
691
Robert Sloane56da3e2017-06-26 08:26:42 -0700692 switch (tls13_add_certificate_verify(hs)) {
David Benjaminc895d6b2016-08-11 13:26:41 -0400693 case ssl_private_key_success:
Robert Sloan4d1ac502017-02-06 08:36:14 -0800694 hs->tls13_state = state_complete_second_flight;
695 return ssl_hs_ok;
David Benjaminc895d6b2016-08-11 13:26:41 -0400696
697 case ssl_private_key_retry:
Robert Sloane56da3e2017-06-26 08:26:42 -0700698 hs->tls13_state = state_send_client_certificate_verify;
David Benjaminc895d6b2016-08-11 13:26:41 -0400699 return ssl_hs_private_key_operation;
700
701 case ssl_private_key_failure:
702 return ssl_hs_error;
703 }
704
705 assert(0);
706 return ssl_hs_error;
707}
708
Robert Sloan4d1ac502017-02-06 08:36:14 -0800709static enum ssl_hs_wait_t do_complete_second_flight(SSL_HANDSHAKE *hs) {
David Benjamin1b249672016-12-06 18:25:50 -0500710 SSL *const ssl = hs->ssl;
Robert Sloan4d1ac502017-02-06 08:36:14 -0800711
Robert Sloana27a6a42017-09-05 08:39:28 -0700712 // Send a Channel ID assertion if necessary.
Adam Vartanianbfcf3a72018-08-10 14:55:24 +0100713 if (ssl->s3->channel_id_valid) {
714 if (!ssl_do_channel_id_callback(hs)) {
Robert Sloan4d1ac502017-02-06 08:36:14 -0800715 hs->tls13_state = state_complete_second_flight;
716 return ssl_hs_error;
717 }
718
Adam Vartanianbfcf3a72018-08-10 14:55:24 +0100719 if (hs->config->channel_id_private == NULL) {
Robert Sloan4d1ac502017-02-06 08:36:14 -0800720 return ssl_hs_channel_id_lookup;
721 }
722
Robert Sloanb6d070c2017-07-24 08:40:01 -0700723 ScopedCBB cbb;
724 CBB body;
725 if (!ssl->method->init_message(ssl, cbb.get(), &body, SSL3_MT_CHANNEL_ID) ||
Robert Sloan5d625782017-02-13 09:55:39 -0800726 !tls1_write_channel_id(hs, &body) ||
Robert Sloanb6d070c2017-07-24 08:40:01 -0700727 !ssl_add_message_cbb(ssl, cbb.get())) {
Robert Sloan4d1ac502017-02-06 08:36:14 -0800728 return ssl_hs_error;
729 }
Steven Valdez909b19f2016-11-21 15:35:44 -0500730 }
731
Robert Sloana27a6a42017-09-05 08:39:28 -0700732 // Send a Finished message.
Robert Sloan4d1ac502017-02-06 08:36:14 -0800733 if (!tls13_add_finished(hs)) {
Steven Valdez909b19f2016-11-21 15:35:44 -0500734 return ssl_hs_error;
735 }
736
Robert Sloana27a6a42017-09-05 08:39:28 -0700737 // Derive the final keys and enable them.
Robert Sloancbf5ea62018-11-05 11:56:34 -0800738 if (!tls13_set_traffic_key(ssl, ssl_encryption_application, evp_aead_open,
739 hs->server_traffic_secret_0, hs->hash_len) ||
740 !tls13_set_traffic_key(ssl, ssl_encryption_application, evp_aead_seal,
741 hs->client_traffic_secret_0, hs->hash_len) ||
David Benjamin1b249672016-12-06 18:25:50 -0500742 !tls13_derive_resumption_secret(hs)) {
David Benjaminc895d6b2016-08-11 13:26:41 -0400743 return ssl_hs_error;
744 }
745
Steven Valdeze7531f02016-12-14 13:29:57 -0500746 hs->tls13_state = state_done;
David Benjaminc895d6b2016-08-11 13:26:41 -0400747 return ssl_hs_flush;
748}
749
David Benjamin1b249672016-12-06 18:25:50 -0500750enum ssl_hs_wait_t tls13_client_handshake(SSL_HANDSHAKE *hs) {
Steven Valdeze7531f02016-12-14 13:29:57 -0500751 while (hs->tls13_state != state_done) {
David Benjaminc895d6b2016-08-11 13:26:41 -0400752 enum ssl_hs_wait_t ret = ssl_hs_error;
Robert Sloana12bf462017-07-17 07:08:26 -0700753 enum client_hs_state_t state =
754 static_cast<enum client_hs_state_t>(hs->tls13_state);
David Benjaminc895d6b2016-08-11 13:26:41 -0400755 switch (state) {
Robert Sloan84377092017-08-14 09:33:19 -0700756 case state_read_hello_retry_request:
757 ret = do_read_hello_retry_request(hs);
David Benjaminc895d6b2016-08-11 13:26:41 -0400758 break;
759 case state_send_second_client_hello:
David Benjamin1b249672016-12-06 18:25:50 -0500760 ret = do_send_second_client_hello(hs);
David Benjaminc895d6b2016-08-11 13:26:41 -0400761 break;
Robert Sloan84377092017-08-14 09:33:19 -0700762 case state_read_server_hello:
763 ret = do_read_server_hello(hs);
David Benjaminc895d6b2016-08-11 13:26:41 -0400764 break;
Robert Sloan84377092017-08-14 09:33:19 -0700765 case state_read_encrypted_extensions:
766 ret = do_read_encrypted_extensions(hs);
David Benjaminc895d6b2016-08-11 13:26:41 -0400767 break;
Robert Sloan84377092017-08-14 09:33:19 -0700768 case state_read_certificate_request:
769 ret = do_read_certificate_request(hs);
Robert Sloane56da3e2017-06-26 08:26:42 -0700770 break;
Robert Sloan84377092017-08-14 09:33:19 -0700771 case state_read_server_certificate:
772 ret = do_read_server_certificate(hs);
David Benjaminc895d6b2016-08-11 13:26:41 -0400773 break;
Robert Sloan84377092017-08-14 09:33:19 -0700774 case state_read_server_certificate_verify:
775 ret = do_read_server_certificate_verify(hs);
David Benjaminc895d6b2016-08-11 13:26:41 -0400776 break;
Robert Sloand9e572d2018-08-27 12:27:00 -0700777 case state_server_certificate_reverify:
778 ret = do_server_certificate_reverify(hs);
779 break;
Robert Sloan84377092017-08-14 09:33:19 -0700780 case state_read_server_finished:
781 ret = do_read_server_finished(hs);
David Benjaminc895d6b2016-08-11 13:26:41 -0400782 break;
Robert Sloan6d0d00e2017-03-27 07:13:07 -0700783 case state_send_end_of_early_data:
784 ret = do_send_end_of_early_data(hs);
785 break;
David Benjaminc895d6b2016-08-11 13:26:41 -0400786 case state_send_client_certificate:
David Benjamin1b249672016-12-06 18:25:50 -0500787 ret = do_send_client_certificate(hs);
David Benjaminc895d6b2016-08-11 13:26:41 -0400788 break;
789 case state_send_client_certificate_verify:
Robert Sloane56da3e2017-06-26 08:26:42 -0700790 ret = do_send_client_certificate_verify(hs);
Steven Valdez909b19f2016-11-21 15:35:44 -0500791 break;
Robert Sloan4d1ac502017-02-06 08:36:14 -0800792 case state_complete_second_flight:
793 ret = do_complete_second_flight(hs);
David Benjaminc895d6b2016-08-11 13:26:41 -0400794 break;
795 case state_done:
796 ret = ssl_hs_ok;
797 break;
798 }
799
Robert Sloana27a6a42017-09-05 08:39:28 -0700800 if (hs->tls13_state != state) {
Robert Sloan8f860b12017-08-28 07:37:06 -0700801 ssl_do_info_callback(hs->ssl, SSL_CB_CONNECT_LOOP, 1);
802 }
803
David Benjaminc895d6b2016-08-11 13:26:41 -0400804 if (ret != ssl_hs_ok) {
805 return ret;
806 }
807 }
808
809 return ssl_hs_ok;
810}
811
Robert Sloan8f860b12017-08-28 07:37:06 -0700812const char *tls13_client_handshake_state(SSL_HANDSHAKE *hs) {
813 enum client_hs_state_t state =
814 static_cast<enum client_hs_state_t>(hs->tls13_state);
815 switch (state) {
816 case state_read_hello_retry_request:
817 return "TLS 1.3 client read_hello_retry_request";
818 case state_send_second_client_hello:
819 return "TLS 1.3 client send_second_client_hello";
820 case state_read_server_hello:
821 return "TLS 1.3 client read_server_hello";
Robert Sloan8f860b12017-08-28 07:37:06 -0700822 case state_read_encrypted_extensions:
823 return "TLS 1.3 client read_encrypted_extensions";
824 case state_read_certificate_request:
825 return "TLS 1.3 client read_certificate_request";
826 case state_read_server_certificate:
827 return "TLS 1.3 client read_server_certificate";
828 case state_read_server_certificate_verify:
829 return "TLS 1.3 client read_server_certificate_verify";
Robert Sloand9e572d2018-08-27 12:27:00 -0700830 case state_server_certificate_reverify:
831 return "TLS 1.3 client server_certificate_reverify";
Robert Sloan8f860b12017-08-28 07:37:06 -0700832 case state_read_server_finished:
833 return "TLS 1.3 client read_server_finished";
834 case state_send_end_of_early_data:
835 return "TLS 1.3 client send_end_of_early_data";
836 case state_send_client_certificate:
837 return "TLS 1.3 client send_client_certificate";
838 case state_send_client_certificate_verify:
839 return "TLS 1.3 client send_client_certificate_verify";
840 case state_complete_second_flight:
841 return "TLS 1.3 client complete_second_flight";
842 case state_done:
843 return "TLS 1.3 client done";
844 }
845
846 return "TLS 1.3 client unknown";
847}
848
Robert Sloan726e9d12018-09-11 11:45:04 -0700849bool tls13_process_new_session_ticket(SSL *ssl, const SSLMessage &msg) {
Robert Sloan36272962017-10-23 10:28:39 -0700850 if (ssl->s3->write_shutdown != ssl_shutdown_none) {
851 // Ignore tickets on shutdown. Callers tend to indiscriminately call
852 // |SSL_shutdown| before destroying an |SSL|, at which point calling the new
853 // session callback may be confusing.
Robert Sloan726e9d12018-09-11 11:45:04 -0700854 return true;
Robert Sloan36272962017-10-23 10:28:39 -0700855 }
856
Robert Sloan29c1d2c2017-10-30 14:10:28 -0700857 UniquePtr<SSL_SESSION> session = SSL_SESSION_dup(
858 ssl->s3->established_session.get(), SSL_SESSION_INCLUDE_NONAUTH);
Robert Sloana12bf462017-07-17 07:08:26 -0700859 if (!session) {
Robert Sloan726e9d12018-09-11 11:45:04 -0700860 return false;
David Benjaminc895d6b2016-08-11 13:26:41 -0400861 }
862
Robert Sloana12bf462017-07-17 07:08:26 -0700863 ssl_session_rebase_time(ssl, session.get());
Steven Valdez909b19f2016-11-21 15:35:44 -0500864
Robert Sloan4d1ac502017-02-06 08:36:14 -0800865 uint32_t server_timeout;
Robert Sloanb1b54b82017-11-06 13:50:02 -0800866 CBS body = msg.body, ticket_nonce, ticket, extensions;
Robert Sloan84377092017-08-14 09:33:19 -0700867 if (!CBS_get_u32(&body, &server_timeout) ||
868 !CBS_get_u32(&body, &session->ticket_age_add) ||
Robert Sloan8542c082018-02-05 09:07:34 -0800869 !CBS_get_u8_length_prefixed(&body, &ticket_nonce) ||
Robert Sloan84377092017-08-14 09:33:19 -0700870 !CBS_get_u16_length_prefixed(&body, &ticket) ||
Adam Vartanianbfcf3a72018-08-10 14:55:24 +0100871 !session->ticket.CopyFrom(ticket) ||
Robert Sloan84377092017-08-14 09:33:19 -0700872 !CBS_get_u16_length_prefixed(&body, &extensions) ||
873 CBS_len(&body) != 0) {
Robert Sloan921ef2c2017-10-17 09:02:20 -0700874 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
David Benjaminc895d6b2016-08-11 13:26:41 -0400875 OPENSSL_PUT_ERROR(SSL, SSL_R_DECODE_ERROR);
Robert Sloan726e9d12018-09-11 11:45:04 -0700876 return false;
Robert Sloan69939df2017-01-09 10:53:07 -0800877 }
878
Robert Sloana27a6a42017-09-05 08:39:28 -0700879 // Cap the renewable lifetime by the server advertised value. This avoids
880 // wasting bandwidth on 0-RTT when we know the server will reject it.
Robert Sloan7d422bc2017-03-06 10:04:29 -0800881 if (session->timeout > server_timeout) {
882 session->timeout = server_timeout;
Robert Sloan4d1ac502017-02-06 08:36:14 -0800883 }
884
Robert Sloan4c22c5f2019-03-01 15:53:37 -0800885 if (!tls13_derive_session_psk(session.get(), ticket_nonce)) {
Robert Sloan726e9d12018-09-11 11:45:04 -0700886 return false;
Robert Sloanb1b54b82017-11-06 13:50:02 -0800887 }
888
Robert Sloana27a6a42017-09-05 08:39:28 -0700889 // Parse out the extensions.
890 bool have_early_data_info = false;
Robert Sloan69939df2017-01-09 10:53:07 -0800891 CBS early_data_info;
892 const SSL_EXTENSION_TYPE ext_types[] = {
Robert Sloan8542c082018-02-05 09:07:34 -0800893 {TLSEXT_TYPE_early_data, &have_early_data_info, &early_data_info},
Robert Sloan69939df2017-01-09 10:53:07 -0800894 };
895
Robert Sloan5d625782017-02-13 09:55:39 -0800896 uint8_t alert = SSL_AD_DECODE_ERROR;
Robert Sloan69939df2017-01-09 10:53:07 -0800897 if (!ssl_parse_extensions(&extensions, &alert, ext_types,
898 OPENSSL_ARRAY_SIZE(ext_types),
899 1 /* ignore unknown */)) {
Robert Sloan921ef2c2017-10-17 09:02:20 -0700900 ssl_send_alert(ssl, SSL3_AL_FATAL, alert);
Robert Sloan726e9d12018-09-11 11:45:04 -0700901 return false;
Robert Sloan69939df2017-01-09 10:53:07 -0800902 }
903
Pete Bentley0c61efe2019-08-13 09:32:23 +0100904 if (have_early_data_info) {
Robert Sloan69939df2017-01-09 10:53:07 -0800905 if (!CBS_get_u32(&early_data_info, &session->ticket_max_early_data) ||
906 CBS_len(&early_data_info) != 0) {
Robert Sloan921ef2c2017-10-17 09:02:20 -0700907 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
Robert Sloan69939df2017-01-09 10:53:07 -0800908 OPENSSL_PUT_ERROR(SSL, SSL_R_DECODE_ERROR);
Robert Sloan726e9d12018-09-11 11:45:04 -0700909 return false;
Robert Sloan69939df2017-01-09 10:53:07 -0800910 }
David Benjaminc895d6b2016-08-11 13:26:41 -0400911 }
912
Robert Sloan726e9d12018-09-11 11:45:04 -0700913 // Generate a session ID for this session. Some callers expect all sessions to
914 // have a session ID.
915 SHA256(CBS_data(&ticket), CBS_len(&ticket), session->session_id);
916 session->session_id_length = SHA256_DIGEST_LENGTH;
917
Adam Vartanianbfcf3a72018-08-10 14:55:24 +0100918 session->ticket_age_add_valid = true;
919 session->not_resumable = false;
David Benjaminc895d6b2016-08-11 13:26:41 -0400920
Adam Vartanianbfcf3a72018-08-10 14:55:24 +0100921 if ((ssl->session_ctx->session_cache_mode & SSL_SESS_CACHE_CLIENT) &&
922 ssl->session_ctx->new_session_cb != NULL &&
923 ssl->session_ctx->new_session_cb(ssl, session.get())) {
Robert Sloana27a6a42017-09-05 08:39:28 -0700924 // |new_session_cb|'s return value signals that it took ownership.
Robert Sloana12bf462017-07-17 07:08:26 -0700925 session.release();
David Benjaminc895d6b2016-08-11 13:26:41 -0400926 }
927
Robert Sloan726e9d12018-09-11 11:45:04 -0700928 return true;
David Benjaminc895d6b2016-08-11 13:26:41 -0400929}
David Benjamin7c0d06c2016-08-11 13:26:41 -0400930
Robert Sloan726e9d12018-09-11 11:45:04 -0700931BSSL_NAMESPACE_END