blob: 35fea53f359886efb2eb5bccdb6402bf53072d3e [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
David Benjamin4087df92016-08-01 20:16:31 -0400184int tls13_process_certificate(SSL *ssl, int allow_anonymous) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400185 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
David Benjamin4087df92016-08-01 20:16:31 -0400194 const int retain_sha256 =
195 ssl->server && ssl->ctx->retain_only_sha256_of_client_certs;
Steven Valdez143e8b32016-07-11 13:19:03 -0400196 int ret = 0;
197 uint8_t alert;
198 STACK_OF(X509) *chain = ssl_parse_cert_chain(
David Benjamin4087df92016-08-01 20:16:31 -0400199 ssl, &alert, retain_sha256 ? ssl->s3->new_session->peer_sha256 : 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) {
David Benjamin4087df92016-08-01 20:16:31 -0400213 if (!allow_anonymous) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400214 OPENSSL_PUT_ERROR(SSL, SSL_R_PEER_DID_NOT_RETURN_A_CERTIFICATE);
215 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_HANDSHAKE_FAILURE);
216 goto err;
217 }
218
219 /* No certificate, so nothing more to do. */
220 ret = 1;
221 goto err;
222 }
223
David Benjamin4087df92016-08-01 20:16:31 -0400224 ssl->s3->new_session->peer_sha256_valid = retain_sha256;
Steven Valdez143e8b32016-07-11 13:19:03 -0400225
David Benjamine455e512016-08-01 20:11:13 -0400226 if (!ssl_verify_cert_chain(ssl, chain)) {
Steven Valdez143e8b32016-07-11 13:19:03 -0400227 goto err;
228 }
Steven Valdez143e8b32016-07-11 13:19:03 -0400229
Steven Valdez87eab492016-06-27 16:34:59 -0400230 ssl->s3->new_session->verify_result = ssl->verify_result;
Steven Valdez143e8b32016-07-11 13:19:03 -0400231
Steven Valdez87eab492016-06-27 16:34:59 -0400232 X509_free(ssl->s3->new_session->peer);
David Benjamin3ce43892016-08-01 19:41:34 -0400233 ssl->s3->new_session->peer = X509_up_ref(sk_X509_value(chain, 0));
Steven Valdez143e8b32016-07-11 13:19:03 -0400234
Steven Valdez87eab492016-06-27 16:34:59 -0400235 sk_X509_pop_free(ssl->s3->new_session->cert_chain, X509_free);
236 ssl->s3->new_session->cert_chain = chain;
Steven Valdez143e8b32016-07-11 13:19:03 -0400237 chain = NULL;
238
239 ret = 1;
240
241err:
242 sk_X509_pop_free(chain, X509_free);
243 return ret;
244}
245
246int tls13_process_certificate_verify(SSL *ssl) {
247 int ret = 0;
Steven Valdez87eab492016-06-27 16:34:59 -0400248 X509 *peer = ssl->s3->new_session->peer;
Steven Valdez143e8b32016-07-11 13:19:03 -0400249 EVP_PKEY *pkey = NULL;
250 uint8_t *msg = NULL;
251 size_t msg_len;
252
253 /* Filter out unsupported certificate types. */
254 pkey = X509_get_pubkey(peer);
255 if (pkey == NULL) {
256 goto err;
257 }
258
259 CBS cbs, signature;
260 uint16_t signature_algorithm;
261 CBS_init(&cbs, ssl->init_msg, ssl->init_num);
262 if (!CBS_get_u16(&cbs, &signature_algorithm) ||
263 !CBS_get_u16_length_prefixed(&cbs, &signature) ||
264 CBS_len(&cbs) != 0) {
265 OPENSSL_PUT_ERROR(SSL, SSL_R_DECODE_ERROR);
266 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
267 goto err;
268 }
269
270 int al;
271 if (!tls12_check_peer_sigalg(ssl, &al, signature_algorithm)) {
272 ssl3_send_alert(ssl, SSL3_AL_FATAL, al);
273 goto err;
274 }
275 ssl->s3->tmp.peer_signature_algorithm = signature_algorithm;
276
277 if (!tls13_get_cert_verify_signature_input(ssl, &msg, &msg_len,
278 !ssl->server)) {
279 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
280 goto err;
281 }
282
283 int sig_ok =
284 ssl_public_key_verify(ssl, CBS_data(&signature), CBS_len(&signature),
285 signature_algorithm, pkey, msg, msg_len);
286 if (!sig_ok) {
287 OPENSSL_PUT_ERROR(SSL, SSL_R_BAD_SIGNATURE);
288 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECRYPT_ERROR);
289 goto err;
290 }
291
292 ret = 1;
293
294err:
295 EVP_PKEY_free(pkey);
296 OPENSSL_free(msg);
297 return ret;
298}
299
300int tls13_check_message_type(SSL *ssl, int type) {
301 if (ssl->s3->tmp.message_type != type) {
302 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_UNEXPECTED_MESSAGE);
303 OPENSSL_PUT_ERROR(SSL, SSL_R_UNEXPECTED_MESSAGE);
David Benjaminf2401eb2016-07-18 22:25:05 +0200304 ERR_add_error_dataf("got type %d, wanted type %d",
305 ssl->s3->tmp.message_type, type);
Steven Valdez143e8b32016-07-11 13:19:03 -0400306 return 0;
307 }
308
309 return 1;
310}
311
312int tls13_process_finished(SSL *ssl) {
313 uint8_t verify_data[EVP_MAX_MD_SIZE];
314 size_t verify_data_len;
315 if (!tls13_finished_mac(ssl, verify_data, &verify_data_len, !ssl->server)) {
316 return 0;
317 }
318
319 if (ssl->init_num != verify_data_len ||
320 CRYPTO_memcmp(verify_data, ssl->init_msg, verify_data_len) != 0) {
321 ssl3_send_alert(ssl, SSL3_AL_FATAL, SSL_AD_DECRYPT_ERROR);
322 OPENSSL_PUT_ERROR(SSL, SSL_R_DIGEST_CHECK_FAILED);
323 return 0;
324 }
325
326 return 1;
327}
328
329int tls13_prepare_certificate(SSL *ssl) {
330 CBB cbb, body, context;
331 if (!ssl->method->init_message(ssl, &cbb, &body, SSL3_MT_CERTIFICATE) ||
332 !CBB_add_u8_length_prefixed(&body, &context) ||
333 !CBB_add_bytes(&context, ssl->s3->hs->cert_context,
334 ssl->s3->hs->cert_context_len) ||
335 !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}