blob: e8dd0d37dfaef866faba8610a4b3d41924a1c9a4 [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 Sloan84377092017-08-14 09:33:19 -0700342static int parse_server_version(SSL_HANDSHAKE *hs, uint16_t *out,
343 const SSLMessage &msg) {
Robert Sloana12bf462017-07-17 07:08:26 -0700344 SSL *const ssl = hs->ssl;
Robert Sloan84377092017-08-14 09:33:19 -0700345 if (msg.type != SSL3_MT_SERVER_HELLO &&
346 msg.type != SSL3_MT_HELLO_RETRY_REQUEST) {
Robert Sloan921ef2c2017-10-17 09:02:20 -0700347 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_UNEXPECTED_MESSAGE);
Robert Sloana12bf462017-07-17 07:08:26 -0700348 OPENSSL_PUT_ERROR(SSL, SSL_R_UNEXPECTED_MESSAGE);
349 return 0;
350 }
351
Robert Sloan84377092017-08-14 09:33:19 -0700352 CBS server_hello = msg.body;
Robert Sloana12bf462017-07-17 07:08:26 -0700353 if (!CBS_get_u16(&server_hello, out)) {
354 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 Sloana12bf462017-07-17 07:08:26 -0700356 return 0;
357 }
358
Robert Sloana27a6a42017-09-05 08:39:28 -0700359 // The server version may also be in the supported_versions extension if
360 // applicable.
Robert Sloan84377092017-08-14 09:33:19 -0700361 if (msg.type != SSL3_MT_SERVER_HELLO || *out != TLS1_2_VERSION) {
Robert Sloana12bf462017-07-17 07:08:26 -0700362 return 1;
363 }
364
365 uint8_t sid_length;
366 if (!CBS_skip(&server_hello, SSL3_RANDOM_SIZE) ||
367 !CBS_get_u8(&server_hello, &sid_length) ||
368 !CBS_skip(&server_hello, sid_length + 2 /* cipher_suite */ +
369 1 /* compression_method */)) {
370 OPENSSL_PUT_ERROR(SSL, SSL_R_DECODE_ERROR);
Robert Sloan921ef2c2017-10-17 09:02:20 -0700371 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
Robert Sloana12bf462017-07-17 07:08:26 -0700372 return 0;
373 }
374
Robert Sloana27a6a42017-09-05 08:39:28 -0700375 // The extensions block may not be present.
Robert Sloana12bf462017-07-17 07:08:26 -0700376 if (CBS_len(&server_hello) == 0) {
377 return 1;
378 }
379
380 CBS extensions;
381 if (!CBS_get_u16_length_prefixed(&server_hello, &extensions) ||
382 CBS_len(&server_hello) != 0) {
383 OPENSSL_PUT_ERROR(SSL, SSL_R_DECODE_ERROR);
Robert Sloan921ef2c2017-10-17 09:02:20 -0700384 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
Robert Sloana12bf462017-07-17 07:08:26 -0700385 return 0;
386 }
387
Robert Sloana27a6a42017-09-05 08:39:28 -0700388 bool have_supported_versions;
Robert Sloana12bf462017-07-17 07:08:26 -0700389 CBS supported_versions;
390 const SSL_EXTENSION_TYPE ext_types[] = {
391 {TLSEXT_TYPE_supported_versions, &have_supported_versions,
392 &supported_versions},
393 };
394
395 uint8_t alert = SSL_AD_DECODE_ERROR;
396 if (!ssl_parse_extensions(&extensions, &alert, ext_types,
397 OPENSSL_ARRAY_SIZE(ext_types),
398 1 /* ignore unknown */)) {
Robert Sloan921ef2c2017-10-17 09:02:20 -0700399 ssl_send_alert(ssl, SSL3_AL_FATAL, alert);
Robert Sloana12bf462017-07-17 07:08:26 -0700400 return 0;
401 }
402
403 if (have_supported_versions &&
404 (!CBS_get_u16(&supported_versions, out) ||
405 CBS_len(&supported_versions) != 0)) {
Robert Sloan921ef2c2017-10-17 09:02:20 -0700406 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
Robert Sloana12bf462017-07-17 07:08:26 -0700407 return 0;
408 }
409
410 return 1;
411}
412
Robert Sloana27a6a42017-09-05 08:39:28 -0700413static enum ssl_hs_wait_t do_start_connect(SSL_HANDSHAKE *hs) {
414 SSL *const ssl = hs->ssl;
415
416 ssl_do_info_callback(ssl, SSL_CB_HANDSHAKE_START, 1);
Robert Sloand1d118f2017-09-11 09:00:48 -0700417 // |session_reused| must be reset in case this is a renegotiation.
418 ssl->s3->session_reused = false;
Robert Sloana27a6a42017-09-05 08:39:28 -0700419
420 // Freeze the version range.
421 if (!ssl_get_version_range(ssl, &hs->min_version, &hs->max_version)) {
422 return ssl_hs_error;
423 }
424
Robert Sloandb4251a2017-09-18 09:38:15 -0700425 // SSL 3.0 ClientHellos should use SSL 3.0 not TLS 1.0, for the record-layer
426 // version.
427 if (hs->max_version == SSL3_VERSION) {
428 ssl->s3->aead_write_ctx->SetVersionIfNullCipher(SSL3_VERSION);
429 }
430
Robert Sloana27a6a42017-09-05 08:39:28 -0700431 // Always advertise the ClientHello version from the original maximum version,
432 // even on renegotiation. The static RSA key exchange uses this field, and
433 // some servers fail when it changes across handshakes.
434 if (SSL_is_dtls(hs->ssl)) {
435 hs->client_version =
436 hs->max_version >= TLS1_2_VERSION ? DTLS1_2_VERSION : DTLS1_VERSION;
437 } else {
438 hs->client_version =
439 hs->max_version >= TLS1_2_VERSION ? TLS1_2_VERSION : hs->max_version;
440 }
441
442 // If the configured session has expired or was created at a disabled
443 // version, drop it.
444 if (ssl->session != NULL) {
445 if (ssl->session->is_server ||
446 !ssl_supports_version(hs, ssl->session->ssl_version) ||
447 (ssl->session->session_id_length == 0 &&
448 ssl->session->tlsext_ticklen == 0) ||
449 ssl->session->not_resumable ||
450 !ssl_session_is_time_valid(ssl, ssl->session)) {
451 ssl_set_session(ssl, NULL);
452 }
453 }
454
455 if (!RAND_bytes(ssl->s3->client_random, sizeof(ssl->s3->client_random))) {
456 return ssl_hs_error;
457 }
458
459 // Initialize a random session ID for the experimental TLS 1.3 variant
460 // requiring a session id.
Robert Sloana815d5a2017-12-04 11:49:16 -0800461 if (ssl->session != nullptr &&
462 !ssl->s3->initial_handshake_complete &&
463 ssl->session->session_id_length > 0) {
464 hs->session_id_len = ssl->session->session_id_length;
465 OPENSSL_memcpy(hs->session_id, ssl->session->session_id,
466 hs->session_id_len);
Robert Sloan0da43952018-01-03 15:13:14 -0800467 } else if (hs->max_version >= TLS1_3_VERSION) {
Robert Sloana27a6a42017-09-05 08:39:28 -0700468 hs->session_id_len = sizeof(hs->session_id);
469 if (!RAND_bytes(hs->session_id, hs->session_id_len)) {
470 return ssl_hs_error;
471 }
472 }
473
474 if (!ssl_write_client_hello(hs)) {
475 return ssl_hs_error;
476 }
477
478 hs->state = state_enter_early_data;
479 return ssl_hs_flush;
480}
481
482static enum ssl_hs_wait_t do_enter_early_data(SSL_HANDSHAKE *hs) {
483 SSL *const ssl = hs->ssl;
484
485 if (SSL_is_dtls(ssl)) {
486 hs->state = state_read_hello_verify_request;
487 return ssl_hs_ok;
488 }
489
490 if (!hs->early_data_offered) {
491 hs->state = state_read_server_hello;
492 return ssl_hs_ok;
493 }
494
Robert Sloand5c22152017-11-13 09:22:12 -0800495 ssl->s3->aead_write_ctx->SetVersionIfNullCipher(ssl->session->ssl_version);
Robert Sloan8542c082018-02-05 09:07:34 -0800496 if (!ssl->method->add_change_cipher_spec(ssl)) {
Robert Sloand5c22152017-11-13 09:22:12 -0800497 return ssl_hs_error;
498 }
499
Robert Sloanb1b54b82017-11-06 13:50:02 -0800500 if (!tls13_init_early_key_schedule(hs, ssl->session->master_key,
501 ssl->session->master_key_length) ||
Robert Sloana27a6a42017-09-05 08:39:28 -0700502 !tls13_derive_early_secrets(hs) ||
503 !tls13_set_traffic_key(ssl, evp_aead_seal, hs->early_traffic_secret,
504 hs->hash_len)) {
505 return ssl_hs_error;
506 }
507
508 // Stash the early data session, so connection properties may be queried out
509 // of it.
510 hs->in_early_data = true;
511 SSL_SESSION_up_ref(ssl->session);
512 hs->early_session.reset(ssl->session);
513 hs->can_early_write = true;
514
515 hs->state = state_read_server_hello;
516 return ssl_hs_early_return;
517}
518
519static enum ssl_hs_wait_t do_read_hello_verify_request(SSL_HANDSHAKE *hs) {
520 SSL *const ssl = hs->ssl;
521
522 assert(SSL_is_dtls(ssl));
523
524 SSLMessage msg;
525 if (!ssl->method->get_message(ssl, &msg)) {
526 return ssl_hs_read_message;
527 }
528
529 if (msg.type != DTLS1_MT_HELLO_VERIFY_REQUEST) {
530 hs->state = state_read_server_hello;
531 return ssl_hs_ok;
532 }
533
534 CBS hello_verify_request = msg.body, cookie;
535 uint16_t server_version;
536 if (!CBS_get_u16(&hello_verify_request, &server_version) ||
537 !CBS_get_u8_length_prefixed(&hello_verify_request, &cookie) ||
538 CBS_len(&cookie) > sizeof(ssl->d1->cookie) ||
539 CBS_len(&hello_verify_request) != 0) {
540 OPENSSL_PUT_ERROR(SSL, SSL_R_DECODE_ERROR);
Robert Sloan921ef2c2017-10-17 09:02:20 -0700541 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
Robert Sloana27a6a42017-09-05 08:39:28 -0700542 return ssl_hs_error;
543 }
544
545 OPENSSL_memcpy(ssl->d1->cookie, CBS_data(&cookie), CBS_len(&cookie));
546 ssl->d1->cookie_len = CBS_len(&cookie);
547
548 ssl->method->next_message(ssl);
549
550 // DTLS resets the handshake buffer after HelloVerifyRequest.
551 if (!hs->transcript.Init()) {
552 return ssl_hs_error;
553 }
554
555 if (!ssl_write_client_hello(hs)) {
556 return ssl_hs_error;
557 }
558
559 hs->state = state_read_server_hello;
560 return ssl_hs_flush;
561}
562
563static enum ssl_hs_wait_t do_read_server_hello(SSL_HANDSHAKE *hs) {
David Benjamin1b249672016-12-06 18:25:50 -0500564 SSL *const ssl = hs->ssl;
Robert Sloan84377092017-08-14 09:33:19 -0700565 SSLMessage msg;
Robert Sloana27a6a42017-09-05 08:39:28 -0700566 if (!ssl->method->get_message(ssl, &msg)) {
567 return ssl_hs_read_server_hello;
Adam Langleyd9e397b2015-01-22 14:27:53 -0800568 }
569
Robert Sloana12bf462017-07-17 07:08:26 -0700570 uint16_t server_version;
Robert Sloan84377092017-08-14 09:33:19 -0700571 if (!parse_server_version(hs, &server_version, msg)) {
Robert Sloana27a6a42017-09-05 08:39:28 -0700572 return ssl_hs_error;
David Benjaminc895d6b2016-08-11 13:26:41 -0400573 }
574
Robert Sloanf6200e72017-07-10 08:09:18 -0700575 if (!ssl_supports_version(hs, server_version)) {
David Benjaminc895d6b2016-08-11 13:26:41 -0400576 OPENSSL_PUT_ERROR(SSL, SSL_R_UNSUPPORTED_PROTOCOL);
Robert Sloan921ef2c2017-10-17 09:02:20 -0700577 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_PROTOCOL_VERSION);
Robert Sloana27a6a42017-09-05 08:39:28 -0700578 return ssl_hs_error;
David Benjaminc895d6b2016-08-11 13:26:41 -0400579 }
580
581 assert(ssl->s3->have_version == ssl->s3->initial_handshake_complete);
582 if (!ssl->s3->have_version) {
Robert Sloanf6200e72017-07-10 08:09:18 -0700583 ssl->version = server_version;
Robert Sloana27a6a42017-09-05 08:39:28 -0700584 // At this point, the connection's version is known and ssl->version is
585 // fixed. Begin enforcing the record-layer version.
586 ssl->s3->have_version = true;
Robert Sloandb4251a2017-09-18 09:38:15 -0700587 ssl->s3->aead_write_ctx->SetVersionIfNullCipher(ssl->version);
Robert Sloanf6200e72017-07-10 08:09:18 -0700588 } else if (server_version != ssl->version) {
David Benjaminc895d6b2016-08-11 13:26:41 -0400589 OPENSSL_PUT_ERROR(SSL, SSL_R_WRONG_SSL_VERSION);
Robert Sloan921ef2c2017-10-17 09:02:20 -0700590 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_PROTOCOL_VERSION);
Robert Sloana27a6a42017-09-05 08:39:28 -0700591 return ssl_hs_error;
David Benjaminc895d6b2016-08-11 13:26:41 -0400592 }
593
Robert Sloan921ef2c2017-10-17 09:02:20 -0700594 if (ssl_protocol_version(ssl) >= TLS1_3_VERSION) {
Robert Sloana27a6a42017-09-05 08:39:28 -0700595 hs->state = state_tls13;
596 return ssl_hs_ok;
David Benjaminc895d6b2016-08-11 13:26:41 -0400597 }
598
Robert Sloan4562e9d2017-10-02 10:26:51 -0700599 // Clear some TLS 1.3 state that no longer needs to be retained.
600 hs->key_share.reset();
601 hs->key_share_bytes.Reset();
602
603 // A TLS 1.2 server would not know to skip the early data we offered. Report
604 // an error code sooner. The caller may use this error code to implement the
605 // fallback described in draft-ietf-tls-tls13-18 appendix C.3.
Robert Sloan6d0d00e2017-03-27 07:13:07 -0700606 if (hs->early_data_offered) {
607 OPENSSL_PUT_ERROR(SSL, SSL_R_WRONG_VERSION_ON_EARLY_DATA);
Robert Sloan921ef2c2017-10-17 09:02:20 -0700608 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_PROTOCOL_VERSION);
Robert Sloana27a6a42017-09-05 08:39:28 -0700609 return ssl_hs_error;
Robert Sloan6d0d00e2017-03-27 07:13:07 -0700610 }
611
Robert Sloan84377092017-08-14 09:33:19 -0700612 if (!ssl_check_message_type(ssl, msg, SSL3_MT_SERVER_HELLO)) {
Robert Sloana27a6a42017-09-05 08:39:28 -0700613 return ssl_hs_error;
David Benjaminc895d6b2016-08-11 13:26:41 -0400614 }
615
Robert Sloan84377092017-08-14 09:33:19 -0700616 CBS server_hello = msg.body, server_random, session_id;
Robert Sloana12bf462017-07-17 07:08:26 -0700617 uint16_t cipher_suite;
618 uint8_t compression_method;
Robert Sloana12bf462017-07-17 07:08:26 -0700619 if (!CBS_skip(&server_hello, 2 /* version */) ||
620 !CBS_get_bytes(&server_hello, &server_random, SSL3_RANDOM_SIZE) ||
Adam Langleyd9e397b2015-01-22 14:27:53 -0800621 !CBS_get_u8_length_prefixed(&server_hello, &session_id) ||
622 CBS_len(&session_id) > SSL3_SESSION_ID_SIZE ||
623 !CBS_get_u16(&server_hello, &cipher_suite) ||
624 !CBS_get_u8(&server_hello, &compression_method)) {
Kenny Rootb8494592015-09-25 02:29:14 +0000625 OPENSSL_PUT_ERROR(SSL, SSL_R_DECODE_ERROR);
Robert Sloan921ef2c2017-10-17 09:02:20 -0700626 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
Robert Sloana27a6a42017-09-05 08:39:28 -0700627 return ssl_hs_error;
Adam Langleyd9e397b2015-01-22 14:27:53 -0800628 }
629
Robert Sloana27a6a42017-09-05 08:39:28 -0700630 // Copy over the server random.
Robert Sloan572a4e22017-04-17 10:52:19 -0700631 OPENSSL_memcpy(ssl->s3->server_random, CBS_data(&server_random),
632 SSL3_RANDOM_SIZE);
Adam Langleyd9e397b2015-01-22 14:27:53 -0800633
Robert Sloan0da43952018-01-03 15:13:14 -0800634 // Measure, but do not enforce, the TLS 1.3 anti-downgrade feature, with a
635 // different value.
636 //
637 // For draft TLS 1.3 versions, it is not safe to deploy this feature. However,
638 // some TLS terminators are non-compliant and copy the origin server's value,
639 // so we wish to measure eventual compatibility impact.
640 if (!ssl->s3->initial_handshake_complete &&
641 hs->max_version >= TLS1_3_VERSION &&
642 OPENSSL_memcmp(ssl->s3->server_random + SSL3_RANDOM_SIZE -
643 sizeof(kDraftDowngradeRandom),
644 kDraftDowngradeRandom,
645 sizeof(kDraftDowngradeRandom)) == 0) {
646 ssl->s3->draft_downgrade = true;
647 }
David Benjaminc895d6b2016-08-11 13:26:41 -0400648
Adam Langley4139edb2016-01-13 15:00:54 -0800649 if (!ssl->s3->initial_handshake_complete && ssl->session != NULL &&
David Benjaminf0c4a6c2016-08-11 13:26:41 -0400650 ssl->session->session_id_length != 0 &&
Adam Langley4139edb2016-01-13 15:00:54 -0800651 CBS_mem_equal(&session_id, ssl->session->session_id,
652 ssl->session->session_id_length)) {
Robert Sloana27a6a42017-09-05 08:39:28 -0700653 ssl->s3->session_reused = true;
Adam Langleyd9e397b2015-01-22 14:27:53 -0800654 } else {
Robert Sloan309a31e2018-01-29 10:22:47 -0800655 // The server may also have echoed back the TLS 1.3 compatibility mode
656 // session ID. As we know this is not a session the server knows about, any
657 // server resuming it is in error. Reject the first connection
658 // deterministicly, rather than installing an invalid session into the
659 // session cache. https://crbug.com/796910
660 if (hs->session_id_len != 0 &&
661 CBS_mem_equal(&session_id, hs->session_id, hs->session_id_len)) {
662 OPENSSL_PUT_ERROR(SSL, SSL_R_SERVER_ECHOED_INVALID_SESSION_ID);
663 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_ILLEGAL_PARAMETER);
664 return ssl_hs_error;
665 }
666
Robert Sloana27a6a42017-09-05 08:39:28 -0700667 // The session wasn't resumed. Create a fresh SSL_SESSION to
668 // fill out.
David Benjamin7c0d06c2016-08-11 13:26:41 -0400669 ssl_set_session(ssl, NULL);
David Benjamin1b249672016-12-06 18:25:50 -0500670 if (!ssl_get_new_session(hs, 0 /* client */)) {
Robert Sloan921ef2c2017-10-17 09:02:20 -0700671 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
Robert Sloana27a6a42017-09-05 08:39:28 -0700672 return ssl_hs_error;
Adam Langleyd9e397b2015-01-22 14:27:53 -0800673 }
Robert Sloana27a6a42017-09-05 08:39:28 -0700674 // Note: session_id could be empty.
Robert Sloana94fe052017-02-21 08:49:28 -0800675 hs->new_session->session_id_length = CBS_len(&session_id);
676 OPENSSL_memcpy(hs->new_session->session_id, CBS_data(&session_id),
677 CBS_len(&session_id));
Adam Langleyd9e397b2015-01-22 14:27:53 -0800678 }
679
Robert Sloan84377092017-08-14 09:33:19 -0700680 const SSL_CIPHER *cipher = SSL_get_cipher_by_value(cipher_suite);
681 if (cipher == NULL) {
Robert Sloana27a6a42017-09-05 08:39:28 -0700682 // unknown cipher
Kenny Rootb8494592015-09-25 02:29:14 +0000683 OPENSSL_PUT_ERROR(SSL, SSL_R_UNKNOWN_CIPHER_RETURNED);
Robert Sloan921ef2c2017-10-17 09:02:20 -0700684 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_ILLEGAL_PARAMETER);
Robert Sloana27a6a42017-09-05 08:39:28 -0700685 return ssl_hs_error;
Adam Langleyd9e397b2015-01-22 14:27:53 -0800686 }
Steven Valdez909b19f2016-11-21 15:35:44 -0500687
Robert Sloana27a6a42017-09-05 08:39:28 -0700688 // The cipher must be allowed in the selected version and enabled.
Robert Sloan4d1ac502017-02-06 08:36:14 -0800689 uint32_t mask_a, mask_k;
690 ssl_get_client_disabled(ssl, &mask_a, &mask_k);
Robert Sloan84377092017-08-14 09:33:19 -0700691 if ((cipher->algorithm_mkey & mask_k) || (cipher->algorithm_auth & mask_a) ||
Robert Sloan921ef2c2017-10-17 09:02:20 -0700692 SSL_CIPHER_get_min_version(cipher) > ssl_protocol_version(ssl) ||
693 SSL_CIPHER_get_max_version(cipher) < ssl_protocol_version(ssl) ||
Robert Sloan84377092017-08-14 09:33:19 -0700694 !sk_SSL_CIPHER_find(SSL_get_ciphers(ssl), NULL, cipher)) {
Kenny Rootb8494592015-09-25 02:29:14 +0000695 OPENSSL_PUT_ERROR(SSL, SSL_R_WRONG_CIPHER_RETURNED);
Robert Sloan921ef2c2017-10-17 09:02:20 -0700696 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_ILLEGAL_PARAMETER);
Robert Sloana27a6a42017-09-05 08:39:28 -0700697 return ssl_hs_error;
Adam Langleyd9e397b2015-01-22 14:27:53 -0800698 }
699
David Benjaminc895d6b2016-08-11 13:26:41 -0400700 if (ssl->session != NULL) {
Adam Langley4139edb2016-01-13 15:00:54 -0800701 if (ssl->session->ssl_version != ssl->version) {
Kenny Rootb8494592015-09-25 02:29:14 +0000702 OPENSSL_PUT_ERROR(SSL, SSL_R_OLD_SESSION_VERSION_NOT_RETURNED);
Robert Sloan921ef2c2017-10-17 09:02:20 -0700703 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_ILLEGAL_PARAMETER);
Robert Sloana27a6a42017-09-05 08:39:28 -0700704 return ssl_hs_error;
Adam Langleye9ada862015-05-11 17:20:37 -0700705 }
Robert Sloan84377092017-08-14 09:33:19 -0700706 if (ssl->session->cipher != cipher) {
Steven Valdezbb1ceac2016-10-07 10:34:51 -0400707 OPENSSL_PUT_ERROR(SSL, SSL_R_OLD_SESSION_CIPHER_NOT_RETURNED);
Robert Sloan921ef2c2017-10-17 09:02:20 -0700708 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_ILLEGAL_PARAMETER);
Robert Sloana27a6a42017-09-05 08:39:28 -0700709 return ssl_hs_error;
Steven Valdezbb1ceac2016-10-07 10:34:51 -0400710 }
David Benjaminf0c4a6c2016-08-11 13:26:41 -0400711 if (!ssl_session_is_context_valid(ssl, ssl->session)) {
Robert Sloana27a6a42017-09-05 08:39:28 -0700712 // This is actually a client application bug.
David Benjaminf0c4a6c2016-08-11 13:26:41 -0400713 OPENSSL_PUT_ERROR(SSL,
714 SSL_R_ATTEMPT_TO_REUSE_SESSION_IN_DIFFERENT_CONTEXT);
Robert Sloan921ef2c2017-10-17 09:02:20 -0700715 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_ILLEGAL_PARAMETER);
Robert Sloana27a6a42017-09-05 08:39:28 -0700716 return ssl_hs_error;
David Benjaminf0c4a6c2016-08-11 13:26:41 -0400717 }
David Benjamin4969cc92016-04-22 15:02:23 -0400718 } else {
Robert Sloan84377092017-08-14 09:33:19 -0700719 hs->new_session->cipher = cipher;
Adam Langleyd9e397b2015-01-22 14:27:53 -0800720 }
Robert Sloan84377092017-08-14 09:33:19 -0700721 hs->new_cipher = cipher;
Adam Langleyd9e397b2015-01-22 14:27:53 -0800722
Robert Sloana27a6a42017-09-05 08:39:28 -0700723 // Now that the cipher is known, initialize the handshake hash and hash the
724 // ServerHello.
Robert Sloan921ef2c2017-10-17 09:02:20 -0700725 if (!hs->transcript.InitHash(ssl_protocol_version(ssl), hs->new_cipher) ||
Robert Sloan84377092017-08-14 09:33:19 -0700726 !ssl_hash_message(hs, msg)) {
Robert Sloan921ef2c2017-10-17 09:02:20 -0700727 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
Robert Sloana27a6a42017-09-05 08:39:28 -0700728 return ssl_hs_error;
Kenny Rootb8494592015-09-25 02:29:14 +0000729 }
730
Robert Sloana27a6a42017-09-05 08:39:28 -0700731 // If doing a full handshake, the server may request a client certificate
732 // which requires hashing the handshake transcript. Otherwise, the handshake
733 // buffer may be released.
David Benjaminc895d6b2016-08-11 13:26:41 -0400734 if (ssl->session != NULL ||
Robert Sloana94fe052017-02-21 08:49:28 -0800735 !ssl_cipher_uses_certificate_auth(hs->new_cipher)) {
Robert Sloanb6d070c2017-07-24 08:40:01 -0700736 hs->transcript.FreeBuffer();
Adam Langleyd9e397b2015-01-22 14:27:53 -0800737 }
738
Robert Sloana27a6a42017-09-05 08:39:28 -0700739 // Only the NULL compression algorithm is supported.
Adam Langleyd9e397b2015-01-22 14:27:53 -0800740 if (compression_method != 0) {
Kenny Rootb8494592015-09-25 02:29:14 +0000741 OPENSSL_PUT_ERROR(SSL, SSL_R_UNSUPPORTED_COMPRESSION_ALGORITHM);
Robert Sloan921ef2c2017-10-17 09:02:20 -0700742 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_ILLEGAL_PARAMETER);
Robert Sloana27a6a42017-09-05 08:39:28 -0700743 return ssl_hs_error;
Adam Langleyd9e397b2015-01-22 14:27:53 -0800744 }
745
Robert Sloana27a6a42017-09-05 08:39:28 -0700746 // TLS extensions
David Benjamin1b249672016-12-06 18:25:50 -0500747 if (!ssl_parse_serverhello_tlsext(hs, &server_hello)) {
Kenny Rootb8494592015-09-25 02:29:14 +0000748 OPENSSL_PUT_ERROR(SSL, SSL_R_PARSE_TLSEXT);
Robert Sloana27a6a42017-09-05 08:39:28 -0700749 return ssl_hs_error;
Adam Langleyd9e397b2015-01-22 14:27:53 -0800750 }
751
Robert Sloana27a6a42017-09-05 08:39:28 -0700752 // There should be nothing left over in the record.
Adam Langleyd9e397b2015-01-22 14:27:53 -0800753 if (CBS_len(&server_hello) != 0) {
Robert Sloana27a6a42017-09-05 08:39:28 -0700754 // wrong packet length
David Benjamin7c0d06c2016-08-11 13:26:41 -0400755 OPENSSL_PUT_ERROR(SSL, SSL_R_DECODE_ERROR);
Robert Sloan921ef2c2017-10-17 09:02:20 -0700756 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
Robert Sloana27a6a42017-09-05 08:39:28 -0700757 return ssl_hs_error;
Adam Langleyd9e397b2015-01-22 14:27:53 -0800758 }
759
David Benjaminc895d6b2016-08-11 13:26:41 -0400760 if (ssl->session != NULL &&
Robert Sloana94fe052017-02-21 08:49:28 -0800761 hs->extended_master_secret != ssl->session->extended_master_secret) {
Adam Langley4139edb2016-01-13 15:00:54 -0800762 if (ssl->session->extended_master_secret) {
Kenny Rootb8494592015-09-25 02:29:14 +0000763 OPENSSL_PUT_ERROR(SSL, SSL_R_RESUMED_EMS_SESSION_WITHOUT_EMS_EXTENSION);
Adam Langleyf4e42722015-06-04 17:45:09 -0700764 } else {
Kenny Rootb8494592015-09-25 02:29:14 +0000765 OPENSSL_PUT_ERROR(SSL, SSL_R_RESUMED_NON_EMS_SESSION_WITH_EMS_EXTENSION);
Adam Langleyf4e42722015-06-04 17:45:09 -0700766 }
Robert Sloan921ef2c2017-10-17 09:02:20 -0700767 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_HANDSHAKE_FAILURE);
Robert Sloana27a6a42017-09-05 08:39:28 -0700768 return ssl_hs_error;
Adam Langleyf4e42722015-06-04 17:45:09 -0700769 }
770
Robert Sloan978112c2018-01-22 12:53:01 -0800771 if (ssl->token_binding_negotiated &&
772 (!hs->extended_master_secret || !ssl->s3->send_connection_binding)) {
773 OPENSSL_PUT_ERROR(SSL, SSL_R_NEGOTIATED_TB_WITHOUT_EMS_OR_RI);
774 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_UNSUPPORTED_EXTENSION);
775 return ssl_hs_error;
776 }
777
Robert Sloan84377092017-08-14 09:33:19 -0700778 ssl->method->next_message(ssl);
Robert Sloana27a6a42017-09-05 08:39:28 -0700779
780 if (ssl->session != NULL) {
781 hs->state = state_read_session_ticket;
782 return ssl_hs_ok;
783 }
784
785 hs->state = state_read_server_certificate;
786 return ssl_hs_ok;
Adam Langleyd9e397b2015-01-22 14:27:53 -0800787}
788
Robert Sloana27a6a42017-09-05 08:39:28 -0700789static enum ssl_hs_wait_t do_tls13(SSL_HANDSHAKE *hs) {
790 enum ssl_hs_wait_t wait = tls13_client_handshake(hs);
791 if (wait == ssl_hs_ok) {
792 hs->state = state_finish_client_handshake;
793 return ssl_hs_ok;
794 }
795
796 return wait;
797}
798
799static enum ssl_hs_wait_t do_read_server_certificate(SSL_HANDSHAKE *hs) {
David Benjamin1b249672016-12-06 18:25:50 -0500800 SSL *const ssl = hs->ssl;
Robert Sloana27a6a42017-09-05 08:39:28 -0700801
802 if (!ssl_cipher_uses_certificate_auth(hs->new_cipher)) {
803 hs->state = state_read_certificate_status;
804 return ssl_hs_ok;
805 }
806
Robert Sloan84377092017-08-14 09:33:19 -0700807 SSLMessage msg;
Robert Sloana27a6a42017-09-05 08:39:28 -0700808 if (!ssl->method->get_message(ssl, &msg)) {
809 return ssl_hs_read_message;
Adam Langleyd9e397b2015-01-22 14:27:53 -0800810 }
811
Robert Sloan84377092017-08-14 09:33:19 -0700812 if (!ssl_check_message_type(ssl, msg, SSL3_MT_CERTIFICATE) ||
813 !ssl_hash_message(hs, msg)) {
Robert Sloana27a6a42017-09-05 08:39:28 -0700814 return ssl_hs_error;
Robert Sloan4d1ac502017-02-06 08:36:14 -0800815 }
816
Robert Sloan84377092017-08-14 09:33:19 -0700817 CBS body = msg.body;
Robert Sloan5d625782017-02-13 09:55:39 -0800818 uint8_t alert = SSL_AD_DECODE_ERROR;
Robert Sloanfe7cd212017-08-07 09:03:39 -0700819 UniquePtr<STACK_OF(CRYPTO_BUFFER)> chain;
Robert Sloan84377092017-08-14 09:33:19 -0700820 if (!ssl_parse_cert_chain(&alert, &chain, &hs->peer_pubkey, NULL, &body,
Robert Sloanfe7cd212017-08-07 09:03:39 -0700821 ssl->ctx->pool)) {
Robert Sloan921ef2c2017-10-17 09:02:20 -0700822 ssl_send_alert(ssl, SSL3_AL_FATAL, alert);
Robert Sloana27a6a42017-09-05 08:39:28 -0700823 return ssl_hs_error;
Adam Langleyd9e397b2015-01-22 14:27:53 -0800824 }
Robert Sloanfe7cd212017-08-07 09:03:39 -0700825 sk_CRYPTO_BUFFER_pop_free(hs->new_session->certs, CRYPTO_BUFFER_free);
826 hs->new_session->certs = chain.release();
Adam Langleyd9e397b2015-01-22 14:27:53 -0800827
Robert Sloana94fe052017-02-21 08:49:28 -0800828 if (sk_CRYPTO_BUFFER_num(hs->new_session->certs) == 0 ||
Robert Sloan84377092017-08-14 09:33:19 -0700829 CBS_len(&body) != 0 ||
Robert Sloanb6d070c2017-07-24 08:40:01 -0700830 !ssl->ctx->x509_method->session_cache_objects(hs->new_session.get())) {
Kenny Rootb8494592015-09-25 02:29:14 +0000831 OPENSSL_PUT_ERROR(SSL, SSL_R_DECODE_ERROR);
Robert Sloan921ef2c2017-10-17 09:02:20 -0700832 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
Robert Sloana27a6a42017-09-05 08:39:28 -0700833 return ssl_hs_error;
Adam Langleyd9e397b2015-01-22 14:27:53 -0800834 }
835
Steven Valdeze7531f02016-12-14 13:29:57 -0500836 if (!ssl_check_leaf_certificate(
Robert Sloanb6d070c2017-07-24 08:40:01 -0700837 hs, hs->peer_pubkey.get(),
Robert Sloana94fe052017-02-21 08:49:28 -0800838 sk_CRYPTO_BUFFER_value(hs->new_session->certs, 0))) {
Robert Sloan921ef2c2017-10-17 09:02:20 -0700839 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_ILLEGAL_PARAMETER);
Robert Sloana27a6a42017-09-05 08:39:28 -0700840 return ssl_hs_error;
Kenny Roota04d78d2015-09-25 00:26:37 +0000841 }
Kenny Rootb8494592015-09-25 02:29:14 +0000842
Robert Sloan84377092017-08-14 09:33:19 -0700843 ssl->method->next_message(ssl);
Robert Sloana27a6a42017-09-05 08:39:28 -0700844
845 hs->state = state_read_certificate_status;
846 return ssl_hs_ok;
Adam Langleyd9e397b2015-01-22 14:27:53 -0800847}
848
Robert Sloana27a6a42017-09-05 08:39:28 -0700849static enum ssl_hs_wait_t do_read_certificate_status(SSL_HANDSHAKE *hs) {
David Benjamin1b249672016-12-06 18:25:50 -0500850 SSL *const ssl = hs->ssl;
Robert Sloana27a6a42017-09-05 08:39:28 -0700851
852 if (!hs->certificate_status_expected) {
853 hs->state = state_verify_server_certificate;
854 return ssl_hs_ok;
855 }
856
Robert Sloan84377092017-08-14 09:33:19 -0700857 SSLMessage msg;
Robert Sloana27a6a42017-09-05 08:39:28 -0700858 if (!ssl->method->get_message(ssl, &msg)) {
859 return ssl_hs_read_message;
David Benjamin6e899c72016-06-09 18:02:18 -0400860 }
861
Robert Sloan84377092017-08-14 09:33:19 -0700862 if (msg.type != SSL3_MT_CERTIFICATE_STATUS) {
Robert Sloana27a6a42017-09-05 08:39:28 -0700863 // A server may send status_request in ServerHello and then change its mind
864 // about sending CertificateStatus.
865 hs->state = state_verify_server_certificate;
866 return ssl_hs_ok;
David Benjamin6e899c72016-06-09 18:02:18 -0400867 }
868
Robert Sloan84377092017-08-14 09:33:19 -0700869 if (!ssl_hash_message(hs, msg)) {
Robert Sloana27a6a42017-09-05 08:39:28 -0700870 return ssl_hs_error;
Robert Sloan4d1ac502017-02-06 08:36:14 -0800871 }
872
Robert Sloan84377092017-08-14 09:33:19 -0700873 CBS certificate_status = msg.body, ocsp_response;
Robert Sloane56da3e2017-06-26 08:26:42 -0700874 uint8_t status_type;
David Benjamin6e899c72016-06-09 18:02:18 -0400875 if (!CBS_get_u8(&certificate_status, &status_type) ||
876 status_type != TLSEXT_STATUSTYPE_ocsp ||
877 !CBS_get_u24_length_prefixed(&certificate_status, &ocsp_response) ||
878 CBS_len(&ocsp_response) == 0 ||
879 CBS_len(&certificate_status) != 0) {
David Benjamin6e899c72016-06-09 18:02:18 -0400880 OPENSSL_PUT_ERROR(SSL, SSL_R_DECODE_ERROR);
Robert Sloan921ef2c2017-10-17 09:02:20 -0700881 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
Robert Sloana27a6a42017-09-05 08:39:28 -0700882 return ssl_hs_error;
David Benjamin6e899c72016-06-09 18:02:18 -0400883 }
884
Robert Sloan8f860b12017-08-28 07:37:06 -0700885 CRYPTO_BUFFER_free(hs->new_session->ocsp_response);
886 hs->new_session->ocsp_response =
887 CRYPTO_BUFFER_new_from_CBS(&ocsp_response, ssl->ctx->pool);
888 if (hs->new_session->ocsp_response == nullptr) {
Robert Sloan921ef2c2017-10-17 09:02:20 -0700889 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
Robert Sloana27a6a42017-09-05 08:39:28 -0700890 return ssl_hs_error;
David Benjamin6e899c72016-06-09 18:02:18 -0400891 }
David Benjamin6e899c72016-06-09 18:02:18 -0400892
Robert Sloan84377092017-08-14 09:33:19 -0700893 ssl->method->next_message(ssl);
Robert Sloana27a6a42017-09-05 08:39:28 -0700894
895 hs->state = state_verify_server_certificate;
896 return ssl_hs_ok;
David Benjamin6e899c72016-06-09 18:02:18 -0400897}
898
Robert Sloana27a6a42017-09-05 08:39:28 -0700899static enum ssl_hs_wait_t do_verify_server_certificate(SSL_HANDSHAKE *hs) {
900 if (!ssl_cipher_uses_certificate_auth(hs->new_cipher)) {
901 hs->state = state_read_server_key_exchange;
902 return ssl_hs_ok;
903 }
904
905 switch (ssl_verify_peer_cert(hs)) {
906 case ssl_verify_ok:
907 break;
908 case ssl_verify_invalid:
909 return ssl_hs_error;
910 case ssl_verify_retry:
911 hs->state = state_verify_server_certificate;
912 return ssl_hs_certificate_verify;
913 }
914
915 hs->state = state_read_server_key_exchange;
916 return ssl_hs_ok;
917}
918
919static enum ssl_hs_wait_t do_read_server_key_exchange(SSL_HANDSHAKE *hs) {
David Benjamin1b249672016-12-06 18:25:50 -0500920 SSL *const ssl = hs->ssl;
Robert Sloan84377092017-08-14 09:33:19 -0700921 SSLMessage msg;
Robert Sloana27a6a42017-09-05 08:39:28 -0700922 if (!ssl->method->get_message(ssl, &msg)) {
923 return ssl_hs_read_message;
Adam Langleyd9e397b2015-01-22 14:27:53 -0800924 }
925
Robert Sloan84377092017-08-14 09:33:19 -0700926 if (msg.type != SSL3_MT_SERVER_KEY_EXCHANGE) {
Robert Sloana27a6a42017-09-05 08:39:28 -0700927 // Some ciphers (pure PSK) have an optional ServerKeyExchange message.
Robert Sloana94fe052017-02-21 08:49:28 -0800928 if (ssl_cipher_requires_server_key_exchange(hs->new_cipher)) {
Kenny Rootb8494592015-09-25 02:29:14 +0000929 OPENSSL_PUT_ERROR(SSL, SSL_R_UNEXPECTED_MESSAGE);
Robert Sloan921ef2c2017-10-17 09:02:20 -0700930 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_UNEXPECTED_MESSAGE);
Robert Sloana27a6a42017-09-05 08:39:28 -0700931 return ssl_hs_error;
Adam Langleyd9e397b2015-01-22 14:27:53 -0800932 }
933
Robert Sloana27a6a42017-09-05 08:39:28 -0700934 hs->state = state_read_certificate_request;
935 return ssl_hs_ok;
Adam Langleyd9e397b2015-01-22 14:27:53 -0800936 }
937
Robert Sloan84377092017-08-14 09:33:19 -0700938 if (!ssl_hash_message(hs, msg)) {
Robert Sloana27a6a42017-09-05 08:39:28 -0700939 return ssl_hs_error;
Robert Sloan4d1ac502017-02-06 08:36:14 -0800940 }
941
Robert Sloana94fe052017-02-21 08:49:28 -0800942 uint32_t alg_k = hs->new_cipher->algorithm_mkey;
943 uint32_t alg_a = hs->new_cipher->algorithm_auth;
Robert Sloan84377092017-08-14 09:33:19 -0700944 CBS server_key_exchange = msg.body;
Adam Langleyd9e397b2015-01-22 14:27:53 -0800945 if (alg_a & SSL_aPSK) {
946 CBS psk_identity_hint;
947
Robert Sloana27a6a42017-09-05 08:39:28 -0700948 // Each of the PSK key exchanges begins with a psk_identity_hint.
Adam Langleyd9e397b2015-01-22 14:27:53 -0800949 if (!CBS_get_u16_length_prefixed(&server_key_exchange,
950 &psk_identity_hint)) {
Kenny Rootb8494592015-09-25 02:29:14 +0000951 OPENSSL_PUT_ERROR(SSL, SSL_R_DECODE_ERROR);
Robert Sloan921ef2c2017-10-17 09:02:20 -0700952 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
Robert Sloana27a6a42017-09-05 08:39:28 -0700953 return ssl_hs_error;
Adam Langleyd9e397b2015-01-22 14:27:53 -0800954 }
955
Robert Sloan921ef2c2017-10-17 09:02:20 -0700956 // Store the PSK identity hint for the ClientKeyExchange. Assume that the
957 // maximum length of a PSK identity hint can be as long as the maximum
958 // length of a PSK identity. Also do not allow NULL characters; identities
959 // are saved as C strings.
Robert Sloana27a6a42017-09-05 08:39:28 -0700960 //
961 // TODO(davidben): Should invalid hints be ignored? It's a hint rather than
962 // a specific identity.
Adam Langleyd9e397b2015-01-22 14:27:53 -0800963 if (CBS_len(&psk_identity_hint) > PSK_MAX_IDENTITY_LEN ||
964 CBS_contains_zero_byte(&psk_identity_hint)) {
Kenny Rootb8494592015-09-25 02:29:14 +0000965 OPENSSL_PUT_ERROR(SSL, SSL_R_DATA_LENGTH_TOO_LONG);
Robert Sloan921ef2c2017-10-17 09:02:20 -0700966 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_HANDSHAKE_FAILURE);
Robert Sloana27a6a42017-09-05 08:39:28 -0700967 return ssl_hs_error;
Adam Langleyd9e397b2015-01-22 14:27:53 -0800968 }
969
Robert Sloana27a6a42017-09-05 08:39:28 -0700970 // Save non-empty identity hints as a C string. Empty identity hints we
971 // treat as missing. Plain PSK makes it possible to send either no hint
972 // (omit ServerKeyExchange) or an empty hint, while ECDHE_PSK can only spell
973 // empty hint. Having different capabilities is odd, so we interpret empty
974 // and missing as identical.
Robert Sloanb6d070c2017-07-24 08:40:01 -0700975 char *raw = nullptr;
David Benjamin7c0d06c2016-08-11 13:26:41 -0400976 if (CBS_len(&psk_identity_hint) != 0 &&
Robert Sloanb6d070c2017-07-24 08:40:01 -0700977 !CBS_strdup(&psk_identity_hint, &raw)) {
Kenny Rootb8494592015-09-25 02:29:14 +0000978 OPENSSL_PUT_ERROR(SSL, ERR_R_MALLOC_FAILURE);
Robert Sloan921ef2c2017-10-17 09:02:20 -0700979 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
Robert Sloana27a6a42017-09-05 08:39:28 -0700980 return ssl_hs_error;
Adam Langleyd9e397b2015-01-22 14:27:53 -0800981 }
Robert Sloanb6d070c2017-07-24 08:40:01 -0700982 hs->peer_psk_identity_hint.reset(raw);
Adam Langleyd9e397b2015-01-22 14:27:53 -0800983 }
984
Robert Sloan572a4e22017-04-17 10:52:19 -0700985 if (alg_k & SSL_kECDHE) {
Robert Sloana27a6a42017-09-05 08:39:28 -0700986 // Parse the server parameters.
David Benjamind316cba2016-06-02 16:17:39 -0400987 uint8_t group_type;
988 uint16_t group_id;
Adam Langley4139edb2016-01-13 15:00:54 -0800989 CBS point;
David Benjamind316cba2016-06-02 16:17:39 -0400990 if (!CBS_get_u8(&server_key_exchange, &group_type) ||
991 group_type != NAMED_CURVE_TYPE ||
992 !CBS_get_u16(&server_key_exchange, &group_id) ||
Adam Langley4139edb2016-01-13 15:00:54 -0800993 !CBS_get_u8_length_prefixed(&server_key_exchange, &point)) {
Kenny Rootb8494592015-09-25 02:29:14 +0000994 OPENSSL_PUT_ERROR(SSL, SSL_R_DECODE_ERROR);
Robert Sloan921ef2c2017-10-17 09:02:20 -0700995 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
Robert Sloana27a6a42017-09-05 08:39:28 -0700996 return ssl_hs_error;
Adam Langleyd9e397b2015-01-22 14:27:53 -0800997 }
Robert Sloana94fe052017-02-21 08:49:28 -0800998 hs->new_session->group_id = group_id;
Adam Langleyd9e397b2015-01-22 14:27:53 -0800999
Robert Sloana27a6a42017-09-05 08:39:28 -07001000 // Ensure the group is consistent with preferences.
David Benjamind316cba2016-06-02 16:17:39 -04001001 if (!tls1_check_group_id(ssl, group_id)) {
Adam Langley4139edb2016-01-13 15:00:54 -08001002 OPENSSL_PUT_ERROR(SSL, SSL_R_WRONG_CURVE);
Robert Sloan921ef2c2017-10-17 09:02:20 -07001003 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_ILLEGAL_PARAMETER);
Robert Sloana27a6a42017-09-05 08:39:28 -07001004 return ssl_hs_error;
Adam Langleyd9e397b2015-01-22 14:27:53 -08001005 }
Adam Langley4139edb2016-01-13 15:00:54 -08001006
Robert Sloana27a6a42017-09-05 08:39:28 -07001007 // Initialize ECDH and save the peer public key for later.
Robert Sloanb6d070c2017-07-24 08:40:01 -07001008 hs->key_share = SSLKeyShare::Create(group_id);
1009 if (!hs->key_share ||
Robert Sloan4562e9d2017-10-02 10:26:51 -07001010 !hs->peer_key.CopyFrom(point)) {
Robert Sloana27a6a42017-09-05 08:39:28 -07001011 return ssl_hs_error;
Adam Langley4139edb2016-01-13 15:00:54 -08001012 }
Adam Langleyd9e397b2015-01-22 14:27:53 -08001013 } else if (!(alg_k & SSL_kPSK)) {
Kenny Rootb8494592015-09-25 02:29:14 +00001014 OPENSSL_PUT_ERROR(SSL, SSL_R_UNEXPECTED_MESSAGE);
Robert Sloan921ef2c2017-10-17 09:02:20 -07001015 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_UNEXPECTED_MESSAGE);
Robert Sloana27a6a42017-09-05 08:39:28 -07001016 return ssl_hs_error;
Adam Langleyd9e397b2015-01-22 14:27:53 -08001017 }
1018
Robert Sloana27a6a42017-09-05 08:39:28 -07001019 // At this point, |server_key_exchange| contains the signature, if any, while
1020 // |msg.body| contains the entire message. From that, derive a CBS containing
1021 // just the parameter.
David Benjamin4969cc92016-04-22 15:02:23 -04001022 CBS parameter;
Robert Sloan84377092017-08-14 09:33:19 -07001023 CBS_init(&parameter, CBS_data(&msg.body),
1024 CBS_len(&msg.body) - CBS_len(&server_key_exchange));
Adam Langleyd9e397b2015-01-22 14:27:53 -08001025
Robert Sloana27a6a42017-09-05 08:39:28 -07001026 // ServerKeyExchange should be signed by the server's public key.
Robert Sloana94fe052017-02-21 08:49:28 -08001027 if (ssl_cipher_uses_certificate_auth(hs->new_cipher)) {
David Benjaminc895d6b2016-08-11 13:26:41 -04001028 uint16_t signature_algorithm = 0;
Robert Sloan921ef2c2017-10-17 09:02:20 -07001029 if (ssl_protocol_version(ssl) >= TLS1_2_VERSION) {
David Benjaminc895d6b2016-08-11 13:26:41 -04001030 if (!CBS_get_u16(&server_key_exchange, &signature_algorithm)) {
Adam Langleyfad63272015-11-12 12:15:39 -08001031 OPENSSL_PUT_ERROR(SSL, SSL_R_DECODE_ERROR);
Robert Sloan921ef2c2017-10-17 09:02:20 -07001032 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
Robert Sloana27a6a42017-09-05 08:39:28 -07001033 return ssl_hs_error;
Adam Langleyd9e397b2015-01-22 14:27:53 -08001034 }
Robert Sloane56da3e2017-06-26 08:26:42 -07001035 uint8_t alert = SSL_AD_DECODE_ERROR;
1036 if (!tls12_check_peer_sigalg(ssl, &alert, signature_algorithm)) {
Robert Sloan921ef2c2017-10-17 09:02:20 -07001037 ssl_send_alert(ssl, SSL3_AL_FATAL, alert);
Robert Sloana27a6a42017-09-05 08:39:28 -07001038 return ssl_hs_error;
Adam Langleyfad63272015-11-12 12:15:39 -08001039 }
Robert Sloana94fe052017-02-21 08:49:28 -08001040 hs->new_session->peer_signature_algorithm = signature_algorithm;
Robert Sloan2424d842017-05-01 07:46:28 -07001041 } else if (!tls1_get_legacy_signature_algorithm(&signature_algorithm,
Robert Sloanb6d070c2017-07-24 08:40:01 -07001042 hs->peer_pubkey.get())) {
David Benjaminc895d6b2016-08-11 13:26:41 -04001043 OPENSSL_PUT_ERROR(SSL, SSL_R_PEER_ERROR_UNSUPPORTED_CERTIFICATE_TYPE);
Robert Sloan921ef2c2017-10-17 09:02:20 -07001044 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_UNSUPPORTED_CERTIFICATE);
Robert Sloana27a6a42017-09-05 08:39:28 -07001045 return ssl_hs_error;
Adam Langleyd9e397b2015-01-22 14:27:53 -08001046 }
1047
Robert Sloana27a6a42017-09-05 08:39:28 -07001048 // The last field in |server_key_exchange| is the signature.
Kenny Rootb8494592015-09-25 02:29:14 +00001049 CBS signature;
Adam Langleyd9e397b2015-01-22 14:27:53 -08001050 if (!CBS_get_u16_length_prefixed(&server_key_exchange, &signature) ||
1051 CBS_len(&server_key_exchange) != 0) {
Kenny Rootb8494592015-09-25 02:29:14 +00001052 OPENSSL_PUT_ERROR(SSL, SSL_R_DECODE_ERROR);
Robert Sloan921ef2c2017-10-17 09:02:20 -07001053 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
Robert Sloana27a6a42017-09-05 08:39:28 -07001054 return ssl_hs_error;
Adam Langleyd9e397b2015-01-22 14:27:53 -08001055 }
1056
Robert Sloanb6d070c2017-07-24 08:40:01 -07001057 ScopedCBB transcript;
Robert Sloan921ef2c2017-10-17 09:02:20 -07001058 Array<uint8_t> transcript_data;
Robert Sloanb6d070c2017-07-24 08:40:01 -07001059 if (!CBB_init(transcript.get(),
1060 2 * SSL3_RANDOM_SIZE + CBS_len(&parameter)) ||
1061 !CBB_add_bytes(transcript.get(), ssl->s3->client_random,
1062 SSL3_RANDOM_SIZE) ||
1063 !CBB_add_bytes(transcript.get(), ssl->s3->server_random,
1064 SSL3_RANDOM_SIZE) ||
1065 !CBB_add_bytes(transcript.get(), CBS_data(&parameter),
1066 CBS_len(&parameter)) ||
Robert Sloan921ef2c2017-10-17 09:02:20 -07001067 !CBBFinishArray(transcript.get(), &transcript_data)) {
David Benjaminc895d6b2016-08-11 13:26:41 -04001068 OPENSSL_PUT_ERROR(SSL, ERR_R_INTERNAL_ERROR);
Robert Sloan921ef2c2017-10-17 09:02:20 -07001069 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
Robert Sloana27a6a42017-09-05 08:39:28 -07001070 return ssl_hs_error;
David Benjaminc895d6b2016-08-11 13:26:41 -04001071 }
1072
Robert Sloan921ef2c2017-10-17 09:02:20 -07001073 bool sig_ok = ssl_public_key_verify(ssl, signature, signature_algorithm,
1074 hs->peer_pubkey.get(), transcript_data);
David Benjamin4969cc92016-04-22 15:02:23 -04001075#if defined(BORINGSSL_UNSAFE_FUZZER_MODE)
Robert Sloan921ef2c2017-10-17 09:02:20 -07001076 sig_ok = true;
David Benjamin4969cc92016-04-22 15:02:23 -04001077 ERR_clear_error();
1078#endif
1079 if (!sig_ok) {
Robert Sloana27a6a42017-09-05 08:39:28 -07001080 // bad signature
Kenny Rootb8494592015-09-25 02:29:14 +00001081 OPENSSL_PUT_ERROR(SSL, SSL_R_BAD_SIGNATURE);
Robert Sloan921ef2c2017-10-17 09:02:20 -07001082 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECRYPT_ERROR);
Robert Sloana27a6a42017-09-05 08:39:28 -07001083 return ssl_hs_error;
Adam Langleyd9e397b2015-01-22 14:27:53 -08001084 }
1085 } else {
Robert Sloana27a6a42017-09-05 08:39:28 -07001086 // PSK ciphers are the only supported certificate-less ciphers.
Kenny Rootb8494592015-09-25 02:29:14 +00001087 assert(alg_a == SSL_aPSK);
1088
Adam Langleyd9e397b2015-01-22 14:27:53 -08001089 if (CBS_len(&server_key_exchange) > 0) {
Kenny Rootb8494592015-09-25 02:29:14 +00001090 OPENSSL_PUT_ERROR(SSL, SSL_R_EXTRA_DATA_IN_MESSAGE);
Robert Sloan921ef2c2017-10-17 09:02:20 -07001091 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
Robert Sloana27a6a42017-09-05 08:39:28 -07001092 return ssl_hs_error;
Adam Langleyd9e397b2015-01-22 14:27:53 -08001093 }
1094 }
Robert Sloan84377092017-08-14 09:33:19 -07001095
1096 ssl->method->next_message(ssl);
Robert Sloana27a6a42017-09-05 08:39:28 -07001097 hs->state = state_read_certificate_request;
1098 return ssl_hs_ok;
Adam Langleyd9e397b2015-01-22 14:27:53 -08001099}
1100
Robert Sloana27a6a42017-09-05 08:39:28 -07001101static enum ssl_hs_wait_t do_read_certificate_request(SSL_HANDSHAKE *hs) {
David Benjamin1b249672016-12-06 18:25:50 -05001102 SSL *const ssl = hs->ssl;
Robert Sloana27a6a42017-09-05 08:39:28 -07001103
1104 if (!ssl_cipher_uses_certificate_auth(hs->new_cipher)) {
1105 hs->state = state_read_server_hello_done;
1106 return ssl_hs_ok;
1107 }
1108
Robert Sloan84377092017-08-14 09:33:19 -07001109 SSLMessage msg;
Robert Sloana27a6a42017-09-05 08:39:28 -07001110 if (!ssl->method->get_message(ssl, &msg)) {
1111 return ssl_hs_read_message;
Adam Langleyd9e397b2015-01-22 14:27:53 -08001112 }
1113
Robert Sloan84377092017-08-14 09:33:19 -07001114 if (msg.type == SSL3_MT_SERVER_HELLO_DONE) {
Robert Sloana27a6a42017-09-05 08:39:28 -07001115 // If we get here we don't need the handshake buffer as we won't be doing
1116 // client auth.
Robert Sloanb6d070c2017-07-24 08:40:01 -07001117 hs->transcript.FreeBuffer();
Robert Sloana27a6a42017-09-05 08:39:28 -07001118 hs->state = state_read_server_hello_done;
1119 return ssl_hs_ok;
Adam Langleyd9e397b2015-01-22 14:27:53 -08001120 }
1121
Robert Sloan84377092017-08-14 09:33:19 -07001122 if (!ssl_check_message_type(ssl, msg, SSL3_MT_CERTIFICATE_REQUEST) ||
1123 !ssl_hash_message(hs, msg)) {
Robert Sloana27a6a42017-09-05 08:39:28 -07001124 return ssl_hs_error;
Adam Langleyd9e397b2015-01-22 14:27:53 -08001125 }
1126
Robert Sloana27a6a42017-09-05 08:39:28 -07001127 // Get the certificate types.
Robert Sloan84377092017-08-14 09:33:19 -07001128 CBS body = msg.body, certificate_types;
1129 if (!CBS_get_u8_length_prefixed(&body, &certificate_types)) {
Robert Sloan921ef2c2017-10-17 09:02:20 -07001130 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
Kenny Rootb8494592015-09-25 02:29:14 +00001131 OPENSSL_PUT_ERROR(SSL, SSL_R_DECODE_ERROR);
Robert Sloana27a6a42017-09-05 08:39:28 -07001132 return ssl_hs_error;
Adam Langleyd9e397b2015-01-22 14:27:53 -08001133 }
1134
Robert Sloan4562e9d2017-10-02 10:26:51 -07001135 if (!hs->certificate_types.CopyFrom(certificate_types)) {
Robert Sloan921ef2c2017-10-17 09:02:20 -07001136 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
Robert Sloana27a6a42017-09-05 08:39:28 -07001137 return ssl_hs_error;
Adam Langleyd9e397b2015-01-22 14:27:53 -08001138 }
1139
Robert Sloan921ef2c2017-10-17 09:02:20 -07001140 if (ssl_protocol_version(ssl) >= TLS1_2_VERSION) {
Adam Langleyd9e397b2015-01-22 14:27:53 -08001141 CBS supported_signature_algorithms;
Robert Sloan84377092017-08-14 09:33:19 -07001142 if (!CBS_get_u16_length_prefixed(&body, &supported_signature_algorithms) ||
David Benjamin1b249672016-12-06 18:25:50 -05001143 !tls1_parse_peer_sigalgs(hs, &supported_signature_algorithms)) {
Robert Sloan921ef2c2017-10-17 09:02:20 -07001144 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
Kenny Rootb8494592015-09-25 02:29:14 +00001145 OPENSSL_PUT_ERROR(SSL, SSL_R_DECODE_ERROR);
Robert Sloana27a6a42017-09-05 08:39:28 -07001146 return ssl_hs_error;
Adam Langleyd9e397b2015-01-22 14:27:53 -08001147 }
1148 }
1149
Robert Sloan5d625782017-02-13 09:55:39 -08001150 uint8_t alert = SSL_AD_DECODE_ERROR;
Robert Sloanb6d070c2017-07-24 08:40:01 -07001151 UniquePtr<STACK_OF(CRYPTO_BUFFER)> ca_names =
Robert Sloan84377092017-08-14 09:33:19 -07001152 ssl_parse_client_CA_list(ssl, &alert, &body);
Robert Sloanb6d070c2017-07-24 08:40:01 -07001153 if (!ca_names) {
Robert Sloan921ef2c2017-10-17 09:02:20 -07001154 ssl_send_alert(ssl, SSL3_AL_FATAL, alert);
Robert Sloana27a6a42017-09-05 08:39:28 -07001155 return ssl_hs_error;
Adam Langleyd9e397b2015-01-22 14:27:53 -08001156 }
1157
Robert Sloan84377092017-08-14 09:33:19 -07001158 if (CBS_len(&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;
David Benjamin7c0d06c2016-08-11 13:26:41 -04001162 }
1163
Robert Sloana27a6a42017-09-05 08:39:28 -07001164 hs->cert_request = true;
Robert Sloanb6d070c2017-07-24 08:40:01 -07001165 hs->ca_names = std::move(ca_names);
Robert Sloan7d422bc2017-03-06 10:04:29 -08001166 ssl->ctx->x509_method->hs_flush_cached_ca_names(hs);
Robert Sloana27a6a42017-09-05 08:39:28 -07001167
Robert Sloan84377092017-08-14 09:33:19 -07001168 ssl->method->next_message(ssl);
Robert Sloana27a6a42017-09-05 08:39:28 -07001169 hs->state = state_read_server_hello_done;
1170 return ssl_hs_ok;
Adam Langleyd9e397b2015-01-22 14:27:53 -08001171}
1172
Robert Sloana27a6a42017-09-05 08:39:28 -07001173static enum ssl_hs_wait_t do_read_server_hello_done(SSL_HANDSHAKE *hs) {
David Benjamin1b249672016-12-06 18:25:50 -05001174 SSL *const ssl = hs->ssl;
Robert Sloan84377092017-08-14 09:33:19 -07001175 SSLMessage msg;
Robert Sloana27a6a42017-09-05 08:39:28 -07001176 if (!ssl->method->get_message(ssl, &msg)) {
1177 return ssl_hs_read_message;
Adam Langleyd9e397b2015-01-22 14:27:53 -08001178 }
1179
Robert Sloan84377092017-08-14 09:33:19 -07001180 if (!ssl_check_message_type(ssl, msg, SSL3_MT_SERVER_HELLO_DONE) ||
1181 !ssl_hash_message(hs, msg)) {
Robert Sloana27a6a42017-09-05 08:39:28 -07001182 return ssl_hs_error;
Robert Sloan4d1ac502017-02-06 08:36:14 -08001183 }
1184
Robert Sloana27a6a42017-09-05 08:39:28 -07001185 // ServerHelloDone is empty.
Robert Sloan84377092017-08-14 09:33:19 -07001186 if (CBS_len(&msg.body) != 0) {
Robert Sloan921ef2c2017-10-17 09:02:20 -07001187 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
David Benjamin7c0d06c2016-08-11 13:26:41 -04001188 OPENSSL_PUT_ERROR(SSL, SSL_R_DECODE_ERROR);
Robert Sloana27a6a42017-09-05 08:39:28 -07001189 return ssl_hs_error;
Adam Langleyd9e397b2015-01-22 14:27:53 -08001190 }
1191
Robert Sloan84377092017-08-14 09:33:19 -07001192 ssl->method->next_message(ssl);
Robert Sloana27a6a42017-09-05 08:39:28 -07001193 hs->state = state_send_client_certificate;
1194 return ssl_hs_ok;
Adam Langleyd9e397b2015-01-22 14:27:53 -08001195}
1196
Robert Sloana27a6a42017-09-05 08:39:28 -07001197static enum ssl_hs_wait_t do_send_client_certificate(SSL_HANDSHAKE *hs) {
David Benjamin1b249672016-12-06 18:25:50 -05001198 SSL *const ssl = hs->ssl;
Robert Sloana27a6a42017-09-05 08:39:28 -07001199
1200 // The peer didn't request a certificate.
1201 if (!hs->cert_request) {
1202 hs->state = state_send_client_key_exchange;
1203 return ssl_hs_ok;
1204 }
1205
1206 // Call cert_cb to update the certificate.
1207 if (ssl->cert->cert_cb != NULL) {
1208 int rv = ssl->cert->cert_cb(ssl, ssl->cert->cert_cb_arg);
1209 if (rv == 0) {
Robert Sloan921ef2c2017-10-17 09:02:20 -07001210 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
Robert Sloana27a6a42017-09-05 08:39:28 -07001211 OPENSSL_PUT_ERROR(SSL, SSL_R_CERT_CB_ERROR);
1212 return ssl_hs_error;
1213 }
1214 if (rv < 0) {
1215 hs->state = state_send_client_certificate;
1216 return ssl_hs_x509_lookup;
David Benjamin6e899c72016-06-09 18:02:18 -04001217 }
David Benjamin6e899c72016-06-09 18:02:18 -04001218 }
1219
Steven Valdeze7531f02016-12-14 13:29:57 -05001220 if (!ssl_has_certificate(ssl)) {
Robert Sloana27a6a42017-09-05 08:39:28 -07001221 // Without a client certificate, the handshake buffer may be released.
Robert Sloanb6d070c2017-07-24 08:40:01 -07001222 hs->transcript.FreeBuffer();
Steven Valdeze7531f02016-12-14 13:29:57 -05001223
Robert Sloana27a6a42017-09-05 08:39:28 -07001224 // In SSL 3.0, the Certificate message is replaced with a warning alert.
Steven Valdeze7531f02016-12-14 13:29:57 -05001225 if (ssl->version == SSL3_VERSION) {
Robert Sloan4d1ac502017-02-06 08:36:14 -08001226 if (!ssl->method->add_alert(ssl, SSL3_AL_WARNING,
1227 SSL_AD_NO_CERTIFICATE)) {
Robert Sloana27a6a42017-09-05 08:39:28 -07001228 return ssl_hs_error;
Robert Sloan4d1ac502017-02-06 08:36:14 -08001229 }
Robert Sloana27a6a42017-09-05 08:39:28 -07001230 hs->state = state_send_client_key_exchange;
1231 return ssl_hs_ok;
Steven Valdeze7531f02016-12-14 13:29:57 -05001232 }
1233 }
1234
Robert Sloan572a4e22017-04-17 10:52:19 -07001235 if (!ssl_on_certificate_selected(hs) ||
Robert Sloan921ef2c2017-10-17 09:02:20 -07001236 !ssl_output_cert_chain(ssl)) {
Robert Sloana27a6a42017-09-05 08:39:28 -07001237 return ssl_hs_error;
Steven Valdeze7531f02016-12-14 13:29:57 -05001238 }
Robert Sloana27a6a42017-09-05 08:39:28 -07001239
1240
1241 hs->state = state_send_client_key_exchange;
1242 return ssl_hs_ok;
David Benjamin6e899c72016-06-09 18:02:18 -04001243}
1244
Robert Sloana12bf462017-07-17 07:08:26 -07001245static_assert(sizeof(size_t) >= sizeof(unsigned),
1246 "size_t is smaller than unsigned");
Adam Langleyd9e397b2015-01-22 14:27:53 -08001247
Robert Sloana27a6a42017-09-05 08:39:28 -07001248static enum ssl_hs_wait_t do_send_client_key_exchange(SSL_HANDSHAKE *hs) {
David Benjamin1b249672016-12-06 18:25:50 -05001249 SSL *const ssl = hs->ssl;
Robert Sloanb6d070c2017-07-24 08:40:01 -07001250 ScopedCBB cbb;
Robert Sloana12bf462017-07-17 07:08:26 -07001251 CBB body;
1252 if (!ssl->method->init_message(ssl, cbb.get(), &body,
David Benjaminc895d6b2016-08-11 13:26:41 -04001253 SSL3_MT_CLIENT_KEY_EXCHANGE)) {
Robert Sloana27a6a42017-09-05 08:39:28 -07001254 return ssl_hs_error;
Adam Langleyd9e397b2015-01-22 14:27:53 -08001255 }
1256
Robert Sloan4562e9d2017-10-02 10:26:51 -07001257 Array<uint8_t> pms;
Robert Sloana94fe052017-02-21 08:49:28 -08001258 uint32_t alg_k = hs->new_cipher->algorithm_mkey;
1259 uint32_t alg_a = hs->new_cipher->algorithm_auth;
Adam Langley4139edb2016-01-13 15:00:54 -08001260
Robert Sloana27a6a42017-09-05 08:39:28 -07001261 // If using a PSK key exchange, prepare the pre-shared key.
Adam Langley4139edb2016-01-13 15:00:54 -08001262 unsigned psk_len = 0;
1263 uint8_t psk[PSK_MAX_PSK_LEN];
1264 if (alg_a & SSL_aPSK) {
1265 if (ssl->psk_client_callback == NULL) {
1266 OPENSSL_PUT_ERROR(SSL, SSL_R_PSK_NO_CLIENT_CB);
Robert Sloan4562e9d2017-10-02 10:26:51 -07001267 return ssl_hs_error;
Adam Langley4139edb2016-01-13 15:00:54 -08001268 }
1269
1270 char identity[PSK_MAX_IDENTITY_LEN + 1];
Robert Sloan69939df2017-01-09 10:53:07 -08001271 OPENSSL_memset(identity, 0, sizeof(identity));
David Benjamin1b249672016-12-06 18:25:50 -05001272 psk_len =
Robert Sloanb6d070c2017-07-24 08:40:01 -07001273 ssl->psk_client_callback(ssl, hs->peer_psk_identity_hint.get(),
1274 identity, sizeof(identity), psk, sizeof(psk));
Adam Langley4139edb2016-01-13 15:00:54 -08001275 if (psk_len == 0) {
1276 OPENSSL_PUT_ERROR(SSL, SSL_R_PSK_IDENTITY_NOT_FOUND);
Robert Sloan921ef2c2017-10-17 09:02:20 -07001277 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_HANDSHAKE_FAILURE);
Robert Sloan4562e9d2017-10-02 10:26:51 -07001278 return ssl_hs_error;
Adam Langley4139edb2016-01-13 15:00:54 -08001279 }
1280 assert(psk_len <= PSK_MAX_PSK_LEN);
1281
Robert Sloana94fe052017-02-21 08:49:28 -08001282 OPENSSL_free(hs->new_session->psk_identity);
1283 hs->new_session->psk_identity = BUF_strdup(identity);
1284 if (hs->new_session->psk_identity == NULL) {
Adam Langley4139edb2016-01-13 15:00:54 -08001285 OPENSSL_PUT_ERROR(SSL, ERR_R_MALLOC_FAILURE);
Robert Sloan4562e9d2017-10-02 10:26:51 -07001286 return ssl_hs_error;
Adam Langley4139edb2016-01-13 15:00:54 -08001287 }
1288
Robert Sloana27a6a42017-09-05 08:39:28 -07001289 // Write out psk_identity.
Adam Langley4139edb2016-01-13 15:00:54 -08001290 CBB child;
David Benjaminc895d6b2016-08-11 13:26:41 -04001291 if (!CBB_add_u16_length_prefixed(&body, &child) ||
Adam Langley4139edb2016-01-13 15:00:54 -08001292 !CBB_add_bytes(&child, (const uint8_t *)identity,
1293 OPENSSL_strnlen(identity, sizeof(identity))) ||
David Benjaminc895d6b2016-08-11 13:26:41 -04001294 !CBB_flush(&body)) {
Robert Sloan4562e9d2017-10-02 10:26:51 -07001295 return ssl_hs_error;
Adam Langley4139edb2016-01-13 15:00:54 -08001296 }
1297 }
1298
Robert Sloan4562e9d2017-10-02 10:26:51 -07001299 // Depending on the key exchange method, compute |pms|.
Adam Langley4139edb2016-01-13 15:00:54 -08001300 if (alg_k & SSL_kRSA) {
Robert Sloan4562e9d2017-10-02 10:26:51 -07001301 if (!pms.Init(SSL_MAX_MASTER_KEY_LENGTH)) {
1302 return ssl_hs_error;
Adam Langley4139edb2016-01-13 15:00:54 -08001303 }
1304
Robert Sloanb6d070c2017-07-24 08:40:01 -07001305 RSA *rsa = EVP_PKEY_get0_RSA(hs->peer_pubkey.get());
Adam Langley4139edb2016-01-13 15:00:54 -08001306 if (rsa == NULL) {
1307 OPENSSL_PUT_ERROR(SSL, ERR_R_INTERNAL_ERROR);
Robert Sloan4562e9d2017-10-02 10:26:51 -07001308 return ssl_hs_error;
Adam Langley4139edb2016-01-13 15:00:54 -08001309 }
1310
David Benjamin1b249672016-12-06 18:25:50 -05001311 pms[0] = hs->client_version >> 8;
1312 pms[1] = hs->client_version & 0xff;
Adam Langley4139edb2016-01-13 15:00:54 -08001313 if (!RAND_bytes(&pms[2], SSL_MAX_MASTER_KEY_LENGTH - 2)) {
Robert Sloan4562e9d2017-10-02 10:26:51 -07001314 return ssl_hs_error;
Adam Langley4139edb2016-01-13 15:00:54 -08001315 }
1316
David Benjaminc895d6b2016-08-11 13:26:41 -04001317 CBB child, *enc_pms = &body;
Adam Langley4139edb2016-01-13 15:00:54 -08001318 size_t enc_pms_len;
Robert Sloana27a6a42017-09-05 08:39:28 -07001319 // In TLS, there is a length prefix.
Adam Langley4139edb2016-01-13 15:00:54 -08001320 if (ssl->version > SSL3_VERSION) {
David Benjaminc895d6b2016-08-11 13:26:41 -04001321 if (!CBB_add_u16_length_prefixed(&body, &child)) {
Robert Sloan4562e9d2017-10-02 10:26:51 -07001322 return ssl_hs_error;
Adam Langley4139edb2016-01-13 15:00:54 -08001323 }
1324 enc_pms = &child;
1325 }
1326
1327 uint8_t *ptr;
1328 if (!CBB_reserve(enc_pms, &ptr, RSA_size(rsa)) ||
Robert Sloan4562e9d2017-10-02 10:26:51 -07001329 !RSA_encrypt(rsa, &enc_pms_len, ptr, RSA_size(rsa), pms.data(),
1330 pms.size(), RSA_PKCS1_PADDING) ||
Adam Langley4139edb2016-01-13 15:00:54 -08001331 !CBB_did_write(enc_pms, enc_pms_len) ||
David Benjaminc895d6b2016-08-11 13:26:41 -04001332 !CBB_flush(&body)) {
Robert Sloan4562e9d2017-10-02 10:26:51 -07001333 return ssl_hs_error;
Adam Langley4139edb2016-01-13 15:00:54 -08001334 }
Robert Sloan572a4e22017-04-17 10:52:19 -07001335 } else if (alg_k & SSL_kECDHE) {
Robert Sloana27a6a42017-09-05 08:39:28 -07001336 // Generate a keypair and serialize the public half.
Adam Langley4139edb2016-01-13 15:00:54 -08001337 CBB child;
Robert Sloan572a4e22017-04-17 10:52:19 -07001338 if (!CBB_add_u8_length_prefixed(&body, &child)) {
Robert Sloan4562e9d2017-10-02 10:26:51 -07001339 return ssl_hs_error;
Adam Langley4139edb2016-01-13 15:00:54 -08001340 }
1341
Robert Sloana27a6a42017-09-05 08:39:28 -07001342 // Compute the premaster.
Robert Sloan5d625782017-02-13 09:55:39 -08001343 uint8_t alert = SSL_AD_DECODE_ERROR;
Robert Sloan4562e9d2017-10-02 10:26:51 -07001344 if (!hs->key_share->Accept(&child, &pms, &alert, hs->peer_key)) {
Robert Sloan921ef2c2017-10-17 09:02:20 -07001345 ssl_send_alert(ssl, SSL3_AL_FATAL, alert);
Robert Sloan4562e9d2017-10-02 10:26:51 -07001346 return ssl_hs_error;
Adam Langley4139edb2016-01-13 15:00:54 -08001347 }
David Benjaminc895d6b2016-08-11 13:26:41 -04001348 if (!CBB_flush(&body)) {
Robert Sloan4562e9d2017-10-02 10:26:51 -07001349 return ssl_hs_error;
David Benjamind316cba2016-06-02 16:17:39 -04001350 }
Adam Langley4139edb2016-01-13 15:00:54 -08001351
Robert Sloana27a6a42017-09-05 08:39:28 -07001352 // The key exchange state may now be discarded.
Robert Sloanb6d070c2017-07-24 08:40:01 -07001353 hs->key_share.reset();
Robert Sloan4562e9d2017-10-02 10:26:51 -07001354 hs->peer_key.Reset();
Adam Langley4139edb2016-01-13 15:00:54 -08001355 } else if (alg_k & SSL_kPSK) {
Robert Sloana27a6a42017-09-05 08:39:28 -07001356 // For plain PSK, other_secret is a block of 0s with the same length as
1357 // the pre-shared key.
Robert Sloan4562e9d2017-10-02 10:26:51 -07001358 if (!pms.Init(psk_len)) {
1359 return ssl_hs_error;
Adam Langley4139edb2016-01-13 15:00:54 -08001360 }
Robert Sloan4562e9d2017-10-02 10:26:51 -07001361 OPENSSL_memset(pms.data(), 0, pms.size());
Adam Langley4139edb2016-01-13 15:00:54 -08001362 } else {
Robert Sloan921ef2c2017-10-17 09:02:20 -07001363 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_HANDSHAKE_FAILURE);
Adam Langley4139edb2016-01-13 15:00:54 -08001364 OPENSSL_PUT_ERROR(SSL, ERR_R_INTERNAL_ERROR);
Robert Sloan4562e9d2017-10-02 10:26:51 -07001365 return ssl_hs_error;
Adam Langley4139edb2016-01-13 15:00:54 -08001366 }
1367
Robert Sloana27a6a42017-09-05 08:39:28 -07001368 // For a PSK cipher suite, other_secret is combined with the pre-shared
1369 // key.
Adam Langley4139edb2016-01-13 15:00:54 -08001370 if (alg_a & SSL_aPSK) {
Robert Sloanb6d070c2017-07-24 08:40:01 -07001371 ScopedCBB pms_cbb;
1372 CBB child;
Robert Sloan4562e9d2017-10-02 10:26:51 -07001373 if (!CBB_init(pms_cbb.get(), 2 + psk_len + 2 + pms.size()) ||
Robert Sloanb6d070c2017-07-24 08:40:01 -07001374 !CBB_add_u16_length_prefixed(pms_cbb.get(), &child) ||
Robert Sloan4562e9d2017-10-02 10:26:51 -07001375 !CBB_add_bytes(&child, pms.data(), pms.size()) ||
Robert Sloanb6d070c2017-07-24 08:40:01 -07001376 !CBB_add_u16_length_prefixed(pms_cbb.get(), &child) ||
Adam Langley4139edb2016-01-13 15:00:54 -08001377 !CBB_add_bytes(&child, psk, psk_len) ||
Robert Sloan921ef2c2017-10-17 09:02:20 -07001378 !CBBFinishArray(pms_cbb.get(), &pms)) {
Adam Langley4139edb2016-01-13 15:00:54 -08001379 OPENSSL_PUT_ERROR(SSL, ERR_R_MALLOC_FAILURE);
Robert Sloan4562e9d2017-10-02 10:26:51 -07001380 return ssl_hs_error;
Adam Langley4139edb2016-01-13 15:00:54 -08001381 }
Adam Langley4139edb2016-01-13 15:00:54 -08001382 }
1383
Robert Sloana27a6a42017-09-05 08:39:28 -07001384 // The message must be added to the finished hash before calculating the
1385 // master secret.
Robert Sloana12bf462017-07-17 07:08:26 -07001386 if (!ssl_add_message_cbb(ssl, cbb.get())) {
Robert Sloan4562e9d2017-10-02 10:26:51 -07001387 return ssl_hs_error;
Adam Langley4139edb2016-01-13 15:00:54 -08001388 }
Adam Langley4139edb2016-01-13 15:00:54 -08001389
Robert Sloanb1b54b82017-11-06 13:50:02 -08001390 hs->new_session->master_key_length =
1391 tls1_generate_master_secret(hs, hs->new_session->master_key, pms);
Robert Sloana94fe052017-02-21 08:49:28 -08001392 if (hs->new_session->master_key_length == 0) {
Robert Sloan4562e9d2017-10-02 10:26:51 -07001393 return ssl_hs_error;
Adam Langley4139edb2016-01-13 15:00:54 -08001394 }
Robert Sloana94fe052017-02-21 08:49:28 -08001395 hs->new_session->extended_master_secret = hs->extended_master_secret;
Adam Langley4139edb2016-01-13 15:00:54 -08001396
Robert Sloana27a6a42017-09-05 08:39:28 -07001397 hs->state = state_send_client_certificate_verify;
1398 return ssl_hs_ok;
Adam Langleyd9e397b2015-01-22 14:27:53 -08001399}
1400
Robert Sloana27a6a42017-09-05 08:39:28 -07001401static enum ssl_hs_wait_t do_send_client_certificate_verify(SSL_HANDSHAKE *hs) {
David Benjamin1b249672016-12-06 18:25:50 -05001402 SSL *const ssl = hs->ssl;
Adam Langley4139edb2016-01-13 15:00:54 -08001403
Robert Sloana27a6a42017-09-05 08:39:28 -07001404 if (!hs->cert_request || !ssl_has_certificate(ssl)) {
1405 hs->state = state_send_client_finished;
1406 return ssl_hs_ok;
1407 }
1408
1409 assert(ssl_has_private_key(ssl));
Robert Sloanb6d070c2017-07-24 08:40:01 -07001410 ScopedCBB cbb;
Robert Sloana12bf462017-07-17 07:08:26 -07001411 CBB body, child;
1412 if (!ssl->method->init_message(ssl, cbb.get(), &body,
David Benjaminc895d6b2016-08-11 13:26:41 -04001413 SSL3_MT_CERTIFICATE_VERIFY)) {
Robert Sloana27a6a42017-09-05 08:39:28 -07001414 return ssl_hs_error;
David Benjaminc895d6b2016-08-11 13:26:41 -04001415 }
1416
1417 uint16_t signature_algorithm;
David Benjamin1b249672016-12-06 18:25:50 -05001418 if (!tls1_choose_signature_algorithm(hs, &signature_algorithm)) {
Robert Sloana27a6a42017-09-05 08:39:28 -07001419 return ssl_hs_error;
David Benjaminc895d6b2016-08-11 13:26:41 -04001420 }
Robert Sloan921ef2c2017-10-17 09:02:20 -07001421 if (ssl_protocol_version(ssl) >= TLS1_2_VERSION) {
Robert Sloana27a6a42017-09-05 08:39:28 -07001422 // Write out the digest type in TLS 1.2.
David Benjaminc895d6b2016-08-11 13:26:41 -04001423 if (!CBB_add_u16(&body, signature_algorithm)) {
1424 OPENSSL_PUT_ERROR(SSL, ERR_R_INTERNAL_ERROR);
Robert Sloana27a6a42017-09-05 08:39:28 -07001425 return ssl_hs_error;
David Benjaminc895d6b2016-08-11 13:26:41 -04001426 }
1427 }
1428
Robert Sloana27a6a42017-09-05 08:39:28 -07001429 // Set aside space for the signature.
Robert Sloanb6d070c2017-07-24 08:40:01 -07001430 const size_t max_sig_len = EVP_PKEY_size(hs->local_pubkey.get());
David Benjaminc895d6b2016-08-11 13:26:41 -04001431 uint8_t *ptr;
1432 if (!CBB_add_u16_length_prefixed(&body, &child) ||
1433 !CBB_reserve(&child, &ptr, max_sig_len)) {
Robert Sloana27a6a42017-09-05 08:39:28 -07001434 return ssl_hs_error;
David Benjaminc895d6b2016-08-11 13:26:41 -04001435 }
1436
1437 size_t sig_len = max_sig_len;
Robert Sloana27a6a42017-09-05 08:39:28 -07001438 // The SSL3 construction for CertificateVerify does not decompose into a
1439 // single final digest and signature, and must be special-cased.
Robert Sloan921ef2c2017-10-17 09:02:20 -07001440 if (ssl_protocol_version(ssl) == SSL3_VERSION) {
Robert Sloane56da3e2017-06-26 08:26:42 -07001441 if (ssl->cert->key_method != NULL) {
1442 OPENSSL_PUT_ERROR(SSL, SSL_R_UNSUPPORTED_PROTOCOL_FOR_CUSTOM_KEY);
Robert Sloana27a6a42017-09-05 08:39:28 -07001443 return ssl_hs_error;
Adam Langley4139edb2016-01-13 15:00:54 -08001444 }
1445
Robert Sloane56da3e2017-06-26 08:26:42 -07001446 uint8_t digest[EVP_MAX_MD_SIZE];
1447 size_t digest_len;
Robert Sloanb6d070c2017-07-24 08:40:01 -07001448 if (!hs->transcript.GetSSL3CertVerifyHash(
1449 digest, &digest_len, hs->new_session.get(), signature_algorithm)) {
Robert Sloana27a6a42017-09-05 08:39:28 -07001450 return ssl_hs_error;
Robert Sloane56da3e2017-06-26 08:26:42 -07001451 }
Adam Langley4139edb2016-01-13 15:00:54 -08001452
Robert Sloanb6d070c2017-07-24 08:40:01 -07001453 UniquePtr<EVP_PKEY_CTX> pctx(EVP_PKEY_CTX_new(ssl->cert->privatekey, NULL));
1454 if (!pctx ||
1455 !EVP_PKEY_sign_init(pctx.get()) ||
1456 !EVP_PKEY_sign(pctx.get(), ptr, &sig_len, digest, digest_len)) {
Robert Sloana27a6a42017-09-05 08:39:28 -07001457 return ssl_hs_error;
Robert Sloane56da3e2017-06-26 08:26:42 -07001458 }
1459 } else {
Robert Sloan921ef2c2017-10-17 09:02:20 -07001460 switch (ssl_private_key_sign(hs, ptr, &sig_len, max_sig_len,
1461 signature_algorithm,
1462 hs->transcript.buffer())) {
Robert Sloane56da3e2017-06-26 08:26:42 -07001463 case ssl_private_key_success:
1464 break;
1465 case ssl_private_key_failure:
Robert Sloana27a6a42017-09-05 08:39:28 -07001466 return ssl_hs_error;
Robert Sloane56da3e2017-06-26 08:26:42 -07001467 case ssl_private_key_retry:
Robert Sloana27a6a42017-09-05 08:39:28 -07001468 hs->state = state_send_client_certificate_verify;
1469 return ssl_hs_private_key_operation;
Robert Sloane56da3e2017-06-26 08:26:42 -07001470 }
Adam Langley4139edb2016-01-13 15:00:54 -08001471 }
1472
Adam Langley4139edb2016-01-13 15:00:54 -08001473 if (!CBB_did_write(&child, sig_len) ||
Robert Sloana12bf462017-07-17 07:08:26 -07001474 !ssl_add_message_cbb(ssl, cbb.get())) {
Robert Sloana27a6a42017-09-05 08:39:28 -07001475 return ssl_hs_error;
Adam Langley4139edb2016-01-13 15:00:54 -08001476 }
1477
Robert Sloana27a6a42017-09-05 08:39:28 -07001478 // The handshake buffer is no longer necessary.
Robert Sloanb6d070c2017-07-24 08:40:01 -07001479 hs->transcript.FreeBuffer();
Robert Sloana27a6a42017-09-05 08:39:28 -07001480
1481 hs->state = state_send_client_finished;
1482 return ssl_hs_ok;
Adam Langleyd9e397b2015-01-22 14:27:53 -08001483}
1484
Robert Sloana27a6a42017-09-05 08:39:28 -07001485static enum ssl_hs_wait_t do_send_client_finished(SSL_HANDSHAKE *hs) {
David Benjamin1b249672016-12-06 18:25:50 -05001486 SSL *const ssl = hs->ssl;
Robert Sloana27a6a42017-09-05 08:39:28 -07001487 // Resolve Channel ID first, before any non-idempotent operations.
1488 if (ssl->s3->tlsext_channel_id_valid) {
1489 if (!ssl_do_channel_id_callback(ssl)) {
1490 return ssl_hs_error;
1491 }
Kenny Root03bcf612015-11-05 20:20:27 +00001492
Robert Sloana27a6a42017-09-05 08:39:28 -07001493 if (ssl->tlsext_channel_id_private == NULL) {
1494 hs->state = state_send_client_finished;
1495 return ssl_hs_channel_id_lookup;
1496 }
Adam Langleyfdeb4882015-10-30 13:15:30 -07001497 }
Adam Langleyfdeb4882015-10-30 13:15:30 -07001498
Robert Sloana27a6a42017-09-05 08:39:28 -07001499 if (!ssl->method->add_change_cipher_spec(ssl) ||
Robert Sloan2e9e66a2017-09-25 09:08:29 -07001500 !tls1_change_cipher_state(hs, evp_aead_seal)) {
Robert Sloana27a6a42017-09-05 08:39:28 -07001501 return ssl_hs_error;
1502 }
1503
1504 if (hs->next_proto_neg_seen) {
1505 static const uint8_t kZero[32] = {0};
Robert Sloan29c1d2c2017-10-30 14:10:28 -07001506 size_t padding_len =
1507 32 - ((ssl->s3->next_proto_negotiated.size() + 2) % 32);
Robert Sloana27a6a42017-09-05 08:39:28 -07001508
1509 ScopedCBB cbb;
1510 CBB body, child;
1511 if (!ssl->method->init_message(ssl, cbb.get(), &body, SSL3_MT_NEXT_PROTO) ||
1512 !CBB_add_u8_length_prefixed(&body, &child) ||
Robert Sloan29c1d2c2017-10-30 14:10:28 -07001513 !CBB_add_bytes(&child, ssl->s3->next_proto_negotiated.data(),
1514 ssl->s3->next_proto_negotiated.size()) ||
Robert Sloana27a6a42017-09-05 08:39:28 -07001515 !CBB_add_u8_length_prefixed(&body, &child) ||
1516 !CBB_add_bytes(&child, kZero, padding_len) ||
1517 !ssl_add_message_cbb(ssl, cbb.get())) {
1518 OPENSSL_PUT_ERROR(SSL, ERR_R_INTERNAL_ERROR);
1519 return ssl_hs_error;
1520 }
1521 }
1522
1523 if (ssl->s3->tlsext_channel_id_valid) {
1524 ScopedCBB cbb;
1525 CBB body;
1526 if (!ssl->method->init_message(ssl, cbb.get(), &body, SSL3_MT_CHANNEL_ID) ||
1527 !tls1_write_channel_id(hs, &body) ||
1528 !ssl_add_message_cbb(ssl, cbb.get())) {
1529 OPENSSL_PUT_ERROR(SSL, ERR_R_INTERNAL_ERROR);
1530 return ssl_hs_error;
1531 }
1532 }
1533
Robert Sloan921ef2c2017-10-17 09:02:20 -07001534 if (!ssl_send_finished(hs)) {
Robert Sloana27a6a42017-09-05 08:39:28 -07001535 return ssl_hs_error;
1536 }
1537
1538 hs->state = state_finish_flight;
1539 return ssl_hs_flush;
Kenny Roote99801b2015-11-06 15:31:15 -08001540}
1541
Robert Sloan921ef2c2017-10-17 09:02:20 -07001542static bool can_false_start(const SSL_HANDSHAKE *hs) {
1543 SSL *const ssl = hs->ssl;
1544
Robert Sloancd79cde2017-12-11 09:06:12 -08001545 // False Start only for TLS 1.2 with an ECDHE+AEAD cipher.
1546 if (SSL_is_dtls(ssl) ||
1547 SSL_version(ssl) != TLS1_2_VERSION ||
1548 hs->new_cipher->algorithm_mkey != SSL_kECDHE ||
1549 hs->new_cipher->algorithm_mac != SSL_AEAD) {
1550 return false;
1551 }
1552
1553 // Additionally require ALPN or NPN by default.
1554 //
1555 // TODO(davidben): Can this constraint be relaxed globally now that cipher
1556 // suite requirements have been relaxed?
1557 if (!ssl->ctx->false_start_allowed_without_alpn &&
1558 ssl->s3->alpn_selected.empty() &&
1559 ssl->s3->next_proto_negotiated.empty()) {
1560 return false;
1561 }
1562
1563 return true;
Robert Sloan921ef2c2017-10-17 09:02:20 -07001564}
1565
Robert Sloana27a6a42017-09-05 08:39:28 -07001566static enum ssl_hs_wait_t do_finish_flight(SSL_HANDSHAKE *hs) {
David Benjamin1b249672016-12-06 18:25:50 -05001567 SSL *const ssl = hs->ssl;
Robert Sloana27a6a42017-09-05 08:39:28 -07001568 if (ssl->session != NULL) {
1569 hs->state = state_finish_client_handshake;
1570 return ssl_hs_ok;
Kenny Roote99801b2015-11-06 15:31:15 -08001571 }
1572
Robert Sloana27a6a42017-09-05 08:39:28 -07001573 // This is a full handshake. If it involves ChannelID, then record the
1574 // handshake hashes at this point in the session so that any resumption of
1575 // this session with ChannelID can sign those hashes.
1576 if (!tls1_record_handshake_hashes_for_channel_id(hs)) {
1577 return ssl_hs_error;
Kenny Roote99801b2015-11-06 15:31:15 -08001578 }
Kenny Roote99801b2015-11-06 15:31:15 -08001579
Robert Sloana27a6a42017-09-05 08:39:28 -07001580 hs->state = state_read_session_ticket;
1581
1582 if ((SSL_get_mode(ssl) & SSL_MODE_ENABLE_FALSE_START) &&
Robert Sloan921ef2c2017-10-17 09:02:20 -07001583 can_false_start(hs) &&
Robert Sloana27a6a42017-09-05 08:39:28 -07001584 // No False Start on renegotiation (would complicate the state machine).
1585 !ssl->s3->initial_handshake_complete) {
1586 hs->in_false_start = true;
1587 hs->can_early_write = true;
1588 return ssl_hs_early_return;
Kenny Roota04d78d2015-09-25 00:26:37 +00001589 }
Kenny Rootb8494592015-09-25 02:29:14 +00001590
Robert Sloana27a6a42017-09-05 08:39:28 -07001591 return ssl_hs_ok;
Adam Langleyd9e397b2015-01-22 14:27:53 -08001592}
1593
Robert Sloana27a6a42017-09-05 08:39:28 -07001594static enum ssl_hs_wait_t do_read_session_ticket(SSL_HANDSHAKE *hs) {
David Benjamin1b249672016-12-06 18:25:50 -05001595 SSL *const ssl = hs->ssl;
Robert Sloana27a6a42017-09-05 08:39:28 -07001596
1597 if (!hs->ticket_expected) {
1598 hs->state = state_process_change_cipher_spec;
1599 return ssl_hs_read_change_cipher_spec;
1600 }
1601
Robert Sloan84377092017-08-14 09:33:19 -07001602 SSLMessage msg;
Robert Sloana27a6a42017-09-05 08:39:28 -07001603 if (!ssl->method->get_message(ssl, &msg)) {
1604 return ssl_hs_read_message;
Adam Langleyd9e397b2015-01-22 14:27:53 -08001605 }
David Benjamin4969cc92016-04-22 15:02:23 -04001606
Robert Sloan84377092017-08-14 09:33:19 -07001607 if (!ssl_check_message_type(ssl, msg, SSL3_MT_NEW_SESSION_TICKET) ||
1608 !ssl_hash_message(hs, msg)) {
Robert Sloana27a6a42017-09-05 08:39:28 -07001609 return ssl_hs_error;
Robert Sloan4d1ac502017-02-06 08:36:14 -08001610 }
1611
Robert Sloan84377092017-08-14 09:33:19 -07001612 CBS new_session_ticket = msg.body, ticket;
David Benjaminc895d6b2016-08-11 13:26:41 -04001613 uint32_t tlsext_tick_lifetime_hint;
David Benjaminc895d6b2016-08-11 13:26:41 -04001614 if (!CBS_get_u32(&new_session_ticket, &tlsext_tick_lifetime_hint) ||
David Benjamin6e899c72016-06-09 18:02:18 -04001615 !CBS_get_u16_length_prefixed(&new_session_ticket, &ticket) ||
1616 CBS_len(&new_session_ticket) != 0) {
Robert Sloan921ef2c2017-10-17 09:02:20 -07001617 ssl_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
David Benjamin6e899c72016-06-09 18:02:18 -04001618 OPENSSL_PUT_ERROR(SSL, SSL_R_DECODE_ERROR);
Robert Sloana27a6a42017-09-05 08:39:28 -07001619 return ssl_hs_error;
David Benjamin4969cc92016-04-22 15:02:23 -04001620 }
1621
David Benjamin6e899c72016-06-09 18:02:18 -04001622 if (CBS_len(&ticket) == 0) {
Robert Sloana27a6a42017-09-05 08:39:28 -07001623 // RFC 5077 allows a server to change its mind and send no ticket after
1624 // negotiating the extension. The value of |ticket_expected| is checked in
1625 // |ssl_update_cache| so is cleared here to avoid an unnecessary update.
1626 hs->ticket_expected = false;
Robert Sloan84377092017-08-14 09:33:19 -07001627 ssl->method->next_message(ssl);
Robert Sloana27a6a42017-09-05 08:39:28 -07001628 hs->state = state_process_change_cipher_spec;
1629 return ssl_hs_read_change_cipher_spec;
David Benjamin6e899c72016-06-09 18:02:18 -04001630 }
1631
Robert Sloanb6d070c2017-07-24 08:40:01 -07001632 SSL_SESSION *session = hs->new_session.get();
1633 UniquePtr<SSL_SESSION> renewed_session;
1634 if (ssl->session != NULL) {
Robert Sloana27a6a42017-09-05 08:39:28 -07001635 // The server is sending a new ticket for an existing session. Sessions are
1636 // immutable once established, so duplicate all but the ticket of the
1637 // existing session.
Robert Sloanb6d070c2017-07-24 08:40:01 -07001638 renewed_session =
1639 SSL_SESSION_dup(ssl->session, SSL_SESSION_INCLUDE_NONAUTH);
1640 if (!renewed_session) {
Robert Sloana27a6a42017-09-05 08:39:28 -07001641 // This should never happen.
David Benjamin6e899c72016-06-09 18:02:18 -04001642 OPENSSL_PUT_ERROR(SSL, ERR_R_INTERNAL_ERROR);
Robert Sloana27a6a42017-09-05 08:39:28 -07001643 return ssl_hs_error;
David Benjamin6e899c72016-06-09 18:02:18 -04001644 }
Robert Sloanb6d070c2017-07-24 08:40:01 -07001645 session = renewed_session.get();
David Benjamin6e899c72016-06-09 18:02:18 -04001646 }
1647
Robert Sloana27a6a42017-09-05 08:39:28 -07001648 // |tlsext_tick_lifetime_hint| is measured from when the ticket was issued.
Robert Sloan4d1ac502017-02-06 08:36:14 -08001649 ssl_session_rebase_time(ssl, session);
Steven Valdez909b19f2016-11-21 15:35:44 -05001650
David Benjaminc895d6b2016-08-11 13:26:41 -04001651 if (!CBS_stow(&ticket, &session->tlsext_tick, &session->tlsext_ticklen)) {
David Benjamin6e899c72016-06-09 18:02:18 -04001652 OPENSSL_PUT_ERROR(SSL, ERR_R_MALLOC_FAILURE);
Robert Sloana27a6a42017-09-05 08:39:28 -07001653 return ssl_hs_error;
David Benjamin6e899c72016-06-09 18:02:18 -04001654 }
David Benjaminc895d6b2016-08-11 13:26:41 -04001655 session->tlsext_tick_lifetime_hint = tlsext_tick_lifetime_hint;
David Benjamin6e899c72016-06-09 18:02:18 -04001656
Robert Sloana27a6a42017-09-05 08:39:28 -07001657 // Generate a session ID for this session based on the session ticket. We use
1658 // the session ID mechanism for detecting ticket resumption. This also fits in
1659 // with assumptions elsewhere in OpenSSL.
David Benjaminc895d6b2016-08-11 13:26:41 -04001660 if (!EVP_Digest(CBS_data(&ticket), CBS_len(&ticket),
1661 session->session_id, &session->session_id_length,
1662 EVP_sha256(), NULL)) {
Robert Sloana27a6a42017-09-05 08:39:28 -07001663 return ssl_hs_error;
David Benjamin6e899c72016-06-09 18:02:18 -04001664 }
1665
Robert Sloanb6d070c2017-07-24 08:40:01 -07001666 if (renewed_session) {
David Benjaminc895d6b2016-08-11 13:26:41 -04001667 session->not_resumable = 0;
1668 SSL_SESSION_free(ssl->session);
Robert Sloanb6d070c2017-07-24 08:40:01 -07001669 ssl->session = renewed_session.release();
David Benjaminc895d6b2016-08-11 13:26:41 -04001670 }
1671
Robert Sloan84377092017-08-14 09:33:19 -07001672 ssl->method->next_message(ssl);
Robert Sloana27a6a42017-09-05 08:39:28 -07001673 hs->state = state_process_change_cipher_spec;
1674 return ssl_hs_read_change_cipher_spec;
Kenny Rootb8494592015-09-25 02:29:14 +00001675}
Robert Sloanb6d070c2017-07-24 08:40:01 -07001676
Robert Sloana27a6a42017-09-05 08:39:28 -07001677static enum ssl_hs_wait_t do_process_change_cipher_spec(SSL_HANDSHAKE *hs) {
Robert Sloan2e9e66a2017-09-25 09:08:29 -07001678 if (!tls1_change_cipher_state(hs, evp_aead_open)) {
Robert Sloana27a6a42017-09-05 08:39:28 -07001679 return ssl_hs_error;
1680 }
1681
1682 hs->state = state_read_server_finished;
1683 return ssl_hs_ok;
1684}
1685
1686static enum ssl_hs_wait_t do_read_server_finished(SSL_HANDSHAKE *hs) {
1687 SSL *const ssl = hs->ssl;
1688 enum ssl_hs_wait_t wait = ssl_get_finished(hs);
1689 if (wait != ssl_hs_ok) {
1690 return wait;
1691 }
1692
1693 if (ssl->session != NULL) {
1694 hs->state = state_send_client_finished;
1695 return ssl_hs_ok;
1696 }
1697
1698 hs->state = state_finish_client_handshake;
1699 return ssl_hs_ok;
1700}
1701
1702static enum ssl_hs_wait_t do_finish_client_handshake(SSL_HANDSHAKE *hs) {
1703 SSL *const ssl = hs->ssl;
1704
1705 ssl->method->on_handshake_complete(ssl);
1706
Robert Sloana27a6a42017-09-05 08:39:28 -07001707 if (ssl->session != NULL) {
1708 SSL_SESSION_up_ref(ssl->session);
Robert Sloan29c1d2c2017-10-30 14:10:28 -07001709 ssl->s3->established_session.reset(ssl->session);
Robert Sloana27a6a42017-09-05 08:39:28 -07001710 } else {
1711 // We make a copy of the session in order to maintain the immutability
1712 // of the new established_session due to False Start. The caller may
1713 // have taken a reference to the temporary session.
1714 ssl->s3->established_session =
Robert Sloan29c1d2c2017-10-30 14:10:28 -07001715 SSL_SESSION_dup(hs->new_session.get(), SSL_SESSION_DUP_ALL);
1716 if (!ssl->s3->established_session) {
Robert Sloana27a6a42017-09-05 08:39:28 -07001717 return ssl_hs_error;
1718 }
1719 // Renegotiations do not participate in session resumption.
1720 if (!ssl->s3->initial_handshake_complete) {
1721 ssl->s3->established_session->not_resumable = 0;
1722 }
1723
1724 hs->new_session.reset();
1725 }
1726
1727 hs->handshake_finalized = true;
1728 ssl->s3->initial_handshake_complete = true;
1729 ssl_update_cache(hs, SSL_SESS_CACHE_CLIENT);
1730
1731 hs->state = state_done;
1732 return ssl_hs_ok;
1733}
1734
1735enum ssl_hs_wait_t ssl_client_handshake(SSL_HANDSHAKE *hs) {
1736 while (hs->state != state_done) {
1737 enum ssl_hs_wait_t ret = ssl_hs_error;
1738 enum ssl_client_hs_state_t state =
1739 static_cast<enum ssl_client_hs_state_t>(hs->state);
1740 switch (state) {
1741 case state_start_connect:
1742 ret = do_start_connect(hs);
1743 break;
1744 case state_enter_early_data:
1745 ret = do_enter_early_data(hs);
1746 break;
1747 case state_read_hello_verify_request:
1748 ret = do_read_hello_verify_request(hs);
1749 break;
1750 case state_read_server_hello:
1751 ret = do_read_server_hello(hs);
1752 break;
1753 case state_tls13:
1754 ret = do_tls13(hs);
1755 break;
1756 case state_read_server_certificate:
1757 ret = do_read_server_certificate(hs);
1758 break;
1759 case state_read_certificate_status:
1760 ret = do_read_certificate_status(hs);
1761 break;
1762 case state_verify_server_certificate:
1763 ret = do_verify_server_certificate(hs);
1764 break;
1765 case state_read_server_key_exchange:
1766 ret = do_read_server_key_exchange(hs);
1767 break;
1768 case state_read_certificate_request:
1769 ret = do_read_certificate_request(hs);
1770 break;
1771 case state_read_server_hello_done:
1772 ret = do_read_server_hello_done(hs);
1773 break;
1774 case state_send_client_certificate:
1775 ret = do_send_client_certificate(hs);
1776 break;
1777 case state_send_client_key_exchange:
1778 ret = do_send_client_key_exchange(hs);
1779 break;
1780 case state_send_client_certificate_verify:
1781 ret = do_send_client_certificate_verify(hs);
1782 break;
1783 case state_send_client_finished:
1784 ret = do_send_client_finished(hs);
1785 break;
1786 case state_finish_flight:
1787 ret = do_finish_flight(hs);
1788 break;
1789 case state_read_session_ticket:
1790 ret = do_read_session_ticket(hs);
1791 break;
1792 case state_process_change_cipher_spec:
1793 ret = do_process_change_cipher_spec(hs);
1794 break;
1795 case state_read_server_finished:
1796 ret = do_read_server_finished(hs);
1797 break;
1798 case state_finish_client_handshake:
1799 ret = do_finish_client_handshake(hs);
1800 break;
1801 case state_done:
1802 ret = ssl_hs_ok;
1803 break;
1804 }
1805
1806 if (hs->state != state) {
1807 ssl_do_info_callback(hs->ssl, SSL_CB_CONNECT_LOOP, 1);
1808 }
1809
1810 if (ret != ssl_hs_ok) {
1811 return ret;
1812 }
1813 }
1814
1815 ssl_do_info_callback(hs->ssl, SSL_CB_HANDSHAKE_DONE, 1);
1816 return ssl_hs_ok;
1817}
1818
1819const char *ssl_client_handshake_state(SSL_HANDSHAKE *hs) {
1820 enum ssl_client_hs_state_t state =
1821 static_cast<enum ssl_client_hs_state_t>(hs->state);
1822 switch (state) {
1823 case state_start_connect:
1824 return "TLS client start_connect";
1825 case state_enter_early_data:
1826 return "TLS client enter_early_data";
1827 case state_read_hello_verify_request:
1828 return "TLS client read_hello_verify_request";
1829 case state_read_server_hello:
1830 return "TLS client read_server_hello";
1831 case state_tls13:
1832 return tls13_client_handshake_state(hs);
1833 case state_read_server_certificate:
1834 return "TLS client read_server_certificate";
1835 case state_read_certificate_status:
1836 return "TLS client read_certificate_status";
1837 case state_verify_server_certificate:
1838 return "TLS client verify_server_certificate";
1839 case state_read_server_key_exchange:
1840 return "TLS client read_server_key_exchange";
1841 case state_read_certificate_request:
1842 return "TLS client read_certificate_request";
1843 case state_read_server_hello_done:
1844 return "TLS client read_server_hello_done";
1845 case state_send_client_certificate:
1846 return "TLS client send_client_certificate";
1847 case state_send_client_key_exchange:
1848 return "TLS client send_client_key_exchange";
1849 case state_send_client_certificate_verify:
1850 return "TLS client send_client_certificate_verify";
1851 case state_send_client_finished:
1852 return "TLS client send_client_finished";
1853 case state_finish_flight:
1854 return "TLS client finish_flight";
1855 case state_read_session_ticket:
1856 return "TLS client read_session_ticket";
1857 case state_process_change_cipher_spec:
1858 return "TLS client process_change_cipher_spec";
1859 case state_read_server_finished:
1860 return "TLS client read_server_finished";
1861 case state_finish_client_handshake:
1862 return "TLS client finish_client_handshake";
1863 case state_done:
1864 return "TLS client done";
1865 }
1866
1867 return "TLS client unknown";
1868}
1869
1870}