blob: 6c0f8be56466f7f0f346c1bc2cb20cd182766419 [file] [log] [blame]
Rich Salz846e33c2016-05-17 14:18:30 -04001/*
Todd Short9d75dce2017-12-18 16:52:28 -05002 * Copyright 1995-2018 The OpenSSL Project Authors. All Rights Reserved.
Rich Salzaa8f3d72017-06-15 10:16:46 -04003 * Copyright (c) 2002, Oracle and/or its affiliates. All rights reserved
Rich Salzc80149d2017-06-20 10:14:36 -04004 * Copyright 2005 Nokia. All rights reserved.
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00005 *
Rich Salz846e33c2016-05-17 14:18:30 -04006 * Licensed under the OpenSSL license (the "License"). You may not use
7 * this file except in compliance with the License. You can obtain a copy
8 * in the file LICENSE in the source distribution or at
9 * https://www.openssl.org/source/license.html
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +000010 */
Rich Salz846e33c2016-05-17 14:18:30 -040011
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +000012#include <stdio.h>
Matt Caswellfc24f0b2017-01-17 10:43:37 +000013#include <time.h>
Philippe Antoinedee0cc12018-03-26 10:29:56 +020014#include <assert.h>
Matt Caswell8ba708e2015-09-11 10:48:59 +010015#include "../ssl_locl.h"
Matt Caswell61ae9352015-09-11 11:23:20 +010016#include "statem_locl.h"
Bodo Möllerec577821999-04-23 22:13:45 +000017#include <openssl/buffer.h>
18#include <openssl/rand.h>
19#include <openssl/objects.h>
20#include <openssl/evp.h>
Ben Lauriedbad1692001-07-30 23:57:25 +000021#include <openssl/md5.h>
Rich Salz3c272082016-03-18 14:30:20 -040022#include <openssl/dh.h>
Geoff Thorped095b682004-05-17 18:53:47 +000023#include <openssl/bn.h>
Rich Salz3c272082016-03-18 14:30:20 -040024#include <openssl/engine.h>
Richard Levittef9b3bff2000-11-30 22:53:34 +000025
Matt Caswell597c51b2017-12-05 10:14:35 +000026static MSG_PROCESS_RETURN tls_process_as_hello_retry_request(SSL *s, PACKET *pkt);
Matt Caswelle46f2332016-11-23 15:20:22 +000027static MSG_PROCESS_RETURN tls_process_encrypted_extensions(SSL *s, PACKET *pkt);
28
Matt Caswell7ab09632015-12-23 09:45:02 +000029static ossl_inline int cert_req_allowed(SSL *s);
Matt Caswella455d0f2015-09-14 15:06:37 +010030static int key_exchange_expected(SSL *s);
Matt Caswelld45ba432015-04-24 15:05:27 +010031static int ssl_cipher_list_to_bytes(SSL *s, STACK_OF(SSL_CIPHER) *sk,
Matt Caswellae2f7b32016-09-05 17:34:04 +010032 WPACKET *pkt);
Bodo Möllerea262262002-08-09 08:56:08 +000033
Matt Caswell61ae9352015-09-11 11:23:20 +010034/*
35 * Is a CertificateRequest message allowed at the moment or not?
36 *
37 * Return values are:
38 * 1: Yes
39 * 0: No
40 */
Matt Caswell7ab09632015-12-23 09:45:02 +000041static ossl_inline int cert_req_allowed(SSL *s)
Matt Caswell61ae9352015-09-11 11:23:20 +010042{
43 /* TLS does not like anon-DH with client cert */
Matt Caswellb7fa1f92015-10-26 23:11:44 +000044 if ((s->version > SSL3_VERSION
Emilia Kaspera230b262016-08-05 19:03:17 +020045 && (s->s3->tmp.new_cipher->algorithm_auth & SSL_aNULL))
46 || (s->s3->tmp.new_cipher->algorithm_auth & (SSL_aSRP | SSL_aPSK)))
Matt Caswell61ae9352015-09-11 11:23:20 +010047 return 0;
48
49 return 1;
50}
51
52/*
Matt Caswella455d0f2015-09-14 15:06:37 +010053 * Should we expect the ServerKeyExchange message or not?
Matt Caswell61ae9352015-09-11 11:23:20 +010054 *
55 * Return values are:
56 * 1: Yes
57 * 0: No
58 */
Matt Caswella455d0f2015-09-14 15:06:37 +010059static int key_exchange_expected(SSL *s)
Matt Caswell61ae9352015-09-11 11:23:20 +010060{
61 long alg_k = s->s3->tmp.new_cipher->algorithm_mkey;
62
63 /*
64 * Can't skip server key exchange if this is an ephemeral
Matt Caswella455d0f2015-09-14 15:06:37 +010065 * ciphersuite or for SRP
Matt Caswell61ae9352015-09-11 11:23:20 +010066 */
Matt Caswella455d0f2015-09-14 15:06:37 +010067 if (alg_k & (SSL_kDHE | SSL_kECDHE | SSL_kDHEPSK | SSL_kECDHEPSK
68 | SSL_kSRP)) {
69 return 1;
Matt Caswell61ae9352015-09-11 11:23:20 +010070 }
71
Matt Caswella455d0f2015-09-14 15:06:37 +010072 return 0;
Matt Caswell61ae9352015-09-11 11:23:20 +010073}
74
75/*
Matt Caswell8481f582015-10-26 11:54:17 +000076 * ossl_statem_client_read_transition() encapsulates the logic for the allowed
Matt Caswell0f1e51e2016-11-02 15:03:56 +000077 * handshake state transitions when a TLS1.3 client is reading messages from the
78 * server. The message type that the server has sent is provided in |mt|. The
79 * current state is in |s->statem.hand_state|.
80 *
Matt Caswell94ed2c62016-11-14 14:53:31 +000081 * Return values are 1 for success (transition allowed) and 0 on error
82 * (transition not allowed)
Matt Caswell0f1e51e2016-11-02 15:03:56 +000083 */
84static int ossl_statem_client13_read_transition(SSL *s, int mt)
85{
86 OSSL_STATEM *st = &s->statem;
87
88 /*
89 * Note: There is no case for TLS_ST_CW_CLNT_HELLO, because we haven't
90 * yet negotiated TLSv1.3 at that point so that is handled by
91 * ossl_statem_client_read_transition()
92 */
93
94 switch (st->hand_state) {
95 default:
96 break;
97
Matt Caswell3847d422017-02-01 13:31:27 +000098 case TLS_ST_CW_CLNT_HELLO:
99 /*
100 * This must a ClientHello following a HelloRetryRequest, so the only
101 * thing we can get now is a ServerHello.
102 */
103 if (mt == SSL3_MT_SERVER_HELLO) {
104 st->hand_state = TLS_ST_CR_SRVR_HELLO;
105 return 1;
106 }
107 break;
108
Matt Caswell0f1e51e2016-11-02 15:03:56 +0000109 case TLS_ST_CR_SRVR_HELLO:
Matt Caswelle46f2332016-11-23 15:20:22 +0000110 if (mt == SSL3_MT_ENCRYPTED_EXTENSIONS) {
111 st->hand_state = TLS_ST_CR_ENCRYPTED_EXTENSIONS;
112 return 1;
113 }
114 break;
115
116 case TLS_ST_CR_ENCRYPTED_EXTENSIONS:
Matt Caswell0f1e51e2016-11-02 15:03:56 +0000117 if (s->hit) {
Matt Caswell92760c22016-11-09 14:06:12 +0000118 if (mt == SSL3_MT_FINISHED) {
119 st->hand_state = TLS_ST_CR_FINISHED;
Matt Caswell0f1e51e2016-11-02 15:03:56 +0000120 return 1;
121 }
122 } else {
Matt Caswell92760c22016-11-09 14:06:12 +0000123 if (mt == SSL3_MT_CERTIFICATE_REQUEST) {
124 st->hand_state = TLS_ST_CR_CERT_REQ;
125 return 1;
Matt Caswellf5ca0b02016-11-21 12:10:35 +0000126 }
127 if (mt == SSL3_MT_CERTIFICATE) {
Matt Caswell0f1e51e2016-11-02 15:03:56 +0000128 st->hand_state = TLS_ST_CR_CERT;
129 return 1;
130 }
131 }
132 break;
133
Matt Caswell92760c22016-11-09 14:06:12 +0000134 case TLS_ST_CR_CERT_REQ:
135 if (mt == SSL3_MT_CERTIFICATE) {
136 st->hand_state = TLS_ST_CR_CERT;
137 return 1;
138 }
139 break;
140
Matt Caswell0f1e51e2016-11-02 15:03:56 +0000141 case TLS_ST_CR_CERT:
Matt Caswell2c5dfdc2016-12-05 17:04:51 +0000142 if (mt == SSL3_MT_CERTIFICATE_VERIFY) {
143 st->hand_state = TLS_ST_CR_CERT_VRFY;
144 return 1;
145 }
146 break;
147
148 case TLS_ST_CR_CERT_VRFY:
Matt Caswell0f1e51e2016-11-02 15:03:56 +0000149 if (mt == SSL3_MT_FINISHED) {
150 st->hand_state = TLS_ST_CR_FINISHED;
151 return 1;
152 }
153 break;
Matt Caswellcc2455b2017-01-11 17:18:19 +0000154
155 case TLS_ST_OK:
156 if (mt == SSL3_MT_NEWSESSION_TICKET) {
157 st->hand_state = TLS_ST_CR_SESSION_TICKET;
158 return 1;
159 }
Matt Caswelle1c3de42017-02-09 12:07:31 +0000160 if (mt == SSL3_MT_KEY_UPDATE) {
161 st->hand_state = TLS_ST_CR_KEY_UPDATE;
162 return 1;
163 }
Todd Short9d75dce2017-12-18 16:52:28 -0500164 if (mt == SSL3_MT_CERTIFICATE_REQUEST) {
165#if DTLS_MAX_VERSION != DTLS1_2_VERSION
166# error TODO(DTLS1.3): Restore digest for PHA before adding message.
167#endif
168 if (!SSL_IS_DTLS(s) && s->post_handshake_auth == SSL_PHA_EXT_SENT) {
169 s->post_handshake_auth = SSL_PHA_REQUESTED;
170 /*
171 * In TLS, this is called before the message is added to the
172 * digest. In DTLS, this is expected to be called after adding
173 * to the digest. Either move the digest restore, or add the
174 * message here after the swap, or do it after the clientFinished?
175 */
176 if (!tls13_restore_handshake_digest_for_pha(s)) {
177 /* SSLfatal() already called */
178 return 0;
179 }
180 st->hand_state = TLS_ST_CR_CERT_REQ;
181 return 1;
182 }
183 }
Matt Caswellcc2455b2017-01-11 17:18:19 +0000184 break;
Matt Caswell0f1e51e2016-11-02 15:03:56 +0000185 }
186
Matt Caswell0f1e51e2016-11-02 15:03:56 +0000187 /* No valid transition found */
Matt Caswell0f1e51e2016-11-02 15:03:56 +0000188 return 0;
189}
190
191/*
192 * ossl_statem_client_read_transition() encapsulates the logic for the allowed
Matt Caswell8481f582015-10-26 11:54:17 +0000193 * handshake state transitions when the client is reading messages from the
194 * server. The message type that the server has sent is provided in |mt|. The
195 * current state is in |s->statem.hand_state|.
Matt Caswell61ae9352015-09-11 11:23:20 +0100196 *
Matt Caswell94ed2c62016-11-14 14:53:31 +0000197 * Return values are 1 for success (transition allowed) and 0 on error
198 * (transition not allowed)
Matt Caswell61ae9352015-09-11 11:23:20 +0100199 */
Matt Caswell8481f582015-10-26 11:54:17 +0000200int ossl_statem_client_read_transition(SSL *s, int mt)
Matt Caswell61ae9352015-09-11 11:23:20 +0100201{
Matt Caswelld6f1a6e2015-10-05 10:58:52 +0100202 OSSL_STATEM *st = &s->statem;
Matt Caswella455d0f2015-09-14 15:06:37 +0100203 int ske_expected;
Matt Caswell61ae9352015-09-11 11:23:20 +0100204
Matt Caswell0f1e51e2016-11-02 15:03:56 +0000205 /*
Matt Caswell3847d422017-02-01 13:31:27 +0000206 * Note that after writing the first ClientHello we don't know what version
207 * we are going to negotiate yet, so we don't take this branch until later.
Matt Caswell0f1e51e2016-11-02 15:03:56 +0000208 */
Matt Caswellf5ca0b02016-11-21 12:10:35 +0000209 if (SSL_IS_TLS13(s)) {
Matt Caswell5abeaf32016-11-15 10:30:34 +0000210 if (!ossl_statem_client13_read_transition(s, mt))
211 goto err;
212 return 1;
213 }
Matt Caswell0f1e51e2016-11-02 15:03:56 +0000214
Emilia Kaspera230b262016-08-05 19:03:17 +0200215 switch (st->hand_state) {
Rich Salzf3b3d7f2016-08-30 13:31:18 -0400216 default:
217 break;
218
Matt Caswell61ae9352015-09-11 11:23:20 +0100219 case TLS_ST_CW_CLNT_HELLO:
220 if (mt == SSL3_MT_SERVER_HELLO) {
221 st->hand_state = TLS_ST_CR_SRVR_HELLO;
222 return 1;
223 }
224
225 if (SSL_IS_DTLS(s)) {
226 if (mt == DTLS1_MT_HELLO_VERIFY_REQUEST) {
227 st->hand_state = DTLS_ST_CR_HELLO_VERIFY_REQUEST;
228 return 1;
229 }
230 }
231 break;
232
Matt Caswelld7f87832017-02-25 15:59:44 +0000233 case TLS_ST_EARLY_DATA:
Matt Caswell4004ce52017-02-25 00:06:49 +0000234 /*
235 * We've not actually selected TLSv1.3 yet, but we have sent early
236 * data. The only thing allowed now is a ServerHello or a
237 * HelloRetryRequest.
238 */
239 if (mt == SSL3_MT_SERVER_HELLO) {
240 st->hand_state = TLS_ST_CR_SRVR_HELLO;
241 return 1;
242 }
Matt Caswell4004ce52017-02-25 00:06:49 +0000243 break;
244
Matt Caswell61ae9352015-09-11 11:23:20 +0100245 case TLS_ST_CR_SRVR_HELLO:
246 if (s->hit) {
Rich Salzaff8c122016-12-08 14:18:40 -0500247 if (s->ext.ticket_expected) {
Matt Caswell61ae9352015-09-11 11:23:20 +0100248 if (mt == SSL3_MT_NEWSESSION_TICKET) {
249 st->hand_state = TLS_ST_CR_SESSION_TICKET;
250 return 1;
251 }
252 } else if (mt == SSL3_MT_CHANGE_CIPHER_SPEC) {
253 st->hand_state = TLS_ST_CR_CHANGE;
254 return 1;
255 }
256 } else {
257 if (SSL_IS_DTLS(s) && mt == DTLS1_MT_HELLO_VERIFY_REQUEST) {
258 st->hand_state = DTLS_ST_CR_HELLO_VERIFY_REQUEST;
259 return 1;
Matt Caswellad3819c2015-12-04 10:18:01 +0000260 } else if (s->version >= TLS1_VERSION
Rich Salzaff8c122016-12-08 14:18:40 -0500261 && s->ext.session_secret_cb != NULL
262 && s->session->ext.tick != NULL
Emilia Kaspera230b262016-08-05 19:03:17 +0200263 && mt == SSL3_MT_CHANGE_CIPHER_SPEC) {
Matt Caswellad3819c2015-12-04 10:18:01 +0000264 /*
265 * Normally, we can tell if the server is resuming the session
266 * from the session ID. EAP-FAST (RFC 4851), however, relies on
267 * the next server message after the ServerHello to determine if
268 * the server is resuming.
269 */
270 s->hit = 1;
271 st->hand_state = TLS_ST_CR_CHANGE;
272 return 1;
Matt Caswell61ae9352015-09-11 11:23:20 +0100273 } else if (!(s->s3->tmp.new_cipher->algorithm_auth
Emilia Kaspera230b262016-08-05 19:03:17 +0200274 & (SSL_aNULL | SSL_aSRP | SSL_aPSK))) {
Matt Caswell61ae9352015-09-11 11:23:20 +0100275 if (mt == SSL3_MT_CERTIFICATE) {
276 st->hand_state = TLS_ST_CR_CERT;
277 return 1;
278 }
279 } else {
Matt Caswella455d0f2015-09-14 15:06:37 +0100280 ske_expected = key_exchange_expected(s);
Matt Caswella455d0f2015-09-14 15:06:37 +0100281 /* SKE is optional for some PSK ciphersuites */
282 if (ske_expected
Emilia Kaspera230b262016-08-05 19:03:17 +0200283 || ((s->s3->tmp.new_cipher->algorithm_mkey & SSL_PSK)
284 && mt == SSL3_MT_SERVER_KEY_EXCHANGE)) {
Matt Caswella455d0f2015-09-14 15:06:37 +0100285 if (mt == SSL3_MT_SERVER_KEY_EXCHANGE) {
286 st->hand_state = TLS_ST_CR_KEY_EXCH;
287 return 1;
288 }
289 } else if (mt == SSL3_MT_CERTIFICATE_REQUEST
Emilia Kaspera230b262016-08-05 19:03:17 +0200290 && cert_req_allowed(s)) {
291 st->hand_state = TLS_ST_CR_CERT_REQ;
292 return 1;
Matt Caswella455d0f2015-09-14 15:06:37 +0100293 } else if (mt == SSL3_MT_SERVER_DONE) {
Emilia Kaspera230b262016-08-05 19:03:17 +0200294 st->hand_state = TLS_ST_CR_SRVR_DONE;
295 return 1;
Matt Caswell61ae9352015-09-11 11:23:20 +0100296 }
297 }
298 }
299 break;
300
301 case TLS_ST_CR_CERT:
Matt Caswellbb1aaab2015-11-05 14:31:11 +0000302 /*
303 * The CertificateStatus message is optional even if
Rich Salzaff8c122016-12-08 14:18:40 -0500304 * |ext.status_expected| is set
Matt Caswellbb1aaab2015-11-05 14:31:11 +0000305 */
Rich Salzaff8c122016-12-08 14:18:40 -0500306 if (s->ext.status_expected && mt == SSL3_MT_CERTIFICATE_STATUS) {
Matt Caswellbb1aaab2015-11-05 14:31:11 +0000307 st->hand_state = TLS_ST_CR_CERT_STATUS;
308 return 1;
Matt Caswella455d0f2015-09-14 15:06:37 +0100309 }
310 /* Fall through */
311
312 case TLS_ST_CR_CERT_STATUS:
313 ske_expected = key_exchange_expected(s);
Matt Caswella455d0f2015-09-14 15:06:37 +0100314 /* SKE is optional for some PSK ciphersuites */
Emilia Kaspera230b262016-08-05 19:03:17 +0200315 if (ske_expected || ((s->s3->tmp.new_cipher->algorithm_mkey & SSL_PSK)
316 && mt == SSL3_MT_SERVER_KEY_EXCHANGE)) {
Matt Caswell61ae9352015-09-11 11:23:20 +0100317 if (mt == SSL3_MT_SERVER_KEY_EXCHANGE) {
318 st->hand_state = TLS_ST_CR_KEY_EXCH;
319 return 1;
Matt Caswell61ae9352015-09-11 11:23:20 +0100320 }
Matt Caswell672f3332016-06-22 19:43:46 +0100321 goto err;
Matt Caswell61ae9352015-09-11 11:23:20 +0100322 }
Matt Caswella455d0f2015-09-14 15:06:37 +0100323 /* Fall through */
Matt Caswell61ae9352015-09-11 11:23:20 +0100324
325 case TLS_ST_CR_KEY_EXCH:
Matt Caswella455d0f2015-09-14 15:06:37 +0100326 if (mt == SSL3_MT_CERTIFICATE_REQUEST) {
327 if (cert_req_allowed(s)) {
328 st->hand_state = TLS_ST_CR_CERT_REQ;
329 return 1;
330 }
Matt Caswell672f3332016-06-22 19:43:46 +0100331 goto err;
Matt Caswell61ae9352015-09-11 11:23:20 +0100332 }
Matt Caswella455d0f2015-09-14 15:06:37 +0100333 /* Fall through */
Matt Caswell61ae9352015-09-11 11:23:20 +0100334
335 case TLS_ST_CR_CERT_REQ:
336 if (mt == SSL3_MT_SERVER_DONE) {
337 st->hand_state = TLS_ST_CR_SRVR_DONE;
338 return 1;
339 }
340 break;
341
342 case TLS_ST_CW_FINISHED:
Rich Salzaff8c122016-12-08 14:18:40 -0500343 if (s->ext.ticket_expected) {
David Benjaminc45d6b22016-03-05 19:35:52 -0500344 if (mt == SSL3_MT_NEWSESSION_TICKET) {
345 st->hand_state = TLS_ST_CR_SESSION_TICKET;
346 return 1;
347 }
Matt Caswell61ae9352015-09-11 11:23:20 +0100348 } else if (mt == SSL3_MT_CHANGE_CIPHER_SPEC) {
349 st->hand_state = TLS_ST_CR_CHANGE;
350 return 1;
351 }
352 break;
353
354 case TLS_ST_CR_SESSION_TICKET:
355 if (mt == SSL3_MT_CHANGE_CIPHER_SPEC) {
356 st->hand_state = TLS_ST_CR_CHANGE;
357 return 1;
358 }
359 break;
360
361 case TLS_ST_CR_CHANGE:
362 if (mt == SSL3_MT_FINISHED) {
363 st->hand_state = TLS_ST_CR_FINISHED;
364 return 1;
365 }
366 break;
Matt Caswellc7f47782017-01-10 23:02:28 +0000367
368 case TLS_ST_OK:
Matt Caswell4004ce52017-02-25 00:06:49 +0000369 if (mt == SSL3_MT_HELLO_REQUEST) {
Matt Caswellc7f47782017-01-10 23:02:28 +0000370 st->hand_state = TLS_ST_CR_HELLO_REQ;
371 return 1;
372 }
373 break;
Matt Caswell61ae9352015-09-11 11:23:20 +0100374 }
375
Matt Caswell672f3332016-06-22 19:43:46 +0100376 err:
Matt Caswell61ae9352015-09-11 11:23:20 +0100377 /* No valid transition found */
Matt Caswellf20404f2018-05-03 12:07:47 +0100378 if (SSL_IS_DTLS(s) && mt == SSL3_MT_CHANGE_CIPHER_SPEC) {
379 BIO *rbio;
380
381 /*
382 * CCS messages don't have a message sequence number so this is probably
383 * because of an out-of-order CCS. We'll just drop it.
384 */
385 s->init_num = 0;
386 s->rwstate = SSL_READING;
387 rbio = SSL_get_rbio(s);
388 BIO_clear_retry_flags(rbio);
389 BIO_set_retry_read(rbio);
390 return 0;
391 }
Matt Caswellf63a17d2017-11-21 17:18:43 +0000392 SSLfatal(s, SSL3_AD_UNEXPECTED_MESSAGE,
393 SSL_F_OSSL_STATEM_CLIENT_READ_TRANSITION,
394 SSL_R_UNEXPECTED_MESSAGE);
Matt Caswell61ae9352015-09-11 11:23:20 +0100395 return 0;
396}
397
398/*
Matt Caswell0f1e51e2016-11-02 15:03:56 +0000399 * ossl_statem_client13_write_transition() works out what handshake state to
400 * move to next when the TLSv1.3 client is writing messages to be sent to the
401 * server.
Matt Caswell0f1e51e2016-11-02 15:03:56 +0000402 */
403static WRITE_TRAN ossl_statem_client13_write_transition(SSL *s)
404{
405 OSSL_STATEM *st = &s->statem;
406
407 /*
Matt Caswell3847d422017-02-01 13:31:27 +0000408 * Note: There are no cases for TLS_ST_BEFORE because we haven't negotiated
409 * TLSv1.3 yet at that point. They are handled by
410 * ossl_statem_client_write_transition().
Matt Caswell0f1e51e2016-11-02 15:03:56 +0000411 */
412 switch (st->hand_state) {
Todd Shorte43e6b12018-01-31 16:36:27 -0500413 default:
414 /* Shouldn't happen */
415 SSLfatal(s, SSL_AD_INTERNAL_ERROR,
416 SSL_F_OSSL_STATEM_CLIENT13_WRITE_TRANSITION,
417 ERR_R_INTERNAL_ERROR);
418 return WRITE_TRAN_ERROR;
419
Todd Short9d75dce2017-12-18 16:52:28 -0500420 case TLS_ST_CR_CERT_REQ:
421 if (s->post_handshake_auth == SSL_PHA_REQUESTED) {
422 st->hand_state = TLS_ST_CW_CERT;
423 return WRITE_TRAN_CONTINUE;
424 }
Todd Shorte43e6b12018-01-31 16:36:27 -0500425 /* Shouldn't happen - same as default case */
Matt Caswella2c2e002017-11-22 17:18:39 +0000426 SSLfatal(s, SSL_AD_INTERNAL_ERROR,
427 SSL_F_OSSL_STATEM_CLIENT13_WRITE_TRANSITION,
428 ERR_R_INTERNAL_ERROR);
Matt Caswell0f1e51e2016-11-02 15:03:56 +0000429 return WRITE_TRAN_ERROR;
430
Matt Caswell92760c22016-11-09 14:06:12 +0000431 case TLS_ST_CR_FINISHED:
Matt Caswellef6c1912017-03-09 15:03:07 +0000432 if (s->early_data_state == SSL_EARLY_DATA_WRITE_RETRY
433 || s->early_data_state == SSL_EARLY_DATA_FINISHED_WRITING)
Matt Caswelld7f87832017-02-25 15:59:44 +0000434 st->hand_state = TLS_ST_PENDING_EARLY_DATA_END;
Matt Caswell4d02f872017-11-08 11:37:12 +0000435 else if ((s->options & SSL_OP_ENABLE_MIDDLEBOX_COMPAT) != 0
Matt Caswellfc7129d2017-11-13 11:24:51 +0000436 && s->hello_retry_request == SSL_HRR_NONE)
Matt Caswell4d02f872017-11-08 11:37:12 +0000437 st->hand_state = TLS_ST_CW_CHANGE;
Matt Caswell564547e2017-02-25 15:34:07 +0000438 else
439 st->hand_state = (s->s3->tmp.cert_req != 0) ? TLS_ST_CW_CERT
440 : TLS_ST_CW_FINISHED;
441 return WRITE_TRAN_CONTINUE;
442
Matt Caswelld7f87832017-02-25 15:59:44 +0000443 case TLS_ST_PENDING_EARLY_DATA_END:
Matt Caswellef6c1912017-03-09 15:03:07 +0000444 if (s->ext.early_data == SSL_EARLY_DATA_ACCEPTED) {
445 st->hand_state = TLS_ST_CW_END_OF_EARLY_DATA;
446 return WRITE_TRAN_CONTINUE;
447 }
448 /* Fall through */
449
450 case TLS_ST_CW_END_OF_EARLY_DATA:
Matt Caswell4d02f872017-11-08 11:37:12 +0000451 case TLS_ST_CW_CHANGE:
Matt Caswell94ed2c62016-11-14 14:53:31 +0000452 st->hand_state = (s->s3->tmp.cert_req != 0) ? TLS_ST_CW_CERT
Matt Caswell92760c22016-11-09 14:06:12 +0000453 : TLS_ST_CW_FINISHED;
Matt Caswell0f1e51e2016-11-02 15:03:56 +0000454 return WRITE_TRAN_CONTINUE;
455
456 case TLS_ST_CW_CERT:
457 /* If a non-empty Certificate we also send CertificateVerify */
Matt Caswell94ed2c62016-11-14 14:53:31 +0000458 st->hand_state = (s->s3->tmp.cert_req == 1) ? TLS_ST_CW_CERT_VRFY
Matt Caswell92760c22016-11-09 14:06:12 +0000459 : TLS_ST_CW_FINISHED;
Matt Caswell0f1e51e2016-11-02 15:03:56 +0000460 return WRITE_TRAN_CONTINUE;
461
462 case TLS_ST_CW_CERT_VRFY:
Matt Caswell0f1e51e2016-11-02 15:03:56 +0000463 st->hand_state = TLS_ST_CW_FINISHED;
464 return WRITE_TRAN_CONTINUE;
465
Matt Caswelle1c3de42017-02-09 12:07:31 +0000466 case TLS_ST_CR_KEY_UPDATE:
Matt Caswell5bf47932017-02-09 16:00:12 +0000467 if (s->key_update != SSL_KEY_UPDATE_NONE) {
468 st->hand_state = TLS_ST_CW_KEY_UPDATE;
469 return WRITE_TRAN_CONTINUE;
470 }
471 /* Fall through */
472
Matt Caswell9412b3a2017-02-09 13:12:00 +0000473 case TLS_ST_CW_KEY_UPDATE:
Matt Caswellcc2455b2017-01-11 17:18:19 +0000474 case TLS_ST_CR_SESSION_TICKET:
Matt Caswell0f1e51e2016-11-02 15:03:56 +0000475 case TLS_ST_CW_FINISHED:
Matt Caswell94ed2c62016-11-14 14:53:31 +0000476 st->hand_state = TLS_ST_OK;
Matt Caswell94ed2c62016-11-14 14:53:31 +0000477 return WRITE_TRAN_CONTINUE;
Matt Caswellcc2455b2017-01-11 17:18:19 +0000478
479 case TLS_ST_OK:
Matt Caswell9412b3a2017-02-09 13:12:00 +0000480 if (s->key_update != SSL_KEY_UPDATE_NONE) {
481 st->hand_state = TLS_ST_CW_KEY_UPDATE;
482 return WRITE_TRAN_CONTINUE;
483 }
484
485 /* Try to read from the server instead */
Matt Caswellcc2455b2017-01-11 17:18:19 +0000486 return WRITE_TRAN_FINISHED;
Matt Caswell0f1e51e2016-11-02 15:03:56 +0000487 }
488}
489
490/*
491 * ossl_statem_client_write_transition() works out what handshake state to
492 * move to next when the client is writing messages to be sent to the server.
Matt Caswell61ae9352015-09-11 11:23:20 +0100493 */
Matt Caswell8481f582015-10-26 11:54:17 +0000494WRITE_TRAN ossl_statem_client_write_transition(SSL *s)
Matt Caswell61ae9352015-09-11 11:23:20 +0100495{
Matt Caswelld6f1a6e2015-10-05 10:58:52 +0100496 OSSL_STATEM *st = &s->statem;
Matt Caswell61ae9352015-09-11 11:23:20 +0100497
Matt Caswell0f1e51e2016-11-02 15:03:56 +0000498 /*
499 * Note that immediately before/after a ClientHello we don't know what
500 * version we are going to negotiate yet, so we don't take this branch until
501 * later
502 */
Matt Caswellf5ca0b02016-11-21 12:10:35 +0000503 if (SSL_IS_TLS13(s))
Matt Caswell0f1e51e2016-11-02 15:03:56 +0000504 return ossl_statem_client13_write_transition(s);
505
Emilia Kaspera230b262016-08-05 19:03:17 +0200506 switch (st->hand_state) {
Rich Salzf3b3d7f2016-08-30 13:31:18 -0400507 default:
508 /* Shouldn't happen */
Matt Caswella2c2e002017-11-22 17:18:39 +0000509 SSLfatal(s, SSL_AD_INTERNAL_ERROR,
510 SSL_F_OSSL_STATEM_CLIENT_WRITE_TRANSITION,
511 ERR_R_INTERNAL_ERROR);
Rich Salzf3b3d7f2016-08-30 13:31:18 -0400512 return WRITE_TRAN_ERROR;
513
Emilia Kaspera230b262016-08-05 19:03:17 +0200514 case TLS_ST_OK:
Matt Caswellc7f47782017-01-10 23:02:28 +0000515 if (!s->renegotiate) {
516 /*
517 * We haven't requested a renegotiation ourselves so we must have
518 * received a message from the server. Better read it.
519 */
520 return WRITE_TRAN_FINISHED;
521 }
Bernd Edlinger018fcbe2017-05-11 16:21:37 +0200522 /* Renegotiation */
523 /* fall thru */
Emilia Kaspera230b262016-08-05 19:03:17 +0200524 case TLS_ST_BEFORE:
525 st->hand_state = TLS_ST_CW_CLNT_HELLO;
526 return WRITE_TRAN_CONTINUE;
Matt Caswell61ae9352015-09-11 11:23:20 +0100527
Emilia Kaspera230b262016-08-05 19:03:17 +0200528 case TLS_ST_CW_CLNT_HELLO:
Matt Caswell49e7fe12017-02-21 09:22:22 +0000529 if (s->early_data_state == SSL_EARLY_DATA_CONNECTING) {
530 /*
531 * We are assuming this is a TLSv1.3 connection, although we haven't
532 * actually selected a version yet.
533 */
Matt Caswell066904c2017-11-08 14:26:48 +0000534 if ((s->options & SSL_OP_ENABLE_MIDDLEBOX_COMPAT) != 0)
535 st->hand_state = TLS_ST_CW_CHANGE;
536 else
537 st->hand_state = TLS_ST_EARLY_DATA;
Matt Caswell49e7fe12017-02-21 09:22:22 +0000538 return WRITE_TRAN_CONTINUE;
539 }
Emilia Kaspera230b262016-08-05 19:03:17 +0200540 /*
541 * No transition at the end of writing because we don't know what
542 * we will be sent
543 */
544 return WRITE_TRAN_FINISHED;
Matt Caswell61ae9352015-09-11 11:23:20 +0100545
Matt Caswell597c51b2017-12-05 10:14:35 +0000546 case TLS_ST_CR_SRVR_HELLO:
Matt Caswell318d3c02017-11-30 14:33:22 +0000547 /*
548 * We only get here in TLSv1.3. We just received an HRR, so issue a
549 * CCS unless middlebox compat mode is off, or we already issued one
550 * because we did early data.
551 */
552 if ((s->options & SSL_OP_ENABLE_MIDDLEBOX_COMPAT) != 0
553 && s->early_data_state != SSL_EARLY_DATA_FINISHED_WRITING)
554 st->hand_state = TLS_ST_CW_CHANGE;
555 else
556 st->hand_state = TLS_ST_CW_CLNT_HELLO;
Matt Caswella2b97bd2017-10-13 11:41:50 +0100557 return WRITE_TRAN_CONTINUE;
558
Matt Caswelld7f87832017-02-25 15:59:44 +0000559 case TLS_ST_EARLY_DATA:
Matt Caswell4004ce52017-02-25 00:06:49 +0000560 return WRITE_TRAN_FINISHED;
561
Emilia Kaspera230b262016-08-05 19:03:17 +0200562 case DTLS_ST_CR_HELLO_VERIFY_REQUEST:
563 st->hand_state = TLS_ST_CW_CLNT_HELLO;
564 return WRITE_TRAN_CONTINUE;
Matt Caswell61ae9352015-09-11 11:23:20 +0100565
Emilia Kaspera230b262016-08-05 19:03:17 +0200566 case TLS_ST_CR_SRVR_DONE:
567 if (s->s3->tmp.cert_req)
568 st->hand_state = TLS_ST_CW_CERT;
569 else
Matt Caswell61ae9352015-09-11 11:23:20 +0100570 st->hand_state = TLS_ST_CW_KEY_EXCH;
Emilia Kaspera230b262016-08-05 19:03:17 +0200571 return WRITE_TRAN_CONTINUE;
Matt Caswell61ae9352015-09-11 11:23:20 +0100572
Emilia Kaspera230b262016-08-05 19:03:17 +0200573 case TLS_ST_CW_CERT:
574 st->hand_state = TLS_ST_CW_KEY_EXCH;
575 return WRITE_TRAN_CONTINUE;
Matt Caswell61ae9352015-09-11 11:23:20 +0100576
Emilia Kaspera230b262016-08-05 19:03:17 +0200577 case TLS_ST_CW_KEY_EXCH:
578 /*
579 * For TLS, cert_req is set to 2, so a cert chain of nothing is
580 * sent, but no verify packet is sent
581 */
582 /*
583 * XXX: For now, we do not support client authentication in ECDH
584 * cipher suites with ECDH (rather than ECDSA) certificates. We
585 * need to skip the certificate verify message when client's
586 * ECDH public key is sent inside the client certificate.
587 */
588 if (s->s3->tmp.cert_req == 1) {
589 st->hand_state = TLS_ST_CW_CERT_VRFY;
590 } else {
Matt Caswell61ae9352015-09-11 11:23:20 +0100591 st->hand_state = TLS_ST_CW_CHANGE;
Emilia Kaspera230b262016-08-05 19:03:17 +0200592 }
593 if (s->s3->flags & TLS1_FLAGS_SKIP_CERT_VERIFY) {
594 st->hand_state = TLS_ST_CW_CHANGE;
595 }
596 return WRITE_TRAN_CONTINUE;
Matt Caswell61ae9352015-09-11 11:23:20 +0100597
Emilia Kaspera230b262016-08-05 19:03:17 +0200598 case TLS_ST_CW_CERT_VRFY:
599 st->hand_state = TLS_ST_CW_CHANGE;
600 return WRITE_TRAN_CONTINUE;
601
602 case TLS_ST_CW_CHANGE:
Matt Caswell318d3c02017-11-30 14:33:22 +0000603 if (s->hello_retry_request == SSL_HRR_PENDING) {
604 st->hand_state = TLS_ST_CW_CLNT_HELLO;
605 } else if (s->early_data_state == SSL_EARLY_DATA_CONNECTING) {
Matt Caswell066904c2017-11-08 14:26:48 +0000606 st->hand_state = TLS_ST_EARLY_DATA;
607 } else {
Matt Caswell61ae9352015-09-11 11:23:20 +0100608#if defined(OPENSSL_NO_NEXTPROTONEG)
Emilia Kaspera230b262016-08-05 19:03:17 +0200609 st->hand_state = TLS_ST_CW_FINISHED;
Matt Caswell066904c2017-11-08 14:26:48 +0000610#else
611 if (!SSL_IS_DTLS(s) && s->s3->npn_seen)
612 st->hand_state = TLS_ST_CW_NEXT_PROTO;
613 else
614 st->hand_state = TLS_ST_CW_FINISHED;
Matt Caswell61ae9352015-09-11 11:23:20 +0100615#endif
Matt Caswell066904c2017-11-08 14:26:48 +0000616 }
Emilia Kaspera230b262016-08-05 19:03:17 +0200617 return WRITE_TRAN_CONTINUE;
Matt Caswell61ae9352015-09-11 11:23:20 +0100618
619#if !defined(OPENSSL_NO_NEXTPROTONEG)
Emilia Kaspera230b262016-08-05 19:03:17 +0200620 case TLS_ST_CW_NEXT_PROTO:
621 st->hand_state = TLS_ST_CW_FINISHED;
622 return WRITE_TRAN_CONTINUE;
Matt Caswell61ae9352015-09-11 11:23:20 +0100623#endif
624
Emilia Kaspera230b262016-08-05 19:03:17 +0200625 case TLS_ST_CW_FINISHED:
626 if (s->hit) {
627 st->hand_state = TLS_ST_OK;
Emilia Kaspera230b262016-08-05 19:03:17 +0200628 return WRITE_TRAN_CONTINUE;
629 } else {
630 return WRITE_TRAN_FINISHED;
631 }
Matt Caswell61ae9352015-09-11 11:23:20 +0100632
Emilia Kaspera230b262016-08-05 19:03:17 +0200633 case TLS_ST_CR_FINISHED:
634 if (s->hit) {
635 st->hand_state = TLS_ST_CW_CHANGE;
636 return WRITE_TRAN_CONTINUE;
637 } else {
638 st->hand_state = TLS_ST_OK;
Emilia Kaspera230b262016-08-05 19:03:17 +0200639 return WRITE_TRAN_CONTINUE;
640 }
Matt Caswellc7f47782017-01-10 23:02:28 +0000641
642 case TLS_ST_CR_HELLO_REQ:
643 /*
644 * If we can renegotiate now then do so, otherwise wait for a more
645 * convenient time.
646 */
647 if (ssl3_renegotiate_check(s, 1)) {
648 if (!tls_setup_handshake(s)) {
Matt Caswellf63a17d2017-11-21 17:18:43 +0000649 /* SSLfatal() already called */
Matt Caswellc7f47782017-01-10 23:02:28 +0000650 return WRITE_TRAN_ERROR;
651 }
652 st->hand_state = TLS_ST_CW_CLNT_HELLO;
653 return WRITE_TRAN_CONTINUE;
654 }
655 st->hand_state = TLS_ST_OK;
Matt Caswellc7f47782017-01-10 23:02:28 +0000656 return WRITE_TRAN_CONTINUE;
Matt Caswell61ae9352015-09-11 11:23:20 +0100657 }
658}
659
660/*
661 * Perform any pre work that needs to be done prior to sending a message from
662 * the client to the server.
663 */
Matt Caswell8481f582015-10-26 11:54:17 +0000664WORK_STATE ossl_statem_client_pre_work(SSL *s, WORK_STATE wst)
Matt Caswell61ae9352015-09-11 11:23:20 +0100665{
Matt Caswelld6f1a6e2015-10-05 10:58:52 +0100666 OSSL_STATEM *st = &s->statem;
Matt Caswell61ae9352015-09-11 11:23:20 +0100667
Emilia Kaspera230b262016-08-05 19:03:17 +0200668 switch (st->hand_state) {
Rich Salzf3b3d7f2016-08-30 13:31:18 -0400669 default:
670 /* No pre work to be done */
671 break;
672
Matt Caswell61ae9352015-09-11 11:23:20 +0100673 case TLS_ST_CW_CLNT_HELLO:
674 s->shutdown = 0;
675 if (SSL_IS_DTLS(s)) {
676 /* every DTLS ClientHello resets Finished MAC */
Matt Caswell2c4a0562016-06-03 11:59:19 +0100677 if (!ssl3_init_finished_mac(s)) {
Matt Caswellf63a17d2017-11-21 17:18:43 +0000678 /* SSLfatal() already called */
Matt Caswell2c4a0562016-06-03 11:59:19 +0100679 return WORK_ERROR;
680 }
Matt Caswell61ae9352015-09-11 11:23:20 +0100681 }
682 break;
683
Matt Caswell61ae9352015-09-11 11:23:20 +0100684 case TLS_ST_CW_CHANGE:
685 if (SSL_IS_DTLS(s)) {
686 if (s->hit) {
687 /*
688 * We're into the last flight so we don't retransmit these
689 * messages unless we need to.
690 */
691 st->use_timer = 0;
692 }
693#ifndef OPENSSL_NO_SCTP
Matt Caswella2c2e002017-11-22 17:18:39 +0000694 if (BIO_dgram_is_sctp(SSL_get_wbio(s))) {
695 /* Calls SSLfatal() as required */
Matt Caswell61ae9352015-09-11 11:23:20 +0100696 return dtls_wait_for_dry(s);
Matt Caswella2c2e002017-11-22 17:18:39 +0000697 }
Matt Caswell61ae9352015-09-11 11:23:20 +0100698#endif
699 }
Rich Salzf3b3d7f2016-08-30 13:31:18 -0400700 break;
Matt Caswell61ae9352015-09-11 11:23:20 +0100701
Matt Caswelld7f87832017-02-25 15:59:44 +0000702 case TLS_ST_PENDING_EARLY_DATA_END:
Matt Caswellef6c1912017-03-09 15:03:07 +0000703 /*
704 * If we've been called by SSL_do_handshake()/SSL_write(), or we did not
705 * attempt to write early data before calling SSL_read() then we press
706 * on with the handshake. Otherwise we pause here.
707 */
708 if (s->early_data_state == SSL_EARLY_DATA_FINISHED_WRITING
709 || s->early_data_state == SSL_EARLY_DATA_NONE)
710 return WORK_FINISHED_CONTINUE;
711 /* Fall through */
712
713 case TLS_ST_EARLY_DATA:
Matt Caswell2a8db712017-11-27 15:20:06 +0000714 return tls_finish_handshake(s, wst, 0, 1);
715
Matt Caswell61ae9352015-09-11 11:23:20 +0100716 case TLS_ST_OK:
Matt Caswella2c2e002017-11-22 17:18:39 +0000717 /* Calls SSLfatal() as required */
Matt Caswell2a8db712017-11-27 15:20:06 +0000718 return tls_finish_handshake(s, wst, 1, 1);
Matt Caswell61ae9352015-09-11 11:23:20 +0100719 }
720
721 return WORK_FINISHED_CONTINUE;
722}
723
724/*
725 * Perform any work that needs to be done after sending a message from the
726 * client to the server.
727 */
Matt Caswell8481f582015-10-26 11:54:17 +0000728WORK_STATE ossl_statem_client_post_work(SSL *s, WORK_STATE wst)
Matt Caswell61ae9352015-09-11 11:23:20 +0100729{
Matt Caswelld6f1a6e2015-10-05 10:58:52 +0100730 OSSL_STATEM *st = &s->statem;
Matt Caswell61ae9352015-09-11 11:23:20 +0100731
732 s->init_num = 0;
733
Emilia Kaspera230b262016-08-05 19:03:17 +0200734 switch (st->hand_state) {
Rich Salzf3b3d7f2016-08-30 13:31:18 -0400735 default:
736 /* No post work to be done */
737 break;
738
Matt Caswell61ae9352015-09-11 11:23:20 +0100739 case TLS_ST_CW_CLNT_HELLO:
Matt Caswell6cb42262017-02-21 16:40:16 +0000740 if (s->early_data_state == SSL_EARLY_DATA_CONNECTING
Matt Caswell5cc807d2017-11-30 11:28:26 +0000741 && s->max_early_data > 0) {
Matt Caswell6cb42262017-02-21 16:40:16 +0000742 /*
743 * We haven't selected TLSv1.3 yet so we don't call the change
744 * cipher state function associated with the SSL_METHOD. Instead
745 * we call tls13_change_cipher_state() directly.
746 */
Matt Caswell5cc807d2017-11-30 11:28:26 +0000747 if ((s->options & SSL_OP_ENABLE_MIDDLEBOX_COMPAT) == 0) {
Matt Caswell5cc807d2017-11-30 11:28:26 +0000748 if (!tls13_change_cipher_state(s,
749 SSL3_CC_EARLY | SSL3_CHANGE_CIPHER_CLIENT_WRITE)) {
750 /* SSLfatal() already called */
751 return WORK_ERROR;
752 }
Matt Caswella2c2e002017-11-22 17:18:39 +0000753 }
Matt Caswell5cc807d2017-11-30 11:28:26 +0000754 /* else we're in compat mode so we delay flushing until after CCS */
755 } else if (!statem_flush(s)) {
756 return WORK_MORE_A;
757 }
758
759 if (SSL_IS_DTLS(s)) {
760 /* Treat the next message as the first packet */
761 s->first_packet = 1;
Matt Caswell6cb42262017-02-21 16:40:16 +0000762 }
Matt Caswell61ae9352015-09-11 11:23:20 +0100763 break;
764
Matt Caswellef6c1912017-03-09 15:03:07 +0000765 case TLS_ST_CW_END_OF_EARLY_DATA:
766 /*
767 * We set the enc_write_ctx back to NULL because we may end up writing
768 * in cleartext again if we get a HelloRetryRequest from the server.
769 */
770 EVP_CIPHER_CTX_free(s->enc_write_ctx);
771 s->enc_write_ctx = NULL;
772 break;
773
Matt Caswell61ae9352015-09-11 11:23:20 +0100774 case TLS_ST_CW_KEY_EXCH:
Matt Caswella2c2e002017-11-22 17:18:39 +0000775 if (tls_client_key_exchange_post_work(s) == 0) {
776 /* SSLfatal() already called */
Matt Caswell61ae9352015-09-11 11:23:20 +0100777 return WORK_ERROR;
Matt Caswella2c2e002017-11-22 17:18:39 +0000778 }
Matt Caswell61ae9352015-09-11 11:23:20 +0100779 break;
780
781 case TLS_ST_CW_CHANGE:
Matt Caswell318d3c02017-11-30 14:33:22 +0000782 if (SSL_IS_TLS13(s) || s->hello_retry_request == SSL_HRR_PENDING)
Matt Caswell4d02f872017-11-08 11:37:12 +0000783 break;
Matt Caswell066904c2017-11-08 14:26:48 +0000784 if (s->early_data_state == SSL_EARLY_DATA_CONNECTING
785 && s->max_early_data > 0) {
786 /*
787 * We haven't selected TLSv1.3 yet so we don't call the change
788 * cipher state function associated with the SSL_METHOD. Instead
789 * we call tls13_change_cipher_state() directly.
790 */
791 if (!tls13_change_cipher_state(s,
792 SSL3_CC_EARLY | SSL3_CHANGE_CIPHER_CLIENT_WRITE))
793 return WORK_ERROR;
794 break;
795 }
Matt Caswell61ae9352015-09-11 11:23:20 +0100796 s->session->cipher = s->s3->tmp.new_cipher;
797#ifdef OPENSSL_NO_COMP
798 s->session->compress_meth = 0;
799#else
800 if (s->s3->tmp.new_compression == NULL)
801 s->session->compress_meth = 0;
802 else
803 s->session->compress_meth = s->s3->tmp.new_compression->id;
804#endif
Matt Caswella2c2e002017-11-22 17:18:39 +0000805 if (!s->method->ssl3_enc->setup_key_block(s)) {
806 /* SSLfatal() already called */
Matt Caswell61ae9352015-09-11 11:23:20 +0100807 return WORK_ERROR;
Matt Caswella2c2e002017-11-22 17:18:39 +0000808 }
Matt Caswell61ae9352015-09-11 11:23:20 +0100809
810 if (!s->method->ssl3_enc->change_cipher_state(s,
Matt Caswella2c2e002017-11-22 17:18:39 +0000811 SSL3_CHANGE_CIPHER_CLIENT_WRITE)) {
812 /* SSLfatal() already called */
Matt Caswell61ae9352015-09-11 11:23:20 +0100813 return WORK_ERROR;
Matt Caswella2c2e002017-11-22 17:18:39 +0000814 }
Matt Caswell61ae9352015-09-11 11:23:20 +0100815
816 if (SSL_IS_DTLS(s)) {
817#ifndef OPENSSL_NO_SCTP
818 if (s->hit) {
819 /*
820 * Change to new shared key of SCTP-Auth, will be ignored if
821 * no SCTP used.
822 */
823 BIO_ctrl(SSL_get_wbio(s), BIO_CTRL_DGRAM_SCTP_NEXT_AUTH_KEY,
824 0, NULL);
825 }
826#endif
827
828 dtls1_reset_seq_numbers(s, SSL3_CC_WRITE);
829 }
830 break;
831
832 case TLS_ST_CW_FINISHED:
833#ifndef OPENSSL_NO_SCTP
834 if (wst == WORK_MORE_A && SSL_IS_DTLS(s) && s->hit == 0) {
835 /*
836 * Change to new shared key of SCTP-Auth, will be ignored if
837 * no SCTP used.
838 */
839 BIO_ctrl(SSL_get_wbio(s), BIO_CTRL_DGRAM_SCTP_NEXT_AUTH_KEY,
840 0, NULL);
841 }
842#endif
843 if (statem_flush(s) != 1)
844 return WORK_MORE_B;
Matt Caswell92760c22016-11-09 14:06:12 +0000845
846 if (SSL_IS_TLS13(s)) {
Todd Short9d75dce2017-12-18 16:52:28 -0500847 if (!tls13_save_handshake_digest_for_pha(s)) {
Matt Caswella2c2e002017-11-22 17:18:39 +0000848 /* SSLfatal() already called */
849 return WORK_ERROR;
850 }
Todd Short9d75dce2017-12-18 16:52:28 -0500851 if (s->post_handshake_auth != SSL_PHA_REQUESTED) {
852 if (!s->method->ssl3_enc->change_cipher_state(s,
853 SSL3_CC_APPLICATION | SSL3_CHANGE_CIPHER_CLIENT_WRITE)) {
854 /* SSLfatal() already called */
855 return WORK_ERROR;
856 }
857 }
Matt Caswell92760c22016-11-09 14:06:12 +0000858 }
Matt Caswell61ae9352015-09-11 11:23:20 +0100859 break;
Matt Caswell9412b3a2017-02-09 13:12:00 +0000860
861 case TLS_ST_CW_KEY_UPDATE:
862 if (statem_flush(s) != 1)
863 return WORK_MORE_A;
Matt Caswella2c2e002017-11-22 17:18:39 +0000864 if (!tls13_update_key(s, 1)) {
865 /* SSLfatal() already called */
Matt Caswell57389a32017-02-10 17:43:09 +0000866 return WORK_ERROR;
Matt Caswella2c2e002017-11-22 17:18:39 +0000867 }
Matt Caswell9412b3a2017-02-09 13:12:00 +0000868 break;
Matt Caswell61ae9352015-09-11 11:23:20 +0100869 }
870
871 return WORK_FINISHED_CONTINUE;
872}
873
874/*
Matt Caswell6392fb82016-09-30 11:17:57 +0100875 * Get the message construction function and message type for sending from the
876 * client
Matt Caswell61ae9352015-09-11 11:23:20 +0100877 *
878 * Valid return values are:
879 * 1: Success
880 * 0: Error
881 */
Matt Caswell6392fb82016-09-30 11:17:57 +0100882int ossl_statem_client_construct_message(SSL *s, WPACKET *pkt,
Matt Caswella15c9532016-10-03 15:35:17 +0100883 confunc_f *confunc, int *mt)
Matt Caswell61ae9352015-09-11 11:23:20 +0100884{
Matt Caswelld6f1a6e2015-10-05 10:58:52 +0100885 OSSL_STATEM *st = &s->statem;
Matt Caswell61ae9352015-09-11 11:23:20 +0100886
Matt Caswell4a01c592016-09-30 10:38:32 +0100887 switch (st->hand_state) {
888 default:
889 /* Shouldn't happen */
Matt Caswellf63a17d2017-11-21 17:18:43 +0000890 SSLfatal(s, SSL_AD_INTERNAL_ERROR,
891 SSL_F_OSSL_STATEM_CLIENT_CONSTRUCT_MESSAGE,
892 SSL_R_BAD_HANDSHAKE_STATE);
Matt Caswell4a01c592016-09-30 10:38:32 +0100893 return 0;
894
895 case TLS_ST_CW_CHANGE:
Matt Caswell61ae9352015-09-11 11:23:20 +0100896 if (SSL_IS_DTLS(s))
Matt Caswell6392fb82016-09-30 11:17:57 +0100897 *confunc = dtls_construct_change_cipher_spec;
Matt Caswell4a01c592016-09-30 10:38:32 +0100898 else
Matt Caswell6392fb82016-09-30 11:17:57 +0100899 *confunc = tls_construct_change_cipher_spec;
900 *mt = SSL3_MT_CHANGE_CIPHER_SPEC;
Matt Caswell4a01c592016-09-30 10:38:32 +0100901 break;
Matt Caswell5923ad42016-09-30 00:27:40 +0100902
Matt Caswell4a01c592016-09-30 10:38:32 +0100903 case TLS_ST_CW_CLNT_HELLO:
Matt Caswell6392fb82016-09-30 11:17:57 +0100904 *confunc = tls_construct_client_hello;
905 *mt = SSL3_MT_CLIENT_HELLO;
Matt Caswell4a01c592016-09-30 10:38:32 +0100906 break;
Matt Caswell5923ad42016-09-30 00:27:40 +0100907
Matt Caswellef6c1912017-03-09 15:03:07 +0000908 case TLS_ST_CW_END_OF_EARLY_DATA:
909 *confunc = tls_construct_end_of_early_data;
910 *mt = SSL3_MT_END_OF_EARLY_DATA;
911 break;
912
913 case TLS_ST_PENDING_EARLY_DATA_END:
914 *confunc = NULL;
915 *mt = SSL3_MT_DUMMY;
916 break;
917
Matt Caswell4a01c592016-09-30 10:38:32 +0100918 case TLS_ST_CW_CERT:
Matt Caswell6392fb82016-09-30 11:17:57 +0100919 *confunc = tls_construct_client_certificate;
920 *mt = SSL3_MT_CERTIFICATE;
Matt Caswell4a01c592016-09-30 10:38:32 +0100921 break;
Matt Caswell5923ad42016-09-30 00:27:40 +0100922
Matt Caswell4a01c592016-09-30 10:38:32 +0100923 case TLS_ST_CW_KEY_EXCH:
Matt Caswell6392fb82016-09-30 11:17:57 +0100924 *confunc = tls_construct_client_key_exchange;
925 *mt = SSL3_MT_CLIENT_KEY_EXCHANGE;
Matt Caswell4a01c592016-09-30 10:38:32 +0100926 break;
Matt Caswell5923ad42016-09-30 00:27:40 +0100927
Matt Caswell4a01c592016-09-30 10:38:32 +0100928 case TLS_ST_CW_CERT_VRFY:
Matt Caswelld8bc1392016-12-05 14:59:25 +0000929 *confunc = tls_construct_cert_verify;
Matt Caswell6392fb82016-09-30 11:17:57 +0100930 *mt = SSL3_MT_CERTIFICATE_VERIFY;
Matt Caswell4a01c592016-09-30 10:38:32 +0100931 break;
Matt Caswell61ae9352015-09-11 11:23:20 +0100932
933#if !defined(OPENSSL_NO_NEXTPROTONEG)
Matt Caswell4a01c592016-09-30 10:38:32 +0100934 case TLS_ST_CW_NEXT_PROTO:
Matt Caswell6392fb82016-09-30 11:17:57 +0100935 *confunc = tls_construct_next_proto;
936 *mt = SSL3_MT_NEXT_PROTO;
Matt Caswell4a01c592016-09-30 10:38:32 +0100937 break;
Matt Caswell61ae9352015-09-11 11:23:20 +0100938#endif
Matt Caswell4a01c592016-09-30 10:38:32 +0100939 case TLS_ST_CW_FINISHED:
Matt Caswell6392fb82016-09-30 11:17:57 +0100940 *confunc = tls_construct_finished;
941 *mt = SSL3_MT_FINISHED;
Matt Caswell4a01c592016-09-30 10:38:32 +0100942 break;
Matt Caswell9412b3a2017-02-09 13:12:00 +0000943
944 case TLS_ST_CW_KEY_UPDATE:
945 *confunc = tls_construct_key_update;
946 *mt = SSL3_MT_KEY_UPDATE;
947 break;
Matt Caswell4a01c592016-09-30 10:38:32 +0100948 }
Matt Caswell5923ad42016-09-30 00:27:40 +0100949
Matt Caswell5923ad42016-09-30 00:27:40 +0100950 return 1;
Matt Caswell61ae9352015-09-11 11:23:20 +0100951}
952
953/*
954 * Returns the maximum allowed length for the current message that we are
955 * reading. Excludes the message header.
956 */
Matt Caswelleda75752016-09-06 12:05:25 +0100957size_t ossl_statem_client_max_message_size(SSL *s)
Matt Caswell61ae9352015-09-11 11:23:20 +0100958{
Matt Caswelld6f1a6e2015-10-05 10:58:52 +0100959 OSSL_STATEM *st = &s->statem;
Matt Caswell61ae9352015-09-11 11:23:20 +0100960
Emilia Kaspera230b262016-08-05 19:03:17 +0200961 switch (st->hand_state) {
Rich Salzf3b3d7f2016-08-30 13:31:18 -0400962 default:
963 /* Shouldn't happen */
964 return 0;
965
Emilia Kaspera230b262016-08-05 19:03:17 +0200966 case TLS_ST_CR_SRVR_HELLO:
967 return SERVER_HELLO_MAX_LENGTH;
Matt Caswell61ae9352015-09-11 11:23:20 +0100968
Emilia Kaspera230b262016-08-05 19:03:17 +0200969 case DTLS_ST_CR_HELLO_VERIFY_REQUEST:
970 return HELLO_VERIFY_REQUEST_MAX_LENGTH;
Matt Caswell61ae9352015-09-11 11:23:20 +0100971
Emilia Kaspera230b262016-08-05 19:03:17 +0200972 case TLS_ST_CR_CERT:
973 return s->max_cert_list;
Matt Caswell61ae9352015-09-11 11:23:20 +0100974
Matt Caswell2c5dfdc2016-12-05 17:04:51 +0000975 case TLS_ST_CR_CERT_VRFY:
976 return SSL3_RT_MAX_PLAIN_LENGTH;
977
Emilia Kaspera230b262016-08-05 19:03:17 +0200978 case TLS_ST_CR_CERT_STATUS:
979 return SSL3_RT_MAX_PLAIN_LENGTH;
Matt Caswell61ae9352015-09-11 11:23:20 +0100980
Emilia Kaspera230b262016-08-05 19:03:17 +0200981 case TLS_ST_CR_KEY_EXCH:
982 return SERVER_KEY_EXCH_MAX_LENGTH;
Matt Caswell61ae9352015-09-11 11:23:20 +0100983
Emilia Kaspera230b262016-08-05 19:03:17 +0200984 case TLS_ST_CR_CERT_REQ:
985 /*
986 * Set to s->max_cert_list for compatibility with previous releases. In
987 * practice these messages can get quite long if servers are configured
988 * to provide a long list of acceptable CAs
989 */
990 return s->max_cert_list;
Matt Caswell61ae9352015-09-11 11:23:20 +0100991
Emilia Kaspera230b262016-08-05 19:03:17 +0200992 case TLS_ST_CR_SRVR_DONE:
993 return SERVER_HELLO_DONE_MAX_LENGTH;
Matt Caswell61ae9352015-09-11 11:23:20 +0100994
Emilia Kaspera230b262016-08-05 19:03:17 +0200995 case TLS_ST_CR_CHANGE:
996 if (s->version == DTLS1_BAD_VER)
997 return 3;
998 return CCS_MAX_LENGTH;
Matt Caswell61ae9352015-09-11 11:23:20 +0100999
Emilia Kaspera230b262016-08-05 19:03:17 +02001000 case TLS_ST_CR_SESSION_TICKET:
1001 return SSL3_RT_MAX_PLAIN_LENGTH;
Matt Caswell61ae9352015-09-11 11:23:20 +01001002
Emilia Kaspera230b262016-08-05 19:03:17 +02001003 case TLS_ST_CR_FINISHED:
1004 return FINISHED_MAX_LENGTH;
Matt Caswelle46f2332016-11-23 15:20:22 +00001005
1006 case TLS_ST_CR_ENCRYPTED_EXTENSIONS:
1007 return ENCRYPTED_EXTENSIONS_MAX_LENGTH;
Matt Caswelle1c3de42017-02-09 12:07:31 +00001008
1009 case TLS_ST_CR_KEY_UPDATE:
1010 return KEY_UPDATE_MAX_LENGTH;
Matt Caswell61ae9352015-09-11 11:23:20 +01001011 }
Matt Caswell61ae9352015-09-11 11:23:20 +01001012}
1013
1014/*
1015 * Process a message that the client has been received from the server.
1016 */
Matt Caswell8481f582015-10-26 11:54:17 +00001017MSG_PROCESS_RETURN ossl_statem_client_process_message(SSL *s, PACKET *pkt)
Matt Caswell61ae9352015-09-11 11:23:20 +01001018{
Matt Caswelld6f1a6e2015-10-05 10:58:52 +01001019 OSSL_STATEM *st = &s->statem;
Matt Caswell61ae9352015-09-11 11:23:20 +01001020
Emilia Kaspera230b262016-08-05 19:03:17 +02001021 switch (st->hand_state) {
Rich Salzf3b3d7f2016-08-30 13:31:18 -04001022 default:
1023 /* Shouldn't happen */
Matt Caswella2c2e002017-11-22 17:18:39 +00001024 SSLfatal(s, SSL_AD_INTERNAL_ERROR,
1025 SSL_F_OSSL_STATEM_CLIENT_PROCESS_MESSAGE,
1026 ERR_R_INTERNAL_ERROR);
Rich Salzf3b3d7f2016-08-30 13:31:18 -04001027 return MSG_PROCESS_ERROR;
1028
Emilia Kaspera230b262016-08-05 19:03:17 +02001029 case TLS_ST_CR_SRVR_HELLO:
1030 return tls_process_server_hello(s, pkt);
Matt Caswell61ae9352015-09-11 11:23:20 +01001031
Emilia Kaspera230b262016-08-05 19:03:17 +02001032 case DTLS_ST_CR_HELLO_VERIFY_REQUEST:
1033 return dtls_process_hello_verify(s, pkt);
Matt Caswell61ae9352015-09-11 11:23:20 +01001034
Emilia Kaspera230b262016-08-05 19:03:17 +02001035 case TLS_ST_CR_CERT:
1036 return tls_process_server_certificate(s, pkt);
Matt Caswell61ae9352015-09-11 11:23:20 +01001037
Matt Caswell2c5dfdc2016-12-05 17:04:51 +00001038 case TLS_ST_CR_CERT_VRFY:
1039 return tls_process_cert_verify(s, pkt);
1040
Emilia Kaspera230b262016-08-05 19:03:17 +02001041 case TLS_ST_CR_CERT_STATUS:
1042 return tls_process_cert_status(s, pkt);
Matt Caswell61ae9352015-09-11 11:23:20 +01001043
Emilia Kaspera230b262016-08-05 19:03:17 +02001044 case TLS_ST_CR_KEY_EXCH:
1045 return tls_process_key_exchange(s, pkt);
Matt Caswell61ae9352015-09-11 11:23:20 +01001046
Emilia Kaspera230b262016-08-05 19:03:17 +02001047 case TLS_ST_CR_CERT_REQ:
1048 return tls_process_certificate_request(s, pkt);
Matt Caswell61ae9352015-09-11 11:23:20 +01001049
Emilia Kaspera230b262016-08-05 19:03:17 +02001050 case TLS_ST_CR_SRVR_DONE:
1051 return tls_process_server_done(s, pkt);
Matt Caswell61ae9352015-09-11 11:23:20 +01001052
Emilia Kaspera230b262016-08-05 19:03:17 +02001053 case TLS_ST_CR_CHANGE:
1054 return tls_process_change_cipher_spec(s, pkt);
Matt Caswell61ae9352015-09-11 11:23:20 +01001055
Emilia Kaspera230b262016-08-05 19:03:17 +02001056 case TLS_ST_CR_SESSION_TICKET:
1057 return tls_process_new_session_ticket(s, pkt);
Matt Caswell61ae9352015-09-11 11:23:20 +01001058
Emilia Kaspera230b262016-08-05 19:03:17 +02001059 case TLS_ST_CR_FINISHED:
1060 return tls_process_finished(s, pkt);
Matt Caswelle46f2332016-11-23 15:20:22 +00001061
Matt Caswellc7f47782017-01-10 23:02:28 +00001062 case TLS_ST_CR_HELLO_REQ:
1063 return tls_process_hello_req(s, pkt);
1064
Matt Caswelle46f2332016-11-23 15:20:22 +00001065 case TLS_ST_CR_ENCRYPTED_EXTENSIONS:
1066 return tls_process_encrypted_extensions(s, pkt);
Matt Caswelle1c3de42017-02-09 12:07:31 +00001067
1068 case TLS_ST_CR_KEY_UPDATE:
1069 return tls_process_key_update(s, pkt);
Matt Caswell61ae9352015-09-11 11:23:20 +01001070 }
Matt Caswell61ae9352015-09-11 11:23:20 +01001071}
1072
1073/*
1074 * Perform any further processing required following the receipt of a message
1075 * from the server
1076 */
Matt Caswell8481f582015-10-26 11:54:17 +00001077WORK_STATE ossl_statem_client_post_process_message(SSL *s, WORK_STATE wst)
Matt Caswell61ae9352015-09-11 11:23:20 +01001078{
Matt Caswelld6f1a6e2015-10-05 10:58:52 +01001079 OSSL_STATEM *st = &s->statem;
Matt Caswell61ae9352015-09-11 11:23:20 +01001080
Emilia Kaspera230b262016-08-05 19:03:17 +02001081 switch (st->hand_state) {
Rich Salzf3b3d7f2016-08-30 13:31:18 -04001082 default:
1083 /* Shouldn't happen */
Matt Caswella2c2e002017-11-22 17:18:39 +00001084 SSLfatal(s, SSL_AD_INTERNAL_ERROR,
1085 SSL_F_OSSL_STATEM_CLIENT_POST_PROCESS_MESSAGE,
1086 ERR_R_INTERNAL_ERROR);
Rich Salzf3b3d7f2016-08-30 13:31:18 -04001087 return WORK_ERROR;
1088
Matt Caswell05c4f1d2016-06-22 14:31:32 +01001089 case TLS_ST_CR_CERT_REQ:
1090 return tls_prepare_client_certificate(s, wst);
Matt Caswell61ae9352015-09-11 11:23:20 +01001091 }
Matt Caswell61ae9352015-09-11 11:23:20 +01001092}
1093
Matt Caswell7cea05d2016-09-29 23:28:29 +01001094int tls_construct_client_hello(SSL *s, WPACKET *pkt)
Matt Caswellb9908bf2015-07-29 14:08:49 +01001095{
Matt Caswell2c7b4db2016-08-03 20:57:52 +01001096 unsigned char *p;
Matt Caswellec60ccc2016-10-04 20:31:19 +01001097 size_t sess_id_len;
1098 int i, protverr;
Dr. Stephen Henson09b6c2e2005-09-30 23:35:33 +00001099#ifndef OPENSSL_NO_COMP
Matt Caswell0f113f32015-01-22 03:40:55 +00001100 SSL_COMP *comp;
Dr. Stephen Henson09b6c2e2005-09-30 23:35:33 +00001101#endif
Matt Caswellb9908bf2015-07-29 14:08:49 +01001102 SSL_SESSION *sess = s->session;
Matt Caswella5816a52017-11-07 10:45:43 +00001103 unsigned char *session_id;
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00001104
Matt Caswell7cea05d2016-09-29 23:28:29 +01001105 if (!WPACKET_set_max_size(pkt, SSL3_RT_MAX_PLAIN_LENGTH)) {
Matt Caswell2c7b4db2016-08-03 20:57:52 +01001106 /* Should not happen */
Matt Caswellf63a17d2017-11-21 17:18:43 +00001107 SSLfatal(s, SSL_AD_INTERNAL_ERROR,
1108 SSL_F_TLS_CONSTRUCT_CLIENT_HELLO, ERR_R_INTERNAL_ERROR);
Matt Caswell7cea05d2016-09-29 23:28:29 +01001109 return 0;
Matt Caswell2c7b4db2016-08-03 20:57:52 +01001110 }
Matt Caswell13c9bb32015-03-31 00:18:31 +01001111
Matt Caswellb9908bf2015-07-29 14:08:49 +01001112 /* Work out what SSL/TLS/DTLS version to use */
Viktor Dukhovni4fa52142015-12-29 03:24:17 -05001113 protverr = ssl_set_client_hello_version(s);
1114 if (protverr != 0) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00001115 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_CONSTRUCT_CLIENT_HELLO,
1116 protverr);
Matt Caswell7cea05d2016-09-29 23:28:29 +01001117 return 0;
Viktor Dukhovni4fa52142015-12-29 03:24:17 -05001118 }
Matt Caswell13c9bb32015-03-31 00:18:31 +01001119
Matt Caswelle586eac2017-03-21 13:50:31 +00001120 if (sess == NULL
1121 || !ssl_version_supported(s, sess->ssl_version)
1122 || !SSL_SESSION_is_resumable(sess)) {
Matt Caswellfc7129d2017-11-13 11:24:51 +00001123 if (s->hello_retry_request == SSL_HRR_NONE
1124 && !ssl_get_new_session(s, 0)) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00001125 /* SSLfatal() already called */
Matt Caswell7cea05d2016-09-29 23:28:29 +01001126 return 0;
Matt Caswellf63a17d2017-11-21 17:18:43 +00001127 }
Matt Caswellb9908bf2015-07-29 14:08:49 +01001128 }
1129 /* else use the pre-loaded session */
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00001130
Matt Caswellb9908bf2015-07-29 14:08:49 +01001131 p = s->s3->client_random;
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00001132
Matt Caswellb9908bf2015-07-29 14:08:49 +01001133 /*
1134 * for DTLS if client_random is initialized, reuse it, we are
1135 * required to use same upon reply to HelloVerify
1136 */
1137 if (SSL_IS_DTLS(s)) {
1138 size_t idx;
1139 i = 1;
1140 for (idx = 0; idx < sizeof(s->s3->client_random); idx++) {
1141 if (p[idx]) {
1142 i = 0;
1143 break;
Matt Caswell0f113f32015-01-22 03:40:55 +00001144 }
Matt Caswell0f113f32015-01-22 03:40:55 +00001145 }
Tatsuhiro Tsujikawa751b26b2017-10-08 23:37:01 +09001146 } else {
Matt Caswellfc7129d2017-11-13 11:24:51 +00001147 i = (s->hello_retry_request == SSL_HRR_NONE);
Tatsuhiro Tsujikawa751b26b2017-10-08 23:37:01 +09001148 }
Matt Caswell0f113f32015-01-22 03:40:55 +00001149
Matt Caswellf7f2a012017-03-22 08:52:54 +00001150 if (i && ssl_fill_hello_random(s, 0, p, sizeof(s->s3->client_random),
Matt Caswellf63a17d2017-11-21 17:18:43 +00001151 DOWNGRADE_NONE) <= 0) {
1152 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_CONSTRUCT_CLIENT_HELLO,
1153 ERR_R_INTERNAL_ERROR);
Matt Caswell7cea05d2016-09-29 23:28:29 +01001154 return 0;
Matt Caswellf63a17d2017-11-21 17:18:43 +00001155 }
Matt Caswell0f113f32015-01-22 03:40:55 +00001156
Matt Caswellb9908bf2015-07-29 14:08:49 +01001157 /*-
1158 * version indicates the negotiated version: for example from
1159 * an SSLv2/v3 compatible client hello). The client_version
1160 * field is the maximum version we permit and it is also
1161 * used in RSA encrypted premaster secrets. Some servers can
1162 * choke if we initially report a higher version then
1163 * renegotiate to a lower one in the premaster secret. This
1164 * didn't happen with TLS 1.0 as most servers supported it
1165 * but it can with TLS 1.1 or later if the server only supports
1166 * 1.0.
1167 *
1168 * Possible scenario with previous logic:
1169 * 1. Client hello indicates TLS 1.2
1170 * 2. Server hello says TLS 1.0
1171 * 3. RSA encrypted premaster secret uses 1.2.
FdaSilvaYY8483a002016-03-10 21:34:48 +01001172 * 4. Handshake proceeds using TLS 1.0.
Matt Caswellb9908bf2015-07-29 14:08:49 +01001173 * 5. Server sends hello request to renegotiate.
1174 * 6. Client hello indicates TLS v1.0 as we now
1175 * know that is maximum server supports.
1176 * 7. Server chokes on RSA encrypted premaster secret
1177 * containing version 1.0.
1178 *
1179 * For interoperability it should be OK to always use the
1180 * maximum version we support in client hello and then rely
1181 * on the checking of version to ensure the servers isn't
1182 * being inconsistent: for example initially negotiating with
1183 * TLS 1.0 and renegotiating with TLS 1.2. We do this by using
1184 * client_version in client hello and not resetting it to
1185 * the negotiated version.
Matt Caswellcd998832016-10-23 00:41:11 +01001186 *
1187 * For TLS 1.3 we always set the ClientHello version to 1.2 and rely on the
Matt Caswell16bce0e2016-10-31 17:05:20 +00001188 * supported_versions extension for the real supported versions.
Matt Caswellb9908bf2015-07-29 14:08:49 +01001189 */
Matt Caswell7acb8b62016-11-23 13:56:15 +00001190 if (!WPACKET_put_bytes_u16(pkt, s->client_version)
Matt Caswell7cea05d2016-09-29 23:28:29 +01001191 || !WPACKET_memcpy(pkt, s->s3->client_random, SSL3_RANDOM_SIZE)) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00001192 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_CONSTRUCT_CLIENT_HELLO,
1193 ERR_R_INTERNAL_ERROR);
Matt Caswell7cea05d2016-09-29 23:28:29 +01001194 return 0;
Matt Caswell2c7b4db2016-08-03 20:57:52 +01001195 }
Matt Caswellb9908bf2015-07-29 14:08:49 +01001196
1197 /* Session ID */
Matt Caswella5816a52017-11-07 10:45:43 +00001198 session_id = s->session->session_id;
1199 if (s->new_session || s->session->ssl_version == TLS1_3_VERSION) {
1200 if (s->version == TLS1_3_VERSION
1201 && (s->options & SSL_OP_ENABLE_MIDDLEBOX_COMPAT) != 0) {
1202 sess_id_len = sizeof(s->tmp_session_id);
1203 s->tmp_session_id_len = sess_id_len;
1204 session_id = s->tmp_session_id;
Matt Caswellfc7129d2017-11-13 11:24:51 +00001205 if (s->hello_retry_request == SSL_HRR_NONE
Kurt Roeckx16cfc2c2018-03-08 22:30:28 +01001206 && RAND_bytes(s->tmp_session_id, sess_id_len) <= 0) {
Matt Caswella5816a52017-11-07 10:45:43 +00001207 SSLfatal(s, SSL_AD_INTERNAL_ERROR,
1208 SSL_F_TLS_CONSTRUCT_CLIENT_HELLO,
1209 ERR_R_INTERNAL_ERROR);
1210 return 0;
1211 }
1212 } else {
1213 sess_id_len = 0;
1214 }
1215 } else {
Philippe Antoinedee0cc12018-03-26 10:29:56 +02001216 assert(s->session->session_id_length <= sizeof(s->session->session_id));
Matt Caswellec60ccc2016-10-04 20:31:19 +01001217 sess_id_len = s->session->session_id_length;
Matt Caswella5816a52017-11-07 10:45:43 +00001218 if (s->version == TLS1_3_VERSION) {
1219 s->tmp_session_id_len = sess_id_len;
1220 memcpy(s->tmp_session_id, s->session->session_id, sess_id_len);
1221 }
1222 }
Philippe Antoinedee0cc12018-03-26 10:29:56 +02001223 if (!WPACKET_start_sub_packet_u8(pkt)
Matt Caswella5816a52017-11-07 10:45:43 +00001224 || (sess_id_len != 0 && !WPACKET_memcpy(pkt, session_id,
Matt Caswellec60ccc2016-10-04 20:31:19 +01001225 sess_id_len))
Matt Caswell7cea05d2016-09-29 23:28:29 +01001226 || !WPACKET_close(pkt)) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00001227 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_CONSTRUCT_CLIENT_HELLO,
1228 ERR_R_INTERNAL_ERROR);
Matt Caswell7cea05d2016-09-29 23:28:29 +01001229 return 0;
Matt Caswell0f113f32015-01-22 03:40:55 +00001230 }
1231
Matt Caswellb9908bf2015-07-29 14:08:49 +01001232 /* cookie stuff for DTLS */
1233 if (SSL_IS_DTLS(s)) {
Matt Caswell2c7b4db2016-08-03 20:57:52 +01001234 if (s->d1->cookie_len > sizeof(s->d1->cookie)
Matt Caswell7cea05d2016-09-29 23:28:29 +01001235 || !WPACKET_sub_memcpy_u8(pkt, s->d1->cookie,
Matt Caswellb2b30242016-09-13 11:32:52 +01001236 s->d1->cookie_len)) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00001237 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_CONSTRUCT_CLIENT_HELLO,
1238 ERR_R_INTERNAL_ERROR);
Matt Caswell7cea05d2016-09-29 23:28:29 +01001239 return 0;
Matt Caswellb9908bf2015-07-29 14:08:49 +01001240 }
Matt Caswellb9908bf2015-07-29 14:08:49 +01001241 }
1242
1243 /* Ciphers supported */
Matt Caswell7cea05d2016-09-29 23:28:29 +01001244 if (!WPACKET_start_sub_packet_u16(pkt)) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00001245 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_CONSTRUCT_CLIENT_HELLO,
1246 ERR_R_INTERNAL_ERROR);
Matt Caswell7cea05d2016-09-29 23:28:29 +01001247 return 0;
Matt Caswellb9908bf2015-07-29 14:08:49 +01001248 }
Matt Caswell635c8f72017-11-23 11:41:40 +00001249
Matt Caswellf63a17d2017-11-21 17:18:43 +00001250 if (!ssl_cipher_list_to_bytes(s, SSL_get_ciphers(s), pkt)) {
1251 /* SSLfatal() already called */
Matt Caswell7cea05d2016-09-29 23:28:29 +01001252 return 0;
Matt Caswellf63a17d2017-11-21 17:18:43 +00001253 }
Matt Caswell7cea05d2016-09-29 23:28:29 +01001254 if (!WPACKET_close(pkt)) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00001255 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_CONSTRUCT_CLIENT_HELLO,
1256 ERR_R_INTERNAL_ERROR);
Matt Caswell7cea05d2016-09-29 23:28:29 +01001257 return 0;
Matt Caswell2c7b4db2016-08-03 20:57:52 +01001258 }
Matt Caswellb9908bf2015-07-29 14:08:49 +01001259
1260 /* COMPRESSION */
Matt Caswell7cea05d2016-09-29 23:28:29 +01001261 if (!WPACKET_start_sub_packet_u8(pkt)) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00001262 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_CONSTRUCT_CLIENT_HELLO,
1263 ERR_R_INTERNAL_ERROR);
Matt Caswell7cea05d2016-09-29 23:28:29 +01001264 return 0;
Matt Caswell2c7b4db2016-08-03 20:57:52 +01001265 }
1266#ifndef OPENSSL_NO_COMP
Matt Caswellc19602b2017-03-01 10:36:38 +00001267 if (ssl_allow_compression(s)
1268 && s->ctx->comp_methods
1269 && (SSL_IS_DTLS(s) || s->s3->tmp.max_ver < TLS1_3_VERSION)) {
Matt Caswell2c7b4db2016-08-03 20:57:52 +01001270 int compnum = sk_SSL_COMP_num(s->ctx->comp_methods);
1271 for (i = 0; i < compnum; i++) {
1272 comp = sk_SSL_COMP_value(s->ctx->comp_methods, i);
Matt Caswell7cea05d2016-09-29 23:28:29 +01001273 if (!WPACKET_put_bytes_u8(pkt, comp->id)) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00001274 SSLfatal(s, SSL_AD_INTERNAL_ERROR,
1275 SSL_F_TLS_CONSTRUCT_CLIENT_HELLO,
1276 ERR_R_INTERNAL_ERROR);
Matt Caswell7cea05d2016-09-29 23:28:29 +01001277 return 0;
Matt Caswell2c7b4db2016-08-03 20:57:52 +01001278 }
1279 }
Matt Caswellb9908bf2015-07-29 14:08:49 +01001280 }
1281#endif
Matt Caswell2c7b4db2016-08-03 20:57:52 +01001282 /* Add the NULL method */
Matt Caswell7cea05d2016-09-29 23:28:29 +01001283 if (!WPACKET_put_bytes_u8(pkt, 0) || !WPACKET_close(pkt)) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00001284 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_CONSTRUCT_CLIENT_HELLO,
1285 ERR_R_INTERNAL_ERROR);
Matt Caswell7cea05d2016-09-29 23:28:29 +01001286 return 0;
Matt Caswell2c7b4db2016-08-03 20:57:52 +01001287 }
Matt Caswellb9908bf2015-07-29 14:08:49 +01001288
1289 /* TLS extensions */
Matt Caswellf63a17d2017-11-21 17:18:43 +00001290 if (!tls_construct_extensions(s, pkt, SSL_EXT_CLIENT_HELLO, NULL, 0)) {
1291 /* SSLfatal() already called */
Matt Caswell7cea05d2016-09-29 23:28:29 +01001292 return 0;
Matt Caswellb9908bf2015-07-29 14:08:49 +01001293 }
1294
Matt Caswellb9908bf2015-07-29 14:08:49 +01001295 return 1;
Matt Caswell0f113f32015-01-22 03:40:55 +00001296}
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00001297
Matt Caswellbe3583f2015-10-26 11:46:33 +00001298MSG_PROCESS_RETURN dtls_process_hello_verify(SSL *s, PACKET *pkt)
Matt Caswell8ba708e2015-09-11 10:48:59 +01001299{
Matt Caswellcb150cb2016-10-04 21:04:03 +01001300 size_t cookie_len;
Matt Caswell8ba708e2015-09-11 10:48:59 +01001301 PACKET cookiepkt;
1302
1303 if (!PACKET_forward(pkt, 2)
Emilia Kaspera230b262016-08-05 19:03:17 +02001304 || !PACKET_get_length_prefixed_1(pkt, &cookiepkt)) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00001305 SSLfatal(s, SSL_AD_DECODE_ERROR, SSL_F_DTLS_PROCESS_HELLO_VERIFY,
1306 SSL_R_LENGTH_MISMATCH);
1307 return MSG_PROCESS_ERROR;
Matt Caswell8ba708e2015-09-11 10:48:59 +01001308 }
1309
1310 cookie_len = PACKET_remaining(&cookiepkt);
1311 if (cookie_len > sizeof(s->d1->cookie)) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00001312 SSLfatal(s, SSL_AD_ILLEGAL_PARAMETER, SSL_F_DTLS_PROCESS_HELLO_VERIFY,
1313 SSL_R_LENGTH_TOO_LONG);
1314 return MSG_PROCESS_ERROR;
Matt Caswell8ba708e2015-09-11 10:48:59 +01001315 }
1316
1317 if (!PACKET_copy_bytes(&cookiepkt, s->d1->cookie, cookie_len)) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00001318 SSLfatal(s, SSL_AD_DECODE_ERROR, SSL_F_DTLS_PROCESS_HELLO_VERIFY,
1319 SSL_R_LENGTH_MISMATCH);
1320 return MSG_PROCESS_ERROR;
Matt Caswell8ba708e2015-09-11 10:48:59 +01001321 }
1322 s->d1->cookie_len = cookie_len;
1323
1324 return MSG_PROCESS_FINISHED_READING;
Matt Caswell8ba708e2015-09-11 10:48:59 +01001325}
1326
Matt Caswell11c67ee2017-03-13 15:21:15 +00001327static int set_client_ciphersuite(SSL *s, const unsigned char *cipherchars)
Matt Caswellb9908bf2015-07-29 14:08:49 +01001328{
1329 STACK_OF(SSL_CIPHER) *sk;
1330 const SSL_CIPHER *c;
Matt Caswell11c67ee2017-03-13 15:21:15 +00001331 int i;
1332
1333 c = ssl_get_cipher_by_char(s, cipherchars, 0);
1334 if (c == NULL) {
1335 /* unknown cipher */
Matt Caswellf63a17d2017-11-21 17:18:43 +00001336 SSLfatal(s, SSL_AD_ILLEGAL_PARAMETER, SSL_F_SET_CLIENT_CIPHERSUITE,
1337 SSL_R_UNKNOWN_CIPHER_RETURNED);
Matt Caswell11c67ee2017-03-13 15:21:15 +00001338 return 0;
1339 }
1340 /*
1341 * If it is a disabled cipher we either didn't send it in client hello,
1342 * or it's not allowed for the selected protocol. So we return an error.
1343 */
Matt Caswell8af91fd2017-04-12 17:02:42 +01001344 if (ssl_cipher_disabled(s, c, SSL_SECOP_CIPHER_CHECK, 1)) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00001345 SSLfatal(s, SSL_AD_ILLEGAL_PARAMETER, SSL_F_SET_CLIENT_CIPHERSUITE,
1346 SSL_R_WRONG_CIPHER_RETURNED);
Matt Caswell11c67ee2017-03-13 15:21:15 +00001347 return 0;
1348 }
1349
1350 sk = ssl_get_ciphers_by_id(s);
1351 i = sk_SSL_CIPHER_find(sk, c);
1352 if (i < 0) {
1353 /* we did not say we would use this cipher */
Matt Caswellf63a17d2017-11-21 17:18:43 +00001354 SSLfatal(s, SSL_AD_ILLEGAL_PARAMETER, SSL_F_SET_CLIENT_CIPHERSUITE,
1355 SSL_R_WRONG_CIPHER_RETURNED);
Matt Caswell11c67ee2017-03-13 15:21:15 +00001356 return 0;
1357 }
1358
1359 if (SSL_IS_TLS13(s) && s->s3->tmp.new_cipher != NULL
1360 && s->s3->tmp.new_cipher->id != c->id) {
1361 /* ServerHello selected a different ciphersuite to that in the HRR */
Matt Caswellf63a17d2017-11-21 17:18:43 +00001362 SSLfatal(s, SSL_AD_ILLEGAL_PARAMETER, SSL_F_SET_CLIENT_CIPHERSUITE,
1363 SSL_R_WRONG_CIPHER_RETURNED);
Matt Caswell11c67ee2017-03-13 15:21:15 +00001364 return 0;
1365 }
1366
1367 /*
1368 * Depending on the session caching (internal/external), the cipher
1369 * and/or cipher_id values may not be set. Make sure that cipher_id is
1370 * set and use it for comparison.
1371 */
1372 if (s->session->cipher != NULL)
1373 s->session->cipher_id = s->session->cipher->id;
1374 if (s->hit && (s->session->cipher_id != c->id)) {
Matt Caswella055a882017-05-26 17:59:34 +01001375 if (SSL_IS_TLS13(s)) {
1376 /*
1377 * In TLSv1.3 it is valid for the server to select a different
1378 * ciphersuite as long as the hash is the same.
1379 */
1380 if (ssl_md(c->algorithm2)
1381 != ssl_md(s->session->cipher->algorithm2)) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00001382 SSLfatal(s, SSL_AD_ILLEGAL_PARAMETER,
1383 SSL_F_SET_CLIENT_CIPHERSUITE,
1384 SSL_R_CIPHERSUITE_DIGEST_HAS_CHANGED);
Matt Caswella055a882017-05-26 17:59:34 +01001385 return 0;
1386 }
1387 } else {
1388 /*
1389 * Prior to TLSv1.3 resuming a session always meant using the same
1390 * ciphersuite.
1391 */
Matt Caswellf63a17d2017-11-21 17:18:43 +00001392 SSLfatal(s, SSL_AD_ILLEGAL_PARAMETER, SSL_F_SET_CLIENT_CIPHERSUITE,
1393 SSL_R_OLD_SESSION_CIPHER_NOT_RETURNED);
Matt Caswella055a882017-05-26 17:59:34 +01001394 return 0;
1395 }
Matt Caswell11c67ee2017-03-13 15:21:15 +00001396 }
1397 s->s3->tmp.new_cipher = c;
1398
1399 return 1;
1400}
1401
1402MSG_PROCESS_RETURN tls_process_server_hello(SSL *s, PACKET *pkt)
1403{
Matt Caswell332eb392016-11-28 16:15:51 +00001404 PACKET session_id, extpkt;
Matt Caswellb9908bf2015-07-29 14:08:49 +01001405 size_t session_id_len;
Emilia Kasperb6981742016-02-01 15:26:18 +01001406 const unsigned char *cipherchars;
Matt Caswell597c51b2017-12-05 10:14:35 +00001407 int hrr = 0;
Matt Caswellb9908bf2015-07-29 14:08:49 +01001408 unsigned int compression;
Viktor Dukhovni4fa52142015-12-29 03:24:17 -05001409 unsigned int sversion;
Matt Caswell3434f402016-11-28 16:45:52 +00001410 unsigned int context;
Matt Caswell29bfd5b2017-11-23 13:11:42 +00001411 int discard;
Matt Caswell332eb392016-11-28 16:15:51 +00001412 RAW_EXTENSION *extensions = NULL;
Matt Caswellb9908bf2015-07-29 14:08:49 +01001413#ifndef OPENSSL_NO_COMP
1414 SSL_COMP *comp;
1415#endif
1416
Viktor Dukhovni4fa52142015-12-29 03:24:17 -05001417 if (!PACKET_get_net_2(pkt, &sversion)) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00001418 SSLfatal(s, SSL_AD_DECODE_ERROR, SSL_F_TLS_PROCESS_SERVER_HELLO,
1419 SSL_R_LENGTH_MISMATCH);
1420 goto err;
Viktor Dukhovni4fa52142015-12-29 03:24:17 -05001421 }
Kurt Roeckx7946ab32015-12-06 17:56:41 +01001422
Matt Caswellc3043dc2017-03-22 11:50:32 +00001423 /* load the server random */
Matt Caswell597c51b2017-12-05 10:14:35 +00001424 if (s->version == TLS1_3_VERSION
1425 && sversion == TLS1_2_VERSION
1426 && PACKET_remaining(pkt) >= SSL3_RANDOM_SIZE
1427 && memcmp(hrrrandom, PACKET_data(pkt), SSL3_RANDOM_SIZE) == 0) {
Matt Caswellfc7129d2017-11-13 11:24:51 +00001428 s->hello_retry_request = SSL_HRR_PENDING;
1429 hrr = 1;
Matt Caswell597c51b2017-12-05 10:14:35 +00001430 if (!PACKET_forward(pkt, SSL3_RANDOM_SIZE)) {
1431 SSLfatal(s, SSL_AD_DECODE_ERROR, SSL_F_TLS_PROCESS_SERVER_HELLO,
1432 SSL_R_LENGTH_MISMATCH);
1433 goto err;
1434 }
1435 } else {
1436 if (!PACKET_copy_bytes(pkt, s->s3->server_random, SSL3_RANDOM_SIZE)) {
1437 SSLfatal(s, SSL_AD_DECODE_ERROR, SSL_F_TLS_PROCESS_SERVER_HELLO,
1438 SSL_R_LENGTH_MISMATCH);
1439 goto err;
1440 }
Matt Caswellc3043dc2017-03-22 11:50:32 +00001441 }
1442
Matt Caswell88050dd2017-11-03 16:38:48 +00001443 /* Get the session-id. */
1444 if (!PACKET_get_length_prefixed_1(pkt, &session_id)) {
1445 SSLfatal(s, SSL_AD_DECODE_ERROR, SSL_F_TLS_PROCESS_SERVER_HELLO,
1446 SSL_R_LENGTH_MISMATCH);
1447 goto err;
1448 }
1449 session_id_len = PACKET_remaining(&session_id);
1450 if (session_id_len > sizeof(s->session->session_id)
1451 || session_id_len > SSL3_SESSION_ID_SIZE) {
1452 SSLfatal(s, SSL_AD_ILLEGAL_PARAMETER, SSL_F_TLS_PROCESS_SERVER_HELLO,
1453 SSL_R_SSL3_SESSION_ID_TOO_LONG);
1454 goto err;
1455 }
1456
1457 if (!PACKET_get_bytes(pkt, &cipherchars, TLS_CIPHER_LEN)) {
1458 SSLfatal(s, SSL_AD_DECODE_ERROR, SSL_F_TLS_PROCESS_SERVER_HELLO,
1459 SSL_R_LENGTH_MISMATCH);
1460 goto err;
1461 }
1462
1463 if (!PACKET_get_1(pkt, &compression)) {
1464 SSLfatal(s, SSL_AD_DECODE_ERROR, SSL_F_TLS_PROCESS_SERVER_HELLO,
1465 SSL_R_LENGTH_MISMATCH);
1466 goto err;
1467 }
1468
1469 /* TLS extensions */
Matt Caswell597c51b2017-12-05 10:14:35 +00001470 if (PACKET_remaining(pkt) == 0 && !hrr) {
Matt Caswell88050dd2017-11-03 16:38:48 +00001471 PACKET_null_init(&extpkt);
1472 } else if (!PACKET_as_length_prefixed_2(pkt, &extpkt)
1473 || PACKET_remaining(pkt) != 0) {
1474 SSLfatal(s, SSL_AD_DECODE_ERROR, SSL_F_TLS_PROCESS_SERVER_HELLO,
1475 SSL_R_BAD_LENGTH);
1476 goto err;
1477 }
1478
Matt Caswell597c51b2017-12-05 10:14:35 +00001479 if (!hrr) {
1480 if (!tls_collect_extensions(s, &extpkt,
1481 SSL_EXT_TLS1_2_SERVER_HELLO
1482 | SSL_EXT_TLS1_3_SERVER_HELLO,
1483 &extensions, NULL, 1)) {
1484 /* SSLfatal() already called */
1485 goto err;
1486 }
1487
1488 if (!ssl_choose_client_version(s, sversion, extensions)) {
1489 /* SSLfatal() already called */
1490 goto err;
1491 }
Matt Caswell0f113f32015-01-22 03:40:55 +00001492 }
Emilia Kasper7b3ba5082014-11-19 15:56:27 +01001493
Matt Caswell597c51b2017-12-05 10:14:35 +00001494 if (SSL_IS_TLS13(s) || hrr) {
1495 if (compression != 0) {
1496 SSLfatal(s, SSL_AD_ILLEGAL_PARAMETER,
1497 SSL_F_TLS_PROCESS_SERVER_HELLO,
1498 SSL_R_INVALID_COMPRESSION_ALGORITHM);
1499 goto err;
1500 }
1501
1502 if (session_id_len != s->tmp_session_id_len
1503 || memcmp(PACKET_data(&session_id), s->tmp_session_id,
1504 session_id_len) != 0) {
1505 SSLfatal(s, SSL_AD_ILLEGAL_PARAMETER,
1506 SSL_F_TLS_PROCESS_SERVER_HELLO, SSL_R_INVALID_SESSION_ID);
1507 goto err;
1508 }
1509 }
1510
1511 if (hrr) {
1512 if (!set_client_ciphersuite(s, cipherchars)) {
1513 /* SSLfatal() already called */
1514 goto err;
1515 }
1516
1517 return tls_process_as_hello_retry_request(s, &extpkt);
Matt Caswell88050dd2017-11-03 16:38:48 +00001518 }
1519
1520 /*
1521 * Now we have chosen the version we need to check again that the extensions
1522 * are appropriate for this version.
1523 */
1524 context = SSL_IS_TLS13(s) ? SSL_EXT_TLS1_3_SERVER_HELLO
1525 : SSL_EXT_TLS1_2_SERVER_HELLO;
1526 if (!tls_validate_all_contexts(s, context, extensions)) {
1527 SSLfatal(s, SSL_AD_ILLEGAL_PARAMETER, SSL_F_TLS_PROCESS_SERVER_HELLO,
1528 SSL_R_BAD_EXTENSION);
1529 goto err;
1530 }
1531
Matt Caswell4ff65f72017-01-18 09:38:53 +00001532 s->hit = 0;
1533
1534 if (SSL_IS_TLS13(s)) {
Matt Caswella5816a52017-11-07 10:45:43 +00001535 /*
1536 * In TLSv1.3 a ServerHello message signals a key change so the end of
1537 * the message must be on a record boundary.
1538 */
1539 if (RECORD_LAYER_processed_read_pending(&s->rlayer)) {
1540 SSLfatal(s, SSL_AD_UNEXPECTED_MESSAGE,
1541 SSL_F_TLS_PROCESS_SERVER_HELLO,
1542 SSL_R_NOT_ON_RECORD_BOUNDARY);
1543 goto err;
1544 }
1545
Matt Caswell4ff65f72017-01-18 09:38:53 +00001546 /* This will set s->hit if we are resuming */
1547 if (!tls_parse_extension(s, TLSEXT_IDX_psk,
Matt Caswellfe874d22017-04-04 11:40:02 +01001548 SSL_EXT_TLS1_3_SERVER_HELLO,
Matt Caswell88050dd2017-11-03 16:38:48 +00001549 extensions, NULL, 0)) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00001550 /* SSLfatal() already called */
1551 goto err;
1552 }
Matt Caswell4ff65f72017-01-18 09:38:53 +00001553 } else {
1554 /*
1555 * Check if we can resume the session based on external pre-shared
1556 * secret. EAP-FAST (RFC 4851) supports two types of session resumption.
1557 * Resumption based on server-side state works with session IDs.
1558 * Resumption based on pre-shared Protected Access Credentials (PACs)
1559 * works by overriding the SessionTicket extension at the application
1560 * layer, and does not send a session ID. (We do not know whether
1561 * EAP-FAST servers would honour the session ID.) Therefore, the session
1562 * ID alone is not a reliable indicator of session resumption, so we
1563 * first check if we can resume, and later peek at the next handshake
1564 * message to see if the server wants to resume.
1565 */
1566 if (s->version >= TLS1_VERSION
1567 && s->ext.session_secret_cb != NULL && s->session->ext.tick) {
1568 const SSL_CIPHER *pref_cipher = NULL;
1569 /*
1570 * s->session->master_key_length is a size_t, but this is an int for
1571 * backwards compat reasons
1572 */
1573 int master_key_length;
1574 master_key_length = sizeof(s->session->master_key);
1575 if (s->ext.session_secret_cb(s, s->session->master_key,
1576 &master_key_length,
1577 NULL, &pref_cipher,
1578 s->ext.session_secret_cb_arg)
1579 && master_key_length > 0) {
1580 s->session->master_key_length = master_key_length;
1581 s->session->cipher = pref_cipher ?
Benjamin Kaduk60d685d2017-02-06 11:30:16 -06001582 pref_cipher : ssl_get_cipher_by_char(s, cipherchars, 0);
Matt Caswell4ff65f72017-01-18 09:38:53 +00001583 } else {
Matt Caswellf63a17d2017-11-21 17:18:43 +00001584 SSLfatal(s, SSL_AD_INTERNAL_ERROR,
1585 SSL_F_TLS_PROCESS_SERVER_HELLO, ERR_R_INTERNAL_ERROR);
1586 goto err;
Matt Caswell4ff65f72017-01-18 09:38:53 +00001587 }
1588 }
1589
1590 if (session_id_len != 0
1591 && session_id_len == s->session->session_id_length
1592 && memcmp(PACKET_data(&session_id), s->session->session_id,
1593 session_id_len) == 0)
1594 s->hit = 1;
1595 }
1596
1597 if (s->hit) {
Matt Caswell0f113f32015-01-22 03:40:55 +00001598 if (s->sid_ctx_length != s->session->sid_ctx_length
Matt Caswell4ff65f72017-01-18 09:38:53 +00001599 || memcmp(s->session->sid_ctx, s->sid_ctx, s->sid_ctx_length)) {
Matt Caswell0f113f32015-01-22 03:40:55 +00001600 /* actually a client application bug */
Matt Caswellf63a17d2017-11-21 17:18:43 +00001601 SSLfatal(s, SSL_AD_ILLEGAL_PARAMETER,
1602 SSL_F_TLS_PROCESS_SERVER_HELLO,
1603 SSL_R_ATTEMPT_TO_REUSE_SESSION_IN_DIFFERENT_CONTEXT);
1604 goto err;
Matt Caswell0f113f32015-01-22 03:40:55 +00001605 }
Emilia Kasper6e3d0152015-04-21 18:12:58 +02001606 } else {
Matt Caswell0f113f32015-01-22 03:40:55 +00001607 /*
Emilia Kasper6e3d0152015-04-21 18:12:58 +02001608 * If we were trying for session-id reuse but the server
Matt Caswell4ff65f72017-01-18 09:38:53 +00001609 * didn't resume, make a new SSL_SESSION.
Emilia Kasper6e3d0152015-04-21 18:12:58 +02001610 * In the case of EAP-FAST and PAC, we do not send a session ID,
1611 * so the PAC-based session secret is always preserved. It'll be
1612 * overwritten if the server refuses resumption.
Matt Caswell0f113f32015-01-22 03:40:55 +00001613 */
Matt Caswell4ff65f72017-01-18 09:38:53 +00001614 if (s->session->session_id_length > 0
1615 || (SSL_IS_TLS13(s)
1616 && s->session->ext.tick_identity
1617 != TLSEXT_PSK_BAD_IDENTITY)) {
Benjamin Kaduk0e6161b2017-10-17 15:28:42 -05001618 CRYPTO_atomic_add(&s->session_ctx->stats.sess_miss, 1, &discard,
1619 s->session_ctx->lock);
Matt Caswell0f113f32015-01-22 03:40:55 +00001620 if (!ssl_get_new_session(s, 0)) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00001621 /* SSLfatal() already called */
1622 goto err;
Matt Caswell0f113f32015-01-22 03:40:55 +00001623 }
1624 }
Emilia Kasperfc5ce512015-09-18 14:09:37 +02001625
Fedor Indutnyccae4a12016-03-11 17:44:01 +03001626 s->session->ssl_version = s->version;
Matt Caswella5816a52017-11-07 10:45:43 +00001627 /*
1628 * In TLSv1.2 and below we save the session id we were sent so we can
1629 * resume it later. In TLSv1.3 the session id we were sent is just an
1630 * echo of what we originally sent in the ClientHello and should not be
1631 * used for resumption.
1632 */
1633 if (!SSL_IS_TLS13(s)) {
1634 s->session->session_id_length = session_id_len;
1635 /* session_id_len could be 0 */
1636 if (session_id_len > 0)
1637 memcpy(s->session->session_id, PACKET_data(&session_id),
1638 session_id_len);
1639 }
Matt Caswell0f113f32015-01-22 03:40:55 +00001640 }
Matt Caswell50932c42015-08-04 17:36:02 +01001641
Fedor Indutnyccae4a12016-03-11 17:44:01 +03001642 /* Session version and negotiated protocol version should match */
1643 if (s->version != s->session->ssl_version) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00001644 SSLfatal(s, SSL_AD_PROTOCOL_VERSION, SSL_F_TLS_PROCESS_SERVER_HELLO,
1645 SSL_R_SSL_SESSION_VERSION_MISMATCH);
1646 goto err;
Fedor Indutnyccae4a12016-03-11 17:44:01 +03001647 }
Matt Caswell0f113f32015-01-22 03:40:55 +00001648 /*
Kurt Roeckx3eb2aff2016-02-07 20:17:07 +01001649 * Now that we know the version, update the check to see if it's an allowed
1650 * version.
1651 */
1652 s->s3->tmp.min_ver = s->version;
1653 s->s3->tmp.max_ver = s->version;
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00001654
Matt Caswell11c67ee2017-03-13 15:21:15 +00001655 if (!set_client_ciphersuite(s, cipherchars)) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00001656 /* SSLfatal() already called */
1657 goto err;
Matt Caswell0f113f32015-01-22 03:40:55 +00001658 }
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00001659
Dr. Stephen Henson09b6c2e2005-09-30 23:35:33 +00001660#ifdef OPENSSL_NO_COMP
Emilia Kasperfc5ce512015-09-18 14:09:37 +02001661 if (compression != 0) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00001662 SSLfatal(s, SSL_AD_ILLEGAL_PARAMETER, SSL_F_TLS_PROCESS_SERVER_HELLO,
1663 SSL_R_UNSUPPORTED_COMPRESSION_ALGORITHM);
1664 goto err;
Matt Caswell0f113f32015-01-22 03:40:55 +00001665 }
1666 /*
1667 * If compression is disabled we'd better not try to resume a session
1668 * using compression.
1669 */
1670 if (s->session->compress_meth != 0) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00001671 SSLfatal(s, SSL_AD_HANDSHAKE_FAILURE, SSL_F_TLS_PROCESS_SERVER_HELLO,
1672 SSL_R_INCONSISTENT_COMPRESSION);
1673 goto err;
Matt Caswell0f113f32015-01-22 03:40:55 +00001674 }
Dr. Stephen Henson09b6c2e2005-09-30 23:35:33 +00001675#else
Emilia Kasperfc5ce512015-09-18 14:09:37 +02001676 if (s->hit && compression != s->session->compress_meth) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00001677 SSLfatal(s, SSL_AD_ILLEGAL_PARAMETER, SSL_F_TLS_PROCESS_SERVER_HELLO,
Matt Caswelldd5a4272017-12-04 13:37:01 +00001678 SSL_R_OLD_SESSION_COMPRESSION_ALGORITHM_NOT_RETURNED);
Matt Caswellf63a17d2017-11-21 17:18:43 +00001679 goto err;
Matt Caswell0f113f32015-01-22 03:40:55 +00001680 }
Emilia Kasperfc5ce512015-09-18 14:09:37 +02001681 if (compression == 0)
Matt Caswell0f113f32015-01-22 03:40:55 +00001682 comp = NULL;
1683 else if (!ssl_allow_compression(s)) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00001684 SSLfatal(s, SSL_AD_ILLEGAL_PARAMETER, SSL_F_TLS_PROCESS_SERVER_HELLO,
1685 SSL_R_COMPRESSION_DISABLED);
1686 goto err;
Emilia Kasperfc5ce512015-09-18 14:09:37 +02001687 } else {
1688 comp = ssl3_comp_find(s->ctx->comp_methods, compression);
1689 }
Matt Caswell0f113f32015-01-22 03:40:55 +00001690
Emilia Kasperfc5ce512015-09-18 14:09:37 +02001691 if (compression != 0 && comp == NULL) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00001692 SSLfatal(s, SSL_AD_ILLEGAL_PARAMETER, SSL_F_TLS_PROCESS_SERVER_HELLO,
1693 SSL_R_UNSUPPORTED_COMPRESSION_ALGORITHM);
1694 goto err;
Matt Caswell0f113f32015-01-22 03:40:55 +00001695 } else {
1696 s->s3->tmp.new_compression = comp;
1697 }
Dr. Stephen Henson09b6c2e2005-09-30 23:35:33 +00001698#endif
Bodo Möller761772d2007-09-21 06:54:24 +00001699
Matt Caswellf63a17d2017-11-21 17:18:43 +00001700 if (!tls_parse_all_extensions(s, context, extensions, NULL, 0, 1)) {
1701 /* SSLfatal() already called */
1702 goto err;
1703 }
Matt Caswell332eb392016-11-28 16:15:51 +00001704
Matt Caswell87235882015-09-07 16:36:53 +01001705#ifndef OPENSSL_NO_SCTP
1706 if (SSL_IS_DTLS(s) && s->hit) {
1707 unsigned char sctpauthkey[64];
1708 char labelbuffer[sizeof(DTLS1_SCTP_AUTH_LABEL)];
1709
1710 /*
1711 * Add new shared key for SCTP-Auth, will be ignored if
1712 * no SCTP used.
1713 */
Matt Caswell141eb8c2015-10-26 12:00:00 +00001714 memcpy(labelbuffer, DTLS1_SCTP_AUTH_LABEL,
1715 sizeof(DTLS1_SCTP_AUTH_LABEL));
Matt Caswell87235882015-09-07 16:36:53 +01001716
1717 if (SSL_export_keying_material(s, sctpauthkey,
Emilia Kaspera230b262016-08-05 19:03:17 +02001718 sizeof(sctpauthkey),
1719 labelbuffer,
Matt Caswellf63a17d2017-11-21 17:18:43 +00001720 sizeof(labelbuffer), NULL, 0, 0) <= 0) {
1721 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_PROCESS_SERVER_HELLO,
1722 ERR_R_INTERNAL_ERROR);
1723 goto err;
1724 }
Matt Caswell87235882015-09-07 16:36:53 +01001725
1726 BIO_ctrl(SSL_get_wbio(s),
1727 BIO_CTRL_DGRAM_SCTP_ADD_AUTH_KEY,
1728 sizeof(sctpauthkey), sctpauthkey);
1729 }
1730#endif
1731
Matt Caswell92760c22016-11-09 14:06:12 +00001732 /*
1733 * In TLSv1.3 we have some post-processing to change cipher state, otherwise
1734 * we're done with this message
1735 */
1736 if (SSL_IS_TLS13(s)
1737 && (!s->method->ssl3_enc->setup_key_block(s)
1738 || !s->method->ssl3_enc->change_cipher_state(s,
Matt Caswell92760c22016-11-09 14:06:12 +00001739 SSL3_CC_HANDSHAKE | SSL3_CHANGE_CIPHER_CLIENT_READ))) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00001740 /* SSLfatal() already called */
1741 goto err;
Matt Caswell92760c22016-11-09 14:06:12 +00001742 }
1743
Matt Caswell1b0286a2016-12-05 17:31:37 +00001744 OPENSSL_free(extensions);
Matt Caswellb9908bf2015-07-29 14:08:49 +01001745 return MSG_PROCESS_CONTINUE_READING;
Matt Caswellf63a17d2017-11-21 17:18:43 +00001746 err:
Matt Caswell1b0286a2016-12-05 17:31:37 +00001747 OPENSSL_free(extensions);
Matt Caswellb9908bf2015-07-29 14:08:49 +01001748 return MSG_PROCESS_ERROR;
Matt Caswell0f113f32015-01-22 03:40:55 +00001749}
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00001750
Matt Caswell597c51b2017-12-05 10:14:35 +00001751static MSG_PROCESS_RETURN tls_process_as_hello_retry_request(SSL *s,
1752 PACKET *extpkt)
Matt Caswell3847d422017-02-01 13:31:27 +00001753{
Matt Caswell3847d422017-02-01 13:31:27 +00001754 RAW_EXTENSION *extensions = NULL;
Matt Caswell3847d422017-02-01 13:31:27 +00001755
Matt Caswelld4504fe2017-07-14 14:50:48 +01001756 /*
1757 * If we were sending early_data then the enc_write_ctx is now invalid and
1758 * should not be used.
1759 */
1760 EVP_CIPHER_CTX_free(s->enc_write_ctx);
1761 s->enc_write_ctx = NULL;
1762
Matt Caswell597c51b2017-12-05 10:14:35 +00001763 if (!tls_collect_extensions(s, extpkt, SSL_EXT_TLS1_3_HELLO_RETRY_REQUEST,
Matt Caswellf63a17d2017-11-21 17:18:43 +00001764 &extensions, NULL, 1)
Matt Caswellfe874d22017-04-04 11:40:02 +01001765 || !tls_parse_all_extensions(s, SSL_EXT_TLS1_3_HELLO_RETRY_REQUEST,
Matt Caswellf63a17d2017-11-21 17:18:43 +00001766 extensions, NULL, 0, 1)) {
1767 /* SSLfatal() already called */
1768 goto err;
1769 }
Matt Caswell3847d422017-02-01 13:31:27 +00001770
1771 OPENSSL_free(extensions);
Matt Caswell66d4bf62017-05-08 16:05:16 +01001772 extensions = NULL;
1773
Benjamin Kadukf5d270c2017-09-14 10:23:20 -05001774 if (s->ext.tls13_cookie_len == 0
1775#if !defined(OPENSSL_NO_EC) || !defined(OPENSSL_NO_DH)
1776 && s->s3->tmp.pkey != NULL
1777#endif
1778 ) {
Matt Caswell66d4bf62017-05-08 16:05:16 +01001779 /*
1780 * We didn't receive a cookie or a new key_share so the next
1781 * ClientHello will not change
1782 */
Matt Caswellf63a17d2017-11-21 17:18:43 +00001783 SSLfatal(s, SSL_AD_ILLEGAL_PARAMETER,
Matt Caswell597c51b2017-12-05 10:14:35 +00001784 SSL_F_TLS_PROCESS_AS_HELLO_RETRY_REQUEST,
1785 SSL_R_NO_CHANGE_FOLLOWING_HRR);
Matt Caswellf63a17d2017-11-21 17:18:43 +00001786 goto err;
Matt Caswell66d4bf62017-05-08 16:05:16 +01001787 }
Matt Caswell3847d422017-02-01 13:31:27 +00001788
Matt Caswell11c67ee2017-03-13 15:21:15 +00001789 /*
1790 * Re-initialise the Transcript Hash. We're going to prepopulate it with
1791 * a synthetic message_hash in place of ClientHello1.
1792 */
Matt Caswell43054d32017-09-11 15:43:56 +01001793 if (!create_synthetic_message_hash(s, NULL, 0, NULL, 0)) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00001794 /* SSLfatal() already called */
1795 goto err;
Matt Caswell11c67ee2017-03-13 15:21:15 +00001796 }
1797
1798 /*
1799 * Add this message to the Transcript Hash. Normally this is done
1800 * automatically prior to the message processing stage. However due to the
1801 * need to create the synthetic message hash, we defer that step until now
1802 * for HRR messages.
1803 */
1804 if (!ssl3_finish_mac(s, (unsigned char *)s->init_buf->data,
1805 s->init_num + SSL3_HM_HEADER_LENGTH)) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00001806 /* SSLfatal() already called */
1807 goto err;
Matt Caswell11c67ee2017-03-13 15:21:15 +00001808 }
1809
Matt Caswell3847d422017-02-01 13:31:27 +00001810 return MSG_PROCESS_FINISHED_READING;
Matt Caswellf63a17d2017-11-21 17:18:43 +00001811 err:
Matt Caswell3847d422017-02-01 13:31:27 +00001812 OPENSSL_free(extensions);
1813 return MSG_PROCESS_ERROR;
1814}
1815
Matt Caswellbe3583f2015-10-26 11:46:33 +00001816MSG_PROCESS_RETURN tls_process_server_certificate(SSL *s, PACKET *pkt)
Matt Caswellb9908bf2015-07-29 14:08:49 +01001817{
Matt Caswellf63a17d2017-11-21 17:18:43 +00001818 int i;
Andy Polyakoveb5fd032017-08-31 23:23:00 +02001819 MSG_PROCESS_RETURN ret = MSG_PROCESS_ERROR;
Matt Caswellb9908bf2015-07-29 14:08:49 +01001820 unsigned long cert_list_len, cert_len;
1821 X509 *x = NULL;
Emilia Kasperb6981742016-02-01 15:26:18 +01001822 const unsigned char *certstart, *certbytes;
Matt Caswellb9908bf2015-07-29 14:08:49 +01001823 STACK_OF(X509) *sk = NULL;
1824 EVP_PKEY *pkey = NULL;
Dr. Stephen Henson7f6b4662017-06-29 14:55:06 +01001825 size_t chainidx, certidx;
Matt Caswelle96e0f82016-12-02 09:14:15 +00001826 unsigned int context = 0;
Dr. Stephen Henson7f6b4662017-06-29 14:55:06 +01001827 const SSL_CERT_LOOKUP *clu;
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00001828
Matt Caswell0f113f32015-01-22 03:40:55 +00001829 if ((sk = sk_X509_new_null()) == NULL) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00001830 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_PROCESS_SERVER_CERTIFICATE,
1831 ERR_R_MALLOC_FAILURE);
Matt Caswellcc273a92015-04-30 11:32:35 +01001832 goto err;
Matt Caswell0f113f32015-01-22 03:40:55 +00001833 }
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00001834
Matt Caswelle96e0f82016-12-02 09:14:15 +00001835 if ((SSL_IS_TLS13(s) && !PACKET_get_1(pkt, &context))
1836 || context != 0
1837 || !PACKET_get_net_3(pkt, &cert_list_len)
Matt Caswell1a281aa2017-05-11 08:38:21 +01001838 || PACKET_remaining(pkt) != cert_list_len
1839 || PACKET_remaining(pkt) == 0) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00001840 SSLfatal(s, SSL_AD_DECODE_ERROR, SSL_F_TLS_PROCESS_SERVER_CERTIFICATE,
1841 SSL_R_LENGTH_MISMATCH);
1842 goto err;
Matt Caswell0f113f32015-01-22 03:40:55 +00001843 }
Matt Caswelld805a572017-01-06 11:01:14 +00001844 for (chainidx = 0; PACKET_remaining(pkt); chainidx++) {
Matt Caswell73999b62015-09-10 10:22:30 +01001845 if (!PACKET_get_net_3(pkt, &cert_len)
Emilia Kaspera230b262016-08-05 19:03:17 +02001846 || !PACKET_get_bytes(pkt, &certbytes, cert_len)) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00001847 SSLfatal(s, SSL_AD_DECODE_ERROR,
1848 SSL_F_TLS_PROCESS_SERVER_CERTIFICATE,
1849 SSL_R_CERT_LENGTH_MISMATCH);
1850 goto err;
Matt Caswell0f113f32015-01-22 03:40:55 +00001851 }
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00001852
Matt Caswelldf758a82015-08-04 20:10:06 +01001853 certstart = certbytes;
1854 x = d2i_X509(NULL, (const unsigned char **)&certbytes, cert_len);
Matt Caswell0f113f32015-01-22 03:40:55 +00001855 if (x == NULL) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00001856 SSLfatal(s, SSL_AD_BAD_CERTIFICATE,
1857 SSL_F_TLS_PROCESS_SERVER_CERTIFICATE, ERR_R_ASN1_LIB);
1858 goto err;
Matt Caswell0f113f32015-01-22 03:40:55 +00001859 }
Matt Caswelldf758a82015-08-04 20:10:06 +01001860 if (certbytes != (certstart + cert_len)) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00001861 SSLfatal(s, SSL_AD_DECODE_ERROR,
1862 SSL_F_TLS_PROCESS_SERVER_CERTIFICATE,
1863 SSL_R_CERT_LENGTH_MISMATCH);
1864 goto err;
Matt Caswell0f113f32015-01-22 03:40:55 +00001865 }
Matt Caswelle96e0f82016-12-02 09:14:15 +00001866
1867 if (SSL_IS_TLS13(s)) {
1868 RAW_EXTENSION *rawexts = NULL;
1869 PACKET extensions;
1870
1871 if (!PACKET_get_length_prefixed_2(pkt, &extensions)) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00001872 SSLfatal(s, SSL_AD_DECODE_ERROR,
1873 SSL_F_TLS_PROCESS_SERVER_CERTIFICATE,
1874 SSL_R_BAD_LENGTH);
1875 goto err;
Matt Caswelle96e0f82016-12-02 09:14:15 +00001876 }
Matt Caswellfe874d22017-04-04 11:40:02 +01001877 if (!tls_collect_extensions(s, &extensions,
1878 SSL_EXT_TLS1_3_CERTIFICATE, &rawexts,
Matt Caswellf63a17d2017-11-21 17:18:43 +00001879 NULL, chainidx == 0)
Tatsuhiro Tsujikawa8e1634e2017-04-21 22:10:32 +09001880 || !tls_parse_all_extensions(s, SSL_EXT_TLS1_3_CERTIFICATE,
Matt Caswellf63a17d2017-11-21 17:18:43 +00001881 rawexts, x, chainidx,
Tatsuhiro Tsujikawa8e1634e2017-04-21 22:10:32 +09001882 PACKET_remaining(pkt) == 0)) {
Matt Caswell5ee289e2017-01-25 14:45:12 +00001883 OPENSSL_free(rawexts);
Matt Caswellf63a17d2017-11-21 17:18:43 +00001884 /* SSLfatal already called */
1885 goto err;
Matt Caswell5ee289e2017-01-25 14:45:12 +00001886 }
1887 OPENSSL_free(rawexts);
Matt Caswelle96e0f82016-12-02 09:14:15 +00001888 }
1889
Matt Caswell0f113f32015-01-22 03:40:55 +00001890 if (!sk_X509_push(sk, x)) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00001891 SSLfatal(s, SSL_AD_INTERNAL_ERROR,
1892 SSL_F_TLS_PROCESS_SERVER_CERTIFICATE,
1893 ERR_R_MALLOC_FAILURE);
Matt Caswellcc273a92015-04-30 11:32:35 +01001894 goto err;
Matt Caswell0f113f32015-01-22 03:40:55 +00001895 }
1896 x = NULL;
Matt Caswell0f113f32015-01-22 03:40:55 +00001897 }
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00001898
Matt Caswell0f113f32015-01-22 03:40:55 +00001899 i = ssl_verify_cert_chain(s, sk);
Matt Caswellc8e2f982016-10-27 10:46:25 +01001900 /*
1901 * The documented interface is that SSL_VERIFY_PEER should be set in order
1902 * for client side verification of the server certificate to take place.
1903 * However, historically the code has only checked that *any* flag is set
1904 * to cause server verification to take place. Use of the other flags makes
1905 * no sense in client mode. An attempt to clean up the semantics was
1906 * reverted because at least one application *only* set
1907 * SSL_VERIFY_FAIL_IF_NO_PEER_CERT. Prior to the clean up this still caused
1908 * server verification to take place, after the clean up it silently did
1909 * nothing. SSL_CTX_set_verify()/SSL_set_verify() cannot validate the flags
1910 * sent to them because they are void functions. Therefore, we now use the
1911 * (less clean) historic behaviour of performing validation if any flag is
1912 * set. The *documented* interface remains the same.
1913 */
1914 if (s->verify_mode != SSL_VERIFY_NONE && i <= 0) {
Rich Salzc6d38182018-03-28 15:34:16 -04001915 SSLfatal(s, ssl_x509err2alert(s->verify_result),
Matt Caswellf63a17d2017-11-21 17:18:43 +00001916 SSL_F_TLS_PROCESS_SERVER_CERTIFICATE,
1917 SSL_R_CERTIFICATE_VERIFY_FAILED);
1918 goto err;
Matt Caswell0f113f32015-01-22 03:40:55 +00001919 }
1920 ERR_clear_error(); /* but we keep s->verify_result */
1921 if (i > 1) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00001922 SSLfatal(s, SSL_AD_HANDSHAKE_FAILURE,
1923 SSL_F_TLS_PROCESS_SERVER_CERTIFICATE, i);
1924 goto err;
Matt Caswell0f113f32015-01-22 03:40:55 +00001925 }
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00001926
Dr. Stephen Hensonc34b0f92015-06-21 19:34:33 +01001927 s->session->peer_chain = sk;
Matt Caswell0f113f32015-01-22 03:40:55 +00001928 /*
1929 * Inconsistency alert: cert_chain does include the peer's certificate,
Matt Caswelld4d78942016-05-17 11:51:00 +01001930 * which we don't include in statem_srvr.c
Matt Caswell0f113f32015-01-22 03:40:55 +00001931 */
1932 x = sk_X509_value(sk, 0);
1933 sk = NULL;
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00001934
Dr. Stephen Henson8382fd32015-12-20 00:32:36 +00001935 pkey = X509_get0_pubkey(x);
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00001936
Matt Caswell55a9a162015-05-12 10:27:53 +01001937 if (pkey == NULL || EVP_PKEY_missing_parameters(pkey)) {
Matt Caswell0f113f32015-01-22 03:40:55 +00001938 x = NULL;
Matt Caswellf63a17d2017-11-21 17:18:43 +00001939 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_PROCESS_SERVER_CERTIFICATE,
1940 SSL_R_UNABLE_TO_FIND_PUBLIC_KEY_PARAMETERS);
1941 goto err;
Matt Caswell0f113f32015-01-22 03:40:55 +00001942 }
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00001943
Dr. Stephen Henson7f6b4662017-06-29 14:55:06 +01001944 if ((clu = ssl_cert_lookup_by_pkey(pkey, &certidx)) == NULL) {
Matt Caswell0f113f32015-01-22 03:40:55 +00001945 x = NULL;
Matt Caswellf63a17d2017-11-21 17:18:43 +00001946 SSLfatal(s, SSL_AD_ILLEGAL_PARAMETER,
1947 SSL_F_TLS_PROCESS_SERVER_CERTIFICATE,
1948 SSL_R_UNKNOWN_CERTIFICATE_TYPE);
1949 goto err;
Matt Caswell0f113f32015-01-22 03:40:55 +00001950 }
Dr. Stephen Henson05b84862017-01-30 15:34:25 +00001951 /*
1952 * Check certificate type is consistent with ciphersuite. For TLS 1.3
1953 * skip check since TLS 1.3 ciphersuites can be used with any certificate
1954 * type.
1955 */
1956 if (!SSL_IS_TLS13(s)) {
Dr. Stephen Henson7f6b4662017-06-29 14:55:06 +01001957 if ((clu->amask & s->s3->tmp.new_cipher->algorithm_auth) == 0) {
Dr. Stephen Henson05b84862017-01-30 15:34:25 +00001958 x = NULL;
Matt Caswellf63a17d2017-11-21 17:18:43 +00001959 SSLfatal(s, SSL_AD_ILLEGAL_PARAMETER,
1960 SSL_F_TLS_PROCESS_SERVER_CERTIFICATE,
1961 SSL_R_WRONG_CERTIFICATE_TYPE);
1962 goto err;
Dr. Stephen Henson05b84862017-01-30 15:34:25 +00001963 }
Matt Caswell0f113f32015-01-22 03:40:55 +00001964 }
Dr. Stephen Henson7f6b4662017-06-29 14:55:06 +01001965 s->session->peer_type = certidx;
Matt Caswell55a9a162015-05-12 10:27:53 +01001966
1967 X509_free(s->session->peer);
Dr. Stephen Henson05f0fb92015-08-31 20:29:57 +01001968 X509_up_ref(x);
Matt Caswell55a9a162015-05-12 10:27:53 +01001969 s->session->peer = x;
Matt Caswell0f113f32015-01-22 03:40:55 +00001970 s->session->verify_result = s->verify_result;
Matt Caswell0f113f32015-01-22 03:40:55 +00001971 x = NULL;
Matt Caswell2c5dfdc2016-12-05 17:04:51 +00001972
1973 /* Save the current hash state for when we receive the CertificateVerify */
1974 if (SSL_IS_TLS13(s)
1975 && !ssl_handshake_hash(s, s->cert_verify_hash,
1976 sizeof(s->cert_verify_hash),
1977 &s->cert_verify_hash_len)) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00001978 /* SSLfatal() already called */;
1979 goto err;
Matt Caswell2c5dfdc2016-12-05 17:04:51 +00001980 }
1981
Matt Caswellb9908bf2015-07-29 14:08:49 +01001982 ret = MSG_PROCESS_CONTINUE_READING;
Rich Salz66696472015-05-01 14:29:48 -04001983
Matt Caswellcc273a92015-04-30 11:32:35 +01001984 err:
Matt Caswell0f113f32015-01-22 03:40:55 +00001985 X509_free(x);
1986 sk_X509_pop_free(sk, X509_free);
Matt Caswellb9908bf2015-07-29 14:08:49 +01001987 return ret;
Matt Caswell0f113f32015-01-22 03:40:55 +00001988}
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00001989
Matt Caswella2c2e002017-11-22 17:18:39 +00001990static int tls_process_ske_psk_preamble(SSL *s, PACKET *pkt)
Matt Caswell02a74592016-07-08 12:20:42 +01001991{
1992#ifndef OPENSSL_NO_PSK
Matt Caswell7dc1c642016-07-08 12:44:53 +01001993 PACKET psk_identity_hint;
Matt Caswell02a74592016-07-08 12:20:42 +01001994
Matt Caswell7dc1c642016-07-08 12:44:53 +01001995 /* PSK ciphersuites are preceded by an identity hint */
1996
1997 if (!PACKET_get_length_prefixed_2(pkt, &psk_identity_hint)) {
Matt Caswella2c2e002017-11-22 17:18:39 +00001998 SSLfatal(s, SSL_AD_DECODE_ERROR, SSL_F_TLS_PROCESS_SKE_PSK_PREAMBLE,
1999 SSL_R_LENGTH_MISMATCH);
Matt Caswell7dc1c642016-07-08 12:44:53 +01002000 return 0;
2001 }
2002
2003 /*
2004 * Store PSK identity hint for later use, hint is used in
2005 * tls_construct_client_key_exchange. Assume that the maximum length of
2006 * a PSK identity hint can be as long as the maximum length of a PSK
2007 * identity.
2008 */
2009 if (PACKET_remaining(&psk_identity_hint) > PSK_MAX_IDENTITY_LEN) {
Matt Caswella2c2e002017-11-22 17:18:39 +00002010 SSLfatal(s, SSL_AD_HANDSHAKE_FAILURE,
2011 SSL_F_TLS_PROCESS_SKE_PSK_PREAMBLE,
2012 SSL_R_DATA_LENGTH_TOO_LONG);
Matt Caswell7dc1c642016-07-08 12:44:53 +01002013 return 0;
2014 }
2015
2016 if (PACKET_remaining(&psk_identity_hint) == 0) {
2017 OPENSSL_free(s->session->psk_identity_hint);
2018 s->session->psk_identity_hint = NULL;
2019 } else if (!PACKET_strndup(&psk_identity_hint,
Emilia Kaspera230b262016-08-05 19:03:17 +02002020 &s->session->psk_identity_hint)) {
Matt Caswella2c2e002017-11-22 17:18:39 +00002021 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_PROCESS_SKE_PSK_PREAMBLE,
2022 ERR_R_INTERNAL_ERROR);
Matt Caswell7dc1c642016-07-08 12:44:53 +01002023 return 0;
2024 }
2025
2026 return 1;
Matt Caswell02a74592016-07-08 12:20:42 +01002027#else
Matt Caswella2c2e002017-11-22 17:18:39 +00002028 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_PROCESS_SKE_PSK_PREAMBLE,
2029 ERR_R_INTERNAL_ERROR);
Matt Caswell7dc1c642016-07-08 12:44:53 +01002030 return 0;
Matt Caswell02a74592016-07-08 12:20:42 +01002031#endif
2032}
2033
Matt Caswella2c2e002017-11-22 17:18:39 +00002034static int tls_process_ske_srp(SSL *s, PACKET *pkt, EVP_PKEY **pkey)
Matt Caswell25c6c102016-07-08 14:55:56 +01002035{
2036#ifndef OPENSSL_NO_SRP
2037 PACKET prime, generator, salt, server_pub;
2038
2039 if (!PACKET_get_length_prefixed_2(pkt, &prime)
2040 || !PACKET_get_length_prefixed_2(pkt, &generator)
2041 || !PACKET_get_length_prefixed_1(pkt, &salt)
2042 || !PACKET_get_length_prefixed_2(pkt, &server_pub)) {
Matt Caswella2c2e002017-11-22 17:18:39 +00002043 SSLfatal(s, SSL_AD_DECODE_ERROR, SSL_F_TLS_PROCESS_SKE_SRP,
2044 SSL_R_LENGTH_MISMATCH);
Matt Caswell25c6c102016-07-08 14:55:56 +01002045 return 0;
2046 }
2047
Matt Caswell348240c2016-10-19 15:11:24 +01002048 /* TODO(size_t): Convert BN_bin2bn() calls */
Matt Caswell25c6c102016-07-08 14:55:56 +01002049 if ((s->srp_ctx.N =
2050 BN_bin2bn(PACKET_data(&prime),
Matt Caswell348240c2016-10-19 15:11:24 +01002051 (int)PACKET_remaining(&prime), NULL)) == NULL
Matt Caswell25c6c102016-07-08 14:55:56 +01002052 || (s->srp_ctx.g =
2053 BN_bin2bn(PACKET_data(&generator),
Matt Caswell348240c2016-10-19 15:11:24 +01002054 (int)PACKET_remaining(&generator), NULL)) == NULL
Matt Caswell25c6c102016-07-08 14:55:56 +01002055 || (s->srp_ctx.s =
2056 BN_bin2bn(PACKET_data(&salt),
Matt Caswell348240c2016-10-19 15:11:24 +01002057 (int)PACKET_remaining(&salt), NULL)) == NULL
Matt Caswell25c6c102016-07-08 14:55:56 +01002058 || (s->srp_ctx.B =
2059 BN_bin2bn(PACKET_data(&server_pub),
Matt Caswell348240c2016-10-19 15:11:24 +01002060 (int)PACKET_remaining(&server_pub), NULL)) == NULL) {
Matt Caswella2c2e002017-11-22 17:18:39 +00002061 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_PROCESS_SKE_SRP,
2062 ERR_R_BN_LIB);
Matt Caswell25c6c102016-07-08 14:55:56 +01002063 return 0;
2064 }
2065
Matt Caswella2c2e002017-11-22 17:18:39 +00002066 if (!srp_verify_server_param(s)) {
2067 /* SSLfatal() already called */
Matt Caswell25c6c102016-07-08 14:55:56 +01002068 return 0;
2069 }
2070
2071 /* We must check if there is a certificate */
Emilia Kaspera230b262016-08-05 19:03:17 +02002072 if (s->s3->tmp.new_cipher->algorithm_auth & (SSL_aRSA | SSL_aDSS))
Matt Caswell25c6c102016-07-08 14:55:56 +01002073 *pkey = X509_get0_pubkey(s->session->peer);
2074
2075 return 1;
2076#else
Matt Caswella2c2e002017-11-22 17:18:39 +00002077 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_PROCESS_SKE_SRP,
2078 ERR_R_INTERNAL_ERROR);
Matt Caswell25c6c102016-07-08 14:55:56 +01002079 return 0;
2080#endif
2081}
2082
Matt Caswella2c2e002017-11-22 17:18:39 +00002083static int tls_process_ske_dhe(SSL *s, PACKET *pkt, EVP_PKEY **pkey)
Matt Caswelle01a6102016-07-08 15:08:50 +01002084{
2085#ifndef OPENSSL_NO_DH
2086 PACKET prime, generator, pub_key;
2087 EVP_PKEY *peer_tmp = NULL;
2088
2089 DH *dh = NULL;
2090 BIGNUM *p = NULL, *g = NULL, *bnpub_key = NULL;
2091
Richard Levitte26505152016-12-30 21:57:28 +01002092 int check_bits = 0;
2093
Matt Caswelle01a6102016-07-08 15:08:50 +01002094 if (!PACKET_get_length_prefixed_2(pkt, &prime)
2095 || !PACKET_get_length_prefixed_2(pkt, &generator)
2096 || !PACKET_get_length_prefixed_2(pkt, &pub_key)) {
Matt Caswella2c2e002017-11-22 17:18:39 +00002097 SSLfatal(s, SSL_AD_DECODE_ERROR, SSL_F_TLS_PROCESS_SKE_DHE,
2098 SSL_R_LENGTH_MISMATCH);
Matt Caswelle01a6102016-07-08 15:08:50 +01002099 return 0;
2100 }
2101
2102 peer_tmp = EVP_PKEY_new();
2103 dh = DH_new();
2104
2105 if (peer_tmp == NULL || dh == NULL) {
Matt Caswella2c2e002017-11-22 17:18:39 +00002106 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_PROCESS_SKE_DHE,
2107 ERR_R_MALLOC_FAILURE);
Matt Caswelle01a6102016-07-08 15:08:50 +01002108 goto err;
2109 }
2110
Matt Caswell348240c2016-10-19 15:11:24 +01002111 /* TODO(size_t): Convert these calls */
2112 p = BN_bin2bn(PACKET_data(&prime), (int)PACKET_remaining(&prime), NULL);
2113 g = BN_bin2bn(PACKET_data(&generator), (int)PACKET_remaining(&generator),
2114 NULL);
2115 bnpub_key = BN_bin2bn(PACKET_data(&pub_key),
2116 (int)PACKET_remaining(&pub_key), NULL);
Matt Caswelle01a6102016-07-08 15:08:50 +01002117 if (p == NULL || g == NULL || bnpub_key == NULL) {
Matt Caswella2c2e002017-11-22 17:18:39 +00002118 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_PROCESS_SKE_DHE,
2119 ERR_R_BN_LIB);
Matt Caswelle01a6102016-07-08 15:08:50 +01002120 goto err;
2121 }
2122
FdaSilvaYY69687aa2017-03-28 23:57:28 +02002123 /* test non-zero pubkey */
Richard Levitte26505152016-12-30 21:57:28 +01002124 if (BN_is_zero(bnpub_key)) {
Matt Caswella2c2e002017-11-22 17:18:39 +00002125 SSLfatal(s, SSL_AD_ILLEGAL_PARAMETER, SSL_F_TLS_PROCESS_SKE_DHE,
2126 SSL_R_BAD_DH_VALUE);
Matt Caswelle01a6102016-07-08 15:08:50 +01002127 goto err;
2128 }
2129
2130 if (!DH_set0_pqg(dh, p, NULL, g)) {
Matt Caswella2c2e002017-11-22 17:18:39 +00002131 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_PROCESS_SKE_DHE,
2132 ERR_R_BN_LIB);
Matt Caswelle01a6102016-07-08 15:08:50 +01002133 goto err;
2134 }
2135 p = g = NULL;
2136
Richard Levitte26505152016-12-30 21:57:28 +01002137 if (DH_check_params(dh, &check_bits) == 0 || check_bits != 0) {
Matt Caswella2c2e002017-11-22 17:18:39 +00002138 SSLfatal(s, SSL_AD_ILLEGAL_PARAMETER, SSL_F_TLS_PROCESS_SKE_DHE,
2139 SSL_R_BAD_DH_VALUE);
Richard Levitte26505152016-12-30 21:57:28 +01002140 goto err;
2141 }
2142
Matt Caswelle01a6102016-07-08 15:08:50 +01002143 if (!DH_set0_key(dh, bnpub_key, NULL)) {
Matt Caswella2c2e002017-11-22 17:18:39 +00002144 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_PROCESS_SKE_DHE,
2145 ERR_R_BN_LIB);
Matt Caswelle01a6102016-07-08 15:08:50 +01002146 goto err;
2147 }
2148 bnpub_key = NULL;
2149
2150 if (!ssl_security(s, SSL_SECOP_TMP_DH, DH_security_bits(dh), 0, dh)) {
Matt Caswella2c2e002017-11-22 17:18:39 +00002151 SSLfatal(s, SSL_AD_HANDSHAKE_FAILURE, SSL_F_TLS_PROCESS_SKE_DHE,
2152 SSL_R_DH_KEY_TOO_SMALL);
Matt Caswelle01a6102016-07-08 15:08:50 +01002153 goto err;
2154 }
2155
2156 if (EVP_PKEY_assign_DH(peer_tmp, dh) == 0) {
Matt Caswella2c2e002017-11-22 17:18:39 +00002157 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_PROCESS_SKE_DHE,
2158 ERR_R_EVP_LIB);
Matt Caswelle01a6102016-07-08 15:08:50 +01002159 goto err;
2160 }
2161
2162 s->s3->peer_tmp = peer_tmp;
2163
2164 /*
2165 * FIXME: This makes assumptions about which ciphersuites come with
2166 * public keys. We should have a less ad-hoc way of doing this
2167 */
Emilia Kaspera230b262016-08-05 19:03:17 +02002168 if (s->s3->tmp.new_cipher->algorithm_auth & (SSL_aRSA | SSL_aDSS))
Matt Caswelle01a6102016-07-08 15:08:50 +01002169 *pkey = X509_get0_pubkey(s->session->peer);
2170 /* else anonymous DH, so no certificate or pkey. */
2171
2172 return 1;
2173
2174 err:
2175 BN_free(p);
2176 BN_free(g);
2177 BN_free(bnpub_key);
2178 DH_free(dh);
2179 EVP_PKEY_free(peer_tmp);
2180
2181 return 0;
2182#else
Matt Caswella2c2e002017-11-22 17:18:39 +00002183 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_PROCESS_SKE_DHE,
2184 ERR_R_INTERNAL_ERROR);
Matt Caswelle01a6102016-07-08 15:08:50 +01002185 return 0;
2186#endif
2187}
2188
Matt Caswella2c2e002017-11-22 17:18:39 +00002189static int tls_process_ske_ecdhe(SSL *s, PACKET *pkt, EVP_PKEY **pkey)
Matt Caswellff74aeb2016-07-08 15:26:13 +01002190{
2191#ifndef OPENSSL_NO_EC
2192 PACKET encoded_pt;
Dr. Stephen Henson6447e812017-09-26 16:17:44 +01002193 unsigned int curve_type, curve_id;
Matt Caswellff74aeb2016-07-08 15:26:13 +01002194
2195 /*
2196 * Extract elliptic curve parameters and the server's ephemeral ECDH
Dr. Stephen Henson6447e812017-09-26 16:17:44 +01002197 * public key. We only support named (not generic) curves and
Matt Caswellff74aeb2016-07-08 15:26:13 +01002198 * ECParameters in this case is just three bytes.
2199 */
Dr. Stephen Henson6447e812017-09-26 16:17:44 +01002200 if (!PACKET_get_1(pkt, &curve_type) || !PACKET_get_net_2(pkt, &curve_id)) {
Matt Caswella2c2e002017-11-22 17:18:39 +00002201 SSLfatal(s, SSL_AD_DECODE_ERROR, SSL_F_TLS_PROCESS_SKE_ECDHE,
2202 SSL_R_LENGTH_TOO_SHORT);
Matt Caswellff74aeb2016-07-08 15:26:13 +01002203 return 0;
2204 }
2205 /*
Dr. Stephen Henson6447e812017-09-26 16:17:44 +01002206 * Check curve is named curve type and one of our preferences, if not
2207 * server has sent an invalid curve.
Matt Caswellff74aeb2016-07-08 15:26:13 +01002208 */
Matt Caswelldcf8b012018-03-12 17:15:25 +00002209 if (curve_type != NAMED_CURVE_TYPE
2210 || !tls1_check_group_id(s, curve_id, 1)) {
Matt Caswella2c2e002017-11-22 17:18:39 +00002211 SSLfatal(s, SSL_AD_ILLEGAL_PARAMETER, SSL_F_TLS_PROCESS_SKE_ECDHE,
2212 SSL_R_WRONG_CURVE);
Matt Caswellff74aeb2016-07-08 15:26:13 +01002213 return 0;
2214 }
2215
Dr. Stephen Henson6447e812017-09-26 16:17:44 +01002216 if ((s->s3->peer_tmp = ssl_generate_param_group(curve_id)) == NULL) {
Matt Caswella2c2e002017-11-22 17:18:39 +00002217 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_PROCESS_SKE_ECDHE,
2218 SSL_R_UNABLE_TO_FIND_ECDH_PARAMETERS);
Matt Caswellff74aeb2016-07-08 15:26:13 +01002219 return 0;
2220 }
2221
Matt Caswellff74aeb2016-07-08 15:26:13 +01002222 if (!PACKET_get_length_prefixed_1(pkt, &encoded_pt)) {
Matt Caswella2c2e002017-11-22 17:18:39 +00002223 SSLfatal(s, SSL_AD_DECODE_ERROR, SSL_F_TLS_PROCESS_SKE_ECDHE,
2224 SSL_R_LENGTH_MISMATCH);
Matt Caswellff74aeb2016-07-08 15:26:13 +01002225 return 0;
2226 }
2227
Dr. Stephen Hensonec246302016-08-11 15:41:49 +01002228 if (!EVP_PKEY_set1_tls_encodedpoint(s->s3->peer_tmp,
2229 PACKET_data(&encoded_pt),
2230 PACKET_remaining(&encoded_pt))) {
Matt Caswella2c2e002017-11-22 17:18:39 +00002231 SSLfatal(s, SSL_AD_ILLEGAL_PARAMETER, SSL_F_TLS_PROCESS_SKE_ECDHE,
2232 SSL_R_BAD_ECPOINT);
Matt Caswellff74aeb2016-07-08 15:26:13 +01002233 return 0;
2234 }
2235
2236 /*
2237 * The ECC/TLS specification does not mention the use of DSA to sign
2238 * ECParameters in the server key exchange message. We do support RSA
2239 * and ECDSA.
2240 */
2241 if (s->s3->tmp.new_cipher->algorithm_auth & SSL_aECDSA)
2242 *pkey = X509_get0_pubkey(s->session->peer);
2243 else if (s->s3->tmp.new_cipher->algorithm_auth & SSL_aRSA)
2244 *pkey = X509_get0_pubkey(s->session->peer);
2245 /* else anonymous ECDH, so no certificate or pkey. */
2246
2247 return 1;
2248#else
Matt Caswella2c2e002017-11-22 17:18:39 +00002249 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_PROCESS_SKE_ECDHE,
2250 ERR_R_INTERNAL_ERROR);
Matt Caswellff74aeb2016-07-08 15:26:13 +01002251 return 0;
2252#endif
2253}
2254
Matt Caswellbe3583f2015-10-26 11:46:33 +00002255MSG_PROCESS_RETURN tls_process_key_exchange(SSL *s, PACKET *pkt)
Matt Caswellb9908bf2015-07-29 14:08:49 +01002256{
Matt Caswelle1e588a2016-07-08 15:41:36 +01002257 long alg_k;
Matt Caswell0f113f32015-01-22 03:40:55 +00002258 EVP_PKEY *pkey = NULL;
Matt Caswellfe3066e2017-01-03 10:01:39 +00002259 EVP_MD_CTX *md_ctx = NULL;
2260 EVP_PKEY_CTX *pctx = NULL;
Matt Caswell73999b62015-09-10 10:22:30 +01002261 PACKET save_param_start, signature;
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00002262
Matt Caswell0f113f32015-01-22 03:40:55 +00002263 alg_k = s->s3->tmp.new_cipher->algorithm_mkey;
Dr. Stephen Hensonb15f8762014-10-24 12:30:33 +01002264
Matt Caswell73999b62015-09-10 10:22:30 +01002265 save_param_start = *pkt;
Dr. Stephen Henson8d92c1f2015-06-21 16:26:08 +01002266
Ben Laurie3260adf2016-07-31 15:48:24 +01002267#if !defined(OPENSSL_NO_EC) || !defined(OPENSSL_NO_DH)
Dr. Stephen Henson61dd9f72015-12-14 00:33:33 +00002268 EVP_PKEY_free(s->s3->peer_tmp);
2269 s->s3->peer_tmp = NULL;
Ben Laurie3260adf2016-07-31 15:48:24 +01002270#endif
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00002271
Dr. Stephen Henson76890822015-06-28 17:15:10 +01002272 if (alg_k & SSL_PSK) {
Matt Caswella2c2e002017-11-22 17:18:39 +00002273 if (!tls_process_ske_psk_preamble(s, pkt)) {
2274 /* SSLfatal() already called */
Matt Caswell7dc1c642016-07-08 12:44:53 +01002275 goto err;
Matt Caswella2c2e002017-11-22 17:18:39 +00002276 }
Dr. Stephen Henson76890822015-06-28 17:15:10 +01002277 }
2278
2279 /* Nothing else to do for plain PSK or RSAPSK */
2280 if (alg_k & (SSL_kPSK | SSL_kRSAPSK)) {
Matt Caswell25c6c102016-07-08 14:55:56 +01002281 } else if (alg_k & SSL_kSRP) {
Matt Caswella2c2e002017-11-22 17:18:39 +00002282 if (!tls_process_ske_srp(s, pkt, &pkey)) {
2283 /* SSLfatal() already called */
Matt Caswell0f113f32015-01-22 03:40:55 +00002284 goto err;
Matt Caswella2c2e002017-11-22 17:18:39 +00002285 }
Matt Caswelle01a6102016-07-08 15:08:50 +01002286 } else if (alg_k & (SSL_kDHE | SSL_kDHEPSK)) {
Matt Caswella2c2e002017-11-22 17:18:39 +00002287 if (!tls_process_ske_dhe(s, pkt, &pkey)) {
2288 /* SSLfatal() already called */
Matt Caswelle01a6102016-07-08 15:08:50 +01002289 goto err;
Matt Caswella2c2e002017-11-22 17:18:39 +00002290 }
Matt Caswellff74aeb2016-07-08 15:26:13 +01002291 } else if (alg_k & (SSL_kECDHE | SSL_kECDHEPSK)) {
Matt Caswella2c2e002017-11-22 17:18:39 +00002292 if (!tls_process_ske_ecdhe(s, pkt, &pkey)) {
2293 /* SSLfatal() already called */
Matt Caswellff74aeb2016-07-08 15:26:13 +01002294 goto err;
Matt Caswella2c2e002017-11-22 17:18:39 +00002295 }
Matt Caswell0f113f32015-01-22 03:40:55 +00002296 } else if (alg_k) {
Matt Caswella2c2e002017-11-22 17:18:39 +00002297 SSLfatal(s, SSL_AD_UNEXPECTED_MESSAGE, SSL_F_TLS_PROCESS_KEY_EXCHANGE,
2298 SSL_R_UNEXPECTED_MESSAGE);
Matt Caswelle1e588a2016-07-08 15:41:36 +01002299 goto err;
Matt Caswell0f113f32015-01-22 03:40:55 +00002300 }
Ralf S. Engelschalldfeab061998-12-21 11:00:56 +00002301
Matt Caswell0f113f32015-01-22 03:40:55 +00002302 /* if it was signed, check the signature */
2303 if (pkey != NULL) {
Emilia Kasper32942872015-10-02 14:40:30 +02002304 PACKET params;
Matt Caswellbe8dba22016-07-08 12:18:18 +01002305 int maxsig;
2306 const EVP_MD *md = NULL;
Dr. Stephen Henson72ceb6a2017-06-16 19:23:47 +01002307 unsigned char *tbs;
2308 size_t tbslen;
2309 int rv;
Matt Caswelle1e588a2016-07-08 15:41:36 +01002310
Emilia Kasper32942872015-10-02 14:40:30 +02002311 /*
2312 * |pkt| now points to the beginning of the signature, so the difference
2313 * equals the length of the parameters.
2314 */
2315 if (!PACKET_get_sub_packet(&save_param_start, &params,
2316 PACKET_remaining(&save_param_start) -
Matt Caswell73999b62015-09-10 10:22:30 +01002317 PACKET_remaining(pkt))) {
Matt Caswella2c2e002017-11-22 17:18:39 +00002318 SSLfatal(s, SSL_AD_DECODE_ERROR, SSL_F_TLS_PROCESS_KEY_EXCHANGE,
2319 ERR_R_INTERNAL_ERROR);
Matt Caswelle1e588a2016-07-08 15:41:36 +01002320 goto err;
Emilia Kasper32942872015-10-02 14:40:30 +02002321 }
2322
Matt Caswell0f113f32015-01-22 03:40:55 +00002323 if (SSL_USE_SIGALGS(s)) {
Matt Caswell703bcee2016-12-14 14:31:21 +00002324 unsigned int sigalg;
Matt Caswell703bcee2016-12-14 14:31:21 +00002325
2326 if (!PACKET_get_net_2(pkt, &sigalg)) {
Matt Caswella2c2e002017-11-22 17:18:39 +00002327 SSLfatal(s, SSL_AD_DECODE_ERROR, SSL_F_TLS_PROCESS_KEY_EXCHANGE,
2328 SSL_R_LENGTH_TOO_SHORT);
Matt Caswelle1e588a2016-07-08 15:41:36 +01002329 goto err;
Matt Caswell0f113f32015-01-22 03:40:55 +00002330 }
Matt Caswellf63a17d2017-11-21 17:18:43 +00002331 if (tls12_check_peer_sigalg(s, sigalg, pkey) <=0) {
2332 /* SSLfatal() already called */
Matt Caswelle1e588a2016-07-08 15:41:36 +01002333 goto err;
Matt Caswell0f113f32015-01-22 03:40:55 +00002334 }
Dr. Stephen Hensonf365a3e2017-02-13 16:32:06 +00002335 } else if (!tls1_set_peer_legacy_sigalg(s, pkey)) {
Matt Caswella2c2e002017-11-22 17:18:39 +00002336 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_PROCESS_KEY_EXCHANGE,
2337 ERR_R_INTERNAL_ERROR);
Dr. Stephen Hensonf365a3e2017-02-13 16:32:06 +00002338 goto err;
Emilia Kasper32942872015-10-02 14:40:30 +02002339 }
Matt Caswellf2be92b2014-07-26 23:47:40 +01002340
Dr. Stephen Hensonb2021552017-06-16 18:55:28 +01002341 if (!tls1_lookup_md(s->s3->tmp.peer_sigalg, &md)) {
Matt Caswella2c2e002017-11-22 17:18:39 +00002342 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_PROCESS_KEY_EXCHANGE,
2343 ERR_R_INTERNAL_ERROR);
Dr. Stephen Hensonb2021552017-06-16 18:55:28 +01002344 goto err;
2345 }
Rich Salz44f23cd2018-01-22 14:33:22 -05002346#ifdef SSL_DEBUG
2347 if (SSL_USE_SIGALGS(s))
2348 fprintf(stderr, "USING TLSv1.2 HASH %s\n", EVP_MD_name(md));
2349#endif
Dr. Stephen Hensonf365a3e2017-02-13 16:32:06 +00002350
Matt Caswell73999b62015-09-10 10:22:30 +01002351 if (!PACKET_get_length_prefixed_2(pkt, &signature)
2352 || PACKET_remaining(pkt) != 0) {
Matt Caswella2c2e002017-11-22 17:18:39 +00002353 SSLfatal(s, SSL_AD_DECODE_ERROR, SSL_F_TLS_PROCESS_KEY_EXCHANGE,
2354 SSL_R_LENGTH_MISMATCH);
Matt Caswelle1e588a2016-07-08 15:41:36 +01002355 goto err;
Matt Caswell0f113f32015-01-22 03:40:55 +00002356 }
Matt Caswellbe8dba22016-07-08 12:18:18 +01002357 maxsig = EVP_PKEY_size(pkey);
2358 if (maxsig < 0) {
Matt Caswella2c2e002017-11-22 17:18:39 +00002359 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_PROCESS_KEY_EXCHANGE,
2360 ERR_R_INTERNAL_ERROR);
Matt Caswelle1e588a2016-07-08 15:41:36 +01002361 goto err;
Matt Caswell8098fc52015-08-04 21:22:31 +01002362 }
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00002363
Matt Caswell0f113f32015-01-22 03:40:55 +00002364 /*
Matt Caswell8098fc52015-08-04 21:22:31 +01002365 * Check signature length
Matt Caswell0f113f32015-01-22 03:40:55 +00002366 */
Matt Caswellbe8dba22016-07-08 12:18:18 +01002367 if (PACKET_remaining(&signature) > (size_t)maxsig) {
Matt Caswell0f113f32015-01-22 03:40:55 +00002368 /* wrong packet length */
Matt Caswella2c2e002017-11-22 17:18:39 +00002369 SSLfatal(s, SSL_AD_DECODE_ERROR, SSL_F_TLS_PROCESS_KEY_EXCHANGE,
Emilia Kaspera230b262016-08-05 19:03:17 +02002370 SSL_R_WRONG_SIGNATURE_LENGTH);
Matt Caswelle1e588a2016-07-08 15:41:36 +01002371 goto err;
Matt Caswell0f113f32015-01-22 03:40:55 +00002372 }
Matt Caswelle1e588a2016-07-08 15:41:36 +01002373
2374 md_ctx = EVP_MD_CTX_new();
2375 if (md_ctx == NULL) {
Matt Caswella2c2e002017-11-22 17:18:39 +00002376 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_PROCESS_KEY_EXCHANGE,
Matt Caswelldd5a4272017-12-04 13:37:01 +00002377 ERR_R_MALLOC_FAILURE);
Matt Caswelle1e588a2016-07-08 15:41:36 +01002378 goto err;
2379 }
2380
Matt Caswellfe3066e2017-01-03 10:01:39 +00002381 if (EVP_DigestVerifyInit(md_ctx, &pctx, md, NULL, pkey) <= 0) {
Matt Caswella2c2e002017-11-22 17:18:39 +00002382 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_PROCESS_KEY_EXCHANGE,
2383 ERR_R_EVP_LIB);
Matt Caswelle1e588a2016-07-08 15:41:36 +01002384 goto err;
Dr. Stephen Henson192e4bb2015-11-21 03:56:52 +00002385 }
Dr. Stephen Henson5554fac2017-01-25 16:46:02 +00002386 if (SSL_USE_PSS(s)) {
Matt Caswellfe3066e2017-01-03 10:01:39 +00002387 if (EVP_PKEY_CTX_set_rsa_padding(pctx, RSA_PKCS1_PSS_PADDING) <= 0
Dr. Stephen Henson91410d42017-01-29 13:38:55 +00002388 || EVP_PKEY_CTX_set_rsa_pss_saltlen(pctx,
Dr. Stephen Henson968ae5b2017-01-25 14:02:00 +00002389 RSA_PSS_SALTLEN_DIGEST) <= 0) {
Matt Caswella2c2e002017-11-22 17:18:39 +00002390 SSLfatal(s, SSL_AD_INTERNAL_ERROR,
2391 SSL_F_TLS_PROCESS_KEY_EXCHANGE, ERR_R_EVP_LIB);
Matt Caswellfe3066e2017-01-03 10:01:39 +00002392 goto err;
2393 }
2394 }
Dr. Stephen Henson72ceb6a2017-06-16 19:23:47 +01002395 tbslen = construct_key_exchange_tbs(s, &tbs, PACKET_data(&params),
2396 PACKET_remaining(&params));
2397 if (tbslen == 0) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00002398 /* SSLfatal() already called */
Dr. Stephen Henson72ceb6a2017-06-16 19:23:47 +01002399 goto err;
2400 }
2401
2402 rv = EVP_DigestVerify(md_ctx, PACKET_data(&signature),
2403 PACKET_remaining(&signature), tbs, tbslen);
2404 OPENSSL_free(tbs);
Matt Caswellcfba0672017-06-23 11:29:04 +01002405 if (rv <= 0) {
Matt Caswella2c2e002017-11-22 17:18:39 +00002406 SSLfatal(s, SSL_AD_DECRYPT_ERROR, SSL_F_TLS_PROCESS_KEY_EXCHANGE,
2407 SSL_R_BAD_SIGNATURE);
Matt Caswelle1e588a2016-07-08 15:41:36 +01002408 goto err;
Matt Caswell0f113f32015-01-22 03:40:55 +00002409 }
Matt Caswelle1e588a2016-07-08 15:41:36 +01002410 EVP_MD_CTX_free(md_ctx);
Matt Caswellfe3066e2017-01-03 10:01:39 +00002411 md_ctx = NULL;
Matt Caswell0f113f32015-01-22 03:40:55 +00002412 } else {
Dr. Stephen Henson76890822015-06-28 17:15:10 +01002413 /* aNULL, aSRP or PSK do not need public keys */
Matt Caswelle1e588a2016-07-08 15:41:36 +01002414 if (!(s->s3->tmp.new_cipher->algorithm_auth & (SSL_aNULL | SSL_aSRP))
Emilia Kaspera230b262016-08-05 19:03:17 +02002415 && !(alg_k & SSL_PSK)) {
Matt Caswell0f113f32015-01-22 03:40:55 +00002416 /* Might be wrong key type, check it */
Matt Caswelle1e588a2016-07-08 15:41:36 +01002417 if (ssl3_check_cert_and_algorithm(s)) {
Matt Caswella2c2e002017-11-22 17:18:39 +00002418 SSLfatal(s, SSL_AD_DECODE_ERROR, SSL_F_TLS_PROCESS_KEY_EXCHANGE,
2419 SSL_R_BAD_DATA);
Matt Caswelle1e588a2016-07-08 15:41:36 +01002420 }
Matt Caswella2c2e002017-11-22 17:18:39 +00002421 /* else this shouldn't happen, SSLfatal() already called */
Matt Caswell0f113f32015-01-22 03:40:55 +00002422 goto err;
2423 }
2424 /* still data left over */
Matt Caswell73999b62015-09-10 10:22:30 +01002425 if (PACKET_remaining(pkt) != 0) {
Matt Caswella2c2e002017-11-22 17:18:39 +00002426 SSLfatal(s, SSL_AD_DECODE_ERROR, SSL_F_TLS_PROCESS_KEY_EXCHANGE,
2427 SSL_R_EXTRA_DATA_IN_MESSAGE);
Matt Caswelle1e588a2016-07-08 15:41:36 +01002428 goto err;
Matt Caswell0f113f32015-01-22 03:40:55 +00002429 }
2430 }
Matt Caswelle1e588a2016-07-08 15:41:36 +01002431
Matt Caswellb9908bf2015-07-29 14:08:49 +01002432 return MSG_PROCESS_CONTINUE_READING;
Matt Caswell0f113f32015-01-22 03:40:55 +00002433 err:
Matt Caswellfe3066e2017-01-03 10:01:39 +00002434 EVP_MD_CTX_free(md_ctx);
Matt Caswellb9908bf2015-07-29 14:08:49 +01002435 return MSG_PROCESS_ERROR;
Matt Caswell0f113f32015-01-22 03:40:55 +00002436}
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00002437
Matt Caswellbe3583f2015-10-26 11:46:33 +00002438MSG_PROCESS_RETURN tls_process_certificate_request(SSL *s, PACKET *pkt)
Matt Caswellb9908bf2015-07-29 14:08:49 +01002439{
Dr. Stephen Henson32f66102017-03-13 13:29:34 +00002440 size_t i;
2441
2442 /* Clear certificate validity flags */
2443 for (i = 0; i < SSL_PKEY_NUM; i++)
2444 s->s3->tmp.valid_flags[i] = 0;
Matt Caswell0f113f32015-01-22 03:40:55 +00002445
Dr. Stephen Henson03f44b92017-02-22 17:26:44 +00002446 if (SSL_IS_TLS13(s)) {
Dr. Stephen Henson32f66102017-03-13 13:29:34 +00002447 PACKET reqctx, extensions;
2448 RAW_EXTENSION *rawexts = NULL;
Dr. Stephen Henson75c13e72017-02-23 22:12:28 +00002449
Dr. Stephen Henson03f44b92017-02-22 17:26:44 +00002450 /* Free and zero certificate types: it is not present in TLS 1.3 */
2451 OPENSSL_free(s->s3->tmp.ctype);
2452 s->s3->tmp.ctype = NULL;
2453 s->s3->tmp.ctype_len = 0;
Todd Short9d75dce2017-12-18 16:52:28 -05002454 OPENSSL_free(s->pha_context);
2455 s->pha_context = NULL;
Dr. Stephen Henson32f66102017-03-13 13:29:34 +00002456
Todd Short9d75dce2017-12-18 16:52:28 -05002457 if (!PACKET_get_length_prefixed_1(pkt, &reqctx) ||
2458 !PACKET_memdup(&reqctx, &s->pha_context, &s->pha_context_len)) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00002459 SSLfatal(s, SSL_AD_DECODE_ERROR,
2460 SSL_F_TLS_PROCESS_CERTIFICATE_REQUEST,
2461 SSL_R_LENGTH_MISMATCH);
2462 return MSG_PROCESS_ERROR;
Dr. Stephen Henson03f44b92017-02-22 17:26:44 +00002463 }
Dr. Stephen Henson32f66102017-03-13 13:29:34 +00002464
2465 if (!PACKET_get_length_prefixed_2(pkt, &extensions)) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00002466 SSLfatal(s, SSL_AD_DECODE_ERROR,
2467 SSL_F_TLS_PROCESS_CERTIFICATE_REQUEST,
2468 SSL_R_BAD_LENGTH);
2469 return MSG_PROCESS_ERROR;
Dr. Stephen Henson32f66102017-03-13 13:29:34 +00002470 }
2471 if (!tls_collect_extensions(s, &extensions,
Matt Caswellfe874d22017-04-04 11:40:02 +01002472 SSL_EXT_TLS1_3_CERTIFICATE_REQUEST,
Matt Caswellf63a17d2017-11-21 17:18:43 +00002473 &rawexts, NULL, 1)
Matt Caswellfe874d22017-04-04 11:40:02 +01002474 || !tls_parse_all_extensions(s, SSL_EXT_TLS1_3_CERTIFICATE_REQUEST,
Matt Caswellf63a17d2017-11-21 17:18:43 +00002475 rawexts, NULL, 0, 1)) {
2476 /* SSLfatal() already called */
Dr. Stephen Henson32f66102017-03-13 13:29:34 +00002477 OPENSSL_free(rawexts);
Matt Caswellf63a17d2017-11-21 17:18:43 +00002478 return MSG_PROCESS_ERROR;
Dr. Stephen Henson32f66102017-03-13 13:29:34 +00002479 }
2480 OPENSSL_free(rawexts);
2481 if (!tls1_process_sigalgs(s)) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00002482 SSLfatal(s, SSL_AD_INTERNAL_ERROR,
2483 SSL_F_TLS_PROCESS_CERTIFICATE_REQUEST,
2484 SSL_R_BAD_LENGTH);
2485 return MSG_PROCESS_ERROR;
Dr. Stephen Henson32f66102017-03-13 13:29:34 +00002486 }
Dr. Stephen Henson03f44b92017-02-22 17:26:44 +00002487 } else {
2488 PACKET ctypes;
2489
2490 /* get the certificate types */
2491 if (!PACKET_get_length_prefixed_1(pkt, &ctypes)) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00002492 SSLfatal(s, SSL_AD_DECODE_ERROR,
2493 SSL_F_TLS_PROCESS_CERTIFICATE_REQUEST,
2494 SSL_R_LENGTH_MISMATCH);
2495 return MSG_PROCESS_ERROR;
Dr. Stephen Henson03f44b92017-02-22 17:26:44 +00002496 }
2497
2498 if (!PACKET_memdup(&ctypes, &s->s3->tmp.ctype, &s->s3->tmp.ctype_len)) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00002499 SSLfatal(s, SSL_AD_INTERNAL_ERROR,
2500 SSL_F_TLS_PROCESS_CERTIFICATE_REQUEST,
2501 ERR_R_INTERNAL_ERROR);
2502 return MSG_PROCESS_ERROR;
Dr. Stephen Henson03f44b92017-02-22 17:26:44 +00002503 }
Matt Caswellac112332015-08-04 22:12:53 +01002504
Dr. Stephen Henson32f66102017-03-13 13:29:34 +00002505 if (SSL_USE_SIGALGS(s)) {
2506 PACKET sigalgs;
Matt Caswell703bcee2016-12-14 14:31:21 +00002507
Dr. Stephen Henson32f66102017-03-13 13:29:34 +00002508 if (!PACKET_get_length_prefixed_2(pkt, &sigalgs)) {
Matt Caswell848a9502018-01-31 09:53:51 +00002509 SSLfatal(s, SSL_AD_DECODE_ERROR,
Matt Caswellf63a17d2017-11-21 17:18:43 +00002510 SSL_F_TLS_PROCESS_CERTIFICATE_REQUEST,
2511 SSL_R_LENGTH_MISMATCH);
2512 return MSG_PROCESS_ERROR;
Dr. Stephen Henson32f66102017-03-13 13:29:34 +00002513 }
2514
Benjamin Kadukc589c342018-01-11 11:47:12 -06002515 /*
2516 * Despite this being for certificates, preserve compatibility
2517 * with pre-TLS 1.3 and use the regular sigalgs field.
2518 */
2519 if (!tls1_save_sigalgs(s, &sigalgs, 0)) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00002520 SSLfatal(s, SSL_AD_INTERNAL_ERROR,
2521 SSL_F_TLS_PROCESS_CERTIFICATE_REQUEST,
2522 SSL_R_SIGNATURE_ALGORITHMS_ERROR);
2523 return MSG_PROCESS_ERROR;
Dr. Stephen Henson32f66102017-03-13 13:29:34 +00002524 }
2525 if (!tls1_process_sigalgs(s)) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00002526 SSLfatal(s, SSL_AD_INTERNAL_ERROR,
2527 SSL_F_TLS_PROCESS_CERTIFICATE_REQUEST,
2528 ERR_R_MALLOC_FAILURE);
2529 return MSG_PROCESS_ERROR;
Dr. Stephen Henson32f66102017-03-13 13:29:34 +00002530 }
Matt Caswell0f113f32015-01-22 03:40:55 +00002531 }
Matt Caswellac112332015-08-04 22:12:53 +01002532
Dr. Stephen Henson32f66102017-03-13 13:29:34 +00002533 /* get the CA RDNs */
Matt Caswellf63a17d2017-11-21 17:18:43 +00002534 if (!parse_ca_names(s, pkt)) {
2535 /* SSLfatal() already called */
2536 return MSG_PROCESS_ERROR;
2537 }
Dr. Stephen Henson03f44b92017-02-22 17:26:44 +00002538 }
2539
2540 if (PACKET_remaining(pkt) != 0) {
Matt Caswell848a9502018-01-31 09:53:51 +00002541 SSLfatal(s, SSL_AD_DECODE_ERROR,
Matt Caswellf63a17d2017-11-21 17:18:43 +00002542 SSL_F_TLS_PROCESS_CERTIFICATE_REQUEST,
2543 SSL_R_LENGTH_MISMATCH);
2544 return MSG_PROCESS_ERROR;
Dr. Stephen Henson03f44b92017-02-22 17:26:44 +00002545 }
Matt Caswell0f113f32015-01-22 03:40:55 +00002546
Matt Caswell0f113f32015-01-22 03:40:55 +00002547 /* we should setup a certificate to return.... */
2548 s->s3->tmp.cert_req = 1;
Matt Caswell0f113f32015-01-22 03:40:55 +00002549
Matt Caswellf63a17d2017-11-21 17:18:43 +00002550 return MSG_PROCESS_CONTINUE_PROCESSING;
Matt Caswell0f113f32015-01-22 03:40:55 +00002551}
2552
Matt Caswellbe3583f2015-10-26 11:46:33 +00002553MSG_PROCESS_RETURN tls_process_new_session_ticket(SSL *s, PACKET *pkt)
Matt Caswellb9908bf2015-07-29 14:08:49 +01002554{
Matt Caswellb9908bf2015-07-29 14:08:49 +01002555 unsigned int ticklen;
Matt Caswell9ac62442017-01-20 13:50:47 +00002556 unsigned long ticket_lifetime_hint, age_add = 0;
Matt Caswellec60ccc2016-10-04 20:31:19 +01002557 unsigned int sess_len;
Matt Caswellde1df7e2017-01-13 13:32:11 +00002558 RAW_EXTENSION *exts = NULL;
Matt Caswell9b6a8252017-07-05 08:45:46 +01002559 PACKET nonce;
Matt Caswellb9908bf2015-07-29 14:08:49 +01002560
Matt Caswell73999b62015-09-10 10:22:30 +01002561 if (!PACKET_get_net_4(pkt, &ticket_lifetime_hint)
Matt Caswell9b6a8252017-07-05 08:45:46 +01002562 || (SSL_IS_TLS13(s)
2563 && (!PACKET_get_net_4(pkt, &age_add)
2564 || !PACKET_get_length_prefixed_1(pkt, &nonce)
Matt Caswell9b6a8252017-07-05 08:45:46 +01002565 || !PACKET_memdup(&nonce, &s->session->ext.tick_nonce,
2566 &s->session->ext.tick_nonce_len)))
Emilia Kaspera230b262016-08-05 19:03:17 +02002567 || !PACKET_get_net_2(pkt, &ticklen)
Matt Caswellde1df7e2017-01-13 13:32:11 +00002568 || (!SSL_IS_TLS13(s) && PACKET_remaining(pkt) != ticklen)
Matt Caswell1f5b44e2017-01-20 16:02:07 +00002569 || (SSL_IS_TLS13(s)
2570 && (ticklen == 0 || PACKET_remaining(pkt) < ticklen))) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00002571 SSLfatal(s, SSL_AD_DECODE_ERROR, SSL_F_TLS_PROCESS_NEW_SESSION_TICKET,
2572 SSL_R_LENGTH_MISMATCH);
2573 goto err;
Emilia Kaspere711da72015-09-10 16:32:51 +02002574 }
2575
Matt Caswellde1df7e2017-01-13 13:32:11 +00002576 /*
2577 * Server is allowed to change its mind (in <=TLSv1.2) and send an empty
2578 * ticket. We already checked this TLSv1.3 case above, so it should never
2579 * be 0 here in that instance
2580 */
Emilia Kaspere711da72015-09-10 16:32:51 +02002581 if (ticklen == 0)
Matt Caswellc9de4a22015-10-22 15:02:14 +01002582 return MSG_PROCESS_CONTINUE_READING;
Emilia Kaspere711da72015-09-10 16:32:51 +02002583
Matt Caswell150840b2017-03-23 11:22:26 +00002584 /*
2585 * Sessions must be immutable once they go into the session cache. Otherwise
2586 * we can get multi-thread problems. Therefore we don't "update" sessions,
2587 * we replace them with a duplicate. In TLSv1.3 we need to do this every
2588 * time a NewSessionTicket arrives because those messages arrive
2589 * post-handshake and the session may have already gone into the session
2590 * cache.
2591 */
2592 if (SSL_IS_TLS13(s) || s->session->session_id_length > 0) {
Matt Caswell98ece4e2015-05-18 16:27:48 +01002593 SSL_SESSION *new_sess;
2594 /*
2595 * We reused an existing session, so we need to replace it with a new
2596 * one
2597 */
Matt Caswell5d614912017-08-01 10:49:47 +01002598 if ((new_sess = ssl_session_dup(s->session, 0)) == 0) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00002599 SSLfatal(s, SSL_AD_INTERNAL_ERROR,
2600 SSL_F_TLS_PROCESS_NEW_SESSION_TICKET,
2601 ERR_R_MALLOC_FAILURE);
2602 goto err;
Matt Caswell5d614912017-08-01 10:49:47 +01002603 }
2604
Matt Caswell98ece4e2015-05-18 16:27:48 +01002605 SSL_SESSION_free(s->session);
2606 s->session = new_sess;
2607 }
2608
Matt Caswellfc24f0b2017-01-17 10:43:37 +00002609 /*
2610 * Technically the cast to long here is not guaranteed by the C standard -
2611 * but we use it elsewhere, so this should be ok.
2612 */
2613 s->session->time = (long)time(NULL);
2614
Rich Salzaff8c122016-12-08 14:18:40 -05002615 OPENSSL_free(s->session->ext.tick);
2616 s->session->ext.tick = NULL;
2617 s->session->ext.ticklen = 0;
Emilia Kaspere711da72015-09-10 16:32:51 +02002618
Rich Salzaff8c122016-12-08 14:18:40 -05002619 s->session->ext.tick = OPENSSL_malloc(ticklen);
2620 if (s->session->ext.tick == NULL) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00002621 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_PROCESS_NEW_SESSION_TICKET,
2622 ERR_R_MALLOC_FAILURE);
Matt Caswell0f113f32015-01-22 03:40:55 +00002623 goto err;
2624 }
Rich Salzaff8c122016-12-08 14:18:40 -05002625 if (!PACKET_copy_bytes(pkt, s->session->ext.tick, ticklen)) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00002626 SSLfatal(s, SSL_AD_DECODE_ERROR, SSL_F_TLS_PROCESS_NEW_SESSION_TICKET,
2627 SSL_R_LENGTH_MISMATCH);
2628 goto err;
Matt Caswell561e12b2015-08-05 14:50:24 +01002629 }
Emilia Kaspere711da72015-09-10 16:32:51 +02002630
Rich Salzaff8c122016-12-08 14:18:40 -05002631 s->session->ext.tick_lifetime_hint = ticket_lifetime_hint;
Matt Caswellfc24f0b2017-01-17 10:43:37 +00002632 s->session->ext.tick_age_add = age_add;
Rich Salzaff8c122016-12-08 14:18:40 -05002633 s->session->ext.ticklen = ticklen;
Matt Caswellde1df7e2017-01-13 13:32:11 +00002634
2635 if (SSL_IS_TLS13(s)) {
2636 PACKET extpkt;
2637
2638 if (!PACKET_as_length_prefixed_2(pkt, &extpkt)
Matt Caswell26b91722017-05-11 11:31:57 +01002639 || PACKET_remaining(pkt) != 0
Matt Caswellde1df7e2017-01-13 13:32:11 +00002640 || !tls_collect_extensions(s, &extpkt,
Matt Caswellfe874d22017-04-04 11:40:02 +01002641 SSL_EXT_TLS1_3_NEW_SESSION_TICKET,
Matt Caswellf63a17d2017-11-21 17:18:43 +00002642 &exts, NULL, 1)
Matt Caswellfe874d22017-04-04 11:40:02 +01002643 || !tls_parse_all_extensions(s,
2644 SSL_EXT_TLS1_3_NEW_SESSION_TICKET,
Matt Caswellf63a17d2017-11-21 17:18:43 +00002645 exts, NULL, 0, 1)) {
2646 /* SSLfatal() already called */
2647 goto err;
Matt Caswellde1df7e2017-01-13 13:32:11 +00002648 }
2649 }
2650
Matt Caswell0f113f32015-01-22 03:40:55 +00002651 /*
2652 * There are two ways to detect a resumed ticket session. One is to set
2653 * an appropriate session ID and then the server must return a match in
2654 * ServerHello. This allows the normal client session ID matching to work
2655 * and we know much earlier that the ticket has been accepted. The
2656 * other way is to set zero length session ID when the ticket is
2657 * presented and rely on the handshake to determine session resumption.
2658 * We choose the former approach because this fits in with assumptions
2659 * elsewhere in OpenSSL. The session ID is set to the SHA256 (or SHA1 is
2660 * SHA256 is disabled) hash of the ticket.
2661 */
Matt Caswellec60ccc2016-10-04 20:31:19 +01002662 /*
2663 * TODO(size_t): we use sess_len here because EVP_Digest expects an int
2664 * but s->session->session_id_length is a size_t
2665 */
Rich Salzaff8c122016-12-08 14:18:40 -05002666 if (!EVP_Digest(s->session->ext.tick, ticklen,
Matt Caswellec60ccc2016-10-04 20:31:19 +01002667 s->session->session_id, &sess_len,
Dr. Stephen Hensond166ed82016-06-18 15:46:13 +01002668 EVP_sha256(), NULL)) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00002669 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_PROCESS_NEW_SESSION_TICKET,
2670 ERR_R_EVP_LIB);
Dr. Stephen Hensond166ed82016-06-18 15:46:13 +01002671 goto err;
2672 }
Matt Caswellec60ccc2016-10-04 20:31:19 +01002673 s->session->session_id_length = sess_len;
Matt Caswellde1df7e2017-01-13 13:32:11 +00002674
2675 /* This is a standalone message in TLSv1.3, so there is no more to read */
2676 if (SSL_IS_TLS13(s)) {
Matt Caswell33d93412017-01-30 19:37:17 +00002677 OPENSSL_free(exts);
Matt Caswellde1df7e2017-01-13 13:32:11 +00002678 ssl_update_cache(s, SSL_SESS_CACHE_CLIENT);
2679 return MSG_PROCESS_FINISHED_READING;
2680 }
2681
Matt Caswellb9908bf2015-07-29 14:08:49 +01002682 return MSG_PROCESS_CONTINUE_READING;
Matt Caswell0f113f32015-01-22 03:40:55 +00002683 err:
Matt Caswell33d93412017-01-30 19:37:17 +00002684 OPENSSL_free(exts);
Matt Caswellb9908bf2015-07-29 14:08:49 +01002685 return MSG_PROCESS_ERROR;
Matt Caswell0f113f32015-01-22 03:40:55 +00002686}
2687
Matt Caswellf63e4282016-12-02 14:46:54 +00002688/*
2689 * In TLSv1.3 this is called from the extensions code, otherwise it is used to
Matt Caswellf63a17d2017-11-21 17:18:43 +00002690 * parse a separate message. Returns 1 on success or 0 on failure
Matt Caswellf63e4282016-12-02 14:46:54 +00002691 */
Matt Caswellf63a17d2017-11-21 17:18:43 +00002692int tls_process_cert_status_body(SSL *s, PACKET *pkt)
Matt Caswellb9908bf2015-07-29 14:08:49 +01002693{
Matt Caswell8b0e9342016-10-06 19:17:54 +01002694 size_t resplen;
Matt Caswellb9908bf2015-07-29 14:08:49 +01002695 unsigned int type;
Matt Caswellb9908bf2015-07-29 14:08:49 +01002696
Matt Caswell73999b62015-09-10 10:22:30 +01002697 if (!PACKET_get_1(pkt, &type)
Emilia Kaspera230b262016-08-05 19:03:17 +02002698 || type != TLSEXT_STATUSTYPE_ocsp) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00002699 SSLfatal(s, SSL_AD_DECODE_ERROR, SSL_F_TLS_PROCESS_CERT_STATUS_BODY,
2700 SSL_R_UNSUPPORTED_STATUS_TYPE);
Matt Caswellf63e4282016-12-02 14:46:54 +00002701 return 0;
Matt Caswell0f113f32015-01-22 03:40:55 +00002702 }
Matt Caswell56a26ce2016-10-19 16:28:12 +01002703 if (!PACKET_get_net_3_len(pkt, &resplen)
2704 || PACKET_remaining(pkt) != resplen) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00002705 SSLfatal(s, SSL_AD_DECODE_ERROR, SSL_F_TLS_PROCESS_CERT_STATUS_BODY,
2706 SSL_R_LENGTH_MISMATCH);
Matt Caswellf63e4282016-12-02 14:46:54 +00002707 return 0;
Matt Caswell0f113f32015-01-22 03:40:55 +00002708 }
Rich Salz8cbfcc72016-12-11 15:01:28 -05002709 s->ext.ocsp.resp = OPENSSL_malloc(resplen);
2710 if (s->ext.ocsp.resp == NULL) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00002711 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_PROCESS_CERT_STATUS_BODY,
2712 ERR_R_MALLOC_FAILURE);
Matt Caswellf63e4282016-12-02 14:46:54 +00002713 return 0;
Matt Caswell0f113f32015-01-22 03:40:55 +00002714 }
Rich Salz8cbfcc72016-12-11 15:01:28 -05002715 if (!PACKET_copy_bytes(pkt, s->ext.ocsp.resp, resplen)) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00002716 SSLfatal(s, SSL_AD_DECODE_ERROR, SSL_F_TLS_PROCESS_CERT_STATUS_BODY,
2717 SSL_R_LENGTH_MISMATCH);
Matt Caswellf63e4282016-12-02 14:46:54 +00002718 return 0;
Matt Caswellac637102015-08-05 15:52:26 +01002719 }
Rich Salz8cbfcc72016-12-11 15:01:28 -05002720 s->ext.ocsp.resp_len = resplen;
Matt Caswellf63e4282016-12-02 14:46:54 +00002721
2722 return 1;
2723}
Cory Benfield2faa1b42017-01-20 16:22:30 +00002724
Matt Caswellf63e4282016-12-02 14:46:54 +00002725
2726MSG_PROCESS_RETURN tls_process_cert_status(SSL *s, PACKET *pkt)
2727{
Matt Caswellf63a17d2017-11-21 17:18:43 +00002728 if (!tls_process_cert_status_body(s, pkt)) {
2729 /* SSLfatal() already called */
Matt Caswellf63e4282016-12-02 14:46:54 +00002730 return MSG_PROCESS_ERROR;
2731 }
2732
Matt Caswellb9908bf2015-07-29 14:08:49 +01002733 return MSG_PROCESS_CONTINUE_READING;
Ralf S. Engelschalldfeab061998-12-21 11:00:56 +00002734}
Ralf S. Engelschalldfeab061998-12-21 11:00:56 +00002735
Matt Caswell7776a362016-11-15 10:13:09 +00002736/*
2737 * Perform miscellaneous checks and processing after we have received the
2738 * server's initial flight. In TLS1.3 this is after the Server Finished message.
Matt Caswell6530c492016-11-23 15:38:32 +00002739 * In <=TLS1.2 this is after the ServerDone message. Returns 1 on success or 0
2740 * on failure.
Matt Caswell7776a362016-11-15 10:13:09 +00002741 */
Matt Caswellf63a17d2017-11-21 17:18:43 +00002742int tls_process_initial_server_flight(SSL *s)
Matt Caswellb9908bf2015-07-29 14:08:49 +01002743{
Matt Caswella455d0f2015-09-14 15:06:37 +01002744 /*
2745 * at this point we check that we have the required stuff from
2746 * the server
2747 */
2748 if (!ssl3_check_cert_and_algorithm(s)) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00002749 /* SSLfatal() already called */
Matt Caswell7776a362016-11-15 10:13:09 +00002750 return 0;
Matt Caswella455d0f2015-09-14 15:06:37 +01002751 }
2752
Matt Caswellbb1aaab2015-11-05 14:31:11 +00002753 /*
Rich Salzaff8c122016-12-08 14:18:40 -05002754 * Call the ocsp status callback if needed. The |ext.ocsp.resp| and
2755 * |ext.ocsp.resp_len| values will be set if we actually received a status
Matt Caswellbb1aaab2015-11-05 14:31:11 +00002756 * message, or NULL and -1 otherwise
2757 */
Rich Salzaff8c122016-12-08 14:18:40 -05002758 if (s->ext.status_type != TLSEXT_STATUSTYPE_nothing
2759 && s->ctx->ext.status_cb != NULL) {
2760 int ret = s->ctx->ext.status_cb(s, s->ctx->ext.status_arg);
2761
Matt Caswellbb1aaab2015-11-05 14:31:11 +00002762 if (ret == 0) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00002763 SSLfatal(s, SSL_AD_BAD_CERTIFICATE_STATUS_RESPONSE,
2764 SSL_F_TLS_PROCESS_INITIAL_SERVER_FLIGHT,
2765 SSL_R_INVALID_STATUS_RESPONSE);
Matt Caswell7776a362016-11-15 10:13:09 +00002766 return 0;
Matt Caswellbb1aaab2015-11-05 14:31:11 +00002767 }
2768 if (ret < 0) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00002769 SSLfatal(s, SSL_AD_INTERNAL_ERROR,
2770 SSL_F_TLS_PROCESS_INITIAL_SERVER_FLIGHT,
Matt Caswelldd5a4272017-12-04 13:37:01 +00002771 ERR_R_MALLOC_FAILURE);
Matt Caswell7776a362016-11-15 10:13:09 +00002772 return 0;
Matt Caswellbb1aaab2015-11-05 14:31:11 +00002773 }
2774 }
Rob Percivaled29e822016-03-03 16:19:23 +00002775#ifndef OPENSSL_NO_CT
2776 if (s->ct_validation_callback != NULL) {
Viktor Dukhovni43341432016-04-07 14:17:37 -04002777 /* Note we validate the SCTs whether or not we abort on error */
2778 if (!ssl_validate_ct(s) && (s->verify_mode & SSL_VERIFY_PEER)) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00002779 /* SSLfatal() already called */
Matt Caswell7776a362016-11-15 10:13:09 +00002780 return 0;
Rob Percivaled29e822016-03-03 16:19:23 +00002781 }
2782 }
2783#endif
2784
Matt Caswell7776a362016-11-15 10:13:09 +00002785 return 1;
2786}
2787
2788MSG_PROCESS_RETURN tls_process_server_done(SSL *s, PACKET *pkt)
2789{
Matt Caswell7776a362016-11-15 10:13:09 +00002790 if (PACKET_remaining(pkt) > 0) {
2791 /* should contain no data */
Matt Caswellf63a17d2017-11-21 17:18:43 +00002792 SSLfatal(s, SSL_AD_DECODE_ERROR, SSL_F_TLS_PROCESS_SERVER_DONE,
2793 SSL_R_LENGTH_MISMATCH);
2794 return MSG_PROCESS_ERROR;
Matt Caswell7776a362016-11-15 10:13:09 +00002795 }
2796#ifndef OPENSSL_NO_SRP
2797 if (s->s3->tmp.new_cipher->algorithm_mkey & SSL_kSRP) {
2798 if (SRP_Calc_A_param(s) <= 0) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00002799 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_PROCESS_SERVER_DONE,
2800 SSL_R_SRP_A_CALC);
2801 return MSG_PROCESS_ERROR;
Matt Caswell7776a362016-11-15 10:13:09 +00002802 }
2803 }
2804#endif
2805
Matt Caswellf63a17d2017-11-21 17:18:43 +00002806 if (!tls_process_initial_server_flight(s)) {
2807 /* SSLfatal() already called */
2808 return MSG_PROCESS_ERROR;
2809 }
Matt Caswell7776a362016-11-15 10:13:09 +00002810
Matt Caswellbd79bcb2017-04-20 15:13:28 +01002811 return MSG_PROCESS_FINISHED_READING;
Matt Caswell0f113f32015-01-22 03:40:55 +00002812}
Bodo Möller176f31d2003-02-28 15:37:10 +00002813
Matt Caswella2c2e002017-11-22 17:18:39 +00002814static int tls_construct_cke_psk_preamble(SSL *s, WPACKET *pkt)
Matt Caswell13c0ec42016-07-07 14:42:27 +01002815{
2816#ifndef OPENSSL_NO_PSK
2817 int ret = 0;
2818 /*
2819 * The callback needs PSK_MAX_IDENTITY_LEN + 1 bytes to return a
2820 * \0-terminated identity. The last byte is for us for simulating
2821 * strnlen.
2822 */
2823 char identity[PSK_MAX_IDENTITY_LEN + 1];
2824 size_t identitylen = 0;
2825 unsigned char psk[PSK_MAX_PSK_LEN];
2826 unsigned char *tmppsk = NULL;
2827 char *tmpidentity = NULL;
2828 size_t psklen = 0;
2829
2830 if (s->psk_client_callback == NULL) {
Matt Caswella2c2e002017-11-22 17:18:39 +00002831 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_CONSTRUCT_CKE_PSK_PREAMBLE,
2832 SSL_R_PSK_NO_CLIENT_CB);
Matt Caswell13c0ec42016-07-07 14:42:27 +01002833 goto err;
2834 }
2835
2836 memset(identity, 0, sizeof(identity));
2837
2838 psklen = s->psk_client_callback(s, s->session->psk_identity_hint,
2839 identity, sizeof(identity) - 1,
2840 psk, sizeof(psk));
2841
2842 if (psklen > PSK_MAX_PSK_LEN) {
Matt Caswella2c2e002017-11-22 17:18:39 +00002843 SSLfatal(s, SSL_AD_HANDSHAKE_FAILURE,
2844 SSL_F_TLS_CONSTRUCT_CKE_PSK_PREAMBLE, ERR_R_INTERNAL_ERROR);
Matt Caswell13c0ec42016-07-07 14:42:27 +01002845 goto err;
2846 } else if (psklen == 0) {
Matt Caswella2c2e002017-11-22 17:18:39 +00002847 SSLfatal(s, SSL_AD_HANDSHAKE_FAILURE,
2848 SSL_F_TLS_CONSTRUCT_CKE_PSK_PREAMBLE,
2849 SSL_R_PSK_IDENTITY_NOT_FOUND);
Matt Caswell13c0ec42016-07-07 14:42:27 +01002850 goto err;
2851 }
2852
2853 identitylen = strlen(identity);
2854 if (identitylen > PSK_MAX_IDENTITY_LEN) {
Matt Caswella2c2e002017-11-22 17:18:39 +00002855 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_CONSTRUCT_CKE_PSK_PREAMBLE,
2856 ERR_R_INTERNAL_ERROR);
Matt Caswell13c0ec42016-07-07 14:42:27 +01002857 goto err;
2858 }
2859
2860 tmppsk = OPENSSL_memdup(psk, psklen);
2861 tmpidentity = OPENSSL_strdup(identity);
2862 if (tmppsk == NULL || tmpidentity == NULL) {
Matt Caswella2c2e002017-11-22 17:18:39 +00002863 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_CONSTRUCT_CKE_PSK_PREAMBLE,
2864 ERR_R_MALLOC_FAILURE);
Matt Caswell13c0ec42016-07-07 14:42:27 +01002865 goto err;
2866 }
2867
2868 OPENSSL_free(s->s3->tmp.psk);
2869 s->s3->tmp.psk = tmppsk;
2870 s->s3->tmp.psklen = psklen;
2871 tmppsk = NULL;
2872 OPENSSL_free(s->session->psk_identity);
2873 s->session->psk_identity = tmpidentity;
2874 tmpidentity = NULL;
Matt Caswellf1ec23c2016-09-13 11:01:04 +01002875
Matt Caswellb2b30242016-09-13 11:32:52 +01002876 if (!WPACKET_sub_memcpy_u16(pkt, identity, identitylen)) {
Matt Caswella2c2e002017-11-22 17:18:39 +00002877 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_CONSTRUCT_CKE_PSK_PREAMBLE,
2878 ERR_R_INTERNAL_ERROR);
Matt Caswellf1ec23c2016-09-13 11:01:04 +01002879 goto err;
2880 }
Matt Caswell13c0ec42016-07-07 14:42:27 +01002881
2882 ret = 1;
2883
2884 err:
2885 OPENSSL_cleanse(psk, psklen);
2886 OPENSSL_cleanse(identity, sizeof(identity));
2887 OPENSSL_clear_free(tmppsk, psklen);
2888 OPENSSL_clear_free(tmpidentity, identitylen);
2889
2890 return ret;
2891#else
Matt Caswella2c2e002017-11-22 17:18:39 +00002892 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_CONSTRUCT_CKE_PSK_PREAMBLE,
2893 ERR_R_INTERNAL_ERROR);
Matt Caswell13c0ec42016-07-07 14:42:27 +01002894 return 0;
2895#endif
2896}
2897
Matt Caswella2c2e002017-11-22 17:18:39 +00002898static int tls_construct_cke_rsa(SSL *s, WPACKET *pkt)
Matt Caswell13c0ec42016-07-07 14:42:27 +01002899{
2900#ifndef OPENSSL_NO_RSA
Matt Caswellf1ec23c2016-09-13 11:01:04 +01002901 unsigned char *encdata = NULL;
Matt Caswell13c0ec42016-07-07 14:42:27 +01002902 EVP_PKEY *pkey = NULL;
2903 EVP_PKEY_CTX *pctx = NULL;
2904 size_t enclen;
2905 unsigned char *pms = NULL;
2906 size_t pmslen = 0;
2907
2908 if (s->session->peer == NULL) {
2909 /*
2910 * We should always have a server certificate with SSL_kRSA.
2911 */
Matt Caswella2c2e002017-11-22 17:18:39 +00002912 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_CONSTRUCT_CKE_RSA,
2913 ERR_R_INTERNAL_ERROR);
Matt Caswell13c0ec42016-07-07 14:42:27 +01002914 return 0;
2915 }
2916
2917 pkey = X509_get0_pubkey(s->session->peer);
2918 if (EVP_PKEY_get0_RSA(pkey) == NULL) {
Matt Caswella2c2e002017-11-22 17:18:39 +00002919 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_CONSTRUCT_CKE_RSA,
2920 ERR_R_INTERNAL_ERROR);
Matt Caswell13c0ec42016-07-07 14:42:27 +01002921 return 0;
2922 }
2923
2924 pmslen = SSL_MAX_MASTER_KEY_LENGTH;
2925 pms = OPENSSL_malloc(pmslen);
2926 if (pms == NULL) {
Matt Caswella2c2e002017-11-22 17:18:39 +00002927 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_CONSTRUCT_CKE_RSA,
2928 ERR_R_MALLOC_FAILURE);
Matt Caswell13c0ec42016-07-07 14:42:27 +01002929 return 0;
2930 }
2931
2932 pms[0] = s->client_version >> 8;
2933 pms[1] = s->client_version & 0xff;
Matt Caswell348240c2016-10-19 15:11:24 +01002934 /* TODO(size_t): Convert this function */
Kurt Roeckx16cfc2c2018-03-08 22:30:28 +01002935 if (RAND_bytes(pms + 2, (int)(pmslen - 2)) <= 0) {
Matt Caswella2c2e002017-11-22 17:18:39 +00002936 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_CONSTRUCT_CKE_RSA,
2937 ERR_R_MALLOC_FAILURE);
Matt Caswell13c0ec42016-07-07 14:42:27 +01002938 goto err;
2939 }
2940
Matt Caswell13c0ec42016-07-07 14:42:27 +01002941 /* Fix buf for TLS and beyond */
Matt Caswellf1ec23c2016-09-13 11:01:04 +01002942 if (s->version > SSL3_VERSION && !WPACKET_start_sub_packet_u16(pkt)) {
Matt Caswella2c2e002017-11-22 17:18:39 +00002943 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_CONSTRUCT_CKE_RSA,
2944 ERR_R_INTERNAL_ERROR);
Matt Caswellf1ec23c2016-09-13 11:01:04 +01002945 goto err;
2946 }
Matt Caswell13c0ec42016-07-07 14:42:27 +01002947 pctx = EVP_PKEY_CTX_new(pkey, NULL);
2948 if (pctx == NULL || EVP_PKEY_encrypt_init(pctx) <= 0
2949 || EVP_PKEY_encrypt(pctx, NULL, &enclen, pms, pmslen) <= 0) {
Matt Caswella2c2e002017-11-22 17:18:39 +00002950 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_CONSTRUCT_CKE_RSA,
2951 ERR_R_EVP_LIB);
Matt Caswell13c0ec42016-07-07 14:42:27 +01002952 goto err;
2953 }
Matt Caswellf1ec23c2016-09-13 11:01:04 +01002954 if (!WPACKET_allocate_bytes(pkt, enclen, &encdata)
2955 || EVP_PKEY_encrypt(pctx, encdata, &enclen, pms, pmslen) <= 0) {
Matt Caswella2c2e002017-11-22 17:18:39 +00002956 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_CONSTRUCT_CKE_RSA,
2957 SSL_R_BAD_RSA_ENCRYPT);
Matt Caswell13c0ec42016-07-07 14:42:27 +01002958 goto err;
2959 }
Matt Caswell13c0ec42016-07-07 14:42:27 +01002960 EVP_PKEY_CTX_free(pctx);
2961 pctx = NULL;
Matt Caswell13c0ec42016-07-07 14:42:27 +01002962
2963 /* Fix buf for TLS and beyond */
Matt Caswellf1ec23c2016-09-13 11:01:04 +01002964 if (s->version > SSL3_VERSION && !WPACKET_close(pkt)) {
Matt Caswella2c2e002017-11-22 17:18:39 +00002965 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_CONSTRUCT_CKE_RSA,
2966 ERR_R_INTERNAL_ERROR);
Matt Caswellf1ec23c2016-09-13 11:01:04 +01002967 goto err;
Matt Caswell13c0ec42016-07-07 14:42:27 +01002968 }
2969
Cory Benfield2faa1b42017-01-20 16:22:30 +00002970 /* Log the premaster secret, if logging is enabled. */
Matt Caswella2c2e002017-11-22 17:18:39 +00002971 if (!ssl_log_rsa_client_key_exchange(s, encdata, enclen, pms, pmslen)) {
2972 /* SSLfatal() already called */
Cory Benfield2faa1b42017-01-20 16:22:30 +00002973 goto err;
Matt Caswella2c2e002017-11-22 17:18:39 +00002974 }
Cory Benfield2faa1b42017-01-20 16:22:30 +00002975
Rich Salz26fb4b02017-04-24 09:41:51 -04002976 s->s3->tmp.pms = pms;
2977 s->s3->tmp.pmslen = pmslen;
2978
Matt Caswell13c0ec42016-07-07 14:42:27 +01002979 return 1;
2980 err:
2981 OPENSSL_clear_free(pms, pmslen);
2982 EVP_PKEY_CTX_free(pctx);
2983
2984 return 0;
2985#else
Matt Caswella2c2e002017-11-22 17:18:39 +00002986 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_CONSTRUCT_CKE_RSA,
2987 ERR_R_INTERNAL_ERROR);
Matt Caswell13c0ec42016-07-07 14:42:27 +01002988 return 0;
2989#endif
2990}
2991
Matt Caswella2c2e002017-11-22 17:18:39 +00002992static int tls_construct_cke_dhe(SSL *s, WPACKET *pkt)
Matt Caswella8c1c702016-07-08 09:42:07 +01002993{
2994#ifndef OPENSSL_NO_DH
2995 DH *dh_clnt = NULL;
2996 const BIGNUM *pub_key;
2997 EVP_PKEY *ckey = NULL, *skey = NULL;
Matt Caswellf1ec23c2016-09-13 11:01:04 +01002998 unsigned char *keybytes = NULL;
Matt Caswella8c1c702016-07-08 09:42:07 +01002999
3000 skey = s->s3->peer_tmp;
Matt Caswella2c2e002017-11-22 17:18:39 +00003001 if (skey == NULL) {
3002 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_CONSTRUCT_CKE_DHE,
3003 ERR_R_INTERNAL_ERROR);
Matt Caswellf1ec23c2016-09-13 11:01:04 +01003004 goto err;
Matt Caswella2c2e002017-11-22 17:18:39 +00003005 }
Matt Caswellf1ec23c2016-09-13 11:01:04 +01003006
Dr. Stephen Henson0a699a02016-08-15 14:07:33 +01003007 ckey = ssl_generate_pkey(skey);
Matt Caswella2c2e002017-11-22 17:18:39 +00003008 if (ckey == NULL) {
3009 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_CONSTRUCT_CKE_DHE,
3010 ERR_R_INTERNAL_ERROR);
Matt Caswellb599ce32016-11-23 22:12:40 +00003011 goto err;
Matt Caswella2c2e002017-11-22 17:18:39 +00003012 }
Matt Caswellb599ce32016-11-23 22:12:40 +00003013
Matt Caswella8c1c702016-07-08 09:42:07 +01003014 dh_clnt = EVP_PKEY_get0_DH(ckey);
3015
Matt Caswella2c2e002017-11-22 17:18:39 +00003016 if (dh_clnt == NULL) {
3017 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_CONSTRUCT_CKE_DHE,
3018 ERR_R_INTERNAL_ERROR);
Matt Caswellf1ec23c2016-09-13 11:01:04 +01003019 goto err;
Matt Caswella2c2e002017-11-22 17:18:39 +00003020 }
3021
3022 if (ssl_derive(s, ckey, skey, 0) == 0) {
3023 /* SSLfatal() already called */
3024 goto err;
3025 }
Matt Caswella8c1c702016-07-08 09:42:07 +01003026
3027 /* send off the data */
3028 DH_get0_key(dh_clnt, &pub_key, NULL);
Matt Caswella2c2e002017-11-22 17:18:39 +00003029 if (!WPACKET_sub_allocate_bytes_u16(pkt, BN_num_bytes(pub_key),
3030 &keybytes)) {
3031 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_CONSTRUCT_CKE_DHE,
3032 ERR_R_INTERNAL_ERROR);
Matt Caswellf1ec23c2016-09-13 11:01:04 +01003033 goto err;
Matt Caswella2c2e002017-11-22 17:18:39 +00003034 }
Matt Caswellf1ec23c2016-09-13 11:01:04 +01003035
3036 BN_bn2bin(pub_key, keybytes);
Matt Caswella8c1c702016-07-08 09:42:07 +01003037 EVP_PKEY_free(ckey);
3038
3039 return 1;
Matt Caswellf1ec23c2016-09-13 11:01:04 +01003040 err:
3041 EVP_PKEY_free(ckey);
Matt Caswellf9f674e2017-11-23 12:33:11 +00003042 return 0;
3043#else
Matt Caswella2c2e002017-11-22 17:18:39 +00003044 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_CONSTRUCT_CKE_DHE,
3045 ERR_R_INTERNAL_ERROR);
Matt Caswella8c1c702016-07-08 09:42:07 +01003046 return 0;
Matt Caswellf9f674e2017-11-23 12:33:11 +00003047#endif
Matt Caswella8c1c702016-07-08 09:42:07 +01003048}
3049
Matt Caswella2c2e002017-11-22 17:18:39 +00003050static int tls_construct_cke_ecdhe(SSL *s, WPACKET *pkt)
Matt Caswell67ad5aa2016-07-08 09:51:02 +01003051{
3052#ifndef OPENSSL_NO_EC
3053 unsigned char *encodedPoint = NULL;
Matt Caswell348240c2016-10-19 15:11:24 +01003054 size_t encoded_pt_len = 0;
Matt Caswell67ad5aa2016-07-08 09:51:02 +01003055 EVP_PKEY *ckey = NULL, *skey = NULL;
Matt Caswellf1ec23c2016-09-13 11:01:04 +01003056 int ret = 0;
Matt Caswell67ad5aa2016-07-08 09:51:02 +01003057
3058 skey = s->s3->peer_tmp;
Dr. Stephen Hensonec246302016-08-11 15:41:49 +01003059 if (skey == NULL) {
Matt Caswella2c2e002017-11-22 17:18:39 +00003060 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_CONSTRUCT_CKE_ECDHE,
3061 ERR_R_INTERNAL_ERROR);
Matt Caswell67ad5aa2016-07-08 09:51:02 +01003062 return 0;
3063 }
3064
Dr. Stephen Henson0a699a02016-08-15 14:07:33 +01003065 ckey = ssl_generate_pkey(skey);
Matt Caswellb599ce32016-11-23 22:12:40 +00003066 if (ckey == NULL) {
Matt Caswella2c2e002017-11-22 17:18:39 +00003067 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_CONSTRUCT_CKE_ECDHE,
3068 ERR_R_MALLOC_FAILURE);
Matt Caswellb599ce32016-11-23 22:12:40 +00003069 goto err;
3070 }
Matt Caswell67ad5aa2016-07-08 09:51:02 +01003071
Matt Caswell0f1e51e2016-11-02 15:03:56 +00003072 if (ssl_derive(s, ckey, skey, 0) == 0) {
Matt Caswella2c2e002017-11-22 17:18:39 +00003073 /* SSLfatal() already called */
Matt Caswell67ad5aa2016-07-08 09:51:02 +01003074 goto err;
3075 }
3076
3077 /* Generate encoding of client key */
Dr. Stephen Hensonec246302016-08-11 15:41:49 +01003078 encoded_pt_len = EVP_PKEY_get1_tls_encodedpoint(ckey, &encodedPoint);
Matt Caswell67ad5aa2016-07-08 09:51:02 +01003079
3080 if (encoded_pt_len == 0) {
Matt Caswella2c2e002017-11-22 17:18:39 +00003081 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_CONSTRUCT_CKE_ECDHE,
3082 ERR_R_EC_LIB);
Matt Caswell67ad5aa2016-07-08 09:51:02 +01003083 goto err;
3084 }
3085
Matt Caswellb2b30242016-09-13 11:32:52 +01003086 if (!WPACKET_sub_memcpy_u8(pkt, encodedPoint, encoded_pt_len)) {
Matt Caswella2c2e002017-11-22 17:18:39 +00003087 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_CONSTRUCT_CKE_ECDHE,
3088 ERR_R_INTERNAL_ERROR);
Matt Caswellf1ec23c2016-09-13 11:01:04 +01003089 goto err;
3090 }
Matt Caswell67ad5aa2016-07-08 09:51:02 +01003091
Matt Caswellf1ec23c2016-09-13 11:01:04 +01003092 ret = 1;
Matt Caswell67ad5aa2016-07-08 09:51:02 +01003093 err:
Matt Caswellf1ec23c2016-09-13 11:01:04 +01003094 OPENSSL_free(encodedPoint);
Matt Caswell67ad5aa2016-07-08 09:51:02 +01003095 EVP_PKEY_free(ckey);
Matt Caswellf1ec23c2016-09-13 11:01:04 +01003096 return ret;
Matt Caswell67ad5aa2016-07-08 09:51:02 +01003097#else
Matt Caswella2c2e002017-11-22 17:18:39 +00003098 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_CONSTRUCT_CKE_ECDHE,
3099 ERR_R_INTERNAL_ERROR);
Matt Caswell67ad5aa2016-07-08 09:51:02 +01003100 return 0;
3101#endif
3102}
3103
Matt Caswella2c2e002017-11-22 17:18:39 +00003104static int tls_construct_cke_gost(SSL *s, WPACKET *pkt)
Matt Caswelle00e0b32016-07-08 10:07:55 +01003105{
3106#ifndef OPENSSL_NO_GOST
3107 /* GOST key exchange message creation */
3108 EVP_PKEY_CTX *pkey_ctx = NULL;
3109 X509 *peer_cert;
3110 size_t msglen;
3111 unsigned int md_len;
3112 unsigned char shared_ukm[32], tmp[256];
3113 EVP_MD_CTX *ukm_hash = NULL;
3114 int dgst_nid = NID_id_GostR3411_94;
3115 unsigned char *pms = NULL;
3116 size_t pmslen = 0;
3117
3118 if ((s->s3->tmp.new_cipher->algorithm_auth & SSL_aGOST12) != 0)
3119 dgst_nid = NID_id_GostR3411_2012_256;
3120
3121 /*
FdaSilvaYY1ee4b982017-02-17 23:13:26 +01003122 * Get server certificate PKEY and create ctx from it
Matt Caswelle00e0b32016-07-08 10:07:55 +01003123 */
3124 peer_cert = s->session->peer;
3125 if (!peer_cert) {
Matt Caswella2c2e002017-11-22 17:18:39 +00003126 SSLfatal(s, SSL_AD_HANDSHAKE_FAILURE, SSL_F_TLS_CONSTRUCT_CKE_GOST,
Matt Caswelle00e0b32016-07-08 10:07:55 +01003127 SSL_R_NO_GOST_CERTIFICATE_SENT_BY_PEER);
3128 return 0;
3129 }
3130
3131 pkey_ctx = EVP_PKEY_CTX_new(X509_get0_pubkey(peer_cert), NULL);
3132 if (pkey_ctx == NULL) {
Matt Caswella2c2e002017-11-22 17:18:39 +00003133 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_CONSTRUCT_CKE_GOST,
3134 ERR_R_MALLOC_FAILURE);
Matt Caswelle00e0b32016-07-08 10:07:55 +01003135 return 0;
3136 }
3137 /*
3138 * If we have send a certificate, and certificate key
3139 * parameters match those of server certificate, use
3140 * certificate key for key exchange
3141 */
3142
3143 /* Otherwise, generate ephemeral key pair */
3144 pmslen = 32;
3145 pms = OPENSSL_malloc(pmslen);
3146 if (pms == NULL) {
Matt Caswella2c2e002017-11-22 17:18:39 +00003147 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_CONSTRUCT_CKE_GOST,
3148 ERR_R_MALLOC_FAILURE);
Matt Caswell2f3930b2016-08-22 22:17:20 +01003149 goto err;
Matt Caswelle00e0b32016-07-08 10:07:55 +01003150 }
3151
3152 if (EVP_PKEY_encrypt_init(pkey_ctx) <= 0
Matt Caswell348240c2016-10-19 15:11:24 +01003153 /* Generate session key
3154 * TODO(size_t): Convert this function
3155 */
Kurt Roeckx16cfc2c2018-03-08 22:30:28 +01003156 || RAND_bytes(pms, (int)pmslen) <= 0) {
Matt Caswella2c2e002017-11-22 17:18:39 +00003157 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_CONSTRUCT_CKE_GOST,
3158 ERR_R_INTERNAL_ERROR);
Matt Caswelle00e0b32016-07-08 10:07:55 +01003159 goto err;
3160 };
3161 /*
Matt Caswelle00e0b32016-07-08 10:07:55 +01003162 * Compute shared IV and store it in algorithm-specific context
3163 * data
3164 */
3165 ukm_hash = EVP_MD_CTX_new();
3166 if (ukm_hash == NULL
Emilia Kaspera230b262016-08-05 19:03:17 +02003167 || EVP_DigestInit(ukm_hash, EVP_get_digestbynid(dgst_nid)) <= 0
3168 || EVP_DigestUpdate(ukm_hash, s->s3->client_random,
3169 SSL3_RANDOM_SIZE) <= 0
3170 || EVP_DigestUpdate(ukm_hash, s->s3->server_random,
3171 SSL3_RANDOM_SIZE) <= 0
3172 || EVP_DigestFinal_ex(ukm_hash, shared_ukm, &md_len) <= 0) {
Matt Caswella2c2e002017-11-22 17:18:39 +00003173 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_CONSTRUCT_CKE_GOST,
3174 ERR_R_INTERNAL_ERROR);
Matt Caswelle00e0b32016-07-08 10:07:55 +01003175 goto err;
3176 }
3177 EVP_MD_CTX_free(ukm_hash);
3178 ukm_hash = NULL;
3179 if (EVP_PKEY_CTX_ctrl(pkey_ctx, -1, EVP_PKEY_OP_ENCRYPT,
3180 EVP_PKEY_CTRL_SET_IV, 8, shared_ukm) < 0) {
Matt Caswella2c2e002017-11-22 17:18:39 +00003181 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_CONSTRUCT_CKE_GOST,
3182 SSL_R_LIBRARY_BUG);
Matt Caswelle00e0b32016-07-08 10:07:55 +01003183 goto err;
3184 }
3185 /* Make GOST keytransport blob message */
3186 /*
3187 * Encapsulate it into sequence
3188 */
Matt Caswelle00e0b32016-07-08 10:07:55 +01003189 msglen = 255;
3190 if (EVP_PKEY_encrypt(pkey_ctx, tmp, &msglen, pms, pmslen) <= 0) {
Matt Caswella2c2e002017-11-22 17:18:39 +00003191 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_CONSTRUCT_CKE_GOST,
3192 SSL_R_LIBRARY_BUG);
Matt Caswelle00e0b32016-07-08 10:07:55 +01003193 goto err;
3194 }
Matt Caswellf1ec23c2016-09-13 11:01:04 +01003195
Matt Caswell08029df2016-09-20 14:47:44 +01003196 if (!WPACKET_put_bytes_u8(pkt, V_ASN1_SEQUENCE | V_ASN1_CONSTRUCTED)
3197 || (msglen >= 0x80 && !WPACKET_put_bytes_u8(pkt, 0x81))
Matt Caswellb2b30242016-09-13 11:32:52 +01003198 || !WPACKET_sub_memcpy_u8(pkt, tmp, msglen)) {
Matt Caswella2c2e002017-11-22 17:18:39 +00003199 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_CONSTRUCT_CKE_GOST,
3200 ERR_R_INTERNAL_ERROR);
Matt Caswellf1ec23c2016-09-13 11:01:04 +01003201 goto err;
Matt Caswelle00e0b32016-07-08 10:07:55 +01003202 }
Matt Caswellf1ec23c2016-09-13 11:01:04 +01003203
Matt Caswelle00e0b32016-07-08 10:07:55 +01003204 EVP_PKEY_CTX_free(pkey_ctx);
3205 s->s3->tmp.pms = pms;
3206 s->s3->tmp.pmslen = pmslen;
3207
3208 return 1;
3209 err:
3210 EVP_PKEY_CTX_free(pkey_ctx);
3211 OPENSSL_clear_free(pms, pmslen);
3212 EVP_MD_CTX_free(ukm_hash);
3213 return 0;
3214#else
Matt Caswella2c2e002017-11-22 17:18:39 +00003215 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_CONSTRUCT_CKE_GOST,
3216 ERR_R_INTERNAL_ERROR);
Matt Caswelle00e0b32016-07-08 10:07:55 +01003217 return 0;
3218#endif
3219}
3220
Matt Caswella2c2e002017-11-22 17:18:39 +00003221static int tls_construct_cke_srp(SSL *s, WPACKET *pkt)
Matt Caswell840a2bf2016-07-08 10:43:59 +01003222{
Richard Levitte8b9546c2016-07-22 21:48:05 +02003223#ifndef OPENSSL_NO_SRP
Matt Caswellf1ec23c2016-09-13 11:01:04 +01003224 unsigned char *abytes = NULL;
3225
3226 if (s->srp_ctx.A == NULL
Matt Caswellb2b30242016-09-13 11:32:52 +01003227 || !WPACKET_sub_allocate_bytes_u16(pkt, BN_num_bytes(s->srp_ctx.A),
3228 &abytes)) {
Matt Caswella2c2e002017-11-22 17:18:39 +00003229 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_CONSTRUCT_CKE_SRP,
3230 ERR_R_INTERNAL_ERROR);
Matt Caswell840a2bf2016-07-08 10:43:59 +01003231 return 0;
3232 }
Matt Caswellf1ec23c2016-09-13 11:01:04 +01003233 BN_bn2bin(s->srp_ctx.A, abytes);
3234
Matt Caswell840a2bf2016-07-08 10:43:59 +01003235 OPENSSL_free(s->session->srp_username);
3236 s->session->srp_username = OPENSSL_strdup(s->srp_ctx.login);
3237 if (s->session->srp_username == NULL) {
Matt Caswella2c2e002017-11-22 17:18:39 +00003238 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_CONSTRUCT_CKE_SRP,
3239 ERR_R_MALLOC_FAILURE);
Matt Caswell840a2bf2016-07-08 10:43:59 +01003240 return 0;
3241 }
3242
3243 return 1;
3244#else
Matt Caswella2c2e002017-11-22 17:18:39 +00003245 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_CONSTRUCT_CKE_SRP,
3246 ERR_R_INTERNAL_ERROR);
Matt Caswell840a2bf2016-07-08 10:43:59 +01003247 return 0;
3248#endif
3249}
3250
Matt Caswell7cea05d2016-09-29 23:28:29 +01003251int tls_construct_client_key_exchange(SSL *s, WPACKET *pkt)
Matt Caswellb9908bf2015-07-29 14:08:49 +01003252{
Matt Caswell0f113f32015-01-22 03:40:55 +00003253 unsigned long alg_k;
Matt Caswellf1ec23c2016-09-13 11:01:04 +01003254
Dr. Stephen Henson76890822015-06-28 17:15:10 +01003255 alg_k = s->s3->tmp.new_cipher->algorithm_mkey;
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00003256
Matt Caswella2c2e002017-11-22 17:18:39 +00003257 /*
3258 * All of the construct functions below call SSLfatal() if necessary so
3259 * no need to do so here.
3260 */
Matt Caswell13c0ec42016-07-07 14:42:27 +01003261 if ((alg_k & SSL_PSK)
Matt Caswella2c2e002017-11-22 17:18:39 +00003262 && !tls_construct_cke_psk_preamble(s, pkt))
Matt Caswell13c0ec42016-07-07 14:42:27 +01003263 goto err;
Matt Caswellb9908bf2015-07-29 14:08:49 +01003264
Matt Caswellf1ec23c2016-09-13 11:01:04 +01003265 if (alg_k & (SSL_kRSA | SSL_kRSAPSK)) {
Matt Caswella2c2e002017-11-22 17:18:39 +00003266 if (!tls_construct_cke_rsa(s, pkt))
Matt Caswell13c0ec42016-07-07 14:42:27 +01003267 goto err;
Matt Caswella8c1c702016-07-08 09:42:07 +01003268 } else if (alg_k & (SSL_kDHE | SSL_kDHEPSK)) {
Matt Caswella2c2e002017-11-22 17:18:39 +00003269 if (!tls_construct_cke_dhe(s, pkt))
Dr. Stephen Hensonbc71f912015-12-15 23:57:18 +00003270 goto err;
Matt Caswell67ad5aa2016-07-08 09:51:02 +01003271 } else if (alg_k & (SSL_kECDHE | SSL_kECDHEPSK)) {
Matt Caswella2c2e002017-11-22 17:18:39 +00003272 if (!tls_construct_cke_ecdhe(s, pkt))
Matt Caswell67ad5aa2016-07-08 09:51:02 +01003273 goto err;
Matt Caswelle00e0b32016-07-08 10:07:55 +01003274 } else if (alg_k & SSL_kGOST) {
Matt Caswella2c2e002017-11-22 17:18:39 +00003275 if (!tls_construct_cke_gost(s, pkt))
Matt Caswelle00e0b32016-07-08 10:07:55 +01003276 goto err;
Matt Caswell840a2bf2016-07-08 10:43:59 +01003277 } else if (alg_k & SSL_kSRP) {
Matt Caswella2c2e002017-11-22 17:18:39 +00003278 if (!tls_construct_cke_srp(s, pkt))
Matt Caswellb9908bf2015-07-29 14:08:49 +01003279 goto err;
Matt Caswell4a424542016-09-29 12:04:08 +01003280 } else if (!(alg_k & SSL_kPSK)) {
Matt Caswella2c2e002017-11-22 17:18:39 +00003281 SSLfatal(s, SSL_AD_INTERNAL_ERROR,
3282 SSL_F_TLS_CONSTRUCT_CLIENT_KEY_EXCHANGE, ERR_R_INTERNAL_ERROR);
Matt Caswellb9908bf2015-07-29 14:08:49 +01003283 goto err;
3284 }
3285
Matt Caswellb9908bf2015-07-29 14:08:49 +01003286 return 1;
Matt Caswell0f113f32015-01-22 03:40:55 +00003287 err:
Matt Caswell0bce0b02016-07-07 12:47:07 +01003288 OPENSSL_clear_free(s->s3->tmp.pms, s->s3->tmp.pmslen);
Dr. Stephen Henson76106e62015-05-12 17:17:37 +01003289 s->s3->tmp.pms = NULL;
Dr. Stephen Henson76890822015-06-28 17:15:10 +01003290#ifndef OPENSSL_NO_PSK
3291 OPENSSL_clear_free(s->s3->tmp.psk, s->s3->tmp.psklen);
3292 s->s3->tmp.psk = NULL;
3293#endif
Matt Caswellb9908bf2015-07-29 14:08:49 +01003294 return 0;
3295}
3296
3297int tls_client_key_exchange_post_work(SSL *s)
3298{
3299 unsigned char *pms = NULL;
3300 size_t pmslen = 0;
3301
Matt Caswell6f137372016-04-28 15:12:37 +01003302 pms = s->s3->tmp.pms;
3303 pmslen = s->s3->tmp.pmslen;
3304
Matt Caswellb9908bf2015-07-29 14:08:49 +01003305#ifndef OPENSSL_NO_SRP
3306 /* Check for SRP */
3307 if (s->s3->tmp.new_cipher->algorithm_mkey & SSL_kSRP) {
3308 if (!srp_generate_client_master_secret(s)) {
Matt Caswella2c2e002017-11-22 17:18:39 +00003309 /* SSLfatal() already called */
Matt Caswellb9908bf2015-07-29 14:08:49 +01003310 goto err;
3311 }
3312 return 1;
3313 }
3314#endif
Matt Caswellb9908bf2015-07-29 14:08:49 +01003315
3316 if (pms == NULL && !(s->s3->tmp.new_cipher->algorithm_mkey & SSL_kPSK)) {
Matt Caswella2c2e002017-11-22 17:18:39 +00003317 SSLfatal(s, SSL_AD_INTERNAL_ERROR,
3318 SSL_F_TLS_CLIENT_KEY_EXCHANGE_POST_WORK, ERR_R_MALLOC_FAILURE);
Matt Caswellb9908bf2015-07-29 14:08:49 +01003319 goto err;
3320 }
3321 if (!ssl_generate_master_secret(s, pms, pmslen, 1)) {
Matt Caswella2c2e002017-11-22 17:18:39 +00003322 /* SSLfatal() already called */
Matt Caswell6f137372016-04-28 15:12:37 +01003323 /* ssl_generate_master_secret frees the pms even on error */
3324 pms = NULL;
3325 pmslen = 0;
Matt Caswellb9908bf2015-07-29 14:08:49 +01003326 goto err;
3327 }
Matt Caswell6f137372016-04-28 15:12:37 +01003328 pms = NULL;
3329 pmslen = 0;
Matt Caswell473483d2015-09-07 22:00:36 +01003330
3331#ifndef OPENSSL_NO_SCTP
3332 if (SSL_IS_DTLS(s)) {
3333 unsigned char sctpauthkey[64];
3334 char labelbuffer[sizeof(DTLS1_SCTP_AUTH_LABEL)];
3335
3336 /*
3337 * Add new shared key for SCTP-Auth, will be ignored if no SCTP
3338 * used.
3339 */
Matt Caswell141eb8c2015-10-26 12:00:00 +00003340 memcpy(labelbuffer, DTLS1_SCTP_AUTH_LABEL,
3341 sizeof(DTLS1_SCTP_AUTH_LABEL));
Matt Caswell473483d2015-09-07 22:00:36 +01003342
3343 if (SSL_export_keying_material(s, sctpauthkey,
Emilia Kaspera230b262016-08-05 19:03:17 +02003344 sizeof(sctpauthkey), labelbuffer,
Matt Caswella2c2e002017-11-22 17:18:39 +00003345 sizeof(labelbuffer), NULL, 0, 0) <= 0) {
3346 SSLfatal(s, SSL_AD_INTERNAL_ERROR,
Matt Caswelldd5a4272017-12-04 13:37:01 +00003347 SSL_F_TLS_CLIENT_KEY_EXCHANGE_POST_WORK,
3348 ERR_R_INTERNAL_ERROR);
Matt Caswell473483d2015-09-07 22:00:36 +01003349 goto err;
Matt Caswella2c2e002017-11-22 17:18:39 +00003350 }
Matt Caswell473483d2015-09-07 22:00:36 +01003351
3352 BIO_ctrl(SSL_get_wbio(s), BIO_CTRL_DGRAM_SCTP_ADD_AUTH_KEY,
3353 sizeof(sctpauthkey), sctpauthkey);
3354 }
3355#endif
3356
Matt Caswellb9908bf2015-07-29 14:08:49 +01003357 return 1;
3358 err:
3359 OPENSSL_clear_free(pms, pmslen);
3360 s->s3->tmp.pms = NULL;
3361 return 0;
Matt Caswell0f113f32015-01-22 03:40:55 +00003362}
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00003363
Matt Caswell0f113f32015-01-22 03:40:55 +00003364/*
3365 * Check a certificate can be used for client authentication. Currently check
3366 * cert exists, if we have a suitable digest for TLS 1.2 if static DH client
3367 * certificates can be used and optionally checks suitability for Suite B.
Dr. Stephen Henson0d609392012-01-25 14:51:49 +00003368 */
3369static int ssl3_check_client_certificate(SSL *s)
Matt Caswell0f113f32015-01-22 03:40:55 +00003370{
Matt Caswell0f113f32015-01-22 03:40:55 +00003371 /* If no suitable signature algorithm can't use certificate */
Matt Caswellf63a17d2017-11-21 17:18:43 +00003372 if (!tls_choose_sigalg(s, 0) || s->s3->tmp.sigalg == NULL)
Matt Caswell0f113f32015-01-22 03:40:55 +00003373 return 0;
3374 /*
3375 * If strict mode check suitability of chain before using it. This also
3376 * adjusts suite B digest if necessary.
3377 */
3378 if (s->cert->cert_flags & SSL_CERT_FLAGS_CHECK_TLS_STRICT &&
3379 !tls1_check_chain(s, NULL, NULL, NULL, -2))
3380 return 0;
Matt Caswell0f113f32015-01-22 03:40:55 +00003381 return 1;
3382}
Dr. Stephen Henson0d609392012-01-25 14:51:49 +00003383
Matt Caswellbe3583f2015-10-26 11:46:33 +00003384WORK_STATE tls_prepare_client_certificate(SSL *s, WORK_STATE wst)
Matt Caswellb9908bf2015-07-29 14:08:49 +01003385{
Matt Caswell0f113f32015-01-22 03:40:55 +00003386 X509 *x509 = NULL;
3387 EVP_PKEY *pkey = NULL;
3388 int i;
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00003389
Matt Caswellb9908bf2015-07-29 14:08:49 +01003390 if (wst == WORK_MORE_A) {
Matt Caswell0f113f32015-01-22 03:40:55 +00003391 /* Let cert callback update client certificates if required */
3392 if (s->cert->cert_cb) {
3393 i = s->cert->cert_cb(s, s->cert->cert_cb_arg);
3394 if (i < 0) {
3395 s->rwstate = SSL_X509_LOOKUP;
Matt Caswellb9908bf2015-07-29 14:08:49 +01003396 return WORK_MORE_A;
Matt Caswell0f113f32015-01-22 03:40:55 +00003397 }
3398 if (i == 0) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00003399 SSLfatal(s, SSL_AD_INTERNAL_ERROR,
3400 SSL_F_TLS_PREPARE_CLIENT_CERTIFICATE,
3401 SSL_R_CALLBACK_FAILED);
Andy Polyakoveb5fd032017-08-31 23:23:00 +02003402 return WORK_ERROR;
Matt Caswell0f113f32015-01-22 03:40:55 +00003403 }
3404 s->rwstate = SSL_NOTHING;
3405 }
Todd Short9d75dce2017-12-18 16:52:28 -05003406 if (ssl3_check_client_certificate(s)) {
3407 if (s->post_handshake_auth == SSL_PHA_REQUESTED) {
3408 return WORK_FINISHED_STOP;
3409 }
Matt Caswellb9908bf2015-07-29 14:08:49 +01003410 return WORK_FINISHED_CONTINUE;
Todd Short9d75dce2017-12-18 16:52:28 -05003411 }
Matt Caswellb9908bf2015-07-29 14:08:49 +01003412
3413 /* Fall through to WORK_MORE_B */
3414 wst = WORK_MORE_B;
Matt Caswell0f113f32015-01-22 03:40:55 +00003415 }
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00003416
Matt Caswell0f113f32015-01-22 03:40:55 +00003417 /* We need to get a client cert */
Matt Caswellb9908bf2015-07-29 14:08:49 +01003418 if (wst == WORK_MORE_B) {
Matt Caswell0f113f32015-01-22 03:40:55 +00003419 /*
3420 * If we get an error, we need to ssl->rwstate=SSL_X509_LOOKUP;
3421 * return(-1); We then get retied later
3422 */
Matt Caswell0f113f32015-01-22 03:40:55 +00003423 i = ssl_do_client_cert_cb(s, &x509, &pkey);
3424 if (i < 0) {
3425 s->rwstate = SSL_X509_LOOKUP;
Matt Caswellb9908bf2015-07-29 14:08:49 +01003426 return WORK_MORE_B;
Matt Caswell0f113f32015-01-22 03:40:55 +00003427 }
3428 s->rwstate = SSL_NOTHING;
3429 if ((i == 1) && (pkey != NULL) && (x509 != NULL)) {
Matt Caswell0f113f32015-01-22 03:40:55 +00003430 if (!SSL_use_certificate(s, x509) || !SSL_use_PrivateKey(s, pkey))
3431 i = 0;
3432 } else if (i == 1) {
3433 i = 0;
Matt Caswellb9908bf2015-07-29 14:08:49 +01003434 SSLerr(SSL_F_TLS_PREPARE_CLIENT_CERTIFICATE,
Matt Caswell0f113f32015-01-22 03:40:55 +00003435 SSL_R_BAD_DATA_RETURNED_BY_CALLBACK);
3436 }
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00003437
Rich Salz222561f2015-04-30 17:33:59 -04003438 X509_free(x509);
Rich Salz25aaa982015-05-01 14:37:16 -04003439 EVP_PKEY_free(pkey);
Matt Caswell0f113f32015-01-22 03:40:55 +00003440 if (i && !ssl3_check_client_certificate(s))
3441 i = 0;
3442 if (i == 0) {
3443 if (s->version == SSL3_VERSION) {
3444 s->s3->tmp.cert_req = 0;
3445 ssl3_send_alert(s, SSL3_AL_WARNING, SSL_AD_NO_CERTIFICATE);
Matt Caswellb9908bf2015-07-29 14:08:49 +01003446 return WORK_FINISHED_CONTINUE;
Matt Caswell0f113f32015-01-22 03:40:55 +00003447 } else {
3448 s->s3->tmp.cert_req = 2;
Dr. Stephen Henson124037f2015-06-16 14:44:29 +01003449 if (!ssl3_digest_cached_records(s, 0)) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00003450 /* SSLfatal() already called */
Andy Polyakoveb5fd032017-08-31 23:23:00 +02003451 return WORK_ERROR;
Dr. Stephen Hensondab18ab2015-05-07 00:04:48 +01003452 }
Matt Caswell0f113f32015-01-22 03:40:55 +00003453 }
3454 }
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00003455
Todd Short9d75dce2017-12-18 16:52:28 -05003456 if (s->post_handshake_auth == SSL_PHA_REQUESTED)
3457 return WORK_FINISHED_STOP;
Matt Caswellb9908bf2015-07-29 14:08:49 +01003458 return WORK_FINISHED_CONTINUE;
Matt Caswell0f113f32015-01-22 03:40:55 +00003459 }
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00003460
Matt Caswellb9908bf2015-07-29 14:08:49 +01003461 /* Shouldn't ever get here */
Matt Caswella2c2e002017-11-22 17:18:39 +00003462 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_PREPARE_CLIENT_CERTIFICATE,
3463 ERR_R_INTERNAL_ERROR);
Matt Caswellb9908bf2015-07-29 14:08:49 +01003464 return WORK_ERROR;
3465}
3466
Matt Caswell7cea05d2016-09-29 23:28:29 +01003467int tls_construct_client_certificate(SSL *s, WPACKET *pkt)
Matt Caswellb9908bf2015-07-29 14:08:49 +01003468{
Todd Short9d75dce2017-12-18 16:52:28 -05003469 if (SSL_IS_TLS13(s)) {
3470 if (s->pha_context == NULL) {
3471 /* no context available, add 0-length context */
3472 if (!WPACKET_put_bytes_u8(pkt, 0)) {
3473 SSLfatal(s, SSL_AD_INTERNAL_ERROR,
3474 SSL_F_TLS_CONSTRUCT_CLIENT_CERTIFICATE, ERR_R_INTERNAL_ERROR);
3475 return 0;
3476 }
3477 } else if (!WPACKET_sub_memcpy_u8(pkt, s->pha_context, s->pha_context_len)) {
3478 SSLfatal(s, SSL_AD_INTERNAL_ERROR,
3479 SSL_F_TLS_CONSTRUCT_CLIENT_CERTIFICATE, ERR_R_INTERNAL_ERROR);
3480 return 0;
3481 }
Matt Caswellf63a17d2017-11-21 17:18:43 +00003482 }
3483 if (!ssl3_output_cert_chain(s, pkt,
3484 (s->s3->tmp.cert_req == 2) ? NULL
3485 : s->cert->key)) {
3486 /* SSLfatal() already called */
3487 return 0;
Matt Caswellf7e393b2017-02-27 11:19:57 +00003488 }
3489
3490 if (SSL_IS_TLS13(s)
3491 && SSL_IS_FIRST_HANDSHAKE(s)
3492 && (!s->method->ssl3_enc->change_cipher_state(s,
3493 SSL3_CC_HANDSHAKE | SSL3_CHANGE_CIPHER_CLIENT_WRITE))) {
Bernd Edlingerc31ad0b2017-06-13 07:25:43 +02003494 /*
Matt Caswella2c2e002017-11-22 17:18:39 +00003495 * This is a fatal error, which leaves enc_write_ctx in an inconsistent
Matt Caswellf63a17d2017-11-21 17:18:43 +00003496 * state and thus ssl3_send_alert may crash.
Bernd Edlingerc31ad0b2017-06-13 07:25:43 +02003497 */
Matt Caswellf63a17d2017-11-21 17:18:43 +00003498 SSLfatal(s, SSL_AD_NO_ALERT, SSL_F_TLS_CONSTRUCT_CLIENT_CERTIFICATE,
Matt Caswelldd5a4272017-12-04 13:37:01 +00003499 SSL_R_CANNOT_CHANGE_CIPHER);
Bernd Edlingerc31ad0b2017-06-13 07:25:43 +02003500 return 0;
Matt Caswell0f113f32015-01-22 03:40:55 +00003501 }
Matt Caswellb9908bf2015-07-29 14:08:49 +01003502
3503 return 1;
Matt Caswell0f113f32015-01-22 03:40:55 +00003504}
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00003505
Ben Laurie36d16f82005-04-26 16:02:40 +00003506int ssl3_check_cert_and_algorithm(SSL *s)
Matt Caswell0f113f32015-01-22 03:40:55 +00003507{
Dr. Stephen Hensondd248572017-06-29 16:10:31 +01003508 const SSL_CERT_LOOKUP *clu;
3509 size_t idx;
Matt Caswell0f113f32015-01-22 03:40:55 +00003510 long alg_k, alg_a;
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00003511
Matt Caswell0f113f32015-01-22 03:40:55 +00003512 alg_k = s->s3->tmp.new_cipher->algorithm_mkey;
3513 alg_a = s->s3->tmp.new_cipher->algorithm_auth;
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00003514
Matt Caswell0f113f32015-01-22 03:40:55 +00003515 /* we don't have a certificate */
Dr. Stephen Hensondd248572017-06-29 16:10:31 +01003516 if (!(alg_a & SSL_aCERT))
3517 return 1;
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00003518
Matt Caswell0f113f32015-01-22 03:40:55 +00003519 /* This is the passed certificate */
Dr. Stephen Hensondd248572017-06-29 16:10:31 +01003520 clu = ssl_cert_lookup_by_pkey(X509_get0_pubkey(s->session->peer), &idx);
3521
3522 /* Check certificate is recognised and suitable for cipher */
3523 if (clu == NULL || (alg_a & clu->amask) == 0) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00003524 SSLfatal(s, SSL_AD_HANDSHAKE_FAILURE,
3525 SSL_F_SSL3_CHECK_CERT_AND_ALGORITHM,
3526 SSL_R_MISSING_SIGNING_CERT);
3527 return 0;
Dr. Stephen Hensondd248572017-06-29 16:10:31 +01003528 }
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00003529
Rich Salz10bf4fc2015-03-10 19:09:27 -04003530#ifndef OPENSSL_NO_EC
Dr. Stephen Hensondd248572017-06-29 16:10:31 +01003531 if (clu->amask & SSL_aECDSA) {
3532 if (ssl_check_srvr_ecc_cert_and_alg(s->session->peer, s))
Matt Caswell0f113f32015-01-22 03:40:55 +00003533 return 1;
Matt Caswellf63a17d2017-11-21 17:18:43 +00003534 SSLfatal(s, SSL_AD_HANDSHAKE_FAILURE,
3535 SSL_F_SSL3_CHECK_CERT_AND_ALGORITHM, SSL_R_BAD_ECC_CERT);
3536 return 0;
Matt Caswell0f113f32015-01-22 03:40:55 +00003537 }
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00003538#endif
Richard Levittebc36ee62001-02-20 08:13:47 +00003539#ifndef OPENSSL_NO_RSA
Dr. Stephen Hensondd248572017-06-29 16:10:31 +01003540 if (alg_k & (SSL_kRSA | SSL_kRSAPSK) && idx != SSL_PKEY_RSA) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00003541 SSLfatal(s, SSL_AD_HANDSHAKE_FAILURE,
3542 SSL_F_SSL3_CHECK_CERT_AND_ALGORITHM,
3543 SSL_R_MISSING_RSA_ENCRYPTING_CERT);
3544 return 0;
Matt Caswell0f113f32015-01-22 03:40:55 +00003545 }
Ulf Möller79df9d61999-04-27 03:19:12 +00003546#endif
Richard Levittebc36ee62001-02-20 08:13:47 +00003547#ifndef OPENSSL_NO_DH
Dr. Stephen Hensonfb79abe2015-12-17 01:07:46 +00003548 if ((alg_k & SSL_kDHE) && (s->s3->peer_tmp == NULL)) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00003549 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_SSL3_CHECK_CERT_AND_ALGORITHM,
3550 ERR_R_INTERNAL_ERROR);
3551 return 0;
Matt Caswell0f113f32015-01-22 03:40:55 +00003552 }
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00003553#endif
3554
Dr. Stephen Hensondd248572017-06-29 16:10:31 +01003555 return 1;
Matt Caswell0f113f32015-01-22 03:40:55 +00003556}
Dr. Stephen Henson6434abb2007-08-11 23:18:29 +00003557
Matt Caswelle481f9b2015-05-15 10:49:56 +01003558#ifndef OPENSSL_NO_NEXTPROTONEG
Matt Caswell7cea05d2016-09-29 23:28:29 +01003559int tls_construct_next_proto(SSL *s, WPACKET *pkt)
Matt Caswellb9908bf2015-07-29 14:08:49 +01003560{
Matt Caswell15e6be62016-09-14 12:10:33 +01003561 size_t len, padding_len;
3562 unsigned char *padding = NULL;
Matt Caswell15e6be62016-09-14 12:10:33 +01003563
Rich Salzaff8c122016-12-08 14:18:40 -05003564 len = s->ext.npn_len;
Matt Caswellb9908bf2015-07-29 14:08:49 +01003565 padding_len = 32 - ((len + 2) % 32);
Matt Caswell15e6be62016-09-14 12:10:33 +01003566
Rich Salzaff8c122016-12-08 14:18:40 -05003567 if (!WPACKET_sub_memcpy_u8(pkt, s->ext.npn, len)
Matt Caswell7cea05d2016-09-29 23:28:29 +01003568 || !WPACKET_sub_allocate_bytes_u8(pkt, padding_len, &padding)) {
Matt Caswella2c2e002017-11-22 17:18:39 +00003569 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_TLS_CONSTRUCT_NEXT_PROTO,
3570 ERR_R_INTERNAL_ERROR);
3571 return 0;
Matt Caswell15e6be62016-09-14 12:10:33 +01003572 }
3573
3574 memset(padding, 0, padding_len);
3575
Matt Caswellb9908bf2015-07-29 14:08:49 +01003576 return 1;
3577}
Dr. Stephen Henson6434abb2007-08-11 23:18:29 +00003578#endif
Dr. Stephen Henson368888b2008-06-01 22:33:24 +00003579
Matt Caswellc7f47782017-01-10 23:02:28 +00003580MSG_PROCESS_RETURN tls_process_hello_req(SSL *s, PACKET *pkt)
3581{
3582 if (PACKET_remaining(pkt) > 0) {
3583 /* should contain no data */
Matt Caswellf63a17d2017-11-21 17:18:43 +00003584 SSLfatal(s, SSL_AD_DECODE_ERROR, SSL_F_TLS_PROCESS_HELLO_REQ,
3585 SSL_R_LENGTH_MISMATCH);
Matt Caswellc7f47782017-01-10 23:02:28 +00003586 return MSG_PROCESS_ERROR;
3587 }
3588
Todd Shortdb0f35d2017-05-10 16:46:14 -04003589 if ((s->options & SSL_OP_NO_RENEGOTIATION)) {
3590 ssl3_send_alert(s, SSL3_AL_WARNING, SSL_AD_NO_RENEGOTIATION);
3591 return MSG_PROCESS_FINISHED_READING;
3592 }
3593
Matt Caswellc7f47782017-01-10 23:02:28 +00003594 /*
Matt Caswell1f04f232017-01-27 15:23:25 +00003595 * This is a historical discrepancy (not in the RFC) maintained for
3596 * compatibility reasons. If a TLS client receives a HelloRequest it will
3597 * attempt an abbreviated handshake. However if a DTLS client receives a
3598 * HelloRequest it will do a full handshake. Either behaviour is reasonable
3599 * but doing one for TLS and another for DTLS is odd.
Matt Caswellc7f47782017-01-10 23:02:28 +00003600 */
3601 if (SSL_IS_DTLS(s))
3602 SSL_renegotiate(s);
3603 else
3604 SSL_renegotiate_abbreviated(s);
3605
3606 return MSG_PROCESS_FINISHED_READING;
3607}
3608
Matt Caswelle46f2332016-11-23 15:20:22 +00003609static MSG_PROCESS_RETURN tls_process_encrypted_extensions(SSL *s, PACKET *pkt)
3610{
Matt Caswelle46f2332016-11-23 15:20:22 +00003611 PACKET extensions;
Matt Caswell3434f402016-11-28 16:45:52 +00003612 RAW_EXTENSION *rawexts = NULL;
Matt Caswelle46f2332016-11-23 15:20:22 +00003613
Matt Caswell26b91722017-05-11 11:31:57 +01003614 if (!PACKET_as_length_prefixed_2(pkt, &extensions)
3615 || PACKET_remaining(pkt) != 0) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00003616 SSLfatal(s, SSL_AD_DECODE_ERROR, SSL_F_TLS_PROCESS_ENCRYPTED_EXTENSIONS,
3617 SSL_R_LENGTH_MISMATCH);
Matt Caswelle46f2332016-11-23 15:20:22 +00003618 goto err;
3619 }
3620
Matt Caswellfe874d22017-04-04 11:40:02 +01003621 if (!tls_collect_extensions(s, &extensions,
3622 SSL_EXT_TLS1_3_ENCRYPTED_EXTENSIONS, &rawexts,
Matt Caswellf63a17d2017-11-21 17:18:43 +00003623 NULL, 1)
Matt Caswellfe874d22017-04-04 11:40:02 +01003624 || !tls_parse_all_extensions(s, SSL_EXT_TLS1_3_ENCRYPTED_EXTENSIONS,
Matt Caswellf63a17d2017-11-21 17:18:43 +00003625 rawexts, NULL, 0, 1)) {
3626 /* SSLfatal() already called */
Matt Caswell3434f402016-11-28 16:45:52 +00003627 goto err;
Matt Caswellf63a17d2017-11-21 17:18:43 +00003628 }
Matt Caswell3434f402016-11-28 16:45:52 +00003629
Matt Caswell1b0286a2016-12-05 17:31:37 +00003630 OPENSSL_free(rawexts);
Matt Caswelle46f2332016-11-23 15:20:22 +00003631 return MSG_PROCESS_CONTINUE_READING;
3632
3633 err:
Matt Caswell1b0286a2016-12-05 17:31:37 +00003634 OPENSSL_free(rawexts);
Matt Caswelle46f2332016-11-23 15:20:22 +00003635 return MSG_PROCESS_ERROR;
3636}
3637
Dr. Stephen Henson368888b2008-06-01 22:33:24 +00003638int ssl_do_client_cert_cb(SSL *s, X509 **px509, EVP_PKEY **ppkey)
Matt Caswell0f113f32015-01-22 03:40:55 +00003639{
3640 int i = 0;
Dr. Stephen Henson368888b2008-06-01 22:33:24 +00003641#ifndef OPENSSL_NO_ENGINE
Matt Caswell0f113f32015-01-22 03:40:55 +00003642 if (s->ctx->client_cert_engine) {
3643 i = ENGINE_load_ssl_client_cert(s->ctx->client_cert_engine, s,
3644 SSL_get_client_CA_list(s),
3645 px509, ppkey, NULL, NULL, NULL);
3646 if (i != 0)
3647 return i;
3648 }
Dr. Stephen Henson368888b2008-06-01 22:33:24 +00003649#endif
Matt Caswell0f113f32015-01-22 03:40:55 +00003650 if (s->ctx->client_cert_cb)
3651 i = s->ctx->client_cert_cb(s, px509, ppkey);
3652 return i;
3653}
Matt Caswelld45ba432015-04-24 15:05:27 +01003654
Matt Caswellae2f7b32016-09-05 17:34:04 +01003655int ssl_cipher_list_to_bytes(SSL *s, STACK_OF(SSL_CIPHER) *sk, WPACKET *pkt)
Matt Caswelld45ba432015-04-24 15:05:27 +01003656{
Matt Caswell2c7b4db2016-08-03 20:57:52 +01003657 int i;
Matt Caswellaafec892017-04-26 10:38:32 +01003658 size_t totlen = 0, len, maxlen, maxverok = 0;
Matt Caswelld45ba432015-04-24 15:05:27 +01003659 int empty_reneg_info_scsv = !s->renegotiate;
Matt Caswell1d0c08b2018-02-09 18:03:08 +00003660
Matt Caswelld45ba432015-04-24 15:05:27 +01003661 /* Set disabled masks for this session */
Matt Caswell1d0c08b2018-02-09 18:03:08 +00003662 if (!ssl_set_client_disabled(s)) {
3663 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_SSL_CIPHER_LIST_TO_BYTES,
3664 SSL_R_NO_PROTOCOLS_AVAILABLE);
3665 return 0;
3666 }
Matt Caswelld45ba432015-04-24 15:05:27 +01003667
Matt Caswellf63a17d2017-11-21 17:18:43 +00003668 if (sk == NULL) {
3669 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_SSL_CIPHER_LIST_TO_BYTES,
3670 ERR_R_INTERNAL_ERROR);
KaoruToda26a7d932017-10-17 23:04:09 +09003671 return 0;
Matt Caswellf63a17d2017-11-21 17:18:43 +00003672 }
Matt Caswelld45ba432015-04-24 15:05:27 +01003673
Matt Caswell2c7b4db2016-08-03 20:57:52 +01003674#ifdef OPENSSL_MAX_TLS1_2_CIPHER_LENGTH
3675# if OPENSSL_MAX_TLS1_2_CIPHER_LENGTH < 6
3676# error Max cipher length too short
3677# endif
3678 /*
3679 * Some servers hang if client hello > 256 bytes as hack workaround
3680 * chop number of supported ciphers to keep it well below this if we
3681 * use TLS v1.2
3682 */
3683 if (TLS1_get_version(s) >= TLS1_2_VERSION)
3684 maxlen = OPENSSL_MAX_TLS1_2_CIPHER_LENGTH & ~1;
3685 else
3686#endif
3687 /* Maximum length that can be stored in 2 bytes. Length must be even */
3688 maxlen = 0xfffe;
3689
3690 if (empty_reneg_info_scsv)
3691 maxlen -= 2;
3692 if (s->mode & SSL_MODE_SEND_FALLBACK_SCSV)
3693 maxlen -= 2;
3694
3695 for (i = 0; i < sk_SSL_CIPHER_num(sk) && totlen < maxlen; i++) {
3696 const SSL_CIPHER *c;
3697
Matt Caswelld45ba432015-04-24 15:05:27 +01003698 c = sk_SSL_CIPHER_value(sk, i);
3699 /* Skip disabled ciphers */
Matt Caswell8af91fd2017-04-12 17:02:42 +01003700 if (ssl_cipher_disabled(s, c, SSL_SECOP_CIPHER_SUPPORTED, 0))
Matt Caswelld45ba432015-04-24 15:05:27 +01003701 continue;
Matt Caswell2c7b4db2016-08-03 20:57:52 +01003702
3703 if (!s->method->put_cipher_by_char(c, pkt, &len)) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00003704 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_SSL_CIPHER_LIST_TO_BYTES,
3705 ERR_R_INTERNAL_ERROR);
Matt Caswell2c7b4db2016-08-03 20:57:52 +01003706 return 0;
3707 }
3708
Matt Caswellaafec892017-04-26 10:38:32 +01003709 /* Sanity check that the maximum version we offer has ciphers enabled */
3710 if (!maxverok) {
3711 if (SSL_IS_DTLS(s)) {
3712 if (DTLS_VERSION_GE(c->max_dtls, s->s3->tmp.max_ver)
3713 && DTLS_VERSION_LE(c->min_dtls, s->s3->tmp.max_ver))
3714 maxverok = 1;
3715 } else {
3716 if (c->max_tls >= s->s3->tmp.max_ver
3717 && c->min_tls <= s->s3->tmp.max_ver)
3718 maxverok = 1;
3719 }
3720 }
3721
Matt Caswell2c7b4db2016-08-03 20:57:52 +01003722 totlen += len;
Matt Caswelld45ba432015-04-24 15:05:27 +01003723 }
Matt Caswell2c7b4db2016-08-03 20:57:52 +01003724
Matt Caswellaafec892017-04-26 10:38:32 +01003725 if (totlen == 0 || !maxverok) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00003726 SSLfatal(s, SSL_AD_INTERNAL_ERROR, SSL_F_SSL_CIPHER_LIST_TO_BYTES,
3727 SSL_R_NO_CIPHERS_AVAILABLE);
Matt Caswellaafec892017-04-26 10:38:32 +01003728
3729 if (!maxverok)
3730 ERR_add_error_data(1, "No ciphers enabled for max supported "
3731 "SSL/TLS version");
3732
Matt Caswell2c7b4db2016-08-03 20:57:52 +01003733 return 0;
3734 }
3735
3736 if (totlen != 0) {
Matt Caswelld45ba432015-04-24 15:05:27 +01003737 if (empty_reneg_info_scsv) {
3738 static SSL_CIPHER scsv = {
Paul Yangbbb4ceb2017-06-30 03:06:19 +08003739 0, NULL, NULL, SSL3_CK_SCSV, 0, 0, 0, 0, 0, 0, 0, 0, 0
Matt Caswelld45ba432015-04-24 15:05:27 +01003740 };
Matt Caswell2c7b4db2016-08-03 20:57:52 +01003741 if (!s->method->put_cipher_by_char(&scsv, pkt, &len)) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00003742 SSLfatal(s, SSL_AD_INTERNAL_ERROR,
3743 SSL_F_SSL_CIPHER_LIST_TO_BYTES, ERR_R_INTERNAL_ERROR);
Matt Caswell2c7b4db2016-08-03 20:57:52 +01003744 return 0;
3745 }
Matt Caswelld45ba432015-04-24 15:05:27 +01003746 }
3747 if (s->mode & SSL_MODE_SEND_FALLBACK_SCSV) {
3748 static SSL_CIPHER scsv = {
Paul Yangbbb4ceb2017-06-30 03:06:19 +08003749 0, NULL, NULL, SSL3_CK_FALLBACK_SCSV, 0, 0, 0, 0, 0, 0, 0, 0, 0
Matt Caswelld45ba432015-04-24 15:05:27 +01003750 };
Matt Caswell2c7b4db2016-08-03 20:57:52 +01003751 if (!s->method->put_cipher_by_char(&scsv, pkt, &len)) {
Matt Caswellf63a17d2017-11-21 17:18:43 +00003752 SSLfatal(s, SSL_AD_INTERNAL_ERROR,
3753 SSL_F_SSL_CIPHER_LIST_TO_BYTES, ERR_R_INTERNAL_ERROR);
Matt Caswell2c7b4db2016-08-03 20:57:52 +01003754 return 0;
3755 }
Matt Caswelld45ba432015-04-24 15:05:27 +01003756 }
3757 }
3758
Matt Caswell2c7b4db2016-08-03 20:57:52 +01003759 return 1;
Matt Caswelld45ba432015-04-24 15:05:27 +01003760}
Matt Caswellef6c1912017-03-09 15:03:07 +00003761
3762int tls_construct_end_of_early_data(SSL *s, WPACKET *pkt)
3763{
3764 if (s->early_data_state != SSL_EARLY_DATA_WRITE_RETRY
3765 && s->early_data_state != SSL_EARLY_DATA_FINISHED_WRITING) {
Matt Caswell635c8f72017-11-23 11:41:40 +00003766 SSLfatal(s, SSL_AD_INTERNAL_ERROR,
3767 SSL_F_TLS_CONSTRUCT_END_OF_EARLY_DATA,
3768 ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED);
Matt Caswellef6c1912017-03-09 15:03:07 +00003769 return 0;
3770 }
3771
3772 s->early_data_state = SSL_EARLY_DATA_FINISHED_WRITING;
3773 return 1;
3774}