blob: 188898c3525ee49b5d72b1677dca57fd96bb7eca [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
28#include "internal.h"
29
30
Steven Valdez143e8b32016-07-11 13:19:03 -040031int tls13_handshake(SSL *ssl) {
32 SSL_HANDSHAKE *hs = ssl->s3->hs;
33
34 for (;;) {
35 /* Resolve the operation the handshake was waiting on. */
36 switch (hs->wait) {
37 case ssl_hs_error:
38 OPENSSL_PUT_ERROR(SSL, SSL_R_SSL_HANDSHAKE_FAILURE);
39 return -1;
40
David Benjaminf2401eb2016-07-18 22:25:05 +020041 case ssl_hs_flush:
42 case ssl_hs_flush_and_read_message: {
43 int ret = BIO_flush(ssl->wbio);
44 if (ret <= 0) {
45 ssl->rwstate = SSL_WRITING;
46 return ret;
47 }
48 if (hs->wait != ssl_hs_flush_and_read_message) {
49 break;
50 }
David Benjamin613fe3b2016-07-22 17:39:29 +020051 ssl->method->expect_flight(ssl);
David Benjaminf2401eb2016-07-18 22:25:05 +020052 hs->wait = ssl_hs_read_message;
53 /* Fall-through. */
54 }
55
Steven Valdez143e8b32016-07-11 13:19:03 -040056 case ssl_hs_read_message: {
57 int ret = ssl->method->ssl_get_message(ssl, -1, ssl_dont_hash_message);
58 if (ret <= 0) {
59 return ret;
60 }
61 break;
62 }
63
64 case ssl_hs_write_message: {
65 int ret = ssl->method->write_message(ssl);
66 if (ret <= 0) {
67 return ret;
68 }
69 break;
70 }
71
Steven Valdez143e8b32016-07-11 13:19:03 -040072 case ssl_hs_x509_lookup:
73 ssl->rwstate = SSL_X509_LOOKUP;
74 hs->wait = ssl_hs_ok;
75 return -1;
76
77 case ssl_hs_private_key_operation:
78 ssl->rwstate = SSL_PRIVATE_KEY_OPERATION;
79 hs->wait = ssl_hs_ok;
80 return -1;
81
82 case ssl_hs_ok:
83 break;
84 }
85
86 /* Run the state machine again. */
87 hs->wait = hs->do_handshake(ssl);
88 if (hs->wait == ssl_hs_error) {
89 /* Don't loop around to avoid a stray |SSL_R_SSL_HANDSHAKE_FAILURE| the
90 * first time around. */
91 return -1;
92 }
93 if (hs->wait == ssl_hs_ok) {
94 /* The handshake has completed. */
95 return 1;
96 }
97
98 /* Otherwise, loop to the beginning and resolve what was blocking the
99 * handshake. */
100 }
101}
102
103static int tls13_get_cert_verify_signature_input(SSL *ssl, uint8_t **out,
104 size_t *out_len, int server) {
105 CBB cbb;
106 if (!CBB_init(&cbb, 64 + 33 + 1 + 2 * EVP_MAX_MD_SIZE)) {
107 goto err;
108 }
109
110 for (size_t i = 0; i < 64; i++) {
111 if (!CBB_add_u8(&cbb, 0x20)) {
112 goto err;
113 }
114 }
115
116 if (server) {
117 /* Include the NUL byte. */
118 static const char kContext[] = "TLS 1.3, server CertificateVerify";
119 if (!CBB_add_bytes(&cbb, (const uint8_t *)kContext, sizeof(kContext))) {
120 goto err;
121 }
122 } else {
123 static const char kContext[] = "TLS 1.3, client CertificateVerify";
124 if (!CBB_add_bytes(&cbb, (const uint8_t *)kContext, sizeof(kContext))) {
125 goto err;
126 }
127 }
128
129 uint8_t context_hashes[2 * EVP_MAX_MD_SIZE];
130 size_t context_hashes_len;
131 if (!tls13_get_context_hashes(ssl, context_hashes, &context_hashes_len) ||
132 !CBB_add_bytes(&cbb, context_hashes, context_hashes_len) ||
133 !CBB_finish(&cbb, out, out_len)) {
134 goto err;
135 }
136
137 return 1;
138
139err:
140 OPENSSL_PUT_ERROR(SSL, ERR_R_MALLOC_FAILURE);
141 CBB_cleanup(&cbb);
142 return 0;
143}
144
David Benjamin4087df92016-08-01 20:16:31 -0400145int tls13_process_certificate(SSL *ssl, int allow_anonymous) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400146 CBS cbs, context;
147 CBS_init(&cbs, ssl->init_msg, ssl->init_num);
148 if (!CBS_get_u8_length_prefixed(&cbs, &context) ||
149 CBS_len(&context) != 0) {
150 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
151 OPENSSL_PUT_ERROR(SSL, SSL_R_DECODE_ERROR);
152 return 0;
153 }
154
David Benjamin4087df92016-08-01 20:16:31 -0400155 const int retain_sha256 =
156 ssl->server && ssl->ctx->retain_only_sha256_of_client_certs;
Steven Valdez143e8b32016-07-11 13:19:03 -0400157 int ret = 0;
158 uint8_t alert;
159 STACK_OF(X509) *chain = ssl_parse_cert_chain(
David Benjamin4087df92016-08-01 20:16:31 -0400160 ssl, &alert, retain_sha256 ? ssl->s3->new_session->peer_sha256 : NULL,
Steven Valdez143e8b32016-07-11 13:19:03 -0400161 &cbs);
162 if (chain == NULL) {
163 ssl3_send_alert(ssl, SSL3_AL_FATAL, alert);
164 goto err;
165 }
166
167 if (CBS_len(&cbs) != 0) {
168 OPENSSL_PUT_ERROR(SSL, SSL_R_DECODE_ERROR);
169 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
170 goto err;
171 }
172
173 if (sk_X509_num(chain) == 0) {
David Benjamin4087df92016-08-01 20:16:31 -0400174 if (!allow_anonymous) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400175 OPENSSL_PUT_ERROR(SSL, SSL_R_PEER_DID_NOT_RETURN_A_CERTIFICATE);
176 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_HANDSHAKE_FAILURE);
177 goto err;
178 }
179
Adam Langley37646832016-08-01 16:16:46 -0700180 /* OpenSSL returns X509_V_OK when no certificates are requested. This is
181 * classed by them as a bug, but it's assumed by at least nginx. */
182 ssl->verify_result = X509_V_OK;
183 ssl->s3->new_session->verify_result = X509_V_OK;
184
Steven Valdez143e8b32016-07-11 13:19:03 -0400185 /* No certificate, so nothing more to do. */
186 ret = 1;
187 goto err;
188 }
189
David Benjamin4087df92016-08-01 20:16:31 -0400190 ssl->s3->new_session->peer_sha256_valid = retain_sha256;
Steven Valdez143e8b32016-07-11 13:19:03 -0400191
David Benjamine455e512016-08-01 20:11:13 -0400192 if (!ssl_verify_cert_chain(ssl, chain)) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400193 goto err;
194 }
Steven Valdez143e8b32016-07-11 13:19:03 -0400195
Steven Valdez87eab492016-06-27 16:34:59 -0400196 ssl->s3->new_session->verify_result = ssl->verify_result;
Steven Valdez143e8b32016-07-11 13:19:03 -0400197
Steven Valdez87eab492016-06-27 16:34:59 -0400198 X509_free(ssl->s3->new_session->peer);
David Benjamin96a16cd2016-08-11 12:14:47 -0400199 X509 *leaf = sk_X509_value(chain, 0);
200 X509_up_ref(leaf);
201 ssl->s3->new_session->peer = leaf;
Steven Valdez143e8b32016-07-11 13:19:03 -0400202
Steven Valdez87eab492016-06-27 16:34:59 -0400203 sk_X509_pop_free(ssl->s3->new_session->cert_chain, X509_free);
204 ssl->s3->new_session->cert_chain = chain;
Steven Valdez143e8b32016-07-11 13:19:03 -0400205 chain = NULL;
206
207 ret = 1;
208
209err:
210 sk_X509_pop_free(chain, X509_free);
211 return ret;
212}
213
214int tls13_process_certificate_verify(SSL *ssl) {
215 int ret = 0;
Steven Valdez87eab492016-06-27 16:34:59 -0400216 X509 *peer = ssl->s3->new_session->peer;
Steven Valdez143e8b32016-07-11 13:19:03 -0400217 EVP_PKEY *pkey = NULL;
218 uint8_t *msg = NULL;
219 size_t msg_len;
220
221 /* Filter out unsupported certificate types. */
222 pkey = X509_get_pubkey(peer);
223 if (pkey == NULL) {
224 goto err;
225 }
226
227 CBS cbs, signature;
228 uint16_t signature_algorithm;
229 CBS_init(&cbs, ssl->init_msg, ssl->init_num);
230 if (!CBS_get_u16(&cbs, &signature_algorithm) ||
231 !CBS_get_u16_length_prefixed(&cbs, &signature) ||
232 CBS_len(&cbs) != 0) {
233 OPENSSL_PUT_ERROR(SSL, SSL_R_DECODE_ERROR);
234 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
235 goto err;
236 }
237
238 int al;
239 if (!tls12_check_peer_sigalg(ssl, &al, signature_algorithm)) {
240 ssl3_send_alert(ssl, SSL3_AL_FATAL, al);
241 goto err;
242 }
243 ssl->s3->tmp.peer_signature_algorithm = signature_algorithm;
244
245 if (!tls13_get_cert_verify_signature_input(ssl, &msg, &msg_len,
246 !ssl->server)) {
247 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
248 goto err;
249 }
250
251 int sig_ok =
252 ssl_public_key_verify(ssl, CBS_data(&signature), CBS_len(&signature),
253 signature_algorithm, pkey, msg, msg_len);
254 if (!sig_ok) {
255 OPENSSL_PUT_ERROR(SSL, SSL_R_BAD_SIGNATURE);
256 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECRYPT_ERROR);
257 goto err;
258 }
259
260 ret = 1;
261
262err:
263 EVP_PKEY_free(pkey);
264 OPENSSL_free(msg);
265 return ret;
266}
267
268int tls13_check_message_type(SSL *ssl, int type) {
269 if (ssl->s3->tmp.message_type != type) {
270 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_UNEXPECTED_MESSAGE);
271 OPENSSL_PUT_ERROR(SSL, SSL_R_UNEXPECTED_MESSAGE);
David Benjaminf2401eb2016-07-18 22:25:05 +0200272 ERR_add_error_dataf("got type %d, wanted type %d",
273 ssl->s3->tmp.message_type, type);
Steven Valdez143e8b32016-07-11 13:19:03 -0400274 return 0;
275 }
276
277 return 1;
278}
279
280int tls13_process_finished(SSL *ssl) {
281 uint8_t verify_data[EVP_MAX_MD_SIZE];
282 size_t verify_data_len;
283 if (!tls13_finished_mac(ssl, verify_data, &verify_data_len, !ssl->server)) {
284 return 0;
285 }
286
287 if (ssl->init_num != verify_data_len ||
288 CRYPTO_memcmp(verify_data, ssl->init_msg, verify_data_len) != 0) {
289 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECRYPT_ERROR);
290 OPENSSL_PUT_ERROR(SSL, SSL_R_DIGEST_CHECK_FAILED);
291 return 0;
292 }
293
294 return 1;
295}
296
297int tls13_prepare_certificate(SSL *ssl) {
David Benjamin8a8349b2016-08-18 02:32:23 -0400298 CBB cbb, body;
Steven Valdez143e8b32016-07-11 13:19:03 -0400299 if (!ssl->method->init_message(ssl, &cbb, &body, SSL3_MT_CERTIFICATE) ||
David Benjamin8a8349b2016-08-18 02:32:23 -0400300 /* The request context is always empty in the handshake. */
301 !CBB_add_u8(&body, 0) ||
Steven Valdez143e8b32016-07-11 13:19:03 -0400302 !ssl_add_cert_chain(ssl, &body) ||
303 !ssl->method->finish_message(ssl, &cbb)) {
304 CBB_cleanup(&cbb);
305 return 0;
306 }
307
308 return 1;
309}
310
311enum ssl_private_key_result_t tls13_prepare_certificate_verify(
312 SSL *ssl, int is_first_run) {
313 enum ssl_private_key_result_t ret = ssl_private_key_failure;
314 uint8_t *msg = NULL;
315 size_t msg_len;
316 CBB cbb, body;
317 CBB_zero(&cbb);
318
319 uint16_t signature_algorithm;
320 if (!tls1_choose_signature_algorithm(ssl, &signature_algorithm)) {
321 goto err;
322 }
323 if (!ssl->method->init_message(ssl, &cbb, &body,
324 SSL3_MT_CERTIFICATE_VERIFY) ||
325 !CBB_add_u16(&body, signature_algorithm)) {
326 OPENSSL_PUT_ERROR(SSL, ERR_R_INTERNAL_ERROR);
327 goto err;
328 }
329
330 /* Sign the digest. */
331 CBB child;
332 const size_t max_sig_len = ssl_private_key_max_signature_len(ssl);
333 uint8_t *sig;
334 size_t sig_len;
335 if (!CBB_add_u16_length_prefixed(&body, &child) ||
336 !CBB_reserve(&child, &sig, max_sig_len)) {
337 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
338 goto err;
339 }
340
341 enum ssl_private_key_result_t sign_result;
342 if (is_first_run) {
343 if (!tls13_get_cert_verify_signature_input(ssl, &msg, &msg_len,
344 ssl->server)) {
345 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
346 goto err;
347 }
348 sign_result = ssl_private_key_sign(ssl, sig, &sig_len, max_sig_len,
349 signature_algorithm, msg, msg_len);
350 } else {
351 sign_result = ssl_private_key_complete(ssl, sig, &sig_len, max_sig_len);
352 }
353
354 if (sign_result != ssl_private_key_success) {
355 ret = sign_result;
356 goto err;
357 }
358
359 if (!CBB_did_write(&child, sig_len) ||
360 !ssl->method->finish_message(ssl, &cbb)) {
361 goto err;
362 }
363
364 ret = ssl_private_key_success;
365
366err:
367 CBB_cleanup(&cbb);
368 OPENSSL_free(msg);
369 return ret;
370}
371
372int tls13_prepare_finished(SSL *ssl) {
373 size_t verify_data_len;
374 uint8_t verify_data[EVP_MAX_MD_SIZE];
375
376 if (!tls13_finished_mac(ssl, verify_data, &verify_data_len, ssl->server)) {
377 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
378 OPENSSL_PUT_ERROR(SSL, SSL_R_DIGEST_CHECK_FAILED);
379 return 0;
380 }
381
382 CBB cbb, body;
383 if (!ssl->method->init_message(ssl, &cbb, &body, SSL3_MT_FINISHED) ||
384 !CBB_add_bytes(&body, verify_data, verify_data_len) ||
385 !ssl->method->finish_message(ssl, &cbb)) {
386 CBB_cleanup(&cbb);
387 return 0;
388 }
389
390 return 1;
391}
Steven Valdez8e1c7be2016-07-26 12:39:22 -0400392
Steven Valdez1dc53d22016-07-26 12:27:38 -0400393static int tls13_receive_key_update(SSL *ssl) {
394 if (ssl->init_num != 0) {
395 OPENSSL_PUT_ERROR(SSL, SSL_R_DECODE_ERROR);
396 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
397 return 0;
398 }
399
400 // TODO(svaldez): Send KeyUpdate.
401 return tls13_rotate_traffic_key(ssl, evp_aead_open);
402}
403
Steven Valdez8e1c7be2016-07-26 12:39:22 -0400404int tls13_post_handshake(SSL *ssl) {
Steven Valdez1dc53d22016-07-26 12:27:38 -0400405 if (ssl->s3->tmp.message_type == SSL3_MT_KEY_UPDATE) {
406 return tls13_receive_key_update(ssl);
407 }
408
Steven Valdez8e1c7be2016-07-26 12:39:22 -0400409 if (ssl->s3->tmp.message_type == SSL3_MT_NEW_SESSION_TICKET &&
410 !ssl->server) {
Steven Valdez1e6f11a2016-07-27 11:10:52 -0400411 return tls13_process_new_session_ticket(ssl);
Steven Valdez8e1c7be2016-07-26 12:39:22 -0400412 }
413
414 // TODO(svaldez): Handle post-handshake authentication.
Steven Valdez8e1c7be2016-07-26 12:39:22 -0400415
416 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_UNEXPECTED_MESSAGE);
417 OPENSSL_PUT_ERROR(SSL, SSL_R_UNEXPECTED_MESSAGE);
418 return 0;
419}