blob: 711680e917eb0b82e19547b1de3385d03985eca8 [file] [log] [blame]
Rich Salz846e33c2016-05-17 14:18:30 -04001/*
2 * Copyright 1995-2016 The OpenSSL Project Authors. All Rights Reserved.
Rich Salzaa8f3d72017-06-15 10:16:46 -04003 * Copyright (c) 2002, Oracle and/or its affiliates. All rights reserved
Rich Salzc80149d2017-06-20 10:14:36 -04004 * Copyright 2005 Nokia. All rights reserved.
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00005 *
Rich Salz846e33c2016-05-17 14:18:30 -04006 * Licensed under the OpenSSL license (the "License"). You may not use
7 * this file except in compliance with the License. You can obtain a copy
8 * in the file LICENSE in the source distribution or at
9 * https://www.openssl.org/source/license.html
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +000010 */
Rich Salz846e33c2016-05-17 14:18:30 -040011
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +000012#include <stdio.h>
Matt Caswellfc24f0b2017-01-17 10:43:37 +000013#include <time.h>
Matt Caswell8ba708e2015-09-11 10:48:59 +010014#include "../ssl_locl.h"
Matt Caswell61ae9352015-09-11 11:23:20 +010015#include "statem_locl.h"
Bodo Möllerec577821999-04-23 22:13:45 +000016#include <openssl/buffer.h>
17#include <openssl/rand.h>
18#include <openssl/objects.h>
19#include <openssl/evp.h>
Ben Lauriedbad1692001-07-30 23:57:25 +000020#include <openssl/md5.h>
Rich Salz3c272082016-03-18 14:30:20 -040021#include <openssl/dh.h>
Geoff Thorped095b682004-05-17 18:53:47 +000022#include <openssl/bn.h>
Rich Salz3c272082016-03-18 14:30:20 -040023#include <openssl/engine.h>
Richard Levittef9b3bff2000-11-30 22:53:34 +000024
Matt Caswell3847d422017-02-01 13:31:27 +000025static MSG_PROCESS_RETURN tls_process_hello_retry_request(SSL *s, PACKET *pkt);
Matt Caswelle46f2332016-11-23 15:20:22 +000026static MSG_PROCESS_RETURN tls_process_encrypted_extensions(SSL *s, PACKET *pkt);
27
Matt Caswell7ab09632015-12-23 09:45:02 +000028static ossl_inline int cert_req_allowed(SSL *s);
Matt Caswella455d0f2015-09-14 15:06:37 +010029static int key_exchange_expected(SSL *s);
Matt Caswelld45ba432015-04-24 15:05:27 +010030static int ssl_cipher_list_to_bytes(SSL *s, STACK_OF(SSL_CIPHER) *sk,
Matt Caswellae2f7b32016-09-05 17:34:04 +010031 WPACKET *pkt);
Bodo Möllerea262262002-08-09 08:56:08 +000032
Matt Caswell61ae9352015-09-11 11:23:20 +010033/*
34 * Is a CertificateRequest message allowed at the moment or not?
35 *
36 * Return values are:
37 * 1: Yes
38 * 0: No
39 */
Matt Caswell7ab09632015-12-23 09:45:02 +000040static ossl_inline int cert_req_allowed(SSL *s)
Matt Caswell61ae9352015-09-11 11:23:20 +010041{
42 /* TLS does not like anon-DH with client cert */
Matt Caswellb7fa1f92015-10-26 23:11:44 +000043 if ((s->version > SSL3_VERSION
Emilia Kaspera230b262016-08-05 19:03:17 +020044 && (s->s3->tmp.new_cipher->algorithm_auth & SSL_aNULL))
45 || (s->s3->tmp.new_cipher->algorithm_auth & (SSL_aSRP | SSL_aPSK)))
Matt Caswell61ae9352015-09-11 11:23:20 +010046 return 0;
47
48 return 1;
49}
50
51/*
Matt Caswella455d0f2015-09-14 15:06:37 +010052 * Should we expect the ServerKeyExchange message or not?
Matt Caswell61ae9352015-09-11 11:23:20 +010053 *
54 * Return values are:
55 * 1: Yes
56 * 0: No
57 */
Matt Caswella455d0f2015-09-14 15:06:37 +010058static int key_exchange_expected(SSL *s)
Matt Caswell61ae9352015-09-11 11:23:20 +010059{
60 long alg_k = s->s3->tmp.new_cipher->algorithm_mkey;
61
62 /*
63 * Can't skip server key exchange if this is an ephemeral
Matt Caswella455d0f2015-09-14 15:06:37 +010064 * ciphersuite or for SRP
Matt Caswell61ae9352015-09-11 11:23:20 +010065 */
Matt Caswella455d0f2015-09-14 15:06:37 +010066 if (alg_k & (SSL_kDHE | SSL_kECDHE | SSL_kDHEPSK | SSL_kECDHEPSK
67 | SSL_kSRP)) {
68 return 1;
Matt Caswell61ae9352015-09-11 11:23:20 +010069 }
70
Matt Caswella455d0f2015-09-14 15:06:37 +010071 return 0;
Matt Caswell61ae9352015-09-11 11:23:20 +010072}
73
74/*
Matt Caswell8481f582015-10-26 11:54:17 +000075 * ossl_statem_client_read_transition() encapsulates the logic for the allowed
Matt Caswell0f1e51e2016-11-02 15:03:56 +000076 * handshake state transitions when a TLS1.3 client is reading messages from the
77 * server. The message type that the server has sent is provided in |mt|. The
78 * current state is in |s->statem.hand_state|.
79 *
Matt Caswell94ed2c62016-11-14 14:53:31 +000080 * Return values are 1 for success (transition allowed) and 0 on error
81 * (transition not allowed)
Matt Caswell0f1e51e2016-11-02 15:03:56 +000082 */
83static int ossl_statem_client13_read_transition(SSL *s, int mt)
84{
85 OSSL_STATEM *st = &s->statem;
86
87 /*
88 * Note: There is no case for TLS_ST_CW_CLNT_HELLO, because we haven't
89 * yet negotiated TLSv1.3 at that point so that is handled by
90 * ossl_statem_client_read_transition()
91 */
92
93 switch (st->hand_state) {
94 default:
95 break;
96
Matt Caswell3847d422017-02-01 13:31:27 +000097 case TLS_ST_CW_CLNT_HELLO:
98 /*
99 * This must a ClientHello following a HelloRetryRequest, so the only
100 * thing we can get now is a ServerHello.
101 */
102 if (mt == SSL3_MT_SERVER_HELLO) {
103 st->hand_state = TLS_ST_CR_SRVR_HELLO;
104 return 1;
105 }
106 break;
107
Matt Caswell0f1e51e2016-11-02 15:03:56 +0000108 case TLS_ST_CR_SRVR_HELLO:
Matt Caswelle46f2332016-11-23 15:20:22 +0000109 if (mt == SSL3_MT_ENCRYPTED_EXTENSIONS) {
110 st->hand_state = TLS_ST_CR_ENCRYPTED_EXTENSIONS;
111 return 1;
112 }
113 break;
114
115 case TLS_ST_CR_ENCRYPTED_EXTENSIONS:
Matt Caswell0f1e51e2016-11-02 15:03:56 +0000116 if (s->hit) {
Matt Caswell92760c22016-11-09 14:06:12 +0000117 if (mt == SSL3_MT_FINISHED) {
118 st->hand_state = TLS_ST_CR_FINISHED;
Matt Caswell0f1e51e2016-11-02 15:03:56 +0000119 return 1;
120 }
121 } else {
Matt Caswell92760c22016-11-09 14:06:12 +0000122 if (mt == SSL3_MT_CERTIFICATE_REQUEST) {
123 st->hand_state = TLS_ST_CR_CERT_REQ;
124 return 1;
Matt Caswellf5ca0b02016-11-21 12:10:35 +0000125 }
126 if (mt == SSL3_MT_CERTIFICATE) {
Matt Caswell0f1e51e2016-11-02 15:03:56 +0000127 st->hand_state = TLS_ST_CR_CERT;
128 return 1;
129 }
130 }
131 break;
132
Matt Caswell92760c22016-11-09 14:06:12 +0000133 case TLS_ST_CR_CERT_REQ:
134 if (mt == SSL3_MT_CERTIFICATE) {
135 st->hand_state = TLS_ST_CR_CERT;
136 return 1;
137 }
138 break;
139
Matt Caswell0f1e51e2016-11-02 15:03:56 +0000140 case TLS_ST_CR_CERT:
Matt Caswell2c5dfdc2016-12-05 17:04:51 +0000141 if (mt == SSL3_MT_CERTIFICATE_VERIFY) {
142 st->hand_state = TLS_ST_CR_CERT_VRFY;
143 return 1;
144 }
145 break;
146
147 case TLS_ST_CR_CERT_VRFY:
Matt Caswell0f1e51e2016-11-02 15:03:56 +0000148 if (mt == SSL3_MT_FINISHED) {
149 st->hand_state = TLS_ST_CR_FINISHED;
150 return 1;
151 }
152 break;
Matt Caswellcc2455b2017-01-11 17:18:19 +0000153
154 case TLS_ST_OK:
155 if (mt == SSL3_MT_NEWSESSION_TICKET) {
156 st->hand_state = TLS_ST_CR_SESSION_TICKET;
157 return 1;
158 }
Matt Caswelle1c3de42017-02-09 12:07:31 +0000159 if (mt == SSL3_MT_KEY_UPDATE) {
160 st->hand_state = TLS_ST_CR_KEY_UPDATE;
161 return 1;
162 }
Matt Caswellcc2455b2017-01-11 17:18:19 +0000163 break;
Matt Caswell0f1e51e2016-11-02 15:03:56 +0000164 }
165
Matt Caswell0f1e51e2016-11-02 15:03:56 +0000166 /* No valid transition found */
Matt Caswell0f1e51e2016-11-02 15:03:56 +0000167 return 0;
168}
169
170/*
171 * ossl_statem_client_read_transition() encapsulates the logic for the allowed
Matt Caswell8481f582015-10-26 11:54:17 +0000172 * handshake state transitions when the client is reading messages from the
173 * server. The message type that the server has sent is provided in |mt|. The
174 * current state is in |s->statem.hand_state|.
Matt Caswell61ae9352015-09-11 11:23:20 +0100175 *
Matt Caswell94ed2c62016-11-14 14:53:31 +0000176 * Return values are 1 for success (transition allowed) and 0 on error
177 * (transition not allowed)
Matt Caswell61ae9352015-09-11 11:23:20 +0100178 */
Matt Caswell8481f582015-10-26 11:54:17 +0000179int ossl_statem_client_read_transition(SSL *s, int mt)
Matt Caswell61ae9352015-09-11 11:23:20 +0100180{
Matt Caswelld6f1a6e2015-10-05 10:58:52 +0100181 OSSL_STATEM *st = &s->statem;
Matt Caswella455d0f2015-09-14 15:06:37 +0100182 int ske_expected;
Matt Caswell61ae9352015-09-11 11:23:20 +0100183
Matt Caswell0f1e51e2016-11-02 15:03:56 +0000184 /*
Matt Caswell3847d422017-02-01 13:31:27 +0000185 * Note that after writing the first ClientHello we don't know what version
186 * we are going to negotiate yet, so we don't take this branch until later.
Matt Caswell0f1e51e2016-11-02 15:03:56 +0000187 */
Matt Caswellf5ca0b02016-11-21 12:10:35 +0000188 if (SSL_IS_TLS13(s)) {
Matt Caswell5abeaf32016-11-15 10:30:34 +0000189 if (!ossl_statem_client13_read_transition(s, mt))
190 goto err;
191 return 1;
192 }
Matt Caswell0f1e51e2016-11-02 15:03:56 +0000193
Emilia Kaspera230b262016-08-05 19:03:17 +0200194 switch (st->hand_state) {
Rich Salzf3b3d7f2016-08-30 13:31:18 -0400195 default:
196 break;
197
Matt Caswell61ae9352015-09-11 11:23:20 +0100198 case TLS_ST_CW_CLNT_HELLO:
199 if (mt == SSL3_MT_SERVER_HELLO) {
200 st->hand_state = TLS_ST_CR_SRVR_HELLO;
201 return 1;
202 }
203
204 if (SSL_IS_DTLS(s)) {
205 if (mt == DTLS1_MT_HELLO_VERIFY_REQUEST) {
206 st->hand_state = DTLS_ST_CR_HELLO_VERIFY_REQUEST;
207 return 1;
208 }
Matt Caswell3847d422017-02-01 13:31:27 +0000209 } else {
210 if (mt == SSL3_MT_HELLO_RETRY_REQUEST) {
211 st->hand_state = TLS_ST_CR_HELLO_RETRY_REQUEST;
212 return 1;
213 }
Matt Caswell61ae9352015-09-11 11:23:20 +0100214 }
215 break;
216
Matt Caswelld7f87832017-02-25 15:59:44 +0000217 case TLS_ST_EARLY_DATA:
Matt Caswell4004ce52017-02-25 00:06:49 +0000218 /*
219 * We've not actually selected TLSv1.3 yet, but we have sent early
220 * data. The only thing allowed now is a ServerHello or a
221 * HelloRetryRequest.
222 */
223 if (mt == SSL3_MT_SERVER_HELLO) {
224 st->hand_state = TLS_ST_CR_SRVR_HELLO;
225 return 1;
226 }
227 if (mt == SSL3_MT_HELLO_RETRY_REQUEST) {
228 st->hand_state = TLS_ST_CR_HELLO_RETRY_REQUEST;
229 return 1;
230 }
231 break;
232
Matt Caswell61ae9352015-09-11 11:23:20 +0100233 case TLS_ST_CR_SRVR_HELLO:
234 if (s->hit) {
Rich Salzaff8c122016-12-08 14:18:40 -0500235 if (s->ext.ticket_expected) {
Matt Caswell61ae9352015-09-11 11:23:20 +0100236 if (mt == SSL3_MT_NEWSESSION_TICKET) {
237 st->hand_state = TLS_ST_CR_SESSION_TICKET;
238 return 1;
239 }
240 } else if (mt == SSL3_MT_CHANGE_CIPHER_SPEC) {
241 st->hand_state = TLS_ST_CR_CHANGE;
242 return 1;
243 }
244 } else {
245 if (SSL_IS_DTLS(s) && mt == DTLS1_MT_HELLO_VERIFY_REQUEST) {
246 st->hand_state = DTLS_ST_CR_HELLO_VERIFY_REQUEST;
247 return 1;
Matt Caswellad3819c2015-12-04 10:18:01 +0000248 } else if (s->version >= TLS1_VERSION
Rich Salzaff8c122016-12-08 14:18:40 -0500249 && s->ext.session_secret_cb != NULL
250 && s->session->ext.tick != NULL
Emilia Kaspera230b262016-08-05 19:03:17 +0200251 && mt == SSL3_MT_CHANGE_CIPHER_SPEC) {
Matt Caswellad3819c2015-12-04 10:18:01 +0000252 /*
253 * Normally, we can tell if the server is resuming the session
254 * from the session ID. EAP-FAST (RFC 4851), however, relies on
255 * the next server message after the ServerHello to determine if
256 * the server is resuming.
257 */
258 s->hit = 1;
259 st->hand_state = TLS_ST_CR_CHANGE;
260 return 1;
Matt Caswell61ae9352015-09-11 11:23:20 +0100261 } else if (!(s->s3->tmp.new_cipher->algorithm_auth
Emilia Kaspera230b262016-08-05 19:03:17 +0200262 & (SSL_aNULL | SSL_aSRP | SSL_aPSK))) {
Matt Caswell61ae9352015-09-11 11:23:20 +0100263 if (mt == SSL3_MT_CERTIFICATE) {
264 st->hand_state = TLS_ST_CR_CERT;
265 return 1;
266 }
267 } else {
Matt Caswella455d0f2015-09-14 15:06:37 +0100268 ske_expected = key_exchange_expected(s);
Matt Caswella455d0f2015-09-14 15:06:37 +0100269 /* SKE is optional for some PSK ciphersuites */
270 if (ske_expected
Emilia Kaspera230b262016-08-05 19:03:17 +0200271 || ((s->s3->tmp.new_cipher->algorithm_mkey & SSL_PSK)
272 && mt == SSL3_MT_SERVER_KEY_EXCHANGE)) {
Matt Caswella455d0f2015-09-14 15:06:37 +0100273 if (mt == SSL3_MT_SERVER_KEY_EXCHANGE) {
274 st->hand_state = TLS_ST_CR_KEY_EXCH;
275 return 1;
276 }
277 } else if (mt == SSL3_MT_CERTIFICATE_REQUEST
Emilia Kaspera230b262016-08-05 19:03:17 +0200278 && cert_req_allowed(s)) {
279 st->hand_state = TLS_ST_CR_CERT_REQ;
280 return 1;
Matt Caswella455d0f2015-09-14 15:06:37 +0100281 } else if (mt == SSL3_MT_SERVER_DONE) {
Emilia Kaspera230b262016-08-05 19:03:17 +0200282 st->hand_state = TLS_ST_CR_SRVR_DONE;
283 return 1;
Matt Caswell61ae9352015-09-11 11:23:20 +0100284 }
285 }
286 }
287 break;
288
289 case TLS_ST_CR_CERT:
Matt Caswellbb1aaab2015-11-05 14:31:11 +0000290 /*
291 * The CertificateStatus message is optional even if
Rich Salzaff8c122016-12-08 14:18:40 -0500292 * |ext.status_expected| is set
Matt Caswellbb1aaab2015-11-05 14:31:11 +0000293 */
Rich Salzaff8c122016-12-08 14:18:40 -0500294 if (s->ext.status_expected && mt == SSL3_MT_CERTIFICATE_STATUS) {
Matt Caswellbb1aaab2015-11-05 14:31:11 +0000295 st->hand_state = TLS_ST_CR_CERT_STATUS;
296 return 1;
Matt Caswella455d0f2015-09-14 15:06:37 +0100297 }
298 /* Fall through */
299
300 case TLS_ST_CR_CERT_STATUS:
301 ske_expected = key_exchange_expected(s);
Matt Caswella455d0f2015-09-14 15:06:37 +0100302 /* SKE is optional for some PSK ciphersuites */
Emilia Kaspera230b262016-08-05 19:03:17 +0200303 if (ske_expected || ((s->s3->tmp.new_cipher->algorithm_mkey & SSL_PSK)
304 && mt == SSL3_MT_SERVER_KEY_EXCHANGE)) {
Matt Caswell61ae9352015-09-11 11:23:20 +0100305 if (mt == SSL3_MT_SERVER_KEY_EXCHANGE) {
306 st->hand_state = TLS_ST_CR_KEY_EXCH;
307 return 1;
Matt Caswell61ae9352015-09-11 11:23:20 +0100308 }
Matt Caswell672f3332016-06-22 19:43:46 +0100309 goto err;
Matt Caswell61ae9352015-09-11 11:23:20 +0100310 }
Matt Caswella455d0f2015-09-14 15:06:37 +0100311 /* Fall through */
Matt Caswell61ae9352015-09-11 11:23:20 +0100312
313 case TLS_ST_CR_KEY_EXCH:
Matt Caswella455d0f2015-09-14 15:06:37 +0100314 if (mt == SSL3_MT_CERTIFICATE_REQUEST) {
315 if (cert_req_allowed(s)) {
316 st->hand_state = TLS_ST_CR_CERT_REQ;
317 return 1;
318 }
Matt Caswell672f3332016-06-22 19:43:46 +0100319 goto err;
Matt Caswell61ae9352015-09-11 11:23:20 +0100320 }
Matt Caswella455d0f2015-09-14 15:06:37 +0100321 /* Fall through */
Matt Caswell61ae9352015-09-11 11:23:20 +0100322
323 case TLS_ST_CR_CERT_REQ:
324 if (mt == SSL3_MT_SERVER_DONE) {
325 st->hand_state = TLS_ST_CR_SRVR_DONE;
326 return 1;
327 }
328 break;
329
330 case TLS_ST_CW_FINISHED:
Rich Salzaff8c122016-12-08 14:18:40 -0500331 if (s->ext.ticket_expected) {
David Benjaminc45d6b22016-03-05 19:35:52 -0500332 if (mt == SSL3_MT_NEWSESSION_TICKET) {
333 st->hand_state = TLS_ST_CR_SESSION_TICKET;
334 return 1;
335 }
Matt Caswell61ae9352015-09-11 11:23:20 +0100336 } else if (mt == SSL3_MT_CHANGE_CIPHER_SPEC) {
337 st->hand_state = TLS_ST_CR_CHANGE;
338 return 1;
339 }
340 break;
341
342 case TLS_ST_CR_SESSION_TICKET:
343 if (mt == SSL3_MT_CHANGE_CIPHER_SPEC) {
344 st->hand_state = TLS_ST_CR_CHANGE;
345 return 1;
346 }
347 break;
348
349 case TLS_ST_CR_CHANGE:
350 if (mt == SSL3_MT_FINISHED) {
351 st->hand_state = TLS_ST_CR_FINISHED;
352 return 1;
353 }
354 break;
Matt Caswellc7f47782017-01-10 23:02:28 +0000355
356 case TLS_ST_OK:
Matt Caswell4004ce52017-02-25 00:06:49 +0000357 if (mt == SSL3_MT_HELLO_REQUEST) {
Matt Caswellc7f47782017-01-10 23:02:28 +0000358 st->hand_state = TLS_ST_CR_HELLO_REQ;
359 return 1;
360 }
361 break;
Matt Caswell61ae9352015-09-11 11:23:20 +0100362 }
363
Matt Caswell672f3332016-06-22 19:43:46 +0100364 err:
Matt Caswell61ae9352015-09-11 11:23:20 +0100365 /* No valid transition found */
Matt Caswell672f3332016-06-22 19:43:46 +0100366 ssl3_send_alert(s, SSL3_AL_FATAL, SSL3_AD_UNEXPECTED_MESSAGE);
Richard Levitte340a2822016-07-19 11:50:31 +0200367 SSLerr(SSL_F_OSSL_STATEM_CLIENT_READ_TRANSITION, SSL_R_UNEXPECTED_MESSAGE);
Matt Caswell61ae9352015-09-11 11:23:20 +0100368 return 0;
369}
370
371/*
Matt Caswell0f1e51e2016-11-02 15:03:56 +0000372 * ossl_statem_client13_write_transition() works out what handshake state to
373 * move to next when the TLSv1.3 client is writing messages to be sent to the
374 * server.
Matt Caswell0f1e51e2016-11-02 15:03:56 +0000375 */
376static WRITE_TRAN ossl_statem_client13_write_transition(SSL *s)
377{
378 OSSL_STATEM *st = &s->statem;
379
380 /*
Matt Caswell3847d422017-02-01 13:31:27 +0000381 * Note: There are no cases for TLS_ST_BEFORE because we haven't negotiated
382 * TLSv1.3 yet at that point. They are handled by
383 * ossl_statem_client_write_transition().
Matt Caswell0f1e51e2016-11-02 15:03:56 +0000384 */
385 switch (st->hand_state) {
386 default:
387 /* Shouldn't happen */
388 return WRITE_TRAN_ERROR;
389
Matt Caswell3847d422017-02-01 13:31:27 +0000390 case TLS_ST_CW_CLNT_HELLO:
391 /* We only hit this in the case of HelloRetryRequest */
392 return WRITE_TRAN_FINISHED;
393
394 case TLS_ST_CR_HELLO_RETRY_REQUEST:
395 st->hand_state = TLS_ST_CW_CLNT_HELLO;
396 return WRITE_TRAN_CONTINUE;
397
Matt Caswell92760c22016-11-09 14:06:12 +0000398 case TLS_ST_CR_FINISHED:
Matt Caswellef6c1912017-03-09 15:03:07 +0000399 if (s->early_data_state == SSL_EARLY_DATA_WRITE_RETRY
400 || s->early_data_state == SSL_EARLY_DATA_FINISHED_WRITING)
Matt Caswelld7f87832017-02-25 15:59:44 +0000401 st->hand_state = TLS_ST_PENDING_EARLY_DATA_END;
Matt Caswell564547e2017-02-25 15:34:07 +0000402 else
403 st->hand_state = (s->s3->tmp.cert_req != 0) ? TLS_ST_CW_CERT
404 : TLS_ST_CW_FINISHED;
405 return WRITE_TRAN_CONTINUE;
406
Matt Caswelld7f87832017-02-25 15:59:44 +0000407 case TLS_ST_PENDING_EARLY_DATA_END:
Matt Caswellef6c1912017-03-09 15:03:07 +0000408 if (s->ext.early_data == SSL_EARLY_DATA_ACCEPTED) {
409 st->hand_state = TLS_ST_CW_END_OF_EARLY_DATA;
410 return WRITE_TRAN_CONTINUE;
411 }
412 /* Fall through */
413
414 case TLS_ST_CW_END_OF_EARLY_DATA:
Matt Caswell94ed2c62016-11-14 14:53:31 +0000415 st->hand_state = (s->s3->tmp.cert_req != 0) ? TLS_ST_CW_CERT
Matt Caswell92760c22016-11-09 14:06:12 +0000416 : TLS_ST_CW_FINISHED;
Matt Caswell0f1e51e2016-11-02 15:03:56 +0000417 return WRITE_TRAN_CONTINUE;
418
419 case TLS_ST_CW_CERT:
420 /* If a non-empty Certificate we also send CertificateVerify */
Matt Caswell94ed2c62016-11-14 14:53:31 +0000421 st->hand_state = (s->s3->tmp.cert_req == 1) ? TLS_ST_CW_CERT_VRFY
Matt Caswell92760c22016-11-09 14:06:12 +0000422 : TLS_ST_CW_FINISHED;
Matt Caswell0f1e51e2016-11-02 15:03:56 +0000423 return WRITE_TRAN_CONTINUE;
424
425 case TLS_ST_CW_CERT_VRFY:
Matt Caswell0f1e51e2016-11-02 15:03:56 +0000426 st->hand_state = TLS_ST_CW_FINISHED;
427 return WRITE_TRAN_CONTINUE;
428
Matt Caswelle1c3de42017-02-09 12:07:31 +0000429 case TLS_ST_CR_KEY_UPDATE:
Matt Caswell5bf47932017-02-09 16:00:12 +0000430 if (s->key_update != SSL_KEY_UPDATE_NONE) {
431 st->hand_state = TLS_ST_CW_KEY_UPDATE;
432 return WRITE_TRAN_CONTINUE;
433 }
434 /* Fall through */
435
Matt Caswell9412b3a2017-02-09 13:12:00 +0000436 case TLS_ST_CW_KEY_UPDATE:
Matt Caswellcc2455b2017-01-11 17:18:19 +0000437 case TLS_ST_CR_SESSION_TICKET:
Matt Caswell0f1e51e2016-11-02 15:03:56 +0000438 case TLS_ST_CW_FINISHED:
Matt Caswell94ed2c62016-11-14 14:53:31 +0000439 st->hand_state = TLS_ST_OK;
Matt Caswell94ed2c62016-11-14 14:53:31 +0000440 return WRITE_TRAN_CONTINUE;
Matt Caswellcc2455b2017-01-11 17:18:19 +0000441
442 case TLS_ST_OK:
Matt Caswell9412b3a2017-02-09 13:12:00 +0000443 if (s->key_update != SSL_KEY_UPDATE_NONE) {
444 st->hand_state = TLS_ST_CW_KEY_UPDATE;
445 return WRITE_TRAN_CONTINUE;
446 }
447
448 /* Try to read from the server instead */
Matt Caswellcc2455b2017-01-11 17:18:19 +0000449 return WRITE_TRAN_FINISHED;
Matt Caswell0f1e51e2016-11-02 15:03:56 +0000450 }
451}
452
453/*
454 * ossl_statem_client_write_transition() works out what handshake state to
455 * move to next when the client is writing messages to be sent to the server.
Matt Caswell61ae9352015-09-11 11:23:20 +0100456 */
Matt Caswell8481f582015-10-26 11:54:17 +0000457WRITE_TRAN ossl_statem_client_write_transition(SSL *s)
Matt Caswell61ae9352015-09-11 11:23:20 +0100458{
Matt Caswelld6f1a6e2015-10-05 10:58:52 +0100459 OSSL_STATEM *st = &s->statem;
Matt Caswell61ae9352015-09-11 11:23:20 +0100460
Matt Caswell0f1e51e2016-11-02 15:03:56 +0000461 /*
462 * Note that immediately before/after a ClientHello we don't know what
463 * version we are going to negotiate yet, so we don't take this branch until
464 * later
465 */
Matt Caswellf5ca0b02016-11-21 12:10:35 +0000466 if (SSL_IS_TLS13(s))
Matt Caswell0f1e51e2016-11-02 15:03:56 +0000467 return ossl_statem_client13_write_transition(s);
468
Emilia Kaspera230b262016-08-05 19:03:17 +0200469 switch (st->hand_state) {
Rich Salzf3b3d7f2016-08-30 13:31:18 -0400470 default:
471 /* Shouldn't happen */
472 return WRITE_TRAN_ERROR;
473
Emilia Kaspera230b262016-08-05 19:03:17 +0200474 case TLS_ST_OK:
Matt Caswellc7f47782017-01-10 23:02:28 +0000475 if (!s->renegotiate) {
476 /*
477 * We haven't requested a renegotiation ourselves so we must have
478 * received a message from the server. Better read it.
479 */
480 return WRITE_TRAN_FINISHED;
481 }
Bernd Edlinger018fcbe2017-05-11 16:21:37 +0200482 /* Renegotiation */
483 /* fall thru */
Emilia Kaspera230b262016-08-05 19:03:17 +0200484 case TLS_ST_BEFORE:
485 st->hand_state = TLS_ST_CW_CLNT_HELLO;
486 return WRITE_TRAN_CONTINUE;
Matt Caswell61ae9352015-09-11 11:23:20 +0100487
Emilia Kaspera230b262016-08-05 19:03:17 +0200488 case TLS_ST_CW_CLNT_HELLO:
Matt Caswell49e7fe12017-02-21 09:22:22 +0000489 if (s->early_data_state == SSL_EARLY_DATA_CONNECTING) {
490 /*
491 * We are assuming this is a TLSv1.3 connection, although we haven't
492 * actually selected a version yet.
493 */
Matt Caswelld7f87832017-02-25 15:59:44 +0000494 st->hand_state = TLS_ST_EARLY_DATA;
Matt Caswell49e7fe12017-02-21 09:22:22 +0000495 return WRITE_TRAN_CONTINUE;
496 }
Emilia Kaspera230b262016-08-05 19:03:17 +0200497 /*
498 * No transition at the end of writing because we don't know what
499 * we will be sent
500 */
501 return WRITE_TRAN_FINISHED;
Matt Caswell61ae9352015-09-11 11:23:20 +0100502
Matt Caswelld7f87832017-02-25 15:59:44 +0000503 case TLS_ST_EARLY_DATA:
Matt Caswell4004ce52017-02-25 00:06:49 +0000504 return WRITE_TRAN_FINISHED;
505
Emilia Kaspera230b262016-08-05 19:03:17 +0200506 case DTLS_ST_CR_HELLO_VERIFY_REQUEST:
507 st->hand_state = TLS_ST_CW_CLNT_HELLO;
508 return WRITE_TRAN_CONTINUE;
Matt Caswell61ae9352015-09-11 11:23:20 +0100509
Emilia Kaspera230b262016-08-05 19:03:17 +0200510 case TLS_ST_CR_SRVR_DONE:
511 if (s->s3->tmp.cert_req)
512 st->hand_state = TLS_ST_CW_CERT;
513 else
Matt Caswell61ae9352015-09-11 11:23:20 +0100514 st->hand_state = TLS_ST_CW_KEY_EXCH;
Emilia Kaspera230b262016-08-05 19:03:17 +0200515 return WRITE_TRAN_CONTINUE;
Matt Caswell61ae9352015-09-11 11:23:20 +0100516
Emilia Kaspera230b262016-08-05 19:03:17 +0200517 case TLS_ST_CW_CERT:
518 st->hand_state = TLS_ST_CW_KEY_EXCH;
519 return WRITE_TRAN_CONTINUE;
Matt Caswell61ae9352015-09-11 11:23:20 +0100520
Emilia Kaspera230b262016-08-05 19:03:17 +0200521 case TLS_ST_CW_KEY_EXCH:
522 /*
523 * For TLS, cert_req is set to 2, so a cert chain of nothing is
524 * sent, but no verify packet is sent
525 */
526 /*
527 * XXX: For now, we do not support client authentication in ECDH
528 * cipher suites with ECDH (rather than ECDSA) certificates. We
529 * need to skip the certificate verify message when client's
530 * ECDH public key is sent inside the client certificate.
531 */
532 if (s->s3->tmp.cert_req == 1) {
533 st->hand_state = TLS_ST_CW_CERT_VRFY;
534 } else {
Matt Caswell61ae9352015-09-11 11:23:20 +0100535 st->hand_state = TLS_ST_CW_CHANGE;
Emilia Kaspera230b262016-08-05 19:03:17 +0200536 }
537 if (s->s3->flags & TLS1_FLAGS_SKIP_CERT_VERIFY) {
538 st->hand_state = TLS_ST_CW_CHANGE;
539 }
540 return WRITE_TRAN_CONTINUE;
Matt Caswell61ae9352015-09-11 11:23:20 +0100541
Emilia Kaspera230b262016-08-05 19:03:17 +0200542 case TLS_ST_CW_CERT_VRFY:
543 st->hand_state = TLS_ST_CW_CHANGE;
544 return WRITE_TRAN_CONTINUE;
545
546 case TLS_ST_CW_CHANGE:
Matt Caswell61ae9352015-09-11 11:23:20 +0100547#if defined(OPENSSL_NO_NEXTPROTONEG)
Matt Caswell4004ce52017-02-25 00:06:49 +0000548 st->
549 hand_state = TLS_ST_CW_FINISHED;
Matt Caswell61ae9352015-09-11 11:23:20 +0100550#else
Rich Salzaff8c122016-12-08 14:18:40 -0500551 if (!SSL_IS_DTLS(s) && s->s3->npn_seen)
Emilia Kaspera230b262016-08-05 19:03:17 +0200552 st->hand_state = TLS_ST_CW_NEXT_PROTO;
553 else
554 st->hand_state = TLS_ST_CW_FINISHED;
Matt Caswell61ae9352015-09-11 11:23:20 +0100555#endif
Emilia Kaspera230b262016-08-05 19:03:17 +0200556 return WRITE_TRAN_CONTINUE;
Matt Caswell61ae9352015-09-11 11:23:20 +0100557
558#if !defined(OPENSSL_NO_NEXTPROTONEG)
Emilia Kaspera230b262016-08-05 19:03:17 +0200559 case TLS_ST_CW_NEXT_PROTO:
560 st->hand_state = TLS_ST_CW_FINISHED;
561 return WRITE_TRAN_CONTINUE;
Matt Caswell61ae9352015-09-11 11:23:20 +0100562#endif
563
Emilia Kaspera230b262016-08-05 19:03:17 +0200564 case TLS_ST_CW_FINISHED:
565 if (s->hit) {
566 st->hand_state = TLS_ST_OK;
Emilia Kaspera230b262016-08-05 19:03:17 +0200567 return WRITE_TRAN_CONTINUE;
568 } else {
569 return WRITE_TRAN_FINISHED;
570 }
Matt Caswell61ae9352015-09-11 11:23:20 +0100571
Emilia Kaspera230b262016-08-05 19:03:17 +0200572 case TLS_ST_CR_FINISHED:
573 if (s->hit) {
574 st->hand_state = TLS_ST_CW_CHANGE;
575 return WRITE_TRAN_CONTINUE;
576 } else {
577 st->hand_state = TLS_ST_OK;
Emilia Kaspera230b262016-08-05 19:03:17 +0200578 return WRITE_TRAN_CONTINUE;
579 }
Matt Caswellc7f47782017-01-10 23:02:28 +0000580
581 case TLS_ST_CR_HELLO_REQ:
582 /*
583 * If we can renegotiate now then do so, otherwise wait for a more
584 * convenient time.
585 */
586 if (ssl3_renegotiate_check(s, 1)) {
587 if (!tls_setup_handshake(s)) {
588 ossl_statem_set_error(s);
589 return WRITE_TRAN_ERROR;
590 }
591 st->hand_state = TLS_ST_CW_CLNT_HELLO;
592 return WRITE_TRAN_CONTINUE;
593 }
594 st->hand_state = TLS_ST_OK;
Matt Caswellc7f47782017-01-10 23:02:28 +0000595 return WRITE_TRAN_CONTINUE;
Matt Caswell61ae9352015-09-11 11:23:20 +0100596 }
597}
598
599/*
600 * Perform any pre work that needs to be done prior to sending a message from
601 * the client to the server.
602 */
Matt Caswell8481f582015-10-26 11:54:17 +0000603WORK_STATE ossl_statem_client_pre_work(SSL *s, WORK_STATE wst)
Matt Caswell61ae9352015-09-11 11:23:20 +0100604{
Matt Caswelld6f1a6e2015-10-05 10:58:52 +0100605 OSSL_STATEM *st = &s->statem;
Matt Caswell61ae9352015-09-11 11:23:20 +0100606
Emilia Kaspera230b262016-08-05 19:03:17 +0200607 switch (st->hand_state) {
Rich Salzf3b3d7f2016-08-30 13:31:18 -0400608 default:
609 /* No pre work to be done */
610 break;
611
Matt Caswell61ae9352015-09-11 11:23:20 +0100612 case TLS_ST_CW_CLNT_HELLO:
613 s->shutdown = 0;
614 if (SSL_IS_DTLS(s)) {
615 /* every DTLS ClientHello resets Finished MAC */
Matt Caswell2c4a0562016-06-03 11:59:19 +0100616 if (!ssl3_init_finished_mac(s)) {
617 ossl_statem_set_error(s);
618 return WORK_ERROR;
619 }
Matt Caswell61ae9352015-09-11 11:23:20 +0100620 }
621 break;
622
Matt Caswell61ae9352015-09-11 11:23:20 +0100623 case TLS_ST_CW_CHANGE:
624 if (SSL_IS_DTLS(s)) {
625 if (s->hit) {
626 /*
627 * We're into the last flight so we don't retransmit these
628 * messages unless we need to.
629 */
630 st->use_timer = 0;
631 }
632#ifndef OPENSSL_NO_SCTP
633 if (BIO_dgram_is_sctp(SSL_get_wbio(s)))
634 return dtls_wait_for_dry(s);
635#endif
636 }
Rich Salzf3b3d7f2016-08-30 13:31:18 -0400637 break;
Matt Caswell61ae9352015-09-11 11:23:20 +0100638
Matt Caswelld7f87832017-02-25 15:59:44 +0000639 case TLS_ST_PENDING_EARLY_DATA_END:
Matt Caswellef6c1912017-03-09 15:03:07 +0000640 /*
641 * If we've been called by SSL_do_handshake()/SSL_write(), or we did not
642 * attempt to write early data before calling SSL_read() then we press
643 * on with the handshake. Otherwise we pause here.
644 */
645 if (s->early_data_state == SSL_EARLY_DATA_FINISHED_WRITING
646 || s->early_data_state == SSL_EARLY_DATA_NONE)
647 return WORK_FINISHED_CONTINUE;
648 /* Fall through */
649
650 case TLS_ST_EARLY_DATA:
Matt Caswell61ae9352015-09-11 11:23:20 +0100651 case TLS_ST_OK:
Matt Caswell30f05b12017-01-13 09:19:10 +0000652 return tls_finish_handshake(s, wst, 1);
Matt Caswell61ae9352015-09-11 11:23:20 +0100653 }
654
655 return WORK_FINISHED_CONTINUE;
656}
657
658/*
659 * Perform any work that needs to be done after sending a message from the
660 * client to the server.
661 */
Matt Caswell8481f582015-10-26 11:54:17 +0000662WORK_STATE ossl_statem_client_post_work(SSL *s, WORK_STATE wst)
Matt Caswell61ae9352015-09-11 11:23:20 +0100663{
Matt Caswelld6f1a6e2015-10-05 10:58:52 +0100664 OSSL_STATEM *st = &s->statem;
Matt Caswell61ae9352015-09-11 11:23:20 +0100665
666 s->init_num = 0;
667
Emilia Kaspera230b262016-08-05 19:03:17 +0200668 switch (st->hand_state) {
Rich Salzf3b3d7f2016-08-30 13:31:18 -0400669 default:
670 /* No post work to be done */
671 break;
672
Matt Caswell61ae9352015-09-11 11:23:20 +0100673 case TLS_ST_CW_CLNT_HELLO:
Matt Caswell46417562016-05-17 12:28:14 +0100674 if (wst == WORK_MORE_A && statem_flush(s) != 1)
Matt Caswell61ae9352015-09-11 11:23:20 +0100675 return WORK_MORE_A;
Matt Caswell46417562016-05-17 12:28:14 +0100676
Matt Caswell61ae9352015-09-11 11:23:20 +0100677 if (SSL_IS_DTLS(s)) {
678 /* Treat the next message as the first packet */
679 s->first_packet = 1;
680 }
Matt Caswell6cb42262017-02-21 16:40:16 +0000681
682 if (s->early_data_state == SSL_EARLY_DATA_CONNECTING
683 && s->max_early_data > 0) {
684 /*
685 * We haven't selected TLSv1.3 yet so we don't call the change
686 * cipher state function associated with the SSL_METHOD. Instead
687 * we call tls13_change_cipher_state() directly.
688 */
689 if (!tls13_change_cipher_state(s,
690 SSL3_CC_EARLY | SSL3_CHANGE_CIPHER_CLIENT_WRITE))
Matt Caswell1ea4d092017-02-22 13:01:48 +0000691 return WORK_ERROR;
Matt Caswell6cb42262017-02-21 16:40:16 +0000692 }
Matt Caswell61ae9352015-09-11 11:23:20 +0100693 break;
694
Matt Caswellef6c1912017-03-09 15:03:07 +0000695 case TLS_ST_CW_END_OF_EARLY_DATA:
696 /*
697 * We set the enc_write_ctx back to NULL because we may end up writing
698 * in cleartext again if we get a HelloRetryRequest from the server.
699 */
700 EVP_CIPHER_CTX_free(s->enc_write_ctx);
701 s->enc_write_ctx = NULL;
702 break;
703
Matt Caswell61ae9352015-09-11 11:23:20 +0100704 case TLS_ST_CW_KEY_EXCH:
705 if (tls_client_key_exchange_post_work(s) == 0)
706 return WORK_ERROR;
707 break;
708
709 case TLS_ST_CW_CHANGE:
710 s->session->cipher = s->s3->tmp.new_cipher;
711#ifdef OPENSSL_NO_COMP
712 s->session->compress_meth = 0;
713#else
714 if (s->s3->tmp.new_compression == NULL)
715 s->session->compress_meth = 0;
716 else
717 s->session->compress_meth = s->s3->tmp.new_compression->id;
718#endif
719 if (!s->method->ssl3_enc->setup_key_block(s))
720 return WORK_ERROR;
721
722 if (!s->method->ssl3_enc->change_cipher_state(s,
723 SSL3_CHANGE_CIPHER_CLIENT_WRITE))
724 return WORK_ERROR;
725
726 if (SSL_IS_DTLS(s)) {
727#ifndef OPENSSL_NO_SCTP
728 if (s->hit) {
729 /*
730 * Change to new shared key of SCTP-Auth, will be ignored if
731 * no SCTP used.
732 */
733 BIO_ctrl(SSL_get_wbio(s), BIO_CTRL_DGRAM_SCTP_NEXT_AUTH_KEY,
734 0, NULL);
735 }
736#endif
737
738 dtls1_reset_seq_numbers(s, SSL3_CC_WRITE);
739 }
740 break;
741
742 case TLS_ST_CW_FINISHED:
743#ifndef OPENSSL_NO_SCTP
744 if (wst == WORK_MORE_A && SSL_IS_DTLS(s) && s->hit == 0) {
745 /*
746 * Change to new shared key of SCTP-Auth, will be ignored if
747 * no SCTP used.
748 */
749 BIO_ctrl(SSL_get_wbio(s), BIO_CTRL_DGRAM_SCTP_NEXT_AUTH_KEY,
750 0, NULL);
751 }
752#endif
753 if (statem_flush(s) != 1)
754 return WORK_MORE_B;
Matt Caswell92760c22016-11-09 14:06:12 +0000755
756 if (SSL_IS_TLS13(s)) {
757 if (!s->method->ssl3_enc->change_cipher_state(s,
758 SSL3_CC_APPLICATION | SSL3_CHANGE_CIPHER_CLIENT_WRITE))
759 return WORK_ERROR;
760 }
Matt Caswell61ae9352015-09-11 11:23:20 +0100761 break;
Matt Caswell9412b3a2017-02-09 13:12:00 +0000762
763 case TLS_ST_CW_KEY_UPDATE:
764 if (statem_flush(s) != 1)
765 return WORK_MORE_A;
Matt Caswell57389a32017-02-10 17:43:09 +0000766 if (!tls13_update_key(s, 1))
767 return WORK_ERROR;
Matt Caswell9412b3a2017-02-09 13:12:00 +0000768 break;
Matt Caswell61ae9352015-09-11 11:23:20 +0100769 }
770
771 return WORK_FINISHED_CONTINUE;
772}
773
774/*
Matt Caswell6392fb82016-09-30 11:17:57 +0100775 * Get the message construction function and message type for sending from the
776 * client
Matt Caswell61ae9352015-09-11 11:23:20 +0100777 *
778 * Valid return values are:
779 * 1: Success
780 * 0: Error
781 */
Matt Caswell6392fb82016-09-30 11:17:57 +0100782int ossl_statem_client_construct_message(SSL *s, WPACKET *pkt,
Matt Caswella15c9532016-10-03 15:35:17 +0100783 confunc_f *confunc, int *mt)
Matt Caswell61ae9352015-09-11 11:23:20 +0100784{
Matt Caswelld6f1a6e2015-10-05 10:58:52 +0100785 OSSL_STATEM *st = &s->statem;
Matt Caswell61ae9352015-09-11 11:23:20 +0100786
Matt Caswell4a01c592016-09-30 10:38:32 +0100787 switch (st->hand_state) {
788 default:
789 /* Shouldn't happen */
790 return 0;
791
792 case TLS_ST_CW_CHANGE:
Matt Caswell61ae9352015-09-11 11:23:20 +0100793 if (SSL_IS_DTLS(s))
Matt Caswell6392fb82016-09-30 11:17:57 +0100794 *confunc = dtls_construct_change_cipher_spec;
Matt Caswell4a01c592016-09-30 10:38:32 +0100795 else
Matt Caswell6392fb82016-09-30 11:17:57 +0100796 *confunc = tls_construct_change_cipher_spec;
797 *mt = SSL3_MT_CHANGE_CIPHER_SPEC;
Matt Caswell4a01c592016-09-30 10:38:32 +0100798 break;
Matt Caswell5923ad42016-09-30 00:27:40 +0100799
Matt Caswell4a01c592016-09-30 10:38:32 +0100800 case TLS_ST_CW_CLNT_HELLO:
Matt Caswell6392fb82016-09-30 11:17:57 +0100801 *confunc = tls_construct_client_hello;
802 *mt = SSL3_MT_CLIENT_HELLO;
Matt Caswell4a01c592016-09-30 10:38:32 +0100803 break;
Matt Caswell5923ad42016-09-30 00:27:40 +0100804
Matt Caswellef6c1912017-03-09 15:03:07 +0000805 case TLS_ST_CW_END_OF_EARLY_DATA:
806 *confunc = tls_construct_end_of_early_data;
807 *mt = SSL3_MT_END_OF_EARLY_DATA;
808 break;
809
810 case TLS_ST_PENDING_EARLY_DATA_END:
811 *confunc = NULL;
812 *mt = SSL3_MT_DUMMY;
813 break;
814
Matt Caswell4a01c592016-09-30 10:38:32 +0100815 case TLS_ST_CW_CERT:
Matt Caswell6392fb82016-09-30 11:17:57 +0100816 *confunc = tls_construct_client_certificate;
817 *mt = SSL3_MT_CERTIFICATE;
Matt Caswell4a01c592016-09-30 10:38:32 +0100818 break;
Matt Caswell5923ad42016-09-30 00:27:40 +0100819
Matt Caswell4a01c592016-09-30 10:38:32 +0100820 case TLS_ST_CW_KEY_EXCH:
Matt Caswell6392fb82016-09-30 11:17:57 +0100821 *confunc = tls_construct_client_key_exchange;
822 *mt = SSL3_MT_CLIENT_KEY_EXCHANGE;
Matt Caswell4a01c592016-09-30 10:38:32 +0100823 break;
Matt Caswell5923ad42016-09-30 00:27:40 +0100824
Matt Caswell4a01c592016-09-30 10:38:32 +0100825 case TLS_ST_CW_CERT_VRFY:
Matt Caswelld8bc1392016-12-05 14:59:25 +0000826 *confunc = tls_construct_cert_verify;
Matt Caswell6392fb82016-09-30 11:17:57 +0100827 *mt = SSL3_MT_CERTIFICATE_VERIFY;
Matt Caswell4a01c592016-09-30 10:38:32 +0100828 break;
Matt Caswell61ae9352015-09-11 11:23:20 +0100829
830#if !defined(OPENSSL_NO_NEXTPROTONEG)
Matt Caswell4a01c592016-09-30 10:38:32 +0100831 case TLS_ST_CW_NEXT_PROTO:
Matt Caswell6392fb82016-09-30 11:17:57 +0100832 *confunc = tls_construct_next_proto;
833 *mt = SSL3_MT_NEXT_PROTO;
Matt Caswell4a01c592016-09-30 10:38:32 +0100834 break;
Matt Caswell61ae9352015-09-11 11:23:20 +0100835#endif
Matt Caswell4a01c592016-09-30 10:38:32 +0100836 case TLS_ST_CW_FINISHED:
Matt Caswell6392fb82016-09-30 11:17:57 +0100837 *confunc = tls_construct_finished;
838 *mt = SSL3_MT_FINISHED;
Matt Caswell4a01c592016-09-30 10:38:32 +0100839 break;
Matt Caswell9412b3a2017-02-09 13:12:00 +0000840
841 case TLS_ST_CW_KEY_UPDATE:
842 *confunc = tls_construct_key_update;
843 *mt = SSL3_MT_KEY_UPDATE;
844 break;
Matt Caswell4a01c592016-09-30 10:38:32 +0100845 }
Matt Caswell5923ad42016-09-30 00:27:40 +0100846
Matt Caswell5923ad42016-09-30 00:27:40 +0100847 return 1;
Matt Caswell61ae9352015-09-11 11:23:20 +0100848}
849
850/*
851 * Returns the maximum allowed length for the current message that we are
852 * reading. Excludes the message header.
853 */
Matt Caswelleda75752016-09-06 12:05:25 +0100854size_t ossl_statem_client_max_message_size(SSL *s)
Matt Caswell61ae9352015-09-11 11:23:20 +0100855{
Matt Caswelld6f1a6e2015-10-05 10:58:52 +0100856 OSSL_STATEM *st = &s->statem;
Matt Caswell61ae9352015-09-11 11:23:20 +0100857
Emilia Kaspera230b262016-08-05 19:03:17 +0200858 switch (st->hand_state) {
Rich Salzf3b3d7f2016-08-30 13:31:18 -0400859 default:
860 /* Shouldn't happen */
861 return 0;
862
Emilia Kaspera230b262016-08-05 19:03:17 +0200863 case TLS_ST_CR_SRVR_HELLO:
864 return SERVER_HELLO_MAX_LENGTH;
Matt Caswell61ae9352015-09-11 11:23:20 +0100865
Emilia Kaspera230b262016-08-05 19:03:17 +0200866 case DTLS_ST_CR_HELLO_VERIFY_REQUEST:
867 return HELLO_VERIFY_REQUEST_MAX_LENGTH;
Matt Caswell61ae9352015-09-11 11:23:20 +0100868
Matt Caswell3847d422017-02-01 13:31:27 +0000869 case TLS_ST_CR_HELLO_RETRY_REQUEST:
870 return HELLO_RETRY_REQUEST_MAX_LENGTH;
871
Emilia Kaspera230b262016-08-05 19:03:17 +0200872 case TLS_ST_CR_CERT:
873 return s->max_cert_list;
Matt Caswell61ae9352015-09-11 11:23:20 +0100874
Matt Caswell2c5dfdc2016-12-05 17:04:51 +0000875 case TLS_ST_CR_CERT_VRFY:
876 return SSL3_RT_MAX_PLAIN_LENGTH;
877
Emilia Kaspera230b262016-08-05 19:03:17 +0200878 case TLS_ST_CR_CERT_STATUS:
879 return SSL3_RT_MAX_PLAIN_LENGTH;
Matt Caswell61ae9352015-09-11 11:23:20 +0100880
Emilia Kaspera230b262016-08-05 19:03:17 +0200881 case TLS_ST_CR_KEY_EXCH:
882 return SERVER_KEY_EXCH_MAX_LENGTH;
Matt Caswell61ae9352015-09-11 11:23:20 +0100883
Emilia Kaspera230b262016-08-05 19:03:17 +0200884 case TLS_ST_CR_CERT_REQ:
885 /*
886 * Set to s->max_cert_list for compatibility with previous releases. In
887 * practice these messages can get quite long if servers are configured
888 * to provide a long list of acceptable CAs
889 */
890 return s->max_cert_list;
Matt Caswell61ae9352015-09-11 11:23:20 +0100891
Emilia Kaspera230b262016-08-05 19:03:17 +0200892 case TLS_ST_CR_SRVR_DONE:
893 return SERVER_HELLO_DONE_MAX_LENGTH;
Matt Caswell61ae9352015-09-11 11:23:20 +0100894
Emilia Kaspera230b262016-08-05 19:03:17 +0200895 case TLS_ST_CR_CHANGE:
896 if (s->version == DTLS1_BAD_VER)
897 return 3;
898 return CCS_MAX_LENGTH;
Matt Caswell61ae9352015-09-11 11:23:20 +0100899
Emilia Kaspera230b262016-08-05 19:03:17 +0200900 case TLS_ST_CR_SESSION_TICKET:
901 return SSL3_RT_MAX_PLAIN_LENGTH;
Matt Caswell61ae9352015-09-11 11:23:20 +0100902
Emilia Kaspera230b262016-08-05 19:03:17 +0200903 case TLS_ST_CR_FINISHED:
904 return FINISHED_MAX_LENGTH;
Matt Caswelle46f2332016-11-23 15:20:22 +0000905
906 case TLS_ST_CR_ENCRYPTED_EXTENSIONS:
907 return ENCRYPTED_EXTENSIONS_MAX_LENGTH;
Matt Caswelle1c3de42017-02-09 12:07:31 +0000908
909 case TLS_ST_CR_KEY_UPDATE:
910 return KEY_UPDATE_MAX_LENGTH;
Matt Caswell61ae9352015-09-11 11:23:20 +0100911 }
Matt Caswell61ae9352015-09-11 11:23:20 +0100912}
913
914/*
915 * Process a message that the client has been received from the server.
916 */
Matt Caswell8481f582015-10-26 11:54:17 +0000917MSG_PROCESS_RETURN ossl_statem_client_process_message(SSL *s, PACKET *pkt)
Matt Caswell61ae9352015-09-11 11:23:20 +0100918{
Matt Caswelld6f1a6e2015-10-05 10:58:52 +0100919 OSSL_STATEM *st = &s->statem;
Matt Caswell61ae9352015-09-11 11:23:20 +0100920
Emilia Kaspera230b262016-08-05 19:03:17 +0200921 switch (st->hand_state) {
Rich Salzf3b3d7f2016-08-30 13:31:18 -0400922 default:
923 /* Shouldn't happen */
924 return MSG_PROCESS_ERROR;
925
Emilia Kaspera230b262016-08-05 19:03:17 +0200926 case TLS_ST_CR_SRVR_HELLO:
927 return tls_process_server_hello(s, pkt);
Matt Caswell61ae9352015-09-11 11:23:20 +0100928
Emilia Kaspera230b262016-08-05 19:03:17 +0200929 case DTLS_ST_CR_HELLO_VERIFY_REQUEST:
930 return dtls_process_hello_verify(s, pkt);
Matt Caswell61ae9352015-09-11 11:23:20 +0100931
Matt Caswell3847d422017-02-01 13:31:27 +0000932 case TLS_ST_CR_HELLO_RETRY_REQUEST:
933 return tls_process_hello_retry_request(s, pkt);
934
Emilia Kaspera230b262016-08-05 19:03:17 +0200935 case TLS_ST_CR_CERT:
936 return tls_process_server_certificate(s, pkt);
Matt Caswell61ae9352015-09-11 11:23:20 +0100937
Matt Caswell2c5dfdc2016-12-05 17:04:51 +0000938 case TLS_ST_CR_CERT_VRFY:
939 return tls_process_cert_verify(s, pkt);
940
Emilia Kaspera230b262016-08-05 19:03:17 +0200941 case TLS_ST_CR_CERT_STATUS:
942 return tls_process_cert_status(s, pkt);
Matt Caswell61ae9352015-09-11 11:23:20 +0100943
Emilia Kaspera230b262016-08-05 19:03:17 +0200944 case TLS_ST_CR_KEY_EXCH:
945 return tls_process_key_exchange(s, pkt);
Matt Caswell61ae9352015-09-11 11:23:20 +0100946
Emilia Kaspera230b262016-08-05 19:03:17 +0200947 case TLS_ST_CR_CERT_REQ:
948 return tls_process_certificate_request(s, pkt);
Matt Caswell61ae9352015-09-11 11:23:20 +0100949
Emilia Kaspera230b262016-08-05 19:03:17 +0200950 case TLS_ST_CR_SRVR_DONE:
951 return tls_process_server_done(s, pkt);
Matt Caswell61ae9352015-09-11 11:23:20 +0100952
Emilia Kaspera230b262016-08-05 19:03:17 +0200953 case TLS_ST_CR_CHANGE:
954 return tls_process_change_cipher_spec(s, pkt);
Matt Caswell61ae9352015-09-11 11:23:20 +0100955
Emilia Kaspera230b262016-08-05 19:03:17 +0200956 case TLS_ST_CR_SESSION_TICKET:
957 return tls_process_new_session_ticket(s, pkt);
Matt Caswell61ae9352015-09-11 11:23:20 +0100958
Emilia Kaspera230b262016-08-05 19:03:17 +0200959 case TLS_ST_CR_FINISHED:
960 return tls_process_finished(s, pkt);
Matt Caswelle46f2332016-11-23 15:20:22 +0000961
Matt Caswellc7f47782017-01-10 23:02:28 +0000962 case TLS_ST_CR_HELLO_REQ:
963 return tls_process_hello_req(s, pkt);
964
Matt Caswelle46f2332016-11-23 15:20:22 +0000965 case TLS_ST_CR_ENCRYPTED_EXTENSIONS:
966 return tls_process_encrypted_extensions(s, pkt);
Matt Caswelle1c3de42017-02-09 12:07:31 +0000967
968 case TLS_ST_CR_KEY_UPDATE:
969 return tls_process_key_update(s, pkt);
Matt Caswell61ae9352015-09-11 11:23:20 +0100970 }
Matt Caswell61ae9352015-09-11 11:23:20 +0100971}
972
973/*
974 * Perform any further processing required following the receipt of a message
975 * from the server
976 */
Matt Caswell8481f582015-10-26 11:54:17 +0000977WORK_STATE ossl_statem_client_post_process_message(SSL *s, WORK_STATE wst)
Matt Caswell61ae9352015-09-11 11:23:20 +0100978{
Matt Caswelld6f1a6e2015-10-05 10:58:52 +0100979 OSSL_STATEM *st = &s->statem;
Matt Caswell61ae9352015-09-11 11:23:20 +0100980
Emilia Kaspera230b262016-08-05 19:03:17 +0200981 switch (st->hand_state) {
Rich Salzf3b3d7f2016-08-30 13:31:18 -0400982 default:
983 /* Shouldn't happen */
984 return WORK_ERROR;
985
Matt Caswell05c4f1d2016-06-22 14:31:32 +0100986 case TLS_ST_CR_CERT_REQ:
987 return tls_prepare_client_certificate(s, wst);
Matt Caswell61ae9352015-09-11 11:23:20 +0100988 }
Matt Caswell61ae9352015-09-11 11:23:20 +0100989}
990
Matt Caswell7cea05d2016-09-29 23:28:29 +0100991int tls_construct_client_hello(SSL *s, WPACKET *pkt)
Matt Caswellb9908bf2015-07-29 14:08:49 +0100992{
Matt Caswell2c7b4db2016-08-03 20:57:52 +0100993 unsigned char *p;
Matt Caswellec60ccc2016-10-04 20:31:19 +0100994 size_t sess_id_len;
995 int i, protverr;
Matt Caswell2c7b4db2016-08-03 20:57:52 +0100996 int al = SSL_AD_HANDSHAKE_FAILURE;
Dr. Stephen Henson09b6c2e2005-09-30 23:35:33 +0000997#ifndef OPENSSL_NO_COMP
Matt Caswell0f113f32015-01-22 03:40:55 +0000998 SSL_COMP *comp;
Dr. Stephen Henson09b6c2e2005-09-30 23:35:33 +0000999#endif
Matt Caswellb9908bf2015-07-29 14:08:49 +01001000 SSL_SESSION *sess = s->session;
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00001001
Matt Caswell7cea05d2016-09-29 23:28:29 +01001002 if (!WPACKET_set_max_size(pkt, SSL3_RT_MAX_PLAIN_LENGTH)) {
Matt Caswell2c7b4db2016-08-03 20:57:52 +01001003 /* Should not happen */
1004 SSLerr(SSL_F_TLS_CONSTRUCT_CLIENT_HELLO, ERR_R_INTERNAL_ERROR);
Matt Caswell7cea05d2016-09-29 23:28:29 +01001005 return 0;
Matt Caswell2c7b4db2016-08-03 20:57:52 +01001006 }
Matt Caswell13c9bb32015-03-31 00:18:31 +01001007
Matt Caswellb9908bf2015-07-29 14:08:49 +01001008 /* Work out what SSL/TLS/DTLS version to use */
Viktor Dukhovni4fa52142015-12-29 03:24:17 -05001009 protverr = ssl_set_client_hello_version(s);
1010 if (protverr != 0) {
1011 SSLerr(SSL_F_TLS_CONSTRUCT_CLIENT_HELLO, protverr);
Matt Caswell7cea05d2016-09-29 23:28:29 +01001012 return 0;
Viktor Dukhovni4fa52142015-12-29 03:24:17 -05001013 }
Matt Caswell13c9bb32015-03-31 00:18:31 +01001014
Matt Caswelle586eac2017-03-21 13:50:31 +00001015 if (sess == NULL
1016 || !ssl_version_supported(s, sess->ssl_version)
1017 || !SSL_SESSION_is_resumable(sess)) {
Matt Caswellb9908bf2015-07-29 14:08:49 +01001018 if (!ssl_get_new_session(s, 0))
Matt Caswell7cea05d2016-09-29 23:28:29 +01001019 return 0;
Matt Caswellb9908bf2015-07-29 14:08:49 +01001020 }
1021 /* else use the pre-loaded session */
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00001022
Matt Caswellb9908bf2015-07-29 14:08:49 +01001023 p = s->s3->client_random;
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00001024
Matt Caswellb9908bf2015-07-29 14:08:49 +01001025 /*
1026 * for DTLS if client_random is initialized, reuse it, we are
1027 * required to use same upon reply to HelloVerify
1028 */
1029 if (SSL_IS_DTLS(s)) {
1030 size_t idx;
1031 i = 1;
1032 for (idx = 0; idx < sizeof(s->s3->client_random); idx++) {
1033 if (p[idx]) {
1034 i = 0;
1035 break;
Matt Caswell0f113f32015-01-22 03:40:55 +00001036 }
Matt Caswell0f113f32015-01-22 03:40:55 +00001037 }
Matt Caswellb9908bf2015-07-29 14:08:49 +01001038 } else
1039 i = 1;
Matt Caswell0f113f32015-01-22 03:40:55 +00001040
Matt Caswellf7f2a012017-03-22 08:52:54 +00001041 if (i && ssl_fill_hello_random(s, 0, p, sizeof(s->s3->client_random),
1042 DOWNGRADE_NONE) <= 0)
Matt Caswell7cea05d2016-09-29 23:28:29 +01001043 return 0;
Matt Caswell0f113f32015-01-22 03:40:55 +00001044
Matt Caswellb9908bf2015-07-29 14:08:49 +01001045 /*-
1046 * version indicates the negotiated version: for example from
1047 * an SSLv2/v3 compatible client hello). The client_version
1048 * field is the maximum version we permit and it is also
1049 * used in RSA encrypted premaster secrets. Some servers can
1050 * choke if we initially report a higher version then
1051 * renegotiate to a lower one in the premaster secret. This
1052 * didn't happen with TLS 1.0 as most servers supported it
1053 * but it can with TLS 1.1 or later if the server only supports
1054 * 1.0.
1055 *
1056 * Possible scenario with previous logic:
1057 * 1. Client hello indicates TLS 1.2
1058 * 2. Server hello says TLS 1.0
1059 * 3. RSA encrypted premaster secret uses 1.2.
FdaSilvaYY8483a002016-03-10 21:34:48 +01001060 * 4. Handshake proceeds using TLS 1.0.
Matt Caswellb9908bf2015-07-29 14:08:49 +01001061 * 5. Server sends hello request to renegotiate.
1062 * 6. Client hello indicates TLS v1.0 as we now
1063 * know that is maximum server supports.
1064 * 7. Server chokes on RSA encrypted premaster secret
1065 * containing version 1.0.
1066 *
1067 * For interoperability it should be OK to always use the
1068 * maximum version we support in client hello and then rely
1069 * on the checking of version to ensure the servers isn't
1070 * being inconsistent: for example initially negotiating with
1071 * TLS 1.0 and renegotiating with TLS 1.2. We do this by using
1072 * client_version in client hello and not resetting it to
1073 * the negotiated version.
Matt Caswellcd998832016-10-23 00:41:11 +01001074 *
1075 * For TLS 1.3 we always set the ClientHello version to 1.2 and rely on the
Matt Caswell16bce0e2016-10-31 17:05:20 +00001076 * supported_versions extension for the real supported versions.
Matt Caswellb9908bf2015-07-29 14:08:49 +01001077 */
Matt Caswell7acb8b62016-11-23 13:56:15 +00001078 if (!WPACKET_put_bytes_u16(pkt, s->client_version)
Matt Caswell7cea05d2016-09-29 23:28:29 +01001079 || !WPACKET_memcpy(pkt, s->s3->client_random, SSL3_RANDOM_SIZE)) {
Matt Caswell2c7b4db2016-08-03 20:57:52 +01001080 SSLerr(SSL_F_TLS_CONSTRUCT_CLIENT_HELLO, ERR_R_INTERNAL_ERROR);
Matt Caswell7cea05d2016-09-29 23:28:29 +01001081 return 0;
Matt Caswell2c7b4db2016-08-03 20:57:52 +01001082 }
Matt Caswellb9908bf2015-07-29 14:08:49 +01001083
1084 /* Session ID */
Matt Caswellf05bcf02017-01-13 13:49:44 +00001085 if (s->new_session || s->session->ssl_version == TLS1_3_VERSION)
Matt Caswellec60ccc2016-10-04 20:31:19 +01001086 sess_id_len = 0;
Matt Caswellb9908bf2015-07-29 14:08:49 +01001087 else
Matt Caswellec60ccc2016-10-04 20:31:19 +01001088 sess_id_len = s->session->session_id_length;
1089 if (sess_id_len > sizeof(s->session->session_id)
Matt Caswell7cea05d2016-09-29 23:28:29 +01001090 || !WPACKET_start_sub_packet_u8(pkt)
Matt Caswellec60ccc2016-10-04 20:31:19 +01001091 || (sess_id_len != 0 && !WPACKET_memcpy(pkt, s->session->session_id,
1092 sess_id_len))
Matt Caswell7cea05d2016-09-29 23:28:29 +01001093 || !WPACKET_close(pkt)) {
Matt Caswell2c7b4db2016-08-03 20:57:52 +01001094 SSLerr(SSL_F_TLS_CONSTRUCT_CLIENT_HELLO, ERR_R_INTERNAL_ERROR);
Matt Caswell7cea05d2016-09-29 23:28:29 +01001095 return 0;
Matt Caswell0f113f32015-01-22 03:40:55 +00001096 }
1097
Matt Caswellb9908bf2015-07-29 14:08:49 +01001098 /* cookie stuff for DTLS */
1099 if (SSL_IS_DTLS(s)) {
Matt Caswell2c7b4db2016-08-03 20:57:52 +01001100 if (s->d1->cookie_len > sizeof(s->d1->cookie)
Matt Caswell7cea05d2016-09-29 23:28:29 +01001101 || !WPACKET_sub_memcpy_u8(pkt, s->d1->cookie,
Matt Caswellb2b30242016-09-13 11:32:52 +01001102 s->d1->cookie_len)) {
Matt Caswellb9908bf2015-07-29 14:08:49 +01001103 SSLerr(SSL_F_TLS_CONSTRUCT_CLIENT_HELLO, ERR_R_INTERNAL_ERROR);
Matt Caswell7cea05d2016-09-29 23:28:29 +01001104 return 0;
Matt Caswellb9908bf2015-07-29 14:08:49 +01001105 }
Matt Caswellb9908bf2015-07-29 14:08:49 +01001106 }
1107
1108 /* Ciphers supported */
Matt Caswell7cea05d2016-09-29 23:28:29 +01001109 if (!WPACKET_start_sub_packet_u16(pkt)) {
Matt Caswell2c7b4db2016-08-03 20:57:52 +01001110 SSLerr(SSL_F_TLS_CONSTRUCT_CLIENT_HELLO, ERR_R_INTERNAL_ERROR);
Matt Caswell7cea05d2016-09-29 23:28:29 +01001111 return 0;
Matt Caswellb9908bf2015-07-29 14:08:49 +01001112 }
Matt Caswell2c7b4db2016-08-03 20:57:52 +01001113 /* ssl_cipher_list_to_bytes() raises SSLerr if appropriate */
Matt Caswell7cea05d2016-09-29 23:28:29 +01001114 if (!ssl_cipher_list_to_bytes(s, SSL_get_ciphers(s), pkt))
1115 return 0;
1116 if (!WPACKET_close(pkt)) {
Matt Caswell2c7b4db2016-08-03 20:57:52 +01001117 SSLerr(SSL_F_TLS_CONSTRUCT_CLIENT_HELLO, ERR_R_INTERNAL_ERROR);
Matt Caswell7cea05d2016-09-29 23:28:29 +01001118 return 0;
Matt Caswell2c7b4db2016-08-03 20:57:52 +01001119 }
Matt Caswellb9908bf2015-07-29 14:08:49 +01001120
1121 /* COMPRESSION */
Matt Caswell7cea05d2016-09-29 23:28:29 +01001122 if (!WPACKET_start_sub_packet_u8(pkt)) {
Matt Caswell2c7b4db2016-08-03 20:57:52 +01001123 SSLerr(SSL_F_TLS_CONSTRUCT_CLIENT_HELLO, ERR_R_INTERNAL_ERROR);
Matt Caswell7cea05d2016-09-29 23:28:29 +01001124 return 0;
Matt Caswell2c7b4db2016-08-03 20:57:52 +01001125 }
1126#ifndef OPENSSL_NO_COMP
Matt Caswellc19602b2017-03-01 10:36:38 +00001127 if (ssl_allow_compression(s)
1128 && s->ctx->comp_methods
1129 && (SSL_IS_DTLS(s) || s->s3->tmp.max_ver < TLS1_3_VERSION)) {
Matt Caswell2c7b4db2016-08-03 20:57:52 +01001130 int compnum = sk_SSL_COMP_num(s->ctx->comp_methods);
1131 for (i = 0; i < compnum; i++) {
1132 comp = sk_SSL_COMP_value(s->ctx->comp_methods, i);
Matt Caswell7cea05d2016-09-29 23:28:29 +01001133 if (!WPACKET_put_bytes_u8(pkt, comp->id)) {
Matt Caswell2c7b4db2016-08-03 20:57:52 +01001134 SSLerr(SSL_F_TLS_CONSTRUCT_CLIENT_HELLO, ERR_R_INTERNAL_ERROR);
Matt Caswell7cea05d2016-09-29 23:28:29 +01001135 return 0;
Matt Caswell2c7b4db2016-08-03 20:57:52 +01001136 }
1137 }
Matt Caswellb9908bf2015-07-29 14:08:49 +01001138 }
1139#endif
Matt Caswell2c7b4db2016-08-03 20:57:52 +01001140 /* Add the NULL method */
Matt Caswell7cea05d2016-09-29 23:28:29 +01001141 if (!WPACKET_put_bytes_u8(pkt, 0) || !WPACKET_close(pkt)) {
Matt Caswell2c7b4db2016-08-03 20:57:52 +01001142 SSLerr(SSL_F_TLS_CONSTRUCT_CLIENT_HELLO, ERR_R_INTERNAL_ERROR);
Matt Caswell7cea05d2016-09-29 23:28:29 +01001143 return 0;
Matt Caswell2c7b4db2016-08-03 20:57:52 +01001144 }
Matt Caswellb9908bf2015-07-29 14:08:49 +01001145
1146 /* TLS extensions */
Matt Caswellfe874d22017-04-04 11:40:02 +01001147 if (!tls_construct_extensions(s, pkt, SSL_EXT_CLIENT_HELLO, NULL, 0, &al)) {
Matt Caswellb9908bf2015-07-29 14:08:49 +01001148 SSLerr(SSL_F_TLS_CONSTRUCT_CLIENT_HELLO, ERR_R_INTERNAL_ERROR);
Matt Caswell7cea05d2016-09-29 23:28:29 +01001149 return 0;
Matt Caswellb9908bf2015-07-29 14:08:49 +01001150 }
1151
Matt Caswellb9908bf2015-07-29 14:08:49 +01001152 return 1;
Matt Caswell0f113f32015-01-22 03:40:55 +00001153}
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00001154
Matt Caswellbe3583f2015-10-26 11:46:33 +00001155MSG_PROCESS_RETURN dtls_process_hello_verify(SSL *s, PACKET *pkt)
Matt Caswell8ba708e2015-09-11 10:48:59 +01001156{
1157 int al;
Matt Caswellcb150cb2016-10-04 21:04:03 +01001158 size_t cookie_len;
Matt Caswell8ba708e2015-09-11 10:48:59 +01001159 PACKET cookiepkt;
1160
1161 if (!PACKET_forward(pkt, 2)
Emilia Kaspera230b262016-08-05 19:03:17 +02001162 || !PACKET_get_length_prefixed_1(pkt, &cookiepkt)) {
Matt Caswell8ba708e2015-09-11 10:48:59 +01001163 al = SSL_AD_DECODE_ERROR;
1164 SSLerr(SSL_F_DTLS_PROCESS_HELLO_VERIFY, SSL_R_LENGTH_MISMATCH);
1165 goto f_err;
1166 }
1167
1168 cookie_len = PACKET_remaining(&cookiepkt);
1169 if (cookie_len > sizeof(s->d1->cookie)) {
1170 al = SSL_AD_ILLEGAL_PARAMETER;
1171 SSLerr(SSL_F_DTLS_PROCESS_HELLO_VERIFY, SSL_R_LENGTH_TOO_LONG);
1172 goto f_err;
1173 }
1174
1175 if (!PACKET_copy_bytes(&cookiepkt, s->d1->cookie, cookie_len)) {
1176 al = SSL_AD_DECODE_ERROR;
1177 SSLerr(SSL_F_DTLS_PROCESS_HELLO_VERIFY, SSL_R_LENGTH_MISMATCH);
1178 goto f_err;
1179 }
1180 s->d1->cookie_len = cookie_len;
1181
1182 return MSG_PROCESS_FINISHED_READING;
1183 f_err:
1184 ssl3_send_alert(s, SSL3_AL_FATAL, al);
Matt Caswellfe3a3292015-10-05 10:39:54 +01001185 ossl_statem_set_error(s);
Matt Caswell8ba708e2015-09-11 10:48:59 +01001186 return MSG_PROCESS_ERROR;
1187}
1188
Matt Caswell11c67ee2017-03-13 15:21:15 +00001189static int set_client_ciphersuite(SSL *s, const unsigned char *cipherchars)
Matt Caswellb9908bf2015-07-29 14:08:49 +01001190{
1191 STACK_OF(SSL_CIPHER) *sk;
1192 const SSL_CIPHER *c;
Matt Caswell11c67ee2017-03-13 15:21:15 +00001193 int i;
1194
1195 c = ssl_get_cipher_by_char(s, cipherchars, 0);
1196 if (c == NULL) {
1197 /* unknown cipher */
1198 SSLerr(SSL_F_SET_CLIENT_CIPHERSUITE, SSL_R_UNKNOWN_CIPHER_RETURNED);
1199 return 0;
1200 }
1201 /*
1202 * If it is a disabled cipher we either didn't send it in client hello,
1203 * or it's not allowed for the selected protocol. So we return an error.
1204 */
Matt Caswell8af91fd2017-04-12 17:02:42 +01001205 if (ssl_cipher_disabled(s, c, SSL_SECOP_CIPHER_CHECK, 1)) {
Matt Caswell11c67ee2017-03-13 15:21:15 +00001206 SSLerr(SSL_F_SET_CLIENT_CIPHERSUITE, SSL_R_WRONG_CIPHER_RETURNED);
1207 return 0;
1208 }
1209
1210 sk = ssl_get_ciphers_by_id(s);
1211 i = sk_SSL_CIPHER_find(sk, c);
1212 if (i < 0) {
1213 /* we did not say we would use this cipher */
1214 SSLerr(SSL_F_SET_CLIENT_CIPHERSUITE, SSL_R_WRONG_CIPHER_RETURNED);
1215 return 0;
1216 }
1217
1218 if (SSL_IS_TLS13(s) && s->s3->tmp.new_cipher != NULL
1219 && s->s3->tmp.new_cipher->id != c->id) {
1220 /* ServerHello selected a different ciphersuite to that in the HRR */
1221 SSLerr(SSL_F_SET_CLIENT_CIPHERSUITE, SSL_R_WRONG_CIPHER_RETURNED);
1222 return 0;
1223 }
1224
1225 /*
1226 * Depending on the session caching (internal/external), the cipher
1227 * and/or cipher_id values may not be set. Make sure that cipher_id is
1228 * set and use it for comparison.
1229 */
1230 if (s->session->cipher != NULL)
1231 s->session->cipher_id = s->session->cipher->id;
1232 if (s->hit && (s->session->cipher_id != c->id)) {
Matt Caswella055a882017-05-26 17:59:34 +01001233 if (SSL_IS_TLS13(s)) {
1234 /*
1235 * In TLSv1.3 it is valid for the server to select a different
1236 * ciphersuite as long as the hash is the same.
1237 */
1238 if (ssl_md(c->algorithm2)
1239 != ssl_md(s->session->cipher->algorithm2)) {
1240 SSLerr(SSL_F_SET_CLIENT_CIPHERSUITE,
1241 SSL_R_CIPHERSUITE_DIGEST_HAS_CHANGED);
1242 return 0;
1243 }
1244 } else {
1245 /*
1246 * Prior to TLSv1.3 resuming a session always meant using the same
1247 * ciphersuite.
1248 */
1249 SSLerr(SSL_F_SET_CLIENT_CIPHERSUITE,
1250 SSL_R_OLD_SESSION_CIPHER_NOT_RETURNED);
1251 return 0;
1252 }
Matt Caswell11c67ee2017-03-13 15:21:15 +00001253 }
1254 s->s3->tmp.new_cipher = c;
1255
1256 return 1;
1257}
1258
1259MSG_PROCESS_RETURN tls_process_server_hello(SSL *s, PACKET *pkt)
1260{
Matt Caswell332eb392016-11-28 16:15:51 +00001261 PACKET session_id, extpkt;
Matt Caswellb9908bf2015-07-29 14:08:49 +01001262 size_t session_id_len;
Emilia Kasperb6981742016-02-01 15:26:18 +01001263 const unsigned char *cipherchars;
Matt Caswell11c67ee2017-03-13 15:21:15 +00001264 int al = SSL_AD_INTERNAL_ERROR;
Matt Caswellb9908bf2015-07-29 14:08:49 +01001265 unsigned int compression;
Viktor Dukhovni4fa52142015-12-29 03:24:17 -05001266 unsigned int sversion;
Matt Caswell3434f402016-11-28 16:45:52 +00001267 unsigned int context;
Viktor Dukhovni4fa52142015-12-29 03:24:17 -05001268 int protverr;
Matt Caswell332eb392016-11-28 16:15:51 +00001269 RAW_EXTENSION *extensions = NULL;
Matt Caswellb9908bf2015-07-29 14:08:49 +01001270#ifndef OPENSSL_NO_COMP
1271 SSL_COMP *comp;
1272#endif
1273
Viktor Dukhovni4fa52142015-12-29 03:24:17 -05001274 if (!PACKET_get_net_2(pkt, &sversion)) {
1275 al = SSL_AD_DECODE_ERROR;
1276 SSLerr(SSL_F_TLS_PROCESS_SERVER_HELLO, SSL_R_LENGTH_MISMATCH);
1277 goto f_err;
1278 }
Kurt Roeckx7946ab32015-12-06 17:56:41 +01001279
Matt Caswellc3043dc2017-03-22 11:50:32 +00001280 /* load the server random */
1281 if (!PACKET_copy_bytes(pkt, s->s3->server_random, SSL3_RANDOM_SIZE)) {
1282 al = SSL_AD_DECODE_ERROR;
1283 SSLerr(SSL_F_TLS_PROCESS_SERVER_HELLO, SSL_R_LENGTH_MISMATCH);
1284 goto f_err;
1285 }
1286
1287 /*
1288 * We do this immediately so we know what format the ServerHello is in.
1289 * Must be done after reading the random data so we can check for the
1290 * TLSv1.3 downgrade sentinels
1291 */
1292 protverr = ssl_choose_client_version(s, sversion, 1, &al);
Viktor Dukhovni4fa52142015-12-29 03:24:17 -05001293 if (protverr != 0) {
Viktor Dukhovni4fa52142015-12-29 03:24:17 -05001294 SSLerr(SSL_F_TLS_PROCESS_SERVER_HELLO, protverr);
1295 goto f_err;
Matt Caswell0f113f32015-01-22 03:40:55 +00001296 }
Emilia Kasper7b3ba5082014-11-19 15:56:27 +01001297
Matt Caswell524420d2017-03-07 10:21:58 +00001298 /*
1299 * In TLSv1.3 a ServerHello message signals a key change so the end of the
1300 * message must be on a record boundary.
1301 */
1302 if (SSL_IS_TLS13(s) && RECORD_LAYER_processed_read_pending(&s->rlayer)) {
1303 al = SSL_AD_UNEXPECTED_MESSAGE;
1304 SSLerr(SSL_F_TLS_PROCESS_SERVER_HELLO, SSL_R_NOT_ON_RECORD_BOUNDARY);
1305 goto f_err;
1306 }
1307
Emilia Kasperfc5ce512015-09-18 14:09:37 +02001308 /* Get the session-id. */
Matt Caswell71728dd2016-11-07 13:50:43 +00001309 if (!SSL_IS_TLS13(s)) {
1310 if (!PACKET_get_length_prefixed_1(pkt, &session_id)) {
1311 al = SSL_AD_DECODE_ERROR;
1312 SSLerr(SSL_F_TLS_PROCESS_SERVER_HELLO, SSL_R_LENGTH_MISMATCH);
1313 goto f_err;
1314 }
1315 session_id_len = PACKET_remaining(&session_id);
1316 if (session_id_len > sizeof s->session->session_id
1317 || session_id_len > SSL3_SESSION_ID_SIZE) {
1318 al = SSL_AD_ILLEGAL_PARAMETER;
1319 SSLerr(SSL_F_TLS_PROCESS_SERVER_HELLO,
1320 SSL_R_SSL3_SESSION_ID_TOO_LONG);
1321 goto f_err;
1322 }
1323 } else {
Matt Caswell625b0d52016-12-08 09:48:29 +00001324 PACKET_null_init(&session_id);
Matt Caswell71728dd2016-11-07 13:50:43 +00001325 session_id_len = 0;
Matt Caswell0f113f32015-01-22 03:40:55 +00001326 }
Matt Caswelle481f9b2015-05-15 10:49:56 +01001327
Matt Caswell73999b62015-09-10 10:22:30 +01001328 if (!PACKET_get_bytes(pkt, &cipherchars, TLS_CIPHER_LEN)) {
Matt Caswellf0659bd2015-10-22 14:02:46 +01001329 SSLerr(SSL_F_TLS_PROCESS_SERVER_HELLO, SSL_R_LENGTH_MISMATCH);
Emilia Kasperfc5ce512015-09-18 14:09:37 +02001330 al = SSL_AD_DECODE_ERROR;
1331 goto f_err;
1332 }
1333
Matt Caswell4ff65f72017-01-18 09:38:53 +00001334 if (!SSL_IS_TLS13(s)) {
1335 if (!PACKET_get_1(pkt, &compression)) {
1336 SSLerr(SSL_F_TLS_PROCESS_SERVER_HELLO, SSL_R_LENGTH_MISMATCH);
1337 al = SSL_AD_DECODE_ERROR;
Emilia Kasper6e3d0152015-04-21 18:12:58 +02001338 goto f_err;
Matt Caswell0f113f32015-01-22 03:40:55 +00001339 }
Matt Caswell4ff65f72017-01-18 09:38:53 +00001340 } else {
1341 compression = 0;
Matt Caswell0f113f32015-01-22 03:40:55 +00001342 }
Dr. Stephen Henson12bf56c2008-11-15 17:18:12 +00001343
Matt Caswell4ff65f72017-01-18 09:38:53 +00001344 /* TLS extensions */
1345 if (PACKET_remaining(pkt) == 0) {
1346 PACKET_null_init(&extpkt);
Matt Caswell26b91722017-05-11 11:31:57 +01001347 } else if (!PACKET_as_length_prefixed_2(pkt, &extpkt)
1348 || PACKET_remaining(pkt) != 0) {
Matt Caswell4ff65f72017-01-18 09:38:53 +00001349 al = SSL_AD_DECODE_ERROR;
1350 SSLerr(SSL_F_TLS_PROCESS_SERVER_HELLO, SSL_R_BAD_LENGTH);
1351 goto f_err;
1352 }
1353
Matt Caswellfe874d22017-04-04 11:40:02 +01001354 context = SSL_IS_TLS13(s) ? SSL_EXT_TLS1_3_SERVER_HELLO
1355 : SSL_EXT_TLS1_2_SERVER_HELLO;
Tatsuhiro Tsujikawa735d5b52017-04-18 23:59:39 +09001356 if (!tls_collect_extensions(s, &extpkt, context, &extensions, &al, NULL, 1))
Matt Caswell4ff65f72017-01-18 09:38:53 +00001357 goto f_err;
1358
1359 s->hit = 0;
1360
1361 if (SSL_IS_TLS13(s)) {
1362 /* This will set s->hit if we are resuming */
1363 if (!tls_parse_extension(s, TLSEXT_IDX_psk,
Matt Caswellfe874d22017-04-04 11:40:02 +01001364 SSL_EXT_TLS1_3_SERVER_HELLO,
Matt Caswell4ff65f72017-01-18 09:38:53 +00001365 extensions, NULL, 0, &al))
1366 goto f_err;
1367 } else {
1368 /*
1369 * Check if we can resume the session based on external pre-shared
1370 * secret. EAP-FAST (RFC 4851) supports two types of session resumption.
1371 * Resumption based on server-side state works with session IDs.
1372 * Resumption based on pre-shared Protected Access Credentials (PACs)
1373 * works by overriding the SessionTicket extension at the application
1374 * layer, and does not send a session ID. (We do not know whether
1375 * EAP-FAST servers would honour the session ID.) Therefore, the session
1376 * ID alone is not a reliable indicator of session resumption, so we
1377 * first check if we can resume, and later peek at the next handshake
1378 * message to see if the server wants to resume.
1379 */
1380 if (s->version >= TLS1_VERSION
1381 && s->ext.session_secret_cb != NULL && s->session->ext.tick) {
1382 const SSL_CIPHER *pref_cipher = NULL;
1383 /*
1384 * s->session->master_key_length is a size_t, but this is an int for
1385 * backwards compat reasons
1386 */
1387 int master_key_length;
1388 master_key_length = sizeof(s->session->master_key);
1389 if (s->ext.session_secret_cb(s, s->session->master_key,
1390 &master_key_length,
1391 NULL, &pref_cipher,
1392 s->ext.session_secret_cb_arg)
1393 && master_key_length > 0) {
1394 s->session->master_key_length = master_key_length;
1395 s->session->cipher = pref_cipher ?
Benjamin Kaduk60d685d2017-02-06 11:30:16 -06001396 pref_cipher : ssl_get_cipher_by_char(s, cipherchars, 0);
Matt Caswell4ff65f72017-01-18 09:38:53 +00001397 } else {
1398 SSLerr(SSL_F_TLS_PROCESS_SERVER_HELLO, ERR_R_INTERNAL_ERROR);
1399 al = SSL_AD_INTERNAL_ERROR;
1400 goto f_err;
1401 }
1402 }
1403
1404 if (session_id_len != 0
1405 && session_id_len == s->session->session_id_length
1406 && memcmp(PACKET_data(&session_id), s->session->session_id,
1407 session_id_len) == 0)
1408 s->hit = 1;
1409 }
1410
1411 if (s->hit) {
Matt Caswell0f113f32015-01-22 03:40:55 +00001412 if (s->sid_ctx_length != s->session->sid_ctx_length
Matt Caswell4ff65f72017-01-18 09:38:53 +00001413 || memcmp(s->session->sid_ctx, s->sid_ctx, s->sid_ctx_length)) {
Matt Caswell0f113f32015-01-22 03:40:55 +00001414 /* actually a client application bug */
1415 al = SSL_AD_ILLEGAL_PARAMETER;
Matt Caswellb9908bf2015-07-29 14:08:49 +01001416 SSLerr(SSL_F_TLS_PROCESS_SERVER_HELLO,
Matt Caswell0f113f32015-01-22 03:40:55 +00001417 SSL_R_ATTEMPT_TO_REUSE_SESSION_IN_DIFFERENT_CONTEXT);
1418 goto f_err;
1419 }
Emilia Kasper6e3d0152015-04-21 18:12:58 +02001420 } else {
Matt Caswell0f113f32015-01-22 03:40:55 +00001421 /*
Emilia Kasper6e3d0152015-04-21 18:12:58 +02001422 * If we were trying for session-id reuse but the server
Matt Caswell4ff65f72017-01-18 09:38:53 +00001423 * didn't resume, make a new SSL_SESSION.
Emilia Kasper6e3d0152015-04-21 18:12:58 +02001424 * In the case of EAP-FAST and PAC, we do not send a session ID,
1425 * so the PAC-based session secret is always preserved. It'll be
1426 * overwritten if the server refuses resumption.
Matt Caswell0f113f32015-01-22 03:40:55 +00001427 */
Matt Caswell4ff65f72017-01-18 09:38:53 +00001428 if (s->session->session_id_length > 0
1429 || (SSL_IS_TLS13(s)
1430 && s->session->ext.tick_identity
1431 != TLSEXT_PSK_BAD_IDENTITY)) {
Laszlo Kovacs4f6eaa52015-02-20 14:35:57 -05001432 s->ctx->stats.sess_miss++;
Matt Caswell0f113f32015-01-22 03:40:55 +00001433 if (!ssl_get_new_session(s, 0)) {
1434 goto f_err;
1435 }
1436 }
Emilia Kasperfc5ce512015-09-18 14:09:37 +02001437
Fedor Indutnyccae4a12016-03-11 17:44:01 +03001438 s->session->ssl_version = s->version;
Emilia Kasperfc5ce512015-09-18 14:09:37 +02001439 s->session->session_id_length = session_id_len;
1440 /* session_id_len could be 0 */
Kurt Roeckxa19fc662016-12-08 19:20:55 +01001441 if (session_id_len > 0)
1442 memcpy(s->session->session_id, PACKET_data(&session_id),
1443 session_id_len);
Matt Caswell0f113f32015-01-22 03:40:55 +00001444 }
Matt Caswell50932c42015-08-04 17:36:02 +01001445
Fedor Indutnyccae4a12016-03-11 17:44:01 +03001446 /* Session version and negotiated protocol version should match */
1447 if (s->version != s->session->ssl_version) {
1448 al = SSL_AD_PROTOCOL_VERSION;
1449
1450 SSLerr(SSL_F_TLS_PROCESS_SERVER_HELLO,
1451 SSL_R_SSL_SESSION_VERSION_MISMATCH);
1452 goto f_err;
1453 }
Matt Caswell0f113f32015-01-22 03:40:55 +00001454 /*
Kurt Roeckx3eb2aff2016-02-07 20:17:07 +01001455 * Now that we know the version, update the check to see if it's an allowed
1456 * version.
1457 */
1458 s->s3->tmp.min_ver = s->version;
1459 s->s3->tmp.max_ver = s->version;
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00001460
Matt Caswell11c67ee2017-03-13 15:21:15 +00001461 if (!set_client_ciphersuite(s, cipherchars)) {
Matt Caswell0f113f32015-01-22 03:40:55 +00001462 al = SSL_AD_ILLEGAL_PARAMETER;
Matt Caswell0f113f32015-01-22 03:40:55 +00001463 goto f_err;
1464 }
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00001465
Dr. Stephen Henson09b6c2e2005-09-30 23:35:33 +00001466#ifdef OPENSSL_NO_COMP
Emilia Kasperfc5ce512015-09-18 14:09:37 +02001467 if (compression != 0) {
Matt Caswell0f113f32015-01-22 03:40:55 +00001468 al = SSL_AD_ILLEGAL_PARAMETER;
Matt Caswellb9908bf2015-07-29 14:08:49 +01001469 SSLerr(SSL_F_TLS_PROCESS_SERVER_HELLO,
Matt Caswell0f113f32015-01-22 03:40:55 +00001470 SSL_R_UNSUPPORTED_COMPRESSION_ALGORITHM);
1471 goto f_err;
1472 }
1473 /*
1474 * If compression is disabled we'd better not try to resume a session
1475 * using compression.
1476 */
1477 if (s->session->compress_meth != 0) {
Matt Caswellb9908bf2015-07-29 14:08:49 +01001478 SSLerr(SSL_F_TLS_PROCESS_SERVER_HELLO, SSL_R_INCONSISTENT_COMPRESSION);
Matt Caswell0f113f32015-01-22 03:40:55 +00001479 goto f_err;
1480 }
Dr. Stephen Henson09b6c2e2005-09-30 23:35:33 +00001481#else
Emilia Kasperfc5ce512015-09-18 14:09:37 +02001482 if (s->hit && compression != s->session->compress_meth) {
Matt Caswell0f113f32015-01-22 03:40:55 +00001483 al = SSL_AD_ILLEGAL_PARAMETER;
Matt Caswellb9908bf2015-07-29 14:08:49 +01001484 SSLerr(SSL_F_TLS_PROCESS_SERVER_HELLO,
Matt Caswell0f113f32015-01-22 03:40:55 +00001485 SSL_R_OLD_SESSION_COMPRESSION_ALGORITHM_NOT_RETURNED);
1486 goto f_err;
1487 }
Emilia Kasperfc5ce512015-09-18 14:09:37 +02001488 if (compression == 0)
Matt Caswell0f113f32015-01-22 03:40:55 +00001489 comp = NULL;
1490 else if (!ssl_allow_compression(s)) {
1491 al = SSL_AD_ILLEGAL_PARAMETER;
Matt Caswellb9908bf2015-07-29 14:08:49 +01001492 SSLerr(SSL_F_TLS_PROCESS_SERVER_HELLO, SSL_R_COMPRESSION_DISABLED);
Matt Caswell0f113f32015-01-22 03:40:55 +00001493 goto f_err;
Emilia Kasperfc5ce512015-09-18 14:09:37 +02001494 } else {
1495 comp = ssl3_comp_find(s->ctx->comp_methods, compression);
1496 }
Matt Caswell0f113f32015-01-22 03:40:55 +00001497
Emilia Kasperfc5ce512015-09-18 14:09:37 +02001498 if (compression != 0 && comp == NULL) {
Matt Caswell0f113f32015-01-22 03:40:55 +00001499 al = SSL_AD_ILLEGAL_PARAMETER;
Matt Caswellb9908bf2015-07-29 14:08:49 +01001500 SSLerr(SSL_F_TLS_PROCESS_SERVER_HELLO,
Matt Caswell0f113f32015-01-22 03:40:55 +00001501 SSL_R_UNSUPPORTED_COMPRESSION_ALGORITHM);
1502 goto f_err;
1503 } else {
1504 s->s3->tmp.new_compression = comp;
1505 }
Dr. Stephen Henson09b6c2e2005-09-30 23:35:33 +00001506#endif
Bodo Möller761772d2007-09-21 06:54:24 +00001507
Tatsuhiro Tsujikawa735d5b52017-04-18 23:59:39 +09001508 if (!tls_parse_all_extensions(s, context, extensions, NULL, 0, &al, 1))
Matt Caswell332eb392016-11-28 16:15:51 +00001509 goto f_err;
1510
Matt Caswell87235882015-09-07 16:36:53 +01001511#ifndef OPENSSL_NO_SCTP
1512 if (SSL_IS_DTLS(s) && s->hit) {
1513 unsigned char sctpauthkey[64];
1514 char labelbuffer[sizeof(DTLS1_SCTP_AUTH_LABEL)];
1515
1516 /*
1517 * Add new shared key for SCTP-Auth, will be ignored if
1518 * no SCTP used.
1519 */
Matt Caswell141eb8c2015-10-26 12:00:00 +00001520 memcpy(labelbuffer, DTLS1_SCTP_AUTH_LABEL,
1521 sizeof(DTLS1_SCTP_AUTH_LABEL));
Matt Caswell87235882015-09-07 16:36:53 +01001522
1523 if (SSL_export_keying_material(s, sctpauthkey,
Emilia Kaspera230b262016-08-05 19:03:17 +02001524 sizeof(sctpauthkey),
1525 labelbuffer,
1526 sizeof(labelbuffer), NULL, 0, 0) <= 0)
Richard Levittec0aa6b82016-12-19 14:07:52 +01001527 goto f_err;
Matt Caswell87235882015-09-07 16:36:53 +01001528
1529 BIO_ctrl(SSL_get_wbio(s),
1530 BIO_CTRL_DGRAM_SCTP_ADD_AUTH_KEY,
1531 sizeof(sctpauthkey), sctpauthkey);
1532 }
1533#endif
1534
Matt Caswell92760c22016-11-09 14:06:12 +00001535 /*
1536 * In TLSv1.3 we have some post-processing to change cipher state, otherwise
1537 * we're done with this message
1538 */
1539 if (SSL_IS_TLS13(s)
1540 && (!s->method->ssl3_enc->setup_key_block(s)
1541 || !s->method->ssl3_enc->change_cipher_state(s,
Matt Caswell92760c22016-11-09 14:06:12 +00001542 SSL3_CC_HANDSHAKE | SSL3_CHANGE_CIPHER_CLIENT_READ))) {
1543 al = SSL_AD_INTERNAL_ERROR;
1544 SSLerr(SSL_F_TLS_PROCESS_SERVER_HELLO, SSL_R_CANNOT_CHANGE_CIPHER);
1545 goto f_err;
1546 }
1547
Matt Caswell1b0286a2016-12-05 17:31:37 +00001548 OPENSSL_free(extensions);
Matt Caswellb9908bf2015-07-29 14:08:49 +01001549 return MSG_PROCESS_CONTINUE_READING;
Matt Caswell0f113f32015-01-22 03:40:55 +00001550 f_err:
1551 ssl3_send_alert(s, SSL3_AL_FATAL, al);
Matt Caswellfe3a3292015-10-05 10:39:54 +01001552 ossl_statem_set_error(s);
Matt Caswell1b0286a2016-12-05 17:31:37 +00001553 OPENSSL_free(extensions);
Matt Caswellb9908bf2015-07-29 14:08:49 +01001554 return MSG_PROCESS_ERROR;
Matt Caswell0f113f32015-01-22 03:40:55 +00001555}
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00001556
Matt Caswell3847d422017-02-01 13:31:27 +00001557static MSG_PROCESS_RETURN tls_process_hello_retry_request(SSL *s, PACKET *pkt)
1558{
1559 unsigned int sversion;
Matt Caswell2248dbe2017-02-06 16:47:29 +00001560 int errorcode;
Matt Caswell11c67ee2017-03-13 15:21:15 +00001561 const unsigned char *cipherchars;
Matt Caswell3847d422017-02-01 13:31:27 +00001562 RAW_EXTENSION *extensions = NULL;
1563 int al;
1564 PACKET extpkt;
1565
1566 if (!PACKET_get_net_2(pkt, &sversion)) {
1567 al = SSL_AD_DECODE_ERROR;
1568 SSLerr(SSL_F_TLS_PROCESS_HELLO_RETRY_REQUEST, SSL_R_LENGTH_MISMATCH);
1569 goto f_err;
1570 }
1571
1572 s->hello_retry_request = 1;
1573
1574 /* This will fail if it doesn't choose TLSv1.3+ */
Matt Caswellc3043dc2017-03-22 11:50:32 +00001575 errorcode = ssl_choose_client_version(s, sversion, 0, &al);
Matt Caswell2248dbe2017-02-06 16:47:29 +00001576 if (errorcode != 0) {
Matt Caswell2248dbe2017-02-06 16:47:29 +00001577 SSLerr(SSL_F_TLS_PROCESS_HELLO_RETRY_REQUEST, errorcode);
Matt Caswell3847d422017-02-01 13:31:27 +00001578 goto f_err;
1579 }
1580
Matt Caswell11c67ee2017-03-13 15:21:15 +00001581 if (!PACKET_get_bytes(pkt, &cipherchars, TLS_CIPHER_LEN)) {
1582 SSLerr(SSL_F_TLS_PROCESS_HELLO_RETRY_REQUEST, SSL_R_LENGTH_MISMATCH);
1583 al = SSL_AD_DECODE_ERROR;
1584 goto f_err;
1585 }
1586
1587 if (!set_client_ciphersuite(s, cipherchars)) {
1588 al = SSL_AD_ILLEGAL_PARAMETER;
1589 goto f_err;
1590 }
1591
Matt Caswell66d4bf62017-05-08 16:05:16 +01001592 if (!PACKET_as_length_prefixed_2(pkt, &extpkt)
1593 /* Must have a non-empty extensions block */
1594 || PACKET_remaining(&extpkt) == 0
1595 /* Must be no trailing data after extensions */
1596 || PACKET_remaining(pkt) != 0) {
Matt Caswell3847d422017-02-01 13:31:27 +00001597 al = SSL_AD_DECODE_ERROR;
1598 SSLerr(SSL_F_TLS_PROCESS_HELLO_RETRY_REQUEST, SSL_R_BAD_LENGTH);
1599 goto f_err;
1600 }
1601
Matt Caswellfe874d22017-04-04 11:40:02 +01001602 if (!tls_collect_extensions(s, &extpkt, SSL_EXT_TLS1_3_HELLO_RETRY_REQUEST,
Tatsuhiro Tsujikawa735d5b52017-04-18 23:59:39 +09001603 &extensions, &al, NULL, 1)
Matt Caswellfe874d22017-04-04 11:40:02 +01001604 || !tls_parse_all_extensions(s, SSL_EXT_TLS1_3_HELLO_RETRY_REQUEST,
Tatsuhiro Tsujikawa735d5b52017-04-18 23:59:39 +09001605 extensions, NULL, 0, &al, 1))
Matt Caswell3847d422017-02-01 13:31:27 +00001606 goto f_err;
1607
1608 OPENSSL_free(extensions);
Matt Caswell66d4bf62017-05-08 16:05:16 +01001609 extensions = NULL;
1610
1611 if (s->ext.tls13_cookie_len == 0 && s->s3->tmp.pkey != NULL) {
1612 /*
1613 * We didn't receive a cookie or a new key_share so the next
1614 * ClientHello will not change
1615 */
1616 al = SSL_AD_ILLEGAL_PARAMETER;
1617 SSLerr(SSL_F_TLS_PROCESS_HELLO_RETRY_REQUEST,
1618 SSL_R_NO_CHANGE_FOLLOWING_HRR);
1619 goto f_err;
1620 }
Matt Caswell3847d422017-02-01 13:31:27 +00001621
Matt Caswell11c67ee2017-03-13 15:21:15 +00001622 /*
1623 * Re-initialise the Transcript Hash. We're going to prepopulate it with
1624 * a synthetic message_hash in place of ClientHello1.
1625 */
1626 if (!create_synthetic_message_hash(s)) {
1627 al = SSL_AD_INTERNAL_ERROR;
1628 goto f_err;
1629 }
1630
1631 /*
1632 * Add this message to the Transcript Hash. Normally this is done
1633 * automatically prior to the message processing stage. However due to the
1634 * need to create the synthetic message hash, we defer that step until now
1635 * for HRR messages.
1636 */
1637 if (!ssl3_finish_mac(s, (unsigned char *)s->init_buf->data,
1638 s->init_num + SSL3_HM_HEADER_LENGTH)) {
1639 al = SSL_AD_INTERNAL_ERROR;
1640 SSLerr(SSL_F_TLS_PROCESS_HELLO_RETRY_REQUEST, ERR_R_INTERNAL_ERROR);
1641 goto f_err;
1642 }
1643
Matt Caswell3847d422017-02-01 13:31:27 +00001644 return MSG_PROCESS_FINISHED_READING;
1645 f_err:
1646 ssl3_send_alert(s, SSL3_AL_FATAL, al);
1647 ossl_statem_set_error(s);
1648 OPENSSL_free(extensions);
1649 return MSG_PROCESS_ERROR;
1650}
1651
Matt Caswellbe3583f2015-10-26 11:46:33 +00001652MSG_PROCESS_RETURN tls_process_server_certificate(SSL *s, PACKET *pkt)
Matt Caswellb9908bf2015-07-29 14:08:49 +01001653{
1654 int al, i, ret = MSG_PROCESS_ERROR, exp_idx;
1655 unsigned long cert_list_len, cert_len;
1656 X509 *x = NULL;
Emilia Kasperb6981742016-02-01 15:26:18 +01001657 const unsigned char *certstart, *certbytes;
Matt Caswellb9908bf2015-07-29 14:08:49 +01001658 STACK_OF(X509) *sk = NULL;
1659 EVP_PKEY *pkey = NULL;
Matt Caswelld805a572017-01-06 11:01:14 +00001660 size_t chainidx;
Matt Caswelle96e0f82016-12-02 09:14:15 +00001661 unsigned int context = 0;
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00001662
Matt Caswell0f113f32015-01-22 03:40:55 +00001663 if ((sk = sk_X509_new_null()) == NULL) {
Matt Caswellb9908bf2015-07-29 14:08:49 +01001664 SSLerr(SSL_F_TLS_PROCESS_SERVER_CERTIFICATE, ERR_R_MALLOC_FAILURE);
Matt Caswellcc273a92015-04-30 11:32:35 +01001665 goto err;
Matt Caswell0f113f32015-01-22 03:40:55 +00001666 }
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00001667
Matt Caswelle96e0f82016-12-02 09:14:15 +00001668 if ((SSL_IS_TLS13(s) && !PACKET_get_1(pkt, &context))
1669 || context != 0
1670 || !PACKET_get_net_3(pkt, &cert_list_len)
Matt Caswell1a281aa2017-05-11 08:38:21 +01001671 || PACKET_remaining(pkt) != cert_list_len
1672 || PACKET_remaining(pkt) == 0) {
Matt Caswell0f113f32015-01-22 03:40:55 +00001673 al = SSL_AD_DECODE_ERROR;
Matt Caswellb9908bf2015-07-29 14:08:49 +01001674 SSLerr(SSL_F_TLS_PROCESS_SERVER_CERTIFICATE, SSL_R_LENGTH_MISMATCH);
Matt Caswell0f113f32015-01-22 03:40:55 +00001675 goto f_err;
1676 }
Matt Caswelld805a572017-01-06 11:01:14 +00001677 for (chainidx = 0; PACKET_remaining(pkt); chainidx++) {
Matt Caswell73999b62015-09-10 10:22:30 +01001678 if (!PACKET_get_net_3(pkt, &cert_len)
Emilia Kaspera230b262016-08-05 19:03:17 +02001679 || !PACKET_get_bytes(pkt, &certbytes, cert_len)) {
Matt Caswell0f113f32015-01-22 03:40:55 +00001680 al = SSL_AD_DECODE_ERROR;
Matt Caswellb9908bf2015-07-29 14:08:49 +01001681 SSLerr(SSL_F_TLS_PROCESS_SERVER_CERTIFICATE,
Matt Caswell0f113f32015-01-22 03:40:55 +00001682 SSL_R_CERT_LENGTH_MISMATCH);
1683 goto f_err;
1684 }
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00001685
Matt Caswelldf758a82015-08-04 20:10:06 +01001686 certstart = certbytes;
1687 x = d2i_X509(NULL, (const unsigned char **)&certbytes, cert_len);
Matt Caswell0f113f32015-01-22 03:40:55 +00001688 if (x == NULL) {
1689 al = SSL_AD_BAD_CERTIFICATE;
Matt Caswellb9908bf2015-07-29 14:08:49 +01001690 SSLerr(SSL_F_TLS_PROCESS_SERVER_CERTIFICATE, ERR_R_ASN1_LIB);
Matt Caswell0f113f32015-01-22 03:40:55 +00001691 goto f_err;
1692 }
Matt Caswelldf758a82015-08-04 20:10:06 +01001693 if (certbytes != (certstart + cert_len)) {
Matt Caswell0f113f32015-01-22 03:40:55 +00001694 al = SSL_AD_DECODE_ERROR;
Matt Caswellb9908bf2015-07-29 14:08:49 +01001695 SSLerr(SSL_F_TLS_PROCESS_SERVER_CERTIFICATE,
Matt Caswell0f113f32015-01-22 03:40:55 +00001696 SSL_R_CERT_LENGTH_MISMATCH);
1697 goto f_err;
1698 }
Matt Caswelle96e0f82016-12-02 09:14:15 +00001699
1700 if (SSL_IS_TLS13(s)) {
1701 RAW_EXTENSION *rawexts = NULL;
1702 PACKET extensions;
1703
1704 if (!PACKET_get_length_prefixed_2(pkt, &extensions)) {
1705 al = SSL_AD_DECODE_ERROR;
1706 SSLerr(SSL_F_TLS_PROCESS_SERVER_CERTIFICATE, SSL_R_BAD_LENGTH);
1707 goto f_err;
1708 }
Matt Caswellfe874d22017-04-04 11:40:02 +01001709 if (!tls_collect_extensions(s, &extensions,
1710 SSL_EXT_TLS1_3_CERTIFICATE, &rawexts,
Tatsuhiro Tsujikawa735d5b52017-04-18 23:59:39 +09001711 &al, NULL, chainidx == 0)
Tatsuhiro Tsujikawa8e1634e2017-04-21 22:10:32 +09001712 || !tls_parse_all_extensions(s, SSL_EXT_TLS1_3_CERTIFICATE,
1713 rawexts, x, chainidx, &al,
1714 PACKET_remaining(pkt) == 0)) {
Matt Caswell5ee289e2017-01-25 14:45:12 +00001715 OPENSSL_free(rawexts);
Matt Caswelle96e0f82016-12-02 09:14:15 +00001716 goto f_err;
Matt Caswell5ee289e2017-01-25 14:45:12 +00001717 }
1718 OPENSSL_free(rawexts);
Matt Caswelle96e0f82016-12-02 09:14:15 +00001719 }
1720
Matt Caswell0f113f32015-01-22 03:40:55 +00001721 if (!sk_X509_push(sk, x)) {
Matt Caswellb9908bf2015-07-29 14:08:49 +01001722 SSLerr(SSL_F_TLS_PROCESS_SERVER_CERTIFICATE, ERR_R_MALLOC_FAILURE);
Matt Caswellcc273a92015-04-30 11:32:35 +01001723 goto err;
Matt Caswell0f113f32015-01-22 03:40:55 +00001724 }
1725 x = NULL;
Matt Caswell0f113f32015-01-22 03:40:55 +00001726 }
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00001727
Matt Caswell0f113f32015-01-22 03:40:55 +00001728 i = ssl_verify_cert_chain(s, sk);
Matt Caswellc8e2f982016-10-27 10:46:25 +01001729 /*
1730 * The documented interface is that SSL_VERIFY_PEER should be set in order
1731 * for client side verification of the server certificate to take place.
1732 * However, historically the code has only checked that *any* flag is set
1733 * to cause server verification to take place. Use of the other flags makes
1734 * no sense in client mode. An attempt to clean up the semantics was
1735 * reverted because at least one application *only* set
1736 * SSL_VERIFY_FAIL_IF_NO_PEER_CERT. Prior to the clean up this still caused
1737 * server verification to take place, after the clean up it silently did
1738 * nothing. SSL_CTX_set_verify()/SSL_set_verify() cannot validate the flags
1739 * sent to them because they are void functions. Therefore, we now use the
1740 * (less clean) historic behaviour of performing validation if any flag is
1741 * set. The *documented* interface remains the same.
1742 */
1743 if (s->verify_mode != SSL_VERIFY_NONE && i <= 0) {
Matt Caswell0f113f32015-01-22 03:40:55 +00001744 al = ssl_verify_alarm_type(s->verify_result);
Matt Caswellb9908bf2015-07-29 14:08:49 +01001745 SSLerr(SSL_F_TLS_PROCESS_SERVER_CERTIFICATE,
Matt Caswell0f113f32015-01-22 03:40:55 +00001746 SSL_R_CERTIFICATE_VERIFY_FAILED);
1747 goto f_err;
1748 }
1749 ERR_clear_error(); /* but we keep s->verify_result */
1750 if (i > 1) {
Matt Caswellb9908bf2015-07-29 14:08:49 +01001751 SSLerr(SSL_F_TLS_PROCESS_SERVER_CERTIFICATE, i);
Matt Caswell0f113f32015-01-22 03:40:55 +00001752 al = SSL_AD_HANDSHAKE_FAILURE;
1753 goto f_err;
1754 }
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00001755
Dr. Stephen Hensonc34b0f92015-06-21 19:34:33 +01001756 s->session->peer_chain = sk;
Matt Caswell0f113f32015-01-22 03:40:55 +00001757 /*
1758 * Inconsistency alert: cert_chain does include the peer's certificate,
Matt Caswelld4d78942016-05-17 11:51:00 +01001759 * which we don't include in statem_srvr.c
Matt Caswell0f113f32015-01-22 03:40:55 +00001760 */
1761 x = sk_X509_value(sk, 0);
1762 sk = NULL;
1763 /*
1764 * VRS 19990621: possible memory leak; sk=null ==> !sk_pop_free() @end
1765 */
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00001766
Dr. Stephen Henson8382fd32015-12-20 00:32:36 +00001767 pkey = X509_get0_pubkey(x);
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00001768
Matt Caswell55a9a162015-05-12 10:27:53 +01001769 if (pkey == NULL || EVP_PKEY_missing_parameters(pkey)) {
Matt Caswell0f113f32015-01-22 03:40:55 +00001770 x = NULL;
Matt Caswellf69fe732017-05-10 16:47:24 +01001771 al = SSL_AD_INTERNAL_ERROR;
Matt Caswellb9908bf2015-07-29 14:08:49 +01001772 SSLerr(SSL_F_TLS_PROCESS_SERVER_CERTIFICATE,
Matt Caswell0f113f32015-01-22 03:40:55 +00001773 SSL_R_UNABLE_TO_FIND_PUBLIC_KEY_PARAMETERS);
1774 goto f_err;
1775 }
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00001776
Matt Caswell0f113f32015-01-22 03:40:55 +00001777 i = ssl_cert_type(x, pkey);
Matt Caswell55a9a162015-05-12 10:27:53 +01001778 if (i < 0) {
Matt Caswell0f113f32015-01-22 03:40:55 +00001779 x = NULL;
1780 al = SSL3_AL_FATAL;
Matt Caswellb9908bf2015-07-29 14:08:49 +01001781 SSLerr(SSL_F_TLS_PROCESS_SERVER_CERTIFICATE,
Matt Caswell0f113f32015-01-22 03:40:55 +00001782 SSL_R_UNKNOWN_CERTIFICATE_TYPE);
1783 goto f_err;
1784 }
Dr. Stephen Henson05b84862017-01-30 15:34:25 +00001785 /*
1786 * Check certificate type is consistent with ciphersuite. For TLS 1.3
1787 * skip check since TLS 1.3 ciphersuites can be used with any certificate
1788 * type.
1789 */
1790 if (!SSL_IS_TLS13(s)) {
1791 exp_idx = ssl_cipher_get_cert_index(s->s3->tmp.new_cipher);
1792 if (exp_idx >= 0 && i != exp_idx
Dr. Stephen Hensonb2021552017-06-16 18:55:28 +01001793 && (exp_idx != SSL_PKEY_ECC || i != SSL_PKEY_ED25519)
1794 && (exp_idx != SSL_PKEY_GOST_EC ||
1795 (i != SSL_PKEY_GOST12_512 && i != SSL_PKEY_GOST12_256
1796 && i != SSL_PKEY_GOST01))) {
Dr. Stephen Henson05b84862017-01-30 15:34:25 +00001797 x = NULL;
1798 al = SSL_AD_ILLEGAL_PARAMETER;
1799 SSLerr(SSL_F_TLS_PROCESS_SERVER_CERTIFICATE,
1800 SSL_R_WRONG_CERTIFICATE_TYPE);
1801 goto f_err;
1802 }
Matt Caswell0f113f32015-01-22 03:40:55 +00001803 }
Dr. Stephen Hensona273c6e2015-06-21 19:08:57 +01001804 s->session->peer_type = i;
Matt Caswell55a9a162015-05-12 10:27:53 +01001805
1806 X509_free(s->session->peer);
Dr. Stephen Henson05f0fb92015-08-31 20:29:57 +01001807 X509_up_ref(x);
Matt Caswell55a9a162015-05-12 10:27:53 +01001808 s->session->peer = x;
Matt Caswell0f113f32015-01-22 03:40:55 +00001809 s->session->verify_result = s->verify_result;
Matt Caswell0f113f32015-01-22 03:40:55 +00001810 x = NULL;
Matt Caswell2c5dfdc2016-12-05 17:04:51 +00001811
1812 /* Save the current hash state for when we receive the CertificateVerify */
1813 if (SSL_IS_TLS13(s)
1814 && !ssl_handshake_hash(s, s->cert_verify_hash,
1815 sizeof(s->cert_verify_hash),
1816 &s->cert_verify_hash_len)) {
1817 al = SSL_AD_INTERNAL_ERROR;
1818 SSLerr(SSL_F_TLS_PROCESS_SERVER_CERTIFICATE, ERR_R_INTERNAL_ERROR);
1819 goto f_err;
1820 }
1821
Matt Caswellb9908bf2015-07-29 14:08:49 +01001822 ret = MSG_PROCESS_CONTINUE_READING;
Rich Salz66696472015-05-01 14:29:48 -04001823 goto done;
1824
Matt Caswell0f113f32015-01-22 03:40:55 +00001825 f_err:
Rich Salz66696472015-05-01 14:29:48 -04001826 ssl3_send_alert(s, SSL3_AL_FATAL, al);
Matt Caswellcc273a92015-04-30 11:32:35 +01001827 err:
Matt Caswellfe3a3292015-10-05 10:39:54 +01001828 ossl_statem_set_error(s);
Rich Salz66696472015-05-01 14:29:48 -04001829 done:
Matt Caswell0f113f32015-01-22 03:40:55 +00001830 X509_free(x);
1831 sk_X509_pop_free(sk, X509_free);
Matt Caswellb9908bf2015-07-29 14:08:49 +01001832 return ret;
Matt Caswell0f113f32015-01-22 03:40:55 +00001833}
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00001834
Matt Caswell7dc1c642016-07-08 12:44:53 +01001835static int tls_process_ske_psk_preamble(SSL *s, PACKET *pkt, int *al)
Matt Caswell02a74592016-07-08 12:20:42 +01001836{
1837#ifndef OPENSSL_NO_PSK
Matt Caswell7dc1c642016-07-08 12:44:53 +01001838 PACKET psk_identity_hint;
Matt Caswell02a74592016-07-08 12:20:42 +01001839
Matt Caswell7dc1c642016-07-08 12:44:53 +01001840 /* PSK ciphersuites are preceded by an identity hint */
1841
1842 if (!PACKET_get_length_prefixed_2(pkt, &psk_identity_hint)) {
1843 *al = SSL_AD_DECODE_ERROR;
Matt Caswell4fa88862016-07-08 15:48:26 +01001844 SSLerr(SSL_F_TLS_PROCESS_SKE_PSK_PREAMBLE, SSL_R_LENGTH_MISMATCH);
Matt Caswell7dc1c642016-07-08 12:44:53 +01001845 return 0;
1846 }
1847
1848 /*
1849 * Store PSK identity hint for later use, hint is used in
1850 * tls_construct_client_key_exchange. Assume that the maximum length of
1851 * a PSK identity hint can be as long as the maximum length of a PSK
1852 * identity.
1853 */
1854 if (PACKET_remaining(&psk_identity_hint) > PSK_MAX_IDENTITY_LEN) {
1855 *al = SSL_AD_HANDSHAKE_FAILURE;
Matt Caswell4fa88862016-07-08 15:48:26 +01001856 SSLerr(SSL_F_TLS_PROCESS_SKE_PSK_PREAMBLE, SSL_R_DATA_LENGTH_TOO_LONG);
Matt Caswell7dc1c642016-07-08 12:44:53 +01001857 return 0;
1858 }
1859
1860 if (PACKET_remaining(&psk_identity_hint) == 0) {
1861 OPENSSL_free(s->session->psk_identity_hint);
1862 s->session->psk_identity_hint = NULL;
1863 } else if (!PACKET_strndup(&psk_identity_hint,
Emilia Kaspera230b262016-08-05 19:03:17 +02001864 &s->session->psk_identity_hint)) {
Matt Caswell7dc1c642016-07-08 12:44:53 +01001865 *al = SSL_AD_INTERNAL_ERROR;
1866 return 0;
1867 }
1868
1869 return 1;
Matt Caswell02a74592016-07-08 12:20:42 +01001870#else
Matt Caswell4fa88862016-07-08 15:48:26 +01001871 SSLerr(SSL_F_TLS_PROCESS_SKE_PSK_PREAMBLE, ERR_R_INTERNAL_ERROR);
Matt Caswell7dc1c642016-07-08 12:44:53 +01001872 *al = SSL_AD_INTERNAL_ERROR;
1873 return 0;
Matt Caswell02a74592016-07-08 12:20:42 +01001874#endif
1875}
1876
Matt Caswell25c6c102016-07-08 14:55:56 +01001877static int tls_process_ske_srp(SSL *s, PACKET *pkt, EVP_PKEY **pkey, int *al)
1878{
1879#ifndef OPENSSL_NO_SRP
1880 PACKET prime, generator, salt, server_pub;
1881
1882 if (!PACKET_get_length_prefixed_2(pkt, &prime)
1883 || !PACKET_get_length_prefixed_2(pkt, &generator)
1884 || !PACKET_get_length_prefixed_1(pkt, &salt)
1885 || !PACKET_get_length_prefixed_2(pkt, &server_pub)) {
1886 *al = SSL_AD_DECODE_ERROR;
Matt Caswell4fa88862016-07-08 15:48:26 +01001887 SSLerr(SSL_F_TLS_PROCESS_SKE_SRP, SSL_R_LENGTH_MISMATCH);
Matt Caswell25c6c102016-07-08 14:55:56 +01001888 return 0;
1889 }
1890
Matt Caswell348240c2016-10-19 15:11:24 +01001891 /* TODO(size_t): Convert BN_bin2bn() calls */
Matt Caswell25c6c102016-07-08 14:55:56 +01001892 if ((s->srp_ctx.N =
1893 BN_bin2bn(PACKET_data(&prime),
Matt Caswell348240c2016-10-19 15:11:24 +01001894 (int)PACKET_remaining(&prime), NULL)) == NULL
Matt Caswell25c6c102016-07-08 14:55:56 +01001895 || (s->srp_ctx.g =
1896 BN_bin2bn(PACKET_data(&generator),
Matt Caswell348240c2016-10-19 15:11:24 +01001897 (int)PACKET_remaining(&generator), NULL)) == NULL
Matt Caswell25c6c102016-07-08 14:55:56 +01001898 || (s->srp_ctx.s =
1899 BN_bin2bn(PACKET_data(&salt),
Matt Caswell348240c2016-10-19 15:11:24 +01001900 (int)PACKET_remaining(&salt), NULL)) == NULL
Matt Caswell25c6c102016-07-08 14:55:56 +01001901 || (s->srp_ctx.B =
1902 BN_bin2bn(PACKET_data(&server_pub),
Matt Caswell348240c2016-10-19 15:11:24 +01001903 (int)PACKET_remaining(&server_pub), NULL)) == NULL) {
Matt Caswell25c6c102016-07-08 14:55:56 +01001904 *al = SSL_AD_INTERNAL_ERROR;
Matt Caswell4fa88862016-07-08 15:48:26 +01001905 SSLerr(SSL_F_TLS_PROCESS_SKE_SRP, ERR_R_BN_LIB);
Matt Caswell25c6c102016-07-08 14:55:56 +01001906 return 0;
1907 }
1908
1909 if (!srp_verify_server_param(s, al)) {
Matt Caswell4fa88862016-07-08 15:48:26 +01001910 SSLerr(SSL_F_TLS_PROCESS_SKE_SRP, SSL_R_BAD_SRP_PARAMETERS);
Matt Caswell25c6c102016-07-08 14:55:56 +01001911 return 0;
1912 }
1913
1914 /* We must check if there is a certificate */
Emilia Kaspera230b262016-08-05 19:03:17 +02001915 if (s->s3->tmp.new_cipher->algorithm_auth & (SSL_aRSA | SSL_aDSS))
Matt Caswell25c6c102016-07-08 14:55:56 +01001916 *pkey = X509_get0_pubkey(s->session->peer);
1917
1918 return 1;
1919#else
Matt Caswell4fa88862016-07-08 15:48:26 +01001920 SSLerr(SSL_F_TLS_PROCESS_SKE_SRP, ERR_R_INTERNAL_ERROR);
Matt Caswell25c6c102016-07-08 14:55:56 +01001921 *al = SSL_AD_INTERNAL_ERROR;
1922 return 0;
1923#endif
1924}
1925
Matt Caswelle01a6102016-07-08 15:08:50 +01001926static int tls_process_ske_dhe(SSL *s, PACKET *pkt, EVP_PKEY **pkey, int *al)
1927{
1928#ifndef OPENSSL_NO_DH
1929 PACKET prime, generator, pub_key;
1930 EVP_PKEY *peer_tmp = NULL;
1931
1932 DH *dh = NULL;
1933 BIGNUM *p = NULL, *g = NULL, *bnpub_key = NULL;
1934
Richard Levitte26505152016-12-30 21:57:28 +01001935 int check_bits = 0;
1936
Matt Caswelle01a6102016-07-08 15:08:50 +01001937 if (!PACKET_get_length_prefixed_2(pkt, &prime)
1938 || !PACKET_get_length_prefixed_2(pkt, &generator)
1939 || !PACKET_get_length_prefixed_2(pkt, &pub_key)) {
1940 *al = SSL_AD_DECODE_ERROR;
Matt Caswell4fa88862016-07-08 15:48:26 +01001941 SSLerr(SSL_F_TLS_PROCESS_SKE_DHE, SSL_R_LENGTH_MISMATCH);
Matt Caswelle01a6102016-07-08 15:08:50 +01001942 return 0;
1943 }
1944
1945 peer_tmp = EVP_PKEY_new();
1946 dh = DH_new();
1947
1948 if (peer_tmp == NULL || dh == NULL) {
1949 *al = SSL_AD_INTERNAL_ERROR;
Matt Caswell4fa88862016-07-08 15:48:26 +01001950 SSLerr(SSL_F_TLS_PROCESS_SKE_DHE, ERR_R_MALLOC_FAILURE);
Matt Caswelle01a6102016-07-08 15:08:50 +01001951 goto err;
1952 }
1953
Matt Caswell348240c2016-10-19 15:11:24 +01001954 /* TODO(size_t): Convert these calls */
1955 p = BN_bin2bn(PACKET_data(&prime), (int)PACKET_remaining(&prime), NULL);
1956 g = BN_bin2bn(PACKET_data(&generator), (int)PACKET_remaining(&generator),
1957 NULL);
1958 bnpub_key = BN_bin2bn(PACKET_data(&pub_key),
1959 (int)PACKET_remaining(&pub_key), NULL);
Matt Caswelle01a6102016-07-08 15:08:50 +01001960 if (p == NULL || g == NULL || bnpub_key == NULL) {
1961 *al = SSL_AD_INTERNAL_ERROR;
Matt Caswell4fa88862016-07-08 15:48:26 +01001962 SSLerr(SSL_F_TLS_PROCESS_SKE_DHE, ERR_R_BN_LIB);
Matt Caswelle01a6102016-07-08 15:08:50 +01001963 goto err;
1964 }
1965
FdaSilvaYY69687aa2017-03-28 23:57:28 +02001966 /* test non-zero pubkey */
Richard Levitte26505152016-12-30 21:57:28 +01001967 if (BN_is_zero(bnpub_key)) {
Matt Caswellfb34a0f2017-05-16 17:28:23 +01001968 *al = SSL_AD_ILLEGAL_PARAMETER;
Matt Caswell4fa88862016-07-08 15:48:26 +01001969 SSLerr(SSL_F_TLS_PROCESS_SKE_DHE, SSL_R_BAD_DH_VALUE);
Matt Caswelle01a6102016-07-08 15:08:50 +01001970 goto err;
1971 }
1972
1973 if (!DH_set0_pqg(dh, p, NULL, g)) {
1974 *al = SSL_AD_INTERNAL_ERROR;
Matt Caswell4fa88862016-07-08 15:48:26 +01001975 SSLerr(SSL_F_TLS_PROCESS_SKE_DHE, ERR_R_BN_LIB);
Matt Caswelle01a6102016-07-08 15:08:50 +01001976 goto err;
1977 }
1978 p = g = NULL;
1979
Richard Levitte26505152016-12-30 21:57:28 +01001980 if (DH_check_params(dh, &check_bits) == 0 || check_bits != 0) {
Matt Caswellfb34a0f2017-05-16 17:28:23 +01001981 *al = SSL_AD_ILLEGAL_PARAMETER;
Richard Levitte26505152016-12-30 21:57:28 +01001982 SSLerr(SSL_F_TLS_PROCESS_SKE_DHE, SSL_R_BAD_DH_VALUE);
1983 goto err;
1984 }
1985
Matt Caswelle01a6102016-07-08 15:08:50 +01001986 if (!DH_set0_key(dh, bnpub_key, NULL)) {
1987 *al = SSL_AD_INTERNAL_ERROR;
Matt Caswell4fa88862016-07-08 15:48:26 +01001988 SSLerr(SSL_F_TLS_PROCESS_SKE_DHE, ERR_R_BN_LIB);
Matt Caswelle01a6102016-07-08 15:08:50 +01001989 goto err;
1990 }
1991 bnpub_key = NULL;
1992
1993 if (!ssl_security(s, SSL_SECOP_TMP_DH, DH_security_bits(dh), 0, dh)) {
1994 *al = SSL_AD_HANDSHAKE_FAILURE;
Matt Caswell4fa88862016-07-08 15:48:26 +01001995 SSLerr(SSL_F_TLS_PROCESS_SKE_DHE, SSL_R_DH_KEY_TOO_SMALL);
Matt Caswelle01a6102016-07-08 15:08:50 +01001996 goto err;
1997 }
1998
1999 if (EVP_PKEY_assign_DH(peer_tmp, dh) == 0) {
2000 *al = SSL_AD_INTERNAL_ERROR;
Matt Caswell4fa88862016-07-08 15:48:26 +01002001 SSLerr(SSL_F_TLS_PROCESS_SKE_DHE, ERR_R_EVP_LIB);
Matt Caswelle01a6102016-07-08 15:08:50 +01002002 goto err;
2003 }
2004
2005 s->s3->peer_tmp = peer_tmp;
2006
2007 /*
2008 * FIXME: This makes assumptions about which ciphersuites come with
2009 * public keys. We should have a less ad-hoc way of doing this
2010 */
Emilia Kaspera230b262016-08-05 19:03:17 +02002011 if (s->s3->tmp.new_cipher->algorithm_auth & (SSL_aRSA | SSL_aDSS))
Matt Caswelle01a6102016-07-08 15:08:50 +01002012 *pkey = X509_get0_pubkey(s->session->peer);
2013 /* else anonymous DH, so no certificate or pkey. */
2014
2015 return 1;
2016
2017 err:
2018 BN_free(p);
2019 BN_free(g);
2020 BN_free(bnpub_key);
2021 DH_free(dh);
2022 EVP_PKEY_free(peer_tmp);
2023
2024 return 0;
2025#else
Matt Caswell4fa88862016-07-08 15:48:26 +01002026 SSLerr(SSL_F_TLS_PROCESS_SKE_DHE, ERR_R_INTERNAL_ERROR);
Matt Caswelle01a6102016-07-08 15:08:50 +01002027 *al = SSL_AD_INTERNAL_ERROR;
2028 return 0;
2029#endif
2030}
2031
Matt Caswellff74aeb2016-07-08 15:26:13 +01002032static int tls_process_ske_ecdhe(SSL *s, PACKET *pkt, EVP_PKEY **pkey, int *al)
2033{
2034#ifndef OPENSSL_NO_EC
2035 PACKET encoded_pt;
2036 const unsigned char *ecparams;
2037 int curve_nid;
Dr. Stephen Hensonec246302016-08-11 15:41:49 +01002038 unsigned int curve_flags;
Matt Caswellff74aeb2016-07-08 15:26:13 +01002039 EVP_PKEY_CTX *pctx = NULL;
2040
2041 /*
2042 * Extract elliptic curve parameters and the server's ephemeral ECDH
2043 * public key. For now we only support named (not generic) curves and
2044 * ECParameters in this case is just three bytes.
2045 */
2046 if (!PACKET_get_bytes(pkt, &ecparams, 3)) {
2047 *al = SSL_AD_DECODE_ERROR;
Matt Caswell4fa88862016-07-08 15:48:26 +01002048 SSLerr(SSL_F_TLS_PROCESS_SKE_ECDHE, SSL_R_LENGTH_TOO_SHORT);
Matt Caswellff74aeb2016-07-08 15:26:13 +01002049 return 0;
2050 }
2051 /*
2052 * Check curve is one of our preferences, if not server has sent an
2053 * invalid curve. ECParameters is 3 bytes.
2054 */
2055 if (!tls1_check_curve(s, ecparams, 3)) {
Matt Caswellfb34a0f2017-05-16 17:28:23 +01002056 *al = SSL_AD_ILLEGAL_PARAMETER;
Matt Caswell4fa88862016-07-08 15:48:26 +01002057 SSLerr(SSL_F_TLS_PROCESS_SKE_ECDHE, SSL_R_WRONG_CURVE);
Matt Caswellff74aeb2016-07-08 15:26:13 +01002058 return 0;
2059 }
2060
Dr. Stephen Hensonec246302016-08-11 15:41:49 +01002061 curve_nid = tls1_ec_curve_id2nid(*(ecparams + 2), &curve_flags);
2062
Emilia Kaspera230b262016-08-05 19:03:17 +02002063 if (curve_nid == 0) {
Matt Caswellff74aeb2016-07-08 15:26:13 +01002064 *al = SSL_AD_INTERNAL_ERROR;
Matt Caswell4fa88862016-07-08 15:48:26 +01002065 SSLerr(SSL_F_TLS_PROCESS_SKE_ECDHE,
Matt Caswellff74aeb2016-07-08 15:26:13 +01002066 SSL_R_UNABLE_TO_FIND_ECDH_PARAMETERS);
2067 return 0;
2068 }
2069
Dr. Stephen Hensonec246302016-08-11 15:41:49 +01002070 if ((curve_flags & TLS_CURVE_TYPE) == TLS_CURVE_CUSTOM) {
2071 EVP_PKEY *key = EVP_PKEY_new();
2072
2073 if (key == NULL || !EVP_PKEY_set_type(key, curve_nid)) {
2074 *al = SSL_AD_INTERNAL_ERROR;
2075 SSLerr(SSL_F_TLS_PROCESS_SKE_ECDHE, ERR_R_EVP_LIB);
2076 EVP_PKEY_free(key);
2077 return 0;
2078 }
2079 s->s3->peer_tmp = key;
2080 } else {
2081 /* Set up EVP_PKEY with named curve as parameters */
2082 pctx = EVP_PKEY_CTX_new_id(EVP_PKEY_EC, NULL);
2083 if (pctx == NULL
2084 || EVP_PKEY_paramgen_init(pctx) <= 0
2085 || EVP_PKEY_CTX_set_ec_paramgen_curve_nid(pctx, curve_nid) <= 0
2086 || EVP_PKEY_paramgen(pctx, &s->s3->peer_tmp) <= 0) {
2087 *al = SSL_AD_INTERNAL_ERROR;
2088 SSLerr(SSL_F_TLS_PROCESS_SKE_ECDHE, ERR_R_EVP_LIB);
2089 EVP_PKEY_CTX_free(pctx);
2090 return 0;
2091 }
Matt Caswellff74aeb2016-07-08 15:26:13 +01002092 EVP_PKEY_CTX_free(pctx);
Dr. Stephen Hensonec246302016-08-11 15:41:49 +01002093 pctx = NULL;
Matt Caswellff74aeb2016-07-08 15:26:13 +01002094 }
Matt Caswellff74aeb2016-07-08 15:26:13 +01002095
2096 if (!PACKET_get_length_prefixed_1(pkt, &encoded_pt)) {
2097 *al = SSL_AD_DECODE_ERROR;
Matt Caswell4fa88862016-07-08 15:48:26 +01002098 SSLerr(SSL_F_TLS_PROCESS_SKE_ECDHE, SSL_R_LENGTH_MISMATCH);
Matt Caswellff74aeb2016-07-08 15:26:13 +01002099 return 0;
2100 }
2101
Dr. Stephen Hensonec246302016-08-11 15:41:49 +01002102 if (!EVP_PKEY_set1_tls_encodedpoint(s->s3->peer_tmp,
2103 PACKET_data(&encoded_pt),
2104 PACKET_remaining(&encoded_pt))) {
Matt Caswellfb34a0f2017-05-16 17:28:23 +01002105 *al = SSL_AD_ILLEGAL_PARAMETER;
Matt Caswell4fa88862016-07-08 15:48:26 +01002106 SSLerr(SSL_F_TLS_PROCESS_SKE_ECDHE, SSL_R_BAD_ECPOINT);
Matt Caswellff74aeb2016-07-08 15:26:13 +01002107 return 0;
2108 }
2109
2110 /*
2111 * The ECC/TLS specification does not mention the use of DSA to sign
2112 * ECParameters in the server key exchange message. We do support RSA
2113 * and ECDSA.
2114 */
2115 if (s->s3->tmp.new_cipher->algorithm_auth & SSL_aECDSA)
2116 *pkey = X509_get0_pubkey(s->session->peer);
2117 else if (s->s3->tmp.new_cipher->algorithm_auth & SSL_aRSA)
2118 *pkey = X509_get0_pubkey(s->session->peer);
2119 /* else anonymous ECDH, so no certificate or pkey. */
2120
2121 return 1;
2122#else
Matt Caswell4fa88862016-07-08 15:48:26 +01002123 SSLerr(SSL_F_TLS_PROCESS_SKE_ECDHE, ERR_R_INTERNAL_ERROR);
Matt Caswellff74aeb2016-07-08 15:26:13 +01002124 *al = SSL_AD_INTERNAL_ERROR;
2125 return 0;
2126#endif
2127}
2128
Matt Caswellbe3583f2015-10-26 11:46:33 +00002129MSG_PROCESS_RETURN tls_process_key_exchange(SSL *s, PACKET *pkt)
Matt Caswellb9908bf2015-07-29 14:08:49 +01002130{
Dr. Stephen Henson5554fac2017-01-25 16:46:02 +00002131 int al = -1;
Matt Caswelle1e588a2016-07-08 15:41:36 +01002132 long alg_k;
Matt Caswell0f113f32015-01-22 03:40:55 +00002133 EVP_PKEY *pkey = NULL;
Matt Caswellfe3066e2017-01-03 10:01:39 +00002134 EVP_MD_CTX *md_ctx = NULL;
2135 EVP_PKEY_CTX *pctx = NULL;
Matt Caswell73999b62015-09-10 10:22:30 +01002136 PACKET save_param_start, signature;
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00002137
Matt Caswell0f113f32015-01-22 03:40:55 +00002138 alg_k = s->s3->tmp.new_cipher->algorithm_mkey;
Dr. Stephen Hensonb15f8762014-10-24 12:30:33 +01002139
Matt Caswell73999b62015-09-10 10:22:30 +01002140 save_param_start = *pkt;
Dr. Stephen Henson8d92c1f2015-06-21 16:26:08 +01002141
Ben Laurie3260adf2016-07-31 15:48:24 +01002142#if !defined(OPENSSL_NO_EC) || !defined(OPENSSL_NO_DH)
Dr. Stephen Henson61dd9f72015-12-14 00:33:33 +00002143 EVP_PKEY_free(s->s3->peer_tmp);
2144 s->s3->peer_tmp = NULL;
Ben Laurie3260adf2016-07-31 15:48:24 +01002145#endif
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00002146
Dr. Stephen Henson76890822015-06-28 17:15:10 +01002147 if (alg_k & SSL_PSK) {
Matt Caswell7dc1c642016-07-08 12:44:53 +01002148 if (!tls_process_ske_psk_preamble(s, pkt, &al))
2149 goto err;
Dr. Stephen Henson76890822015-06-28 17:15:10 +01002150 }
2151
2152 /* Nothing else to do for plain PSK or RSAPSK */
2153 if (alg_k & (SSL_kPSK | SSL_kRSAPSK)) {
Matt Caswell25c6c102016-07-08 14:55:56 +01002154 } else if (alg_k & SSL_kSRP) {
2155 if (!tls_process_ske_srp(s, pkt, &pkey, &al))
Matt Caswell0f113f32015-01-22 03:40:55 +00002156 goto err;
Matt Caswelle01a6102016-07-08 15:08:50 +01002157 } else if (alg_k & (SSL_kDHE | SSL_kDHEPSK)) {
2158 if (!tls_process_ske_dhe(s, pkt, &pkey, &al))
2159 goto err;
Matt Caswellff74aeb2016-07-08 15:26:13 +01002160 } else if (alg_k & (SSL_kECDHE | SSL_kECDHEPSK)) {
2161 if (!tls_process_ske_ecdhe(s, pkt, &pkey, &al))
2162 goto err;
Matt Caswell0f113f32015-01-22 03:40:55 +00002163 } else if (alg_k) {
2164 al = SSL_AD_UNEXPECTED_MESSAGE;
Matt Caswellb9908bf2015-07-29 14:08:49 +01002165 SSLerr(SSL_F_TLS_PROCESS_KEY_EXCHANGE, SSL_R_UNEXPECTED_MESSAGE);
Matt Caswelle1e588a2016-07-08 15:41:36 +01002166 goto err;
Matt Caswell0f113f32015-01-22 03:40:55 +00002167 }
Ralf S. Engelschalldfeab061998-12-21 11:00:56 +00002168
Matt Caswell0f113f32015-01-22 03:40:55 +00002169 /* if it was signed, check the signature */
2170 if (pkey != NULL) {
Emilia Kasper32942872015-10-02 14:40:30 +02002171 PACKET params;
Matt Caswellbe8dba22016-07-08 12:18:18 +01002172 int maxsig;
2173 const EVP_MD *md = NULL;
Dr. Stephen Henson72ceb6a2017-06-16 19:23:47 +01002174 unsigned char *tbs;
2175 size_t tbslen;
2176 int rv;
Matt Caswelle1e588a2016-07-08 15:41:36 +01002177
Emilia Kasper32942872015-10-02 14:40:30 +02002178 /*
2179 * |pkt| now points to the beginning of the signature, so the difference
2180 * equals the length of the parameters.
2181 */
2182 if (!PACKET_get_sub_packet(&save_param_start, &params,
2183 PACKET_remaining(&save_param_start) -
Matt Caswell73999b62015-09-10 10:22:30 +01002184 PACKET_remaining(pkt))) {
Matt Caswellfb34a0f2017-05-16 17:28:23 +01002185 al = SSL_AD_DECODE_ERROR;
Matt Caswellf0659bd2015-10-22 14:02:46 +01002186 SSLerr(SSL_F_TLS_PROCESS_KEY_EXCHANGE, ERR_R_INTERNAL_ERROR);
Matt Caswelle1e588a2016-07-08 15:41:36 +01002187 goto err;
Emilia Kasper32942872015-10-02 14:40:30 +02002188 }
2189
Matt Caswell0f113f32015-01-22 03:40:55 +00002190 if (SSL_USE_SIGALGS(s)) {
Matt Caswell703bcee2016-12-14 14:31:21 +00002191 unsigned int sigalg;
Matt Caswell703bcee2016-12-14 14:31:21 +00002192
2193 if (!PACKET_get_net_2(pkt, &sigalg)) {
Matt Caswelle1e588a2016-07-08 15:41:36 +01002194 al = SSL_AD_DECODE_ERROR;
Matt Caswellf0659bd2015-10-22 14:02:46 +01002195 SSLerr(SSL_F_TLS_PROCESS_KEY_EXCHANGE, SSL_R_LENGTH_TOO_SHORT);
Matt Caswelle1e588a2016-07-08 15:41:36 +01002196 goto err;
Matt Caswell0f113f32015-01-22 03:40:55 +00002197 }
Dr. Stephen Henson5554fac2017-01-25 16:46:02 +00002198 rv = tls12_check_peer_sigalg(s, sigalg, pkey);
Matt Caswelle1e588a2016-07-08 15:41:36 +01002199 if (rv == -1) {
2200 al = SSL_AD_INTERNAL_ERROR;
Matt Caswell0f113f32015-01-22 03:40:55 +00002201 goto err;
Matt Caswelle1e588a2016-07-08 15:41:36 +01002202 } else if (rv == 0) {
2203 al = SSL_AD_DECODE_ERROR;
2204 goto err;
Matt Caswell0f113f32015-01-22 03:40:55 +00002205 }
Dr. Stephen Hensona2f92002011-05-09 15:44:01 +00002206#ifdef SSL_DEBUG
Matt Caswell0f113f32015-01-22 03:40:55 +00002207 fprintf(stderr, "USING TLSv1.2 HASH %s\n", EVP_MD_name(md));
Dr. Stephen Hensona2f92002011-05-09 15:44:01 +00002208#endif
Dr. Stephen Hensonf365a3e2017-02-13 16:32:06 +00002209 } else if (!tls1_set_peer_legacy_sigalg(s, pkey)) {
2210 al = SSL_AD_INTERNAL_ERROR;
2211 goto err;
Emilia Kasper32942872015-10-02 14:40:30 +02002212 }
Matt Caswellf2be92b2014-07-26 23:47:40 +01002213
Dr. Stephen Hensonb2021552017-06-16 18:55:28 +01002214 if (!tls1_lookup_md(s->s3->tmp.peer_sigalg, &md)) {
2215 al = SSL_AD_INTERNAL_ERROR;
2216 goto err;
2217 }
Dr. Stephen Hensonf365a3e2017-02-13 16:32:06 +00002218
Matt Caswell73999b62015-09-10 10:22:30 +01002219 if (!PACKET_get_length_prefixed_2(pkt, &signature)
2220 || PACKET_remaining(pkt) != 0) {
Matt Caswelle1e588a2016-07-08 15:41:36 +01002221 al = SSL_AD_DECODE_ERROR;
Matt Caswellf0659bd2015-10-22 14:02:46 +01002222 SSLerr(SSL_F_TLS_PROCESS_KEY_EXCHANGE, SSL_R_LENGTH_MISMATCH);
Matt Caswelle1e588a2016-07-08 15:41:36 +01002223 goto err;
Matt Caswell0f113f32015-01-22 03:40:55 +00002224 }
Matt Caswellbe8dba22016-07-08 12:18:18 +01002225 maxsig = EVP_PKEY_size(pkey);
2226 if (maxsig < 0) {
Matt Caswelle1e588a2016-07-08 15:41:36 +01002227 al = SSL_AD_INTERNAL_ERROR;
Matt Caswellb9908bf2015-07-29 14:08:49 +01002228 SSLerr(SSL_F_TLS_PROCESS_KEY_EXCHANGE, ERR_R_INTERNAL_ERROR);
Matt Caswelle1e588a2016-07-08 15:41:36 +01002229 goto err;
Matt Caswell8098fc52015-08-04 21:22:31 +01002230 }
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00002231
Matt Caswell0f113f32015-01-22 03:40:55 +00002232 /*
Matt Caswell8098fc52015-08-04 21:22:31 +01002233 * Check signature length
Matt Caswell0f113f32015-01-22 03:40:55 +00002234 */
Matt Caswellbe8dba22016-07-08 12:18:18 +01002235 if (PACKET_remaining(&signature) > (size_t)maxsig) {
Matt Caswell0f113f32015-01-22 03:40:55 +00002236 /* wrong packet length */
Matt Caswelle1e588a2016-07-08 15:41:36 +01002237 al = SSL_AD_DECODE_ERROR;
Emilia Kaspera230b262016-08-05 19:03:17 +02002238 SSLerr(SSL_F_TLS_PROCESS_KEY_EXCHANGE,
2239 SSL_R_WRONG_SIGNATURE_LENGTH);
Matt Caswelle1e588a2016-07-08 15:41:36 +01002240 goto err;
Matt Caswell0f113f32015-01-22 03:40:55 +00002241 }
Matt Caswelle1e588a2016-07-08 15:41:36 +01002242
2243 md_ctx = EVP_MD_CTX_new();
2244 if (md_ctx == NULL) {
2245 al = SSL_AD_INTERNAL_ERROR;
2246 SSLerr(SSL_F_TLS_PROCESS_KEY_EXCHANGE, ERR_R_MALLOC_FAILURE);
2247 goto err;
2248 }
2249
Matt Caswellfe3066e2017-01-03 10:01:39 +00002250 if (EVP_DigestVerifyInit(md_ctx, &pctx, md, NULL, pkey) <= 0) {
Dr. Stephen Henson192e4bb2015-11-21 03:56:52 +00002251 al = SSL_AD_INTERNAL_ERROR;
2252 SSLerr(SSL_F_TLS_PROCESS_KEY_EXCHANGE, ERR_R_EVP_LIB);
Matt Caswelle1e588a2016-07-08 15:41:36 +01002253 goto err;
Dr. Stephen Henson192e4bb2015-11-21 03:56:52 +00002254 }
Dr. Stephen Henson5554fac2017-01-25 16:46:02 +00002255 if (SSL_USE_PSS(s)) {
Matt Caswellfe3066e2017-01-03 10:01:39 +00002256 if (EVP_PKEY_CTX_set_rsa_padding(pctx, RSA_PKCS1_PSS_PADDING) <= 0
Dr. Stephen Henson91410d42017-01-29 13:38:55 +00002257 || EVP_PKEY_CTX_set_rsa_pss_saltlen(pctx,
Dr. Stephen Henson968ae5b2017-01-25 14:02:00 +00002258 RSA_PSS_SALTLEN_DIGEST) <= 0) {
Matt Caswellfe3066e2017-01-03 10:01:39 +00002259 al = SSL_AD_INTERNAL_ERROR;
2260 SSLerr(SSL_F_TLS_PROCESS_KEY_EXCHANGE, ERR_R_EVP_LIB);
2261 goto err;
2262 }
2263 }
Dr. Stephen Henson72ceb6a2017-06-16 19:23:47 +01002264 tbslen = construct_key_exchange_tbs(s, &tbs, PACKET_data(&params),
2265 PACKET_remaining(&params));
2266 if (tbslen == 0) {
2267 al = SSL_AD_INTERNAL_ERROR;
2268 SSLerr(SSL_F_TLS_PROCESS_KEY_EXCHANGE, ERR_R_MALLOC_FAILURE);
2269 goto err;
2270 }
2271
2272 rv = EVP_DigestVerify(md_ctx, PACKET_data(&signature),
2273 PACKET_remaining(&signature), tbs, tbslen);
2274 OPENSSL_free(tbs);
2275 if (rv < 0) {
Matt Caswellfe3066e2017-01-03 10:01:39 +00002276 al = SSL_AD_INTERNAL_ERROR;
2277 SSLerr(SSL_F_TLS_PROCESS_KEY_EXCHANGE, ERR_R_EVP_LIB);
2278 goto err;
Dr. Stephen Henson72ceb6a2017-06-16 19:23:47 +01002279 } else if (rv == 0) {
Dr. Stephen Henson192e4bb2015-11-21 03:56:52 +00002280 al = SSL_AD_DECRYPT_ERROR;
2281 SSLerr(SSL_F_TLS_PROCESS_KEY_EXCHANGE, SSL_R_BAD_SIGNATURE);
Matt Caswelle1e588a2016-07-08 15:41:36 +01002282 goto err;
Matt Caswell0f113f32015-01-22 03:40:55 +00002283 }
Matt Caswelle1e588a2016-07-08 15:41:36 +01002284 EVP_MD_CTX_free(md_ctx);
Matt Caswellfe3066e2017-01-03 10:01:39 +00002285 md_ctx = NULL;
Matt Caswell0f113f32015-01-22 03:40:55 +00002286 } else {
Dr. Stephen Henson76890822015-06-28 17:15:10 +01002287 /* aNULL, aSRP or PSK do not need public keys */
Matt Caswelle1e588a2016-07-08 15:41:36 +01002288 if (!(s->s3->tmp.new_cipher->algorithm_auth & (SSL_aNULL | SSL_aSRP))
Emilia Kaspera230b262016-08-05 19:03:17 +02002289 && !(alg_k & SSL_PSK)) {
Matt Caswell0f113f32015-01-22 03:40:55 +00002290 /* Might be wrong key type, check it */
Matt Caswelle1e588a2016-07-08 15:41:36 +01002291 if (ssl3_check_cert_and_algorithm(s)) {
Matt Caswell0f113f32015-01-22 03:40:55 +00002292 /* Otherwise this shouldn't happen */
Matt Caswelle1e588a2016-07-08 15:41:36 +01002293 al = SSL_AD_INTERNAL_ERROR;
Matt Caswellb9908bf2015-07-29 14:08:49 +01002294 SSLerr(SSL_F_TLS_PROCESS_KEY_EXCHANGE, ERR_R_INTERNAL_ERROR);
Matt Caswelle1e588a2016-07-08 15:41:36 +01002295 } else {
2296 al = SSL_AD_DECODE_ERROR;
2297 }
Matt Caswell0f113f32015-01-22 03:40:55 +00002298 goto err;
2299 }
2300 /* still data left over */
Matt Caswell73999b62015-09-10 10:22:30 +01002301 if (PACKET_remaining(pkt) != 0) {
Matt Caswelle1e588a2016-07-08 15:41:36 +01002302 al = SSL_AD_DECODE_ERROR;
Matt Caswellb9908bf2015-07-29 14:08:49 +01002303 SSLerr(SSL_F_TLS_PROCESS_KEY_EXCHANGE, SSL_R_EXTRA_DATA_IN_MESSAGE);
Matt Caswelle1e588a2016-07-08 15:41:36 +01002304 goto err;
Matt Caswell0f113f32015-01-22 03:40:55 +00002305 }
2306 }
Matt Caswelle1e588a2016-07-08 15:41:36 +01002307
Matt Caswellb9908bf2015-07-29 14:08:49 +01002308 return MSG_PROCESS_CONTINUE_READING;
Matt Caswell0f113f32015-01-22 03:40:55 +00002309 err:
Matt Caswell7dc1c642016-07-08 12:44:53 +01002310 if (al != -1)
2311 ssl3_send_alert(s, SSL3_AL_FATAL, al);
Matt Caswellfe3a3292015-10-05 10:39:54 +01002312 ossl_statem_set_error(s);
Matt Caswellfe3066e2017-01-03 10:01:39 +00002313 EVP_MD_CTX_free(md_ctx);
Matt Caswellb9908bf2015-07-29 14:08:49 +01002314 return MSG_PROCESS_ERROR;
Matt Caswell0f113f32015-01-22 03:40:55 +00002315}
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00002316
Matt Caswellbe3583f2015-10-26 11:46:33 +00002317MSG_PROCESS_RETURN tls_process_certificate_request(SSL *s, PACKET *pkt)
Matt Caswellb9908bf2015-07-29 14:08:49 +01002318{
2319 int ret = MSG_PROCESS_ERROR;
Dr. Stephen Henson32f66102017-03-13 13:29:34 +00002320 int al = SSL_AD_DECODE_ERROR;
2321 size_t i;
2322
2323 /* Clear certificate validity flags */
2324 for (i = 0; i < SSL_PKEY_NUM; i++)
2325 s->s3->tmp.valid_flags[i] = 0;
Matt Caswell0f113f32015-01-22 03:40:55 +00002326
Dr. Stephen Henson03f44b92017-02-22 17:26:44 +00002327 if (SSL_IS_TLS13(s)) {
Dr. Stephen Henson32f66102017-03-13 13:29:34 +00002328 PACKET reqctx, extensions;
2329 RAW_EXTENSION *rawexts = NULL;
Dr. Stephen Henson75c13e72017-02-23 22:12:28 +00002330
Dr. Stephen Henson03f44b92017-02-22 17:26:44 +00002331 /* Free and zero certificate types: it is not present in TLS 1.3 */
2332 OPENSSL_free(s->s3->tmp.ctype);
2333 s->s3->tmp.ctype = NULL;
2334 s->s3->tmp.ctype_len = 0;
Dr. Stephen Henson32f66102017-03-13 13:29:34 +00002335
Dr. Stephen Henson03f44b92017-02-22 17:26:44 +00002336 /* TODO(TLS1.3) need to process request context, for now ignore */
2337 if (!PACKET_get_length_prefixed_1(pkt, &reqctx)) {
2338 SSLerr(SSL_F_TLS_PROCESS_CERTIFICATE_REQUEST,
2339 SSL_R_LENGTH_MISMATCH);
Matt Caswell0f113f32015-01-22 03:40:55 +00002340 goto err;
Dr. Stephen Henson03f44b92017-02-22 17:26:44 +00002341 }
Dr. Stephen Henson32f66102017-03-13 13:29:34 +00002342
2343 if (!PACKET_get_length_prefixed_2(pkt, &extensions)) {
Dr. Stephen Henson45615c52017-03-10 16:31:20 +00002344 SSLerr(SSL_F_TLS_PROCESS_CERTIFICATE_REQUEST, SSL_R_BAD_LENGTH);
Dr. Stephen Henson32f66102017-03-13 13:29:34 +00002345 goto err;
2346 }
2347 if (!tls_collect_extensions(s, &extensions,
Matt Caswellfe874d22017-04-04 11:40:02 +01002348 SSL_EXT_TLS1_3_CERTIFICATE_REQUEST,
Tatsuhiro Tsujikawa735d5b52017-04-18 23:59:39 +09002349 &rawexts, &al, NULL, 1)
Matt Caswellfe874d22017-04-04 11:40:02 +01002350 || !tls_parse_all_extensions(s, SSL_EXT_TLS1_3_CERTIFICATE_REQUEST,
Tatsuhiro Tsujikawa735d5b52017-04-18 23:59:39 +09002351 rawexts, NULL, 0, &al, 1)) {
Dr. Stephen Henson32f66102017-03-13 13:29:34 +00002352 OPENSSL_free(rawexts);
2353 goto err;
2354 }
2355 OPENSSL_free(rawexts);
2356 if (!tls1_process_sigalgs(s)) {
2357 al = SSL_AD_INTERNAL_ERROR;
2358 SSLerr(SSL_F_TLS_PROCESS_CERTIFICATE_REQUEST, ERR_R_MALLOC_FAILURE);
2359 goto err;
2360 }
Dr. Stephen Henson03f44b92017-02-22 17:26:44 +00002361 } else {
2362 PACKET ctypes;
2363
2364 /* get the certificate types */
2365 if (!PACKET_get_length_prefixed_1(pkt, &ctypes)) {
Dr. Stephen Henson03f44b92017-02-22 17:26:44 +00002366 SSLerr(SSL_F_TLS_PROCESS_CERTIFICATE_REQUEST,
2367 SSL_R_LENGTH_MISMATCH);
2368 goto err;
2369 }
2370
2371 if (!PACKET_memdup(&ctypes, &s->s3->tmp.ctype, &s->s3->tmp.ctype_len)) {
Dr. Stephen Henson32f66102017-03-13 13:29:34 +00002372 al = SSL_AD_INTERNAL_ERROR;
Dr. Stephen Henson03f44b92017-02-22 17:26:44 +00002373 SSLerr(SSL_F_TLS_PROCESS_CERTIFICATE_REQUEST, ERR_R_INTERNAL_ERROR);
2374 goto err;
2375 }
Matt Caswellac112332015-08-04 22:12:53 +01002376
Dr. Stephen Henson32f66102017-03-13 13:29:34 +00002377 if (SSL_USE_SIGALGS(s)) {
2378 PACKET sigalgs;
Matt Caswell703bcee2016-12-14 14:31:21 +00002379
Dr. Stephen Henson32f66102017-03-13 13:29:34 +00002380 if (!PACKET_get_length_prefixed_2(pkt, &sigalgs)) {
2381 SSLerr(SSL_F_TLS_PROCESS_CERTIFICATE_REQUEST,
2382 SSL_R_LENGTH_MISMATCH);
2383 goto err;
2384 }
2385
2386 if (!tls1_save_sigalgs(s, &sigalgs)) {
2387 SSLerr(SSL_F_TLS_PROCESS_CERTIFICATE_REQUEST,
2388 SSL_R_SIGNATURE_ALGORITHMS_ERROR);
2389 goto err;
2390 }
2391 if (!tls1_process_sigalgs(s)) {
2392 al = SSL_AD_INTERNAL_ERROR;
2393 SSLerr(SSL_F_TLS_PROCESS_CERTIFICATE_REQUEST,
2394 ERR_R_MALLOC_FAILURE);
2395 goto err;
2396 }
Matt Caswell0f113f32015-01-22 03:40:55 +00002397 }
Matt Caswellac112332015-08-04 22:12:53 +01002398
Dr. Stephen Henson32f66102017-03-13 13:29:34 +00002399 /* get the CA RDNs */
2400 if (!parse_ca_names(s, pkt, &al))
Matt Caswell0f113f32015-01-22 03:40:55 +00002401 goto err;
Dr. Stephen Henson03f44b92017-02-22 17:26:44 +00002402 }
2403
2404 if (PACKET_remaining(pkt) != 0) {
Dr. Stephen Henson03f44b92017-02-22 17:26:44 +00002405 SSLerr(SSL_F_TLS_PROCESS_CERTIFICATE_REQUEST, SSL_R_LENGTH_MISMATCH);
2406 goto err;
2407 }
Matt Caswell0f113f32015-01-22 03:40:55 +00002408
Matt Caswell0f113f32015-01-22 03:40:55 +00002409 /* we should setup a certificate to return.... */
2410 s->s3->tmp.cert_req = 1;
Matt Caswell0f113f32015-01-22 03:40:55 +00002411
Matt Caswell05c4f1d2016-06-22 14:31:32 +01002412 ret = MSG_PROCESS_CONTINUE_PROCESSING;
Matt Caswellcc273a92015-04-30 11:32:35 +01002413 goto done;
Matt Caswell0f113f32015-01-22 03:40:55 +00002414 err:
Dr. Stephen Henson32f66102017-03-13 13:29:34 +00002415 ssl3_send_alert(s, SSL3_AL_FATAL, al);
Matt Caswellfe3a3292015-10-05 10:39:54 +01002416 ossl_statem_set_error(s);
Matt Caswellcc273a92015-04-30 11:32:35 +01002417 done:
Matt Caswellb9908bf2015-07-29 14:08:49 +01002418 return ret;
Matt Caswell0f113f32015-01-22 03:40:55 +00002419}
2420
Matt Caswellbe3583f2015-10-26 11:46:33 +00002421MSG_PROCESS_RETURN tls_process_new_session_ticket(SSL *s, PACKET *pkt)
Matt Caswellb9908bf2015-07-29 14:08:49 +01002422{
Matt Caswell6df55ca2017-01-20 13:53:38 +00002423 int al = SSL_AD_DECODE_ERROR;
Matt Caswellb9908bf2015-07-29 14:08:49 +01002424 unsigned int ticklen;
Matt Caswell9ac62442017-01-20 13:50:47 +00002425 unsigned long ticket_lifetime_hint, age_add = 0;
Matt Caswellec60ccc2016-10-04 20:31:19 +01002426 unsigned int sess_len;
Matt Caswellde1df7e2017-01-13 13:32:11 +00002427 RAW_EXTENSION *exts = NULL;
Matt Caswellb9908bf2015-07-29 14:08:49 +01002428
Matt Caswell73999b62015-09-10 10:22:30 +01002429 if (!PACKET_get_net_4(pkt, &ticket_lifetime_hint)
Matt Caswellfc24f0b2017-01-17 10:43:37 +00002430 || (SSL_IS_TLS13(s) && !PACKET_get_net_4(pkt, &age_add))
Emilia Kaspera230b262016-08-05 19:03:17 +02002431 || !PACKET_get_net_2(pkt, &ticklen)
Matt Caswellde1df7e2017-01-13 13:32:11 +00002432 || (!SSL_IS_TLS13(s) && PACKET_remaining(pkt) != ticklen)
Matt Caswell1f5b44e2017-01-20 16:02:07 +00002433 || (SSL_IS_TLS13(s)
2434 && (ticklen == 0 || PACKET_remaining(pkt) < ticklen))) {
Matt Caswellf0659bd2015-10-22 14:02:46 +01002435 SSLerr(SSL_F_TLS_PROCESS_NEW_SESSION_TICKET, SSL_R_LENGTH_MISMATCH);
Emilia Kaspere711da72015-09-10 16:32:51 +02002436 goto f_err;
2437 }
2438
Matt Caswellde1df7e2017-01-13 13:32:11 +00002439 /*
2440 * Server is allowed to change its mind (in <=TLSv1.2) and send an empty
2441 * ticket. We already checked this TLSv1.3 case above, so it should never
2442 * be 0 here in that instance
2443 */
Emilia Kaspere711da72015-09-10 16:32:51 +02002444 if (ticklen == 0)
Matt Caswellc9de4a22015-10-22 15:02:14 +01002445 return MSG_PROCESS_CONTINUE_READING;
Emilia Kaspere711da72015-09-10 16:32:51 +02002446
Matt Caswell150840b2017-03-23 11:22:26 +00002447 /*
2448 * Sessions must be immutable once they go into the session cache. Otherwise
2449 * we can get multi-thread problems. Therefore we don't "update" sessions,
2450 * we replace them with a duplicate. In TLSv1.3 we need to do this every
2451 * time a NewSessionTicket arrives because those messages arrive
2452 * post-handshake and the session may have already gone into the session
2453 * cache.
2454 */
2455 if (SSL_IS_TLS13(s) || s->session->session_id_length > 0) {
Matt Caswell98ece4e2015-05-18 16:27:48 +01002456 int i = s->session_ctx->session_cache_mode;
2457 SSL_SESSION *new_sess;
2458 /*
2459 * We reused an existing session, so we need to replace it with a new
2460 * one
2461 */
2462 if (i & SSL_SESS_CACHE_CLIENT) {
2463 /*
Matt Caswelle4612d02016-06-13 11:24:15 +01002464 * Remove the old session from the cache. We carry on if this fails
Matt Caswell98ece4e2015-05-18 16:27:48 +01002465 */
Matt Caswelle4612d02016-06-13 11:24:15 +01002466 SSL_CTX_remove_session(s->session_ctx, s->session);
Matt Caswell98ece4e2015-05-18 16:27:48 +01002467 }
2468
2469 if ((new_sess = ssl_session_dup(s->session, 0)) == 0) {
2470 al = SSL_AD_INTERNAL_ERROR;
Matt Caswellb9908bf2015-07-29 14:08:49 +01002471 SSLerr(SSL_F_TLS_PROCESS_NEW_SESSION_TICKET, ERR_R_MALLOC_FAILURE);
Matt Caswell98ece4e2015-05-18 16:27:48 +01002472 goto f_err;
2473 }
2474
2475 SSL_SESSION_free(s->session);
2476 s->session = new_sess;
2477 }
2478
Matt Caswellfc24f0b2017-01-17 10:43:37 +00002479 /*
2480 * Technically the cast to long here is not guaranteed by the C standard -
2481 * but we use it elsewhere, so this should be ok.
2482 */
2483 s->session->time = (long)time(NULL);
2484
Rich Salzaff8c122016-12-08 14:18:40 -05002485 OPENSSL_free(s->session->ext.tick);
2486 s->session->ext.tick = NULL;
2487 s->session->ext.ticklen = 0;
Emilia Kaspere711da72015-09-10 16:32:51 +02002488
Rich Salzaff8c122016-12-08 14:18:40 -05002489 s->session->ext.tick = OPENSSL_malloc(ticklen);
2490 if (s->session->ext.tick == NULL) {
Matt Caswellb9908bf2015-07-29 14:08:49 +01002491 SSLerr(SSL_F_TLS_PROCESS_NEW_SESSION_TICKET, ERR_R_MALLOC_FAILURE);
Matt Caswell0f113f32015-01-22 03:40:55 +00002492 goto err;
2493 }
Rich Salzaff8c122016-12-08 14:18:40 -05002494 if (!PACKET_copy_bytes(pkt, s->session->ext.tick, ticklen)) {
Matt Caswell561e12b2015-08-05 14:50:24 +01002495 al = SSL_AD_DECODE_ERROR;
Matt Caswellb9908bf2015-07-29 14:08:49 +01002496 SSLerr(SSL_F_TLS_PROCESS_NEW_SESSION_TICKET, SSL_R_LENGTH_MISMATCH);
Matt Caswell561e12b2015-08-05 14:50:24 +01002497 goto f_err;
2498 }
Emilia Kaspere711da72015-09-10 16:32:51 +02002499
Rich Salzaff8c122016-12-08 14:18:40 -05002500 s->session->ext.tick_lifetime_hint = ticket_lifetime_hint;
Matt Caswellfc24f0b2017-01-17 10:43:37 +00002501 s->session->ext.tick_age_add = age_add;
Rich Salzaff8c122016-12-08 14:18:40 -05002502 s->session->ext.ticklen = ticklen;
Matt Caswellde1df7e2017-01-13 13:32:11 +00002503
2504 if (SSL_IS_TLS13(s)) {
2505 PACKET extpkt;
2506
2507 if (!PACKET_as_length_prefixed_2(pkt, &extpkt)
Matt Caswell26b91722017-05-11 11:31:57 +01002508 || PACKET_remaining(pkt) != 0
Matt Caswellde1df7e2017-01-13 13:32:11 +00002509 || !tls_collect_extensions(s, &extpkt,
Matt Caswellfe874d22017-04-04 11:40:02 +01002510 SSL_EXT_TLS1_3_NEW_SESSION_TICKET,
Tatsuhiro Tsujikawa735d5b52017-04-18 23:59:39 +09002511 &exts, &al, NULL, 1)
Matt Caswellfe874d22017-04-04 11:40:02 +01002512 || !tls_parse_all_extensions(s,
2513 SSL_EXT_TLS1_3_NEW_SESSION_TICKET,
Tatsuhiro Tsujikawa735d5b52017-04-18 23:59:39 +09002514 exts, NULL, 0, &al, 1)) {
Matt Caswellde1df7e2017-01-13 13:32:11 +00002515 SSLerr(SSL_F_TLS_PROCESS_NEW_SESSION_TICKET, SSL_R_BAD_EXTENSION);
2516 goto f_err;
2517 }
2518 }
2519
Matt Caswell0f113f32015-01-22 03:40:55 +00002520 /*
2521 * There are two ways to detect a resumed ticket session. One is to set
2522 * an appropriate session ID and then the server must return a match in
2523 * ServerHello. This allows the normal client session ID matching to work
2524 * and we know much earlier that the ticket has been accepted. The
2525 * other way is to set zero length session ID when the ticket is
2526 * presented and rely on the handshake to determine session resumption.
2527 * We choose the former approach because this fits in with assumptions
2528 * elsewhere in OpenSSL. The session ID is set to the SHA256 (or SHA1 is
2529 * SHA256 is disabled) hash of the ticket.
2530 */
Matt Caswellec60ccc2016-10-04 20:31:19 +01002531 /*
2532 * TODO(size_t): we use sess_len here because EVP_Digest expects an int
2533 * but s->session->session_id_length is a size_t
2534 */
Rich Salzaff8c122016-12-08 14:18:40 -05002535 if (!EVP_Digest(s->session->ext.tick, ticklen,
Matt Caswellec60ccc2016-10-04 20:31:19 +01002536 s->session->session_id, &sess_len,
Dr. Stephen Hensond166ed82016-06-18 15:46:13 +01002537 EVP_sha256(), NULL)) {
2538 SSLerr(SSL_F_TLS_PROCESS_NEW_SESSION_TICKET, ERR_R_EVP_LIB);
2539 goto err;
2540 }
Matt Caswellec60ccc2016-10-04 20:31:19 +01002541 s->session->session_id_length = sess_len;
Matt Caswellde1df7e2017-01-13 13:32:11 +00002542
2543 /* This is a standalone message in TLSv1.3, so there is no more to read */
2544 if (SSL_IS_TLS13(s)) {
Matt Caswell33d93412017-01-30 19:37:17 +00002545 OPENSSL_free(exts);
Matt Caswellde1df7e2017-01-13 13:32:11 +00002546 ssl_update_cache(s, SSL_SESS_CACHE_CLIENT);
2547 return MSG_PROCESS_FINISHED_READING;
2548 }
2549
Matt Caswellb9908bf2015-07-29 14:08:49 +01002550 return MSG_PROCESS_CONTINUE_READING;
Matt Caswell0f113f32015-01-22 03:40:55 +00002551 f_err:
2552 ssl3_send_alert(s, SSL3_AL_FATAL, al);
2553 err:
Matt Caswellfe3a3292015-10-05 10:39:54 +01002554 ossl_statem_set_error(s);
Matt Caswell33d93412017-01-30 19:37:17 +00002555 OPENSSL_free(exts);
Matt Caswellb9908bf2015-07-29 14:08:49 +01002556 return MSG_PROCESS_ERROR;
Matt Caswell0f113f32015-01-22 03:40:55 +00002557}
2558
Matt Caswellf63e4282016-12-02 14:46:54 +00002559/*
2560 * In TLSv1.3 this is called from the extensions code, otherwise it is used to
2561 * parse a separate message. Returns 1 on success or 0 on failure. On failure
2562 * |*al| is populated with a suitable alert code.
2563 */
2564int tls_process_cert_status_body(SSL *s, PACKET *pkt, int *al)
Matt Caswellb9908bf2015-07-29 14:08:49 +01002565{
Matt Caswell8b0e9342016-10-06 19:17:54 +01002566 size_t resplen;
Matt Caswellb9908bf2015-07-29 14:08:49 +01002567 unsigned int type;
Matt Caswellb9908bf2015-07-29 14:08:49 +01002568
Matt Caswell73999b62015-09-10 10:22:30 +01002569 if (!PACKET_get_1(pkt, &type)
Emilia Kaspera230b262016-08-05 19:03:17 +02002570 || type != TLSEXT_STATUSTYPE_ocsp) {
Matt Caswellf63e4282016-12-02 14:46:54 +00002571 *al = SSL_AD_DECODE_ERROR;
2572 SSLerr(SSL_F_TLS_PROCESS_CERT_STATUS_BODY,
2573 SSL_R_UNSUPPORTED_STATUS_TYPE);
2574 return 0;
Matt Caswell0f113f32015-01-22 03:40:55 +00002575 }
Matt Caswell56a26ce2016-10-19 16:28:12 +01002576 if (!PACKET_get_net_3_len(pkt, &resplen)
2577 || PACKET_remaining(pkt) != resplen) {
Matt Caswellf63e4282016-12-02 14:46:54 +00002578 *al = SSL_AD_DECODE_ERROR;
2579 SSLerr(SSL_F_TLS_PROCESS_CERT_STATUS_BODY, SSL_R_LENGTH_MISMATCH);
2580 return 0;
Matt Caswell0f113f32015-01-22 03:40:55 +00002581 }
Rich Salz8cbfcc72016-12-11 15:01:28 -05002582 s->ext.ocsp.resp = OPENSSL_malloc(resplen);
2583 if (s->ext.ocsp.resp == NULL) {
Matt Caswellf63e4282016-12-02 14:46:54 +00002584 *al = SSL_AD_INTERNAL_ERROR;
2585 SSLerr(SSL_F_TLS_PROCESS_CERT_STATUS_BODY, ERR_R_MALLOC_FAILURE);
2586 return 0;
Matt Caswell0f113f32015-01-22 03:40:55 +00002587 }
Rich Salz8cbfcc72016-12-11 15:01:28 -05002588 if (!PACKET_copy_bytes(pkt, s->ext.ocsp.resp, resplen)) {
Matt Caswellf63e4282016-12-02 14:46:54 +00002589 *al = SSL_AD_DECODE_ERROR;
2590 SSLerr(SSL_F_TLS_PROCESS_CERT_STATUS_BODY, SSL_R_LENGTH_MISMATCH);
2591 return 0;
Matt Caswellac637102015-08-05 15:52:26 +01002592 }
Rich Salz8cbfcc72016-12-11 15:01:28 -05002593 s->ext.ocsp.resp_len = resplen;
Matt Caswellf63e4282016-12-02 14:46:54 +00002594
2595 return 1;
2596}
Cory Benfield2faa1b42017-01-20 16:22:30 +00002597
Matt Caswellf63e4282016-12-02 14:46:54 +00002598
2599MSG_PROCESS_RETURN tls_process_cert_status(SSL *s, PACKET *pkt)
2600{
2601 int al;
2602
2603 if (!tls_process_cert_status_body(s, pkt, &al)) {
2604 ssl3_send_alert(s, SSL3_AL_FATAL, al);
2605 ossl_statem_set_error(s);
2606 return MSG_PROCESS_ERROR;
2607 }
2608
Matt Caswellb9908bf2015-07-29 14:08:49 +01002609 return MSG_PROCESS_CONTINUE_READING;
Ralf S. Engelschalldfeab061998-12-21 11:00:56 +00002610}
Ralf S. Engelschalldfeab061998-12-21 11:00:56 +00002611
Matt Caswell7776a362016-11-15 10:13:09 +00002612/*
2613 * Perform miscellaneous checks and processing after we have received the
2614 * server's initial flight. In TLS1.3 this is after the Server Finished message.
Matt Caswell6530c492016-11-23 15:38:32 +00002615 * In <=TLS1.2 this is after the ServerDone message. Returns 1 on success or 0
2616 * on failure.
Matt Caswell7776a362016-11-15 10:13:09 +00002617 */
2618int tls_process_initial_server_flight(SSL *s, int *al)
Matt Caswellb9908bf2015-07-29 14:08:49 +01002619{
Matt Caswella455d0f2015-09-14 15:06:37 +01002620 /*
2621 * at this point we check that we have the required stuff from
2622 * the server
2623 */
2624 if (!ssl3_check_cert_and_algorithm(s)) {
Matt Caswell7776a362016-11-15 10:13:09 +00002625 *al = SSL_AD_HANDSHAKE_FAILURE;
2626 return 0;
Matt Caswella455d0f2015-09-14 15:06:37 +01002627 }
2628
Matt Caswellbb1aaab2015-11-05 14:31:11 +00002629 /*
Rich Salzaff8c122016-12-08 14:18:40 -05002630 * Call the ocsp status callback if needed. The |ext.ocsp.resp| and
2631 * |ext.ocsp.resp_len| values will be set if we actually received a status
Matt Caswellbb1aaab2015-11-05 14:31:11 +00002632 * message, or NULL and -1 otherwise
2633 */
Rich Salzaff8c122016-12-08 14:18:40 -05002634 if (s->ext.status_type != TLSEXT_STATUSTYPE_nothing
2635 && s->ctx->ext.status_cb != NULL) {
2636 int ret = s->ctx->ext.status_cb(s, s->ctx->ext.status_arg);
2637
Matt Caswellbb1aaab2015-11-05 14:31:11 +00002638 if (ret == 0) {
Matt Caswell7776a362016-11-15 10:13:09 +00002639 *al = SSL_AD_BAD_CERTIFICATE_STATUS_RESPONSE;
2640 SSLerr(SSL_F_TLS_PROCESS_INITIAL_SERVER_FLIGHT,
Matt Caswellbb1aaab2015-11-05 14:31:11 +00002641 SSL_R_INVALID_STATUS_RESPONSE);
Matt Caswell7776a362016-11-15 10:13:09 +00002642 return 0;
Matt Caswellbb1aaab2015-11-05 14:31:11 +00002643 }
2644 if (ret < 0) {
Matt Caswell7776a362016-11-15 10:13:09 +00002645 *al = SSL_AD_INTERNAL_ERROR;
2646 SSLerr(SSL_F_TLS_PROCESS_INITIAL_SERVER_FLIGHT,
2647 ERR_R_MALLOC_FAILURE);
2648 return 0;
Matt Caswellbb1aaab2015-11-05 14:31:11 +00002649 }
2650 }
Rob Percivaled29e822016-03-03 16:19:23 +00002651#ifndef OPENSSL_NO_CT
2652 if (s->ct_validation_callback != NULL) {
Viktor Dukhovni43341432016-04-07 14:17:37 -04002653 /* Note we validate the SCTs whether or not we abort on error */
2654 if (!ssl_validate_ct(s) && (s->verify_mode & SSL_VERIFY_PEER)) {
Matt Caswell7776a362016-11-15 10:13:09 +00002655 *al = SSL_AD_HANDSHAKE_FAILURE;
2656 return 0;
Rob Percivaled29e822016-03-03 16:19:23 +00002657 }
2658 }
2659#endif
2660
Matt Caswell7776a362016-11-15 10:13:09 +00002661 return 1;
2662}
2663
2664MSG_PROCESS_RETURN tls_process_server_done(SSL *s, PACKET *pkt)
2665{
2666 int al = SSL_AD_INTERNAL_ERROR;
2667
2668 if (PACKET_remaining(pkt) > 0) {
2669 /* should contain no data */
2670 al = SSL_AD_DECODE_ERROR;
2671 SSLerr(SSL_F_TLS_PROCESS_SERVER_DONE, SSL_R_LENGTH_MISMATCH);
2672 goto err;
2673 }
2674#ifndef OPENSSL_NO_SRP
2675 if (s->s3->tmp.new_cipher->algorithm_mkey & SSL_kSRP) {
2676 if (SRP_Calc_A_param(s) <= 0) {
2677 SSLerr(SSL_F_TLS_PROCESS_SERVER_DONE, SSL_R_SRP_A_CALC);
2678 goto err;
2679 }
2680 }
2681#endif
2682
2683 /*
2684 * Error queue messages are generated directly by this function
2685 */
2686 if (!tls_process_initial_server_flight(s, &al))
2687 goto err;
2688
Matt Caswellbd79bcb2017-04-20 15:13:28 +01002689 return MSG_PROCESS_FINISHED_READING;
Matt Caswell7776a362016-11-15 10:13:09 +00002690
2691 err:
2692 ssl3_send_alert(s, SSL3_AL_FATAL, al);
2693 ossl_statem_set_error(s);
2694 return MSG_PROCESS_ERROR;
Matt Caswell0f113f32015-01-22 03:40:55 +00002695}
Bodo Möller176f31d2003-02-28 15:37:10 +00002696
Matt Caswellf1ec23c2016-09-13 11:01:04 +01002697static int tls_construct_cke_psk_preamble(SSL *s, WPACKET *pkt, int *al)
Matt Caswell13c0ec42016-07-07 14:42:27 +01002698{
2699#ifndef OPENSSL_NO_PSK
2700 int ret = 0;
2701 /*
2702 * The callback needs PSK_MAX_IDENTITY_LEN + 1 bytes to return a
2703 * \0-terminated identity. The last byte is for us for simulating
2704 * strnlen.
2705 */
2706 char identity[PSK_MAX_IDENTITY_LEN + 1];
2707 size_t identitylen = 0;
2708 unsigned char psk[PSK_MAX_PSK_LEN];
2709 unsigned char *tmppsk = NULL;
2710 char *tmpidentity = NULL;
2711 size_t psklen = 0;
2712
2713 if (s->psk_client_callback == NULL) {
Matt Caswell05ec6a22016-07-08 12:27:30 +01002714 SSLerr(SSL_F_TLS_CONSTRUCT_CKE_PSK_PREAMBLE, SSL_R_PSK_NO_CLIENT_CB);
Matt Caswell13c0ec42016-07-07 14:42:27 +01002715 *al = SSL_AD_INTERNAL_ERROR;
2716 goto err;
2717 }
2718
2719 memset(identity, 0, sizeof(identity));
2720
2721 psklen = s->psk_client_callback(s, s->session->psk_identity_hint,
2722 identity, sizeof(identity) - 1,
2723 psk, sizeof(psk));
2724
2725 if (psklen > PSK_MAX_PSK_LEN) {
Matt Caswell05ec6a22016-07-08 12:27:30 +01002726 SSLerr(SSL_F_TLS_CONSTRUCT_CKE_PSK_PREAMBLE, ERR_R_INTERNAL_ERROR);
Matt Caswell13c0ec42016-07-07 14:42:27 +01002727 *al = SSL_AD_HANDSHAKE_FAILURE;
2728 goto err;
2729 } else if (psklen == 0) {
Matt Caswell05ec6a22016-07-08 12:27:30 +01002730 SSLerr(SSL_F_TLS_CONSTRUCT_CKE_PSK_PREAMBLE,
Matt Caswell13c0ec42016-07-07 14:42:27 +01002731 SSL_R_PSK_IDENTITY_NOT_FOUND);
2732 *al = SSL_AD_HANDSHAKE_FAILURE;
2733 goto err;
2734 }
2735
2736 identitylen = strlen(identity);
2737 if (identitylen > PSK_MAX_IDENTITY_LEN) {
Matt Caswell05ec6a22016-07-08 12:27:30 +01002738 SSLerr(SSL_F_TLS_CONSTRUCT_CKE_PSK_PREAMBLE, ERR_R_INTERNAL_ERROR);
Matt Caswellfb34a0f2017-05-16 17:28:23 +01002739 *al = SSL_AD_INTERNAL_ERROR;
Matt Caswell13c0ec42016-07-07 14:42:27 +01002740 goto err;
2741 }
2742
2743 tmppsk = OPENSSL_memdup(psk, psklen);
2744 tmpidentity = OPENSSL_strdup(identity);
2745 if (tmppsk == NULL || tmpidentity == NULL) {
Matt Caswell05ec6a22016-07-08 12:27:30 +01002746 SSLerr(SSL_F_TLS_CONSTRUCT_CKE_PSK_PREAMBLE, ERR_R_MALLOC_FAILURE);
Matt Caswell13c0ec42016-07-07 14:42:27 +01002747 *al = SSL_AD_INTERNAL_ERROR;
2748 goto err;
2749 }
2750
2751 OPENSSL_free(s->s3->tmp.psk);
2752 s->s3->tmp.psk = tmppsk;
2753 s->s3->tmp.psklen = psklen;
2754 tmppsk = NULL;
2755 OPENSSL_free(s->session->psk_identity);
2756 s->session->psk_identity = tmpidentity;
2757 tmpidentity = NULL;
Matt Caswellf1ec23c2016-09-13 11:01:04 +01002758
Matt Caswellb2b30242016-09-13 11:32:52 +01002759 if (!WPACKET_sub_memcpy_u16(pkt, identity, identitylen)) {
Matt Caswellf1ec23c2016-09-13 11:01:04 +01002760 SSLerr(SSL_F_TLS_CONSTRUCT_CKE_PSK_PREAMBLE, ERR_R_INTERNAL_ERROR);
2761 *al = SSL_AD_INTERNAL_ERROR;
2762 goto err;
2763 }
Matt Caswell13c0ec42016-07-07 14:42:27 +01002764
2765 ret = 1;
2766
2767 err:
2768 OPENSSL_cleanse(psk, psklen);
2769 OPENSSL_cleanse(identity, sizeof(identity));
2770 OPENSSL_clear_free(tmppsk, psklen);
2771 OPENSSL_clear_free(tmpidentity, identitylen);
2772
2773 return ret;
2774#else
Matt Caswell05ec6a22016-07-08 12:27:30 +01002775 SSLerr(SSL_F_TLS_CONSTRUCT_CKE_PSK_PREAMBLE, ERR_R_INTERNAL_ERROR);
Matt Caswell13c0ec42016-07-07 14:42:27 +01002776 *al = SSL_AD_INTERNAL_ERROR;
2777 return 0;
2778#endif
2779}
2780
Matt Caswellf1ec23c2016-09-13 11:01:04 +01002781static int tls_construct_cke_rsa(SSL *s, WPACKET *pkt, int *al)
Matt Caswell13c0ec42016-07-07 14:42:27 +01002782{
2783#ifndef OPENSSL_NO_RSA
Matt Caswellf1ec23c2016-09-13 11:01:04 +01002784 unsigned char *encdata = NULL;
Matt Caswell13c0ec42016-07-07 14:42:27 +01002785 EVP_PKEY *pkey = NULL;
2786 EVP_PKEY_CTX *pctx = NULL;
2787 size_t enclen;
2788 unsigned char *pms = NULL;
2789 size_t pmslen = 0;
2790
2791 if (s->session->peer == NULL) {
2792 /*
2793 * We should always have a server certificate with SSL_kRSA.
2794 */
Matt Caswell05ec6a22016-07-08 12:27:30 +01002795 SSLerr(SSL_F_TLS_CONSTRUCT_CKE_RSA, ERR_R_INTERNAL_ERROR);
Matt Caswell13c0ec42016-07-07 14:42:27 +01002796 return 0;
2797 }
2798
2799 pkey = X509_get0_pubkey(s->session->peer);
2800 if (EVP_PKEY_get0_RSA(pkey) == NULL) {
Matt Caswell05ec6a22016-07-08 12:27:30 +01002801 SSLerr(SSL_F_TLS_CONSTRUCT_CKE_RSA, ERR_R_INTERNAL_ERROR);
Matt Caswell13c0ec42016-07-07 14:42:27 +01002802 return 0;
2803 }
2804
2805 pmslen = SSL_MAX_MASTER_KEY_LENGTH;
2806 pms = OPENSSL_malloc(pmslen);
2807 if (pms == NULL) {
Matt Caswell05ec6a22016-07-08 12:27:30 +01002808 SSLerr(SSL_F_TLS_CONSTRUCT_CKE_RSA, ERR_R_MALLOC_FAILURE);
Matt Caswell13c0ec42016-07-07 14:42:27 +01002809 *al = SSL_AD_INTERNAL_ERROR;
2810 return 0;
2811 }
2812
2813 pms[0] = s->client_version >> 8;
2814 pms[1] = s->client_version & 0xff;
Matt Caswell348240c2016-10-19 15:11:24 +01002815 /* TODO(size_t): Convert this function */
2816 if (RAND_bytes(pms + 2, (int)(pmslen - 2)) <= 0) {
Matt Caswell13c0ec42016-07-07 14:42:27 +01002817 goto err;
2818 }
2819
Matt Caswell13c0ec42016-07-07 14:42:27 +01002820 /* Fix buf for TLS and beyond */
Matt Caswellf1ec23c2016-09-13 11:01:04 +01002821 if (s->version > SSL3_VERSION && !WPACKET_start_sub_packet_u16(pkt)) {
2822 SSLerr(SSL_F_TLS_CONSTRUCT_CKE_RSA, ERR_R_INTERNAL_ERROR);
2823 goto err;
2824 }
Matt Caswell13c0ec42016-07-07 14:42:27 +01002825 pctx = EVP_PKEY_CTX_new(pkey, NULL);
2826 if (pctx == NULL || EVP_PKEY_encrypt_init(pctx) <= 0
2827 || EVP_PKEY_encrypt(pctx, NULL, &enclen, pms, pmslen) <= 0) {
Matt Caswell05ec6a22016-07-08 12:27:30 +01002828 SSLerr(SSL_F_TLS_CONSTRUCT_CKE_RSA, ERR_R_EVP_LIB);
Matt Caswell13c0ec42016-07-07 14:42:27 +01002829 goto err;
2830 }
Matt Caswellf1ec23c2016-09-13 11:01:04 +01002831 if (!WPACKET_allocate_bytes(pkt, enclen, &encdata)
2832 || EVP_PKEY_encrypt(pctx, encdata, &enclen, pms, pmslen) <= 0) {
Matt Caswell05ec6a22016-07-08 12:27:30 +01002833 SSLerr(SSL_F_TLS_CONSTRUCT_CKE_RSA, SSL_R_BAD_RSA_ENCRYPT);
Matt Caswell13c0ec42016-07-07 14:42:27 +01002834 goto err;
2835 }
Matt Caswell13c0ec42016-07-07 14:42:27 +01002836 EVP_PKEY_CTX_free(pctx);
2837 pctx = NULL;
Matt Caswell13c0ec42016-07-07 14:42:27 +01002838
2839 /* Fix buf for TLS and beyond */
Matt Caswellf1ec23c2016-09-13 11:01:04 +01002840 if (s->version > SSL3_VERSION && !WPACKET_close(pkt)) {
2841 SSLerr(SSL_F_TLS_CONSTRUCT_CKE_RSA, ERR_R_INTERNAL_ERROR);
2842 goto err;
Matt Caswell13c0ec42016-07-07 14:42:27 +01002843 }
2844
Cory Benfield2faa1b42017-01-20 16:22:30 +00002845 /* Log the premaster secret, if logging is enabled. */
2846 if (!ssl_log_rsa_client_key_exchange(s, encdata, enclen, pms, pmslen))
2847 goto err;
2848
Rich Salz26fb4b02017-04-24 09:41:51 -04002849 s->s3->tmp.pms = pms;
2850 s->s3->tmp.pmslen = pmslen;
2851
Matt Caswell13c0ec42016-07-07 14:42:27 +01002852 return 1;
2853 err:
2854 OPENSSL_clear_free(pms, pmslen);
2855 EVP_PKEY_CTX_free(pctx);
2856
2857 return 0;
2858#else
Matt Caswell05ec6a22016-07-08 12:27:30 +01002859 SSLerr(SSL_F_TLS_CONSTRUCT_CKE_RSA, ERR_R_INTERNAL_ERROR);
Matt Caswell13c0ec42016-07-07 14:42:27 +01002860 *al = SSL_AD_INTERNAL_ERROR;
2861 return 0;
2862#endif
2863}
2864
Matt Caswellf1ec23c2016-09-13 11:01:04 +01002865static int tls_construct_cke_dhe(SSL *s, WPACKET *pkt, int *al)
Matt Caswella8c1c702016-07-08 09:42:07 +01002866{
2867#ifndef OPENSSL_NO_DH
2868 DH *dh_clnt = NULL;
2869 const BIGNUM *pub_key;
2870 EVP_PKEY *ckey = NULL, *skey = NULL;
Matt Caswellf1ec23c2016-09-13 11:01:04 +01002871 unsigned char *keybytes = NULL;
Matt Caswella8c1c702016-07-08 09:42:07 +01002872
2873 skey = s->s3->peer_tmp;
Matt Caswellf1ec23c2016-09-13 11:01:04 +01002874 if (skey == NULL)
2875 goto err;
2876
Dr. Stephen Henson0a699a02016-08-15 14:07:33 +01002877 ckey = ssl_generate_pkey(skey);
Matt Caswellb599ce32016-11-23 22:12:40 +00002878 if (ckey == NULL)
2879 goto err;
2880
Matt Caswella8c1c702016-07-08 09:42:07 +01002881 dh_clnt = EVP_PKEY_get0_DH(ckey);
2882
Matt Caswell0f1e51e2016-11-02 15:03:56 +00002883 if (dh_clnt == NULL || ssl_derive(s, ckey, skey, 0) == 0)
Matt Caswellf1ec23c2016-09-13 11:01:04 +01002884 goto err;
Matt Caswella8c1c702016-07-08 09:42:07 +01002885
2886 /* send off the data */
2887 DH_get0_key(dh_clnt, &pub_key, NULL);
Matt Caswellb2b30242016-09-13 11:32:52 +01002888 if (!WPACKET_sub_allocate_bytes_u16(pkt, BN_num_bytes(pub_key), &keybytes))
Matt Caswellf1ec23c2016-09-13 11:01:04 +01002889 goto err;
2890
2891 BN_bn2bin(pub_key, keybytes);
Matt Caswella8c1c702016-07-08 09:42:07 +01002892 EVP_PKEY_free(ckey);
2893
2894 return 1;
Matt Caswellf1ec23c2016-09-13 11:01:04 +01002895 err:
2896 EVP_PKEY_free(ckey);
2897#endif
Matt Caswell05ec6a22016-07-08 12:27:30 +01002898 SSLerr(SSL_F_TLS_CONSTRUCT_CKE_DHE, ERR_R_INTERNAL_ERROR);
Matt Caswella8c1c702016-07-08 09:42:07 +01002899 *al = SSL_AD_INTERNAL_ERROR;
2900 return 0;
Matt Caswella8c1c702016-07-08 09:42:07 +01002901}
2902
Matt Caswellf1ec23c2016-09-13 11:01:04 +01002903static int tls_construct_cke_ecdhe(SSL *s, WPACKET *pkt, int *al)
Matt Caswell67ad5aa2016-07-08 09:51:02 +01002904{
2905#ifndef OPENSSL_NO_EC
2906 unsigned char *encodedPoint = NULL;
Matt Caswell348240c2016-10-19 15:11:24 +01002907 size_t encoded_pt_len = 0;
Matt Caswell67ad5aa2016-07-08 09:51:02 +01002908 EVP_PKEY *ckey = NULL, *skey = NULL;
Matt Caswellf1ec23c2016-09-13 11:01:04 +01002909 int ret = 0;
Matt Caswell67ad5aa2016-07-08 09:51:02 +01002910
2911 skey = s->s3->peer_tmp;
Dr. Stephen Hensonec246302016-08-11 15:41:49 +01002912 if (skey == NULL) {
Matt Caswell05ec6a22016-07-08 12:27:30 +01002913 SSLerr(SSL_F_TLS_CONSTRUCT_CKE_ECDHE, ERR_R_INTERNAL_ERROR);
Matt Caswell67ad5aa2016-07-08 09:51:02 +01002914 return 0;
2915 }
2916
Dr. Stephen Henson0a699a02016-08-15 14:07:33 +01002917 ckey = ssl_generate_pkey(skey);
Matt Caswellb599ce32016-11-23 22:12:40 +00002918 if (ckey == NULL) {
2919 SSLerr(SSL_F_TLS_CONSTRUCT_CKE_ECDHE, ERR_R_MALLOC_FAILURE);
2920 goto err;
2921 }
Matt Caswell67ad5aa2016-07-08 09:51:02 +01002922
Matt Caswell0f1e51e2016-11-02 15:03:56 +00002923 if (ssl_derive(s, ckey, skey, 0) == 0) {
Matt Caswell05ec6a22016-07-08 12:27:30 +01002924 SSLerr(SSL_F_TLS_CONSTRUCT_CKE_ECDHE, ERR_R_EVP_LIB);
Matt Caswell67ad5aa2016-07-08 09:51:02 +01002925 goto err;
2926 }
2927
2928 /* Generate encoding of client key */
Dr. Stephen Hensonec246302016-08-11 15:41:49 +01002929 encoded_pt_len = EVP_PKEY_get1_tls_encodedpoint(ckey, &encodedPoint);
Matt Caswell67ad5aa2016-07-08 09:51:02 +01002930
2931 if (encoded_pt_len == 0) {
Matt Caswell05ec6a22016-07-08 12:27:30 +01002932 SSLerr(SSL_F_TLS_CONSTRUCT_CKE_ECDHE, ERR_R_EC_LIB);
Matt Caswell67ad5aa2016-07-08 09:51:02 +01002933 goto err;
2934 }
2935
Matt Caswellb2b30242016-09-13 11:32:52 +01002936 if (!WPACKET_sub_memcpy_u8(pkt, encodedPoint, encoded_pt_len)) {
Matt Caswellf1ec23c2016-09-13 11:01:04 +01002937 SSLerr(SSL_F_TLS_CONSTRUCT_CKE_ECDHE, ERR_R_INTERNAL_ERROR);
2938 goto err;
2939 }
Matt Caswell67ad5aa2016-07-08 09:51:02 +01002940
Matt Caswellf1ec23c2016-09-13 11:01:04 +01002941 ret = 1;
Matt Caswell67ad5aa2016-07-08 09:51:02 +01002942 err:
Matt Caswellf1ec23c2016-09-13 11:01:04 +01002943 OPENSSL_free(encodedPoint);
Matt Caswell67ad5aa2016-07-08 09:51:02 +01002944 EVP_PKEY_free(ckey);
Matt Caswellf1ec23c2016-09-13 11:01:04 +01002945 return ret;
Matt Caswell67ad5aa2016-07-08 09:51:02 +01002946#else
Matt Caswell05ec6a22016-07-08 12:27:30 +01002947 SSLerr(SSL_F_TLS_CONSTRUCT_CKE_ECDHE, ERR_R_INTERNAL_ERROR);
Matt Caswell67ad5aa2016-07-08 09:51:02 +01002948 *al = SSL_AD_INTERNAL_ERROR;
2949 return 0;
2950#endif
2951}
2952
Matt Caswellf1ec23c2016-09-13 11:01:04 +01002953static int tls_construct_cke_gost(SSL *s, WPACKET *pkt, int *al)
Matt Caswelle00e0b32016-07-08 10:07:55 +01002954{
2955#ifndef OPENSSL_NO_GOST
2956 /* GOST key exchange message creation */
2957 EVP_PKEY_CTX *pkey_ctx = NULL;
2958 X509 *peer_cert;
2959 size_t msglen;
2960 unsigned int md_len;
2961 unsigned char shared_ukm[32], tmp[256];
2962 EVP_MD_CTX *ukm_hash = NULL;
2963 int dgst_nid = NID_id_GostR3411_94;
2964 unsigned char *pms = NULL;
2965 size_t pmslen = 0;
2966
2967 if ((s->s3->tmp.new_cipher->algorithm_auth & SSL_aGOST12) != 0)
2968 dgst_nid = NID_id_GostR3411_2012_256;
2969
2970 /*
FdaSilvaYY1ee4b982017-02-17 23:13:26 +01002971 * Get server certificate PKEY and create ctx from it
Matt Caswelle00e0b32016-07-08 10:07:55 +01002972 */
2973 peer_cert = s->session->peer;
2974 if (!peer_cert) {
2975 *al = SSL_AD_HANDSHAKE_FAILURE;
Matt Caswell05ec6a22016-07-08 12:27:30 +01002976 SSLerr(SSL_F_TLS_CONSTRUCT_CKE_GOST,
Matt Caswelle00e0b32016-07-08 10:07:55 +01002977 SSL_R_NO_GOST_CERTIFICATE_SENT_BY_PEER);
2978 return 0;
2979 }
2980
2981 pkey_ctx = EVP_PKEY_CTX_new(X509_get0_pubkey(peer_cert), NULL);
2982 if (pkey_ctx == NULL) {
2983 *al = SSL_AD_INTERNAL_ERROR;
Matt Caswell05ec6a22016-07-08 12:27:30 +01002984 SSLerr(SSL_F_TLS_CONSTRUCT_CKE_GOST, ERR_R_MALLOC_FAILURE);
Matt Caswelle00e0b32016-07-08 10:07:55 +01002985 return 0;
2986 }
2987 /*
2988 * If we have send a certificate, and certificate key
2989 * parameters match those of server certificate, use
2990 * certificate key for key exchange
2991 */
2992
2993 /* Otherwise, generate ephemeral key pair */
2994 pmslen = 32;
2995 pms = OPENSSL_malloc(pmslen);
2996 if (pms == NULL) {
2997 *al = SSL_AD_INTERNAL_ERROR;
Matt Caswell05ec6a22016-07-08 12:27:30 +01002998 SSLerr(SSL_F_TLS_CONSTRUCT_CKE_GOST, ERR_R_MALLOC_FAILURE);
Matt Caswell2f3930b2016-08-22 22:17:20 +01002999 goto err;
Matt Caswelle00e0b32016-07-08 10:07:55 +01003000 }
3001
3002 if (EVP_PKEY_encrypt_init(pkey_ctx) <= 0
Matt Caswell348240c2016-10-19 15:11:24 +01003003 /* Generate session key
3004 * TODO(size_t): Convert this function
3005 */
3006 || RAND_bytes(pms, (int)pmslen) <= 0) {
Matt Caswelle00e0b32016-07-08 10:07:55 +01003007 *al = SSL_AD_INTERNAL_ERROR;
Matt Caswell05ec6a22016-07-08 12:27:30 +01003008 SSLerr(SSL_F_TLS_CONSTRUCT_CKE_GOST, ERR_R_INTERNAL_ERROR);
Matt Caswelle00e0b32016-07-08 10:07:55 +01003009 goto err;
3010 };
3011 /*
Matt Caswelle00e0b32016-07-08 10:07:55 +01003012 * Compute shared IV and store it in algorithm-specific context
3013 * data
3014 */
3015 ukm_hash = EVP_MD_CTX_new();
3016 if (ukm_hash == NULL
Emilia Kaspera230b262016-08-05 19:03:17 +02003017 || EVP_DigestInit(ukm_hash, EVP_get_digestbynid(dgst_nid)) <= 0
3018 || EVP_DigestUpdate(ukm_hash, s->s3->client_random,
3019 SSL3_RANDOM_SIZE) <= 0
3020 || EVP_DigestUpdate(ukm_hash, s->s3->server_random,
3021 SSL3_RANDOM_SIZE) <= 0
3022 || EVP_DigestFinal_ex(ukm_hash, shared_ukm, &md_len) <= 0) {
Matt Caswelle00e0b32016-07-08 10:07:55 +01003023 *al = SSL_AD_INTERNAL_ERROR;
Matt Caswell05ec6a22016-07-08 12:27:30 +01003024 SSLerr(SSL_F_TLS_CONSTRUCT_CKE_GOST, ERR_R_INTERNAL_ERROR);
Matt Caswelle00e0b32016-07-08 10:07:55 +01003025 goto err;
3026 }
3027 EVP_MD_CTX_free(ukm_hash);
3028 ukm_hash = NULL;
3029 if (EVP_PKEY_CTX_ctrl(pkey_ctx, -1, EVP_PKEY_OP_ENCRYPT,
3030 EVP_PKEY_CTRL_SET_IV, 8, shared_ukm) < 0) {
3031 *al = SSL_AD_INTERNAL_ERROR;
Matt Caswell05ec6a22016-07-08 12:27:30 +01003032 SSLerr(SSL_F_TLS_CONSTRUCT_CKE_GOST, SSL_R_LIBRARY_BUG);
Matt Caswelle00e0b32016-07-08 10:07:55 +01003033 goto err;
3034 }
3035 /* Make GOST keytransport blob message */
3036 /*
3037 * Encapsulate it into sequence
3038 */
Matt Caswelle00e0b32016-07-08 10:07:55 +01003039 msglen = 255;
3040 if (EVP_PKEY_encrypt(pkey_ctx, tmp, &msglen, pms, pmslen) <= 0) {
3041 *al = SSL_AD_INTERNAL_ERROR;
Matt Caswell05ec6a22016-07-08 12:27:30 +01003042 SSLerr(SSL_F_TLS_CONSTRUCT_CKE_GOST, SSL_R_LIBRARY_BUG);
Matt Caswelle00e0b32016-07-08 10:07:55 +01003043 goto err;
3044 }
Matt Caswellf1ec23c2016-09-13 11:01:04 +01003045
Matt Caswell08029df2016-09-20 14:47:44 +01003046 if (!WPACKET_put_bytes_u8(pkt, V_ASN1_SEQUENCE | V_ASN1_CONSTRUCTED)
3047 || (msglen >= 0x80 && !WPACKET_put_bytes_u8(pkt, 0x81))
Matt Caswellb2b30242016-09-13 11:32:52 +01003048 || !WPACKET_sub_memcpy_u8(pkt, tmp, msglen)) {
Matt Caswellf1ec23c2016-09-13 11:01:04 +01003049 *al = SSL_AD_INTERNAL_ERROR;
3050 SSLerr(SSL_F_TLS_CONSTRUCT_CKE_GOST, ERR_R_INTERNAL_ERROR);
3051 goto err;
Matt Caswelle00e0b32016-07-08 10:07:55 +01003052 }
Matt Caswellf1ec23c2016-09-13 11:01:04 +01003053
Matt Caswelle00e0b32016-07-08 10:07:55 +01003054 EVP_PKEY_CTX_free(pkey_ctx);
3055 s->s3->tmp.pms = pms;
3056 s->s3->tmp.pmslen = pmslen;
3057
3058 return 1;
3059 err:
3060 EVP_PKEY_CTX_free(pkey_ctx);
3061 OPENSSL_clear_free(pms, pmslen);
3062 EVP_MD_CTX_free(ukm_hash);
3063 return 0;
3064#else
Matt Caswell05ec6a22016-07-08 12:27:30 +01003065 SSLerr(SSL_F_TLS_CONSTRUCT_CKE_GOST, ERR_R_INTERNAL_ERROR);
Matt Caswelle00e0b32016-07-08 10:07:55 +01003066 *al = SSL_AD_INTERNAL_ERROR;
3067 return 0;
3068#endif
3069}
3070
Matt Caswellf1ec23c2016-09-13 11:01:04 +01003071static int tls_construct_cke_srp(SSL *s, WPACKET *pkt, int *al)
Matt Caswell840a2bf2016-07-08 10:43:59 +01003072{
Richard Levitte8b9546c2016-07-22 21:48:05 +02003073#ifndef OPENSSL_NO_SRP
Matt Caswellf1ec23c2016-09-13 11:01:04 +01003074 unsigned char *abytes = NULL;
3075
3076 if (s->srp_ctx.A == NULL
Matt Caswellb2b30242016-09-13 11:32:52 +01003077 || !WPACKET_sub_allocate_bytes_u16(pkt, BN_num_bytes(s->srp_ctx.A),
3078 &abytes)) {
Matt Caswell05ec6a22016-07-08 12:27:30 +01003079 SSLerr(SSL_F_TLS_CONSTRUCT_CKE_SRP, ERR_R_INTERNAL_ERROR);
Matt Caswell840a2bf2016-07-08 10:43:59 +01003080 return 0;
3081 }
Matt Caswellf1ec23c2016-09-13 11:01:04 +01003082 BN_bn2bin(s->srp_ctx.A, abytes);
3083
Matt Caswell840a2bf2016-07-08 10:43:59 +01003084 OPENSSL_free(s->session->srp_username);
3085 s->session->srp_username = OPENSSL_strdup(s->srp_ctx.login);
3086 if (s->session->srp_username == NULL) {
Matt Caswell05ec6a22016-07-08 12:27:30 +01003087 SSLerr(SSL_F_TLS_CONSTRUCT_CKE_SRP, ERR_R_MALLOC_FAILURE);
Matt Caswell840a2bf2016-07-08 10:43:59 +01003088 return 0;
3089 }
3090
3091 return 1;
3092#else
Matt Caswell05ec6a22016-07-08 12:27:30 +01003093 SSLerr(SSL_F_TLS_CONSTRUCT_CKE_SRP, ERR_R_INTERNAL_ERROR);
Matt Caswell840a2bf2016-07-08 10:43:59 +01003094 *al = SSL_AD_INTERNAL_ERROR;
3095 return 0;
3096#endif
3097}
3098
Matt Caswell7cea05d2016-09-29 23:28:29 +01003099int tls_construct_client_key_exchange(SSL *s, WPACKET *pkt)
Matt Caswellb9908bf2015-07-29 14:08:49 +01003100{
Matt Caswell0f113f32015-01-22 03:40:55 +00003101 unsigned long alg_k;
Matt Caswell13c0ec42016-07-07 14:42:27 +01003102 int al = -1;
Matt Caswellf1ec23c2016-09-13 11:01:04 +01003103
Dr. Stephen Henson76890822015-06-28 17:15:10 +01003104 alg_k = s->s3->tmp.new_cipher->algorithm_mkey;
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00003105
Matt Caswell13c0ec42016-07-07 14:42:27 +01003106 if ((alg_k & SSL_PSK)
Matt Caswell7cea05d2016-09-29 23:28:29 +01003107 && !tls_construct_cke_psk_preamble(s, pkt, &al))
Matt Caswell13c0ec42016-07-07 14:42:27 +01003108 goto err;
Matt Caswellb9908bf2015-07-29 14:08:49 +01003109
Matt Caswellf1ec23c2016-09-13 11:01:04 +01003110 if (alg_k & (SSL_kRSA | SSL_kRSAPSK)) {
Matt Caswell7cea05d2016-09-29 23:28:29 +01003111 if (!tls_construct_cke_rsa(s, pkt, &al))
Matt Caswell13c0ec42016-07-07 14:42:27 +01003112 goto err;
Matt Caswella8c1c702016-07-08 09:42:07 +01003113 } else if (alg_k & (SSL_kDHE | SSL_kDHEPSK)) {
Matt Caswell7cea05d2016-09-29 23:28:29 +01003114 if (!tls_construct_cke_dhe(s, pkt, &al))
Dr. Stephen Hensonbc71f912015-12-15 23:57:18 +00003115 goto err;
Matt Caswell67ad5aa2016-07-08 09:51:02 +01003116 } else if (alg_k & (SSL_kECDHE | SSL_kECDHEPSK)) {
Matt Caswell7cea05d2016-09-29 23:28:29 +01003117 if (!tls_construct_cke_ecdhe(s, pkt, &al))
Matt Caswell67ad5aa2016-07-08 09:51:02 +01003118 goto err;
Matt Caswelle00e0b32016-07-08 10:07:55 +01003119 } else if (alg_k & SSL_kGOST) {
Matt Caswell7cea05d2016-09-29 23:28:29 +01003120 if (!tls_construct_cke_gost(s, pkt, &al))
Matt Caswelle00e0b32016-07-08 10:07:55 +01003121 goto err;
Matt Caswell840a2bf2016-07-08 10:43:59 +01003122 } else if (alg_k & SSL_kSRP) {
Matt Caswell7cea05d2016-09-29 23:28:29 +01003123 if (!tls_construct_cke_srp(s, pkt, &al))
Matt Caswellb9908bf2015-07-29 14:08:49 +01003124 goto err;
Matt Caswell4a424542016-09-29 12:04:08 +01003125 } else if (!(alg_k & SSL_kPSK)) {
Matt Caswellfb34a0f2017-05-16 17:28:23 +01003126 ssl3_send_alert(s, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
Matt Caswellb9908bf2015-07-29 14:08:49 +01003127 SSLerr(SSL_F_TLS_CONSTRUCT_CLIENT_KEY_EXCHANGE, ERR_R_INTERNAL_ERROR);
3128 goto err;
3129 }
3130
Matt Caswellb9908bf2015-07-29 14:08:49 +01003131 return 1;
Matt Caswell0f113f32015-01-22 03:40:55 +00003132 err:
Matt Caswell13c0ec42016-07-07 14:42:27 +01003133 if (al != -1)
3134 ssl3_send_alert(s, SSL3_AL_FATAL, al);
Matt Caswell0bce0b02016-07-07 12:47:07 +01003135 OPENSSL_clear_free(s->s3->tmp.pms, s->s3->tmp.pmslen);
Dr. Stephen Henson76106e62015-05-12 17:17:37 +01003136 s->s3->tmp.pms = NULL;
Dr. Stephen Henson76890822015-06-28 17:15:10 +01003137#ifndef OPENSSL_NO_PSK
3138 OPENSSL_clear_free(s->s3->tmp.psk, s->s3->tmp.psklen);
3139 s->s3->tmp.psk = NULL;
3140#endif
Matt Caswellb9908bf2015-07-29 14:08:49 +01003141 return 0;
3142}
3143
3144int tls_client_key_exchange_post_work(SSL *s)
3145{
3146 unsigned char *pms = NULL;
3147 size_t pmslen = 0;
3148
Matt Caswell6f137372016-04-28 15:12:37 +01003149 pms = s->s3->tmp.pms;
3150 pmslen = s->s3->tmp.pmslen;
3151
Matt Caswellb9908bf2015-07-29 14:08:49 +01003152#ifndef OPENSSL_NO_SRP
3153 /* Check for SRP */
3154 if (s->s3->tmp.new_cipher->algorithm_mkey & SSL_kSRP) {
3155 if (!srp_generate_client_master_secret(s)) {
3156 SSLerr(SSL_F_TLS_CLIENT_KEY_EXCHANGE_POST_WORK,
3157 ERR_R_INTERNAL_ERROR);
3158 goto err;
3159 }
3160 return 1;
3161 }
3162#endif
Matt Caswellb9908bf2015-07-29 14:08:49 +01003163
3164 if (pms == NULL && !(s->s3->tmp.new_cipher->algorithm_mkey & SSL_kPSK)) {
3165 ssl3_send_alert(s, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
3166 SSLerr(SSL_F_TLS_CLIENT_KEY_EXCHANGE_POST_WORK, ERR_R_MALLOC_FAILURE);
3167 goto err;
3168 }
3169 if (!ssl_generate_master_secret(s, pms, pmslen, 1)) {
3170 ssl3_send_alert(s, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
3171 SSLerr(SSL_F_TLS_CLIENT_KEY_EXCHANGE_POST_WORK, ERR_R_INTERNAL_ERROR);
Matt Caswell6f137372016-04-28 15:12:37 +01003172 /* ssl_generate_master_secret frees the pms even on error */
3173 pms = NULL;
3174 pmslen = 0;
Matt Caswellb9908bf2015-07-29 14:08:49 +01003175 goto err;
3176 }
Matt Caswell6f137372016-04-28 15:12:37 +01003177 pms = NULL;
3178 pmslen = 0;
Matt Caswell473483d2015-09-07 22:00:36 +01003179
3180#ifndef OPENSSL_NO_SCTP
3181 if (SSL_IS_DTLS(s)) {
3182 unsigned char sctpauthkey[64];
3183 char labelbuffer[sizeof(DTLS1_SCTP_AUTH_LABEL)];
3184
3185 /*
3186 * Add new shared key for SCTP-Auth, will be ignored if no SCTP
3187 * used.
3188 */
Matt Caswell141eb8c2015-10-26 12:00:00 +00003189 memcpy(labelbuffer, DTLS1_SCTP_AUTH_LABEL,
3190 sizeof(DTLS1_SCTP_AUTH_LABEL));
Matt Caswell473483d2015-09-07 22:00:36 +01003191
3192 if (SSL_export_keying_material(s, sctpauthkey,
Emilia Kaspera230b262016-08-05 19:03:17 +02003193 sizeof(sctpauthkey), labelbuffer,
3194 sizeof(labelbuffer), NULL, 0, 0) <= 0)
Matt Caswell473483d2015-09-07 22:00:36 +01003195 goto err;
3196
3197 BIO_ctrl(SSL_get_wbio(s), BIO_CTRL_DGRAM_SCTP_ADD_AUTH_KEY,
3198 sizeof(sctpauthkey), sctpauthkey);
3199 }
3200#endif
3201
Matt Caswellb9908bf2015-07-29 14:08:49 +01003202 return 1;
3203 err:
3204 OPENSSL_clear_free(pms, pmslen);
3205 s->s3->tmp.pms = NULL;
3206 return 0;
Matt Caswell0f113f32015-01-22 03:40:55 +00003207}
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00003208
Matt Caswell0f113f32015-01-22 03:40:55 +00003209/*
3210 * Check a certificate can be used for client authentication. Currently check
3211 * cert exists, if we have a suitable digest for TLS 1.2 if static DH client
3212 * certificates can be used and optionally checks suitability for Suite B.
Dr. Stephen Henson0d609392012-01-25 14:51:49 +00003213 */
3214static int ssl3_check_client_certificate(SSL *s)
Matt Caswell0f113f32015-01-22 03:40:55 +00003215{
Matt Caswell0f113f32015-01-22 03:40:55 +00003216 /* If no suitable signature algorithm can't use certificate */
Dr. Stephen Hensonad4dd362017-02-15 16:23:49 +00003217 if (!tls_choose_sigalg(s, NULL) || s->s3->tmp.sigalg == NULL)
Matt Caswell0f113f32015-01-22 03:40:55 +00003218 return 0;
3219 /*
3220 * If strict mode check suitability of chain before using it. This also
3221 * adjusts suite B digest if necessary.
3222 */
3223 if (s->cert->cert_flags & SSL_CERT_FLAGS_CHECK_TLS_STRICT &&
3224 !tls1_check_chain(s, NULL, NULL, NULL, -2))
3225 return 0;
Matt Caswell0f113f32015-01-22 03:40:55 +00003226 return 1;
3227}
Dr. Stephen Henson0d609392012-01-25 14:51:49 +00003228
Matt Caswellbe3583f2015-10-26 11:46:33 +00003229WORK_STATE tls_prepare_client_certificate(SSL *s, WORK_STATE wst)
Matt Caswellb9908bf2015-07-29 14:08:49 +01003230{
Matt Caswell0f113f32015-01-22 03:40:55 +00003231 X509 *x509 = NULL;
3232 EVP_PKEY *pkey = NULL;
3233 int i;
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00003234
Matt Caswellb9908bf2015-07-29 14:08:49 +01003235 if (wst == WORK_MORE_A) {
Matt Caswell0f113f32015-01-22 03:40:55 +00003236 /* Let cert callback update client certificates if required */
3237 if (s->cert->cert_cb) {
3238 i = s->cert->cert_cb(s, s->cert->cert_cb_arg);
3239 if (i < 0) {
3240 s->rwstate = SSL_X509_LOOKUP;
Matt Caswellb9908bf2015-07-29 14:08:49 +01003241 return WORK_MORE_A;
Matt Caswell0f113f32015-01-22 03:40:55 +00003242 }
3243 if (i == 0) {
3244 ssl3_send_alert(s, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
Matt Caswellfe3a3292015-10-05 10:39:54 +01003245 ossl_statem_set_error(s);
Matt Caswell0f113f32015-01-22 03:40:55 +00003246 return 0;
3247 }
3248 s->rwstate = SSL_NOTHING;
3249 }
3250 if (ssl3_check_client_certificate(s))
Matt Caswellb9908bf2015-07-29 14:08:49 +01003251 return WORK_FINISHED_CONTINUE;
3252
3253 /* Fall through to WORK_MORE_B */
3254 wst = WORK_MORE_B;
Matt Caswell0f113f32015-01-22 03:40:55 +00003255 }
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00003256
Matt Caswell0f113f32015-01-22 03:40:55 +00003257 /* We need to get a client cert */
Matt Caswellb9908bf2015-07-29 14:08:49 +01003258 if (wst == WORK_MORE_B) {
Matt Caswell0f113f32015-01-22 03:40:55 +00003259 /*
3260 * If we get an error, we need to ssl->rwstate=SSL_X509_LOOKUP;
3261 * return(-1); We then get retied later
3262 */
Matt Caswell0f113f32015-01-22 03:40:55 +00003263 i = ssl_do_client_cert_cb(s, &x509, &pkey);
3264 if (i < 0) {
3265 s->rwstate = SSL_X509_LOOKUP;
Matt Caswellb9908bf2015-07-29 14:08:49 +01003266 return WORK_MORE_B;
Matt Caswell0f113f32015-01-22 03:40:55 +00003267 }
3268 s->rwstate = SSL_NOTHING;
3269 if ((i == 1) && (pkey != NULL) && (x509 != NULL)) {
Matt Caswell0f113f32015-01-22 03:40:55 +00003270 if (!SSL_use_certificate(s, x509) || !SSL_use_PrivateKey(s, pkey))
3271 i = 0;
3272 } else if (i == 1) {
3273 i = 0;
Matt Caswellb9908bf2015-07-29 14:08:49 +01003274 SSLerr(SSL_F_TLS_PREPARE_CLIENT_CERTIFICATE,
Matt Caswell0f113f32015-01-22 03:40:55 +00003275 SSL_R_BAD_DATA_RETURNED_BY_CALLBACK);
3276 }
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00003277
Rich Salz222561f2015-04-30 17:33:59 -04003278 X509_free(x509);
Rich Salz25aaa982015-05-01 14:37:16 -04003279 EVP_PKEY_free(pkey);
Matt Caswell0f113f32015-01-22 03:40:55 +00003280 if (i && !ssl3_check_client_certificate(s))
3281 i = 0;
3282 if (i == 0) {
3283 if (s->version == SSL3_VERSION) {
3284 s->s3->tmp.cert_req = 0;
3285 ssl3_send_alert(s, SSL3_AL_WARNING, SSL_AD_NO_CERTIFICATE);
Matt Caswellb9908bf2015-07-29 14:08:49 +01003286 return WORK_FINISHED_CONTINUE;
Matt Caswell0f113f32015-01-22 03:40:55 +00003287 } else {
3288 s->s3->tmp.cert_req = 2;
Dr. Stephen Henson124037f2015-06-16 14:44:29 +01003289 if (!ssl3_digest_cached_records(s, 0)) {
Dr. Stephen Hensondab18ab2015-05-07 00:04:48 +01003290 ssl3_send_alert(s, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
Matt Caswellfe3a3292015-10-05 10:39:54 +01003291 ossl_statem_set_error(s);
Dr. Stephen Hensondab18ab2015-05-07 00:04:48 +01003292 return 0;
3293 }
Matt Caswell0f113f32015-01-22 03:40:55 +00003294 }
3295 }
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00003296
Matt Caswellb9908bf2015-07-29 14:08:49 +01003297 return WORK_FINISHED_CONTINUE;
Matt Caswell0f113f32015-01-22 03:40:55 +00003298 }
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00003299
Matt Caswellb9908bf2015-07-29 14:08:49 +01003300 /* Shouldn't ever get here */
3301 return WORK_ERROR;
3302}
3303
Matt Caswell7cea05d2016-09-29 23:28:29 +01003304int tls_construct_client_certificate(SSL *s, WPACKET *pkt)
Matt Caswellb9908bf2015-07-29 14:08:49 +01003305{
Matt Caswell0baed5e2017-01-02 11:16:37 +00003306 int al = SSL_AD_INTERNAL_ERROR;
Matt Caswelle96e0f82016-12-02 09:14:15 +00003307
3308 /*
3309 * TODO(TLS1.3): For now we must put an empty context. Needs to be filled in
3310 * later
3311 */
3312 if ((SSL_IS_TLS13(s) && !WPACKET_put_bytes_u8(pkt, 0))
3313 || !ssl3_output_cert_chain(s, pkt,
Matt Caswellb90506e2016-10-03 15:37:47 +01003314 (s->s3->tmp.cert_req == 2) ? NULL
Matt Caswelle96e0f82016-12-02 09:14:15 +00003315 : s->cert->key,
3316 &al)) {
Matt Caswellb9908bf2015-07-29 14:08:49 +01003317 SSLerr(SSL_F_TLS_CONSTRUCT_CLIENT_CERTIFICATE, ERR_R_INTERNAL_ERROR);
Matt Caswellf7e393b2017-02-27 11:19:57 +00003318 goto err;
3319 }
3320
3321 if (SSL_IS_TLS13(s)
3322 && SSL_IS_FIRST_HANDSHAKE(s)
3323 && (!s->method->ssl3_enc->change_cipher_state(s,
3324 SSL3_CC_HANDSHAKE | SSL3_CHANGE_CIPHER_CLIENT_WRITE))) {
3325 SSLerr(SSL_F_TLS_CONSTRUCT_CLIENT_CERTIFICATE,
3326 SSL_R_CANNOT_CHANGE_CIPHER);
3327 goto err;
Matt Caswell0f113f32015-01-22 03:40:55 +00003328 }
Matt Caswellb9908bf2015-07-29 14:08:49 +01003329
3330 return 1;
Matt Caswellf7e393b2017-02-27 11:19:57 +00003331 err:
3332 ssl3_send_alert(s, SSL3_AL_FATAL, al);
3333 return 0;
Matt Caswell0f113f32015-01-22 03:40:55 +00003334}
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00003335
Matt Caswell0f113f32015-01-22 03:40:55 +00003336#define has_bits(i,m) (((i)&(m)) == (m))
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00003337
Ben Laurie36d16f82005-04-26 16:02:40 +00003338int ssl3_check_cert_and_algorithm(SSL *s)
Matt Caswell0f113f32015-01-22 03:40:55 +00003339{
Richard Levitte60f43e92015-12-09 23:59:04 +01003340 int i;
3341#ifndef OPENSSL_NO_EC
3342 int idx;
3343#endif
Matt Caswell0f113f32015-01-22 03:40:55 +00003344 long alg_k, alg_a;
3345 EVP_PKEY *pkey = NULL;
Kurt Roeckx26c79d52015-04-18 12:23:12 +02003346 int al = SSL_AD_HANDSHAKE_FAILURE;
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00003347
Matt Caswell0f113f32015-01-22 03:40:55 +00003348 alg_k = s->s3->tmp.new_cipher->algorithm_mkey;
3349 alg_a = s->s3->tmp.new_cipher->algorithm_auth;
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00003350
Matt Caswell0f113f32015-01-22 03:40:55 +00003351 /* we don't have a certificate */
Matt Caswell55a9a162015-05-12 10:27:53 +01003352 if ((alg_a & SSL_aNULL) || (alg_k & SSL_kPSK))
Matt Caswell0f113f32015-01-22 03:40:55 +00003353 return (1);
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00003354
Matt Caswell0f113f32015-01-22 03:40:55 +00003355 /* This is the passed certificate */
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00003356
Rich Salz10bf4fc2015-03-10 19:09:27 -04003357#ifndef OPENSSL_NO_EC
Richard Levitte60f43e92015-12-09 23:59:04 +01003358 idx = s->session->peer_type;
Dr. Stephen Hensonb2021552017-06-16 18:55:28 +01003359 if (idx == SSL_PKEY_ECC || idx == SSL_PKEY_ED25519) {
Dr. Stephen Hensona273c6e2015-06-21 19:08:57 +01003360 if (ssl_check_srvr_ecc_cert_and_alg(s->session->peer, s) == 0) {
Matt Caswell0f113f32015-01-22 03:40:55 +00003361 /* check failed */
3362 SSLerr(SSL_F_SSL3_CHECK_CERT_AND_ALGORITHM, SSL_R_BAD_ECC_CERT);
3363 goto f_err;
3364 } else {
3365 return 1;
3366 }
3367 } else if (alg_a & SSL_aECDSA) {
3368 SSLerr(SSL_F_SSL3_CHECK_CERT_AND_ALGORITHM,
3369 SSL_R_MISSING_ECDSA_SIGNING_CERT);
3370 goto f_err;
Matt Caswell0f113f32015-01-22 03:40:55 +00003371 }
Bodo Möllerea262262002-08-09 08:56:08 +00003372#endif
Dr. Stephen Henson8382fd32015-12-20 00:32:36 +00003373 pkey = X509_get0_pubkey(s->session->peer);
Dr. Stephen Hensona273c6e2015-06-21 19:08:57 +01003374 i = X509_certificate_type(s->session->peer, pkey);
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00003375
Matt Caswell0f113f32015-01-22 03:40:55 +00003376 /* Check that we have a certificate if we require one */
3377 if ((alg_a & SSL_aRSA) && !has_bits(i, EVP_PK_RSA | EVP_PKT_SIGN)) {
3378 SSLerr(SSL_F_SSL3_CHECK_CERT_AND_ALGORITHM,
3379 SSL_R_MISSING_RSA_SIGNING_CERT);
3380 goto f_err;
3381 }
Richard Levittebc36ee62001-02-20 08:13:47 +00003382#ifndef OPENSSL_NO_DSA
Matt Caswell0f113f32015-01-22 03:40:55 +00003383 else if ((alg_a & SSL_aDSS) && !has_bits(i, EVP_PK_DSA | EVP_PKT_SIGN)) {
3384 SSLerr(SSL_F_SSL3_CHECK_CERT_AND_ALGORITHM,
3385 SSL_R_MISSING_DSA_SIGNING_CERT);
3386 goto f_err;
3387 }
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00003388#endif
Richard Levittebc36ee62001-02-20 08:13:47 +00003389#ifndef OPENSSL_NO_RSA
Kurt Roeckx361a1192015-12-05 02:04:41 +01003390 if (alg_k & (SSL_kRSA | SSL_kRSAPSK) &&
3391 !has_bits(i, EVP_PK_RSA | EVP_PKT_ENC)) {
3392 SSLerr(SSL_F_SSL3_CHECK_CERT_AND_ALGORITHM,
3393 SSL_R_MISSING_RSA_ENCRYPTING_CERT);
3394 goto f_err;
Matt Caswell0f113f32015-01-22 03:40:55 +00003395 }
Ulf Möller79df9d61999-04-27 03:19:12 +00003396#endif
Richard Levittebc36ee62001-02-20 08:13:47 +00003397#ifndef OPENSSL_NO_DH
Dr. Stephen Hensonfb79abe2015-12-17 01:07:46 +00003398 if ((alg_k & SSL_kDHE) && (s->s3->peer_tmp == NULL)) {
Kurt Roeckx26c79d52015-04-18 12:23:12 +02003399 al = SSL_AD_INTERNAL_ERROR;
3400 SSLerr(SSL_F_SSL3_CHECK_CERT_AND_ALGORITHM, ERR_R_INTERNAL_ERROR);
Matt Caswell0f113f32015-01-22 03:40:55 +00003401 goto f_err;
Matt Caswell0f113f32015-01-22 03:40:55 +00003402 }
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00003403#endif
3404
Matt Caswell0f113f32015-01-22 03:40:55 +00003405 return (1);
3406 f_err:
Kurt Roeckx26c79d52015-04-18 12:23:12 +02003407 ssl3_send_alert(s, SSL3_AL_FATAL, al);
Matt Caswell0f113f32015-01-22 03:40:55 +00003408 return (0);
3409}
Dr. Stephen Henson6434abb2007-08-11 23:18:29 +00003410
Matt Caswelle481f9b2015-05-15 10:49:56 +01003411#ifndef OPENSSL_NO_NEXTPROTONEG
Matt Caswell7cea05d2016-09-29 23:28:29 +01003412int tls_construct_next_proto(SSL *s, WPACKET *pkt)
Matt Caswellb9908bf2015-07-29 14:08:49 +01003413{
Matt Caswell15e6be62016-09-14 12:10:33 +01003414 size_t len, padding_len;
3415 unsigned char *padding = NULL;
Matt Caswell15e6be62016-09-14 12:10:33 +01003416
Rich Salzaff8c122016-12-08 14:18:40 -05003417 len = s->ext.npn_len;
Matt Caswellb9908bf2015-07-29 14:08:49 +01003418 padding_len = 32 - ((len + 2) % 32);
Matt Caswell15e6be62016-09-14 12:10:33 +01003419
Rich Salzaff8c122016-12-08 14:18:40 -05003420 if (!WPACKET_sub_memcpy_u8(pkt, s->ext.npn, len)
Matt Caswell7cea05d2016-09-29 23:28:29 +01003421 || !WPACKET_sub_allocate_bytes_u8(pkt, padding_len, &padding)) {
Matt Caswell15e6be62016-09-14 12:10:33 +01003422 SSLerr(SSL_F_TLS_CONSTRUCT_NEXT_PROTO, ERR_R_INTERNAL_ERROR);
3423 goto err;
3424 }
3425
3426 memset(padding, 0, padding_len);
3427
Matt Caswellb9908bf2015-07-29 14:08:49 +01003428 return 1;
Matt Caswell15e6be62016-09-14 12:10:33 +01003429 err:
Matt Caswell15e6be62016-09-14 12:10:33 +01003430 ssl3_send_alert(s, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
3431 return 0;
Matt Caswellb9908bf2015-07-29 14:08:49 +01003432}
Dr. Stephen Henson6434abb2007-08-11 23:18:29 +00003433#endif
Dr. Stephen Henson368888b2008-06-01 22:33:24 +00003434
Matt Caswellc7f47782017-01-10 23:02:28 +00003435MSG_PROCESS_RETURN tls_process_hello_req(SSL *s, PACKET *pkt)
3436{
3437 if (PACKET_remaining(pkt) > 0) {
3438 /* should contain no data */
3439 SSLerr(SSL_F_TLS_PROCESS_HELLO_REQ, SSL_R_LENGTH_MISMATCH);
3440 ssl3_send_alert(s, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
3441 ossl_statem_set_error(s);
3442 return MSG_PROCESS_ERROR;
3443 }
3444
Todd Shortdb0f35d2017-05-10 16:46:14 -04003445 if ((s->options & SSL_OP_NO_RENEGOTIATION)) {
3446 ssl3_send_alert(s, SSL3_AL_WARNING, SSL_AD_NO_RENEGOTIATION);
3447 return MSG_PROCESS_FINISHED_READING;
3448 }
3449
Matt Caswellc7f47782017-01-10 23:02:28 +00003450 /*
Matt Caswell1f04f232017-01-27 15:23:25 +00003451 * This is a historical discrepancy (not in the RFC) maintained for
3452 * compatibility reasons. If a TLS client receives a HelloRequest it will
3453 * attempt an abbreviated handshake. However if a DTLS client receives a
3454 * HelloRequest it will do a full handshake. Either behaviour is reasonable
3455 * but doing one for TLS and another for DTLS is odd.
Matt Caswellc7f47782017-01-10 23:02:28 +00003456 */
3457 if (SSL_IS_DTLS(s))
3458 SSL_renegotiate(s);
3459 else
3460 SSL_renegotiate_abbreviated(s);
3461
3462 return MSG_PROCESS_FINISHED_READING;
3463}
3464
Matt Caswelle46f2332016-11-23 15:20:22 +00003465static MSG_PROCESS_RETURN tls_process_encrypted_extensions(SSL *s, PACKET *pkt)
3466{
3467 int al = SSL_AD_INTERNAL_ERROR;
3468 PACKET extensions;
Matt Caswell3434f402016-11-28 16:45:52 +00003469 RAW_EXTENSION *rawexts = NULL;
Matt Caswelle46f2332016-11-23 15:20:22 +00003470
Matt Caswell26b91722017-05-11 11:31:57 +01003471 if (!PACKET_as_length_prefixed_2(pkt, &extensions)
3472 || PACKET_remaining(pkt) != 0) {
Matt Caswelle46f2332016-11-23 15:20:22 +00003473 al = SSL_AD_DECODE_ERROR;
3474 SSLerr(SSL_F_TLS_PROCESS_ENCRYPTED_EXTENSIONS, SSL_R_LENGTH_MISMATCH);
3475 goto err;
3476 }
3477
Matt Caswellfe874d22017-04-04 11:40:02 +01003478 if (!tls_collect_extensions(s, &extensions,
3479 SSL_EXT_TLS1_3_ENCRYPTED_EXTENSIONS, &rawexts,
Tatsuhiro Tsujikawa735d5b52017-04-18 23:59:39 +09003480 &al, NULL, 1)
Matt Caswellfe874d22017-04-04 11:40:02 +01003481 || !tls_parse_all_extensions(s, SSL_EXT_TLS1_3_ENCRYPTED_EXTENSIONS,
Tatsuhiro Tsujikawa735d5b52017-04-18 23:59:39 +09003482 rawexts, NULL, 0, &al, 1))
Matt Caswell3434f402016-11-28 16:45:52 +00003483 goto err;
3484
Matt Caswell1b0286a2016-12-05 17:31:37 +00003485 OPENSSL_free(rawexts);
Matt Caswelle46f2332016-11-23 15:20:22 +00003486 return MSG_PROCESS_CONTINUE_READING;
3487
3488 err:
3489 ssl3_send_alert(s, SSL3_AL_FATAL, al);
3490 ossl_statem_set_error(s);
Matt Caswell1b0286a2016-12-05 17:31:37 +00003491 OPENSSL_free(rawexts);
Matt Caswelle46f2332016-11-23 15:20:22 +00003492 return MSG_PROCESS_ERROR;
3493}
3494
Dr. Stephen Henson368888b2008-06-01 22:33:24 +00003495int ssl_do_client_cert_cb(SSL *s, X509 **px509, EVP_PKEY **ppkey)
Matt Caswell0f113f32015-01-22 03:40:55 +00003496{
3497 int i = 0;
Dr. Stephen Henson368888b2008-06-01 22:33:24 +00003498#ifndef OPENSSL_NO_ENGINE
Matt Caswell0f113f32015-01-22 03:40:55 +00003499 if (s->ctx->client_cert_engine) {
3500 i = ENGINE_load_ssl_client_cert(s->ctx->client_cert_engine, s,
3501 SSL_get_client_CA_list(s),
3502 px509, ppkey, NULL, NULL, NULL);
3503 if (i != 0)
3504 return i;
3505 }
Dr. Stephen Henson368888b2008-06-01 22:33:24 +00003506#endif
Matt Caswell0f113f32015-01-22 03:40:55 +00003507 if (s->ctx->client_cert_cb)
3508 i = s->ctx->client_cert_cb(s, px509, ppkey);
3509 return i;
3510}
Matt Caswelld45ba432015-04-24 15:05:27 +01003511
Matt Caswellae2f7b32016-09-05 17:34:04 +01003512int ssl_cipher_list_to_bytes(SSL *s, STACK_OF(SSL_CIPHER) *sk, WPACKET *pkt)
Matt Caswelld45ba432015-04-24 15:05:27 +01003513{
Matt Caswell2c7b4db2016-08-03 20:57:52 +01003514 int i;
Matt Caswellaafec892017-04-26 10:38:32 +01003515 size_t totlen = 0, len, maxlen, maxverok = 0;
Matt Caswelld45ba432015-04-24 15:05:27 +01003516 int empty_reneg_info_scsv = !s->renegotiate;
3517 /* Set disabled masks for this session */
3518 ssl_set_client_disabled(s);
3519
3520 if (sk == NULL)
3521 return (0);
Matt Caswelld45ba432015-04-24 15:05:27 +01003522
Matt Caswell2c7b4db2016-08-03 20:57:52 +01003523#ifdef OPENSSL_MAX_TLS1_2_CIPHER_LENGTH
3524# if OPENSSL_MAX_TLS1_2_CIPHER_LENGTH < 6
3525# error Max cipher length too short
3526# endif
3527 /*
3528 * Some servers hang if client hello > 256 bytes as hack workaround
3529 * chop number of supported ciphers to keep it well below this if we
3530 * use TLS v1.2
3531 */
3532 if (TLS1_get_version(s) >= TLS1_2_VERSION)
3533 maxlen = OPENSSL_MAX_TLS1_2_CIPHER_LENGTH & ~1;
3534 else
3535#endif
3536 /* Maximum length that can be stored in 2 bytes. Length must be even */
3537 maxlen = 0xfffe;
3538
3539 if (empty_reneg_info_scsv)
3540 maxlen -= 2;
3541 if (s->mode & SSL_MODE_SEND_FALLBACK_SCSV)
3542 maxlen -= 2;
3543
3544 for (i = 0; i < sk_SSL_CIPHER_num(sk) && totlen < maxlen; i++) {
3545 const SSL_CIPHER *c;
3546
Matt Caswelld45ba432015-04-24 15:05:27 +01003547 c = sk_SSL_CIPHER_value(sk, i);
3548 /* Skip disabled ciphers */
Matt Caswell8af91fd2017-04-12 17:02:42 +01003549 if (ssl_cipher_disabled(s, c, SSL_SECOP_CIPHER_SUPPORTED, 0))
Matt Caswelld45ba432015-04-24 15:05:27 +01003550 continue;
Matt Caswell2c7b4db2016-08-03 20:57:52 +01003551
3552 if (!s->method->put_cipher_by_char(c, pkt, &len)) {
3553 SSLerr(SSL_F_SSL_CIPHER_LIST_TO_BYTES, ERR_R_INTERNAL_ERROR);
3554 return 0;
3555 }
3556
Matt Caswellaafec892017-04-26 10:38:32 +01003557 /* Sanity check that the maximum version we offer has ciphers enabled */
3558 if (!maxverok) {
3559 if (SSL_IS_DTLS(s)) {
3560 if (DTLS_VERSION_GE(c->max_dtls, s->s3->tmp.max_ver)
3561 && DTLS_VERSION_LE(c->min_dtls, s->s3->tmp.max_ver))
3562 maxverok = 1;
3563 } else {
3564 if (c->max_tls >= s->s3->tmp.max_ver
3565 && c->min_tls <= s->s3->tmp.max_ver)
3566 maxverok = 1;
3567 }
3568 }
3569
Matt Caswell2c7b4db2016-08-03 20:57:52 +01003570 totlen += len;
Matt Caswelld45ba432015-04-24 15:05:27 +01003571 }
Matt Caswell2c7b4db2016-08-03 20:57:52 +01003572
Matt Caswellaafec892017-04-26 10:38:32 +01003573 if (totlen == 0 || !maxverok) {
Matt Caswell2c7b4db2016-08-03 20:57:52 +01003574 SSLerr(SSL_F_SSL_CIPHER_LIST_TO_BYTES, SSL_R_NO_CIPHERS_AVAILABLE);
Matt Caswellaafec892017-04-26 10:38:32 +01003575
3576 if (!maxverok)
3577 ERR_add_error_data(1, "No ciphers enabled for max supported "
3578 "SSL/TLS version");
3579
Matt Caswell2c7b4db2016-08-03 20:57:52 +01003580 return 0;
3581 }
3582
3583 if (totlen != 0) {
Matt Caswelld45ba432015-04-24 15:05:27 +01003584 if (empty_reneg_info_scsv) {
3585 static SSL_CIPHER scsv = {
3586 0, NULL, SSL3_CK_SCSV, 0, 0, 0, 0, 0, 0, 0, 0, 0
3587 };
Matt Caswell2c7b4db2016-08-03 20:57:52 +01003588 if (!s->method->put_cipher_by_char(&scsv, pkt, &len)) {
3589 SSLerr(SSL_F_SSL_CIPHER_LIST_TO_BYTES, ERR_R_INTERNAL_ERROR);
3590 return 0;
3591 }
Matt Caswelld45ba432015-04-24 15:05:27 +01003592 }
3593 if (s->mode & SSL_MODE_SEND_FALLBACK_SCSV) {
3594 static SSL_CIPHER scsv = {
3595 0, NULL, SSL3_CK_FALLBACK_SCSV, 0, 0, 0, 0, 0, 0, 0, 0, 0
3596 };
Matt Caswell2c7b4db2016-08-03 20:57:52 +01003597 if (!s->method->put_cipher_by_char(&scsv, pkt, &len)) {
3598 SSLerr(SSL_F_SSL_CIPHER_LIST_TO_BYTES, ERR_R_INTERNAL_ERROR);
3599 return 0;
3600 }
Matt Caswelld45ba432015-04-24 15:05:27 +01003601 }
3602 }
3603
Matt Caswell2c7b4db2016-08-03 20:57:52 +01003604 return 1;
Matt Caswelld45ba432015-04-24 15:05:27 +01003605}
Matt Caswellef6c1912017-03-09 15:03:07 +00003606
3607int tls_construct_end_of_early_data(SSL *s, WPACKET *pkt)
3608{
3609 if (s->early_data_state != SSL_EARLY_DATA_WRITE_RETRY
3610 && s->early_data_state != SSL_EARLY_DATA_FINISHED_WRITING) {
3611 SSLerr(SSL_F_TLS_CONSTRUCT_END_OF_EARLY_DATA,
3612 ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED);
3613 return 0;
3614 }
3615
3616 s->early_data_state = SSL_EARLY_DATA_FINISHED_WRITING;
3617 return 1;
3618}