blob: 83e0c3b47e80a640e881e7a713ee818b900b9b87 [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);
66 OPENSSL_free(hs->cert_context);
67 OPENSSL_free(hs);
68}
69
70int tls13_handshake(SSL *ssl) {
71 SSL_HANDSHAKE *hs = ssl->s3->hs;
72
73 for (;;) {
74 /* Resolve the operation the handshake was waiting on. */
75 switch (hs->wait) {
76 case ssl_hs_error:
77 OPENSSL_PUT_ERROR(SSL, SSL_R_SSL_HANDSHAKE_FAILURE);
78 return -1;
79
David Benjaminf2401eb2016-07-18 22:25:05 +020080 case ssl_hs_flush:
81 case ssl_hs_flush_and_read_message: {
82 int ret = BIO_flush(ssl->wbio);
83 if (ret <= 0) {
84 ssl->rwstate = SSL_WRITING;
85 return ret;
86 }
87 if (hs->wait != ssl_hs_flush_and_read_message) {
88 break;
89 }
David Benjamin613fe3b2016-07-22 17:39:29 +020090 ssl->method->expect_flight(ssl);
David Benjaminf2401eb2016-07-18 22:25:05 +020091 hs->wait = ssl_hs_read_message;
92 /* Fall-through. */
93 }
94
Steven Valdez143e8b32016-07-11 13:19:03 -040095 case ssl_hs_read_message: {
96 int ret = ssl->method->ssl_get_message(ssl, -1, ssl_dont_hash_message);
97 if (ret <= 0) {
98 return ret;
99 }
100 break;
101 }
102
103 case ssl_hs_write_message: {
104 int ret = ssl->method->write_message(ssl);
105 if (ret <= 0) {
106 return ret;
107 }
108 break;
109 }
110
Steven Valdez143e8b32016-07-11 13:19:03 -0400111 case ssl_hs_x509_lookup:
112 ssl->rwstate = SSL_X509_LOOKUP;
113 hs->wait = ssl_hs_ok;
114 return -1;
115
116 case ssl_hs_private_key_operation:
117 ssl->rwstate = SSL_PRIVATE_KEY_OPERATION;
118 hs->wait = ssl_hs_ok;
119 return -1;
120
121 case ssl_hs_ok:
122 break;
123 }
124
125 /* Run the state machine again. */
126 hs->wait = hs->do_handshake(ssl);
127 if (hs->wait == ssl_hs_error) {
128 /* Don't loop around to avoid a stray |SSL_R_SSL_HANDSHAKE_FAILURE| the
129 * first time around. */
130 return -1;
131 }
132 if (hs->wait == ssl_hs_ok) {
133 /* The handshake has completed. */
134 return 1;
135 }
136
137 /* Otherwise, loop to the beginning and resolve what was blocking the
138 * handshake. */
139 }
140}
141
142static int tls13_get_cert_verify_signature_input(SSL *ssl, uint8_t **out,
143 size_t *out_len, int server) {
144 CBB cbb;
145 if (!CBB_init(&cbb, 64 + 33 + 1 + 2 * EVP_MAX_MD_SIZE)) {
146 goto err;
147 }
148
149 for (size_t i = 0; i < 64; i++) {
150 if (!CBB_add_u8(&cbb, 0x20)) {
151 goto err;
152 }
153 }
154
155 if (server) {
156 /* Include the NUL byte. */
157 static const char kContext[] = "TLS 1.3, server CertificateVerify";
158 if (!CBB_add_bytes(&cbb, (const uint8_t *)kContext, sizeof(kContext))) {
159 goto err;
160 }
161 } else {
162 static const char kContext[] = "TLS 1.3, client CertificateVerify";
163 if (!CBB_add_bytes(&cbb, (const uint8_t *)kContext, sizeof(kContext))) {
164 goto err;
165 }
166 }
167
168 uint8_t context_hashes[2 * EVP_MAX_MD_SIZE];
169 size_t context_hashes_len;
170 if (!tls13_get_context_hashes(ssl, context_hashes, &context_hashes_len) ||
171 !CBB_add_bytes(&cbb, context_hashes, context_hashes_len) ||
172 !CBB_finish(&cbb, out, out_len)) {
173 goto err;
174 }
175
176 return 1;
177
178err:
179 OPENSSL_PUT_ERROR(SSL, ERR_R_MALLOC_FAILURE);
180 CBB_cleanup(&cbb);
181 return 0;
182}
183
184int tls13_process_certificate(SSL *ssl) {
185 CBS cbs, context;
186 CBS_init(&cbs, ssl->init_msg, ssl->init_num);
187 if (!CBS_get_u8_length_prefixed(&cbs, &context) ||
188 CBS_len(&context) != 0) {
189 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
190 OPENSSL_PUT_ERROR(SSL, SSL_R_DECODE_ERROR);
191 return 0;
192 }
193
194 int ret = 0;
195 uint8_t alert;
196 STACK_OF(X509) *chain = ssl_parse_cert_chain(
Steven Valdez87eab492016-06-27 16:34:59 -0400197 ssl, &alert, ssl->ctx->retain_only_sha256_of_client_certs
198 ? ssl->s3->new_session->peer_sha256
199 : NULL,
Steven Valdez143e8b32016-07-11 13:19:03 -0400200 &cbs);
201 if (chain == NULL) {
202 ssl3_send_alert(ssl, SSL3_AL_FATAL, alert);
203 goto err;
204 }
205
206 if (CBS_len(&cbs) != 0) {
207 OPENSSL_PUT_ERROR(SSL, SSL_R_DECODE_ERROR);
208 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
209 goto err;
210 }
211
212 if (sk_X509_num(chain) == 0) {
213 /* Clients must receive a certificate from the server. */
214 if (!ssl->server) {
215 OPENSSL_PUT_ERROR(SSL, SSL_R_DECODE_ERROR);
216 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
217 goto err;
218 }
219
220 /* Servers may be configured to accept anonymous clients. */
David Benjaminda2630c2016-08-01 19:57:43 -0400221 if (ssl->verify_mode & SSL_VERIFY_FAIL_IF_NO_PEER_CERT) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400222 OPENSSL_PUT_ERROR(SSL, SSL_R_PEER_DID_NOT_RETURN_A_CERTIFICATE);
223 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_HANDSHAKE_FAILURE);
224 goto err;
225 }
226
227 /* No certificate, so nothing more to do. */
228 ret = 1;
229 goto err;
230 }
231
232 if (ssl->server && ssl->ctx->retain_only_sha256_of_client_certs) {
233 /* The hash was filled in by |ssl_parse_cert_chain|. */
Steven Valdez87eab492016-06-27 16:34:59 -0400234 ssl->s3->new_session->peer_sha256_valid = 1;
Steven Valdez143e8b32016-07-11 13:19:03 -0400235 }
236
Steven Valdez143e8b32016-07-11 13:19:03 -0400237 int verify_ret = ssl_verify_cert_chain(ssl, chain);
238 /* If |SSL_VERIFY_NONE|, the error is non-fatal, but we keep the result. */
239 if (ssl->verify_mode != SSL_VERIFY_NONE && verify_ret <= 0) {
240 int al = ssl_verify_alarm_type(ssl->verify_result);
241 ssl3_send_alert(ssl, SSL3_AL_FATAL, al);
242 OPENSSL_PUT_ERROR(SSL, SSL_R_CERTIFICATE_VERIFY_FAILED);
243 goto err;
244 }
245 ERR_clear_error();
246
Steven Valdez87eab492016-06-27 16:34:59 -0400247 ssl->s3->new_session->verify_result = ssl->verify_result;
Steven Valdez143e8b32016-07-11 13:19:03 -0400248
Steven Valdez87eab492016-06-27 16:34:59 -0400249 X509_free(ssl->s3->new_session->peer);
David Benjamin3ce43892016-08-01 19:41:34 -0400250 ssl->s3->new_session->peer = X509_up_ref(sk_X509_value(chain, 0));
Steven Valdez143e8b32016-07-11 13:19:03 -0400251
Steven Valdez87eab492016-06-27 16:34:59 -0400252 sk_X509_pop_free(ssl->s3->new_session->cert_chain, X509_free);
253 ssl->s3->new_session->cert_chain = chain;
Steven Valdez143e8b32016-07-11 13:19:03 -0400254 chain = NULL;
255
256 ret = 1;
257
258err:
259 sk_X509_pop_free(chain, X509_free);
260 return ret;
261}
262
263int tls13_process_certificate_verify(SSL *ssl) {
264 int ret = 0;
Steven Valdez87eab492016-06-27 16:34:59 -0400265 X509 *peer = ssl->s3->new_session->peer;
Steven Valdez143e8b32016-07-11 13:19:03 -0400266 EVP_PKEY *pkey = NULL;
267 uint8_t *msg = NULL;
268 size_t msg_len;
269
270 /* Filter out unsupported certificate types. */
271 pkey = X509_get_pubkey(peer);
272 if (pkey == NULL) {
273 goto err;
274 }
275
276 CBS cbs, signature;
277 uint16_t signature_algorithm;
278 CBS_init(&cbs, ssl->init_msg, ssl->init_num);
279 if (!CBS_get_u16(&cbs, &signature_algorithm) ||
280 !CBS_get_u16_length_prefixed(&cbs, &signature) ||
281 CBS_len(&cbs) != 0) {
282 OPENSSL_PUT_ERROR(SSL, SSL_R_DECODE_ERROR);
283 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
284 goto err;
285 }
286
287 int al;
288 if (!tls12_check_peer_sigalg(ssl, &al, signature_algorithm)) {
289 ssl3_send_alert(ssl, SSL3_AL_FATAL, al);
290 goto err;
291 }
292 ssl->s3->tmp.peer_signature_algorithm = signature_algorithm;
293
294 if (!tls13_get_cert_verify_signature_input(ssl, &msg, &msg_len,
295 !ssl->server)) {
296 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
297 goto err;
298 }
299
300 int sig_ok =
301 ssl_public_key_verify(ssl, CBS_data(&signature), CBS_len(&signature),
302 signature_algorithm, pkey, msg, msg_len);
303 if (!sig_ok) {
304 OPENSSL_PUT_ERROR(SSL, SSL_R_BAD_SIGNATURE);
305 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECRYPT_ERROR);
306 goto err;
307 }
308
309 ret = 1;
310
311err:
312 EVP_PKEY_free(pkey);
313 OPENSSL_free(msg);
314 return ret;
315}
316
317int tls13_check_message_type(SSL *ssl, int type) {
318 if (ssl->s3->tmp.message_type != type) {
319 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_UNEXPECTED_MESSAGE);
320 OPENSSL_PUT_ERROR(SSL, SSL_R_UNEXPECTED_MESSAGE);
David Benjaminf2401eb2016-07-18 22:25:05 +0200321 ERR_add_error_dataf("got type %d, wanted type %d",
322 ssl->s3->tmp.message_type, type);
Steven Valdez143e8b32016-07-11 13:19:03 -0400323 return 0;
324 }
325
326 return 1;
327}
328
329int tls13_process_finished(SSL *ssl) {
330 uint8_t verify_data[EVP_MAX_MD_SIZE];
331 size_t verify_data_len;
332 if (!tls13_finished_mac(ssl, verify_data, &verify_data_len, !ssl->server)) {
333 return 0;
334 }
335
336 if (ssl->init_num != verify_data_len ||
337 CRYPTO_memcmp(verify_data, ssl->init_msg, verify_data_len) != 0) {
338 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECRYPT_ERROR);
339 OPENSSL_PUT_ERROR(SSL, SSL_R_DIGEST_CHECK_FAILED);
340 return 0;
341 }
342
343 return 1;
344}
345
346int tls13_prepare_certificate(SSL *ssl) {
347 CBB cbb, body, context;
348 if (!ssl->method->init_message(ssl, &cbb, &body, SSL3_MT_CERTIFICATE) ||
349 !CBB_add_u8_length_prefixed(&body, &context) ||
350 !CBB_add_bytes(&context, ssl->s3->hs->cert_context,
351 ssl->s3->hs->cert_context_len) ||
352 !ssl_add_cert_chain(ssl, &body) ||
353 !ssl->method->finish_message(ssl, &cbb)) {
354 CBB_cleanup(&cbb);
355 return 0;
356 }
357
358 return 1;
359}
360
361enum ssl_private_key_result_t tls13_prepare_certificate_verify(
362 SSL *ssl, int is_first_run) {
363 enum ssl_private_key_result_t ret = ssl_private_key_failure;
364 uint8_t *msg = NULL;
365 size_t msg_len;
366 CBB cbb, body;
367 CBB_zero(&cbb);
368
369 uint16_t signature_algorithm;
370 if (!tls1_choose_signature_algorithm(ssl, &signature_algorithm)) {
371 goto err;
372 }
373 if (!ssl->method->init_message(ssl, &cbb, &body,
374 SSL3_MT_CERTIFICATE_VERIFY) ||
375 !CBB_add_u16(&body, signature_algorithm)) {
376 OPENSSL_PUT_ERROR(SSL, ERR_R_INTERNAL_ERROR);
377 goto err;
378 }
379
380 /* Sign the digest. */
381 CBB child;
382 const size_t max_sig_len = ssl_private_key_max_signature_len(ssl);
383 uint8_t *sig;
384 size_t sig_len;
385 if (!CBB_add_u16_length_prefixed(&body, &child) ||
386 !CBB_reserve(&child, &sig, max_sig_len)) {
387 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
388 goto err;
389 }
390
391 enum ssl_private_key_result_t sign_result;
392 if (is_first_run) {
393 if (!tls13_get_cert_verify_signature_input(ssl, &msg, &msg_len,
394 ssl->server)) {
395 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
396 goto err;
397 }
398 sign_result = ssl_private_key_sign(ssl, sig, &sig_len, max_sig_len,
399 signature_algorithm, msg, msg_len);
400 } else {
401 sign_result = ssl_private_key_complete(ssl, sig, &sig_len, max_sig_len);
402 }
403
404 if (sign_result != ssl_private_key_success) {
405 ret = sign_result;
406 goto err;
407 }
408
409 if (!CBB_did_write(&child, sig_len) ||
410 !ssl->method->finish_message(ssl, &cbb)) {
411 goto err;
412 }
413
414 ret = ssl_private_key_success;
415
416err:
417 CBB_cleanup(&cbb);
418 OPENSSL_free(msg);
419 return ret;
420}
421
422int tls13_prepare_finished(SSL *ssl) {
423 size_t verify_data_len;
424 uint8_t verify_data[EVP_MAX_MD_SIZE];
425
426 if (!tls13_finished_mac(ssl, verify_data, &verify_data_len, ssl->server)) {
427 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
428 OPENSSL_PUT_ERROR(SSL, SSL_R_DIGEST_CHECK_FAILED);
429 return 0;
430 }
431
432 CBB cbb, body;
433 if (!ssl->method->init_message(ssl, &cbb, &body, SSL3_MT_FINISHED) ||
434 !CBB_add_bytes(&body, verify_data, verify_data_len) ||
435 !ssl->method->finish_message(ssl, &cbb)) {
436 CBB_cleanup(&cbb);
437 return 0;
438 }
439
440 return 1;
441}
Steven Valdez8e1c7be2016-07-26 12:39:22 -0400442
Steven Valdez1dc53d22016-07-26 12:27:38 -0400443static int tls13_receive_key_update(SSL *ssl) {
444 if (ssl->init_num != 0) {
445 OPENSSL_PUT_ERROR(SSL, SSL_R_DECODE_ERROR);
446 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
447 return 0;
448 }
449
450 // TODO(svaldez): Send KeyUpdate.
451 return tls13_rotate_traffic_key(ssl, evp_aead_open);
452}
453
Steven Valdez8e1c7be2016-07-26 12:39:22 -0400454int tls13_post_handshake(SSL *ssl) {
Steven Valdez1dc53d22016-07-26 12:27:38 -0400455 if (ssl->s3->tmp.message_type == SSL3_MT_KEY_UPDATE) {
456 return tls13_receive_key_update(ssl);
457 }
458
Steven Valdez8e1c7be2016-07-26 12:39:22 -0400459 if (ssl->s3->tmp.message_type == SSL3_MT_NEW_SESSION_TICKET &&
460 !ssl->server) {
Steven Valdez1e6f11a2016-07-27 11:10:52 -0400461 return tls13_process_new_session_ticket(ssl);
Steven Valdez8e1c7be2016-07-26 12:39:22 -0400462 }
463
464 // TODO(svaldez): Handle post-handshake authentication.
Steven Valdez8e1c7be2016-07-26 12:39:22 -0400465
466 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_UNEXPECTED_MESSAGE);
467 OPENSSL_PUT_ERROR(SSL, SSL_R_UNEXPECTED_MESSAGE);
468 return 0;
469}