blob: 9dd27cef0e227e003e61666cf85c49569560e17c [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
31SSL_HANDSHAKE *ssl_handshake_new(enum ssl_hs_wait_t (*do_handshake)(SSL *ssl)) {
32 SSL_HANDSHAKE *hs = OPENSSL_malloc(sizeof(SSL_HANDSHAKE));
33 if (hs == NULL) {
34 OPENSSL_PUT_ERROR(SSL, ERR_R_MALLOC_FAILURE);
35 return NULL;
36 }
37 memset(hs, 0, sizeof(SSL_HANDSHAKE));
38 hs->do_handshake = do_handshake;
39 hs->wait = ssl_hs_ok;
40 return hs;
41}
42
Steven Valdez5440fe02016-07-18 12:40:30 -040043void ssl_handshake_clear_groups(SSL_HANDSHAKE *hs) {
44 if (hs->groups == NULL) {
45 return;
46 }
47
48 for (size_t i = 0; i < hs->groups_len; i++) {
49 SSL_ECDH_CTX_cleanup(&hs->groups[i]);
50 }
51 OPENSSL_free(hs->groups);
52 hs->groups = NULL;
53 hs->groups_len = 0;
54}
55
Steven Valdez143e8b32016-07-11 13:19:03 -040056void ssl_handshake_free(SSL_HANDSHAKE *hs) {
57 if (hs == NULL) {
58 return;
59 }
60
61 OPENSSL_cleanse(hs->secret, sizeof(hs->secret));
62 OPENSSL_cleanse(hs->traffic_secret_0, sizeof(hs->traffic_secret_0));
Steven Valdez5440fe02016-07-18 12:40:30 -040063 ssl_handshake_clear_groups(hs);
64 OPENSSL_free(hs->key_share_bytes);
Steven Valdez143e8b32016-07-11 13:19:03 -040065 OPENSSL_free(hs->public_key);
Steven Valdez143e8b32016-07-11 13:19:03 -040066 OPENSSL_free(hs);
67}
68
69int tls13_handshake(SSL *ssl) {
70 SSL_HANDSHAKE *hs = ssl->s3->hs;
71
72 for (;;) {
73 /* Resolve the operation the handshake was waiting on. */
74 switch (hs->wait) {
75 case ssl_hs_error:
76 OPENSSL_PUT_ERROR(SSL, SSL_R_SSL_HANDSHAKE_FAILURE);
77 return -1;
78
David Benjaminf2401eb2016-07-18 22:25:05 +020079 case ssl_hs_flush:
80 case ssl_hs_flush_and_read_message: {
81 int ret = BIO_flush(ssl->wbio);
82 if (ret <= 0) {
83 ssl->rwstate = SSL_WRITING;
84 return ret;
85 }
86 if (hs->wait != ssl_hs_flush_and_read_message) {
87 break;
88 }
David Benjamin613fe3b2016-07-22 17:39:29 +020089 ssl->method->expect_flight(ssl);
David Benjaminf2401eb2016-07-18 22:25:05 +020090 hs->wait = ssl_hs_read_message;
91 /* Fall-through. */
92 }
93
Steven Valdez143e8b32016-07-11 13:19:03 -040094 case ssl_hs_read_message: {
95 int ret = ssl->method->ssl_get_message(ssl, -1, ssl_dont_hash_message);
96 if (ret <= 0) {
97 return ret;
98 }
99 break;
100 }
101
102 case ssl_hs_write_message: {
103 int ret = ssl->method->write_message(ssl);
104 if (ret <= 0) {
105 return ret;
106 }
107 break;
108 }
109
Steven Valdez143e8b32016-07-11 13:19:03 -0400110 case ssl_hs_x509_lookup:
111 ssl->rwstate = SSL_X509_LOOKUP;
112 hs->wait = ssl_hs_ok;
113 return -1;
114
115 case ssl_hs_private_key_operation:
116 ssl->rwstate = SSL_PRIVATE_KEY_OPERATION;
117 hs->wait = ssl_hs_ok;
118 return -1;
119
120 case ssl_hs_ok:
121 break;
122 }
123
124 /* Run the state machine again. */
125 hs->wait = hs->do_handshake(ssl);
126 if (hs->wait == ssl_hs_error) {
127 /* Don't loop around to avoid a stray |SSL_R_SSL_HANDSHAKE_FAILURE| the
128 * first time around. */
129 return -1;
130 }
131 if (hs->wait == ssl_hs_ok) {
132 /* The handshake has completed. */
133 return 1;
134 }
135
136 /* Otherwise, loop to the beginning and resolve what was blocking the
137 * handshake. */
138 }
139}
140
141static int tls13_get_cert_verify_signature_input(SSL *ssl, uint8_t **out,
142 size_t *out_len, int server) {
143 CBB cbb;
144 if (!CBB_init(&cbb, 64 + 33 + 1 + 2 * EVP_MAX_MD_SIZE)) {
145 goto err;
146 }
147
148 for (size_t i = 0; i < 64; i++) {
149 if (!CBB_add_u8(&cbb, 0x20)) {
150 goto err;
151 }
152 }
153
154 if (server) {
155 /* Include the NUL byte. */
156 static const char kContext[] = "TLS 1.3, server CertificateVerify";
157 if (!CBB_add_bytes(&cbb, (const uint8_t *)kContext, sizeof(kContext))) {
158 goto err;
159 }
160 } else {
161 static const char kContext[] = "TLS 1.3, client CertificateVerify";
162 if (!CBB_add_bytes(&cbb, (const uint8_t *)kContext, sizeof(kContext))) {
163 goto err;
164 }
165 }
166
167 uint8_t context_hashes[2 * EVP_MAX_MD_SIZE];
168 size_t context_hashes_len;
169 if (!tls13_get_context_hashes(ssl, context_hashes, &context_hashes_len) ||
170 !CBB_add_bytes(&cbb, context_hashes, context_hashes_len) ||
171 !CBB_finish(&cbb, out, out_len)) {
172 goto err;
173 }
174
175 return 1;
176
177err:
178 OPENSSL_PUT_ERROR(SSL, ERR_R_MALLOC_FAILURE);
179 CBB_cleanup(&cbb);
180 return 0;
181}
182
David Benjamin4087df92016-08-01 20:16:31 -0400183int tls13_process_certificate(SSL *ssl, int allow_anonymous) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400184 CBS cbs, context;
185 CBS_init(&cbs, ssl->init_msg, ssl->init_num);
186 if (!CBS_get_u8_length_prefixed(&cbs, &context) ||
187 CBS_len(&context) != 0) {
188 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
189 OPENSSL_PUT_ERROR(SSL, SSL_R_DECODE_ERROR);
190 return 0;
191 }
192
David Benjamin4087df92016-08-01 20:16:31 -0400193 const int retain_sha256 =
194 ssl->server && ssl->ctx->retain_only_sha256_of_client_certs;
Steven Valdez143e8b32016-07-11 13:19:03 -0400195 int ret = 0;
196 uint8_t alert;
197 STACK_OF(X509) *chain = ssl_parse_cert_chain(
David Benjamin4087df92016-08-01 20:16:31 -0400198 ssl, &alert, retain_sha256 ? ssl->s3->new_session->peer_sha256 : NULL,
Steven Valdez143e8b32016-07-11 13:19:03 -0400199 &cbs);
200 if (chain == NULL) {
201 ssl3_send_alert(ssl, SSL3_AL_FATAL, alert);
202 goto err;
203 }
204
205 if (CBS_len(&cbs) != 0) {
206 OPENSSL_PUT_ERROR(SSL, SSL_R_DECODE_ERROR);
207 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
208 goto err;
209 }
210
211 if (sk_X509_num(chain) == 0) {
David Benjamin4087df92016-08-01 20:16:31 -0400212 if (!allow_anonymous) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400213 OPENSSL_PUT_ERROR(SSL, SSL_R_PEER_DID_NOT_RETURN_A_CERTIFICATE);
214 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_HANDSHAKE_FAILURE);
215 goto err;
216 }
217
218 /* No certificate, so nothing more to do. */
219 ret = 1;
220 goto err;
221 }
222
David Benjamin4087df92016-08-01 20:16:31 -0400223 ssl->s3->new_session->peer_sha256_valid = retain_sha256;
Steven Valdez143e8b32016-07-11 13:19:03 -0400224
David Benjamine455e512016-08-01 20:11:13 -0400225 if (!ssl_verify_cert_chain(ssl, chain)) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400226 goto err;
227 }
Steven Valdez143e8b32016-07-11 13:19:03 -0400228
Steven Valdez87eab492016-06-27 16:34:59 -0400229 ssl->s3->new_session->verify_result = ssl->verify_result;
Steven Valdez143e8b32016-07-11 13:19:03 -0400230
Steven Valdez87eab492016-06-27 16:34:59 -0400231 X509_free(ssl->s3->new_session->peer);
David Benjamin96a16cd2016-08-11 12:14:47 -0400232 X509 *leaf = sk_X509_value(chain, 0);
233 X509_up_ref(leaf);
234 ssl->s3->new_session->peer = leaf;
Steven Valdez143e8b32016-07-11 13:19:03 -0400235
Steven Valdez87eab492016-06-27 16:34:59 -0400236 sk_X509_pop_free(ssl->s3->new_session->cert_chain, X509_free);
237 ssl->s3->new_session->cert_chain = chain;
Steven Valdez143e8b32016-07-11 13:19:03 -0400238 chain = NULL;
239
240 ret = 1;
241
242err:
243 sk_X509_pop_free(chain, X509_free);
244 return ret;
245}
246
247int tls13_process_certificate_verify(SSL *ssl) {
248 int ret = 0;
Steven Valdez87eab492016-06-27 16:34:59 -0400249 X509 *peer = ssl->s3->new_session->peer;
Steven Valdez143e8b32016-07-11 13:19:03 -0400250 EVP_PKEY *pkey = NULL;
251 uint8_t *msg = NULL;
252 size_t msg_len;
253
254 /* Filter out unsupported certificate types. */
255 pkey = X509_get_pubkey(peer);
256 if (pkey == NULL) {
257 goto err;
258 }
259
260 CBS cbs, signature;
261 uint16_t signature_algorithm;
262 CBS_init(&cbs, ssl->init_msg, ssl->init_num);
263 if (!CBS_get_u16(&cbs, &signature_algorithm) ||
264 !CBS_get_u16_length_prefixed(&cbs, &signature) ||
265 CBS_len(&cbs) != 0) {
266 OPENSSL_PUT_ERROR(SSL, SSL_R_DECODE_ERROR);
267 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
268 goto err;
269 }
270
271 int al;
272 if (!tls12_check_peer_sigalg(ssl, &al, signature_algorithm)) {
273 ssl3_send_alert(ssl, SSL3_AL_FATAL, al);
274 goto err;
275 }
276 ssl->s3->tmp.peer_signature_algorithm = signature_algorithm;
277
278 if (!tls13_get_cert_verify_signature_input(ssl, &msg, &msg_len,
279 !ssl->server)) {
280 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
281 goto err;
282 }
283
284 int sig_ok =
285 ssl_public_key_verify(ssl, CBS_data(&signature), CBS_len(&signature),
286 signature_algorithm, pkey, msg, msg_len);
287 if (!sig_ok) {
288 OPENSSL_PUT_ERROR(SSL, SSL_R_BAD_SIGNATURE);
289 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECRYPT_ERROR);
290 goto err;
291 }
292
293 ret = 1;
294
295err:
296 EVP_PKEY_free(pkey);
297 OPENSSL_free(msg);
298 return ret;
299}
300
301int tls13_check_message_type(SSL *ssl, int type) {
302 if (ssl->s3->tmp.message_type != type) {
303 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_UNEXPECTED_MESSAGE);
304 OPENSSL_PUT_ERROR(SSL, SSL_R_UNEXPECTED_MESSAGE);
David Benjaminf2401eb2016-07-18 22:25:05 +0200305 ERR_add_error_dataf("got type %d, wanted type %d",
306 ssl->s3->tmp.message_type, type);
Steven Valdez143e8b32016-07-11 13:19:03 -0400307 return 0;
308 }
309
310 return 1;
311}
312
313int tls13_process_finished(SSL *ssl) {
314 uint8_t verify_data[EVP_MAX_MD_SIZE];
315 size_t verify_data_len;
316 if (!tls13_finished_mac(ssl, verify_data, &verify_data_len, !ssl->server)) {
317 return 0;
318 }
319
320 if (ssl->init_num != verify_data_len ||
321 CRYPTO_memcmp(verify_data, ssl->init_msg, verify_data_len) != 0) {
322 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECRYPT_ERROR);
323 OPENSSL_PUT_ERROR(SSL, SSL_R_DIGEST_CHECK_FAILED);
324 return 0;
325 }
326
327 return 1;
328}
329
330int tls13_prepare_certificate(SSL *ssl) {
David Benjamin8a8349b2016-08-18 02:32:23 -0400331 CBB cbb, body;
Steven Valdez143e8b32016-07-11 13:19:03 -0400332 if (!ssl->method->init_message(ssl, &cbb, &body, SSL3_MT_CERTIFICATE) ||
David Benjamin8a8349b2016-08-18 02:32:23 -0400333 /* The request context is always empty in the handshake. */
334 !CBB_add_u8(&body, 0) ||
Steven Valdez143e8b32016-07-11 13:19:03 -0400335 !ssl_add_cert_chain(ssl, &body) ||
336 !ssl->method->finish_message(ssl, &cbb)) {
337 CBB_cleanup(&cbb);
338 return 0;
339 }
340
341 return 1;
342}
343
344enum ssl_private_key_result_t tls13_prepare_certificate_verify(
345 SSL *ssl, int is_first_run) {
346 enum ssl_private_key_result_t ret = ssl_private_key_failure;
347 uint8_t *msg = NULL;
348 size_t msg_len;
349 CBB cbb, body;
350 CBB_zero(&cbb);
351
352 uint16_t signature_algorithm;
353 if (!tls1_choose_signature_algorithm(ssl, &signature_algorithm)) {
354 goto err;
355 }
356 if (!ssl->method->init_message(ssl, &cbb, &body,
357 SSL3_MT_CERTIFICATE_VERIFY) ||
358 !CBB_add_u16(&body, signature_algorithm)) {
359 OPENSSL_PUT_ERROR(SSL, ERR_R_INTERNAL_ERROR);
360 goto err;
361 }
362
363 /* Sign the digest. */
364 CBB child;
365 const size_t max_sig_len = ssl_private_key_max_signature_len(ssl);
366 uint8_t *sig;
367 size_t sig_len;
368 if (!CBB_add_u16_length_prefixed(&body, &child) ||
369 !CBB_reserve(&child, &sig, max_sig_len)) {
370 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
371 goto err;
372 }
373
374 enum ssl_private_key_result_t sign_result;
375 if (is_first_run) {
376 if (!tls13_get_cert_verify_signature_input(ssl, &msg, &msg_len,
377 ssl->server)) {
378 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
379 goto err;
380 }
381 sign_result = ssl_private_key_sign(ssl, sig, &sig_len, max_sig_len,
382 signature_algorithm, msg, msg_len);
383 } else {
384 sign_result = ssl_private_key_complete(ssl, sig, &sig_len, max_sig_len);
385 }
386
387 if (sign_result != ssl_private_key_success) {
388 ret = sign_result;
389 goto err;
390 }
391
392 if (!CBB_did_write(&child, sig_len) ||
393 !ssl->method->finish_message(ssl, &cbb)) {
394 goto err;
395 }
396
397 ret = ssl_private_key_success;
398
399err:
400 CBB_cleanup(&cbb);
401 OPENSSL_free(msg);
402 return ret;
403}
404
405int tls13_prepare_finished(SSL *ssl) {
406 size_t verify_data_len;
407 uint8_t verify_data[EVP_MAX_MD_SIZE];
408
409 if (!tls13_finished_mac(ssl, verify_data, &verify_data_len, ssl->server)) {
410 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
411 OPENSSL_PUT_ERROR(SSL, SSL_R_DIGEST_CHECK_FAILED);
412 return 0;
413 }
414
415 CBB cbb, body;
416 if (!ssl->method->init_message(ssl, &cbb, &body, SSL3_MT_FINISHED) ||
417 !CBB_add_bytes(&body, verify_data, verify_data_len) ||
418 !ssl->method->finish_message(ssl, &cbb)) {
419 CBB_cleanup(&cbb);
420 return 0;
421 }
422
423 return 1;
424}
Steven Valdez8e1c7be2016-07-26 12:39:22 -0400425
Steven Valdez1dc53d22016-07-26 12:27:38 -0400426static int tls13_receive_key_update(SSL *ssl) {
427 if (ssl->init_num != 0) {
428 OPENSSL_PUT_ERROR(SSL, SSL_R_DECODE_ERROR);
429 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
430 return 0;
431 }
432
433 // TODO(svaldez): Send KeyUpdate.
434 return tls13_rotate_traffic_key(ssl, evp_aead_open);
435}
436
Steven Valdez8e1c7be2016-07-26 12:39:22 -0400437int tls13_post_handshake(SSL *ssl) {
Steven Valdez1dc53d22016-07-26 12:27:38 -0400438 if (ssl->s3->tmp.message_type == SSL3_MT_KEY_UPDATE) {
439 return tls13_receive_key_update(ssl);
440 }
441
Steven Valdez8e1c7be2016-07-26 12:39:22 -0400442 if (ssl->s3->tmp.message_type == SSL3_MT_NEW_SESSION_TICKET &&
443 !ssl->server) {
Steven Valdez1e6f11a2016-07-27 11:10:52 -0400444 return tls13_process_new_session_ticket(ssl);
Steven Valdez8e1c7be2016-07-26 12:39:22 -0400445 }
446
447 // TODO(svaldez): Handle post-handshake authentication.
Steven Valdez8e1c7be2016-07-26 12:39:22 -0400448
449 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_UNEXPECTED_MESSAGE);
450 OPENSSL_PUT_ERROR(SSL, SSL_R_UNEXPECTED_MESSAGE);
451 return 0;
452}