blob: 0b352c2b50de6913a3e5ee24bb41b80a8c40b98d [file] [log] [blame]
Adam Langleyd9e397b2015-01-22 14:27:53 -08001/* Copyright (C) 1995-1998 Eric Young (eay@cryptsoft.com)
2 * All rights reserved.
3 *
4 * This package is an SSL implementation written
5 * by Eric Young (eay@cryptsoft.com).
6 * The implementation was written so as to conform with Netscapes SSL.
Robert Sloana27a6a42017-09-05 08:39:28 -07007 *
Adam Langleyd9e397b2015-01-22 14:27:53 -08008 * This library is free for commercial and non-commercial use as long as
9 * the following conditions are aheared to. The following conditions
10 * apply to all code found in this distribution, be it the RC4, RSA,
11 * lhash, DES, etc., code; not just the SSL code. The SSL documentation
12 * included with this distribution is covered by the same copyright terms
13 * except that the holder is Tim Hudson (tjh@cryptsoft.com).
Robert Sloana27a6a42017-09-05 08:39:28 -070014 *
Adam Langleyd9e397b2015-01-22 14:27:53 -080015 * Copyright remains Eric Young's, and as such any Copyright notices in
16 * the code are not to be removed.
17 * If this package is used in a product, Eric Young should be given attribution
18 * as the author of the parts of the library used.
19 * This can be in the form of a textual message at program startup or
20 * in documentation (online or textual) provided with the package.
Robert Sloana27a6a42017-09-05 08:39:28 -070021 *
Adam Langleyd9e397b2015-01-22 14:27:53 -080022 * Redistribution and use in source and binary forms, with or without
23 * modification, are permitted provided that the following conditions
24 * are met:
25 * 1. Redistributions of source code must retain the copyright
26 * notice, this list of conditions and the following disclaimer.
27 * 2. Redistributions in binary form must reproduce the above copyright
28 * notice, this list of conditions and the following disclaimer in the
29 * documentation and/or other materials provided with the distribution.
30 * 3. All advertising materials mentioning features or use of this software
31 * must display the following acknowledgement:
32 * "This product includes cryptographic software written by
33 * Eric Young (eay@cryptsoft.com)"
34 * The word 'cryptographic' can be left out if the rouines from the library
35 * being used are not cryptographic related :-).
Robert Sloana27a6a42017-09-05 08:39:28 -070036 * 4. If you include any Windows specific code (or a derivative thereof) from
Adam Langleyd9e397b2015-01-22 14:27:53 -080037 * the apps directory (application code) you must include an acknowledgement:
38 * "This product includes software written by Tim Hudson (tjh@cryptsoft.com)"
Robert Sloana27a6a42017-09-05 08:39:28 -070039 *
Adam Langleyd9e397b2015-01-22 14:27:53 -080040 * THIS SOFTWARE IS PROVIDED BY ERIC YOUNG ``AS IS'' AND
41 * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
42 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
43 * ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
44 * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
45 * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
46 * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
47 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
48 * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
49 * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
50 * SUCH DAMAGE.
Robert Sloana27a6a42017-09-05 08:39:28 -070051 *
Adam Langleyd9e397b2015-01-22 14:27:53 -080052 * The licence and distribution terms for any publically available version or
53 * derivative of this code cannot be changed. i.e. this code cannot simply be
54 * copied and put under another distribution licence
55 * [including the GNU Public Licence.]
56 */
57/* ====================================================================
58 * Copyright (c) 1998-2007 The OpenSSL Project. All rights reserved.
59 *
60 * Redistribution and use in source and binary forms, with or without
61 * modification, are permitted provided that the following conditions
62 * are met:
63 *
64 * 1. Redistributions of source code must retain the above copyright
Robert Sloana27a6a42017-09-05 08:39:28 -070065 * notice, this list of conditions and the following disclaimer.
Adam Langleyd9e397b2015-01-22 14:27:53 -080066 *
67 * 2. Redistributions in binary form must reproduce the above copyright
68 * notice, this list of conditions and the following disclaimer in
69 * the documentation and/or other materials provided with the
70 * distribution.
71 *
72 * 3. All advertising materials mentioning features or use of this
73 * software must display the following acknowledgment:
74 * "This product includes software developed by the OpenSSL Project
75 * for use in the OpenSSL Toolkit. (http://www.openssl.org/)"
76 *
77 * 4. The names "OpenSSL Toolkit" and "OpenSSL Project" must not be used to
78 * endorse or promote products derived from this software without
79 * prior written permission. For written permission, please contact
80 * openssl-core@openssl.org.
81 *
82 * 5. Products derived from this software may not be called "OpenSSL"
83 * nor may "OpenSSL" appear in their names without prior written
84 * permission of the OpenSSL Project.
85 *
86 * 6. Redistributions of any form whatsoever must retain the following
87 * acknowledgment:
88 * "This product includes software developed by the OpenSSL Project
89 * for use in the OpenSSL Toolkit (http://www.openssl.org/)"
90 *
91 * THIS SOFTWARE IS PROVIDED BY THE OpenSSL PROJECT ``AS IS'' AND ANY
92 * EXPRESSED OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
93 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
94 * PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE OpenSSL PROJECT OR
95 * ITS CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
96 * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
97 * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
98 * LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
99 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT,
100 * STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
101 * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED
102 * OF THE POSSIBILITY OF SUCH DAMAGE.
103 * ====================================================================
104 *
105 * This product includes cryptographic software written by Eric Young
106 * (eay@cryptsoft.com). This product includes software written by Tim
107 * Hudson (tjh@cryptsoft.com).
108 *
109 */
110/* ====================================================================
111 * Copyright 2002 Sun Microsystems, Inc. ALL RIGHTS RESERVED.
112 *
Robert Sloana27a6a42017-09-05 08:39:28 -0700113 * Portions of the attached software ("Contribution") are developed by
Adam Langleyd9e397b2015-01-22 14:27:53 -0800114 * SUN MICROSYSTEMS, INC., and are contributed to the OpenSSL project.
115 *
116 * The Contribution is licensed pursuant to the OpenSSL open source
117 * license provided above.
118 *
119 * ECC cipher suite support in OpenSSL originally written by
120 * Vipul Gupta and Sumit Gupta of Sun Microsystems Laboratories.
121 *
122 */
123/* ====================================================================
124 * Copyright 2005 Nokia. All rights reserved.
125 *
126 * The portions of the attached software ("Contribution") is developed by
127 * Nokia Corporation and is licensed pursuant to the OpenSSL open source
128 * license.
129 *
130 * The Contribution, originally written by Mika Kousa and Pasi Eronen of
131 * Nokia Corporation, consists of the "PSK" (Pre-Shared Key) ciphersuites
132 * support (see RFC 4279) to OpenSSL.
133 *
134 * No patent licenses or other rights except those expressly stated in
135 * the OpenSSL open source license shall be deemed granted or received
136 * expressly, by implication, estoppel, or otherwise.
137 *
138 * No assurances are provided by Nokia that the Contribution does not
139 * infringe the patent or other intellectual property rights of any third
140 * party or that the license provides you with all the necessary rights
141 * to make use of the Contribution.
142 *
143 * THE SOFTWARE IS PROVIDED "AS IS" WITHOUT WARRANTY OF ANY KIND. IN
144 * ADDITION TO THE DISCLAIMERS INCLUDED IN THE LICENSE, NOKIA
145 * SPECIFICALLY DISCLAIMS ANY LIABILITY FOR CLAIMS BROUGHT BY YOU OR ANY
146 * OTHER ENTITY BASED ON INFRINGEMENT OF INTELLECTUAL PROPERTY RIGHTS OR
147 * OTHERWISE.
148 */
149
Kenny Rootb8494592015-09-25 02:29:14 +0000150#include <openssl/ssl.h>
151
Adam Langleyd9e397b2015-01-22 14:27:53 -0800152#include <assert.h>
Robert Sloana27a6a42017-09-05 08:39:28 -0700153#include <limits.h>
Adam Langleye9ada862015-05-11 17:20:37 -0700154#include <string.h>
Adam Langleyd9e397b2015-01-22 14:27:53 -0800155
Robert Sloanb6d070c2017-07-24 08:40:01 -0700156#include <utility>
157
Steven Valdez909b19f2016-11-21 15:35:44 -0500158#include <openssl/aead.h>
Kenny Rootb8494592015-09-25 02:29:14 +0000159#include <openssl/bn.h>
Adam Langleyd9e397b2015-01-22 14:27:53 -0800160#include <openssl/buf.h>
161#include <openssl/bytestring.h>
Kenny Rootb8494592015-09-25 02:29:14 +0000162#include <openssl/ec_key.h>
163#include <openssl/ecdsa.h>
Adam Langleye9ada862015-05-11 17:20:37 -0700164#include <openssl/err.h>
Adam Langleyd9e397b2015-01-22 14:27:53 -0800165#include <openssl/evp.h>
Kenny Roota04d78d2015-09-25 00:26:37 +0000166#include <openssl/md5.h>
Kenny Rootb8494592015-09-25 02:29:14 +0000167#include <openssl/mem.h>
Kenny Rootb8494592015-09-25 02:29:14 +0000168#include <openssl/rand.h>
Adam Langleyd9e397b2015-01-22 14:27:53 -0800169
Robert Sloan69939df2017-01-09 10:53:07 -0800170#include "../crypto/internal.h"
Adam Langleye9ada862015-05-11 17:20:37 -0700171#include "internal.h"
Adam Langleyd9e397b2015-01-22 14:27:53 -0800172
173
Robert Sloanb6d070c2017-07-24 08:40:01 -0700174namespace bssl {
175
Robert Sloana27a6a42017-09-05 08:39:28 -0700176enum ssl_client_hs_state_t {
177 state_start_connect = 0,
178 state_enter_early_data,
179 state_read_hello_verify_request,
180 state_read_server_hello,
181 state_tls13,
182 state_read_server_certificate,
183 state_read_certificate_status,
184 state_verify_server_certificate,
185 state_read_server_key_exchange,
186 state_read_certificate_request,
187 state_read_server_hello_done,
188 state_send_client_certificate,
189 state_send_client_key_exchange,
190 state_send_client_certificate_verify,
191 state_send_client_finished,
192 state_finish_flight,
193 state_read_session_ticket,
194 state_process_change_cipher_spec,
195 state_read_server_finished,
196 state_finish_client_handshake,
197 state_done,
198};
David Benjamin6e899c72016-06-09 18:02:18 -0400199
Robert Sloana27a6a42017-09-05 08:39:28 -0700200// ssl_get_client_disabled sets |*out_mask_a| and |*out_mask_k| to masks of
201// disabled algorithms.
Robert Sloan4d1ac502017-02-06 08:36:14 -0800202static void ssl_get_client_disabled(SSL *ssl, uint32_t *out_mask_a,
203 uint32_t *out_mask_k) {
Robert Sloan4d1ac502017-02-06 08:36:14 -0800204 *out_mask_a = 0;
205 *out_mask_k = 0;
206
Robert Sloana27a6a42017-09-05 08:39:28 -0700207 // PSK requires a client callback.
Robert Sloan4d1ac502017-02-06 08:36:14 -0800208 if (ssl->psk_client_callback == NULL) {
209 *out_mask_a |= SSL_aPSK;
210 *out_mask_k |= SSL_kPSK;
211 }
212}
213
Robert Sloane56da3e2017-06-26 08:26:42 -0700214static int ssl_write_client_cipher_list(SSL_HANDSHAKE *hs, CBB *out) {
215 SSL *const ssl = hs->ssl;
Robert Sloan4d1ac502017-02-06 08:36:14 -0800216 uint32_t mask_a, mask_k;
217 ssl_get_client_disabled(ssl, &mask_a, &mask_k);
Adam Langleyd9e397b2015-01-22 14:27:53 -0800218
Kenny Roote99801b2015-11-06 15:31:15 -0800219 CBB child;
220 if (!CBB_add_u16_length_prefixed(out, &child)) {
221 return 0;
Adam Langleyfdeb4882015-10-30 13:15:30 -0700222 }
223
Robert Sloana27a6a42017-09-05 08:39:28 -0700224 // Add a fake cipher suite. See draft-davidben-tls-grease-01.
Steven Valdezbb1ceac2016-10-07 10:34:51 -0400225 if (ssl->ctx->grease_enabled &&
Robert Sloan309a31e2018-01-29 10:22:47 -0800226 !CBB_add_u16(&child, ssl_get_grease_value(hs, ssl_grease_cipher))) {
Steven Valdezbb1ceac2016-10-07 10:34:51 -0400227 return 0;
228 }
229
Robert Sloana27a6a42017-09-05 08:39:28 -0700230 // Add TLS 1.3 ciphers. Order ChaCha20-Poly1305 relative to AES-GCM based on
231 // hardware support.
Robert Sloane56da3e2017-06-26 08:26:42 -0700232 if (hs->max_version >= TLS1_3_VERSION) {
Steven Valdez909b19f2016-11-21 15:35:44 -0500233 if (!EVP_has_aes_hardware() &&
234 !CBB_add_u16(&child, TLS1_CK_CHACHA20_POLY1305_SHA256 & 0xffff)) {
235 return 0;
Adam Langleyfad63272015-11-12 12:15:39 -0800236 }
Steven Valdez909b19f2016-11-21 15:35:44 -0500237 if (!CBB_add_u16(&child, TLS1_CK_AES_128_GCM_SHA256 & 0xffff) ||
238 !CBB_add_u16(&child, TLS1_CK_AES_256_GCM_SHA384 & 0xffff)) {
239 return 0;
Kenny Roote99801b2015-11-06 15:31:15 -0800240 }
Steven Valdez909b19f2016-11-21 15:35:44 -0500241 if (EVP_has_aes_hardware() &&
242 !CBB_add_u16(&child, TLS1_CK_CHACHA20_POLY1305_SHA256 & 0xffff)) {
Kenny Roote99801b2015-11-06 15:31:15 -0800243 return 0;
244 }
245 }
246
Robert Sloane56da3e2017-06-26 08:26:42 -0700247 if (hs->min_version < TLS1_3_VERSION) {
Steven Valdez909b19f2016-11-21 15:35:44 -0500248 int any_enabled = 0;
Robert Sloanfe7cd212017-08-07 09:03:39 -0700249 for (const SSL_CIPHER *cipher : SSL_get_ciphers(ssl)) {
Robert Sloana27a6a42017-09-05 08:39:28 -0700250 // Skip disabled ciphers
Robert Sloan4d1ac502017-02-06 08:36:14 -0800251 if ((cipher->algorithm_mkey & mask_k) ||
252 (cipher->algorithm_auth & mask_a)) {
Steven Valdez909b19f2016-11-21 15:35:44 -0500253 continue;
254 }
Robert Sloane56da3e2017-06-26 08:26:42 -0700255 if (SSL_CIPHER_get_min_version(cipher) > hs->max_version ||
256 SSL_CIPHER_get_max_version(cipher) < hs->min_version) {
Steven Valdez909b19f2016-11-21 15:35:44 -0500257 continue;
258 }
259 any_enabled = 1;
260 if (!CBB_add_u16(&child, ssl_cipher_get_value(cipher))) {
261 return 0;
262 }
263 }
264
Robert Sloana27a6a42017-09-05 08:39:28 -0700265 // If all ciphers were disabled, return the error to the caller.
Robert Sloane56da3e2017-06-26 08:26:42 -0700266 if (!any_enabled && hs->max_version < TLS1_3_VERSION) {
Steven Valdez909b19f2016-11-21 15:35:44 -0500267 OPENSSL_PUT_ERROR(SSL, SSL_R_NO_CIPHERS_AVAILABLE);
268 return 0;
269 }
Kenny Roote99801b2015-11-06 15:31:15 -0800270 }
271
Robert Sloana27a6a42017-09-05 08:39:28 -0700272 // For SSLv3, the SCSV is added. Otherwise the renegotiation extension is
273 // added.
Robert Sloane56da3e2017-06-26 08:26:42 -0700274 if (hs->max_version == SSL3_VERSION &&
Kenny Roote99801b2015-11-06 15:31:15 -0800275 !ssl->s3->initial_handshake_complete) {
276 if (!CBB_add_u16(&child, SSL3_CK_SCSV & 0xffff)) {
277 return 0;
278 }
Kenny Roote99801b2015-11-06 15:31:15 -0800279 }
280
David Benjamin7c0d06c2016-08-11 13:26:41 -0400281 if (ssl->mode & SSL_MODE_SEND_FALLBACK_SCSV) {
David Benjaminc895d6b2016-08-11 13:26:41 -0400282 if (!CBB_add_u16(&child, SSL3_CK_FALLBACK_SCSV & 0xffff)) {
283 return 0;
284 }
Kenny Roote99801b2015-11-06 15:31:15 -0800285 }
286
287 return CBB_flush(out);
288}
289
David Benjamin1b249672016-12-06 18:25:50 -0500290int ssl_write_client_hello(SSL_HANDSHAKE *hs) {
291 SSL *const ssl = hs->ssl;
Robert Sloanb6d070c2017-07-24 08:40:01 -0700292 ScopedCBB cbb;
Robert Sloana12bf462017-07-17 07:08:26 -0700293 CBB body;
294 if (!ssl->method->init_message(ssl, cbb.get(), &body, SSL3_MT_CLIENT_HELLO)) {
295 return 0;
Steven Valdez909b19f2016-11-21 15:35:44 -0500296 }
297
David Benjaminc895d6b2016-08-11 13:26:41 -0400298 CBB child;
David Benjamin1b249672016-12-06 18:25:50 -0500299 if (!CBB_add_u16(&body, hs->client_version) ||
Steven Valdez909b19f2016-11-21 15:35:44 -0500300 !CBB_add_bytes(&body, ssl->s3->client_random, SSL3_RANDOM_SIZE) ||
Robert Sloana12bf462017-07-17 07:08:26 -0700301 !CBB_add_u8_length_prefixed(&body, &child)) {
302 return 0;
303 }
304
Robert Sloana815d5a2017-12-04 11:49:16 -0800305 // Do not send a session ID on renegotiation.
306 if (!ssl->s3->initial_handshake_complete &&
307 !CBB_add_bytes(&child, hs->session_id, hs->session_id_len)) {
308 return 0;
David Benjaminc895d6b2016-08-11 13:26:41 -0400309 }
310
311 if (SSL_is_dtls(ssl)) {
Steven Valdez909b19f2016-11-21 15:35:44 -0500312 if (!CBB_add_u8_length_prefixed(&body, &child) ||
David Benjaminc895d6b2016-08-11 13:26:41 -0400313 !CBB_add_bytes(&child, ssl->d1->cookie, ssl->d1->cookie_len)) {
Robert Sloana12bf462017-07-17 07:08:26 -0700314 return 0;
David Benjaminc895d6b2016-08-11 13:26:41 -0400315 }
316 }
317
318 size_t header_len =
319 SSL_is_dtls(ssl) ? DTLS1_HM_HEADER_LENGTH : SSL3_HM_HEADER_LENGTH;
Robert Sloane56da3e2017-06-26 08:26:42 -0700320 if (!ssl_write_client_cipher_list(hs, &body) ||
Steven Valdez909b19f2016-11-21 15:35:44 -0500321 !CBB_add_u8(&body, 1 /* one compression method */) ||
322 !CBB_add_u8(&body, 0 /* null compression */) ||
David Benjamin1b249672016-12-06 18:25:50 -0500323 !ssl_add_clienthello_tlsext(hs, &body, header_len + CBB_len(&body))) {
Robert Sloana12bf462017-07-17 07:08:26 -0700324 return 0;
David Benjaminc895d6b2016-08-11 13:26:41 -0400325 }
326
Robert Sloan4562e9d2017-10-02 10:26:51 -0700327 Array<uint8_t> msg;
328 if (!ssl->method->finish_message(ssl, cbb.get(), &msg)) {
Robert Sloana12bf462017-07-17 07:08:26 -0700329 return 0;
Steven Valdez909b19f2016-11-21 15:35:44 -0500330 }
331
Robert Sloana27a6a42017-09-05 08:39:28 -0700332 // Now that the length prefixes have been computed, fill in the placeholder
333 // PSK binder.
David Benjamin1b249672016-12-06 18:25:50 -0500334 if (hs->needs_psk_binder &&
Robert Sloan4562e9d2017-10-02 10:26:51 -0700335 !tls13_write_psk_binder(hs, msg.data(), msg.size())) {
Robert Sloana12bf462017-07-17 07:08:26 -0700336 return 0;
Steven Valdez909b19f2016-11-21 15:35:44 -0500337 }
338
Robert Sloan4562e9d2017-10-02 10:26:51 -0700339 return ssl->method->add_message(ssl, std::move(msg));
David Benjaminc895d6b2016-08-11 13:26:41 -0400340}
341
Robert Sloanab8b8882018-03-26 11:39:51 -0700342static bool parse_supported_versions(SSL_HANDSHAKE *hs, uint16_t *version,
343 const CBS *in) {
344 // If the outer version is not TLS 1.2, or there is no extensions block, use
345 // the outer version.
346 if (*version != TLS1_2_VERSION || CBS_len(in) == 0) {
347 return true;
348 }
349
Robert Sloana12bf462017-07-17 07:08:26 -0700350 SSL *const ssl = hs->ssl;
Robert Sloanab8b8882018-03-26 11:39:51 -0700351 CBS copy = *in, extensions;
352 if (!CBS_get_u16_length_prefixed(&copy, &extensions) ||
353 CBS_len(&copy) != 0) {
Robert Sloana12bf462017-07-17 07:08:26 -0700354 OPENSSL_PUT_ERROR(SSL, SSL_R_DECODE_ERROR);
Robert Sloan921ef2c2017-10-17 09:02:20 -0700355 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
Robert Sloanab8b8882018-03-26 11:39:51 -0700356 return false;
Robert Sloana12bf462017-07-17 07:08:26 -0700357 }
358
Robert Sloana27a6a42017-09-05 08:39:28 -0700359 bool have_supported_versions;
Robert Sloana12bf462017-07-17 07:08:26 -0700360 CBS supported_versions;
361 const SSL_EXTENSION_TYPE ext_types[] = {
362 {TLSEXT_TYPE_supported_versions, &have_supported_versions,
363 &supported_versions},
364 };
365
366 uint8_t alert = SSL_AD_DECODE_ERROR;
367 if (!ssl_parse_extensions(&extensions, &alert, ext_types,
368 OPENSSL_ARRAY_SIZE(ext_types),
369 1 /* ignore unknown */)) {
Robert Sloan921ef2c2017-10-17 09:02:20 -0700370 ssl_send_alert(ssl, SSL3_AL_FATAL, alert);
Robert Sloanab8b8882018-03-26 11:39:51 -0700371 return false;
Robert Sloana12bf462017-07-17 07:08:26 -0700372 }
373
Robert Sloanab8b8882018-03-26 11:39:51 -0700374 // Override the outer version with the extension, if present.
Robert Sloana12bf462017-07-17 07:08:26 -0700375 if (have_supported_versions &&
Robert Sloanab8b8882018-03-26 11:39:51 -0700376 (!CBS_get_u16(&supported_versions, version) ||
Robert Sloana12bf462017-07-17 07:08:26 -0700377 CBS_len(&supported_versions) != 0)) {
Robert Sloan921ef2c2017-10-17 09:02:20 -0700378 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
Robert Sloanab8b8882018-03-26 11:39:51 -0700379 return false;
Robert Sloana12bf462017-07-17 07:08:26 -0700380 }
381
Robert Sloanab8b8882018-03-26 11:39:51 -0700382 return true;
Robert Sloana12bf462017-07-17 07:08:26 -0700383}
384
Robert Sloana27a6a42017-09-05 08:39:28 -0700385static enum ssl_hs_wait_t do_start_connect(SSL_HANDSHAKE *hs) {
386 SSL *const ssl = hs->ssl;
387
388 ssl_do_info_callback(ssl, SSL_CB_HANDSHAKE_START, 1);
Robert Sloand1d118f2017-09-11 09:00:48 -0700389 // |session_reused| must be reset in case this is a renegotiation.
390 ssl->s3->session_reused = false;
Robert Sloana27a6a42017-09-05 08:39:28 -0700391
392 // Freeze the version range.
393 if (!ssl_get_version_range(ssl, &hs->min_version, &hs->max_version)) {
394 return ssl_hs_error;
395 }
396
Robert Sloandb4251a2017-09-18 09:38:15 -0700397 // SSL 3.0 ClientHellos should use SSL 3.0 not TLS 1.0, for the record-layer
398 // version.
399 if (hs->max_version == SSL3_VERSION) {
400 ssl->s3->aead_write_ctx->SetVersionIfNullCipher(SSL3_VERSION);
401 }
402
Robert Sloana27a6a42017-09-05 08:39:28 -0700403 // Always advertise the ClientHello version from the original maximum version,
404 // even on renegotiation. The static RSA key exchange uses this field, and
405 // some servers fail when it changes across handshakes.
406 if (SSL_is_dtls(hs->ssl)) {
407 hs->client_version =
408 hs->max_version >= TLS1_2_VERSION ? DTLS1_2_VERSION : DTLS1_VERSION;
409 } else {
410 hs->client_version =
411 hs->max_version >= TLS1_2_VERSION ? TLS1_2_VERSION : hs->max_version;
412 }
413
414 // If the configured session has expired or was created at a disabled
415 // version, drop it.
416 if (ssl->session != NULL) {
417 if (ssl->session->is_server ||
418 !ssl_supports_version(hs, ssl->session->ssl_version) ||
419 (ssl->session->session_id_length == 0 &&
420 ssl->session->tlsext_ticklen == 0) ||
421 ssl->session->not_resumable ||
422 !ssl_session_is_time_valid(ssl, ssl->session)) {
423 ssl_set_session(ssl, NULL);
424 }
425 }
426
427 if (!RAND_bytes(ssl->s3->client_random, sizeof(ssl->s3->client_random))) {
428 return ssl_hs_error;
429 }
430
431 // Initialize a random session ID for the experimental TLS 1.3 variant
432 // requiring a session id.
Robert Sloana815d5a2017-12-04 11:49:16 -0800433 if (ssl->session != nullptr &&
434 !ssl->s3->initial_handshake_complete &&
435 ssl->session->session_id_length > 0) {
436 hs->session_id_len = ssl->session->session_id_length;
437 OPENSSL_memcpy(hs->session_id, ssl->session->session_id,
438 hs->session_id_len);
Robert Sloan0da43952018-01-03 15:13:14 -0800439 } else if (hs->max_version >= TLS1_3_VERSION) {
Robert Sloana27a6a42017-09-05 08:39:28 -0700440 hs->session_id_len = sizeof(hs->session_id);
441 if (!RAND_bytes(hs->session_id, hs->session_id_len)) {
442 return ssl_hs_error;
443 }
444 }
445
446 if (!ssl_write_client_hello(hs)) {
447 return ssl_hs_error;
448 }
449
450 hs->state = state_enter_early_data;
451 return ssl_hs_flush;
452}
453
454static enum ssl_hs_wait_t do_enter_early_data(SSL_HANDSHAKE *hs) {
455 SSL *const ssl = hs->ssl;
456
457 if (SSL_is_dtls(ssl)) {
458 hs->state = state_read_hello_verify_request;
459 return ssl_hs_ok;
460 }
461
462 if (!hs->early_data_offered) {
463 hs->state = state_read_server_hello;
464 return ssl_hs_ok;
465 }
466
Robert Sloand5c22152017-11-13 09:22:12 -0800467 ssl->s3->aead_write_ctx->SetVersionIfNullCipher(ssl->session->ssl_version);
Robert Sloan8542c082018-02-05 09:07:34 -0800468 if (!ssl->method->add_change_cipher_spec(ssl)) {
Robert Sloand5c22152017-11-13 09:22:12 -0800469 return ssl_hs_error;
470 }
471
Robert Sloanb1b54b82017-11-06 13:50:02 -0800472 if (!tls13_init_early_key_schedule(hs, ssl->session->master_key,
473 ssl->session->master_key_length) ||
Robert Sloana27a6a42017-09-05 08:39:28 -0700474 !tls13_derive_early_secrets(hs) ||
475 !tls13_set_traffic_key(ssl, evp_aead_seal, hs->early_traffic_secret,
476 hs->hash_len)) {
477 return ssl_hs_error;
478 }
479
480 // Stash the early data session, so connection properties may be queried out
481 // of it.
482 hs->in_early_data = true;
483 SSL_SESSION_up_ref(ssl->session);
484 hs->early_session.reset(ssl->session);
485 hs->can_early_write = true;
486
487 hs->state = state_read_server_hello;
488 return ssl_hs_early_return;
489}
490
491static enum ssl_hs_wait_t do_read_hello_verify_request(SSL_HANDSHAKE *hs) {
492 SSL *const ssl = hs->ssl;
493
494 assert(SSL_is_dtls(ssl));
495
496 SSLMessage msg;
497 if (!ssl->method->get_message(ssl, &msg)) {
498 return ssl_hs_read_message;
499 }
500
501 if (msg.type != DTLS1_MT_HELLO_VERIFY_REQUEST) {
502 hs->state = state_read_server_hello;
503 return ssl_hs_ok;
504 }
505
506 CBS hello_verify_request = msg.body, cookie;
507 uint16_t server_version;
508 if (!CBS_get_u16(&hello_verify_request, &server_version) ||
509 !CBS_get_u8_length_prefixed(&hello_verify_request, &cookie) ||
510 CBS_len(&cookie) > sizeof(ssl->d1->cookie) ||
511 CBS_len(&hello_verify_request) != 0) {
512 OPENSSL_PUT_ERROR(SSL, SSL_R_DECODE_ERROR);
Robert Sloan921ef2c2017-10-17 09:02:20 -0700513 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
Robert Sloana27a6a42017-09-05 08:39:28 -0700514 return ssl_hs_error;
515 }
516
517 OPENSSL_memcpy(ssl->d1->cookie, CBS_data(&cookie), CBS_len(&cookie));
518 ssl->d1->cookie_len = CBS_len(&cookie);
519
520 ssl->method->next_message(ssl);
521
522 // DTLS resets the handshake buffer after HelloVerifyRequest.
523 if (!hs->transcript.Init()) {
524 return ssl_hs_error;
525 }
526
527 if (!ssl_write_client_hello(hs)) {
528 return ssl_hs_error;
529 }
530
531 hs->state = state_read_server_hello;
532 return ssl_hs_flush;
533}
534
535static enum ssl_hs_wait_t do_read_server_hello(SSL_HANDSHAKE *hs) {
David Benjamin1b249672016-12-06 18:25:50 -0500536 SSL *const ssl = hs->ssl;
Robert Sloan84377092017-08-14 09:33:19 -0700537 SSLMessage msg;
Robert Sloana27a6a42017-09-05 08:39:28 -0700538 if (!ssl->method->get_message(ssl, &msg)) {
539 return ssl_hs_read_server_hello;
Adam Langleyd9e397b2015-01-22 14:27:53 -0800540 }
541
Robert Sloanab8b8882018-03-26 11:39:51 -0700542 if (!ssl_check_message_type(ssl, msg, SSL3_MT_SERVER_HELLO)) {
543 return ssl_hs_error;
544 }
545
546 CBS server_hello = msg.body, server_random, session_id;
547 uint16_t server_version, cipher_suite;
548 uint8_t compression_method;
549 if (!CBS_get_u16(&server_hello, &server_version) ||
550 !CBS_get_bytes(&server_hello, &server_random, SSL3_RANDOM_SIZE) ||
551 !CBS_get_u8_length_prefixed(&server_hello, &session_id) ||
552 CBS_len(&session_id) > SSL3_SESSION_ID_SIZE ||
553 !CBS_get_u16(&server_hello, &cipher_suite) ||
554 !CBS_get_u8(&server_hello, &compression_method)) {
555 OPENSSL_PUT_ERROR(SSL, SSL_R_DECODE_ERROR);
556 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
557 return ssl_hs_error;
558 }
559
560 // Use the supported_versions extension if applicable.
561 if (!parse_supported_versions(hs, &server_version, &server_hello)) {
Robert Sloana27a6a42017-09-05 08:39:28 -0700562 return ssl_hs_error;
David Benjaminc895d6b2016-08-11 13:26:41 -0400563 }
564
Robert Sloanf6200e72017-07-10 08:09:18 -0700565 if (!ssl_supports_version(hs, server_version)) {
David Benjaminc895d6b2016-08-11 13:26:41 -0400566 OPENSSL_PUT_ERROR(SSL, SSL_R_UNSUPPORTED_PROTOCOL);
Robert Sloan921ef2c2017-10-17 09:02:20 -0700567 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_PROTOCOL_VERSION);
Robert Sloana27a6a42017-09-05 08:39:28 -0700568 return ssl_hs_error;
David Benjaminc895d6b2016-08-11 13:26:41 -0400569 }
570
571 assert(ssl->s3->have_version == ssl->s3->initial_handshake_complete);
572 if (!ssl->s3->have_version) {
Robert Sloanf6200e72017-07-10 08:09:18 -0700573 ssl->version = server_version;
Robert Sloana27a6a42017-09-05 08:39:28 -0700574 // At this point, the connection's version is known and ssl->version is
575 // fixed. Begin enforcing the record-layer version.
576 ssl->s3->have_version = true;
Robert Sloandb4251a2017-09-18 09:38:15 -0700577 ssl->s3->aead_write_ctx->SetVersionIfNullCipher(ssl->version);
Robert Sloanf6200e72017-07-10 08:09:18 -0700578 } else if (server_version != ssl->version) {
David Benjaminc895d6b2016-08-11 13:26:41 -0400579 OPENSSL_PUT_ERROR(SSL, SSL_R_WRONG_SSL_VERSION);
Robert Sloan921ef2c2017-10-17 09:02:20 -0700580 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_PROTOCOL_VERSION);
Robert Sloana27a6a42017-09-05 08:39:28 -0700581 return ssl_hs_error;
David Benjaminc895d6b2016-08-11 13:26:41 -0400582 }
583
Robert Sloan921ef2c2017-10-17 09:02:20 -0700584 if (ssl_protocol_version(ssl) >= TLS1_3_VERSION) {
Robert Sloana27a6a42017-09-05 08:39:28 -0700585 hs->state = state_tls13;
586 return ssl_hs_ok;
David Benjaminc895d6b2016-08-11 13:26:41 -0400587 }
588
Robert Sloan4562e9d2017-10-02 10:26:51 -0700589 // Clear some TLS 1.3 state that no longer needs to be retained.
590 hs->key_share.reset();
591 hs->key_share_bytes.Reset();
592
593 // A TLS 1.2 server would not know to skip the early data we offered. Report
594 // an error code sooner. The caller may use this error code to implement the
595 // fallback described in draft-ietf-tls-tls13-18 appendix C.3.
Robert Sloan6d0d00e2017-03-27 07:13:07 -0700596 if (hs->early_data_offered) {
597 OPENSSL_PUT_ERROR(SSL, SSL_R_WRONG_VERSION_ON_EARLY_DATA);
Robert Sloan921ef2c2017-10-17 09:02:20 -0700598 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_PROTOCOL_VERSION);
Robert Sloana27a6a42017-09-05 08:39:28 -0700599 return ssl_hs_error;
Robert Sloan6d0d00e2017-03-27 07:13:07 -0700600 }
601
Robert Sloana27a6a42017-09-05 08:39:28 -0700602 // Copy over the server random.
Robert Sloan572a4e22017-04-17 10:52:19 -0700603 OPENSSL_memcpy(ssl->s3->server_random, CBS_data(&server_random),
604 SSL3_RANDOM_SIZE);
Adam Langleyd9e397b2015-01-22 14:27:53 -0800605
Robert Sloan0da43952018-01-03 15:13:14 -0800606 // Measure, but do not enforce, the TLS 1.3 anti-downgrade feature, with a
607 // different value.
608 //
609 // For draft TLS 1.3 versions, it is not safe to deploy this feature. However,
610 // some TLS terminators are non-compliant and copy the origin server's value,
611 // so we wish to measure eventual compatibility impact.
612 if (!ssl->s3->initial_handshake_complete &&
613 hs->max_version >= TLS1_3_VERSION &&
614 OPENSSL_memcmp(ssl->s3->server_random + SSL3_RANDOM_SIZE -
615 sizeof(kDraftDowngradeRandom),
616 kDraftDowngradeRandom,
617 sizeof(kDraftDowngradeRandom)) == 0) {
618 ssl->s3->draft_downgrade = true;
619 }
David Benjaminc895d6b2016-08-11 13:26:41 -0400620
Adam Langley4139edb2016-01-13 15:00:54 -0800621 if (!ssl->s3->initial_handshake_complete && ssl->session != NULL &&
David Benjaminf0c4a6c2016-08-11 13:26:41 -0400622 ssl->session->session_id_length != 0 &&
Adam Langley4139edb2016-01-13 15:00:54 -0800623 CBS_mem_equal(&session_id, ssl->session->session_id,
624 ssl->session->session_id_length)) {
Robert Sloana27a6a42017-09-05 08:39:28 -0700625 ssl->s3->session_reused = true;
Adam Langleyd9e397b2015-01-22 14:27:53 -0800626 } else {
Robert Sloan309a31e2018-01-29 10:22:47 -0800627 // The server may also have echoed back the TLS 1.3 compatibility mode
628 // session ID. As we know this is not a session the server knows about, any
629 // server resuming it is in error. Reject the first connection
630 // deterministicly, rather than installing an invalid session into the
631 // session cache. https://crbug.com/796910
632 if (hs->session_id_len != 0 &&
633 CBS_mem_equal(&session_id, hs->session_id, hs->session_id_len)) {
634 OPENSSL_PUT_ERROR(SSL, SSL_R_SERVER_ECHOED_INVALID_SESSION_ID);
635 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_ILLEGAL_PARAMETER);
636 return ssl_hs_error;
637 }
638
Robert Sloana27a6a42017-09-05 08:39:28 -0700639 // The session wasn't resumed. Create a fresh SSL_SESSION to
640 // fill out.
David Benjamin7c0d06c2016-08-11 13:26:41 -0400641 ssl_set_session(ssl, NULL);
David Benjamin1b249672016-12-06 18:25:50 -0500642 if (!ssl_get_new_session(hs, 0 /* client */)) {
Robert Sloan921ef2c2017-10-17 09:02:20 -0700643 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
Robert Sloana27a6a42017-09-05 08:39:28 -0700644 return ssl_hs_error;
Adam Langleyd9e397b2015-01-22 14:27:53 -0800645 }
Robert Sloana27a6a42017-09-05 08:39:28 -0700646 // Note: session_id could be empty.
Robert Sloana94fe052017-02-21 08:49:28 -0800647 hs->new_session->session_id_length = CBS_len(&session_id);
648 OPENSSL_memcpy(hs->new_session->session_id, CBS_data(&session_id),
649 CBS_len(&session_id));
Adam Langleyd9e397b2015-01-22 14:27:53 -0800650 }
651
Robert Sloan84377092017-08-14 09:33:19 -0700652 const SSL_CIPHER *cipher = SSL_get_cipher_by_value(cipher_suite);
653 if (cipher == NULL) {
Robert Sloana27a6a42017-09-05 08:39:28 -0700654 // unknown cipher
Kenny Rootb8494592015-09-25 02:29:14 +0000655 OPENSSL_PUT_ERROR(SSL, SSL_R_UNKNOWN_CIPHER_RETURNED);
Robert Sloan921ef2c2017-10-17 09:02:20 -0700656 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_ILLEGAL_PARAMETER);
Robert Sloana27a6a42017-09-05 08:39:28 -0700657 return ssl_hs_error;
Adam Langleyd9e397b2015-01-22 14:27:53 -0800658 }
Steven Valdez909b19f2016-11-21 15:35:44 -0500659
Robert Sloana27a6a42017-09-05 08:39:28 -0700660 // The cipher must be allowed in the selected version and enabled.
Robert Sloan4d1ac502017-02-06 08:36:14 -0800661 uint32_t mask_a, mask_k;
662 ssl_get_client_disabled(ssl, &mask_a, &mask_k);
Robert Sloan84377092017-08-14 09:33:19 -0700663 if ((cipher->algorithm_mkey & mask_k) || (cipher->algorithm_auth & mask_a) ||
Robert Sloan921ef2c2017-10-17 09:02:20 -0700664 SSL_CIPHER_get_min_version(cipher) > ssl_protocol_version(ssl) ||
665 SSL_CIPHER_get_max_version(cipher) < ssl_protocol_version(ssl) ||
Robert Sloan84377092017-08-14 09:33:19 -0700666 !sk_SSL_CIPHER_find(SSL_get_ciphers(ssl), NULL, cipher)) {
Kenny Rootb8494592015-09-25 02:29:14 +0000667 OPENSSL_PUT_ERROR(SSL, SSL_R_WRONG_CIPHER_RETURNED);
Robert Sloan921ef2c2017-10-17 09:02:20 -0700668 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_ILLEGAL_PARAMETER);
Robert Sloana27a6a42017-09-05 08:39:28 -0700669 return ssl_hs_error;
Adam Langleyd9e397b2015-01-22 14:27:53 -0800670 }
671
David Benjaminc895d6b2016-08-11 13:26:41 -0400672 if (ssl->session != NULL) {
Adam Langley4139edb2016-01-13 15:00:54 -0800673 if (ssl->session->ssl_version != ssl->version) {
Kenny Rootb8494592015-09-25 02:29:14 +0000674 OPENSSL_PUT_ERROR(SSL, SSL_R_OLD_SESSION_VERSION_NOT_RETURNED);
Robert Sloan921ef2c2017-10-17 09:02:20 -0700675 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_ILLEGAL_PARAMETER);
Robert Sloana27a6a42017-09-05 08:39:28 -0700676 return ssl_hs_error;
Adam Langleye9ada862015-05-11 17:20:37 -0700677 }
Robert Sloan84377092017-08-14 09:33:19 -0700678 if (ssl->session->cipher != cipher) {
Steven Valdezbb1ceac2016-10-07 10:34:51 -0400679 OPENSSL_PUT_ERROR(SSL, SSL_R_OLD_SESSION_CIPHER_NOT_RETURNED);
Robert Sloan921ef2c2017-10-17 09:02:20 -0700680 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_ILLEGAL_PARAMETER);
Robert Sloana27a6a42017-09-05 08:39:28 -0700681 return ssl_hs_error;
Steven Valdezbb1ceac2016-10-07 10:34:51 -0400682 }
David Benjaminf0c4a6c2016-08-11 13:26:41 -0400683 if (!ssl_session_is_context_valid(ssl, ssl->session)) {
Robert Sloana27a6a42017-09-05 08:39:28 -0700684 // This is actually a client application bug.
David Benjaminf0c4a6c2016-08-11 13:26:41 -0400685 OPENSSL_PUT_ERROR(SSL,
686 SSL_R_ATTEMPT_TO_REUSE_SESSION_IN_DIFFERENT_CONTEXT);
Robert Sloan921ef2c2017-10-17 09:02:20 -0700687 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_ILLEGAL_PARAMETER);
Robert Sloana27a6a42017-09-05 08:39:28 -0700688 return ssl_hs_error;
David Benjaminf0c4a6c2016-08-11 13:26:41 -0400689 }
David Benjamin4969cc92016-04-22 15:02:23 -0400690 } else {
Robert Sloan84377092017-08-14 09:33:19 -0700691 hs->new_session->cipher = cipher;
Adam Langleyd9e397b2015-01-22 14:27:53 -0800692 }
Robert Sloan84377092017-08-14 09:33:19 -0700693 hs->new_cipher = cipher;
Adam Langleyd9e397b2015-01-22 14:27:53 -0800694
Robert Sloana27a6a42017-09-05 08:39:28 -0700695 // Now that the cipher is known, initialize the handshake hash and hash the
696 // ServerHello.
Robert Sloan921ef2c2017-10-17 09:02:20 -0700697 if (!hs->transcript.InitHash(ssl_protocol_version(ssl), hs->new_cipher) ||
Robert Sloan84377092017-08-14 09:33:19 -0700698 !ssl_hash_message(hs, msg)) {
Robert Sloan921ef2c2017-10-17 09:02:20 -0700699 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
Robert Sloana27a6a42017-09-05 08:39:28 -0700700 return ssl_hs_error;
Kenny Rootb8494592015-09-25 02:29:14 +0000701 }
702
Robert Sloana27a6a42017-09-05 08:39:28 -0700703 // If doing a full handshake, the server may request a client certificate
704 // which requires hashing the handshake transcript. Otherwise, the handshake
705 // buffer may be released.
David Benjaminc895d6b2016-08-11 13:26:41 -0400706 if (ssl->session != NULL ||
Robert Sloana94fe052017-02-21 08:49:28 -0800707 !ssl_cipher_uses_certificate_auth(hs->new_cipher)) {
Robert Sloanb6d070c2017-07-24 08:40:01 -0700708 hs->transcript.FreeBuffer();
Adam Langleyd9e397b2015-01-22 14:27:53 -0800709 }
710
Robert Sloana27a6a42017-09-05 08:39:28 -0700711 // Only the NULL compression algorithm is supported.
Adam Langleyd9e397b2015-01-22 14:27:53 -0800712 if (compression_method != 0) {
Kenny Rootb8494592015-09-25 02:29:14 +0000713 OPENSSL_PUT_ERROR(SSL, SSL_R_UNSUPPORTED_COMPRESSION_ALGORITHM);
Robert Sloan921ef2c2017-10-17 09:02:20 -0700714 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_ILLEGAL_PARAMETER);
Robert Sloana27a6a42017-09-05 08:39:28 -0700715 return ssl_hs_error;
Adam Langleyd9e397b2015-01-22 14:27:53 -0800716 }
717
Robert Sloana27a6a42017-09-05 08:39:28 -0700718 // TLS extensions
David Benjamin1b249672016-12-06 18:25:50 -0500719 if (!ssl_parse_serverhello_tlsext(hs, &server_hello)) {
Kenny Rootb8494592015-09-25 02:29:14 +0000720 OPENSSL_PUT_ERROR(SSL, SSL_R_PARSE_TLSEXT);
Robert Sloana27a6a42017-09-05 08:39:28 -0700721 return ssl_hs_error;
Adam Langleyd9e397b2015-01-22 14:27:53 -0800722 }
723
Robert Sloana27a6a42017-09-05 08:39:28 -0700724 // There should be nothing left over in the record.
Adam Langleyd9e397b2015-01-22 14:27:53 -0800725 if (CBS_len(&server_hello) != 0) {
Robert Sloana27a6a42017-09-05 08:39:28 -0700726 // wrong packet length
David Benjamin7c0d06c2016-08-11 13:26:41 -0400727 OPENSSL_PUT_ERROR(SSL, SSL_R_DECODE_ERROR);
Robert Sloan921ef2c2017-10-17 09:02:20 -0700728 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
Robert Sloana27a6a42017-09-05 08:39:28 -0700729 return ssl_hs_error;
Adam Langleyd9e397b2015-01-22 14:27:53 -0800730 }
731
David Benjaminc895d6b2016-08-11 13:26:41 -0400732 if (ssl->session != NULL &&
Robert Sloana94fe052017-02-21 08:49:28 -0800733 hs->extended_master_secret != ssl->session->extended_master_secret) {
Adam Langley4139edb2016-01-13 15:00:54 -0800734 if (ssl->session->extended_master_secret) {
Kenny Rootb8494592015-09-25 02:29:14 +0000735 OPENSSL_PUT_ERROR(SSL, SSL_R_RESUMED_EMS_SESSION_WITHOUT_EMS_EXTENSION);
Adam Langleyf4e42722015-06-04 17:45:09 -0700736 } else {
Kenny Rootb8494592015-09-25 02:29:14 +0000737 OPENSSL_PUT_ERROR(SSL, SSL_R_RESUMED_NON_EMS_SESSION_WITH_EMS_EXTENSION);
Adam Langleyf4e42722015-06-04 17:45:09 -0700738 }
Robert Sloan921ef2c2017-10-17 09:02:20 -0700739 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_HANDSHAKE_FAILURE);
Robert Sloana27a6a42017-09-05 08:39:28 -0700740 return ssl_hs_error;
Adam Langleyf4e42722015-06-04 17:45:09 -0700741 }
742
Robert Sloan978112c2018-01-22 12:53:01 -0800743 if (ssl->token_binding_negotiated &&
744 (!hs->extended_master_secret || !ssl->s3->send_connection_binding)) {
745 OPENSSL_PUT_ERROR(SSL, SSL_R_NEGOTIATED_TB_WITHOUT_EMS_OR_RI);
746 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_UNSUPPORTED_EXTENSION);
747 return ssl_hs_error;
748 }
749
Robert Sloan84377092017-08-14 09:33:19 -0700750 ssl->method->next_message(ssl);
Robert Sloana27a6a42017-09-05 08:39:28 -0700751
752 if (ssl->session != NULL) {
753 hs->state = state_read_session_ticket;
754 return ssl_hs_ok;
755 }
756
757 hs->state = state_read_server_certificate;
758 return ssl_hs_ok;
Adam Langleyd9e397b2015-01-22 14:27:53 -0800759}
760
Robert Sloana27a6a42017-09-05 08:39:28 -0700761static enum ssl_hs_wait_t do_tls13(SSL_HANDSHAKE *hs) {
762 enum ssl_hs_wait_t wait = tls13_client_handshake(hs);
763 if (wait == ssl_hs_ok) {
764 hs->state = state_finish_client_handshake;
765 return ssl_hs_ok;
766 }
767
768 return wait;
769}
770
771static enum ssl_hs_wait_t do_read_server_certificate(SSL_HANDSHAKE *hs) {
David Benjamin1b249672016-12-06 18:25:50 -0500772 SSL *const ssl = hs->ssl;
Robert Sloana27a6a42017-09-05 08:39:28 -0700773
774 if (!ssl_cipher_uses_certificate_auth(hs->new_cipher)) {
775 hs->state = state_read_certificate_status;
776 return ssl_hs_ok;
777 }
778
Robert Sloan84377092017-08-14 09:33:19 -0700779 SSLMessage msg;
Robert Sloana27a6a42017-09-05 08:39:28 -0700780 if (!ssl->method->get_message(ssl, &msg)) {
781 return ssl_hs_read_message;
Adam Langleyd9e397b2015-01-22 14:27:53 -0800782 }
783
Robert Sloan84377092017-08-14 09:33:19 -0700784 if (!ssl_check_message_type(ssl, msg, SSL3_MT_CERTIFICATE) ||
785 !ssl_hash_message(hs, msg)) {
Robert Sloana27a6a42017-09-05 08:39:28 -0700786 return ssl_hs_error;
Robert Sloan4d1ac502017-02-06 08:36:14 -0800787 }
788
Robert Sloan84377092017-08-14 09:33:19 -0700789 CBS body = msg.body;
Robert Sloan5d625782017-02-13 09:55:39 -0800790 uint8_t alert = SSL_AD_DECODE_ERROR;
Robert Sloanfe7cd212017-08-07 09:03:39 -0700791 UniquePtr<STACK_OF(CRYPTO_BUFFER)> chain;
Robert Sloan84377092017-08-14 09:33:19 -0700792 if (!ssl_parse_cert_chain(&alert, &chain, &hs->peer_pubkey, NULL, &body,
Robert Sloanfe7cd212017-08-07 09:03:39 -0700793 ssl->ctx->pool)) {
Robert Sloan921ef2c2017-10-17 09:02:20 -0700794 ssl_send_alert(ssl, SSL3_AL_FATAL, alert);
Robert Sloana27a6a42017-09-05 08:39:28 -0700795 return ssl_hs_error;
Adam Langleyd9e397b2015-01-22 14:27:53 -0800796 }
Robert Sloanfe7cd212017-08-07 09:03:39 -0700797 sk_CRYPTO_BUFFER_pop_free(hs->new_session->certs, CRYPTO_BUFFER_free);
798 hs->new_session->certs = chain.release();
Adam Langleyd9e397b2015-01-22 14:27:53 -0800799
Robert Sloana94fe052017-02-21 08:49:28 -0800800 if (sk_CRYPTO_BUFFER_num(hs->new_session->certs) == 0 ||
Robert Sloan84377092017-08-14 09:33:19 -0700801 CBS_len(&body) != 0 ||
Robert Sloanb6d070c2017-07-24 08:40:01 -0700802 !ssl->ctx->x509_method->session_cache_objects(hs->new_session.get())) {
Kenny Rootb8494592015-09-25 02:29:14 +0000803 OPENSSL_PUT_ERROR(SSL, SSL_R_DECODE_ERROR);
Robert Sloan921ef2c2017-10-17 09:02:20 -0700804 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
Robert Sloana27a6a42017-09-05 08:39:28 -0700805 return ssl_hs_error;
Adam Langleyd9e397b2015-01-22 14:27:53 -0800806 }
807
Steven Valdeze7531f02016-12-14 13:29:57 -0500808 if (!ssl_check_leaf_certificate(
Robert Sloanb6d070c2017-07-24 08:40:01 -0700809 hs, hs->peer_pubkey.get(),
Robert Sloana94fe052017-02-21 08:49:28 -0800810 sk_CRYPTO_BUFFER_value(hs->new_session->certs, 0))) {
Robert Sloan921ef2c2017-10-17 09:02:20 -0700811 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_ILLEGAL_PARAMETER);
Robert Sloana27a6a42017-09-05 08:39:28 -0700812 return ssl_hs_error;
Kenny Roota04d78d2015-09-25 00:26:37 +0000813 }
Kenny Rootb8494592015-09-25 02:29:14 +0000814
Robert Sloan84377092017-08-14 09:33:19 -0700815 ssl->method->next_message(ssl);
Robert Sloana27a6a42017-09-05 08:39:28 -0700816
817 hs->state = state_read_certificate_status;
818 return ssl_hs_ok;
Adam Langleyd9e397b2015-01-22 14:27:53 -0800819}
820
Robert Sloana27a6a42017-09-05 08:39:28 -0700821static enum ssl_hs_wait_t do_read_certificate_status(SSL_HANDSHAKE *hs) {
David Benjamin1b249672016-12-06 18:25:50 -0500822 SSL *const ssl = hs->ssl;
Robert Sloana27a6a42017-09-05 08:39:28 -0700823
824 if (!hs->certificate_status_expected) {
825 hs->state = state_verify_server_certificate;
826 return ssl_hs_ok;
827 }
828
Robert Sloan84377092017-08-14 09:33:19 -0700829 SSLMessage msg;
Robert Sloana27a6a42017-09-05 08:39:28 -0700830 if (!ssl->method->get_message(ssl, &msg)) {
831 return ssl_hs_read_message;
David Benjamin6e899c72016-06-09 18:02:18 -0400832 }
833
Robert Sloan84377092017-08-14 09:33:19 -0700834 if (msg.type != SSL3_MT_CERTIFICATE_STATUS) {
Robert Sloana27a6a42017-09-05 08:39:28 -0700835 // A server may send status_request in ServerHello and then change its mind
836 // about sending CertificateStatus.
837 hs->state = state_verify_server_certificate;
838 return ssl_hs_ok;
David Benjamin6e899c72016-06-09 18:02:18 -0400839 }
840
Robert Sloan84377092017-08-14 09:33:19 -0700841 if (!ssl_hash_message(hs, msg)) {
Robert Sloana27a6a42017-09-05 08:39:28 -0700842 return ssl_hs_error;
Robert Sloan4d1ac502017-02-06 08:36:14 -0800843 }
844
Robert Sloan84377092017-08-14 09:33:19 -0700845 CBS certificate_status = msg.body, ocsp_response;
Robert Sloane56da3e2017-06-26 08:26:42 -0700846 uint8_t status_type;
David Benjamin6e899c72016-06-09 18:02:18 -0400847 if (!CBS_get_u8(&certificate_status, &status_type) ||
848 status_type != TLSEXT_STATUSTYPE_ocsp ||
849 !CBS_get_u24_length_prefixed(&certificate_status, &ocsp_response) ||
850 CBS_len(&ocsp_response) == 0 ||
851 CBS_len(&certificate_status) != 0) {
David Benjamin6e899c72016-06-09 18:02:18 -0400852 OPENSSL_PUT_ERROR(SSL, SSL_R_DECODE_ERROR);
Robert Sloan921ef2c2017-10-17 09:02:20 -0700853 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
Robert Sloana27a6a42017-09-05 08:39:28 -0700854 return ssl_hs_error;
David Benjamin6e899c72016-06-09 18:02:18 -0400855 }
856
Robert Sloan8f860b12017-08-28 07:37:06 -0700857 CRYPTO_BUFFER_free(hs->new_session->ocsp_response);
858 hs->new_session->ocsp_response =
859 CRYPTO_BUFFER_new_from_CBS(&ocsp_response, ssl->ctx->pool);
860 if (hs->new_session->ocsp_response == nullptr) {
Robert Sloan921ef2c2017-10-17 09:02:20 -0700861 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
Robert Sloana27a6a42017-09-05 08:39:28 -0700862 return ssl_hs_error;
David Benjamin6e899c72016-06-09 18:02:18 -0400863 }
David Benjamin6e899c72016-06-09 18:02:18 -0400864
Robert Sloan84377092017-08-14 09:33:19 -0700865 ssl->method->next_message(ssl);
Robert Sloana27a6a42017-09-05 08:39:28 -0700866
867 hs->state = state_verify_server_certificate;
868 return ssl_hs_ok;
David Benjamin6e899c72016-06-09 18:02:18 -0400869}
870
Robert Sloana27a6a42017-09-05 08:39:28 -0700871static enum ssl_hs_wait_t do_verify_server_certificate(SSL_HANDSHAKE *hs) {
872 if (!ssl_cipher_uses_certificate_auth(hs->new_cipher)) {
873 hs->state = state_read_server_key_exchange;
874 return ssl_hs_ok;
875 }
876
877 switch (ssl_verify_peer_cert(hs)) {
878 case ssl_verify_ok:
879 break;
880 case ssl_verify_invalid:
881 return ssl_hs_error;
882 case ssl_verify_retry:
883 hs->state = state_verify_server_certificate;
884 return ssl_hs_certificate_verify;
885 }
886
887 hs->state = state_read_server_key_exchange;
888 return ssl_hs_ok;
889}
890
891static enum ssl_hs_wait_t do_read_server_key_exchange(SSL_HANDSHAKE *hs) {
David Benjamin1b249672016-12-06 18:25:50 -0500892 SSL *const ssl = hs->ssl;
Robert Sloan84377092017-08-14 09:33:19 -0700893 SSLMessage msg;
Robert Sloana27a6a42017-09-05 08:39:28 -0700894 if (!ssl->method->get_message(ssl, &msg)) {
895 return ssl_hs_read_message;
Adam Langleyd9e397b2015-01-22 14:27:53 -0800896 }
897
Robert Sloan84377092017-08-14 09:33:19 -0700898 if (msg.type != SSL3_MT_SERVER_KEY_EXCHANGE) {
Robert Sloana27a6a42017-09-05 08:39:28 -0700899 // Some ciphers (pure PSK) have an optional ServerKeyExchange message.
Robert Sloana94fe052017-02-21 08:49:28 -0800900 if (ssl_cipher_requires_server_key_exchange(hs->new_cipher)) {
Kenny Rootb8494592015-09-25 02:29:14 +0000901 OPENSSL_PUT_ERROR(SSL, SSL_R_UNEXPECTED_MESSAGE);
Robert Sloan921ef2c2017-10-17 09:02:20 -0700902 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_UNEXPECTED_MESSAGE);
Robert Sloana27a6a42017-09-05 08:39:28 -0700903 return ssl_hs_error;
Adam Langleyd9e397b2015-01-22 14:27:53 -0800904 }
905
Robert Sloana27a6a42017-09-05 08:39:28 -0700906 hs->state = state_read_certificate_request;
907 return ssl_hs_ok;
Adam Langleyd9e397b2015-01-22 14:27:53 -0800908 }
909
Robert Sloan84377092017-08-14 09:33:19 -0700910 if (!ssl_hash_message(hs, msg)) {
Robert Sloana27a6a42017-09-05 08:39:28 -0700911 return ssl_hs_error;
Robert Sloan4d1ac502017-02-06 08:36:14 -0800912 }
913
Robert Sloana94fe052017-02-21 08:49:28 -0800914 uint32_t alg_k = hs->new_cipher->algorithm_mkey;
915 uint32_t alg_a = hs->new_cipher->algorithm_auth;
Robert Sloan84377092017-08-14 09:33:19 -0700916 CBS server_key_exchange = msg.body;
Adam Langleyd9e397b2015-01-22 14:27:53 -0800917 if (alg_a & SSL_aPSK) {
918 CBS psk_identity_hint;
919
Robert Sloana27a6a42017-09-05 08:39:28 -0700920 // Each of the PSK key exchanges begins with a psk_identity_hint.
Adam Langleyd9e397b2015-01-22 14:27:53 -0800921 if (!CBS_get_u16_length_prefixed(&server_key_exchange,
922 &psk_identity_hint)) {
Kenny Rootb8494592015-09-25 02:29:14 +0000923 OPENSSL_PUT_ERROR(SSL, SSL_R_DECODE_ERROR);
Robert Sloan921ef2c2017-10-17 09:02:20 -0700924 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
Robert Sloana27a6a42017-09-05 08:39:28 -0700925 return ssl_hs_error;
Adam Langleyd9e397b2015-01-22 14:27:53 -0800926 }
927
Robert Sloan921ef2c2017-10-17 09:02:20 -0700928 // Store the PSK identity hint for the ClientKeyExchange. Assume that the
929 // maximum length of a PSK identity hint can be as long as the maximum
930 // length of a PSK identity. Also do not allow NULL characters; identities
931 // are saved as C strings.
Robert Sloana27a6a42017-09-05 08:39:28 -0700932 //
933 // TODO(davidben): Should invalid hints be ignored? It's a hint rather than
934 // a specific identity.
Adam Langleyd9e397b2015-01-22 14:27:53 -0800935 if (CBS_len(&psk_identity_hint) > PSK_MAX_IDENTITY_LEN ||
936 CBS_contains_zero_byte(&psk_identity_hint)) {
Kenny Rootb8494592015-09-25 02:29:14 +0000937 OPENSSL_PUT_ERROR(SSL, SSL_R_DATA_LENGTH_TOO_LONG);
Robert Sloan921ef2c2017-10-17 09:02:20 -0700938 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_HANDSHAKE_FAILURE);
Robert Sloana27a6a42017-09-05 08:39:28 -0700939 return ssl_hs_error;
Adam Langleyd9e397b2015-01-22 14:27:53 -0800940 }
941
Robert Sloana27a6a42017-09-05 08:39:28 -0700942 // Save non-empty identity hints as a C string. Empty identity hints we
943 // treat as missing. Plain PSK makes it possible to send either no hint
944 // (omit ServerKeyExchange) or an empty hint, while ECDHE_PSK can only spell
945 // empty hint. Having different capabilities is odd, so we interpret empty
946 // and missing as identical.
Robert Sloanb6d070c2017-07-24 08:40:01 -0700947 char *raw = nullptr;
David Benjamin7c0d06c2016-08-11 13:26:41 -0400948 if (CBS_len(&psk_identity_hint) != 0 &&
Robert Sloanb6d070c2017-07-24 08:40:01 -0700949 !CBS_strdup(&psk_identity_hint, &raw)) {
Kenny Rootb8494592015-09-25 02:29:14 +0000950 OPENSSL_PUT_ERROR(SSL, ERR_R_MALLOC_FAILURE);
Robert Sloan921ef2c2017-10-17 09:02:20 -0700951 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
Robert Sloana27a6a42017-09-05 08:39:28 -0700952 return ssl_hs_error;
Adam Langleyd9e397b2015-01-22 14:27:53 -0800953 }
Robert Sloanb6d070c2017-07-24 08:40:01 -0700954 hs->peer_psk_identity_hint.reset(raw);
Adam Langleyd9e397b2015-01-22 14:27:53 -0800955 }
956
Robert Sloan572a4e22017-04-17 10:52:19 -0700957 if (alg_k & SSL_kECDHE) {
Robert Sloana27a6a42017-09-05 08:39:28 -0700958 // Parse the server parameters.
David Benjamind316cba2016-06-02 16:17:39 -0400959 uint8_t group_type;
960 uint16_t group_id;
Adam Langley4139edb2016-01-13 15:00:54 -0800961 CBS point;
David Benjamind316cba2016-06-02 16:17:39 -0400962 if (!CBS_get_u8(&server_key_exchange, &group_type) ||
963 group_type != NAMED_CURVE_TYPE ||
964 !CBS_get_u16(&server_key_exchange, &group_id) ||
Adam Langley4139edb2016-01-13 15:00:54 -0800965 !CBS_get_u8_length_prefixed(&server_key_exchange, &point)) {
Kenny Rootb8494592015-09-25 02:29:14 +0000966 OPENSSL_PUT_ERROR(SSL, SSL_R_DECODE_ERROR);
Robert Sloan921ef2c2017-10-17 09:02:20 -0700967 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
Robert Sloana27a6a42017-09-05 08:39:28 -0700968 return ssl_hs_error;
Adam Langleyd9e397b2015-01-22 14:27:53 -0800969 }
Robert Sloana94fe052017-02-21 08:49:28 -0800970 hs->new_session->group_id = group_id;
Adam Langleyd9e397b2015-01-22 14:27:53 -0800971
Robert Sloana27a6a42017-09-05 08:39:28 -0700972 // Ensure the group is consistent with preferences.
David Benjamind316cba2016-06-02 16:17:39 -0400973 if (!tls1_check_group_id(ssl, group_id)) {
Adam Langley4139edb2016-01-13 15:00:54 -0800974 OPENSSL_PUT_ERROR(SSL, SSL_R_WRONG_CURVE);
Robert Sloan921ef2c2017-10-17 09:02:20 -0700975 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_ILLEGAL_PARAMETER);
Robert Sloana27a6a42017-09-05 08:39:28 -0700976 return ssl_hs_error;
Adam Langleyd9e397b2015-01-22 14:27:53 -0800977 }
Adam Langley4139edb2016-01-13 15:00:54 -0800978
Robert Sloana27a6a42017-09-05 08:39:28 -0700979 // Initialize ECDH and save the peer public key for later.
Robert Sloanb6d070c2017-07-24 08:40:01 -0700980 hs->key_share = SSLKeyShare::Create(group_id);
981 if (!hs->key_share ||
Robert Sloan4562e9d2017-10-02 10:26:51 -0700982 !hs->peer_key.CopyFrom(point)) {
Robert Sloana27a6a42017-09-05 08:39:28 -0700983 return ssl_hs_error;
Adam Langley4139edb2016-01-13 15:00:54 -0800984 }
Adam Langleyd9e397b2015-01-22 14:27:53 -0800985 } else if (!(alg_k & SSL_kPSK)) {
Kenny Rootb8494592015-09-25 02:29:14 +0000986 OPENSSL_PUT_ERROR(SSL, SSL_R_UNEXPECTED_MESSAGE);
Robert Sloan921ef2c2017-10-17 09:02:20 -0700987 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_UNEXPECTED_MESSAGE);
Robert Sloana27a6a42017-09-05 08:39:28 -0700988 return ssl_hs_error;
Adam Langleyd9e397b2015-01-22 14:27:53 -0800989 }
990
Robert Sloana27a6a42017-09-05 08:39:28 -0700991 // At this point, |server_key_exchange| contains the signature, if any, while
992 // |msg.body| contains the entire message. From that, derive a CBS containing
993 // just the parameter.
David Benjamin4969cc92016-04-22 15:02:23 -0400994 CBS parameter;
Robert Sloan84377092017-08-14 09:33:19 -0700995 CBS_init(&parameter, CBS_data(&msg.body),
996 CBS_len(&msg.body) - CBS_len(&server_key_exchange));
Adam Langleyd9e397b2015-01-22 14:27:53 -0800997
Robert Sloana27a6a42017-09-05 08:39:28 -0700998 // ServerKeyExchange should be signed by the server's public key.
Robert Sloana94fe052017-02-21 08:49:28 -0800999 if (ssl_cipher_uses_certificate_auth(hs->new_cipher)) {
David Benjaminc895d6b2016-08-11 13:26:41 -04001000 uint16_t signature_algorithm = 0;
Robert Sloan921ef2c2017-10-17 09:02:20 -07001001 if (ssl_protocol_version(ssl) >= TLS1_2_VERSION) {
David Benjaminc895d6b2016-08-11 13:26:41 -04001002 if (!CBS_get_u16(&server_key_exchange, &signature_algorithm)) {
Adam Langleyfad63272015-11-12 12:15:39 -08001003 OPENSSL_PUT_ERROR(SSL, SSL_R_DECODE_ERROR);
Robert Sloan921ef2c2017-10-17 09:02:20 -07001004 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
Robert Sloana27a6a42017-09-05 08:39:28 -07001005 return ssl_hs_error;
Adam Langleyd9e397b2015-01-22 14:27:53 -08001006 }
Robert Sloane56da3e2017-06-26 08:26:42 -07001007 uint8_t alert = SSL_AD_DECODE_ERROR;
1008 if (!tls12_check_peer_sigalg(ssl, &alert, signature_algorithm)) {
Robert Sloan921ef2c2017-10-17 09:02:20 -07001009 ssl_send_alert(ssl, SSL3_AL_FATAL, alert);
Robert Sloana27a6a42017-09-05 08:39:28 -07001010 return ssl_hs_error;
Adam Langleyfad63272015-11-12 12:15:39 -08001011 }
Robert Sloana94fe052017-02-21 08:49:28 -08001012 hs->new_session->peer_signature_algorithm = signature_algorithm;
Robert Sloan2424d842017-05-01 07:46:28 -07001013 } else if (!tls1_get_legacy_signature_algorithm(&signature_algorithm,
Robert Sloanb6d070c2017-07-24 08:40:01 -07001014 hs->peer_pubkey.get())) {
David Benjaminc895d6b2016-08-11 13:26:41 -04001015 OPENSSL_PUT_ERROR(SSL, SSL_R_PEER_ERROR_UNSUPPORTED_CERTIFICATE_TYPE);
Robert Sloan921ef2c2017-10-17 09:02:20 -07001016 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_UNSUPPORTED_CERTIFICATE);
Robert Sloana27a6a42017-09-05 08:39:28 -07001017 return ssl_hs_error;
Adam Langleyd9e397b2015-01-22 14:27:53 -08001018 }
1019
Robert Sloana27a6a42017-09-05 08:39:28 -07001020 // The last field in |server_key_exchange| is the signature.
Kenny Rootb8494592015-09-25 02:29:14 +00001021 CBS signature;
Adam Langleyd9e397b2015-01-22 14:27:53 -08001022 if (!CBS_get_u16_length_prefixed(&server_key_exchange, &signature) ||
1023 CBS_len(&server_key_exchange) != 0) {
Kenny Rootb8494592015-09-25 02:29:14 +00001024 OPENSSL_PUT_ERROR(SSL, SSL_R_DECODE_ERROR);
Robert Sloan921ef2c2017-10-17 09:02:20 -07001025 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
Robert Sloana27a6a42017-09-05 08:39:28 -07001026 return ssl_hs_error;
Adam Langleyd9e397b2015-01-22 14:27:53 -08001027 }
1028
Robert Sloanb6d070c2017-07-24 08:40:01 -07001029 ScopedCBB transcript;
Robert Sloan921ef2c2017-10-17 09:02:20 -07001030 Array<uint8_t> transcript_data;
Robert Sloanb6d070c2017-07-24 08:40:01 -07001031 if (!CBB_init(transcript.get(),
1032 2 * SSL3_RANDOM_SIZE + CBS_len(&parameter)) ||
1033 !CBB_add_bytes(transcript.get(), ssl->s3->client_random,
1034 SSL3_RANDOM_SIZE) ||
1035 !CBB_add_bytes(transcript.get(), ssl->s3->server_random,
1036 SSL3_RANDOM_SIZE) ||
1037 !CBB_add_bytes(transcript.get(), CBS_data(&parameter),
1038 CBS_len(&parameter)) ||
Robert Sloan921ef2c2017-10-17 09:02:20 -07001039 !CBBFinishArray(transcript.get(), &transcript_data)) {
David Benjaminc895d6b2016-08-11 13:26:41 -04001040 OPENSSL_PUT_ERROR(SSL, ERR_R_INTERNAL_ERROR);
Robert Sloan921ef2c2017-10-17 09:02:20 -07001041 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
Robert Sloana27a6a42017-09-05 08:39:28 -07001042 return ssl_hs_error;
David Benjaminc895d6b2016-08-11 13:26:41 -04001043 }
1044
Robert Sloan921ef2c2017-10-17 09:02:20 -07001045 bool sig_ok = ssl_public_key_verify(ssl, signature, signature_algorithm,
1046 hs->peer_pubkey.get(), transcript_data);
David Benjamin4969cc92016-04-22 15:02:23 -04001047#if defined(BORINGSSL_UNSAFE_FUZZER_MODE)
Robert Sloan921ef2c2017-10-17 09:02:20 -07001048 sig_ok = true;
David Benjamin4969cc92016-04-22 15:02:23 -04001049 ERR_clear_error();
1050#endif
1051 if (!sig_ok) {
Robert Sloana27a6a42017-09-05 08:39:28 -07001052 // bad signature
Kenny Rootb8494592015-09-25 02:29:14 +00001053 OPENSSL_PUT_ERROR(SSL, SSL_R_BAD_SIGNATURE);
Robert Sloan921ef2c2017-10-17 09:02:20 -07001054 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECRYPT_ERROR);
Robert Sloana27a6a42017-09-05 08:39:28 -07001055 return ssl_hs_error;
Adam Langleyd9e397b2015-01-22 14:27:53 -08001056 }
1057 } else {
Robert Sloana27a6a42017-09-05 08:39:28 -07001058 // PSK ciphers are the only supported certificate-less ciphers.
Kenny Rootb8494592015-09-25 02:29:14 +00001059 assert(alg_a == SSL_aPSK);
1060
Adam Langleyd9e397b2015-01-22 14:27:53 -08001061 if (CBS_len(&server_key_exchange) > 0) {
Kenny Rootb8494592015-09-25 02:29:14 +00001062 OPENSSL_PUT_ERROR(SSL, SSL_R_EXTRA_DATA_IN_MESSAGE);
Robert Sloan921ef2c2017-10-17 09:02:20 -07001063 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
Robert Sloana27a6a42017-09-05 08:39:28 -07001064 return ssl_hs_error;
Adam Langleyd9e397b2015-01-22 14:27:53 -08001065 }
1066 }
Robert Sloan84377092017-08-14 09:33:19 -07001067
1068 ssl->method->next_message(ssl);
Robert Sloana27a6a42017-09-05 08:39:28 -07001069 hs->state = state_read_certificate_request;
1070 return ssl_hs_ok;
Adam Langleyd9e397b2015-01-22 14:27:53 -08001071}
1072
Robert Sloana27a6a42017-09-05 08:39:28 -07001073static enum ssl_hs_wait_t do_read_certificate_request(SSL_HANDSHAKE *hs) {
David Benjamin1b249672016-12-06 18:25:50 -05001074 SSL *const ssl = hs->ssl;
Robert Sloana27a6a42017-09-05 08:39:28 -07001075
1076 if (!ssl_cipher_uses_certificate_auth(hs->new_cipher)) {
1077 hs->state = state_read_server_hello_done;
1078 return ssl_hs_ok;
1079 }
1080
Robert Sloan84377092017-08-14 09:33:19 -07001081 SSLMessage msg;
Robert Sloana27a6a42017-09-05 08:39:28 -07001082 if (!ssl->method->get_message(ssl, &msg)) {
1083 return ssl_hs_read_message;
Adam Langleyd9e397b2015-01-22 14:27:53 -08001084 }
1085
Robert Sloan84377092017-08-14 09:33:19 -07001086 if (msg.type == SSL3_MT_SERVER_HELLO_DONE) {
Robert Sloana27a6a42017-09-05 08:39:28 -07001087 // If we get here we don't need the handshake buffer as we won't be doing
1088 // client auth.
Robert Sloanb6d070c2017-07-24 08:40:01 -07001089 hs->transcript.FreeBuffer();
Robert Sloana27a6a42017-09-05 08:39:28 -07001090 hs->state = state_read_server_hello_done;
1091 return ssl_hs_ok;
Adam Langleyd9e397b2015-01-22 14:27:53 -08001092 }
1093
Robert Sloan84377092017-08-14 09:33:19 -07001094 if (!ssl_check_message_type(ssl, msg, SSL3_MT_CERTIFICATE_REQUEST) ||
1095 !ssl_hash_message(hs, msg)) {
Robert Sloana27a6a42017-09-05 08:39:28 -07001096 return ssl_hs_error;
Adam Langleyd9e397b2015-01-22 14:27:53 -08001097 }
1098
Robert Sloana27a6a42017-09-05 08:39:28 -07001099 // Get the certificate types.
Robert Sloan84377092017-08-14 09:33:19 -07001100 CBS body = msg.body, certificate_types;
1101 if (!CBS_get_u8_length_prefixed(&body, &certificate_types)) {
Robert Sloan921ef2c2017-10-17 09:02:20 -07001102 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
Kenny Rootb8494592015-09-25 02:29:14 +00001103 OPENSSL_PUT_ERROR(SSL, SSL_R_DECODE_ERROR);
Robert Sloana27a6a42017-09-05 08:39:28 -07001104 return ssl_hs_error;
Adam Langleyd9e397b2015-01-22 14:27:53 -08001105 }
1106
Robert Sloan4562e9d2017-10-02 10:26:51 -07001107 if (!hs->certificate_types.CopyFrom(certificate_types)) {
Robert Sloan921ef2c2017-10-17 09:02:20 -07001108 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
Robert Sloana27a6a42017-09-05 08:39:28 -07001109 return ssl_hs_error;
Adam Langleyd9e397b2015-01-22 14:27:53 -08001110 }
1111
Robert Sloan921ef2c2017-10-17 09:02:20 -07001112 if (ssl_protocol_version(ssl) >= TLS1_2_VERSION) {
Adam Langleyd9e397b2015-01-22 14:27:53 -08001113 CBS supported_signature_algorithms;
Robert Sloan84377092017-08-14 09:33:19 -07001114 if (!CBS_get_u16_length_prefixed(&body, &supported_signature_algorithms) ||
David Benjamin1b249672016-12-06 18:25:50 -05001115 !tls1_parse_peer_sigalgs(hs, &supported_signature_algorithms)) {
Robert Sloan921ef2c2017-10-17 09:02:20 -07001116 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
Kenny Rootb8494592015-09-25 02:29:14 +00001117 OPENSSL_PUT_ERROR(SSL, SSL_R_DECODE_ERROR);
Robert Sloana27a6a42017-09-05 08:39:28 -07001118 return ssl_hs_error;
Adam Langleyd9e397b2015-01-22 14:27:53 -08001119 }
1120 }
1121
Robert Sloan5d625782017-02-13 09:55:39 -08001122 uint8_t alert = SSL_AD_DECODE_ERROR;
Robert Sloanb6d070c2017-07-24 08:40:01 -07001123 UniquePtr<STACK_OF(CRYPTO_BUFFER)> ca_names =
Robert Sloan84377092017-08-14 09:33:19 -07001124 ssl_parse_client_CA_list(ssl, &alert, &body);
Robert Sloanb6d070c2017-07-24 08:40:01 -07001125 if (!ca_names) {
Robert Sloan921ef2c2017-10-17 09:02:20 -07001126 ssl_send_alert(ssl, SSL3_AL_FATAL, alert);
Robert Sloana27a6a42017-09-05 08:39:28 -07001127 return ssl_hs_error;
Adam Langleyd9e397b2015-01-22 14:27:53 -08001128 }
1129
Robert Sloan84377092017-08-14 09:33:19 -07001130 if (CBS_len(&body) != 0) {
Robert Sloan921ef2c2017-10-17 09:02:20 -07001131 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
David Benjamin7c0d06c2016-08-11 13:26:41 -04001132 OPENSSL_PUT_ERROR(SSL, SSL_R_DECODE_ERROR);
Robert Sloana27a6a42017-09-05 08:39:28 -07001133 return ssl_hs_error;
David Benjamin7c0d06c2016-08-11 13:26:41 -04001134 }
1135
Robert Sloana27a6a42017-09-05 08:39:28 -07001136 hs->cert_request = true;
Robert Sloanb6d070c2017-07-24 08:40:01 -07001137 hs->ca_names = std::move(ca_names);
Robert Sloan7d422bc2017-03-06 10:04:29 -08001138 ssl->ctx->x509_method->hs_flush_cached_ca_names(hs);
Robert Sloana27a6a42017-09-05 08:39:28 -07001139
Robert Sloan84377092017-08-14 09:33:19 -07001140 ssl->method->next_message(ssl);
Robert Sloana27a6a42017-09-05 08:39:28 -07001141 hs->state = state_read_server_hello_done;
1142 return ssl_hs_ok;
Adam Langleyd9e397b2015-01-22 14:27:53 -08001143}
1144
Robert Sloana27a6a42017-09-05 08:39:28 -07001145static enum ssl_hs_wait_t do_read_server_hello_done(SSL_HANDSHAKE *hs) {
David Benjamin1b249672016-12-06 18:25:50 -05001146 SSL *const ssl = hs->ssl;
Robert Sloan84377092017-08-14 09:33:19 -07001147 SSLMessage msg;
Robert Sloana27a6a42017-09-05 08:39:28 -07001148 if (!ssl->method->get_message(ssl, &msg)) {
1149 return ssl_hs_read_message;
Adam Langleyd9e397b2015-01-22 14:27:53 -08001150 }
1151
Robert Sloan84377092017-08-14 09:33:19 -07001152 if (!ssl_check_message_type(ssl, msg, SSL3_MT_SERVER_HELLO_DONE) ||
1153 !ssl_hash_message(hs, msg)) {
Robert Sloana27a6a42017-09-05 08:39:28 -07001154 return ssl_hs_error;
Robert Sloan4d1ac502017-02-06 08:36:14 -08001155 }
1156
Robert Sloana27a6a42017-09-05 08:39:28 -07001157 // ServerHelloDone is empty.
Robert Sloan84377092017-08-14 09:33:19 -07001158 if (CBS_len(&msg.body) != 0) {
Robert Sloan921ef2c2017-10-17 09:02:20 -07001159 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
David Benjamin7c0d06c2016-08-11 13:26:41 -04001160 OPENSSL_PUT_ERROR(SSL, SSL_R_DECODE_ERROR);
Robert Sloana27a6a42017-09-05 08:39:28 -07001161 return ssl_hs_error;
Adam Langleyd9e397b2015-01-22 14:27:53 -08001162 }
1163
Robert Sloan84377092017-08-14 09:33:19 -07001164 ssl->method->next_message(ssl);
Robert Sloana27a6a42017-09-05 08:39:28 -07001165 hs->state = state_send_client_certificate;
1166 return ssl_hs_ok;
Adam Langleyd9e397b2015-01-22 14:27:53 -08001167}
1168
Robert Sloana27a6a42017-09-05 08:39:28 -07001169static enum ssl_hs_wait_t do_send_client_certificate(SSL_HANDSHAKE *hs) {
David Benjamin1b249672016-12-06 18:25:50 -05001170 SSL *const ssl = hs->ssl;
Robert Sloana27a6a42017-09-05 08:39:28 -07001171
1172 // The peer didn't request a certificate.
1173 if (!hs->cert_request) {
1174 hs->state = state_send_client_key_exchange;
1175 return ssl_hs_ok;
1176 }
1177
1178 // Call cert_cb to update the certificate.
1179 if (ssl->cert->cert_cb != NULL) {
1180 int rv = ssl->cert->cert_cb(ssl, ssl->cert->cert_cb_arg);
1181 if (rv == 0) {
Robert Sloan921ef2c2017-10-17 09:02:20 -07001182 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
Robert Sloana27a6a42017-09-05 08:39:28 -07001183 OPENSSL_PUT_ERROR(SSL, SSL_R_CERT_CB_ERROR);
1184 return ssl_hs_error;
1185 }
1186 if (rv < 0) {
1187 hs->state = state_send_client_certificate;
1188 return ssl_hs_x509_lookup;
David Benjamin6e899c72016-06-09 18:02:18 -04001189 }
David Benjamin6e899c72016-06-09 18:02:18 -04001190 }
1191
Steven Valdeze7531f02016-12-14 13:29:57 -05001192 if (!ssl_has_certificate(ssl)) {
Robert Sloana27a6a42017-09-05 08:39:28 -07001193 // Without a client certificate, the handshake buffer may be released.
Robert Sloanb6d070c2017-07-24 08:40:01 -07001194 hs->transcript.FreeBuffer();
Steven Valdeze7531f02016-12-14 13:29:57 -05001195
Robert Sloana27a6a42017-09-05 08:39:28 -07001196 // In SSL 3.0, the Certificate message is replaced with a warning alert.
Steven Valdeze7531f02016-12-14 13:29:57 -05001197 if (ssl->version == SSL3_VERSION) {
Robert Sloan4d1ac502017-02-06 08:36:14 -08001198 if (!ssl->method->add_alert(ssl, SSL3_AL_WARNING,
1199 SSL_AD_NO_CERTIFICATE)) {
Robert Sloana27a6a42017-09-05 08:39:28 -07001200 return ssl_hs_error;
Robert Sloan4d1ac502017-02-06 08:36:14 -08001201 }
Robert Sloana27a6a42017-09-05 08:39:28 -07001202 hs->state = state_send_client_key_exchange;
1203 return ssl_hs_ok;
Steven Valdeze7531f02016-12-14 13:29:57 -05001204 }
1205 }
1206
Robert Sloan572a4e22017-04-17 10:52:19 -07001207 if (!ssl_on_certificate_selected(hs) ||
Robert Sloan921ef2c2017-10-17 09:02:20 -07001208 !ssl_output_cert_chain(ssl)) {
Robert Sloana27a6a42017-09-05 08:39:28 -07001209 return ssl_hs_error;
Steven Valdeze7531f02016-12-14 13:29:57 -05001210 }
Robert Sloana27a6a42017-09-05 08:39:28 -07001211
1212
1213 hs->state = state_send_client_key_exchange;
1214 return ssl_hs_ok;
David Benjamin6e899c72016-06-09 18:02:18 -04001215}
1216
Robert Sloana12bf462017-07-17 07:08:26 -07001217static_assert(sizeof(size_t) >= sizeof(unsigned),
1218 "size_t is smaller than unsigned");
Adam Langleyd9e397b2015-01-22 14:27:53 -08001219
Robert Sloana27a6a42017-09-05 08:39:28 -07001220static enum ssl_hs_wait_t do_send_client_key_exchange(SSL_HANDSHAKE *hs) {
David Benjamin1b249672016-12-06 18:25:50 -05001221 SSL *const ssl = hs->ssl;
Robert Sloanb6d070c2017-07-24 08:40:01 -07001222 ScopedCBB cbb;
Robert Sloana12bf462017-07-17 07:08:26 -07001223 CBB body;
1224 if (!ssl->method->init_message(ssl, cbb.get(), &body,
David Benjaminc895d6b2016-08-11 13:26:41 -04001225 SSL3_MT_CLIENT_KEY_EXCHANGE)) {
Robert Sloana27a6a42017-09-05 08:39:28 -07001226 return ssl_hs_error;
Adam Langleyd9e397b2015-01-22 14:27:53 -08001227 }
1228
Robert Sloan4562e9d2017-10-02 10:26:51 -07001229 Array<uint8_t> pms;
Robert Sloana94fe052017-02-21 08:49:28 -08001230 uint32_t alg_k = hs->new_cipher->algorithm_mkey;
1231 uint32_t alg_a = hs->new_cipher->algorithm_auth;
Adam Langley4139edb2016-01-13 15:00:54 -08001232
Robert Sloana27a6a42017-09-05 08:39:28 -07001233 // If using a PSK key exchange, prepare the pre-shared key.
Adam Langley4139edb2016-01-13 15:00:54 -08001234 unsigned psk_len = 0;
1235 uint8_t psk[PSK_MAX_PSK_LEN];
1236 if (alg_a & SSL_aPSK) {
1237 if (ssl->psk_client_callback == NULL) {
1238 OPENSSL_PUT_ERROR(SSL, SSL_R_PSK_NO_CLIENT_CB);
Robert Sloan4562e9d2017-10-02 10:26:51 -07001239 return ssl_hs_error;
Adam Langley4139edb2016-01-13 15:00:54 -08001240 }
1241
1242 char identity[PSK_MAX_IDENTITY_LEN + 1];
Robert Sloan69939df2017-01-09 10:53:07 -08001243 OPENSSL_memset(identity, 0, sizeof(identity));
David Benjamin1b249672016-12-06 18:25:50 -05001244 psk_len =
Robert Sloanb6d070c2017-07-24 08:40:01 -07001245 ssl->psk_client_callback(ssl, hs->peer_psk_identity_hint.get(),
1246 identity, sizeof(identity), psk, sizeof(psk));
Adam Langley4139edb2016-01-13 15:00:54 -08001247 if (psk_len == 0) {
1248 OPENSSL_PUT_ERROR(SSL, SSL_R_PSK_IDENTITY_NOT_FOUND);
Robert Sloan921ef2c2017-10-17 09:02:20 -07001249 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_HANDSHAKE_FAILURE);
Robert Sloan4562e9d2017-10-02 10:26:51 -07001250 return ssl_hs_error;
Adam Langley4139edb2016-01-13 15:00:54 -08001251 }
1252 assert(psk_len <= PSK_MAX_PSK_LEN);
1253
Robert Sloana94fe052017-02-21 08:49:28 -08001254 OPENSSL_free(hs->new_session->psk_identity);
1255 hs->new_session->psk_identity = BUF_strdup(identity);
1256 if (hs->new_session->psk_identity == NULL) {
Adam Langley4139edb2016-01-13 15:00:54 -08001257 OPENSSL_PUT_ERROR(SSL, ERR_R_MALLOC_FAILURE);
Robert Sloan4562e9d2017-10-02 10:26:51 -07001258 return ssl_hs_error;
Adam Langley4139edb2016-01-13 15:00:54 -08001259 }
1260
Robert Sloana27a6a42017-09-05 08:39:28 -07001261 // Write out psk_identity.
Adam Langley4139edb2016-01-13 15:00:54 -08001262 CBB child;
David Benjaminc895d6b2016-08-11 13:26:41 -04001263 if (!CBB_add_u16_length_prefixed(&body, &child) ||
Adam Langley4139edb2016-01-13 15:00:54 -08001264 !CBB_add_bytes(&child, (const uint8_t *)identity,
1265 OPENSSL_strnlen(identity, sizeof(identity))) ||
David Benjaminc895d6b2016-08-11 13:26:41 -04001266 !CBB_flush(&body)) {
Robert Sloan4562e9d2017-10-02 10:26:51 -07001267 return ssl_hs_error;
Adam Langley4139edb2016-01-13 15:00:54 -08001268 }
1269 }
1270
Robert Sloan4562e9d2017-10-02 10:26:51 -07001271 // Depending on the key exchange method, compute |pms|.
Adam Langley4139edb2016-01-13 15:00:54 -08001272 if (alg_k & SSL_kRSA) {
Robert Sloan4562e9d2017-10-02 10:26:51 -07001273 if (!pms.Init(SSL_MAX_MASTER_KEY_LENGTH)) {
1274 return ssl_hs_error;
Adam Langley4139edb2016-01-13 15:00:54 -08001275 }
1276
Robert Sloanb6d070c2017-07-24 08:40:01 -07001277 RSA *rsa = EVP_PKEY_get0_RSA(hs->peer_pubkey.get());
Adam Langley4139edb2016-01-13 15:00:54 -08001278 if (rsa == NULL) {
1279 OPENSSL_PUT_ERROR(SSL, ERR_R_INTERNAL_ERROR);
Robert Sloan4562e9d2017-10-02 10:26:51 -07001280 return ssl_hs_error;
Adam Langley4139edb2016-01-13 15:00:54 -08001281 }
1282
David Benjamin1b249672016-12-06 18:25:50 -05001283 pms[0] = hs->client_version >> 8;
1284 pms[1] = hs->client_version & 0xff;
Adam Langley4139edb2016-01-13 15:00:54 -08001285 if (!RAND_bytes(&pms[2], SSL_MAX_MASTER_KEY_LENGTH - 2)) {
Robert Sloan4562e9d2017-10-02 10:26:51 -07001286 return ssl_hs_error;
Adam Langley4139edb2016-01-13 15:00:54 -08001287 }
1288
David Benjaminc895d6b2016-08-11 13:26:41 -04001289 CBB child, *enc_pms = &body;
Adam Langley4139edb2016-01-13 15:00:54 -08001290 size_t enc_pms_len;
Robert Sloana27a6a42017-09-05 08:39:28 -07001291 // In TLS, there is a length prefix.
Adam Langley4139edb2016-01-13 15:00:54 -08001292 if (ssl->version > SSL3_VERSION) {
David Benjaminc895d6b2016-08-11 13:26:41 -04001293 if (!CBB_add_u16_length_prefixed(&body, &child)) {
Robert Sloan4562e9d2017-10-02 10:26:51 -07001294 return ssl_hs_error;
Adam Langley4139edb2016-01-13 15:00:54 -08001295 }
1296 enc_pms = &child;
1297 }
1298
1299 uint8_t *ptr;
1300 if (!CBB_reserve(enc_pms, &ptr, RSA_size(rsa)) ||
Robert Sloan4562e9d2017-10-02 10:26:51 -07001301 !RSA_encrypt(rsa, &enc_pms_len, ptr, RSA_size(rsa), pms.data(),
1302 pms.size(), RSA_PKCS1_PADDING) ||
Adam Langley4139edb2016-01-13 15:00:54 -08001303 !CBB_did_write(enc_pms, enc_pms_len) ||
David Benjaminc895d6b2016-08-11 13:26:41 -04001304 !CBB_flush(&body)) {
Robert Sloan4562e9d2017-10-02 10:26:51 -07001305 return ssl_hs_error;
Adam Langley4139edb2016-01-13 15:00:54 -08001306 }
Robert Sloan572a4e22017-04-17 10:52:19 -07001307 } else if (alg_k & SSL_kECDHE) {
Robert Sloana27a6a42017-09-05 08:39:28 -07001308 // Generate a keypair and serialize the public half.
Adam Langley4139edb2016-01-13 15:00:54 -08001309 CBB child;
Robert Sloan572a4e22017-04-17 10:52:19 -07001310 if (!CBB_add_u8_length_prefixed(&body, &child)) {
Robert Sloan4562e9d2017-10-02 10:26:51 -07001311 return ssl_hs_error;
Adam Langley4139edb2016-01-13 15:00:54 -08001312 }
1313
Robert Sloana27a6a42017-09-05 08:39:28 -07001314 // Compute the premaster.
Robert Sloan5d625782017-02-13 09:55:39 -08001315 uint8_t alert = SSL_AD_DECODE_ERROR;
Robert Sloan4562e9d2017-10-02 10:26:51 -07001316 if (!hs->key_share->Accept(&child, &pms, &alert, hs->peer_key)) {
Robert Sloan921ef2c2017-10-17 09:02:20 -07001317 ssl_send_alert(ssl, SSL3_AL_FATAL, alert);
Robert Sloan4562e9d2017-10-02 10:26:51 -07001318 return ssl_hs_error;
Adam Langley4139edb2016-01-13 15:00:54 -08001319 }
David Benjaminc895d6b2016-08-11 13:26:41 -04001320 if (!CBB_flush(&body)) {
Robert Sloan4562e9d2017-10-02 10:26:51 -07001321 return ssl_hs_error;
David Benjamind316cba2016-06-02 16:17:39 -04001322 }
Adam Langley4139edb2016-01-13 15:00:54 -08001323
Robert Sloana27a6a42017-09-05 08:39:28 -07001324 // The key exchange state may now be discarded.
Robert Sloanb6d070c2017-07-24 08:40:01 -07001325 hs->key_share.reset();
Robert Sloan4562e9d2017-10-02 10:26:51 -07001326 hs->peer_key.Reset();
Adam Langley4139edb2016-01-13 15:00:54 -08001327 } else if (alg_k & SSL_kPSK) {
Robert Sloana27a6a42017-09-05 08:39:28 -07001328 // For plain PSK, other_secret is a block of 0s with the same length as
1329 // the pre-shared key.
Robert Sloan4562e9d2017-10-02 10:26:51 -07001330 if (!pms.Init(psk_len)) {
1331 return ssl_hs_error;
Adam Langley4139edb2016-01-13 15:00:54 -08001332 }
Robert Sloan4562e9d2017-10-02 10:26:51 -07001333 OPENSSL_memset(pms.data(), 0, pms.size());
Adam Langley4139edb2016-01-13 15:00:54 -08001334 } else {
Robert Sloan921ef2c2017-10-17 09:02:20 -07001335 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_HANDSHAKE_FAILURE);
Adam Langley4139edb2016-01-13 15:00:54 -08001336 OPENSSL_PUT_ERROR(SSL, ERR_R_INTERNAL_ERROR);
Robert Sloan4562e9d2017-10-02 10:26:51 -07001337 return ssl_hs_error;
Adam Langley4139edb2016-01-13 15:00:54 -08001338 }
1339
Robert Sloana27a6a42017-09-05 08:39:28 -07001340 // For a PSK cipher suite, other_secret is combined with the pre-shared
1341 // key.
Adam Langley4139edb2016-01-13 15:00:54 -08001342 if (alg_a & SSL_aPSK) {
Robert Sloanb6d070c2017-07-24 08:40:01 -07001343 ScopedCBB pms_cbb;
1344 CBB child;
Robert Sloan4562e9d2017-10-02 10:26:51 -07001345 if (!CBB_init(pms_cbb.get(), 2 + psk_len + 2 + pms.size()) ||
Robert Sloanb6d070c2017-07-24 08:40:01 -07001346 !CBB_add_u16_length_prefixed(pms_cbb.get(), &child) ||
Robert Sloan4562e9d2017-10-02 10:26:51 -07001347 !CBB_add_bytes(&child, pms.data(), pms.size()) ||
Robert Sloanb6d070c2017-07-24 08:40:01 -07001348 !CBB_add_u16_length_prefixed(pms_cbb.get(), &child) ||
Adam Langley4139edb2016-01-13 15:00:54 -08001349 !CBB_add_bytes(&child, psk, psk_len) ||
Robert Sloan921ef2c2017-10-17 09:02:20 -07001350 !CBBFinishArray(pms_cbb.get(), &pms)) {
Adam Langley4139edb2016-01-13 15:00:54 -08001351 OPENSSL_PUT_ERROR(SSL, ERR_R_MALLOC_FAILURE);
Robert Sloan4562e9d2017-10-02 10:26:51 -07001352 return ssl_hs_error;
Adam Langley4139edb2016-01-13 15:00:54 -08001353 }
Adam Langley4139edb2016-01-13 15:00:54 -08001354 }
1355
Robert Sloana27a6a42017-09-05 08:39:28 -07001356 // The message must be added to the finished hash before calculating the
1357 // master secret.
Robert Sloana12bf462017-07-17 07:08:26 -07001358 if (!ssl_add_message_cbb(ssl, cbb.get())) {
Robert Sloan4562e9d2017-10-02 10:26:51 -07001359 return ssl_hs_error;
Adam Langley4139edb2016-01-13 15:00:54 -08001360 }
Adam Langley4139edb2016-01-13 15:00:54 -08001361
Robert Sloanb1b54b82017-11-06 13:50:02 -08001362 hs->new_session->master_key_length =
1363 tls1_generate_master_secret(hs, hs->new_session->master_key, pms);
Robert Sloana94fe052017-02-21 08:49:28 -08001364 if (hs->new_session->master_key_length == 0) {
Robert Sloan4562e9d2017-10-02 10:26:51 -07001365 return ssl_hs_error;
Adam Langley4139edb2016-01-13 15:00:54 -08001366 }
Robert Sloana94fe052017-02-21 08:49:28 -08001367 hs->new_session->extended_master_secret = hs->extended_master_secret;
Adam Langley4139edb2016-01-13 15:00:54 -08001368
Robert Sloana27a6a42017-09-05 08:39:28 -07001369 hs->state = state_send_client_certificate_verify;
1370 return ssl_hs_ok;
Adam Langleyd9e397b2015-01-22 14:27:53 -08001371}
1372
Robert Sloana27a6a42017-09-05 08:39:28 -07001373static enum ssl_hs_wait_t do_send_client_certificate_verify(SSL_HANDSHAKE *hs) {
David Benjamin1b249672016-12-06 18:25:50 -05001374 SSL *const ssl = hs->ssl;
Adam Langley4139edb2016-01-13 15:00:54 -08001375
Robert Sloana27a6a42017-09-05 08:39:28 -07001376 if (!hs->cert_request || !ssl_has_certificate(ssl)) {
1377 hs->state = state_send_client_finished;
1378 return ssl_hs_ok;
1379 }
1380
1381 assert(ssl_has_private_key(ssl));
Robert Sloanb6d070c2017-07-24 08:40:01 -07001382 ScopedCBB cbb;
Robert Sloana12bf462017-07-17 07:08:26 -07001383 CBB body, child;
1384 if (!ssl->method->init_message(ssl, cbb.get(), &body,
David Benjaminc895d6b2016-08-11 13:26:41 -04001385 SSL3_MT_CERTIFICATE_VERIFY)) {
Robert Sloana27a6a42017-09-05 08:39:28 -07001386 return ssl_hs_error;
David Benjaminc895d6b2016-08-11 13:26:41 -04001387 }
1388
1389 uint16_t signature_algorithm;
David Benjamin1b249672016-12-06 18:25:50 -05001390 if (!tls1_choose_signature_algorithm(hs, &signature_algorithm)) {
Robert Sloana27a6a42017-09-05 08:39:28 -07001391 return ssl_hs_error;
David Benjaminc895d6b2016-08-11 13:26:41 -04001392 }
Robert Sloan921ef2c2017-10-17 09:02:20 -07001393 if (ssl_protocol_version(ssl) >= TLS1_2_VERSION) {
Robert Sloana27a6a42017-09-05 08:39:28 -07001394 // Write out the digest type in TLS 1.2.
David Benjaminc895d6b2016-08-11 13:26:41 -04001395 if (!CBB_add_u16(&body, signature_algorithm)) {
1396 OPENSSL_PUT_ERROR(SSL, ERR_R_INTERNAL_ERROR);
Robert Sloana27a6a42017-09-05 08:39:28 -07001397 return ssl_hs_error;
David Benjaminc895d6b2016-08-11 13:26:41 -04001398 }
1399 }
1400
Robert Sloana27a6a42017-09-05 08:39:28 -07001401 // Set aside space for the signature.
Robert Sloanb6d070c2017-07-24 08:40:01 -07001402 const size_t max_sig_len = EVP_PKEY_size(hs->local_pubkey.get());
David Benjaminc895d6b2016-08-11 13:26:41 -04001403 uint8_t *ptr;
1404 if (!CBB_add_u16_length_prefixed(&body, &child) ||
1405 !CBB_reserve(&child, &ptr, max_sig_len)) {
Robert Sloana27a6a42017-09-05 08:39:28 -07001406 return ssl_hs_error;
David Benjaminc895d6b2016-08-11 13:26:41 -04001407 }
1408
1409 size_t sig_len = max_sig_len;
Robert Sloana27a6a42017-09-05 08:39:28 -07001410 // The SSL3 construction for CertificateVerify does not decompose into a
1411 // single final digest and signature, and must be special-cased.
Robert Sloan921ef2c2017-10-17 09:02:20 -07001412 if (ssl_protocol_version(ssl) == SSL3_VERSION) {
Robert Sloane56da3e2017-06-26 08:26:42 -07001413 if (ssl->cert->key_method != NULL) {
1414 OPENSSL_PUT_ERROR(SSL, SSL_R_UNSUPPORTED_PROTOCOL_FOR_CUSTOM_KEY);
Robert Sloana27a6a42017-09-05 08:39:28 -07001415 return ssl_hs_error;
Adam Langley4139edb2016-01-13 15:00:54 -08001416 }
1417
Robert Sloane56da3e2017-06-26 08:26:42 -07001418 uint8_t digest[EVP_MAX_MD_SIZE];
1419 size_t digest_len;
Robert Sloanb6d070c2017-07-24 08:40:01 -07001420 if (!hs->transcript.GetSSL3CertVerifyHash(
1421 digest, &digest_len, hs->new_session.get(), signature_algorithm)) {
Robert Sloana27a6a42017-09-05 08:39:28 -07001422 return ssl_hs_error;
Robert Sloane56da3e2017-06-26 08:26:42 -07001423 }
Adam Langley4139edb2016-01-13 15:00:54 -08001424
Robert Sloanb6d070c2017-07-24 08:40:01 -07001425 UniquePtr<EVP_PKEY_CTX> pctx(EVP_PKEY_CTX_new(ssl->cert->privatekey, NULL));
1426 if (!pctx ||
1427 !EVP_PKEY_sign_init(pctx.get()) ||
1428 !EVP_PKEY_sign(pctx.get(), ptr, &sig_len, digest, digest_len)) {
Robert Sloana27a6a42017-09-05 08:39:28 -07001429 return ssl_hs_error;
Robert Sloane56da3e2017-06-26 08:26:42 -07001430 }
1431 } else {
Robert Sloan921ef2c2017-10-17 09:02:20 -07001432 switch (ssl_private_key_sign(hs, ptr, &sig_len, max_sig_len,
1433 signature_algorithm,
1434 hs->transcript.buffer())) {
Robert Sloane56da3e2017-06-26 08:26:42 -07001435 case ssl_private_key_success:
1436 break;
1437 case ssl_private_key_failure:
Robert Sloana27a6a42017-09-05 08:39:28 -07001438 return ssl_hs_error;
Robert Sloane56da3e2017-06-26 08:26:42 -07001439 case ssl_private_key_retry:
Robert Sloana27a6a42017-09-05 08:39:28 -07001440 hs->state = state_send_client_certificate_verify;
1441 return ssl_hs_private_key_operation;
Robert Sloane56da3e2017-06-26 08:26:42 -07001442 }
Adam Langley4139edb2016-01-13 15:00:54 -08001443 }
1444
Adam Langley4139edb2016-01-13 15:00:54 -08001445 if (!CBB_did_write(&child, sig_len) ||
Robert Sloana12bf462017-07-17 07:08:26 -07001446 !ssl_add_message_cbb(ssl, cbb.get())) {
Robert Sloana27a6a42017-09-05 08:39:28 -07001447 return ssl_hs_error;
Adam Langley4139edb2016-01-13 15:00:54 -08001448 }
1449
Robert Sloana27a6a42017-09-05 08:39:28 -07001450 // The handshake buffer is no longer necessary.
Robert Sloanb6d070c2017-07-24 08:40:01 -07001451 hs->transcript.FreeBuffer();
Robert Sloana27a6a42017-09-05 08:39:28 -07001452
1453 hs->state = state_send_client_finished;
1454 return ssl_hs_ok;
Adam Langleyd9e397b2015-01-22 14:27:53 -08001455}
1456
Robert Sloana27a6a42017-09-05 08:39:28 -07001457static enum ssl_hs_wait_t do_send_client_finished(SSL_HANDSHAKE *hs) {
David Benjamin1b249672016-12-06 18:25:50 -05001458 SSL *const ssl = hs->ssl;
Robert Sloana27a6a42017-09-05 08:39:28 -07001459 // Resolve Channel ID first, before any non-idempotent operations.
1460 if (ssl->s3->tlsext_channel_id_valid) {
1461 if (!ssl_do_channel_id_callback(ssl)) {
1462 return ssl_hs_error;
1463 }
Kenny Root03bcf612015-11-05 20:20:27 +00001464
Robert Sloana27a6a42017-09-05 08:39:28 -07001465 if (ssl->tlsext_channel_id_private == NULL) {
1466 hs->state = state_send_client_finished;
1467 return ssl_hs_channel_id_lookup;
1468 }
Adam Langleyfdeb4882015-10-30 13:15:30 -07001469 }
Adam Langleyfdeb4882015-10-30 13:15:30 -07001470
Robert Sloana27a6a42017-09-05 08:39:28 -07001471 if (!ssl->method->add_change_cipher_spec(ssl) ||
Robert Sloan2e9e66a2017-09-25 09:08:29 -07001472 !tls1_change_cipher_state(hs, evp_aead_seal)) {
Robert Sloana27a6a42017-09-05 08:39:28 -07001473 return ssl_hs_error;
1474 }
1475
1476 if (hs->next_proto_neg_seen) {
1477 static const uint8_t kZero[32] = {0};
Robert Sloan29c1d2c2017-10-30 14:10:28 -07001478 size_t padding_len =
1479 32 - ((ssl->s3->next_proto_negotiated.size() + 2) % 32);
Robert Sloana27a6a42017-09-05 08:39:28 -07001480
1481 ScopedCBB cbb;
1482 CBB body, child;
1483 if (!ssl->method->init_message(ssl, cbb.get(), &body, SSL3_MT_NEXT_PROTO) ||
1484 !CBB_add_u8_length_prefixed(&body, &child) ||
Robert Sloan29c1d2c2017-10-30 14:10:28 -07001485 !CBB_add_bytes(&child, ssl->s3->next_proto_negotiated.data(),
1486 ssl->s3->next_proto_negotiated.size()) ||
Robert Sloana27a6a42017-09-05 08:39:28 -07001487 !CBB_add_u8_length_prefixed(&body, &child) ||
1488 !CBB_add_bytes(&child, kZero, padding_len) ||
1489 !ssl_add_message_cbb(ssl, cbb.get())) {
1490 OPENSSL_PUT_ERROR(SSL, ERR_R_INTERNAL_ERROR);
1491 return ssl_hs_error;
1492 }
1493 }
1494
1495 if (ssl->s3->tlsext_channel_id_valid) {
1496 ScopedCBB cbb;
1497 CBB body;
1498 if (!ssl->method->init_message(ssl, cbb.get(), &body, SSL3_MT_CHANNEL_ID) ||
1499 !tls1_write_channel_id(hs, &body) ||
1500 !ssl_add_message_cbb(ssl, cbb.get())) {
1501 OPENSSL_PUT_ERROR(SSL, ERR_R_INTERNAL_ERROR);
1502 return ssl_hs_error;
1503 }
1504 }
1505
Robert Sloan921ef2c2017-10-17 09:02:20 -07001506 if (!ssl_send_finished(hs)) {
Robert Sloana27a6a42017-09-05 08:39:28 -07001507 return ssl_hs_error;
1508 }
1509
1510 hs->state = state_finish_flight;
1511 return ssl_hs_flush;
Kenny Roote99801b2015-11-06 15:31:15 -08001512}
1513
Robert Sloan921ef2c2017-10-17 09:02:20 -07001514static bool can_false_start(const SSL_HANDSHAKE *hs) {
1515 SSL *const ssl = hs->ssl;
1516
Robert Sloancd79cde2017-12-11 09:06:12 -08001517 // False Start only for TLS 1.2 with an ECDHE+AEAD cipher.
1518 if (SSL_is_dtls(ssl) ||
1519 SSL_version(ssl) != TLS1_2_VERSION ||
1520 hs->new_cipher->algorithm_mkey != SSL_kECDHE ||
1521 hs->new_cipher->algorithm_mac != SSL_AEAD) {
1522 return false;
1523 }
1524
1525 // Additionally require ALPN or NPN by default.
1526 //
1527 // TODO(davidben): Can this constraint be relaxed globally now that cipher
1528 // suite requirements have been relaxed?
1529 if (!ssl->ctx->false_start_allowed_without_alpn &&
1530 ssl->s3->alpn_selected.empty() &&
1531 ssl->s3->next_proto_negotiated.empty()) {
1532 return false;
1533 }
1534
1535 return true;
Robert Sloan921ef2c2017-10-17 09:02:20 -07001536}
1537
Robert Sloana27a6a42017-09-05 08:39:28 -07001538static enum ssl_hs_wait_t do_finish_flight(SSL_HANDSHAKE *hs) {
David Benjamin1b249672016-12-06 18:25:50 -05001539 SSL *const ssl = hs->ssl;
Robert Sloana27a6a42017-09-05 08:39:28 -07001540 if (ssl->session != NULL) {
1541 hs->state = state_finish_client_handshake;
1542 return ssl_hs_ok;
Kenny Roote99801b2015-11-06 15:31:15 -08001543 }
1544
Robert Sloana27a6a42017-09-05 08:39:28 -07001545 // This is a full handshake. If it involves ChannelID, then record the
1546 // handshake hashes at this point in the session so that any resumption of
1547 // this session with ChannelID can sign those hashes.
1548 if (!tls1_record_handshake_hashes_for_channel_id(hs)) {
1549 return ssl_hs_error;
Kenny Roote99801b2015-11-06 15:31:15 -08001550 }
Kenny Roote99801b2015-11-06 15:31:15 -08001551
Robert Sloana27a6a42017-09-05 08:39:28 -07001552 hs->state = state_read_session_ticket;
1553
1554 if ((SSL_get_mode(ssl) & SSL_MODE_ENABLE_FALSE_START) &&
Robert Sloan921ef2c2017-10-17 09:02:20 -07001555 can_false_start(hs) &&
Robert Sloana27a6a42017-09-05 08:39:28 -07001556 // No False Start on renegotiation (would complicate the state machine).
1557 !ssl->s3->initial_handshake_complete) {
1558 hs->in_false_start = true;
1559 hs->can_early_write = true;
1560 return ssl_hs_early_return;
Kenny Roota04d78d2015-09-25 00:26:37 +00001561 }
Kenny Rootb8494592015-09-25 02:29:14 +00001562
Robert Sloana27a6a42017-09-05 08:39:28 -07001563 return ssl_hs_ok;
Adam Langleyd9e397b2015-01-22 14:27:53 -08001564}
1565
Robert Sloana27a6a42017-09-05 08:39:28 -07001566static enum ssl_hs_wait_t do_read_session_ticket(SSL_HANDSHAKE *hs) {
David Benjamin1b249672016-12-06 18:25:50 -05001567 SSL *const ssl = hs->ssl;
Robert Sloana27a6a42017-09-05 08:39:28 -07001568
1569 if (!hs->ticket_expected) {
1570 hs->state = state_process_change_cipher_spec;
1571 return ssl_hs_read_change_cipher_spec;
1572 }
1573
Robert Sloan84377092017-08-14 09:33:19 -07001574 SSLMessage msg;
Robert Sloana27a6a42017-09-05 08:39:28 -07001575 if (!ssl->method->get_message(ssl, &msg)) {
1576 return ssl_hs_read_message;
Adam Langleyd9e397b2015-01-22 14:27:53 -08001577 }
David Benjamin4969cc92016-04-22 15:02:23 -04001578
Robert Sloan84377092017-08-14 09:33:19 -07001579 if (!ssl_check_message_type(ssl, msg, SSL3_MT_NEW_SESSION_TICKET) ||
1580 !ssl_hash_message(hs, msg)) {
Robert Sloana27a6a42017-09-05 08:39:28 -07001581 return ssl_hs_error;
Robert Sloan4d1ac502017-02-06 08:36:14 -08001582 }
1583
Robert Sloan84377092017-08-14 09:33:19 -07001584 CBS new_session_ticket = msg.body, ticket;
David Benjaminc895d6b2016-08-11 13:26:41 -04001585 uint32_t tlsext_tick_lifetime_hint;
David Benjaminc895d6b2016-08-11 13:26:41 -04001586 if (!CBS_get_u32(&new_session_ticket, &tlsext_tick_lifetime_hint) ||
David Benjamin6e899c72016-06-09 18:02:18 -04001587 !CBS_get_u16_length_prefixed(&new_session_ticket, &ticket) ||
1588 CBS_len(&new_session_ticket) != 0) {
Robert Sloan921ef2c2017-10-17 09:02:20 -07001589 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
David Benjamin6e899c72016-06-09 18:02:18 -04001590 OPENSSL_PUT_ERROR(SSL, SSL_R_DECODE_ERROR);
Robert Sloana27a6a42017-09-05 08:39:28 -07001591 return ssl_hs_error;
David Benjamin4969cc92016-04-22 15:02:23 -04001592 }
1593
David Benjamin6e899c72016-06-09 18:02:18 -04001594 if (CBS_len(&ticket) == 0) {
Robert Sloana27a6a42017-09-05 08:39:28 -07001595 // RFC 5077 allows a server to change its mind and send no ticket after
1596 // negotiating the extension. The value of |ticket_expected| is checked in
1597 // |ssl_update_cache| so is cleared here to avoid an unnecessary update.
1598 hs->ticket_expected = false;
Robert Sloan84377092017-08-14 09:33:19 -07001599 ssl->method->next_message(ssl);
Robert Sloana27a6a42017-09-05 08:39:28 -07001600 hs->state = state_process_change_cipher_spec;
1601 return ssl_hs_read_change_cipher_spec;
David Benjamin6e899c72016-06-09 18:02:18 -04001602 }
1603
Robert Sloanb6d070c2017-07-24 08:40:01 -07001604 SSL_SESSION *session = hs->new_session.get();
1605 UniquePtr<SSL_SESSION> renewed_session;
1606 if (ssl->session != NULL) {
Robert Sloana27a6a42017-09-05 08:39:28 -07001607 // The server is sending a new ticket for an existing session. Sessions are
1608 // immutable once established, so duplicate all but the ticket of the
1609 // existing session.
Robert Sloanb6d070c2017-07-24 08:40:01 -07001610 renewed_session =
1611 SSL_SESSION_dup(ssl->session, SSL_SESSION_INCLUDE_NONAUTH);
1612 if (!renewed_session) {
Robert Sloana27a6a42017-09-05 08:39:28 -07001613 // This should never happen.
David Benjamin6e899c72016-06-09 18:02:18 -04001614 OPENSSL_PUT_ERROR(SSL, ERR_R_INTERNAL_ERROR);
Robert Sloana27a6a42017-09-05 08:39:28 -07001615 return ssl_hs_error;
David Benjamin6e899c72016-06-09 18:02:18 -04001616 }
Robert Sloanb6d070c2017-07-24 08:40:01 -07001617 session = renewed_session.get();
David Benjamin6e899c72016-06-09 18:02:18 -04001618 }
1619
Robert Sloana27a6a42017-09-05 08:39:28 -07001620 // |tlsext_tick_lifetime_hint| is measured from when the ticket was issued.
Robert Sloan4d1ac502017-02-06 08:36:14 -08001621 ssl_session_rebase_time(ssl, session);
Steven Valdez909b19f2016-11-21 15:35:44 -05001622
David Benjaminc895d6b2016-08-11 13:26:41 -04001623 if (!CBS_stow(&ticket, &session->tlsext_tick, &session->tlsext_ticklen)) {
David Benjamin6e899c72016-06-09 18:02:18 -04001624 OPENSSL_PUT_ERROR(SSL, ERR_R_MALLOC_FAILURE);
Robert Sloana27a6a42017-09-05 08:39:28 -07001625 return ssl_hs_error;
David Benjamin6e899c72016-06-09 18:02:18 -04001626 }
David Benjaminc895d6b2016-08-11 13:26:41 -04001627 session->tlsext_tick_lifetime_hint = tlsext_tick_lifetime_hint;
David Benjamin6e899c72016-06-09 18:02:18 -04001628
Robert Sloana27a6a42017-09-05 08:39:28 -07001629 // Generate a session ID for this session based on the session ticket. We use
1630 // the session ID mechanism for detecting ticket resumption. This also fits in
1631 // with assumptions elsewhere in OpenSSL.
David Benjaminc895d6b2016-08-11 13:26:41 -04001632 if (!EVP_Digest(CBS_data(&ticket), CBS_len(&ticket),
1633 session->session_id, &session->session_id_length,
1634 EVP_sha256(), NULL)) {
Robert Sloana27a6a42017-09-05 08:39:28 -07001635 return ssl_hs_error;
David Benjamin6e899c72016-06-09 18:02:18 -04001636 }
1637
Robert Sloanb6d070c2017-07-24 08:40:01 -07001638 if (renewed_session) {
David Benjaminc895d6b2016-08-11 13:26:41 -04001639 session->not_resumable = 0;
1640 SSL_SESSION_free(ssl->session);
Robert Sloanb6d070c2017-07-24 08:40:01 -07001641 ssl->session = renewed_session.release();
David Benjaminc895d6b2016-08-11 13:26:41 -04001642 }
1643
Robert Sloan84377092017-08-14 09:33:19 -07001644 ssl->method->next_message(ssl);
Robert Sloana27a6a42017-09-05 08:39:28 -07001645 hs->state = state_process_change_cipher_spec;
1646 return ssl_hs_read_change_cipher_spec;
Kenny Rootb8494592015-09-25 02:29:14 +00001647}
Robert Sloanb6d070c2017-07-24 08:40:01 -07001648
Robert Sloana27a6a42017-09-05 08:39:28 -07001649static enum ssl_hs_wait_t do_process_change_cipher_spec(SSL_HANDSHAKE *hs) {
Robert Sloan2e9e66a2017-09-25 09:08:29 -07001650 if (!tls1_change_cipher_state(hs, evp_aead_open)) {
Robert Sloana27a6a42017-09-05 08:39:28 -07001651 return ssl_hs_error;
1652 }
1653
1654 hs->state = state_read_server_finished;
1655 return ssl_hs_ok;
1656}
1657
1658static enum ssl_hs_wait_t do_read_server_finished(SSL_HANDSHAKE *hs) {
1659 SSL *const ssl = hs->ssl;
1660 enum ssl_hs_wait_t wait = ssl_get_finished(hs);
1661 if (wait != ssl_hs_ok) {
1662 return wait;
1663 }
1664
1665 if (ssl->session != NULL) {
1666 hs->state = state_send_client_finished;
1667 return ssl_hs_ok;
1668 }
1669
1670 hs->state = state_finish_client_handshake;
1671 return ssl_hs_ok;
1672}
1673
1674static enum ssl_hs_wait_t do_finish_client_handshake(SSL_HANDSHAKE *hs) {
1675 SSL *const ssl = hs->ssl;
1676
1677 ssl->method->on_handshake_complete(ssl);
1678
Robert Sloana27a6a42017-09-05 08:39:28 -07001679 if (ssl->session != NULL) {
1680 SSL_SESSION_up_ref(ssl->session);
Robert Sloan29c1d2c2017-10-30 14:10:28 -07001681 ssl->s3->established_session.reset(ssl->session);
Robert Sloana27a6a42017-09-05 08:39:28 -07001682 } else {
1683 // We make a copy of the session in order to maintain the immutability
1684 // of the new established_session due to False Start. The caller may
1685 // have taken a reference to the temporary session.
1686 ssl->s3->established_session =
Robert Sloan29c1d2c2017-10-30 14:10:28 -07001687 SSL_SESSION_dup(hs->new_session.get(), SSL_SESSION_DUP_ALL);
1688 if (!ssl->s3->established_session) {
Robert Sloana27a6a42017-09-05 08:39:28 -07001689 return ssl_hs_error;
1690 }
1691 // Renegotiations do not participate in session resumption.
1692 if (!ssl->s3->initial_handshake_complete) {
1693 ssl->s3->established_session->not_resumable = 0;
1694 }
1695
1696 hs->new_session.reset();
1697 }
1698
1699 hs->handshake_finalized = true;
1700 ssl->s3->initial_handshake_complete = true;
1701 ssl_update_cache(hs, SSL_SESS_CACHE_CLIENT);
1702
1703 hs->state = state_done;
1704 return ssl_hs_ok;
1705}
1706
1707enum ssl_hs_wait_t ssl_client_handshake(SSL_HANDSHAKE *hs) {
1708 while (hs->state != state_done) {
1709 enum ssl_hs_wait_t ret = ssl_hs_error;
1710 enum ssl_client_hs_state_t state =
1711 static_cast<enum ssl_client_hs_state_t>(hs->state);
1712 switch (state) {
1713 case state_start_connect:
1714 ret = do_start_connect(hs);
1715 break;
1716 case state_enter_early_data:
1717 ret = do_enter_early_data(hs);
1718 break;
1719 case state_read_hello_verify_request:
1720 ret = do_read_hello_verify_request(hs);
1721 break;
1722 case state_read_server_hello:
1723 ret = do_read_server_hello(hs);
1724 break;
1725 case state_tls13:
1726 ret = do_tls13(hs);
1727 break;
1728 case state_read_server_certificate:
1729 ret = do_read_server_certificate(hs);
1730 break;
1731 case state_read_certificate_status:
1732 ret = do_read_certificate_status(hs);
1733 break;
1734 case state_verify_server_certificate:
1735 ret = do_verify_server_certificate(hs);
1736 break;
1737 case state_read_server_key_exchange:
1738 ret = do_read_server_key_exchange(hs);
1739 break;
1740 case state_read_certificate_request:
1741 ret = do_read_certificate_request(hs);
1742 break;
1743 case state_read_server_hello_done:
1744 ret = do_read_server_hello_done(hs);
1745 break;
1746 case state_send_client_certificate:
1747 ret = do_send_client_certificate(hs);
1748 break;
1749 case state_send_client_key_exchange:
1750 ret = do_send_client_key_exchange(hs);
1751 break;
1752 case state_send_client_certificate_verify:
1753 ret = do_send_client_certificate_verify(hs);
1754 break;
1755 case state_send_client_finished:
1756 ret = do_send_client_finished(hs);
1757 break;
1758 case state_finish_flight:
1759 ret = do_finish_flight(hs);
1760 break;
1761 case state_read_session_ticket:
1762 ret = do_read_session_ticket(hs);
1763 break;
1764 case state_process_change_cipher_spec:
1765 ret = do_process_change_cipher_spec(hs);
1766 break;
1767 case state_read_server_finished:
1768 ret = do_read_server_finished(hs);
1769 break;
1770 case state_finish_client_handshake:
1771 ret = do_finish_client_handshake(hs);
1772 break;
1773 case state_done:
1774 ret = ssl_hs_ok;
1775 break;
1776 }
1777
1778 if (hs->state != state) {
1779 ssl_do_info_callback(hs->ssl, SSL_CB_CONNECT_LOOP, 1);
1780 }
1781
1782 if (ret != ssl_hs_ok) {
1783 return ret;
1784 }
1785 }
1786
1787 ssl_do_info_callback(hs->ssl, SSL_CB_HANDSHAKE_DONE, 1);
1788 return ssl_hs_ok;
1789}
1790
1791const char *ssl_client_handshake_state(SSL_HANDSHAKE *hs) {
1792 enum ssl_client_hs_state_t state =
1793 static_cast<enum ssl_client_hs_state_t>(hs->state);
1794 switch (state) {
1795 case state_start_connect:
1796 return "TLS client start_connect";
1797 case state_enter_early_data:
1798 return "TLS client enter_early_data";
1799 case state_read_hello_verify_request:
1800 return "TLS client read_hello_verify_request";
1801 case state_read_server_hello:
1802 return "TLS client read_server_hello";
1803 case state_tls13:
1804 return tls13_client_handshake_state(hs);
1805 case state_read_server_certificate:
1806 return "TLS client read_server_certificate";
1807 case state_read_certificate_status:
1808 return "TLS client read_certificate_status";
1809 case state_verify_server_certificate:
1810 return "TLS client verify_server_certificate";
1811 case state_read_server_key_exchange:
1812 return "TLS client read_server_key_exchange";
1813 case state_read_certificate_request:
1814 return "TLS client read_certificate_request";
1815 case state_read_server_hello_done:
1816 return "TLS client read_server_hello_done";
1817 case state_send_client_certificate:
1818 return "TLS client send_client_certificate";
1819 case state_send_client_key_exchange:
1820 return "TLS client send_client_key_exchange";
1821 case state_send_client_certificate_verify:
1822 return "TLS client send_client_certificate_verify";
1823 case state_send_client_finished:
1824 return "TLS client send_client_finished";
1825 case state_finish_flight:
1826 return "TLS client finish_flight";
1827 case state_read_session_ticket:
1828 return "TLS client read_session_ticket";
1829 case state_process_change_cipher_spec:
1830 return "TLS client process_change_cipher_spec";
1831 case state_read_server_finished:
1832 return "TLS client read_server_finished";
1833 case state_finish_client_handshake:
1834 return "TLS client finish_client_handshake";
1835 case state_done:
1836 return "TLS client done";
1837 }
1838
1839 return "TLS client unknown";
1840}
1841
1842}