blob: e334a6c6584fedbcffc3290917efbeef41de2182 [file] [log] [blame]
Steven Valdez143e8b32016-07-11 13:19:03 -04001/* Copyright (c) 2016, Google Inc.
2 *
3 * Permission to use, copy, modify, and/or distribute this software for any
4 * purpose with or without fee is hereby granted, provided that the above
5 * copyright notice and this permission notice appear in all copies.
6 *
7 * THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
8 * WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
9 * MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY
10 * SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
11 * WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN ACTION
12 * OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF OR IN
13 * CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE. */
14
15#include <openssl/ssl.h>
16
17#include <assert.h>
18#include <string.h>
19
20#include <openssl/bytestring.h>
21#include <openssl/err.h>
22#include <openssl/hkdf.h>
23#include <openssl/mem.h>
24#include <openssl/stack.h>
25#include <openssl/x509.h>
Steven Valdez143e8b32016-07-11 13:19:03 -040026
David Benjaminffb11072016-11-13 10:32:10 +090027#include "../crypto/internal.h"
Steven Valdez143e8b32016-07-11 13:19:03 -040028#include "internal.h"
29
30
Steven Valdez32635b82016-08-16 11:25:03 -040031/* kMaxKeyUpdates is the number of consecutive KeyUpdates that will be
32 * processed. Without this limit an attacker could force unbounded processing
33 * without being able to return application data. */
34static const uint8_t kMaxKeyUpdates = 32;
35
David Benjaminc3c88822016-11-14 10:32:04 +090036int tls13_handshake(SSL_HANDSHAKE *hs) {
37 SSL *const ssl = hs->ssl;
Steven Valdez143e8b32016-07-11 13:19:03 -040038 for (;;) {
39 /* Resolve the operation the handshake was waiting on. */
40 switch (hs->wait) {
41 case ssl_hs_error:
42 OPENSSL_PUT_ERROR(SSL, SSL_R_SSL_HANDSHAKE_FAILURE);
43 return -1;
44
David Benjaminf2401eb2016-07-18 22:25:05 +020045 case ssl_hs_flush:
46 case ssl_hs_flush_and_read_message: {
David Benjamin8d5f9da2017-01-01 17:41:30 -050047 int ret = ssl->method->flush_flight(ssl);
David Benjaminf2401eb2016-07-18 22:25:05 +020048 if (ret <= 0) {
David Benjaminf2401eb2016-07-18 22:25:05 +020049 return ret;
50 }
51 if (hs->wait != ssl_hs_flush_and_read_message) {
52 break;
53 }
David Benjamin613fe3b2016-07-22 17:39:29 +020054 ssl->method->expect_flight(ssl);
David Benjaminf2401eb2016-07-18 22:25:05 +020055 hs->wait = ssl_hs_read_message;
56 /* Fall-through. */
57 }
58
Steven Valdez143e8b32016-07-11 13:19:03 -040059 case ssl_hs_read_message: {
David Benjaminf71036e2017-01-21 14:49:39 -050060 int ret = ssl->method->ssl_get_message(ssl);
Steven Valdez143e8b32016-07-11 13:19:03 -040061 if (ret <= 0) {
62 return ret;
63 }
64 break;
65 }
66
Steven Valdez2d850622017-01-11 11:34:52 -050067 case ssl_hs_read_end_of_early_data: {
68 int ret = ssl->method->read_end_of_early_data(ssl);
69 if (ret <= 0) {
70 return ret;
71 }
72 break;
73 }
74
Steven Valdez143e8b32016-07-11 13:19:03 -040075 case ssl_hs_x509_lookup:
76 ssl->rwstate = SSL_X509_LOOKUP;
77 hs->wait = ssl_hs_ok;
78 return -1;
79
Nick Harper60a85cb2016-09-23 16:25:11 -070080 case ssl_hs_channel_id_lookup:
81 ssl->rwstate = SSL_CHANNEL_ID_LOOKUP;
82 hs->wait = ssl_hs_ok;
83 return -1;
84
Steven Valdez143e8b32016-07-11 13:19:03 -040085 case ssl_hs_private_key_operation:
86 ssl->rwstate = SSL_PRIVATE_KEY_OPERATION;
87 hs->wait = ssl_hs_ok;
88 return -1;
89
David Benjamin707af292017-03-10 17:47:18 -050090 case ssl_hs_pending_ticket:
91 ssl->rwstate = SSL_PENDING_TICKET;
92 hs->wait = ssl_hs_ok;
93 return -1;
94
Steven Valdez143e8b32016-07-11 13:19:03 -040095 case ssl_hs_ok:
96 break;
97 }
98
99 /* Run the state machine again. */
David Benjaminc3c88822016-11-14 10:32:04 +0900100 hs->wait = hs->do_tls13_handshake(hs);
Steven Valdez143e8b32016-07-11 13:19:03 -0400101 if (hs->wait == ssl_hs_error) {
102 /* Don't loop around to avoid a stray |SSL_R_SSL_HANDSHAKE_FAILURE| the
103 * first time around. */
104 return -1;
105 }
106 if (hs->wait == ssl_hs_ok) {
107 /* The handshake has completed. */
108 return 1;
109 }
110
111 /* Otherwise, loop to the beginning and resolve what was blocking the
112 * handshake. */
113 }
114}
115
Nick Harper60a85cb2016-09-23 16:25:11 -0700116int tls13_get_cert_verify_signature_input(
Steven Valdez908ac192017-01-12 13:17:07 -0500117 SSL_HANDSHAKE *hs, uint8_t **out, size_t *out_len,
Nick Harper60a85cb2016-09-23 16:25:11 -0700118 enum ssl_cert_verify_context_t cert_verify_context) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400119 CBB cbb;
120 if (!CBB_init(&cbb, 64 + 33 + 1 + 2 * EVP_MAX_MD_SIZE)) {
121 goto err;
122 }
123
124 for (size_t i = 0; i < 64; i++) {
125 if (!CBB_add_u8(&cbb, 0x20)) {
126 goto err;
127 }
128 }
129
Nick Harper60a85cb2016-09-23 16:25:11 -0700130 const uint8_t *context;
131 size_t context_len;
132 if (cert_verify_context == ssl_cert_verify_server) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400133 /* Include the NUL byte. */
134 static const char kContext[] = "TLS 1.3, server CertificateVerify";
Nick Harper60a85cb2016-09-23 16:25:11 -0700135 context = (const uint8_t *)kContext;
136 context_len = sizeof(kContext);
137 } else if (cert_verify_context == ssl_cert_verify_client) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400138 static const char kContext[] = "TLS 1.3, client CertificateVerify";
Nick Harper60a85cb2016-09-23 16:25:11 -0700139 context = (const uint8_t *)kContext;
140 context_len = sizeof(kContext);
141 } else if (cert_verify_context == ssl_cert_verify_channel_id) {
142 static const char kContext[] = "TLS 1.3, Channel ID";
143 context = (const uint8_t *)kContext;
144 context_len = sizeof(kContext);
145 } else {
146 goto err;
147 }
148
149 if (!CBB_add_bytes(&cbb, context, context_len)) {
150 goto err;
Steven Valdez143e8b32016-07-11 13:19:03 -0400151 }
152
Steven Valdeza833c352016-11-01 13:39:36 -0400153 uint8_t context_hash[EVP_MAX_MD_SIZE];
154 size_t context_hash_len;
Steven Valdez908ac192017-01-12 13:17:07 -0500155 if (!SSL_TRANSCRIPT_get_hash(&hs->transcript, context_hash,
156 &context_hash_len) ||
Steven Valdeza833c352016-11-01 13:39:36 -0400157 !CBB_add_bytes(&cbb, context_hash, context_hash_len) ||
Steven Valdez143e8b32016-07-11 13:19:03 -0400158 !CBB_finish(&cbb, out, out_len)) {
159 goto err;
160 }
161
162 return 1;
163
164err:
165 OPENSSL_PUT_ERROR(SSL, ERR_R_MALLOC_FAILURE);
166 CBB_cleanup(&cbb);
167 return 0;
168}
169
Adam Langley0c294252016-12-12 11:46:09 -0800170int tls13_process_certificate(SSL_HANDSHAKE *hs, int allow_anonymous) {
171 SSL *const ssl = hs->ssl;
Steven Valdeza833c352016-11-01 13:39:36 -0400172 CBS cbs, context, certificate_list;
Steven Valdez143e8b32016-07-11 13:19:03 -0400173 CBS_init(&cbs, ssl->init_msg, ssl->init_num);
174 if (!CBS_get_u8_length_prefixed(&cbs, &context) ||
175 CBS_len(&context) != 0) {
176 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
177 OPENSSL_PUT_ERROR(SSL, SSL_R_DECODE_ERROR);
178 return 0;
179 }
180
David Benjamin4087df92016-08-01 20:16:31 -0400181 const int retain_sha256 =
David Benjaminbbaf3672016-11-17 10:53:09 +0900182 ssl->server && ssl->retain_only_sha256_of_client_certs;
Steven Valdez143e8b32016-07-11 13:19:03 -0400183 int ret = 0;
Steven Valdeza833c352016-11-01 13:39:36 -0400184
Adam Langley0c294252016-12-12 11:46:09 -0800185 EVP_PKEY *pkey = NULL;
Adam Langley68e71242016-12-12 11:06:16 -0800186 STACK_OF(CRYPTO_BUFFER) *certs = sk_CRYPTO_BUFFER_new_null();
187 if (certs == NULL) {
Steven Valdeza833c352016-11-01 13:39:36 -0400188 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
189 OPENSSL_PUT_ERROR(SSL, ERR_R_MALLOC_FAILURE);
Steven Valdez143e8b32016-07-11 13:19:03 -0400190 goto err;
191 }
192
Steven Valdeza833c352016-11-01 13:39:36 -0400193 if (!CBS_get_u24_length_prefixed(&cbs, &certificate_list)) {
194 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
195 OPENSSL_PUT_ERROR(SSL, SSL_R_DECODE_ERROR);
196 goto err;
197 }
198
199 while (CBS_len(&certificate_list) > 0) {
200 CBS certificate, extensions;
201 if (!CBS_get_u24_length_prefixed(&certificate_list, &certificate) ||
Adam Langley68e71242016-12-12 11:06:16 -0800202 !CBS_get_u16_length_prefixed(&certificate_list, &extensions) ||
203 CBS_len(&certificate) == 0) {
Steven Valdeza833c352016-11-01 13:39:36 -0400204 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
205 OPENSSL_PUT_ERROR(SSL, SSL_R_CERT_LENGTH_MISMATCH);
206 goto err;
207 }
208
Adam Langley0c294252016-12-12 11:46:09 -0800209 if (sk_CRYPTO_BUFFER_num(certs) == 0) {
210 pkey = ssl_cert_parse_pubkey(&certificate);
211 if (pkey == NULL) {
212 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
213 OPENSSL_PUT_ERROR(SSL, SSL_R_DECODE_ERROR);
214 goto err;
215 }
Adam Langleya4b91982016-12-12 12:05:53 -0800216 /* TLS 1.3 always uses certificate keys for signing thus the correct
217 * keyUsage is enforced. */
218 if (!ssl_cert_check_digital_signature_key_usage(&certificate)) {
219 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_ILLEGAL_PARAMETER);
220 goto err;
221 }
Adam Langley0c294252016-12-12 11:46:09 -0800222
223 if (retain_sha256) {
224 /* Retain the hash of the leaf certificate if requested. */
225 SHA256(CBS_data(&certificate), CBS_len(&certificate),
David Benjamin45738dd2017-02-09 20:01:26 -0500226 hs->new_session->peer_sha256);
Adam Langley0c294252016-12-12 11:46:09 -0800227 }
Steven Valdeza833c352016-11-01 13:39:36 -0400228 }
229
Adam Langleyd519bf62016-12-12 11:16:44 -0800230 CRYPTO_BUFFER *buf =
231 CRYPTO_BUFFER_new_from_CBS(&certificate, ssl->ctx->pool);
Adam Langley68e71242016-12-12 11:06:16 -0800232 if (buf == NULL ||
233 !sk_CRYPTO_BUFFER_push(certs, buf)) {
234 CRYPTO_BUFFER_free(buf);
Adam Langleye8509092016-11-07 14:24:33 -0800235 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
236 OPENSSL_PUT_ERROR(SSL, ERR_R_MALLOC_FAILURE);
Steven Valdeza833c352016-11-01 13:39:36 -0400237 goto err;
238 }
239
240 /* Parse out the extensions. */
241 int have_status_request = 0, have_sct = 0;
242 CBS status_request, sct;
David Benjaminffb11072016-11-13 10:32:10 +0900243 const SSL_EXTENSION_TYPE ext_types[] = {
244 {TLSEXT_TYPE_status_request, &have_status_request, &status_request},
245 {TLSEXT_TYPE_certificate_timestamp, &have_sct, &sct},
246 };
Steven Valdeza833c352016-11-01 13:39:36 -0400247
Adam Langleyc68e5b92017-02-08 13:33:15 -0800248 uint8_t alert = SSL_AD_DECODE_ERROR;
David Benjaminffb11072016-11-13 10:32:10 +0900249 if (!ssl_parse_extensions(&extensions, &alert, ext_types,
Steven Valdez08b65f42016-12-07 15:29:45 -0500250 OPENSSL_ARRAY_SIZE(ext_types),
251 0 /* reject unknown */)) {
David Benjaminffb11072016-11-13 10:32:10 +0900252 ssl3_send_alert(ssl, SSL3_AL_FATAL, alert);
253 goto err;
Steven Valdeza833c352016-11-01 13:39:36 -0400254 }
255
256 /* All Certificate extensions are parsed, but only the leaf extensions are
257 * stored. */
258 if (have_status_request) {
259 if (ssl->server || !ssl->ocsp_stapling_enabled) {
260 OPENSSL_PUT_ERROR(SSL, SSL_R_UNEXPECTED_EXTENSION);
261 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_UNSUPPORTED_EXTENSION);
262 goto err;
263 }
264
265 uint8_t status_type;
266 CBS ocsp_response;
267 if (!CBS_get_u8(&status_request, &status_type) ||
268 status_type != TLSEXT_STATUSTYPE_ocsp ||
269 !CBS_get_u24_length_prefixed(&status_request, &ocsp_response) ||
270 CBS_len(&ocsp_response) == 0 ||
271 CBS_len(&status_request) != 0) {
272 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
273 goto err;
274 }
275
Adam Langley68e71242016-12-12 11:06:16 -0800276 if (sk_CRYPTO_BUFFER_num(certs) == 1 &&
David Benjamin45738dd2017-02-09 20:01:26 -0500277 !CBS_stow(&ocsp_response, &hs->new_session->ocsp_response,
278 &hs->new_session->ocsp_response_length)) {
Steven Valdeza833c352016-11-01 13:39:36 -0400279 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
280 goto err;
281 }
282 }
283
284 if (have_sct) {
285 if (ssl->server || !ssl->signed_cert_timestamps_enabled) {
286 OPENSSL_PUT_ERROR(SSL, SSL_R_UNEXPECTED_EXTENSION);
287 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_UNSUPPORTED_EXTENSION);
288 goto err;
289 }
290
Adam Langleycfa08c32016-11-17 13:21:27 -0800291 if (!ssl_is_sct_list_valid(&sct)) {
292 OPENSSL_PUT_ERROR(SSL, SSL_R_ERROR_PARSING_EXTENSION);
Steven Valdeza833c352016-11-01 13:39:36 -0400293 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
294 goto err;
295 }
296
Adam Langley68e71242016-12-12 11:06:16 -0800297 if (sk_CRYPTO_BUFFER_num(certs) == 1 &&
David Benjamin45738dd2017-02-09 20:01:26 -0500298 !CBS_stow(
299 &sct, &hs->new_session->tlsext_signed_cert_timestamp_list,
300 &hs->new_session->tlsext_signed_cert_timestamp_list_length)) {
Steven Valdeza833c352016-11-01 13:39:36 -0400301 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
302 goto err;
303 }
304 }
305 }
306
Steven Valdez143e8b32016-07-11 13:19:03 -0400307 if (CBS_len(&cbs) != 0) {
308 OPENSSL_PUT_ERROR(SSL, SSL_R_DECODE_ERROR);
309 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
310 goto err;
311 }
312
Adam Langley0c294252016-12-12 11:46:09 -0800313 EVP_PKEY_free(hs->peer_pubkey);
314 hs->peer_pubkey = pkey;
315 pkey = NULL;
316
David Benjamin45738dd2017-02-09 20:01:26 -0500317 sk_CRYPTO_BUFFER_pop_free(hs->new_session->certs, CRYPTO_BUFFER_free);
318 hs->new_session->certs = certs;
Adam Langley68e71242016-12-12 11:06:16 -0800319 certs = NULL;
320
David Benjamin45738dd2017-02-09 20:01:26 -0500321 if (!ssl->ctx->x509_method->session_cache_objects(hs->new_session)) {
Adam Langley68e71242016-12-12 11:06:16 -0800322 OPENSSL_PUT_ERROR(SSL, SSL_R_DECODE_ERROR);
323 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
324 goto err;
325 }
326
David Benjamin45738dd2017-02-09 20:01:26 -0500327 if (sk_CRYPTO_BUFFER_num(hs->new_session->certs) == 0) {
David Benjamin4087df92016-08-01 20:16:31 -0400328 if (!allow_anonymous) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400329 OPENSSL_PUT_ERROR(SSL, SSL_R_PEER_DID_NOT_RETURN_A_CERTIFICATE);
David Benjamin1db9e1b2016-10-07 20:51:43 -0400330 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_CERTIFICATE_REQUIRED);
Steven Valdez143e8b32016-07-11 13:19:03 -0400331 goto err;
332 }
333
Adam Langley37646832016-08-01 16:16:46 -0700334 /* OpenSSL returns X509_V_OK when no certificates are requested. This is
David Benjamindd634eb2016-08-18 16:40:28 -0400335 * classed by them as a bug, but it's assumed by at least NGINX. */
David Benjamin45738dd2017-02-09 20:01:26 -0500336 hs->new_session->verify_result = X509_V_OK;
Adam Langley37646832016-08-01 16:16:46 -0700337
Steven Valdez143e8b32016-07-11 13:19:03 -0400338 /* No certificate, so nothing more to do. */
339 ret = 1;
340 goto err;
341 }
342
David Benjamin45738dd2017-02-09 20:01:26 -0500343 hs->new_session->peer_sha256_valid = retain_sha256;
Steven Valdez143e8b32016-07-11 13:19:03 -0400344
Adam Langley2a3b3432017-02-10 13:56:48 -0800345 if (!ssl->ctx->x509_method->session_verify_cert_chain(hs->new_session,
346 ssl)) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400347 goto err;
348 }
Steven Valdez143e8b32016-07-11 13:19:03 -0400349
Steven Valdez143e8b32016-07-11 13:19:03 -0400350 ret = 1;
351
352err:
Adam Langley68e71242016-12-12 11:06:16 -0800353 sk_CRYPTO_BUFFER_pop_free(certs, CRYPTO_BUFFER_free);
Adam Langley0c294252016-12-12 11:46:09 -0800354 EVP_PKEY_free(pkey);
Steven Valdez143e8b32016-07-11 13:19:03 -0400355 return ret;
356}
357
Adam Langley0c294252016-12-12 11:46:09 -0800358int tls13_process_certificate_verify(SSL_HANDSHAKE *hs) {
359 SSL *const ssl = hs->ssl;
Steven Valdez143e8b32016-07-11 13:19:03 -0400360 int ret = 0;
Steven Valdez143e8b32016-07-11 13:19:03 -0400361 uint8_t *msg = NULL;
362 size_t msg_len;
363
Adam Langley0c294252016-12-12 11:46:09 -0800364 if (hs->peer_pubkey == NULL) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400365 goto err;
366 }
367
368 CBS cbs, signature;
369 uint16_t signature_algorithm;
370 CBS_init(&cbs, ssl->init_msg, ssl->init_num);
371 if (!CBS_get_u16(&cbs, &signature_algorithm) ||
372 !CBS_get_u16_length_prefixed(&cbs, &signature) ||
373 CBS_len(&cbs) != 0) {
374 OPENSSL_PUT_ERROR(SSL, SSL_R_DECODE_ERROR);
375 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
376 goto err;
377 }
378
379 int al;
380 if (!tls12_check_peer_sigalg(ssl, &al, signature_algorithm)) {
381 ssl3_send_alert(ssl, SSL3_AL_FATAL, al);
382 goto err;
383 }
David Benjamin45738dd2017-02-09 20:01:26 -0500384 hs->new_session->peer_signature_algorithm = signature_algorithm;
Steven Valdez143e8b32016-07-11 13:19:03 -0400385
Nick Harper60a85cb2016-09-23 16:25:11 -0700386 if (!tls13_get_cert_verify_signature_input(
Steven Valdez908ac192017-01-12 13:17:07 -0500387 hs, &msg, &msg_len,
Nick Harper60a85cb2016-09-23 16:25:11 -0700388 ssl->server ? ssl_cert_verify_client : ssl_cert_verify_server)) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400389 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
390 goto err;
391 }
392
393 int sig_ok =
394 ssl_public_key_verify(ssl, CBS_data(&signature), CBS_len(&signature),
Adam Langley0c294252016-12-12 11:46:09 -0800395 signature_algorithm, hs->peer_pubkey, msg, msg_len);
David Benjamin04aa6942016-08-19 14:51:10 -0400396#if defined(BORINGSSL_UNSAFE_FUZZER_MODE)
397 sig_ok = 1;
398 ERR_clear_error();
399#endif
Steven Valdez143e8b32016-07-11 13:19:03 -0400400 if (!sig_ok) {
401 OPENSSL_PUT_ERROR(SSL, SSL_R_BAD_SIGNATURE);
402 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECRYPT_ERROR);
403 goto err;
404 }
405
406 ret = 1;
407
408err:
Steven Valdez143e8b32016-07-11 13:19:03 -0400409 OPENSSL_free(msg);
410 return ret;
411}
412
David Benjamin794cc592017-03-25 22:24:23 -0500413int tls13_process_finished(SSL_HANDSHAKE *hs, int use_saved_value) {
David Benjamin6e4fc332016-11-17 16:43:08 +0900414 SSL *const ssl = hs->ssl;
David Benjamin794cc592017-03-25 22:24:23 -0500415 uint8_t verify_data_buf[EVP_MAX_MD_SIZE];
416 const uint8_t *verify_data;
Steven Valdez143e8b32016-07-11 13:19:03 -0400417 size_t verify_data_len;
David Benjamin794cc592017-03-25 22:24:23 -0500418 if (use_saved_value) {
419 assert(ssl->server);
420 verify_data = hs->expected_client_finished;
421 verify_data_len = hs->hash_len;
422 } else {
423 if (!tls13_finished_mac(hs, verify_data_buf, &verify_data_len,
424 !ssl->server)) {
425 return 0;
426 }
427 verify_data = verify_data_buf;
Steven Valdez143e8b32016-07-11 13:19:03 -0400428 }
429
David Benjamin04aa6942016-08-19 14:51:10 -0400430 int finished_ok =
431 ssl->init_num == verify_data_len &&
432 CRYPTO_memcmp(verify_data, ssl->init_msg, verify_data_len) == 0;
433#if defined(BORINGSSL_UNSAFE_FUZZER_MODE)
434 finished_ok = 1;
435#endif
436 if (!finished_ok) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400437 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECRYPT_ERROR);
438 OPENSSL_PUT_ERROR(SSL, SSL_R_DIGEST_CHECK_FAILED);
439 return 0;
440 }
441
442 return 1;
443}
444
David Benjamin0f24bed2017-01-12 19:46:50 -0500445int tls13_add_certificate(SSL_HANDSHAKE *hs) {
David Benjamin6e4fc332016-11-17 16:43:08 +0900446 SSL *const ssl = hs->ssl;
Steven Valdeza833c352016-11-01 13:39:36 -0400447 CBB cbb, body, certificate_list;
Steven Valdez143e8b32016-07-11 13:19:03 -0400448 if (!ssl->method->init_message(ssl, &cbb, &body, SSL3_MT_CERTIFICATE) ||
David Benjamin8a8349b2016-08-18 02:32:23 -0400449 /* The request context is always empty in the handshake. */
450 !CBB_add_u8(&body, 0) ||
Steven Valdeza833c352016-11-01 13:39:36 -0400451 !CBB_add_u24_length_prefixed(&body, &certificate_list)) {
452 OPENSSL_PUT_ERROR(SSL, ERR_R_INTERNAL_ERROR);
453 goto err;
454 }
455
456 if (!ssl_has_certificate(ssl)) {
David Benjamindaf207a2017-01-03 18:37:41 -0500457 if (!ssl_add_message_cbb(ssl, &cbb)) {
Steven Valdeza833c352016-11-01 13:39:36 -0400458 goto err;
459 }
460
461 return 1;
462 }
463
464 CERT *cert = ssl->cert;
Adam Langley3a2b47a2017-01-24 13:59:42 -0800465 CRYPTO_BUFFER *leaf_buf = sk_CRYPTO_BUFFER_value(cert->chain, 0);
Steven Valdeza833c352016-11-01 13:39:36 -0400466 CBB leaf, extensions;
467 if (!CBB_add_u24_length_prefixed(&certificate_list, &leaf) ||
Adam Langley3a2b47a2017-01-24 13:59:42 -0800468 !CBB_add_bytes(&leaf, CRYPTO_BUFFER_data(leaf_buf),
469 CRYPTO_BUFFER_len(leaf_buf)) ||
Steven Valdeza833c352016-11-01 13:39:36 -0400470 !CBB_add_u16_length_prefixed(&certificate_list, &extensions)) {
471 OPENSSL_PUT_ERROR(SSL, ERR_R_INTERNAL_ERROR);
472 goto err;
473 }
474
David Benjamin83a32122017-02-14 18:34:54 -0500475 if (hs->scts_requested && ssl->cert->signed_cert_timestamp_list != NULL) {
Steven Valdeza833c352016-11-01 13:39:36 -0400476 CBB contents;
477 if (!CBB_add_u16(&extensions, TLSEXT_TYPE_certificate_timestamp) ||
478 !CBB_add_u16_length_prefixed(&extensions, &contents) ||
David Benjamin83a32122017-02-14 18:34:54 -0500479 !CBB_add_bytes(
480 &contents,
481 CRYPTO_BUFFER_data(ssl->cert->signed_cert_timestamp_list),
482 CRYPTO_BUFFER_len(ssl->cert->signed_cert_timestamp_list)) ||
Adam Langley6f5f49f2016-11-18 11:05:00 -0800483 !CBB_flush(&extensions)) {
Steven Valdeza833c352016-11-01 13:39:36 -0400484 OPENSSL_PUT_ERROR(SSL, ERR_R_INTERNAL_ERROR);
485 goto err;
486 }
487 }
488
David Benjamin6e4fc332016-11-17 16:43:08 +0900489 if (hs->ocsp_stapling_requested &&
David Benjamin83a32122017-02-14 18:34:54 -0500490 ssl->cert->ocsp_response != NULL) {
Steven Valdeza833c352016-11-01 13:39:36 -0400491 CBB contents, ocsp_response;
492 if (!CBB_add_u16(&extensions, TLSEXT_TYPE_status_request) ||
493 !CBB_add_u16_length_prefixed(&extensions, &contents) ||
494 !CBB_add_u8(&contents, TLSEXT_STATUSTYPE_ocsp) ||
495 !CBB_add_u24_length_prefixed(&contents, &ocsp_response) ||
David Benjamin83a32122017-02-14 18:34:54 -0500496 !CBB_add_bytes(&ocsp_response,
497 CRYPTO_BUFFER_data(ssl->cert->ocsp_response),
498 CRYPTO_BUFFER_len(ssl->cert->ocsp_response)) ||
Adam Langley6f5f49f2016-11-18 11:05:00 -0800499 !CBB_flush(&extensions)) {
Steven Valdeza833c352016-11-01 13:39:36 -0400500 OPENSSL_PUT_ERROR(SSL, ERR_R_INTERNAL_ERROR);
501 goto err;
502 }
503 }
504
Adam Langley3a2b47a2017-01-24 13:59:42 -0800505 for (size_t i = 1; i < sk_CRYPTO_BUFFER_num(cert->chain); i++) {
506 CRYPTO_BUFFER *cert_buf = sk_CRYPTO_BUFFER_value(cert->chain, i);
Steven Valdeza833c352016-11-01 13:39:36 -0400507 CBB child;
508 if (!CBB_add_u24_length_prefixed(&certificate_list, &child) ||
Adam Langley3a2b47a2017-01-24 13:59:42 -0800509 !CBB_add_bytes(&child, CRYPTO_BUFFER_data(cert_buf),
510 CRYPTO_BUFFER_len(cert_buf)) ||
Steven Valdeza833c352016-11-01 13:39:36 -0400511 !CBB_add_u16(&certificate_list, 0 /* no extensions */)) {
512 OPENSSL_PUT_ERROR(SSL, ERR_R_INTERNAL_ERROR);
513 goto err;
514 }
515 }
516
David Benjamindaf207a2017-01-03 18:37:41 -0500517 if (!ssl_add_message_cbb(ssl, &cbb)) {
Steven Valdeza833c352016-11-01 13:39:36 -0400518 goto err;
Steven Valdez143e8b32016-07-11 13:19:03 -0400519 }
520
521 return 1;
Steven Valdeza833c352016-11-01 13:39:36 -0400522
523err:
524 CBB_cleanup(&cbb);
525 return 0;
Steven Valdez143e8b32016-07-11 13:19:03 -0400526}
527
David Benjamin0f24bed2017-01-12 19:46:50 -0500528enum ssl_private_key_result_t tls13_add_certificate_verify(SSL_HANDSHAKE *hs,
529 int is_first_run) {
David Benjamin6e4fc332016-11-17 16:43:08 +0900530 SSL *const ssl = hs->ssl;
Steven Valdez143e8b32016-07-11 13:19:03 -0400531 enum ssl_private_key_result_t ret = ssl_private_key_failure;
532 uint8_t *msg = NULL;
533 size_t msg_len;
534 CBB cbb, body;
535 CBB_zero(&cbb);
536
537 uint16_t signature_algorithm;
David Benjaminf3c8f8d2016-11-17 17:20:47 +0900538 if (!tls1_choose_signature_algorithm(hs, &signature_algorithm)) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400539 goto err;
540 }
541 if (!ssl->method->init_message(ssl, &cbb, &body,
542 SSL3_MT_CERTIFICATE_VERIFY) ||
543 !CBB_add_u16(&body, signature_algorithm)) {
544 OPENSSL_PUT_ERROR(SSL, ERR_R_INTERNAL_ERROR);
545 goto err;
546 }
547
548 /* Sign the digest. */
549 CBB child;
550 const size_t max_sig_len = ssl_private_key_max_signature_len(ssl);
551 uint8_t *sig;
552 size_t sig_len;
553 if (!CBB_add_u16_length_prefixed(&body, &child) ||
554 !CBB_reserve(&child, &sig, max_sig_len)) {
555 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
556 goto err;
557 }
558
559 enum ssl_private_key_result_t sign_result;
560 if (is_first_run) {
Nick Harper60a85cb2016-09-23 16:25:11 -0700561 if (!tls13_get_cert_verify_signature_input(
Steven Valdez908ac192017-01-12 13:17:07 -0500562 hs, &msg, &msg_len,
Nick Harper60a85cb2016-09-23 16:25:11 -0700563 ssl->server ? ssl_cert_verify_server : ssl_cert_verify_client)) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400564 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
565 goto err;
566 }
567 sign_result = ssl_private_key_sign(ssl, sig, &sig_len, max_sig_len,
568 signature_algorithm, msg, msg_len);
569 } else {
570 sign_result = ssl_private_key_complete(ssl, sig, &sig_len, max_sig_len);
571 }
572
573 if (sign_result != ssl_private_key_success) {
574 ret = sign_result;
575 goto err;
576 }
577
578 if (!CBB_did_write(&child, sig_len) ||
David Benjamindaf207a2017-01-03 18:37:41 -0500579 !ssl_add_message_cbb(ssl, &cbb)) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400580 goto err;
581 }
582
583 ret = ssl_private_key_success;
584
585err:
586 CBB_cleanup(&cbb);
587 OPENSSL_free(msg);
588 return ret;
589}
590
David Benjamin0f24bed2017-01-12 19:46:50 -0500591int tls13_add_finished(SSL_HANDSHAKE *hs) {
David Benjamin6e4fc332016-11-17 16:43:08 +0900592 SSL *const ssl = hs->ssl;
Steven Valdez143e8b32016-07-11 13:19:03 -0400593 size_t verify_data_len;
594 uint8_t verify_data[EVP_MAX_MD_SIZE];
595
David Benjamin6e4fc332016-11-17 16:43:08 +0900596 if (!tls13_finished_mac(hs, verify_data, &verify_data_len, ssl->server)) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400597 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
598 OPENSSL_PUT_ERROR(SSL, SSL_R_DIGEST_CHECK_FAILED);
599 return 0;
600 }
601
602 CBB cbb, body;
603 if (!ssl->method->init_message(ssl, &cbb, &body, SSL3_MT_FINISHED) ||
604 !CBB_add_bytes(&body, verify_data, verify_data_len) ||
David Benjamindaf207a2017-01-03 18:37:41 -0500605 !ssl_add_message_cbb(ssl, &cbb)) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400606 CBB_cleanup(&cbb);
607 return 0;
608 }
609
610 return 1;
611}
Steven Valdez8e1c7be2016-07-26 12:39:22 -0400612
Steven Valdez1dc53d22016-07-26 12:27:38 -0400613static int tls13_receive_key_update(SSL *ssl) {
Steven Valdezc4aa7272016-10-03 12:25:56 -0400614 CBS cbs;
615 uint8_t key_update_request;
616 CBS_init(&cbs, ssl->init_msg, ssl->init_num);
617 if (!CBS_get_u8(&cbs, &key_update_request) ||
618 CBS_len(&cbs) != 0 ||
619 (key_update_request != SSL_KEY_UPDATE_NOT_REQUESTED &&
620 key_update_request != SSL_KEY_UPDATE_REQUESTED)) {
Steven Valdez1dc53d22016-07-26 12:27:38 -0400621 OPENSSL_PUT_ERROR(SSL, SSL_R_DECODE_ERROR);
622 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
623 return 0;
624 }
625
Steven Valdezc4aa7272016-10-03 12:25:56 -0400626 /* TODO(svaldez): Send KeyUpdate if |key_update_request| is
627 * |SSL_KEY_UPDATE_REQUESTED|. */
Steven Valdez1dc53d22016-07-26 12:27:38 -0400628 return tls13_rotate_traffic_key(ssl, evp_aead_open);
629}
630
Steven Valdez8e1c7be2016-07-26 12:39:22 -0400631int tls13_post_handshake(SSL *ssl) {
Steven Valdez1dc53d22016-07-26 12:27:38 -0400632 if (ssl->s3->tmp.message_type == SSL3_MT_KEY_UPDATE) {
Steven Valdez32635b82016-08-16 11:25:03 -0400633 ssl->s3->key_update_count++;
634 if (ssl->s3->key_update_count > kMaxKeyUpdates) {
635 OPENSSL_PUT_ERROR(SSL, SSL_R_TOO_MANY_KEY_UPDATES);
636 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_UNEXPECTED_MESSAGE);
637 return 0;
638 }
639
Steven Valdez1dc53d22016-07-26 12:27:38 -0400640 return tls13_receive_key_update(ssl);
641 }
642
Steven Valdez32635b82016-08-16 11:25:03 -0400643 ssl->s3->key_update_count = 0;
644
Steven Valdez8e1c7be2016-07-26 12:39:22 -0400645 if (ssl->s3->tmp.message_type == SSL3_MT_NEW_SESSION_TICKET &&
646 !ssl->server) {
Steven Valdez1e6f11a2016-07-27 11:10:52 -0400647 return tls13_process_new_session_ticket(ssl);
Steven Valdez8e1c7be2016-07-26 12:39:22 -0400648 }
649
650 // TODO(svaldez): Handle post-handshake authentication.
Steven Valdez8e1c7be2016-07-26 12:39:22 -0400651
652 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_UNEXPECTED_MESSAGE);
653 OPENSSL_PUT_ERROR(SSL, SSL_R_UNEXPECTED_MESSAGE);
654 return 0;
655}