blob: 7347fc441b63eb93236e1da2f04463a5b65e6d59 [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>
26#include <openssl/x509v3.h>
27
David Benjaminffb11072016-11-13 10:32:10 +090028#include "../crypto/internal.h"
Steven Valdez143e8b32016-07-11 13:19:03 -040029#include "internal.h"
30
31
Steven Valdez32635b82016-08-16 11:25:03 -040032/* kMaxKeyUpdates is the number of consecutive KeyUpdates that will be
33 * processed. Without this limit an attacker could force unbounded processing
34 * without being able to return application data. */
35static const uint8_t kMaxKeyUpdates = 32;
36
David Benjaminc3c88822016-11-14 10:32:04 +090037int tls13_handshake(SSL_HANDSHAKE *hs) {
38 SSL *const ssl = hs->ssl;
Steven Valdez143e8b32016-07-11 13:19:03 -040039 for (;;) {
40 /* Resolve the operation the handshake was waiting on. */
41 switch (hs->wait) {
42 case ssl_hs_error:
43 OPENSSL_PUT_ERROR(SSL, SSL_R_SSL_HANDSHAKE_FAILURE);
44 return -1;
45
David Benjaminf2401eb2016-07-18 22:25:05 +020046 case ssl_hs_flush:
47 case ssl_hs_flush_and_read_message: {
48 int ret = BIO_flush(ssl->wbio);
49 if (ret <= 0) {
50 ssl->rwstate = SSL_WRITING;
51 return ret;
52 }
53 if (hs->wait != ssl_hs_flush_and_read_message) {
54 break;
55 }
David Benjamin613fe3b2016-07-22 17:39:29 +020056 ssl->method->expect_flight(ssl);
David Benjaminf2401eb2016-07-18 22:25:05 +020057 hs->wait = ssl_hs_read_message;
58 /* Fall-through. */
59 }
60
Steven Valdez143e8b32016-07-11 13:19:03 -040061 case ssl_hs_read_message: {
62 int ret = ssl->method->ssl_get_message(ssl, -1, ssl_dont_hash_message);
63 if (ret <= 0) {
64 return ret;
65 }
66 break;
67 }
68
69 case ssl_hs_write_message: {
70 int ret = ssl->method->write_message(ssl);
71 if (ret <= 0) {
72 return ret;
73 }
74 break;
75 }
76
Steven Valdez143e8b32016-07-11 13:19:03 -040077 case ssl_hs_x509_lookup:
78 ssl->rwstate = SSL_X509_LOOKUP;
79 hs->wait = ssl_hs_ok;
80 return -1;
81
Nick Harper60a85cb2016-09-23 16:25:11 -070082 case ssl_hs_channel_id_lookup:
83 ssl->rwstate = SSL_CHANNEL_ID_LOOKUP;
84 hs->wait = ssl_hs_ok;
85 return -1;
86
Steven Valdez143e8b32016-07-11 13:19:03 -040087 case ssl_hs_private_key_operation:
88 ssl->rwstate = SSL_PRIVATE_KEY_OPERATION;
89 hs->wait = ssl_hs_ok;
90 return -1;
91
92 case ssl_hs_ok:
93 break;
94 }
95
96 /* Run the state machine again. */
David Benjaminc3c88822016-11-14 10:32:04 +090097 hs->wait = hs->do_tls13_handshake(hs);
Steven Valdez143e8b32016-07-11 13:19:03 -040098 if (hs->wait == ssl_hs_error) {
99 /* Don't loop around to avoid a stray |SSL_R_SSL_HANDSHAKE_FAILURE| the
100 * first time around. */
101 return -1;
102 }
103 if (hs->wait == ssl_hs_ok) {
104 /* The handshake has completed. */
105 return 1;
106 }
107
108 /* Otherwise, loop to the beginning and resolve what was blocking the
109 * handshake. */
110 }
111}
112
Nick Harper60a85cb2016-09-23 16:25:11 -0700113int tls13_get_cert_verify_signature_input(
114 SSL *ssl, uint8_t **out, size_t *out_len,
115 enum ssl_cert_verify_context_t cert_verify_context) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400116 CBB cbb;
117 if (!CBB_init(&cbb, 64 + 33 + 1 + 2 * EVP_MAX_MD_SIZE)) {
118 goto err;
119 }
120
121 for (size_t i = 0; i < 64; i++) {
122 if (!CBB_add_u8(&cbb, 0x20)) {
123 goto err;
124 }
125 }
126
Nick Harper60a85cb2016-09-23 16:25:11 -0700127 const uint8_t *context;
128 size_t context_len;
129 if (cert_verify_context == ssl_cert_verify_server) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400130 /* Include the NUL byte. */
131 static const char kContext[] = "TLS 1.3, server CertificateVerify";
Nick Harper60a85cb2016-09-23 16:25:11 -0700132 context = (const uint8_t *)kContext;
133 context_len = sizeof(kContext);
134 } else if (cert_verify_context == ssl_cert_verify_client) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400135 static const char kContext[] = "TLS 1.3, client CertificateVerify";
Nick Harper60a85cb2016-09-23 16:25:11 -0700136 context = (const uint8_t *)kContext;
137 context_len = sizeof(kContext);
138 } else if (cert_verify_context == ssl_cert_verify_channel_id) {
139 static const char kContext[] = "TLS 1.3, Channel ID";
140 context = (const uint8_t *)kContext;
141 context_len = sizeof(kContext);
142 } else {
143 goto err;
144 }
145
146 if (!CBB_add_bytes(&cbb, context, context_len)) {
147 goto err;
Steven Valdez143e8b32016-07-11 13:19:03 -0400148 }
149
Steven Valdeza833c352016-11-01 13:39:36 -0400150 uint8_t context_hash[EVP_MAX_MD_SIZE];
151 size_t context_hash_len;
152 if (!tls13_get_context_hash(ssl, context_hash, &context_hash_len) ||
153 !CBB_add_bytes(&cbb, context_hash, context_hash_len) ||
Steven Valdez143e8b32016-07-11 13:19:03 -0400154 !CBB_finish(&cbb, out, out_len)) {
155 goto err;
156 }
157
158 return 1;
159
160err:
161 OPENSSL_PUT_ERROR(SSL, ERR_R_MALLOC_FAILURE);
162 CBB_cleanup(&cbb);
163 return 0;
164}
165
Adam Langley0c294252016-12-12 11:46:09 -0800166int tls13_process_certificate(SSL_HANDSHAKE *hs, int allow_anonymous) {
167 SSL *const ssl = hs->ssl;
Steven Valdeza833c352016-11-01 13:39:36 -0400168 CBS cbs, context, certificate_list;
Steven Valdez143e8b32016-07-11 13:19:03 -0400169 CBS_init(&cbs, ssl->init_msg, ssl->init_num);
170 if (!CBS_get_u8_length_prefixed(&cbs, &context) ||
171 CBS_len(&context) != 0) {
172 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
173 OPENSSL_PUT_ERROR(SSL, SSL_R_DECODE_ERROR);
174 return 0;
175 }
176
David Benjamin4087df92016-08-01 20:16:31 -0400177 const int retain_sha256 =
David Benjaminbbaf3672016-11-17 10:53:09 +0900178 ssl->server && ssl->retain_only_sha256_of_client_certs;
Steven Valdez143e8b32016-07-11 13:19:03 -0400179 int ret = 0;
Steven Valdeza833c352016-11-01 13:39:36 -0400180
Adam Langley0c294252016-12-12 11:46:09 -0800181 EVP_PKEY *pkey = NULL;
Adam Langley68e71242016-12-12 11:06:16 -0800182 STACK_OF(CRYPTO_BUFFER) *certs = sk_CRYPTO_BUFFER_new_null();
183 if (certs == NULL) {
Steven Valdeza833c352016-11-01 13:39:36 -0400184 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
185 OPENSSL_PUT_ERROR(SSL, ERR_R_MALLOC_FAILURE);
Steven Valdez143e8b32016-07-11 13:19:03 -0400186 goto err;
187 }
188
Steven Valdeza833c352016-11-01 13:39:36 -0400189 if (!CBS_get_u24_length_prefixed(&cbs, &certificate_list)) {
190 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
191 OPENSSL_PUT_ERROR(SSL, SSL_R_DECODE_ERROR);
192 goto err;
193 }
194
195 while (CBS_len(&certificate_list) > 0) {
196 CBS certificate, extensions;
197 if (!CBS_get_u24_length_prefixed(&certificate_list, &certificate) ||
Adam Langley68e71242016-12-12 11:06:16 -0800198 !CBS_get_u16_length_prefixed(&certificate_list, &extensions) ||
199 CBS_len(&certificate) == 0) {
Steven Valdeza833c352016-11-01 13:39:36 -0400200 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
201 OPENSSL_PUT_ERROR(SSL, SSL_R_CERT_LENGTH_MISMATCH);
202 goto err;
203 }
204
Adam Langley0c294252016-12-12 11:46:09 -0800205 if (sk_CRYPTO_BUFFER_num(certs) == 0) {
206 pkey = ssl_cert_parse_pubkey(&certificate);
207 if (pkey == NULL) {
208 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
209 OPENSSL_PUT_ERROR(SSL, SSL_R_DECODE_ERROR);
210 goto err;
211 }
Adam Langleya4b91982016-12-12 12:05:53 -0800212 /* TLS 1.3 always uses certificate keys for signing thus the correct
213 * keyUsage is enforced. */
214 if (!ssl_cert_check_digital_signature_key_usage(&certificate)) {
215 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_ILLEGAL_PARAMETER);
216 goto err;
217 }
Adam Langley0c294252016-12-12 11:46:09 -0800218
219 if (retain_sha256) {
220 /* Retain the hash of the leaf certificate if requested. */
221 SHA256(CBS_data(&certificate), CBS_len(&certificate),
222 ssl->s3->new_session->peer_sha256);
223 }
Steven Valdeza833c352016-11-01 13:39:36 -0400224 }
225
Adam Langleyd519bf62016-12-12 11:16:44 -0800226 CRYPTO_BUFFER *buf =
227 CRYPTO_BUFFER_new_from_CBS(&certificate, ssl->ctx->pool);
Adam Langley68e71242016-12-12 11:06:16 -0800228 if (buf == NULL ||
229 !sk_CRYPTO_BUFFER_push(certs, buf)) {
230 CRYPTO_BUFFER_free(buf);
Adam Langleye8509092016-11-07 14:24:33 -0800231 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
232 OPENSSL_PUT_ERROR(SSL, ERR_R_MALLOC_FAILURE);
Steven Valdeza833c352016-11-01 13:39:36 -0400233 goto err;
234 }
235
236 /* Parse out the extensions. */
237 int have_status_request = 0, have_sct = 0;
238 CBS status_request, sct;
David Benjaminffb11072016-11-13 10:32:10 +0900239 const SSL_EXTENSION_TYPE ext_types[] = {
240 {TLSEXT_TYPE_status_request, &have_status_request, &status_request},
241 {TLSEXT_TYPE_certificate_timestamp, &have_sct, &sct},
242 };
Steven Valdeza833c352016-11-01 13:39:36 -0400243
David Benjaminffb11072016-11-13 10:32:10 +0900244 uint8_t alert;
245 if (!ssl_parse_extensions(&extensions, &alert, ext_types,
Steven Valdez08b65f42016-12-07 15:29:45 -0500246 OPENSSL_ARRAY_SIZE(ext_types),
247 0 /* reject unknown */)) {
David Benjaminffb11072016-11-13 10:32:10 +0900248 ssl3_send_alert(ssl, SSL3_AL_FATAL, alert);
249 goto err;
Steven Valdeza833c352016-11-01 13:39:36 -0400250 }
251
252 /* All Certificate extensions are parsed, but only the leaf extensions are
253 * stored. */
254 if (have_status_request) {
255 if (ssl->server || !ssl->ocsp_stapling_enabled) {
256 OPENSSL_PUT_ERROR(SSL, SSL_R_UNEXPECTED_EXTENSION);
257 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_UNSUPPORTED_EXTENSION);
258 goto err;
259 }
260
261 uint8_t status_type;
262 CBS ocsp_response;
263 if (!CBS_get_u8(&status_request, &status_type) ||
264 status_type != TLSEXT_STATUSTYPE_ocsp ||
265 !CBS_get_u24_length_prefixed(&status_request, &ocsp_response) ||
266 CBS_len(&ocsp_response) == 0 ||
267 CBS_len(&status_request) != 0) {
268 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
269 goto err;
270 }
271
Adam Langley68e71242016-12-12 11:06:16 -0800272 if (sk_CRYPTO_BUFFER_num(certs) == 1 &&
Steven Valdeza833c352016-11-01 13:39:36 -0400273 !CBS_stow(&ocsp_response, &ssl->s3->new_session->ocsp_response,
274 &ssl->s3->new_session->ocsp_response_length)) {
275 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
276 goto err;
277 }
278 }
279
280 if (have_sct) {
281 if (ssl->server || !ssl->signed_cert_timestamps_enabled) {
282 OPENSSL_PUT_ERROR(SSL, SSL_R_UNEXPECTED_EXTENSION);
283 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_UNSUPPORTED_EXTENSION);
284 goto err;
285 }
286
Adam Langleycfa08c32016-11-17 13:21:27 -0800287 if (!ssl_is_sct_list_valid(&sct)) {
288 OPENSSL_PUT_ERROR(SSL, SSL_R_ERROR_PARSING_EXTENSION);
Steven Valdeza833c352016-11-01 13:39:36 -0400289 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
290 goto err;
291 }
292
Adam Langley68e71242016-12-12 11:06:16 -0800293 if (sk_CRYPTO_BUFFER_num(certs) == 1 &&
Steven Valdeza833c352016-11-01 13:39:36 -0400294 !CBS_stow(&sct,
295 &ssl->s3->new_session->tlsext_signed_cert_timestamp_list,
296 &ssl->s3->new_session
297 ->tlsext_signed_cert_timestamp_list_length)) {
298 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
299 goto err;
300 }
301 }
302 }
303
Steven Valdez143e8b32016-07-11 13:19:03 -0400304 if (CBS_len(&cbs) != 0) {
305 OPENSSL_PUT_ERROR(SSL, SSL_R_DECODE_ERROR);
306 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
307 goto err;
308 }
309
Adam Langley0c294252016-12-12 11:46:09 -0800310 EVP_PKEY_free(hs->peer_pubkey);
311 hs->peer_pubkey = pkey;
312 pkey = NULL;
313
Adam Langley68e71242016-12-12 11:06:16 -0800314 sk_CRYPTO_BUFFER_pop_free(ssl->s3->new_session->certs, CRYPTO_BUFFER_free);
315 ssl->s3->new_session->certs = certs;
316 certs = NULL;
317
318 if (!ssl_session_x509_cache_objects(ssl->s3->new_session)) {
319 OPENSSL_PUT_ERROR(SSL, SSL_R_DECODE_ERROR);
320 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
321 goto err;
322 }
323
324 if (sk_CRYPTO_BUFFER_num(ssl->s3->new_session->certs) == 0) {
David Benjamin4087df92016-08-01 20:16:31 -0400325 if (!allow_anonymous) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400326 OPENSSL_PUT_ERROR(SSL, SSL_R_PEER_DID_NOT_RETURN_A_CERTIFICATE);
David Benjamin1db9e1b2016-10-07 20:51:43 -0400327 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_CERTIFICATE_REQUIRED);
Steven Valdez143e8b32016-07-11 13:19:03 -0400328 goto err;
329 }
330
Adam Langley37646832016-08-01 16:16:46 -0700331 /* OpenSSL returns X509_V_OK when no certificates are requested. This is
David Benjamindd634eb2016-08-18 16:40:28 -0400332 * classed by them as a bug, but it's assumed by at least NGINX. */
Adam Langley37646832016-08-01 16:16:46 -0700333 ssl->s3->new_session->verify_result = X509_V_OK;
334
Steven Valdez143e8b32016-07-11 13:19:03 -0400335 /* No certificate, so nothing more to do. */
336 ret = 1;
337 goto err;
338 }
339
David Benjamin4087df92016-08-01 20:16:31 -0400340 ssl->s3->new_session->peer_sha256_valid = retain_sha256;
Steven Valdez143e8b32016-07-11 13:19:03 -0400341
David Benjamin7aa31d62016-08-08 21:38:32 -0400342 if (!ssl_verify_cert_chain(ssl, &ssl->s3->new_session->verify_result,
Adam Langley68e71242016-12-12 11:06:16 -0800343 ssl->s3->new_session->x509_chain)) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400344 goto err;
345 }
Steven Valdez143e8b32016-07-11 13:19:03 -0400346
Steven Valdez143e8b32016-07-11 13:19:03 -0400347 ret = 1;
348
349err:
Adam Langley68e71242016-12-12 11:06:16 -0800350 sk_CRYPTO_BUFFER_pop_free(certs, CRYPTO_BUFFER_free);
Adam Langley0c294252016-12-12 11:46:09 -0800351 EVP_PKEY_free(pkey);
Steven Valdez143e8b32016-07-11 13:19:03 -0400352 return ret;
353}
354
Adam Langley0c294252016-12-12 11:46:09 -0800355int tls13_process_certificate_verify(SSL_HANDSHAKE *hs) {
356 SSL *const ssl = hs->ssl;
Steven Valdez143e8b32016-07-11 13:19:03 -0400357 int ret = 0;
Steven Valdez143e8b32016-07-11 13:19:03 -0400358 uint8_t *msg = NULL;
359 size_t msg_len;
360
Adam Langley0c294252016-12-12 11:46:09 -0800361 if (hs->peer_pubkey == NULL) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400362 goto err;
363 }
364
365 CBS cbs, signature;
366 uint16_t signature_algorithm;
367 CBS_init(&cbs, ssl->init_msg, ssl->init_num);
368 if (!CBS_get_u16(&cbs, &signature_algorithm) ||
369 !CBS_get_u16_length_prefixed(&cbs, &signature) ||
370 CBS_len(&cbs) != 0) {
371 OPENSSL_PUT_ERROR(SSL, SSL_R_DECODE_ERROR);
372 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
373 goto err;
374 }
375
376 int al;
377 if (!tls12_check_peer_sigalg(ssl, &al, signature_algorithm)) {
378 ssl3_send_alert(ssl, SSL3_AL_FATAL, al);
379 goto err;
380 }
David Benjaminf1050fd2016-12-13 20:05:36 -0500381 ssl->s3->new_session->peer_signature_algorithm = signature_algorithm;
Steven Valdez143e8b32016-07-11 13:19:03 -0400382
Nick Harper60a85cb2016-09-23 16:25:11 -0700383 if (!tls13_get_cert_verify_signature_input(
384 ssl, &msg, &msg_len,
385 ssl->server ? ssl_cert_verify_client : ssl_cert_verify_server)) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400386 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
387 goto err;
388 }
389
390 int sig_ok =
391 ssl_public_key_verify(ssl, CBS_data(&signature), CBS_len(&signature),
Adam Langley0c294252016-12-12 11:46:09 -0800392 signature_algorithm, hs->peer_pubkey, msg, msg_len);
David Benjamin04aa6942016-08-19 14:51:10 -0400393#if defined(BORINGSSL_UNSAFE_FUZZER_MODE)
394 sig_ok = 1;
395 ERR_clear_error();
396#endif
Steven Valdez143e8b32016-07-11 13:19:03 -0400397 if (!sig_ok) {
398 OPENSSL_PUT_ERROR(SSL, SSL_R_BAD_SIGNATURE);
399 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECRYPT_ERROR);
400 goto err;
401 }
402
403 ret = 1;
404
405err:
Steven Valdez143e8b32016-07-11 13:19:03 -0400406 OPENSSL_free(msg);
407 return ret;
408}
409
410int tls13_check_message_type(SSL *ssl, int type) {
411 if (ssl->s3->tmp.message_type != type) {
412 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_UNEXPECTED_MESSAGE);
413 OPENSSL_PUT_ERROR(SSL, SSL_R_UNEXPECTED_MESSAGE);
David Benjaminf2401eb2016-07-18 22:25:05 +0200414 ERR_add_error_dataf("got type %d, wanted type %d",
415 ssl->s3->tmp.message_type, type);
Steven Valdez143e8b32016-07-11 13:19:03 -0400416 return 0;
417 }
418
419 return 1;
420}
421
David Benjamin6e4fc332016-11-17 16:43:08 +0900422int tls13_process_finished(SSL_HANDSHAKE *hs) {
423 SSL *const ssl = hs->ssl;
Steven Valdez143e8b32016-07-11 13:19:03 -0400424 uint8_t verify_data[EVP_MAX_MD_SIZE];
425 size_t verify_data_len;
David Benjamin6e4fc332016-11-17 16:43:08 +0900426 if (!tls13_finished_mac(hs, verify_data, &verify_data_len, !ssl->server)) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400427 return 0;
428 }
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 Benjamin6e4fc332016-11-17 16:43:08 +0900445int tls13_prepare_certificate(SSL_HANDSHAKE *hs) {
446 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)) {
457 if (!ssl_complete_message(ssl, &cbb)) {
458 goto err;
459 }
460
461 return 1;
462 }
463
464 CERT *cert = ssl->cert;
465 CBB leaf, extensions;
466 if (!CBB_add_u24_length_prefixed(&certificate_list, &leaf) ||
467 !ssl_add_cert_to_cbb(&leaf, cert->x509_leaf) ||
468 !CBB_add_u16_length_prefixed(&certificate_list, &extensions)) {
469 OPENSSL_PUT_ERROR(SSL, ERR_R_INTERNAL_ERROR);
470 goto err;
471 }
472
David Benjamin6e4fc332016-11-17 16:43:08 +0900473 if (hs->scts_requested &&
Steven Valdeza833c352016-11-01 13:39:36 -0400474 ssl->ctx->signed_cert_timestamp_list_length != 0) {
475 CBB contents;
476 if (!CBB_add_u16(&extensions, TLSEXT_TYPE_certificate_timestamp) ||
477 !CBB_add_u16_length_prefixed(&extensions, &contents) ||
478 !CBB_add_bytes(&contents, ssl->ctx->signed_cert_timestamp_list,
Adam Langley6f5f49f2016-11-18 11:05:00 -0800479 ssl->ctx->signed_cert_timestamp_list_length) ||
480 !CBB_flush(&extensions)) {
Steven Valdeza833c352016-11-01 13:39:36 -0400481 OPENSSL_PUT_ERROR(SSL, ERR_R_INTERNAL_ERROR);
482 goto err;
483 }
484 }
485
David Benjamin6e4fc332016-11-17 16:43:08 +0900486 if (hs->ocsp_stapling_requested &&
Alessandro Ghedini559f0642016-12-07 12:55:32 +0000487 ssl->ocsp_response != NULL) {
Steven Valdeza833c352016-11-01 13:39:36 -0400488 CBB contents, ocsp_response;
489 if (!CBB_add_u16(&extensions, TLSEXT_TYPE_status_request) ||
490 !CBB_add_u16_length_prefixed(&extensions, &contents) ||
491 !CBB_add_u8(&contents, TLSEXT_STATUSTYPE_ocsp) ||
492 !CBB_add_u24_length_prefixed(&contents, &ocsp_response) ||
Alessandro Ghedini559f0642016-12-07 12:55:32 +0000493 !CBB_add_bytes(&ocsp_response, CRYPTO_BUFFER_data(ssl->ocsp_response),
494 CRYPTO_BUFFER_len(ssl->ocsp_response)) ||
Adam Langley6f5f49f2016-11-18 11:05:00 -0800495 !CBB_flush(&extensions)) {
Steven Valdeza833c352016-11-01 13:39:36 -0400496 OPENSSL_PUT_ERROR(SSL, ERR_R_INTERNAL_ERROR);
497 goto err;
498 }
499 }
500
501 for (size_t i = 0; i < sk_X509_num(cert->x509_chain); i++) {
502 CBB child;
503 if (!CBB_add_u24_length_prefixed(&certificate_list, &child) ||
504 !ssl_add_cert_to_cbb(&child, sk_X509_value(cert->x509_chain, i)) ||
505 !CBB_add_u16(&certificate_list, 0 /* no extensions */)) {
506 OPENSSL_PUT_ERROR(SSL, ERR_R_INTERNAL_ERROR);
507 goto err;
508 }
509 }
510
511 if (!ssl_complete_message(ssl, &cbb)) {
512 goto err;
Steven Valdez143e8b32016-07-11 13:19:03 -0400513 }
514
515 return 1;
Steven Valdeza833c352016-11-01 13:39:36 -0400516
517err:
518 CBB_cleanup(&cbb);
519 return 0;
Steven Valdez143e8b32016-07-11 13:19:03 -0400520}
521
522enum ssl_private_key_result_t tls13_prepare_certificate_verify(
David Benjamin6e4fc332016-11-17 16:43:08 +0900523 SSL_HANDSHAKE *hs, int is_first_run) {
524 SSL *const ssl = hs->ssl;
Steven Valdez143e8b32016-07-11 13:19:03 -0400525 enum ssl_private_key_result_t ret = ssl_private_key_failure;
526 uint8_t *msg = NULL;
527 size_t msg_len;
528 CBB cbb, body;
529 CBB_zero(&cbb);
530
531 uint16_t signature_algorithm;
David Benjaminf3c8f8d2016-11-17 17:20:47 +0900532 if (!tls1_choose_signature_algorithm(hs, &signature_algorithm)) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400533 goto err;
534 }
535 if (!ssl->method->init_message(ssl, &cbb, &body,
536 SSL3_MT_CERTIFICATE_VERIFY) ||
537 !CBB_add_u16(&body, signature_algorithm)) {
538 OPENSSL_PUT_ERROR(SSL, ERR_R_INTERNAL_ERROR);
539 goto err;
540 }
541
542 /* Sign the digest. */
543 CBB child;
544 const size_t max_sig_len = ssl_private_key_max_signature_len(ssl);
545 uint8_t *sig;
546 size_t sig_len;
547 if (!CBB_add_u16_length_prefixed(&body, &child) ||
548 !CBB_reserve(&child, &sig, max_sig_len)) {
549 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
550 goto err;
551 }
552
553 enum ssl_private_key_result_t sign_result;
554 if (is_first_run) {
Nick Harper60a85cb2016-09-23 16:25:11 -0700555 if (!tls13_get_cert_verify_signature_input(
556 ssl, &msg, &msg_len,
557 ssl->server ? ssl_cert_verify_server : ssl_cert_verify_client)) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400558 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
559 goto err;
560 }
561 sign_result = ssl_private_key_sign(ssl, sig, &sig_len, max_sig_len,
562 signature_algorithm, msg, msg_len);
563 } else {
564 sign_result = ssl_private_key_complete(ssl, sig, &sig_len, max_sig_len);
565 }
566
567 if (sign_result != ssl_private_key_success) {
568 ret = sign_result;
569 goto err;
570 }
571
572 if (!CBB_did_write(&child, sig_len) ||
Steven Valdez5eead162016-11-11 22:23:25 -0500573 !ssl_complete_message(ssl, &cbb)) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400574 goto err;
575 }
576
577 ret = ssl_private_key_success;
578
579err:
580 CBB_cleanup(&cbb);
581 OPENSSL_free(msg);
582 return ret;
583}
584
David Benjamin6e4fc332016-11-17 16:43:08 +0900585int tls13_prepare_finished(SSL_HANDSHAKE *hs) {
586 SSL *const ssl = hs->ssl;
Steven Valdez143e8b32016-07-11 13:19:03 -0400587 size_t verify_data_len;
588 uint8_t verify_data[EVP_MAX_MD_SIZE];
589
David Benjamin6e4fc332016-11-17 16:43:08 +0900590 if (!tls13_finished_mac(hs, verify_data, &verify_data_len, ssl->server)) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400591 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
592 OPENSSL_PUT_ERROR(SSL, SSL_R_DIGEST_CHECK_FAILED);
593 return 0;
594 }
595
596 CBB cbb, body;
597 if (!ssl->method->init_message(ssl, &cbb, &body, SSL3_MT_FINISHED) ||
598 !CBB_add_bytes(&body, verify_data, verify_data_len) ||
Steven Valdez5eead162016-11-11 22:23:25 -0500599 !ssl_complete_message(ssl, &cbb)) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400600 CBB_cleanup(&cbb);
601 return 0;
602 }
603
604 return 1;
605}
Steven Valdez8e1c7be2016-07-26 12:39:22 -0400606
Steven Valdez1dc53d22016-07-26 12:27:38 -0400607static int tls13_receive_key_update(SSL *ssl) {
Steven Valdezc4aa7272016-10-03 12:25:56 -0400608 CBS cbs;
609 uint8_t key_update_request;
610 CBS_init(&cbs, ssl->init_msg, ssl->init_num);
611 if (!CBS_get_u8(&cbs, &key_update_request) ||
612 CBS_len(&cbs) != 0 ||
613 (key_update_request != SSL_KEY_UPDATE_NOT_REQUESTED &&
614 key_update_request != SSL_KEY_UPDATE_REQUESTED)) {
Steven Valdez1dc53d22016-07-26 12:27:38 -0400615 OPENSSL_PUT_ERROR(SSL, SSL_R_DECODE_ERROR);
616 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
617 return 0;
618 }
619
Steven Valdezc4aa7272016-10-03 12:25:56 -0400620 /* TODO(svaldez): Send KeyUpdate if |key_update_request| is
621 * |SSL_KEY_UPDATE_REQUESTED|. */
Steven Valdez1dc53d22016-07-26 12:27:38 -0400622 return tls13_rotate_traffic_key(ssl, evp_aead_open);
623}
624
Steven Valdez8e1c7be2016-07-26 12:39:22 -0400625int tls13_post_handshake(SSL *ssl) {
Steven Valdez1dc53d22016-07-26 12:27:38 -0400626 if (ssl->s3->tmp.message_type == SSL3_MT_KEY_UPDATE) {
Steven Valdez32635b82016-08-16 11:25:03 -0400627 ssl->s3->key_update_count++;
628 if (ssl->s3->key_update_count > kMaxKeyUpdates) {
629 OPENSSL_PUT_ERROR(SSL, SSL_R_TOO_MANY_KEY_UPDATES);
630 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_UNEXPECTED_MESSAGE);
631 return 0;
632 }
633
Steven Valdez1dc53d22016-07-26 12:27:38 -0400634 return tls13_receive_key_update(ssl);
635 }
636
Steven Valdez32635b82016-08-16 11:25:03 -0400637 ssl->s3->key_update_count = 0;
638
Steven Valdez8e1c7be2016-07-26 12:39:22 -0400639 if (ssl->s3->tmp.message_type == SSL3_MT_NEW_SESSION_TICKET &&
640 !ssl->server) {
Steven Valdez1e6f11a2016-07-27 11:10:52 -0400641 return tls13_process_new_session_ticket(ssl);
Steven Valdez8e1c7be2016-07-26 12:39:22 -0400642 }
643
644 // TODO(svaldez): Handle post-handshake authentication.
Steven Valdez8e1c7be2016-07-26 12:39:22 -0400645
646 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_UNEXPECTED_MESSAGE);
647 OPENSSL_PUT_ERROR(SSL, SSL_R_UNEXPECTED_MESSAGE);
648 return 0;
649}