blob: e6a0b351480bc93bd75c020906d9e7f7cae2d9b0 [file] [log] [blame]
Rich Salz846e33c2016-05-17 14:18:30 -04001/*
2 * Copyright 1995-2016 The OpenSSL Project Authors. All Rights Reserved.
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00003 *
Rich Salz846e33c2016-05-17 14:18:30 -04004 * Licensed under the OpenSSL license (the "License"). You may not use
5 * this file except in compliance with the License. You can obtain a copy
6 * in the file LICENSE in the source distribution or at
7 * https://www.openssl.org/source/license.html
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00008 */
Rich Salz846e33c2016-05-17 14:18:30 -04009
Bodo Möllerea262262002-08-09 08:56:08 +000010/* ====================================================================
11 * Copyright 2002 Sun Microsystems, Inc. ALL RIGHTS RESERVED.
12 *
Matt Caswell0f113f32015-01-22 03:40:55 +000013 * Portions of the attached software ("Contribution") are developed by
Bodo Möllerea262262002-08-09 08:56:08 +000014 * SUN MICROSYSTEMS, INC., and are contributed to the OpenSSL project.
15 *
16 * The Contribution is licensed pursuant to the OpenSSL open source
17 * license provided above.
18 *
Bodo Möllerea262262002-08-09 08:56:08 +000019 * ECC cipher suite support in OpenSSL originally written by
20 * Vipul Gupta and Sumit Gupta of Sun Microsystems Laboratories.
21 *
22 */
Nils Larschddac1972006-03-10 23:06:27 +000023/* ====================================================================
24 * Copyright 2005 Nokia. All rights reserved.
25 *
26 * The portions of the attached software ("Contribution") is developed by
27 * Nokia Corporation and is licensed pursuant to the OpenSSL open source
28 * license.
29 *
30 * The Contribution, originally written by Mika Kousa and Pasi Eronen of
31 * Nokia Corporation, consists of the "PSK" (Pre-Shared Key) ciphersuites
32 * support (see RFC 4279) to OpenSSL.
33 *
34 * No patent licenses or other rights except those expressly stated in
35 * the OpenSSL open source license shall be deemed granted or received
36 * expressly, by implication, estoppel, or otherwise.
37 *
38 * No assurances are provided by Nokia that the Contribution does not
39 * infringe the patent or other intellectual property rights of any third
40 * party or that the license provides you with all the necessary rights
41 * to make use of the Contribution.
42 *
43 * THE SOFTWARE IS PROVIDED "AS IS" WITHOUT WARRANTY OF ANY KIND. IN
44 * ADDITION TO THE DISCLAIMERS INCLUDED IN THE LICENSE, NOKIA
45 * SPECIFICALLY DISCLAIMS ANY LIABILITY FOR CLAIMS BROUGHT BY YOU OR ANY
46 * OTHER ENTITY BASED ON INFRINGEMENT OF INTELLECTUAL PROPERTY RIGHTS OR
47 * OTHERWISE.
48 */
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +000049
50#include <stdio.h>
Matt Caswellfc24f0b2017-01-17 10:43:37 +000051#include <time.h>
Matt Caswell8ba708e2015-09-11 10:48:59 +010052#include "../ssl_locl.h"
Matt Caswell61ae9352015-09-11 11:23:20 +010053#include "statem_locl.h"
Bodo Möllerec577821999-04-23 22:13:45 +000054#include <openssl/buffer.h>
55#include <openssl/rand.h>
56#include <openssl/objects.h>
57#include <openssl/evp.h>
Ben Lauriedbad1692001-07-30 23:57:25 +000058#include <openssl/md5.h>
Rich Salz3c272082016-03-18 14:30:20 -040059#include <openssl/dh.h>
Geoff Thorped095b682004-05-17 18:53:47 +000060#include <openssl/bn.h>
Rich Salz3c272082016-03-18 14:30:20 -040061#include <openssl/engine.h>
Richard Levittef9b3bff2000-11-30 22:53:34 +000062
Matt Caswell3847d422017-02-01 13:31:27 +000063static MSG_PROCESS_RETURN tls_process_hello_retry_request(SSL *s, PACKET *pkt);
Matt Caswelle46f2332016-11-23 15:20:22 +000064static MSG_PROCESS_RETURN tls_process_encrypted_extensions(SSL *s, PACKET *pkt);
65
Matt Caswell7ab09632015-12-23 09:45:02 +000066static ossl_inline int cert_req_allowed(SSL *s);
Matt Caswella455d0f2015-09-14 15:06:37 +010067static int key_exchange_expected(SSL *s);
Matt Caswelld45ba432015-04-24 15:05:27 +010068static int ssl_cipher_list_to_bytes(SSL *s, STACK_OF(SSL_CIPHER) *sk,
Matt Caswellae2f7b32016-09-05 17:34:04 +010069 WPACKET *pkt);
Bodo Möllerea262262002-08-09 08:56:08 +000070
Matt Caswell61ae9352015-09-11 11:23:20 +010071/*
72 * Is a CertificateRequest message allowed at the moment or not?
73 *
74 * Return values are:
75 * 1: Yes
76 * 0: No
77 */
Matt Caswell7ab09632015-12-23 09:45:02 +000078static ossl_inline int cert_req_allowed(SSL *s)
Matt Caswell61ae9352015-09-11 11:23:20 +010079{
80 /* TLS does not like anon-DH with client cert */
Matt Caswellb7fa1f92015-10-26 23:11:44 +000081 if ((s->version > SSL3_VERSION
Emilia Kaspera230b262016-08-05 19:03:17 +020082 && (s->s3->tmp.new_cipher->algorithm_auth & SSL_aNULL))
83 || (s->s3->tmp.new_cipher->algorithm_auth & (SSL_aSRP | SSL_aPSK)))
Matt Caswell61ae9352015-09-11 11:23:20 +010084 return 0;
85
86 return 1;
87}
88
89/*
Matt Caswella455d0f2015-09-14 15:06:37 +010090 * Should we expect the ServerKeyExchange message or not?
Matt Caswell61ae9352015-09-11 11:23:20 +010091 *
92 * Return values are:
93 * 1: Yes
94 * 0: No
95 */
Matt Caswella455d0f2015-09-14 15:06:37 +010096static int key_exchange_expected(SSL *s)
Matt Caswell61ae9352015-09-11 11:23:20 +010097{
98 long alg_k = s->s3->tmp.new_cipher->algorithm_mkey;
99
100 /*
101 * Can't skip server key exchange if this is an ephemeral
Matt Caswella455d0f2015-09-14 15:06:37 +0100102 * ciphersuite or for SRP
Matt Caswell61ae9352015-09-11 11:23:20 +0100103 */
Matt Caswella455d0f2015-09-14 15:06:37 +0100104 if (alg_k & (SSL_kDHE | SSL_kECDHE | SSL_kDHEPSK | SSL_kECDHEPSK
105 | SSL_kSRP)) {
106 return 1;
Matt Caswell61ae9352015-09-11 11:23:20 +0100107 }
108
Matt Caswella455d0f2015-09-14 15:06:37 +0100109 return 0;
Matt Caswell61ae9352015-09-11 11:23:20 +0100110}
111
112/*
Matt Caswell8481f582015-10-26 11:54:17 +0000113 * ossl_statem_client_read_transition() encapsulates the logic for the allowed
Matt Caswell0f1e51e2016-11-02 15:03:56 +0000114 * handshake state transitions when a TLS1.3 client is reading messages from the
115 * server. The message type that the server has sent is provided in |mt|. The
116 * current state is in |s->statem.hand_state|.
117 *
Matt Caswell94ed2c62016-11-14 14:53:31 +0000118 * Return values are 1 for success (transition allowed) and 0 on error
119 * (transition not allowed)
Matt Caswell0f1e51e2016-11-02 15:03:56 +0000120 */
121static int ossl_statem_client13_read_transition(SSL *s, int mt)
122{
123 OSSL_STATEM *st = &s->statem;
124
125 /*
126 * Note: There is no case for TLS_ST_CW_CLNT_HELLO, because we haven't
127 * yet negotiated TLSv1.3 at that point so that is handled by
128 * ossl_statem_client_read_transition()
129 */
130
131 switch (st->hand_state) {
132 default:
133 break;
134
Matt Caswell3847d422017-02-01 13:31:27 +0000135 case TLS_ST_CW_CLNT_HELLO:
136 /*
137 * This must a ClientHello following a HelloRetryRequest, so the only
138 * thing we can get now is a ServerHello.
139 */
140 if (mt == SSL3_MT_SERVER_HELLO) {
141 st->hand_state = TLS_ST_CR_SRVR_HELLO;
142 return 1;
143 }
144 break;
145
Matt Caswell0f1e51e2016-11-02 15:03:56 +0000146 case TLS_ST_CR_SRVR_HELLO:
Matt Caswelle46f2332016-11-23 15:20:22 +0000147 if (mt == SSL3_MT_ENCRYPTED_EXTENSIONS) {
148 st->hand_state = TLS_ST_CR_ENCRYPTED_EXTENSIONS;
149 return 1;
150 }
151 break;
152
153 case TLS_ST_CR_ENCRYPTED_EXTENSIONS:
Matt Caswell0f1e51e2016-11-02 15:03:56 +0000154 if (s->hit) {
Matt Caswell92760c22016-11-09 14:06:12 +0000155 if (mt == SSL3_MT_FINISHED) {
156 st->hand_state = TLS_ST_CR_FINISHED;
Matt Caswell0f1e51e2016-11-02 15:03:56 +0000157 return 1;
158 }
159 } else {
Matt Caswell92760c22016-11-09 14:06:12 +0000160 if (mt == SSL3_MT_CERTIFICATE_REQUEST) {
161 st->hand_state = TLS_ST_CR_CERT_REQ;
162 return 1;
Matt Caswellf5ca0b02016-11-21 12:10:35 +0000163 }
164 if (mt == SSL3_MT_CERTIFICATE) {
Matt Caswell0f1e51e2016-11-02 15:03:56 +0000165 st->hand_state = TLS_ST_CR_CERT;
166 return 1;
167 }
168 }
169 break;
170
Matt Caswell92760c22016-11-09 14:06:12 +0000171 case TLS_ST_CR_CERT_REQ:
172 if (mt == SSL3_MT_CERTIFICATE) {
173 st->hand_state = TLS_ST_CR_CERT;
174 return 1;
175 }
176 break;
177
Matt Caswell0f1e51e2016-11-02 15:03:56 +0000178 case TLS_ST_CR_CERT:
Matt Caswell2c5dfdc2016-12-05 17:04:51 +0000179 if (mt == SSL3_MT_CERTIFICATE_VERIFY) {
180 st->hand_state = TLS_ST_CR_CERT_VRFY;
181 return 1;
182 }
183 break;
184
185 case TLS_ST_CR_CERT_VRFY:
Matt Caswell0f1e51e2016-11-02 15:03:56 +0000186 if (mt == SSL3_MT_FINISHED) {
187 st->hand_state = TLS_ST_CR_FINISHED;
188 return 1;
189 }
190 break;
Matt Caswellcc2455b2017-01-11 17:18:19 +0000191
192 case TLS_ST_OK:
193 if (mt == SSL3_MT_NEWSESSION_TICKET) {
194 st->hand_state = TLS_ST_CR_SESSION_TICKET;
195 return 1;
196 }
Matt Caswelle1c3de42017-02-09 12:07:31 +0000197 if (mt == SSL3_MT_KEY_UPDATE) {
198 st->hand_state = TLS_ST_CR_KEY_UPDATE;
199 return 1;
200 }
Matt Caswellcc2455b2017-01-11 17:18:19 +0000201 break;
Matt Caswell0f1e51e2016-11-02 15:03:56 +0000202 }
203
Matt Caswell0f1e51e2016-11-02 15:03:56 +0000204 /* No valid transition found */
Matt Caswell0f1e51e2016-11-02 15:03:56 +0000205 return 0;
206}
207
208/*
209 * ossl_statem_client_read_transition() encapsulates the logic for the allowed
Matt Caswell8481f582015-10-26 11:54:17 +0000210 * handshake state transitions when the client is reading messages from the
211 * server. The message type that the server has sent is provided in |mt|. The
212 * current state is in |s->statem.hand_state|.
Matt Caswell61ae9352015-09-11 11:23:20 +0100213 *
Matt Caswell94ed2c62016-11-14 14:53:31 +0000214 * Return values are 1 for success (transition allowed) and 0 on error
215 * (transition not allowed)
Matt Caswell61ae9352015-09-11 11:23:20 +0100216 */
Matt Caswell8481f582015-10-26 11:54:17 +0000217int ossl_statem_client_read_transition(SSL *s, int mt)
Matt Caswell61ae9352015-09-11 11:23:20 +0100218{
Matt Caswelld6f1a6e2015-10-05 10:58:52 +0100219 OSSL_STATEM *st = &s->statem;
Matt Caswella455d0f2015-09-14 15:06:37 +0100220 int ske_expected;
Matt Caswell61ae9352015-09-11 11:23:20 +0100221
Matt Caswell0f1e51e2016-11-02 15:03:56 +0000222 /*
Matt Caswell3847d422017-02-01 13:31:27 +0000223 * Note that after writing the first ClientHello we don't know what version
224 * we are going to negotiate yet, so we don't take this branch until later.
Matt Caswell0f1e51e2016-11-02 15:03:56 +0000225 */
Matt Caswellf5ca0b02016-11-21 12:10:35 +0000226 if (SSL_IS_TLS13(s)) {
Matt Caswell5abeaf32016-11-15 10:30:34 +0000227 if (!ossl_statem_client13_read_transition(s, mt))
228 goto err;
229 return 1;
230 }
Matt Caswell0f1e51e2016-11-02 15:03:56 +0000231
Emilia Kaspera230b262016-08-05 19:03:17 +0200232 switch (st->hand_state) {
Rich Salzf3b3d7f2016-08-30 13:31:18 -0400233 default:
234 break;
235
Matt Caswell61ae9352015-09-11 11:23:20 +0100236 case TLS_ST_CW_CLNT_HELLO:
237 if (mt == SSL3_MT_SERVER_HELLO) {
238 st->hand_state = TLS_ST_CR_SRVR_HELLO;
239 return 1;
240 }
241
242 if (SSL_IS_DTLS(s)) {
243 if (mt == DTLS1_MT_HELLO_VERIFY_REQUEST) {
244 st->hand_state = DTLS_ST_CR_HELLO_VERIFY_REQUEST;
245 return 1;
246 }
Matt Caswell3847d422017-02-01 13:31:27 +0000247 } else {
248 if (mt == SSL3_MT_HELLO_RETRY_REQUEST) {
249 st->hand_state = TLS_ST_CR_HELLO_RETRY_REQUEST;
250 return 1;
251 }
Matt Caswell61ae9352015-09-11 11:23:20 +0100252 }
253 break;
254
Matt Caswelld7f87832017-02-25 15:59:44 +0000255 case TLS_ST_EARLY_DATA:
Matt Caswell4004ce52017-02-25 00:06:49 +0000256 /*
257 * We've not actually selected TLSv1.3 yet, but we have sent early
258 * data. The only thing allowed now is a ServerHello or a
259 * HelloRetryRequest.
260 */
261 if (mt == SSL3_MT_SERVER_HELLO) {
262 st->hand_state = TLS_ST_CR_SRVR_HELLO;
263 return 1;
264 }
265 if (mt == SSL3_MT_HELLO_RETRY_REQUEST) {
266 st->hand_state = TLS_ST_CR_HELLO_RETRY_REQUEST;
267 return 1;
268 }
269 break;
270
Matt Caswell61ae9352015-09-11 11:23:20 +0100271 case TLS_ST_CR_SRVR_HELLO:
272 if (s->hit) {
Rich Salzaff8c122016-12-08 14:18:40 -0500273 if (s->ext.ticket_expected) {
Matt Caswell61ae9352015-09-11 11:23:20 +0100274 if (mt == SSL3_MT_NEWSESSION_TICKET) {
275 st->hand_state = TLS_ST_CR_SESSION_TICKET;
276 return 1;
277 }
278 } else if (mt == SSL3_MT_CHANGE_CIPHER_SPEC) {
279 st->hand_state = TLS_ST_CR_CHANGE;
280 return 1;
281 }
282 } else {
283 if (SSL_IS_DTLS(s) && mt == DTLS1_MT_HELLO_VERIFY_REQUEST) {
284 st->hand_state = DTLS_ST_CR_HELLO_VERIFY_REQUEST;
285 return 1;
Matt Caswellad3819c2015-12-04 10:18:01 +0000286 } else if (s->version >= TLS1_VERSION
Rich Salzaff8c122016-12-08 14:18:40 -0500287 && s->ext.session_secret_cb != NULL
288 && s->session->ext.tick != NULL
Emilia Kaspera230b262016-08-05 19:03:17 +0200289 && mt == SSL3_MT_CHANGE_CIPHER_SPEC) {
Matt Caswellad3819c2015-12-04 10:18:01 +0000290 /*
291 * Normally, we can tell if the server is resuming the session
292 * from the session ID. EAP-FAST (RFC 4851), however, relies on
293 * the next server message after the ServerHello to determine if
294 * the server is resuming.
295 */
296 s->hit = 1;
297 st->hand_state = TLS_ST_CR_CHANGE;
298 return 1;
Matt Caswell61ae9352015-09-11 11:23:20 +0100299 } else if (!(s->s3->tmp.new_cipher->algorithm_auth
Emilia Kaspera230b262016-08-05 19:03:17 +0200300 & (SSL_aNULL | SSL_aSRP | SSL_aPSK))) {
Matt Caswell61ae9352015-09-11 11:23:20 +0100301 if (mt == SSL3_MT_CERTIFICATE) {
302 st->hand_state = TLS_ST_CR_CERT;
303 return 1;
304 }
305 } else {
Matt Caswella455d0f2015-09-14 15:06:37 +0100306 ske_expected = key_exchange_expected(s);
Matt Caswella455d0f2015-09-14 15:06:37 +0100307 /* SKE is optional for some PSK ciphersuites */
308 if (ske_expected
Emilia Kaspera230b262016-08-05 19:03:17 +0200309 || ((s->s3->tmp.new_cipher->algorithm_mkey & SSL_PSK)
310 && mt == SSL3_MT_SERVER_KEY_EXCHANGE)) {
Matt Caswella455d0f2015-09-14 15:06:37 +0100311 if (mt == SSL3_MT_SERVER_KEY_EXCHANGE) {
312 st->hand_state = TLS_ST_CR_KEY_EXCH;
313 return 1;
314 }
315 } else if (mt == SSL3_MT_CERTIFICATE_REQUEST
Emilia Kaspera230b262016-08-05 19:03:17 +0200316 && cert_req_allowed(s)) {
317 st->hand_state = TLS_ST_CR_CERT_REQ;
318 return 1;
Matt Caswella455d0f2015-09-14 15:06:37 +0100319 } else if (mt == SSL3_MT_SERVER_DONE) {
Emilia Kaspera230b262016-08-05 19:03:17 +0200320 st->hand_state = TLS_ST_CR_SRVR_DONE;
321 return 1;
Matt Caswell61ae9352015-09-11 11:23:20 +0100322 }
323 }
324 }
325 break;
326
327 case TLS_ST_CR_CERT:
Matt Caswellbb1aaab2015-11-05 14:31:11 +0000328 /*
329 * The CertificateStatus message is optional even if
Rich Salzaff8c122016-12-08 14:18:40 -0500330 * |ext.status_expected| is set
Matt Caswellbb1aaab2015-11-05 14:31:11 +0000331 */
Rich Salzaff8c122016-12-08 14:18:40 -0500332 if (s->ext.status_expected && mt == SSL3_MT_CERTIFICATE_STATUS) {
Matt Caswellbb1aaab2015-11-05 14:31:11 +0000333 st->hand_state = TLS_ST_CR_CERT_STATUS;
334 return 1;
Matt Caswella455d0f2015-09-14 15:06:37 +0100335 }
336 /* Fall through */
337
338 case TLS_ST_CR_CERT_STATUS:
339 ske_expected = key_exchange_expected(s);
Matt Caswella455d0f2015-09-14 15:06:37 +0100340 /* SKE is optional for some PSK ciphersuites */
Emilia Kaspera230b262016-08-05 19:03:17 +0200341 if (ske_expected || ((s->s3->tmp.new_cipher->algorithm_mkey & SSL_PSK)
342 && mt == SSL3_MT_SERVER_KEY_EXCHANGE)) {
Matt Caswell61ae9352015-09-11 11:23:20 +0100343 if (mt == SSL3_MT_SERVER_KEY_EXCHANGE) {
344 st->hand_state = TLS_ST_CR_KEY_EXCH;
345 return 1;
Matt Caswell61ae9352015-09-11 11:23:20 +0100346 }
Matt Caswell672f3332016-06-22 19:43:46 +0100347 goto err;
Matt Caswell61ae9352015-09-11 11:23:20 +0100348 }
Matt Caswella455d0f2015-09-14 15:06:37 +0100349 /* Fall through */
Matt Caswell61ae9352015-09-11 11:23:20 +0100350
351 case TLS_ST_CR_KEY_EXCH:
Matt Caswella455d0f2015-09-14 15:06:37 +0100352 if (mt == SSL3_MT_CERTIFICATE_REQUEST) {
353 if (cert_req_allowed(s)) {
354 st->hand_state = TLS_ST_CR_CERT_REQ;
355 return 1;
356 }
Matt Caswell672f3332016-06-22 19:43:46 +0100357 goto err;
Matt Caswell61ae9352015-09-11 11:23:20 +0100358 }
Matt Caswella455d0f2015-09-14 15:06:37 +0100359 /* Fall through */
Matt Caswell61ae9352015-09-11 11:23:20 +0100360
361 case TLS_ST_CR_CERT_REQ:
362 if (mt == SSL3_MT_SERVER_DONE) {
363 st->hand_state = TLS_ST_CR_SRVR_DONE;
364 return 1;
365 }
366 break;
367
368 case TLS_ST_CW_FINISHED:
Rich Salzaff8c122016-12-08 14:18:40 -0500369 if (s->ext.ticket_expected) {
David Benjaminc45d6b22016-03-05 19:35:52 -0500370 if (mt == SSL3_MT_NEWSESSION_TICKET) {
371 st->hand_state = TLS_ST_CR_SESSION_TICKET;
372 return 1;
373 }
Matt Caswell61ae9352015-09-11 11:23:20 +0100374 } else if (mt == SSL3_MT_CHANGE_CIPHER_SPEC) {
375 st->hand_state = TLS_ST_CR_CHANGE;
376 return 1;
377 }
378 break;
379
380 case TLS_ST_CR_SESSION_TICKET:
381 if (mt == SSL3_MT_CHANGE_CIPHER_SPEC) {
382 st->hand_state = TLS_ST_CR_CHANGE;
383 return 1;
384 }
385 break;
386
387 case TLS_ST_CR_CHANGE:
388 if (mt == SSL3_MT_FINISHED) {
389 st->hand_state = TLS_ST_CR_FINISHED;
390 return 1;
391 }
392 break;
Matt Caswellc7f47782017-01-10 23:02:28 +0000393
394 case TLS_ST_OK:
Matt Caswell4004ce52017-02-25 00:06:49 +0000395 if (mt == SSL3_MT_HELLO_REQUEST) {
Matt Caswellc7f47782017-01-10 23:02:28 +0000396 st->hand_state = TLS_ST_CR_HELLO_REQ;
397 return 1;
398 }
399 break;
Matt Caswell61ae9352015-09-11 11:23:20 +0100400 }
401
Matt Caswell672f3332016-06-22 19:43:46 +0100402 err:
Matt Caswell61ae9352015-09-11 11:23:20 +0100403 /* No valid transition found */
Matt Caswell672f3332016-06-22 19:43:46 +0100404 ssl3_send_alert(s, SSL3_AL_FATAL, SSL3_AD_UNEXPECTED_MESSAGE);
Richard Levitte340a2822016-07-19 11:50:31 +0200405 SSLerr(SSL_F_OSSL_STATEM_CLIENT_READ_TRANSITION, SSL_R_UNEXPECTED_MESSAGE);
Matt Caswell61ae9352015-09-11 11:23:20 +0100406 return 0;
407}
408
409/*
Matt Caswell0f1e51e2016-11-02 15:03:56 +0000410 * ossl_statem_client13_write_transition() works out what handshake state to
411 * move to next when the TLSv1.3 client is writing messages to be sent to the
412 * server.
Matt Caswell0f1e51e2016-11-02 15:03:56 +0000413 */
414static WRITE_TRAN ossl_statem_client13_write_transition(SSL *s)
415{
416 OSSL_STATEM *st = &s->statem;
417
418 /*
Matt Caswell3847d422017-02-01 13:31:27 +0000419 * Note: There are no cases for TLS_ST_BEFORE because we haven't negotiated
420 * TLSv1.3 yet at that point. They are handled by
421 * ossl_statem_client_write_transition().
Matt Caswell0f1e51e2016-11-02 15:03:56 +0000422 */
423 switch (st->hand_state) {
424 default:
425 /* Shouldn't happen */
426 return WRITE_TRAN_ERROR;
427
Matt Caswell3847d422017-02-01 13:31:27 +0000428 case TLS_ST_CW_CLNT_HELLO:
429 /* We only hit this in the case of HelloRetryRequest */
430 return WRITE_TRAN_FINISHED;
431
432 case TLS_ST_CR_HELLO_RETRY_REQUEST:
433 st->hand_state = TLS_ST_CW_CLNT_HELLO;
434 return WRITE_TRAN_CONTINUE;
435
Matt Caswell92760c22016-11-09 14:06:12 +0000436 case TLS_ST_CR_FINISHED:
Matt Caswellef6c1912017-03-09 15:03:07 +0000437 if (s->early_data_state == SSL_EARLY_DATA_WRITE_RETRY
438 || s->early_data_state == SSL_EARLY_DATA_FINISHED_WRITING)
Matt Caswelld7f87832017-02-25 15:59:44 +0000439 st->hand_state = TLS_ST_PENDING_EARLY_DATA_END;
Matt Caswell564547e2017-02-25 15:34:07 +0000440 else
441 st->hand_state = (s->s3->tmp.cert_req != 0) ? TLS_ST_CW_CERT
442 : TLS_ST_CW_FINISHED;
443 return WRITE_TRAN_CONTINUE;
444
Matt Caswelld7f87832017-02-25 15:59:44 +0000445 case TLS_ST_PENDING_EARLY_DATA_END:
Matt Caswellef6c1912017-03-09 15:03:07 +0000446 if (s->ext.early_data == SSL_EARLY_DATA_ACCEPTED) {
447 st->hand_state = TLS_ST_CW_END_OF_EARLY_DATA;
448 return WRITE_TRAN_CONTINUE;
449 }
450 /* Fall through */
451
452 case TLS_ST_CW_END_OF_EARLY_DATA:
Matt Caswell94ed2c62016-11-14 14:53:31 +0000453 st->hand_state = (s->s3->tmp.cert_req != 0) ? TLS_ST_CW_CERT
Matt Caswell92760c22016-11-09 14:06:12 +0000454 : TLS_ST_CW_FINISHED;
Matt Caswell0f1e51e2016-11-02 15:03:56 +0000455 return WRITE_TRAN_CONTINUE;
456
457 case TLS_ST_CW_CERT:
458 /* If a non-empty Certificate we also send CertificateVerify */
Matt Caswell94ed2c62016-11-14 14:53:31 +0000459 st->hand_state = (s->s3->tmp.cert_req == 1) ? TLS_ST_CW_CERT_VRFY
Matt Caswell92760c22016-11-09 14:06:12 +0000460 : TLS_ST_CW_FINISHED;
Matt Caswell0f1e51e2016-11-02 15:03:56 +0000461 return WRITE_TRAN_CONTINUE;
462
463 case TLS_ST_CW_CERT_VRFY:
Matt Caswell0f1e51e2016-11-02 15:03:56 +0000464 st->hand_state = TLS_ST_CW_FINISHED;
465 return WRITE_TRAN_CONTINUE;
466
Matt Caswelle1c3de42017-02-09 12:07:31 +0000467 case TLS_ST_CR_KEY_UPDATE:
Matt Caswell5bf47932017-02-09 16:00:12 +0000468 if (s->key_update != SSL_KEY_UPDATE_NONE) {
469 st->hand_state = TLS_ST_CW_KEY_UPDATE;
470 return WRITE_TRAN_CONTINUE;
471 }
472 /* Fall through */
473
Matt Caswell9412b3a2017-02-09 13:12:00 +0000474 case TLS_ST_CW_KEY_UPDATE:
Matt Caswellcc2455b2017-01-11 17:18:19 +0000475 case TLS_ST_CR_SESSION_TICKET:
Matt Caswell0f1e51e2016-11-02 15:03:56 +0000476 case TLS_ST_CW_FINISHED:
Matt Caswell94ed2c62016-11-14 14:53:31 +0000477 st->hand_state = TLS_ST_OK;
Matt Caswell94ed2c62016-11-14 14:53:31 +0000478 return WRITE_TRAN_CONTINUE;
Matt Caswellcc2455b2017-01-11 17:18:19 +0000479
480 case TLS_ST_OK:
Matt Caswell9412b3a2017-02-09 13:12:00 +0000481 if (s->key_update != SSL_KEY_UPDATE_NONE) {
482 st->hand_state = TLS_ST_CW_KEY_UPDATE;
483 return WRITE_TRAN_CONTINUE;
484 }
485
486 /* Try to read from the server instead */
Matt Caswellcc2455b2017-01-11 17:18:19 +0000487 return WRITE_TRAN_FINISHED;
Matt Caswell0f1e51e2016-11-02 15:03:56 +0000488 }
489}
490
491/*
492 * ossl_statem_client_write_transition() works out what handshake state to
493 * move to next when the client is writing messages to be sent to the server.
Matt Caswell61ae9352015-09-11 11:23:20 +0100494 */
Matt Caswell8481f582015-10-26 11:54:17 +0000495WRITE_TRAN ossl_statem_client_write_transition(SSL *s)
Matt Caswell61ae9352015-09-11 11:23:20 +0100496{
Matt Caswelld6f1a6e2015-10-05 10:58:52 +0100497 OSSL_STATEM *st = &s->statem;
Matt Caswell61ae9352015-09-11 11:23:20 +0100498
Matt Caswell0f1e51e2016-11-02 15:03:56 +0000499 /*
500 * Note that immediately before/after a ClientHello we don't know what
501 * version we are going to negotiate yet, so we don't take this branch until
502 * later
503 */
Matt Caswellf5ca0b02016-11-21 12:10:35 +0000504 if (SSL_IS_TLS13(s))
Matt Caswell0f1e51e2016-11-02 15:03:56 +0000505 return ossl_statem_client13_write_transition(s);
506
Emilia Kaspera230b262016-08-05 19:03:17 +0200507 switch (st->hand_state) {
Rich Salzf3b3d7f2016-08-30 13:31:18 -0400508 default:
509 /* Shouldn't happen */
510 return WRITE_TRAN_ERROR;
511
Emilia Kaspera230b262016-08-05 19:03:17 +0200512 case TLS_ST_OK:
Matt Caswellc7f47782017-01-10 23:02:28 +0000513 if (!s->renegotiate) {
514 /*
515 * We haven't requested a renegotiation ourselves so we must have
516 * received a message from the server. Better read it.
517 */
518 return WRITE_TRAN_FINISHED;
519 }
Bernd Edlinger018fcbe2017-05-11 16:21:37 +0200520 /* Renegotiation */
521 /* fall thru */
Emilia Kaspera230b262016-08-05 19:03:17 +0200522 case TLS_ST_BEFORE:
523 st->hand_state = TLS_ST_CW_CLNT_HELLO;
524 return WRITE_TRAN_CONTINUE;
Matt Caswell61ae9352015-09-11 11:23:20 +0100525
Emilia Kaspera230b262016-08-05 19:03:17 +0200526 case TLS_ST_CW_CLNT_HELLO:
Matt Caswell49e7fe12017-02-21 09:22:22 +0000527 if (s->early_data_state == SSL_EARLY_DATA_CONNECTING) {
528 /*
529 * We are assuming this is a TLSv1.3 connection, although we haven't
530 * actually selected a version yet.
531 */
Matt Caswelld7f87832017-02-25 15:59:44 +0000532 st->hand_state = TLS_ST_EARLY_DATA;
Matt Caswell49e7fe12017-02-21 09:22:22 +0000533 return WRITE_TRAN_CONTINUE;
534 }
Emilia Kaspera230b262016-08-05 19:03:17 +0200535 /*
536 * No transition at the end of writing because we don't know what
537 * we will be sent
538 */
539 return WRITE_TRAN_FINISHED;
Matt Caswell61ae9352015-09-11 11:23:20 +0100540
Matt Caswelld7f87832017-02-25 15:59:44 +0000541 case TLS_ST_EARLY_DATA:
Matt Caswell4004ce52017-02-25 00:06:49 +0000542 return WRITE_TRAN_FINISHED;
543
Emilia Kaspera230b262016-08-05 19:03:17 +0200544 case DTLS_ST_CR_HELLO_VERIFY_REQUEST:
545 st->hand_state = TLS_ST_CW_CLNT_HELLO;
546 return WRITE_TRAN_CONTINUE;
Matt Caswell61ae9352015-09-11 11:23:20 +0100547
Emilia Kaspera230b262016-08-05 19:03:17 +0200548 case TLS_ST_CR_SRVR_DONE:
549 if (s->s3->tmp.cert_req)
550 st->hand_state = TLS_ST_CW_CERT;
551 else
Matt Caswell61ae9352015-09-11 11:23:20 +0100552 st->hand_state = TLS_ST_CW_KEY_EXCH;
Emilia Kaspera230b262016-08-05 19:03:17 +0200553 return WRITE_TRAN_CONTINUE;
Matt Caswell61ae9352015-09-11 11:23:20 +0100554
Emilia Kaspera230b262016-08-05 19:03:17 +0200555 case TLS_ST_CW_CERT:
556 st->hand_state = TLS_ST_CW_KEY_EXCH;
557 return WRITE_TRAN_CONTINUE;
Matt Caswell61ae9352015-09-11 11:23:20 +0100558
Emilia Kaspera230b262016-08-05 19:03:17 +0200559 case TLS_ST_CW_KEY_EXCH:
560 /*
561 * For TLS, cert_req is set to 2, so a cert chain of nothing is
562 * sent, but no verify packet is sent
563 */
564 /*
565 * XXX: For now, we do not support client authentication in ECDH
566 * cipher suites with ECDH (rather than ECDSA) certificates. We
567 * need to skip the certificate verify message when client's
568 * ECDH public key is sent inside the client certificate.
569 */
570 if (s->s3->tmp.cert_req == 1) {
571 st->hand_state = TLS_ST_CW_CERT_VRFY;
572 } else {
Matt Caswell61ae9352015-09-11 11:23:20 +0100573 st->hand_state = TLS_ST_CW_CHANGE;
Emilia Kaspera230b262016-08-05 19:03:17 +0200574 }
575 if (s->s3->flags & TLS1_FLAGS_SKIP_CERT_VERIFY) {
576 st->hand_state = TLS_ST_CW_CHANGE;
577 }
578 return WRITE_TRAN_CONTINUE;
Matt Caswell61ae9352015-09-11 11:23:20 +0100579
Emilia Kaspera230b262016-08-05 19:03:17 +0200580 case TLS_ST_CW_CERT_VRFY:
581 st->hand_state = TLS_ST_CW_CHANGE;
582 return WRITE_TRAN_CONTINUE;
583
584 case TLS_ST_CW_CHANGE:
Matt Caswell61ae9352015-09-11 11:23:20 +0100585#if defined(OPENSSL_NO_NEXTPROTONEG)
Matt Caswell4004ce52017-02-25 00:06:49 +0000586 st->
587 hand_state = TLS_ST_CW_FINISHED;
Matt Caswell61ae9352015-09-11 11:23:20 +0100588#else
Rich Salzaff8c122016-12-08 14:18:40 -0500589 if (!SSL_IS_DTLS(s) && s->s3->npn_seen)
Emilia Kaspera230b262016-08-05 19:03:17 +0200590 st->hand_state = TLS_ST_CW_NEXT_PROTO;
591 else
592 st->hand_state = TLS_ST_CW_FINISHED;
Matt Caswell61ae9352015-09-11 11:23:20 +0100593#endif
Emilia Kaspera230b262016-08-05 19:03:17 +0200594 return WRITE_TRAN_CONTINUE;
Matt Caswell61ae9352015-09-11 11:23:20 +0100595
596#if !defined(OPENSSL_NO_NEXTPROTONEG)
Emilia Kaspera230b262016-08-05 19:03:17 +0200597 case TLS_ST_CW_NEXT_PROTO:
598 st->hand_state = TLS_ST_CW_FINISHED;
599 return WRITE_TRAN_CONTINUE;
Matt Caswell61ae9352015-09-11 11:23:20 +0100600#endif
601
Emilia Kaspera230b262016-08-05 19:03:17 +0200602 case TLS_ST_CW_FINISHED:
603 if (s->hit) {
604 st->hand_state = TLS_ST_OK;
Emilia Kaspera230b262016-08-05 19:03:17 +0200605 return WRITE_TRAN_CONTINUE;
606 } else {
607 return WRITE_TRAN_FINISHED;
608 }
Matt Caswell61ae9352015-09-11 11:23:20 +0100609
Emilia Kaspera230b262016-08-05 19:03:17 +0200610 case TLS_ST_CR_FINISHED:
611 if (s->hit) {
612 st->hand_state = TLS_ST_CW_CHANGE;
613 return WRITE_TRAN_CONTINUE;
614 } else {
615 st->hand_state = TLS_ST_OK;
Emilia Kaspera230b262016-08-05 19:03:17 +0200616 return WRITE_TRAN_CONTINUE;
617 }
Matt Caswellc7f47782017-01-10 23:02:28 +0000618
619 case TLS_ST_CR_HELLO_REQ:
620 /*
621 * If we can renegotiate now then do so, otherwise wait for a more
622 * convenient time.
623 */
624 if (ssl3_renegotiate_check(s, 1)) {
625 if (!tls_setup_handshake(s)) {
626 ossl_statem_set_error(s);
627 return WRITE_TRAN_ERROR;
628 }
629 st->hand_state = TLS_ST_CW_CLNT_HELLO;
630 return WRITE_TRAN_CONTINUE;
631 }
632 st->hand_state = TLS_ST_OK;
Matt Caswellc7f47782017-01-10 23:02:28 +0000633 return WRITE_TRAN_CONTINUE;
Matt Caswell61ae9352015-09-11 11:23:20 +0100634 }
635}
636
637/*
638 * Perform any pre work that needs to be done prior to sending a message from
639 * the client to the server.
640 */
Matt Caswell8481f582015-10-26 11:54:17 +0000641WORK_STATE ossl_statem_client_pre_work(SSL *s, WORK_STATE wst)
Matt Caswell61ae9352015-09-11 11:23:20 +0100642{
Matt Caswelld6f1a6e2015-10-05 10:58:52 +0100643 OSSL_STATEM *st = &s->statem;
Matt Caswell61ae9352015-09-11 11:23:20 +0100644
Emilia Kaspera230b262016-08-05 19:03:17 +0200645 switch (st->hand_state) {
Rich Salzf3b3d7f2016-08-30 13:31:18 -0400646 default:
647 /* No pre work to be done */
648 break;
649
Matt Caswell61ae9352015-09-11 11:23:20 +0100650 case TLS_ST_CW_CLNT_HELLO:
651 s->shutdown = 0;
652 if (SSL_IS_DTLS(s)) {
653 /* every DTLS ClientHello resets Finished MAC */
Matt Caswell2c4a0562016-06-03 11:59:19 +0100654 if (!ssl3_init_finished_mac(s)) {
655 ossl_statem_set_error(s);
656 return WORK_ERROR;
657 }
Matt Caswell61ae9352015-09-11 11:23:20 +0100658 }
659 break;
660
Matt Caswell61ae9352015-09-11 11:23:20 +0100661 case TLS_ST_CW_CHANGE:
662 if (SSL_IS_DTLS(s)) {
663 if (s->hit) {
664 /*
665 * We're into the last flight so we don't retransmit these
666 * messages unless we need to.
667 */
668 st->use_timer = 0;
669 }
670#ifndef OPENSSL_NO_SCTP
671 if (BIO_dgram_is_sctp(SSL_get_wbio(s)))
672 return dtls_wait_for_dry(s);
673#endif
674 }
Rich Salzf3b3d7f2016-08-30 13:31:18 -0400675 break;
Matt Caswell61ae9352015-09-11 11:23:20 +0100676
Matt Caswelld7f87832017-02-25 15:59:44 +0000677 case TLS_ST_PENDING_EARLY_DATA_END:
Matt Caswellef6c1912017-03-09 15:03:07 +0000678 /*
679 * If we've been called by SSL_do_handshake()/SSL_write(), or we did not
680 * attempt to write early data before calling SSL_read() then we press
681 * on with the handshake. Otherwise we pause here.
682 */
683 if (s->early_data_state == SSL_EARLY_DATA_FINISHED_WRITING
684 || s->early_data_state == SSL_EARLY_DATA_NONE)
685 return WORK_FINISHED_CONTINUE;
686 /* Fall through */
687
688 case TLS_ST_EARLY_DATA:
Matt Caswell61ae9352015-09-11 11:23:20 +0100689 case TLS_ST_OK:
Matt Caswell30f05b12017-01-13 09:19:10 +0000690 return tls_finish_handshake(s, wst, 1);
Matt Caswell61ae9352015-09-11 11:23:20 +0100691 }
692
693 return WORK_FINISHED_CONTINUE;
694}
695
696/*
697 * Perform any work that needs to be done after sending a message from the
698 * client to the server.
699 */
Matt Caswell8481f582015-10-26 11:54:17 +0000700WORK_STATE ossl_statem_client_post_work(SSL *s, WORK_STATE wst)
Matt Caswell61ae9352015-09-11 11:23:20 +0100701{
Matt Caswelld6f1a6e2015-10-05 10:58:52 +0100702 OSSL_STATEM *st = &s->statem;
Matt Caswell61ae9352015-09-11 11:23:20 +0100703
704 s->init_num = 0;
705
Emilia Kaspera230b262016-08-05 19:03:17 +0200706 switch (st->hand_state) {
Rich Salzf3b3d7f2016-08-30 13:31:18 -0400707 default:
708 /* No post work to be done */
709 break;
710
Matt Caswell61ae9352015-09-11 11:23:20 +0100711 case TLS_ST_CW_CLNT_HELLO:
Matt Caswell46417562016-05-17 12:28:14 +0100712 if (wst == WORK_MORE_A && statem_flush(s) != 1)
Matt Caswell61ae9352015-09-11 11:23:20 +0100713 return WORK_MORE_A;
Matt Caswell46417562016-05-17 12:28:14 +0100714
Matt Caswell61ae9352015-09-11 11:23:20 +0100715 if (SSL_IS_DTLS(s)) {
716 /* Treat the next message as the first packet */
717 s->first_packet = 1;
718 }
Matt Caswell6cb42262017-02-21 16:40:16 +0000719
720 if (s->early_data_state == SSL_EARLY_DATA_CONNECTING
721 && s->max_early_data > 0) {
722 /*
723 * We haven't selected TLSv1.3 yet so we don't call the change
724 * cipher state function associated with the SSL_METHOD. Instead
725 * we call tls13_change_cipher_state() directly.
726 */
727 if (!tls13_change_cipher_state(s,
728 SSL3_CC_EARLY | SSL3_CHANGE_CIPHER_CLIENT_WRITE))
Matt Caswell1ea4d092017-02-22 13:01:48 +0000729 return WORK_ERROR;
Matt Caswell6cb42262017-02-21 16:40:16 +0000730 }
Matt Caswell61ae9352015-09-11 11:23:20 +0100731 break;
732
Matt Caswellef6c1912017-03-09 15:03:07 +0000733 case TLS_ST_CW_END_OF_EARLY_DATA:
734 /*
735 * We set the enc_write_ctx back to NULL because we may end up writing
736 * in cleartext again if we get a HelloRetryRequest from the server.
737 */
738 EVP_CIPHER_CTX_free(s->enc_write_ctx);
739 s->enc_write_ctx = NULL;
740 break;
741
Matt Caswell61ae9352015-09-11 11:23:20 +0100742 case TLS_ST_CW_KEY_EXCH:
743 if (tls_client_key_exchange_post_work(s) == 0)
744 return WORK_ERROR;
745 break;
746
747 case TLS_ST_CW_CHANGE:
748 s->session->cipher = s->s3->tmp.new_cipher;
749#ifdef OPENSSL_NO_COMP
750 s->session->compress_meth = 0;
751#else
752 if (s->s3->tmp.new_compression == NULL)
753 s->session->compress_meth = 0;
754 else
755 s->session->compress_meth = s->s3->tmp.new_compression->id;
756#endif
757 if (!s->method->ssl3_enc->setup_key_block(s))
758 return WORK_ERROR;
759
760 if (!s->method->ssl3_enc->change_cipher_state(s,
761 SSL3_CHANGE_CIPHER_CLIENT_WRITE))
762 return WORK_ERROR;
763
764 if (SSL_IS_DTLS(s)) {
765#ifndef OPENSSL_NO_SCTP
766 if (s->hit) {
767 /*
768 * Change to new shared key of SCTP-Auth, will be ignored if
769 * no SCTP used.
770 */
771 BIO_ctrl(SSL_get_wbio(s), BIO_CTRL_DGRAM_SCTP_NEXT_AUTH_KEY,
772 0, NULL);
773 }
774#endif
775
776 dtls1_reset_seq_numbers(s, SSL3_CC_WRITE);
777 }
778 break;
779
780 case TLS_ST_CW_FINISHED:
781#ifndef OPENSSL_NO_SCTP
782 if (wst == WORK_MORE_A && SSL_IS_DTLS(s) && s->hit == 0) {
783 /*
784 * Change to new shared key of SCTP-Auth, will be ignored if
785 * no SCTP used.
786 */
787 BIO_ctrl(SSL_get_wbio(s), BIO_CTRL_DGRAM_SCTP_NEXT_AUTH_KEY,
788 0, NULL);
789 }
790#endif
791 if (statem_flush(s) != 1)
792 return WORK_MORE_B;
Matt Caswell92760c22016-11-09 14:06:12 +0000793
794 if (SSL_IS_TLS13(s)) {
795 if (!s->method->ssl3_enc->change_cipher_state(s,
796 SSL3_CC_APPLICATION | SSL3_CHANGE_CIPHER_CLIENT_WRITE))
797 return WORK_ERROR;
798 }
Matt Caswell61ae9352015-09-11 11:23:20 +0100799 break;
Matt Caswell9412b3a2017-02-09 13:12:00 +0000800
801 case TLS_ST_CW_KEY_UPDATE:
802 if (statem_flush(s) != 1)
803 return WORK_MORE_A;
Matt Caswell57389a32017-02-10 17:43:09 +0000804 if (!tls13_update_key(s, 1))
805 return WORK_ERROR;
Matt Caswell9412b3a2017-02-09 13:12:00 +0000806 break;
Matt Caswell61ae9352015-09-11 11:23:20 +0100807 }
808
809 return WORK_FINISHED_CONTINUE;
810}
811
812/*
Matt Caswell6392fb82016-09-30 11:17:57 +0100813 * Get the message construction function and message type for sending from the
814 * client
Matt Caswell61ae9352015-09-11 11:23:20 +0100815 *
816 * Valid return values are:
817 * 1: Success
818 * 0: Error
819 */
Matt Caswell6392fb82016-09-30 11:17:57 +0100820int ossl_statem_client_construct_message(SSL *s, WPACKET *pkt,
Matt Caswella15c9532016-10-03 15:35:17 +0100821 confunc_f *confunc, int *mt)
Matt Caswell61ae9352015-09-11 11:23:20 +0100822{
Matt Caswelld6f1a6e2015-10-05 10:58:52 +0100823 OSSL_STATEM *st = &s->statem;
Matt Caswell61ae9352015-09-11 11:23:20 +0100824
Matt Caswell4a01c592016-09-30 10:38:32 +0100825 switch (st->hand_state) {
826 default:
827 /* Shouldn't happen */
828 return 0;
829
830 case TLS_ST_CW_CHANGE:
Matt Caswell61ae9352015-09-11 11:23:20 +0100831 if (SSL_IS_DTLS(s))
Matt Caswell6392fb82016-09-30 11:17:57 +0100832 *confunc = dtls_construct_change_cipher_spec;
Matt Caswell4a01c592016-09-30 10:38:32 +0100833 else
Matt Caswell6392fb82016-09-30 11:17:57 +0100834 *confunc = tls_construct_change_cipher_spec;
835 *mt = SSL3_MT_CHANGE_CIPHER_SPEC;
Matt Caswell4a01c592016-09-30 10:38:32 +0100836 break;
Matt Caswell5923ad42016-09-30 00:27:40 +0100837
Matt Caswell4a01c592016-09-30 10:38:32 +0100838 case TLS_ST_CW_CLNT_HELLO:
Matt Caswell6392fb82016-09-30 11:17:57 +0100839 *confunc = tls_construct_client_hello;
840 *mt = SSL3_MT_CLIENT_HELLO;
Matt Caswell4a01c592016-09-30 10:38:32 +0100841 break;
Matt Caswell5923ad42016-09-30 00:27:40 +0100842
Matt Caswellef6c1912017-03-09 15:03:07 +0000843 case TLS_ST_CW_END_OF_EARLY_DATA:
844 *confunc = tls_construct_end_of_early_data;
845 *mt = SSL3_MT_END_OF_EARLY_DATA;
846 break;
847
848 case TLS_ST_PENDING_EARLY_DATA_END:
849 *confunc = NULL;
850 *mt = SSL3_MT_DUMMY;
851 break;
852
Matt Caswell4a01c592016-09-30 10:38:32 +0100853 case TLS_ST_CW_CERT:
Matt Caswell6392fb82016-09-30 11:17:57 +0100854 *confunc = tls_construct_client_certificate;
855 *mt = SSL3_MT_CERTIFICATE;
Matt Caswell4a01c592016-09-30 10:38:32 +0100856 break;
Matt Caswell5923ad42016-09-30 00:27:40 +0100857
Matt Caswell4a01c592016-09-30 10:38:32 +0100858 case TLS_ST_CW_KEY_EXCH:
Matt Caswell6392fb82016-09-30 11:17:57 +0100859 *confunc = tls_construct_client_key_exchange;
860 *mt = SSL3_MT_CLIENT_KEY_EXCHANGE;
Matt Caswell4a01c592016-09-30 10:38:32 +0100861 break;
Matt Caswell5923ad42016-09-30 00:27:40 +0100862
Matt Caswell4a01c592016-09-30 10:38:32 +0100863 case TLS_ST_CW_CERT_VRFY:
Matt Caswelld8bc1392016-12-05 14:59:25 +0000864 *confunc = tls_construct_cert_verify;
Matt Caswell6392fb82016-09-30 11:17:57 +0100865 *mt = SSL3_MT_CERTIFICATE_VERIFY;
Matt Caswell4a01c592016-09-30 10:38:32 +0100866 break;
Matt Caswell61ae9352015-09-11 11:23:20 +0100867
868#if !defined(OPENSSL_NO_NEXTPROTONEG)
Matt Caswell4a01c592016-09-30 10:38:32 +0100869 case TLS_ST_CW_NEXT_PROTO:
Matt Caswell6392fb82016-09-30 11:17:57 +0100870 *confunc = tls_construct_next_proto;
871 *mt = SSL3_MT_NEXT_PROTO;
Matt Caswell4a01c592016-09-30 10:38:32 +0100872 break;
Matt Caswell61ae9352015-09-11 11:23:20 +0100873#endif
Matt Caswell4a01c592016-09-30 10:38:32 +0100874 case TLS_ST_CW_FINISHED:
Matt Caswell6392fb82016-09-30 11:17:57 +0100875 *confunc = tls_construct_finished;
876 *mt = SSL3_MT_FINISHED;
Matt Caswell4a01c592016-09-30 10:38:32 +0100877 break;
Matt Caswell9412b3a2017-02-09 13:12:00 +0000878
879 case TLS_ST_CW_KEY_UPDATE:
880 *confunc = tls_construct_key_update;
881 *mt = SSL3_MT_KEY_UPDATE;
882 break;
Matt Caswell4a01c592016-09-30 10:38:32 +0100883 }
Matt Caswell5923ad42016-09-30 00:27:40 +0100884
Matt Caswell5923ad42016-09-30 00:27:40 +0100885 return 1;
Matt Caswell61ae9352015-09-11 11:23:20 +0100886}
887
888/*
889 * Returns the maximum allowed length for the current message that we are
890 * reading. Excludes the message header.
891 */
Matt Caswelleda75752016-09-06 12:05:25 +0100892size_t ossl_statem_client_max_message_size(SSL *s)
Matt Caswell61ae9352015-09-11 11:23:20 +0100893{
Matt Caswelld6f1a6e2015-10-05 10:58:52 +0100894 OSSL_STATEM *st = &s->statem;
Matt Caswell61ae9352015-09-11 11:23:20 +0100895
Emilia Kaspera230b262016-08-05 19:03:17 +0200896 switch (st->hand_state) {
Rich Salzf3b3d7f2016-08-30 13:31:18 -0400897 default:
898 /* Shouldn't happen */
899 return 0;
900
Emilia Kaspera230b262016-08-05 19:03:17 +0200901 case TLS_ST_CR_SRVR_HELLO:
902 return SERVER_HELLO_MAX_LENGTH;
Matt Caswell61ae9352015-09-11 11:23:20 +0100903
Emilia Kaspera230b262016-08-05 19:03:17 +0200904 case DTLS_ST_CR_HELLO_VERIFY_REQUEST:
905 return HELLO_VERIFY_REQUEST_MAX_LENGTH;
Matt Caswell61ae9352015-09-11 11:23:20 +0100906
Matt Caswell3847d422017-02-01 13:31:27 +0000907 case TLS_ST_CR_HELLO_RETRY_REQUEST:
908 return HELLO_RETRY_REQUEST_MAX_LENGTH;
909
Emilia Kaspera230b262016-08-05 19:03:17 +0200910 case TLS_ST_CR_CERT:
911 return s->max_cert_list;
Matt Caswell61ae9352015-09-11 11:23:20 +0100912
Matt Caswell2c5dfdc2016-12-05 17:04:51 +0000913 case TLS_ST_CR_CERT_VRFY:
914 return SSL3_RT_MAX_PLAIN_LENGTH;
915
Emilia Kaspera230b262016-08-05 19:03:17 +0200916 case TLS_ST_CR_CERT_STATUS:
917 return SSL3_RT_MAX_PLAIN_LENGTH;
Matt Caswell61ae9352015-09-11 11:23:20 +0100918
Emilia Kaspera230b262016-08-05 19:03:17 +0200919 case TLS_ST_CR_KEY_EXCH:
920 return SERVER_KEY_EXCH_MAX_LENGTH;
Matt Caswell61ae9352015-09-11 11:23:20 +0100921
Emilia Kaspera230b262016-08-05 19:03:17 +0200922 case TLS_ST_CR_CERT_REQ:
923 /*
924 * Set to s->max_cert_list for compatibility with previous releases. In
925 * practice these messages can get quite long if servers are configured
926 * to provide a long list of acceptable CAs
927 */
928 return s->max_cert_list;
Matt Caswell61ae9352015-09-11 11:23:20 +0100929
Emilia Kaspera230b262016-08-05 19:03:17 +0200930 case TLS_ST_CR_SRVR_DONE:
931 return SERVER_HELLO_DONE_MAX_LENGTH;
Matt Caswell61ae9352015-09-11 11:23:20 +0100932
Emilia Kaspera230b262016-08-05 19:03:17 +0200933 case TLS_ST_CR_CHANGE:
934 if (s->version == DTLS1_BAD_VER)
935 return 3;
936 return CCS_MAX_LENGTH;
Matt Caswell61ae9352015-09-11 11:23:20 +0100937
Emilia Kaspera230b262016-08-05 19:03:17 +0200938 case TLS_ST_CR_SESSION_TICKET:
939 return SSL3_RT_MAX_PLAIN_LENGTH;
Matt Caswell61ae9352015-09-11 11:23:20 +0100940
Emilia Kaspera230b262016-08-05 19:03:17 +0200941 case TLS_ST_CR_FINISHED:
942 return FINISHED_MAX_LENGTH;
Matt Caswelle46f2332016-11-23 15:20:22 +0000943
944 case TLS_ST_CR_ENCRYPTED_EXTENSIONS:
945 return ENCRYPTED_EXTENSIONS_MAX_LENGTH;
Matt Caswelle1c3de42017-02-09 12:07:31 +0000946
947 case TLS_ST_CR_KEY_UPDATE:
948 return KEY_UPDATE_MAX_LENGTH;
Matt Caswell61ae9352015-09-11 11:23:20 +0100949 }
Matt Caswell61ae9352015-09-11 11:23:20 +0100950}
951
952/*
953 * Process a message that the client has been received from the server.
954 */
Matt Caswell8481f582015-10-26 11:54:17 +0000955MSG_PROCESS_RETURN ossl_statem_client_process_message(SSL *s, PACKET *pkt)
Matt Caswell61ae9352015-09-11 11:23:20 +0100956{
Matt Caswelld6f1a6e2015-10-05 10:58:52 +0100957 OSSL_STATEM *st = &s->statem;
Matt Caswell61ae9352015-09-11 11:23:20 +0100958
Emilia Kaspera230b262016-08-05 19:03:17 +0200959 switch (st->hand_state) {
Rich Salzf3b3d7f2016-08-30 13:31:18 -0400960 default:
961 /* Shouldn't happen */
962 return MSG_PROCESS_ERROR;
963
Emilia Kaspera230b262016-08-05 19:03:17 +0200964 case TLS_ST_CR_SRVR_HELLO:
965 return tls_process_server_hello(s, pkt);
Matt Caswell61ae9352015-09-11 11:23:20 +0100966
Emilia Kaspera230b262016-08-05 19:03:17 +0200967 case DTLS_ST_CR_HELLO_VERIFY_REQUEST:
968 return dtls_process_hello_verify(s, pkt);
Matt Caswell61ae9352015-09-11 11:23:20 +0100969
Matt Caswell3847d422017-02-01 13:31:27 +0000970 case TLS_ST_CR_HELLO_RETRY_REQUEST:
971 return tls_process_hello_retry_request(s, pkt);
972
Emilia Kaspera230b262016-08-05 19:03:17 +0200973 case TLS_ST_CR_CERT:
974 return tls_process_server_certificate(s, pkt);
Matt Caswell61ae9352015-09-11 11:23:20 +0100975
Matt Caswell2c5dfdc2016-12-05 17:04:51 +0000976 case TLS_ST_CR_CERT_VRFY:
977 return tls_process_cert_verify(s, pkt);
978
Emilia Kaspera230b262016-08-05 19:03:17 +0200979 case TLS_ST_CR_CERT_STATUS:
980 return tls_process_cert_status(s, pkt);
Matt Caswell61ae9352015-09-11 11:23:20 +0100981
Emilia Kaspera230b262016-08-05 19:03:17 +0200982 case TLS_ST_CR_KEY_EXCH:
983 return tls_process_key_exchange(s, pkt);
Matt Caswell61ae9352015-09-11 11:23:20 +0100984
Emilia Kaspera230b262016-08-05 19:03:17 +0200985 case TLS_ST_CR_CERT_REQ:
986 return tls_process_certificate_request(s, pkt);
Matt Caswell61ae9352015-09-11 11:23:20 +0100987
Emilia Kaspera230b262016-08-05 19:03:17 +0200988 case TLS_ST_CR_SRVR_DONE:
989 return tls_process_server_done(s, pkt);
Matt Caswell61ae9352015-09-11 11:23:20 +0100990
Emilia Kaspera230b262016-08-05 19:03:17 +0200991 case TLS_ST_CR_CHANGE:
992 return tls_process_change_cipher_spec(s, pkt);
Matt Caswell61ae9352015-09-11 11:23:20 +0100993
Emilia Kaspera230b262016-08-05 19:03:17 +0200994 case TLS_ST_CR_SESSION_TICKET:
995 return tls_process_new_session_ticket(s, pkt);
Matt Caswell61ae9352015-09-11 11:23:20 +0100996
Emilia Kaspera230b262016-08-05 19:03:17 +0200997 case TLS_ST_CR_FINISHED:
998 return tls_process_finished(s, pkt);
Matt Caswelle46f2332016-11-23 15:20:22 +0000999
Matt Caswellc7f47782017-01-10 23:02:28 +00001000 case TLS_ST_CR_HELLO_REQ:
1001 return tls_process_hello_req(s, pkt);
1002
Matt Caswelle46f2332016-11-23 15:20:22 +00001003 case TLS_ST_CR_ENCRYPTED_EXTENSIONS:
1004 return tls_process_encrypted_extensions(s, pkt);
Matt Caswelle1c3de42017-02-09 12:07:31 +00001005
1006 case TLS_ST_CR_KEY_UPDATE:
1007 return tls_process_key_update(s, pkt);
Matt Caswell61ae9352015-09-11 11:23:20 +01001008 }
Matt Caswell61ae9352015-09-11 11:23:20 +01001009}
1010
1011/*
1012 * Perform any further processing required following the receipt of a message
1013 * from the server
1014 */
Matt Caswell8481f582015-10-26 11:54:17 +00001015WORK_STATE ossl_statem_client_post_process_message(SSL *s, WORK_STATE wst)
Matt Caswell61ae9352015-09-11 11:23:20 +01001016{
Matt Caswelld6f1a6e2015-10-05 10:58:52 +01001017 OSSL_STATEM *st = &s->statem;
Matt Caswell61ae9352015-09-11 11:23:20 +01001018
Emilia Kaspera230b262016-08-05 19:03:17 +02001019 switch (st->hand_state) {
Rich Salzf3b3d7f2016-08-30 13:31:18 -04001020 default:
1021 /* Shouldn't happen */
1022 return WORK_ERROR;
1023
Matt Caswell05c4f1d2016-06-22 14:31:32 +01001024 case TLS_ST_CR_CERT_REQ:
1025 return tls_prepare_client_certificate(s, wst);
Matt Caswell61ae9352015-09-11 11:23:20 +01001026 }
Matt Caswell61ae9352015-09-11 11:23:20 +01001027}
1028
Matt Caswell7cea05d2016-09-29 23:28:29 +01001029int tls_construct_client_hello(SSL *s, WPACKET *pkt)
Matt Caswellb9908bf2015-07-29 14:08:49 +01001030{
Matt Caswell2c7b4db2016-08-03 20:57:52 +01001031 unsigned char *p;
Matt Caswellec60ccc2016-10-04 20:31:19 +01001032 size_t sess_id_len;
1033 int i, protverr;
Matt Caswell2c7b4db2016-08-03 20:57:52 +01001034 int al = SSL_AD_HANDSHAKE_FAILURE;
Dr. Stephen Henson09b6c2e2005-09-30 23:35:33 +00001035#ifndef OPENSSL_NO_COMP
Matt Caswell0f113f32015-01-22 03:40:55 +00001036 SSL_COMP *comp;
Dr. Stephen Henson09b6c2e2005-09-30 23:35:33 +00001037#endif
Matt Caswellb9908bf2015-07-29 14:08:49 +01001038 SSL_SESSION *sess = s->session;
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00001039
Matt Caswell7cea05d2016-09-29 23:28:29 +01001040 if (!WPACKET_set_max_size(pkt, SSL3_RT_MAX_PLAIN_LENGTH)) {
Matt Caswell2c7b4db2016-08-03 20:57:52 +01001041 /* Should not happen */
1042 SSLerr(SSL_F_TLS_CONSTRUCT_CLIENT_HELLO, ERR_R_INTERNAL_ERROR);
Matt Caswell7cea05d2016-09-29 23:28:29 +01001043 return 0;
Matt Caswell2c7b4db2016-08-03 20:57:52 +01001044 }
Matt Caswell13c9bb32015-03-31 00:18:31 +01001045
Matt Caswellb9908bf2015-07-29 14:08:49 +01001046 /* Work out what SSL/TLS/DTLS version to use */
Viktor Dukhovni4fa52142015-12-29 03:24:17 -05001047 protverr = ssl_set_client_hello_version(s);
1048 if (protverr != 0) {
1049 SSLerr(SSL_F_TLS_CONSTRUCT_CLIENT_HELLO, protverr);
Matt Caswell7cea05d2016-09-29 23:28:29 +01001050 return 0;
Viktor Dukhovni4fa52142015-12-29 03:24:17 -05001051 }
Matt Caswell13c9bb32015-03-31 00:18:31 +01001052
Matt Caswelle586eac2017-03-21 13:50:31 +00001053 if (sess == NULL
1054 || !ssl_version_supported(s, sess->ssl_version)
1055 || !SSL_SESSION_is_resumable(sess)) {
Matt Caswellb9908bf2015-07-29 14:08:49 +01001056 if (!ssl_get_new_session(s, 0))
Matt Caswell7cea05d2016-09-29 23:28:29 +01001057 return 0;
Matt Caswellb9908bf2015-07-29 14:08:49 +01001058 }
1059 /* else use the pre-loaded session */
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00001060
Matt Caswellb9908bf2015-07-29 14:08:49 +01001061 p = s->s3->client_random;
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00001062
Matt Caswellb9908bf2015-07-29 14:08:49 +01001063 /*
1064 * for DTLS if client_random is initialized, reuse it, we are
1065 * required to use same upon reply to HelloVerify
1066 */
1067 if (SSL_IS_DTLS(s)) {
1068 size_t idx;
1069 i = 1;
1070 for (idx = 0; idx < sizeof(s->s3->client_random); idx++) {
1071 if (p[idx]) {
1072 i = 0;
1073 break;
Matt Caswell0f113f32015-01-22 03:40:55 +00001074 }
Matt Caswell0f113f32015-01-22 03:40:55 +00001075 }
Matt Caswellb9908bf2015-07-29 14:08:49 +01001076 } else
1077 i = 1;
Matt Caswell0f113f32015-01-22 03:40:55 +00001078
Matt Caswellf7f2a012017-03-22 08:52:54 +00001079 if (i && ssl_fill_hello_random(s, 0, p, sizeof(s->s3->client_random),
1080 DOWNGRADE_NONE) <= 0)
Matt Caswell7cea05d2016-09-29 23:28:29 +01001081 return 0;
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 Caswell2c7b4db2016-08-03 20:57:52 +01001118 SSLerr(SSL_F_TLS_CONSTRUCT_CLIENT_HELLO, ERR_R_INTERNAL_ERROR);
Matt Caswell7cea05d2016-09-29 23:28:29 +01001119 return 0;
Matt Caswell2c7b4db2016-08-03 20:57:52 +01001120 }
Matt Caswellb9908bf2015-07-29 14:08:49 +01001121
1122 /* Session ID */
Matt Caswellf05bcf02017-01-13 13:49:44 +00001123 if (s->new_session || s->session->ssl_version == TLS1_3_VERSION)
Matt Caswellec60ccc2016-10-04 20:31:19 +01001124 sess_id_len = 0;
Matt Caswellb9908bf2015-07-29 14:08:49 +01001125 else
Matt Caswellec60ccc2016-10-04 20:31:19 +01001126 sess_id_len = s->session->session_id_length;
1127 if (sess_id_len > sizeof(s->session->session_id)
Matt Caswell7cea05d2016-09-29 23:28:29 +01001128 || !WPACKET_start_sub_packet_u8(pkt)
Matt Caswellec60ccc2016-10-04 20:31:19 +01001129 || (sess_id_len != 0 && !WPACKET_memcpy(pkt, s->session->session_id,
1130 sess_id_len))
Matt Caswell7cea05d2016-09-29 23:28:29 +01001131 || !WPACKET_close(pkt)) {
Matt Caswell2c7b4db2016-08-03 20:57:52 +01001132 SSLerr(SSL_F_TLS_CONSTRUCT_CLIENT_HELLO, ERR_R_INTERNAL_ERROR);
Matt Caswell7cea05d2016-09-29 23:28:29 +01001133 return 0;
Matt Caswell0f113f32015-01-22 03:40:55 +00001134 }
1135
Matt Caswellb9908bf2015-07-29 14:08:49 +01001136 /* cookie stuff for DTLS */
1137 if (SSL_IS_DTLS(s)) {
Matt Caswell2c7b4db2016-08-03 20:57:52 +01001138 if (s->d1->cookie_len > sizeof(s->d1->cookie)
Matt Caswell7cea05d2016-09-29 23:28:29 +01001139 || !WPACKET_sub_memcpy_u8(pkt, s->d1->cookie,
Matt Caswellb2b30242016-09-13 11:32:52 +01001140 s->d1->cookie_len)) {
Matt Caswellb9908bf2015-07-29 14:08:49 +01001141 SSLerr(SSL_F_TLS_CONSTRUCT_CLIENT_HELLO, ERR_R_INTERNAL_ERROR);
Matt Caswell7cea05d2016-09-29 23:28:29 +01001142 return 0;
Matt Caswellb9908bf2015-07-29 14:08:49 +01001143 }
Matt Caswellb9908bf2015-07-29 14:08:49 +01001144 }
1145
1146 /* Ciphers supported */
Matt Caswell7cea05d2016-09-29 23:28:29 +01001147 if (!WPACKET_start_sub_packet_u16(pkt)) {
Matt Caswell2c7b4db2016-08-03 20:57:52 +01001148 SSLerr(SSL_F_TLS_CONSTRUCT_CLIENT_HELLO, ERR_R_INTERNAL_ERROR);
Matt Caswell7cea05d2016-09-29 23:28:29 +01001149 return 0;
Matt Caswellb9908bf2015-07-29 14:08:49 +01001150 }
Matt Caswell2c7b4db2016-08-03 20:57:52 +01001151 /* ssl_cipher_list_to_bytes() raises SSLerr if appropriate */
Matt Caswell7cea05d2016-09-29 23:28:29 +01001152 if (!ssl_cipher_list_to_bytes(s, SSL_get_ciphers(s), pkt))
1153 return 0;
1154 if (!WPACKET_close(pkt)) {
Matt Caswell2c7b4db2016-08-03 20:57:52 +01001155 SSLerr(SSL_F_TLS_CONSTRUCT_CLIENT_HELLO, ERR_R_INTERNAL_ERROR);
Matt Caswell7cea05d2016-09-29 23:28:29 +01001156 return 0;
Matt Caswell2c7b4db2016-08-03 20:57:52 +01001157 }
Matt Caswellb9908bf2015-07-29 14:08:49 +01001158
1159 /* COMPRESSION */
Matt Caswell7cea05d2016-09-29 23:28:29 +01001160 if (!WPACKET_start_sub_packet_u8(pkt)) {
Matt Caswell2c7b4db2016-08-03 20:57:52 +01001161 SSLerr(SSL_F_TLS_CONSTRUCT_CLIENT_HELLO, ERR_R_INTERNAL_ERROR);
Matt Caswell7cea05d2016-09-29 23:28:29 +01001162 return 0;
Matt Caswell2c7b4db2016-08-03 20:57:52 +01001163 }
1164#ifndef OPENSSL_NO_COMP
Matt Caswellc19602b2017-03-01 10:36:38 +00001165 if (ssl_allow_compression(s)
1166 && s->ctx->comp_methods
1167 && (SSL_IS_DTLS(s) || s->s3->tmp.max_ver < TLS1_3_VERSION)) {
Matt Caswell2c7b4db2016-08-03 20:57:52 +01001168 int compnum = sk_SSL_COMP_num(s->ctx->comp_methods);
1169 for (i = 0; i < compnum; i++) {
1170 comp = sk_SSL_COMP_value(s->ctx->comp_methods, i);
Matt Caswell7cea05d2016-09-29 23:28:29 +01001171 if (!WPACKET_put_bytes_u8(pkt, comp->id)) {
Matt Caswell2c7b4db2016-08-03 20:57:52 +01001172 SSLerr(SSL_F_TLS_CONSTRUCT_CLIENT_HELLO, ERR_R_INTERNAL_ERROR);
Matt Caswell7cea05d2016-09-29 23:28:29 +01001173 return 0;
Matt Caswell2c7b4db2016-08-03 20:57:52 +01001174 }
1175 }
Matt Caswellb9908bf2015-07-29 14:08:49 +01001176 }
1177#endif
Matt Caswell2c7b4db2016-08-03 20:57:52 +01001178 /* Add the NULL method */
Matt Caswell7cea05d2016-09-29 23:28:29 +01001179 if (!WPACKET_put_bytes_u8(pkt, 0) || !WPACKET_close(pkt)) {
Matt Caswell2c7b4db2016-08-03 20:57:52 +01001180 SSLerr(SSL_F_TLS_CONSTRUCT_CLIENT_HELLO, ERR_R_INTERNAL_ERROR);
Matt Caswell7cea05d2016-09-29 23:28:29 +01001181 return 0;
Matt Caswell2c7b4db2016-08-03 20:57:52 +01001182 }
Matt Caswellb9908bf2015-07-29 14:08:49 +01001183
1184 /* TLS extensions */
Matt Caswellfe874d22017-04-04 11:40:02 +01001185 if (!tls_construct_extensions(s, pkt, SSL_EXT_CLIENT_HELLO, NULL, 0, &al)) {
Matt Caswellb9908bf2015-07-29 14:08:49 +01001186 ssl3_send_alert(s, SSL3_AL_FATAL, al);
1187 SSLerr(SSL_F_TLS_CONSTRUCT_CLIENT_HELLO, ERR_R_INTERNAL_ERROR);
Matt Caswell7cea05d2016-09-29 23:28:29 +01001188 return 0;
Matt Caswellb9908bf2015-07-29 14:08:49 +01001189 }
1190
Matt Caswellb9908bf2015-07-29 14:08:49 +01001191 return 1;
Matt Caswell0f113f32015-01-22 03:40:55 +00001192}
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00001193
Matt Caswellbe3583f2015-10-26 11:46:33 +00001194MSG_PROCESS_RETURN dtls_process_hello_verify(SSL *s, PACKET *pkt)
Matt Caswell8ba708e2015-09-11 10:48:59 +01001195{
1196 int al;
Matt Caswellcb150cb2016-10-04 21:04:03 +01001197 size_t cookie_len;
Matt Caswell8ba708e2015-09-11 10:48:59 +01001198 PACKET cookiepkt;
1199
1200 if (!PACKET_forward(pkt, 2)
Emilia Kaspera230b262016-08-05 19:03:17 +02001201 || !PACKET_get_length_prefixed_1(pkt, &cookiepkt)) {
Matt Caswell8ba708e2015-09-11 10:48:59 +01001202 al = SSL_AD_DECODE_ERROR;
1203 SSLerr(SSL_F_DTLS_PROCESS_HELLO_VERIFY, SSL_R_LENGTH_MISMATCH);
1204 goto f_err;
1205 }
1206
1207 cookie_len = PACKET_remaining(&cookiepkt);
1208 if (cookie_len > sizeof(s->d1->cookie)) {
1209 al = SSL_AD_ILLEGAL_PARAMETER;
1210 SSLerr(SSL_F_DTLS_PROCESS_HELLO_VERIFY, SSL_R_LENGTH_TOO_LONG);
1211 goto f_err;
1212 }
1213
1214 if (!PACKET_copy_bytes(&cookiepkt, s->d1->cookie, cookie_len)) {
1215 al = SSL_AD_DECODE_ERROR;
1216 SSLerr(SSL_F_DTLS_PROCESS_HELLO_VERIFY, SSL_R_LENGTH_MISMATCH);
1217 goto f_err;
1218 }
1219 s->d1->cookie_len = cookie_len;
1220
1221 return MSG_PROCESS_FINISHED_READING;
1222 f_err:
1223 ssl3_send_alert(s, SSL3_AL_FATAL, al);
Matt Caswellfe3a3292015-10-05 10:39:54 +01001224 ossl_statem_set_error(s);
Matt Caswell8ba708e2015-09-11 10:48:59 +01001225 return MSG_PROCESS_ERROR;
1226}
1227
Matt Caswell11c67ee2017-03-13 15:21:15 +00001228static int set_client_ciphersuite(SSL *s, const unsigned char *cipherchars)
Matt Caswellb9908bf2015-07-29 14:08:49 +01001229{
1230 STACK_OF(SSL_CIPHER) *sk;
1231 const SSL_CIPHER *c;
Matt Caswell11c67ee2017-03-13 15:21:15 +00001232 int i;
1233
1234 c = ssl_get_cipher_by_char(s, cipherchars, 0);
1235 if (c == NULL) {
1236 /* unknown cipher */
1237 SSLerr(SSL_F_SET_CLIENT_CIPHERSUITE, SSL_R_UNKNOWN_CIPHER_RETURNED);
1238 return 0;
1239 }
1240 /*
1241 * If it is a disabled cipher we either didn't send it in client hello,
1242 * or it's not allowed for the selected protocol. So we return an error.
1243 */
Matt Caswell8af91fd2017-04-12 17:02:42 +01001244 if (ssl_cipher_disabled(s, c, SSL_SECOP_CIPHER_CHECK, 1)) {
Matt Caswell11c67ee2017-03-13 15:21:15 +00001245 SSLerr(SSL_F_SET_CLIENT_CIPHERSUITE, SSL_R_WRONG_CIPHER_RETURNED);
1246 return 0;
1247 }
1248
1249 sk = ssl_get_ciphers_by_id(s);
1250 i = sk_SSL_CIPHER_find(sk, c);
1251 if (i < 0) {
1252 /* we did not say we would use this cipher */
1253 SSLerr(SSL_F_SET_CLIENT_CIPHERSUITE, SSL_R_WRONG_CIPHER_RETURNED);
1254 return 0;
1255 }
1256
1257 if (SSL_IS_TLS13(s) && s->s3->tmp.new_cipher != NULL
1258 && s->s3->tmp.new_cipher->id != c->id) {
1259 /* ServerHello selected a different ciphersuite to that in the HRR */
1260 SSLerr(SSL_F_SET_CLIENT_CIPHERSUITE, SSL_R_WRONG_CIPHER_RETURNED);
1261 return 0;
1262 }
1263
1264 /*
1265 * Depending on the session caching (internal/external), the cipher
1266 * and/or cipher_id values may not be set. Make sure that cipher_id is
1267 * set and use it for comparison.
1268 */
1269 if (s->session->cipher != NULL)
1270 s->session->cipher_id = s->session->cipher->id;
1271 if (s->hit && (s->session->cipher_id != c->id)) {
1272 SSLerr(SSL_F_SET_CLIENT_CIPHERSUITE,
1273 SSL_R_OLD_SESSION_CIPHER_NOT_RETURNED);
1274 return 0;
1275 }
1276 s->s3->tmp.new_cipher = c;
1277
1278 return 1;
1279}
1280
1281MSG_PROCESS_RETURN tls_process_server_hello(SSL *s, PACKET *pkt)
1282{
Matt Caswell332eb392016-11-28 16:15:51 +00001283 PACKET session_id, extpkt;
Matt Caswellb9908bf2015-07-29 14:08:49 +01001284 size_t session_id_len;
Emilia Kasperb6981742016-02-01 15:26:18 +01001285 const unsigned char *cipherchars;
Matt Caswell11c67ee2017-03-13 15:21:15 +00001286 int al = SSL_AD_INTERNAL_ERROR;
Matt Caswellb9908bf2015-07-29 14:08:49 +01001287 unsigned int compression;
Viktor Dukhovni4fa52142015-12-29 03:24:17 -05001288 unsigned int sversion;
Matt Caswell3434f402016-11-28 16:45:52 +00001289 unsigned int context;
Viktor Dukhovni4fa52142015-12-29 03:24:17 -05001290 int protverr;
Matt Caswell332eb392016-11-28 16:15:51 +00001291 RAW_EXTENSION *extensions = NULL;
Matt Caswellb9908bf2015-07-29 14:08:49 +01001292#ifndef OPENSSL_NO_COMP
1293 SSL_COMP *comp;
1294#endif
1295
Viktor Dukhovni4fa52142015-12-29 03:24:17 -05001296 if (!PACKET_get_net_2(pkt, &sversion)) {
1297 al = SSL_AD_DECODE_ERROR;
1298 SSLerr(SSL_F_TLS_PROCESS_SERVER_HELLO, SSL_R_LENGTH_MISMATCH);
1299 goto f_err;
1300 }
Kurt Roeckx7946ab32015-12-06 17:56:41 +01001301
Matt Caswellc3043dc2017-03-22 11:50:32 +00001302 /* load the server random */
1303 if (!PACKET_copy_bytes(pkt, s->s3->server_random, SSL3_RANDOM_SIZE)) {
1304 al = SSL_AD_DECODE_ERROR;
1305 SSLerr(SSL_F_TLS_PROCESS_SERVER_HELLO, SSL_R_LENGTH_MISMATCH);
1306 goto f_err;
1307 }
1308
1309 /*
1310 * We do this immediately so we know what format the ServerHello is in.
1311 * Must be done after reading the random data so we can check for the
1312 * TLSv1.3 downgrade sentinels
1313 */
1314 protverr = ssl_choose_client_version(s, sversion, 1, &al);
Viktor Dukhovni4fa52142015-12-29 03:24:17 -05001315 if (protverr != 0) {
Viktor Dukhovni4fa52142015-12-29 03:24:17 -05001316 SSLerr(SSL_F_TLS_PROCESS_SERVER_HELLO, protverr);
1317 goto f_err;
Matt Caswell0f113f32015-01-22 03:40:55 +00001318 }
Emilia Kasper7b3ba5082014-11-19 15:56:27 +01001319
Matt Caswell524420d2017-03-07 10:21:58 +00001320 /*
1321 * In TLSv1.3 a ServerHello message signals a key change so the end of the
1322 * message must be on a record boundary.
1323 */
1324 if (SSL_IS_TLS13(s) && RECORD_LAYER_processed_read_pending(&s->rlayer)) {
1325 al = SSL_AD_UNEXPECTED_MESSAGE;
1326 SSLerr(SSL_F_TLS_PROCESS_SERVER_HELLO, SSL_R_NOT_ON_RECORD_BOUNDARY);
1327 goto f_err;
1328 }
1329
Emilia Kasperfc5ce512015-09-18 14:09:37 +02001330 /* Get the session-id. */
Matt Caswell71728dd2016-11-07 13:50:43 +00001331 if (!SSL_IS_TLS13(s)) {
1332 if (!PACKET_get_length_prefixed_1(pkt, &session_id)) {
1333 al = SSL_AD_DECODE_ERROR;
1334 SSLerr(SSL_F_TLS_PROCESS_SERVER_HELLO, SSL_R_LENGTH_MISMATCH);
1335 goto f_err;
1336 }
1337 session_id_len = PACKET_remaining(&session_id);
1338 if (session_id_len > sizeof s->session->session_id
1339 || session_id_len > SSL3_SESSION_ID_SIZE) {
1340 al = SSL_AD_ILLEGAL_PARAMETER;
1341 SSLerr(SSL_F_TLS_PROCESS_SERVER_HELLO,
1342 SSL_R_SSL3_SESSION_ID_TOO_LONG);
1343 goto f_err;
1344 }
1345 } else {
Matt Caswell625b0d52016-12-08 09:48:29 +00001346 PACKET_null_init(&session_id);
Matt Caswell71728dd2016-11-07 13:50:43 +00001347 session_id_len = 0;
Matt Caswell0f113f32015-01-22 03:40:55 +00001348 }
Matt Caswelle481f9b2015-05-15 10:49:56 +01001349
Matt Caswell73999b62015-09-10 10:22:30 +01001350 if (!PACKET_get_bytes(pkt, &cipherchars, TLS_CIPHER_LEN)) {
Matt Caswellf0659bd2015-10-22 14:02:46 +01001351 SSLerr(SSL_F_TLS_PROCESS_SERVER_HELLO, SSL_R_LENGTH_MISMATCH);
Emilia Kasperfc5ce512015-09-18 14:09:37 +02001352 al = SSL_AD_DECODE_ERROR;
1353 goto f_err;
1354 }
1355
Matt Caswell4ff65f72017-01-18 09:38:53 +00001356 if (!SSL_IS_TLS13(s)) {
1357 if (!PACKET_get_1(pkt, &compression)) {
1358 SSLerr(SSL_F_TLS_PROCESS_SERVER_HELLO, SSL_R_LENGTH_MISMATCH);
1359 al = SSL_AD_DECODE_ERROR;
Emilia Kasper6e3d0152015-04-21 18:12:58 +02001360 goto f_err;
Matt Caswell0f113f32015-01-22 03:40:55 +00001361 }
Matt Caswell4ff65f72017-01-18 09:38:53 +00001362 } else {
1363 compression = 0;
Matt Caswell0f113f32015-01-22 03:40:55 +00001364 }
Dr. Stephen Henson12bf56c2008-11-15 17:18:12 +00001365
Matt Caswell4ff65f72017-01-18 09:38:53 +00001366 /* TLS extensions */
1367 if (PACKET_remaining(pkt) == 0) {
1368 PACKET_null_init(&extpkt);
Matt Caswell26b91722017-05-11 11:31:57 +01001369 } else if (!PACKET_as_length_prefixed_2(pkt, &extpkt)
1370 || PACKET_remaining(pkt) != 0) {
Matt Caswell4ff65f72017-01-18 09:38:53 +00001371 al = SSL_AD_DECODE_ERROR;
1372 SSLerr(SSL_F_TLS_PROCESS_SERVER_HELLO, SSL_R_BAD_LENGTH);
1373 goto f_err;
1374 }
1375
Matt Caswellfe874d22017-04-04 11:40:02 +01001376 context = SSL_IS_TLS13(s) ? SSL_EXT_TLS1_3_SERVER_HELLO
1377 : SSL_EXT_TLS1_2_SERVER_HELLO;
Tatsuhiro Tsujikawa735d5b52017-04-18 23:59:39 +09001378 if (!tls_collect_extensions(s, &extpkt, context, &extensions, &al, NULL, 1))
Matt Caswell4ff65f72017-01-18 09:38:53 +00001379 goto f_err;
1380
1381 s->hit = 0;
1382
1383 if (SSL_IS_TLS13(s)) {
1384 /* This will set s->hit if we are resuming */
1385 if (!tls_parse_extension(s, TLSEXT_IDX_psk,
Matt Caswellfe874d22017-04-04 11:40:02 +01001386 SSL_EXT_TLS1_3_SERVER_HELLO,
Matt Caswell4ff65f72017-01-18 09:38:53 +00001387 extensions, NULL, 0, &al))
1388 goto f_err;
1389 } else {
1390 /*
1391 * Check if we can resume the session based on external pre-shared
1392 * secret. EAP-FAST (RFC 4851) supports two types of session resumption.
1393 * Resumption based on server-side state works with session IDs.
1394 * Resumption based on pre-shared Protected Access Credentials (PACs)
1395 * works by overriding the SessionTicket extension at the application
1396 * layer, and does not send a session ID. (We do not know whether
1397 * EAP-FAST servers would honour the session ID.) Therefore, the session
1398 * ID alone is not a reliable indicator of session resumption, so we
1399 * first check if we can resume, and later peek at the next handshake
1400 * message to see if the server wants to resume.
1401 */
1402 if (s->version >= TLS1_VERSION
1403 && s->ext.session_secret_cb != NULL && s->session->ext.tick) {
1404 const SSL_CIPHER *pref_cipher = NULL;
1405 /*
1406 * s->session->master_key_length is a size_t, but this is an int for
1407 * backwards compat reasons
1408 */
1409 int master_key_length;
1410 master_key_length = sizeof(s->session->master_key);
1411 if (s->ext.session_secret_cb(s, s->session->master_key,
1412 &master_key_length,
1413 NULL, &pref_cipher,
1414 s->ext.session_secret_cb_arg)
1415 && master_key_length > 0) {
1416 s->session->master_key_length = master_key_length;
1417 s->session->cipher = pref_cipher ?
Benjamin Kaduk60d685d2017-02-06 11:30:16 -06001418 pref_cipher : ssl_get_cipher_by_char(s, cipherchars, 0);
Matt Caswell4ff65f72017-01-18 09:38:53 +00001419 } else {
1420 SSLerr(SSL_F_TLS_PROCESS_SERVER_HELLO, ERR_R_INTERNAL_ERROR);
1421 al = SSL_AD_INTERNAL_ERROR;
1422 goto f_err;
1423 }
1424 }
1425
1426 if (session_id_len != 0
1427 && session_id_len == s->session->session_id_length
1428 && memcmp(PACKET_data(&session_id), s->session->session_id,
1429 session_id_len) == 0)
1430 s->hit = 1;
1431 }
1432
1433 if (s->hit) {
Matt Caswell0f113f32015-01-22 03:40:55 +00001434 if (s->sid_ctx_length != s->session->sid_ctx_length
Matt Caswell4ff65f72017-01-18 09:38:53 +00001435 || memcmp(s->session->sid_ctx, s->sid_ctx, s->sid_ctx_length)) {
Matt Caswell0f113f32015-01-22 03:40:55 +00001436 /* actually a client application bug */
1437 al = SSL_AD_ILLEGAL_PARAMETER;
Matt Caswellb9908bf2015-07-29 14:08:49 +01001438 SSLerr(SSL_F_TLS_PROCESS_SERVER_HELLO,
Matt Caswell0f113f32015-01-22 03:40:55 +00001439 SSL_R_ATTEMPT_TO_REUSE_SESSION_IN_DIFFERENT_CONTEXT);
1440 goto f_err;
1441 }
Emilia Kasper6e3d0152015-04-21 18:12:58 +02001442 } else {
Matt Caswell0f113f32015-01-22 03:40:55 +00001443 /*
Emilia Kasper6e3d0152015-04-21 18:12:58 +02001444 * If we were trying for session-id reuse but the server
Matt Caswell4ff65f72017-01-18 09:38:53 +00001445 * didn't resume, make a new SSL_SESSION.
Emilia Kasper6e3d0152015-04-21 18:12:58 +02001446 * In the case of EAP-FAST and PAC, we do not send a session ID,
1447 * so the PAC-based session secret is always preserved. It'll be
1448 * overwritten if the server refuses resumption.
Matt Caswell0f113f32015-01-22 03:40:55 +00001449 */
Matt Caswell4ff65f72017-01-18 09:38:53 +00001450 if (s->session->session_id_length > 0
1451 || (SSL_IS_TLS13(s)
1452 && s->session->ext.tick_identity
1453 != TLSEXT_PSK_BAD_IDENTITY)) {
Laszlo Kovacs4f6eaa52015-02-20 14:35:57 -05001454 s->ctx->stats.sess_miss++;
Matt Caswell0f113f32015-01-22 03:40:55 +00001455 if (!ssl_get_new_session(s, 0)) {
1456 goto f_err;
1457 }
1458 }
Emilia Kasperfc5ce512015-09-18 14:09:37 +02001459
Fedor Indutnyccae4a12016-03-11 17:44:01 +03001460 s->session->ssl_version = s->version;
Emilia Kasperfc5ce512015-09-18 14:09:37 +02001461 s->session->session_id_length = session_id_len;
1462 /* session_id_len could be 0 */
Kurt Roeckxa19fc662016-12-08 19:20:55 +01001463 if (session_id_len > 0)
1464 memcpy(s->session->session_id, PACKET_data(&session_id),
1465 session_id_len);
Matt Caswell0f113f32015-01-22 03:40:55 +00001466 }
Matt Caswell50932c42015-08-04 17:36:02 +01001467
Fedor Indutnyccae4a12016-03-11 17:44:01 +03001468 /* Session version and negotiated protocol version should match */
1469 if (s->version != s->session->ssl_version) {
1470 al = SSL_AD_PROTOCOL_VERSION;
1471
1472 SSLerr(SSL_F_TLS_PROCESS_SERVER_HELLO,
1473 SSL_R_SSL_SESSION_VERSION_MISMATCH);
1474 goto f_err;
1475 }
Matt Caswell0f113f32015-01-22 03:40:55 +00001476 /*
Kurt Roeckx3eb2aff2016-02-07 20:17:07 +01001477 * Now that we know the version, update the check to see if it's an allowed
1478 * version.
1479 */
1480 s->s3->tmp.min_ver = s->version;
1481 s->s3->tmp.max_ver = s->version;
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00001482
Matt Caswell11c67ee2017-03-13 15:21:15 +00001483 if (!set_client_ciphersuite(s, cipherchars)) {
Matt Caswell0f113f32015-01-22 03:40:55 +00001484 al = SSL_AD_ILLEGAL_PARAMETER;
Matt Caswell0f113f32015-01-22 03:40:55 +00001485 goto f_err;
1486 }
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00001487
Dr. Stephen Henson09b6c2e2005-09-30 23:35:33 +00001488#ifdef OPENSSL_NO_COMP
Emilia Kasperfc5ce512015-09-18 14:09:37 +02001489 if (compression != 0) {
Matt Caswell0f113f32015-01-22 03:40:55 +00001490 al = SSL_AD_ILLEGAL_PARAMETER;
Matt Caswellb9908bf2015-07-29 14:08:49 +01001491 SSLerr(SSL_F_TLS_PROCESS_SERVER_HELLO,
Matt Caswell0f113f32015-01-22 03:40:55 +00001492 SSL_R_UNSUPPORTED_COMPRESSION_ALGORITHM);
1493 goto f_err;
1494 }
1495 /*
1496 * If compression is disabled we'd better not try to resume a session
1497 * using compression.
1498 */
1499 if (s->session->compress_meth != 0) {
Matt Caswellb9908bf2015-07-29 14:08:49 +01001500 SSLerr(SSL_F_TLS_PROCESS_SERVER_HELLO, SSL_R_INCONSISTENT_COMPRESSION);
Matt Caswell0f113f32015-01-22 03:40:55 +00001501 goto f_err;
1502 }
Dr. Stephen Henson09b6c2e2005-09-30 23:35:33 +00001503#else
Emilia Kasperfc5ce512015-09-18 14:09:37 +02001504 if (s->hit && compression != s->session->compress_meth) {
Matt Caswell0f113f32015-01-22 03:40:55 +00001505 al = SSL_AD_ILLEGAL_PARAMETER;
Matt Caswellb9908bf2015-07-29 14:08:49 +01001506 SSLerr(SSL_F_TLS_PROCESS_SERVER_HELLO,
Matt Caswell0f113f32015-01-22 03:40:55 +00001507 SSL_R_OLD_SESSION_COMPRESSION_ALGORITHM_NOT_RETURNED);
1508 goto f_err;
1509 }
Emilia Kasperfc5ce512015-09-18 14:09:37 +02001510 if (compression == 0)
Matt Caswell0f113f32015-01-22 03:40:55 +00001511 comp = NULL;
1512 else if (!ssl_allow_compression(s)) {
1513 al = SSL_AD_ILLEGAL_PARAMETER;
Matt Caswellb9908bf2015-07-29 14:08:49 +01001514 SSLerr(SSL_F_TLS_PROCESS_SERVER_HELLO, SSL_R_COMPRESSION_DISABLED);
Matt Caswell0f113f32015-01-22 03:40:55 +00001515 goto f_err;
Emilia Kasperfc5ce512015-09-18 14:09:37 +02001516 } else {
1517 comp = ssl3_comp_find(s->ctx->comp_methods, compression);
1518 }
Matt Caswell0f113f32015-01-22 03:40:55 +00001519
Emilia Kasperfc5ce512015-09-18 14:09:37 +02001520 if (compression != 0 && comp == NULL) {
Matt Caswell0f113f32015-01-22 03:40:55 +00001521 al = SSL_AD_ILLEGAL_PARAMETER;
Matt Caswellb9908bf2015-07-29 14:08:49 +01001522 SSLerr(SSL_F_TLS_PROCESS_SERVER_HELLO,
Matt Caswell0f113f32015-01-22 03:40:55 +00001523 SSL_R_UNSUPPORTED_COMPRESSION_ALGORITHM);
1524 goto f_err;
1525 } else {
1526 s->s3->tmp.new_compression = comp;
1527 }
Dr. Stephen Henson09b6c2e2005-09-30 23:35:33 +00001528#endif
Bodo Möller761772d2007-09-21 06:54:24 +00001529
Tatsuhiro Tsujikawa735d5b52017-04-18 23:59:39 +09001530 if (!tls_parse_all_extensions(s, context, extensions, NULL, 0, &al, 1))
Matt Caswell332eb392016-11-28 16:15:51 +00001531 goto f_err;
1532
Matt Caswell87235882015-09-07 16:36:53 +01001533#ifndef OPENSSL_NO_SCTP
1534 if (SSL_IS_DTLS(s) && s->hit) {
1535 unsigned char sctpauthkey[64];
1536 char labelbuffer[sizeof(DTLS1_SCTP_AUTH_LABEL)];
1537
1538 /*
1539 * Add new shared key for SCTP-Auth, will be ignored if
1540 * no SCTP used.
1541 */
Matt Caswell141eb8c2015-10-26 12:00:00 +00001542 memcpy(labelbuffer, DTLS1_SCTP_AUTH_LABEL,
1543 sizeof(DTLS1_SCTP_AUTH_LABEL));
Matt Caswell87235882015-09-07 16:36:53 +01001544
1545 if (SSL_export_keying_material(s, sctpauthkey,
Emilia Kaspera230b262016-08-05 19:03:17 +02001546 sizeof(sctpauthkey),
1547 labelbuffer,
1548 sizeof(labelbuffer), NULL, 0, 0) <= 0)
Richard Levittec0aa6b82016-12-19 14:07:52 +01001549 goto f_err;
Matt Caswell87235882015-09-07 16:36:53 +01001550
1551 BIO_ctrl(SSL_get_wbio(s),
1552 BIO_CTRL_DGRAM_SCTP_ADD_AUTH_KEY,
1553 sizeof(sctpauthkey), sctpauthkey);
1554 }
1555#endif
1556
Matt Caswell92760c22016-11-09 14:06:12 +00001557 /*
1558 * In TLSv1.3 we have some post-processing to change cipher state, otherwise
1559 * we're done with this message
1560 */
1561 if (SSL_IS_TLS13(s)
1562 && (!s->method->ssl3_enc->setup_key_block(s)
1563 || !s->method->ssl3_enc->change_cipher_state(s,
Matt Caswell92760c22016-11-09 14:06:12 +00001564 SSL3_CC_HANDSHAKE | SSL3_CHANGE_CIPHER_CLIENT_READ))) {
1565 al = SSL_AD_INTERNAL_ERROR;
1566 SSLerr(SSL_F_TLS_PROCESS_SERVER_HELLO, SSL_R_CANNOT_CHANGE_CIPHER);
1567 goto f_err;
1568 }
1569
Matt Caswell1b0286a2016-12-05 17:31:37 +00001570 OPENSSL_free(extensions);
Matt Caswellb9908bf2015-07-29 14:08:49 +01001571 return MSG_PROCESS_CONTINUE_READING;
Matt Caswell0f113f32015-01-22 03:40:55 +00001572 f_err:
1573 ssl3_send_alert(s, SSL3_AL_FATAL, al);
Matt Caswellfe3a3292015-10-05 10:39:54 +01001574 ossl_statem_set_error(s);
Matt Caswell1b0286a2016-12-05 17:31:37 +00001575 OPENSSL_free(extensions);
Matt Caswellb9908bf2015-07-29 14:08:49 +01001576 return MSG_PROCESS_ERROR;
Matt Caswell0f113f32015-01-22 03:40:55 +00001577}
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00001578
Matt Caswell3847d422017-02-01 13:31:27 +00001579static MSG_PROCESS_RETURN tls_process_hello_retry_request(SSL *s, PACKET *pkt)
1580{
1581 unsigned int sversion;
Matt Caswell2248dbe2017-02-06 16:47:29 +00001582 int errorcode;
Matt Caswell11c67ee2017-03-13 15:21:15 +00001583 const unsigned char *cipherchars;
Matt Caswell3847d422017-02-01 13:31:27 +00001584 RAW_EXTENSION *extensions = NULL;
1585 int al;
1586 PACKET extpkt;
1587
1588 if (!PACKET_get_net_2(pkt, &sversion)) {
1589 al = SSL_AD_DECODE_ERROR;
1590 SSLerr(SSL_F_TLS_PROCESS_HELLO_RETRY_REQUEST, SSL_R_LENGTH_MISMATCH);
1591 goto f_err;
1592 }
1593
1594 s->hello_retry_request = 1;
1595
1596 /* This will fail if it doesn't choose TLSv1.3+ */
Matt Caswellc3043dc2017-03-22 11:50:32 +00001597 errorcode = ssl_choose_client_version(s, sversion, 0, &al);
Matt Caswell2248dbe2017-02-06 16:47:29 +00001598 if (errorcode != 0) {
Matt Caswell2248dbe2017-02-06 16:47:29 +00001599 SSLerr(SSL_F_TLS_PROCESS_HELLO_RETRY_REQUEST, errorcode);
Matt Caswell3847d422017-02-01 13:31:27 +00001600 goto f_err;
1601 }
1602
Matt Caswell11c67ee2017-03-13 15:21:15 +00001603 if (!PACKET_get_bytes(pkt, &cipherchars, TLS_CIPHER_LEN)) {
1604 SSLerr(SSL_F_TLS_PROCESS_HELLO_RETRY_REQUEST, SSL_R_LENGTH_MISMATCH);
1605 al = SSL_AD_DECODE_ERROR;
1606 goto f_err;
1607 }
1608
1609 if (!set_client_ciphersuite(s, cipherchars)) {
1610 al = SSL_AD_ILLEGAL_PARAMETER;
1611 goto f_err;
1612 }
1613
Matt Caswell66d4bf62017-05-08 16:05:16 +01001614 if (!PACKET_as_length_prefixed_2(pkt, &extpkt)
1615 /* Must have a non-empty extensions block */
1616 || PACKET_remaining(&extpkt) == 0
1617 /* Must be no trailing data after extensions */
1618 || PACKET_remaining(pkt) != 0) {
Matt Caswell3847d422017-02-01 13:31:27 +00001619 al = SSL_AD_DECODE_ERROR;
1620 SSLerr(SSL_F_TLS_PROCESS_HELLO_RETRY_REQUEST, SSL_R_BAD_LENGTH);
1621 goto f_err;
1622 }
1623
Matt Caswellfe874d22017-04-04 11:40:02 +01001624 if (!tls_collect_extensions(s, &extpkt, SSL_EXT_TLS1_3_HELLO_RETRY_REQUEST,
Tatsuhiro Tsujikawa735d5b52017-04-18 23:59:39 +09001625 &extensions, &al, NULL, 1)
Matt Caswellfe874d22017-04-04 11:40:02 +01001626 || !tls_parse_all_extensions(s, SSL_EXT_TLS1_3_HELLO_RETRY_REQUEST,
Tatsuhiro Tsujikawa735d5b52017-04-18 23:59:39 +09001627 extensions, NULL, 0, &al, 1))
Matt Caswell3847d422017-02-01 13:31:27 +00001628 goto f_err;
1629
1630 OPENSSL_free(extensions);
Matt Caswell66d4bf62017-05-08 16:05:16 +01001631 extensions = NULL;
1632
1633 if (s->ext.tls13_cookie_len == 0 && s->s3->tmp.pkey != NULL) {
1634 /*
1635 * We didn't receive a cookie or a new key_share so the next
1636 * ClientHello will not change
1637 */
1638 al = SSL_AD_ILLEGAL_PARAMETER;
1639 SSLerr(SSL_F_TLS_PROCESS_HELLO_RETRY_REQUEST,
1640 SSL_R_NO_CHANGE_FOLLOWING_HRR);
1641 goto f_err;
1642 }
Matt Caswell3847d422017-02-01 13:31:27 +00001643
Matt Caswell11c67ee2017-03-13 15:21:15 +00001644 /*
1645 * Re-initialise the Transcript Hash. We're going to prepopulate it with
1646 * a synthetic message_hash in place of ClientHello1.
1647 */
1648 if (!create_synthetic_message_hash(s)) {
1649 al = SSL_AD_INTERNAL_ERROR;
1650 goto f_err;
1651 }
1652
1653 /*
1654 * Add this message to the Transcript Hash. Normally this is done
1655 * automatically prior to the message processing stage. However due to the
1656 * need to create the synthetic message hash, we defer that step until now
1657 * for HRR messages.
1658 */
1659 if (!ssl3_finish_mac(s, (unsigned char *)s->init_buf->data,
1660 s->init_num + SSL3_HM_HEADER_LENGTH)) {
1661 al = SSL_AD_INTERNAL_ERROR;
1662 SSLerr(SSL_F_TLS_PROCESS_HELLO_RETRY_REQUEST, ERR_R_INTERNAL_ERROR);
1663 goto f_err;
1664 }
1665
Matt Caswell3847d422017-02-01 13:31:27 +00001666 return MSG_PROCESS_FINISHED_READING;
1667 f_err:
1668 ssl3_send_alert(s, SSL3_AL_FATAL, al);
1669 ossl_statem_set_error(s);
1670 OPENSSL_free(extensions);
1671 return MSG_PROCESS_ERROR;
1672}
1673
Matt Caswellbe3583f2015-10-26 11:46:33 +00001674MSG_PROCESS_RETURN tls_process_server_certificate(SSL *s, PACKET *pkt)
Matt Caswellb9908bf2015-07-29 14:08:49 +01001675{
1676 int al, i, ret = MSG_PROCESS_ERROR, exp_idx;
1677 unsigned long cert_list_len, cert_len;
1678 X509 *x = NULL;
Emilia Kasperb6981742016-02-01 15:26:18 +01001679 const unsigned char *certstart, *certbytes;
Matt Caswellb9908bf2015-07-29 14:08:49 +01001680 STACK_OF(X509) *sk = NULL;
1681 EVP_PKEY *pkey = NULL;
Matt Caswelld805a572017-01-06 11:01:14 +00001682 size_t chainidx;
Matt Caswelle96e0f82016-12-02 09:14:15 +00001683 unsigned int context = 0;
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00001684
Matt Caswell0f113f32015-01-22 03:40:55 +00001685 if ((sk = sk_X509_new_null()) == NULL) {
Matt Caswellb9908bf2015-07-29 14:08:49 +01001686 SSLerr(SSL_F_TLS_PROCESS_SERVER_CERTIFICATE, ERR_R_MALLOC_FAILURE);
Matt Caswellcc273a92015-04-30 11:32:35 +01001687 goto err;
Matt Caswell0f113f32015-01-22 03:40:55 +00001688 }
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00001689
Matt Caswelle96e0f82016-12-02 09:14:15 +00001690 if ((SSL_IS_TLS13(s) && !PACKET_get_1(pkt, &context))
1691 || context != 0
1692 || !PACKET_get_net_3(pkt, &cert_list_len)
Matt Caswell1a281aa2017-05-11 08:38:21 +01001693 || PACKET_remaining(pkt) != cert_list_len
1694 || PACKET_remaining(pkt) == 0) {
Matt Caswell0f113f32015-01-22 03:40:55 +00001695 al = SSL_AD_DECODE_ERROR;
Matt Caswellb9908bf2015-07-29 14:08:49 +01001696 SSLerr(SSL_F_TLS_PROCESS_SERVER_CERTIFICATE, SSL_R_LENGTH_MISMATCH);
Matt Caswell0f113f32015-01-22 03:40:55 +00001697 goto f_err;
1698 }
Matt Caswelld805a572017-01-06 11:01:14 +00001699 for (chainidx = 0; PACKET_remaining(pkt); chainidx++) {
Matt Caswell73999b62015-09-10 10:22:30 +01001700 if (!PACKET_get_net_3(pkt, &cert_len)
Emilia Kaspera230b262016-08-05 19:03:17 +02001701 || !PACKET_get_bytes(pkt, &certbytes, cert_len)) {
Matt Caswell0f113f32015-01-22 03:40:55 +00001702 al = SSL_AD_DECODE_ERROR;
Matt Caswellb9908bf2015-07-29 14:08:49 +01001703 SSLerr(SSL_F_TLS_PROCESS_SERVER_CERTIFICATE,
Matt Caswell0f113f32015-01-22 03:40:55 +00001704 SSL_R_CERT_LENGTH_MISMATCH);
1705 goto f_err;
1706 }
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00001707
Matt Caswelldf758a82015-08-04 20:10:06 +01001708 certstart = certbytes;
1709 x = d2i_X509(NULL, (const unsigned char **)&certbytes, cert_len);
Matt Caswell0f113f32015-01-22 03:40:55 +00001710 if (x == NULL) {
1711 al = SSL_AD_BAD_CERTIFICATE;
Matt Caswellb9908bf2015-07-29 14:08:49 +01001712 SSLerr(SSL_F_TLS_PROCESS_SERVER_CERTIFICATE, ERR_R_ASN1_LIB);
Matt Caswell0f113f32015-01-22 03:40:55 +00001713 goto f_err;
1714 }
Matt Caswelldf758a82015-08-04 20:10:06 +01001715 if (certbytes != (certstart + cert_len)) {
Matt Caswell0f113f32015-01-22 03:40:55 +00001716 al = SSL_AD_DECODE_ERROR;
Matt Caswellb9908bf2015-07-29 14:08:49 +01001717 SSLerr(SSL_F_TLS_PROCESS_SERVER_CERTIFICATE,
Matt Caswell0f113f32015-01-22 03:40:55 +00001718 SSL_R_CERT_LENGTH_MISMATCH);
1719 goto f_err;
1720 }
Matt Caswelle96e0f82016-12-02 09:14:15 +00001721
1722 if (SSL_IS_TLS13(s)) {
1723 RAW_EXTENSION *rawexts = NULL;
1724 PACKET extensions;
1725
1726 if (!PACKET_get_length_prefixed_2(pkt, &extensions)) {
1727 al = SSL_AD_DECODE_ERROR;
1728 SSLerr(SSL_F_TLS_PROCESS_SERVER_CERTIFICATE, SSL_R_BAD_LENGTH);
1729 goto f_err;
1730 }
Matt Caswellfe874d22017-04-04 11:40:02 +01001731 if (!tls_collect_extensions(s, &extensions,
1732 SSL_EXT_TLS1_3_CERTIFICATE, &rawexts,
Tatsuhiro Tsujikawa735d5b52017-04-18 23:59:39 +09001733 &al, NULL, chainidx == 0)
Tatsuhiro Tsujikawa8e1634e2017-04-21 22:10:32 +09001734 || !tls_parse_all_extensions(s, SSL_EXT_TLS1_3_CERTIFICATE,
1735 rawexts, x, chainidx, &al,
1736 PACKET_remaining(pkt) == 0)) {
Matt Caswell5ee289e2017-01-25 14:45:12 +00001737 OPENSSL_free(rawexts);
Matt Caswelle96e0f82016-12-02 09:14:15 +00001738 goto f_err;
Matt Caswell5ee289e2017-01-25 14:45:12 +00001739 }
1740 OPENSSL_free(rawexts);
Matt Caswelle96e0f82016-12-02 09:14:15 +00001741 }
1742
Matt Caswell0f113f32015-01-22 03:40:55 +00001743 if (!sk_X509_push(sk, x)) {
Matt Caswellb9908bf2015-07-29 14:08:49 +01001744 SSLerr(SSL_F_TLS_PROCESS_SERVER_CERTIFICATE, ERR_R_MALLOC_FAILURE);
Matt Caswellcc273a92015-04-30 11:32:35 +01001745 goto err;
Matt Caswell0f113f32015-01-22 03:40:55 +00001746 }
1747 x = NULL;
Matt Caswell0f113f32015-01-22 03:40:55 +00001748 }
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00001749
Matt Caswell0f113f32015-01-22 03:40:55 +00001750 i = ssl_verify_cert_chain(s, sk);
Matt Caswellc8e2f982016-10-27 10:46:25 +01001751 /*
1752 * The documented interface is that SSL_VERIFY_PEER should be set in order
1753 * for client side verification of the server certificate to take place.
1754 * However, historically the code has only checked that *any* flag is set
1755 * to cause server verification to take place. Use of the other flags makes
1756 * no sense in client mode. An attempt to clean up the semantics was
1757 * reverted because at least one application *only* set
1758 * SSL_VERIFY_FAIL_IF_NO_PEER_CERT. Prior to the clean up this still caused
1759 * server verification to take place, after the clean up it silently did
1760 * nothing. SSL_CTX_set_verify()/SSL_set_verify() cannot validate the flags
1761 * sent to them because they are void functions. Therefore, we now use the
1762 * (less clean) historic behaviour of performing validation if any flag is
1763 * set. The *documented* interface remains the same.
1764 */
1765 if (s->verify_mode != SSL_VERIFY_NONE && i <= 0) {
Matt Caswell0f113f32015-01-22 03:40:55 +00001766 al = ssl_verify_alarm_type(s->verify_result);
Matt Caswellb9908bf2015-07-29 14:08:49 +01001767 SSLerr(SSL_F_TLS_PROCESS_SERVER_CERTIFICATE,
Matt Caswell0f113f32015-01-22 03:40:55 +00001768 SSL_R_CERTIFICATE_VERIFY_FAILED);
1769 goto f_err;
1770 }
1771 ERR_clear_error(); /* but we keep s->verify_result */
1772 if (i > 1) {
Matt Caswellb9908bf2015-07-29 14:08:49 +01001773 SSLerr(SSL_F_TLS_PROCESS_SERVER_CERTIFICATE, i);
Matt Caswell0f113f32015-01-22 03:40:55 +00001774 al = SSL_AD_HANDSHAKE_FAILURE;
1775 goto f_err;
1776 }
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00001777
Dr. Stephen Hensonc34b0f92015-06-21 19:34:33 +01001778 s->session->peer_chain = sk;
Matt Caswell0f113f32015-01-22 03:40:55 +00001779 /*
1780 * Inconsistency alert: cert_chain does include the peer's certificate,
Matt Caswelld4d78942016-05-17 11:51:00 +01001781 * which we don't include in statem_srvr.c
Matt Caswell0f113f32015-01-22 03:40:55 +00001782 */
1783 x = sk_X509_value(sk, 0);
1784 sk = NULL;
1785 /*
1786 * VRS 19990621: possible memory leak; sk=null ==> !sk_pop_free() @end
1787 */
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00001788
Dr. Stephen Henson8382fd32015-12-20 00:32:36 +00001789 pkey = X509_get0_pubkey(x);
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00001790
Matt Caswell55a9a162015-05-12 10:27:53 +01001791 if (pkey == NULL || EVP_PKEY_missing_parameters(pkey)) {
Matt Caswell0f113f32015-01-22 03:40:55 +00001792 x = NULL;
Matt Caswellf69fe732017-05-10 16:47:24 +01001793 al = SSL_AD_INTERNAL_ERROR;
Matt Caswellb9908bf2015-07-29 14:08:49 +01001794 SSLerr(SSL_F_TLS_PROCESS_SERVER_CERTIFICATE,
Matt Caswell0f113f32015-01-22 03:40:55 +00001795 SSL_R_UNABLE_TO_FIND_PUBLIC_KEY_PARAMETERS);
1796 goto f_err;
1797 }
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00001798
Matt Caswell0f113f32015-01-22 03:40:55 +00001799 i = ssl_cert_type(x, pkey);
Matt Caswell55a9a162015-05-12 10:27:53 +01001800 if (i < 0) {
Matt Caswell0f113f32015-01-22 03:40:55 +00001801 x = NULL;
1802 al = SSL3_AL_FATAL;
Matt Caswellb9908bf2015-07-29 14:08:49 +01001803 SSLerr(SSL_F_TLS_PROCESS_SERVER_CERTIFICATE,
Matt Caswell0f113f32015-01-22 03:40:55 +00001804 SSL_R_UNKNOWN_CERTIFICATE_TYPE);
1805 goto f_err;
1806 }
Dr. Stephen Henson05b84862017-01-30 15:34:25 +00001807 /*
1808 * Check certificate type is consistent with ciphersuite. For TLS 1.3
1809 * skip check since TLS 1.3 ciphersuites can be used with any certificate
1810 * type.
1811 */
1812 if (!SSL_IS_TLS13(s)) {
1813 exp_idx = ssl_cipher_get_cert_index(s->s3->tmp.new_cipher);
1814 if (exp_idx >= 0 && i != exp_idx
1815 && (exp_idx != SSL_PKEY_GOST_EC ||
1816 (i != SSL_PKEY_GOST12_512 && i != SSL_PKEY_GOST12_256
1817 && i != SSL_PKEY_GOST01))) {
1818 x = NULL;
1819 al = SSL_AD_ILLEGAL_PARAMETER;
1820 SSLerr(SSL_F_TLS_PROCESS_SERVER_CERTIFICATE,
1821 SSL_R_WRONG_CERTIFICATE_TYPE);
1822 goto f_err;
1823 }
Matt Caswell0f113f32015-01-22 03:40:55 +00001824 }
Dr. Stephen Hensona273c6e2015-06-21 19:08:57 +01001825 s->session->peer_type = i;
Matt Caswell55a9a162015-05-12 10:27:53 +01001826
1827 X509_free(s->session->peer);
Dr. Stephen Henson05f0fb92015-08-31 20:29:57 +01001828 X509_up_ref(x);
Matt Caswell55a9a162015-05-12 10:27:53 +01001829 s->session->peer = x;
Matt Caswell0f113f32015-01-22 03:40:55 +00001830 s->session->verify_result = s->verify_result;
Matt Caswell0f113f32015-01-22 03:40:55 +00001831 x = NULL;
Matt Caswell2c5dfdc2016-12-05 17:04:51 +00001832
1833 /* Save the current hash state for when we receive the CertificateVerify */
1834 if (SSL_IS_TLS13(s)
1835 && !ssl_handshake_hash(s, s->cert_verify_hash,
1836 sizeof(s->cert_verify_hash),
1837 &s->cert_verify_hash_len)) {
1838 al = SSL_AD_INTERNAL_ERROR;
1839 SSLerr(SSL_F_TLS_PROCESS_SERVER_CERTIFICATE, ERR_R_INTERNAL_ERROR);
1840 goto f_err;
1841 }
1842
Matt Caswellb9908bf2015-07-29 14:08:49 +01001843 ret = MSG_PROCESS_CONTINUE_READING;
Rich Salz66696472015-05-01 14:29:48 -04001844 goto done;
1845
Matt Caswell0f113f32015-01-22 03:40:55 +00001846 f_err:
Rich Salz66696472015-05-01 14:29:48 -04001847 ssl3_send_alert(s, SSL3_AL_FATAL, al);
Matt Caswellcc273a92015-04-30 11:32:35 +01001848 err:
Matt Caswellfe3a3292015-10-05 10:39:54 +01001849 ossl_statem_set_error(s);
Rich Salz66696472015-05-01 14:29:48 -04001850 done:
Matt Caswell0f113f32015-01-22 03:40:55 +00001851 X509_free(x);
1852 sk_X509_pop_free(sk, X509_free);
Matt Caswellb9908bf2015-07-29 14:08:49 +01001853 return ret;
Matt Caswell0f113f32015-01-22 03:40:55 +00001854}
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00001855
Matt Caswell7dc1c642016-07-08 12:44:53 +01001856static int tls_process_ske_psk_preamble(SSL *s, PACKET *pkt, int *al)
Matt Caswell02a74592016-07-08 12:20:42 +01001857{
1858#ifndef OPENSSL_NO_PSK
Matt Caswell7dc1c642016-07-08 12:44:53 +01001859 PACKET psk_identity_hint;
Matt Caswell02a74592016-07-08 12:20:42 +01001860
Matt Caswell7dc1c642016-07-08 12:44:53 +01001861 /* PSK ciphersuites are preceded by an identity hint */
1862
1863 if (!PACKET_get_length_prefixed_2(pkt, &psk_identity_hint)) {
1864 *al = SSL_AD_DECODE_ERROR;
Matt Caswell4fa88862016-07-08 15:48:26 +01001865 SSLerr(SSL_F_TLS_PROCESS_SKE_PSK_PREAMBLE, SSL_R_LENGTH_MISMATCH);
Matt Caswell7dc1c642016-07-08 12:44:53 +01001866 return 0;
1867 }
1868
1869 /*
1870 * Store PSK identity hint for later use, hint is used in
1871 * tls_construct_client_key_exchange. Assume that the maximum length of
1872 * a PSK identity hint can be as long as the maximum length of a PSK
1873 * identity.
1874 */
1875 if (PACKET_remaining(&psk_identity_hint) > PSK_MAX_IDENTITY_LEN) {
1876 *al = SSL_AD_HANDSHAKE_FAILURE;
Matt Caswell4fa88862016-07-08 15:48:26 +01001877 SSLerr(SSL_F_TLS_PROCESS_SKE_PSK_PREAMBLE, SSL_R_DATA_LENGTH_TOO_LONG);
Matt Caswell7dc1c642016-07-08 12:44:53 +01001878 return 0;
1879 }
1880
1881 if (PACKET_remaining(&psk_identity_hint) == 0) {
1882 OPENSSL_free(s->session->psk_identity_hint);
1883 s->session->psk_identity_hint = NULL;
1884 } else if (!PACKET_strndup(&psk_identity_hint,
Emilia Kaspera230b262016-08-05 19:03:17 +02001885 &s->session->psk_identity_hint)) {
Matt Caswell7dc1c642016-07-08 12:44:53 +01001886 *al = SSL_AD_INTERNAL_ERROR;
1887 return 0;
1888 }
1889
1890 return 1;
Matt Caswell02a74592016-07-08 12:20:42 +01001891#else
Matt Caswell4fa88862016-07-08 15:48:26 +01001892 SSLerr(SSL_F_TLS_PROCESS_SKE_PSK_PREAMBLE, ERR_R_INTERNAL_ERROR);
Matt Caswell7dc1c642016-07-08 12:44:53 +01001893 *al = SSL_AD_INTERNAL_ERROR;
1894 return 0;
Matt Caswell02a74592016-07-08 12:20:42 +01001895#endif
1896}
1897
Matt Caswell25c6c102016-07-08 14:55:56 +01001898static int tls_process_ske_srp(SSL *s, PACKET *pkt, EVP_PKEY **pkey, int *al)
1899{
1900#ifndef OPENSSL_NO_SRP
1901 PACKET prime, generator, salt, server_pub;
1902
1903 if (!PACKET_get_length_prefixed_2(pkt, &prime)
1904 || !PACKET_get_length_prefixed_2(pkt, &generator)
1905 || !PACKET_get_length_prefixed_1(pkt, &salt)
1906 || !PACKET_get_length_prefixed_2(pkt, &server_pub)) {
1907 *al = SSL_AD_DECODE_ERROR;
Matt Caswell4fa88862016-07-08 15:48:26 +01001908 SSLerr(SSL_F_TLS_PROCESS_SKE_SRP, SSL_R_LENGTH_MISMATCH);
Matt Caswell25c6c102016-07-08 14:55:56 +01001909 return 0;
1910 }
1911
Matt Caswell348240c2016-10-19 15:11:24 +01001912 /* TODO(size_t): Convert BN_bin2bn() calls */
Matt Caswell25c6c102016-07-08 14:55:56 +01001913 if ((s->srp_ctx.N =
1914 BN_bin2bn(PACKET_data(&prime),
Matt Caswell348240c2016-10-19 15:11:24 +01001915 (int)PACKET_remaining(&prime), NULL)) == NULL
Matt Caswell25c6c102016-07-08 14:55:56 +01001916 || (s->srp_ctx.g =
1917 BN_bin2bn(PACKET_data(&generator),
Matt Caswell348240c2016-10-19 15:11:24 +01001918 (int)PACKET_remaining(&generator), NULL)) == NULL
Matt Caswell25c6c102016-07-08 14:55:56 +01001919 || (s->srp_ctx.s =
1920 BN_bin2bn(PACKET_data(&salt),
Matt Caswell348240c2016-10-19 15:11:24 +01001921 (int)PACKET_remaining(&salt), NULL)) == NULL
Matt Caswell25c6c102016-07-08 14:55:56 +01001922 || (s->srp_ctx.B =
1923 BN_bin2bn(PACKET_data(&server_pub),
Matt Caswell348240c2016-10-19 15:11:24 +01001924 (int)PACKET_remaining(&server_pub), NULL)) == NULL) {
Matt Caswell25c6c102016-07-08 14:55:56 +01001925 *al = SSL_AD_INTERNAL_ERROR;
Matt Caswell4fa88862016-07-08 15:48:26 +01001926 SSLerr(SSL_F_TLS_PROCESS_SKE_SRP, ERR_R_BN_LIB);
Matt Caswell25c6c102016-07-08 14:55:56 +01001927 return 0;
1928 }
1929
1930 if (!srp_verify_server_param(s, al)) {
1931 *al = SSL_AD_DECODE_ERROR;
Matt Caswell4fa88862016-07-08 15:48:26 +01001932 SSLerr(SSL_F_TLS_PROCESS_SKE_SRP, SSL_R_BAD_SRP_PARAMETERS);
Matt Caswell25c6c102016-07-08 14:55:56 +01001933 return 0;
1934 }
1935
1936 /* We must check if there is a certificate */
Emilia Kaspera230b262016-08-05 19:03:17 +02001937 if (s->s3->tmp.new_cipher->algorithm_auth & (SSL_aRSA | SSL_aDSS))
Matt Caswell25c6c102016-07-08 14:55:56 +01001938 *pkey = X509_get0_pubkey(s->session->peer);
1939
1940 return 1;
1941#else
Matt Caswell4fa88862016-07-08 15:48:26 +01001942 SSLerr(SSL_F_TLS_PROCESS_SKE_SRP, ERR_R_INTERNAL_ERROR);
Matt Caswell25c6c102016-07-08 14:55:56 +01001943 *al = SSL_AD_INTERNAL_ERROR;
1944 return 0;
1945#endif
1946}
1947
Matt Caswelle01a6102016-07-08 15:08:50 +01001948static int tls_process_ske_dhe(SSL *s, PACKET *pkt, EVP_PKEY **pkey, int *al)
1949{
1950#ifndef OPENSSL_NO_DH
1951 PACKET prime, generator, pub_key;
1952 EVP_PKEY *peer_tmp = NULL;
1953
1954 DH *dh = NULL;
1955 BIGNUM *p = NULL, *g = NULL, *bnpub_key = NULL;
1956
Richard Levitte26505152016-12-30 21:57:28 +01001957 int check_bits = 0;
1958
Matt Caswelle01a6102016-07-08 15:08:50 +01001959 if (!PACKET_get_length_prefixed_2(pkt, &prime)
1960 || !PACKET_get_length_prefixed_2(pkt, &generator)
1961 || !PACKET_get_length_prefixed_2(pkt, &pub_key)) {
1962 *al = SSL_AD_DECODE_ERROR;
Matt Caswell4fa88862016-07-08 15:48:26 +01001963 SSLerr(SSL_F_TLS_PROCESS_SKE_DHE, SSL_R_LENGTH_MISMATCH);
Matt Caswelle01a6102016-07-08 15:08:50 +01001964 return 0;
1965 }
1966
1967 peer_tmp = EVP_PKEY_new();
1968 dh = DH_new();
1969
1970 if (peer_tmp == NULL || dh == NULL) {
1971 *al = SSL_AD_INTERNAL_ERROR;
Matt Caswell4fa88862016-07-08 15:48:26 +01001972 SSLerr(SSL_F_TLS_PROCESS_SKE_DHE, ERR_R_MALLOC_FAILURE);
Matt Caswelle01a6102016-07-08 15:08:50 +01001973 goto err;
1974 }
1975
Matt Caswell348240c2016-10-19 15:11:24 +01001976 /* TODO(size_t): Convert these calls */
1977 p = BN_bin2bn(PACKET_data(&prime), (int)PACKET_remaining(&prime), NULL);
1978 g = BN_bin2bn(PACKET_data(&generator), (int)PACKET_remaining(&generator),
1979 NULL);
1980 bnpub_key = BN_bin2bn(PACKET_data(&pub_key),
1981 (int)PACKET_remaining(&pub_key), NULL);
Matt Caswelle01a6102016-07-08 15:08:50 +01001982 if (p == NULL || g == NULL || bnpub_key == NULL) {
1983 *al = SSL_AD_INTERNAL_ERROR;
Matt Caswell4fa88862016-07-08 15:48:26 +01001984 SSLerr(SSL_F_TLS_PROCESS_SKE_DHE, ERR_R_BN_LIB);
Matt Caswelle01a6102016-07-08 15:08:50 +01001985 goto err;
1986 }
1987
FdaSilvaYY69687aa2017-03-28 23:57:28 +02001988 /* test non-zero pubkey */
Richard Levitte26505152016-12-30 21:57:28 +01001989 if (BN_is_zero(bnpub_key)) {
Matt Caswelle01a6102016-07-08 15:08:50 +01001990 *al = SSL_AD_DECODE_ERROR;
Matt Caswell4fa88862016-07-08 15:48:26 +01001991 SSLerr(SSL_F_TLS_PROCESS_SKE_DHE, SSL_R_BAD_DH_VALUE);
Matt Caswelle01a6102016-07-08 15:08:50 +01001992 goto err;
1993 }
1994
1995 if (!DH_set0_pqg(dh, p, NULL, g)) {
1996 *al = SSL_AD_INTERNAL_ERROR;
Matt Caswell4fa88862016-07-08 15:48:26 +01001997 SSLerr(SSL_F_TLS_PROCESS_SKE_DHE, ERR_R_BN_LIB);
Matt Caswelle01a6102016-07-08 15:08:50 +01001998 goto err;
1999 }
2000 p = g = NULL;
2001
Richard Levitte26505152016-12-30 21:57:28 +01002002 if (DH_check_params(dh, &check_bits) == 0 || check_bits != 0) {
2003 *al = SSL_AD_DECODE_ERROR;
2004 SSLerr(SSL_F_TLS_PROCESS_SKE_DHE, SSL_R_BAD_DH_VALUE);
2005 goto err;
2006 }
2007
Matt Caswelle01a6102016-07-08 15:08:50 +01002008 if (!DH_set0_key(dh, bnpub_key, NULL)) {
2009 *al = SSL_AD_INTERNAL_ERROR;
Matt Caswell4fa88862016-07-08 15:48:26 +01002010 SSLerr(SSL_F_TLS_PROCESS_SKE_DHE, ERR_R_BN_LIB);
Matt Caswelle01a6102016-07-08 15:08:50 +01002011 goto err;
2012 }
2013 bnpub_key = NULL;
2014
2015 if (!ssl_security(s, SSL_SECOP_TMP_DH, DH_security_bits(dh), 0, dh)) {
2016 *al = SSL_AD_HANDSHAKE_FAILURE;
Matt Caswell4fa88862016-07-08 15:48:26 +01002017 SSLerr(SSL_F_TLS_PROCESS_SKE_DHE, SSL_R_DH_KEY_TOO_SMALL);
Matt Caswelle01a6102016-07-08 15:08:50 +01002018 goto err;
2019 }
2020
2021 if (EVP_PKEY_assign_DH(peer_tmp, dh) == 0) {
2022 *al = SSL_AD_INTERNAL_ERROR;
Matt Caswell4fa88862016-07-08 15:48:26 +01002023 SSLerr(SSL_F_TLS_PROCESS_SKE_DHE, ERR_R_EVP_LIB);
Matt Caswelle01a6102016-07-08 15:08:50 +01002024 goto err;
2025 }
2026
2027 s->s3->peer_tmp = peer_tmp;
2028
2029 /*
2030 * FIXME: This makes assumptions about which ciphersuites come with
2031 * public keys. We should have a less ad-hoc way of doing this
2032 */
Emilia Kaspera230b262016-08-05 19:03:17 +02002033 if (s->s3->tmp.new_cipher->algorithm_auth & (SSL_aRSA | SSL_aDSS))
Matt Caswelle01a6102016-07-08 15:08:50 +01002034 *pkey = X509_get0_pubkey(s->session->peer);
2035 /* else anonymous DH, so no certificate or pkey. */
2036
2037 return 1;
2038
2039 err:
2040 BN_free(p);
2041 BN_free(g);
2042 BN_free(bnpub_key);
2043 DH_free(dh);
2044 EVP_PKEY_free(peer_tmp);
2045
2046 return 0;
2047#else
Matt Caswell4fa88862016-07-08 15:48:26 +01002048 SSLerr(SSL_F_TLS_PROCESS_SKE_DHE, ERR_R_INTERNAL_ERROR);
Matt Caswelle01a6102016-07-08 15:08:50 +01002049 *al = SSL_AD_INTERNAL_ERROR;
2050 return 0;
2051#endif
2052}
2053
Matt Caswellff74aeb2016-07-08 15:26:13 +01002054static int tls_process_ske_ecdhe(SSL *s, PACKET *pkt, EVP_PKEY **pkey, int *al)
2055{
2056#ifndef OPENSSL_NO_EC
2057 PACKET encoded_pt;
2058 const unsigned char *ecparams;
2059 int curve_nid;
Dr. Stephen Hensonec246302016-08-11 15:41:49 +01002060 unsigned int curve_flags;
Matt Caswellff74aeb2016-07-08 15:26:13 +01002061 EVP_PKEY_CTX *pctx = NULL;
2062
2063 /*
2064 * Extract elliptic curve parameters and the server's ephemeral ECDH
2065 * public key. For now we only support named (not generic) curves and
2066 * ECParameters in this case is just three bytes.
2067 */
2068 if (!PACKET_get_bytes(pkt, &ecparams, 3)) {
2069 *al = SSL_AD_DECODE_ERROR;
Matt Caswell4fa88862016-07-08 15:48:26 +01002070 SSLerr(SSL_F_TLS_PROCESS_SKE_ECDHE, SSL_R_LENGTH_TOO_SHORT);
Matt Caswellff74aeb2016-07-08 15:26:13 +01002071 return 0;
2072 }
2073 /*
2074 * Check curve is one of our preferences, if not server has sent an
2075 * invalid curve. ECParameters is 3 bytes.
2076 */
2077 if (!tls1_check_curve(s, ecparams, 3)) {
2078 *al = SSL_AD_DECODE_ERROR;
Matt Caswell4fa88862016-07-08 15:48:26 +01002079 SSLerr(SSL_F_TLS_PROCESS_SKE_ECDHE, SSL_R_WRONG_CURVE);
Matt Caswellff74aeb2016-07-08 15:26:13 +01002080 return 0;
2081 }
2082
Dr. Stephen Hensonec246302016-08-11 15:41:49 +01002083 curve_nid = tls1_ec_curve_id2nid(*(ecparams + 2), &curve_flags);
2084
Emilia Kaspera230b262016-08-05 19:03:17 +02002085 if (curve_nid == 0) {
Matt Caswellff74aeb2016-07-08 15:26:13 +01002086 *al = SSL_AD_INTERNAL_ERROR;
Matt Caswell4fa88862016-07-08 15:48:26 +01002087 SSLerr(SSL_F_TLS_PROCESS_SKE_ECDHE,
Matt Caswellff74aeb2016-07-08 15:26:13 +01002088 SSL_R_UNABLE_TO_FIND_ECDH_PARAMETERS);
2089 return 0;
2090 }
2091
Dr. Stephen Hensonec246302016-08-11 15:41:49 +01002092 if ((curve_flags & TLS_CURVE_TYPE) == TLS_CURVE_CUSTOM) {
2093 EVP_PKEY *key = EVP_PKEY_new();
2094
2095 if (key == NULL || !EVP_PKEY_set_type(key, curve_nid)) {
2096 *al = SSL_AD_INTERNAL_ERROR;
2097 SSLerr(SSL_F_TLS_PROCESS_SKE_ECDHE, ERR_R_EVP_LIB);
2098 EVP_PKEY_free(key);
2099 return 0;
2100 }
2101 s->s3->peer_tmp = key;
2102 } else {
2103 /* Set up EVP_PKEY with named curve as parameters */
2104 pctx = EVP_PKEY_CTX_new_id(EVP_PKEY_EC, NULL);
2105 if (pctx == NULL
2106 || EVP_PKEY_paramgen_init(pctx) <= 0
2107 || EVP_PKEY_CTX_set_ec_paramgen_curve_nid(pctx, curve_nid) <= 0
2108 || EVP_PKEY_paramgen(pctx, &s->s3->peer_tmp) <= 0) {
2109 *al = SSL_AD_INTERNAL_ERROR;
2110 SSLerr(SSL_F_TLS_PROCESS_SKE_ECDHE, ERR_R_EVP_LIB);
2111 EVP_PKEY_CTX_free(pctx);
2112 return 0;
2113 }
Matt Caswellff74aeb2016-07-08 15:26:13 +01002114 EVP_PKEY_CTX_free(pctx);
Dr. Stephen Hensonec246302016-08-11 15:41:49 +01002115 pctx = NULL;
Matt Caswellff74aeb2016-07-08 15:26:13 +01002116 }
Matt Caswellff74aeb2016-07-08 15:26:13 +01002117
2118 if (!PACKET_get_length_prefixed_1(pkt, &encoded_pt)) {
2119 *al = SSL_AD_DECODE_ERROR;
Matt Caswell4fa88862016-07-08 15:48:26 +01002120 SSLerr(SSL_F_TLS_PROCESS_SKE_ECDHE, SSL_R_LENGTH_MISMATCH);
Matt Caswellff74aeb2016-07-08 15:26:13 +01002121 return 0;
2122 }
2123
Dr. Stephen Hensonec246302016-08-11 15:41:49 +01002124 if (!EVP_PKEY_set1_tls_encodedpoint(s->s3->peer_tmp,
2125 PACKET_data(&encoded_pt),
2126 PACKET_remaining(&encoded_pt))) {
Matt Caswellff74aeb2016-07-08 15:26:13 +01002127 *al = SSL_AD_DECODE_ERROR;
Matt Caswell4fa88862016-07-08 15:48:26 +01002128 SSLerr(SSL_F_TLS_PROCESS_SKE_ECDHE, SSL_R_BAD_ECPOINT);
Matt Caswellff74aeb2016-07-08 15:26:13 +01002129 return 0;
2130 }
2131
2132 /*
2133 * The ECC/TLS specification does not mention the use of DSA to sign
2134 * ECParameters in the server key exchange message. We do support RSA
2135 * and ECDSA.
2136 */
2137 if (s->s3->tmp.new_cipher->algorithm_auth & SSL_aECDSA)
2138 *pkey = X509_get0_pubkey(s->session->peer);
2139 else if (s->s3->tmp.new_cipher->algorithm_auth & SSL_aRSA)
2140 *pkey = X509_get0_pubkey(s->session->peer);
2141 /* else anonymous ECDH, so no certificate or pkey. */
2142
2143 return 1;
2144#else
Matt Caswell4fa88862016-07-08 15:48:26 +01002145 SSLerr(SSL_F_TLS_PROCESS_SKE_ECDHE, ERR_R_INTERNAL_ERROR);
Matt Caswellff74aeb2016-07-08 15:26:13 +01002146 *al = SSL_AD_INTERNAL_ERROR;
2147 return 0;
2148#endif
2149}
2150
Matt Caswellbe3583f2015-10-26 11:46:33 +00002151MSG_PROCESS_RETURN tls_process_key_exchange(SSL *s, PACKET *pkt)
Matt Caswellb9908bf2015-07-29 14:08:49 +01002152{
Dr. Stephen Henson5554fac2017-01-25 16:46:02 +00002153 int al = -1;
Matt Caswelle1e588a2016-07-08 15:41:36 +01002154 long alg_k;
Matt Caswell0f113f32015-01-22 03:40:55 +00002155 EVP_PKEY *pkey = NULL;
Matt Caswellfe3066e2017-01-03 10:01:39 +00002156 EVP_MD_CTX *md_ctx = NULL;
2157 EVP_PKEY_CTX *pctx = NULL;
Matt Caswell73999b62015-09-10 10:22:30 +01002158 PACKET save_param_start, signature;
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00002159
Matt Caswell0f113f32015-01-22 03:40:55 +00002160 alg_k = s->s3->tmp.new_cipher->algorithm_mkey;
Dr. Stephen Hensonb15f8762014-10-24 12:30:33 +01002161
Matt Caswell73999b62015-09-10 10:22:30 +01002162 save_param_start = *pkt;
Dr. Stephen Henson8d92c1f2015-06-21 16:26:08 +01002163
Ben Laurie3260adf2016-07-31 15:48:24 +01002164#if !defined(OPENSSL_NO_EC) || !defined(OPENSSL_NO_DH)
Dr. Stephen Henson61dd9f72015-12-14 00:33:33 +00002165 EVP_PKEY_free(s->s3->peer_tmp);
2166 s->s3->peer_tmp = NULL;
Ben Laurie3260adf2016-07-31 15:48:24 +01002167#endif
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00002168
Dr. Stephen Henson76890822015-06-28 17:15:10 +01002169 if (alg_k & SSL_PSK) {
Matt Caswell7dc1c642016-07-08 12:44:53 +01002170 if (!tls_process_ske_psk_preamble(s, pkt, &al))
2171 goto err;
Dr. Stephen Henson76890822015-06-28 17:15:10 +01002172 }
2173
2174 /* Nothing else to do for plain PSK or RSAPSK */
2175 if (alg_k & (SSL_kPSK | SSL_kRSAPSK)) {
Matt Caswell25c6c102016-07-08 14:55:56 +01002176 } else if (alg_k & SSL_kSRP) {
2177 if (!tls_process_ske_srp(s, pkt, &pkey, &al))
Matt Caswell0f113f32015-01-22 03:40:55 +00002178 goto err;
Matt Caswelle01a6102016-07-08 15:08:50 +01002179 } else if (alg_k & (SSL_kDHE | SSL_kDHEPSK)) {
2180 if (!tls_process_ske_dhe(s, pkt, &pkey, &al))
2181 goto err;
Matt Caswellff74aeb2016-07-08 15:26:13 +01002182 } else if (alg_k & (SSL_kECDHE | SSL_kECDHEPSK)) {
2183 if (!tls_process_ske_ecdhe(s, pkt, &pkey, &al))
2184 goto err;
Matt Caswell0f113f32015-01-22 03:40:55 +00002185 } else if (alg_k) {
2186 al = SSL_AD_UNEXPECTED_MESSAGE;
Matt Caswellb9908bf2015-07-29 14:08:49 +01002187 SSLerr(SSL_F_TLS_PROCESS_KEY_EXCHANGE, SSL_R_UNEXPECTED_MESSAGE);
Matt Caswelle1e588a2016-07-08 15:41:36 +01002188 goto err;
Matt Caswell0f113f32015-01-22 03:40:55 +00002189 }
Ralf S. Engelschalldfeab061998-12-21 11:00:56 +00002190
Matt Caswell0f113f32015-01-22 03:40:55 +00002191 /* if it was signed, check the signature */
2192 if (pkey != NULL) {
Emilia Kasper32942872015-10-02 14:40:30 +02002193 PACKET params;
Matt Caswellbe8dba22016-07-08 12:18:18 +01002194 int maxsig;
2195 const EVP_MD *md = NULL;
Matt Caswelle1e588a2016-07-08 15:41:36 +01002196
Emilia Kasper32942872015-10-02 14:40:30 +02002197 /*
2198 * |pkt| now points to the beginning of the signature, so the difference
2199 * equals the length of the parameters.
2200 */
2201 if (!PACKET_get_sub_packet(&save_param_start, &params,
2202 PACKET_remaining(&save_param_start) -
Matt Caswell73999b62015-09-10 10:22:30 +01002203 PACKET_remaining(pkt))) {
Emilia Kasper32942872015-10-02 14:40:30 +02002204 al = SSL_AD_INTERNAL_ERROR;
Matt Caswellf0659bd2015-10-22 14:02:46 +01002205 SSLerr(SSL_F_TLS_PROCESS_KEY_EXCHANGE, ERR_R_INTERNAL_ERROR);
Matt Caswelle1e588a2016-07-08 15:41:36 +01002206 goto err;
Emilia Kasper32942872015-10-02 14:40:30 +02002207 }
2208
Matt Caswell0f113f32015-01-22 03:40:55 +00002209 if (SSL_USE_SIGALGS(s)) {
Matt Caswell703bcee2016-12-14 14:31:21 +00002210 unsigned int sigalg;
Matt Caswell0f113f32015-01-22 03:40:55 +00002211 int rv;
Matt Caswell703bcee2016-12-14 14:31:21 +00002212
2213 if (!PACKET_get_net_2(pkt, &sigalg)) {
Matt Caswelle1e588a2016-07-08 15:41:36 +01002214 al = SSL_AD_DECODE_ERROR;
Matt Caswellf0659bd2015-10-22 14:02:46 +01002215 SSLerr(SSL_F_TLS_PROCESS_KEY_EXCHANGE, SSL_R_LENGTH_TOO_SHORT);
Matt Caswelle1e588a2016-07-08 15:41:36 +01002216 goto err;
Matt Caswell0f113f32015-01-22 03:40:55 +00002217 }
Dr. Stephen Henson5554fac2017-01-25 16:46:02 +00002218 rv = tls12_check_peer_sigalg(s, sigalg, pkey);
Matt Caswelle1e588a2016-07-08 15:41:36 +01002219 if (rv == -1) {
2220 al = SSL_AD_INTERNAL_ERROR;
Matt Caswell0f113f32015-01-22 03:40:55 +00002221 goto err;
Matt Caswelle1e588a2016-07-08 15:41:36 +01002222 } else if (rv == 0) {
2223 al = SSL_AD_DECODE_ERROR;
2224 goto err;
Matt Caswell0f113f32015-01-22 03:40:55 +00002225 }
Dr. Stephen Hensona2f92002011-05-09 15:44:01 +00002226#ifdef SSL_DEBUG
Matt Caswell0f113f32015-01-22 03:40:55 +00002227 fprintf(stderr, "USING TLSv1.2 HASH %s\n", EVP_MD_name(md));
Dr. Stephen Hensona2f92002011-05-09 15:44:01 +00002228#endif
Dr. Stephen Hensonf365a3e2017-02-13 16:32:06 +00002229 } else if (!tls1_set_peer_legacy_sigalg(s, pkey)) {
2230 al = SSL_AD_INTERNAL_ERROR;
2231 goto err;
Emilia Kasper32942872015-10-02 14:40:30 +02002232 }
Matt Caswellf2be92b2014-07-26 23:47:40 +01002233
Dr. Stephen Hensonf365a3e2017-02-13 16:32:06 +00002234 md = ssl_md(s->s3->tmp.peer_sigalg->hash_idx);
2235
Matt Caswell73999b62015-09-10 10:22:30 +01002236 if (!PACKET_get_length_prefixed_2(pkt, &signature)
2237 || PACKET_remaining(pkt) != 0) {
Matt Caswelle1e588a2016-07-08 15:41:36 +01002238 al = SSL_AD_DECODE_ERROR;
Matt Caswellf0659bd2015-10-22 14:02:46 +01002239 SSLerr(SSL_F_TLS_PROCESS_KEY_EXCHANGE, SSL_R_LENGTH_MISMATCH);
Matt Caswelle1e588a2016-07-08 15:41:36 +01002240 goto err;
Matt Caswell0f113f32015-01-22 03:40:55 +00002241 }
Matt Caswellbe8dba22016-07-08 12:18:18 +01002242 maxsig = EVP_PKEY_size(pkey);
2243 if (maxsig < 0) {
Matt Caswelle1e588a2016-07-08 15:41:36 +01002244 al = SSL_AD_INTERNAL_ERROR;
Matt Caswellb9908bf2015-07-29 14:08:49 +01002245 SSLerr(SSL_F_TLS_PROCESS_KEY_EXCHANGE, ERR_R_INTERNAL_ERROR);
Matt Caswelle1e588a2016-07-08 15:41:36 +01002246 goto err;
Matt Caswell8098fc52015-08-04 21:22:31 +01002247 }
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00002248
Matt Caswell0f113f32015-01-22 03:40:55 +00002249 /*
Matt Caswell8098fc52015-08-04 21:22:31 +01002250 * Check signature length
Matt Caswell0f113f32015-01-22 03:40:55 +00002251 */
Matt Caswellbe8dba22016-07-08 12:18:18 +01002252 if (PACKET_remaining(&signature) > (size_t)maxsig) {
Matt Caswell0f113f32015-01-22 03:40:55 +00002253 /* wrong packet length */
Matt Caswelle1e588a2016-07-08 15:41:36 +01002254 al = SSL_AD_DECODE_ERROR;
Emilia Kaspera230b262016-08-05 19:03:17 +02002255 SSLerr(SSL_F_TLS_PROCESS_KEY_EXCHANGE,
2256 SSL_R_WRONG_SIGNATURE_LENGTH);
Matt Caswelle1e588a2016-07-08 15:41:36 +01002257 goto err;
Matt Caswell0f113f32015-01-22 03:40:55 +00002258 }
Matt Caswelle1e588a2016-07-08 15:41:36 +01002259
2260 md_ctx = EVP_MD_CTX_new();
2261 if (md_ctx == NULL) {
2262 al = SSL_AD_INTERNAL_ERROR;
2263 SSLerr(SSL_F_TLS_PROCESS_KEY_EXCHANGE, ERR_R_MALLOC_FAILURE);
2264 goto err;
2265 }
2266
Matt Caswellfe3066e2017-01-03 10:01:39 +00002267 if (EVP_DigestVerifyInit(md_ctx, &pctx, md, NULL, pkey) <= 0) {
Dr. Stephen Henson192e4bb2015-11-21 03:56:52 +00002268 al = SSL_AD_INTERNAL_ERROR;
2269 SSLerr(SSL_F_TLS_PROCESS_KEY_EXCHANGE, ERR_R_EVP_LIB);
Matt Caswelle1e588a2016-07-08 15:41:36 +01002270 goto err;
Dr. Stephen Henson192e4bb2015-11-21 03:56:52 +00002271 }
Dr. Stephen Henson5554fac2017-01-25 16:46:02 +00002272 if (SSL_USE_PSS(s)) {
Matt Caswellfe3066e2017-01-03 10:01:39 +00002273 if (EVP_PKEY_CTX_set_rsa_padding(pctx, RSA_PKCS1_PSS_PADDING) <= 0
Dr. Stephen Henson91410d42017-01-29 13:38:55 +00002274 || EVP_PKEY_CTX_set_rsa_pss_saltlen(pctx,
Dr. Stephen Henson968ae5b2017-01-25 14:02:00 +00002275 RSA_PSS_SALTLEN_DIGEST) <= 0) {
Matt Caswellfe3066e2017-01-03 10:01:39 +00002276 al = SSL_AD_INTERNAL_ERROR;
2277 SSLerr(SSL_F_TLS_PROCESS_KEY_EXCHANGE, ERR_R_EVP_LIB);
2278 goto err;
2279 }
2280 }
2281 if (EVP_DigestVerifyUpdate(md_ctx, &(s->s3->client_random[0]),
2282 SSL3_RANDOM_SIZE) <= 0
2283 || EVP_DigestVerifyUpdate(md_ctx, &(s->s3->server_random[0]),
2284 SSL3_RANDOM_SIZE) <= 0
2285 || EVP_DigestVerifyUpdate(md_ctx, PACKET_data(&params),
2286 PACKET_remaining(&params)) <= 0) {
2287 al = SSL_AD_INTERNAL_ERROR;
2288 SSLerr(SSL_F_TLS_PROCESS_KEY_EXCHANGE, ERR_R_EVP_LIB);
2289 goto err;
2290 }
2291 if (EVP_DigestVerifyFinal(md_ctx, PACKET_data(&signature),
2292 PACKET_remaining(&signature)) <= 0) {
Dr. Stephen Henson192e4bb2015-11-21 03:56:52 +00002293 /* bad signature */
2294 al = SSL_AD_DECRYPT_ERROR;
2295 SSLerr(SSL_F_TLS_PROCESS_KEY_EXCHANGE, SSL_R_BAD_SIGNATURE);
Matt Caswelle1e588a2016-07-08 15:41:36 +01002296 goto err;
Matt Caswell0f113f32015-01-22 03:40:55 +00002297 }
Matt Caswelle1e588a2016-07-08 15:41:36 +01002298 EVP_MD_CTX_free(md_ctx);
Matt Caswellfe3066e2017-01-03 10:01:39 +00002299 md_ctx = NULL;
Matt Caswell0f113f32015-01-22 03:40:55 +00002300 } else {
Dr. Stephen Henson76890822015-06-28 17:15:10 +01002301 /* aNULL, aSRP or PSK do not need public keys */
Matt Caswelle1e588a2016-07-08 15:41:36 +01002302 if (!(s->s3->tmp.new_cipher->algorithm_auth & (SSL_aNULL | SSL_aSRP))
Emilia Kaspera230b262016-08-05 19:03:17 +02002303 && !(alg_k & SSL_PSK)) {
Matt Caswell0f113f32015-01-22 03:40:55 +00002304 /* Might be wrong key type, check it */
Matt Caswelle1e588a2016-07-08 15:41:36 +01002305 if (ssl3_check_cert_and_algorithm(s)) {
Matt Caswell0f113f32015-01-22 03:40:55 +00002306 /* Otherwise this shouldn't happen */
Matt Caswelle1e588a2016-07-08 15:41:36 +01002307 al = SSL_AD_INTERNAL_ERROR;
Matt Caswellb9908bf2015-07-29 14:08:49 +01002308 SSLerr(SSL_F_TLS_PROCESS_KEY_EXCHANGE, ERR_R_INTERNAL_ERROR);
Matt Caswelle1e588a2016-07-08 15:41:36 +01002309 } else {
2310 al = SSL_AD_DECODE_ERROR;
2311 }
Matt Caswell0f113f32015-01-22 03:40:55 +00002312 goto err;
2313 }
2314 /* still data left over */
Matt Caswell73999b62015-09-10 10:22:30 +01002315 if (PACKET_remaining(pkt) != 0) {
Matt Caswelle1e588a2016-07-08 15:41:36 +01002316 al = SSL_AD_DECODE_ERROR;
Matt Caswellb9908bf2015-07-29 14:08:49 +01002317 SSLerr(SSL_F_TLS_PROCESS_KEY_EXCHANGE, SSL_R_EXTRA_DATA_IN_MESSAGE);
Matt Caswelle1e588a2016-07-08 15:41:36 +01002318 goto err;
Matt Caswell0f113f32015-01-22 03:40:55 +00002319 }
2320 }
Matt Caswelle1e588a2016-07-08 15:41:36 +01002321
Matt Caswellb9908bf2015-07-29 14:08:49 +01002322 return MSG_PROCESS_CONTINUE_READING;
Matt Caswell0f113f32015-01-22 03:40:55 +00002323 err:
Matt Caswell7dc1c642016-07-08 12:44:53 +01002324 if (al != -1)
2325 ssl3_send_alert(s, SSL3_AL_FATAL, al);
Matt Caswellfe3a3292015-10-05 10:39:54 +01002326 ossl_statem_set_error(s);
Matt Caswellfe3066e2017-01-03 10:01:39 +00002327 EVP_MD_CTX_free(md_ctx);
Matt Caswellb9908bf2015-07-29 14:08:49 +01002328 return MSG_PROCESS_ERROR;
Matt Caswell0f113f32015-01-22 03:40:55 +00002329}
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00002330
Matt Caswellbe3583f2015-10-26 11:46:33 +00002331MSG_PROCESS_RETURN tls_process_certificate_request(SSL *s, PACKET *pkt)
Matt Caswellb9908bf2015-07-29 14:08:49 +01002332{
2333 int ret = MSG_PROCESS_ERROR;
Dr. Stephen Henson32f66102017-03-13 13:29:34 +00002334 int al = SSL_AD_DECODE_ERROR;
2335 size_t i;
2336
2337 /* Clear certificate validity flags */
2338 for (i = 0; i < SSL_PKEY_NUM; i++)
2339 s->s3->tmp.valid_flags[i] = 0;
Matt Caswell0f113f32015-01-22 03:40:55 +00002340
Dr. Stephen Henson03f44b92017-02-22 17:26:44 +00002341 if (SSL_IS_TLS13(s)) {
Dr. Stephen Henson32f66102017-03-13 13:29:34 +00002342 PACKET reqctx, extensions;
2343 RAW_EXTENSION *rawexts = NULL;
Dr. Stephen Henson75c13e72017-02-23 22:12:28 +00002344
Dr. Stephen Henson03f44b92017-02-22 17:26:44 +00002345 /* Free and zero certificate types: it is not present in TLS 1.3 */
2346 OPENSSL_free(s->s3->tmp.ctype);
2347 s->s3->tmp.ctype = NULL;
2348 s->s3->tmp.ctype_len = 0;
Dr. Stephen Henson32f66102017-03-13 13:29:34 +00002349
Dr. Stephen Henson03f44b92017-02-22 17:26:44 +00002350 /* TODO(TLS1.3) need to process request context, for now ignore */
2351 if (!PACKET_get_length_prefixed_1(pkt, &reqctx)) {
2352 SSLerr(SSL_F_TLS_PROCESS_CERTIFICATE_REQUEST,
2353 SSL_R_LENGTH_MISMATCH);
Matt Caswell0f113f32015-01-22 03:40:55 +00002354 goto err;
Dr. Stephen Henson03f44b92017-02-22 17:26:44 +00002355 }
Dr. Stephen Henson32f66102017-03-13 13:29:34 +00002356
2357 if (!PACKET_get_length_prefixed_2(pkt, &extensions)) {
Dr. Stephen Henson45615c52017-03-10 16:31:20 +00002358 SSLerr(SSL_F_TLS_PROCESS_CERTIFICATE_REQUEST, SSL_R_BAD_LENGTH);
Dr. Stephen Henson32f66102017-03-13 13:29:34 +00002359 goto err;
2360 }
2361 if (!tls_collect_extensions(s, &extensions,
Matt Caswellfe874d22017-04-04 11:40:02 +01002362 SSL_EXT_TLS1_3_CERTIFICATE_REQUEST,
Tatsuhiro Tsujikawa735d5b52017-04-18 23:59:39 +09002363 &rawexts, &al, NULL, 1)
Matt Caswellfe874d22017-04-04 11:40:02 +01002364 || !tls_parse_all_extensions(s, SSL_EXT_TLS1_3_CERTIFICATE_REQUEST,
Tatsuhiro Tsujikawa735d5b52017-04-18 23:59:39 +09002365 rawexts, NULL, 0, &al, 1)) {
Dr. Stephen Henson32f66102017-03-13 13:29:34 +00002366 OPENSSL_free(rawexts);
2367 goto err;
2368 }
2369 OPENSSL_free(rawexts);
2370 if (!tls1_process_sigalgs(s)) {
2371 al = SSL_AD_INTERNAL_ERROR;
2372 SSLerr(SSL_F_TLS_PROCESS_CERTIFICATE_REQUEST, ERR_R_MALLOC_FAILURE);
2373 goto err;
2374 }
Dr. Stephen Henson03f44b92017-02-22 17:26:44 +00002375 } else {
2376 PACKET ctypes;
2377
2378 /* get the certificate types */
2379 if (!PACKET_get_length_prefixed_1(pkt, &ctypes)) {
Dr. Stephen Henson03f44b92017-02-22 17:26:44 +00002380 SSLerr(SSL_F_TLS_PROCESS_CERTIFICATE_REQUEST,
2381 SSL_R_LENGTH_MISMATCH);
2382 goto err;
2383 }
2384
2385 if (!PACKET_memdup(&ctypes, &s->s3->tmp.ctype, &s->s3->tmp.ctype_len)) {
Dr. Stephen Henson32f66102017-03-13 13:29:34 +00002386 al = SSL_AD_INTERNAL_ERROR;
Dr. Stephen Henson03f44b92017-02-22 17:26:44 +00002387 SSLerr(SSL_F_TLS_PROCESS_CERTIFICATE_REQUEST, ERR_R_INTERNAL_ERROR);
2388 goto err;
2389 }
Matt Caswellac112332015-08-04 22:12:53 +01002390
Dr. Stephen Henson32f66102017-03-13 13:29:34 +00002391 if (SSL_USE_SIGALGS(s)) {
2392 PACKET sigalgs;
Matt Caswell703bcee2016-12-14 14:31:21 +00002393
Dr. Stephen Henson32f66102017-03-13 13:29:34 +00002394 if (!PACKET_get_length_prefixed_2(pkt, &sigalgs)) {
2395 SSLerr(SSL_F_TLS_PROCESS_CERTIFICATE_REQUEST,
2396 SSL_R_LENGTH_MISMATCH);
2397 goto err;
2398 }
2399
2400 if (!tls1_save_sigalgs(s, &sigalgs)) {
2401 SSLerr(SSL_F_TLS_PROCESS_CERTIFICATE_REQUEST,
2402 SSL_R_SIGNATURE_ALGORITHMS_ERROR);
2403 goto err;
2404 }
2405 if (!tls1_process_sigalgs(s)) {
2406 al = SSL_AD_INTERNAL_ERROR;
2407 SSLerr(SSL_F_TLS_PROCESS_CERTIFICATE_REQUEST,
2408 ERR_R_MALLOC_FAILURE);
2409 goto err;
2410 }
Matt Caswell0f113f32015-01-22 03:40:55 +00002411 }
Matt Caswellac112332015-08-04 22:12:53 +01002412
Dr. Stephen Henson32f66102017-03-13 13:29:34 +00002413 /* get the CA RDNs */
2414 if (!parse_ca_names(s, pkt, &al))
Matt Caswell0f113f32015-01-22 03:40:55 +00002415 goto err;
Dr. Stephen Henson03f44b92017-02-22 17:26:44 +00002416 }
2417
2418 if (PACKET_remaining(pkt) != 0) {
Dr. Stephen Henson03f44b92017-02-22 17:26:44 +00002419 SSLerr(SSL_F_TLS_PROCESS_CERTIFICATE_REQUEST, SSL_R_LENGTH_MISMATCH);
2420 goto err;
2421 }
Matt Caswell0f113f32015-01-22 03:40:55 +00002422
Matt Caswell0f113f32015-01-22 03:40:55 +00002423 /* we should setup a certificate to return.... */
2424 s->s3->tmp.cert_req = 1;
Matt Caswell0f113f32015-01-22 03:40:55 +00002425
Matt Caswell05c4f1d2016-06-22 14:31:32 +01002426 ret = MSG_PROCESS_CONTINUE_PROCESSING;
Matt Caswellcc273a92015-04-30 11:32:35 +01002427 goto done;
Matt Caswell0f113f32015-01-22 03:40:55 +00002428 err:
Dr. Stephen Henson32f66102017-03-13 13:29:34 +00002429 ssl3_send_alert(s, SSL3_AL_FATAL, al);
Matt Caswellfe3a3292015-10-05 10:39:54 +01002430 ossl_statem_set_error(s);
Matt Caswellcc273a92015-04-30 11:32:35 +01002431 done:
Matt Caswellb9908bf2015-07-29 14:08:49 +01002432 return ret;
Matt Caswell0f113f32015-01-22 03:40:55 +00002433}
2434
Matt Caswellbe3583f2015-10-26 11:46:33 +00002435MSG_PROCESS_RETURN tls_process_new_session_ticket(SSL *s, PACKET *pkt)
Matt Caswellb9908bf2015-07-29 14:08:49 +01002436{
Matt Caswell6df55ca2017-01-20 13:53:38 +00002437 int al = SSL_AD_DECODE_ERROR;
Matt Caswellb9908bf2015-07-29 14:08:49 +01002438 unsigned int ticklen;
Matt Caswell9ac62442017-01-20 13:50:47 +00002439 unsigned long ticket_lifetime_hint, age_add = 0;
Matt Caswellec60ccc2016-10-04 20:31:19 +01002440 unsigned int sess_len;
Matt Caswellde1df7e2017-01-13 13:32:11 +00002441 RAW_EXTENSION *exts = NULL;
Matt Caswellb9908bf2015-07-29 14:08:49 +01002442
Matt Caswell73999b62015-09-10 10:22:30 +01002443 if (!PACKET_get_net_4(pkt, &ticket_lifetime_hint)
Matt Caswellfc24f0b2017-01-17 10:43:37 +00002444 || (SSL_IS_TLS13(s) && !PACKET_get_net_4(pkt, &age_add))
Emilia Kaspera230b262016-08-05 19:03:17 +02002445 || !PACKET_get_net_2(pkt, &ticklen)
Matt Caswellde1df7e2017-01-13 13:32:11 +00002446 || (!SSL_IS_TLS13(s) && PACKET_remaining(pkt) != ticklen)
Matt Caswell1f5b44e2017-01-20 16:02:07 +00002447 || (SSL_IS_TLS13(s)
2448 && (ticklen == 0 || PACKET_remaining(pkt) < ticklen))) {
Matt Caswellf0659bd2015-10-22 14:02:46 +01002449 SSLerr(SSL_F_TLS_PROCESS_NEW_SESSION_TICKET, SSL_R_LENGTH_MISMATCH);
Emilia Kaspere711da72015-09-10 16:32:51 +02002450 goto f_err;
2451 }
2452
Matt Caswellde1df7e2017-01-13 13:32:11 +00002453 /*
2454 * Server is allowed to change its mind (in <=TLSv1.2) and send an empty
2455 * ticket. We already checked this TLSv1.3 case above, so it should never
2456 * be 0 here in that instance
2457 */
Emilia Kaspere711da72015-09-10 16:32:51 +02002458 if (ticklen == 0)
Matt Caswellc9de4a22015-10-22 15:02:14 +01002459 return MSG_PROCESS_CONTINUE_READING;
Emilia Kaspere711da72015-09-10 16:32:51 +02002460
Matt Caswell150840b2017-03-23 11:22:26 +00002461 /*
2462 * Sessions must be immutable once they go into the session cache. Otherwise
2463 * we can get multi-thread problems. Therefore we don't "update" sessions,
2464 * we replace them with a duplicate. In TLSv1.3 we need to do this every
2465 * time a NewSessionTicket arrives because those messages arrive
2466 * post-handshake and the session may have already gone into the session
2467 * cache.
2468 */
2469 if (SSL_IS_TLS13(s) || s->session->session_id_length > 0) {
Matt Caswell98ece4e2015-05-18 16:27:48 +01002470 int i = s->session_ctx->session_cache_mode;
2471 SSL_SESSION *new_sess;
2472 /*
2473 * We reused an existing session, so we need to replace it with a new
2474 * one
2475 */
2476 if (i & SSL_SESS_CACHE_CLIENT) {
2477 /*
Matt Caswelle4612d02016-06-13 11:24:15 +01002478 * Remove the old session from the cache. We carry on if this fails
Matt Caswell98ece4e2015-05-18 16:27:48 +01002479 */
Matt Caswelle4612d02016-06-13 11:24:15 +01002480 SSL_CTX_remove_session(s->session_ctx, s->session);
Matt Caswell98ece4e2015-05-18 16:27:48 +01002481 }
2482
2483 if ((new_sess = ssl_session_dup(s->session, 0)) == 0) {
2484 al = SSL_AD_INTERNAL_ERROR;
Matt Caswellb9908bf2015-07-29 14:08:49 +01002485 SSLerr(SSL_F_TLS_PROCESS_NEW_SESSION_TICKET, ERR_R_MALLOC_FAILURE);
Matt Caswell98ece4e2015-05-18 16:27:48 +01002486 goto f_err;
2487 }
2488
2489 SSL_SESSION_free(s->session);
2490 s->session = new_sess;
2491 }
2492
Matt Caswellfc24f0b2017-01-17 10:43:37 +00002493 /*
2494 * Technically the cast to long here is not guaranteed by the C standard -
2495 * but we use it elsewhere, so this should be ok.
2496 */
2497 s->session->time = (long)time(NULL);
2498
Rich Salzaff8c122016-12-08 14:18:40 -05002499 OPENSSL_free(s->session->ext.tick);
2500 s->session->ext.tick = NULL;
2501 s->session->ext.ticklen = 0;
Emilia Kaspere711da72015-09-10 16:32:51 +02002502
Rich Salzaff8c122016-12-08 14:18:40 -05002503 s->session->ext.tick = OPENSSL_malloc(ticklen);
2504 if (s->session->ext.tick == NULL) {
Matt Caswellb9908bf2015-07-29 14:08:49 +01002505 SSLerr(SSL_F_TLS_PROCESS_NEW_SESSION_TICKET, ERR_R_MALLOC_FAILURE);
Matt Caswell0f113f32015-01-22 03:40:55 +00002506 goto err;
2507 }
Rich Salzaff8c122016-12-08 14:18:40 -05002508 if (!PACKET_copy_bytes(pkt, s->session->ext.tick, ticklen)) {
Matt Caswell561e12b2015-08-05 14:50:24 +01002509 al = SSL_AD_DECODE_ERROR;
Matt Caswellb9908bf2015-07-29 14:08:49 +01002510 SSLerr(SSL_F_TLS_PROCESS_NEW_SESSION_TICKET, SSL_R_LENGTH_MISMATCH);
Matt Caswell561e12b2015-08-05 14:50:24 +01002511 goto f_err;
2512 }
Emilia Kaspere711da72015-09-10 16:32:51 +02002513
Rich Salzaff8c122016-12-08 14:18:40 -05002514 s->session->ext.tick_lifetime_hint = ticket_lifetime_hint;
Matt Caswellfc24f0b2017-01-17 10:43:37 +00002515 s->session->ext.tick_age_add = age_add;
Rich Salzaff8c122016-12-08 14:18:40 -05002516 s->session->ext.ticklen = ticklen;
Matt Caswellde1df7e2017-01-13 13:32:11 +00002517
2518 if (SSL_IS_TLS13(s)) {
2519 PACKET extpkt;
2520
2521 if (!PACKET_as_length_prefixed_2(pkt, &extpkt)
Matt Caswell26b91722017-05-11 11:31:57 +01002522 || PACKET_remaining(pkt) != 0
Matt Caswellde1df7e2017-01-13 13:32:11 +00002523 || !tls_collect_extensions(s, &extpkt,
Matt Caswellfe874d22017-04-04 11:40:02 +01002524 SSL_EXT_TLS1_3_NEW_SESSION_TICKET,
Tatsuhiro Tsujikawa735d5b52017-04-18 23:59:39 +09002525 &exts, &al, NULL, 1)
Matt Caswellfe874d22017-04-04 11:40:02 +01002526 || !tls_parse_all_extensions(s,
2527 SSL_EXT_TLS1_3_NEW_SESSION_TICKET,
Tatsuhiro Tsujikawa735d5b52017-04-18 23:59:39 +09002528 exts, NULL, 0, &al, 1)) {
Matt Caswellde1df7e2017-01-13 13:32:11 +00002529 SSLerr(SSL_F_TLS_PROCESS_NEW_SESSION_TICKET, SSL_R_BAD_EXTENSION);
2530 goto f_err;
2531 }
2532 }
2533
Matt Caswell0f113f32015-01-22 03:40:55 +00002534 /*
2535 * There are two ways to detect a resumed ticket session. One is to set
2536 * an appropriate session ID and then the server must return a match in
2537 * ServerHello. This allows the normal client session ID matching to work
2538 * and we know much earlier that the ticket has been accepted. The
2539 * other way is to set zero length session ID when the ticket is
2540 * presented and rely on the handshake to determine session resumption.
2541 * We choose the former approach because this fits in with assumptions
2542 * elsewhere in OpenSSL. The session ID is set to the SHA256 (or SHA1 is
2543 * SHA256 is disabled) hash of the ticket.
2544 */
Matt Caswellec60ccc2016-10-04 20:31:19 +01002545 /*
2546 * TODO(size_t): we use sess_len here because EVP_Digest expects an int
2547 * but s->session->session_id_length is a size_t
2548 */
Rich Salzaff8c122016-12-08 14:18:40 -05002549 if (!EVP_Digest(s->session->ext.tick, ticklen,
Matt Caswellec60ccc2016-10-04 20:31:19 +01002550 s->session->session_id, &sess_len,
Dr. Stephen Hensond166ed82016-06-18 15:46:13 +01002551 EVP_sha256(), NULL)) {
2552 SSLerr(SSL_F_TLS_PROCESS_NEW_SESSION_TICKET, ERR_R_EVP_LIB);
2553 goto err;
2554 }
Matt Caswellec60ccc2016-10-04 20:31:19 +01002555 s->session->session_id_length = sess_len;
Matt Caswellde1df7e2017-01-13 13:32:11 +00002556
2557 /* This is a standalone message in TLSv1.3, so there is no more to read */
2558 if (SSL_IS_TLS13(s)) {
Matt Caswell33d93412017-01-30 19:37:17 +00002559 OPENSSL_free(exts);
Matt Caswellde1df7e2017-01-13 13:32:11 +00002560 ssl_update_cache(s, SSL_SESS_CACHE_CLIENT);
2561 return MSG_PROCESS_FINISHED_READING;
2562 }
2563
Matt Caswellb9908bf2015-07-29 14:08:49 +01002564 return MSG_PROCESS_CONTINUE_READING;
Matt Caswell0f113f32015-01-22 03:40:55 +00002565 f_err:
2566 ssl3_send_alert(s, SSL3_AL_FATAL, al);
2567 err:
Matt Caswellfe3a3292015-10-05 10:39:54 +01002568 ossl_statem_set_error(s);
Matt Caswell33d93412017-01-30 19:37:17 +00002569 OPENSSL_free(exts);
Matt Caswellb9908bf2015-07-29 14:08:49 +01002570 return MSG_PROCESS_ERROR;
Matt Caswell0f113f32015-01-22 03:40:55 +00002571}
2572
Matt Caswellf63e4282016-12-02 14:46:54 +00002573/*
2574 * In TLSv1.3 this is called from the extensions code, otherwise it is used to
2575 * parse a separate message. Returns 1 on success or 0 on failure. On failure
2576 * |*al| is populated with a suitable alert code.
2577 */
2578int tls_process_cert_status_body(SSL *s, PACKET *pkt, int *al)
Matt Caswellb9908bf2015-07-29 14:08:49 +01002579{
Matt Caswell8b0e9342016-10-06 19:17:54 +01002580 size_t resplen;
Matt Caswellb9908bf2015-07-29 14:08:49 +01002581 unsigned int type;
Matt Caswellb9908bf2015-07-29 14:08:49 +01002582
Matt Caswell73999b62015-09-10 10:22:30 +01002583 if (!PACKET_get_1(pkt, &type)
Emilia Kaspera230b262016-08-05 19:03:17 +02002584 || type != TLSEXT_STATUSTYPE_ocsp) {
Matt Caswellf63e4282016-12-02 14:46:54 +00002585 *al = SSL_AD_DECODE_ERROR;
2586 SSLerr(SSL_F_TLS_PROCESS_CERT_STATUS_BODY,
2587 SSL_R_UNSUPPORTED_STATUS_TYPE);
2588 return 0;
Matt Caswell0f113f32015-01-22 03:40:55 +00002589 }
Matt Caswell56a26ce2016-10-19 16:28:12 +01002590 if (!PACKET_get_net_3_len(pkt, &resplen)
2591 || PACKET_remaining(pkt) != resplen) {
Matt Caswellf63e4282016-12-02 14:46:54 +00002592 *al = SSL_AD_DECODE_ERROR;
2593 SSLerr(SSL_F_TLS_PROCESS_CERT_STATUS_BODY, SSL_R_LENGTH_MISMATCH);
2594 return 0;
Matt Caswell0f113f32015-01-22 03:40:55 +00002595 }
Rich Salz8cbfcc72016-12-11 15:01:28 -05002596 s->ext.ocsp.resp = OPENSSL_malloc(resplen);
2597 if (s->ext.ocsp.resp == NULL) {
Matt Caswellf63e4282016-12-02 14:46:54 +00002598 *al = SSL_AD_INTERNAL_ERROR;
2599 SSLerr(SSL_F_TLS_PROCESS_CERT_STATUS_BODY, ERR_R_MALLOC_FAILURE);
2600 return 0;
Matt Caswell0f113f32015-01-22 03:40:55 +00002601 }
Rich Salz8cbfcc72016-12-11 15:01:28 -05002602 if (!PACKET_copy_bytes(pkt, s->ext.ocsp.resp, resplen)) {
Matt Caswellf63e4282016-12-02 14:46:54 +00002603 *al = SSL_AD_DECODE_ERROR;
2604 SSLerr(SSL_F_TLS_PROCESS_CERT_STATUS_BODY, SSL_R_LENGTH_MISMATCH);
2605 return 0;
Matt Caswellac637102015-08-05 15:52:26 +01002606 }
Rich Salz8cbfcc72016-12-11 15:01:28 -05002607 s->ext.ocsp.resp_len = resplen;
Matt Caswellf63e4282016-12-02 14:46:54 +00002608
2609 return 1;
2610}
Cory Benfield2faa1b42017-01-20 16:22:30 +00002611
Matt Caswellf63e4282016-12-02 14:46:54 +00002612
2613MSG_PROCESS_RETURN tls_process_cert_status(SSL *s, PACKET *pkt)
2614{
2615 int al;
2616
2617 if (!tls_process_cert_status_body(s, pkt, &al)) {
2618 ssl3_send_alert(s, SSL3_AL_FATAL, al);
2619 ossl_statem_set_error(s);
2620 return MSG_PROCESS_ERROR;
2621 }
2622
Matt Caswellb9908bf2015-07-29 14:08:49 +01002623 return MSG_PROCESS_CONTINUE_READING;
Ralf S. Engelschalldfeab061998-12-21 11:00:56 +00002624}
Ralf S. Engelschalldfeab061998-12-21 11:00:56 +00002625
Matt Caswell7776a362016-11-15 10:13:09 +00002626/*
2627 * Perform miscellaneous checks and processing after we have received the
2628 * server's initial flight. In TLS1.3 this is after the Server Finished message.
Matt Caswell6530c492016-11-23 15:38:32 +00002629 * In <=TLS1.2 this is after the ServerDone message. Returns 1 on success or 0
2630 * on failure.
Matt Caswell7776a362016-11-15 10:13:09 +00002631 */
2632int tls_process_initial_server_flight(SSL *s, int *al)
Matt Caswellb9908bf2015-07-29 14:08:49 +01002633{
Matt Caswella455d0f2015-09-14 15:06:37 +01002634 /*
2635 * at this point we check that we have the required stuff from
2636 * the server
2637 */
2638 if (!ssl3_check_cert_and_algorithm(s)) {
Matt Caswell7776a362016-11-15 10:13:09 +00002639 *al = SSL_AD_HANDSHAKE_FAILURE;
2640 return 0;
Matt Caswella455d0f2015-09-14 15:06:37 +01002641 }
2642
Matt Caswellbb1aaab2015-11-05 14:31:11 +00002643 /*
Rich Salzaff8c122016-12-08 14:18:40 -05002644 * Call the ocsp status callback if needed. The |ext.ocsp.resp| and
2645 * |ext.ocsp.resp_len| values will be set if we actually received a status
Matt Caswellbb1aaab2015-11-05 14:31:11 +00002646 * message, or NULL and -1 otherwise
2647 */
Rich Salzaff8c122016-12-08 14:18:40 -05002648 if (s->ext.status_type != TLSEXT_STATUSTYPE_nothing
2649 && s->ctx->ext.status_cb != NULL) {
2650 int ret = s->ctx->ext.status_cb(s, s->ctx->ext.status_arg);
2651
Matt Caswellbb1aaab2015-11-05 14:31:11 +00002652 if (ret == 0) {
Matt Caswell7776a362016-11-15 10:13:09 +00002653 *al = SSL_AD_BAD_CERTIFICATE_STATUS_RESPONSE;
2654 SSLerr(SSL_F_TLS_PROCESS_INITIAL_SERVER_FLIGHT,
Matt Caswellbb1aaab2015-11-05 14:31:11 +00002655 SSL_R_INVALID_STATUS_RESPONSE);
Matt Caswell7776a362016-11-15 10:13:09 +00002656 return 0;
Matt Caswellbb1aaab2015-11-05 14:31:11 +00002657 }
2658 if (ret < 0) {
Matt Caswell7776a362016-11-15 10:13:09 +00002659 *al = SSL_AD_INTERNAL_ERROR;
2660 SSLerr(SSL_F_TLS_PROCESS_INITIAL_SERVER_FLIGHT,
2661 ERR_R_MALLOC_FAILURE);
2662 return 0;
Matt Caswellbb1aaab2015-11-05 14:31:11 +00002663 }
2664 }
Rob Percivaled29e822016-03-03 16:19:23 +00002665#ifndef OPENSSL_NO_CT
2666 if (s->ct_validation_callback != NULL) {
Viktor Dukhovni43341432016-04-07 14:17:37 -04002667 /* Note we validate the SCTs whether or not we abort on error */
2668 if (!ssl_validate_ct(s) && (s->verify_mode & SSL_VERIFY_PEER)) {
Matt Caswell7776a362016-11-15 10:13:09 +00002669 *al = SSL_AD_HANDSHAKE_FAILURE;
2670 return 0;
Rob Percivaled29e822016-03-03 16:19:23 +00002671 }
2672 }
2673#endif
2674
Matt Caswell7776a362016-11-15 10:13:09 +00002675 return 1;
2676}
2677
2678MSG_PROCESS_RETURN tls_process_server_done(SSL *s, PACKET *pkt)
2679{
2680 int al = SSL_AD_INTERNAL_ERROR;
2681
2682 if (PACKET_remaining(pkt) > 0) {
2683 /* should contain no data */
2684 al = SSL_AD_DECODE_ERROR;
2685 SSLerr(SSL_F_TLS_PROCESS_SERVER_DONE, SSL_R_LENGTH_MISMATCH);
2686 goto err;
2687 }
2688#ifndef OPENSSL_NO_SRP
2689 if (s->s3->tmp.new_cipher->algorithm_mkey & SSL_kSRP) {
2690 if (SRP_Calc_A_param(s) <= 0) {
2691 SSLerr(SSL_F_TLS_PROCESS_SERVER_DONE, SSL_R_SRP_A_CALC);
2692 goto err;
2693 }
2694 }
2695#endif
2696
2697 /*
2698 * Error queue messages are generated directly by this function
2699 */
2700 if (!tls_process_initial_server_flight(s, &al))
2701 goto err;
2702
Matt Caswellbd79bcb2017-04-20 15:13:28 +01002703 return MSG_PROCESS_FINISHED_READING;
Matt Caswell7776a362016-11-15 10:13:09 +00002704
2705 err:
2706 ssl3_send_alert(s, SSL3_AL_FATAL, al);
2707 ossl_statem_set_error(s);
2708 return MSG_PROCESS_ERROR;
Matt Caswell0f113f32015-01-22 03:40:55 +00002709}
Bodo Möller176f31d2003-02-28 15:37:10 +00002710
Matt Caswellf1ec23c2016-09-13 11:01:04 +01002711static int tls_construct_cke_psk_preamble(SSL *s, WPACKET *pkt, int *al)
Matt Caswell13c0ec42016-07-07 14:42:27 +01002712{
2713#ifndef OPENSSL_NO_PSK
2714 int ret = 0;
2715 /*
2716 * The callback needs PSK_MAX_IDENTITY_LEN + 1 bytes to return a
2717 * \0-terminated identity. The last byte is for us for simulating
2718 * strnlen.
2719 */
2720 char identity[PSK_MAX_IDENTITY_LEN + 1];
2721 size_t identitylen = 0;
2722 unsigned char psk[PSK_MAX_PSK_LEN];
2723 unsigned char *tmppsk = NULL;
2724 char *tmpidentity = NULL;
2725 size_t psklen = 0;
2726
2727 if (s->psk_client_callback == NULL) {
Matt Caswell05ec6a22016-07-08 12:27:30 +01002728 SSLerr(SSL_F_TLS_CONSTRUCT_CKE_PSK_PREAMBLE, SSL_R_PSK_NO_CLIENT_CB);
Matt Caswell13c0ec42016-07-07 14:42:27 +01002729 *al = SSL_AD_INTERNAL_ERROR;
2730 goto err;
2731 }
2732
2733 memset(identity, 0, sizeof(identity));
2734
2735 psklen = s->psk_client_callback(s, s->session->psk_identity_hint,
2736 identity, sizeof(identity) - 1,
2737 psk, sizeof(psk));
2738
2739 if (psklen > PSK_MAX_PSK_LEN) {
Matt Caswell05ec6a22016-07-08 12:27:30 +01002740 SSLerr(SSL_F_TLS_CONSTRUCT_CKE_PSK_PREAMBLE, ERR_R_INTERNAL_ERROR);
Matt Caswell13c0ec42016-07-07 14:42:27 +01002741 *al = SSL_AD_HANDSHAKE_FAILURE;
2742 goto err;
2743 } else if (psklen == 0) {
Matt Caswell05ec6a22016-07-08 12:27:30 +01002744 SSLerr(SSL_F_TLS_CONSTRUCT_CKE_PSK_PREAMBLE,
Matt Caswell13c0ec42016-07-07 14:42:27 +01002745 SSL_R_PSK_IDENTITY_NOT_FOUND);
2746 *al = SSL_AD_HANDSHAKE_FAILURE;
2747 goto err;
2748 }
2749
2750 identitylen = strlen(identity);
2751 if (identitylen > PSK_MAX_IDENTITY_LEN) {
Matt Caswell05ec6a22016-07-08 12:27:30 +01002752 SSLerr(SSL_F_TLS_CONSTRUCT_CKE_PSK_PREAMBLE, ERR_R_INTERNAL_ERROR);
Matt Caswell13c0ec42016-07-07 14:42:27 +01002753 *al = SSL_AD_HANDSHAKE_FAILURE;
2754 goto err;
2755 }
2756
2757 tmppsk = OPENSSL_memdup(psk, psklen);
2758 tmpidentity = OPENSSL_strdup(identity);
2759 if (tmppsk == NULL || tmpidentity == NULL) {
Matt Caswell05ec6a22016-07-08 12:27:30 +01002760 SSLerr(SSL_F_TLS_CONSTRUCT_CKE_PSK_PREAMBLE, ERR_R_MALLOC_FAILURE);
Matt Caswell13c0ec42016-07-07 14:42:27 +01002761 *al = SSL_AD_INTERNAL_ERROR;
2762 goto err;
2763 }
2764
2765 OPENSSL_free(s->s3->tmp.psk);
2766 s->s3->tmp.psk = tmppsk;
2767 s->s3->tmp.psklen = psklen;
2768 tmppsk = NULL;
2769 OPENSSL_free(s->session->psk_identity);
2770 s->session->psk_identity = tmpidentity;
2771 tmpidentity = NULL;
Matt Caswellf1ec23c2016-09-13 11:01:04 +01002772
Matt Caswellb2b30242016-09-13 11:32:52 +01002773 if (!WPACKET_sub_memcpy_u16(pkt, identity, identitylen)) {
Matt Caswellf1ec23c2016-09-13 11:01:04 +01002774 SSLerr(SSL_F_TLS_CONSTRUCT_CKE_PSK_PREAMBLE, ERR_R_INTERNAL_ERROR);
2775 *al = SSL_AD_INTERNAL_ERROR;
2776 goto err;
2777 }
Matt Caswell13c0ec42016-07-07 14:42:27 +01002778
2779 ret = 1;
2780
2781 err:
2782 OPENSSL_cleanse(psk, psklen);
2783 OPENSSL_cleanse(identity, sizeof(identity));
2784 OPENSSL_clear_free(tmppsk, psklen);
2785 OPENSSL_clear_free(tmpidentity, identitylen);
2786
2787 return ret;
2788#else
Matt Caswell05ec6a22016-07-08 12:27:30 +01002789 SSLerr(SSL_F_TLS_CONSTRUCT_CKE_PSK_PREAMBLE, ERR_R_INTERNAL_ERROR);
Matt Caswell13c0ec42016-07-07 14:42:27 +01002790 *al = SSL_AD_INTERNAL_ERROR;
2791 return 0;
2792#endif
2793}
2794
Matt Caswellf1ec23c2016-09-13 11:01:04 +01002795static int tls_construct_cke_rsa(SSL *s, WPACKET *pkt, int *al)
Matt Caswell13c0ec42016-07-07 14:42:27 +01002796{
2797#ifndef OPENSSL_NO_RSA
Matt Caswellf1ec23c2016-09-13 11:01:04 +01002798 unsigned char *encdata = NULL;
Matt Caswell13c0ec42016-07-07 14:42:27 +01002799 EVP_PKEY *pkey = NULL;
2800 EVP_PKEY_CTX *pctx = NULL;
2801 size_t enclen;
2802 unsigned char *pms = NULL;
2803 size_t pmslen = 0;
2804
2805 if (s->session->peer == NULL) {
2806 /*
2807 * We should always have a server certificate with SSL_kRSA.
2808 */
Matt Caswell05ec6a22016-07-08 12:27:30 +01002809 SSLerr(SSL_F_TLS_CONSTRUCT_CKE_RSA, ERR_R_INTERNAL_ERROR);
Matt Caswell13c0ec42016-07-07 14:42:27 +01002810 return 0;
2811 }
2812
2813 pkey = X509_get0_pubkey(s->session->peer);
2814 if (EVP_PKEY_get0_RSA(pkey) == NULL) {
Matt Caswell05ec6a22016-07-08 12:27:30 +01002815 SSLerr(SSL_F_TLS_CONSTRUCT_CKE_RSA, ERR_R_INTERNAL_ERROR);
Matt Caswell13c0ec42016-07-07 14:42:27 +01002816 return 0;
2817 }
2818
2819 pmslen = SSL_MAX_MASTER_KEY_LENGTH;
2820 pms = OPENSSL_malloc(pmslen);
2821 if (pms == NULL) {
Matt Caswell05ec6a22016-07-08 12:27:30 +01002822 SSLerr(SSL_F_TLS_CONSTRUCT_CKE_RSA, ERR_R_MALLOC_FAILURE);
Matt Caswell13c0ec42016-07-07 14:42:27 +01002823 *al = SSL_AD_INTERNAL_ERROR;
2824 return 0;
2825 }
2826
2827 pms[0] = s->client_version >> 8;
2828 pms[1] = s->client_version & 0xff;
Matt Caswell348240c2016-10-19 15:11:24 +01002829 /* TODO(size_t): Convert this function */
2830 if (RAND_bytes(pms + 2, (int)(pmslen - 2)) <= 0) {
Matt Caswell13c0ec42016-07-07 14:42:27 +01002831 goto err;
2832 }
2833
Matt Caswell13c0ec42016-07-07 14:42:27 +01002834 /* Fix buf for TLS and beyond */
Matt Caswellf1ec23c2016-09-13 11:01:04 +01002835 if (s->version > SSL3_VERSION && !WPACKET_start_sub_packet_u16(pkt)) {
2836 SSLerr(SSL_F_TLS_CONSTRUCT_CKE_RSA, ERR_R_INTERNAL_ERROR);
2837 goto err;
2838 }
Matt Caswell13c0ec42016-07-07 14:42:27 +01002839 pctx = EVP_PKEY_CTX_new(pkey, NULL);
2840 if (pctx == NULL || EVP_PKEY_encrypt_init(pctx) <= 0
2841 || EVP_PKEY_encrypt(pctx, NULL, &enclen, pms, pmslen) <= 0) {
Matt Caswell05ec6a22016-07-08 12:27:30 +01002842 SSLerr(SSL_F_TLS_CONSTRUCT_CKE_RSA, ERR_R_EVP_LIB);
Matt Caswell13c0ec42016-07-07 14:42:27 +01002843 goto err;
2844 }
Matt Caswellf1ec23c2016-09-13 11:01:04 +01002845 if (!WPACKET_allocate_bytes(pkt, enclen, &encdata)
2846 || EVP_PKEY_encrypt(pctx, encdata, &enclen, pms, pmslen) <= 0) {
Matt Caswell05ec6a22016-07-08 12:27:30 +01002847 SSLerr(SSL_F_TLS_CONSTRUCT_CKE_RSA, SSL_R_BAD_RSA_ENCRYPT);
Matt Caswell13c0ec42016-07-07 14:42:27 +01002848 goto err;
2849 }
Matt Caswell13c0ec42016-07-07 14:42:27 +01002850 EVP_PKEY_CTX_free(pctx);
2851 pctx = NULL;
Matt Caswell13c0ec42016-07-07 14:42:27 +01002852
2853 /* Fix buf for TLS and beyond */
Matt Caswellf1ec23c2016-09-13 11:01:04 +01002854 if (s->version > SSL3_VERSION && !WPACKET_close(pkt)) {
2855 SSLerr(SSL_F_TLS_CONSTRUCT_CKE_RSA, ERR_R_INTERNAL_ERROR);
2856 goto err;
Matt Caswell13c0ec42016-07-07 14:42:27 +01002857 }
2858
Cory Benfield2faa1b42017-01-20 16:22:30 +00002859 /* Log the premaster secret, if logging is enabled. */
2860 if (!ssl_log_rsa_client_key_exchange(s, encdata, enclen, pms, pmslen))
2861 goto err;
2862
Rich Salz26fb4b02017-04-24 09:41:51 -04002863 s->s3->tmp.pms = pms;
2864 s->s3->tmp.pmslen = pmslen;
2865
Matt Caswell13c0ec42016-07-07 14:42:27 +01002866 return 1;
2867 err:
2868 OPENSSL_clear_free(pms, pmslen);
2869 EVP_PKEY_CTX_free(pctx);
2870
2871 return 0;
2872#else
Matt Caswell05ec6a22016-07-08 12:27:30 +01002873 SSLerr(SSL_F_TLS_CONSTRUCT_CKE_RSA, ERR_R_INTERNAL_ERROR);
Matt Caswell13c0ec42016-07-07 14:42:27 +01002874 *al = SSL_AD_INTERNAL_ERROR;
2875 return 0;
2876#endif
2877}
2878
Matt Caswellf1ec23c2016-09-13 11:01:04 +01002879static int tls_construct_cke_dhe(SSL *s, WPACKET *pkt, int *al)
Matt Caswella8c1c702016-07-08 09:42:07 +01002880{
2881#ifndef OPENSSL_NO_DH
2882 DH *dh_clnt = NULL;
2883 const BIGNUM *pub_key;
2884 EVP_PKEY *ckey = NULL, *skey = NULL;
Matt Caswellf1ec23c2016-09-13 11:01:04 +01002885 unsigned char *keybytes = NULL;
Matt Caswella8c1c702016-07-08 09:42:07 +01002886
2887 skey = s->s3->peer_tmp;
Matt Caswellf1ec23c2016-09-13 11:01:04 +01002888 if (skey == NULL)
2889 goto err;
2890
Dr. Stephen Henson0a699a02016-08-15 14:07:33 +01002891 ckey = ssl_generate_pkey(skey);
Matt Caswellb599ce32016-11-23 22:12:40 +00002892 if (ckey == NULL)
2893 goto err;
2894
Matt Caswella8c1c702016-07-08 09:42:07 +01002895 dh_clnt = EVP_PKEY_get0_DH(ckey);
2896
Matt Caswell0f1e51e2016-11-02 15:03:56 +00002897 if (dh_clnt == NULL || ssl_derive(s, ckey, skey, 0) == 0)
Matt Caswellf1ec23c2016-09-13 11:01:04 +01002898 goto err;
Matt Caswella8c1c702016-07-08 09:42:07 +01002899
2900 /* send off the data */
2901 DH_get0_key(dh_clnt, &pub_key, NULL);
Matt Caswellb2b30242016-09-13 11:32:52 +01002902 if (!WPACKET_sub_allocate_bytes_u16(pkt, BN_num_bytes(pub_key), &keybytes))
Matt Caswellf1ec23c2016-09-13 11:01:04 +01002903 goto err;
2904
2905 BN_bn2bin(pub_key, keybytes);
Matt Caswella8c1c702016-07-08 09:42:07 +01002906 EVP_PKEY_free(ckey);
2907
2908 return 1;
Matt Caswellf1ec23c2016-09-13 11:01:04 +01002909 err:
2910 EVP_PKEY_free(ckey);
2911#endif
Matt Caswell05ec6a22016-07-08 12:27:30 +01002912 SSLerr(SSL_F_TLS_CONSTRUCT_CKE_DHE, ERR_R_INTERNAL_ERROR);
Matt Caswella8c1c702016-07-08 09:42:07 +01002913 *al = SSL_AD_INTERNAL_ERROR;
2914 return 0;
Matt Caswella8c1c702016-07-08 09:42:07 +01002915}
2916
Matt Caswellf1ec23c2016-09-13 11:01:04 +01002917static int tls_construct_cke_ecdhe(SSL *s, WPACKET *pkt, int *al)
Matt Caswell67ad5aa2016-07-08 09:51:02 +01002918{
2919#ifndef OPENSSL_NO_EC
2920 unsigned char *encodedPoint = NULL;
Matt Caswell348240c2016-10-19 15:11:24 +01002921 size_t encoded_pt_len = 0;
Matt Caswell67ad5aa2016-07-08 09:51:02 +01002922 EVP_PKEY *ckey = NULL, *skey = NULL;
Matt Caswellf1ec23c2016-09-13 11:01:04 +01002923 int ret = 0;
Matt Caswell67ad5aa2016-07-08 09:51:02 +01002924
2925 skey = s->s3->peer_tmp;
Dr. Stephen Hensonec246302016-08-11 15:41:49 +01002926 if (skey == NULL) {
Matt Caswell05ec6a22016-07-08 12:27:30 +01002927 SSLerr(SSL_F_TLS_CONSTRUCT_CKE_ECDHE, ERR_R_INTERNAL_ERROR);
Matt Caswell67ad5aa2016-07-08 09:51:02 +01002928 return 0;
2929 }
2930
Dr. Stephen Henson0a699a02016-08-15 14:07:33 +01002931 ckey = ssl_generate_pkey(skey);
Matt Caswellb599ce32016-11-23 22:12:40 +00002932 if (ckey == NULL) {
2933 SSLerr(SSL_F_TLS_CONSTRUCT_CKE_ECDHE, ERR_R_MALLOC_FAILURE);
2934 goto err;
2935 }
Matt Caswell67ad5aa2016-07-08 09:51:02 +01002936
Matt Caswell0f1e51e2016-11-02 15:03:56 +00002937 if (ssl_derive(s, ckey, skey, 0) == 0) {
Matt Caswell05ec6a22016-07-08 12:27:30 +01002938 SSLerr(SSL_F_TLS_CONSTRUCT_CKE_ECDHE, ERR_R_EVP_LIB);
Matt Caswell67ad5aa2016-07-08 09:51:02 +01002939 goto err;
2940 }
2941
2942 /* Generate encoding of client key */
Dr. Stephen Hensonec246302016-08-11 15:41:49 +01002943 encoded_pt_len = EVP_PKEY_get1_tls_encodedpoint(ckey, &encodedPoint);
Matt Caswell67ad5aa2016-07-08 09:51:02 +01002944
2945 if (encoded_pt_len == 0) {
Matt Caswell05ec6a22016-07-08 12:27:30 +01002946 SSLerr(SSL_F_TLS_CONSTRUCT_CKE_ECDHE, ERR_R_EC_LIB);
Matt Caswell67ad5aa2016-07-08 09:51:02 +01002947 goto err;
2948 }
2949
Matt Caswellb2b30242016-09-13 11:32:52 +01002950 if (!WPACKET_sub_memcpy_u8(pkt, encodedPoint, encoded_pt_len)) {
Matt Caswellf1ec23c2016-09-13 11:01:04 +01002951 SSLerr(SSL_F_TLS_CONSTRUCT_CKE_ECDHE, ERR_R_INTERNAL_ERROR);
2952 goto err;
2953 }
Matt Caswell67ad5aa2016-07-08 09:51:02 +01002954
Matt Caswellf1ec23c2016-09-13 11:01:04 +01002955 ret = 1;
Matt Caswell67ad5aa2016-07-08 09:51:02 +01002956 err:
Matt Caswellf1ec23c2016-09-13 11:01:04 +01002957 OPENSSL_free(encodedPoint);
Matt Caswell67ad5aa2016-07-08 09:51:02 +01002958 EVP_PKEY_free(ckey);
Matt Caswellf1ec23c2016-09-13 11:01:04 +01002959 return ret;
Matt Caswell67ad5aa2016-07-08 09:51:02 +01002960#else
Matt Caswell05ec6a22016-07-08 12:27:30 +01002961 SSLerr(SSL_F_TLS_CONSTRUCT_CKE_ECDHE, ERR_R_INTERNAL_ERROR);
Matt Caswell67ad5aa2016-07-08 09:51:02 +01002962 *al = SSL_AD_INTERNAL_ERROR;
2963 return 0;
2964#endif
2965}
2966
Matt Caswellf1ec23c2016-09-13 11:01:04 +01002967static int tls_construct_cke_gost(SSL *s, WPACKET *pkt, int *al)
Matt Caswelle00e0b32016-07-08 10:07:55 +01002968{
2969#ifndef OPENSSL_NO_GOST
2970 /* GOST key exchange message creation */
2971 EVP_PKEY_CTX *pkey_ctx = NULL;
2972 X509 *peer_cert;
2973 size_t msglen;
2974 unsigned int md_len;
2975 unsigned char shared_ukm[32], tmp[256];
2976 EVP_MD_CTX *ukm_hash = NULL;
2977 int dgst_nid = NID_id_GostR3411_94;
2978 unsigned char *pms = NULL;
2979 size_t pmslen = 0;
2980
2981 if ((s->s3->tmp.new_cipher->algorithm_auth & SSL_aGOST12) != 0)
2982 dgst_nid = NID_id_GostR3411_2012_256;
2983
2984 /*
FdaSilvaYY1ee4b982017-02-17 23:13:26 +01002985 * Get server certificate PKEY and create ctx from it
Matt Caswelle00e0b32016-07-08 10:07:55 +01002986 */
2987 peer_cert = s->session->peer;
2988 if (!peer_cert) {
2989 *al = SSL_AD_HANDSHAKE_FAILURE;
Matt Caswell05ec6a22016-07-08 12:27:30 +01002990 SSLerr(SSL_F_TLS_CONSTRUCT_CKE_GOST,
Matt Caswelle00e0b32016-07-08 10:07:55 +01002991 SSL_R_NO_GOST_CERTIFICATE_SENT_BY_PEER);
2992 return 0;
2993 }
2994
2995 pkey_ctx = EVP_PKEY_CTX_new(X509_get0_pubkey(peer_cert), NULL);
2996 if (pkey_ctx == NULL) {
2997 *al = SSL_AD_INTERNAL_ERROR;
Matt Caswell05ec6a22016-07-08 12:27:30 +01002998 SSLerr(SSL_F_TLS_CONSTRUCT_CKE_GOST, ERR_R_MALLOC_FAILURE);
Matt Caswelle00e0b32016-07-08 10:07:55 +01002999 return 0;
3000 }
3001 /*
3002 * If we have send a certificate, and certificate key
3003 * parameters match those of server certificate, use
3004 * certificate key for key exchange
3005 */
3006
3007 /* Otherwise, generate ephemeral key pair */
3008 pmslen = 32;
3009 pms = OPENSSL_malloc(pmslen);
3010 if (pms == NULL) {
3011 *al = SSL_AD_INTERNAL_ERROR;
Matt Caswell05ec6a22016-07-08 12:27:30 +01003012 SSLerr(SSL_F_TLS_CONSTRUCT_CKE_GOST, ERR_R_MALLOC_FAILURE);
Matt Caswell2f3930b2016-08-22 22:17:20 +01003013 goto err;
Matt Caswelle00e0b32016-07-08 10:07:55 +01003014 }
3015
3016 if (EVP_PKEY_encrypt_init(pkey_ctx) <= 0
Matt Caswell348240c2016-10-19 15:11:24 +01003017 /* Generate session key
3018 * TODO(size_t): Convert this function
3019 */
3020 || RAND_bytes(pms, (int)pmslen) <= 0) {
Matt Caswelle00e0b32016-07-08 10:07:55 +01003021 *al = SSL_AD_INTERNAL_ERROR;
Matt Caswell05ec6a22016-07-08 12:27:30 +01003022 SSLerr(SSL_F_TLS_CONSTRUCT_CKE_GOST, ERR_R_INTERNAL_ERROR);
Matt Caswelle00e0b32016-07-08 10:07:55 +01003023 goto err;
3024 };
3025 /*
Matt Caswelle00e0b32016-07-08 10:07:55 +01003026 * Compute shared IV and store it in algorithm-specific context
3027 * data
3028 */
3029 ukm_hash = EVP_MD_CTX_new();
3030 if (ukm_hash == NULL
Emilia Kaspera230b262016-08-05 19:03:17 +02003031 || EVP_DigestInit(ukm_hash, EVP_get_digestbynid(dgst_nid)) <= 0
3032 || EVP_DigestUpdate(ukm_hash, s->s3->client_random,
3033 SSL3_RANDOM_SIZE) <= 0
3034 || EVP_DigestUpdate(ukm_hash, s->s3->server_random,
3035 SSL3_RANDOM_SIZE) <= 0
3036 || EVP_DigestFinal_ex(ukm_hash, shared_ukm, &md_len) <= 0) {
Matt Caswelle00e0b32016-07-08 10:07:55 +01003037 *al = SSL_AD_INTERNAL_ERROR;
Matt Caswell05ec6a22016-07-08 12:27:30 +01003038 SSLerr(SSL_F_TLS_CONSTRUCT_CKE_GOST, ERR_R_INTERNAL_ERROR);
Matt Caswelle00e0b32016-07-08 10:07:55 +01003039 goto err;
3040 }
3041 EVP_MD_CTX_free(ukm_hash);
3042 ukm_hash = NULL;
3043 if (EVP_PKEY_CTX_ctrl(pkey_ctx, -1, EVP_PKEY_OP_ENCRYPT,
3044 EVP_PKEY_CTRL_SET_IV, 8, shared_ukm) < 0) {
3045 *al = SSL_AD_INTERNAL_ERROR;
Matt Caswell05ec6a22016-07-08 12:27:30 +01003046 SSLerr(SSL_F_TLS_CONSTRUCT_CKE_GOST, SSL_R_LIBRARY_BUG);
Matt Caswelle00e0b32016-07-08 10:07:55 +01003047 goto err;
3048 }
3049 /* Make GOST keytransport blob message */
3050 /*
3051 * Encapsulate it into sequence
3052 */
Matt Caswelle00e0b32016-07-08 10:07:55 +01003053 msglen = 255;
3054 if (EVP_PKEY_encrypt(pkey_ctx, tmp, &msglen, pms, pmslen) <= 0) {
3055 *al = SSL_AD_INTERNAL_ERROR;
Matt Caswell05ec6a22016-07-08 12:27:30 +01003056 SSLerr(SSL_F_TLS_CONSTRUCT_CKE_GOST, SSL_R_LIBRARY_BUG);
Matt Caswelle00e0b32016-07-08 10:07:55 +01003057 goto err;
3058 }
Matt Caswellf1ec23c2016-09-13 11:01:04 +01003059
Matt Caswell08029df2016-09-20 14:47:44 +01003060 if (!WPACKET_put_bytes_u8(pkt, V_ASN1_SEQUENCE | V_ASN1_CONSTRUCTED)
3061 || (msglen >= 0x80 && !WPACKET_put_bytes_u8(pkt, 0x81))
Matt Caswellb2b30242016-09-13 11:32:52 +01003062 || !WPACKET_sub_memcpy_u8(pkt, tmp, msglen)) {
Matt Caswellf1ec23c2016-09-13 11:01:04 +01003063 *al = SSL_AD_INTERNAL_ERROR;
3064 SSLerr(SSL_F_TLS_CONSTRUCT_CKE_GOST, ERR_R_INTERNAL_ERROR);
3065 goto err;
Matt Caswelle00e0b32016-07-08 10:07:55 +01003066 }
Matt Caswellf1ec23c2016-09-13 11:01:04 +01003067
Matt Caswelle00e0b32016-07-08 10:07:55 +01003068 EVP_PKEY_CTX_free(pkey_ctx);
3069 s->s3->tmp.pms = pms;
3070 s->s3->tmp.pmslen = pmslen;
3071
3072 return 1;
3073 err:
3074 EVP_PKEY_CTX_free(pkey_ctx);
3075 OPENSSL_clear_free(pms, pmslen);
3076 EVP_MD_CTX_free(ukm_hash);
3077 return 0;
3078#else
Matt Caswell05ec6a22016-07-08 12:27:30 +01003079 SSLerr(SSL_F_TLS_CONSTRUCT_CKE_GOST, ERR_R_INTERNAL_ERROR);
Matt Caswelle00e0b32016-07-08 10:07:55 +01003080 *al = SSL_AD_INTERNAL_ERROR;
3081 return 0;
3082#endif
3083}
3084
Matt Caswellf1ec23c2016-09-13 11:01:04 +01003085static int tls_construct_cke_srp(SSL *s, WPACKET *pkt, int *al)
Matt Caswell840a2bf2016-07-08 10:43:59 +01003086{
Richard Levitte8b9546c2016-07-22 21:48:05 +02003087#ifndef OPENSSL_NO_SRP
Matt Caswellf1ec23c2016-09-13 11:01:04 +01003088 unsigned char *abytes = NULL;
3089
3090 if (s->srp_ctx.A == NULL
Matt Caswellb2b30242016-09-13 11:32:52 +01003091 || !WPACKET_sub_allocate_bytes_u16(pkt, BN_num_bytes(s->srp_ctx.A),
3092 &abytes)) {
Matt Caswell05ec6a22016-07-08 12:27:30 +01003093 SSLerr(SSL_F_TLS_CONSTRUCT_CKE_SRP, ERR_R_INTERNAL_ERROR);
Matt Caswell840a2bf2016-07-08 10:43:59 +01003094 return 0;
3095 }
Matt Caswellf1ec23c2016-09-13 11:01:04 +01003096 BN_bn2bin(s->srp_ctx.A, abytes);
3097
Matt Caswell840a2bf2016-07-08 10:43:59 +01003098 OPENSSL_free(s->session->srp_username);
3099 s->session->srp_username = OPENSSL_strdup(s->srp_ctx.login);
3100 if (s->session->srp_username == NULL) {
Matt Caswell05ec6a22016-07-08 12:27:30 +01003101 SSLerr(SSL_F_TLS_CONSTRUCT_CKE_SRP, ERR_R_MALLOC_FAILURE);
Matt Caswell840a2bf2016-07-08 10:43:59 +01003102 return 0;
3103 }
3104
3105 return 1;
3106#else
Matt Caswell05ec6a22016-07-08 12:27:30 +01003107 SSLerr(SSL_F_TLS_CONSTRUCT_CKE_SRP, ERR_R_INTERNAL_ERROR);
Matt Caswell840a2bf2016-07-08 10:43:59 +01003108 *al = SSL_AD_INTERNAL_ERROR;
3109 return 0;
3110#endif
3111}
3112
Matt Caswell7cea05d2016-09-29 23:28:29 +01003113int tls_construct_client_key_exchange(SSL *s, WPACKET *pkt)
Matt Caswellb9908bf2015-07-29 14:08:49 +01003114{
Matt Caswell0f113f32015-01-22 03:40:55 +00003115 unsigned long alg_k;
Matt Caswell13c0ec42016-07-07 14:42:27 +01003116 int al = -1;
Matt Caswellf1ec23c2016-09-13 11:01:04 +01003117
Dr. Stephen Henson76890822015-06-28 17:15:10 +01003118 alg_k = s->s3->tmp.new_cipher->algorithm_mkey;
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00003119
Matt Caswell13c0ec42016-07-07 14:42:27 +01003120 if ((alg_k & SSL_PSK)
Matt Caswell7cea05d2016-09-29 23:28:29 +01003121 && !tls_construct_cke_psk_preamble(s, pkt, &al))
Matt Caswell13c0ec42016-07-07 14:42:27 +01003122 goto err;
Matt Caswellb9908bf2015-07-29 14:08:49 +01003123
Matt Caswellf1ec23c2016-09-13 11:01:04 +01003124 if (alg_k & (SSL_kRSA | SSL_kRSAPSK)) {
Matt Caswell7cea05d2016-09-29 23:28:29 +01003125 if (!tls_construct_cke_rsa(s, pkt, &al))
Matt Caswell13c0ec42016-07-07 14:42:27 +01003126 goto err;
Matt Caswella8c1c702016-07-08 09:42:07 +01003127 } else if (alg_k & (SSL_kDHE | SSL_kDHEPSK)) {
Matt Caswell7cea05d2016-09-29 23:28:29 +01003128 if (!tls_construct_cke_dhe(s, pkt, &al))
Dr. Stephen Hensonbc71f912015-12-15 23:57:18 +00003129 goto err;
Matt Caswell67ad5aa2016-07-08 09:51:02 +01003130 } else if (alg_k & (SSL_kECDHE | SSL_kECDHEPSK)) {
Matt Caswell7cea05d2016-09-29 23:28:29 +01003131 if (!tls_construct_cke_ecdhe(s, pkt, &al))
Matt Caswell67ad5aa2016-07-08 09:51:02 +01003132 goto err;
Matt Caswelle00e0b32016-07-08 10:07:55 +01003133 } else if (alg_k & SSL_kGOST) {
Matt Caswell7cea05d2016-09-29 23:28:29 +01003134 if (!tls_construct_cke_gost(s, pkt, &al))
Matt Caswelle00e0b32016-07-08 10:07:55 +01003135 goto err;
Matt Caswell840a2bf2016-07-08 10:43:59 +01003136 } else if (alg_k & SSL_kSRP) {
Matt Caswell7cea05d2016-09-29 23:28:29 +01003137 if (!tls_construct_cke_srp(s, pkt, &al))
Matt Caswellb9908bf2015-07-29 14:08:49 +01003138 goto err;
Matt Caswell4a424542016-09-29 12:04:08 +01003139 } else if (!(alg_k & SSL_kPSK)) {
Matt Caswellb9908bf2015-07-29 14:08:49 +01003140 ssl3_send_alert(s, SSL3_AL_FATAL, SSL_AD_HANDSHAKE_FAILURE);
3141 SSLerr(SSL_F_TLS_CONSTRUCT_CLIENT_KEY_EXCHANGE, ERR_R_INTERNAL_ERROR);
3142 goto err;
3143 }
3144
Matt Caswellb9908bf2015-07-29 14:08:49 +01003145 return 1;
Matt Caswell0f113f32015-01-22 03:40:55 +00003146 err:
Matt Caswell13c0ec42016-07-07 14:42:27 +01003147 if (al != -1)
3148 ssl3_send_alert(s, SSL3_AL_FATAL, al);
Matt Caswell0bce0b02016-07-07 12:47:07 +01003149 OPENSSL_clear_free(s->s3->tmp.pms, s->s3->tmp.pmslen);
Dr. Stephen Henson76106e62015-05-12 17:17:37 +01003150 s->s3->tmp.pms = NULL;
Dr. Stephen Henson76890822015-06-28 17:15:10 +01003151#ifndef OPENSSL_NO_PSK
3152 OPENSSL_clear_free(s->s3->tmp.psk, s->s3->tmp.psklen);
3153 s->s3->tmp.psk = NULL;
3154#endif
Matt Caswellb9908bf2015-07-29 14:08:49 +01003155 return 0;
3156}
3157
3158int tls_client_key_exchange_post_work(SSL *s)
3159{
3160 unsigned char *pms = NULL;
3161 size_t pmslen = 0;
3162
Matt Caswell6f137372016-04-28 15:12:37 +01003163 pms = s->s3->tmp.pms;
3164 pmslen = s->s3->tmp.pmslen;
3165
Matt Caswellb9908bf2015-07-29 14:08:49 +01003166#ifndef OPENSSL_NO_SRP
3167 /* Check for SRP */
3168 if (s->s3->tmp.new_cipher->algorithm_mkey & SSL_kSRP) {
3169 if (!srp_generate_client_master_secret(s)) {
3170 SSLerr(SSL_F_TLS_CLIENT_KEY_EXCHANGE_POST_WORK,
3171 ERR_R_INTERNAL_ERROR);
3172 goto err;
3173 }
3174 return 1;
3175 }
3176#endif
Matt Caswellb9908bf2015-07-29 14:08:49 +01003177
3178 if (pms == NULL && !(s->s3->tmp.new_cipher->algorithm_mkey & SSL_kPSK)) {
3179 ssl3_send_alert(s, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
3180 SSLerr(SSL_F_TLS_CLIENT_KEY_EXCHANGE_POST_WORK, ERR_R_MALLOC_FAILURE);
3181 goto err;
3182 }
3183 if (!ssl_generate_master_secret(s, pms, pmslen, 1)) {
3184 ssl3_send_alert(s, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
3185 SSLerr(SSL_F_TLS_CLIENT_KEY_EXCHANGE_POST_WORK, ERR_R_INTERNAL_ERROR);
Matt Caswell6f137372016-04-28 15:12:37 +01003186 /* ssl_generate_master_secret frees the pms even on error */
3187 pms = NULL;
3188 pmslen = 0;
Matt Caswellb9908bf2015-07-29 14:08:49 +01003189 goto err;
3190 }
Matt Caswell6f137372016-04-28 15:12:37 +01003191 pms = NULL;
3192 pmslen = 0;
Matt Caswell473483d2015-09-07 22:00:36 +01003193
3194#ifndef OPENSSL_NO_SCTP
3195 if (SSL_IS_DTLS(s)) {
3196 unsigned char sctpauthkey[64];
3197 char labelbuffer[sizeof(DTLS1_SCTP_AUTH_LABEL)];
3198
3199 /*
3200 * Add new shared key for SCTP-Auth, will be ignored if no SCTP
3201 * used.
3202 */
Matt Caswell141eb8c2015-10-26 12:00:00 +00003203 memcpy(labelbuffer, DTLS1_SCTP_AUTH_LABEL,
3204 sizeof(DTLS1_SCTP_AUTH_LABEL));
Matt Caswell473483d2015-09-07 22:00:36 +01003205
3206 if (SSL_export_keying_material(s, sctpauthkey,
Emilia Kaspera230b262016-08-05 19:03:17 +02003207 sizeof(sctpauthkey), labelbuffer,
3208 sizeof(labelbuffer), NULL, 0, 0) <= 0)
Matt Caswell473483d2015-09-07 22:00:36 +01003209 goto err;
3210
3211 BIO_ctrl(SSL_get_wbio(s), BIO_CTRL_DGRAM_SCTP_ADD_AUTH_KEY,
3212 sizeof(sctpauthkey), sctpauthkey);
3213 }
3214#endif
3215
Matt Caswellb9908bf2015-07-29 14:08:49 +01003216 return 1;
3217 err:
3218 OPENSSL_clear_free(pms, pmslen);
3219 s->s3->tmp.pms = NULL;
3220 return 0;
Matt Caswell0f113f32015-01-22 03:40:55 +00003221}
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00003222
Matt Caswell0f113f32015-01-22 03:40:55 +00003223/*
3224 * Check a certificate can be used for client authentication. Currently check
3225 * cert exists, if we have a suitable digest for TLS 1.2 if static DH client
3226 * certificates can be used and optionally checks suitability for Suite B.
Dr. Stephen Henson0d609392012-01-25 14:51:49 +00003227 */
3228static int ssl3_check_client_certificate(SSL *s)
Matt Caswell0f113f32015-01-22 03:40:55 +00003229{
Matt Caswell0f113f32015-01-22 03:40:55 +00003230 /* If no suitable signature algorithm can't use certificate */
Dr. Stephen Hensonad4dd362017-02-15 16:23:49 +00003231 if (!tls_choose_sigalg(s, NULL) || s->s3->tmp.sigalg == NULL)
Matt Caswell0f113f32015-01-22 03:40:55 +00003232 return 0;
3233 /*
3234 * If strict mode check suitability of chain before using it. This also
3235 * adjusts suite B digest if necessary.
3236 */
3237 if (s->cert->cert_flags & SSL_CERT_FLAGS_CHECK_TLS_STRICT &&
3238 !tls1_check_chain(s, NULL, NULL, NULL, -2))
3239 return 0;
Matt Caswell0f113f32015-01-22 03:40:55 +00003240 return 1;
3241}
Dr. Stephen Henson0d609392012-01-25 14:51:49 +00003242
Matt Caswellbe3583f2015-10-26 11:46:33 +00003243WORK_STATE tls_prepare_client_certificate(SSL *s, WORK_STATE wst)
Matt Caswellb9908bf2015-07-29 14:08:49 +01003244{
Matt Caswell0f113f32015-01-22 03:40:55 +00003245 X509 *x509 = NULL;
3246 EVP_PKEY *pkey = NULL;
3247 int i;
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00003248
Matt Caswellb9908bf2015-07-29 14:08:49 +01003249 if (wst == WORK_MORE_A) {
Matt Caswell0f113f32015-01-22 03:40:55 +00003250 /* Let cert callback update client certificates if required */
3251 if (s->cert->cert_cb) {
3252 i = s->cert->cert_cb(s, s->cert->cert_cb_arg);
3253 if (i < 0) {
3254 s->rwstate = SSL_X509_LOOKUP;
Matt Caswellb9908bf2015-07-29 14:08:49 +01003255 return WORK_MORE_A;
Matt Caswell0f113f32015-01-22 03:40:55 +00003256 }
3257 if (i == 0) {
3258 ssl3_send_alert(s, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
Matt Caswellfe3a3292015-10-05 10:39:54 +01003259 ossl_statem_set_error(s);
Matt Caswell0f113f32015-01-22 03:40:55 +00003260 return 0;
3261 }
3262 s->rwstate = SSL_NOTHING;
3263 }
3264 if (ssl3_check_client_certificate(s))
Matt Caswellb9908bf2015-07-29 14:08:49 +01003265 return WORK_FINISHED_CONTINUE;
3266
3267 /* Fall through to WORK_MORE_B */
3268 wst = WORK_MORE_B;
Matt Caswell0f113f32015-01-22 03:40:55 +00003269 }
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00003270
Matt Caswell0f113f32015-01-22 03:40:55 +00003271 /* We need to get a client cert */
Matt Caswellb9908bf2015-07-29 14:08:49 +01003272 if (wst == WORK_MORE_B) {
Matt Caswell0f113f32015-01-22 03:40:55 +00003273 /*
3274 * If we get an error, we need to ssl->rwstate=SSL_X509_LOOKUP;
3275 * return(-1); We then get retied later
3276 */
Matt Caswell0f113f32015-01-22 03:40:55 +00003277 i = ssl_do_client_cert_cb(s, &x509, &pkey);
3278 if (i < 0) {
3279 s->rwstate = SSL_X509_LOOKUP;
Matt Caswellb9908bf2015-07-29 14:08:49 +01003280 return WORK_MORE_B;
Matt Caswell0f113f32015-01-22 03:40:55 +00003281 }
3282 s->rwstate = SSL_NOTHING;
3283 if ((i == 1) && (pkey != NULL) && (x509 != NULL)) {
Matt Caswell0f113f32015-01-22 03:40:55 +00003284 if (!SSL_use_certificate(s, x509) || !SSL_use_PrivateKey(s, pkey))
3285 i = 0;
3286 } else if (i == 1) {
3287 i = 0;
Matt Caswellb9908bf2015-07-29 14:08:49 +01003288 SSLerr(SSL_F_TLS_PREPARE_CLIENT_CERTIFICATE,
Matt Caswell0f113f32015-01-22 03:40:55 +00003289 SSL_R_BAD_DATA_RETURNED_BY_CALLBACK);
3290 }
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00003291
Rich Salz222561f2015-04-30 17:33:59 -04003292 X509_free(x509);
Rich Salz25aaa982015-05-01 14:37:16 -04003293 EVP_PKEY_free(pkey);
Matt Caswell0f113f32015-01-22 03:40:55 +00003294 if (i && !ssl3_check_client_certificate(s))
3295 i = 0;
3296 if (i == 0) {
3297 if (s->version == SSL3_VERSION) {
3298 s->s3->tmp.cert_req = 0;
3299 ssl3_send_alert(s, SSL3_AL_WARNING, SSL_AD_NO_CERTIFICATE);
Matt Caswellb9908bf2015-07-29 14:08:49 +01003300 return WORK_FINISHED_CONTINUE;
Matt Caswell0f113f32015-01-22 03:40:55 +00003301 } else {
3302 s->s3->tmp.cert_req = 2;
Dr. Stephen Henson124037f2015-06-16 14:44:29 +01003303 if (!ssl3_digest_cached_records(s, 0)) {
Dr. Stephen Hensondab18ab2015-05-07 00:04:48 +01003304 ssl3_send_alert(s, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
Matt Caswellfe3a3292015-10-05 10:39:54 +01003305 ossl_statem_set_error(s);
Dr. Stephen Hensondab18ab2015-05-07 00:04:48 +01003306 return 0;
3307 }
Matt Caswell0f113f32015-01-22 03:40:55 +00003308 }
3309 }
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00003310
Matt Caswellb9908bf2015-07-29 14:08:49 +01003311 return WORK_FINISHED_CONTINUE;
Matt Caswell0f113f32015-01-22 03:40:55 +00003312 }
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00003313
Matt Caswellb9908bf2015-07-29 14:08:49 +01003314 /* Shouldn't ever get here */
3315 return WORK_ERROR;
3316}
3317
Matt Caswell7cea05d2016-09-29 23:28:29 +01003318int tls_construct_client_certificate(SSL *s, WPACKET *pkt)
Matt Caswellb9908bf2015-07-29 14:08:49 +01003319{
Matt Caswell0baed5e2017-01-02 11:16:37 +00003320 int al = SSL_AD_INTERNAL_ERROR;
Matt Caswelle96e0f82016-12-02 09:14:15 +00003321
3322 /*
3323 * TODO(TLS1.3): For now we must put an empty context. Needs to be filled in
3324 * later
3325 */
3326 if ((SSL_IS_TLS13(s) && !WPACKET_put_bytes_u8(pkt, 0))
3327 || !ssl3_output_cert_chain(s, pkt,
Matt Caswellb90506e2016-10-03 15:37:47 +01003328 (s->s3->tmp.cert_req == 2) ? NULL
Matt Caswelle96e0f82016-12-02 09:14:15 +00003329 : s->cert->key,
3330 &al)) {
Matt Caswellb9908bf2015-07-29 14:08:49 +01003331 SSLerr(SSL_F_TLS_CONSTRUCT_CLIENT_CERTIFICATE, ERR_R_INTERNAL_ERROR);
Matt Caswellf7e393b2017-02-27 11:19:57 +00003332 goto err;
3333 }
3334
3335 if (SSL_IS_TLS13(s)
3336 && SSL_IS_FIRST_HANDSHAKE(s)
3337 && (!s->method->ssl3_enc->change_cipher_state(s,
3338 SSL3_CC_HANDSHAKE | SSL3_CHANGE_CIPHER_CLIENT_WRITE))) {
3339 SSLerr(SSL_F_TLS_CONSTRUCT_CLIENT_CERTIFICATE,
3340 SSL_R_CANNOT_CHANGE_CIPHER);
3341 goto err;
Matt Caswell0f113f32015-01-22 03:40:55 +00003342 }
Matt Caswellb9908bf2015-07-29 14:08:49 +01003343
3344 return 1;
Matt Caswellf7e393b2017-02-27 11:19:57 +00003345 err:
3346 ssl3_send_alert(s, SSL3_AL_FATAL, al);
3347 return 0;
Matt Caswell0f113f32015-01-22 03:40:55 +00003348}
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00003349
Matt Caswell0f113f32015-01-22 03:40:55 +00003350#define has_bits(i,m) (((i)&(m)) == (m))
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00003351
Ben Laurie36d16f82005-04-26 16:02:40 +00003352int ssl3_check_cert_and_algorithm(SSL *s)
Matt Caswell0f113f32015-01-22 03:40:55 +00003353{
Richard Levitte60f43e92015-12-09 23:59:04 +01003354 int i;
3355#ifndef OPENSSL_NO_EC
3356 int idx;
3357#endif
Matt Caswell0f113f32015-01-22 03:40:55 +00003358 long alg_k, alg_a;
3359 EVP_PKEY *pkey = NULL;
Kurt Roeckx26c79d52015-04-18 12:23:12 +02003360 int al = SSL_AD_HANDSHAKE_FAILURE;
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00003361
Matt Caswell0f113f32015-01-22 03:40:55 +00003362 alg_k = s->s3->tmp.new_cipher->algorithm_mkey;
3363 alg_a = s->s3->tmp.new_cipher->algorithm_auth;
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00003364
Matt Caswell0f113f32015-01-22 03:40:55 +00003365 /* we don't have a certificate */
Matt Caswell55a9a162015-05-12 10:27:53 +01003366 if ((alg_a & SSL_aNULL) || (alg_k & SSL_kPSK))
Matt Caswell0f113f32015-01-22 03:40:55 +00003367 return (1);
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00003368
Matt Caswell0f113f32015-01-22 03:40:55 +00003369 /* This is the passed certificate */
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00003370
Rich Salz10bf4fc2015-03-10 19:09:27 -04003371#ifndef OPENSSL_NO_EC
Richard Levitte60f43e92015-12-09 23:59:04 +01003372 idx = s->session->peer_type;
Matt Caswell0f113f32015-01-22 03:40:55 +00003373 if (idx == SSL_PKEY_ECC) {
Dr. Stephen Hensona273c6e2015-06-21 19:08:57 +01003374 if (ssl_check_srvr_ecc_cert_and_alg(s->session->peer, s) == 0) {
Matt Caswell0f113f32015-01-22 03:40:55 +00003375 /* check failed */
3376 SSLerr(SSL_F_SSL3_CHECK_CERT_AND_ALGORITHM, SSL_R_BAD_ECC_CERT);
3377 goto f_err;
3378 } else {
3379 return 1;
3380 }
3381 } else if (alg_a & SSL_aECDSA) {
3382 SSLerr(SSL_F_SSL3_CHECK_CERT_AND_ALGORITHM,
3383 SSL_R_MISSING_ECDSA_SIGNING_CERT);
3384 goto f_err;
Matt Caswell0f113f32015-01-22 03:40:55 +00003385 }
Bodo Möllerea262262002-08-09 08:56:08 +00003386#endif
Dr. Stephen Henson8382fd32015-12-20 00:32:36 +00003387 pkey = X509_get0_pubkey(s->session->peer);
Dr. Stephen Hensona273c6e2015-06-21 19:08:57 +01003388 i = X509_certificate_type(s->session->peer, pkey);
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00003389
Matt Caswell0f113f32015-01-22 03:40:55 +00003390 /* Check that we have a certificate if we require one */
3391 if ((alg_a & SSL_aRSA) && !has_bits(i, EVP_PK_RSA | EVP_PKT_SIGN)) {
3392 SSLerr(SSL_F_SSL3_CHECK_CERT_AND_ALGORITHM,
3393 SSL_R_MISSING_RSA_SIGNING_CERT);
3394 goto f_err;
3395 }
Richard Levittebc36ee62001-02-20 08:13:47 +00003396#ifndef OPENSSL_NO_DSA
Matt Caswell0f113f32015-01-22 03:40:55 +00003397 else if ((alg_a & SSL_aDSS) && !has_bits(i, EVP_PK_DSA | EVP_PKT_SIGN)) {
3398 SSLerr(SSL_F_SSL3_CHECK_CERT_AND_ALGORITHM,
3399 SSL_R_MISSING_DSA_SIGNING_CERT);
3400 goto f_err;
3401 }
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00003402#endif
Richard Levittebc36ee62001-02-20 08:13:47 +00003403#ifndef OPENSSL_NO_RSA
Kurt Roeckx361a1192015-12-05 02:04:41 +01003404 if (alg_k & (SSL_kRSA | SSL_kRSAPSK) &&
3405 !has_bits(i, EVP_PK_RSA | EVP_PKT_ENC)) {
3406 SSLerr(SSL_F_SSL3_CHECK_CERT_AND_ALGORITHM,
3407 SSL_R_MISSING_RSA_ENCRYPTING_CERT);
3408 goto f_err;
Matt Caswell0f113f32015-01-22 03:40:55 +00003409 }
Ulf Möller79df9d61999-04-27 03:19:12 +00003410#endif
Richard Levittebc36ee62001-02-20 08:13:47 +00003411#ifndef OPENSSL_NO_DH
Dr. Stephen Hensonfb79abe2015-12-17 01:07:46 +00003412 if ((alg_k & SSL_kDHE) && (s->s3->peer_tmp == NULL)) {
Kurt Roeckx26c79d52015-04-18 12:23:12 +02003413 al = SSL_AD_INTERNAL_ERROR;
3414 SSLerr(SSL_F_SSL3_CHECK_CERT_AND_ALGORITHM, ERR_R_INTERNAL_ERROR);
Matt Caswell0f113f32015-01-22 03:40:55 +00003415 goto f_err;
Matt Caswell0f113f32015-01-22 03:40:55 +00003416 }
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00003417#endif
3418
Matt Caswell0f113f32015-01-22 03:40:55 +00003419 return (1);
3420 f_err:
Kurt Roeckx26c79d52015-04-18 12:23:12 +02003421 ssl3_send_alert(s, SSL3_AL_FATAL, al);
Matt Caswell0f113f32015-01-22 03:40:55 +00003422 return (0);
3423}
Dr. Stephen Henson6434abb2007-08-11 23:18:29 +00003424
Matt Caswelle481f9b2015-05-15 10:49:56 +01003425#ifndef OPENSSL_NO_NEXTPROTONEG
Matt Caswell7cea05d2016-09-29 23:28:29 +01003426int tls_construct_next_proto(SSL *s, WPACKET *pkt)
Matt Caswellb9908bf2015-07-29 14:08:49 +01003427{
Matt Caswell15e6be62016-09-14 12:10:33 +01003428 size_t len, padding_len;
3429 unsigned char *padding = NULL;
Matt Caswell15e6be62016-09-14 12:10:33 +01003430
Rich Salzaff8c122016-12-08 14:18:40 -05003431 len = s->ext.npn_len;
Matt Caswellb9908bf2015-07-29 14:08:49 +01003432 padding_len = 32 - ((len + 2) % 32);
Matt Caswell15e6be62016-09-14 12:10:33 +01003433
Rich Salzaff8c122016-12-08 14:18:40 -05003434 if (!WPACKET_sub_memcpy_u8(pkt, s->ext.npn, len)
Matt Caswell7cea05d2016-09-29 23:28:29 +01003435 || !WPACKET_sub_allocate_bytes_u8(pkt, padding_len, &padding)) {
Matt Caswell15e6be62016-09-14 12:10:33 +01003436 SSLerr(SSL_F_TLS_CONSTRUCT_NEXT_PROTO, ERR_R_INTERNAL_ERROR);
3437 goto err;
3438 }
3439
3440 memset(padding, 0, padding_len);
3441
Matt Caswellb9908bf2015-07-29 14:08:49 +01003442 return 1;
Matt Caswell15e6be62016-09-14 12:10:33 +01003443 err:
Matt Caswell15e6be62016-09-14 12:10:33 +01003444 ssl3_send_alert(s, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
3445 return 0;
Matt Caswellb9908bf2015-07-29 14:08:49 +01003446}
Dr. Stephen Henson6434abb2007-08-11 23:18:29 +00003447#endif
Dr. Stephen Henson368888b2008-06-01 22:33:24 +00003448
Matt Caswellc7f47782017-01-10 23:02:28 +00003449MSG_PROCESS_RETURN tls_process_hello_req(SSL *s, PACKET *pkt)
3450{
3451 if (PACKET_remaining(pkt) > 0) {
3452 /* should contain no data */
3453 SSLerr(SSL_F_TLS_PROCESS_HELLO_REQ, SSL_R_LENGTH_MISMATCH);
3454 ssl3_send_alert(s, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
3455 ossl_statem_set_error(s);
3456 return MSG_PROCESS_ERROR;
3457 }
3458
3459 /*
Matt Caswell1f04f232017-01-27 15:23:25 +00003460 * This is a historical discrepancy (not in the RFC) maintained for
3461 * compatibility reasons. If a TLS client receives a HelloRequest it will
3462 * attempt an abbreviated handshake. However if a DTLS client receives a
3463 * HelloRequest it will do a full handshake. Either behaviour is reasonable
3464 * but doing one for TLS and another for DTLS is odd.
Matt Caswellc7f47782017-01-10 23:02:28 +00003465 */
3466 if (SSL_IS_DTLS(s))
3467 SSL_renegotiate(s);
3468 else
3469 SSL_renegotiate_abbreviated(s);
3470
3471 return MSG_PROCESS_FINISHED_READING;
3472}
3473
Matt Caswelle46f2332016-11-23 15:20:22 +00003474static MSG_PROCESS_RETURN tls_process_encrypted_extensions(SSL *s, PACKET *pkt)
3475{
3476 int al = SSL_AD_INTERNAL_ERROR;
3477 PACKET extensions;
Matt Caswell3434f402016-11-28 16:45:52 +00003478 RAW_EXTENSION *rawexts = NULL;
Matt Caswelle46f2332016-11-23 15:20:22 +00003479
Matt Caswell26b91722017-05-11 11:31:57 +01003480 if (!PACKET_as_length_prefixed_2(pkt, &extensions)
3481 || PACKET_remaining(pkt) != 0) {
Matt Caswelle46f2332016-11-23 15:20:22 +00003482 al = SSL_AD_DECODE_ERROR;
3483 SSLerr(SSL_F_TLS_PROCESS_ENCRYPTED_EXTENSIONS, SSL_R_LENGTH_MISMATCH);
3484 goto err;
3485 }
3486
Matt Caswellfe874d22017-04-04 11:40:02 +01003487 if (!tls_collect_extensions(s, &extensions,
3488 SSL_EXT_TLS1_3_ENCRYPTED_EXTENSIONS, &rawexts,
Tatsuhiro Tsujikawa735d5b52017-04-18 23:59:39 +09003489 &al, NULL, 1)
Matt Caswellfe874d22017-04-04 11:40:02 +01003490 || !tls_parse_all_extensions(s, SSL_EXT_TLS1_3_ENCRYPTED_EXTENSIONS,
Tatsuhiro Tsujikawa735d5b52017-04-18 23:59:39 +09003491 rawexts, NULL, 0, &al, 1))
Matt Caswell3434f402016-11-28 16:45:52 +00003492 goto err;
3493
Matt Caswell1b0286a2016-12-05 17:31:37 +00003494 OPENSSL_free(rawexts);
Matt Caswelle46f2332016-11-23 15:20:22 +00003495 return MSG_PROCESS_CONTINUE_READING;
3496
3497 err:
3498 ssl3_send_alert(s, SSL3_AL_FATAL, al);
3499 ossl_statem_set_error(s);
Matt Caswell1b0286a2016-12-05 17:31:37 +00003500 OPENSSL_free(rawexts);
Matt Caswelle46f2332016-11-23 15:20:22 +00003501 return MSG_PROCESS_ERROR;
3502}
3503
Dr. Stephen Henson368888b2008-06-01 22:33:24 +00003504int ssl_do_client_cert_cb(SSL *s, X509 **px509, EVP_PKEY **ppkey)
Matt Caswell0f113f32015-01-22 03:40:55 +00003505{
3506 int i = 0;
Dr. Stephen Henson368888b2008-06-01 22:33:24 +00003507#ifndef OPENSSL_NO_ENGINE
Matt Caswell0f113f32015-01-22 03:40:55 +00003508 if (s->ctx->client_cert_engine) {
3509 i = ENGINE_load_ssl_client_cert(s->ctx->client_cert_engine, s,
3510 SSL_get_client_CA_list(s),
3511 px509, ppkey, NULL, NULL, NULL);
3512 if (i != 0)
3513 return i;
3514 }
Dr. Stephen Henson368888b2008-06-01 22:33:24 +00003515#endif
Matt Caswell0f113f32015-01-22 03:40:55 +00003516 if (s->ctx->client_cert_cb)
3517 i = s->ctx->client_cert_cb(s, px509, ppkey);
3518 return i;
3519}
Matt Caswelld45ba432015-04-24 15:05:27 +01003520
Matt Caswellae2f7b32016-09-05 17:34:04 +01003521int ssl_cipher_list_to_bytes(SSL *s, STACK_OF(SSL_CIPHER) *sk, WPACKET *pkt)
Matt Caswelld45ba432015-04-24 15:05:27 +01003522{
Matt Caswell2c7b4db2016-08-03 20:57:52 +01003523 int i;
Matt Caswellaafec892017-04-26 10:38:32 +01003524 size_t totlen = 0, len, maxlen, maxverok = 0;
Matt Caswelld45ba432015-04-24 15:05:27 +01003525 int empty_reneg_info_scsv = !s->renegotiate;
3526 /* Set disabled masks for this session */
3527 ssl_set_client_disabled(s);
3528
3529 if (sk == NULL)
3530 return (0);
Matt Caswelld45ba432015-04-24 15:05:27 +01003531
Matt Caswell2c7b4db2016-08-03 20:57:52 +01003532#ifdef OPENSSL_MAX_TLS1_2_CIPHER_LENGTH
3533# if OPENSSL_MAX_TLS1_2_CIPHER_LENGTH < 6
3534# error Max cipher length too short
3535# endif
3536 /*
3537 * Some servers hang if client hello > 256 bytes as hack workaround
3538 * chop number of supported ciphers to keep it well below this if we
3539 * use TLS v1.2
3540 */
3541 if (TLS1_get_version(s) >= TLS1_2_VERSION)
3542 maxlen = OPENSSL_MAX_TLS1_2_CIPHER_LENGTH & ~1;
3543 else
3544#endif
3545 /* Maximum length that can be stored in 2 bytes. Length must be even */
3546 maxlen = 0xfffe;
3547
3548 if (empty_reneg_info_scsv)
3549 maxlen -= 2;
3550 if (s->mode & SSL_MODE_SEND_FALLBACK_SCSV)
3551 maxlen -= 2;
3552
3553 for (i = 0; i < sk_SSL_CIPHER_num(sk) && totlen < maxlen; i++) {
3554 const SSL_CIPHER *c;
3555
Matt Caswelld45ba432015-04-24 15:05:27 +01003556 c = sk_SSL_CIPHER_value(sk, i);
3557 /* Skip disabled ciphers */
Matt Caswell8af91fd2017-04-12 17:02:42 +01003558 if (ssl_cipher_disabled(s, c, SSL_SECOP_CIPHER_SUPPORTED, 0))
Matt Caswelld45ba432015-04-24 15:05:27 +01003559 continue;
Matt Caswell2c7b4db2016-08-03 20:57:52 +01003560
3561 if (!s->method->put_cipher_by_char(c, pkt, &len)) {
3562 SSLerr(SSL_F_SSL_CIPHER_LIST_TO_BYTES, ERR_R_INTERNAL_ERROR);
3563 return 0;
3564 }
3565
Matt Caswellaafec892017-04-26 10:38:32 +01003566 /* Sanity check that the maximum version we offer has ciphers enabled */
3567 if (!maxverok) {
3568 if (SSL_IS_DTLS(s)) {
3569 if (DTLS_VERSION_GE(c->max_dtls, s->s3->tmp.max_ver)
3570 && DTLS_VERSION_LE(c->min_dtls, s->s3->tmp.max_ver))
3571 maxverok = 1;
3572 } else {
3573 if (c->max_tls >= s->s3->tmp.max_ver
3574 && c->min_tls <= s->s3->tmp.max_ver)
3575 maxverok = 1;
3576 }
3577 }
3578
Matt Caswell2c7b4db2016-08-03 20:57:52 +01003579 totlen += len;
Matt Caswelld45ba432015-04-24 15:05:27 +01003580 }
Matt Caswell2c7b4db2016-08-03 20:57:52 +01003581
Matt Caswellaafec892017-04-26 10:38:32 +01003582 if (totlen == 0 || !maxverok) {
Matt Caswell2c7b4db2016-08-03 20:57:52 +01003583 SSLerr(SSL_F_SSL_CIPHER_LIST_TO_BYTES, SSL_R_NO_CIPHERS_AVAILABLE);
Matt Caswellaafec892017-04-26 10:38:32 +01003584
3585 if (!maxverok)
3586 ERR_add_error_data(1, "No ciphers enabled for max supported "
3587 "SSL/TLS version");
3588
Matt Caswell2c7b4db2016-08-03 20:57:52 +01003589 return 0;
3590 }
3591
3592 if (totlen != 0) {
Matt Caswelld45ba432015-04-24 15:05:27 +01003593 if (empty_reneg_info_scsv) {
3594 static SSL_CIPHER scsv = {
3595 0, NULL, SSL3_CK_SCSV, 0, 0, 0, 0, 0, 0, 0, 0, 0
3596 };
Matt Caswell2c7b4db2016-08-03 20:57:52 +01003597 if (!s->method->put_cipher_by_char(&scsv, pkt, &len)) {
3598 SSLerr(SSL_F_SSL_CIPHER_LIST_TO_BYTES, ERR_R_INTERNAL_ERROR);
3599 return 0;
3600 }
Matt Caswelld45ba432015-04-24 15:05:27 +01003601 }
3602 if (s->mode & SSL_MODE_SEND_FALLBACK_SCSV) {
3603 static SSL_CIPHER scsv = {
3604 0, NULL, SSL3_CK_FALLBACK_SCSV, 0, 0, 0, 0, 0, 0, 0, 0, 0
3605 };
Matt Caswell2c7b4db2016-08-03 20:57:52 +01003606 if (!s->method->put_cipher_by_char(&scsv, pkt, &len)) {
3607 SSLerr(SSL_F_SSL_CIPHER_LIST_TO_BYTES, ERR_R_INTERNAL_ERROR);
3608 return 0;
3609 }
Matt Caswelld45ba432015-04-24 15:05:27 +01003610 }
3611 }
3612
Matt Caswell2c7b4db2016-08-03 20:57:52 +01003613 return 1;
Matt Caswelld45ba432015-04-24 15:05:27 +01003614}
Matt Caswellef6c1912017-03-09 15:03:07 +00003615
3616int tls_construct_end_of_early_data(SSL *s, WPACKET *pkt)
3617{
3618 if (s->early_data_state != SSL_EARLY_DATA_WRITE_RETRY
3619 && s->early_data_state != SSL_EARLY_DATA_FINISHED_WRITING) {
3620 SSLerr(SSL_F_TLS_CONSTRUCT_END_OF_EARLY_DATA,
3621 ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED);
3622 return 0;
3623 }
3624
3625 s->early_data_state = SSL_EARLY_DATA_FINISHED_WRITING;
3626 return 1;
3627}