blob: 6e7260e012700c610e13cef73ad6dc0eb77b28b2 [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
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 Benjamin7934f082017-08-01 16:32:25 -040049 case ssl_hs_flush: {
David Benjamin8d5f9da2017-01-01 17:41:30 -050050 int ret = ssl->method->flush_flight(ssl);
David Benjaminf2401eb2016-07-18 22:25:05 +020051 if (ret <= 0) {
David Benjaminf2401eb2016-07-18 22:25:05 +020052 return ret;
53 }
David Benjamin7934f082017-08-01 16:32:25 -040054 break;
David Benjaminf2401eb2016-07-18 22:25:05 +020055 }
56
Steven Valdez143e8b32016-07-11 13:19:03 -040057 case ssl_hs_read_message: {
David Benjamin7934f082017-08-01 16:32:25 -040058 int ret = ssl->method->read_message(ssl);
Steven Valdez143e8b32016-07-11 13:19:03 -040059 if (ret <= 0) {
60 return ret;
61 }
62 break;
63 }
64
Steven Valdez520e1222017-06-13 12:45:25 -040065 case ssl_hs_read_change_cipher_spec: {
66 int ret = ssl->method->read_change_cipher_spec(ssl);
67 if (ret <= 0) {
68 return ret;
69 }
70 break;
71 }
72
Steven Valdez2d850622017-01-11 11:34:52 -050073 case ssl_hs_read_end_of_early_data: {
Steven Valdez681eb6a2016-12-19 13:19:29 -050074 if (ssl->s3->hs->can_early_read) {
75 /* While we are processing early data, the handshake returns early. */
76 *out_early_return = 1;
77 return 1;
Steven Valdez2d850622017-01-11 11:34:52 -050078 }
Steven Valdez681eb6a2016-12-19 13:19:29 -050079 hs->wait = ssl_hs_ok;
Steven Valdez2d850622017-01-11 11:34:52 -050080 break;
81 }
82
Steven Valdez143e8b32016-07-11 13:19:03 -040083 case ssl_hs_x509_lookup:
84 ssl->rwstate = SSL_X509_LOOKUP;
85 hs->wait = ssl_hs_ok;
86 return -1;
87
Nick Harper60a85cb2016-09-23 16:25:11 -070088 case ssl_hs_channel_id_lookup:
89 ssl->rwstate = SSL_CHANNEL_ID_LOOKUP;
90 hs->wait = ssl_hs_ok;
91 return -1;
92
Steven Valdez143e8b32016-07-11 13:19:03 -040093 case ssl_hs_private_key_operation:
94 ssl->rwstate = SSL_PRIVATE_KEY_OPERATION;
95 hs->wait = ssl_hs_ok;
96 return -1;
97
David Benjamin707af292017-03-10 17:47:18 -050098 case ssl_hs_pending_ticket:
99 ssl->rwstate = SSL_PENDING_TICKET;
100 hs->wait = ssl_hs_ok;
101 return -1;
102
David Benjamin3a1dd462017-07-11 16:13:10 -0400103 case ssl_hs_certificate_verify:
104 ssl->rwstate = SSL_CERTIFICATE_VERIFY;
105 hs->wait = ssl_hs_ok;
106 return -1;
107
Steven Valdeze831a812017-03-09 14:56:07 -0500108 case ssl_hs_early_data_rejected:
109 ssl->rwstate = SSL_EARLY_DATA_REJECTED;
110 /* Cause |SSL_write| to start failing immediately. */
111 hs->can_early_write = 0;
112 return -1;
113
Steven Valdez143e8b32016-07-11 13:19:03 -0400114 case ssl_hs_ok:
115 break;
116 }
117
118 /* Run the state machine again. */
David Benjaminc3c88822016-11-14 10:32:04 +0900119 hs->wait = hs->do_tls13_handshake(hs);
Steven Valdez143e8b32016-07-11 13:19:03 -0400120 if (hs->wait == ssl_hs_error) {
121 /* Don't loop around to avoid a stray |SSL_R_SSL_HANDSHAKE_FAILURE| the
122 * first time around. */
123 return -1;
124 }
125 if (hs->wait == ssl_hs_ok) {
126 /* The handshake has completed. */
127 return 1;
128 }
129
130 /* Otherwise, loop to the beginning and resolve what was blocking the
131 * handshake. */
132 }
133}
134
Nick Harper60a85cb2016-09-23 16:25:11 -0700135int tls13_get_cert_verify_signature_input(
Steven Valdez908ac192017-01-12 13:17:07 -0500136 SSL_HANDSHAKE *hs, uint8_t **out, size_t *out_len,
Nick Harper60a85cb2016-09-23 16:25:11 -0700137 enum ssl_cert_verify_context_t cert_verify_context) {
David Benjamin1386aad2017-07-19 23:57:40 -0400138 ScopedCBB cbb;
139 if (!CBB_init(cbb.get(), 64 + 33 + 1 + 2 * EVP_MAX_MD_SIZE)) {
140 OPENSSL_PUT_ERROR(SSL, ERR_R_MALLOC_FAILURE);
141 return 0;
Steven Valdez143e8b32016-07-11 13:19:03 -0400142 }
143
144 for (size_t i = 0; i < 64; i++) {
David Benjamin1386aad2017-07-19 23:57:40 -0400145 if (!CBB_add_u8(cbb.get(), 0x20)) {
146 OPENSSL_PUT_ERROR(SSL, ERR_R_MALLOC_FAILURE);
147 return 0;
Steven Valdez143e8b32016-07-11 13:19:03 -0400148 }
149 }
150
Nick Harper60a85cb2016-09-23 16:25:11 -0700151 const uint8_t *context;
152 size_t context_len;
153 if (cert_verify_context == ssl_cert_verify_server) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400154 /* Include the NUL byte. */
155 static const char kContext[] = "TLS 1.3, server CertificateVerify";
Nick Harper60a85cb2016-09-23 16:25:11 -0700156 context = (const uint8_t *)kContext;
157 context_len = sizeof(kContext);
158 } else if (cert_verify_context == ssl_cert_verify_client) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400159 static const char kContext[] = "TLS 1.3, client 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_channel_id) {
163 static const char kContext[] = "TLS 1.3, Channel ID";
164 context = (const uint8_t *)kContext;
165 context_len = sizeof(kContext);
166 } else {
David Benjamin1386aad2017-07-19 23:57:40 -0400167 OPENSSL_PUT_ERROR(SSL, ERR_R_MALLOC_FAILURE);
168 return 0;
Nick Harper60a85cb2016-09-23 16:25:11 -0700169 }
170
David Benjamin1386aad2017-07-19 23:57:40 -0400171 if (!CBB_add_bytes(cbb.get(), context, context_len)) {
172 OPENSSL_PUT_ERROR(SSL, ERR_R_MALLOC_FAILURE);
173 return 0;
Steven Valdez143e8b32016-07-11 13:19:03 -0400174 }
175
Steven Valdeza833c352016-11-01 13:39:36 -0400176 uint8_t context_hash[EVP_MAX_MD_SIZE];
177 size_t context_hash_len;
David Benjamin6dc8bf62017-07-19 16:38:21 -0400178 if (!hs->transcript.GetHash(context_hash, &context_hash_len) ||
David Benjamin1386aad2017-07-19 23:57:40 -0400179 !CBB_add_bytes(cbb.get(), context_hash, context_hash_len) ||
180 !CBB_finish(cbb.get(), out, out_len)) {
181 OPENSSL_PUT_ERROR(SSL, ERR_R_MALLOC_FAILURE);
182 return 0;
Steven Valdez143e8b32016-07-11 13:19:03 -0400183 }
184
185 return 1;
Steven Valdez143e8b32016-07-11 13:19:03 -0400186}
187
David Benjamin7934f082017-08-01 16:32:25 -0400188int tls13_process_certificate(SSL_HANDSHAKE *hs, const SSLMessage &msg,
189 int allow_anonymous) {
Adam Langley0c294252016-12-12 11:46:09 -0800190 SSL *const ssl = hs->ssl;
David Benjamin7934f082017-08-01 16:32:25 -0400191 CBS body = msg.body, context, certificate_list;
192 if (!CBS_get_u8_length_prefixed(&body, &context) ||
David Benjamine664a532017-07-20 20:19:36 -0400193 CBS_len(&context) != 0 ||
David Benjamin7934f082017-08-01 16:32:25 -0400194 !CBS_get_u24_length_prefixed(&body, &certificate_list) ||
195 CBS_len(&body) != 0) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400196 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
197 OPENSSL_PUT_ERROR(SSL, SSL_R_DECODE_ERROR);
198 return 0;
199 }
200
David Benjamin31b0c9b2017-07-20 14:49:15 -0400201 UniquePtr<STACK_OF(CRYPTO_BUFFER)> certs(sk_CRYPTO_BUFFER_new_null());
202 if (!certs) {
Steven Valdeza833c352016-11-01 13:39:36 -0400203 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
204 OPENSSL_PUT_ERROR(SSL, ERR_R_MALLOC_FAILURE);
David Benjamin31b0c9b2017-07-20 14:49:15 -0400205 return 0;
Steven Valdez143e8b32016-07-11 13:19:03 -0400206 }
207
David Benjamin31b0c9b2017-07-20 14:49:15 -0400208 const bool retain_sha256 =
209 ssl->server && ssl->retain_only_sha256_of_client_certs;
210 UniquePtr<EVP_PKEY> pkey;
Steven Valdeza833c352016-11-01 13:39:36 -0400211 while (CBS_len(&certificate_list) > 0) {
212 CBS certificate, extensions;
213 if (!CBS_get_u24_length_prefixed(&certificate_list, &certificate) ||
Adam Langley68e71242016-12-12 11:06:16 -0800214 !CBS_get_u16_length_prefixed(&certificate_list, &extensions) ||
215 CBS_len(&certificate) == 0) {
Steven Valdeza833c352016-11-01 13:39:36 -0400216 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
217 OPENSSL_PUT_ERROR(SSL, SSL_R_CERT_LENGTH_MISMATCH);
David Benjamin31b0c9b2017-07-20 14:49:15 -0400218 return 0;
Steven Valdeza833c352016-11-01 13:39:36 -0400219 }
220
David Benjamin31b0c9b2017-07-20 14:49:15 -0400221 if (sk_CRYPTO_BUFFER_num(certs.get()) == 0) {
Adam Langley0c294252016-12-12 11:46:09 -0800222 pkey = ssl_cert_parse_pubkey(&certificate);
David Benjamin31b0c9b2017-07-20 14:49:15 -0400223 if (!pkey) {
Adam Langley0c294252016-12-12 11:46:09 -0800224 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
225 OPENSSL_PUT_ERROR(SSL, SSL_R_DECODE_ERROR);
David Benjamin31b0c9b2017-07-20 14:49:15 -0400226 return 0;
Adam Langley0c294252016-12-12 11:46:09 -0800227 }
Adam Langleya4b91982016-12-12 12:05:53 -0800228 /* TLS 1.3 always uses certificate keys for signing thus the correct
229 * keyUsage is enforced. */
230 if (!ssl_cert_check_digital_signature_key_usage(&certificate)) {
231 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_ILLEGAL_PARAMETER);
David Benjamin31b0c9b2017-07-20 14:49:15 -0400232 return 0;
Adam Langleya4b91982016-12-12 12:05:53 -0800233 }
Adam Langley0c294252016-12-12 11:46:09 -0800234
235 if (retain_sha256) {
236 /* Retain the hash of the leaf certificate if requested. */
237 SHA256(CBS_data(&certificate), CBS_len(&certificate),
David Benjamin45738dd2017-02-09 20:01:26 -0500238 hs->new_session->peer_sha256);
Adam Langley0c294252016-12-12 11:46:09 -0800239 }
Steven Valdeza833c352016-11-01 13:39:36 -0400240 }
241
David Benjamin6e9321f2017-07-25 23:49:58 -0400242 UniquePtr<CRYPTO_BUFFER> buf(
243 CRYPTO_BUFFER_new_from_CBS(&certificate, ssl->ctx->pool));
244 if (!buf ||
245 !PushToStack(certs.get(), std::move(buf))) {
Adam Langleye8509092016-11-07 14:24:33 -0800246 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
247 OPENSSL_PUT_ERROR(SSL, ERR_R_MALLOC_FAILURE);
David Benjamin31b0c9b2017-07-20 14:49:15 -0400248 return 0;
Steven Valdeza833c352016-11-01 13:39:36 -0400249 }
250
251 /* Parse out the extensions. */
252 int have_status_request = 0, have_sct = 0;
253 CBS status_request, sct;
David Benjaminffb11072016-11-13 10:32:10 +0900254 const SSL_EXTENSION_TYPE ext_types[] = {
255 {TLSEXT_TYPE_status_request, &have_status_request, &status_request},
256 {TLSEXT_TYPE_certificate_timestamp, &have_sct, &sct},
257 };
Steven Valdeza833c352016-11-01 13:39:36 -0400258
Adam Langleyc68e5b92017-02-08 13:33:15 -0800259 uint8_t alert = SSL_AD_DECODE_ERROR;
David Benjaminffb11072016-11-13 10:32:10 +0900260 if (!ssl_parse_extensions(&extensions, &alert, ext_types,
Steven Valdez08b65f42016-12-07 15:29:45 -0500261 OPENSSL_ARRAY_SIZE(ext_types),
262 0 /* reject unknown */)) {
David Benjaminffb11072016-11-13 10:32:10 +0900263 ssl3_send_alert(ssl, SSL3_AL_FATAL, alert);
David Benjamin31b0c9b2017-07-20 14:49:15 -0400264 return 0;
Steven Valdeza833c352016-11-01 13:39:36 -0400265 }
266
267 /* All Certificate extensions are parsed, but only the leaf extensions are
268 * stored. */
269 if (have_status_request) {
270 if (ssl->server || !ssl->ocsp_stapling_enabled) {
271 OPENSSL_PUT_ERROR(SSL, SSL_R_UNEXPECTED_EXTENSION);
272 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_UNSUPPORTED_EXTENSION);
David Benjamin31b0c9b2017-07-20 14:49:15 -0400273 return 0;
Steven Valdeza833c352016-11-01 13:39:36 -0400274 }
275
276 uint8_t status_type;
277 CBS ocsp_response;
278 if (!CBS_get_u8(&status_request, &status_type) ||
279 status_type != TLSEXT_STATUSTYPE_ocsp ||
280 !CBS_get_u24_length_prefixed(&status_request, &ocsp_response) ||
281 CBS_len(&ocsp_response) == 0 ||
282 CBS_len(&status_request) != 0) {
283 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
David Benjamin31b0c9b2017-07-20 14:49:15 -0400284 return 0;
Steven Valdeza833c352016-11-01 13:39:36 -0400285 }
286
David Benjamin8fc2dc02017-08-22 15:07:51 -0700287 if (sk_CRYPTO_BUFFER_num(certs.get()) == 1) {
288 CRYPTO_BUFFER_free(hs->new_session->ocsp_response);
289 hs->new_session->ocsp_response =
290 CRYPTO_BUFFER_new_from_CBS(&ocsp_response, ssl->ctx->pool);
291 if (hs->new_session->ocsp_response == nullptr) {
292 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
293 return 0;
294 }
Steven Valdeza833c352016-11-01 13:39:36 -0400295 }
296 }
297
298 if (have_sct) {
299 if (ssl->server || !ssl->signed_cert_timestamps_enabled) {
300 OPENSSL_PUT_ERROR(SSL, SSL_R_UNEXPECTED_EXTENSION);
301 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_UNSUPPORTED_EXTENSION);
David Benjamin31b0c9b2017-07-20 14:49:15 -0400302 return 0;
Steven Valdeza833c352016-11-01 13:39:36 -0400303 }
304
Adam Langleycfa08c32016-11-17 13:21:27 -0800305 if (!ssl_is_sct_list_valid(&sct)) {
306 OPENSSL_PUT_ERROR(SSL, SSL_R_ERROR_PARSING_EXTENSION);
Steven Valdeza833c352016-11-01 13:39:36 -0400307 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
David Benjamin31b0c9b2017-07-20 14:49:15 -0400308 return 0;
Steven Valdeza833c352016-11-01 13:39:36 -0400309 }
310
David Benjamin8fc2dc02017-08-22 15:07:51 -0700311 if (sk_CRYPTO_BUFFER_num(certs.get()) == 1) {
312 CRYPTO_BUFFER_free(hs->new_session->signed_cert_timestamp_list);
313 hs->new_session->signed_cert_timestamp_list =
314 CRYPTO_BUFFER_new_from_CBS(&sct, ssl->ctx->pool);
315 if (hs->new_session->signed_cert_timestamp_list == nullptr) {
316 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
317 return 0;
318 }
Steven Valdeza833c352016-11-01 13:39:36 -0400319 }
320 }
321 }
322
David Benjamine664a532017-07-20 20:19:36 -0400323 /* Store a null certificate list rather than an empty one if the peer didn't
324 * send certificates. */
325 if (sk_CRYPTO_BUFFER_num(certs.get()) == 0) {
326 certs.reset();
Steven Valdez143e8b32016-07-11 13:19:03 -0400327 }
328
David Benjamin31b0c9b2017-07-20 14:49:15 -0400329 hs->peer_pubkey = std::move(pkey);
Adam Langley0c294252016-12-12 11:46:09 -0800330
David Benjamin45738dd2017-02-09 20:01:26 -0500331 sk_CRYPTO_BUFFER_pop_free(hs->new_session->certs, CRYPTO_BUFFER_free);
David Benjamin31b0c9b2017-07-20 14:49:15 -0400332 hs->new_session->certs = certs.release();
Adam Langley68e71242016-12-12 11:06:16 -0800333
David Benjamin31b0c9b2017-07-20 14:49:15 -0400334 if (!ssl->ctx->x509_method->session_cache_objects(hs->new_session.get())) {
Adam Langley68e71242016-12-12 11:06:16 -0800335 OPENSSL_PUT_ERROR(SSL, SSL_R_DECODE_ERROR);
336 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
David Benjamin31b0c9b2017-07-20 14:49:15 -0400337 return 0;
Adam Langley68e71242016-12-12 11:06:16 -0800338 }
339
David Benjamin45738dd2017-02-09 20:01:26 -0500340 if (sk_CRYPTO_BUFFER_num(hs->new_session->certs) == 0) {
David Benjamin4087df92016-08-01 20:16:31 -0400341 if (!allow_anonymous) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400342 OPENSSL_PUT_ERROR(SSL, SSL_R_PEER_DID_NOT_RETURN_A_CERTIFICATE);
David Benjamin1db9e1b2016-10-07 20:51:43 -0400343 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_CERTIFICATE_REQUIRED);
David Benjamin31b0c9b2017-07-20 14:49:15 -0400344 return 0;
Steven Valdez143e8b32016-07-11 13:19:03 -0400345 }
346
Adam Langley37646832016-08-01 16:16:46 -0700347 /* OpenSSL returns X509_V_OK when no certificates are requested. This is
David Benjamindd634eb2016-08-18 16:40:28 -0400348 * classed by them as a bug, but it's assumed by at least NGINX. */
David Benjamin45738dd2017-02-09 20:01:26 -0500349 hs->new_session->verify_result = X509_V_OK;
Adam Langley37646832016-08-01 16:16:46 -0700350
Steven Valdez143e8b32016-07-11 13:19:03 -0400351 /* No certificate, so nothing more to do. */
David Benjamin31b0c9b2017-07-20 14:49:15 -0400352 return 1;
Steven Valdez143e8b32016-07-11 13:19:03 -0400353 }
354
David Benjamin45738dd2017-02-09 20:01:26 -0500355 hs->new_session->peer_sha256_valid = retain_sha256;
David Benjamin31b0c9b2017-07-20 14:49:15 -0400356 return 1;
Steven Valdez143e8b32016-07-11 13:19:03 -0400357}
358
David Benjamin7934f082017-08-01 16:32:25 -0400359int tls13_process_certificate_verify(SSL_HANDSHAKE *hs, const SSLMessage &msg) {
Adam Langley0c294252016-12-12 11:46:09 -0800360 SSL *const ssl = hs->ssl;
Adam Langley0c294252016-12-12 11:46:09 -0800361 if (hs->peer_pubkey == NULL) {
David Benjamin81678aa2017-07-12 22:43:42 -0400362 OPENSSL_PUT_ERROR(SSL, ERR_R_INTERNAL_ERROR);
363 return 0;
Steven Valdez143e8b32016-07-11 13:19:03 -0400364 }
365
David Benjamin7934f082017-08-01 16:32:25 -0400366 CBS body = msg.body, signature;
Steven Valdez143e8b32016-07-11 13:19:03 -0400367 uint16_t signature_algorithm;
David Benjamin7934f082017-08-01 16:32:25 -0400368 if (!CBS_get_u16(&body, &signature_algorithm) ||
369 !CBS_get_u16_length_prefixed(&body, &signature) ||
370 CBS_len(&body) != 0) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400371 OPENSSL_PUT_ERROR(SSL, SSL_R_DECODE_ERROR);
372 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
David Benjamin81678aa2017-07-12 22:43:42 -0400373 return 0;
Steven Valdez143e8b32016-07-11 13:19:03 -0400374 }
375
David Benjamin8d606e32017-06-15 22:43:04 -0400376 uint8_t alert = SSL_AD_DECODE_ERROR;
377 if (!tls12_check_peer_sigalg(ssl, &alert, signature_algorithm)) {
378 ssl3_send_alert(ssl, SSL3_AL_FATAL, alert);
David Benjamin81678aa2017-07-12 22:43:42 -0400379 return 0;
Steven Valdez143e8b32016-07-11 13:19:03 -0400380 }
David Benjamin45738dd2017-02-09 20:01:26 -0500381 hs->new_session->peer_signature_algorithm = signature_algorithm;
Steven Valdez143e8b32016-07-11 13:19:03 -0400382
David Benjamin7934f082017-08-01 16:32:25 -0400383 uint8_t *input = NULL;
384 size_t input_len;
Nick Harper60a85cb2016-09-23 16:25:11 -0700385 if (!tls13_get_cert_verify_signature_input(
David Benjamin7934f082017-08-01 16:32:25 -0400386 hs, &input, &input_len,
Nick Harper60a85cb2016-09-23 16:25:11 -0700387 ssl->server ? ssl_cert_verify_client : ssl_cert_verify_server)) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400388 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
David Benjamin81678aa2017-07-12 22:43:42 -0400389 return 0;
Steven Valdez143e8b32016-07-11 13:19:03 -0400390 }
David Benjamin7934f082017-08-01 16:32:25 -0400391 UniquePtr<uint8_t> free_input(input);
Steven Valdez143e8b32016-07-11 13:19:03 -0400392
David Benjamin31b0c9b2017-07-20 14:49:15 -0400393 int sig_ok = ssl_public_key_verify(ssl, CBS_data(&signature),
394 CBS_len(&signature), signature_algorithm,
David Benjamin7934f082017-08-01 16:32:25 -0400395 hs->peer_pubkey.get(), input, input_len);
David Benjamin04aa6942016-08-19 14:51:10 -0400396#if defined(BORINGSSL_UNSAFE_FUZZER_MODE)
397 sig_ok = 1;
398 ERR_clear_error();
399#endif
Steven Valdez143e8b32016-07-11 13:19:03 -0400400 if (!sig_ok) {
401 OPENSSL_PUT_ERROR(SSL, SSL_R_BAD_SIGNATURE);
402 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECRYPT_ERROR);
David Benjamin81678aa2017-07-12 22:43:42 -0400403 return 0;
Steven Valdez143e8b32016-07-11 13:19:03 -0400404 }
405
David Benjamin81678aa2017-07-12 22:43:42 -0400406 return 1;
Steven Valdez143e8b32016-07-11 13:19:03 -0400407}
408
David Benjamin7934f082017-08-01 16:32:25 -0400409int tls13_process_finished(SSL_HANDSHAKE *hs, const SSLMessage &msg,
410 int use_saved_value) {
David Benjamin6e4fc332016-11-17 16:43:08 +0900411 SSL *const ssl = hs->ssl;
David Benjamin794cc592017-03-25 22:24:23 -0500412 uint8_t verify_data_buf[EVP_MAX_MD_SIZE];
413 const uint8_t *verify_data;
Steven Valdez143e8b32016-07-11 13:19:03 -0400414 size_t verify_data_len;
David Benjamin794cc592017-03-25 22:24:23 -0500415 if (use_saved_value) {
416 assert(ssl->server);
417 verify_data = hs->expected_client_finished;
418 verify_data_len = hs->hash_len;
419 } else {
420 if (!tls13_finished_mac(hs, verify_data_buf, &verify_data_len,
421 !ssl->server)) {
422 return 0;
423 }
424 verify_data = verify_data_buf;
Steven Valdez143e8b32016-07-11 13:19:03 -0400425 }
426
David Benjamin7934f082017-08-01 16:32:25 -0400427 int finished_ok = CBS_mem_equal(&msg.body, verify_data, verify_data_len);
David Benjamin04aa6942016-08-19 14:51:10 -0400428#if defined(BORINGSSL_UNSAFE_FUZZER_MODE)
429 finished_ok = 1;
430#endif
431 if (!finished_ok) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400432 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECRYPT_ERROR);
433 OPENSSL_PUT_ERROR(SSL, SSL_R_DIGEST_CHECK_FAILED);
434 return 0;
435 }
436
437 return 1;
438}
439
David Benjamin0f24bed2017-01-12 19:46:50 -0500440int tls13_add_certificate(SSL_HANDSHAKE *hs) {
David Benjamin6e4fc332016-11-17 16:43:08 +0900441 SSL *const ssl = hs->ssl;
David Benjamin86e95b82017-07-18 16:34:25 -0400442 ScopedCBB cbb;
David Benjamin81678aa2017-07-12 22:43:42 -0400443 CBB body, certificate_list;
444 if (!ssl->method->init_message(ssl, cbb.get(), &body, SSL3_MT_CERTIFICATE) ||
David Benjamin8a8349b2016-08-18 02:32:23 -0400445 /* The request context is always empty in the handshake. */
446 !CBB_add_u8(&body, 0) ||
Steven Valdeza833c352016-11-01 13:39:36 -0400447 !CBB_add_u24_length_prefixed(&body, &certificate_list)) {
448 OPENSSL_PUT_ERROR(SSL, ERR_R_INTERNAL_ERROR);
David Benjamin81678aa2017-07-12 22:43:42 -0400449 return 0;
Steven Valdeza833c352016-11-01 13:39:36 -0400450 }
451
452 if (!ssl_has_certificate(ssl)) {
David Benjamin81678aa2017-07-12 22:43:42 -0400453 return ssl_add_message_cbb(ssl, cbb.get());
Steven Valdeza833c352016-11-01 13:39:36 -0400454 }
455
456 CERT *cert = ssl->cert;
Adam Langley3a2b47a2017-01-24 13:59:42 -0800457 CRYPTO_BUFFER *leaf_buf = sk_CRYPTO_BUFFER_value(cert->chain, 0);
Steven Valdeza833c352016-11-01 13:39:36 -0400458 CBB leaf, extensions;
459 if (!CBB_add_u24_length_prefixed(&certificate_list, &leaf) ||
Adam Langley3a2b47a2017-01-24 13:59:42 -0800460 !CBB_add_bytes(&leaf, CRYPTO_BUFFER_data(leaf_buf),
461 CRYPTO_BUFFER_len(leaf_buf)) ||
Steven Valdeza833c352016-11-01 13:39:36 -0400462 !CBB_add_u16_length_prefixed(&certificate_list, &extensions)) {
463 OPENSSL_PUT_ERROR(SSL, ERR_R_INTERNAL_ERROR);
David Benjamin81678aa2017-07-12 22:43:42 -0400464 return 0;
Steven Valdeza833c352016-11-01 13:39:36 -0400465 }
466
David Benjamin83a32122017-02-14 18:34:54 -0500467 if (hs->scts_requested && ssl->cert->signed_cert_timestamp_list != NULL) {
Steven Valdeza833c352016-11-01 13:39:36 -0400468 CBB contents;
469 if (!CBB_add_u16(&extensions, TLSEXT_TYPE_certificate_timestamp) ||
470 !CBB_add_u16_length_prefixed(&extensions, &contents) ||
David Benjamin83a32122017-02-14 18:34:54 -0500471 !CBB_add_bytes(
472 &contents,
473 CRYPTO_BUFFER_data(ssl->cert->signed_cert_timestamp_list),
474 CRYPTO_BUFFER_len(ssl->cert->signed_cert_timestamp_list)) ||
Adam Langley6f5f49f2016-11-18 11:05:00 -0800475 !CBB_flush(&extensions)) {
Steven Valdeza833c352016-11-01 13:39:36 -0400476 OPENSSL_PUT_ERROR(SSL, ERR_R_INTERNAL_ERROR);
David Benjamin81678aa2017-07-12 22:43:42 -0400477 return 0;
Steven Valdeza833c352016-11-01 13:39:36 -0400478 }
479 }
480
David Benjamin6e4fc332016-11-17 16:43:08 +0900481 if (hs->ocsp_stapling_requested &&
David Benjamin83a32122017-02-14 18:34:54 -0500482 ssl->cert->ocsp_response != NULL) {
Steven Valdeza833c352016-11-01 13:39:36 -0400483 CBB contents, ocsp_response;
484 if (!CBB_add_u16(&extensions, TLSEXT_TYPE_status_request) ||
485 !CBB_add_u16_length_prefixed(&extensions, &contents) ||
486 !CBB_add_u8(&contents, TLSEXT_STATUSTYPE_ocsp) ||
487 !CBB_add_u24_length_prefixed(&contents, &ocsp_response) ||
David Benjamin83a32122017-02-14 18:34:54 -0500488 !CBB_add_bytes(&ocsp_response,
489 CRYPTO_BUFFER_data(ssl->cert->ocsp_response),
490 CRYPTO_BUFFER_len(ssl->cert->ocsp_response)) ||
Adam Langley6f5f49f2016-11-18 11:05:00 -0800491 !CBB_flush(&extensions)) {
Steven Valdeza833c352016-11-01 13:39:36 -0400492 OPENSSL_PUT_ERROR(SSL, ERR_R_INTERNAL_ERROR);
David Benjamin81678aa2017-07-12 22:43:42 -0400493 return 0;
Steven Valdeza833c352016-11-01 13:39:36 -0400494 }
495 }
496
Adam Langley3a2b47a2017-01-24 13:59:42 -0800497 for (size_t i = 1; i < sk_CRYPTO_BUFFER_num(cert->chain); i++) {
498 CRYPTO_BUFFER *cert_buf = sk_CRYPTO_BUFFER_value(cert->chain, i);
Steven Valdeza833c352016-11-01 13:39:36 -0400499 CBB child;
500 if (!CBB_add_u24_length_prefixed(&certificate_list, &child) ||
Adam Langley3a2b47a2017-01-24 13:59:42 -0800501 !CBB_add_bytes(&child, CRYPTO_BUFFER_data(cert_buf),
502 CRYPTO_BUFFER_len(cert_buf)) ||
Steven Valdeza833c352016-11-01 13:39:36 -0400503 !CBB_add_u16(&certificate_list, 0 /* no extensions */)) {
504 OPENSSL_PUT_ERROR(SSL, ERR_R_INTERNAL_ERROR);
David Benjamin81678aa2017-07-12 22:43:42 -0400505 return 0;
Steven Valdeza833c352016-11-01 13:39:36 -0400506 }
507 }
508
David Benjamin81678aa2017-07-12 22:43:42 -0400509 return ssl_add_message_cbb(ssl, cbb.get());
Steven Valdez143e8b32016-07-11 13:19:03 -0400510}
511
David Benjamin44148742017-06-17 13:20:59 -0400512enum ssl_private_key_result_t tls13_add_certificate_verify(SSL_HANDSHAKE *hs) {
David Benjamin6e4fc332016-11-17 16:43:08 +0900513 SSL *const ssl = hs->ssl;
Steven Valdez143e8b32016-07-11 13:19:03 -0400514 uint16_t signature_algorithm;
David Benjaminf3c8f8d2016-11-17 17:20:47 +0900515 if (!tls1_choose_signature_algorithm(hs, &signature_algorithm)) {
David Benjamin81678aa2017-07-12 22:43:42 -0400516 return ssl_private_key_failure;
Steven Valdez143e8b32016-07-11 13:19:03 -0400517 }
David Benjamin81678aa2017-07-12 22:43:42 -0400518
David Benjamin86e95b82017-07-18 16:34:25 -0400519 ScopedCBB cbb;
David Benjamin81678aa2017-07-12 22:43:42 -0400520 CBB body;
521 if (!ssl->method->init_message(ssl, cbb.get(), &body,
Steven Valdez143e8b32016-07-11 13:19:03 -0400522 SSL3_MT_CERTIFICATE_VERIFY) ||
523 !CBB_add_u16(&body, signature_algorithm)) {
524 OPENSSL_PUT_ERROR(SSL, ERR_R_INTERNAL_ERROR);
David Benjamin81678aa2017-07-12 22:43:42 -0400525 return ssl_private_key_failure;
Steven Valdez143e8b32016-07-11 13:19:03 -0400526 }
527
528 /* Sign the digest. */
529 CBB child;
David Benjamin31b0c9b2017-07-20 14:49:15 -0400530 const size_t max_sig_len = EVP_PKEY_size(hs->local_pubkey.get());
Steven Valdez143e8b32016-07-11 13:19:03 -0400531 uint8_t *sig;
532 size_t sig_len;
533 if (!CBB_add_u16_length_prefixed(&body, &child) ||
534 !CBB_reserve(&child, &sig, max_sig_len)) {
535 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
David Benjamin81678aa2017-07-12 22:43:42 -0400536 return ssl_private_key_failure;
Steven Valdez143e8b32016-07-11 13:19:03 -0400537 }
538
David Benjamin81678aa2017-07-12 22:43:42 -0400539 uint8_t *msg = NULL;
540 size_t msg_len;
David Benjamin44148742017-06-17 13:20:59 -0400541 if (!tls13_get_cert_verify_signature_input(
542 hs, &msg, &msg_len,
543 ssl->server ? ssl_cert_verify_server : ssl_cert_verify_client)) {
544 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
David Benjamin81678aa2017-07-12 22:43:42 -0400545 return ssl_private_key_failure;
Steven Valdez143e8b32016-07-11 13:19:03 -0400546 }
David Benjamin86e95b82017-07-18 16:34:25 -0400547 UniquePtr<uint8_t> free_msg(msg);
Steven Valdez143e8b32016-07-11 13:19:03 -0400548
David Benjamin44148742017-06-17 13:20:59 -0400549 enum ssl_private_key_result_t sign_result = ssl_private_key_sign(
550 hs, sig, &sig_len, max_sig_len, signature_algorithm, msg, msg_len);
Steven Valdez143e8b32016-07-11 13:19:03 -0400551 if (sign_result != ssl_private_key_success) {
David Benjamin81678aa2017-07-12 22:43:42 -0400552 return sign_result;
Steven Valdez143e8b32016-07-11 13:19:03 -0400553 }
554
555 if (!CBB_did_write(&child, sig_len) ||
David Benjamin81678aa2017-07-12 22:43:42 -0400556 !ssl_add_message_cbb(ssl, cbb.get())) {
557 return ssl_private_key_failure;
Steven Valdez143e8b32016-07-11 13:19:03 -0400558 }
559
David Benjamin81678aa2017-07-12 22:43:42 -0400560 return ssl_private_key_success;
Steven Valdez143e8b32016-07-11 13:19:03 -0400561}
562
David Benjamin0f24bed2017-01-12 19:46:50 -0500563int tls13_add_finished(SSL_HANDSHAKE *hs) {
David Benjamin6e4fc332016-11-17 16:43:08 +0900564 SSL *const ssl = hs->ssl;
Steven Valdez143e8b32016-07-11 13:19:03 -0400565 size_t verify_data_len;
566 uint8_t verify_data[EVP_MAX_MD_SIZE];
567
David Benjamin6e4fc332016-11-17 16:43:08 +0900568 if (!tls13_finished_mac(hs, verify_data, &verify_data_len, ssl->server)) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400569 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
570 OPENSSL_PUT_ERROR(SSL, SSL_R_DIGEST_CHECK_FAILED);
571 return 0;
572 }
573
David Benjamin1386aad2017-07-19 23:57:40 -0400574 ScopedCBB cbb;
575 CBB body;
576 if (!ssl->method->init_message(ssl, cbb.get(), &body, SSL3_MT_FINISHED) ||
Steven Valdez143e8b32016-07-11 13:19:03 -0400577 !CBB_add_bytes(&body, verify_data, verify_data_len) ||
David Benjamin1386aad2017-07-19 23:57:40 -0400578 !ssl_add_message_cbb(ssl, cbb.get())) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400579 return 0;
580 }
581
582 return 1;
583}
Steven Valdez8e1c7be2016-07-26 12:39:22 -0400584
David Benjamin7934f082017-08-01 16:32:25 -0400585static int tls13_receive_key_update(SSL *ssl, const SSLMessage &msg) {
586 CBS body = msg.body;
Steven Valdezc4aa7272016-10-03 12:25:56 -0400587 uint8_t key_update_request;
David Benjamin7934f082017-08-01 16:32:25 -0400588 if (!CBS_get_u8(&body, &key_update_request) ||
589 CBS_len(&body) != 0 ||
Steven Valdezc4aa7272016-10-03 12:25:56 -0400590 (key_update_request != SSL_KEY_UPDATE_NOT_REQUESTED &&
591 key_update_request != SSL_KEY_UPDATE_REQUESTED)) {
Steven Valdez1dc53d22016-07-26 12:27:38 -0400592 OPENSSL_PUT_ERROR(SSL, SSL_R_DECODE_ERROR);
593 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
594 return 0;
595 }
596
David Benjaminbbba9392017-04-06 12:54:12 -0400597 if (!tls13_rotate_traffic_key(ssl, evp_aead_open)) {
598 return 0;
599 }
600
601 /* Acknowledge the KeyUpdate */
602 if (key_update_request == SSL_KEY_UPDATE_REQUESTED &&
603 !ssl->s3->key_update_pending) {
David Benjamin1386aad2017-07-19 23:57:40 -0400604 ScopedCBB cbb;
David Benjamin7934f082017-08-01 16:32:25 -0400605 CBB body_cbb;
606 if (!ssl->method->init_message(ssl, cbb.get(), &body_cbb,
607 SSL3_MT_KEY_UPDATE) ||
608 !CBB_add_u8(&body_cbb, SSL_KEY_UPDATE_NOT_REQUESTED) ||
David Benjamin1386aad2017-07-19 23:57:40 -0400609 !ssl_add_message_cbb(ssl, cbb.get()) ||
David Benjaminbbba9392017-04-06 12:54:12 -0400610 !tls13_rotate_traffic_key(ssl, evp_aead_seal)) {
David Benjaminbbba9392017-04-06 12:54:12 -0400611 return 0;
612 }
613
614 /* Suppress KeyUpdate acknowledgments until this change is written to the
615 * wire. This prevents us from accumulating write obligations when read and
616 * write progress at different rates. See draft-ietf-tls-tls13-18, section
617 * 4.5.3. */
618 ssl->s3->key_update_pending = 1;
619 }
620
621 return 1;
Steven Valdez1dc53d22016-07-26 12:27:38 -0400622}
623
David Benjamin7934f082017-08-01 16:32:25 -0400624int tls13_post_handshake(SSL *ssl, const SSLMessage &msg) {
625 if (msg.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
David Benjamin7934f082017-08-01 16:32:25 -0400633 return tls13_receive_key_update(ssl, msg);
Steven Valdez1dc53d22016-07-26 12:27:38 -0400634 }
635
Steven Valdez32635b82016-08-16 11:25:03 -0400636 ssl->s3->key_update_count = 0;
637
David Benjamin7934f082017-08-01 16:32:25 -0400638 if (msg.type == SSL3_MT_NEW_SESSION_TICKET && !ssl->server) {
639 return tls13_process_new_session_ticket(ssl, msg);
Steven Valdez8e1c7be2016-07-26 12:39:22 -0400640 }
641
Steven Valdez8e1c7be2016-07-26 12:39:22 -0400642 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_UNEXPECTED_MESSAGE);
643 OPENSSL_PUT_ERROR(SSL, SSL_R_UNEXPECTED_MESSAGE);
644 return 0;
645}
David Benjamin86e95b82017-07-18 16:34:25 -0400646
647} // namespace bssl