blob: 038fac93c66d8aa326090bf306fa2ca752cedea6 [file] [log] [blame]
Rich Salz846e33c2016-05-17 14:18:30 -04001/*
2 * Copyright 1995-2016 The OpenSSL Project Authors. All Rights Reserved.
Rich Salzaa8f3d72017-06-15 10:16:46 -04003 * Copyright (c) 2002, Oracle and/or its affiliates. All rights reserved
Rich Salzc80149d2017-06-20 10:14:36 -04004 * Copyright 2005 Nokia. All rights reserved.
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00005 *
Rich Salz846e33c2016-05-17 14:18:30 -04006 * Licensed under the OpenSSL license (the "License"). You may not use
7 * this file except in compliance with the License. You can obtain a copy
8 * in the file LICENSE in the source distribution or at
9 * https://www.openssl.org/source/license.html
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +000010 */
Rich Salz846e33c2016-05-17 14:18:30 -040011
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +000012#include <stdio.h>
Matt Caswellfc24f0b2017-01-17 10:43:37 +000013#include <time.h>
Matt Caswell8ba708e2015-09-11 10:48:59 +010014#include "../ssl_locl.h"
Matt Caswell61ae9352015-09-11 11:23:20 +010015#include "statem_locl.h"
Bodo Möllerec577821999-04-23 22:13:45 +000016#include <openssl/buffer.h>
17#include <openssl/rand.h>
18#include <openssl/objects.h>
19#include <openssl/evp.h>
Ben Lauriedbad1692001-07-30 23:57:25 +000020#include <openssl/md5.h>
Rich Salz3c272082016-03-18 14:30:20 -040021#include <openssl/dh.h>
Geoff Thorped095b682004-05-17 18:53:47 +000022#include <openssl/bn.h>
Rich Salz3c272082016-03-18 14:30:20 -040023#include <openssl/engine.h>
Richard Levittef9b3bff2000-11-30 22:53:34 +000024
Matt Caswell3847d422017-02-01 13:31:27 +000025static MSG_PROCESS_RETURN tls_process_hello_retry_request(SSL *s, PACKET *pkt);
Matt Caswelle46f2332016-11-23 15:20:22 +000026static MSG_PROCESS_RETURN tls_process_encrypted_extensions(SSL *s, PACKET *pkt);
27
Matt Caswell7ab09632015-12-23 09:45:02 +000028static ossl_inline int cert_req_allowed(SSL *s);
Matt Caswella455d0f2015-09-14 15:06:37 +010029static int key_exchange_expected(SSL *s);
Matt Caswelld45ba432015-04-24 15:05:27 +010030static int ssl_cipher_list_to_bytes(SSL *s, STACK_OF(SSL_CIPHER) *sk,
Matt Caswellae2f7b32016-09-05 17:34:04 +010031 WPACKET *pkt);
Bodo Möllerea262262002-08-09 08:56:08 +000032
Matt Caswell61ae9352015-09-11 11:23:20 +010033/*
34 * Is a CertificateRequest message allowed at the moment or not?
35 *
36 * Return values are:
37 * 1: Yes
38 * 0: No
39 */
Matt Caswell7ab09632015-12-23 09:45:02 +000040static ossl_inline int cert_req_allowed(SSL *s)
Matt Caswell61ae9352015-09-11 11:23:20 +010041{
42 /* TLS does not like anon-DH with client cert */
Matt Caswellb7fa1f92015-10-26 23:11:44 +000043 if ((s->version > SSL3_VERSION
Emilia Kaspera230b262016-08-05 19:03:17 +020044 && (s->s3->tmp.new_cipher->algorithm_auth & SSL_aNULL))
45 || (s->s3->tmp.new_cipher->algorithm_auth & (SSL_aSRP | SSL_aPSK)))
Matt Caswell61ae9352015-09-11 11:23:20 +010046 return 0;
47
48 return 1;
49}
50
51/*
Matt Caswella455d0f2015-09-14 15:06:37 +010052 * Should we expect the ServerKeyExchange message or not?
Matt Caswell61ae9352015-09-11 11:23:20 +010053 *
54 * Return values are:
55 * 1: Yes
56 * 0: No
57 */
Matt Caswella455d0f2015-09-14 15:06:37 +010058static int key_exchange_expected(SSL *s)
Matt Caswell61ae9352015-09-11 11:23:20 +010059{
60 long alg_k = s->s3->tmp.new_cipher->algorithm_mkey;
61
62 /*
63 * Can't skip server key exchange if this is an ephemeral
Matt Caswella455d0f2015-09-14 15:06:37 +010064 * ciphersuite or for SRP
Matt Caswell61ae9352015-09-11 11:23:20 +010065 */
Matt Caswella455d0f2015-09-14 15:06:37 +010066 if (alg_k & (SSL_kDHE | SSL_kECDHE | SSL_kDHEPSK | SSL_kECDHEPSK
67 | SSL_kSRP)) {
68 return 1;
Matt Caswell61ae9352015-09-11 11:23:20 +010069 }
70
Matt Caswella455d0f2015-09-14 15:06:37 +010071 return 0;
Matt Caswell61ae9352015-09-11 11:23:20 +010072}
73
74/*
Matt Caswell8481f582015-10-26 11:54:17 +000075 * ossl_statem_client_read_transition() encapsulates the logic for the allowed
Matt Caswell0f1e51e2016-11-02 15:03:56 +000076 * handshake state transitions when a TLS1.3 client is reading messages from the
77 * server. The message type that the server has sent is provided in |mt|. The
78 * current state is in |s->statem.hand_state|.
79 *
Matt Caswell94ed2c62016-11-14 14:53:31 +000080 * Return values are 1 for success (transition allowed) and 0 on error
81 * (transition not allowed)
Matt Caswell0f1e51e2016-11-02 15:03:56 +000082 */
83static int ossl_statem_client13_read_transition(SSL *s, int mt)
84{
85 OSSL_STATEM *st = &s->statem;
86
87 /*
88 * Note: There is no case for TLS_ST_CW_CLNT_HELLO, because we haven't
89 * yet negotiated TLSv1.3 at that point so that is handled by
90 * ossl_statem_client_read_transition()
91 */
92
93 switch (st->hand_state) {
94 default:
95 break;
96
Matt Caswell3847d422017-02-01 13:31:27 +000097 case TLS_ST_CW_CLNT_HELLO:
98 /*
99 * This must a ClientHello following a HelloRetryRequest, so the only
100 * thing we can get now is a ServerHello.
101 */
102 if (mt == SSL3_MT_SERVER_HELLO) {
103 st->hand_state = TLS_ST_CR_SRVR_HELLO;
104 return 1;
105 }
106 break;
107
Matt Caswell0f1e51e2016-11-02 15:03:56 +0000108 case TLS_ST_CR_SRVR_HELLO:
Matt Caswelle46f2332016-11-23 15:20:22 +0000109 if (mt == SSL3_MT_ENCRYPTED_EXTENSIONS) {
110 st->hand_state = TLS_ST_CR_ENCRYPTED_EXTENSIONS;
111 return 1;
112 }
113 break;
114
115 case TLS_ST_CR_ENCRYPTED_EXTENSIONS:
Matt Caswell0f1e51e2016-11-02 15:03:56 +0000116 if (s->hit) {
Matt Caswell92760c22016-11-09 14:06:12 +0000117 if (mt == SSL3_MT_FINISHED) {
118 st->hand_state = TLS_ST_CR_FINISHED;
Matt Caswell0f1e51e2016-11-02 15:03:56 +0000119 return 1;
120 }
121 } else {
Matt Caswell92760c22016-11-09 14:06:12 +0000122 if (mt == SSL3_MT_CERTIFICATE_REQUEST) {
123 st->hand_state = TLS_ST_CR_CERT_REQ;
124 return 1;
Matt Caswellf5ca0b02016-11-21 12:10:35 +0000125 }
126 if (mt == SSL3_MT_CERTIFICATE) {
Matt Caswell0f1e51e2016-11-02 15:03:56 +0000127 st->hand_state = TLS_ST_CR_CERT;
128 return 1;
129 }
130 }
131 break;
132
Matt Caswell92760c22016-11-09 14:06:12 +0000133 case TLS_ST_CR_CERT_REQ:
134 if (mt == SSL3_MT_CERTIFICATE) {
135 st->hand_state = TLS_ST_CR_CERT;
136 return 1;
137 }
138 break;
139
Matt Caswell0f1e51e2016-11-02 15:03:56 +0000140 case TLS_ST_CR_CERT:
Matt Caswell2c5dfdc2016-12-05 17:04:51 +0000141 if (mt == SSL3_MT_CERTIFICATE_VERIFY) {
142 st->hand_state = TLS_ST_CR_CERT_VRFY;
143 return 1;
144 }
145 break;
146
147 case TLS_ST_CR_CERT_VRFY:
Matt Caswell0f1e51e2016-11-02 15:03:56 +0000148 if (mt == SSL3_MT_FINISHED) {
149 st->hand_state = TLS_ST_CR_FINISHED;
150 return 1;
151 }
152 break;
Matt Caswellcc2455b2017-01-11 17:18:19 +0000153
154 case TLS_ST_OK:
155 if (mt == SSL3_MT_NEWSESSION_TICKET) {
156 st->hand_state = TLS_ST_CR_SESSION_TICKET;
157 return 1;
158 }
Matt Caswelle1c3de42017-02-09 12:07:31 +0000159 if (mt == SSL3_MT_KEY_UPDATE) {
160 st->hand_state = TLS_ST_CR_KEY_UPDATE;
161 return 1;
162 }
Matt Caswellcc2455b2017-01-11 17:18:19 +0000163 break;
Matt Caswell0f1e51e2016-11-02 15:03:56 +0000164 }
165
Matt Caswell0f1e51e2016-11-02 15:03:56 +0000166 /* No valid transition found */
Matt Caswell0f1e51e2016-11-02 15:03:56 +0000167 return 0;
168}
169
170/*
171 * ossl_statem_client_read_transition() encapsulates the logic for the allowed
Matt Caswell8481f582015-10-26 11:54:17 +0000172 * handshake state transitions when the client is reading messages from the
173 * server. The message type that the server has sent is provided in |mt|. The
174 * current state is in |s->statem.hand_state|.
Matt Caswell61ae9352015-09-11 11:23:20 +0100175 *
Matt Caswell94ed2c62016-11-14 14:53:31 +0000176 * Return values are 1 for success (transition allowed) and 0 on error
177 * (transition not allowed)
Matt Caswell61ae9352015-09-11 11:23:20 +0100178 */
Matt Caswell8481f582015-10-26 11:54:17 +0000179int ossl_statem_client_read_transition(SSL *s, int mt)
Matt Caswell61ae9352015-09-11 11:23:20 +0100180{
Matt Caswelld6f1a6e2015-10-05 10:58:52 +0100181 OSSL_STATEM *st = &s->statem;
Matt Caswella455d0f2015-09-14 15:06:37 +0100182 int ske_expected;
Matt Caswell61ae9352015-09-11 11:23:20 +0100183
Matt Caswell0f1e51e2016-11-02 15:03:56 +0000184 /*
Matt Caswell3847d422017-02-01 13:31:27 +0000185 * Note that after writing the first ClientHello we don't know what version
186 * we are going to negotiate yet, so we don't take this branch until later.
Matt Caswell0f1e51e2016-11-02 15:03:56 +0000187 */
Matt Caswellf5ca0b02016-11-21 12:10:35 +0000188 if (SSL_IS_TLS13(s)) {
Matt Caswell5abeaf32016-11-15 10:30:34 +0000189 if (!ossl_statem_client13_read_transition(s, mt))
190 goto err;
191 return 1;
192 }
Matt Caswell0f1e51e2016-11-02 15:03:56 +0000193
Emilia Kaspera230b262016-08-05 19:03:17 +0200194 switch (st->hand_state) {
Rich Salzf3b3d7f2016-08-30 13:31:18 -0400195 default:
196 break;
197
Matt Caswell61ae9352015-09-11 11:23:20 +0100198 case TLS_ST_CW_CLNT_HELLO:
199 if (mt == SSL3_MT_SERVER_HELLO) {
200 st->hand_state = TLS_ST_CR_SRVR_HELLO;
201 return 1;
202 }
203
204 if (SSL_IS_DTLS(s)) {
205 if (mt == DTLS1_MT_HELLO_VERIFY_REQUEST) {
206 st->hand_state = DTLS_ST_CR_HELLO_VERIFY_REQUEST;
207 return 1;
208 }
Matt Caswell3847d422017-02-01 13:31:27 +0000209 } else {
210 if (mt == SSL3_MT_HELLO_RETRY_REQUEST) {
211 st->hand_state = TLS_ST_CR_HELLO_RETRY_REQUEST;
212 return 1;
213 }
Matt Caswell61ae9352015-09-11 11:23:20 +0100214 }
215 break;
216
Matt Caswelld7f87832017-02-25 15:59:44 +0000217 case TLS_ST_EARLY_DATA:
Matt Caswell4004ce52017-02-25 00:06:49 +0000218 /*
219 * We've not actually selected TLSv1.3 yet, but we have sent early
220 * data. The only thing allowed now is a ServerHello or a
221 * HelloRetryRequest.
222 */
223 if (mt == SSL3_MT_SERVER_HELLO) {
224 st->hand_state = TLS_ST_CR_SRVR_HELLO;
225 return 1;
226 }
227 if (mt == SSL3_MT_HELLO_RETRY_REQUEST) {
228 st->hand_state = TLS_ST_CR_HELLO_RETRY_REQUEST;
229 return 1;
230 }
231 break;
232
Matt Caswell61ae9352015-09-11 11:23:20 +0100233 case TLS_ST_CR_SRVR_HELLO:
234 if (s->hit) {
Rich Salzaff8c122016-12-08 14:18:40 -0500235 if (s->ext.ticket_expected) {
Matt Caswell61ae9352015-09-11 11:23:20 +0100236 if (mt == SSL3_MT_NEWSESSION_TICKET) {
237 st->hand_state = TLS_ST_CR_SESSION_TICKET;
238 return 1;
239 }
240 } else if (mt == SSL3_MT_CHANGE_CIPHER_SPEC) {
241 st->hand_state = TLS_ST_CR_CHANGE;
242 return 1;
243 }
244 } else {
245 if (SSL_IS_DTLS(s) && mt == DTLS1_MT_HELLO_VERIFY_REQUEST) {
246 st->hand_state = DTLS_ST_CR_HELLO_VERIFY_REQUEST;
247 return 1;
Matt Caswellad3819c2015-12-04 10:18:01 +0000248 } else if (s->version >= TLS1_VERSION
Rich Salzaff8c122016-12-08 14:18:40 -0500249 && s->ext.session_secret_cb != NULL
250 && s->session->ext.tick != NULL
Emilia Kaspera230b262016-08-05 19:03:17 +0200251 && mt == SSL3_MT_CHANGE_CIPHER_SPEC) {
Matt Caswellad3819c2015-12-04 10:18:01 +0000252 /*
253 * Normally, we can tell if the server is resuming the session
254 * from the session ID. EAP-FAST (RFC 4851), however, relies on
255 * the next server message after the ServerHello to determine if
256 * the server is resuming.
257 */
258 s->hit = 1;
259 st->hand_state = TLS_ST_CR_CHANGE;
260 return 1;
Matt Caswell61ae9352015-09-11 11:23:20 +0100261 } else if (!(s->s3->tmp.new_cipher->algorithm_auth
Emilia Kaspera230b262016-08-05 19:03:17 +0200262 & (SSL_aNULL | SSL_aSRP | SSL_aPSK))) {
Matt Caswell61ae9352015-09-11 11:23:20 +0100263 if (mt == SSL3_MT_CERTIFICATE) {
264 st->hand_state = TLS_ST_CR_CERT;
265 return 1;
266 }
267 } else {
Matt Caswella455d0f2015-09-14 15:06:37 +0100268 ske_expected = key_exchange_expected(s);
Matt Caswella455d0f2015-09-14 15:06:37 +0100269 /* SKE is optional for some PSK ciphersuites */
270 if (ske_expected
Emilia Kaspera230b262016-08-05 19:03:17 +0200271 || ((s->s3->tmp.new_cipher->algorithm_mkey & SSL_PSK)
272 && mt == SSL3_MT_SERVER_KEY_EXCHANGE)) {
Matt Caswella455d0f2015-09-14 15:06:37 +0100273 if (mt == SSL3_MT_SERVER_KEY_EXCHANGE) {
274 st->hand_state = TLS_ST_CR_KEY_EXCH;
275 return 1;
276 }
277 } else if (mt == SSL3_MT_CERTIFICATE_REQUEST
Emilia Kaspera230b262016-08-05 19:03:17 +0200278 && cert_req_allowed(s)) {
279 st->hand_state = TLS_ST_CR_CERT_REQ;
280 return 1;
Matt Caswella455d0f2015-09-14 15:06:37 +0100281 } else if (mt == SSL3_MT_SERVER_DONE) {
Emilia Kaspera230b262016-08-05 19:03:17 +0200282 st->hand_state = TLS_ST_CR_SRVR_DONE;
283 return 1;
Matt Caswell61ae9352015-09-11 11:23:20 +0100284 }
285 }
286 }
287 break;
288
289 case TLS_ST_CR_CERT:
Matt Caswellbb1aaab2015-11-05 14:31:11 +0000290 /*
291 * The CertificateStatus message is optional even if
Rich Salzaff8c122016-12-08 14:18:40 -0500292 * |ext.status_expected| is set
Matt Caswellbb1aaab2015-11-05 14:31:11 +0000293 */
Rich Salzaff8c122016-12-08 14:18:40 -0500294 if (s->ext.status_expected && mt == SSL3_MT_CERTIFICATE_STATUS) {
Matt Caswellbb1aaab2015-11-05 14:31:11 +0000295 st->hand_state = TLS_ST_CR_CERT_STATUS;
296 return 1;
Matt Caswella455d0f2015-09-14 15:06:37 +0100297 }
298 /* Fall through */
299
300 case TLS_ST_CR_CERT_STATUS:
301 ske_expected = key_exchange_expected(s);
Matt Caswella455d0f2015-09-14 15:06:37 +0100302 /* SKE is optional for some PSK ciphersuites */
Emilia Kaspera230b262016-08-05 19:03:17 +0200303 if (ske_expected || ((s->s3->tmp.new_cipher->algorithm_mkey & SSL_PSK)
304 && mt == SSL3_MT_SERVER_KEY_EXCHANGE)) {
Matt Caswell61ae9352015-09-11 11:23:20 +0100305 if (mt == SSL3_MT_SERVER_KEY_EXCHANGE) {
306 st->hand_state = TLS_ST_CR_KEY_EXCH;
307 return 1;
Matt Caswell61ae9352015-09-11 11:23:20 +0100308 }
Matt Caswell672f3332016-06-22 19:43:46 +0100309 goto err;
Matt Caswell61ae9352015-09-11 11:23:20 +0100310 }
Matt Caswella455d0f2015-09-14 15:06:37 +0100311 /* Fall through */
Matt Caswell61ae9352015-09-11 11:23:20 +0100312
313 case TLS_ST_CR_KEY_EXCH:
Matt Caswella455d0f2015-09-14 15:06:37 +0100314 if (mt == SSL3_MT_CERTIFICATE_REQUEST) {
315 if (cert_req_allowed(s)) {
316 st->hand_state = TLS_ST_CR_CERT_REQ;
317 return 1;
318 }
Matt Caswell672f3332016-06-22 19:43:46 +0100319 goto err;
Matt Caswell61ae9352015-09-11 11:23:20 +0100320 }
Matt Caswella455d0f2015-09-14 15:06:37 +0100321 /* Fall through */
Matt Caswell61ae9352015-09-11 11:23:20 +0100322
323 case TLS_ST_CR_CERT_REQ:
324 if (mt == SSL3_MT_SERVER_DONE) {
325 st->hand_state = TLS_ST_CR_SRVR_DONE;
326 return 1;
327 }
328 break;
329
330 case TLS_ST_CW_FINISHED:
Rich Salzaff8c122016-12-08 14:18:40 -0500331 if (s->ext.ticket_expected) {
David Benjaminc45d6b22016-03-05 19:35:52 -0500332 if (mt == SSL3_MT_NEWSESSION_TICKET) {
333 st->hand_state = TLS_ST_CR_SESSION_TICKET;
334 return 1;
335 }
Matt Caswell61ae9352015-09-11 11:23:20 +0100336 } else if (mt == SSL3_MT_CHANGE_CIPHER_SPEC) {
337 st->hand_state = TLS_ST_CR_CHANGE;
338 return 1;
339 }
340 break;
341
342 case TLS_ST_CR_SESSION_TICKET:
343 if (mt == SSL3_MT_CHANGE_CIPHER_SPEC) {
344 st->hand_state = TLS_ST_CR_CHANGE;
345 return 1;
346 }
347 break;
348
349 case TLS_ST_CR_CHANGE:
350 if (mt == SSL3_MT_FINISHED) {
351 st->hand_state = TLS_ST_CR_FINISHED;
352 return 1;
353 }
354 break;
Matt Caswellc7f47782017-01-10 23:02:28 +0000355
356 case TLS_ST_OK:
Matt Caswell4004ce52017-02-25 00:06:49 +0000357 if (mt == SSL3_MT_HELLO_REQUEST) {
Matt Caswellc7f47782017-01-10 23:02:28 +0000358 st->hand_state = TLS_ST_CR_HELLO_REQ;
359 return 1;
360 }
361 break;
Matt Caswell61ae9352015-09-11 11:23:20 +0100362 }
363
Matt Caswell672f3332016-06-22 19:43:46 +0100364 err:
Matt Caswell61ae9352015-09-11 11:23:20 +0100365 /* No valid transition found */
Matt Caswellf63a17d2017-11-21 17:18:43 +0000366 SSLfatal(s, SSL3_AD_UNEXPECTED_MESSAGE,
367 SSL_F_OSSL_STATEM_CLIENT_READ_TRANSITION,
368 SSL_R_UNEXPECTED_MESSAGE);
Matt Caswell61ae9352015-09-11 11:23:20 +0100369 return 0;
370}
371
372/*
Matt Caswell0f1e51e2016-11-02 15:03:56 +0000373 * ossl_statem_client13_write_transition() works out what handshake state to
374 * move to next when the TLSv1.3 client is writing messages to be sent to the
375 * server.
Matt Caswell0f1e51e2016-11-02 15:03:56 +0000376 */
377static WRITE_TRAN ossl_statem_client13_write_transition(SSL *s)
378{
379 OSSL_STATEM *st = &s->statem;
380
381 /*
Matt Caswell3847d422017-02-01 13:31:27 +0000382 * Note: There are no cases for TLS_ST_BEFORE because we haven't negotiated
383 * TLSv1.3 yet at that point. They are handled by
384 * ossl_statem_client_write_transition().
Matt Caswell0f1e51e2016-11-02 15:03:56 +0000385 */
386 switch (st->hand_state) {
387 default:
388 /* Shouldn't happen */
Matt Caswella2c2e002017-11-22 17:18:39 +0000389 SSLfatal(s, SSL_AD_INTERNAL_ERROR,
390 SSL_F_OSSL_STATEM_CLIENT13_WRITE_TRANSITION,
391 ERR_R_INTERNAL_ERROR);
Matt Caswell0f1e51e2016-11-02 15:03:56 +0000392 return WRITE_TRAN_ERROR;
393
Matt Caswell3847d422017-02-01 13:31:27 +0000394 case TLS_ST_CW_CLNT_HELLO:
395 /* We only hit this in the case of HelloRetryRequest */
396 return WRITE_TRAN_FINISHED;
397
Matt Caswell92760c22016-11-09 14:06:12 +0000398 case TLS_ST_CR_FINISHED:
Matt Caswellef6c1912017-03-09 15:03:07 +0000399 if (s->early_data_state == SSL_EARLY_DATA_WRITE_RETRY
400 || s->early_data_state == SSL_EARLY_DATA_FINISHED_WRITING)
Matt Caswelld7f87832017-02-25 15:59:44 +0000401 st->hand_state = TLS_ST_PENDING_EARLY_DATA_END;
Matt Caswell564547e2017-02-25 15:34:07 +0000402 else
403 st->hand_state = (s->s3->tmp.cert_req != 0) ? TLS_ST_CW_CERT
404 : TLS_ST_CW_FINISHED;
405 return WRITE_TRAN_CONTINUE;
406
Matt Caswelld7f87832017-02-25 15:59:44 +0000407 case TLS_ST_PENDING_EARLY_DATA_END:
Matt Caswellef6c1912017-03-09 15:03:07 +0000408 if (s->ext.early_data == SSL_EARLY_DATA_ACCEPTED) {
409 st->hand_state = TLS_ST_CW_END_OF_EARLY_DATA;
410 return WRITE_TRAN_CONTINUE;
411 }
412 /* Fall through */
413
414 case TLS_ST_CW_END_OF_EARLY_DATA:
Matt Caswell94ed2c62016-11-14 14:53:31 +0000415 st->hand_state = (s->s3->tmp.cert_req != 0) ? TLS_ST_CW_CERT
Matt Caswell92760c22016-11-09 14:06:12 +0000416 : TLS_ST_CW_FINISHED;
Matt Caswell0f1e51e2016-11-02 15:03:56 +0000417 return WRITE_TRAN_CONTINUE;
418
419 case TLS_ST_CW_CERT:
420 /* If a non-empty Certificate we also send CertificateVerify */
Matt Caswell94ed2c62016-11-14 14:53:31 +0000421 st->hand_state = (s->s3->tmp.cert_req == 1) ? TLS_ST_CW_CERT_VRFY
Matt Caswell92760c22016-11-09 14:06:12 +0000422 : TLS_ST_CW_FINISHED;
Matt Caswell0f1e51e2016-11-02 15:03:56 +0000423 return WRITE_TRAN_CONTINUE;
424
425 case TLS_ST_CW_CERT_VRFY:
Matt Caswell0f1e51e2016-11-02 15:03:56 +0000426 st->hand_state = TLS_ST_CW_FINISHED;
427 return WRITE_TRAN_CONTINUE;
428
Matt Caswelle1c3de42017-02-09 12:07:31 +0000429 case TLS_ST_CR_KEY_UPDATE:
Matt Caswell5bf47932017-02-09 16:00:12 +0000430 if (s->key_update != SSL_KEY_UPDATE_NONE) {
431 st->hand_state = TLS_ST_CW_KEY_UPDATE;
432 return WRITE_TRAN_CONTINUE;
433 }
434 /* Fall through */
435
Matt Caswell9412b3a2017-02-09 13:12:00 +0000436 case TLS_ST_CW_KEY_UPDATE:
Matt Caswellcc2455b2017-01-11 17:18:19 +0000437 case TLS_ST_CR_SESSION_TICKET:
Matt Caswell0f1e51e2016-11-02 15:03:56 +0000438 case TLS_ST_CW_FINISHED:
Matt Caswell94ed2c62016-11-14 14:53:31 +0000439 st->hand_state = TLS_ST_OK;
Matt Caswell94ed2c62016-11-14 14:53:31 +0000440 return WRITE_TRAN_CONTINUE;
Matt Caswellcc2455b2017-01-11 17:18:19 +0000441
442 case TLS_ST_OK:
Matt Caswell9412b3a2017-02-09 13:12:00 +0000443 if (s->key_update != SSL_KEY_UPDATE_NONE) {
444 st->hand_state = TLS_ST_CW_KEY_UPDATE;
445 return WRITE_TRAN_CONTINUE;
446 }
447
448 /* Try to read from the server instead */
Matt Caswellcc2455b2017-01-11 17:18:19 +0000449 return WRITE_TRAN_FINISHED;
Matt Caswell0f1e51e2016-11-02 15:03:56 +0000450 }
451}
452
453/*
454 * ossl_statem_client_write_transition() works out what handshake state to
455 * move to next when the client is writing messages to be sent to the server.
Matt Caswell61ae9352015-09-11 11:23:20 +0100456 */
Matt Caswell8481f582015-10-26 11:54:17 +0000457WRITE_TRAN ossl_statem_client_write_transition(SSL *s)
Matt Caswell61ae9352015-09-11 11:23:20 +0100458{
Matt Caswelld6f1a6e2015-10-05 10:58:52 +0100459 OSSL_STATEM *st = &s->statem;
Matt Caswell61ae9352015-09-11 11:23:20 +0100460
Matt Caswell0f1e51e2016-11-02 15:03:56 +0000461 /*
462 * Note that immediately before/after a ClientHello we don't know what
463 * version we are going to negotiate yet, so we don't take this branch until
464 * later
465 */
Matt Caswellf5ca0b02016-11-21 12:10:35 +0000466 if (SSL_IS_TLS13(s))
Matt Caswell0f1e51e2016-11-02 15:03:56 +0000467 return ossl_statem_client13_write_transition(s);
468
Emilia Kaspera230b262016-08-05 19:03:17 +0200469 switch (st->hand_state) {
Rich Salzf3b3d7f2016-08-30 13:31:18 -0400470 default:
471 /* Shouldn't happen */
Matt Caswella2c2e002017-11-22 17:18:39 +0000472 SSLfatal(s, SSL_AD_INTERNAL_ERROR,
473 SSL_F_OSSL_STATEM_CLIENT_WRITE_TRANSITION,
474 ERR_R_INTERNAL_ERROR);
Rich Salzf3b3d7f2016-08-30 13:31:18 -0400475 return WRITE_TRAN_ERROR;
476
Emilia Kaspera230b262016-08-05 19:03:17 +0200477 case TLS_ST_OK:
Matt Caswellc7f47782017-01-10 23:02:28 +0000478 if (!s->renegotiate) {
479 /*
480 * We haven't requested a renegotiation ourselves so we must have
481 * received a message from the server. Better read it.
482 */
483 return WRITE_TRAN_FINISHED;
484 }
Bernd Edlinger018fcbe2017-05-11 16:21:37 +0200485 /* Renegotiation */
486 /* fall thru */
Emilia Kaspera230b262016-08-05 19:03:17 +0200487 case TLS_ST_BEFORE:
488 st->hand_state = TLS_ST_CW_CLNT_HELLO;
489 return WRITE_TRAN_CONTINUE;
Matt Caswell61ae9352015-09-11 11:23:20 +0100490
Emilia Kaspera230b262016-08-05 19:03:17 +0200491 case TLS_ST_CW_CLNT_HELLO:
Matt Caswell49e7fe12017-02-21 09:22:22 +0000492 if (s->early_data_state == SSL_EARLY_DATA_CONNECTING) {
493 /*
494 * We are assuming this is a TLSv1.3 connection, although we haven't
495 * actually selected a version yet.
496 */
Matt Caswelld7f87832017-02-25 15:59:44 +0000497 st->hand_state = TLS_ST_EARLY_DATA;
Matt Caswell49e7fe12017-02-21 09:22:22 +0000498 return WRITE_TRAN_CONTINUE;
499 }
Emilia Kaspera230b262016-08-05 19:03:17 +0200500 /*
501 * No transition at the end of writing because we don't know what
502 * we will be sent
503 */
504 return WRITE_TRAN_FINISHED;
Matt Caswell61ae9352015-09-11 11:23:20 +0100505
Matt Caswella2b97bd2017-10-13 11:41:50 +0100506 case TLS_ST_CR_HELLO_RETRY_REQUEST:
507 st->hand_state = TLS_ST_CW_CLNT_HELLO;
508 return WRITE_TRAN_CONTINUE;
509
Matt Caswelld7f87832017-02-25 15:59:44 +0000510 case TLS_ST_EARLY_DATA:
Matt Caswell4004ce52017-02-25 00:06:49 +0000511 return WRITE_TRAN_FINISHED;
512
Emilia Kaspera230b262016-08-05 19:03:17 +0200513 case DTLS_ST_CR_HELLO_VERIFY_REQUEST:
514 st->hand_state = TLS_ST_CW_CLNT_HELLO;
515 return WRITE_TRAN_CONTINUE;
Matt Caswell61ae9352015-09-11 11:23:20 +0100516
Emilia Kaspera230b262016-08-05 19:03:17 +0200517 case TLS_ST_CR_SRVR_DONE:
518 if (s->s3->tmp.cert_req)
519 st->hand_state = TLS_ST_CW_CERT;
520 else
Matt Caswell61ae9352015-09-11 11:23:20 +0100521 st->hand_state = TLS_ST_CW_KEY_EXCH;
Emilia Kaspera230b262016-08-05 19:03:17 +0200522 return WRITE_TRAN_CONTINUE;
Matt Caswell61ae9352015-09-11 11:23:20 +0100523
Emilia Kaspera230b262016-08-05 19:03:17 +0200524 case TLS_ST_CW_CERT:
525 st->hand_state = TLS_ST_CW_KEY_EXCH;
526 return WRITE_TRAN_CONTINUE;
Matt Caswell61ae9352015-09-11 11:23:20 +0100527
Emilia Kaspera230b262016-08-05 19:03:17 +0200528 case TLS_ST_CW_KEY_EXCH:
529 /*
530 * For TLS, cert_req is set to 2, so a cert chain of nothing is
531 * sent, but no verify packet is sent
532 */
533 /*
534 * XXX: For now, we do not support client authentication in ECDH
535 * cipher suites with ECDH (rather than ECDSA) certificates. We
536 * need to skip the certificate verify message when client's
537 * ECDH public key is sent inside the client certificate.
538 */
539 if (s->s3->tmp.cert_req == 1) {
540 st->hand_state = TLS_ST_CW_CERT_VRFY;
541 } else {
Matt Caswell61ae9352015-09-11 11:23:20 +0100542 st->hand_state = TLS_ST_CW_CHANGE;
Emilia Kaspera230b262016-08-05 19:03:17 +0200543 }
544 if (s->s3->flags & TLS1_FLAGS_SKIP_CERT_VERIFY) {
545 st->hand_state = TLS_ST_CW_CHANGE;
546 }
547 return WRITE_TRAN_CONTINUE;
Matt Caswell61ae9352015-09-11 11:23:20 +0100548
Emilia Kaspera230b262016-08-05 19:03:17 +0200549 case TLS_ST_CW_CERT_VRFY:
550 st->hand_state = TLS_ST_CW_CHANGE;
551 return WRITE_TRAN_CONTINUE;
552
553 case TLS_ST_CW_CHANGE:
Matt Caswell61ae9352015-09-11 11:23:20 +0100554#if defined(OPENSSL_NO_NEXTPROTONEG)
Matt Caswell4004ce52017-02-25 00:06:49 +0000555 st->
556 hand_state = TLS_ST_CW_FINISHED;
Matt Caswell61ae9352015-09-11 11:23:20 +0100557#else
Rich Salzaff8c122016-12-08 14:18:40 -0500558 if (!SSL_IS_DTLS(s) && s->s3->npn_seen)
Emilia Kaspera230b262016-08-05 19:03:17 +0200559 st->hand_state = TLS_ST_CW_NEXT_PROTO;
560 else
561 st->hand_state = TLS_ST_CW_FINISHED;
Matt Caswell61ae9352015-09-11 11:23:20 +0100562#endif
Emilia Kaspera230b262016-08-05 19:03:17 +0200563 return WRITE_TRAN_CONTINUE;
Matt Caswell61ae9352015-09-11 11:23:20 +0100564
565#if !defined(OPENSSL_NO_NEXTPROTONEG)
Emilia Kaspera230b262016-08-05 19:03:17 +0200566 case TLS_ST_CW_NEXT_PROTO:
567 st->hand_state = TLS_ST_CW_FINISHED;
568 return WRITE_TRAN_CONTINUE;
Matt Caswell61ae9352015-09-11 11:23:20 +0100569#endif
570
Emilia Kaspera230b262016-08-05 19:03:17 +0200571 case TLS_ST_CW_FINISHED:
572 if (s->hit) {
573 st->hand_state = TLS_ST_OK;
Emilia Kaspera230b262016-08-05 19:03:17 +0200574 return WRITE_TRAN_CONTINUE;
575 } else {
576 return WRITE_TRAN_FINISHED;
577 }
Matt Caswell61ae9352015-09-11 11:23:20 +0100578
Emilia Kaspera230b262016-08-05 19:03:17 +0200579 case TLS_ST_CR_FINISHED:
580 if (s->hit) {
581 st->hand_state = TLS_ST_CW_CHANGE;
582 return WRITE_TRAN_CONTINUE;
583 } else {
584 st->hand_state = TLS_ST_OK;
Emilia Kaspera230b262016-08-05 19:03:17 +0200585 return WRITE_TRAN_CONTINUE;
586 }
Matt Caswellc7f47782017-01-10 23:02:28 +0000587
588 case TLS_ST_CR_HELLO_REQ:
589 /*
590 * If we can renegotiate now then do so, otherwise wait for a more
591 * convenient time.
592 */
593 if (ssl3_renegotiate_check(s, 1)) {
594 if (!tls_setup_handshake(s)) {
Matt Caswellf63a17d2017-11-21 17:18:43 +0000595 /* SSLfatal() already called */
Matt Caswellc7f47782017-01-10 23:02:28 +0000596 return WRITE_TRAN_ERROR;
597 }
598 st->hand_state = TLS_ST_CW_CLNT_HELLO;
599 return WRITE_TRAN_CONTINUE;
600 }
601 st->hand_state = TLS_ST_OK;
Matt Caswellc7f47782017-01-10 23:02:28 +0000602 return WRITE_TRAN_CONTINUE;
Matt Caswell61ae9352015-09-11 11:23:20 +0100603 }
604}
605
606/*
607 * Perform any pre work that needs to be done prior to sending a message from
608 * the client to the server.
609 */
Matt Caswell8481f582015-10-26 11:54:17 +0000610WORK_STATE ossl_statem_client_pre_work(SSL *s, WORK_STATE wst)
Matt Caswell61ae9352015-09-11 11:23:20 +0100611{
Matt Caswelld6f1a6e2015-10-05 10:58:52 +0100612 OSSL_STATEM *st = &s->statem;
Matt Caswell61ae9352015-09-11 11:23:20 +0100613
Emilia Kaspera230b262016-08-05 19:03:17 +0200614 switch (st->hand_state) {
Rich Salzf3b3d7f2016-08-30 13:31:18 -0400615 default:
616 /* No pre work to be done */
617 break;
618
Matt Caswell61ae9352015-09-11 11:23:20 +0100619 case TLS_ST_CW_CLNT_HELLO:
620 s->shutdown = 0;
621 if (SSL_IS_DTLS(s)) {
622 /* every DTLS ClientHello resets Finished MAC */
Matt Caswell2c4a0562016-06-03 11:59:19 +0100623 if (!ssl3_init_finished_mac(s)) {
Matt Caswellf63a17d2017-11-21 17:18:43 +0000624 /* SSLfatal() already called */
Matt Caswell2c4a0562016-06-03 11:59:19 +0100625 return WORK_ERROR;
626 }
Matt Caswell61ae9352015-09-11 11:23:20 +0100627 }
628 break;
629
Matt Caswell61ae9352015-09-11 11:23:20 +0100630 case TLS_ST_CW_CHANGE:
631 if (SSL_IS_DTLS(s)) {
632 if (s->hit) {
633 /*
634 * We're into the last flight so we don't retransmit these
635 * messages unless we need to.
636 */
637 st->use_timer = 0;
638 }
639#ifndef OPENSSL_NO_SCTP
Matt Caswella2c2e002017-11-22 17:18:39 +0000640 if (BIO_dgram_is_sctp(SSL_get_wbio(s))) {
641 /* Calls SSLfatal() as required */
Matt Caswell61ae9352015-09-11 11:23:20 +0100642 return dtls_wait_for_dry(s);
Matt Caswella2c2e002017-11-22 17:18:39 +0000643 }
Matt Caswell61ae9352015-09-11 11:23:20 +0100644#endif
645 }
Rich Salzf3b3d7f2016-08-30 13:31:18 -0400646 break;
Matt Caswell61ae9352015-09-11 11:23:20 +0100647
Matt Caswelld7f87832017-02-25 15:59:44 +0000648 case TLS_ST_PENDING_EARLY_DATA_END:
Matt Caswellef6c1912017-03-09 15:03:07 +0000649 /*
650 * If we've been called by SSL_do_handshake()/SSL_write(), or we did not
651 * attempt to write early data before calling SSL_read() then we press
652 * on with the handshake. Otherwise we pause here.
653 */
654 if (s->early_data_state == SSL_EARLY_DATA_FINISHED_WRITING
655 || s->early_data_state == SSL_EARLY_DATA_NONE)
656 return WORK_FINISHED_CONTINUE;
657 /* Fall through */
658
659 case TLS_ST_EARLY_DATA:
Matt Caswell61ae9352015-09-11 11:23:20 +0100660 case TLS_ST_OK:
Matt Caswella2c2e002017-11-22 17:18:39 +0000661 /* Calls SSLfatal() as required */
Matt Caswell30f05b12017-01-13 09:19:10 +0000662 return tls_finish_handshake(s, wst, 1);
Matt Caswell61ae9352015-09-11 11:23:20 +0100663 }
664
665 return WORK_FINISHED_CONTINUE;
666}
667
668/*
669 * Perform any work that needs to be done after sending a message from the
670 * client to the server.
671 */
Matt Caswell8481f582015-10-26 11:54:17 +0000672WORK_STATE ossl_statem_client_post_work(SSL *s, WORK_STATE wst)
Matt Caswell61ae9352015-09-11 11:23:20 +0100673{
Matt Caswelld6f1a6e2015-10-05 10:58:52 +0100674 OSSL_STATEM *st = &s->statem;
Matt Caswell61ae9352015-09-11 11:23:20 +0100675
676 s->init_num = 0;
677
Emilia Kaspera230b262016-08-05 19:03:17 +0200678 switch (st->hand_state) {
Rich Salzf3b3d7f2016-08-30 13:31:18 -0400679 default:
680 /* No post work to be done */
681 break;
682
Matt Caswell61ae9352015-09-11 11:23:20 +0100683 case TLS_ST_CW_CLNT_HELLO:
Matt Caswell46417562016-05-17 12:28:14 +0100684 if (wst == WORK_MORE_A && statem_flush(s) != 1)
Matt Caswell61ae9352015-09-11 11:23:20 +0100685 return WORK_MORE_A;
Matt Caswell46417562016-05-17 12:28:14 +0100686
Matt Caswell61ae9352015-09-11 11:23:20 +0100687 if (SSL_IS_DTLS(s)) {
688 /* Treat the next message as the first packet */
689 s->first_packet = 1;
690 }
Matt Caswell6cb42262017-02-21 16:40:16 +0000691
692 if (s->early_data_state == SSL_EARLY_DATA_CONNECTING
693 && s->max_early_data > 0) {
694 /*
695 * We haven't selected TLSv1.3 yet so we don't call the change
696 * cipher state function associated with the SSL_METHOD. Instead
697 * we call tls13_change_cipher_state() directly.
698 */
699 if (!tls13_change_cipher_state(s,
Matt Caswella2c2e002017-11-22 17:18:39 +0000700 SSL3_CC_EARLY | SSL3_CHANGE_CIPHER_CLIENT_WRITE)) {
701 /* SSLfatal() already called */
Matt Caswell1ea4d092017-02-22 13:01:48 +0000702 return WORK_ERROR;
Matt Caswella2c2e002017-11-22 17:18:39 +0000703 }
Matt Caswell6cb42262017-02-21 16:40:16 +0000704 }
Matt Caswell61ae9352015-09-11 11:23:20 +0100705 break;
706
Matt Caswellef6c1912017-03-09 15:03:07 +0000707 case TLS_ST_CW_END_OF_EARLY_DATA:
708 /*
709 * We set the enc_write_ctx back to NULL because we may end up writing
710 * in cleartext again if we get a HelloRetryRequest from the server.
711 */
712 EVP_CIPHER_CTX_free(s->enc_write_ctx);
713 s->enc_write_ctx = NULL;
714 break;
715
Matt Caswell61ae9352015-09-11 11:23:20 +0100716 case TLS_ST_CW_KEY_EXCH:
Matt Caswella2c2e002017-11-22 17:18:39 +0000717 if (tls_client_key_exchange_post_work(s) == 0) {
718 /* SSLfatal() already called */
Matt Caswell61ae9352015-09-11 11:23:20 +0100719 return WORK_ERROR;
Matt Caswella2c2e002017-11-22 17:18:39 +0000720 }
Matt Caswell61ae9352015-09-11 11:23:20 +0100721 break;
722
723 case TLS_ST_CW_CHANGE:
724 s->session->cipher = s->s3->tmp.new_cipher;
725#ifdef OPENSSL_NO_COMP
726 s->session->compress_meth = 0;
727#else
728 if (s->s3->tmp.new_compression == NULL)
729 s->session->compress_meth = 0;
730 else
731 s->session->compress_meth = s->s3->tmp.new_compression->id;
732#endif
Matt Caswella2c2e002017-11-22 17:18:39 +0000733 if (!s->method->ssl3_enc->setup_key_block(s)) {
734 /* SSLfatal() already called */
Matt Caswell61ae9352015-09-11 11:23:20 +0100735 return WORK_ERROR;
Matt Caswella2c2e002017-11-22 17:18:39 +0000736 }
Matt Caswell61ae9352015-09-11 11:23:20 +0100737
738 if (!s->method->ssl3_enc->change_cipher_state(s,
Matt Caswella2c2e002017-11-22 17:18:39 +0000739 SSL3_CHANGE_CIPHER_CLIENT_WRITE)) {
740 /* SSLfatal() already called */
Matt Caswell61ae9352015-09-11 11:23:20 +0100741 return WORK_ERROR;
Matt Caswella2c2e002017-11-22 17:18:39 +0000742 }
Matt Caswell61ae9352015-09-11 11:23:20 +0100743
744 if (SSL_IS_DTLS(s)) {
745#ifndef OPENSSL_NO_SCTP
746 if (s->hit) {
747 /*
748 * Change to new shared key of SCTP-Auth, will be ignored if
749 * no SCTP used.
750 */
751 BIO_ctrl(SSL_get_wbio(s), BIO_CTRL_DGRAM_SCTP_NEXT_AUTH_KEY,
752 0, NULL);
753 }
754#endif
755
756 dtls1_reset_seq_numbers(s, SSL3_CC_WRITE);
757 }
758 break;
759
760 case TLS_ST_CW_FINISHED:
761#ifndef OPENSSL_NO_SCTP
762 if (wst == WORK_MORE_A && SSL_IS_DTLS(s) && s->hit == 0) {
763 /*
764 * Change to new shared key of SCTP-Auth, will be ignored if
765 * no SCTP used.
766 */
767 BIO_ctrl(SSL_get_wbio(s), BIO_CTRL_DGRAM_SCTP_NEXT_AUTH_KEY,
768 0, NULL);
769 }
770#endif
771 if (statem_flush(s) != 1)
772 return WORK_MORE_B;
Matt Caswell92760c22016-11-09 14:06:12 +0000773
774 if (SSL_IS_TLS13(s)) {
775 if (!s->method->ssl3_enc->change_cipher_state(s,
Matt Caswella2c2e002017-11-22 17:18:39 +0000776 SSL3_CC_APPLICATION | SSL3_CHANGE_CIPHER_CLIENT_WRITE)) {
777 /* SSLfatal() already called */
778 return WORK_ERROR;
779 }
Matt Caswell92760c22016-11-09 14:06:12 +0000780 }
Matt Caswell61ae9352015-09-11 11:23:20 +0100781 break;
Matt Caswell9412b3a2017-02-09 13:12:00 +0000782
783 case TLS_ST_CW_KEY_UPDATE:
784 if (statem_flush(s) != 1)
785 return WORK_MORE_A;
Matt Caswella2c2e002017-11-22 17:18:39 +0000786 if (!tls13_update_key(s, 1)) {
787 /* SSLfatal() already called */
Matt Caswell57389a32017-02-10 17:43:09 +0000788 return WORK_ERROR;
Matt Caswella2c2e002017-11-22 17:18:39 +0000789 }
Matt Caswell9412b3a2017-02-09 13:12:00 +0000790 break;
Matt Caswell61ae9352015-09-11 11:23:20 +0100791 }
792
793 return WORK_FINISHED_CONTINUE;
794}
795
796/*
Matt Caswell6392fb82016-09-30 11:17:57 +0100797 * Get the message construction function and message type for sending from the
798 * client
Matt Caswell61ae9352015-09-11 11:23:20 +0100799 *
800 * Valid return values are:
801 * 1: Success
802 * 0: Error
803 */
Matt Caswell6392fb82016-09-30 11:17:57 +0100804int ossl_statem_client_construct_message(SSL *s, WPACKET *pkt,
Matt Caswella15c9532016-10-03 15:35:17 +0100805 confunc_f *confunc, int *mt)
Matt Caswell61ae9352015-09-11 11:23:20 +0100806{
Matt Caswelld6f1a6e2015-10-05 10:58:52 +0100807 OSSL_STATEM *st = &s->statem;
Matt Caswell61ae9352015-09-11 11:23:20 +0100808
Matt Caswell4a01c592016-09-30 10:38:32 +0100809 switch (st->hand_state) {
810 default:
811 /* Shouldn't happen */
Matt Caswellf63a17d2017-11-21 17:18:43 +0000812 SSLfatal(s, SSL_AD_INTERNAL_ERROR,
813 SSL_F_OSSL_STATEM_CLIENT_CONSTRUCT_MESSAGE,
814 SSL_R_BAD_HANDSHAKE_STATE);
Matt Caswell4a01c592016-09-30 10:38:32 +0100815 return 0;
816
817 case TLS_ST_CW_CHANGE:
Matt Caswell61ae9352015-09-11 11:23:20 +0100818 if (SSL_IS_DTLS(s))
Matt Caswell6392fb82016-09-30 11:17:57 +0100819 *confunc = dtls_construct_change_cipher_spec;
Matt Caswell4a01c592016-09-30 10:38:32 +0100820 else
Matt Caswell6392fb82016-09-30 11:17:57 +0100821 *confunc = tls_construct_change_cipher_spec;
822 *mt = SSL3_MT_CHANGE_CIPHER_SPEC;
Matt Caswell4a01c592016-09-30 10:38:32 +0100823 break;
Matt Caswell5923ad42016-09-30 00:27:40 +0100824
Matt Caswell4a01c592016-09-30 10:38:32 +0100825 case TLS_ST_CW_CLNT_HELLO:
Matt Caswell6392fb82016-09-30 11:17:57 +0100826 *confunc = tls_construct_client_hello;
827 *mt = SSL3_MT_CLIENT_HELLO;
Matt Caswell4a01c592016-09-30 10:38:32 +0100828 break;
Matt Caswell5923ad42016-09-30 00:27:40 +0100829
Matt Caswellef6c1912017-03-09 15:03:07 +0000830 case TLS_ST_CW_END_OF_EARLY_DATA:
831 *confunc = tls_construct_end_of_early_data;
832 *mt = SSL3_MT_END_OF_EARLY_DATA;
833 break;
834
835 case TLS_ST_PENDING_EARLY_DATA_END:
836 *confunc = NULL;
837 *mt = SSL3_MT_DUMMY;
838 break;
839
Matt Caswell4a01c592016-09-30 10:38:32 +0100840 case TLS_ST_CW_CERT:
Matt Caswell6392fb82016-09-30 11:17:57 +0100841 *confunc = tls_construct_client_certificate;
842 *mt = SSL3_MT_CERTIFICATE;
Matt Caswell4a01c592016-09-30 10:38:32 +0100843 break;
Matt Caswell5923ad42016-09-30 00:27:40 +0100844
Matt Caswell4a01c592016-09-30 10:38:32 +0100845 case TLS_ST_CW_KEY_EXCH:
Matt Caswell6392fb82016-09-30 11:17:57 +0100846 *confunc = tls_construct_client_key_exchange;
847 *mt = SSL3_MT_CLIENT_KEY_EXCHANGE;
Matt Caswell4a01c592016-09-30 10:38:32 +0100848 break;
Matt Caswell5923ad42016-09-30 00:27:40 +0100849
Matt Caswell4a01c592016-09-30 10:38:32 +0100850 case TLS_ST_CW_CERT_VRFY:
Matt Caswelld8bc1392016-12-05 14:59:25 +0000851 *confunc = tls_construct_cert_verify;
Matt Caswell6392fb82016-09-30 11:17:57 +0100852 *mt = SSL3_MT_CERTIFICATE_VERIFY;
Matt Caswell4a01c592016-09-30 10:38:32 +0100853 break;
Matt Caswell61ae9352015-09-11 11:23:20 +0100854
855#if !defined(OPENSSL_NO_NEXTPROTONEG)
Matt Caswell4a01c592016-09-30 10:38:32 +0100856 case TLS_ST_CW_NEXT_PROTO:
Matt Caswell6392fb82016-09-30 11:17:57 +0100857 *confunc = tls_construct_next_proto;
858 *mt = SSL3_MT_NEXT_PROTO;
Matt Caswell4a01c592016-09-30 10:38:32 +0100859 break;
Matt Caswell61ae9352015-09-11 11:23:20 +0100860#endif
Matt Caswell4a01c592016-09-30 10:38:32 +0100861 case TLS_ST_CW_FINISHED:
Matt Caswell6392fb82016-09-30 11:17:57 +0100862 *confunc = tls_construct_finished;
863 *mt = SSL3_MT_FINISHED;
Matt Caswell4a01c592016-09-30 10:38:32 +0100864 break;
Matt Caswell9412b3a2017-02-09 13:12:00 +0000865
866 case TLS_ST_CW_KEY_UPDATE:
867 *confunc = tls_construct_key_update;
868 *mt = SSL3_MT_KEY_UPDATE;
869 break;
Matt Caswell4a01c592016-09-30 10:38:32 +0100870 }
Matt Caswell5923ad42016-09-30 00:27:40 +0100871
Matt Caswell5923ad42016-09-30 00:27:40 +0100872 return 1;
Matt Caswell61ae9352015-09-11 11:23:20 +0100873}
874
875/*
876 * Returns the maximum allowed length for the current message that we are
877 * reading. Excludes the message header.
878 */
Matt Caswelleda75752016-09-06 12:05:25 +0100879size_t ossl_statem_client_max_message_size(SSL *s)
Matt Caswell61ae9352015-09-11 11:23:20 +0100880{
Matt Caswelld6f1a6e2015-10-05 10:58:52 +0100881 OSSL_STATEM *st = &s->statem;
Matt Caswell61ae9352015-09-11 11:23:20 +0100882
Emilia Kaspera230b262016-08-05 19:03:17 +0200883 switch (st->hand_state) {
Rich Salzf3b3d7f2016-08-30 13:31:18 -0400884 default:
885 /* Shouldn't happen */
886 return 0;
887
Emilia Kaspera230b262016-08-05 19:03:17 +0200888 case TLS_ST_CR_SRVR_HELLO:
889 return SERVER_HELLO_MAX_LENGTH;
Matt Caswell61ae9352015-09-11 11:23:20 +0100890
Emilia Kaspera230b262016-08-05 19:03:17 +0200891 case DTLS_ST_CR_HELLO_VERIFY_REQUEST:
892 return HELLO_VERIFY_REQUEST_MAX_LENGTH;
Matt Caswell61ae9352015-09-11 11:23:20 +0100893
Matt Caswell3847d422017-02-01 13:31:27 +0000894 case TLS_ST_CR_HELLO_RETRY_REQUEST:
895 return HELLO_RETRY_REQUEST_MAX_LENGTH;
896
Emilia Kaspera230b262016-08-05 19:03:17 +0200897 case TLS_ST_CR_CERT:
898 return s->max_cert_list;
Matt Caswell61ae9352015-09-11 11:23:20 +0100899
Matt Caswell2c5dfdc2016-12-05 17:04:51 +0000900 case TLS_ST_CR_CERT_VRFY:
901 return SSL3_RT_MAX_PLAIN_LENGTH;
902
Emilia Kaspera230b262016-08-05 19:03:17 +0200903 case TLS_ST_CR_CERT_STATUS:
904 return SSL3_RT_MAX_PLAIN_LENGTH;
Matt Caswell61ae9352015-09-11 11:23:20 +0100905
Emilia Kaspera230b262016-08-05 19:03:17 +0200906 case TLS_ST_CR_KEY_EXCH:
907 return SERVER_KEY_EXCH_MAX_LENGTH;
Matt Caswell61ae9352015-09-11 11:23:20 +0100908
Emilia Kaspera230b262016-08-05 19:03:17 +0200909 case TLS_ST_CR_CERT_REQ:
910 /*
911 * Set to s->max_cert_list for compatibility with previous releases. In
912 * practice these messages can get quite long if servers are configured
913 * to provide a long list of acceptable CAs
914 */
915 return s->max_cert_list;
Matt Caswell61ae9352015-09-11 11:23:20 +0100916
Emilia Kaspera230b262016-08-05 19:03:17 +0200917 case TLS_ST_CR_SRVR_DONE:
918 return SERVER_HELLO_DONE_MAX_LENGTH;
Matt Caswell61ae9352015-09-11 11:23:20 +0100919
Emilia Kaspera230b262016-08-05 19:03:17 +0200920 case TLS_ST_CR_CHANGE:
921 if (s->version == DTLS1_BAD_VER)
922 return 3;
923 return CCS_MAX_LENGTH;
Matt Caswell61ae9352015-09-11 11:23:20 +0100924
Emilia Kaspera230b262016-08-05 19:03:17 +0200925 case TLS_ST_CR_SESSION_TICKET:
926 return SSL3_RT_MAX_PLAIN_LENGTH;
Matt Caswell61ae9352015-09-11 11:23:20 +0100927
Emilia Kaspera230b262016-08-05 19:03:17 +0200928 case TLS_ST_CR_FINISHED:
929 return FINISHED_MAX_LENGTH;
Matt Caswelle46f2332016-11-23 15:20:22 +0000930
931 case TLS_ST_CR_ENCRYPTED_EXTENSIONS:
932 return ENCRYPTED_EXTENSIONS_MAX_LENGTH;
Matt Caswelle1c3de42017-02-09 12:07:31 +0000933
934 case TLS_ST_CR_KEY_UPDATE:
935 return KEY_UPDATE_MAX_LENGTH;
Matt Caswell61ae9352015-09-11 11:23:20 +0100936 }
Matt Caswell61ae9352015-09-11 11:23:20 +0100937}
938
939/*
940 * Process a message that the client has been received from the server.
941 */
Matt Caswell8481f582015-10-26 11:54:17 +0000942MSG_PROCESS_RETURN ossl_statem_client_process_message(SSL *s, PACKET *pkt)
Matt Caswell61ae9352015-09-11 11:23:20 +0100943{
Matt Caswelld6f1a6e2015-10-05 10:58:52 +0100944 OSSL_STATEM *st = &s->statem;
Matt Caswell61ae9352015-09-11 11:23:20 +0100945
Emilia Kaspera230b262016-08-05 19:03:17 +0200946 switch (st->hand_state) {
Rich Salzf3b3d7f2016-08-30 13:31:18 -0400947 default:
948 /* Shouldn't happen */
Matt Caswella2c2e002017-11-22 17:18:39 +0000949 SSLfatal(s, SSL_AD_INTERNAL_ERROR,
950 SSL_F_OSSL_STATEM_CLIENT_PROCESS_MESSAGE,
951 ERR_R_INTERNAL_ERROR);
Rich Salzf3b3d7f2016-08-30 13:31:18 -0400952 return MSG_PROCESS_ERROR;
953
Emilia Kaspera230b262016-08-05 19:03:17 +0200954 case TLS_ST_CR_SRVR_HELLO:
955 return tls_process_server_hello(s, pkt);
Matt Caswell61ae9352015-09-11 11:23:20 +0100956
Emilia Kaspera230b262016-08-05 19:03:17 +0200957 case DTLS_ST_CR_HELLO_VERIFY_REQUEST:
958 return dtls_process_hello_verify(s, pkt);
Matt Caswell61ae9352015-09-11 11:23:20 +0100959
Matt Caswell3847d422017-02-01 13:31:27 +0000960 case TLS_ST_CR_HELLO_RETRY_REQUEST:
961 return tls_process_hello_retry_request(s, pkt);
962
Emilia Kaspera230b262016-08-05 19:03:17 +0200963 case TLS_ST_CR_CERT:
964 return tls_process_server_certificate(s, pkt);
Matt Caswell61ae9352015-09-11 11:23:20 +0100965
Matt Caswell2c5dfdc2016-12-05 17:04:51 +0000966 case TLS_ST_CR_CERT_VRFY:
967 return tls_process_cert_verify(s, pkt);
968
Emilia Kaspera230b262016-08-05 19:03:17 +0200969 case TLS_ST_CR_CERT_STATUS:
970 return tls_process_cert_status(s, pkt);
Matt Caswell61ae9352015-09-11 11:23:20 +0100971
Emilia Kaspera230b262016-08-05 19:03:17 +0200972 case TLS_ST_CR_KEY_EXCH:
973 return tls_process_key_exchange(s, pkt);
Matt Caswell61ae9352015-09-11 11:23:20 +0100974
Emilia Kaspera230b262016-08-05 19:03:17 +0200975 case TLS_ST_CR_CERT_REQ:
976 return tls_process_certificate_request(s, pkt);
Matt Caswell61ae9352015-09-11 11:23:20 +0100977
Emilia Kaspera230b262016-08-05 19:03:17 +0200978 case TLS_ST_CR_SRVR_DONE:
979 return tls_process_server_done(s, pkt);
Matt Caswell61ae9352015-09-11 11:23:20 +0100980
Emilia Kaspera230b262016-08-05 19:03:17 +0200981 case TLS_ST_CR_CHANGE:
982 return tls_process_change_cipher_spec(s, pkt);
Matt Caswell61ae9352015-09-11 11:23:20 +0100983
Emilia Kaspera230b262016-08-05 19:03:17 +0200984 case TLS_ST_CR_SESSION_TICKET:
985 return tls_process_new_session_ticket(s, pkt);
Matt Caswell61ae9352015-09-11 11:23:20 +0100986
Emilia Kaspera230b262016-08-05 19:03:17 +0200987 case TLS_ST_CR_FINISHED:
988 return tls_process_finished(s, pkt);
Matt Caswelle46f2332016-11-23 15:20:22 +0000989
Matt Caswellc7f47782017-01-10 23:02:28 +0000990 case TLS_ST_CR_HELLO_REQ:
991 return tls_process_hello_req(s, pkt);
992
Matt Caswelle46f2332016-11-23 15:20:22 +0000993 case TLS_ST_CR_ENCRYPTED_EXTENSIONS:
994 return tls_process_encrypted_extensions(s, pkt);
Matt Caswelle1c3de42017-02-09 12:07:31 +0000995
996 case TLS_ST_CR_KEY_UPDATE:
997 return tls_process_key_update(s, pkt);
Matt Caswell61ae9352015-09-11 11:23:20 +0100998 }
Matt Caswell61ae9352015-09-11 11:23:20 +0100999}
1000
1001/*
1002 * Perform any further processing required following the receipt of a message
1003 * from the server
1004 */
Matt Caswell8481f582015-10-26 11:54:17 +00001005WORK_STATE ossl_statem_client_post_process_message(SSL *s, WORK_STATE wst)
Matt Caswell61ae9352015-09-11 11:23:20 +01001006{
Matt Caswelld6f1a6e2015-10-05 10:58:52 +01001007 OSSL_STATEM *st = &s->statem;
Matt Caswell61ae9352015-09-11 11:23:20 +01001008
Emilia Kaspera230b262016-08-05 19:03:17 +02001009 switch (st->hand_state) {
Rich Salzf3b3d7f2016-08-30 13:31:18 -04001010 default:
1011 /* Shouldn't happen */
Matt Caswella2c2e002017-11-22 17:18:39 +00001012 SSLfatal(s, SSL_AD_INTERNAL_ERROR,
1013 SSL_F_OSSL_STATEM_CLIENT_POST_PROCESS_MESSAGE,
1014 ERR_R_INTERNAL_ERROR);
Rich Salzf3b3d7f2016-08-30 13:31:18 -04001015 return WORK_ERROR;
1016
Matt Caswell05c4f1d2016-06-22 14:31:32 +01001017 case TLS_ST_CR_CERT_REQ:
1018 return tls_prepare_client_certificate(s, wst);
Matt Caswell61ae9352015-09-11 11:23:20 +01001019 }
Matt Caswell61ae9352015-09-11 11:23:20 +01001020}
1021
Matt Caswell7cea05d2016-09-29 23:28:29 +01001022int tls_construct_client_hello(SSL *s, WPACKET *pkt)
Matt Caswellb9908bf2015-07-29 14:08:49 +01001023{
Matt Caswell2c7b4db2016-08-03 20:57:52 +01001024 unsigned char *p;
Matt Caswellec60ccc2016-10-04 20:31:19 +01001025 size_t sess_id_len;
1026 int i, protverr;
Dr. Stephen Henson09b6c2e2005-09-30 23:35:33 +00001027#ifndef OPENSSL_NO_COMP
Matt Caswell0f113f32015-01-22 03:40:55 +00001028 SSL_COMP *comp;
Dr. Stephen Henson09b6c2e2005-09-30 23:35:33 +00001029#endif
Matt Caswellb9908bf2015-07-29 14:08:49 +01001030 SSL_SESSION *sess = s->session;
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00001031
Matt Caswell7cea05d2016-09-29 23:28:29 +01001032 if (!WPACKET_set_max_size(pkt, SSL3_RT_MAX_PLAIN_LENGTH)) {
Matt Caswell2c7b4db2016-08-03 20:57:52 +01001033 /* Should not happen */
Matt Caswellf63a17d2017-11-21 17:18:43 +00001034 SSLfatal(s, SSL_AD_INTERNAL_ERROR,
1035 SSL_F_TLS_CONSTRUCT_CLIENT_HELLO, ERR_R_INTERNAL_ERROR);
Matt Caswell7cea05d2016-09-29 23:28:29 +01001036 return 0;
Matt Caswell2c7b4db2016-08-03 20:57:52 +01001037 }
Matt Caswell13c9bb32015-03-31 00:18:31 +01001038
Matt Caswellb9908bf2015-07-29 14:08:49 +01001039 /* Work out what SSL/TLS/DTLS version to use */
Viktor Dukhovni4fa52142015-12-29 03:24:17 -05001040 protverr = ssl_set_client_hello_version(s);
1041 if (protverr != 0) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00001042 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_CONSTRUCT_CLIENT_HELLO,
1043 protverr);
Matt Caswell7cea05d2016-09-29 23:28:29 +01001044 return 0;
Viktor Dukhovni4fa52142015-12-29 03:24:17 -05001045 }
Matt Caswell13c9bb32015-03-31 00:18:31 +01001046
Matt Caswelle586eac2017-03-21 13:50:31 +00001047 if (sess == NULL
1048 || !ssl_version_supported(s, sess->ssl_version)
1049 || !SSL_SESSION_is_resumable(sess)) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00001050 if (!ssl_get_new_session(s, 0)) {
1051 /* SSLfatal() already called */
Matt Caswell7cea05d2016-09-29 23:28:29 +01001052 return 0;
Matt Caswellf63a17d2017-11-21 17:18:43 +00001053 }
Matt Caswellb9908bf2015-07-29 14:08:49 +01001054 }
1055 /* else use the pre-loaded session */
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00001056
Matt Caswellb9908bf2015-07-29 14:08:49 +01001057 p = s->s3->client_random;
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00001058
Matt Caswellb9908bf2015-07-29 14:08:49 +01001059 /*
1060 * for DTLS if client_random is initialized, reuse it, we are
1061 * required to use same upon reply to HelloVerify
1062 */
1063 if (SSL_IS_DTLS(s)) {
1064 size_t idx;
1065 i = 1;
1066 for (idx = 0; idx < sizeof(s->s3->client_random); idx++) {
1067 if (p[idx]) {
1068 i = 0;
1069 break;
Matt Caswell0f113f32015-01-22 03:40:55 +00001070 }
Matt Caswell0f113f32015-01-22 03:40:55 +00001071 }
Tatsuhiro Tsujikawa751b26b2017-10-08 23:37:01 +09001072 } else {
1073 i = s->hello_retry_request == 0;
1074 }
Matt Caswell0f113f32015-01-22 03:40:55 +00001075
Matt Caswellf7f2a012017-03-22 08:52:54 +00001076 if (i && ssl_fill_hello_random(s, 0, p, sizeof(s->s3->client_random),
Matt Caswellf63a17d2017-11-21 17:18:43 +00001077 DOWNGRADE_NONE) <= 0) {
1078 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_CONSTRUCT_CLIENT_HELLO,
1079 ERR_R_INTERNAL_ERROR);
Matt Caswell7cea05d2016-09-29 23:28:29 +01001080 return 0;
Matt Caswellf63a17d2017-11-21 17:18:43 +00001081 }
Matt Caswell0f113f32015-01-22 03:40:55 +00001082
Matt Caswellb9908bf2015-07-29 14:08:49 +01001083 /*-
1084 * version indicates the negotiated version: for example from
1085 * an SSLv2/v3 compatible client hello). The client_version
1086 * field is the maximum version we permit and it is also
1087 * used in RSA encrypted premaster secrets. Some servers can
1088 * choke if we initially report a higher version then
1089 * renegotiate to a lower one in the premaster secret. This
1090 * didn't happen with TLS 1.0 as most servers supported it
1091 * but it can with TLS 1.1 or later if the server only supports
1092 * 1.0.
1093 *
1094 * Possible scenario with previous logic:
1095 * 1. Client hello indicates TLS 1.2
1096 * 2. Server hello says TLS 1.0
1097 * 3. RSA encrypted premaster secret uses 1.2.
FdaSilvaYY8483a002016-03-10 21:34:48 +01001098 * 4. Handshake proceeds using TLS 1.0.
Matt Caswellb9908bf2015-07-29 14:08:49 +01001099 * 5. Server sends hello request to renegotiate.
1100 * 6. Client hello indicates TLS v1.0 as we now
1101 * know that is maximum server supports.
1102 * 7. Server chokes on RSA encrypted premaster secret
1103 * containing version 1.0.
1104 *
1105 * For interoperability it should be OK to always use the
1106 * maximum version we support in client hello and then rely
1107 * on the checking of version to ensure the servers isn't
1108 * being inconsistent: for example initially negotiating with
1109 * TLS 1.0 and renegotiating with TLS 1.2. We do this by using
1110 * client_version in client hello and not resetting it to
1111 * the negotiated version.
Matt Caswellcd998832016-10-23 00:41:11 +01001112 *
1113 * For TLS 1.3 we always set the ClientHello version to 1.2 and rely on the
Matt Caswell16bce0e2016-10-31 17:05:20 +00001114 * supported_versions extension for the real supported versions.
Matt Caswellb9908bf2015-07-29 14:08:49 +01001115 */
Matt Caswell7acb8b62016-11-23 13:56:15 +00001116 if (!WPACKET_put_bytes_u16(pkt, s->client_version)
Matt Caswell7cea05d2016-09-29 23:28:29 +01001117 || !WPACKET_memcpy(pkt, s->s3->client_random, SSL3_RANDOM_SIZE)) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00001118 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_CONSTRUCT_CLIENT_HELLO,
1119 ERR_R_INTERNAL_ERROR);
Matt Caswell7cea05d2016-09-29 23:28:29 +01001120 return 0;
Matt Caswell2c7b4db2016-08-03 20:57:52 +01001121 }
Matt Caswellb9908bf2015-07-29 14:08:49 +01001122
1123 /* Session ID */
Matt Caswellf05bcf02017-01-13 13:49:44 +00001124 if (s->new_session || s->session->ssl_version == TLS1_3_VERSION)
Matt Caswellec60ccc2016-10-04 20:31:19 +01001125 sess_id_len = 0;
Matt Caswellb9908bf2015-07-29 14:08:49 +01001126 else
Matt Caswellec60ccc2016-10-04 20:31:19 +01001127 sess_id_len = s->session->session_id_length;
1128 if (sess_id_len > sizeof(s->session->session_id)
Matt Caswell7cea05d2016-09-29 23:28:29 +01001129 || !WPACKET_start_sub_packet_u8(pkt)
Matt Caswellec60ccc2016-10-04 20:31:19 +01001130 || (sess_id_len != 0 && !WPACKET_memcpy(pkt, s->session->session_id,
1131 sess_id_len))
Matt Caswell7cea05d2016-09-29 23:28:29 +01001132 || !WPACKET_close(pkt)) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00001133 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_CONSTRUCT_CLIENT_HELLO,
1134 ERR_R_INTERNAL_ERROR);
Matt Caswell7cea05d2016-09-29 23:28:29 +01001135 return 0;
Matt Caswell0f113f32015-01-22 03:40:55 +00001136 }
1137
Matt Caswellb9908bf2015-07-29 14:08:49 +01001138 /* cookie stuff for DTLS */
1139 if (SSL_IS_DTLS(s)) {
Matt Caswell2c7b4db2016-08-03 20:57:52 +01001140 if (s->d1->cookie_len > sizeof(s->d1->cookie)
Matt Caswell7cea05d2016-09-29 23:28:29 +01001141 || !WPACKET_sub_memcpy_u8(pkt, s->d1->cookie,
Matt Caswellb2b30242016-09-13 11:32:52 +01001142 s->d1->cookie_len)) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00001143 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_CONSTRUCT_CLIENT_HELLO,
1144 ERR_R_INTERNAL_ERROR);
Matt Caswell7cea05d2016-09-29 23:28:29 +01001145 return 0;
Matt Caswellb9908bf2015-07-29 14:08:49 +01001146 }
Matt Caswellb9908bf2015-07-29 14:08:49 +01001147 }
1148
1149 /* Ciphers supported */
Matt Caswell7cea05d2016-09-29 23:28:29 +01001150 if (!WPACKET_start_sub_packet_u16(pkt)) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00001151 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_CONSTRUCT_CLIENT_HELLO,
1152 ERR_R_INTERNAL_ERROR);
Matt Caswell7cea05d2016-09-29 23:28:29 +01001153 return 0;
Matt Caswellb9908bf2015-07-29 14:08:49 +01001154 }
Matt Caswell635c8f72017-11-23 11:41:40 +00001155
Matt Caswellf63a17d2017-11-21 17:18:43 +00001156 if (!ssl_cipher_list_to_bytes(s, SSL_get_ciphers(s), pkt)) {
1157 /* SSLfatal() already called */
Matt Caswell7cea05d2016-09-29 23:28:29 +01001158 return 0;
Matt Caswellf63a17d2017-11-21 17:18:43 +00001159 }
Matt Caswell7cea05d2016-09-29 23:28:29 +01001160 if (!WPACKET_close(pkt)) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00001161 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_CONSTRUCT_CLIENT_HELLO,
1162 ERR_R_INTERNAL_ERROR);
Matt Caswell7cea05d2016-09-29 23:28:29 +01001163 return 0;
Matt Caswell2c7b4db2016-08-03 20:57:52 +01001164 }
Matt Caswellb9908bf2015-07-29 14:08:49 +01001165
1166 /* COMPRESSION */
Matt Caswell7cea05d2016-09-29 23:28:29 +01001167 if (!WPACKET_start_sub_packet_u8(pkt)) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00001168 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_CONSTRUCT_CLIENT_HELLO,
1169 ERR_R_INTERNAL_ERROR);
Matt Caswell7cea05d2016-09-29 23:28:29 +01001170 return 0;
Matt Caswell2c7b4db2016-08-03 20:57:52 +01001171 }
1172#ifndef OPENSSL_NO_COMP
Matt Caswellc19602b2017-03-01 10:36:38 +00001173 if (ssl_allow_compression(s)
1174 && s->ctx->comp_methods
1175 && (SSL_IS_DTLS(s) || s->s3->tmp.max_ver < TLS1_3_VERSION)) {
Matt Caswell2c7b4db2016-08-03 20:57:52 +01001176 int compnum = sk_SSL_COMP_num(s->ctx->comp_methods);
1177 for (i = 0; i < compnum; i++) {
1178 comp = sk_SSL_COMP_value(s->ctx->comp_methods, i);
Matt Caswell7cea05d2016-09-29 23:28:29 +01001179 if (!WPACKET_put_bytes_u8(pkt, comp->id)) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00001180 SSLfatal(s, SSL_AD_INTERNAL_ERROR,
1181 SSL_F_TLS_CONSTRUCT_CLIENT_HELLO,
1182 ERR_R_INTERNAL_ERROR);
Matt Caswell7cea05d2016-09-29 23:28:29 +01001183 return 0;
Matt Caswell2c7b4db2016-08-03 20:57:52 +01001184 }
1185 }
Matt Caswellb9908bf2015-07-29 14:08:49 +01001186 }
1187#endif
Matt Caswell2c7b4db2016-08-03 20:57:52 +01001188 /* Add the NULL method */
Matt Caswell7cea05d2016-09-29 23:28:29 +01001189 if (!WPACKET_put_bytes_u8(pkt, 0) || !WPACKET_close(pkt)) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00001190 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_CONSTRUCT_CLIENT_HELLO,
1191 ERR_R_INTERNAL_ERROR);
Matt Caswell7cea05d2016-09-29 23:28:29 +01001192 return 0;
Matt Caswell2c7b4db2016-08-03 20:57:52 +01001193 }
Matt Caswellb9908bf2015-07-29 14:08:49 +01001194
1195 /* TLS extensions */
Matt Caswellf63a17d2017-11-21 17:18:43 +00001196 if (!tls_construct_extensions(s, pkt, SSL_EXT_CLIENT_HELLO, NULL, 0)) {
1197 /* SSLfatal() already called */
Matt Caswell7cea05d2016-09-29 23:28:29 +01001198 return 0;
Matt Caswellb9908bf2015-07-29 14:08:49 +01001199 }
1200
Matt Caswellb9908bf2015-07-29 14:08:49 +01001201 return 1;
Matt Caswell0f113f32015-01-22 03:40:55 +00001202}
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00001203
Matt Caswellbe3583f2015-10-26 11:46:33 +00001204MSG_PROCESS_RETURN dtls_process_hello_verify(SSL *s, PACKET *pkt)
Matt Caswell8ba708e2015-09-11 10:48:59 +01001205{
Matt Caswellcb150cb2016-10-04 21:04:03 +01001206 size_t cookie_len;
Matt Caswell8ba708e2015-09-11 10:48:59 +01001207 PACKET cookiepkt;
1208
1209 if (!PACKET_forward(pkt, 2)
Emilia Kaspera230b262016-08-05 19:03:17 +02001210 || !PACKET_get_length_prefixed_1(pkt, &cookiepkt)) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00001211 SSLfatal(s, SSL_AD_DECODE_ERROR, SSL_F_DTLS_PROCESS_HELLO_VERIFY,
1212 SSL_R_LENGTH_MISMATCH);
1213 return MSG_PROCESS_ERROR;
Matt Caswell8ba708e2015-09-11 10:48:59 +01001214 }
1215
1216 cookie_len = PACKET_remaining(&cookiepkt);
1217 if (cookie_len > sizeof(s->d1->cookie)) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00001218 SSLfatal(s, SSL_AD_ILLEGAL_PARAMETER, SSL_F_DTLS_PROCESS_HELLO_VERIFY,
1219 SSL_R_LENGTH_TOO_LONG);
1220 return MSG_PROCESS_ERROR;
Matt Caswell8ba708e2015-09-11 10:48:59 +01001221 }
1222
1223 if (!PACKET_copy_bytes(&cookiepkt, s->d1->cookie, cookie_len)) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00001224 SSLfatal(s, SSL_AD_DECODE_ERROR, SSL_F_DTLS_PROCESS_HELLO_VERIFY,
1225 SSL_R_LENGTH_MISMATCH);
1226 return MSG_PROCESS_ERROR;
Matt Caswell8ba708e2015-09-11 10:48:59 +01001227 }
1228 s->d1->cookie_len = cookie_len;
1229
1230 return MSG_PROCESS_FINISHED_READING;
Matt Caswell8ba708e2015-09-11 10:48:59 +01001231}
1232
Matt Caswell11c67ee2017-03-13 15:21:15 +00001233static int set_client_ciphersuite(SSL *s, const unsigned char *cipherchars)
Matt Caswellb9908bf2015-07-29 14:08:49 +01001234{
1235 STACK_OF(SSL_CIPHER) *sk;
1236 const SSL_CIPHER *c;
Matt Caswell11c67ee2017-03-13 15:21:15 +00001237 int i;
1238
1239 c = ssl_get_cipher_by_char(s, cipherchars, 0);
1240 if (c == NULL) {
1241 /* unknown cipher */
Matt Caswellf63a17d2017-11-21 17:18:43 +00001242 SSLfatal(s, SSL_AD_ILLEGAL_PARAMETER, SSL_F_SET_CLIENT_CIPHERSUITE,
1243 SSL_R_UNKNOWN_CIPHER_RETURNED);
Matt Caswell11c67ee2017-03-13 15:21:15 +00001244 return 0;
1245 }
1246 /*
1247 * If it is a disabled cipher we either didn't send it in client hello,
1248 * or it's not allowed for the selected protocol. So we return an error.
1249 */
Matt Caswell8af91fd2017-04-12 17:02:42 +01001250 if (ssl_cipher_disabled(s, c, SSL_SECOP_CIPHER_CHECK, 1)) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00001251 SSLfatal(s, SSL_AD_ILLEGAL_PARAMETER, SSL_F_SET_CLIENT_CIPHERSUITE,
1252 SSL_R_WRONG_CIPHER_RETURNED);
Matt Caswell11c67ee2017-03-13 15:21:15 +00001253 return 0;
1254 }
1255
1256 sk = ssl_get_ciphers_by_id(s);
1257 i = sk_SSL_CIPHER_find(sk, c);
1258 if (i < 0) {
1259 /* we did not say we would use this cipher */
Matt Caswellf63a17d2017-11-21 17:18:43 +00001260 SSLfatal(s, SSL_AD_ILLEGAL_PARAMETER, SSL_F_SET_CLIENT_CIPHERSUITE,
1261 SSL_R_WRONG_CIPHER_RETURNED);
Matt Caswell11c67ee2017-03-13 15:21:15 +00001262 return 0;
1263 }
1264
1265 if (SSL_IS_TLS13(s) && s->s3->tmp.new_cipher != NULL
1266 && s->s3->tmp.new_cipher->id != c->id) {
1267 /* ServerHello selected a different ciphersuite to that in the HRR */
Matt Caswellf63a17d2017-11-21 17:18:43 +00001268 SSLfatal(s, SSL_AD_ILLEGAL_PARAMETER, SSL_F_SET_CLIENT_CIPHERSUITE,
1269 SSL_R_WRONG_CIPHER_RETURNED);
Matt Caswell11c67ee2017-03-13 15:21:15 +00001270 return 0;
1271 }
1272
1273 /*
1274 * Depending on the session caching (internal/external), the cipher
1275 * and/or cipher_id values may not be set. Make sure that cipher_id is
1276 * set and use it for comparison.
1277 */
1278 if (s->session->cipher != NULL)
1279 s->session->cipher_id = s->session->cipher->id;
1280 if (s->hit && (s->session->cipher_id != c->id)) {
Matt Caswella055a882017-05-26 17:59:34 +01001281 if (SSL_IS_TLS13(s)) {
1282 /*
1283 * In TLSv1.3 it is valid for the server to select a different
1284 * ciphersuite as long as the hash is the same.
1285 */
1286 if (ssl_md(c->algorithm2)
1287 != ssl_md(s->session->cipher->algorithm2)) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00001288 SSLfatal(s, SSL_AD_ILLEGAL_PARAMETER,
1289 SSL_F_SET_CLIENT_CIPHERSUITE,
1290 SSL_R_CIPHERSUITE_DIGEST_HAS_CHANGED);
Matt Caswella055a882017-05-26 17:59:34 +01001291 return 0;
1292 }
1293 } else {
1294 /*
1295 * Prior to TLSv1.3 resuming a session always meant using the same
1296 * ciphersuite.
1297 */
Matt Caswellf63a17d2017-11-21 17:18:43 +00001298 SSLfatal(s, SSL_AD_ILLEGAL_PARAMETER, SSL_F_SET_CLIENT_CIPHERSUITE,
1299 SSL_R_OLD_SESSION_CIPHER_NOT_RETURNED);
Matt Caswella055a882017-05-26 17:59:34 +01001300 return 0;
1301 }
Matt Caswell11c67ee2017-03-13 15:21:15 +00001302 }
1303 s->s3->tmp.new_cipher = c;
1304
1305 return 1;
1306}
1307
1308MSG_PROCESS_RETURN tls_process_server_hello(SSL *s, PACKET *pkt)
1309{
Matt Caswell332eb392016-11-28 16:15:51 +00001310 PACKET session_id, extpkt;
Matt Caswellb9908bf2015-07-29 14:08:49 +01001311 size_t session_id_len;
Emilia Kasperb6981742016-02-01 15:26:18 +01001312 const unsigned char *cipherchars;
Matt Caswell11c67ee2017-03-13 15:21:15 +00001313 int al = SSL_AD_INTERNAL_ERROR;
Matt Caswellb9908bf2015-07-29 14:08:49 +01001314 unsigned int compression;
Viktor Dukhovni4fa52142015-12-29 03:24:17 -05001315 unsigned int sversion;
Matt Caswell3434f402016-11-28 16:45:52 +00001316 unsigned int context;
Benjamin Kaduk1fcb4e42017-10-17 14:46:58 -05001317 int protverr, discard;
Matt Caswell332eb392016-11-28 16:15:51 +00001318 RAW_EXTENSION *extensions = NULL;
Matt Caswellb9908bf2015-07-29 14:08:49 +01001319#ifndef OPENSSL_NO_COMP
1320 SSL_COMP *comp;
1321#endif
1322
Viktor Dukhovni4fa52142015-12-29 03:24:17 -05001323 if (!PACKET_get_net_2(pkt, &sversion)) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00001324 SSLfatal(s, SSL_AD_DECODE_ERROR, SSL_F_TLS_PROCESS_SERVER_HELLO,
1325 SSL_R_LENGTH_MISMATCH);
1326 goto err;
Viktor Dukhovni4fa52142015-12-29 03:24:17 -05001327 }
Kurt Roeckx7946ab32015-12-06 17:56:41 +01001328
Matt Caswellc3043dc2017-03-22 11:50:32 +00001329 /* load the server random */
1330 if (!PACKET_copy_bytes(pkt, s->s3->server_random, SSL3_RANDOM_SIZE)) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00001331 SSLfatal(s, SSL_AD_DECODE_ERROR, SSL_F_TLS_PROCESS_SERVER_HELLO,
1332 SSL_R_LENGTH_MISMATCH);
1333 goto err;
Matt Caswellc3043dc2017-03-22 11:50:32 +00001334 }
1335
1336 /*
1337 * We do this immediately so we know what format the ServerHello is in.
1338 * Must be done after reading the random data so we can check for the
1339 * TLSv1.3 downgrade sentinels
1340 */
1341 protverr = ssl_choose_client_version(s, sversion, 1, &al);
Viktor Dukhovni4fa52142015-12-29 03:24:17 -05001342 if (protverr != 0) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00001343 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_PROCESS_SERVER_HELLO,
1344 protverr);
1345 goto err;
Matt Caswell0f113f32015-01-22 03:40:55 +00001346 }
Emilia Kasper7b3ba5082014-11-19 15:56:27 +01001347
Matt Caswell524420d2017-03-07 10:21:58 +00001348 /*
1349 * In TLSv1.3 a ServerHello message signals a key change so the end of the
1350 * message must be on a record boundary.
1351 */
1352 if (SSL_IS_TLS13(s) && RECORD_LAYER_processed_read_pending(&s->rlayer)) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00001353 SSLfatal(s, SSL_AD_UNEXPECTED_MESSAGE, SSL_F_TLS_PROCESS_SERVER_HELLO,
1354 SSL_R_NOT_ON_RECORD_BOUNDARY);
1355 goto err;
Matt Caswell524420d2017-03-07 10:21:58 +00001356 }
1357
Emilia Kasperfc5ce512015-09-18 14:09:37 +02001358 /* Get the session-id. */
Matt Caswell71728dd2016-11-07 13:50:43 +00001359 if (!SSL_IS_TLS13(s)) {
1360 if (!PACKET_get_length_prefixed_1(pkt, &session_id)) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00001361 SSLfatal(s, SSL_AD_DECODE_ERROR, SSL_F_TLS_PROCESS_SERVER_HELLO,
1362 SSL_R_LENGTH_MISMATCH);
1363 goto err;
Matt Caswell71728dd2016-11-07 13:50:43 +00001364 }
1365 session_id_len = PACKET_remaining(&session_id);
1366 if (session_id_len > sizeof s->session->session_id
1367 || session_id_len > SSL3_SESSION_ID_SIZE) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00001368 SSLfatal(s, SSL_AD_ILLEGAL_PARAMETER,
1369 SSL_F_TLS_PROCESS_SERVER_HELLO,
1370 SSL_R_SSL3_SESSION_ID_TOO_LONG);
1371 goto err;
Matt Caswell71728dd2016-11-07 13:50:43 +00001372 }
1373 } else {
Matt Caswell625b0d52016-12-08 09:48:29 +00001374 PACKET_null_init(&session_id);
Matt Caswell71728dd2016-11-07 13:50:43 +00001375 session_id_len = 0;
Matt Caswell0f113f32015-01-22 03:40:55 +00001376 }
Matt Caswelle481f9b2015-05-15 10:49:56 +01001377
Matt Caswell73999b62015-09-10 10:22:30 +01001378 if (!PACKET_get_bytes(pkt, &cipherchars, TLS_CIPHER_LEN)) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00001379 SSLfatal(s, SSL_AD_DECODE_ERROR, SSL_F_TLS_PROCESS_SERVER_HELLO,
1380 SSL_R_LENGTH_MISMATCH);
1381 goto err;
Emilia Kasperfc5ce512015-09-18 14:09:37 +02001382 }
1383
Matt Caswell4ff65f72017-01-18 09:38:53 +00001384 if (!SSL_IS_TLS13(s)) {
1385 if (!PACKET_get_1(pkt, &compression)) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00001386 SSLfatal(s, SSL_AD_DECODE_ERROR, SSL_F_TLS_PROCESS_SERVER_HELLO,
1387 SSL_R_LENGTH_MISMATCH);
1388 goto err;
Matt Caswell0f113f32015-01-22 03:40:55 +00001389 }
Matt Caswell4ff65f72017-01-18 09:38:53 +00001390 } else {
1391 compression = 0;
Matt Caswell0f113f32015-01-22 03:40:55 +00001392 }
Dr. Stephen Henson12bf56c2008-11-15 17:18:12 +00001393
Matt Caswell4ff65f72017-01-18 09:38:53 +00001394 /* TLS extensions */
1395 if (PACKET_remaining(pkt) == 0) {
1396 PACKET_null_init(&extpkt);
Matt Caswell26b91722017-05-11 11:31:57 +01001397 } else if (!PACKET_as_length_prefixed_2(pkt, &extpkt)
1398 || PACKET_remaining(pkt) != 0) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00001399 SSLfatal(s, SSL_AD_DECODE_ERROR, SSL_F_TLS_PROCESS_SERVER_HELLO,
1400 SSL_R_BAD_LENGTH);
1401 goto err;
Matt Caswell4ff65f72017-01-18 09:38:53 +00001402 }
1403
Matt Caswellfe874d22017-04-04 11:40:02 +01001404 context = SSL_IS_TLS13(s) ? SSL_EXT_TLS1_3_SERVER_HELLO
1405 : SSL_EXT_TLS1_2_SERVER_HELLO;
Matt Caswellf63a17d2017-11-21 17:18:43 +00001406 if (!tls_collect_extensions(s, &extpkt, context, &extensions, NULL, 1)) {
1407 /* SSLfatal() already called */
1408 goto err;
1409 }
Matt Caswell4ff65f72017-01-18 09:38:53 +00001410
1411 s->hit = 0;
1412
1413 if (SSL_IS_TLS13(s)) {
1414 /* This will set s->hit if we are resuming */
1415 if (!tls_parse_extension(s, TLSEXT_IDX_psk,
Matt Caswellfe874d22017-04-04 11:40:02 +01001416 SSL_EXT_TLS1_3_SERVER_HELLO,
Matt Caswellf63a17d2017-11-21 17:18:43 +00001417 extensions, NULL, 0l)) {
1418 /* SSLfatal() already called */
1419 goto err;
1420 }
Matt Caswell4ff65f72017-01-18 09:38:53 +00001421 } else {
1422 /*
1423 * Check if we can resume the session based on external pre-shared
1424 * secret. EAP-FAST (RFC 4851) supports two types of session resumption.
1425 * Resumption based on server-side state works with session IDs.
1426 * Resumption based on pre-shared Protected Access Credentials (PACs)
1427 * works by overriding the SessionTicket extension at the application
1428 * layer, and does not send a session ID. (We do not know whether
1429 * EAP-FAST servers would honour the session ID.) Therefore, the session
1430 * ID alone is not a reliable indicator of session resumption, so we
1431 * first check if we can resume, and later peek at the next handshake
1432 * message to see if the server wants to resume.
1433 */
1434 if (s->version >= TLS1_VERSION
1435 && s->ext.session_secret_cb != NULL && s->session->ext.tick) {
1436 const SSL_CIPHER *pref_cipher = NULL;
1437 /*
1438 * s->session->master_key_length is a size_t, but this is an int for
1439 * backwards compat reasons
1440 */
1441 int master_key_length;
1442 master_key_length = sizeof(s->session->master_key);
1443 if (s->ext.session_secret_cb(s, s->session->master_key,
1444 &master_key_length,
1445 NULL, &pref_cipher,
1446 s->ext.session_secret_cb_arg)
1447 && master_key_length > 0) {
1448 s->session->master_key_length = master_key_length;
1449 s->session->cipher = pref_cipher ?
Benjamin Kaduk60d685d2017-02-06 11:30:16 -06001450 pref_cipher : ssl_get_cipher_by_char(s, cipherchars, 0);
Matt Caswell4ff65f72017-01-18 09:38:53 +00001451 } else {
Matt Caswellf63a17d2017-11-21 17:18:43 +00001452 SSLfatal(s, SSL_AD_INTERNAL_ERROR,
1453 SSL_F_TLS_PROCESS_SERVER_HELLO, ERR_R_INTERNAL_ERROR);
1454 goto err;
Matt Caswell4ff65f72017-01-18 09:38:53 +00001455 }
1456 }
1457
1458 if (session_id_len != 0
1459 && session_id_len == s->session->session_id_length
1460 && memcmp(PACKET_data(&session_id), s->session->session_id,
1461 session_id_len) == 0)
1462 s->hit = 1;
1463 }
1464
1465 if (s->hit) {
Matt Caswell0f113f32015-01-22 03:40:55 +00001466 if (s->sid_ctx_length != s->session->sid_ctx_length
Matt Caswell4ff65f72017-01-18 09:38:53 +00001467 || memcmp(s->session->sid_ctx, s->sid_ctx, s->sid_ctx_length)) {
Matt Caswell0f113f32015-01-22 03:40:55 +00001468 /* actually a client application bug */
Matt Caswellf63a17d2017-11-21 17:18:43 +00001469 SSLfatal(s, SSL_AD_ILLEGAL_PARAMETER,
1470 SSL_F_TLS_PROCESS_SERVER_HELLO,
1471 SSL_R_ATTEMPT_TO_REUSE_SESSION_IN_DIFFERENT_CONTEXT);
1472 goto err;
Matt Caswell0f113f32015-01-22 03:40:55 +00001473 }
Emilia Kasper6e3d0152015-04-21 18:12:58 +02001474 } else {
Matt Caswell0f113f32015-01-22 03:40:55 +00001475 /*
Emilia Kasper6e3d0152015-04-21 18:12:58 +02001476 * If we were trying for session-id reuse but the server
Matt Caswell4ff65f72017-01-18 09:38:53 +00001477 * didn't resume, make a new SSL_SESSION.
Emilia Kasper6e3d0152015-04-21 18:12:58 +02001478 * In the case of EAP-FAST and PAC, we do not send a session ID,
1479 * so the PAC-based session secret is always preserved. It'll be
1480 * overwritten if the server refuses resumption.
Matt Caswell0f113f32015-01-22 03:40:55 +00001481 */
Matt Caswell4ff65f72017-01-18 09:38:53 +00001482 if (s->session->session_id_length > 0
1483 || (SSL_IS_TLS13(s)
1484 && s->session->ext.tick_identity
1485 != TLSEXT_PSK_BAD_IDENTITY)) {
Benjamin Kaduk0e6161b2017-10-17 15:28:42 -05001486 CRYPTO_atomic_add(&s->session_ctx->stats.sess_miss, 1, &discard,
1487 s->session_ctx->lock);
Matt Caswell0f113f32015-01-22 03:40:55 +00001488 if (!ssl_get_new_session(s, 0)) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00001489 /* SSLfatal() already called */
1490 goto err;
Matt Caswell0f113f32015-01-22 03:40:55 +00001491 }
1492 }
Emilia Kasperfc5ce512015-09-18 14:09:37 +02001493
Fedor Indutnyccae4a12016-03-11 17:44:01 +03001494 s->session->ssl_version = s->version;
Emilia Kasperfc5ce512015-09-18 14:09:37 +02001495 s->session->session_id_length = session_id_len;
1496 /* session_id_len could be 0 */
Kurt Roeckxa19fc662016-12-08 19:20:55 +01001497 if (session_id_len > 0)
1498 memcpy(s->session->session_id, PACKET_data(&session_id),
1499 session_id_len);
Matt Caswell0f113f32015-01-22 03:40:55 +00001500 }
Matt Caswell50932c42015-08-04 17:36:02 +01001501
Fedor Indutnyccae4a12016-03-11 17:44:01 +03001502 /* Session version and negotiated protocol version should match */
1503 if (s->version != s->session->ssl_version) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00001504 SSLfatal(s, SSL_AD_PROTOCOL_VERSION, SSL_F_TLS_PROCESS_SERVER_HELLO,
1505 SSL_R_SSL_SESSION_VERSION_MISMATCH);
1506 goto err;
Fedor Indutnyccae4a12016-03-11 17:44:01 +03001507 }
Matt Caswell0f113f32015-01-22 03:40:55 +00001508 /*
Kurt Roeckx3eb2aff2016-02-07 20:17:07 +01001509 * Now that we know the version, update the check to see if it's an allowed
1510 * version.
1511 */
1512 s->s3->tmp.min_ver = s->version;
1513 s->s3->tmp.max_ver = s->version;
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00001514
Matt Caswell11c67ee2017-03-13 15:21:15 +00001515 if (!set_client_ciphersuite(s, cipherchars)) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00001516 /* SSLfatal() already called */
1517 goto err;
Matt Caswell0f113f32015-01-22 03:40:55 +00001518 }
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00001519
Dr. Stephen Henson09b6c2e2005-09-30 23:35:33 +00001520#ifdef OPENSSL_NO_COMP
Emilia Kasperfc5ce512015-09-18 14:09:37 +02001521 if (compression != 0) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00001522 SSLfatal(s, SSL_AD_ILLEGAL_PARAMETER, SSL_F_TLS_PROCESS_SERVER_HELLO,
1523 SSL_R_UNSUPPORTED_COMPRESSION_ALGORITHM);
1524 goto err;
Matt Caswell0f113f32015-01-22 03:40:55 +00001525 }
1526 /*
1527 * If compression is disabled we'd better not try to resume a session
1528 * using compression.
1529 */
1530 if (s->session->compress_meth != 0) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00001531 SSLfatal(s, SSL_AD_HANDSHAKE_FAILURE, SSL_F_TLS_PROCESS_SERVER_HELLO,
1532 SSL_R_INCONSISTENT_COMPRESSION);
1533 goto err;
Matt Caswell0f113f32015-01-22 03:40:55 +00001534 }
Dr. Stephen Henson09b6c2e2005-09-30 23:35:33 +00001535#else
Emilia Kasperfc5ce512015-09-18 14:09:37 +02001536 if (s->hit && compression != s->session->compress_meth) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00001537 SSLfatal(s, SSL_AD_ILLEGAL_PARAMETER, SSL_F_TLS_PROCESS_SERVER_HELLO,
Matt Caswell0f113f32015-01-22 03:40:55 +00001538 SSL_R_OLD_SESSION_COMPRESSION_ALGORITHM_NOT_RETURNED);
Matt Caswellf63a17d2017-11-21 17:18:43 +00001539 goto err;
Matt Caswell0f113f32015-01-22 03:40:55 +00001540 }
Emilia Kasperfc5ce512015-09-18 14:09:37 +02001541 if (compression == 0)
Matt Caswell0f113f32015-01-22 03:40:55 +00001542 comp = NULL;
1543 else if (!ssl_allow_compression(s)) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00001544 SSLfatal(s, SSL_AD_ILLEGAL_PARAMETER, SSL_F_TLS_PROCESS_SERVER_HELLO,
1545 SSL_R_COMPRESSION_DISABLED);
1546 goto err;
Emilia Kasperfc5ce512015-09-18 14:09:37 +02001547 } else {
1548 comp = ssl3_comp_find(s->ctx->comp_methods, compression);
1549 }
Matt Caswell0f113f32015-01-22 03:40:55 +00001550
Emilia Kasperfc5ce512015-09-18 14:09:37 +02001551 if (compression != 0 && comp == NULL) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00001552 SSLfatal(s, SSL_AD_ILLEGAL_PARAMETER, SSL_F_TLS_PROCESS_SERVER_HELLO,
1553 SSL_R_UNSUPPORTED_COMPRESSION_ALGORITHM);
1554 goto err;
Matt Caswell0f113f32015-01-22 03:40:55 +00001555 } else {
1556 s->s3->tmp.new_compression = comp;
1557 }
Dr. Stephen Henson09b6c2e2005-09-30 23:35:33 +00001558#endif
Bodo Möller761772d2007-09-21 06:54:24 +00001559
Matt Caswellf63a17d2017-11-21 17:18:43 +00001560 if (!tls_parse_all_extensions(s, context, extensions, NULL, 0, 1)) {
1561 /* SSLfatal() already called */
1562 goto err;
1563 }
Matt Caswell332eb392016-11-28 16:15:51 +00001564
Matt Caswell87235882015-09-07 16:36:53 +01001565#ifndef OPENSSL_NO_SCTP
1566 if (SSL_IS_DTLS(s) && s->hit) {
1567 unsigned char sctpauthkey[64];
1568 char labelbuffer[sizeof(DTLS1_SCTP_AUTH_LABEL)];
1569
1570 /*
1571 * Add new shared key for SCTP-Auth, will be ignored if
1572 * no SCTP used.
1573 */
Matt Caswell141eb8c2015-10-26 12:00:00 +00001574 memcpy(labelbuffer, DTLS1_SCTP_AUTH_LABEL,
1575 sizeof(DTLS1_SCTP_AUTH_LABEL));
Matt Caswell87235882015-09-07 16:36:53 +01001576
1577 if (SSL_export_keying_material(s, sctpauthkey,
Emilia Kaspera230b262016-08-05 19:03:17 +02001578 sizeof(sctpauthkey),
1579 labelbuffer,
Matt Caswellf63a17d2017-11-21 17:18:43 +00001580 sizeof(labelbuffer), NULL, 0, 0) <= 0) {
1581 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_PROCESS_SERVER_HELLO,
1582 ERR_R_INTERNAL_ERROR);
1583 goto err;
1584 }
Matt Caswell87235882015-09-07 16:36:53 +01001585
1586 BIO_ctrl(SSL_get_wbio(s),
1587 BIO_CTRL_DGRAM_SCTP_ADD_AUTH_KEY,
1588 sizeof(sctpauthkey), sctpauthkey);
1589 }
1590#endif
1591
Matt Caswell92760c22016-11-09 14:06:12 +00001592 /*
1593 * In TLSv1.3 we have some post-processing to change cipher state, otherwise
1594 * we're done with this message
1595 */
1596 if (SSL_IS_TLS13(s)
1597 && (!s->method->ssl3_enc->setup_key_block(s)
1598 || !s->method->ssl3_enc->change_cipher_state(s,
Matt Caswell92760c22016-11-09 14:06:12 +00001599 SSL3_CC_HANDSHAKE | SSL3_CHANGE_CIPHER_CLIENT_READ))) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00001600 /* SSLfatal() already called */
1601 goto err;
Matt Caswell92760c22016-11-09 14:06:12 +00001602 }
1603
Matt Caswell1b0286a2016-12-05 17:31:37 +00001604 OPENSSL_free(extensions);
Matt Caswellb9908bf2015-07-29 14:08:49 +01001605 return MSG_PROCESS_CONTINUE_READING;
Matt Caswellf63a17d2017-11-21 17:18:43 +00001606 err:
Matt Caswell1b0286a2016-12-05 17:31:37 +00001607 OPENSSL_free(extensions);
Matt Caswellb9908bf2015-07-29 14:08:49 +01001608 return MSG_PROCESS_ERROR;
Matt Caswell0f113f32015-01-22 03:40:55 +00001609}
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00001610
Matt Caswell3847d422017-02-01 13:31:27 +00001611static MSG_PROCESS_RETURN tls_process_hello_retry_request(SSL *s, PACKET *pkt)
1612{
1613 unsigned int sversion;
Matt Caswell11c67ee2017-03-13 15:21:15 +00001614 const unsigned char *cipherchars;
Matt Caswell3847d422017-02-01 13:31:27 +00001615 RAW_EXTENSION *extensions = NULL;
Matt Caswell3847d422017-02-01 13:31:27 +00001616 PACKET extpkt;
1617
1618 if (!PACKET_get_net_2(pkt, &sversion)) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00001619 SSLfatal(s, SSL_AD_DECODE_ERROR, SSL_F_TLS_PROCESS_HELLO_RETRY_REQUEST,
1620 SSL_R_LENGTH_MISMATCH);
1621 goto err;
Matt Caswell3847d422017-02-01 13:31:27 +00001622 }
1623
Matt Caswell61278ff2017-10-13 14:36:32 +01001624 /* TODO(TLS1.3): Remove the TLS1_3_VERSION_DRAFT clause before release */
1625 if (sversion != TLS1_3_VERSION && sversion != TLS1_3_VERSION_DRAFT) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00001626 SSLfatal(s, SSL_AD_PROTOCOL_VERSION,
1627 SSL_F_TLS_PROCESS_HELLO_RETRY_REQUEST,
1628 SSL_R_WRONG_SSL_VERSION);
1629 goto err;
Matt Caswell61278ff2017-10-13 14:36:32 +01001630 }
1631
Matt Caswell3847d422017-02-01 13:31:27 +00001632 s->hello_retry_request = 1;
1633
Matt Caswelld4504fe2017-07-14 14:50:48 +01001634 /*
1635 * If we were sending early_data then the enc_write_ctx is now invalid and
1636 * should not be used.
1637 */
1638 EVP_CIPHER_CTX_free(s->enc_write_ctx);
1639 s->enc_write_ctx = NULL;
1640
Matt Caswell11c67ee2017-03-13 15:21:15 +00001641 if (!PACKET_get_bytes(pkt, &cipherchars, TLS_CIPHER_LEN)) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00001642 SSLfatal(s, SSL_AD_DECODE_ERROR, SSL_F_TLS_PROCESS_HELLO_RETRY_REQUEST,
1643 SSL_R_LENGTH_MISMATCH);
1644 goto err;
Matt Caswell11c67ee2017-03-13 15:21:15 +00001645 }
1646
1647 if (!set_client_ciphersuite(s, cipherchars)) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00001648 /* SSLfatal() already called */
1649 goto err;
Matt Caswell11c67ee2017-03-13 15:21:15 +00001650 }
1651
Matt Caswell66d4bf62017-05-08 16:05:16 +01001652 if (!PACKET_as_length_prefixed_2(pkt, &extpkt)
1653 /* Must have a non-empty extensions block */
1654 || PACKET_remaining(&extpkt) == 0
1655 /* Must be no trailing data after extensions */
1656 || PACKET_remaining(pkt) != 0) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00001657 SSLfatal(s, SSL_AD_DECODE_ERROR, SSL_F_TLS_PROCESS_HELLO_RETRY_REQUEST,
1658 SSL_R_BAD_LENGTH);
1659 goto err;
Matt Caswell3847d422017-02-01 13:31:27 +00001660 }
1661
Matt Caswellfe874d22017-04-04 11:40:02 +01001662 if (!tls_collect_extensions(s, &extpkt, SSL_EXT_TLS1_3_HELLO_RETRY_REQUEST,
Matt Caswellf63a17d2017-11-21 17:18:43 +00001663 &extensions, NULL, 1)
Matt Caswellfe874d22017-04-04 11:40:02 +01001664 || !tls_parse_all_extensions(s, SSL_EXT_TLS1_3_HELLO_RETRY_REQUEST,
Matt Caswellf63a17d2017-11-21 17:18:43 +00001665 extensions, NULL, 0, 1)) {
1666 /* SSLfatal() already called */
1667 goto err;
1668 }
Matt Caswell3847d422017-02-01 13:31:27 +00001669
1670 OPENSSL_free(extensions);
Matt Caswell66d4bf62017-05-08 16:05:16 +01001671 extensions = NULL;
1672
Benjamin Kadukf5d270c2017-09-14 10:23:20 -05001673 if (s->ext.tls13_cookie_len == 0
1674#if !defined(OPENSSL_NO_EC) || !defined(OPENSSL_NO_DH)
1675 && s->s3->tmp.pkey != NULL
1676#endif
1677 ) {
Matt Caswell66d4bf62017-05-08 16:05:16 +01001678 /*
1679 * We didn't receive a cookie or a new key_share so the next
1680 * ClientHello will not change
1681 */
Matt Caswellf63a17d2017-11-21 17:18:43 +00001682 SSLfatal(s, SSL_AD_ILLEGAL_PARAMETER,
1683 SSL_F_TLS_PROCESS_HELLO_RETRY_REQUEST,
1684 SSL_R_NO_CHANGE_FOLLOWING_HRR);
1685 goto err;
Matt Caswell66d4bf62017-05-08 16:05:16 +01001686 }
Matt Caswell3847d422017-02-01 13:31:27 +00001687
Matt Caswell11c67ee2017-03-13 15:21:15 +00001688 /*
1689 * Re-initialise the Transcript Hash. We're going to prepopulate it with
1690 * a synthetic message_hash in place of ClientHello1.
1691 */
1692 if (!create_synthetic_message_hash(s)) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00001693 /* SSLfatal() already called */
1694 goto err;
Matt Caswell11c67ee2017-03-13 15:21:15 +00001695 }
1696
1697 /*
1698 * Add this message to the Transcript Hash. Normally this is done
1699 * automatically prior to the message processing stage. However due to the
1700 * need to create the synthetic message hash, we defer that step until now
1701 * for HRR messages.
1702 */
1703 if (!ssl3_finish_mac(s, (unsigned char *)s->init_buf->data,
1704 s->init_num + SSL3_HM_HEADER_LENGTH)) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00001705 /* SSLfatal() already called */
1706 goto err;
Matt Caswell11c67ee2017-03-13 15:21:15 +00001707 }
1708
Matt Caswell3847d422017-02-01 13:31:27 +00001709 return MSG_PROCESS_FINISHED_READING;
Matt Caswellf63a17d2017-11-21 17:18:43 +00001710 err:
Matt Caswell3847d422017-02-01 13:31:27 +00001711 OPENSSL_free(extensions);
1712 return MSG_PROCESS_ERROR;
1713}
1714
Matt Caswellbe3583f2015-10-26 11:46:33 +00001715MSG_PROCESS_RETURN tls_process_server_certificate(SSL *s, PACKET *pkt)
Matt Caswellb9908bf2015-07-29 14:08:49 +01001716{
Matt Caswellf63a17d2017-11-21 17:18:43 +00001717 int i;
Andy Polyakoveb5fd032017-08-31 23:23:00 +02001718 MSG_PROCESS_RETURN ret = MSG_PROCESS_ERROR;
Matt Caswellb9908bf2015-07-29 14:08:49 +01001719 unsigned long cert_list_len, cert_len;
1720 X509 *x = NULL;
Emilia Kasperb6981742016-02-01 15:26:18 +01001721 const unsigned char *certstart, *certbytes;
Matt Caswellb9908bf2015-07-29 14:08:49 +01001722 STACK_OF(X509) *sk = NULL;
1723 EVP_PKEY *pkey = NULL;
Dr. Stephen Henson7f6b4662017-06-29 14:55:06 +01001724 size_t chainidx, certidx;
Matt Caswelle96e0f82016-12-02 09:14:15 +00001725 unsigned int context = 0;
Dr. Stephen Henson7f6b4662017-06-29 14:55:06 +01001726 const SSL_CERT_LOOKUP *clu;
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00001727
Matt Caswell0f113f32015-01-22 03:40:55 +00001728 if ((sk = sk_X509_new_null()) == NULL) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00001729 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_PROCESS_SERVER_CERTIFICATE,
1730 ERR_R_MALLOC_FAILURE);
Matt Caswellcc273a92015-04-30 11:32:35 +01001731 goto err;
Matt Caswell0f113f32015-01-22 03:40:55 +00001732 }
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00001733
Matt Caswelle96e0f82016-12-02 09:14:15 +00001734 if ((SSL_IS_TLS13(s) && !PACKET_get_1(pkt, &context))
1735 || context != 0
1736 || !PACKET_get_net_3(pkt, &cert_list_len)
Matt Caswell1a281aa2017-05-11 08:38:21 +01001737 || PACKET_remaining(pkt) != cert_list_len
1738 || PACKET_remaining(pkt) == 0) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00001739 SSLfatal(s, SSL_AD_DECODE_ERROR, SSL_F_TLS_PROCESS_SERVER_CERTIFICATE,
1740 SSL_R_LENGTH_MISMATCH);
1741 goto err;
Matt Caswell0f113f32015-01-22 03:40:55 +00001742 }
Matt Caswelld805a572017-01-06 11:01:14 +00001743 for (chainidx = 0; PACKET_remaining(pkt); chainidx++) {
Matt Caswell73999b62015-09-10 10:22:30 +01001744 if (!PACKET_get_net_3(pkt, &cert_len)
Emilia Kaspera230b262016-08-05 19:03:17 +02001745 || !PACKET_get_bytes(pkt, &certbytes, cert_len)) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00001746 SSLfatal(s, SSL_AD_DECODE_ERROR,
1747 SSL_F_TLS_PROCESS_SERVER_CERTIFICATE,
1748 SSL_R_CERT_LENGTH_MISMATCH);
1749 goto err;
Matt Caswell0f113f32015-01-22 03:40:55 +00001750 }
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00001751
Matt Caswelldf758a82015-08-04 20:10:06 +01001752 certstart = certbytes;
1753 x = d2i_X509(NULL, (const unsigned char **)&certbytes, cert_len);
Matt Caswell0f113f32015-01-22 03:40:55 +00001754 if (x == NULL) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00001755 SSLfatal(s, SSL_AD_BAD_CERTIFICATE,
1756 SSL_F_TLS_PROCESS_SERVER_CERTIFICATE, ERR_R_ASN1_LIB);
1757 goto err;
Matt Caswell0f113f32015-01-22 03:40:55 +00001758 }
Matt Caswelldf758a82015-08-04 20:10:06 +01001759 if (certbytes != (certstart + cert_len)) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00001760 SSLfatal(s, SSL_AD_DECODE_ERROR,
1761 SSL_F_TLS_PROCESS_SERVER_CERTIFICATE,
1762 SSL_R_CERT_LENGTH_MISMATCH);
1763 goto err;
Matt Caswell0f113f32015-01-22 03:40:55 +00001764 }
Matt Caswelle96e0f82016-12-02 09:14:15 +00001765
1766 if (SSL_IS_TLS13(s)) {
1767 RAW_EXTENSION *rawexts = NULL;
1768 PACKET extensions;
1769
1770 if (!PACKET_get_length_prefixed_2(pkt, &extensions)) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00001771 SSLfatal(s, SSL_AD_DECODE_ERROR,
1772 SSL_F_TLS_PROCESS_SERVER_CERTIFICATE,
1773 SSL_R_BAD_LENGTH);
1774 goto err;
Matt Caswelle96e0f82016-12-02 09:14:15 +00001775 }
Matt Caswellfe874d22017-04-04 11:40:02 +01001776 if (!tls_collect_extensions(s, &extensions,
1777 SSL_EXT_TLS1_3_CERTIFICATE, &rawexts,
Matt Caswellf63a17d2017-11-21 17:18:43 +00001778 NULL, chainidx == 0)
Tatsuhiro Tsujikawa8e1634e2017-04-21 22:10:32 +09001779 || !tls_parse_all_extensions(s, SSL_EXT_TLS1_3_CERTIFICATE,
Matt Caswellf63a17d2017-11-21 17:18:43 +00001780 rawexts, x, chainidx,
Tatsuhiro Tsujikawa8e1634e2017-04-21 22:10:32 +09001781 PACKET_remaining(pkt) == 0)) {
Matt Caswell5ee289e2017-01-25 14:45:12 +00001782 OPENSSL_free(rawexts);
Matt Caswellf63a17d2017-11-21 17:18:43 +00001783 /* SSLfatal already called */
1784 goto err;
Matt Caswell5ee289e2017-01-25 14:45:12 +00001785 }
1786 OPENSSL_free(rawexts);
Matt Caswelle96e0f82016-12-02 09:14:15 +00001787 }
1788
Matt Caswell0f113f32015-01-22 03:40:55 +00001789 if (!sk_X509_push(sk, x)) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00001790 SSLfatal(s, SSL_AD_INTERNAL_ERROR,
1791 SSL_F_TLS_PROCESS_SERVER_CERTIFICATE,
1792 ERR_R_MALLOC_FAILURE);
Matt Caswellcc273a92015-04-30 11:32:35 +01001793 goto err;
Matt Caswell0f113f32015-01-22 03:40:55 +00001794 }
1795 x = NULL;
Matt Caswell0f113f32015-01-22 03:40:55 +00001796 }
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00001797
Matt Caswell0f113f32015-01-22 03:40:55 +00001798 i = ssl_verify_cert_chain(s, sk);
Matt Caswellc8e2f982016-10-27 10:46:25 +01001799 /*
1800 * The documented interface is that SSL_VERIFY_PEER should be set in order
1801 * for client side verification of the server certificate to take place.
1802 * However, historically the code has only checked that *any* flag is set
1803 * to cause server verification to take place. Use of the other flags makes
1804 * no sense in client mode. An attempt to clean up the semantics was
1805 * reverted because at least one application *only* set
1806 * SSL_VERIFY_FAIL_IF_NO_PEER_CERT. Prior to the clean up this still caused
1807 * server verification to take place, after the clean up it silently did
1808 * nothing. SSL_CTX_set_verify()/SSL_set_verify() cannot validate the flags
1809 * sent to them because they are void functions. Therefore, we now use the
1810 * (less clean) historic behaviour of performing validation if any flag is
1811 * set. The *documented* interface remains the same.
1812 */
1813 if (s->verify_mode != SSL_VERIFY_NONE && i <= 0) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00001814 SSLfatal(s, ssl_verify_alarm_type(s->verify_result),
1815 SSL_F_TLS_PROCESS_SERVER_CERTIFICATE,
1816 SSL_R_CERTIFICATE_VERIFY_FAILED);
1817 goto err;
Matt Caswell0f113f32015-01-22 03:40:55 +00001818 }
1819 ERR_clear_error(); /* but we keep s->verify_result */
1820 if (i > 1) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00001821 SSLfatal(s, SSL_AD_HANDSHAKE_FAILURE,
1822 SSL_F_TLS_PROCESS_SERVER_CERTIFICATE, i);
1823 goto err;
Matt Caswell0f113f32015-01-22 03:40:55 +00001824 }
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00001825
Dr. Stephen Hensonc34b0f92015-06-21 19:34:33 +01001826 s->session->peer_chain = sk;
Matt Caswell0f113f32015-01-22 03:40:55 +00001827 /*
1828 * Inconsistency alert: cert_chain does include the peer's certificate,
Matt Caswelld4d78942016-05-17 11:51:00 +01001829 * which we don't include in statem_srvr.c
Matt Caswell0f113f32015-01-22 03:40:55 +00001830 */
1831 x = sk_X509_value(sk, 0);
1832 sk = NULL;
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00001833
Dr. Stephen Henson8382fd32015-12-20 00:32:36 +00001834 pkey = X509_get0_pubkey(x);
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00001835
Matt Caswell55a9a162015-05-12 10:27:53 +01001836 if (pkey == NULL || EVP_PKEY_missing_parameters(pkey)) {
Matt Caswell0f113f32015-01-22 03:40:55 +00001837 x = NULL;
Matt Caswellf63a17d2017-11-21 17:18:43 +00001838 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_PROCESS_SERVER_CERTIFICATE,
1839 SSL_R_UNABLE_TO_FIND_PUBLIC_KEY_PARAMETERS);
1840 goto err;
Matt Caswell0f113f32015-01-22 03:40:55 +00001841 }
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00001842
Dr. Stephen Henson7f6b4662017-06-29 14:55:06 +01001843 if ((clu = ssl_cert_lookup_by_pkey(pkey, &certidx)) == NULL) {
Matt Caswell0f113f32015-01-22 03:40:55 +00001844 x = NULL;
Matt Caswellf63a17d2017-11-21 17:18:43 +00001845 SSLfatal(s, SSL_AD_ILLEGAL_PARAMETER,
1846 SSL_F_TLS_PROCESS_SERVER_CERTIFICATE,
1847 SSL_R_UNKNOWN_CERTIFICATE_TYPE);
1848 goto err;
Matt Caswell0f113f32015-01-22 03:40:55 +00001849 }
Dr. Stephen Henson05b84862017-01-30 15:34:25 +00001850 /*
1851 * Check certificate type is consistent with ciphersuite. For TLS 1.3
1852 * skip check since TLS 1.3 ciphersuites can be used with any certificate
1853 * type.
1854 */
1855 if (!SSL_IS_TLS13(s)) {
Dr. Stephen Henson7f6b4662017-06-29 14:55:06 +01001856 if ((clu->amask & s->s3->tmp.new_cipher->algorithm_auth) == 0) {
Dr. Stephen Henson05b84862017-01-30 15:34:25 +00001857 x = NULL;
Matt Caswellf63a17d2017-11-21 17:18:43 +00001858 SSLfatal(s, SSL_AD_ILLEGAL_PARAMETER,
1859 SSL_F_TLS_PROCESS_SERVER_CERTIFICATE,
1860 SSL_R_WRONG_CERTIFICATE_TYPE);
1861 goto err;
Dr. Stephen Henson05b84862017-01-30 15:34:25 +00001862 }
Matt Caswell0f113f32015-01-22 03:40:55 +00001863 }
Dr. Stephen Henson7f6b4662017-06-29 14:55:06 +01001864 s->session->peer_type = certidx;
Matt Caswell55a9a162015-05-12 10:27:53 +01001865
1866 X509_free(s->session->peer);
Dr. Stephen Henson05f0fb92015-08-31 20:29:57 +01001867 X509_up_ref(x);
Matt Caswell55a9a162015-05-12 10:27:53 +01001868 s->session->peer = x;
Matt Caswell0f113f32015-01-22 03:40:55 +00001869 s->session->verify_result = s->verify_result;
Matt Caswell0f113f32015-01-22 03:40:55 +00001870 x = NULL;
Matt Caswell2c5dfdc2016-12-05 17:04:51 +00001871
1872 /* Save the current hash state for when we receive the CertificateVerify */
1873 if (SSL_IS_TLS13(s)
1874 && !ssl_handshake_hash(s, s->cert_verify_hash,
1875 sizeof(s->cert_verify_hash),
1876 &s->cert_verify_hash_len)) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00001877 /* SSLfatal() already called */;
1878 goto err;
Matt Caswell2c5dfdc2016-12-05 17:04:51 +00001879 }
1880
Matt Caswellb9908bf2015-07-29 14:08:49 +01001881 ret = MSG_PROCESS_CONTINUE_READING;
Rich Salz66696472015-05-01 14:29:48 -04001882
Matt Caswellcc273a92015-04-30 11:32:35 +01001883 err:
Matt Caswell0f113f32015-01-22 03:40:55 +00001884 X509_free(x);
1885 sk_X509_pop_free(sk, X509_free);
Matt Caswellb9908bf2015-07-29 14:08:49 +01001886 return ret;
Matt Caswell0f113f32015-01-22 03:40:55 +00001887}
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00001888
Matt Caswella2c2e002017-11-22 17:18:39 +00001889static int tls_process_ske_psk_preamble(SSL *s, PACKET *pkt)
Matt Caswell02a74592016-07-08 12:20:42 +01001890{
1891#ifndef OPENSSL_NO_PSK
Matt Caswell7dc1c642016-07-08 12:44:53 +01001892 PACKET psk_identity_hint;
Matt Caswell02a74592016-07-08 12:20:42 +01001893
Matt Caswell7dc1c642016-07-08 12:44:53 +01001894 /* PSK ciphersuites are preceded by an identity hint */
1895
1896 if (!PACKET_get_length_prefixed_2(pkt, &psk_identity_hint)) {
Matt Caswella2c2e002017-11-22 17:18:39 +00001897 SSLfatal(s, SSL_AD_DECODE_ERROR, SSL_F_TLS_PROCESS_SKE_PSK_PREAMBLE,
1898 SSL_R_LENGTH_MISMATCH);
Matt Caswell7dc1c642016-07-08 12:44:53 +01001899 return 0;
1900 }
1901
1902 /*
1903 * Store PSK identity hint for later use, hint is used in
1904 * tls_construct_client_key_exchange. Assume that the maximum length of
1905 * a PSK identity hint can be as long as the maximum length of a PSK
1906 * identity.
1907 */
1908 if (PACKET_remaining(&psk_identity_hint) > PSK_MAX_IDENTITY_LEN) {
Matt Caswella2c2e002017-11-22 17:18:39 +00001909 SSLfatal(s, SSL_AD_HANDSHAKE_FAILURE,
1910 SSL_F_TLS_PROCESS_SKE_PSK_PREAMBLE,
1911 SSL_R_DATA_LENGTH_TOO_LONG);
Matt Caswell7dc1c642016-07-08 12:44:53 +01001912 return 0;
1913 }
1914
1915 if (PACKET_remaining(&psk_identity_hint) == 0) {
1916 OPENSSL_free(s->session->psk_identity_hint);
1917 s->session->psk_identity_hint = NULL;
1918 } else if (!PACKET_strndup(&psk_identity_hint,
Emilia Kaspera230b262016-08-05 19:03:17 +02001919 &s->session->psk_identity_hint)) {
Matt Caswella2c2e002017-11-22 17:18:39 +00001920 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_PROCESS_SKE_PSK_PREAMBLE,
1921 ERR_R_INTERNAL_ERROR);
Matt Caswell7dc1c642016-07-08 12:44:53 +01001922 return 0;
1923 }
1924
1925 return 1;
Matt Caswell02a74592016-07-08 12:20:42 +01001926#else
Matt Caswella2c2e002017-11-22 17:18:39 +00001927 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_PROCESS_SKE_PSK_PREAMBLE,
1928 ERR_R_INTERNAL_ERROR);
Matt Caswell7dc1c642016-07-08 12:44:53 +01001929 return 0;
Matt Caswell02a74592016-07-08 12:20:42 +01001930#endif
1931}
1932
Matt Caswella2c2e002017-11-22 17:18:39 +00001933static int tls_process_ske_srp(SSL *s, PACKET *pkt, EVP_PKEY **pkey)
Matt Caswell25c6c102016-07-08 14:55:56 +01001934{
1935#ifndef OPENSSL_NO_SRP
1936 PACKET prime, generator, salt, server_pub;
1937
1938 if (!PACKET_get_length_prefixed_2(pkt, &prime)
1939 || !PACKET_get_length_prefixed_2(pkt, &generator)
1940 || !PACKET_get_length_prefixed_1(pkt, &salt)
1941 || !PACKET_get_length_prefixed_2(pkt, &server_pub)) {
Matt Caswella2c2e002017-11-22 17:18:39 +00001942 SSLfatal(s, SSL_AD_DECODE_ERROR, SSL_F_TLS_PROCESS_SKE_SRP,
1943 SSL_R_LENGTH_MISMATCH);
Matt Caswell25c6c102016-07-08 14:55:56 +01001944 return 0;
1945 }
1946
Matt Caswell348240c2016-10-19 15:11:24 +01001947 /* TODO(size_t): Convert BN_bin2bn() calls */
Matt Caswell25c6c102016-07-08 14:55:56 +01001948 if ((s->srp_ctx.N =
1949 BN_bin2bn(PACKET_data(&prime),
Matt Caswell348240c2016-10-19 15:11:24 +01001950 (int)PACKET_remaining(&prime), NULL)) == NULL
Matt Caswell25c6c102016-07-08 14:55:56 +01001951 || (s->srp_ctx.g =
1952 BN_bin2bn(PACKET_data(&generator),
Matt Caswell348240c2016-10-19 15:11:24 +01001953 (int)PACKET_remaining(&generator), NULL)) == NULL
Matt Caswell25c6c102016-07-08 14:55:56 +01001954 || (s->srp_ctx.s =
1955 BN_bin2bn(PACKET_data(&salt),
Matt Caswell348240c2016-10-19 15:11:24 +01001956 (int)PACKET_remaining(&salt), NULL)) == NULL
Matt Caswell25c6c102016-07-08 14:55:56 +01001957 || (s->srp_ctx.B =
1958 BN_bin2bn(PACKET_data(&server_pub),
Matt Caswell348240c2016-10-19 15:11:24 +01001959 (int)PACKET_remaining(&server_pub), NULL)) == NULL) {
Matt Caswella2c2e002017-11-22 17:18:39 +00001960 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_PROCESS_SKE_SRP,
1961 ERR_R_BN_LIB);
Matt Caswell25c6c102016-07-08 14:55:56 +01001962 return 0;
1963 }
1964
Matt Caswella2c2e002017-11-22 17:18:39 +00001965 if (!srp_verify_server_param(s)) {
1966 /* SSLfatal() already called */
Matt Caswell25c6c102016-07-08 14:55:56 +01001967 return 0;
1968 }
1969
1970 /* We must check if there is a certificate */
Emilia Kaspera230b262016-08-05 19:03:17 +02001971 if (s->s3->tmp.new_cipher->algorithm_auth & (SSL_aRSA | SSL_aDSS))
Matt Caswell25c6c102016-07-08 14:55:56 +01001972 *pkey = X509_get0_pubkey(s->session->peer);
1973
1974 return 1;
1975#else
Matt Caswella2c2e002017-11-22 17:18:39 +00001976 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_PROCESS_SKE_SRP,
1977 ERR_R_INTERNAL_ERROR);
Matt Caswell25c6c102016-07-08 14:55:56 +01001978 return 0;
1979#endif
1980}
1981
Matt Caswella2c2e002017-11-22 17:18:39 +00001982static int tls_process_ske_dhe(SSL *s, PACKET *pkt, EVP_PKEY **pkey)
Matt Caswelle01a6102016-07-08 15:08:50 +01001983{
1984#ifndef OPENSSL_NO_DH
1985 PACKET prime, generator, pub_key;
1986 EVP_PKEY *peer_tmp = NULL;
1987
1988 DH *dh = NULL;
1989 BIGNUM *p = NULL, *g = NULL, *bnpub_key = NULL;
1990
Richard Levitte26505152016-12-30 21:57:28 +01001991 int check_bits = 0;
1992
Matt Caswelle01a6102016-07-08 15:08:50 +01001993 if (!PACKET_get_length_prefixed_2(pkt, &prime)
1994 || !PACKET_get_length_prefixed_2(pkt, &generator)
1995 || !PACKET_get_length_prefixed_2(pkt, &pub_key)) {
Matt Caswella2c2e002017-11-22 17:18:39 +00001996 SSLfatal(s, SSL_AD_DECODE_ERROR, SSL_F_TLS_PROCESS_SKE_DHE,
1997 SSL_R_LENGTH_MISMATCH);
Matt Caswelle01a6102016-07-08 15:08:50 +01001998 return 0;
1999 }
2000
2001 peer_tmp = EVP_PKEY_new();
2002 dh = DH_new();
2003
2004 if (peer_tmp == NULL || dh == NULL) {
Matt Caswella2c2e002017-11-22 17:18:39 +00002005 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_PROCESS_SKE_DHE,
2006 ERR_R_MALLOC_FAILURE);
Matt Caswelle01a6102016-07-08 15:08:50 +01002007 goto err;
2008 }
2009
Matt Caswell348240c2016-10-19 15:11:24 +01002010 /* TODO(size_t): Convert these calls */
2011 p = BN_bin2bn(PACKET_data(&prime), (int)PACKET_remaining(&prime), NULL);
2012 g = BN_bin2bn(PACKET_data(&generator), (int)PACKET_remaining(&generator),
2013 NULL);
2014 bnpub_key = BN_bin2bn(PACKET_data(&pub_key),
2015 (int)PACKET_remaining(&pub_key), NULL);
Matt Caswelle01a6102016-07-08 15:08:50 +01002016 if (p == NULL || g == NULL || bnpub_key == NULL) {
Matt Caswella2c2e002017-11-22 17:18:39 +00002017 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_PROCESS_SKE_DHE,
2018 ERR_R_BN_LIB);
Matt Caswelle01a6102016-07-08 15:08:50 +01002019 goto err;
2020 }
2021
FdaSilvaYY69687aa2017-03-28 23:57:28 +02002022 /* test non-zero pubkey */
Richard Levitte26505152016-12-30 21:57:28 +01002023 if (BN_is_zero(bnpub_key)) {
Matt Caswella2c2e002017-11-22 17:18:39 +00002024 SSLfatal(s, SSL_AD_ILLEGAL_PARAMETER, SSL_F_TLS_PROCESS_SKE_DHE,
2025 SSL_R_BAD_DH_VALUE);
Matt Caswelle01a6102016-07-08 15:08:50 +01002026 goto err;
2027 }
2028
2029 if (!DH_set0_pqg(dh, p, NULL, g)) {
Matt Caswella2c2e002017-11-22 17:18:39 +00002030 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_PROCESS_SKE_DHE,
2031 ERR_R_BN_LIB);
Matt Caswelle01a6102016-07-08 15:08:50 +01002032 goto err;
2033 }
2034 p = g = NULL;
2035
Richard Levitte26505152016-12-30 21:57:28 +01002036 if (DH_check_params(dh, &check_bits) == 0 || check_bits != 0) {
Matt Caswella2c2e002017-11-22 17:18:39 +00002037 SSLfatal(s, SSL_AD_ILLEGAL_PARAMETER, SSL_F_TLS_PROCESS_SKE_DHE,
2038 SSL_R_BAD_DH_VALUE);
Richard Levitte26505152016-12-30 21:57:28 +01002039 goto err;
2040 }
2041
Matt Caswelle01a6102016-07-08 15:08:50 +01002042 if (!DH_set0_key(dh, bnpub_key, NULL)) {
Matt Caswella2c2e002017-11-22 17:18:39 +00002043 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_PROCESS_SKE_DHE,
2044 ERR_R_BN_LIB);
Matt Caswelle01a6102016-07-08 15:08:50 +01002045 goto err;
2046 }
2047 bnpub_key = NULL;
2048
2049 if (!ssl_security(s, SSL_SECOP_TMP_DH, DH_security_bits(dh), 0, dh)) {
Matt Caswella2c2e002017-11-22 17:18:39 +00002050 SSLfatal(s, SSL_AD_HANDSHAKE_FAILURE, SSL_F_TLS_PROCESS_SKE_DHE,
2051 SSL_R_DH_KEY_TOO_SMALL);
Matt Caswelle01a6102016-07-08 15:08:50 +01002052 goto err;
2053 }
2054
2055 if (EVP_PKEY_assign_DH(peer_tmp, dh) == 0) {
Matt Caswella2c2e002017-11-22 17:18:39 +00002056 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_PROCESS_SKE_DHE,
2057 ERR_R_EVP_LIB);
Matt Caswelle01a6102016-07-08 15:08:50 +01002058 goto err;
2059 }
2060
2061 s->s3->peer_tmp = peer_tmp;
2062
2063 /*
2064 * FIXME: This makes assumptions about which ciphersuites come with
2065 * public keys. We should have a less ad-hoc way of doing this
2066 */
Emilia Kaspera230b262016-08-05 19:03:17 +02002067 if (s->s3->tmp.new_cipher->algorithm_auth & (SSL_aRSA | SSL_aDSS))
Matt Caswelle01a6102016-07-08 15:08:50 +01002068 *pkey = X509_get0_pubkey(s->session->peer);
2069 /* else anonymous DH, so no certificate or pkey. */
2070
2071 return 1;
2072
2073 err:
2074 BN_free(p);
2075 BN_free(g);
2076 BN_free(bnpub_key);
2077 DH_free(dh);
2078 EVP_PKEY_free(peer_tmp);
2079
2080 return 0;
2081#else
Matt Caswella2c2e002017-11-22 17:18:39 +00002082 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_PROCESS_SKE_DHE,
2083 ERR_R_INTERNAL_ERROR);
Matt Caswelle01a6102016-07-08 15:08:50 +01002084 return 0;
2085#endif
2086}
2087
Matt Caswella2c2e002017-11-22 17:18:39 +00002088static int tls_process_ske_ecdhe(SSL *s, PACKET *pkt, EVP_PKEY **pkey)
Matt Caswellff74aeb2016-07-08 15:26:13 +01002089{
2090#ifndef OPENSSL_NO_EC
2091 PACKET encoded_pt;
Dr. Stephen Henson6447e812017-09-26 16:17:44 +01002092 unsigned int curve_type, curve_id;
Matt Caswellff74aeb2016-07-08 15:26:13 +01002093
2094 /*
2095 * Extract elliptic curve parameters and the server's ephemeral ECDH
Dr. Stephen Henson6447e812017-09-26 16:17:44 +01002096 * public key. We only support named (not generic) curves and
Matt Caswellff74aeb2016-07-08 15:26:13 +01002097 * ECParameters in this case is just three bytes.
2098 */
Dr. Stephen Henson6447e812017-09-26 16:17:44 +01002099 if (!PACKET_get_1(pkt, &curve_type) || !PACKET_get_net_2(pkt, &curve_id)) {
Matt Caswella2c2e002017-11-22 17:18:39 +00002100 SSLfatal(s, SSL_AD_DECODE_ERROR, SSL_F_TLS_PROCESS_SKE_ECDHE,
2101 SSL_R_LENGTH_TOO_SHORT);
Matt Caswellff74aeb2016-07-08 15:26:13 +01002102 return 0;
2103 }
2104 /*
Dr. Stephen Henson6447e812017-09-26 16:17:44 +01002105 * Check curve is named curve type and one of our preferences, if not
2106 * server has sent an invalid curve.
Matt Caswellff74aeb2016-07-08 15:26:13 +01002107 */
Dr. Stephen Henson6447e812017-09-26 16:17:44 +01002108 if (curve_type != NAMED_CURVE_TYPE || !tls1_check_group_id(s, curve_id)) {
Matt Caswella2c2e002017-11-22 17:18:39 +00002109 SSLfatal(s, SSL_AD_ILLEGAL_PARAMETER, SSL_F_TLS_PROCESS_SKE_ECDHE,
2110 SSL_R_WRONG_CURVE);
Matt Caswellff74aeb2016-07-08 15:26:13 +01002111 return 0;
2112 }
2113
Dr. Stephen Henson6447e812017-09-26 16:17:44 +01002114 if ((s->s3->peer_tmp = ssl_generate_param_group(curve_id)) == NULL) {
Matt Caswella2c2e002017-11-22 17:18:39 +00002115 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_PROCESS_SKE_ECDHE,
2116 SSL_R_UNABLE_TO_FIND_ECDH_PARAMETERS);
Matt Caswellff74aeb2016-07-08 15:26:13 +01002117 return 0;
2118 }
2119
Matt Caswellff74aeb2016-07-08 15:26:13 +01002120 if (!PACKET_get_length_prefixed_1(pkt, &encoded_pt)) {
Matt Caswella2c2e002017-11-22 17:18:39 +00002121 SSLfatal(s, SSL_AD_DECODE_ERROR, SSL_F_TLS_PROCESS_SKE_ECDHE,
2122 SSL_R_LENGTH_MISMATCH);
Matt Caswellff74aeb2016-07-08 15:26:13 +01002123 return 0;
2124 }
2125
Dr. Stephen Hensonec246302016-08-11 15:41:49 +01002126 if (!EVP_PKEY_set1_tls_encodedpoint(s->s3->peer_tmp,
2127 PACKET_data(&encoded_pt),
2128 PACKET_remaining(&encoded_pt))) {
Matt Caswella2c2e002017-11-22 17:18:39 +00002129 SSLfatal(s, SSL_AD_ILLEGAL_PARAMETER, SSL_F_TLS_PROCESS_SKE_ECDHE,
2130 SSL_R_BAD_ECPOINT);
Matt Caswellff74aeb2016-07-08 15:26:13 +01002131 return 0;
2132 }
2133
2134 /*
2135 * The ECC/TLS specification does not mention the use of DSA to sign
2136 * ECParameters in the server key exchange message. We do support RSA
2137 * and ECDSA.
2138 */
2139 if (s->s3->tmp.new_cipher->algorithm_auth & SSL_aECDSA)
2140 *pkey = X509_get0_pubkey(s->session->peer);
2141 else if (s->s3->tmp.new_cipher->algorithm_auth & SSL_aRSA)
2142 *pkey = X509_get0_pubkey(s->session->peer);
2143 /* else anonymous ECDH, so no certificate or pkey. */
2144
2145 return 1;
2146#else
Matt Caswella2c2e002017-11-22 17:18:39 +00002147 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_PROCESS_SKE_ECDHE,
2148 ERR_R_INTERNAL_ERROR);
Matt Caswellff74aeb2016-07-08 15:26:13 +01002149 return 0;
2150#endif
2151}
2152
Matt Caswellbe3583f2015-10-26 11:46:33 +00002153MSG_PROCESS_RETURN tls_process_key_exchange(SSL *s, PACKET *pkt)
Matt Caswellb9908bf2015-07-29 14:08:49 +01002154{
Matt Caswelle1e588a2016-07-08 15:41:36 +01002155 long alg_k;
Matt Caswell0f113f32015-01-22 03:40:55 +00002156 EVP_PKEY *pkey = NULL;
Matt Caswellfe3066e2017-01-03 10:01:39 +00002157 EVP_MD_CTX *md_ctx = NULL;
2158 EVP_PKEY_CTX *pctx = NULL;
Matt Caswell73999b62015-09-10 10:22:30 +01002159 PACKET save_param_start, signature;
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00002160
Matt Caswell0f113f32015-01-22 03:40:55 +00002161 alg_k = s->s3->tmp.new_cipher->algorithm_mkey;
Dr. Stephen Hensonb15f8762014-10-24 12:30:33 +01002162
Matt Caswell73999b62015-09-10 10:22:30 +01002163 save_param_start = *pkt;
Dr. Stephen Henson8d92c1f2015-06-21 16:26:08 +01002164
Ben Laurie3260adf2016-07-31 15:48:24 +01002165#if !defined(OPENSSL_NO_EC) || !defined(OPENSSL_NO_DH)
Dr. Stephen Henson61dd9f72015-12-14 00:33:33 +00002166 EVP_PKEY_free(s->s3->peer_tmp);
2167 s->s3->peer_tmp = NULL;
Ben Laurie3260adf2016-07-31 15:48:24 +01002168#endif
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00002169
Dr. Stephen Henson76890822015-06-28 17:15:10 +01002170 if (alg_k & SSL_PSK) {
Matt Caswella2c2e002017-11-22 17:18:39 +00002171 if (!tls_process_ske_psk_preamble(s, pkt)) {
2172 /* SSLfatal() already called */
Matt Caswell7dc1c642016-07-08 12:44:53 +01002173 goto err;
Matt Caswella2c2e002017-11-22 17:18:39 +00002174 }
Dr. Stephen Henson76890822015-06-28 17:15:10 +01002175 }
2176
2177 /* Nothing else to do for plain PSK or RSAPSK */
2178 if (alg_k & (SSL_kPSK | SSL_kRSAPSK)) {
Matt Caswell25c6c102016-07-08 14:55:56 +01002179 } else if (alg_k & SSL_kSRP) {
Matt Caswella2c2e002017-11-22 17:18:39 +00002180 if (!tls_process_ske_srp(s, pkt, &pkey)) {
2181 /* SSLfatal() already called */
Matt Caswell0f113f32015-01-22 03:40:55 +00002182 goto err;
Matt Caswella2c2e002017-11-22 17:18:39 +00002183 }
Matt Caswelle01a6102016-07-08 15:08:50 +01002184 } else if (alg_k & (SSL_kDHE | SSL_kDHEPSK)) {
Matt Caswella2c2e002017-11-22 17:18:39 +00002185 if (!tls_process_ske_dhe(s, pkt, &pkey)) {
2186 /* SSLfatal() already called */
Matt Caswelle01a6102016-07-08 15:08:50 +01002187 goto err;
Matt Caswella2c2e002017-11-22 17:18:39 +00002188 }
Matt Caswellff74aeb2016-07-08 15:26:13 +01002189 } else if (alg_k & (SSL_kECDHE | SSL_kECDHEPSK)) {
Matt Caswella2c2e002017-11-22 17:18:39 +00002190 if (!tls_process_ske_ecdhe(s, pkt, &pkey)) {
2191 /* SSLfatal() already called */
Matt Caswellff74aeb2016-07-08 15:26:13 +01002192 goto err;
Matt Caswella2c2e002017-11-22 17:18:39 +00002193 }
Matt Caswell0f113f32015-01-22 03:40:55 +00002194 } else if (alg_k) {
Matt Caswella2c2e002017-11-22 17:18:39 +00002195 SSLfatal(s, SSL_AD_UNEXPECTED_MESSAGE, SSL_F_TLS_PROCESS_KEY_EXCHANGE,
2196 SSL_R_UNEXPECTED_MESSAGE);
Matt Caswelle1e588a2016-07-08 15:41:36 +01002197 goto err;
Matt Caswell0f113f32015-01-22 03:40:55 +00002198 }
Ralf S. Engelschalldfeab061998-12-21 11:00:56 +00002199
Matt Caswell0f113f32015-01-22 03:40:55 +00002200 /* if it was signed, check the signature */
2201 if (pkey != NULL) {
Emilia Kasper32942872015-10-02 14:40:30 +02002202 PACKET params;
Matt Caswellbe8dba22016-07-08 12:18:18 +01002203 int maxsig;
2204 const EVP_MD *md = NULL;
Dr. Stephen Henson72ceb6a2017-06-16 19:23:47 +01002205 unsigned char *tbs;
2206 size_t tbslen;
2207 int rv;
Matt Caswelle1e588a2016-07-08 15:41:36 +01002208
Emilia Kasper32942872015-10-02 14:40:30 +02002209 /*
2210 * |pkt| now points to the beginning of the signature, so the difference
2211 * equals the length of the parameters.
2212 */
2213 if (!PACKET_get_sub_packet(&save_param_start, &params,
2214 PACKET_remaining(&save_param_start) -
Matt Caswell73999b62015-09-10 10:22:30 +01002215 PACKET_remaining(pkt))) {
Matt Caswella2c2e002017-11-22 17:18:39 +00002216 SSLfatal(s, SSL_AD_DECODE_ERROR, SSL_F_TLS_PROCESS_KEY_EXCHANGE,
2217 ERR_R_INTERNAL_ERROR);
Matt Caswelle1e588a2016-07-08 15:41:36 +01002218 goto err;
Emilia Kasper32942872015-10-02 14:40:30 +02002219 }
2220
Matt Caswell0f113f32015-01-22 03:40:55 +00002221 if (SSL_USE_SIGALGS(s)) {
Matt Caswell703bcee2016-12-14 14:31:21 +00002222 unsigned int sigalg;
Matt Caswell703bcee2016-12-14 14:31:21 +00002223
2224 if (!PACKET_get_net_2(pkt, &sigalg)) {
Matt Caswella2c2e002017-11-22 17:18:39 +00002225 SSLfatal(s, SSL_AD_DECODE_ERROR, SSL_F_TLS_PROCESS_KEY_EXCHANGE,
2226 SSL_R_LENGTH_TOO_SHORT);
Matt Caswelle1e588a2016-07-08 15:41:36 +01002227 goto err;
Matt Caswell0f113f32015-01-22 03:40:55 +00002228 }
Matt Caswellf63a17d2017-11-21 17:18:43 +00002229 if (tls12_check_peer_sigalg(s, sigalg, pkey) <=0) {
2230 /* SSLfatal() already called */
Matt Caswelle1e588a2016-07-08 15:41:36 +01002231 goto err;
Matt Caswell0f113f32015-01-22 03:40:55 +00002232 }
Dr. Stephen Hensona2f92002011-05-09 15:44:01 +00002233#ifdef SSL_DEBUG
Matt Caswell0f113f32015-01-22 03:40:55 +00002234 fprintf(stderr, "USING TLSv1.2 HASH %s\n", EVP_MD_name(md));
Dr. Stephen Hensona2f92002011-05-09 15:44:01 +00002235#endif
Dr. Stephen Hensonf365a3e2017-02-13 16:32:06 +00002236 } else if (!tls1_set_peer_legacy_sigalg(s, pkey)) {
Matt Caswella2c2e002017-11-22 17:18:39 +00002237 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_PROCESS_KEY_EXCHANGE,
2238 ERR_R_INTERNAL_ERROR);
Dr. Stephen Hensonf365a3e2017-02-13 16:32:06 +00002239 goto err;
Emilia Kasper32942872015-10-02 14:40:30 +02002240 }
Matt Caswellf2be92b2014-07-26 23:47:40 +01002241
Dr. Stephen Hensonb2021552017-06-16 18:55:28 +01002242 if (!tls1_lookup_md(s->s3->tmp.peer_sigalg, &md)) {
Matt Caswella2c2e002017-11-22 17:18:39 +00002243 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_PROCESS_KEY_EXCHANGE,
2244 ERR_R_INTERNAL_ERROR);
Dr. Stephen Hensonb2021552017-06-16 18:55:28 +01002245 goto err;
2246 }
Dr. Stephen Hensonf365a3e2017-02-13 16:32:06 +00002247
Matt Caswell73999b62015-09-10 10:22:30 +01002248 if (!PACKET_get_length_prefixed_2(pkt, &signature)
2249 || PACKET_remaining(pkt) != 0) {
Matt Caswella2c2e002017-11-22 17:18:39 +00002250 SSLfatal(s, SSL_AD_DECODE_ERROR, SSL_F_TLS_PROCESS_KEY_EXCHANGE,
2251 SSL_R_LENGTH_MISMATCH);
Matt Caswelle1e588a2016-07-08 15:41:36 +01002252 goto err;
Matt Caswell0f113f32015-01-22 03:40:55 +00002253 }
Matt Caswellbe8dba22016-07-08 12:18:18 +01002254 maxsig = EVP_PKEY_size(pkey);
2255 if (maxsig < 0) {
Matt Caswella2c2e002017-11-22 17:18:39 +00002256 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_PROCESS_KEY_EXCHANGE,
2257 ERR_R_INTERNAL_ERROR);
Matt Caswelle1e588a2016-07-08 15:41:36 +01002258 goto err;
Matt Caswell8098fc52015-08-04 21:22:31 +01002259 }
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00002260
Matt Caswell0f113f32015-01-22 03:40:55 +00002261 /*
Matt Caswell8098fc52015-08-04 21:22:31 +01002262 * Check signature length
Matt Caswell0f113f32015-01-22 03:40:55 +00002263 */
Matt Caswellbe8dba22016-07-08 12:18:18 +01002264 if (PACKET_remaining(&signature) > (size_t)maxsig) {
Matt Caswell0f113f32015-01-22 03:40:55 +00002265 /* wrong packet length */
Matt Caswella2c2e002017-11-22 17:18:39 +00002266 SSLfatal(s, SSL_AD_DECODE_ERROR, SSL_F_TLS_PROCESS_KEY_EXCHANGE,
Emilia Kaspera230b262016-08-05 19:03:17 +02002267 SSL_R_WRONG_SIGNATURE_LENGTH);
Matt Caswelle1e588a2016-07-08 15:41:36 +01002268 goto err;
Matt Caswell0f113f32015-01-22 03:40:55 +00002269 }
Matt Caswelle1e588a2016-07-08 15:41:36 +01002270
2271 md_ctx = EVP_MD_CTX_new();
2272 if (md_ctx == NULL) {
Matt Caswella2c2e002017-11-22 17:18:39 +00002273 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_PROCESS_KEY_EXCHANGE,
2274 ERR_R_MALLOC_FAILURE);
Matt Caswelle1e588a2016-07-08 15:41:36 +01002275 goto err;
2276 }
2277
Matt Caswellfe3066e2017-01-03 10:01:39 +00002278 if (EVP_DigestVerifyInit(md_ctx, &pctx, md, NULL, pkey) <= 0) {
Matt Caswella2c2e002017-11-22 17:18:39 +00002279 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_PROCESS_KEY_EXCHANGE,
2280 ERR_R_EVP_LIB);
Matt Caswelle1e588a2016-07-08 15:41:36 +01002281 goto err;
Dr. Stephen Henson192e4bb2015-11-21 03:56:52 +00002282 }
Dr. Stephen Henson5554fac2017-01-25 16:46:02 +00002283 if (SSL_USE_PSS(s)) {
Matt Caswellfe3066e2017-01-03 10:01:39 +00002284 if (EVP_PKEY_CTX_set_rsa_padding(pctx, RSA_PKCS1_PSS_PADDING) <= 0
Dr. Stephen Henson91410d42017-01-29 13:38:55 +00002285 || EVP_PKEY_CTX_set_rsa_pss_saltlen(pctx,
Dr. Stephen Henson968ae5b2017-01-25 14:02:00 +00002286 RSA_PSS_SALTLEN_DIGEST) <= 0) {
Matt Caswella2c2e002017-11-22 17:18:39 +00002287 SSLfatal(s, SSL_AD_INTERNAL_ERROR,
2288 SSL_F_TLS_PROCESS_KEY_EXCHANGE, ERR_R_EVP_LIB);
Matt Caswellfe3066e2017-01-03 10:01:39 +00002289 goto err;
2290 }
2291 }
Dr. Stephen Henson72ceb6a2017-06-16 19:23:47 +01002292 tbslen = construct_key_exchange_tbs(s, &tbs, PACKET_data(&params),
2293 PACKET_remaining(&params));
2294 if (tbslen == 0) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00002295 /* SSLfatal() already called */
Dr. Stephen Henson72ceb6a2017-06-16 19:23:47 +01002296 goto err;
2297 }
2298
2299 rv = EVP_DigestVerify(md_ctx, PACKET_data(&signature),
2300 PACKET_remaining(&signature), tbs, tbslen);
2301 OPENSSL_free(tbs);
Matt Caswellcfba0672017-06-23 11:29:04 +01002302 if (rv <= 0) {
Matt Caswella2c2e002017-11-22 17:18:39 +00002303 SSLfatal(s, SSL_AD_DECRYPT_ERROR, SSL_F_TLS_PROCESS_KEY_EXCHANGE,
2304 SSL_R_BAD_SIGNATURE);
Matt Caswelle1e588a2016-07-08 15:41:36 +01002305 goto err;
Matt Caswell0f113f32015-01-22 03:40:55 +00002306 }
Matt Caswelle1e588a2016-07-08 15:41:36 +01002307 EVP_MD_CTX_free(md_ctx);
Matt Caswellfe3066e2017-01-03 10:01:39 +00002308 md_ctx = NULL;
Matt Caswell0f113f32015-01-22 03:40:55 +00002309 } else {
Dr. Stephen Henson76890822015-06-28 17:15:10 +01002310 /* aNULL, aSRP or PSK do not need public keys */
Matt Caswelle1e588a2016-07-08 15:41:36 +01002311 if (!(s->s3->tmp.new_cipher->algorithm_auth & (SSL_aNULL | SSL_aSRP))
Emilia Kaspera230b262016-08-05 19:03:17 +02002312 && !(alg_k & SSL_PSK)) {
Matt Caswell0f113f32015-01-22 03:40:55 +00002313 /* Might be wrong key type, check it */
Matt Caswelle1e588a2016-07-08 15:41:36 +01002314 if (ssl3_check_cert_and_algorithm(s)) {
Matt Caswella2c2e002017-11-22 17:18:39 +00002315 SSLfatal(s, SSL_AD_DECODE_ERROR, SSL_F_TLS_PROCESS_KEY_EXCHANGE,
2316 SSL_R_BAD_DATA);
Matt Caswelle1e588a2016-07-08 15:41:36 +01002317 }
Matt Caswella2c2e002017-11-22 17:18:39 +00002318 /* else this shouldn't happen, SSLfatal() already called */
Matt Caswell0f113f32015-01-22 03:40:55 +00002319 goto err;
2320 }
2321 /* still data left over */
Matt Caswell73999b62015-09-10 10:22:30 +01002322 if (PACKET_remaining(pkt) != 0) {
Matt Caswella2c2e002017-11-22 17:18:39 +00002323 SSLfatal(s, SSL_AD_DECODE_ERROR, SSL_F_TLS_PROCESS_KEY_EXCHANGE,
2324 SSL_R_EXTRA_DATA_IN_MESSAGE);
Matt Caswelle1e588a2016-07-08 15:41:36 +01002325 goto err;
Matt Caswell0f113f32015-01-22 03:40:55 +00002326 }
2327 }
Matt Caswelle1e588a2016-07-08 15:41:36 +01002328
Matt Caswellb9908bf2015-07-29 14:08:49 +01002329 return MSG_PROCESS_CONTINUE_READING;
Matt Caswell0f113f32015-01-22 03:40:55 +00002330 err:
Matt Caswellfe3066e2017-01-03 10:01:39 +00002331 EVP_MD_CTX_free(md_ctx);
Matt Caswellb9908bf2015-07-29 14:08:49 +01002332 return MSG_PROCESS_ERROR;
Matt Caswell0f113f32015-01-22 03:40:55 +00002333}
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00002334
Matt Caswellbe3583f2015-10-26 11:46:33 +00002335MSG_PROCESS_RETURN tls_process_certificate_request(SSL *s, PACKET *pkt)
Matt Caswellb9908bf2015-07-29 14:08:49 +01002336{
Dr. Stephen Henson32f66102017-03-13 13:29:34 +00002337 size_t i;
2338
2339 /* Clear certificate validity flags */
2340 for (i = 0; i < SSL_PKEY_NUM; i++)
2341 s->s3->tmp.valid_flags[i] = 0;
Matt Caswell0f113f32015-01-22 03:40:55 +00002342
Dr. Stephen Henson03f44b92017-02-22 17:26:44 +00002343 if (SSL_IS_TLS13(s)) {
Dr. Stephen Henson32f66102017-03-13 13:29:34 +00002344 PACKET reqctx, extensions;
2345 RAW_EXTENSION *rawexts = NULL;
Dr. Stephen Henson75c13e72017-02-23 22:12:28 +00002346
Dr. Stephen Henson03f44b92017-02-22 17:26:44 +00002347 /* Free and zero certificate types: it is not present in TLS 1.3 */
2348 OPENSSL_free(s->s3->tmp.ctype);
2349 s->s3->tmp.ctype = NULL;
2350 s->s3->tmp.ctype_len = 0;
Dr. Stephen Henson32f66102017-03-13 13:29:34 +00002351
Dr. Stephen Henson03f44b92017-02-22 17:26:44 +00002352 /* TODO(TLS1.3) need to process request context, for now ignore */
2353 if (!PACKET_get_length_prefixed_1(pkt, &reqctx)) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00002354 SSLfatal(s, SSL_AD_DECODE_ERROR,
2355 SSL_F_TLS_PROCESS_CERTIFICATE_REQUEST,
2356 SSL_R_LENGTH_MISMATCH);
2357 return MSG_PROCESS_ERROR;
Dr. Stephen Henson03f44b92017-02-22 17:26:44 +00002358 }
Dr. Stephen Henson32f66102017-03-13 13:29:34 +00002359
2360 if (!PACKET_get_length_prefixed_2(pkt, &extensions)) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00002361 SSLfatal(s, SSL_AD_DECODE_ERROR,
2362 SSL_F_TLS_PROCESS_CERTIFICATE_REQUEST,
2363 SSL_R_BAD_LENGTH);
2364 return MSG_PROCESS_ERROR;
Dr. Stephen Henson32f66102017-03-13 13:29:34 +00002365 }
2366 if (!tls_collect_extensions(s, &extensions,
Matt Caswellfe874d22017-04-04 11:40:02 +01002367 SSL_EXT_TLS1_3_CERTIFICATE_REQUEST,
Matt Caswellf63a17d2017-11-21 17:18:43 +00002368 &rawexts, NULL, 1)
Matt Caswellfe874d22017-04-04 11:40:02 +01002369 || !tls_parse_all_extensions(s, SSL_EXT_TLS1_3_CERTIFICATE_REQUEST,
Matt Caswellf63a17d2017-11-21 17:18:43 +00002370 rawexts, NULL, 0, 1)) {
2371 /* SSLfatal() already called */
Dr. Stephen Henson32f66102017-03-13 13:29:34 +00002372 OPENSSL_free(rawexts);
Matt Caswellf63a17d2017-11-21 17:18:43 +00002373 return MSG_PROCESS_ERROR;
Dr. Stephen Henson32f66102017-03-13 13:29:34 +00002374 }
2375 OPENSSL_free(rawexts);
2376 if (!tls1_process_sigalgs(s)) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00002377 SSLfatal(s, SSL_AD_INTERNAL_ERROR,
2378 SSL_F_TLS_PROCESS_CERTIFICATE_REQUEST,
2379 SSL_R_BAD_LENGTH);
2380 return MSG_PROCESS_ERROR;
Dr. Stephen Henson32f66102017-03-13 13:29:34 +00002381 }
Dr. Stephen Henson03f44b92017-02-22 17:26:44 +00002382 } else {
2383 PACKET ctypes;
2384
2385 /* get the certificate types */
2386 if (!PACKET_get_length_prefixed_1(pkt, &ctypes)) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00002387 SSLfatal(s, SSL_AD_DECODE_ERROR,
2388 SSL_F_TLS_PROCESS_CERTIFICATE_REQUEST,
2389 SSL_R_LENGTH_MISMATCH);
2390 return MSG_PROCESS_ERROR;
Dr. Stephen Henson03f44b92017-02-22 17:26:44 +00002391 }
2392
2393 if (!PACKET_memdup(&ctypes, &s->s3->tmp.ctype, &s->s3->tmp.ctype_len)) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00002394 SSLfatal(s, SSL_AD_INTERNAL_ERROR,
2395 SSL_F_TLS_PROCESS_CERTIFICATE_REQUEST,
2396 ERR_R_INTERNAL_ERROR);
2397 return MSG_PROCESS_ERROR;
Dr. Stephen Henson03f44b92017-02-22 17:26:44 +00002398 }
Matt Caswellac112332015-08-04 22:12:53 +01002399
Dr. Stephen Henson32f66102017-03-13 13:29:34 +00002400 if (SSL_USE_SIGALGS(s)) {
2401 PACKET sigalgs;
Matt Caswell703bcee2016-12-14 14:31:21 +00002402
Dr. Stephen Henson32f66102017-03-13 13:29:34 +00002403 if (!PACKET_get_length_prefixed_2(pkt, &sigalgs)) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00002404 SSLfatal(s, SSL_AD_INTERNAL_ERROR,
2405 SSL_F_TLS_PROCESS_CERTIFICATE_REQUEST,
2406 SSL_R_LENGTH_MISMATCH);
2407 return MSG_PROCESS_ERROR;
Dr. Stephen Henson32f66102017-03-13 13:29:34 +00002408 }
2409
2410 if (!tls1_save_sigalgs(s, &sigalgs)) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00002411 SSLfatal(s, SSL_AD_INTERNAL_ERROR,
2412 SSL_F_TLS_PROCESS_CERTIFICATE_REQUEST,
2413 SSL_R_SIGNATURE_ALGORITHMS_ERROR);
2414 return MSG_PROCESS_ERROR;
Dr. Stephen Henson32f66102017-03-13 13:29:34 +00002415 }
2416 if (!tls1_process_sigalgs(s)) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00002417 SSLfatal(s, SSL_AD_INTERNAL_ERROR,
2418 SSL_F_TLS_PROCESS_CERTIFICATE_REQUEST,
2419 ERR_R_MALLOC_FAILURE);
2420 return MSG_PROCESS_ERROR;
Dr. Stephen Henson32f66102017-03-13 13:29:34 +00002421 }
Matt Caswell0f113f32015-01-22 03:40:55 +00002422 }
Matt Caswellac112332015-08-04 22:12:53 +01002423
Dr. Stephen Henson32f66102017-03-13 13:29:34 +00002424 /* get the CA RDNs */
Matt Caswellf63a17d2017-11-21 17:18:43 +00002425 if (!parse_ca_names(s, pkt)) {
2426 /* SSLfatal() already called */
2427 return MSG_PROCESS_ERROR;
2428 }
Dr. Stephen Henson03f44b92017-02-22 17:26:44 +00002429 }
2430
2431 if (PACKET_remaining(pkt) != 0) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00002432 SSLfatal(s, SSL_AD_INTERNAL_ERROR,
2433 SSL_F_TLS_PROCESS_CERTIFICATE_REQUEST,
2434 SSL_R_LENGTH_MISMATCH);
2435 return MSG_PROCESS_ERROR;
Dr. Stephen Henson03f44b92017-02-22 17:26:44 +00002436 }
Matt Caswell0f113f32015-01-22 03:40:55 +00002437
Matt Caswell0f113f32015-01-22 03:40:55 +00002438 /* we should setup a certificate to return.... */
2439 s->s3->tmp.cert_req = 1;
Matt Caswell0f113f32015-01-22 03:40:55 +00002440
Matt Caswellf63a17d2017-11-21 17:18:43 +00002441 return MSG_PROCESS_CONTINUE_PROCESSING;
Matt Caswell0f113f32015-01-22 03:40:55 +00002442}
2443
Matt Caswellbe3583f2015-10-26 11:46:33 +00002444MSG_PROCESS_RETURN tls_process_new_session_ticket(SSL *s, PACKET *pkt)
Matt Caswellb9908bf2015-07-29 14:08:49 +01002445{
Matt Caswellb9908bf2015-07-29 14:08:49 +01002446 unsigned int ticklen;
Matt Caswell9ac62442017-01-20 13:50:47 +00002447 unsigned long ticket_lifetime_hint, age_add = 0;
Matt Caswellec60ccc2016-10-04 20:31:19 +01002448 unsigned int sess_len;
Matt Caswellde1df7e2017-01-13 13:32:11 +00002449 RAW_EXTENSION *exts = NULL;
Matt Caswell9b6a8252017-07-05 08:45:46 +01002450 PACKET nonce;
Matt Caswellb9908bf2015-07-29 14:08:49 +01002451
Matt Caswell73999b62015-09-10 10:22:30 +01002452 if (!PACKET_get_net_4(pkt, &ticket_lifetime_hint)
Matt Caswell9b6a8252017-07-05 08:45:46 +01002453 || (SSL_IS_TLS13(s)
2454 && (!PACKET_get_net_4(pkt, &age_add)
2455 || !PACKET_get_length_prefixed_1(pkt, &nonce)
Matt Caswell9b6a8252017-07-05 08:45:46 +01002456 || !PACKET_memdup(&nonce, &s->session->ext.tick_nonce,
2457 &s->session->ext.tick_nonce_len)))
Emilia Kaspera230b262016-08-05 19:03:17 +02002458 || !PACKET_get_net_2(pkt, &ticklen)
Matt Caswellde1df7e2017-01-13 13:32:11 +00002459 || (!SSL_IS_TLS13(s) && PACKET_remaining(pkt) != ticklen)
Matt Caswell1f5b44e2017-01-20 16:02:07 +00002460 || (SSL_IS_TLS13(s)
2461 && (ticklen == 0 || PACKET_remaining(pkt) < ticklen))) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00002462 SSLfatal(s, SSL_AD_DECODE_ERROR, SSL_F_TLS_PROCESS_NEW_SESSION_TICKET,
2463 SSL_R_LENGTH_MISMATCH);
2464 goto err;
Emilia Kaspere711da72015-09-10 16:32:51 +02002465 }
2466
Matt Caswellde1df7e2017-01-13 13:32:11 +00002467 /*
2468 * Server is allowed to change its mind (in <=TLSv1.2) and send an empty
2469 * ticket. We already checked this TLSv1.3 case above, so it should never
2470 * be 0 here in that instance
2471 */
Emilia Kaspere711da72015-09-10 16:32:51 +02002472 if (ticklen == 0)
Matt Caswellc9de4a22015-10-22 15:02:14 +01002473 return MSG_PROCESS_CONTINUE_READING;
Emilia Kaspere711da72015-09-10 16:32:51 +02002474
Matt Caswell150840b2017-03-23 11:22:26 +00002475 /*
2476 * Sessions must be immutable once they go into the session cache. Otherwise
2477 * we can get multi-thread problems. Therefore we don't "update" sessions,
2478 * we replace them with a duplicate. In TLSv1.3 we need to do this every
2479 * time a NewSessionTicket arrives because those messages arrive
2480 * post-handshake and the session may have already gone into the session
2481 * cache.
2482 */
2483 if (SSL_IS_TLS13(s) || s->session->session_id_length > 0) {
Matt Caswell98ece4e2015-05-18 16:27:48 +01002484 int i = s->session_ctx->session_cache_mode;
2485 SSL_SESSION *new_sess;
2486 /*
2487 * We reused an existing session, so we need to replace it with a new
2488 * one
2489 */
Matt Caswell5d614912017-08-01 10:49:47 +01002490 if ((new_sess = ssl_session_dup(s->session, 0)) == 0) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00002491 SSLfatal(s, SSL_AD_INTERNAL_ERROR,
2492 SSL_F_TLS_PROCESS_NEW_SESSION_TICKET,
2493 ERR_R_MALLOC_FAILURE);
2494 goto err;
Matt Caswell5d614912017-08-01 10:49:47 +01002495 }
2496
Matt Caswell98ece4e2015-05-18 16:27:48 +01002497 if (i & SSL_SESS_CACHE_CLIENT) {
2498 /*
Matt Caswelle4612d02016-06-13 11:24:15 +01002499 * Remove the old session from the cache. We carry on if this fails
Matt Caswell98ece4e2015-05-18 16:27:48 +01002500 */
Matt Caswelle4612d02016-06-13 11:24:15 +01002501 SSL_CTX_remove_session(s->session_ctx, s->session);
Matt Caswell98ece4e2015-05-18 16:27:48 +01002502 }
2503
Matt Caswell98ece4e2015-05-18 16:27:48 +01002504 SSL_SESSION_free(s->session);
2505 s->session = new_sess;
2506 }
2507
Matt Caswellfc24f0b2017-01-17 10:43:37 +00002508 /*
2509 * Technically the cast to long here is not guaranteed by the C standard -
2510 * but we use it elsewhere, so this should be ok.
2511 */
2512 s->session->time = (long)time(NULL);
2513
Rich Salzaff8c122016-12-08 14:18:40 -05002514 OPENSSL_free(s->session->ext.tick);
2515 s->session->ext.tick = NULL;
2516 s->session->ext.ticklen = 0;
Emilia Kaspere711da72015-09-10 16:32:51 +02002517
Rich Salzaff8c122016-12-08 14:18:40 -05002518 s->session->ext.tick = OPENSSL_malloc(ticklen);
2519 if (s->session->ext.tick == NULL) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00002520 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_PROCESS_NEW_SESSION_TICKET,
2521 ERR_R_MALLOC_FAILURE);
Matt Caswell0f113f32015-01-22 03:40:55 +00002522 goto err;
2523 }
Rich Salzaff8c122016-12-08 14:18:40 -05002524 if (!PACKET_copy_bytes(pkt, s->session->ext.tick, ticklen)) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00002525 SSLfatal(s, SSL_AD_DECODE_ERROR, SSL_F_TLS_PROCESS_NEW_SESSION_TICKET,
2526 SSL_R_LENGTH_MISMATCH);
2527 goto err;
Matt Caswell561e12b2015-08-05 14:50:24 +01002528 }
Emilia Kaspere711da72015-09-10 16:32:51 +02002529
Rich Salzaff8c122016-12-08 14:18:40 -05002530 s->session->ext.tick_lifetime_hint = ticket_lifetime_hint;
Matt Caswellfc24f0b2017-01-17 10:43:37 +00002531 s->session->ext.tick_age_add = age_add;
Rich Salzaff8c122016-12-08 14:18:40 -05002532 s->session->ext.ticklen = ticklen;
Matt Caswellde1df7e2017-01-13 13:32:11 +00002533
2534 if (SSL_IS_TLS13(s)) {
2535 PACKET extpkt;
2536
2537 if (!PACKET_as_length_prefixed_2(pkt, &extpkt)
Matt Caswell26b91722017-05-11 11:31:57 +01002538 || PACKET_remaining(pkt) != 0
Matt Caswellde1df7e2017-01-13 13:32:11 +00002539 || !tls_collect_extensions(s, &extpkt,
Matt Caswellfe874d22017-04-04 11:40:02 +01002540 SSL_EXT_TLS1_3_NEW_SESSION_TICKET,
Matt Caswellf63a17d2017-11-21 17:18:43 +00002541 &exts, NULL, 1)
Matt Caswellfe874d22017-04-04 11:40:02 +01002542 || !tls_parse_all_extensions(s,
2543 SSL_EXT_TLS1_3_NEW_SESSION_TICKET,
Matt Caswellf63a17d2017-11-21 17:18:43 +00002544 exts, NULL, 0, 1)) {
2545 /* SSLfatal() already called */
2546 goto err;
Matt Caswellde1df7e2017-01-13 13:32:11 +00002547 }
2548 }
2549
Matt Caswell0f113f32015-01-22 03:40:55 +00002550 /*
2551 * There are two ways to detect a resumed ticket session. One is to set
2552 * an appropriate session ID and then the server must return a match in
2553 * ServerHello. This allows the normal client session ID matching to work
2554 * and we know much earlier that the ticket has been accepted. The
2555 * other way is to set zero length session ID when the ticket is
2556 * presented and rely on the handshake to determine session resumption.
2557 * We choose the former approach because this fits in with assumptions
2558 * elsewhere in OpenSSL. The session ID is set to the SHA256 (or SHA1 is
2559 * SHA256 is disabled) hash of the ticket.
2560 */
Matt Caswellec60ccc2016-10-04 20:31:19 +01002561 /*
2562 * TODO(size_t): we use sess_len here because EVP_Digest expects an int
2563 * but s->session->session_id_length is a size_t
2564 */
Rich Salzaff8c122016-12-08 14:18:40 -05002565 if (!EVP_Digest(s->session->ext.tick, ticklen,
Matt Caswellec60ccc2016-10-04 20:31:19 +01002566 s->session->session_id, &sess_len,
Dr. Stephen Hensond166ed82016-06-18 15:46:13 +01002567 EVP_sha256(), NULL)) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00002568 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_PROCESS_NEW_SESSION_TICKET,
2569 ERR_R_EVP_LIB);
Dr. Stephen Hensond166ed82016-06-18 15:46:13 +01002570 goto err;
2571 }
Matt Caswellec60ccc2016-10-04 20:31:19 +01002572 s->session->session_id_length = sess_len;
Matt Caswellde1df7e2017-01-13 13:32:11 +00002573
2574 /* This is a standalone message in TLSv1.3, so there is no more to read */
2575 if (SSL_IS_TLS13(s)) {
Matt Caswell33d93412017-01-30 19:37:17 +00002576 OPENSSL_free(exts);
Matt Caswellde1df7e2017-01-13 13:32:11 +00002577 ssl_update_cache(s, SSL_SESS_CACHE_CLIENT);
2578 return MSG_PROCESS_FINISHED_READING;
2579 }
2580
Matt Caswellb9908bf2015-07-29 14:08:49 +01002581 return MSG_PROCESS_CONTINUE_READING;
Matt Caswell0f113f32015-01-22 03:40:55 +00002582 err:
Matt Caswell33d93412017-01-30 19:37:17 +00002583 OPENSSL_free(exts);
Matt Caswellb9908bf2015-07-29 14:08:49 +01002584 return MSG_PROCESS_ERROR;
Matt Caswell0f113f32015-01-22 03:40:55 +00002585}
2586
Matt Caswellf63e4282016-12-02 14:46:54 +00002587/*
2588 * In TLSv1.3 this is called from the extensions code, otherwise it is used to
Matt Caswellf63a17d2017-11-21 17:18:43 +00002589 * parse a separate message. Returns 1 on success or 0 on failure
Matt Caswellf63e4282016-12-02 14:46:54 +00002590 */
Matt Caswellf63a17d2017-11-21 17:18:43 +00002591int tls_process_cert_status_body(SSL *s, PACKET *pkt)
Matt Caswellb9908bf2015-07-29 14:08:49 +01002592{
Matt Caswell8b0e9342016-10-06 19:17:54 +01002593 size_t resplen;
Matt Caswellb9908bf2015-07-29 14:08:49 +01002594 unsigned int type;
Matt Caswellb9908bf2015-07-29 14:08:49 +01002595
Matt Caswell73999b62015-09-10 10:22:30 +01002596 if (!PACKET_get_1(pkt, &type)
Emilia Kaspera230b262016-08-05 19:03:17 +02002597 || type != TLSEXT_STATUSTYPE_ocsp) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00002598 SSLfatal(s, SSL_AD_DECODE_ERROR, SSL_F_TLS_PROCESS_CERT_STATUS_BODY,
2599 SSL_R_UNSUPPORTED_STATUS_TYPE);
Matt Caswellf63e4282016-12-02 14:46:54 +00002600 return 0;
Matt Caswell0f113f32015-01-22 03:40:55 +00002601 }
Matt Caswell56a26ce2016-10-19 16:28:12 +01002602 if (!PACKET_get_net_3_len(pkt, &resplen)
2603 || PACKET_remaining(pkt) != resplen) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00002604 SSLfatal(s, SSL_AD_DECODE_ERROR, SSL_F_TLS_PROCESS_CERT_STATUS_BODY,
2605 SSL_R_LENGTH_MISMATCH);
Matt Caswellf63e4282016-12-02 14:46:54 +00002606 return 0;
Matt Caswell0f113f32015-01-22 03:40:55 +00002607 }
Rich Salz8cbfcc72016-12-11 15:01:28 -05002608 s->ext.ocsp.resp = OPENSSL_malloc(resplen);
2609 if (s->ext.ocsp.resp == NULL) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00002610 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_PROCESS_CERT_STATUS_BODY,
2611 ERR_R_MALLOC_FAILURE);
Matt Caswellf63e4282016-12-02 14:46:54 +00002612 return 0;
Matt Caswell0f113f32015-01-22 03:40:55 +00002613 }
Rich Salz8cbfcc72016-12-11 15:01:28 -05002614 if (!PACKET_copy_bytes(pkt, s->ext.ocsp.resp, resplen)) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00002615 SSLfatal(s, SSL_AD_DECODE_ERROR, SSL_F_TLS_PROCESS_CERT_STATUS_BODY,
2616 SSL_R_LENGTH_MISMATCH);
Matt Caswellf63e4282016-12-02 14:46:54 +00002617 return 0;
Matt Caswellac637102015-08-05 15:52:26 +01002618 }
Rich Salz8cbfcc72016-12-11 15:01:28 -05002619 s->ext.ocsp.resp_len = resplen;
Matt Caswellf63e4282016-12-02 14:46:54 +00002620
2621 return 1;
2622}
Cory Benfield2faa1b42017-01-20 16:22:30 +00002623
Matt Caswellf63e4282016-12-02 14:46:54 +00002624
2625MSG_PROCESS_RETURN tls_process_cert_status(SSL *s, PACKET *pkt)
2626{
Matt Caswellf63a17d2017-11-21 17:18:43 +00002627 if (!tls_process_cert_status_body(s, pkt)) {
2628 /* SSLfatal() already called */
Matt Caswellf63e4282016-12-02 14:46:54 +00002629 return MSG_PROCESS_ERROR;
2630 }
2631
Matt Caswellb9908bf2015-07-29 14:08:49 +01002632 return MSG_PROCESS_CONTINUE_READING;
Ralf S. Engelschalldfeab061998-12-21 11:00:56 +00002633}
Ralf S. Engelschalldfeab061998-12-21 11:00:56 +00002634
Matt Caswell7776a362016-11-15 10:13:09 +00002635/*
2636 * Perform miscellaneous checks and processing after we have received the
2637 * server's initial flight. In TLS1.3 this is after the Server Finished message.
Matt Caswell6530c492016-11-23 15:38:32 +00002638 * In <=TLS1.2 this is after the ServerDone message. Returns 1 on success or 0
2639 * on failure.
Matt Caswell7776a362016-11-15 10:13:09 +00002640 */
Matt Caswellf63a17d2017-11-21 17:18:43 +00002641int tls_process_initial_server_flight(SSL *s)
Matt Caswellb9908bf2015-07-29 14:08:49 +01002642{
Matt Caswella455d0f2015-09-14 15:06:37 +01002643 /*
2644 * at this point we check that we have the required stuff from
2645 * the server
2646 */
2647 if (!ssl3_check_cert_and_algorithm(s)) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00002648 /* SSLfatal() already called */
Matt Caswell7776a362016-11-15 10:13:09 +00002649 return 0;
Matt Caswella455d0f2015-09-14 15:06:37 +01002650 }
2651
Matt Caswellbb1aaab2015-11-05 14:31:11 +00002652 /*
Rich Salzaff8c122016-12-08 14:18:40 -05002653 * Call the ocsp status callback if needed. The |ext.ocsp.resp| and
2654 * |ext.ocsp.resp_len| values will be set if we actually received a status
Matt Caswellbb1aaab2015-11-05 14:31:11 +00002655 * message, or NULL and -1 otherwise
2656 */
Rich Salzaff8c122016-12-08 14:18:40 -05002657 if (s->ext.status_type != TLSEXT_STATUSTYPE_nothing
2658 && s->ctx->ext.status_cb != NULL) {
2659 int ret = s->ctx->ext.status_cb(s, s->ctx->ext.status_arg);
2660
Matt Caswellbb1aaab2015-11-05 14:31:11 +00002661 if (ret == 0) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00002662 SSLfatal(s, SSL_AD_BAD_CERTIFICATE_STATUS_RESPONSE,
2663 SSL_F_TLS_PROCESS_INITIAL_SERVER_FLIGHT,
2664 SSL_R_INVALID_STATUS_RESPONSE);
Matt Caswell7776a362016-11-15 10:13:09 +00002665 return 0;
Matt Caswellbb1aaab2015-11-05 14:31:11 +00002666 }
2667 if (ret < 0) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00002668 SSLfatal(s, SSL_AD_INTERNAL_ERROR,
2669 SSL_F_TLS_PROCESS_INITIAL_SERVER_FLIGHT,
2670 ERR_R_MALLOC_FAILURE);
Matt Caswell7776a362016-11-15 10:13:09 +00002671 return 0;
Matt Caswellbb1aaab2015-11-05 14:31:11 +00002672 }
2673 }
Rob Percivaled29e822016-03-03 16:19:23 +00002674#ifndef OPENSSL_NO_CT
2675 if (s->ct_validation_callback != NULL) {
Viktor Dukhovni43341432016-04-07 14:17:37 -04002676 /* Note we validate the SCTs whether or not we abort on error */
2677 if (!ssl_validate_ct(s) && (s->verify_mode & SSL_VERIFY_PEER)) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00002678 /* SSLfatal() already called */
Matt Caswell7776a362016-11-15 10:13:09 +00002679 return 0;
Rob Percivaled29e822016-03-03 16:19:23 +00002680 }
2681 }
2682#endif
2683
Matt Caswell7776a362016-11-15 10:13:09 +00002684 return 1;
2685}
2686
2687MSG_PROCESS_RETURN tls_process_server_done(SSL *s, PACKET *pkt)
2688{
Matt Caswell7776a362016-11-15 10:13:09 +00002689 if (PACKET_remaining(pkt) > 0) {
2690 /* should contain no data */
Matt Caswellf63a17d2017-11-21 17:18:43 +00002691 SSLfatal(s, SSL_AD_DECODE_ERROR, SSL_F_TLS_PROCESS_SERVER_DONE,
2692 SSL_R_LENGTH_MISMATCH);
2693 return MSG_PROCESS_ERROR;
Matt Caswell7776a362016-11-15 10:13:09 +00002694 }
2695#ifndef OPENSSL_NO_SRP
2696 if (s->s3->tmp.new_cipher->algorithm_mkey & SSL_kSRP) {
2697 if (SRP_Calc_A_param(s) <= 0) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00002698 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_PROCESS_SERVER_DONE,
2699 SSL_R_SRP_A_CALC);
2700 return MSG_PROCESS_ERROR;
Matt Caswell7776a362016-11-15 10:13:09 +00002701 }
2702 }
2703#endif
2704
Matt Caswellf63a17d2017-11-21 17:18:43 +00002705 if (!tls_process_initial_server_flight(s)) {
2706 /* SSLfatal() already called */
2707 return MSG_PROCESS_ERROR;
2708 }
Matt Caswell7776a362016-11-15 10:13:09 +00002709
Matt Caswellbd79bcb2017-04-20 15:13:28 +01002710 return MSG_PROCESS_FINISHED_READING;
Matt Caswell0f113f32015-01-22 03:40:55 +00002711}
Bodo Möller176f31d2003-02-28 15:37:10 +00002712
Matt Caswella2c2e002017-11-22 17:18:39 +00002713static int tls_construct_cke_psk_preamble(SSL *s, WPACKET *pkt)
Matt Caswell13c0ec42016-07-07 14:42:27 +01002714{
2715#ifndef OPENSSL_NO_PSK
2716 int ret = 0;
2717 /*
2718 * The callback needs PSK_MAX_IDENTITY_LEN + 1 bytes to return a
2719 * \0-terminated identity. The last byte is for us for simulating
2720 * strnlen.
2721 */
2722 char identity[PSK_MAX_IDENTITY_LEN + 1];
2723 size_t identitylen = 0;
2724 unsigned char psk[PSK_MAX_PSK_LEN];
2725 unsigned char *tmppsk = NULL;
2726 char *tmpidentity = NULL;
2727 size_t psklen = 0;
2728
2729 if (s->psk_client_callback == NULL) {
Matt Caswella2c2e002017-11-22 17:18:39 +00002730 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_CONSTRUCT_CKE_PSK_PREAMBLE,
2731 SSL_R_PSK_NO_CLIENT_CB);
Matt Caswell13c0ec42016-07-07 14:42:27 +01002732 goto err;
2733 }
2734
2735 memset(identity, 0, sizeof(identity));
2736
2737 psklen = s->psk_client_callback(s, s->session->psk_identity_hint,
2738 identity, sizeof(identity) - 1,
2739 psk, sizeof(psk));
2740
2741 if (psklen > PSK_MAX_PSK_LEN) {
Matt Caswella2c2e002017-11-22 17:18:39 +00002742 SSLfatal(s, SSL_AD_HANDSHAKE_FAILURE,
2743 SSL_F_TLS_CONSTRUCT_CKE_PSK_PREAMBLE, ERR_R_INTERNAL_ERROR);
Matt Caswell13c0ec42016-07-07 14:42:27 +01002744 goto err;
2745 } else if (psklen == 0) {
Matt Caswella2c2e002017-11-22 17:18:39 +00002746 SSLfatal(s, SSL_AD_HANDSHAKE_FAILURE,
2747 SSL_F_TLS_CONSTRUCT_CKE_PSK_PREAMBLE,
2748 SSL_R_PSK_IDENTITY_NOT_FOUND);
Matt Caswell13c0ec42016-07-07 14:42:27 +01002749 goto err;
2750 }
2751
2752 identitylen = strlen(identity);
2753 if (identitylen > PSK_MAX_IDENTITY_LEN) {
Matt Caswella2c2e002017-11-22 17:18:39 +00002754 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_CONSTRUCT_CKE_PSK_PREAMBLE,
2755 ERR_R_INTERNAL_ERROR);
Matt Caswell13c0ec42016-07-07 14:42:27 +01002756 goto err;
2757 }
2758
2759 tmppsk = OPENSSL_memdup(psk, psklen);
2760 tmpidentity = OPENSSL_strdup(identity);
2761 if (tmppsk == NULL || tmpidentity == NULL) {
Matt Caswella2c2e002017-11-22 17:18:39 +00002762 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_CONSTRUCT_CKE_PSK_PREAMBLE,
2763 ERR_R_MALLOC_FAILURE);
Matt Caswell13c0ec42016-07-07 14:42:27 +01002764 goto err;
2765 }
2766
2767 OPENSSL_free(s->s3->tmp.psk);
2768 s->s3->tmp.psk = tmppsk;
2769 s->s3->tmp.psklen = psklen;
2770 tmppsk = NULL;
2771 OPENSSL_free(s->session->psk_identity);
2772 s->session->psk_identity = tmpidentity;
2773 tmpidentity = NULL;
Matt Caswellf1ec23c2016-09-13 11:01:04 +01002774
Matt Caswellb2b30242016-09-13 11:32:52 +01002775 if (!WPACKET_sub_memcpy_u16(pkt, identity, identitylen)) {
Matt Caswella2c2e002017-11-22 17:18:39 +00002776 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_CONSTRUCT_CKE_PSK_PREAMBLE,
2777 ERR_R_INTERNAL_ERROR);
Matt Caswellf1ec23c2016-09-13 11:01:04 +01002778 goto err;
2779 }
Matt Caswell13c0ec42016-07-07 14:42:27 +01002780
2781 ret = 1;
2782
2783 err:
2784 OPENSSL_cleanse(psk, psklen);
2785 OPENSSL_cleanse(identity, sizeof(identity));
2786 OPENSSL_clear_free(tmppsk, psklen);
2787 OPENSSL_clear_free(tmpidentity, identitylen);
2788
2789 return ret;
2790#else
Matt Caswella2c2e002017-11-22 17:18:39 +00002791 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_CONSTRUCT_CKE_PSK_PREAMBLE,
2792 ERR_R_INTERNAL_ERROR);
Matt Caswell13c0ec42016-07-07 14:42:27 +01002793 return 0;
2794#endif
2795}
2796
Matt Caswella2c2e002017-11-22 17:18:39 +00002797static int tls_construct_cke_rsa(SSL *s, WPACKET *pkt)
Matt Caswell13c0ec42016-07-07 14:42:27 +01002798{
2799#ifndef OPENSSL_NO_RSA
Matt Caswellf1ec23c2016-09-13 11:01:04 +01002800 unsigned char *encdata = NULL;
Matt Caswell13c0ec42016-07-07 14:42:27 +01002801 EVP_PKEY *pkey = NULL;
2802 EVP_PKEY_CTX *pctx = NULL;
2803 size_t enclen;
2804 unsigned char *pms = NULL;
2805 size_t pmslen = 0;
2806
2807 if (s->session->peer == NULL) {
2808 /*
2809 * We should always have a server certificate with SSL_kRSA.
2810 */
Matt Caswella2c2e002017-11-22 17:18:39 +00002811 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_CONSTRUCT_CKE_RSA,
2812 ERR_R_INTERNAL_ERROR);
Matt Caswell13c0ec42016-07-07 14:42:27 +01002813 return 0;
2814 }
2815
2816 pkey = X509_get0_pubkey(s->session->peer);
2817 if (EVP_PKEY_get0_RSA(pkey) == NULL) {
Matt Caswella2c2e002017-11-22 17:18:39 +00002818 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_CONSTRUCT_CKE_RSA,
2819 ERR_R_INTERNAL_ERROR);
Matt Caswell13c0ec42016-07-07 14:42:27 +01002820 return 0;
2821 }
2822
2823 pmslen = SSL_MAX_MASTER_KEY_LENGTH;
2824 pms = OPENSSL_malloc(pmslen);
2825 if (pms == NULL) {
Matt Caswella2c2e002017-11-22 17:18:39 +00002826 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_CONSTRUCT_CKE_RSA,
2827 ERR_R_MALLOC_FAILURE);
Matt Caswell13c0ec42016-07-07 14:42:27 +01002828 return 0;
2829 }
2830
2831 pms[0] = s->client_version >> 8;
2832 pms[1] = s->client_version & 0xff;
Matt Caswell348240c2016-10-19 15:11:24 +01002833 /* TODO(size_t): Convert this function */
Rich Salzae3947d2017-08-03 10:24:03 -04002834 if (ssl_randbytes(s, pms + 2, (int)(pmslen - 2)) <= 0) {
Matt Caswella2c2e002017-11-22 17:18:39 +00002835 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_CONSTRUCT_CKE_RSA,
2836 ERR_R_MALLOC_FAILURE);
Matt Caswell13c0ec42016-07-07 14:42:27 +01002837 goto err;
2838 }
2839
Matt Caswell13c0ec42016-07-07 14:42:27 +01002840 /* Fix buf for TLS and beyond */
Matt Caswellf1ec23c2016-09-13 11:01:04 +01002841 if (s->version > SSL3_VERSION && !WPACKET_start_sub_packet_u16(pkt)) {
Matt Caswella2c2e002017-11-22 17:18:39 +00002842 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_CONSTRUCT_CKE_RSA,
2843 ERR_R_INTERNAL_ERROR);
Matt Caswellf1ec23c2016-09-13 11:01:04 +01002844 goto err;
2845 }
Matt Caswell13c0ec42016-07-07 14:42:27 +01002846 pctx = EVP_PKEY_CTX_new(pkey, NULL);
2847 if (pctx == NULL || EVP_PKEY_encrypt_init(pctx) <= 0
2848 || EVP_PKEY_encrypt(pctx, NULL, &enclen, pms, pmslen) <= 0) {
Matt Caswella2c2e002017-11-22 17:18:39 +00002849 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_CONSTRUCT_CKE_RSA,
2850 ERR_R_EVP_LIB);
Matt Caswell13c0ec42016-07-07 14:42:27 +01002851 goto err;
2852 }
Matt Caswellf1ec23c2016-09-13 11:01:04 +01002853 if (!WPACKET_allocate_bytes(pkt, enclen, &encdata)
2854 || EVP_PKEY_encrypt(pctx, encdata, &enclen, pms, pmslen) <= 0) {
Matt Caswella2c2e002017-11-22 17:18:39 +00002855 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_CONSTRUCT_CKE_RSA,
2856 SSL_R_BAD_RSA_ENCRYPT);
Matt Caswell13c0ec42016-07-07 14:42:27 +01002857 goto err;
2858 }
Matt Caswell13c0ec42016-07-07 14:42:27 +01002859 EVP_PKEY_CTX_free(pctx);
2860 pctx = NULL;
Matt Caswell13c0ec42016-07-07 14:42:27 +01002861
2862 /* Fix buf for TLS and beyond */
Matt Caswellf1ec23c2016-09-13 11:01:04 +01002863 if (s->version > SSL3_VERSION && !WPACKET_close(pkt)) {
Matt Caswella2c2e002017-11-22 17:18:39 +00002864 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_CONSTRUCT_CKE_RSA,
2865 ERR_R_INTERNAL_ERROR);
Matt Caswellf1ec23c2016-09-13 11:01:04 +01002866 goto err;
Matt Caswell13c0ec42016-07-07 14:42:27 +01002867 }
2868
Cory Benfield2faa1b42017-01-20 16:22:30 +00002869 /* Log the premaster secret, if logging is enabled. */
Matt Caswella2c2e002017-11-22 17:18:39 +00002870 if (!ssl_log_rsa_client_key_exchange(s, encdata, enclen, pms, pmslen)) {
2871 /* SSLfatal() already called */
Cory Benfield2faa1b42017-01-20 16:22:30 +00002872 goto err;
Matt Caswella2c2e002017-11-22 17:18:39 +00002873 }
Cory Benfield2faa1b42017-01-20 16:22:30 +00002874
Rich Salz26fb4b02017-04-24 09:41:51 -04002875 s->s3->tmp.pms = pms;
2876 s->s3->tmp.pmslen = pmslen;
2877
Matt Caswell13c0ec42016-07-07 14:42:27 +01002878 return 1;
2879 err:
2880 OPENSSL_clear_free(pms, pmslen);
2881 EVP_PKEY_CTX_free(pctx);
2882
2883 return 0;
2884#else
Matt Caswella2c2e002017-11-22 17:18:39 +00002885 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_CONSTRUCT_CKE_RSA,
2886 ERR_R_INTERNAL_ERROR);
Matt Caswell13c0ec42016-07-07 14:42:27 +01002887 return 0;
2888#endif
2889}
2890
Matt Caswella2c2e002017-11-22 17:18:39 +00002891static int tls_construct_cke_dhe(SSL *s, WPACKET *pkt)
Matt Caswella8c1c702016-07-08 09:42:07 +01002892{
2893#ifndef OPENSSL_NO_DH
2894 DH *dh_clnt = NULL;
2895 const BIGNUM *pub_key;
2896 EVP_PKEY *ckey = NULL, *skey = NULL;
Matt Caswellf1ec23c2016-09-13 11:01:04 +01002897 unsigned char *keybytes = NULL;
Matt Caswella8c1c702016-07-08 09:42:07 +01002898
2899 skey = s->s3->peer_tmp;
Matt Caswella2c2e002017-11-22 17:18:39 +00002900 if (skey == NULL) {
2901 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_CONSTRUCT_CKE_DHE,
2902 ERR_R_INTERNAL_ERROR);
Matt Caswellf1ec23c2016-09-13 11:01:04 +01002903 goto err;
Matt Caswella2c2e002017-11-22 17:18:39 +00002904 }
Matt Caswellf1ec23c2016-09-13 11:01:04 +01002905
Dr. Stephen Henson0a699a02016-08-15 14:07:33 +01002906 ckey = ssl_generate_pkey(skey);
Matt Caswella2c2e002017-11-22 17:18:39 +00002907 if (ckey == NULL) {
2908 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_CONSTRUCT_CKE_DHE,
2909 ERR_R_INTERNAL_ERROR);
Matt Caswellb599ce32016-11-23 22:12:40 +00002910 goto err;
Matt Caswella2c2e002017-11-22 17:18:39 +00002911 }
Matt Caswellb599ce32016-11-23 22:12:40 +00002912
Matt Caswella8c1c702016-07-08 09:42:07 +01002913 dh_clnt = EVP_PKEY_get0_DH(ckey);
2914
Matt Caswella2c2e002017-11-22 17:18:39 +00002915 if (dh_clnt == NULL) {
2916 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_CONSTRUCT_CKE_DHE,
2917 ERR_R_INTERNAL_ERROR);
Matt Caswellf1ec23c2016-09-13 11:01:04 +01002918 goto err;
Matt Caswella2c2e002017-11-22 17:18:39 +00002919 }
2920
2921 if (ssl_derive(s, ckey, skey, 0) == 0) {
2922 /* SSLfatal() already called */
2923 goto err;
2924 }
Matt Caswella8c1c702016-07-08 09:42:07 +01002925
2926 /* send off the data */
2927 DH_get0_key(dh_clnt, &pub_key, NULL);
Matt Caswella2c2e002017-11-22 17:18:39 +00002928 if (!WPACKET_sub_allocate_bytes_u16(pkt, BN_num_bytes(pub_key),
2929 &keybytes)) {
2930 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_CONSTRUCT_CKE_DHE,
2931 ERR_R_INTERNAL_ERROR);
Matt Caswellf1ec23c2016-09-13 11:01:04 +01002932 goto err;
Matt Caswella2c2e002017-11-22 17:18:39 +00002933 }
Matt Caswellf1ec23c2016-09-13 11:01:04 +01002934
2935 BN_bn2bin(pub_key, keybytes);
Matt Caswella8c1c702016-07-08 09:42:07 +01002936 EVP_PKEY_free(ckey);
2937
2938 return 1;
Matt Caswellf1ec23c2016-09-13 11:01:04 +01002939 err:
2940 EVP_PKEY_free(ckey);
Matt Caswellf9f674e2017-11-23 12:33:11 +00002941 return 0;
2942#else
Matt Caswella2c2e002017-11-22 17:18:39 +00002943 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_CONSTRUCT_CKE_DHE,
2944 ERR_R_INTERNAL_ERROR);
Matt Caswella8c1c702016-07-08 09:42:07 +01002945 return 0;
Matt Caswellf9f674e2017-11-23 12:33:11 +00002946#endif
Matt Caswella8c1c702016-07-08 09:42:07 +01002947}
2948
Matt Caswella2c2e002017-11-22 17:18:39 +00002949static int tls_construct_cke_ecdhe(SSL *s, WPACKET *pkt)
Matt Caswell67ad5aa2016-07-08 09:51:02 +01002950{
2951#ifndef OPENSSL_NO_EC
2952 unsigned char *encodedPoint = NULL;
Matt Caswell348240c2016-10-19 15:11:24 +01002953 size_t encoded_pt_len = 0;
Matt Caswell67ad5aa2016-07-08 09:51:02 +01002954 EVP_PKEY *ckey = NULL, *skey = NULL;
Matt Caswellf1ec23c2016-09-13 11:01:04 +01002955 int ret = 0;
Matt Caswell67ad5aa2016-07-08 09:51:02 +01002956
2957 skey = s->s3->peer_tmp;
Dr. Stephen Hensonec246302016-08-11 15:41:49 +01002958 if (skey == NULL) {
Matt Caswella2c2e002017-11-22 17:18:39 +00002959 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_CONSTRUCT_CKE_ECDHE,
2960 ERR_R_INTERNAL_ERROR);
Matt Caswell67ad5aa2016-07-08 09:51:02 +01002961 return 0;
2962 }
2963
Dr. Stephen Henson0a699a02016-08-15 14:07:33 +01002964 ckey = ssl_generate_pkey(skey);
Matt Caswellb599ce32016-11-23 22:12:40 +00002965 if (ckey == NULL) {
Matt Caswella2c2e002017-11-22 17:18:39 +00002966 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_CONSTRUCT_CKE_ECDHE,
2967 ERR_R_MALLOC_FAILURE);
Matt Caswellb599ce32016-11-23 22:12:40 +00002968 goto err;
2969 }
Matt Caswell67ad5aa2016-07-08 09:51:02 +01002970
Matt Caswell0f1e51e2016-11-02 15:03:56 +00002971 if (ssl_derive(s, ckey, skey, 0) == 0) {
Matt Caswella2c2e002017-11-22 17:18:39 +00002972 /* SSLfatal() already called */
Matt Caswell67ad5aa2016-07-08 09:51:02 +01002973 goto err;
2974 }
2975
2976 /* Generate encoding of client key */
Dr. Stephen Hensonec246302016-08-11 15:41:49 +01002977 encoded_pt_len = EVP_PKEY_get1_tls_encodedpoint(ckey, &encodedPoint);
Matt Caswell67ad5aa2016-07-08 09:51:02 +01002978
2979 if (encoded_pt_len == 0) {
Matt Caswella2c2e002017-11-22 17:18:39 +00002980 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_CONSTRUCT_CKE_ECDHE,
2981 ERR_R_EC_LIB);
Matt Caswell67ad5aa2016-07-08 09:51:02 +01002982 goto err;
2983 }
2984
Matt Caswellb2b30242016-09-13 11:32:52 +01002985 if (!WPACKET_sub_memcpy_u8(pkt, encodedPoint, encoded_pt_len)) {
Matt Caswella2c2e002017-11-22 17:18:39 +00002986 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_CONSTRUCT_CKE_ECDHE,
2987 ERR_R_INTERNAL_ERROR);
Matt Caswellf1ec23c2016-09-13 11:01:04 +01002988 goto err;
2989 }
Matt Caswell67ad5aa2016-07-08 09:51:02 +01002990
Matt Caswellf1ec23c2016-09-13 11:01:04 +01002991 ret = 1;
Matt Caswell67ad5aa2016-07-08 09:51:02 +01002992 err:
Matt Caswellf1ec23c2016-09-13 11:01:04 +01002993 OPENSSL_free(encodedPoint);
Matt Caswell67ad5aa2016-07-08 09:51:02 +01002994 EVP_PKEY_free(ckey);
Matt Caswellf1ec23c2016-09-13 11:01:04 +01002995 return ret;
Matt Caswell67ad5aa2016-07-08 09:51:02 +01002996#else
Matt Caswella2c2e002017-11-22 17:18:39 +00002997 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_CONSTRUCT_CKE_ECDHE,
2998 ERR_R_INTERNAL_ERROR);
Matt Caswell67ad5aa2016-07-08 09:51:02 +01002999 return 0;
3000#endif
3001}
3002
Matt Caswella2c2e002017-11-22 17:18:39 +00003003static int tls_construct_cke_gost(SSL *s, WPACKET *pkt)
Matt Caswelle00e0b32016-07-08 10:07:55 +01003004{
3005#ifndef OPENSSL_NO_GOST
3006 /* GOST key exchange message creation */
3007 EVP_PKEY_CTX *pkey_ctx = NULL;
3008 X509 *peer_cert;
3009 size_t msglen;
3010 unsigned int md_len;
3011 unsigned char shared_ukm[32], tmp[256];
3012 EVP_MD_CTX *ukm_hash = NULL;
3013 int dgst_nid = NID_id_GostR3411_94;
3014 unsigned char *pms = NULL;
3015 size_t pmslen = 0;
3016
3017 if ((s->s3->tmp.new_cipher->algorithm_auth & SSL_aGOST12) != 0)
3018 dgst_nid = NID_id_GostR3411_2012_256;
3019
3020 /*
FdaSilvaYY1ee4b982017-02-17 23:13:26 +01003021 * Get server certificate PKEY and create ctx from it
Matt Caswelle00e0b32016-07-08 10:07:55 +01003022 */
3023 peer_cert = s->session->peer;
3024 if (!peer_cert) {
Matt Caswella2c2e002017-11-22 17:18:39 +00003025 SSLfatal(s, SSL_AD_HANDSHAKE_FAILURE, SSL_F_TLS_CONSTRUCT_CKE_GOST,
Matt Caswelle00e0b32016-07-08 10:07:55 +01003026 SSL_R_NO_GOST_CERTIFICATE_SENT_BY_PEER);
3027 return 0;
3028 }
3029
3030 pkey_ctx = EVP_PKEY_CTX_new(X509_get0_pubkey(peer_cert), NULL);
3031 if (pkey_ctx == NULL) {
Matt Caswella2c2e002017-11-22 17:18:39 +00003032 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_CONSTRUCT_CKE_GOST,
3033 ERR_R_MALLOC_FAILURE);
Matt Caswelle00e0b32016-07-08 10:07:55 +01003034 return 0;
3035 }
3036 /*
3037 * If we have send a certificate, and certificate key
3038 * parameters match those of server certificate, use
3039 * certificate key for key exchange
3040 */
3041
3042 /* Otherwise, generate ephemeral key pair */
3043 pmslen = 32;
3044 pms = OPENSSL_malloc(pmslen);
3045 if (pms == NULL) {
Matt Caswella2c2e002017-11-22 17:18:39 +00003046 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_CONSTRUCT_CKE_GOST,
3047 ERR_R_MALLOC_FAILURE);
Matt Caswell2f3930b2016-08-22 22:17:20 +01003048 goto err;
Matt Caswelle00e0b32016-07-08 10:07:55 +01003049 }
3050
3051 if (EVP_PKEY_encrypt_init(pkey_ctx) <= 0
Matt Caswell348240c2016-10-19 15:11:24 +01003052 /* Generate session key
3053 * TODO(size_t): Convert this function
3054 */
Rich Salzae3947d2017-08-03 10:24:03 -04003055 || ssl_randbytes(s, pms, (int)pmslen) <= 0) {
Matt Caswella2c2e002017-11-22 17:18:39 +00003056 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_CONSTRUCT_CKE_GOST,
3057 ERR_R_INTERNAL_ERROR);
Matt Caswelle00e0b32016-07-08 10:07:55 +01003058 goto err;
3059 };
3060 /*
Matt Caswelle00e0b32016-07-08 10:07:55 +01003061 * Compute shared IV and store it in algorithm-specific context
3062 * data
3063 */
3064 ukm_hash = EVP_MD_CTX_new();
3065 if (ukm_hash == NULL
Emilia Kaspera230b262016-08-05 19:03:17 +02003066 || EVP_DigestInit(ukm_hash, EVP_get_digestbynid(dgst_nid)) <= 0
3067 || EVP_DigestUpdate(ukm_hash, s->s3->client_random,
3068 SSL3_RANDOM_SIZE) <= 0
3069 || EVP_DigestUpdate(ukm_hash, s->s3->server_random,
3070 SSL3_RANDOM_SIZE) <= 0
3071 || EVP_DigestFinal_ex(ukm_hash, shared_ukm, &md_len) <= 0) {
Matt Caswella2c2e002017-11-22 17:18:39 +00003072 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_CONSTRUCT_CKE_GOST,
3073 ERR_R_INTERNAL_ERROR);
Matt Caswelle00e0b32016-07-08 10:07:55 +01003074 goto err;
3075 }
3076 EVP_MD_CTX_free(ukm_hash);
3077 ukm_hash = NULL;
3078 if (EVP_PKEY_CTX_ctrl(pkey_ctx, -1, EVP_PKEY_OP_ENCRYPT,
3079 EVP_PKEY_CTRL_SET_IV, 8, shared_ukm) < 0) {
Matt Caswella2c2e002017-11-22 17:18:39 +00003080 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_CONSTRUCT_CKE_GOST,
3081 SSL_R_LIBRARY_BUG);
Matt Caswelle00e0b32016-07-08 10:07:55 +01003082 goto err;
3083 }
3084 /* Make GOST keytransport blob message */
3085 /*
3086 * Encapsulate it into sequence
3087 */
Matt Caswelle00e0b32016-07-08 10:07:55 +01003088 msglen = 255;
3089 if (EVP_PKEY_encrypt(pkey_ctx, tmp, &msglen, pms, pmslen) <= 0) {
Matt Caswella2c2e002017-11-22 17:18:39 +00003090 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_CONSTRUCT_CKE_GOST,
3091 SSL_R_LIBRARY_BUG);
Matt Caswelle00e0b32016-07-08 10:07:55 +01003092 goto err;
3093 }
Matt Caswellf1ec23c2016-09-13 11:01:04 +01003094
Matt Caswell08029df2016-09-20 14:47:44 +01003095 if (!WPACKET_put_bytes_u8(pkt, V_ASN1_SEQUENCE | V_ASN1_CONSTRUCTED)
3096 || (msglen >= 0x80 && !WPACKET_put_bytes_u8(pkt, 0x81))
Matt Caswellb2b30242016-09-13 11:32:52 +01003097 || !WPACKET_sub_memcpy_u8(pkt, tmp, msglen)) {
Matt Caswella2c2e002017-11-22 17:18:39 +00003098 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_CONSTRUCT_CKE_GOST,
3099 ERR_R_INTERNAL_ERROR);
Matt Caswellf1ec23c2016-09-13 11:01:04 +01003100 goto err;
Matt Caswelle00e0b32016-07-08 10:07:55 +01003101 }
Matt Caswellf1ec23c2016-09-13 11:01:04 +01003102
Matt Caswelle00e0b32016-07-08 10:07:55 +01003103 EVP_PKEY_CTX_free(pkey_ctx);
3104 s->s3->tmp.pms = pms;
3105 s->s3->tmp.pmslen = pmslen;
3106
3107 return 1;
3108 err:
3109 EVP_PKEY_CTX_free(pkey_ctx);
3110 OPENSSL_clear_free(pms, pmslen);
3111 EVP_MD_CTX_free(ukm_hash);
3112 return 0;
3113#else
Matt Caswella2c2e002017-11-22 17:18:39 +00003114 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_CONSTRUCT_CKE_GOST,
3115 ERR_R_INTERNAL_ERROR);
Matt Caswelle00e0b32016-07-08 10:07:55 +01003116 return 0;
3117#endif
3118}
3119
Matt Caswella2c2e002017-11-22 17:18:39 +00003120static int tls_construct_cke_srp(SSL *s, WPACKET *pkt)
Matt Caswell840a2bf2016-07-08 10:43:59 +01003121{
Richard Levitte8b9546c2016-07-22 21:48:05 +02003122#ifndef OPENSSL_NO_SRP
Matt Caswellf1ec23c2016-09-13 11:01:04 +01003123 unsigned char *abytes = NULL;
3124
3125 if (s->srp_ctx.A == NULL
Matt Caswellb2b30242016-09-13 11:32:52 +01003126 || !WPACKET_sub_allocate_bytes_u16(pkt, BN_num_bytes(s->srp_ctx.A),
3127 &abytes)) {
Matt Caswella2c2e002017-11-22 17:18:39 +00003128 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_CONSTRUCT_CKE_SRP,
3129 ERR_R_INTERNAL_ERROR);
Matt Caswell840a2bf2016-07-08 10:43:59 +01003130 return 0;
3131 }
Matt Caswellf1ec23c2016-09-13 11:01:04 +01003132 BN_bn2bin(s->srp_ctx.A, abytes);
3133
Matt Caswell840a2bf2016-07-08 10:43:59 +01003134 OPENSSL_free(s->session->srp_username);
3135 s->session->srp_username = OPENSSL_strdup(s->srp_ctx.login);
3136 if (s->session->srp_username == NULL) {
Matt Caswella2c2e002017-11-22 17:18:39 +00003137 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_CONSTRUCT_CKE_SRP,
3138 ERR_R_MALLOC_FAILURE);
Matt Caswell840a2bf2016-07-08 10:43:59 +01003139 return 0;
3140 }
3141
3142 return 1;
3143#else
Matt Caswella2c2e002017-11-22 17:18:39 +00003144 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_CONSTRUCT_CKE_SRP,
3145 ERR_R_INTERNAL_ERROR);
Matt Caswell840a2bf2016-07-08 10:43:59 +01003146 return 0;
3147#endif
3148}
3149
Matt Caswell7cea05d2016-09-29 23:28:29 +01003150int tls_construct_client_key_exchange(SSL *s, WPACKET *pkt)
Matt Caswellb9908bf2015-07-29 14:08:49 +01003151{
Matt Caswell0f113f32015-01-22 03:40:55 +00003152 unsigned long alg_k;
Matt Caswellf1ec23c2016-09-13 11:01:04 +01003153
Dr. Stephen Henson76890822015-06-28 17:15:10 +01003154 alg_k = s->s3->tmp.new_cipher->algorithm_mkey;
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00003155
Matt Caswella2c2e002017-11-22 17:18:39 +00003156 /*
3157 * All of the construct functions below call SSLfatal() if necessary so
3158 * no need to do so here.
3159 */
Matt Caswell13c0ec42016-07-07 14:42:27 +01003160 if ((alg_k & SSL_PSK)
Matt Caswella2c2e002017-11-22 17:18:39 +00003161 && !tls_construct_cke_psk_preamble(s, pkt))
Matt Caswell13c0ec42016-07-07 14:42:27 +01003162 goto err;
Matt Caswellb9908bf2015-07-29 14:08:49 +01003163
Matt Caswellf1ec23c2016-09-13 11:01:04 +01003164 if (alg_k & (SSL_kRSA | SSL_kRSAPSK)) {
Matt Caswella2c2e002017-11-22 17:18:39 +00003165 if (!tls_construct_cke_rsa(s, pkt))
Matt Caswell13c0ec42016-07-07 14:42:27 +01003166 goto err;
Matt Caswella8c1c702016-07-08 09:42:07 +01003167 } else if (alg_k & (SSL_kDHE | SSL_kDHEPSK)) {
Matt Caswella2c2e002017-11-22 17:18:39 +00003168 if (!tls_construct_cke_dhe(s, pkt))
Dr. Stephen Hensonbc71f912015-12-15 23:57:18 +00003169 goto err;
Matt Caswell67ad5aa2016-07-08 09:51:02 +01003170 } else if (alg_k & (SSL_kECDHE | SSL_kECDHEPSK)) {
Matt Caswella2c2e002017-11-22 17:18:39 +00003171 if (!tls_construct_cke_ecdhe(s, pkt))
Matt Caswell67ad5aa2016-07-08 09:51:02 +01003172 goto err;
Matt Caswelle00e0b32016-07-08 10:07:55 +01003173 } else if (alg_k & SSL_kGOST) {
Matt Caswella2c2e002017-11-22 17:18:39 +00003174 if (!tls_construct_cke_gost(s, pkt))
Matt Caswelle00e0b32016-07-08 10:07:55 +01003175 goto err;
Matt Caswell840a2bf2016-07-08 10:43:59 +01003176 } else if (alg_k & SSL_kSRP) {
Matt Caswella2c2e002017-11-22 17:18:39 +00003177 if (!tls_construct_cke_srp(s, pkt))
Matt Caswellb9908bf2015-07-29 14:08:49 +01003178 goto err;
Matt Caswell4a424542016-09-29 12:04:08 +01003179 } else if (!(alg_k & SSL_kPSK)) {
Matt Caswella2c2e002017-11-22 17:18:39 +00003180 SSLfatal(s, SSL_AD_INTERNAL_ERROR,
3181 SSL_F_TLS_CONSTRUCT_CLIENT_KEY_EXCHANGE, ERR_R_INTERNAL_ERROR);
Matt Caswellb9908bf2015-07-29 14:08:49 +01003182 goto err;
3183 }
3184
Matt Caswellb9908bf2015-07-29 14:08:49 +01003185 return 1;
Matt Caswell0f113f32015-01-22 03:40:55 +00003186 err:
Matt Caswell0bce0b02016-07-07 12:47:07 +01003187 OPENSSL_clear_free(s->s3->tmp.pms, s->s3->tmp.pmslen);
Dr. Stephen Henson76106e62015-05-12 17:17:37 +01003188 s->s3->tmp.pms = NULL;
Dr. Stephen Henson76890822015-06-28 17:15:10 +01003189#ifndef OPENSSL_NO_PSK
3190 OPENSSL_clear_free(s->s3->tmp.psk, s->s3->tmp.psklen);
3191 s->s3->tmp.psk = NULL;
3192#endif
Matt Caswellb9908bf2015-07-29 14:08:49 +01003193 return 0;
3194}
3195
3196int tls_client_key_exchange_post_work(SSL *s)
3197{
3198 unsigned char *pms = NULL;
3199 size_t pmslen = 0;
3200
Matt Caswell6f137372016-04-28 15:12:37 +01003201 pms = s->s3->tmp.pms;
3202 pmslen = s->s3->tmp.pmslen;
3203
Matt Caswellb9908bf2015-07-29 14:08:49 +01003204#ifndef OPENSSL_NO_SRP
3205 /* Check for SRP */
3206 if (s->s3->tmp.new_cipher->algorithm_mkey & SSL_kSRP) {
3207 if (!srp_generate_client_master_secret(s)) {
Matt Caswella2c2e002017-11-22 17:18:39 +00003208 /* SSLfatal() already called */
Matt Caswellb9908bf2015-07-29 14:08:49 +01003209 goto err;
3210 }
3211 return 1;
3212 }
3213#endif
Matt Caswellb9908bf2015-07-29 14:08:49 +01003214
3215 if (pms == NULL && !(s->s3->tmp.new_cipher->algorithm_mkey & SSL_kPSK)) {
Matt Caswella2c2e002017-11-22 17:18:39 +00003216 SSLfatal(s, SSL_AD_INTERNAL_ERROR,
3217 SSL_F_TLS_CLIENT_KEY_EXCHANGE_POST_WORK, ERR_R_MALLOC_FAILURE);
Matt Caswellb9908bf2015-07-29 14:08:49 +01003218 goto err;
3219 }
3220 if (!ssl_generate_master_secret(s, pms, pmslen, 1)) {
Matt Caswella2c2e002017-11-22 17:18:39 +00003221 /* SSLfatal() already called */
Matt Caswell6f137372016-04-28 15:12:37 +01003222 /* ssl_generate_master_secret frees the pms even on error */
3223 pms = NULL;
3224 pmslen = 0;
Matt Caswellb9908bf2015-07-29 14:08:49 +01003225 goto err;
3226 }
Matt Caswell6f137372016-04-28 15:12:37 +01003227 pms = NULL;
3228 pmslen = 0;
Matt Caswell473483d2015-09-07 22:00:36 +01003229
3230#ifndef OPENSSL_NO_SCTP
3231 if (SSL_IS_DTLS(s)) {
3232 unsigned char sctpauthkey[64];
3233 char labelbuffer[sizeof(DTLS1_SCTP_AUTH_LABEL)];
3234
3235 /*
3236 * Add new shared key for SCTP-Auth, will be ignored if no SCTP
3237 * used.
3238 */
Matt Caswell141eb8c2015-10-26 12:00:00 +00003239 memcpy(labelbuffer, DTLS1_SCTP_AUTH_LABEL,
3240 sizeof(DTLS1_SCTP_AUTH_LABEL));
Matt Caswell473483d2015-09-07 22:00:36 +01003241
3242 if (SSL_export_keying_material(s, sctpauthkey,
Emilia Kaspera230b262016-08-05 19:03:17 +02003243 sizeof(sctpauthkey), labelbuffer,
Matt Caswella2c2e002017-11-22 17:18:39 +00003244 sizeof(labelbuffer), NULL, 0, 0) <= 0) {
3245 SSLfatal(s, SSL_AD_INTERNAL_ERROR,
3246 SSL_F_TLS_CLIENT_KEY_EXCHANGE_POST_WORK, ERR_R_INTERNAL_ERROR);
Matt Caswell473483d2015-09-07 22:00:36 +01003247 goto err;
Matt Caswella2c2e002017-11-22 17:18:39 +00003248 }
Matt Caswell473483d2015-09-07 22:00:36 +01003249
3250 BIO_ctrl(SSL_get_wbio(s), BIO_CTRL_DGRAM_SCTP_ADD_AUTH_KEY,
3251 sizeof(sctpauthkey), sctpauthkey);
3252 }
3253#endif
3254
Matt Caswellb9908bf2015-07-29 14:08:49 +01003255 return 1;
3256 err:
3257 OPENSSL_clear_free(pms, pmslen);
3258 s->s3->tmp.pms = NULL;
3259 return 0;
Matt Caswell0f113f32015-01-22 03:40:55 +00003260}
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00003261
Matt Caswell0f113f32015-01-22 03:40:55 +00003262/*
3263 * Check a certificate can be used for client authentication. Currently check
3264 * cert exists, if we have a suitable digest for TLS 1.2 if static DH client
3265 * certificates can be used and optionally checks suitability for Suite B.
Dr. Stephen Henson0d609392012-01-25 14:51:49 +00003266 */
3267static int ssl3_check_client_certificate(SSL *s)
Matt Caswell0f113f32015-01-22 03:40:55 +00003268{
Matt Caswell0f113f32015-01-22 03:40:55 +00003269 /* If no suitable signature algorithm can't use certificate */
Matt Caswellf63a17d2017-11-21 17:18:43 +00003270 if (!tls_choose_sigalg(s, 0) || s->s3->tmp.sigalg == NULL)
Matt Caswell0f113f32015-01-22 03:40:55 +00003271 return 0;
3272 /*
3273 * If strict mode check suitability of chain before using it. This also
3274 * adjusts suite B digest if necessary.
3275 */
3276 if (s->cert->cert_flags & SSL_CERT_FLAGS_CHECK_TLS_STRICT &&
3277 !tls1_check_chain(s, NULL, NULL, NULL, -2))
3278 return 0;
Matt Caswell0f113f32015-01-22 03:40:55 +00003279 return 1;
3280}
Dr. Stephen Henson0d609392012-01-25 14:51:49 +00003281
Matt Caswellbe3583f2015-10-26 11:46:33 +00003282WORK_STATE tls_prepare_client_certificate(SSL *s, WORK_STATE wst)
Matt Caswellb9908bf2015-07-29 14:08:49 +01003283{
Matt Caswell0f113f32015-01-22 03:40:55 +00003284 X509 *x509 = NULL;
3285 EVP_PKEY *pkey = NULL;
3286 int i;
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00003287
Matt Caswellb9908bf2015-07-29 14:08:49 +01003288 if (wst == WORK_MORE_A) {
Matt Caswell0f113f32015-01-22 03:40:55 +00003289 /* Let cert callback update client certificates if required */
3290 if (s->cert->cert_cb) {
3291 i = s->cert->cert_cb(s, s->cert->cert_cb_arg);
3292 if (i < 0) {
3293 s->rwstate = SSL_X509_LOOKUP;
Matt Caswellb9908bf2015-07-29 14:08:49 +01003294 return WORK_MORE_A;
Matt Caswell0f113f32015-01-22 03:40:55 +00003295 }
3296 if (i == 0) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00003297 SSLfatal(s, SSL_AD_INTERNAL_ERROR,
3298 SSL_F_TLS_PREPARE_CLIENT_CERTIFICATE,
3299 SSL_R_CALLBACK_FAILED);
Andy Polyakoveb5fd032017-08-31 23:23:00 +02003300 return WORK_ERROR;
Matt Caswell0f113f32015-01-22 03:40:55 +00003301 }
3302 s->rwstate = SSL_NOTHING;
3303 }
3304 if (ssl3_check_client_certificate(s))
Matt Caswellb9908bf2015-07-29 14:08:49 +01003305 return WORK_FINISHED_CONTINUE;
3306
3307 /* Fall through to WORK_MORE_B */
3308 wst = WORK_MORE_B;
Matt Caswell0f113f32015-01-22 03:40:55 +00003309 }
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00003310
Matt Caswell0f113f32015-01-22 03:40:55 +00003311 /* We need to get a client cert */
Matt Caswellb9908bf2015-07-29 14:08:49 +01003312 if (wst == WORK_MORE_B) {
Matt Caswell0f113f32015-01-22 03:40:55 +00003313 /*
3314 * If we get an error, we need to ssl->rwstate=SSL_X509_LOOKUP;
3315 * return(-1); We then get retied later
3316 */
Matt Caswell0f113f32015-01-22 03:40:55 +00003317 i = ssl_do_client_cert_cb(s, &x509, &pkey);
3318 if (i < 0) {
3319 s->rwstate = SSL_X509_LOOKUP;
Matt Caswellb9908bf2015-07-29 14:08:49 +01003320 return WORK_MORE_B;
Matt Caswell0f113f32015-01-22 03:40:55 +00003321 }
3322 s->rwstate = SSL_NOTHING;
3323 if ((i == 1) && (pkey != NULL) && (x509 != NULL)) {
Matt Caswell0f113f32015-01-22 03:40:55 +00003324 if (!SSL_use_certificate(s, x509) || !SSL_use_PrivateKey(s, pkey))
3325 i = 0;
3326 } else if (i == 1) {
3327 i = 0;
Matt Caswellb9908bf2015-07-29 14:08:49 +01003328 SSLerr(SSL_F_TLS_PREPARE_CLIENT_CERTIFICATE,
Matt Caswell0f113f32015-01-22 03:40:55 +00003329 SSL_R_BAD_DATA_RETURNED_BY_CALLBACK);
3330 }
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00003331
Rich Salz222561f2015-04-30 17:33:59 -04003332 X509_free(x509);
Rich Salz25aaa982015-05-01 14:37:16 -04003333 EVP_PKEY_free(pkey);
Matt Caswell0f113f32015-01-22 03:40:55 +00003334 if (i && !ssl3_check_client_certificate(s))
3335 i = 0;
3336 if (i == 0) {
3337 if (s->version == SSL3_VERSION) {
3338 s->s3->tmp.cert_req = 0;
3339 ssl3_send_alert(s, SSL3_AL_WARNING, SSL_AD_NO_CERTIFICATE);
Matt Caswellb9908bf2015-07-29 14:08:49 +01003340 return WORK_FINISHED_CONTINUE;
Matt Caswell0f113f32015-01-22 03:40:55 +00003341 } else {
3342 s->s3->tmp.cert_req = 2;
Dr. Stephen Henson124037f2015-06-16 14:44:29 +01003343 if (!ssl3_digest_cached_records(s, 0)) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00003344 /* SSLfatal() already called */
Andy Polyakoveb5fd032017-08-31 23:23:00 +02003345 return WORK_ERROR;
Dr. Stephen Hensondab18ab2015-05-07 00:04:48 +01003346 }
Matt Caswell0f113f32015-01-22 03:40:55 +00003347 }
3348 }
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00003349
Matt Caswellb9908bf2015-07-29 14:08:49 +01003350 return WORK_FINISHED_CONTINUE;
Matt Caswell0f113f32015-01-22 03:40:55 +00003351 }
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00003352
Matt Caswellb9908bf2015-07-29 14:08:49 +01003353 /* Shouldn't ever get here */
Matt Caswella2c2e002017-11-22 17:18:39 +00003354 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_PREPARE_CLIENT_CERTIFICATE,
3355 ERR_R_INTERNAL_ERROR);
Matt Caswellb9908bf2015-07-29 14:08:49 +01003356 return WORK_ERROR;
3357}
3358
Matt Caswell7cea05d2016-09-29 23:28:29 +01003359int tls_construct_client_certificate(SSL *s, WPACKET *pkt)
Matt Caswellb9908bf2015-07-29 14:08:49 +01003360{
Matt Caswelle96e0f82016-12-02 09:14:15 +00003361 /*
3362 * TODO(TLS1.3): For now we must put an empty context. Needs to be filled in
3363 * later
3364 */
Matt Caswellf63a17d2017-11-21 17:18:43 +00003365 if (SSL_IS_TLS13(s) && !WPACKET_put_bytes_u8(pkt, 0)) {
3366 SSLfatal(s, SSL_AD_INTERNAL_ERROR,
3367 SSL_F_TLS_CONSTRUCT_CLIENT_CERTIFICATE, ERR_R_INTERNAL_ERROR);
3368 return 0;
3369 }
3370 if (!ssl3_output_cert_chain(s, pkt,
3371 (s->s3->tmp.cert_req == 2) ? NULL
3372 : s->cert->key)) {
3373 /* SSLfatal() already called */
3374 return 0;
Matt Caswellf7e393b2017-02-27 11:19:57 +00003375 }
3376
3377 if (SSL_IS_TLS13(s)
3378 && SSL_IS_FIRST_HANDSHAKE(s)
3379 && (!s->method->ssl3_enc->change_cipher_state(s,
3380 SSL3_CC_HANDSHAKE | SSL3_CHANGE_CIPHER_CLIENT_WRITE))) {
Bernd Edlingerc31ad0b2017-06-13 07:25:43 +02003381 /*
Matt Caswella2c2e002017-11-22 17:18:39 +00003382 * This is a fatal error, which leaves enc_write_ctx in an inconsistent
Matt Caswellf63a17d2017-11-21 17:18:43 +00003383 * state and thus ssl3_send_alert may crash.
Bernd Edlingerc31ad0b2017-06-13 07:25:43 +02003384 */
Matt Caswellf63a17d2017-11-21 17:18:43 +00003385 SSLfatal(s, SSL_AD_NO_ALERT, SSL_F_TLS_CONSTRUCT_CLIENT_CERTIFICATE,
3386 SSL_R_CANNOT_CHANGE_CIPHER);
Bernd Edlingerc31ad0b2017-06-13 07:25:43 +02003387 return 0;
Matt Caswell0f113f32015-01-22 03:40:55 +00003388 }
Matt Caswellb9908bf2015-07-29 14:08:49 +01003389
3390 return 1;
Matt Caswell0f113f32015-01-22 03:40:55 +00003391}
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00003392
Ben Laurie36d16f82005-04-26 16:02:40 +00003393int ssl3_check_cert_and_algorithm(SSL *s)
Matt Caswell0f113f32015-01-22 03:40:55 +00003394{
Dr. Stephen Hensondd248572017-06-29 16:10:31 +01003395 const SSL_CERT_LOOKUP *clu;
3396 size_t idx;
Matt Caswell0f113f32015-01-22 03:40:55 +00003397 long alg_k, alg_a;
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00003398
Matt Caswell0f113f32015-01-22 03:40:55 +00003399 alg_k = s->s3->tmp.new_cipher->algorithm_mkey;
3400 alg_a = s->s3->tmp.new_cipher->algorithm_auth;
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00003401
Matt Caswell0f113f32015-01-22 03:40:55 +00003402 /* we don't have a certificate */
Dr. Stephen Hensondd248572017-06-29 16:10:31 +01003403 if (!(alg_a & SSL_aCERT))
3404 return 1;
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00003405
Matt Caswell0f113f32015-01-22 03:40:55 +00003406 /* This is the passed certificate */
Dr. Stephen Hensondd248572017-06-29 16:10:31 +01003407 clu = ssl_cert_lookup_by_pkey(X509_get0_pubkey(s->session->peer), &idx);
3408
3409 /* Check certificate is recognised and suitable for cipher */
3410 if (clu == NULL || (alg_a & clu->amask) == 0) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00003411 SSLfatal(s, SSL_AD_HANDSHAKE_FAILURE,
3412 SSL_F_SSL3_CHECK_CERT_AND_ALGORITHM,
3413 SSL_R_MISSING_SIGNING_CERT);
3414 return 0;
Dr. Stephen Hensondd248572017-06-29 16:10:31 +01003415 }
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00003416
Rich Salz10bf4fc2015-03-10 19:09:27 -04003417#ifndef OPENSSL_NO_EC
Dr. Stephen Hensondd248572017-06-29 16:10:31 +01003418 if (clu->amask & SSL_aECDSA) {
3419 if (ssl_check_srvr_ecc_cert_and_alg(s->session->peer, s))
Matt Caswell0f113f32015-01-22 03:40:55 +00003420 return 1;
Matt Caswellf63a17d2017-11-21 17:18:43 +00003421 SSLfatal(s, SSL_AD_HANDSHAKE_FAILURE,
3422 SSL_F_SSL3_CHECK_CERT_AND_ALGORITHM, SSL_R_BAD_ECC_CERT);
3423 return 0;
Matt Caswell0f113f32015-01-22 03:40:55 +00003424 }
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00003425#endif
Richard Levittebc36ee62001-02-20 08:13:47 +00003426#ifndef OPENSSL_NO_RSA
Dr. Stephen Hensondd248572017-06-29 16:10:31 +01003427 if (alg_k & (SSL_kRSA | SSL_kRSAPSK) && idx != SSL_PKEY_RSA) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00003428 SSLfatal(s, SSL_AD_HANDSHAKE_FAILURE,
3429 SSL_F_SSL3_CHECK_CERT_AND_ALGORITHM,
3430 SSL_R_MISSING_RSA_ENCRYPTING_CERT);
3431 return 0;
Matt Caswell0f113f32015-01-22 03:40:55 +00003432 }
Ulf Möller79df9d61999-04-27 03:19:12 +00003433#endif
Richard Levittebc36ee62001-02-20 08:13:47 +00003434#ifndef OPENSSL_NO_DH
Dr. Stephen Hensonfb79abe2015-12-17 01:07:46 +00003435 if ((alg_k & SSL_kDHE) && (s->s3->peer_tmp == NULL)) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00003436 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_SSL3_CHECK_CERT_AND_ALGORITHM,
3437 ERR_R_INTERNAL_ERROR);
3438 return 0;
Matt Caswell0f113f32015-01-22 03:40:55 +00003439 }
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00003440#endif
3441
Dr. Stephen Hensondd248572017-06-29 16:10:31 +01003442 return 1;
Matt Caswell0f113f32015-01-22 03:40:55 +00003443}
Dr. Stephen Henson6434abb2007-08-11 23:18:29 +00003444
Matt Caswelle481f9b2015-05-15 10:49:56 +01003445#ifndef OPENSSL_NO_NEXTPROTONEG
Matt Caswell7cea05d2016-09-29 23:28:29 +01003446int tls_construct_next_proto(SSL *s, WPACKET *pkt)
Matt Caswellb9908bf2015-07-29 14:08:49 +01003447{
Matt Caswell15e6be62016-09-14 12:10:33 +01003448 size_t len, padding_len;
3449 unsigned char *padding = NULL;
Matt Caswell15e6be62016-09-14 12:10:33 +01003450
Rich Salzaff8c122016-12-08 14:18:40 -05003451 len = s->ext.npn_len;
Matt Caswellb9908bf2015-07-29 14:08:49 +01003452 padding_len = 32 - ((len + 2) % 32);
Matt Caswell15e6be62016-09-14 12:10:33 +01003453
Rich Salzaff8c122016-12-08 14:18:40 -05003454 if (!WPACKET_sub_memcpy_u8(pkt, s->ext.npn, len)
Matt Caswell7cea05d2016-09-29 23:28:29 +01003455 || !WPACKET_sub_allocate_bytes_u8(pkt, padding_len, &padding)) {
Matt Caswella2c2e002017-11-22 17:18:39 +00003456 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_CONSTRUCT_NEXT_PROTO,
3457 ERR_R_INTERNAL_ERROR);
3458 return 0;
Matt Caswell15e6be62016-09-14 12:10:33 +01003459 }
3460
3461 memset(padding, 0, padding_len);
3462
Matt Caswellb9908bf2015-07-29 14:08:49 +01003463 return 1;
3464}
Dr. Stephen Henson6434abb2007-08-11 23:18:29 +00003465#endif
Dr. Stephen Henson368888b2008-06-01 22:33:24 +00003466
Matt Caswellc7f47782017-01-10 23:02:28 +00003467MSG_PROCESS_RETURN tls_process_hello_req(SSL *s, PACKET *pkt)
3468{
3469 if (PACKET_remaining(pkt) > 0) {
3470 /* should contain no data */
Matt Caswellf63a17d2017-11-21 17:18:43 +00003471 SSLfatal(s, SSL_AD_DECODE_ERROR, SSL_F_TLS_PROCESS_HELLO_REQ,
3472 SSL_R_LENGTH_MISMATCH);
Matt Caswellc7f47782017-01-10 23:02:28 +00003473 return MSG_PROCESS_ERROR;
3474 }
3475
Todd Shortdb0f35d2017-05-10 16:46:14 -04003476 if ((s->options & SSL_OP_NO_RENEGOTIATION)) {
3477 ssl3_send_alert(s, SSL3_AL_WARNING, SSL_AD_NO_RENEGOTIATION);
3478 return MSG_PROCESS_FINISHED_READING;
3479 }
3480
Matt Caswellc7f47782017-01-10 23:02:28 +00003481 /*
Matt Caswell1f04f232017-01-27 15:23:25 +00003482 * This is a historical discrepancy (not in the RFC) maintained for
3483 * compatibility reasons. If a TLS client receives a HelloRequest it will
3484 * attempt an abbreviated handshake. However if a DTLS client receives a
3485 * HelloRequest it will do a full handshake. Either behaviour is reasonable
3486 * but doing one for TLS and another for DTLS is odd.
Matt Caswellc7f47782017-01-10 23:02:28 +00003487 */
3488 if (SSL_IS_DTLS(s))
3489 SSL_renegotiate(s);
3490 else
3491 SSL_renegotiate_abbreviated(s);
3492
3493 return MSG_PROCESS_FINISHED_READING;
3494}
3495
Matt Caswelle46f2332016-11-23 15:20:22 +00003496static MSG_PROCESS_RETURN tls_process_encrypted_extensions(SSL *s, PACKET *pkt)
3497{
Matt Caswelle46f2332016-11-23 15:20:22 +00003498 PACKET extensions;
Matt Caswell3434f402016-11-28 16:45:52 +00003499 RAW_EXTENSION *rawexts = NULL;
Matt Caswelle46f2332016-11-23 15:20:22 +00003500
Matt Caswell26b91722017-05-11 11:31:57 +01003501 if (!PACKET_as_length_prefixed_2(pkt, &extensions)
3502 || PACKET_remaining(pkt) != 0) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00003503 SSLfatal(s, SSL_AD_DECODE_ERROR, SSL_F_TLS_PROCESS_ENCRYPTED_EXTENSIONS,
3504 SSL_R_LENGTH_MISMATCH);
Matt Caswelle46f2332016-11-23 15:20:22 +00003505 goto err;
3506 }
3507
Matt Caswellfe874d22017-04-04 11:40:02 +01003508 if (!tls_collect_extensions(s, &extensions,
3509 SSL_EXT_TLS1_3_ENCRYPTED_EXTENSIONS, &rawexts,
Matt Caswellf63a17d2017-11-21 17:18:43 +00003510 NULL, 1)
Matt Caswellfe874d22017-04-04 11:40:02 +01003511 || !tls_parse_all_extensions(s, SSL_EXT_TLS1_3_ENCRYPTED_EXTENSIONS,
Matt Caswellf63a17d2017-11-21 17:18:43 +00003512 rawexts, NULL, 0, 1)) {
3513 /* SSLfatal() already called */
Matt Caswell3434f402016-11-28 16:45:52 +00003514 goto err;
Matt Caswellf63a17d2017-11-21 17:18:43 +00003515 }
Matt Caswell3434f402016-11-28 16:45:52 +00003516
Matt Caswell1b0286a2016-12-05 17:31:37 +00003517 OPENSSL_free(rawexts);
Matt Caswelle46f2332016-11-23 15:20:22 +00003518 return MSG_PROCESS_CONTINUE_READING;
3519
3520 err:
Matt Caswell1b0286a2016-12-05 17:31:37 +00003521 OPENSSL_free(rawexts);
Matt Caswelle46f2332016-11-23 15:20:22 +00003522 return MSG_PROCESS_ERROR;
3523}
3524
Dr. Stephen Henson368888b2008-06-01 22:33:24 +00003525int ssl_do_client_cert_cb(SSL *s, X509 **px509, EVP_PKEY **ppkey)
Matt Caswell0f113f32015-01-22 03:40:55 +00003526{
3527 int i = 0;
Dr. Stephen Henson368888b2008-06-01 22:33:24 +00003528#ifndef OPENSSL_NO_ENGINE
Matt Caswell0f113f32015-01-22 03:40:55 +00003529 if (s->ctx->client_cert_engine) {
3530 i = ENGINE_load_ssl_client_cert(s->ctx->client_cert_engine, s,
3531 SSL_get_client_CA_list(s),
3532 px509, ppkey, NULL, NULL, NULL);
3533 if (i != 0)
3534 return i;
3535 }
Dr. Stephen Henson368888b2008-06-01 22:33:24 +00003536#endif
Matt Caswell0f113f32015-01-22 03:40:55 +00003537 if (s->ctx->client_cert_cb)
3538 i = s->ctx->client_cert_cb(s, px509, ppkey);
3539 return i;
3540}
Matt Caswelld45ba432015-04-24 15:05:27 +01003541
Matt Caswellae2f7b32016-09-05 17:34:04 +01003542int ssl_cipher_list_to_bytes(SSL *s, STACK_OF(SSL_CIPHER) *sk, WPACKET *pkt)
Matt Caswelld45ba432015-04-24 15:05:27 +01003543{
Matt Caswell2c7b4db2016-08-03 20:57:52 +01003544 int i;
Matt Caswellaafec892017-04-26 10:38:32 +01003545 size_t totlen = 0, len, maxlen, maxverok = 0;
Matt Caswelld45ba432015-04-24 15:05:27 +01003546 int empty_reneg_info_scsv = !s->renegotiate;
3547 /* Set disabled masks for this session */
3548 ssl_set_client_disabled(s);
3549
Matt Caswellf63a17d2017-11-21 17:18:43 +00003550 if (sk == NULL) {
3551 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_SSL_CIPHER_LIST_TO_BYTES,
3552 ERR_R_INTERNAL_ERROR);
KaoruToda26a7d932017-10-17 23:04:09 +09003553 return 0;
Matt Caswellf63a17d2017-11-21 17:18:43 +00003554 }
Matt Caswelld45ba432015-04-24 15:05:27 +01003555
Matt Caswell2c7b4db2016-08-03 20:57:52 +01003556#ifdef OPENSSL_MAX_TLS1_2_CIPHER_LENGTH
3557# if OPENSSL_MAX_TLS1_2_CIPHER_LENGTH < 6
3558# error Max cipher length too short
3559# endif
3560 /*
3561 * Some servers hang if client hello > 256 bytes as hack workaround
3562 * chop number of supported ciphers to keep it well below this if we
3563 * use TLS v1.2
3564 */
3565 if (TLS1_get_version(s) >= TLS1_2_VERSION)
3566 maxlen = OPENSSL_MAX_TLS1_2_CIPHER_LENGTH & ~1;
3567 else
3568#endif
3569 /* Maximum length that can be stored in 2 bytes. Length must be even */
3570 maxlen = 0xfffe;
3571
3572 if (empty_reneg_info_scsv)
3573 maxlen -= 2;
3574 if (s->mode & SSL_MODE_SEND_FALLBACK_SCSV)
3575 maxlen -= 2;
3576
3577 for (i = 0; i < sk_SSL_CIPHER_num(sk) && totlen < maxlen; i++) {
3578 const SSL_CIPHER *c;
3579
Matt Caswelld45ba432015-04-24 15:05:27 +01003580 c = sk_SSL_CIPHER_value(sk, i);
3581 /* Skip disabled ciphers */
Matt Caswell8af91fd2017-04-12 17:02:42 +01003582 if (ssl_cipher_disabled(s, c, SSL_SECOP_CIPHER_SUPPORTED, 0))
Matt Caswelld45ba432015-04-24 15:05:27 +01003583 continue;
Matt Caswell2c7b4db2016-08-03 20:57:52 +01003584
3585 if (!s->method->put_cipher_by_char(c, pkt, &len)) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00003586 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_SSL_CIPHER_LIST_TO_BYTES,
3587 ERR_R_INTERNAL_ERROR);
Matt Caswell2c7b4db2016-08-03 20:57:52 +01003588 return 0;
3589 }
3590
Matt Caswellaafec892017-04-26 10:38:32 +01003591 /* Sanity check that the maximum version we offer has ciphers enabled */
3592 if (!maxverok) {
3593 if (SSL_IS_DTLS(s)) {
3594 if (DTLS_VERSION_GE(c->max_dtls, s->s3->tmp.max_ver)
3595 && DTLS_VERSION_LE(c->min_dtls, s->s3->tmp.max_ver))
3596 maxverok = 1;
3597 } else {
3598 if (c->max_tls >= s->s3->tmp.max_ver
3599 && c->min_tls <= s->s3->tmp.max_ver)
3600 maxverok = 1;
3601 }
3602 }
3603
Matt Caswell2c7b4db2016-08-03 20:57:52 +01003604 totlen += len;
Matt Caswelld45ba432015-04-24 15:05:27 +01003605 }
Matt Caswell2c7b4db2016-08-03 20:57:52 +01003606
Matt Caswellaafec892017-04-26 10:38:32 +01003607 if (totlen == 0 || !maxverok) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00003608 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_SSL_CIPHER_LIST_TO_BYTES,
3609 SSL_R_NO_CIPHERS_AVAILABLE);
Matt Caswellaafec892017-04-26 10:38:32 +01003610
3611 if (!maxverok)
3612 ERR_add_error_data(1, "No ciphers enabled for max supported "
3613 "SSL/TLS version");
3614
Matt Caswell2c7b4db2016-08-03 20:57:52 +01003615 return 0;
3616 }
3617
3618 if (totlen != 0) {
Matt Caswelld45ba432015-04-24 15:05:27 +01003619 if (empty_reneg_info_scsv) {
3620 static SSL_CIPHER scsv = {
Paul Yangbbb4ceb2017-06-30 03:06:19 +08003621 0, NULL, NULL, SSL3_CK_SCSV, 0, 0, 0, 0, 0, 0, 0, 0, 0
Matt Caswelld45ba432015-04-24 15:05:27 +01003622 };
Matt Caswell2c7b4db2016-08-03 20:57:52 +01003623 if (!s->method->put_cipher_by_char(&scsv, pkt, &len)) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00003624 SSLfatal(s, SSL_AD_INTERNAL_ERROR,
3625 SSL_F_SSL_CIPHER_LIST_TO_BYTES, ERR_R_INTERNAL_ERROR);
Matt Caswell2c7b4db2016-08-03 20:57:52 +01003626 return 0;
3627 }
Matt Caswelld45ba432015-04-24 15:05:27 +01003628 }
3629 if (s->mode & SSL_MODE_SEND_FALLBACK_SCSV) {
3630 static SSL_CIPHER scsv = {
Paul Yangbbb4ceb2017-06-30 03:06:19 +08003631 0, NULL, NULL, SSL3_CK_FALLBACK_SCSV, 0, 0, 0, 0, 0, 0, 0, 0, 0
Matt Caswelld45ba432015-04-24 15:05:27 +01003632 };
Matt Caswell2c7b4db2016-08-03 20:57:52 +01003633 if (!s->method->put_cipher_by_char(&scsv, pkt, &len)) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00003634 SSLfatal(s, SSL_AD_INTERNAL_ERROR,
3635 SSL_F_SSL_CIPHER_LIST_TO_BYTES, ERR_R_INTERNAL_ERROR);
Matt Caswell2c7b4db2016-08-03 20:57:52 +01003636 return 0;
3637 }
Matt Caswelld45ba432015-04-24 15:05:27 +01003638 }
3639 }
3640
Matt Caswell2c7b4db2016-08-03 20:57:52 +01003641 return 1;
Matt Caswelld45ba432015-04-24 15:05:27 +01003642}
Matt Caswellef6c1912017-03-09 15:03:07 +00003643
3644int tls_construct_end_of_early_data(SSL *s, WPACKET *pkt)
3645{
3646 if (s->early_data_state != SSL_EARLY_DATA_WRITE_RETRY
3647 && s->early_data_state != SSL_EARLY_DATA_FINISHED_WRITING) {
Matt Caswell635c8f72017-11-23 11:41:40 +00003648 SSLfatal(s, SSL_AD_INTERNAL_ERROR,
3649 SSL_F_TLS_CONSTRUCT_END_OF_EARLY_DATA,
3650 ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED);
Matt Caswellef6c1912017-03-09 15:03:07 +00003651 return 0;
3652 }
3653
3654 s->early_data_state = SSL_EARLY_DATA_FINISHED_WRITING;
3655 return 1;
3656}