blob: 1c2e7f7545e8bd7ae3c625f9c6ba8ddcb8f33d08 [file] [log] [blame]
David Benjaminc895d6b2016-08-11 13:26:41 -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
Robert Sloanb6d070c2017-07-24 08:40:01 -070020#include <utility>
21
David Benjaminc895d6b2016-08-11 13:26:41 -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>
David Benjaminc895d6b2016-08-11 13:26:41 -040028
Steven Valdez909b19f2016-11-21 15:35:44 -050029#include "../crypto/internal.h"
David Benjaminc895d6b2016-08-11 13:26:41 -040030#include "internal.h"
31
32
Robert Sloanb6d070c2017-07-24 08:40:01 -070033namespace bssl {
34
David Benjaminf0c4a6c2016-08-11 13:26:41 -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;
David Benjaminc895d6b2016-08-11 13:26:41 -040039
Robert Sloan6d0d00e2017-03-27 07:13:07 -070040int tls13_handshake(SSL_HANDSHAKE *hs, int *out_early_return) {
David Benjamin1b249672016-12-06 18:25:50 -050041 SSL *const ssl = hs->ssl;
David Benjaminc895d6b2016-08-11 13:26:41 -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
49 case ssl_hs_flush:
50 case ssl_hs_flush_and_read_message: {
David Benjaminf31229b2017-01-25 14:08:15 -050051 int ret = ssl->method->flush_flight(ssl);
David Benjaminc895d6b2016-08-11 13:26:41 -040052 if (ret <= 0) {
David Benjaminc895d6b2016-08-11 13:26:41 -040053 return ret;
54 }
55 if (hs->wait != ssl_hs_flush_and_read_message) {
56 break;
57 }
David Benjaminc895d6b2016-08-11 13:26:41 -040058 hs->wait = ssl_hs_read_message;
Robert Sloanb6d070c2017-07-24 08:40:01 -070059 SSL_FALLTHROUGH;
David Benjaminc895d6b2016-08-11 13:26:41 -040060 }
61
62 case ssl_hs_read_message: {
Robert Sloan4d1ac502017-02-06 08:36:14 -080063 int ret = ssl->method->ssl_get_message(ssl);
David Benjaminc895d6b2016-08-11 13:26:41 -040064 if (ret <= 0) {
65 return ret;
66 }
67 break;
68 }
69
Robert Sloana12bf462017-07-17 07:08:26 -070070 case ssl_hs_read_change_cipher_spec: {
71 int ret = ssl->method->read_change_cipher_spec(ssl);
72 if (ret <= 0) {
73 return ret;
74 }
75 break;
76 }
77
Robert Sloan6d0d00e2017-03-27 07:13:07 -070078 case ssl_hs_read_end_of_early_data: {
79 if (ssl->s3->hs->can_early_read) {
80 /* While we are processing early data, the handshake returns early. */
81 *out_early_return = 1;
82 return 1;
83 }
84 hs->wait = ssl_hs_ok;
85 break;
86 }
87
David Benjaminc895d6b2016-08-11 13:26:41 -040088 case ssl_hs_x509_lookup:
89 ssl->rwstate = SSL_X509_LOOKUP;
90 hs->wait = ssl_hs_ok;
91 return -1;
92
Steven Valdez909b19f2016-11-21 15:35:44 -050093 case ssl_hs_channel_id_lookup:
94 ssl->rwstate = SSL_CHANNEL_ID_LOOKUP;
95 hs->wait = ssl_hs_ok;
96 return -1;
97
David Benjaminc895d6b2016-08-11 13:26:41 -040098 case ssl_hs_private_key_operation:
99 ssl->rwstate = SSL_PRIVATE_KEY_OPERATION;
100 hs->wait = ssl_hs_ok;
101 return -1;
102
Robert Sloan1c9db532017-03-13 08:03:59 -0700103 case ssl_hs_pending_ticket:
104 ssl->rwstate = SSL_PENDING_TICKET;
105 hs->wait = ssl_hs_ok;
106 return -1;
107
Robert Sloanb6d070c2017-07-24 08:40:01 -0700108 case ssl_hs_certificate_verify:
109 ssl->rwstate = SSL_CERTIFICATE_VERIFY;
110 hs->wait = ssl_hs_ok;
111 return -1;
112
Robert Sloane56da3e2017-06-26 08:26:42 -0700113 case ssl_hs_early_data_rejected:
114 ssl->rwstate = SSL_EARLY_DATA_REJECTED;
115 /* Cause |SSL_write| to start failing immediately. */
116 hs->can_early_write = 0;
117 return -1;
118
David Benjaminc895d6b2016-08-11 13:26:41 -0400119 case ssl_hs_ok:
120 break;
121 }
122
123 /* Run the state machine again. */
David Benjamin1b249672016-12-06 18:25:50 -0500124 hs->wait = hs->do_tls13_handshake(hs);
David Benjaminc895d6b2016-08-11 13:26:41 -0400125 if (hs->wait == ssl_hs_error) {
126 /* Don't loop around to avoid a stray |SSL_R_SSL_HANDSHAKE_FAILURE| the
127 * first time around. */
128 return -1;
129 }
130 if (hs->wait == ssl_hs_ok) {
131 /* The handshake has completed. */
132 return 1;
133 }
134
135 /* Otherwise, loop to the beginning and resolve what was blocking the
136 * handshake. */
137 }
138}
139
Steven Valdez909b19f2016-11-21 15:35:44 -0500140int tls13_get_cert_verify_signature_input(
Robert Sloan5d625782017-02-13 09:55:39 -0800141 SSL_HANDSHAKE *hs, uint8_t **out, size_t *out_len,
Steven Valdez909b19f2016-11-21 15:35:44 -0500142 enum ssl_cert_verify_context_t cert_verify_context) {
Robert Sloanb6d070c2017-07-24 08:40:01 -0700143 ScopedCBB cbb;
144 if (!CBB_init(cbb.get(), 64 + 33 + 1 + 2 * EVP_MAX_MD_SIZE)) {
145 OPENSSL_PUT_ERROR(SSL, ERR_R_MALLOC_FAILURE);
146 return 0;
David Benjaminc895d6b2016-08-11 13:26:41 -0400147 }
148
149 for (size_t i = 0; i < 64; i++) {
Robert Sloanb6d070c2017-07-24 08:40:01 -0700150 if (!CBB_add_u8(cbb.get(), 0x20)) {
151 OPENSSL_PUT_ERROR(SSL, ERR_R_MALLOC_FAILURE);
152 return 0;
David Benjaminc895d6b2016-08-11 13:26:41 -0400153 }
154 }
155
Steven Valdez909b19f2016-11-21 15:35:44 -0500156 const uint8_t *context;
157 size_t context_len;
158 if (cert_verify_context == ssl_cert_verify_server) {
David Benjaminc895d6b2016-08-11 13:26:41 -0400159 /* Include the NUL byte. */
160 static const char kContext[] = "TLS 1.3, server CertificateVerify";
Steven Valdez909b19f2016-11-21 15:35:44 -0500161 context = (const uint8_t *)kContext;
162 context_len = sizeof(kContext);
163 } else if (cert_verify_context == ssl_cert_verify_client) {
David Benjaminc895d6b2016-08-11 13:26:41 -0400164 static const char kContext[] = "TLS 1.3, client CertificateVerify";
Steven Valdez909b19f2016-11-21 15:35:44 -0500165 context = (const uint8_t *)kContext;
166 context_len = sizeof(kContext);
167 } else if (cert_verify_context == ssl_cert_verify_channel_id) {
168 static const char kContext[] = "TLS 1.3, Channel ID";
169 context = (const uint8_t *)kContext;
170 context_len = sizeof(kContext);
171 } else {
Robert Sloanb6d070c2017-07-24 08:40:01 -0700172 OPENSSL_PUT_ERROR(SSL, ERR_R_MALLOC_FAILURE);
173 return 0;
David Benjaminc895d6b2016-08-11 13:26:41 -0400174 }
175
Robert Sloanb6d070c2017-07-24 08:40:01 -0700176 if (!CBB_add_bytes(cbb.get(), context, context_len)) {
177 OPENSSL_PUT_ERROR(SSL, ERR_R_MALLOC_FAILURE);
178 return 0;
Steven Valdez909b19f2016-11-21 15:35:44 -0500179 }
180
181 uint8_t context_hash[EVP_MAX_MD_SIZE];
182 size_t context_hash_len;
Robert Sloanb6d070c2017-07-24 08:40:01 -0700183 if (!hs->transcript.GetHash(context_hash, &context_hash_len) ||
184 !CBB_add_bytes(cbb.get(), context_hash, context_hash_len) ||
185 !CBB_finish(cbb.get(), out, out_len)) {
186 OPENSSL_PUT_ERROR(SSL, ERR_R_MALLOC_FAILURE);
187 return 0;
David Benjaminc895d6b2016-08-11 13:26:41 -0400188 }
189
190 return 1;
David Benjaminc895d6b2016-08-11 13:26:41 -0400191}
192
Steven Valdeze7531f02016-12-14 13:29:57 -0500193int tls13_process_certificate(SSL_HANDSHAKE *hs, int allow_anonymous) {
194 SSL *const ssl = hs->ssl;
Steven Valdez909b19f2016-11-21 15:35:44 -0500195 CBS cbs, context, certificate_list;
David Benjaminc895d6b2016-08-11 13:26:41 -0400196 CBS_init(&cbs, ssl->init_msg, ssl->init_num);
197 if (!CBS_get_u8_length_prefixed(&cbs, &context) ||
Robert Sloanfe7cd212017-08-07 09:03:39 -0700198 CBS_len(&context) != 0 ||
199 !CBS_get_u24_length_prefixed(&cbs, &certificate_list) ||
200 CBS_len(&cbs) != 0) {
David Benjaminc895d6b2016-08-11 13:26:41 -0400201 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
Robert Sloanb6d070c2017-07-24 08:40:01 -0700206 UniquePtr<STACK_OF(CRYPTO_BUFFER)> certs(sk_CRYPTO_BUFFER_new_null());
207 if (!certs) {
Steven Valdez909b19f2016-11-21 15:35:44 -0500208 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
209 OPENSSL_PUT_ERROR(SSL, ERR_R_MALLOC_FAILURE);
Robert Sloanb6d070c2017-07-24 08:40:01 -0700210 return 0;
David Benjaminc895d6b2016-08-11 13:26:41 -0400211 }
212
Robert Sloanb6d070c2017-07-24 08:40:01 -0700213 const bool retain_sha256 =
214 ssl->server && ssl->retain_only_sha256_of_client_certs;
215 UniquePtr<EVP_PKEY> pkey;
Steven Valdez909b19f2016-11-21 15:35:44 -0500216 while (CBS_len(&certificate_list) > 0) {
217 CBS certificate, extensions;
218 if (!CBS_get_u24_length_prefixed(&certificate_list, &certificate) ||
Steven Valdeze7531f02016-12-14 13:29:57 -0500219 !CBS_get_u16_length_prefixed(&certificate_list, &extensions) ||
220 CBS_len(&certificate) == 0) {
Steven Valdez909b19f2016-11-21 15:35:44 -0500221 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
222 OPENSSL_PUT_ERROR(SSL, SSL_R_CERT_LENGTH_MISMATCH);
Robert Sloanb6d070c2017-07-24 08:40:01 -0700223 return 0;
Steven Valdez909b19f2016-11-21 15:35:44 -0500224 }
225
Robert Sloanb6d070c2017-07-24 08:40:01 -0700226 if (sk_CRYPTO_BUFFER_num(certs.get()) == 0) {
Steven Valdeze7531f02016-12-14 13:29:57 -0500227 pkey = ssl_cert_parse_pubkey(&certificate);
Robert Sloanb6d070c2017-07-24 08:40:01 -0700228 if (!pkey) {
Steven Valdeze7531f02016-12-14 13:29:57 -0500229 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
230 OPENSSL_PUT_ERROR(SSL, SSL_R_DECODE_ERROR);
Robert Sloanb6d070c2017-07-24 08:40:01 -0700231 return 0;
Steven Valdeze7531f02016-12-14 13:29:57 -0500232 }
233 /* TLS 1.3 always uses certificate keys for signing thus the correct
234 * keyUsage is enforced. */
235 if (!ssl_cert_check_digital_signature_key_usage(&certificate)) {
236 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_ILLEGAL_PARAMETER);
Robert Sloanb6d070c2017-07-24 08:40:01 -0700237 return 0;
Steven Valdeze7531f02016-12-14 13:29:57 -0500238 }
239
240 if (retain_sha256) {
241 /* Retain the hash of the leaf certificate if requested. */
242 SHA256(CBS_data(&certificate), CBS_len(&certificate),
Robert Sloana94fe052017-02-21 08:49:28 -0800243 hs->new_session->peer_sha256);
Steven Valdeze7531f02016-12-14 13:29:57 -0500244 }
Steven Valdez909b19f2016-11-21 15:35:44 -0500245 }
246
Robert Sloanfe7cd212017-08-07 09:03:39 -0700247 UniquePtr<CRYPTO_BUFFER> buf(
248 CRYPTO_BUFFER_new_from_CBS(&certificate, ssl->ctx->pool));
249 if (!buf ||
250 !PushToStack(certs.get(), std::move(buf))) {
Steven Valdez909b19f2016-11-21 15:35:44 -0500251 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
252 OPENSSL_PUT_ERROR(SSL, ERR_R_MALLOC_FAILURE);
Robert Sloanb6d070c2017-07-24 08:40:01 -0700253 return 0;
Steven Valdez909b19f2016-11-21 15:35:44 -0500254 }
255
256 /* Parse out the extensions. */
257 int have_status_request = 0, have_sct = 0;
258 CBS status_request, sct;
259 const SSL_EXTENSION_TYPE ext_types[] = {
260 {TLSEXT_TYPE_status_request, &have_status_request, &status_request},
261 {TLSEXT_TYPE_certificate_timestamp, &have_sct, &sct},
262 };
263
Robert Sloan5d625782017-02-13 09:55:39 -0800264 uint8_t alert = SSL_AD_DECODE_ERROR;
Steven Valdez909b19f2016-11-21 15:35:44 -0500265 if (!ssl_parse_extensions(&extensions, &alert, ext_types,
Robert Sloan69939df2017-01-09 10:53:07 -0800266 OPENSSL_ARRAY_SIZE(ext_types),
267 0 /* reject unknown */)) {
Steven Valdez909b19f2016-11-21 15:35:44 -0500268 ssl3_send_alert(ssl, SSL3_AL_FATAL, alert);
Robert Sloanb6d070c2017-07-24 08:40:01 -0700269 return 0;
Steven Valdez909b19f2016-11-21 15:35:44 -0500270 }
271
272 /* All Certificate extensions are parsed, but only the leaf extensions are
273 * stored. */
274 if (have_status_request) {
275 if (ssl->server || !ssl->ocsp_stapling_enabled) {
276 OPENSSL_PUT_ERROR(SSL, SSL_R_UNEXPECTED_EXTENSION);
277 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_UNSUPPORTED_EXTENSION);
Robert Sloanb6d070c2017-07-24 08:40:01 -0700278 return 0;
Steven Valdez909b19f2016-11-21 15:35:44 -0500279 }
280
281 uint8_t status_type;
282 CBS ocsp_response;
283 if (!CBS_get_u8(&status_request, &status_type) ||
284 status_type != TLSEXT_STATUSTYPE_ocsp ||
285 !CBS_get_u24_length_prefixed(&status_request, &ocsp_response) ||
286 CBS_len(&ocsp_response) == 0 ||
287 CBS_len(&status_request) != 0) {
288 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
Robert Sloanb6d070c2017-07-24 08:40:01 -0700289 return 0;
Steven Valdez909b19f2016-11-21 15:35:44 -0500290 }
291
Robert Sloanb6d070c2017-07-24 08:40:01 -0700292 if (sk_CRYPTO_BUFFER_num(certs.get()) == 1 &&
Robert Sloana94fe052017-02-21 08:49:28 -0800293 !CBS_stow(&ocsp_response, &hs->new_session->ocsp_response,
294 &hs->new_session->ocsp_response_length)) {
Steven Valdez909b19f2016-11-21 15:35:44 -0500295 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
Robert Sloanb6d070c2017-07-24 08:40:01 -0700296 return 0;
Steven Valdez909b19f2016-11-21 15:35:44 -0500297 }
298 }
299
300 if (have_sct) {
301 if (ssl->server || !ssl->signed_cert_timestamps_enabled) {
302 OPENSSL_PUT_ERROR(SSL, SSL_R_UNEXPECTED_EXTENSION);
303 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_UNSUPPORTED_EXTENSION);
Robert Sloanb6d070c2017-07-24 08:40:01 -0700304 return 0;
Steven Valdez909b19f2016-11-21 15:35:44 -0500305 }
306
307 if (!ssl_is_sct_list_valid(&sct)) {
308 OPENSSL_PUT_ERROR(SSL, SSL_R_ERROR_PARSING_EXTENSION);
309 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
Robert Sloanb6d070c2017-07-24 08:40:01 -0700310 return 0;
Steven Valdez909b19f2016-11-21 15:35:44 -0500311 }
312
Robert Sloanb6d070c2017-07-24 08:40:01 -0700313 if (sk_CRYPTO_BUFFER_num(certs.get()) == 1 &&
Robert Sloana94fe052017-02-21 08:49:28 -0800314 !CBS_stow(
315 &sct, &hs->new_session->tlsext_signed_cert_timestamp_list,
316 &hs->new_session->tlsext_signed_cert_timestamp_list_length)) {
Steven Valdez909b19f2016-11-21 15:35:44 -0500317 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
Robert Sloanb6d070c2017-07-24 08:40:01 -0700318 return 0;
Steven Valdez909b19f2016-11-21 15:35:44 -0500319 }
320 }
321 }
322
Robert Sloanfe7cd212017-08-07 09:03:39 -0700323 /* 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();
David Benjaminc895d6b2016-08-11 13:26:41 -0400327 }
328
Robert Sloanb6d070c2017-07-24 08:40:01 -0700329 hs->peer_pubkey = std::move(pkey);
Steven Valdeze7531f02016-12-14 13:29:57 -0500330
Robert Sloana94fe052017-02-21 08:49:28 -0800331 sk_CRYPTO_BUFFER_pop_free(hs->new_session->certs, CRYPTO_BUFFER_free);
Robert Sloanb6d070c2017-07-24 08:40:01 -0700332 hs->new_session->certs = certs.release();
Steven Valdeze7531f02016-12-14 13:29:57 -0500333
Robert Sloanb6d070c2017-07-24 08:40:01 -0700334 if (!ssl->ctx->x509_method->session_cache_objects(hs->new_session.get())) {
Steven Valdeze7531f02016-12-14 13:29:57 -0500335 OPENSSL_PUT_ERROR(SSL, SSL_R_DECODE_ERROR);
336 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
Robert Sloanb6d070c2017-07-24 08:40:01 -0700337 return 0;
Steven Valdeze7531f02016-12-14 13:29:57 -0500338 }
339
Robert Sloana94fe052017-02-21 08:49:28 -0800340 if (sk_CRYPTO_BUFFER_num(hs->new_session->certs) == 0) {
David Benjaminc895d6b2016-08-11 13:26:41 -0400341 if (!allow_anonymous) {
342 OPENSSL_PUT_ERROR(SSL, SSL_R_PEER_DID_NOT_RETURN_A_CERTIFICATE);
David Benjamin95add822016-10-19 01:09:12 -0400343 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_CERTIFICATE_REQUIRED);
Robert Sloanb6d070c2017-07-24 08:40:01 -0700344 return 0;
David Benjaminc895d6b2016-08-11 13:26:41 -0400345 }
346
David Benjaminf0c4a6c2016-08-11 13:26:41 -0400347 /* OpenSSL returns X509_V_OK when no certificates are requested. This is
348 * classed by them as a bug, but it's assumed by at least NGINX. */
Robert Sloana94fe052017-02-21 08:49:28 -0800349 hs->new_session->verify_result = X509_V_OK;
David Benjaminf0c4a6c2016-08-11 13:26:41 -0400350
David Benjaminc895d6b2016-08-11 13:26:41 -0400351 /* No certificate, so nothing more to do. */
Robert Sloanb6d070c2017-07-24 08:40:01 -0700352 return 1;
David Benjaminc895d6b2016-08-11 13:26:41 -0400353 }
354
Robert Sloana94fe052017-02-21 08:49:28 -0800355 hs->new_session->peer_sha256_valid = retain_sha256;
Robert Sloanb6d070c2017-07-24 08:40:01 -0700356 return 1;
David Benjaminc895d6b2016-08-11 13:26:41 -0400357}
358
Steven Valdeze7531f02016-12-14 13:29:57 -0500359int tls13_process_certificate_verify(SSL_HANDSHAKE *hs) {
360 SSL *const ssl = hs->ssl;
Steven Valdeze7531f02016-12-14 13:29:57 -0500361 if (hs->peer_pubkey == NULL) {
Robert Sloana12bf462017-07-17 07:08:26 -0700362 OPENSSL_PUT_ERROR(SSL, ERR_R_INTERNAL_ERROR);
363 return 0;
David Benjaminc895d6b2016-08-11 13:26:41 -0400364 }
365
366 CBS cbs, signature;
367 uint16_t signature_algorithm;
368 CBS_init(&cbs, ssl->init_msg, ssl->init_num);
369 if (!CBS_get_u16(&cbs, &signature_algorithm) ||
370 !CBS_get_u16_length_prefixed(&cbs, &signature) ||
371 CBS_len(&cbs) != 0) {
372 OPENSSL_PUT_ERROR(SSL, SSL_R_DECODE_ERROR);
373 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
Robert Sloana12bf462017-07-17 07:08:26 -0700374 return 0;
David Benjaminc895d6b2016-08-11 13:26:41 -0400375 }
376
Robert Sloane56da3e2017-06-26 08:26:42 -0700377 uint8_t alert = SSL_AD_DECODE_ERROR;
378 if (!tls12_check_peer_sigalg(ssl, &alert, signature_algorithm)) {
379 ssl3_send_alert(ssl, SSL3_AL_FATAL, alert);
Robert Sloana12bf462017-07-17 07:08:26 -0700380 return 0;
David Benjaminc895d6b2016-08-11 13:26:41 -0400381 }
Robert Sloana94fe052017-02-21 08:49:28 -0800382 hs->new_session->peer_signature_algorithm = signature_algorithm;
David Benjaminc895d6b2016-08-11 13:26:41 -0400383
Robert Sloana12bf462017-07-17 07:08:26 -0700384 uint8_t *msg = NULL;
385 size_t msg_len;
Steven Valdez909b19f2016-11-21 15:35:44 -0500386 if (!tls13_get_cert_verify_signature_input(
Robert Sloan5d625782017-02-13 09:55:39 -0800387 hs, &msg, &msg_len,
Steven Valdez909b19f2016-11-21 15:35:44 -0500388 ssl->server ? ssl_cert_verify_client : ssl_cert_verify_server)) {
David Benjaminc895d6b2016-08-11 13:26:41 -0400389 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
Robert Sloana12bf462017-07-17 07:08:26 -0700390 return 0;
David Benjaminc895d6b2016-08-11 13:26:41 -0400391 }
Robert Sloanb6d070c2017-07-24 08:40:01 -0700392 UniquePtr<uint8_t> free_msg(msg);
David Benjaminc895d6b2016-08-11 13:26:41 -0400393
Robert Sloanb6d070c2017-07-24 08:40:01 -0700394 int sig_ok = ssl_public_key_verify(ssl, CBS_data(&signature),
395 CBS_len(&signature), signature_algorithm,
396 hs->peer_pubkey.get(), msg, msg_len);
David Benjaminf0c4a6c2016-08-11 13:26:41 -0400397#if defined(BORINGSSL_UNSAFE_FUZZER_MODE)
398 sig_ok = 1;
399 ERR_clear_error();
400#endif
David Benjaminc895d6b2016-08-11 13:26:41 -0400401 if (!sig_ok) {
402 OPENSSL_PUT_ERROR(SSL, SSL_R_BAD_SIGNATURE);
403 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECRYPT_ERROR);
Robert Sloana12bf462017-07-17 07:08:26 -0700404 return 0;
David Benjaminc895d6b2016-08-11 13:26:41 -0400405 }
406
Robert Sloana12bf462017-07-17 07:08:26 -0700407 return 1;
David Benjaminc895d6b2016-08-11 13:26:41 -0400408}
409
Robert Sloan6d0d00e2017-03-27 07:13:07 -0700410int tls13_process_finished(SSL_HANDSHAKE *hs, int use_saved_value) {
David Benjamin1b249672016-12-06 18:25:50 -0500411 SSL *const ssl = hs->ssl;
Robert Sloan6d0d00e2017-03-27 07:13:07 -0700412 uint8_t verify_data_buf[EVP_MAX_MD_SIZE];
413 const uint8_t *verify_data;
David Benjaminc895d6b2016-08-11 13:26:41 -0400414 size_t verify_data_len;
Robert Sloan6d0d00e2017-03-27 07:13:07 -0700415 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;
David Benjaminc895d6b2016-08-11 13:26:41 -0400425 }
426
David Benjaminf0c4a6c2016-08-11 13:26:41 -0400427 int finished_ok =
428 ssl->init_num == verify_data_len &&
429 CRYPTO_memcmp(verify_data, ssl->init_msg, verify_data_len) == 0;
430#if defined(BORINGSSL_UNSAFE_FUZZER_MODE)
431 finished_ok = 1;
432#endif
433 if (!finished_ok) {
David Benjaminc895d6b2016-08-11 13:26:41 -0400434 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECRYPT_ERROR);
435 OPENSSL_PUT_ERROR(SSL, SSL_R_DIGEST_CHECK_FAILED);
436 return 0;
437 }
438
439 return 1;
440}
441
Robert Sloan4d1ac502017-02-06 08:36:14 -0800442int tls13_add_certificate(SSL_HANDSHAKE *hs) {
David Benjamin1b249672016-12-06 18:25:50 -0500443 SSL *const ssl = hs->ssl;
Robert Sloanb6d070c2017-07-24 08:40:01 -0700444 ScopedCBB cbb;
Robert Sloana12bf462017-07-17 07:08:26 -0700445 CBB body, certificate_list;
446 if (!ssl->method->init_message(ssl, cbb.get(), &body, SSL3_MT_CERTIFICATE) ||
David Benjaminf0c4a6c2016-08-11 13:26:41 -0400447 /* The request context is always empty in the handshake. */
448 !CBB_add_u8(&body, 0) ||
Steven Valdez909b19f2016-11-21 15:35:44 -0500449 !CBB_add_u24_length_prefixed(&body, &certificate_list)) {
450 OPENSSL_PUT_ERROR(SSL, ERR_R_INTERNAL_ERROR);
Robert Sloana12bf462017-07-17 07:08:26 -0700451 return 0;
Steven Valdez909b19f2016-11-21 15:35:44 -0500452 }
453
454 if (!ssl_has_certificate(ssl)) {
Robert Sloana12bf462017-07-17 07:08:26 -0700455 return ssl_add_message_cbb(ssl, cbb.get());
Steven Valdez909b19f2016-11-21 15:35:44 -0500456 }
457
458 CERT *cert = ssl->cert;
Robert Sloan4d1ac502017-02-06 08:36:14 -0800459 CRYPTO_BUFFER *leaf_buf = sk_CRYPTO_BUFFER_value(cert->chain, 0);
Steven Valdez909b19f2016-11-21 15:35:44 -0500460 CBB leaf, extensions;
461 if (!CBB_add_u24_length_prefixed(&certificate_list, &leaf) ||
Robert Sloan4d1ac502017-02-06 08:36:14 -0800462 !CBB_add_bytes(&leaf, CRYPTO_BUFFER_data(leaf_buf),
463 CRYPTO_BUFFER_len(leaf_buf)) ||
Steven Valdez909b19f2016-11-21 15:35:44 -0500464 !CBB_add_u16_length_prefixed(&certificate_list, &extensions)) {
465 OPENSSL_PUT_ERROR(SSL, ERR_R_INTERNAL_ERROR);
Robert Sloana12bf462017-07-17 07:08:26 -0700466 return 0;
Steven Valdez909b19f2016-11-21 15:35:44 -0500467 }
468
Robert Sloana94fe052017-02-21 08:49:28 -0800469 if (hs->scts_requested && ssl->cert->signed_cert_timestamp_list != NULL) {
Steven Valdez909b19f2016-11-21 15:35:44 -0500470 CBB contents;
471 if (!CBB_add_u16(&extensions, TLSEXT_TYPE_certificate_timestamp) ||
472 !CBB_add_u16_length_prefixed(&extensions, &contents) ||
Robert Sloana94fe052017-02-21 08:49:28 -0800473 !CBB_add_bytes(
474 &contents,
475 CRYPTO_BUFFER_data(ssl->cert->signed_cert_timestamp_list),
476 CRYPTO_BUFFER_len(ssl->cert->signed_cert_timestamp_list)) ||
Steven Valdez909b19f2016-11-21 15:35:44 -0500477 !CBB_flush(&extensions)) {
478 OPENSSL_PUT_ERROR(SSL, ERR_R_INTERNAL_ERROR);
Robert Sloana12bf462017-07-17 07:08:26 -0700479 return 0;
Steven Valdez909b19f2016-11-21 15:35:44 -0500480 }
481 }
482
David Benjamin1b249672016-12-06 18:25:50 -0500483 if (hs->ocsp_stapling_requested &&
Robert Sloana94fe052017-02-21 08:49:28 -0800484 ssl->cert->ocsp_response != NULL) {
Steven Valdez909b19f2016-11-21 15:35:44 -0500485 CBB contents, ocsp_response;
486 if (!CBB_add_u16(&extensions, TLSEXT_TYPE_status_request) ||
487 !CBB_add_u16_length_prefixed(&extensions, &contents) ||
488 !CBB_add_u8(&contents, TLSEXT_STATUSTYPE_ocsp) ||
489 !CBB_add_u24_length_prefixed(&contents, &ocsp_response) ||
Robert Sloana94fe052017-02-21 08:49:28 -0800490 !CBB_add_bytes(&ocsp_response,
491 CRYPTO_BUFFER_data(ssl->cert->ocsp_response),
492 CRYPTO_BUFFER_len(ssl->cert->ocsp_response)) ||
Steven Valdez909b19f2016-11-21 15:35:44 -0500493 !CBB_flush(&extensions)) {
494 OPENSSL_PUT_ERROR(SSL, ERR_R_INTERNAL_ERROR);
Robert Sloana12bf462017-07-17 07:08:26 -0700495 return 0;
Steven Valdez909b19f2016-11-21 15:35:44 -0500496 }
497 }
498
Robert Sloan4d1ac502017-02-06 08:36:14 -0800499 for (size_t i = 1; i < sk_CRYPTO_BUFFER_num(cert->chain); i++) {
500 CRYPTO_BUFFER *cert_buf = sk_CRYPTO_BUFFER_value(cert->chain, i);
Steven Valdez909b19f2016-11-21 15:35:44 -0500501 CBB child;
502 if (!CBB_add_u24_length_prefixed(&certificate_list, &child) ||
Robert Sloan4d1ac502017-02-06 08:36:14 -0800503 !CBB_add_bytes(&child, CRYPTO_BUFFER_data(cert_buf),
504 CRYPTO_BUFFER_len(cert_buf)) ||
Steven Valdez909b19f2016-11-21 15:35:44 -0500505 !CBB_add_u16(&certificate_list, 0 /* no extensions */)) {
506 OPENSSL_PUT_ERROR(SSL, ERR_R_INTERNAL_ERROR);
Robert Sloana12bf462017-07-17 07:08:26 -0700507 return 0;
Steven Valdez909b19f2016-11-21 15:35:44 -0500508 }
509 }
510
Robert Sloana12bf462017-07-17 07:08:26 -0700511 return ssl_add_message_cbb(ssl, cbb.get());
David Benjaminc895d6b2016-08-11 13:26:41 -0400512}
513
Robert Sloane56da3e2017-06-26 08:26:42 -0700514enum ssl_private_key_result_t tls13_add_certificate_verify(SSL_HANDSHAKE *hs) {
David Benjamin1b249672016-12-06 18:25:50 -0500515 SSL *const ssl = hs->ssl;
David Benjaminc895d6b2016-08-11 13:26:41 -0400516 uint16_t signature_algorithm;
David Benjamin1b249672016-12-06 18:25:50 -0500517 if (!tls1_choose_signature_algorithm(hs, &signature_algorithm)) {
Robert Sloana12bf462017-07-17 07:08:26 -0700518 return ssl_private_key_failure;
David Benjaminc895d6b2016-08-11 13:26:41 -0400519 }
Robert Sloana12bf462017-07-17 07:08:26 -0700520
Robert Sloanb6d070c2017-07-24 08:40:01 -0700521 ScopedCBB cbb;
Robert Sloana12bf462017-07-17 07:08:26 -0700522 CBB body;
523 if (!ssl->method->init_message(ssl, cbb.get(), &body,
David Benjaminc895d6b2016-08-11 13:26:41 -0400524 SSL3_MT_CERTIFICATE_VERIFY) ||
525 !CBB_add_u16(&body, signature_algorithm)) {
526 OPENSSL_PUT_ERROR(SSL, ERR_R_INTERNAL_ERROR);
Robert Sloana12bf462017-07-17 07:08:26 -0700527 return ssl_private_key_failure;
David Benjaminc895d6b2016-08-11 13:26:41 -0400528 }
529
530 /* Sign the digest. */
531 CBB child;
Robert Sloanb6d070c2017-07-24 08:40:01 -0700532 const size_t max_sig_len = EVP_PKEY_size(hs->local_pubkey.get());
David Benjaminc895d6b2016-08-11 13:26:41 -0400533 uint8_t *sig;
534 size_t sig_len;
535 if (!CBB_add_u16_length_prefixed(&body, &child) ||
536 !CBB_reserve(&child, &sig, max_sig_len)) {
537 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
Robert Sloana12bf462017-07-17 07:08:26 -0700538 return ssl_private_key_failure;
David Benjaminc895d6b2016-08-11 13:26:41 -0400539 }
540
Robert Sloana12bf462017-07-17 07:08:26 -0700541 uint8_t *msg = NULL;
542 size_t msg_len;
Robert Sloane56da3e2017-06-26 08:26:42 -0700543 if (!tls13_get_cert_verify_signature_input(
544 hs, &msg, &msg_len,
545 ssl->server ? ssl_cert_verify_server : ssl_cert_verify_client)) {
546 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
Robert Sloana12bf462017-07-17 07:08:26 -0700547 return ssl_private_key_failure;
David Benjaminc895d6b2016-08-11 13:26:41 -0400548 }
Robert Sloanb6d070c2017-07-24 08:40:01 -0700549 UniquePtr<uint8_t> free_msg(msg);
David Benjaminc895d6b2016-08-11 13:26:41 -0400550
Robert Sloane56da3e2017-06-26 08:26:42 -0700551 enum ssl_private_key_result_t sign_result = ssl_private_key_sign(
552 hs, sig, &sig_len, max_sig_len, signature_algorithm, msg, msg_len);
David Benjaminc895d6b2016-08-11 13:26:41 -0400553 if (sign_result != ssl_private_key_success) {
Robert Sloana12bf462017-07-17 07:08:26 -0700554 return sign_result;
David Benjaminc895d6b2016-08-11 13:26:41 -0400555 }
556
557 if (!CBB_did_write(&child, sig_len) ||
Robert Sloana12bf462017-07-17 07:08:26 -0700558 !ssl_add_message_cbb(ssl, cbb.get())) {
559 return ssl_private_key_failure;
David Benjaminc895d6b2016-08-11 13:26:41 -0400560 }
561
Robert Sloana12bf462017-07-17 07:08:26 -0700562 return ssl_private_key_success;
David Benjaminc895d6b2016-08-11 13:26:41 -0400563}
564
Robert Sloan4d1ac502017-02-06 08:36:14 -0800565int tls13_add_finished(SSL_HANDSHAKE *hs) {
David Benjamin1b249672016-12-06 18:25:50 -0500566 SSL *const ssl = hs->ssl;
David Benjaminc895d6b2016-08-11 13:26:41 -0400567 size_t verify_data_len;
568 uint8_t verify_data[EVP_MAX_MD_SIZE];
569
David Benjamin1b249672016-12-06 18:25:50 -0500570 if (!tls13_finished_mac(hs, verify_data, &verify_data_len, ssl->server)) {
David Benjaminc895d6b2016-08-11 13:26:41 -0400571 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
572 OPENSSL_PUT_ERROR(SSL, SSL_R_DIGEST_CHECK_FAILED);
573 return 0;
574 }
575
Robert Sloanb6d070c2017-07-24 08:40:01 -0700576 ScopedCBB cbb;
577 CBB body;
578 if (!ssl->method->init_message(ssl, cbb.get(), &body, SSL3_MT_FINISHED) ||
David Benjaminc895d6b2016-08-11 13:26:41 -0400579 !CBB_add_bytes(&body, verify_data, verify_data_len) ||
Robert Sloanb6d070c2017-07-24 08:40:01 -0700580 !ssl_add_message_cbb(ssl, cbb.get())) {
David Benjaminc895d6b2016-08-11 13:26:41 -0400581 return 0;
582 }
583
584 return 1;
585}
586
587static int tls13_receive_key_update(SSL *ssl) {
David Benjamin95add822016-10-19 01:09:12 -0400588 CBS cbs;
589 uint8_t key_update_request;
590 CBS_init(&cbs, ssl->init_msg, ssl->init_num);
591 if (!CBS_get_u8(&cbs, &key_update_request) ||
592 CBS_len(&cbs) != 0 ||
593 (key_update_request != SSL_KEY_UPDATE_NOT_REQUESTED &&
594 key_update_request != SSL_KEY_UPDATE_REQUESTED)) {
David Benjaminc895d6b2016-08-11 13:26:41 -0400595 OPENSSL_PUT_ERROR(SSL, SSL_R_DECODE_ERROR);
596 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
597 return 0;
598 }
599
Robert Sloan572a4e22017-04-17 10:52:19 -0700600 if (!tls13_rotate_traffic_key(ssl, evp_aead_open)) {
601 return 0;
602 }
603
604 /* Acknowledge the KeyUpdate */
605 if (key_update_request == SSL_KEY_UPDATE_REQUESTED &&
606 !ssl->s3->key_update_pending) {
Robert Sloanb6d070c2017-07-24 08:40:01 -0700607 ScopedCBB cbb;
608 CBB body;
609 if (!ssl->method->init_message(ssl, cbb.get(), &body, SSL3_MT_KEY_UPDATE) ||
Robert Sloan572a4e22017-04-17 10:52:19 -0700610 !CBB_add_u8(&body, SSL_KEY_UPDATE_NOT_REQUESTED) ||
Robert Sloanb6d070c2017-07-24 08:40:01 -0700611 !ssl_add_message_cbb(ssl, cbb.get()) ||
Robert Sloan572a4e22017-04-17 10:52:19 -0700612 !tls13_rotate_traffic_key(ssl, evp_aead_seal)) {
Robert Sloan572a4e22017-04-17 10:52:19 -0700613 return 0;
614 }
615
616 /* Suppress KeyUpdate acknowledgments until this change is written to the
617 * wire. This prevents us from accumulating write obligations when read and
618 * write progress at different rates. See draft-ietf-tls-tls13-18, section
619 * 4.5.3. */
620 ssl->s3->key_update_pending = 1;
621 }
622
623 return 1;
David Benjaminc895d6b2016-08-11 13:26:41 -0400624}
625
626int tls13_post_handshake(SSL *ssl) {
627 if (ssl->s3->tmp.message_type == SSL3_MT_KEY_UPDATE) {
David Benjaminf0c4a6c2016-08-11 13:26:41 -0400628 ssl->s3->key_update_count++;
629 if (ssl->s3->key_update_count > kMaxKeyUpdates) {
630 OPENSSL_PUT_ERROR(SSL, SSL_R_TOO_MANY_KEY_UPDATES);
631 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_UNEXPECTED_MESSAGE);
632 return 0;
633 }
634
David Benjaminc895d6b2016-08-11 13:26:41 -0400635 return tls13_receive_key_update(ssl);
636 }
637
David Benjaminf0c4a6c2016-08-11 13:26:41 -0400638 ssl->s3->key_update_count = 0;
639
David Benjaminc895d6b2016-08-11 13:26:41 -0400640 if (ssl->s3->tmp.message_type == SSL3_MT_NEW_SESSION_TICKET &&
641 !ssl->server) {
642 return tls13_process_new_session_ticket(ssl);
643 }
644
David Benjaminc895d6b2016-08-11 13:26:41 -0400645 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_UNEXPECTED_MESSAGE);
646 OPENSSL_PUT_ERROR(SSL, SSL_R_UNEXPECTED_MESSAGE);
647 return 0;
648}
Robert Sloanb6d070c2017-07-24 08:40:01 -0700649
650} // namespace bssl