blob: 91b7f2b145d35f5ca08960d43772c1272e4ed69f [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
David Benjamin86e95b82017-07-18 16:34:25 -040015#define BORINGSSL_INTERNAL_CXX_TYPES
16
Steven Valdez143e8b32016-07-11 13:19:03 -040017#include <openssl/ssl.h>
18
19#include <assert.h>
20#include <string.h>
21
22#include <openssl/bytestring.h>
23#include <openssl/err.h>
24#include <openssl/hkdf.h>
25#include <openssl/mem.h>
26#include <openssl/stack.h>
27#include <openssl/x509.h>
Steven Valdez143e8b32016-07-11 13:19:03 -040028
David Benjaminffb11072016-11-13 10:32:10 +090029#include "../crypto/internal.h"
Steven Valdez143e8b32016-07-11 13:19:03 -040030#include "internal.h"
31
32
David Benjamin86e95b82017-07-18 16:34:25 -040033namespace bssl {
34
Steven Valdez32635b82016-08-16 11:25:03 -040035/* kMaxKeyUpdates is the number of consecutive KeyUpdates that will be
36 * processed. Without this limit an attacker could force unbounded processing
37 * without being able to return application data. */
38static const uint8_t kMaxKeyUpdates = 32;
39
Steven Valdez681eb6a2016-12-19 13:19:29 -050040int tls13_handshake(SSL_HANDSHAKE *hs, int *out_early_return) {
David Benjaminc3c88822016-11-14 10:32:04 +090041 SSL *const ssl = hs->ssl;
Steven Valdez143e8b32016-07-11 13:19:03 -040042 for (;;) {
43 /* Resolve the operation the handshake was waiting on. */
44 switch (hs->wait) {
45 case ssl_hs_error:
46 OPENSSL_PUT_ERROR(SSL, SSL_R_SSL_HANDSHAKE_FAILURE);
47 return -1;
48
David Benjaminf2401eb2016-07-18 22:25:05 +020049 case ssl_hs_flush:
50 case ssl_hs_flush_and_read_message: {
David Benjamin8d5f9da2017-01-01 17:41:30 -050051 int ret = ssl->method->flush_flight(ssl);
David Benjaminf2401eb2016-07-18 22:25:05 +020052 if (ret <= 0) {
David Benjaminf2401eb2016-07-18 22:25:05 +020053 return ret;
54 }
55 if (hs->wait != ssl_hs_flush_and_read_message) {
56 break;
57 }
David Benjamin613fe3b2016-07-22 17:39:29 +020058 ssl->method->expect_flight(ssl);
David Benjaminf2401eb2016-07-18 22:25:05 +020059 hs->wait = ssl_hs_read_message;
Adam Langley11d11d62017-07-17 11:10:46 -070060 SSL_FALLTHROUGH;
David Benjaminf2401eb2016-07-18 22:25:05 +020061 }
62
Steven Valdez143e8b32016-07-11 13:19:03 -040063 case ssl_hs_read_message: {
David Benjaminf71036e2017-01-21 14:49:39 -050064 int ret = ssl->method->ssl_get_message(ssl);
Steven Valdez143e8b32016-07-11 13:19:03 -040065 if (ret <= 0) {
66 return ret;
67 }
68 break;
69 }
70
Steven Valdez520e1222017-06-13 12:45:25 -040071 case ssl_hs_read_change_cipher_spec: {
72 int ret = ssl->method->read_change_cipher_spec(ssl);
73 if (ret <= 0) {
74 return ret;
75 }
76 break;
77 }
78
Steven Valdez2d850622017-01-11 11:34:52 -050079 case ssl_hs_read_end_of_early_data: {
Steven Valdez681eb6a2016-12-19 13:19:29 -050080 if (ssl->s3->hs->can_early_read) {
81 /* While we are processing early data, the handshake returns early. */
82 *out_early_return = 1;
83 return 1;
Steven Valdez2d850622017-01-11 11:34:52 -050084 }
Steven Valdez681eb6a2016-12-19 13:19:29 -050085 hs->wait = ssl_hs_ok;
Steven Valdez2d850622017-01-11 11:34:52 -050086 break;
87 }
88
Steven Valdez143e8b32016-07-11 13:19:03 -040089 case ssl_hs_x509_lookup:
90 ssl->rwstate = SSL_X509_LOOKUP;
91 hs->wait = ssl_hs_ok;
92 return -1;
93
Nick Harper60a85cb2016-09-23 16:25:11 -070094 case ssl_hs_channel_id_lookup:
95 ssl->rwstate = SSL_CHANNEL_ID_LOOKUP;
96 hs->wait = ssl_hs_ok;
97 return -1;
98
Steven Valdez143e8b32016-07-11 13:19:03 -040099 case ssl_hs_private_key_operation:
100 ssl->rwstate = SSL_PRIVATE_KEY_OPERATION;
101 hs->wait = ssl_hs_ok;
102 return -1;
103
David Benjamin707af292017-03-10 17:47:18 -0500104 case ssl_hs_pending_ticket:
105 ssl->rwstate = SSL_PENDING_TICKET;
106 hs->wait = ssl_hs_ok;
107 return -1;
108
David Benjamin3a1dd462017-07-11 16:13:10 -0400109 case ssl_hs_certificate_verify:
110 ssl->rwstate = SSL_CERTIFICATE_VERIFY;
111 hs->wait = ssl_hs_ok;
112 return -1;
113
Steven Valdeze831a812017-03-09 14:56:07 -0500114 case ssl_hs_early_data_rejected:
115 ssl->rwstate = SSL_EARLY_DATA_REJECTED;
116 /* Cause |SSL_write| to start failing immediately. */
117 hs->can_early_write = 0;
118 return -1;
119
Steven Valdez143e8b32016-07-11 13:19:03 -0400120 case ssl_hs_ok:
121 break;
122 }
123
124 /* Run the state machine again. */
David Benjaminc3c88822016-11-14 10:32:04 +0900125 hs->wait = hs->do_tls13_handshake(hs);
Steven Valdez143e8b32016-07-11 13:19:03 -0400126 if (hs->wait == ssl_hs_error) {
127 /* Don't loop around to avoid a stray |SSL_R_SSL_HANDSHAKE_FAILURE| the
128 * first time around. */
129 return -1;
130 }
131 if (hs->wait == ssl_hs_ok) {
132 /* The handshake has completed. */
133 return 1;
134 }
135
136 /* Otherwise, loop to the beginning and resolve what was blocking the
137 * handshake. */
138 }
139}
140
Nick Harper60a85cb2016-09-23 16:25:11 -0700141int tls13_get_cert_verify_signature_input(
Steven Valdez908ac192017-01-12 13:17:07 -0500142 SSL_HANDSHAKE *hs, uint8_t **out, size_t *out_len,
Nick Harper60a85cb2016-09-23 16:25:11 -0700143 enum ssl_cert_verify_context_t cert_verify_context) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400144 CBB cbb;
145 if (!CBB_init(&cbb, 64 + 33 + 1 + 2 * EVP_MAX_MD_SIZE)) {
146 goto err;
147 }
148
149 for (size_t i = 0; i < 64; i++) {
150 if (!CBB_add_u8(&cbb, 0x20)) {
151 goto err;
152 }
153 }
154
Nick Harper60a85cb2016-09-23 16:25:11 -0700155 const uint8_t *context;
156 size_t context_len;
157 if (cert_verify_context == ssl_cert_verify_server) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400158 /* Include the NUL byte. */
159 static const char kContext[] = "TLS 1.3, server CertificateVerify";
Nick Harper60a85cb2016-09-23 16:25:11 -0700160 context = (const uint8_t *)kContext;
161 context_len = sizeof(kContext);
162 } else if (cert_verify_context == ssl_cert_verify_client) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400163 static const char kContext[] = "TLS 1.3, client CertificateVerify";
Nick Harper60a85cb2016-09-23 16:25:11 -0700164 context = (const uint8_t *)kContext;
165 context_len = sizeof(kContext);
166 } else if (cert_verify_context == ssl_cert_verify_channel_id) {
167 static const char kContext[] = "TLS 1.3, Channel ID";
168 context = (const uint8_t *)kContext;
169 context_len = sizeof(kContext);
170 } else {
171 goto err;
172 }
173
174 if (!CBB_add_bytes(&cbb, context, context_len)) {
175 goto err;
Steven Valdez143e8b32016-07-11 13:19:03 -0400176 }
177
Steven Valdeza833c352016-11-01 13:39:36 -0400178 uint8_t context_hash[EVP_MAX_MD_SIZE];
179 size_t context_hash_len;
Steven Valdez908ac192017-01-12 13:17:07 -0500180 if (!SSL_TRANSCRIPT_get_hash(&hs->transcript, context_hash,
181 &context_hash_len) ||
Steven Valdeza833c352016-11-01 13:39:36 -0400182 !CBB_add_bytes(&cbb, context_hash, context_hash_len) ||
Steven Valdez143e8b32016-07-11 13:19:03 -0400183 !CBB_finish(&cbb, out, out_len)) {
184 goto err;
185 }
186
187 return 1;
188
189err:
190 OPENSSL_PUT_ERROR(SSL, ERR_R_MALLOC_FAILURE);
191 CBB_cleanup(&cbb);
192 return 0;
193}
194
Adam Langley0c294252016-12-12 11:46:09 -0800195int tls13_process_certificate(SSL_HANDSHAKE *hs, int allow_anonymous) {
196 SSL *const ssl = hs->ssl;
Steven Valdeza833c352016-11-01 13:39:36 -0400197 CBS cbs, context, certificate_list;
Steven Valdez143e8b32016-07-11 13:19:03 -0400198 CBS_init(&cbs, ssl->init_msg, ssl->init_num);
199 if (!CBS_get_u8_length_prefixed(&cbs, &context) ||
200 CBS_len(&context) != 0) {
201 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
202 OPENSSL_PUT_ERROR(SSL, SSL_R_DECODE_ERROR);
203 return 0;
204 }
205
David Benjamin4087df92016-08-01 20:16:31 -0400206 const int retain_sha256 =
David Benjaminbbaf3672016-11-17 10:53:09 +0900207 ssl->server && ssl->retain_only_sha256_of_client_certs;
Steven Valdez143e8b32016-07-11 13:19:03 -0400208 int ret = 0;
Steven Valdeza833c352016-11-01 13:39:36 -0400209
Adam Langley0c294252016-12-12 11:46:09 -0800210 EVP_PKEY *pkey = NULL;
Adam Langley68e71242016-12-12 11:06:16 -0800211 STACK_OF(CRYPTO_BUFFER) *certs = sk_CRYPTO_BUFFER_new_null();
212 if (certs == NULL) {
Steven Valdeza833c352016-11-01 13:39:36 -0400213 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
214 OPENSSL_PUT_ERROR(SSL, ERR_R_MALLOC_FAILURE);
Steven Valdez143e8b32016-07-11 13:19:03 -0400215 goto err;
216 }
217
Steven Valdeza833c352016-11-01 13:39:36 -0400218 if (!CBS_get_u24_length_prefixed(&cbs, &certificate_list)) {
219 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
220 OPENSSL_PUT_ERROR(SSL, SSL_R_DECODE_ERROR);
221 goto err;
222 }
223
224 while (CBS_len(&certificate_list) > 0) {
225 CBS certificate, extensions;
226 if (!CBS_get_u24_length_prefixed(&certificate_list, &certificate) ||
Adam Langley68e71242016-12-12 11:06:16 -0800227 !CBS_get_u16_length_prefixed(&certificate_list, &extensions) ||
228 CBS_len(&certificate) == 0) {
Steven Valdeza833c352016-11-01 13:39:36 -0400229 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
230 OPENSSL_PUT_ERROR(SSL, SSL_R_CERT_LENGTH_MISMATCH);
231 goto err;
232 }
233
Adam Langley0c294252016-12-12 11:46:09 -0800234 if (sk_CRYPTO_BUFFER_num(certs) == 0) {
235 pkey = ssl_cert_parse_pubkey(&certificate);
236 if (pkey == NULL) {
237 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
238 OPENSSL_PUT_ERROR(SSL, SSL_R_DECODE_ERROR);
239 goto err;
240 }
Adam Langleya4b91982016-12-12 12:05:53 -0800241 /* TLS 1.3 always uses certificate keys for signing thus the correct
242 * keyUsage is enforced. */
243 if (!ssl_cert_check_digital_signature_key_usage(&certificate)) {
244 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_ILLEGAL_PARAMETER);
245 goto err;
246 }
Adam Langley0c294252016-12-12 11:46:09 -0800247
248 if (retain_sha256) {
249 /* Retain the hash of the leaf certificate if requested. */
250 SHA256(CBS_data(&certificate), CBS_len(&certificate),
David Benjamin45738dd2017-02-09 20:01:26 -0500251 hs->new_session->peer_sha256);
Adam Langley0c294252016-12-12 11:46:09 -0800252 }
Steven Valdeza833c352016-11-01 13:39:36 -0400253 }
254
Adam Langleyd519bf62016-12-12 11:16:44 -0800255 CRYPTO_BUFFER *buf =
256 CRYPTO_BUFFER_new_from_CBS(&certificate, ssl->ctx->pool);
Adam Langley68e71242016-12-12 11:06:16 -0800257 if (buf == NULL ||
258 !sk_CRYPTO_BUFFER_push(certs, buf)) {
259 CRYPTO_BUFFER_free(buf);
Adam Langleye8509092016-11-07 14:24:33 -0800260 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
261 OPENSSL_PUT_ERROR(SSL, ERR_R_MALLOC_FAILURE);
Steven Valdeza833c352016-11-01 13:39:36 -0400262 goto err;
263 }
264
265 /* Parse out the extensions. */
266 int have_status_request = 0, have_sct = 0;
267 CBS status_request, sct;
David Benjaminffb11072016-11-13 10:32:10 +0900268 const SSL_EXTENSION_TYPE ext_types[] = {
269 {TLSEXT_TYPE_status_request, &have_status_request, &status_request},
270 {TLSEXT_TYPE_certificate_timestamp, &have_sct, &sct},
271 };
Steven Valdeza833c352016-11-01 13:39:36 -0400272
Adam Langleyc68e5b92017-02-08 13:33:15 -0800273 uint8_t alert = SSL_AD_DECODE_ERROR;
David Benjaminffb11072016-11-13 10:32:10 +0900274 if (!ssl_parse_extensions(&extensions, &alert, ext_types,
Steven Valdez08b65f42016-12-07 15:29:45 -0500275 OPENSSL_ARRAY_SIZE(ext_types),
276 0 /* reject unknown */)) {
David Benjaminffb11072016-11-13 10:32:10 +0900277 ssl3_send_alert(ssl, SSL3_AL_FATAL, alert);
278 goto err;
Steven Valdeza833c352016-11-01 13:39:36 -0400279 }
280
281 /* All Certificate extensions are parsed, but only the leaf extensions are
282 * stored. */
283 if (have_status_request) {
284 if (ssl->server || !ssl->ocsp_stapling_enabled) {
285 OPENSSL_PUT_ERROR(SSL, SSL_R_UNEXPECTED_EXTENSION);
286 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_UNSUPPORTED_EXTENSION);
287 goto err;
288 }
289
290 uint8_t status_type;
291 CBS ocsp_response;
292 if (!CBS_get_u8(&status_request, &status_type) ||
293 status_type != TLSEXT_STATUSTYPE_ocsp ||
294 !CBS_get_u24_length_prefixed(&status_request, &ocsp_response) ||
295 CBS_len(&ocsp_response) == 0 ||
296 CBS_len(&status_request) != 0) {
297 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
298 goto err;
299 }
300
Adam Langley68e71242016-12-12 11:06:16 -0800301 if (sk_CRYPTO_BUFFER_num(certs) == 1 &&
David Benjamin45738dd2017-02-09 20:01:26 -0500302 !CBS_stow(&ocsp_response, &hs->new_session->ocsp_response,
303 &hs->new_session->ocsp_response_length)) {
Steven Valdeza833c352016-11-01 13:39:36 -0400304 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
305 goto err;
306 }
307 }
308
309 if (have_sct) {
310 if (ssl->server || !ssl->signed_cert_timestamps_enabled) {
311 OPENSSL_PUT_ERROR(SSL, SSL_R_UNEXPECTED_EXTENSION);
312 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_UNSUPPORTED_EXTENSION);
313 goto err;
314 }
315
Adam Langleycfa08c32016-11-17 13:21:27 -0800316 if (!ssl_is_sct_list_valid(&sct)) {
317 OPENSSL_PUT_ERROR(SSL, SSL_R_ERROR_PARSING_EXTENSION);
Steven Valdeza833c352016-11-01 13:39:36 -0400318 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
319 goto err;
320 }
321
Adam Langley68e71242016-12-12 11:06:16 -0800322 if (sk_CRYPTO_BUFFER_num(certs) == 1 &&
David Benjamin45738dd2017-02-09 20:01:26 -0500323 !CBS_stow(
324 &sct, &hs->new_session->tlsext_signed_cert_timestamp_list,
325 &hs->new_session->tlsext_signed_cert_timestamp_list_length)) {
Steven Valdeza833c352016-11-01 13:39:36 -0400326 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
327 goto err;
328 }
329 }
330 }
331
Steven Valdez143e8b32016-07-11 13:19:03 -0400332 if (CBS_len(&cbs) != 0) {
333 OPENSSL_PUT_ERROR(SSL, SSL_R_DECODE_ERROR);
334 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
335 goto err;
336 }
337
Adam Langley0c294252016-12-12 11:46:09 -0800338 EVP_PKEY_free(hs->peer_pubkey);
339 hs->peer_pubkey = pkey;
340 pkey = NULL;
341
David Benjamin45738dd2017-02-09 20:01:26 -0500342 sk_CRYPTO_BUFFER_pop_free(hs->new_session->certs, CRYPTO_BUFFER_free);
343 hs->new_session->certs = certs;
Adam Langley68e71242016-12-12 11:06:16 -0800344 certs = NULL;
345
David Benjamin45738dd2017-02-09 20:01:26 -0500346 if (!ssl->ctx->x509_method->session_cache_objects(hs->new_session)) {
Adam Langley68e71242016-12-12 11:06:16 -0800347 OPENSSL_PUT_ERROR(SSL, SSL_R_DECODE_ERROR);
348 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
349 goto err;
350 }
351
David Benjamin45738dd2017-02-09 20:01:26 -0500352 if (sk_CRYPTO_BUFFER_num(hs->new_session->certs) == 0) {
David Benjamin4087df92016-08-01 20:16:31 -0400353 if (!allow_anonymous) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400354 OPENSSL_PUT_ERROR(SSL, SSL_R_PEER_DID_NOT_RETURN_A_CERTIFICATE);
David Benjamin1db9e1b2016-10-07 20:51:43 -0400355 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_CERTIFICATE_REQUIRED);
Steven Valdez143e8b32016-07-11 13:19:03 -0400356 goto err;
357 }
358
Adam Langley37646832016-08-01 16:16:46 -0700359 /* OpenSSL returns X509_V_OK when no certificates are requested. This is
David Benjamindd634eb2016-08-18 16:40:28 -0400360 * classed by them as a bug, but it's assumed by at least NGINX. */
David Benjamin45738dd2017-02-09 20:01:26 -0500361 hs->new_session->verify_result = X509_V_OK;
Adam Langley37646832016-08-01 16:16:46 -0700362
Steven Valdez143e8b32016-07-11 13:19:03 -0400363 /* No certificate, so nothing more to do. */
364 ret = 1;
365 goto err;
366 }
367
David Benjamin45738dd2017-02-09 20:01:26 -0500368 hs->new_session->peer_sha256_valid = retain_sha256;
Steven Valdez143e8b32016-07-11 13:19:03 -0400369 ret = 1;
370
371err:
Adam Langley68e71242016-12-12 11:06:16 -0800372 sk_CRYPTO_BUFFER_pop_free(certs, CRYPTO_BUFFER_free);
Adam Langley0c294252016-12-12 11:46:09 -0800373 EVP_PKEY_free(pkey);
Steven Valdez143e8b32016-07-11 13:19:03 -0400374 return ret;
375}
376
Adam Langley0c294252016-12-12 11:46:09 -0800377int tls13_process_certificate_verify(SSL_HANDSHAKE *hs) {
378 SSL *const ssl = hs->ssl;
Adam Langley0c294252016-12-12 11:46:09 -0800379 if (hs->peer_pubkey == NULL) {
David Benjamin81678aa2017-07-12 22:43:42 -0400380 OPENSSL_PUT_ERROR(SSL, ERR_R_INTERNAL_ERROR);
381 return 0;
Steven Valdez143e8b32016-07-11 13:19:03 -0400382 }
383
384 CBS cbs, signature;
385 uint16_t signature_algorithm;
386 CBS_init(&cbs, ssl->init_msg, ssl->init_num);
387 if (!CBS_get_u16(&cbs, &signature_algorithm) ||
388 !CBS_get_u16_length_prefixed(&cbs, &signature) ||
389 CBS_len(&cbs) != 0) {
390 OPENSSL_PUT_ERROR(SSL, SSL_R_DECODE_ERROR);
391 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
David Benjamin81678aa2017-07-12 22:43:42 -0400392 return 0;
Steven Valdez143e8b32016-07-11 13:19:03 -0400393 }
394
David Benjamin8d606e32017-06-15 22:43:04 -0400395 uint8_t alert = SSL_AD_DECODE_ERROR;
396 if (!tls12_check_peer_sigalg(ssl, &alert, signature_algorithm)) {
397 ssl3_send_alert(ssl, SSL3_AL_FATAL, alert);
David Benjamin81678aa2017-07-12 22:43:42 -0400398 return 0;
Steven Valdez143e8b32016-07-11 13:19:03 -0400399 }
David Benjamin45738dd2017-02-09 20:01:26 -0500400 hs->new_session->peer_signature_algorithm = signature_algorithm;
Steven Valdez143e8b32016-07-11 13:19:03 -0400401
David Benjamin81678aa2017-07-12 22:43:42 -0400402 uint8_t *msg = NULL;
403 size_t msg_len;
Nick Harper60a85cb2016-09-23 16:25:11 -0700404 if (!tls13_get_cert_verify_signature_input(
Steven Valdez908ac192017-01-12 13:17:07 -0500405 hs, &msg, &msg_len,
Nick Harper60a85cb2016-09-23 16:25:11 -0700406 ssl->server ? ssl_cert_verify_client : ssl_cert_verify_server)) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400407 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
David Benjamin81678aa2017-07-12 22:43:42 -0400408 return 0;
Steven Valdez143e8b32016-07-11 13:19:03 -0400409 }
David Benjamin86e95b82017-07-18 16:34:25 -0400410 UniquePtr<uint8_t> free_msg(msg);
Steven Valdez143e8b32016-07-11 13:19:03 -0400411
412 int sig_ok =
413 ssl_public_key_verify(ssl, CBS_data(&signature), CBS_len(&signature),
Adam Langley0c294252016-12-12 11:46:09 -0800414 signature_algorithm, hs->peer_pubkey, msg, msg_len);
David Benjamin04aa6942016-08-19 14:51:10 -0400415#if defined(BORINGSSL_UNSAFE_FUZZER_MODE)
416 sig_ok = 1;
417 ERR_clear_error();
418#endif
Steven Valdez143e8b32016-07-11 13:19:03 -0400419 if (!sig_ok) {
420 OPENSSL_PUT_ERROR(SSL, SSL_R_BAD_SIGNATURE);
421 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECRYPT_ERROR);
David Benjamin81678aa2017-07-12 22:43:42 -0400422 return 0;
Steven Valdez143e8b32016-07-11 13:19:03 -0400423 }
424
David Benjamin81678aa2017-07-12 22:43:42 -0400425 return 1;
Steven Valdez143e8b32016-07-11 13:19:03 -0400426}
427
David Benjamin794cc592017-03-25 22:24:23 -0500428int tls13_process_finished(SSL_HANDSHAKE *hs, int use_saved_value) {
David Benjamin6e4fc332016-11-17 16:43:08 +0900429 SSL *const ssl = hs->ssl;
David Benjamin794cc592017-03-25 22:24:23 -0500430 uint8_t verify_data_buf[EVP_MAX_MD_SIZE];
431 const uint8_t *verify_data;
Steven Valdez143e8b32016-07-11 13:19:03 -0400432 size_t verify_data_len;
David Benjamin794cc592017-03-25 22:24:23 -0500433 if (use_saved_value) {
434 assert(ssl->server);
435 verify_data = hs->expected_client_finished;
436 verify_data_len = hs->hash_len;
437 } else {
438 if (!tls13_finished_mac(hs, verify_data_buf, &verify_data_len,
439 !ssl->server)) {
440 return 0;
441 }
442 verify_data = verify_data_buf;
Steven Valdez143e8b32016-07-11 13:19:03 -0400443 }
444
David Benjamin04aa6942016-08-19 14:51:10 -0400445 int finished_ok =
446 ssl->init_num == verify_data_len &&
447 CRYPTO_memcmp(verify_data, ssl->init_msg, verify_data_len) == 0;
448#if defined(BORINGSSL_UNSAFE_FUZZER_MODE)
449 finished_ok = 1;
450#endif
451 if (!finished_ok) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400452 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECRYPT_ERROR);
453 OPENSSL_PUT_ERROR(SSL, SSL_R_DIGEST_CHECK_FAILED);
454 return 0;
455 }
456
457 return 1;
458}
459
David Benjamin0f24bed2017-01-12 19:46:50 -0500460int tls13_add_certificate(SSL_HANDSHAKE *hs) {
David Benjamin6e4fc332016-11-17 16:43:08 +0900461 SSL *const ssl = hs->ssl;
David Benjamin86e95b82017-07-18 16:34:25 -0400462 ScopedCBB cbb;
David Benjamin81678aa2017-07-12 22:43:42 -0400463 CBB body, certificate_list;
464 if (!ssl->method->init_message(ssl, cbb.get(), &body, SSL3_MT_CERTIFICATE) ||
David Benjamin8a8349b2016-08-18 02:32:23 -0400465 /* The request context is always empty in the handshake. */
466 !CBB_add_u8(&body, 0) ||
Steven Valdeza833c352016-11-01 13:39:36 -0400467 !CBB_add_u24_length_prefixed(&body, &certificate_list)) {
468 OPENSSL_PUT_ERROR(SSL, ERR_R_INTERNAL_ERROR);
David Benjamin81678aa2017-07-12 22:43:42 -0400469 return 0;
Steven Valdeza833c352016-11-01 13:39:36 -0400470 }
471
472 if (!ssl_has_certificate(ssl)) {
David Benjamin81678aa2017-07-12 22:43:42 -0400473 return ssl_add_message_cbb(ssl, cbb.get());
Steven Valdeza833c352016-11-01 13:39:36 -0400474 }
475
476 CERT *cert = ssl->cert;
Adam Langley3a2b47a2017-01-24 13:59:42 -0800477 CRYPTO_BUFFER *leaf_buf = sk_CRYPTO_BUFFER_value(cert->chain, 0);
Steven Valdeza833c352016-11-01 13:39:36 -0400478 CBB leaf, extensions;
479 if (!CBB_add_u24_length_prefixed(&certificate_list, &leaf) ||
Adam Langley3a2b47a2017-01-24 13:59:42 -0800480 !CBB_add_bytes(&leaf, CRYPTO_BUFFER_data(leaf_buf),
481 CRYPTO_BUFFER_len(leaf_buf)) ||
Steven Valdeza833c352016-11-01 13:39:36 -0400482 !CBB_add_u16_length_prefixed(&certificate_list, &extensions)) {
483 OPENSSL_PUT_ERROR(SSL, ERR_R_INTERNAL_ERROR);
David Benjamin81678aa2017-07-12 22:43:42 -0400484 return 0;
Steven Valdeza833c352016-11-01 13:39:36 -0400485 }
486
David Benjamin83a32122017-02-14 18:34:54 -0500487 if (hs->scts_requested && ssl->cert->signed_cert_timestamp_list != NULL) {
Steven Valdeza833c352016-11-01 13:39:36 -0400488 CBB contents;
489 if (!CBB_add_u16(&extensions, TLSEXT_TYPE_certificate_timestamp) ||
490 !CBB_add_u16_length_prefixed(&extensions, &contents) ||
David Benjamin83a32122017-02-14 18:34:54 -0500491 !CBB_add_bytes(
492 &contents,
493 CRYPTO_BUFFER_data(ssl->cert->signed_cert_timestamp_list),
494 CRYPTO_BUFFER_len(ssl->cert->signed_cert_timestamp_list)) ||
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);
David Benjamin81678aa2017-07-12 22:43:42 -0400497 return 0;
Steven Valdeza833c352016-11-01 13:39:36 -0400498 }
499 }
500
David Benjamin6e4fc332016-11-17 16:43:08 +0900501 if (hs->ocsp_stapling_requested &&
David Benjamin83a32122017-02-14 18:34:54 -0500502 ssl->cert->ocsp_response != NULL) {
Steven Valdeza833c352016-11-01 13:39:36 -0400503 CBB contents, ocsp_response;
504 if (!CBB_add_u16(&extensions, TLSEXT_TYPE_status_request) ||
505 !CBB_add_u16_length_prefixed(&extensions, &contents) ||
506 !CBB_add_u8(&contents, TLSEXT_STATUSTYPE_ocsp) ||
507 !CBB_add_u24_length_prefixed(&contents, &ocsp_response) ||
David Benjamin83a32122017-02-14 18:34:54 -0500508 !CBB_add_bytes(&ocsp_response,
509 CRYPTO_BUFFER_data(ssl->cert->ocsp_response),
510 CRYPTO_BUFFER_len(ssl->cert->ocsp_response)) ||
Adam Langley6f5f49f2016-11-18 11:05:00 -0800511 !CBB_flush(&extensions)) {
Steven Valdeza833c352016-11-01 13:39:36 -0400512 OPENSSL_PUT_ERROR(SSL, ERR_R_INTERNAL_ERROR);
David Benjamin81678aa2017-07-12 22:43:42 -0400513 return 0;
Steven Valdeza833c352016-11-01 13:39:36 -0400514 }
515 }
516
Adam Langley3a2b47a2017-01-24 13:59:42 -0800517 for (size_t i = 1; i < sk_CRYPTO_BUFFER_num(cert->chain); i++) {
518 CRYPTO_BUFFER *cert_buf = sk_CRYPTO_BUFFER_value(cert->chain, i);
Steven Valdeza833c352016-11-01 13:39:36 -0400519 CBB child;
520 if (!CBB_add_u24_length_prefixed(&certificate_list, &child) ||
Adam Langley3a2b47a2017-01-24 13:59:42 -0800521 !CBB_add_bytes(&child, CRYPTO_BUFFER_data(cert_buf),
522 CRYPTO_BUFFER_len(cert_buf)) ||
Steven Valdeza833c352016-11-01 13:39:36 -0400523 !CBB_add_u16(&certificate_list, 0 /* no extensions */)) {
524 OPENSSL_PUT_ERROR(SSL, ERR_R_INTERNAL_ERROR);
David Benjamin81678aa2017-07-12 22:43:42 -0400525 return 0;
Steven Valdeza833c352016-11-01 13:39:36 -0400526 }
527 }
528
David Benjamin81678aa2017-07-12 22:43:42 -0400529 return ssl_add_message_cbb(ssl, cbb.get());
Steven Valdez143e8b32016-07-11 13:19:03 -0400530}
531
David Benjamin44148742017-06-17 13:20:59 -0400532enum ssl_private_key_result_t tls13_add_certificate_verify(SSL_HANDSHAKE *hs) {
David Benjamin6e4fc332016-11-17 16:43:08 +0900533 SSL *const ssl = hs->ssl;
Steven Valdez143e8b32016-07-11 13:19:03 -0400534 uint16_t signature_algorithm;
David Benjaminf3c8f8d2016-11-17 17:20:47 +0900535 if (!tls1_choose_signature_algorithm(hs, &signature_algorithm)) {
David Benjamin81678aa2017-07-12 22:43:42 -0400536 return ssl_private_key_failure;
Steven Valdez143e8b32016-07-11 13:19:03 -0400537 }
David Benjamin81678aa2017-07-12 22:43:42 -0400538
David Benjamin86e95b82017-07-18 16:34:25 -0400539 ScopedCBB cbb;
David Benjamin81678aa2017-07-12 22:43:42 -0400540 CBB body;
541 if (!ssl->method->init_message(ssl, cbb.get(), &body,
Steven Valdez143e8b32016-07-11 13:19:03 -0400542 SSL3_MT_CERTIFICATE_VERIFY) ||
543 !CBB_add_u16(&body, signature_algorithm)) {
544 OPENSSL_PUT_ERROR(SSL, ERR_R_INTERNAL_ERROR);
David Benjamin81678aa2017-07-12 22:43:42 -0400545 return ssl_private_key_failure;
Steven Valdez143e8b32016-07-11 13:19:03 -0400546 }
547
548 /* Sign the digest. */
549 CBB child;
David Benjamina232a712017-03-30 15:51:53 -0500550 const size_t max_sig_len = EVP_PKEY_size(hs->local_pubkey);
Steven Valdez143e8b32016-07-11 13:19:03 -0400551 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);
David Benjamin81678aa2017-07-12 22:43:42 -0400556 return ssl_private_key_failure;
Steven Valdez143e8b32016-07-11 13:19:03 -0400557 }
558
David Benjamin81678aa2017-07-12 22:43:42 -0400559 uint8_t *msg = NULL;
560 size_t msg_len;
David Benjamin44148742017-06-17 13:20:59 -0400561 if (!tls13_get_cert_verify_signature_input(
562 hs, &msg, &msg_len,
563 ssl->server ? ssl_cert_verify_server : ssl_cert_verify_client)) {
564 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
David Benjamin81678aa2017-07-12 22:43:42 -0400565 return ssl_private_key_failure;
Steven Valdez143e8b32016-07-11 13:19:03 -0400566 }
David Benjamin86e95b82017-07-18 16:34:25 -0400567 UniquePtr<uint8_t> free_msg(msg);
Steven Valdez143e8b32016-07-11 13:19:03 -0400568
David Benjamin44148742017-06-17 13:20:59 -0400569 enum ssl_private_key_result_t sign_result = ssl_private_key_sign(
570 hs, sig, &sig_len, max_sig_len, signature_algorithm, msg, msg_len);
Steven Valdez143e8b32016-07-11 13:19:03 -0400571 if (sign_result != ssl_private_key_success) {
David Benjamin81678aa2017-07-12 22:43:42 -0400572 return sign_result;
Steven Valdez143e8b32016-07-11 13:19:03 -0400573 }
574
575 if (!CBB_did_write(&child, sig_len) ||
David Benjamin81678aa2017-07-12 22:43:42 -0400576 !ssl_add_message_cbb(ssl, cbb.get())) {
577 return ssl_private_key_failure;
Steven Valdez143e8b32016-07-11 13:19:03 -0400578 }
579
David Benjamin81678aa2017-07-12 22:43:42 -0400580 return ssl_private_key_success;
Steven Valdez143e8b32016-07-11 13:19:03 -0400581}
582
David Benjamin0f24bed2017-01-12 19:46:50 -0500583int tls13_add_finished(SSL_HANDSHAKE *hs) {
David Benjamin6e4fc332016-11-17 16:43:08 +0900584 SSL *const ssl = hs->ssl;
Steven Valdez143e8b32016-07-11 13:19:03 -0400585 size_t verify_data_len;
586 uint8_t verify_data[EVP_MAX_MD_SIZE];
587
David Benjamin6e4fc332016-11-17 16:43:08 +0900588 if (!tls13_finished_mac(hs, verify_data, &verify_data_len, ssl->server)) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400589 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
590 OPENSSL_PUT_ERROR(SSL, SSL_R_DIGEST_CHECK_FAILED);
591 return 0;
592 }
593
594 CBB cbb, body;
595 if (!ssl->method->init_message(ssl, &cbb, &body, SSL3_MT_FINISHED) ||
596 !CBB_add_bytes(&body, verify_data, verify_data_len) ||
David Benjamindaf207a2017-01-03 18:37:41 -0500597 !ssl_add_message_cbb(ssl, &cbb)) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400598 CBB_cleanup(&cbb);
599 return 0;
600 }
601
602 return 1;
603}
Steven Valdez8e1c7be2016-07-26 12:39:22 -0400604
Steven Valdez1dc53d22016-07-26 12:27:38 -0400605static int tls13_receive_key_update(SSL *ssl) {
Steven Valdezc4aa7272016-10-03 12:25:56 -0400606 CBS cbs;
607 uint8_t key_update_request;
608 CBS_init(&cbs, ssl->init_msg, ssl->init_num);
609 if (!CBS_get_u8(&cbs, &key_update_request) ||
610 CBS_len(&cbs) != 0 ||
611 (key_update_request != SSL_KEY_UPDATE_NOT_REQUESTED &&
612 key_update_request != SSL_KEY_UPDATE_REQUESTED)) {
Steven Valdez1dc53d22016-07-26 12:27:38 -0400613 OPENSSL_PUT_ERROR(SSL, SSL_R_DECODE_ERROR);
614 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
615 return 0;
616 }
617
David Benjaminbbba9392017-04-06 12:54:12 -0400618 if (!tls13_rotate_traffic_key(ssl, evp_aead_open)) {
619 return 0;
620 }
621
622 /* Acknowledge the KeyUpdate */
623 if (key_update_request == SSL_KEY_UPDATE_REQUESTED &&
624 !ssl->s3->key_update_pending) {
625 CBB cbb, body;
626 if (!ssl->method->init_message(ssl, &cbb, &body, SSL3_MT_KEY_UPDATE) ||
627 !CBB_add_u8(&body, SSL_KEY_UPDATE_NOT_REQUESTED) ||
628 !ssl_add_message_cbb(ssl, &cbb) ||
629 !tls13_rotate_traffic_key(ssl, evp_aead_seal)) {
630 CBB_cleanup(&cbb);
631 return 0;
632 }
633
634 /* Suppress KeyUpdate acknowledgments until this change is written to the
635 * wire. This prevents us from accumulating write obligations when read and
636 * write progress at different rates. See draft-ietf-tls-tls13-18, section
637 * 4.5.3. */
638 ssl->s3->key_update_pending = 1;
639 }
640
641 return 1;
Steven Valdez1dc53d22016-07-26 12:27:38 -0400642}
643
Steven Valdez8e1c7be2016-07-26 12:39:22 -0400644int tls13_post_handshake(SSL *ssl) {
Steven Valdez1dc53d22016-07-26 12:27:38 -0400645 if (ssl->s3->tmp.message_type == SSL3_MT_KEY_UPDATE) {
Steven Valdez32635b82016-08-16 11:25:03 -0400646 ssl->s3->key_update_count++;
647 if (ssl->s3->key_update_count > kMaxKeyUpdates) {
648 OPENSSL_PUT_ERROR(SSL, SSL_R_TOO_MANY_KEY_UPDATES);
649 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_UNEXPECTED_MESSAGE);
650 return 0;
651 }
652
Steven Valdez1dc53d22016-07-26 12:27:38 -0400653 return tls13_receive_key_update(ssl);
654 }
655
Steven Valdez32635b82016-08-16 11:25:03 -0400656 ssl->s3->key_update_count = 0;
657
Steven Valdez8e1c7be2016-07-26 12:39:22 -0400658 if (ssl->s3->tmp.message_type == SSL3_MT_NEW_SESSION_TICKET &&
659 !ssl->server) {
Steven Valdez1e6f11a2016-07-27 11:10:52 -0400660 return tls13_process_new_session_ticket(ssl);
Steven Valdez8e1c7be2016-07-26 12:39:22 -0400661 }
662
Steven Valdez8e1c7be2016-07-26 12:39:22 -0400663 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_UNEXPECTED_MESSAGE);
664 OPENSSL_PUT_ERROR(SSL, SSL_R_UNEXPECTED_MESSAGE);
665 return 0;
666}
David Benjamin86e95b82017-07-18 16:34:25 -0400667
668} // namespace bssl