blob: 1425665200f91b8e3c354f0cf2201e649f62cd79 [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: {
David Benjamin8d5f9da2017-01-01 17:41:30 -050048 int ret = ssl->method->flush_flight(ssl);
David Benjaminf2401eb2016-07-18 22:25:05 +020049 if (ret <= 0) {
David Benjaminf2401eb2016-07-18 22:25:05 +020050 return ret;
51 }
52 if (hs->wait != ssl_hs_flush_and_read_message) {
53 break;
54 }
David Benjamin613fe3b2016-07-22 17:39:29 +020055 ssl->method->expect_flight(ssl);
David Benjaminf2401eb2016-07-18 22:25:05 +020056 hs->wait = ssl_hs_read_message;
57 /* Fall-through. */
58 }
59
Steven Valdez143e8b32016-07-11 13:19:03 -040060 case ssl_hs_read_message: {
61 int ret = ssl->method->ssl_get_message(ssl, -1, ssl_dont_hash_message);
62 if (ret <= 0) {
63 return ret;
64 }
65 break;
66 }
67
68 case ssl_hs_write_message: {
69 int ret = ssl->method->write_message(ssl);
70 if (ret <= 0) {
71 return ret;
72 }
73 break;
74 }
75
Steven Valdez143e8b32016-07-11 13:19:03 -040076 case ssl_hs_x509_lookup:
77 ssl->rwstate = SSL_X509_LOOKUP;
78 hs->wait = ssl_hs_ok;
79 return -1;
80
Nick Harper60a85cb2016-09-23 16:25:11 -070081 case ssl_hs_channel_id_lookup:
82 ssl->rwstate = SSL_CHANNEL_ID_LOOKUP;
83 hs->wait = ssl_hs_ok;
84 return -1;
85
Steven Valdez143e8b32016-07-11 13:19:03 -040086 case ssl_hs_private_key_operation:
87 ssl->rwstate = SSL_PRIVATE_KEY_OPERATION;
88 hs->wait = ssl_hs_ok;
89 return -1;
90
91 case ssl_hs_ok:
92 break;
93 }
94
95 /* Run the state machine again. */
David Benjaminc3c88822016-11-14 10:32:04 +090096 hs->wait = hs->do_tls13_handshake(hs);
Steven Valdez143e8b32016-07-11 13:19:03 -040097 if (hs->wait == ssl_hs_error) {
98 /* Don't loop around to avoid a stray |SSL_R_SSL_HANDSHAKE_FAILURE| the
99 * first time around. */
100 return -1;
101 }
102 if (hs->wait == ssl_hs_ok) {
103 /* The handshake has completed. */
104 return 1;
105 }
106
107 /* Otherwise, loop to the beginning and resolve what was blocking the
108 * handshake. */
109 }
110}
111
Nick Harper60a85cb2016-09-23 16:25:11 -0700112int tls13_get_cert_verify_signature_input(
113 SSL *ssl, uint8_t **out, size_t *out_len,
114 enum ssl_cert_verify_context_t cert_verify_context) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400115 CBB cbb;
116 if (!CBB_init(&cbb, 64 + 33 + 1 + 2 * EVP_MAX_MD_SIZE)) {
117 goto err;
118 }
119
120 for (size_t i = 0; i < 64; i++) {
121 if (!CBB_add_u8(&cbb, 0x20)) {
122 goto err;
123 }
124 }
125
Nick Harper60a85cb2016-09-23 16:25:11 -0700126 const uint8_t *context;
127 size_t context_len;
128 if (cert_verify_context == ssl_cert_verify_server) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400129 /* Include the NUL byte. */
130 static const char kContext[] = "TLS 1.3, server CertificateVerify";
Nick Harper60a85cb2016-09-23 16:25:11 -0700131 context = (const uint8_t *)kContext;
132 context_len = sizeof(kContext);
133 } else if (cert_verify_context == ssl_cert_verify_client) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400134 static const char kContext[] = "TLS 1.3, client 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_channel_id) {
138 static const char kContext[] = "TLS 1.3, Channel ID";
139 context = (const uint8_t *)kContext;
140 context_len = sizeof(kContext);
141 } else {
142 goto err;
143 }
144
145 if (!CBB_add_bytes(&cbb, context, context_len)) {
146 goto err;
Steven Valdez143e8b32016-07-11 13:19:03 -0400147 }
148
Steven Valdeza833c352016-11-01 13:39:36 -0400149 uint8_t context_hash[EVP_MAX_MD_SIZE];
150 size_t context_hash_len;
151 if (!tls13_get_context_hash(ssl, context_hash, &context_hash_len) ||
152 !CBB_add_bytes(&cbb, context_hash, context_hash_len) ||
Steven Valdez143e8b32016-07-11 13:19:03 -0400153 !CBB_finish(&cbb, out, out_len)) {
154 goto err;
155 }
156
157 return 1;
158
159err:
160 OPENSSL_PUT_ERROR(SSL, ERR_R_MALLOC_FAILURE);
161 CBB_cleanup(&cbb);
162 return 0;
163}
164
Adam Langley0c294252016-12-12 11:46:09 -0800165int tls13_process_certificate(SSL_HANDSHAKE *hs, int allow_anonymous) {
166 SSL *const ssl = hs->ssl;
Steven Valdeza833c352016-11-01 13:39:36 -0400167 CBS cbs, context, certificate_list;
Steven Valdez143e8b32016-07-11 13:19:03 -0400168 CBS_init(&cbs, ssl->init_msg, ssl->init_num);
169 if (!CBS_get_u8_length_prefixed(&cbs, &context) ||
170 CBS_len(&context) != 0) {
171 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
172 OPENSSL_PUT_ERROR(SSL, SSL_R_DECODE_ERROR);
173 return 0;
174 }
175
David Benjamin4087df92016-08-01 20:16:31 -0400176 const int retain_sha256 =
David Benjaminbbaf3672016-11-17 10:53:09 +0900177 ssl->server && ssl->retain_only_sha256_of_client_certs;
Steven Valdez143e8b32016-07-11 13:19:03 -0400178 int ret = 0;
Steven Valdeza833c352016-11-01 13:39:36 -0400179
Adam Langley0c294252016-12-12 11:46:09 -0800180 EVP_PKEY *pkey = NULL;
Adam Langley68e71242016-12-12 11:06:16 -0800181 STACK_OF(CRYPTO_BUFFER) *certs = sk_CRYPTO_BUFFER_new_null();
182 if (certs == NULL) {
Steven Valdeza833c352016-11-01 13:39:36 -0400183 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
184 OPENSSL_PUT_ERROR(SSL, ERR_R_MALLOC_FAILURE);
Steven Valdez143e8b32016-07-11 13:19:03 -0400185 goto err;
186 }
187
Steven Valdeza833c352016-11-01 13:39:36 -0400188 if (!CBS_get_u24_length_prefixed(&cbs, &certificate_list)) {
189 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
190 OPENSSL_PUT_ERROR(SSL, SSL_R_DECODE_ERROR);
191 goto err;
192 }
193
194 while (CBS_len(&certificate_list) > 0) {
195 CBS certificate, extensions;
196 if (!CBS_get_u24_length_prefixed(&certificate_list, &certificate) ||
Adam Langley68e71242016-12-12 11:06:16 -0800197 !CBS_get_u16_length_prefixed(&certificate_list, &extensions) ||
198 CBS_len(&certificate) == 0) {
Steven Valdeza833c352016-11-01 13:39:36 -0400199 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
200 OPENSSL_PUT_ERROR(SSL, SSL_R_CERT_LENGTH_MISMATCH);
201 goto err;
202 }
203
Adam Langley0c294252016-12-12 11:46:09 -0800204 if (sk_CRYPTO_BUFFER_num(certs) == 0) {
205 pkey = ssl_cert_parse_pubkey(&certificate);
206 if (pkey == NULL) {
207 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
208 OPENSSL_PUT_ERROR(SSL, SSL_R_DECODE_ERROR);
209 goto err;
210 }
Adam Langleya4b91982016-12-12 12:05:53 -0800211 /* TLS 1.3 always uses certificate keys for signing thus the correct
212 * keyUsage is enforced. */
213 if (!ssl_cert_check_digital_signature_key_usage(&certificate)) {
214 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_ILLEGAL_PARAMETER);
215 goto err;
216 }
Adam Langley0c294252016-12-12 11:46:09 -0800217
218 if (retain_sha256) {
219 /* Retain the hash of the leaf certificate if requested. */
220 SHA256(CBS_data(&certificate), CBS_len(&certificate),
221 ssl->s3->new_session->peer_sha256);
222 }
Steven Valdeza833c352016-11-01 13:39:36 -0400223 }
224
Adam Langleyd519bf62016-12-12 11:16:44 -0800225 CRYPTO_BUFFER *buf =
226 CRYPTO_BUFFER_new_from_CBS(&certificate, ssl->ctx->pool);
Adam Langley68e71242016-12-12 11:06:16 -0800227 if (buf == NULL ||
228 !sk_CRYPTO_BUFFER_push(certs, buf)) {
229 CRYPTO_BUFFER_free(buf);
Adam Langleye8509092016-11-07 14:24:33 -0800230 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
231 OPENSSL_PUT_ERROR(SSL, ERR_R_MALLOC_FAILURE);
Steven Valdeza833c352016-11-01 13:39:36 -0400232 goto err;
233 }
234
235 /* Parse out the extensions. */
236 int have_status_request = 0, have_sct = 0;
237 CBS status_request, sct;
David Benjaminffb11072016-11-13 10:32:10 +0900238 const SSL_EXTENSION_TYPE ext_types[] = {
239 {TLSEXT_TYPE_status_request, &have_status_request, &status_request},
240 {TLSEXT_TYPE_certificate_timestamp, &have_sct, &sct},
241 };
Steven Valdeza833c352016-11-01 13:39:36 -0400242
David Benjaminffb11072016-11-13 10:32:10 +0900243 uint8_t alert;
244 if (!ssl_parse_extensions(&extensions, &alert, ext_types,
Steven Valdez08b65f42016-12-07 15:29:45 -0500245 OPENSSL_ARRAY_SIZE(ext_types),
246 0 /* reject unknown */)) {
David Benjaminffb11072016-11-13 10:32:10 +0900247 ssl3_send_alert(ssl, SSL3_AL_FATAL, alert);
248 goto err;
Steven Valdeza833c352016-11-01 13:39:36 -0400249 }
250
251 /* All Certificate extensions are parsed, but only the leaf extensions are
252 * stored. */
253 if (have_status_request) {
254 if (ssl->server || !ssl->ocsp_stapling_enabled) {
255 OPENSSL_PUT_ERROR(SSL, SSL_R_UNEXPECTED_EXTENSION);
256 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_UNSUPPORTED_EXTENSION);
257 goto err;
258 }
259
260 uint8_t status_type;
261 CBS ocsp_response;
262 if (!CBS_get_u8(&status_request, &status_type) ||
263 status_type != TLSEXT_STATUSTYPE_ocsp ||
264 !CBS_get_u24_length_prefixed(&status_request, &ocsp_response) ||
265 CBS_len(&ocsp_response) == 0 ||
266 CBS_len(&status_request) != 0) {
267 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
268 goto err;
269 }
270
Adam Langley68e71242016-12-12 11:06:16 -0800271 if (sk_CRYPTO_BUFFER_num(certs) == 1 &&
Steven Valdeza833c352016-11-01 13:39:36 -0400272 !CBS_stow(&ocsp_response, &ssl->s3->new_session->ocsp_response,
273 &ssl->s3->new_session->ocsp_response_length)) {
274 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
275 goto err;
276 }
277 }
278
279 if (have_sct) {
280 if (ssl->server || !ssl->signed_cert_timestamps_enabled) {
281 OPENSSL_PUT_ERROR(SSL, SSL_R_UNEXPECTED_EXTENSION);
282 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_UNSUPPORTED_EXTENSION);
283 goto err;
284 }
285
Adam Langleycfa08c32016-11-17 13:21:27 -0800286 if (!ssl_is_sct_list_valid(&sct)) {
287 OPENSSL_PUT_ERROR(SSL, SSL_R_ERROR_PARSING_EXTENSION);
Steven Valdeza833c352016-11-01 13:39:36 -0400288 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
289 goto err;
290 }
291
Adam Langley68e71242016-12-12 11:06:16 -0800292 if (sk_CRYPTO_BUFFER_num(certs) == 1 &&
Steven Valdeza833c352016-11-01 13:39:36 -0400293 !CBS_stow(&sct,
294 &ssl->s3->new_session->tlsext_signed_cert_timestamp_list,
295 &ssl->s3->new_session
296 ->tlsext_signed_cert_timestamp_list_length)) {
297 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
298 goto err;
299 }
300 }
301 }
302
Steven Valdez143e8b32016-07-11 13:19:03 -0400303 if (CBS_len(&cbs) != 0) {
304 OPENSSL_PUT_ERROR(SSL, SSL_R_DECODE_ERROR);
305 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
306 goto err;
307 }
308
Adam Langley0c294252016-12-12 11:46:09 -0800309 EVP_PKEY_free(hs->peer_pubkey);
310 hs->peer_pubkey = pkey;
311 pkey = NULL;
312
Adam Langley68e71242016-12-12 11:06:16 -0800313 sk_CRYPTO_BUFFER_pop_free(ssl->s3->new_session->certs, CRYPTO_BUFFER_free);
314 ssl->s3->new_session->certs = certs;
315 certs = NULL;
316
317 if (!ssl_session_x509_cache_objects(ssl->s3->new_session)) {
318 OPENSSL_PUT_ERROR(SSL, SSL_R_DECODE_ERROR);
319 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
320 goto err;
321 }
322
323 if (sk_CRYPTO_BUFFER_num(ssl->s3->new_session->certs) == 0) {
David Benjamin4087df92016-08-01 20:16:31 -0400324 if (!allow_anonymous) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400325 OPENSSL_PUT_ERROR(SSL, SSL_R_PEER_DID_NOT_RETURN_A_CERTIFICATE);
David Benjamin1db9e1b2016-10-07 20:51:43 -0400326 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_CERTIFICATE_REQUIRED);
Steven Valdez143e8b32016-07-11 13:19:03 -0400327 goto err;
328 }
329
Adam Langley37646832016-08-01 16:16:46 -0700330 /* OpenSSL returns X509_V_OK when no certificates are requested. This is
David Benjamindd634eb2016-08-18 16:40:28 -0400331 * classed by them as a bug, but it's assumed by at least NGINX. */
Adam Langley37646832016-08-01 16:16:46 -0700332 ssl->s3->new_session->verify_result = X509_V_OK;
333
Steven Valdez143e8b32016-07-11 13:19:03 -0400334 /* No certificate, so nothing more to do. */
335 ret = 1;
336 goto err;
337 }
338
David Benjamin4087df92016-08-01 20:16:31 -0400339 ssl->s3->new_session->peer_sha256_valid = retain_sha256;
Steven Valdez143e8b32016-07-11 13:19:03 -0400340
David Benjamin7aa31d62016-08-08 21:38:32 -0400341 if (!ssl_verify_cert_chain(ssl, &ssl->s3->new_session->verify_result,
Adam Langley68e71242016-12-12 11:06:16 -0800342 ssl->s3->new_session->x509_chain)) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400343 goto err;
344 }
Steven Valdez143e8b32016-07-11 13:19:03 -0400345
Steven Valdez143e8b32016-07-11 13:19:03 -0400346 ret = 1;
347
348err:
Adam Langley68e71242016-12-12 11:06:16 -0800349 sk_CRYPTO_BUFFER_pop_free(certs, CRYPTO_BUFFER_free);
Adam Langley0c294252016-12-12 11:46:09 -0800350 EVP_PKEY_free(pkey);
Steven Valdez143e8b32016-07-11 13:19:03 -0400351 return ret;
352}
353
Adam Langley0c294252016-12-12 11:46:09 -0800354int tls13_process_certificate_verify(SSL_HANDSHAKE *hs) {
355 SSL *const ssl = hs->ssl;
Steven Valdez143e8b32016-07-11 13:19:03 -0400356 int ret = 0;
Steven Valdez143e8b32016-07-11 13:19:03 -0400357 uint8_t *msg = NULL;
358 size_t msg_len;
359
Adam Langley0c294252016-12-12 11:46:09 -0800360 if (hs->peer_pubkey == NULL) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400361 goto err;
362 }
363
364 CBS cbs, signature;
365 uint16_t signature_algorithm;
366 CBS_init(&cbs, ssl->init_msg, ssl->init_num);
367 if (!CBS_get_u16(&cbs, &signature_algorithm) ||
368 !CBS_get_u16_length_prefixed(&cbs, &signature) ||
369 CBS_len(&cbs) != 0) {
370 OPENSSL_PUT_ERROR(SSL, SSL_R_DECODE_ERROR);
371 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
372 goto err;
373 }
374
375 int al;
376 if (!tls12_check_peer_sigalg(ssl, &al, signature_algorithm)) {
377 ssl3_send_alert(ssl, SSL3_AL_FATAL, al);
378 goto err;
379 }
David Benjaminf1050fd2016-12-13 20:05:36 -0500380 ssl->s3->new_session->peer_signature_algorithm = signature_algorithm;
Steven Valdez143e8b32016-07-11 13:19:03 -0400381
Nick Harper60a85cb2016-09-23 16:25:11 -0700382 if (!tls13_get_cert_verify_signature_input(
383 ssl, &msg, &msg_len,
384 ssl->server ? ssl_cert_verify_client : ssl_cert_verify_server)) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400385 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
386 goto err;
387 }
388
389 int sig_ok =
390 ssl_public_key_verify(ssl, CBS_data(&signature), CBS_len(&signature),
Adam Langley0c294252016-12-12 11:46:09 -0800391 signature_algorithm, hs->peer_pubkey, msg, msg_len);
David Benjamin04aa6942016-08-19 14:51:10 -0400392#if defined(BORINGSSL_UNSAFE_FUZZER_MODE)
393 sig_ok = 1;
394 ERR_clear_error();
395#endif
Steven Valdez143e8b32016-07-11 13:19:03 -0400396 if (!sig_ok) {
397 OPENSSL_PUT_ERROR(SSL, SSL_R_BAD_SIGNATURE);
398 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECRYPT_ERROR);
399 goto err;
400 }
401
402 ret = 1;
403
404err:
Steven Valdez143e8b32016-07-11 13:19:03 -0400405 OPENSSL_free(msg);
406 return ret;
407}
408
409int tls13_check_message_type(SSL *ssl, int type) {
410 if (ssl->s3->tmp.message_type != type) {
411 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_UNEXPECTED_MESSAGE);
412 OPENSSL_PUT_ERROR(SSL, SSL_R_UNEXPECTED_MESSAGE);
David Benjaminf2401eb2016-07-18 22:25:05 +0200413 ERR_add_error_dataf("got type %d, wanted type %d",
414 ssl->s3->tmp.message_type, type);
Steven Valdez143e8b32016-07-11 13:19:03 -0400415 return 0;
416 }
417
418 return 1;
419}
420
David Benjamin6e4fc332016-11-17 16:43:08 +0900421int tls13_process_finished(SSL_HANDSHAKE *hs) {
422 SSL *const ssl = hs->ssl;
Steven Valdez143e8b32016-07-11 13:19:03 -0400423 uint8_t verify_data[EVP_MAX_MD_SIZE];
424 size_t verify_data_len;
David Benjamin6e4fc332016-11-17 16:43:08 +0900425 if (!tls13_finished_mac(hs, verify_data, &verify_data_len, !ssl->server)) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400426 return 0;
427 }
428
David Benjamin04aa6942016-08-19 14:51:10 -0400429 int finished_ok =
430 ssl->init_num == verify_data_len &&
431 CRYPTO_memcmp(verify_data, ssl->init_msg, verify_data_len) == 0;
432#if defined(BORINGSSL_UNSAFE_FUZZER_MODE)
433 finished_ok = 1;
434#endif
435 if (!finished_ok) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400436 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECRYPT_ERROR);
437 OPENSSL_PUT_ERROR(SSL, SSL_R_DIGEST_CHECK_FAILED);
438 return 0;
439 }
440
441 return 1;
442}
443
David Benjamin6e4fc332016-11-17 16:43:08 +0900444int tls13_prepare_certificate(SSL_HANDSHAKE *hs) {
445 SSL *const ssl = hs->ssl;
Steven Valdeza833c352016-11-01 13:39:36 -0400446 CBB cbb, body, certificate_list;
Steven Valdez143e8b32016-07-11 13:19:03 -0400447 if (!ssl->method->init_message(ssl, &cbb, &body, SSL3_MT_CERTIFICATE) ||
David Benjamin8a8349b2016-08-18 02:32:23 -0400448 /* The request context is always empty in the handshake. */
449 !CBB_add_u8(&body, 0) ||
Steven Valdeza833c352016-11-01 13:39:36 -0400450 !CBB_add_u24_length_prefixed(&body, &certificate_list)) {
451 OPENSSL_PUT_ERROR(SSL, ERR_R_INTERNAL_ERROR);
452 goto err;
453 }
454
455 if (!ssl_has_certificate(ssl)) {
456 if (!ssl_complete_message(ssl, &cbb)) {
457 goto err;
458 }
459
460 return 1;
461 }
462
463 CERT *cert = ssl->cert;
464 CBB leaf, extensions;
465 if (!CBB_add_u24_length_prefixed(&certificate_list, &leaf) ||
466 !ssl_add_cert_to_cbb(&leaf, cert->x509_leaf) ||
467 !CBB_add_u16_length_prefixed(&certificate_list, &extensions)) {
468 OPENSSL_PUT_ERROR(SSL, ERR_R_INTERNAL_ERROR);
469 goto err;
470 }
471
David Benjamin6e4fc332016-11-17 16:43:08 +0900472 if (hs->scts_requested &&
Steven Valdeza833c352016-11-01 13:39:36 -0400473 ssl->ctx->signed_cert_timestamp_list_length != 0) {
474 CBB contents;
475 if (!CBB_add_u16(&extensions, TLSEXT_TYPE_certificate_timestamp) ||
476 !CBB_add_u16_length_prefixed(&extensions, &contents) ||
477 !CBB_add_bytes(&contents, ssl->ctx->signed_cert_timestamp_list,
Adam Langley6f5f49f2016-11-18 11:05:00 -0800478 ssl->ctx->signed_cert_timestamp_list_length) ||
479 !CBB_flush(&extensions)) {
Steven Valdeza833c352016-11-01 13:39:36 -0400480 OPENSSL_PUT_ERROR(SSL, ERR_R_INTERNAL_ERROR);
481 goto err;
482 }
483 }
484
David Benjamin6e4fc332016-11-17 16:43:08 +0900485 if (hs->ocsp_stapling_requested &&
Alessandro Ghedini559f0642016-12-07 12:55:32 +0000486 ssl->ocsp_response != NULL) {
Steven Valdeza833c352016-11-01 13:39:36 -0400487 CBB contents, ocsp_response;
488 if (!CBB_add_u16(&extensions, TLSEXT_TYPE_status_request) ||
489 !CBB_add_u16_length_prefixed(&extensions, &contents) ||
490 !CBB_add_u8(&contents, TLSEXT_STATUSTYPE_ocsp) ||
491 !CBB_add_u24_length_prefixed(&contents, &ocsp_response) ||
Alessandro Ghedini559f0642016-12-07 12:55:32 +0000492 !CBB_add_bytes(&ocsp_response, CRYPTO_BUFFER_data(ssl->ocsp_response),
493 CRYPTO_BUFFER_len(ssl->ocsp_response)) ||
Adam Langley6f5f49f2016-11-18 11:05:00 -0800494 !CBB_flush(&extensions)) {
Steven Valdeza833c352016-11-01 13:39:36 -0400495 OPENSSL_PUT_ERROR(SSL, ERR_R_INTERNAL_ERROR);
496 goto err;
497 }
498 }
499
500 for (size_t i = 0; i < sk_X509_num(cert->x509_chain); i++) {
501 CBB child;
502 if (!CBB_add_u24_length_prefixed(&certificate_list, &child) ||
503 !ssl_add_cert_to_cbb(&child, sk_X509_value(cert->x509_chain, i)) ||
504 !CBB_add_u16(&certificate_list, 0 /* no extensions */)) {
505 OPENSSL_PUT_ERROR(SSL, ERR_R_INTERNAL_ERROR);
506 goto err;
507 }
508 }
509
510 if (!ssl_complete_message(ssl, &cbb)) {
511 goto err;
Steven Valdez143e8b32016-07-11 13:19:03 -0400512 }
513
514 return 1;
Steven Valdeza833c352016-11-01 13:39:36 -0400515
516err:
517 CBB_cleanup(&cbb);
518 return 0;
Steven Valdez143e8b32016-07-11 13:19:03 -0400519}
520
521enum ssl_private_key_result_t tls13_prepare_certificate_verify(
David Benjamin6e4fc332016-11-17 16:43:08 +0900522 SSL_HANDSHAKE *hs, int is_first_run) {
523 SSL *const ssl = hs->ssl;
Steven Valdez143e8b32016-07-11 13:19:03 -0400524 enum ssl_private_key_result_t ret = ssl_private_key_failure;
525 uint8_t *msg = NULL;
526 size_t msg_len;
527 CBB cbb, body;
528 CBB_zero(&cbb);
529
530 uint16_t signature_algorithm;
David Benjaminf3c8f8d2016-11-17 17:20:47 +0900531 if (!tls1_choose_signature_algorithm(hs, &signature_algorithm)) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400532 goto err;
533 }
534 if (!ssl->method->init_message(ssl, &cbb, &body,
535 SSL3_MT_CERTIFICATE_VERIFY) ||
536 !CBB_add_u16(&body, signature_algorithm)) {
537 OPENSSL_PUT_ERROR(SSL, ERR_R_INTERNAL_ERROR);
538 goto err;
539 }
540
541 /* Sign the digest. */
542 CBB child;
543 const size_t max_sig_len = ssl_private_key_max_signature_len(ssl);
544 uint8_t *sig;
545 size_t sig_len;
546 if (!CBB_add_u16_length_prefixed(&body, &child) ||
547 !CBB_reserve(&child, &sig, max_sig_len)) {
548 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
549 goto err;
550 }
551
552 enum ssl_private_key_result_t sign_result;
553 if (is_first_run) {
Nick Harper60a85cb2016-09-23 16:25:11 -0700554 if (!tls13_get_cert_verify_signature_input(
555 ssl, &msg, &msg_len,
556 ssl->server ? ssl_cert_verify_server : ssl_cert_verify_client)) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400557 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
558 goto err;
559 }
560 sign_result = ssl_private_key_sign(ssl, sig, &sig_len, max_sig_len,
561 signature_algorithm, msg, msg_len);
562 } else {
563 sign_result = ssl_private_key_complete(ssl, sig, &sig_len, max_sig_len);
564 }
565
566 if (sign_result != ssl_private_key_success) {
567 ret = sign_result;
568 goto err;
569 }
570
571 if (!CBB_did_write(&child, sig_len) ||
Steven Valdez5eead162016-11-11 22:23:25 -0500572 !ssl_complete_message(ssl, &cbb)) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400573 goto err;
574 }
575
576 ret = ssl_private_key_success;
577
578err:
579 CBB_cleanup(&cbb);
580 OPENSSL_free(msg);
581 return ret;
582}
583
David Benjamin6e4fc332016-11-17 16:43:08 +0900584int tls13_prepare_finished(SSL_HANDSHAKE *hs) {
585 SSL *const ssl = hs->ssl;
Steven Valdez143e8b32016-07-11 13:19:03 -0400586 size_t verify_data_len;
587 uint8_t verify_data[EVP_MAX_MD_SIZE];
588
David Benjamin6e4fc332016-11-17 16:43:08 +0900589 if (!tls13_finished_mac(hs, verify_data, &verify_data_len, ssl->server)) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400590 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
591 OPENSSL_PUT_ERROR(SSL, SSL_R_DIGEST_CHECK_FAILED);
592 return 0;
593 }
594
595 CBB cbb, body;
596 if (!ssl->method->init_message(ssl, &cbb, &body, SSL3_MT_FINISHED) ||
597 !CBB_add_bytes(&body, verify_data, verify_data_len) ||
Steven Valdez5eead162016-11-11 22:23:25 -0500598 !ssl_complete_message(ssl, &cbb)) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400599 CBB_cleanup(&cbb);
600 return 0;
601 }
602
603 return 1;
604}
Steven Valdez8e1c7be2016-07-26 12:39:22 -0400605
Steven Valdez1dc53d22016-07-26 12:27:38 -0400606static int tls13_receive_key_update(SSL *ssl) {
Steven Valdezc4aa7272016-10-03 12:25:56 -0400607 CBS cbs;
608 uint8_t key_update_request;
609 CBS_init(&cbs, ssl->init_msg, ssl->init_num);
610 if (!CBS_get_u8(&cbs, &key_update_request) ||
611 CBS_len(&cbs) != 0 ||
612 (key_update_request != SSL_KEY_UPDATE_NOT_REQUESTED &&
613 key_update_request != SSL_KEY_UPDATE_REQUESTED)) {
Steven Valdez1dc53d22016-07-26 12:27:38 -0400614 OPENSSL_PUT_ERROR(SSL, SSL_R_DECODE_ERROR);
615 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
616 return 0;
617 }
618
Steven Valdezc4aa7272016-10-03 12:25:56 -0400619 /* TODO(svaldez): Send KeyUpdate if |key_update_request| is
620 * |SSL_KEY_UPDATE_REQUESTED|. */
Steven Valdez1dc53d22016-07-26 12:27:38 -0400621 return tls13_rotate_traffic_key(ssl, evp_aead_open);
622}
623
Steven Valdez8e1c7be2016-07-26 12:39:22 -0400624int tls13_post_handshake(SSL *ssl) {
Steven Valdez1dc53d22016-07-26 12:27:38 -0400625 if (ssl->s3->tmp.message_type == SSL3_MT_KEY_UPDATE) {
Steven Valdez32635b82016-08-16 11:25:03 -0400626 ssl->s3->key_update_count++;
627 if (ssl->s3->key_update_count > kMaxKeyUpdates) {
628 OPENSSL_PUT_ERROR(SSL, SSL_R_TOO_MANY_KEY_UPDATES);
629 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_UNEXPECTED_MESSAGE);
630 return 0;
631 }
632
Steven Valdez1dc53d22016-07-26 12:27:38 -0400633 return tls13_receive_key_update(ssl);
634 }
635
Steven Valdez32635b82016-08-16 11:25:03 -0400636 ssl->s3->key_update_count = 0;
637
Steven Valdez8e1c7be2016-07-26 12:39:22 -0400638 if (ssl->s3->tmp.message_type == SSL3_MT_NEW_SESSION_TICKET &&
639 !ssl->server) {
Steven Valdez1e6f11a2016-07-27 11:10:52 -0400640 return tls13_process_new_session_ticket(ssl);
Steven Valdez8e1c7be2016-07-26 12:39:22 -0400641 }
642
643 // TODO(svaldez): Handle post-handshake authentication.
Steven Valdez8e1c7be2016-07-26 12:39:22 -0400644
645 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_UNEXPECTED_MESSAGE);
646 OPENSSL_PUT_ERROR(SSL, SSL_R_UNEXPECTED_MESSAGE);
647 return 0;
648}