blob: 91cae9ad37a74d77a2e692736738c8a2cdf3aee2 [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: {
David Benjaminf71036e2017-01-21 14:49:39 -050061 int ret = ssl->method->ssl_get_message(ssl);
Steven Valdez143e8b32016-07-11 13:19:03 -040062 if (ret <= 0) {
63 return ret;
64 }
65 break;
66 }
67
Steven Valdez143e8b32016-07-11 13:19:03 -040068 case ssl_hs_x509_lookup:
69 ssl->rwstate = SSL_X509_LOOKUP;
70 hs->wait = ssl_hs_ok;
71 return -1;
72
Nick Harper60a85cb2016-09-23 16:25:11 -070073 case ssl_hs_channel_id_lookup:
74 ssl->rwstate = SSL_CHANNEL_ID_LOOKUP;
75 hs->wait = ssl_hs_ok;
76 return -1;
77
Steven Valdez143e8b32016-07-11 13:19:03 -040078 case ssl_hs_private_key_operation:
79 ssl->rwstate = SSL_PRIVATE_KEY_OPERATION;
80 hs->wait = ssl_hs_ok;
81 return -1;
82
83 case ssl_hs_ok:
84 break;
85 }
86
87 /* Run the state machine again. */
David Benjaminc3c88822016-11-14 10:32:04 +090088 hs->wait = hs->do_tls13_handshake(hs);
Steven Valdez143e8b32016-07-11 13:19:03 -040089 if (hs->wait == ssl_hs_error) {
90 /* Don't loop around to avoid a stray |SSL_R_SSL_HANDSHAKE_FAILURE| the
91 * first time around. */
92 return -1;
93 }
94 if (hs->wait == ssl_hs_ok) {
95 /* The handshake has completed. */
96 return 1;
97 }
98
99 /* Otherwise, loop to the beginning and resolve what was blocking the
100 * handshake. */
101 }
102}
103
Nick Harper60a85cb2016-09-23 16:25:11 -0700104int tls13_get_cert_verify_signature_input(
Steven Valdez908ac192017-01-12 13:17:07 -0500105 SSL_HANDSHAKE *hs, uint8_t **out, size_t *out_len,
Nick Harper60a85cb2016-09-23 16:25:11 -0700106 enum ssl_cert_verify_context_t cert_verify_context) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400107 CBB cbb;
108 if (!CBB_init(&cbb, 64 + 33 + 1 + 2 * EVP_MAX_MD_SIZE)) {
109 goto err;
110 }
111
112 for (size_t i = 0; i < 64; i++) {
113 if (!CBB_add_u8(&cbb, 0x20)) {
114 goto err;
115 }
116 }
117
Nick Harper60a85cb2016-09-23 16:25:11 -0700118 const uint8_t *context;
119 size_t context_len;
120 if (cert_verify_context == ssl_cert_verify_server) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400121 /* Include the NUL byte. */
122 static const char kContext[] = "TLS 1.3, server CertificateVerify";
Nick Harper60a85cb2016-09-23 16:25:11 -0700123 context = (const uint8_t *)kContext;
124 context_len = sizeof(kContext);
125 } else if (cert_verify_context == ssl_cert_verify_client) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400126 static const char kContext[] = "TLS 1.3, client CertificateVerify";
Nick Harper60a85cb2016-09-23 16:25:11 -0700127 context = (const uint8_t *)kContext;
128 context_len = sizeof(kContext);
129 } else if (cert_verify_context == ssl_cert_verify_channel_id) {
130 static const char kContext[] = "TLS 1.3, Channel ID";
131 context = (const uint8_t *)kContext;
132 context_len = sizeof(kContext);
133 } else {
134 goto err;
135 }
136
137 if (!CBB_add_bytes(&cbb, context, context_len)) {
138 goto err;
Steven Valdez143e8b32016-07-11 13:19:03 -0400139 }
140
Steven Valdeza833c352016-11-01 13:39:36 -0400141 uint8_t context_hash[EVP_MAX_MD_SIZE];
142 size_t context_hash_len;
Steven Valdez908ac192017-01-12 13:17:07 -0500143 if (!SSL_TRANSCRIPT_get_hash(&hs->transcript, context_hash,
144 &context_hash_len) ||
Steven Valdeza833c352016-11-01 13:39:36 -0400145 !CBB_add_bytes(&cbb, context_hash, context_hash_len) ||
Steven Valdez143e8b32016-07-11 13:19:03 -0400146 !CBB_finish(&cbb, out, out_len)) {
147 goto err;
148 }
149
150 return 1;
151
152err:
153 OPENSSL_PUT_ERROR(SSL, ERR_R_MALLOC_FAILURE);
154 CBB_cleanup(&cbb);
155 return 0;
156}
157
Adam Langley0c294252016-12-12 11:46:09 -0800158int tls13_process_certificate(SSL_HANDSHAKE *hs, int allow_anonymous) {
159 SSL *const ssl = hs->ssl;
Steven Valdeza833c352016-11-01 13:39:36 -0400160 CBS cbs, context, certificate_list;
Steven Valdez143e8b32016-07-11 13:19:03 -0400161 CBS_init(&cbs, ssl->init_msg, ssl->init_num);
162 if (!CBS_get_u8_length_prefixed(&cbs, &context) ||
163 CBS_len(&context) != 0) {
164 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
165 OPENSSL_PUT_ERROR(SSL, SSL_R_DECODE_ERROR);
166 return 0;
167 }
168
David Benjamin4087df92016-08-01 20:16:31 -0400169 const int retain_sha256 =
David Benjaminbbaf3672016-11-17 10:53:09 +0900170 ssl->server && ssl->retain_only_sha256_of_client_certs;
Steven Valdez143e8b32016-07-11 13:19:03 -0400171 int ret = 0;
Steven Valdeza833c352016-11-01 13:39:36 -0400172
Adam Langley0c294252016-12-12 11:46:09 -0800173 EVP_PKEY *pkey = NULL;
Adam Langley68e71242016-12-12 11:06:16 -0800174 STACK_OF(CRYPTO_BUFFER) *certs = sk_CRYPTO_BUFFER_new_null();
175 if (certs == NULL) {
Steven Valdeza833c352016-11-01 13:39:36 -0400176 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
177 OPENSSL_PUT_ERROR(SSL, ERR_R_MALLOC_FAILURE);
Steven Valdez143e8b32016-07-11 13:19:03 -0400178 goto err;
179 }
180
Steven Valdeza833c352016-11-01 13:39:36 -0400181 if (!CBS_get_u24_length_prefixed(&cbs, &certificate_list)) {
182 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
183 OPENSSL_PUT_ERROR(SSL, SSL_R_DECODE_ERROR);
184 goto err;
185 }
186
187 while (CBS_len(&certificate_list) > 0) {
188 CBS certificate, extensions;
189 if (!CBS_get_u24_length_prefixed(&certificate_list, &certificate) ||
Adam Langley68e71242016-12-12 11:06:16 -0800190 !CBS_get_u16_length_prefixed(&certificate_list, &extensions) ||
191 CBS_len(&certificate) == 0) {
Steven Valdeza833c352016-11-01 13:39:36 -0400192 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
193 OPENSSL_PUT_ERROR(SSL, SSL_R_CERT_LENGTH_MISMATCH);
194 goto err;
195 }
196
Adam Langley0c294252016-12-12 11:46:09 -0800197 if (sk_CRYPTO_BUFFER_num(certs) == 0) {
198 pkey = ssl_cert_parse_pubkey(&certificate);
199 if (pkey == NULL) {
200 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
201 OPENSSL_PUT_ERROR(SSL, SSL_R_DECODE_ERROR);
202 goto err;
203 }
Adam Langleya4b91982016-12-12 12:05:53 -0800204 /* TLS 1.3 always uses certificate keys for signing thus the correct
205 * keyUsage is enforced. */
206 if (!ssl_cert_check_digital_signature_key_usage(&certificate)) {
207 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_ILLEGAL_PARAMETER);
208 goto err;
209 }
Adam Langley0c294252016-12-12 11:46:09 -0800210
211 if (retain_sha256) {
212 /* Retain the hash of the leaf certificate if requested. */
213 SHA256(CBS_data(&certificate), CBS_len(&certificate),
David Benjamin45738dd2017-02-09 20:01:26 -0500214 hs->new_session->peer_sha256);
Adam Langley0c294252016-12-12 11:46:09 -0800215 }
Steven Valdeza833c352016-11-01 13:39:36 -0400216 }
217
Adam Langleyd519bf62016-12-12 11:16:44 -0800218 CRYPTO_BUFFER *buf =
219 CRYPTO_BUFFER_new_from_CBS(&certificate, ssl->ctx->pool);
Adam Langley68e71242016-12-12 11:06:16 -0800220 if (buf == NULL ||
221 !sk_CRYPTO_BUFFER_push(certs, buf)) {
222 CRYPTO_BUFFER_free(buf);
Adam Langleye8509092016-11-07 14:24:33 -0800223 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
224 OPENSSL_PUT_ERROR(SSL, ERR_R_MALLOC_FAILURE);
Steven Valdeza833c352016-11-01 13:39:36 -0400225 goto err;
226 }
227
228 /* Parse out the extensions. */
229 int have_status_request = 0, have_sct = 0;
230 CBS status_request, sct;
David Benjaminffb11072016-11-13 10:32:10 +0900231 const SSL_EXTENSION_TYPE ext_types[] = {
232 {TLSEXT_TYPE_status_request, &have_status_request, &status_request},
233 {TLSEXT_TYPE_certificate_timestamp, &have_sct, &sct},
234 };
Steven Valdeza833c352016-11-01 13:39:36 -0400235
Adam Langleyc68e5b92017-02-08 13:33:15 -0800236 uint8_t alert = SSL_AD_DECODE_ERROR;
David Benjaminffb11072016-11-13 10:32:10 +0900237 if (!ssl_parse_extensions(&extensions, &alert, ext_types,
Steven Valdez08b65f42016-12-07 15:29:45 -0500238 OPENSSL_ARRAY_SIZE(ext_types),
239 0 /* reject unknown */)) {
David Benjaminffb11072016-11-13 10:32:10 +0900240 ssl3_send_alert(ssl, SSL3_AL_FATAL, alert);
241 goto err;
Steven Valdeza833c352016-11-01 13:39:36 -0400242 }
243
244 /* All Certificate extensions are parsed, but only the leaf extensions are
245 * stored. */
246 if (have_status_request) {
247 if (ssl->server || !ssl->ocsp_stapling_enabled) {
248 OPENSSL_PUT_ERROR(SSL, SSL_R_UNEXPECTED_EXTENSION);
249 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_UNSUPPORTED_EXTENSION);
250 goto err;
251 }
252
253 uint8_t status_type;
254 CBS ocsp_response;
255 if (!CBS_get_u8(&status_request, &status_type) ||
256 status_type != TLSEXT_STATUSTYPE_ocsp ||
257 !CBS_get_u24_length_prefixed(&status_request, &ocsp_response) ||
258 CBS_len(&ocsp_response) == 0 ||
259 CBS_len(&status_request) != 0) {
260 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
261 goto err;
262 }
263
Adam Langley68e71242016-12-12 11:06:16 -0800264 if (sk_CRYPTO_BUFFER_num(certs) == 1 &&
David Benjamin45738dd2017-02-09 20:01:26 -0500265 !CBS_stow(&ocsp_response, &hs->new_session->ocsp_response,
266 &hs->new_session->ocsp_response_length)) {
Steven Valdeza833c352016-11-01 13:39:36 -0400267 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
268 goto err;
269 }
270 }
271
272 if (have_sct) {
273 if (ssl->server || !ssl->signed_cert_timestamps_enabled) {
274 OPENSSL_PUT_ERROR(SSL, SSL_R_UNEXPECTED_EXTENSION);
275 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_UNSUPPORTED_EXTENSION);
276 goto err;
277 }
278
Adam Langleycfa08c32016-11-17 13:21:27 -0800279 if (!ssl_is_sct_list_valid(&sct)) {
280 OPENSSL_PUT_ERROR(SSL, SSL_R_ERROR_PARSING_EXTENSION);
Steven Valdeza833c352016-11-01 13:39:36 -0400281 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
282 goto err;
283 }
284
Adam Langley68e71242016-12-12 11:06:16 -0800285 if (sk_CRYPTO_BUFFER_num(certs) == 1 &&
David Benjamin45738dd2017-02-09 20:01:26 -0500286 !CBS_stow(
287 &sct, &hs->new_session->tlsext_signed_cert_timestamp_list,
288 &hs->new_session->tlsext_signed_cert_timestamp_list_length)) {
Steven Valdeza833c352016-11-01 13:39:36 -0400289 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
290 goto err;
291 }
292 }
293 }
294
Steven Valdez143e8b32016-07-11 13:19:03 -0400295 if (CBS_len(&cbs) != 0) {
296 OPENSSL_PUT_ERROR(SSL, SSL_R_DECODE_ERROR);
297 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
298 goto err;
299 }
300
Adam Langley0c294252016-12-12 11:46:09 -0800301 EVP_PKEY_free(hs->peer_pubkey);
302 hs->peer_pubkey = pkey;
303 pkey = NULL;
304
David Benjamin45738dd2017-02-09 20:01:26 -0500305 sk_CRYPTO_BUFFER_pop_free(hs->new_session->certs, CRYPTO_BUFFER_free);
306 hs->new_session->certs = certs;
Adam Langley68e71242016-12-12 11:06:16 -0800307 certs = NULL;
308
David Benjamin45738dd2017-02-09 20:01:26 -0500309 if (!ssl->ctx->x509_method->session_cache_objects(hs->new_session)) {
Adam Langley68e71242016-12-12 11:06:16 -0800310 OPENSSL_PUT_ERROR(SSL, SSL_R_DECODE_ERROR);
311 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
312 goto err;
313 }
314
David Benjamin45738dd2017-02-09 20:01:26 -0500315 if (sk_CRYPTO_BUFFER_num(hs->new_session->certs) == 0) {
David Benjamin4087df92016-08-01 20:16:31 -0400316 if (!allow_anonymous) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400317 OPENSSL_PUT_ERROR(SSL, SSL_R_PEER_DID_NOT_RETURN_A_CERTIFICATE);
David Benjamin1db9e1b2016-10-07 20:51:43 -0400318 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_CERTIFICATE_REQUIRED);
Steven Valdez143e8b32016-07-11 13:19:03 -0400319 goto err;
320 }
321
Adam Langley37646832016-08-01 16:16:46 -0700322 /* OpenSSL returns X509_V_OK when no certificates are requested. This is
David Benjamindd634eb2016-08-18 16:40:28 -0400323 * classed by them as a bug, but it's assumed by at least NGINX. */
David Benjamin45738dd2017-02-09 20:01:26 -0500324 hs->new_session->verify_result = X509_V_OK;
Adam Langley37646832016-08-01 16:16:46 -0700325
Steven Valdez143e8b32016-07-11 13:19:03 -0400326 /* No certificate, so nothing more to do. */
327 ret = 1;
328 goto err;
329 }
330
David Benjamin45738dd2017-02-09 20:01:26 -0500331 hs->new_session->peer_sha256_valid = retain_sha256;
Steven Valdez143e8b32016-07-11 13:19:03 -0400332
David Benjamin45738dd2017-02-09 20:01:26 -0500333 if (!ssl_verify_cert_chain(ssl, &hs->new_session->verify_result,
334 hs->new_session->x509_chain)) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400335 goto err;
336 }
Steven Valdez143e8b32016-07-11 13:19:03 -0400337
Steven Valdez143e8b32016-07-11 13:19:03 -0400338 ret = 1;
339
340err:
Adam Langley68e71242016-12-12 11:06:16 -0800341 sk_CRYPTO_BUFFER_pop_free(certs, CRYPTO_BUFFER_free);
Adam Langley0c294252016-12-12 11:46:09 -0800342 EVP_PKEY_free(pkey);
Steven Valdez143e8b32016-07-11 13:19:03 -0400343 return ret;
344}
345
Adam Langley0c294252016-12-12 11:46:09 -0800346int tls13_process_certificate_verify(SSL_HANDSHAKE *hs) {
347 SSL *const ssl = hs->ssl;
Steven Valdez143e8b32016-07-11 13:19:03 -0400348 int ret = 0;
Steven Valdez143e8b32016-07-11 13:19:03 -0400349 uint8_t *msg = NULL;
350 size_t msg_len;
351
Adam Langley0c294252016-12-12 11:46:09 -0800352 if (hs->peer_pubkey == NULL) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400353 goto err;
354 }
355
356 CBS cbs, signature;
357 uint16_t signature_algorithm;
358 CBS_init(&cbs, ssl->init_msg, ssl->init_num);
359 if (!CBS_get_u16(&cbs, &signature_algorithm) ||
360 !CBS_get_u16_length_prefixed(&cbs, &signature) ||
361 CBS_len(&cbs) != 0) {
362 OPENSSL_PUT_ERROR(SSL, SSL_R_DECODE_ERROR);
363 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
364 goto err;
365 }
366
367 int al;
368 if (!tls12_check_peer_sigalg(ssl, &al, signature_algorithm)) {
369 ssl3_send_alert(ssl, SSL3_AL_FATAL, al);
370 goto err;
371 }
David Benjamin45738dd2017-02-09 20:01:26 -0500372 hs->new_session->peer_signature_algorithm = signature_algorithm;
Steven Valdez143e8b32016-07-11 13:19:03 -0400373
Nick Harper60a85cb2016-09-23 16:25:11 -0700374 if (!tls13_get_cert_verify_signature_input(
Steven Valdez908ac192017-01-12 13:17:07 -0500375 hs, &msg, &msg_len,
Nick Harper60a85cb2016-09-23 16:25:11 -0700376 ssl->server ? ssl_cert_verify_client : ssl_cert_verify_server)) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400377 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
378 goto err;
379 }
380
381 int sig_ok =
382 ssl_public_key_verify(ssl, CBS_data(&signature), CBS_len(&signature),
Adam Langley0c294252016-12-12 11:46:09 -0800383 signature_algorithm, hs->peer_pubkey, msg, msg_len);
David Benjamin04aa6942016-08-19 14:51:10 -0400384#if defined(BORINGSSL_UNSAFE_FUZZER_MODE)
385 sig_ok = 1;
386 ERR_clear_error();
387#endif
Steven Valdez143e8b32016-07-11 13:19:03 -0400388 if (!sig_ok) {
389 OPENSSL_PUT_ERROR(SSL, SSL_R_BAD_SIGNATURE);
390 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECRYPT_ERROR);
391 goto err;
392 }
393
394 ret = 1;
395
396err:
Steven Valdez143e8b32016-07-11 13:19:03 -0400397 OPENSSL_free(msg);
398 return ret;
399}
400
David Benjamin6e4fc332016-11-17 16:43:08 +0900401int tls13_process_finished(SSL_HANDSHAKE *hs) {
402 SSL *const ssl = hs->ssl;
Steven Valdez143e8b32016-07-11 13:19:03 -0400403 uint8_t verify_data[EVP_MAX_MD_SIZE];
404 size_t verify_data_len;
David Benjamin6e4fc332016-11-17 16:43:08 +0900405 if (!tls13_finished_mac(hs, verify_data, &verify_data_len, !ssl->server)) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400406 return 0;
407 }
408
David Benjamin04aa6942016-08-19 14:51:10 -0400409 int finished_ok =
410 ssl->init_num == verify_data_len &&
411 CRYPTO_memcmp(verify_data, ssl->init_msg, verify_data_len) == 0;
412#if defined(BORINGSSL_UNSAFE_FUZZER_MODE)
413 finished_ok = 1;
414#endif
415 if (!finished_ok) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400416 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECRYPT_ERROR);
417 OPENSSL_PUT_ERROR(SSL, SSL_R_DIGEST_CHECK_FAILED);
418 return 0;
419 }
420
421 return 1;
422}
423
David Benjamin0f24bed2017-01-12 19:46:50 -0500424int tls13_add_certificate(SSL_HANDSHAKE *hs) {
David Benjamin6e4fc332016-11-17 16:43:08 +0900425 SSL *const ssl = hs->ssl;
Steven Valdeza833c352016-11-01 13:39:36 -0400426 CBB cbb, body, certificate_list;
Steven Valdez143e8b32016-07-11 13:19:03 -0400427 if (!ssl->method->init_message(ssl, &cbb, &body, SSL3_MT_CERTIFICATE) ||
David Benjamin8a8349b2016-08-18 02:32:23 -0400428 /* The request context is always empty in the handshake. */
429 !CBB_add_u8(&body, 0) ||
Steven Valdeza833c352016-11-01 13:39:36 -0400430 !CBB_add_u24_length_prefixed(&body, &certificate_list)) {
431 OPENSSL_PUT_ERROR(SSL, ERR_R_INTERNAL_ERROR);
432 goto err;
433 }
434
435 if (!ssl_has_certificate(ssl)) {
David Benjamindaf207a2017-01-03 18:37:41 -0500436 if (!ssl_add_message_cbb(ssl, &cbb)) {
Steven Valdeza833c352016-11-01 13:39:36 -0400437 goto err;
438 }
439
440 return 1;
441 }
442
443 CERT *cert = ssl->cert;
Adam Langley3a2b47a2017-01-24 13:59:42 -0800444 CRYPTO_BUFFER *leaf_buf = sk_CRYPTO_BUFFER_value(cert->chain, 0);
Steven Valdeza833c352016-11-01 13:39:36 -0400445 CBB leaf, extensions;
446 if (!CBB_add_u24_length_prefixed(&certificate_list, &leaf) ||
Adam Langley3a2b47a2017-01-24 13:59:42 -0800447 !CBB_add_bytes(&leaf, CRYPTO_BUFFER_data(leaf_buf),
448 CRYPTO_BUFFER_len(leaf_buf)) ||
Steven Valdeza833c352016-11-01 13:39:36 -0400449 !CBB_add_u16_length_prefixed(&certificate_list, &extensions)) {
450 OPENSSL_PUT_ERROR(SSL, ERR_R_INTERNAL_ERROR);
451 goto err;
452 }
453
David Benjamin83a32122017-02-14 18:34:54 -0500454 if (hs->scts_requested && ssl->cert->signed_cert_timestamp_list != NULL) {
Steven Valdeza833c352016-11-01 13:39:36 -0400455 CBB contents;
456 if (!CBB_add_u16(&extensions, TLSEXT_TYPE_certificate_timestamp) ||
457 !CBB_add_u16_length_prefixed(&extensions, &contents) ||
David Benjamin83a32122017-02-14 18:34:54 -0500458 !CBB_add_bytes(
459 &contents,
460 CRYPTO_BUFFER_data(ssl->cert->signed_cert_timestamp_list),
461 CRYPTO_BUFFER_len(ssl->cert->signed_cert_timestamp_list)) ||
Adam Langley6f5f49f2016-11-18 11:05:00 -0800462 !CBB_flush(&extensions)) {
Steven Valdeza833c352016-11-01 13:39:36 -0400463 OPENSSL_PUT_ERROR(SSL, ERR_R_INTERNAL_ERROR);
464 goto err;
465 }
466 }
467
David Benjamin6e4fc332016-11-17 16:43:08 +0900468 if (hs->ocsp_stapling_requested &&
David Benjamin83a32122017-02-14 18:34:54 -0500469 ssl->cert->ocsp_response != NULL) {
Steven Valdeza833c352016-11-01 13:39:36 -0400470 CBB contents, ocsp_response;
471 if (!CBB_add_u16(&extensions, TLSEXT_TYPE_status_request) ||
472 !CBB_add_u16_length_prefixed(&extensions, &contents) ||
473 !CBB_add_u8(&contents, TLSEXT_STATUSTYPE_ocsp) ||
474 !CBB_add_u24_length_prefixed(&contents, &ocsp_response) ||
David Benjamin83a32122017-02-14 18:34:54 -0500475 !CBB_add_bytes(&ocsp_response,
476 CRYPTO_BUFFER_data(ssl->cert->ocsp_response),
477 CRYPTO_BUFFER_len(ssl->cert->ocsp_response)) ||
Adam Langley6f5f49f2016-11-18 11:05:00 -0800478 !CBB_flush(&extensions)) {
Steven Valdeza833c352016-11-01 13:39:36 -0400479 OPENSSL_PUT_ERROR(SSL, ERR_R_INTERNAL_ERROR);
480 goto err;
481 }
482 }
483
Adam Langley3a2b47a2017-01-24 13:59:42 -0800484 for (size_t i = 1; i < sk_CRYPTO_BUFFER_num(cert->chain); i++) {
485 CRYPTO_BUFFER *cert_buf = sk_CRYPTO_BUFFER_value(cert->chain, i);
Steven Valdeza833c352016-11-01 13:39:36 -0400486 CBB child;
487 if (!CBB_add_u24_length_prefixed(&certificate_list, &child) ||
Adam Langley3a2b47a2017-01-24 13:59:42 -0800488 !CBB_add_bytes(&child, CRYPTO_BUFFER_data(cert_buf),
489 CRYPTO_BUFFER_len(cert_buf)) ||
Steven Valdeza833c352016-11-01 13:39:36 -0400490 !CBB_add_u16(&certificate_list, 0 /* no extensions */)) {
491 OPENSSL_PUT_ERROR(SSL, ERR_R_INTERNAL_ERROR);
492 goto err;
493 }
494 }
495
David Benjamindaf207a2017-01-03 18:37:41 -0500496 if (!ssl_add_message_cbb(ssl, &cbb)) {
Steven Valdeza833c352016-11-01 13:39:36 -0400497 goto err;
Steven Valdez143e8b32016-07-11 13:19:03 -0400498 }
499
500 return 1;
Steven Valdeza833c352016-11-01 13:39:36 -0400501
502err:
503 CBB_cleanup(&cbb);
504 return 0;
Steven Valdez143e8b32016-07-11 13:19:03 -0400505}
506
David Benjamin0f24bed2017-01-12 19:46:50 -0500507enum ssl_private_key_result_t tls13_add_certificate_verify(SSL_HANDSHAKE *hs,
508 int is_first_run) {
David Benjamin6e4fc332016-11-17 16:43:08 +0900509 SSL *const ssl = hs->ssl;
Steven Valdez143e8b32016-07-11 13:19:03 -0400510 enum ssl_private_key_result_t ret = ssl_private_key_failure;
511 uint8_t *msg = NULL;
512 size_t msg_len;
513 CBB cbb, body;
514 CBB_zero(&cbb);
515
516 uint16_t signature_algorithm;
David Benjaminf3c8f8d2016-11-17 17:20:47 +0900517 if (!tls1_choose_signature_algorithm(hs, &signature_algorithm)) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400518 goto err;
519 }
520 if (!ssl->method->init_message(ssl, &cbb, &body,
521 SSL3_MT_CERTIFICATE_VERIFY) ||
522 !CBB_add_u16(&body, signature_algorithm)) {
523 OPENSSL_PUT_ERROR(SSL, ERR_R_INTERNAL_ERROR);
524 goto err;
525 }
526
527 /* Sign the digest. */
528 CBB child;
529 const size_t max_sig_len = ssl_private_key_max_signature_len(ssl);
530 uint8_t *sig;
531 size_t sig_len;
532 if (!CBB_add_u16_length_prefixed(&body, &child) ||
533 !CBB_reserve(&child, &sig, max_sig_len)) {
534 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
535 goto err;
536 }
537
538 enum ssl_private_key_result_t sign_result;
539 if (is_first_run) {
Nick Harper60a85cb2016-09-23 16:25:11 -0700540 if (!tls13_get_cert_verify_signature_input(
Steven Valdez908ac192017-01-12 13:17:07 -0500541 hs, &msg, &msg_len,
Nick Harper60a85cb2016-09-23 16:25:11 -0700542 ssl->server ? ssl_cert_verify_server : ssl_cert_verify_client)) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400543 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
544 goto err;
545 }
546 sign_result = ssl_private_key_sign(ssl, sig, &sig_len, max_sig_len,
547 signature_algorithm, msg, msg_len);
548 } else {
549 sign_result = ssl_private_key_complete(ssl, sig, &sig_len, max_sig_len);
550 }
551
552 if (sign_result != ssl_private_key_success) {
553 ret = sign_result;
554 goto err;
555 }
556
557 if (!CBB_did_write(&child, sig_len) ||
David Benjamindaf207a2017-01-03 18:37:41 -0500558 !ssl_add_message_cbb(ssl, &cbb)) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400559 goto err;
560 }
561
562 ret = ssl_private_key_success;
563
564err:
565 CBB_cleanup(&cbb);
566 OPENSSL_free(msg);
567 return ret;
568}
569
David Benjamin0f24bed2017-01-12 19:46:50 -0500570int tls13_add_finished(SSL_HANDSHAKE *hs) {
David Benjamin6e4fc332016-11-17 16:43:08 +0900571 SSL *const ssl = hs->ssl;
Steven Valdez143e8b32016-07-11 13:19:03 -0400572 size_t verify_data_len;
573 uint8_t verify_data[EVP_MAX_MD_SIZE];
574
David Benjamin6e4fc332016-11-17 16:43:08 +0900575 if (!tls13_finished_mac(hs, verify_data, &verify_data_len, ssl->server)) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400576 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
577 OPENSSL_PUT_ERROR(SSL, SSL_R_DIGEST_CHECK_FAILED);
578 return 0;
579 }
580
581 CBB cbb, body;
582 if (!ssl->method->init_message(ssl, &cbb, &body, SSL3_MT_FINISHED) ||
583 !CBB_add_bytes(&body, verify_data, verify_data_len) ||
David Benjamindaf207a2017-01-03 18:37:41 -0500584 !ssl_add_message_cbb(ssl, &cbb)) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400585 CBB_cleanup(&cbb);
586 return 0;
587 }
588
589 return 1;
590}
Steven Valdez8e1c7be2016-07-26 12:39:22 -0400591
Steven Valdez1dc53d22016-07-26 12:27:38 -0400592static int tls13_receive_key_update(SSL *ssl) {
Steven Valdezc4aa7272016-10-03 12:25:56 -0400593 CBS cbs;
594 uint8_t key_update_request;
595 CBS_init(&cbs, ssl->init_msg, ssl->init_num);
596 if (!CBS_get_u8(&cbs, &key_update_request) ||
597 CBS_len(&cbs) != 0 ||
598 (key_update_request != SSL_KEY_UPDATE_NOT_REQUESTED &&
599 key_update_request != SSL_KEY_UPDATE_REQUESTED)) {
Steven Valdez1dc53d22016-07-26 12:27:38 -0400600 OPENSSL_PUT_ERROR(SSL, SSL_R_DECODE_ERROR);
601 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
602 return 0;
603 }
604
Steven Valdezc4aa7272016-10-03 12:25:56 -0400605 /* TODO(svaldez): Send KeyUpdate if |key_update_request| is
606 * |SSL_KEY_UPDATE_REQUESTED|. */
Steven Valdez1dc53d22016-07-26 12:27:38 -0400607 return tls13_rotate_traffic_key(ssl, evp_aead_open);
608}
609
Steven Valdez8e1c7be2016-07-26 12:39:22 -0400610int tls13_post_handshake(SSL *ssl) {
Steven Valdez1dc53d22016-07-26 12:27:38 -0400611 if (ssl->s3->tmp.message_type == SSL3_MT_KEY_UPDATE) {
Steven Valdez32635b82016-08-16 11:25:03 -0400612 ssl->s3->key_update_count++;
613 if (ssl->s3->key_update_count > kMaxKeyUpdates) {
614 OPENSSL_PUT_ERROR(SSL, SSL_R_TOO_MANY_KEY_UPDATES);
615 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_UNEXPECTED_MESSAGE);
616 return 0;
617 }
618
Steven Valdez1dc53d22016-07-26 12:27:38 -0400619 return tls13_receive_key_update(ssl);
620 }
621
Steven Valdez32635b82016-08-16 11:25:03 -0400622 ssl->s3->key_update_count = 0;
623
Steven Valdez8e1c7be2016-07-26 12:39:22 -0400624 if (ssl->s3->tmp.message_type == SSL3_MT_NEW_SESSION_TICKET &&
625 !ssl->server) {
Steven Valdez1e6f11a2016-07-27 11:10:52 -0400626 return tls13_process_new_session_ticket(ssl);
Steven Valdez8e1c7be2016-07-26 12:39:22 -0400627 }
628
629 // TODO(svaldez): Handle post-handshake authentication.
Steven Valdez8e1c7be2016-07-26 12:39:22 -0400630
631 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_UNEXPECTED_MESSAGE);
632 OPENSSL_PUT_ERROR(SSL, SSL_R_UNEXPECTED_MESSAGE);
633 return 0;
634}