blob: 17f7161e7fed59960d55ed6b11a1c3bdcd4229ce [file] [log] [blame]
Steven Valdez143e8b32016-07-11 13:19:03 -04001/* Copyright (c) 2016, Google Inc.
2 *
3 * Permission to use, copy, modify, and/or distribute this software for any
4 * purpose with or without fee is hereby granted, provided that the above
5 * copyright notice and this permission notice appear in all copies.
6 *
7 * THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
8 * WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
9 * MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY
10 * SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
11 * WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN ACTION
12 * OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF OR IN
13 * CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE. */
14
15#include <openssl/ssl.h>
16
17#include <assert.h>
18#include <string.h>
19
20#include <openssl/bytestring.h>
21#include <openssl/err.h>
22#include <openssl/hkdf.h>
23#include <openssl/mem.h>
24#include <openssl/stack.h>
25#include <openssl/x509.h>
26#include <openssl/x509v3.h>
27
David Benjaminffb11072016-11-13 10:32:10 +090028#include "../crypto/internal.h"
Steven Valdez143e8b32016-07-11 13:19:03 -040029#include "internal.h"
30
31
Steven Valdez32635b82016-08-16 11:25:03 -040032/* kMaxKeyUpdates is the number of consecutive KeyUpdates that will be
33 * processed. Without this limit an attacker could force unbounded processing
34 * without being able to return application data. */
35static const uint8_t kMaxKeyUpdates = 32;
36
Steven Valdez143e8b32016-07-11 13:19:03 -040037int tls13_handshake(SSL *ssl) {
38 SSL_HANDSHAKE *hs = ssl->s3->hs;
39
40 for (;;) {
41 /* Resolve the operation the handshake was waiting on. */
42 switch (hs->wait) {
43 case ssl_hs_error:
44 OPENSSL_PUT_ERROR(SSL, SSL_R_SSL_HANDSHAKE_FAILURE);
45 return -1;
46
David Benjaminf2401eb2016-07-18 22:25:05 +020047 case ssl_hs_flush:
48 case ssl_hs_flush_and_read_message: {
49 int ret = BIO_flush(ssl->wbio);
50 if (ret <= 0) {
51 ssl->rwstate = SSL_WRITING;
52 return ret;
53 }
54 if (hs->wait != ssl_hs_flush_and_read_message) {
55 break;
56 }
David Benjamin613fe3b2016-07-22 17:39:29 +020057 ssl->method->expect_flight(ssl);
David Benjaminf2401eb2016-07-18 22:25:05 +020058 hs->wait = ssl_hs_read_message;
59 /* Fall-through. */
60 }
61
Steven Valdez143e8b32016-07-11 13:19:03 -040062 case ssl_hs_read_message: {
63 int ret = ssl->method->ssl_get_message(ssl, -1, ssl_dont_hash_message);
64 if (ret <= 0) {
65 return ret;
66 }
67 break;
68 }
69
70 case ssl_hs_write_message: {
71 int ret = ssl->method->write_message(ssl);
72 if (ret <= 0) {
73 return ret;
74 }
75 break;
76 }
77
Steven Valdez143e8b32016-07-11 13:19:03 -040078 case ssl_hs_x509_lookup:
79 ssl->rwstate = SSL_X509_LOOKUP;
80 hs->wait = ssl_hs_ok;
81 return -1;
82
Nick Harper60a85cb2016-09-23 16:25:11 -070083 case ssl_hs_channel_id_lookup:
84 ssl->rwstate = SSL_CHANNEL_ID_LOOKUP;
85 hs->wait = ssl_hs_ok;
86 return -1;
87
Steven Valdez143e8b32016-07-11 13:19:03 -040088 case ssl_hs_private_key_operation:
89 ssl->rwstate = SSL_PRIVATE_KEY_OPERATION;
90 hs->wait = ssl_hs_ok;
91 return -1;
92
93 case ssl_hs_ok:
94 break;
95 }
96
97 /* Run the state machine again. */
98 hs->wait = hs->do_handshake(ssl);
99 if (hs->wait == ssl_hs_error) {
100 /* Don't loop around to avoid a stray |SSL_R_SSL_HANDSHAKE_FAILURE| the
101 * first time around. */
102 return -1;
103 }
104 if (hs->wait == ssl_hs_ok) {
105 /* The handshake has completed. */
106 return 1;
107 }
108
109 /* Otherwise, loop to the beginning and resolve what was blocking the
110 * handshake. */
111 }
112}
113
Nick Harper60a85cb2016-09-23 16:25:11 -0700114int tls13_get_cert_verify_signature_input(
115 SSL *ssl, uint8_t **out, size_t *out_len,
116 enum ssl_cert_verify_context_t cert_verify_context) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400117 CBB cbb;
118 if (!CBB_init(&cbb, 64 + 33 + 1 + 2 * EVP_MAX_MD_SIZE)) {
119 goto err;
120 }
121
122 for (size_t i = 0; i < 64; i++) {
123 if (!CBB_add_u8(&cbb, 0x20)) {
124 goto err;
125 }
126 }
127
Nick Harper60a85cb2016-09-23 16:25:11 -0700128 const uint8_t *context;
129 size_t context_len;
130 if (cert_verify_context == ssl_cert_verify_server) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400131 /* Include the NUL byte. */
132 static const char kContext[] = "TLS 1.3, server CertificateVerify";
Nick Harper60a85cb2016-09-23 16:25:11 -0700133 context = (const uint8_t *)kContext;
134 context_len = sizeof(kContext);
135 } else if (cert_verify_context == ssl_cert_verify_client) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400136 static const char kContext[] = "TLS 1.3, client CertificateVerify";
Nick Harper60a85cb2016-09-23 16:25:11 -0700137 context = (const uint8_t *)kContext;
138 context_len = sizeof(kContext);
139 } else if (cert_verify_context == ssl_cert_verify_channel_id) {
140 static const char kContext[] = "TLS 1.3, Channel ID";
141 context = (const uint8_t *)kContext;
142 context_len = sizeof(kContext);
143 } else {
144 goto err;
145 }
146
147 if (!CBB_add_bytes(&cbb, context, context_len)) {
148 goto err;
Steven Valdez143e8b32016-07-11 13:19:03 -0400149 }
150
Steven Valdeza833c352016-11-01 13:39:36 -0400151 uint8_t context_hash[EVP_MAX_MD_SIZE];
152 size_t context_hash_len;
153 if (!tls13_get_context_hash(ssl, context_hash, &context_hash_len) ||
154 !CBB_add_bytes(&cbb, context_hash, context_hash_len) ||
Steven Valdez143e8b32016-07-11 13:19:03 -0400155 !CBB_finish(&cbb, out, out_len)) {
156 goto err;
157 }
158
159 return 1;
160
161err:
162 OPENSSL_PUT_ERROR(SSL, ERR_R_MALLOC_FAILURE);
163 CBB_cleanup(&cbb);
164 return 0;
165}
166
David Benjamin4087df92016-08-01 20:16:31 -0400167int tls13_process_certificate(SSL *ssl, int allow_anonymous) {
Steven Valdeza833c352016-11-01 13:39:36 -0400168 CBS cbs, context, certificate_list;
Steven Valdez143e8b32016-07-11 13:19:03 -0400169 CBS_init(&cbs, ssl->init_msg, ssl->init_num);
170 if (!CBS_get_u8_length_prefixed(&cbs, &context) ||
171 CBS_len(&context) != 0) {
172 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
173 OPENSSL_PUT_ERROR(SSL, SSL_R_DECODE_ERROR);
174 return 0;
175 }
176
David Benjamin4087df92016-08-01 20:16:31 -0400177 const int retain_sha256 =
David Benjaminbbaf3672016-11-17 10:53:09 +0900178 ssl->server && ssl->retain_only_sha256_of_client_certs;
Steven Valdez143e8b32016-07-11 13:19:03 -0400179 int ret = 0;
Steven Valdeza833c352016-11-01 13:39:36 -0400180
181 STACK_OF(X509) *chain = sk_X509_new_null();
Steven Valdez143e8b32016-07-11 13:19:03 -0400182 if (chain == NULL) {
Steven Valdeza833c352016-11-01 13:39:36 -0400183 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
184 OPENSSL_PUT_ERROR(SSL, ERR_R_MALLOC_FAILURE);
Steven Valdez143e8b32016-07-11 13:19:03 -0400185 goto err;
186 }
187
Steven Valdeza833c352016-11-01 13:39:36 -0400188 if (!CBS_get_u24_length_prefixed(&cbs, &certificate_list)) {
189 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
190 OPENSSL_PUT_ERROR(SSL, SSL_R_DECODE_ERROR);
191 goto err;
192 }
193
194 while (CBS_len(&certificate_list) > 0) {
195 CBS certificate, extensions;
196 if (!CBS_get_u24_length_prefixed(&certificate_list, &certificate) ||
197 !CBS_get_u16_length_prefixed(&certificate_list, &extensions)) {
198 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
199 OPENSSL_PUT_ERROR(SSL, SSL_R_CERT_LENGTH_MISMATCH);
200 goto err;
201 }
202
203 /* Retain the hash of the leaf certificate if requested. */
204 if (sk_X509_num(chain) == 0 && retain_sha256) {
205 SHA256(CBS_data(&certificate), CBS_len(&certificate),
206 ssl->s3->new_session->peer_sha256);
207 }
208
209 X509 *x = ssl_parse_x509(&certificate);
210 if (x == NULL || CBS_len(&certificate) != 0) {
211 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
212 X509_free(x);
213 goto err;
214 }
215 if (!sk_X509_push(chain, x)) {
216 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
217 OPENSSL_PUT_ERROR(SSL, ERR_R_MALLOC_FAILURE);
218 X509_free(x);
219 goto err;
220 }
221
222 /* Parse out the extensions. */
223 int have_status_request = 0, have_sct = 0;
224 CBS status_request, sct;
David Benjaminffb11072016-11-13 10:32:10 +0900225 const SSL_EXTENSION_TYPE ext_types[] = {
226 {TLSEXT_TYPE_status_request, &have_status_request, &status_request},
227 {TLSEXT_TYPE_certificate_timestamp, &have_sct, &sct},
228 };
Steven Valdeza833c352016-11-01 13:39:36 -0400229
David Benjaminffb11072016-11-13 10:32:10 +0900230 uint8_t alert;
231 if (!ssl_parse_extensions(&extensions, &alert, ext_types,
232 OPENSSL_ARRAY_SIZE(ext_types))) {
233 ssl3_send_alert(ssl, SSL3_AL_FATAL, alert);
234 goto err;
Steven Valdeza833c352016-11-01 13:39:36 -0400235 }
236
237 /* All Certificate extensions are parsed, but only the leaf extensions are
238 * stored. */
239 if (have_status_request) {
240 if (ssl->server || !ssl->ocsp_stapling_enabled) {
241 OPENSSL_PUT_ERROR(SSL, SSL_R_UNEXPECTED_EXTENSION);
242 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_UNSUPPORTED_EXTENSION);
243 goto err;
244 }
245
246 uint8_t status_type;
247 CBS ocsp_response;
248 if (!CBS_get_u8(&status_request, &status_type) ||
249 status_type != TLSEXT_STATUSTYPE_ocsp ||
250 !CBS_get_u24_length_prefixed(&status_request, &ocsp_response) ||
251 CBS_len(&ocsp_response) == 0 ||
252 CBS_len(&status_request) != 0) {
253 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
254 goto err;
255 }
256
257 if (sk_X509_num(chain) == 1 &&
258 !CBS_stow(&ocsp_response, &ssl->s3->new_session->ocsp_response,
259 &ssl->s3->new_session->ocsp_response_length)) {
260 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
261 goto err;
262 }
263 }
264
265 if (have_sct) {
266 if (ssl->server || !ssl->signed_cert_timestamps_enabled) {
267 OPENSSL_PUT_ERROR(SSL, SSL_R_UNEXPECTED_EXTENSION);
268 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_UNSUPPORTED_EXTENSION);
269 goto err;
270 }
271
Adam Langleycfa08c32016-11-17 13:21:27 -0800272 if (!ssl_is_sct_list_valid(&sct)) {
273 OPENSSL_PUT_ERROR(SSL, SSL_R_ERROR_PARSING_EXTENSION);
Steven Valdeza833c352016-11-01 13:39:36 -0400274 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
275 goto err;
276 }
277
278 if (sk_X509_num(chain) == 1 &&
279 !CBS_stow(&sct,
280 &ssl->s3->new_session->tlsext_signed_cert_timestamp_list,
281 &ssl->s3->new_session
282 ->tlsext_signed_cert_timestamp_list_length)) {
283 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
284 goto err;
285 }
286 }
287 }
288
Steven Valdez143e8b32016-07-11 13:19:03 -0400289 if (CBS_len(&cbs) != 0) {
290 OPENSSL_PUT_ERROR(SSL, SSL_R_DECODE_ERROR);
291 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
292 goto err;
293 }
294
295 if (sk_X509_num(chain) == 0) {
David Benjamin4087df92016-08-01 20:16:31 -0400296 if (!allow_anonymous) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400297 OPENSSL_PUT_ERROR(SSL, SSL_R_PEER_DID_NOT_RETURN_A_CERTIFICATE);
David Benjamin1db9e1b2016-10-07 20:51:43 -0400298 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_CERTIFICATE_REQUIRED);
Steven Valdez143e8b32016-07-11 13:19:03 -0400299 goto err;
300 }
301
Adam Langley37646832016-08-01 16:16:46 -0700302 /* OpenSSL returns X509_V_OK when no certificates are requested. This is
David Benjamindd634eb2016-08-18 16:40:28 -0400303 * classed by them as a bug, but it's assumed by at least NGINX. */
Adam Langley37646832016-08-01 16:16:46 -0700304 ssl->s3->new_session->verify_result = X509_V_OK;
305
Steven Valdez143e8b32016-07-11 13:19:03 -0400306 /* No certificate, so nothing more to do. */
307 ret = 1;
308 goto err;
309 }
310
David Benjamin4087df92016-08-01 20:16:31 -0400311 ssl->s3->new_session->peer_sha256_valid = retain_sha256;
Steven Valdez143e8b32016-07-11 13:19:03 -0400312
David Benjamin7aa31d62016-08-08 21:38:32 -0400313 if (!ssl_verify_cert_chain(ssl, &ssl->s3->new_session->verify_result,
314 chain)) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400315 goto err;
316 }
Steven Valdez143e8b32016-07-11 13:19:03 -0400317
Adam Langleyc5ac2b62016-11-07 12:02:35 -0800318 X509_free(ssl->s3->new_session->x509_peer);
David Benjamin96a16cd2016-08-11 12:14:47 -0400319 X509 *leaf = sk_X509_value(chain, 0);
320 X509_up_ref(leaf);
Adam Langleyc5ac2b62016-11-07 12:02:35 -0800321 ssl->s3->new_session->x509_peer = leaf;
Steven Valdez143e8b32016-07-11 13:19:03 -0400322
Adam Langleyc5ac2b62016-11-07 12:02:35 -0800323 sk_X509_pop_free(ssl->s3->new_session->x509_chain, X509_free);
324 ssl->s3->new_session->x509_chain = chain;
Steven Valdez143e8b32016-07-11 13:19:03 -0400325 chain = NULL;
326
327 ret = 1;
328
329err:
330 sk_X509_pop_free(chain, X509_free);
331 return ret;
332}
333
334int tls13_process_certificate_verify(SSL *ssl) {
335 int ret = 0;
Adam Langleyc5ac2b62016-11-07 12:02:35 -0800336 X509 *peer = ssl->s3->new_session->x509_peer;
Steven Valdez143e8b32016-07-11 13:19:03 -0400337 EVP_PKEY *pkey = NULL;
338 uint8_t *msg = NULL;
339 size_t msg_len;
340
341 /* Filter out unsupported certificate types. */
342 pkey = X509_get_pubkey(peer);
343 if (pkey == NULL) {
344 goto err;
345 }
346
347 CBS cbs, signature;
348 uint16_t signature_algorithm;
349 CBS_init(&cbs, ssl->init_msg, ssl->init_num);
350 if (!CBS_get_u16(&cbs, &signature_algorithm) ||
351 !CBS_get_u16_length_prefixed(&cbs, &signature) ||
352 CBS_len(&cbs) != 0) {
353 OPENSSL_PUT_ERROR(SSL, SSL_R_DECODE_ERROR);
354 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
355 goto err;
356 }
357
358 int al;
359 if (!tls12_check_peer_sigalg(ssl, &al, signature_algorithm)) {
360 ssl3_send_alert(ssl, SSL3_AL_FATAL, al);
361 goto err;
362 }
363 ssl->s3->tmp.peer_signature_algorithm = signature_algorithm;
364
Nick Harper60a85cb2016-09-23 16:25:11 -0700365 if (!tls13_get_cert_verify_signature_input(
366 ssl, &msg, &msg_len,
367 ssl->server ? ssl_cert_verify_client : ssl_cert_verify_server)) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400368 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
369 goto err;
370 }
371
372 int sig_ok =
373 ssl_public_key_verify(ssl, CBS_data(&signature), CBS_len(&signature),
374 signature_algorithm, pkey, msg, msg_len);
David Benjamin04aa6942016-08-19 14:51:10 -0400375#if defined(BORINGSSL_UNSAFE_FUZZER_MODE)
376 sig_ok = 1;
377 ERR_clear_error();
378#endif
Steven Valdez143e8b32016-07-11 13:19:03 -0400379 if (!sig_ok) {
380 OPENSSL_PUT_ERROR(SSL, SSL_R_BAD_SIGNATURE);
381 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECRYPT_ERROR);
382 goto err;
383 }
384
385 ret = 1;
386
387err:
388 EVP_PKEY_free(pkey);
389 OPENSSL_free(msg);
390 return ret;
391}
392
393int tls13_check_message_type(SSL *ssl, int type) {
394 if (ssl->s3->tmp.message_type != type) {
395 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_UNEXPECTED_MESSAGE);
396 OPENSSL_PUT_ERROR(SSL, SSL_R_UNEXPECTED_MESSAGE);
David Benjaminf2401eb2016-07-18 22:25:05 +0200397 ERR_add_error_dataf("got type %d, wanted type %d",
398 ssl->s3->tmp.message_type, type);
Steven Valdez143e8b32016-07-11 13:19:03 -0400399 return 0;
400 }
401
402 return 1;
403}
404
405int tls13_process_finished(SSL *ssl) {
406 uint8_t verify_data[EVP_MAX_MD_SIZE];
407 size_t verify_data_len;
408 if (!tls13_finished_mac(ssl, verify_data, &verify_data_len, !ssl->server)) {
409 return 0;
410 }
411
David Benjamin04aa6942016-08-19 14:51:10 -0400412 int finished_ok =
413 ssl->init_num == verify_data_len &&
414 CRYPTO_memcmp(verify_data, ssl->init_msg, verify_data_len) == 0;
415#if defined(BORINGSSL_UNSAFE_FUZZER_MODE)
416 finished_ok = 1;
417#endif
418 if (!finished_ok) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400419 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECRYPT_ERROR);
420 OPENSSL_PUT_ERROR(SSL, SSL_R_DIGEST_CHECK_FAILED);
421 return 0;
422 }
423
424 return 1;
425}
426
427int tls13_prepare_certificate(SSL *ssl) {
Steven Valdeza833c352016-11-01 13:39:36 -0400428 CBB cbb, body, certificate_list;
Steven Valdez143e8b32016-07-11 13:19:03 -0400429 if (!ssl->method->init_message(ssl, &cbb, &body, SSL3_MT_CERTIFICATE) ||
David Benjamin8a8349b2016-08-18 02:32:23 -0400430 /* The request context is always empty in the handshake. */
431 !CBB_add_u8(&body, 0) ||
Steven Valdeza833c352016-11-01 13:39:36 -0400432 !CBB_add_u24_length_prefixed(&body, &certificate_list)) {
433 OPENSSL_PUT_ERROR(SSL, ERR_R_INTERNAL_ERROR);
434 goto err;
435 }
436
437 if (!ssl_has_certificate(ssl)) {
438 if (!ssl_complete_message(ssl, &cbb)) {
439 goto err;
440 }
441
442 return 1;
443 }
444
445 CERT *cert = ssl->cert;
446 CBB leaf, extensions;
447 if (!CBB_add_u24_length_prefixed(&certificate_list, &leaf) ||
448 !ssl_add_cert_to_cbb(&leaf, cert->x509_leaf) ||
449 !CBB_add_u16_length_prefixed(&certificate_list, &extensions)) {
450 OPENSSL_PUT_ERROR(SSL, ERR_R_INTERNAL_ERROR);
451 goto err;
452 }
453
454 if (ssl->s3->hs->scts_requested &&
455 ssl->ctx->signed_cert_timestamp_list_length != 0) {
456 CBB contents;
457 if (!CBB_add_u16(&extensions, TLSEXT_TYPE_certificate_timestamp) ||
458 !CBB_add_u16_length_prefixed(&extensions, &contents) ||
459 !CBB_add_bytes(&contents, ssl->ctx->signed_cert_timestamp_list,
Adam Langley6f5f49f2016-11-18 11:05:00 -0800460 ssl->ctx->signed_cert_timestamp_list_length) ||
461 !CBB_flush(&extensions)) {
Steven Valdeza833c352016-11-01 13:39:36 -0400462 OPENSSL_PUT_ERROR(SSL, ERR_R_INTERNAL_ERROR);
463 goto err;
464 }
465 }
466
467 if (ssl->s3->hs->ocsp_stapling_requested &&
468 ssl->ctx->ocsp_response_length != 0) {
469 CBB contents, ocsp_response;
470 if (!CBB_add_u16(&extensions, TLSEXT_TYPE_status_request) ||
471 !CBB_add_u16_length_prefixed(&extensions, &contents) ||
472 !CBB_add_u8(&contents, TLSEXT_STATUSTYPE_ocsp) ||
473 !CBB_add_u24_length_prefixed(&contents, &ocsp_response) ||
474 !CBB_add_bytes(&ocsp_response, ssl->ctx->ocsp_response,
Adam Langley6f5f49f2016-11-18 11:05:00 -0800475 ssl->ctx->ocsp_response_length) ||
476 !CBB_flush(&extensions)) {
Steven Valdeza833c352016-11-01 13:39:36 -0400477 OPENSSL_PUT_ERROR(SSL, ERR_R_INTERNAL_ERROR);
478 goto err;
479 }
480 }
481
482 for (size_t i = 0; i < sk_X509_num(cert->x509_chain); i++) {
483 CBB child;
484 if (!CBB_add_u24_length_prefixed(&certificate_list, &child) ||
485 !ssl_add_cert_to_cbb(&child, sk_X509_value(cert->x509_chain, i)) ||
486 !CBB_add_u16(&certificate_list, 0 /* no extensions */)) {
487 OPENSSL_PUT_ERROR(SSL, ERR_R_INTERNAL_ERROR);
488 goto err;
489 }
490 }
491
492 if (!ssl_complete_message(ssl, &cbb)) {
493 goto err;
Steven Valdez143e8b32016-07-11 13:19:03 -0400494 }
495
496 return 1;
Steven Valdeza833c352016-11-01 13:39:36 -0400497
498err:
499 CBB_cleanup(&cbb);
500 return 0;
Steven Valdez143e8b32016-07-11 13:19:03 -0400501}
502
503enum ssl_private_key_result_t tls13_prepare_certificate_verify(
504 SSL *ssl, int is_first_run) {
505 enum ssl_private_key_result_t ret = ssl_private_key_failure;
506 uint8_t *msg = NULL;
507 size_t msg_len;
508 CBB cbb, body;
509 CBB_zero(&cbb);
510
511 uint16_t signature_algorithm;
512 if (!tls1_choose_signature_algorithm(ssl, &signature_algorithm)) {
513 goto err;
514 }
515 if (!ssl->method->init_message(ssl, &cbb, &body,
516 SSL3_MT_CERTIFICATE_VERIFY) ||
517 !CBB_add_u16(&body, signature_algorithm)) {
518 OPENSSL_PUT_ERROR(SSL, ERR_R_INTERNAL_ERROR);
519 goto err;
520 }
521
522 /* Sign the digest. */
523 CBB child;
524 const size_t max_sig_len = ssl_private_key_max_signature_len(ssl);
525 uint8_t *sig;
526 size_t sig_len;
527 if (!CBB_add_u16_length_prefixed(&body, &child) ||
528 !CBB_reserve(&child, &sig, max_sig_len)) {
529 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
530 goto err;
531 }
532
533 enum ssl_private_key_result_t sign_result;
534 if (is_first_run) {
Nick Harper60a85cb2016-09-23 16:25:11 -0700535 if (!tls13_get_cert_verify_signature_input(
536 ssl, &msg, &msg_len,
537 ssl->server ? ssl_cert_verify_server : ssl_cert_verify_client)) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400538 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
539 goto err;
540 }
541 sign_result = ssl_private_key_sign(ssl, sig, &sig_len, max_sig_len,
542 signature_algorithm, msg, msg_len);
543 } else {
544 sign_result = ssl_private_key_complete(ssl, sig, &sig_len, max_sig_len);
545 }
546
547 if (sign_result != ssl_private_key_success) {
548 ret = sign_result;
549 goto err;
550 }
551
552 if (!CBB_did_write(&child, sig_len) ||
Steven Valdez5eead162016-11-11 22:23:25 -0500553 !ssl_complete_message(ssl, &cbb)) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400554 goto err;
555 }
556
557 ret = ssl_private_key_success;
558
559err:
560 CBB_cleanup(&cbb);
561 OPENSSL_free(msg);
562 return ret;
563}
564
565int tls13_prepare_finished(SSL *ssl) {
566 size_t verify_data_len;
567 uint8_t verify_data[EVP_MAX_MD_SIZE];
568
569 if (!tls13_finished_mac(ssl, verify_data, &verify_data_len, ssl->server)) {
570 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
571 OPENSSL_PUT_ERROR(SSL, SSL_R_DIGEST_CHECK_FAILED);
572 return 0;
573 }
574
575 CBB cbb, body;
576 if (!ssl->method->init_message(ssl, &cbb, &body, SSL3_MT_FINISHED) ||
577 !CBB_add_bytes(&body, verify_data, verify_data_len) ||
Steven Valdez5eead162016-11-11 22:23:25 -0500578 !ssl_complete_message(ssl, &cbb)) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400579 CBB_cleanup(&cbb);
580 return 0;
581 }
582
583 return 1;
584}
Steven Valdez8e1c7be2016-07-26 12:39:22 -0400585
Steven Valdez1dc53d22016-07-26 12:27:38 -0400586static int tls13_receive_key_update(SSL *ssl) {
Steven Valdezc4aa7272016-10-03 12:25:56 -0400587 CBS cbs;
588 uint8_t key_update_request;
589 CBS_init(&cbs, ssl->init_msg, ssl->init_num);
590 if (!CBS_get_u8(&cbs, &key_update_request) ||
591 CBS_len(&cbs) != 0 ||
592 (key_update_request != SSL_KEY_UPDATE_NOT_REQUESTED &&
593 key_update_request != SSL_KEY_UPDATE_REQUESTED)) {
Steven Valdez1dc53d22016-07-26 12:27:38 -0400594 OPENSSL_PUT_ERROR(SSL, SSL_R_DECODE_ERROR);
595 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
596 return 0;
597 }
598
Steven Valdezc4aa7272016-10-03 12:25:56 -0400599 /* TODO(svaldez): Send KeyUpdate if |key_update_request| is
600 * |SSL_KEY_UPDATE_REQUESTED|. */
Steven Valdez1dc53d22016-07-26 12:27:38 -0400601 return tls13_rotate_traffic_key(ssl, evp_aead_open);
602}
603
Steven Valdez8e1c7be2016-07-26 12:39:22 -0400604int tls13_post_handshake(SSL *ssl) {
Steven Valdez1dc53d22016-07-26 12:27:38 -0400605 if (ssl->s3->tmp.message_type == SSL3_MT_KEY_UPDATE) {
Steven Valdez32635b82016-08-16 11:25:03 -0400606 ssl->s3->key_update_count++;
607 if (ssl->s3->key_update_count > kMaxKeyUpdates) {
608 OPENSSL_PUT_ERROR(SSL, SSL_R_TOO_MANY_KEY_UPDATES);
609 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_UNEXPECTED_MESSAGE);
610 return 0;
611 }
612
Steven Valdez1dc53d22016-07-26 12:27:38 -0400613 return tls13_receive_key_update(ssl);
614 }
615
Steven Valdez32635b82016-08-16 11:25:03 -0400616 ssl->s3->key_update_count = 0;
617
Steven Valdez8e1c7be2016-07-26 12:39:22 -0400618 if (ssl->s3->tmp.message_type == SSL3_MT_NEW_SESSION_TICKET &&
619 !ssl->server) {
Steven Valdez1e6f11a2016-07-27 11:10:52 -0400620 return tls13_process_new_session_ticket(ssl);
Steven Valdez8e1c7be2016-07-26 12:39:22 -0400621 }
622
623 // TODO(svaldez): Handle post-handshake authentication.
Steven Valdez8e1c7be2016-07-26 12:39:22 -0400624
625 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_UNEXPECTED_MESSAGE);
626 OPENSSL_PUT_ERROR(SSL, SSL_R_UNEXPECTED_MESSAGE);
627 return 0;
628}