blob: 10b944f9ac0879896a03fb7e73278679e432f5db [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
David Benjamin31b0c9b2017-07-20 14:49:15 -040020#include <utility>
21
Steven Valdez143e8b32016-07-11 13:19:03 -040022#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
David Benjaminc11ea9422017-08-29 16:33:21 -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.
Steven Valdez32635b82016-08-16 11:25:03 -040038static const uint8_t kMaxKeyUpdates = 32;
39
Nick Harper60a85cb2016-09-23 16:25:11 -070040int tls13_get_cert_verify_signature_input(
Steven Valdez908ac192017-01-12 13:17:07 -050041 SSL_HANDSHAKE *hs, uint8_t **out, size_t *out_len,
Nick Harper60a85cb2016-09-23 16:25:11 -070042 enum ssl_cert_verify_context_t cert_verify_context) {
David Benjamin1386aad2017-07-19 23:57:40 -040043 ScopedCBB cbb;
44 if (!CBB_init(cbb.get(), 64 + 33 + 1 + 2 * EVP_MAX_MD_SIZE)) {
45 OPENSSL_PUT_ERROR(SSL, ERR_R_MALLOC_FAILURE);
46 return 0;
Steven Valdez143e8b32016-07-11 13:19:03 -040047 }
48
49 for (size_t i = 0; i < 64; i++) {
David Benjamin1386aad2017-07-19 23:57:40 -040050 if (!CBB_add_u8(cbb.get(), 0x20)) {
51 OPENSSL_PUT_ERROR(SSL, ERR_R_MALLOC_FAILURE);
52 return 0;
Steven Valdez143e8b32016-07-11 13:19:03 -040053 }
54 }
55
Nick Harper60a85cb2016-09-23 16:25:11 -070056 const uint8_t *context;
57 size_t context_len;
58 if (cert_verify_context == ssl_cert_verify_server) {
David Benjaminc11ea9422017-08-29 16:33:21 -040059 // Include the NUL byte.
Steven Valdez143e8b32016-07-11 13:19:03 -040060 static const char kContext[] = "TLS 1.3, server CertificateVerify";
Nick Harper60a85cb2016-09-23 16:25:11 -070061 context = (const uint8_t *)kContext;
62 context_len = sizeof(kContext);
63 } else if (cert_verify_context == ssl_cert_verify_client) {
Steven Valdez143e8b32016-07-11 13:19:03 -040064 static const char kContext[] = "TLS 1.3, client CertificateVerify";
Nick Harper60a85cb2016-09-23 16:25:11 -070065 context = (const uint8_t *)kContext;
66 context_len = sizeof(kContext);
67 } else if (cert_verify_context == ssl_cert_verify_channel_id) {
68 static const char kContext[] = "TLS 1.3, Channel ID";
69 context = (const uint8_t *)kContext;
70 context_len = sizeof(kContext);
71 } else {
David Benjamin1386aad2017-07-19 23:57:40 -040072 OPENSSL_PUT_ERROR(SSL, ERR_R_MALLOC_FAILURE);
73 return 0;
Nick Harper60a85cb2016-09-23 16:25:11 -070074 }
75
David Benjamin1386aad2017-07-19 23:57:40 -040076 if (!CBB_add_bytes(cbb.get(), context, context_len)) {
77 OPENSSL_PUT_ERROR(SSL, ERR_R_MALLOC_FAILURE);
78 return 0;
Steven Valdez143e8b32016-07-11 13:19:03 -040079 }
80
Steven Valdeza833c352016-11-01 13:39:36 -040081 uint8_t context_hash[EVP_MAX_MD_SIZE];
82 size_t context_hash_len;
David Benjamin6dc8bf62017-07-19 16:38:21 -040083 if (!hs->transcript.GetHash(context_hash, &context_hash_len) ||
David Benjamin1386aad2017-07-19 23:57:40 -040084 !CBB_add_bytes(cbb.get(), context_hash, context_hash_len) ||
85 !CBB_finish(cbb.get(), out, out_len)) {
86 OPENSSL_PUT_ERROR(SSL, ERR_R_MALLOC_FAILURE);
87 return 0;
Steven Valdez143e8b32016-07-11 13:19:03 -040088 }
89
90 return 1;
Steven Valdez143e8b32016-07-11 13:19:03 -040091}
92
David Benjamin7934f082017-08-01 16:32:25 -040093int tls13_process_certificate(SSL_HANDSHAKE *hs, const SSLMessage &msg,
94 int allow_anonymous) {
Adam Langley0c294252016-12-12 11:46:09 -080095 SSL *const ssl = hs->ssl;
David Benjamin7934f082017-08-01 16:32:25 -040096 CBS body = msg.body, context, certificate_list;
97 if (!CBS_get_u8_length_prefixed(&body, &context) ||
David Benjamine664a532017-07-20 20:19:36 -040098 CBS_len(&context) != 0 ||
David Benjamin7934f082017-08-01 16:32:25 -040099 !CBS_get_u24_length_prefixed(&body, &certificate_list) ||
100 CBS_len(&body) != 0) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400101 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
102 OPENSSL_PUT_ERROR(SSL, SSL_R_DECODE_ERROR);
103 return 0;
104 }
105
David Benjamin31b0c9b2017-07-20 14:49:15 -0400106 UniquePtr<STACK_OF(CRYPTO_BUFFER)> certs(sk_CRYPTO_BUFFER_new_null());
107 if (!certs) {
Steven Valdeza833c352016-11-01 13:39:36 -0400108 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
109 OPENSSL_PUT_ERROR(SSL, ERR_R_MALLOC_FAILURE);
David Benjamin31b0c9b2017-07-20 14:49:15 -0400110 return 0;
Steven Valdez143e8b32016-07-11 13:19:03 -0400111 }
112
David Benjamin31b0c9b2017-07-20 14:49:15 -0400113 const bool retain_sha256 =
114 ssl->server && ssl->retain_only_sha256_of_client_certs;
115 UniquePtr<EVP_PKEY> pkey;
Steven Valdeza833c352016-11-01 13:39:36 -0400116 while (CBS_len(&certificate_list) > 0) {
117 CBS certificate, extensions;
118 if (!CBS_get_u24_length_prefixed(&certificate_list, &certificate) ||
Adam Langley68e71242016-12-12 11:06:16 -0800119 !CBS_get_u16_length_prefixed(&certificate_list, &extensions) ||
120 CBS_len(&certificate) == 0) {
Steven Valdeza833c352016-11-01 13:39:36 -0400121 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
122 OPENSSL_PUT_ERROR(SSL, SSL_R_CERT_LENGTH_MISMATCH);
David Benjamin31b0c9b2017-07-20 14:49:15 -0400123 return 0;
Steven Valdeza833c352016-11-01 13:39:36 -0400124 }
125
David Benjamin31b0c9b2017-07-20 14:49:15 -0400126 if (sk_CRYPTO_BUFFER_num(certs.get()) == 0) {
Adam Langley0c294252016-12-12 11:46:09 -0800127 pkey = ssl_cert_parse_pubkey(&certificate);
David Benjamin31b0c9b2017-07-20 14:49:15 -0400128 if (!pkey) {
Adam Langley0c294252016-12-12 11:46:09 -0800129 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
130 OPENSSL_PUT_ERROR(SSL, SSL_R_DECODE_ERROR);
David Benjamin31b0c9b2017-07-20 14:49:15 -0400131 return 0;
Adam Langley0c294252016-12-12 11:46:09 -0800132 }
David Benjaminc11ea9422017-08-29 16:33:21 -0400133 // TLS 1.3 always uses certificate keys for signing thus the correct
134 // keyUsage is enforced.
Adam Langleya4b91982016-12-12 12:05:53 -0800135 if (!ssl_cert_check_digital_signature_key_usage(&certificate)) {
136 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_ILLEGAL_PARAMETER);
David Benjamin31b0c9b2017-07-20 14:49:15 -0400137 return 0;
Adam Langleya4b91982016-12-12 12:05:53 -0800138 }
Adam Langley0c294252016-12-12 11:46:09 -0800139
140 if (retain_sha256) {
David Benjaminc11ea9422017-08-29 16:33:21 -0400141 // Retain the hash of the leaf certificate if requested.
Adam Langley0c294252016-12-12 11:46:09 -0800142 SHA256(CBS_data(&certificate), CBS_len(&certificate),
David Benjamin45738dd2017-02-09 20:01:26 -0500143 hs->new_session->peer_sha256);
Adam Langley0c294252016-12-12 11:46:09 -0800144 }
Steven Valdeza833c352016-11-01 13:39:36 -0400145 }
146
David Benjamin6e9321f2017-07-25 23:49:58 -0400147 UniquePtr<CRYPTO_BUFFER> buf(
148 CRYPTO_BUFFER_new_from_CBS(&certificate, ssl->ctx->pool));
149 if (!buf ||
150 !PushToStack(certs.get(), std::move(buf))) {
Adam Langleye8509092016-11-07 14:24:33 -0800151 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
152 OPENSSL_PUT_ERROR(SSL, ERR_R_MALLOC_FAILURE);
David Benjamin31b0c9b2017-07-20 14:49:15 -0400153 return 0;
Steven Valdeza833c352016-11-01 13:39:36 -0400154 }
155
David Benjaminc11ea9422017-08-29 16:33:21 -0400156 // Parse out the extensions.
Steven Valdeza833c352016-11-01 13:39:36 -0400157 int have_status_request = 0, have_sct = 0;
158 CBS status_request, sct;
David Benjaminffb11072016-11-13 10:32:10 +0900159 const SSL_EXTENSION_TYPE ext_types[] = {
160 {TLSEXT_TYPE_status_request, &have_status_request, &status_request},
161 {TLSEXT_TYPE_certificate_timestamp, &have_sct, &sct},
162 };
Steven Valdeza833c352016-11-01 13:39:36 -0400163
Adam Langleyc68e5b92017-02-08 13:33:15 -0800164 uint8_t alert = SSL_AD_DECODE_ERROR;
David Benjaminffb11072016-11-13 10:32:10 +0900165 if (!ssl_parse_extensions(&extensions, &alert, ext_types,
Steven Valdez08b65f42016-12-07 15:29:45 -0500166 OPENSSL_ARRAY_SIZE(ext_types),
167 0 /* reject unknown */)) {
David Benjaminffb11072016-11-13 10:32:10 +0900168 ssl3_send_alert(ssl, SSL3_AL_FATAL, alert);
David Benjamin31b0c9b2017-07-20 14:49:15 -0400169 return 0;
Steven Valdeza833c352016-11-01 13:39:36 -0400170 }
171
David Benjaminc11ea9422017-08-29 16:33:21 -0400172 // All Certificate extensions are parsed, but only the leaf extensions are
173 // stored.
Steven Valdeza833c352016-11-01 13:39:36 -0400174 if (have_status_request) {
175 if (ssl->server || !ssl->ocsp_stapling_enabled) {
176 OPENSSL_PUT_ERROR(SSL, SSL_R_UNEXPECTED_EXTENSION);
177 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_UNSUPPORTED_EXTENSION);
David Benjamin31b0c9b2017-07-20 14:49:15 -0400178 return 0;
Steven Valdeza833c352016-11-01 13:39:36 -0400179 }
180
181 uint8_t status_type;
182 CBS ocsp_response;
183 if (!CBS_get_u8(&status_request, &status_type) ||
184 status_type != TLSEXT_STATUSTYPE_ocsp ||
185 !CBS_get_u24_length_prefixed(&status_request, &ocsp_response) ||
186 CBS_len(&ocsp_response) == 0 ||
187 CBS_len(&status_request) != 0) {
188 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
David Benjamin31b0c9b2017-07-20 14:49:15 -0400189 return 0;
Steven Valdeza833c352016-11-01 13:39:36 -0400190 }
191
David Benjamin8fc2dc02017-08-22 15:07:51 -0700192 if (sk_CRYPTO_BUFFER_num(certs.get()) == 1) {
193 CRYPTO_BUFFER_free(hs->new_session->ocsp_response);
194 hs->new_session->ocsp_response =
195 CRYPTO_BUFFER_new_from_CBS(&ocsp_response, ssl->ctx->pool);
196 if (hs->new_session->ocsp_response == nullptr) {
197 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
198 return 0;
199 }
Steven Valdeza833c352016-11-01 13:39:36 -0400200 }
201 }
202
203 if (have_sct) {
204 if (ssl->server || !ssl->signed_cert_timestamps_enabled) {
205 OPENSSL_PUT_ERROR(SSL, SSL_R_UNEXPECTED_EXTENSION);
206 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_UNSUPPORTED_EXTENSION);
David Benjamin31b0c9b2017-07-20 14:49:15 -0400207 return 0;
Steven Valdeza833c352016-11-01 13:39:36 -0400208 }
209
Adam Langleycfa08c32016-11-17 13:21:27 -0800210 if (!ssl_is_sct_list_valid(&sct)) {
211 OPENSSL_PUT_ERROR(SSL, SSL_R_ERROR_PARSING_EXTENSION);
Steven Valdeza833c352016-11-01 13:39:36 -0400212 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
David Benjamin31b0c9b2017-07-20 14:49:15 -0400213 return 0;
Steven Valdeza833c352016-11-01 13:39:36 -0400214 }
215
David Benjamin8fc2dc02017-08-22 15:07:51 -0700216 if (sk_CRYPTO_BUFFER_num(certs.get()) == 1) {
217 CRYPTO_BUFFER_free(hs->new_session->signed_cert_timestamp_list);
218 hs->new_session->signed_cert_timestamp_list =
219 CRYPTO_BUFFER_new_from_CBS(&sct, ssl->ctx->pool);
220 if (hs->new_session->signed_cert_timestamp_list == nullptr) {
221 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
222 return 0;
223 }
Steven Valdeza833c352016-11-01 13:39:36 -0400224 }
225 }
226 }
227
David Benjaminc11ea9422017-08-29 16:33:21 -0400228 // Store a null certificate list rather than an empty one if the peer didn't
229 // send certificates.
David Benjamine664a532017-07-20 20:19:36 -0400230 if (sk_CRYPTO_BUFFER_num(certs.get()) == 0) {
231 certs.reset();
Steven Valdez143e8b32016-07-11 13:19:03 -0400232 }
233
David Benjamin31b0c9b2017-07-20 14:49:15 -0400234 hs->peer_pubkey = std::move(pkey);
Adam Langley0c294252016-12-12 11:46:09 -0800235
David Benjamin45738dd2017-02-09 20:01:26 -0500236 sk_CRYPTO_BUFFER_pop_free(hs->new_session->certs, CRYPTO_BUFFER_free);
David Benjamin31b0c9b2017-07-20 14:49:15 -0400237 hs->new_session->certs = certs.release();
Adam Langley68e71242016-12-12 11:06:16 -0800238
David Benjamin31b0c9b2017-07-20 14:49:15 -0400239 if (!ssl->ctx->x509_method->session_cache_objects(hs->new_session.get())) {
Adam Langley68e71242016-12-12 11:06:16 -0800240 OPENSSL_PUT_ERROR(SSL, SSL_R_DECODE_ERROR);
241 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
David Benjamin31b0c9b2017-07-20 14:49:15 -0400242 return 0;
Adam Langley68e71242016-12-12 11:06:16 -0800243 }
244
David Benjamin45738dd2017-02-09 20:01:26 -0500245 if (sk_CRYPTO_BUFFER_num(hs->new_session->certs) == 0) {
David Benjamin4087df92016-08-01 20:16:31 -0400246 if (!allow_anonymous) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400247 OPENSSL_PUT_ERROR(SSL, SSL_R_PEER_DID_NOT_RETURN_A_CERTIFICATE);
David Benjamin1db9e1b2016-10-07 20:51:43 -0400248 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_CERTIFICATE_REQUIRED);
David Benjamin31b0c9b2017-07-20 14:49:15 -0400249 return 0;
Steven Valdez143e8b32016-07-11 13:19:03 -0400250 }
251
David Benjaminc11ea9422017-08-29 16:33:21 -0400252 // OpenSSL returns X509_V_OK when no certificates are requested. This is
253 // classed by them as a bug, but it's assumed by at least NGINX.
David Benjamin45738dd2017-02-09 20:01:26 -0500254 hs->new_session->verify_result = X509_V_OK;
Adam Langley37646832016-08-01 16:16:46 -0700255
David Benjaminc11ea9422017-08-29 16:33:21 -0400256 // No certificate, so nothing more to do.
David Benjamin31b0c9b2017-07-20 14:49:15 -0400257 return 1;
Steven Valdez143e8b32016-07-11 13:19:03 -0400258 }
259
David Benjamin45738dd2017-02-09 20:01:26 -0500260 hs->new_session->peer_sha256_valid = retain_sha256;
David Benjamin31b0c9b2017-07-20 14:49:15 -0400261 return 1;
Steven Valdez143e8b32016-07-11 13:19:03 -0400262}
263
David Benjamin7934f082017-08-01 16:32:25 -0400264int tls13_process_certificate_verify(SSL_HANDSHAKE *hs, const SSLMessage &msg) {
Adam Langley0c294252016-12-12 11:46:09 -0800265 SSL *const ssl = hs->ssl;
Adam Langley0c294252016-12-12 11:46:09 -0800266 if (hs->peer_pubkey == NULL) {
David Benjamin81678aa2017-07-12 22:43:42 -0400267 OPENSSL_PUT_ERROR(SSL, ERR_R_INTERNAL_ERROR);
268 return 0;
Steven Valdez143e8b32016-07-11 13:19:03 -0400269 }
270
David Benjamin7934f082017-08-01 16:32:25 -0400271 CBS body = msg.body, signature;
Steven Valdez143e8b32016-07-11 13:19:03 -0400272 uint16_t signature_algorithm;
David Benjamin7934f082017-08-01 16:32:25 -0400273 if (!CBS_get_u16(&body, &signature_algorithm) ||
274 !CBS_get_u16_length_prefixed(&body, &signature) ||
275 CBS_len(&body) != 0) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400276 OPENSSL_PUT_ERROR(SSL, SSL_R_DECODE_ERROR);
277 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
David Benjamin81678aa2017-07-12 22:43:42 -0400278 return 0;
Steven Valdez143e8b32016-07-11 13:19:03 -0400279 }
280
David Benjamin8d606e32017-06-15 22:43:04 -0400281 uint8_t alert = SSL_AD_DECODE_ERROR;
282 if (!tls12_check_peer_sigalg(ssl, &alert, signature_algorithm)) {
283 ssl3_send_alert(ssl, SSL3_AL_FATAL, alert);
David Benjamin81678aa2017-07-12 22:43:42 -0400284 return 0;
Steven Valdez143e8b32016-07-11 13:19:03 -0400285 }
David Benjamin45738dd2017-02-09 20:01:26 -0500286 hs->new_session->peer_signature_algorithm = signature_algorithm;
Steven Valdez143e8b32016-07-11 13:19:03 -0400287
David Benjamin7934f082017-08-01 16:32:25 -0400288 uint8_t *input = NULL;
289 size_t input_len;
Nick Harper60a85cb2016-09-23 16:25:11 -0700290 if (!tls13_get_cert_verify_signature_input(
David Benjamin7934f082017-08-01 16:32:25 -0400291 hs, &input, &input_len,
Nick Harper60a85cb2016-09-23 16:25:11 -0700292 ssl->server ? ssl_cert_verify_client : ssl_cert_verify_server)) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400293 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
David Benjamin81678aa2017-07-12 22:43:42 -0400294 return 0;
Steven Valdez143e8b32016-07-11 13:19:03 -0400295 }
David Benjamin7934f082017-08-01 16:32:25 -0400296 UniquePtr<uint8_t> free_input(input);
Steven Valdez143e8b32016-07-11 13:19:03 -0400297
David Benjamin31b0c9b2017-07-20 14:49:15 -0400298 int sig_ok = ssl_public_key_verify(ssl, CBS_data(&signature),
299 CBS_len(&signature), signature_algorithm,
David Benjamin7934f082017-08-01 16:32:25 -0400300 hs->peer_pubkey.get(), input, input_len);
David Benjamin04aa6942016-08-19 14:51:10 -0400301#if defined(BORINGSSL_UNSAFE_FUZZER_MODE)
302 sig_ok = 1;
303 ERR_clear_error();
304#endif
Steven Valdez143e8b32016-07-11 13:19:03 -0400305 if (!sig_ok) {
306 OPENSSL_PUT_ERROR(SSL, SSL_R_BAD_SIGNATURE);
307 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECRYPT_ERROR);
David Benjamin81678aa2017-07-12 22:43:42 -0400308 return 0;
Steven Valdez143e8b32016-07-11 13:19:03 -0400309 }
310
David Benjamin81678aa2017-07-12 22:43:42 -0400311 return 1;
Steven Valdez143e8b32016-07-11 13:19:03 -0400312}
313
David Benjamin7934f082017-08-01 16:32:25 -0400314int tls13_process_finished(SSL_HANDSHAKE *hs, const SSLMessage &msg,
315 int use_saved_value) {
David Benjamin6e4fc332016-11-17 16:43:08 +0900316 SSL *const ssl = hs->ssl;
David Benjamin794cc592017-03-25 22:24:23 -0500317 uint8_t verify_data_buf[EVP_MAX_MD_SIZE];
318 const uint8_t *verify_data;
Steven Valdez143e8b32016-07-11 13:19:03 -0400319 size_t verify_data_len;
David Benjamin794cc592017-03-25 22:24:23 -0500320 if (use_saved_value) {
321 assert(ssl->server);
322 verify_data = hs->expected_client_finished;
323 verify_data_len = hs->hash_len;
324 } else {
325 if (!tls13_finished_mac(hs, verify_data_buf, &verify_data_len,
326 !ssl->server)) {
327 return 0;
328 }
329 verify_data = verify_data_buf;
Steven Valdez143e8b32016-07-11 13:19:03 -0400330 }
331
David Benjamin7934f082017-08-01 16:32:25 -0400332 int finished_ok = CBS_mem_equal(&msg.body, verify_data, verify_data_len);
David Benjamin04aa6942016-08-19 14:51:10 -0400333#if defined(BORINGSSL_UNSAFE_FUZZER_MODE)
334 finished_ok = 1;
335#endif
336 if (!finished_ok) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400337 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECRYPT_ERROR);
338 OPENSSL_PUT_ERROR(SSL, SSL_R_DIGEST_CHECK_FAILED);
339 return 0;
340 }
341
342 return 1;
343}
344
David Benjamin0f24bed2017-01-12 19:46:50 -0500345int tls13_add_certificate(SSL_HANDSHAKE *hs) {
David Benjamin6e4fc332016-11-17 16:43:08 +0900346 SSL *const ssl = hs->ssl;
David Benjamin86e95b82017-07-18 16:34:25 -0400347 ScopedCBB cbb;
David Benjamin81678aa2017-07-12 22:43:42 -0400348 CBB body, certificate_list;
349 if (!ssl->method->init_message(ssl, cbb.get(), &body, SSL3_MT_CERTIFICATE) ||
David Benjaminc11ea9422017-08-29 16:33:21 -0400350 // The request context is always empty in the handshake.
David Benjamin8a8349b2016-08-18 02:32:23 -0400351 !CBB_add_u8(&body, 0) ||
Steven Valdeza833c352016-11-01 13:39:36 -0400352 !CBB_add_u24_length_prefixed(&body, &certificate_list)) {
353 OPENSSL_PUT_ERROR(SSL, ERR_R_INTERNAL_ERROR);
David Benjamin81678aa2017-07-12 22:43:42 -0400354 return 0;
Steven Valdeza833c352016-11-01 13:39:36 -0400355 }
356
357 if (!ssl_has_certificate(ssl)) {
David Benjamin81678aa2017-07-12 22:43:42 -0400358 return ssl_add_message_cbb(ssl, cbb.get());
Steven Valdeza833c352016-11-01 13:39:36 -0400359 }
360
361 CERT *cert = ssl->cert;
Adam Langley3a2b47a2017-01-24 13:59:42 -0800362 CRYPTO_BUFFER *leaf_buf = sk_CRYPTO_BUFFER_value(cert->chain, 0);
Steven Valdeza833c352016-11-01 13:39:36 -0400363 CBB leaf, extensions;
364 if (!CBB_add_u24_length_prefixed(&certificate_list, &leaf) ||
Adam Langley3a2b47a2017-01-24 13:59:42 -0800365 !CBB_add_bytes(&leaf, CRYPTO_BUFFER_data(leaf_buf),
366 CRYPTO_BUFFER_len(leaf_buf)) ||
Steven Valdeza833c352016-11-01 13:39:36 -0400367 !CBB_add_u16_length_prefixed(&certificate_list, &extensions)) {
368 OPENSSL_PUT_ERROR(SSL, ERR_R_INTERNAL_ERROR);
David Benjamin81678aa2017-07-12 22:43:42 -0400369 return 0;
Steven Valdeza833c352016-11-01 13:39:36 -0400370 }
371
David Benjamin83a32122017-02-14 18:34:54 -0500372 if (hs->scts_requested && ssl->cert->signed_cert_timestamp_list != NULL) {
Steven Valdeza833c352016-11-01 13:39:36 -0400373 CBB contents;
374 if (!CBB_add_u16(&extensions, TLSEXT_TYPE_certificate_timestamp) ||
375 !CBB_add_u16_length_prefixed(&extensions, &contents) ||
David Benjamin83a32122017-02-14 18:34:54 -0500376 !CBB_add_bytes(
377 &contents,
378 CRYPTO_BUFFER_data(ssl->cert->signed_cert_timestamp_list),
379 CRYPTO_BUFFER_len(ssl->cert->signed_cert_timestamp_list)) ||
Adam Langley6f5f49f2016-11-18 11:05:00 -0800380 !CBB_flush(&extensions)) {
Steven Valdeza833c352016-11-01 13:39:36 -0400381 OPENSSL_PUT_ERROR(SSL, ERR_R_INTERNAL_ERROR);
David Benjamin81678aa2017-07-12 22:43:42 -0400382 return 0;
Steven Valdeza833c352016-11-01 13:39:36 -0400383 }
384 }
385
David Benjamin6e4fc332016-11-17 16:43:08 +0900386 if (hs->ocsp_stapling_requested &&
David Benjamin83a32122017-02-14 18:34:54 -0500387 ssl->cert->ocsp_response != NULL) {
Steven Valdeza833c352016-11-01 13:39:36 -0400388 CBB contents, ocsp_response;
389 if (!CBB_add_u16(&extensions, TLSEXT_TYPE_status_request) ||
390 !CBB_add_u16_length_prefixed(&extensions, &contents) ||
391 !CBB_add_u8(&contents, TLSEXT_STATUSTYPE_ocsp) ||
392 !CBB_add_u24_length_prefixed(&contents, &ocsp_response) ||
David Benjamin83a32122017-02-14 18:34:54 -0500393 !CBB_add_bytes(&ocsp_response,
394 CRYPTO_BUFFER_data(ssl->cert->ocsp_response),
395 CRYPTO_BUFFER_len(ssl->cert->ocsp_response)) ||
Adam Langley6f5f49f2016-11-18 11:05:00 -0800396 !CBB_flush(&extensions)) {
Steven Valdeza833c352016-11-01 13:39:36 -0400397 OPENSSL_PUT_ERROR(SSL, ERR_R_INTERNAL_ERROR);
David Benjamin81678aa2017-07-12 22:43:42 -0400398 return 0;
Steven Valdeza833c352016-11-01 13:39:36 -0400399 }
400 }
401
Adam Langley3a2b47a2017-01-24 13:59:42 -0800402 for (size_t i = 1; i < sk_CRYPTO_BUFFER_num(cert->chain); i++) {
403 CRYPTO_BUFFER *cert_buf = sk_CRYPTO_BUFFER_value(cert->chain, i);
Steven Valdeza833c352016-11-01 13:39:36 -0400404 CBB child;
405 if (!CBB_add_u24_length_prefixed(&certificate_list, &child) ||
Adam Langley3a2b47a2017-01-24 13:59:42 -0800406 !CBB_add_bytes(&child, CRYPTO_BUFFER_data(cert_buf),
407 CRYPTO_BUFFER_len(cert_buf)) ||
Steven Valdeza833c352016-11-01 13:39:36 -0400408 !CBB_add_u16(&certificate_list, 0 /* no extensions */)) {
409 OPENSSL_PUT_ERROR(SSL, ERR_R_INTERNAL_ERROR);
David Benjamin81678aa2017-07-12 22:43:42 -0400410 return 0;
Steven Valdeza833c352016-11-01 13:39:36 -0400411 }
412 }
413
David Benjamin81678aa2017-07-12 22:43:42 -0400414 return ssl_add_message_cbb(ssl, cbb.get());
Steven Valdez143e8b32016-07-11 13:19:03 -0400415}
416
David Benjamin44148742017-06-17 13:20:59 -0400417enum ssl_private_key_result_t tls13_add_certificate_verify(SSL_HANDSHAKE *hs) {
David Benjamin6e4fc332016-11-17 16:43:08 +0900418 SSL *const ssl = hs->ssl;
Steven Valdez143e8b32016-07-11 13:19:03 -0400419 uint16_t signature_algorithm;
David Benjaminf3c8f8d2016-11-17 17:20:47 +0900420 if (!tls1_choose_signature_algorithm(hs, &signature_algorithm)) {
David Benjamin81678aa2017-07-12 22:43:42 -0400421 return ssl_private_key_failure;
Steven Valdez143e8b32016-07-11 13:19:03 -0400422 }
David Benjamin81678aa2017-07-12 22:43:42 -0400423
David Benjamin86e95b82017-07-18 16:34:25 -0400424 ScopedCBB cbb;
David Benjamin81678aa2017-07-12 22:43:42 -0400425 CBB body;
426 if (!ssl->method->init_message(ssl, cbb.get(), &body,
Steven Valdez143e8b32016-07-11 13:19:03 -0400427 SSL3_MT_CERTIFICATE_VERIFY) ||
428 !CBB_add_u16(&body, signature_algorithm)) {
429 OPENSSL_PUT_ERROR(SSL, ERR_R_INTERNAL_ERROR);
David Benjamin81678aa2017-07-12 22:43:42 -0400430 return ssl_private_key_failure;
Steven Valdez143e8b32016-07-11 13:19:03 -0400431 }
432
David Benjaminc11ea9422017-08-29 16:33:21 -0400433 // Sign the digest.
Steven Valdez143e8b32016-07-11 13:19:03 -0400434 CBB child;
David Benjamin31b0c9b2017-07-20 14:49:15 -0400435 const size_t max_sig_len = EVP_PKEY_size(hs->local_pubkey.get());
Steven Valdez143e8b32016-07-11 13:19:03 -0400436 uint8_t *sig;
437 size_t sig_len;
438 if (!CBB_add_u16_length_prefixed(&body, &child) ||
439 !CBB_reserve(&child, &sig, max_sig_len)) {
440 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
David Benjamin81678aa2017-07-12 22:43:42 -0400441 return ssl_private_key_failure;
Steven Valdez143e8b32016-07-11 13:19:03 -0400442 }
443
David Benjamin81678aa2017-07-12 22:43:42 -0400444 uint8_t *msg = NULL;
445 size_t msg_len;
David Benjamin44148742017-06-17 13:20:59 -0400446 if (!tls13_get_cert_verify_signature_input(
447 hs, &msg, &msg_len,
448 ssl->server ? ssl_cert_verify_server : ssl_cert_verify_client)) {
449 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
David Benjamin81678aa2017-07-12 22:43:42 -0400450 return ssl_private_key_failure;
Steven Valdez143e8b32016-07-11 13:19:03 -0400451 }
David Benjamin86e95b82017-07-18 16:34:25 -0400452 UniquePtr<uint8_t> free_msg(msg);
Steven Valdez143e8b32016-07-11 13:19:03 -0400453
David Benjamin44148742017-06-17 13:20:59 -0400454 enum ssl_private_key_result_t sign_result = ssl_private_key_sign(
455 hs, sig, &sig_len, max_sig_len, signature_algorithm, msg, msg_len);
Steven Valdez143e8b32016-07-11 13:19:03 -0400456 if (sign_result != ssl_private_key_success) {
David Benjamin81678aa2017-07-12 22:43:42 -0400457 return sign_result;
Steven Valdez143e8b32016-07-11 13:19:03 -0400458 }
459
460 if (!CBB_did_write(&child, sig_len) ||
David Benjamin81678aa2017-07-12 22:43:42 -0400461 !ssl_add_message_cbb(ssl, cbb.get())) {
462 return ssl_private_key_failure;
Steven Valdez143e8b32016-07-11 13:19:03 -0400463 }
464
David Benjamin81678aa2017-07-12 22:43:42 -0400465 return ssl_private_key_success;
Steven Valdez143e8b32016-07-11 13:19:03 -0400466}
467
David Benjamin0f24bed2017-01-12 19:46:50 -0500468int tls13_add_finished(SSL_HANDSHAKE *hs) {
David Benjamin6e4fc332016-11-17 16:43:08 +0900469 SSL *const ssl = hs->ssl;
Steven Valdez143e8b32016-07-11 13:19:03 -0400470 size_t verify_data_len;
471 uint8_t verify_data[EVP_MAX_MD_SIZE];
472
David Benjamin6e4fc332016-11-17 16:43:08 +0900473 if (!tls13_finished_mac(hs, verify_data, &verify_data_len, ssl->server)) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400474 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
475 OPENSSL_PUT_ERROR(SSL, SSL_R_DIGEST_CHECK_FAILED);
476 return 0;
477 }
478
David Benjamin1386aad2017-07-19 23:57:40 -0400479 ScopedCBB cbb;
480 CBB body;
481 if (!ssl->method->init_message(ssl, cbb.get(), &body, SSL3_MT_FINISHED) ||
Steven Valdez143e8b32016-07-11 13:19:03 -0400482 !CBB_add_bytes(&body, verify_data, verify_data_len) ||
David Benjamin1386aad2017-07-19 23:57:40 -0400483 !ssl_add_message_cbb(ssl, cbb.get())) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400484 return 0;
485 }
486
487 return 1;
488}
Steven Valdez8e1c7be2016-07-26 12:39:22 -0400489
David Benjamin7934f082017-08-01 16:32:25 -0400490static int tls13_receive_key_update(SSL *ssl, const SSLMessage &msg) {
491 CBS body = msg.body;
Steven Valdezc4aa7272016-10-03 12:25:56 -0400492 uint8_t key_update_request;
David Benjamin7934f082017-08-01 16:32:25 -0400493 if (!CBS_get_u8(&body, &key_update_request) ||
494 CBS_len(&body) != 0 ||
Steven Valdezc4aa7272016-10-03 12:25:56 -0400495 (key_update_request != SSL_KEY_UPDATE_NOT_REQUESTED &&
496 key_update_request != SSL_KEY_UPDATE_REQUESTED)) {
Steven Valdez1dc53d22016-07-26 12:27:38 -0400497 OPENSSL_PUT_ERROR(SSL, SSL_R_DECODE_ERROR);
498 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
499 return 0;
500 }
501
David Benjaminbbba9392017-04-06 12:54:12 -0400502 if (!tls13_rotate_traffic_key(ssl, evp_aead_open)) {
503 return 0;
504 }
505
David Benjaminc11ea9422017-08-29 16:33:21 -0400506 // Acknowledge the KeyUpdate
David Benjaminbbba9392017-04-06 12:54:12 -0400507 if (key_update_request == SSL_KEY_UPDATE_REQUESTED &&
508 !ssl->s3->key_update_pending) {
David Benjamin1386aad2017-07-19 23:57:40 -0400509 ScopedCBB cbb;
David Benjamin7934f082017-08-01 16:32:25 -0400510 CBB body_cbb;
511 if (!ssl->method->init_message(ssl, cbb.get(), &body_cbb,
512 SSL3_MT_KEY_UPDATE) ||
513 !CBB_add_u8(&body_cbb, SSL_KEY_UPDATE_NOT_REQUESTED) ||
David Benjamin1386aad2017-07-19 23:57:40 -0400514 !ssl_add_message_cbb(ssl, cbb.get()) ||
David Benjaminbbba9392017-04-06 12:54:12 -0400515 !tls13_rotate_traffic_key(ssl, evp_aead_seal)) {
David Benjaminbbba9392017-04-06 12:54:12 -0400516 return 0;
517 }
518
David Benjaminc11ea9422017-08-29 16:33:21 -0400519 // Suppress KeyUpdate acknowledgments until this change is written to the
520 // wire. This prevents us from accumulating write obligations when read and
521 // write progress at different rates. See draft-ietf-tls-tls13-18, section
522 // 4.5.3.
David Benjamin046bc1f2017-08-31 15:06:42 -0400523 ssl->s3->key_update_pending = true;
David Benjaminbbba9392017-04-06 12:54:12 -0400524 }
525
526 return 1;
Steven Valdez1dc53d22016-07-26 12:27:38 -0400527}
528
David Benjamin7934f082017-08-01 16:32:25 -0400529int tls13_post_handshake(SSL *ssl, const SSLMessage &msg) {
530 if (msg.type == SSL3_MT_KEY_UPDATE) {
Steven Valdez32635b82016-08-16 11:25:03 -0400531 ssl->s3->key_update_count++;
532 if (ssl->s3->key_update_count > kMaxKeyUpdates) {
533 OPENSSL_PUT_ERROR(SSL, SSL_R_TOO_MANY_KEY_UPDATES);
534 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_UNEXPECTED_MESSAGE);
535 return 0;
536 }
537
David Benjamin7934f082017-08-01 16:32:25 -0400538 return tls13_receive_key_update(ssl, msg);
Steven Valdez1dc53d22016-07-26 12:27:38 -0400539 }
540
Steven Valdez32635b82016-08-16 11:25:03 -0400541 ssl->s3->key_update_count = 0;
542
David Benjamin7934f082017-08-01 16:32:25 -0400543 if (msg.type == SSL3_MT_NEW_SESSION_TICKET && !ssl->server) {
544 return tls13_process_new_session_ticket(ssl, msg);
Steven Valdez8e1c7be2016-07-26 12:39:22 -0400545 }
546
Steven Valdez8e1c7be2016-07-26 12:39:22 -0400547 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_UNEXPECTED_MESSAGE);
548 OPENSSL_PUT_ERROR(SSL, SSL_R_UNEXPECTED_MESSAGE);
549 return 0;
550}
David Benjamin86e95b82017-07-18 16:34:25 -0400551
552} // namespace bssl