blob: cfbfa5f8c3d33d67ef01f437f1a23297963880cd [file] [log] [blame]
Matt Caswell8ba708e2015-09-11 10:48:59 +01001/* ssl/statem/statem_clnt.c */
Ralf S. Engelschall58964a41998-12-21 10:56:39 +00002/* Copyright (C) 1995-1998 Eric Young (eay@cryptsoft.com)
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00003 * All rights reserved.
4 *
5 * This package is an SSL implementation written
6 * by Eric Young (eay@cryptsoft.com).
7 * The implementation was written so as to conform with Netscapes SSL.
Matt Caswell0f113f32015-01-22 03:40:55 +00008 *
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00009 * This library is free for commercial and non-commercial use as long as
10 * the following conditions are aheared to. The following conditions
11 * apply to all code found in this distribution, be it the RC4, RSA,
12 * lhash, DES, etc., code; not just the SSL code. The SSL documentation
13 * included with this distribution is covered by the same copyright terms
14 * except that the holder is Tim Hudson (tjh@cryptsoft.com).
Matt Caswell0f113f32015-01-22 03:40:55 +000015 *
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +000016 * Copyright remains Eric Young's, and as such any Copyright notices in
17 * the code are not to be removed.
18 * If this package is used in a product, Eric Young should be given attribution
19 * as the author of the parts of the library used.
20 * This can be in the form of a textual message at program startup or
21 * in documentation (online or textual) provided with the package.
Matt Caswell0f113f32015-01-22 03:40:55 +000022 *
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +000023 * Redistribution and use in source and binary forms, with or without
24 * modification, are permitted provided that the following conditions
25 * are met:
26 * 1. Redistributions of source code must retain the copyright
27 * notice, this list of conditions and the following disclaimer.
28 * 2. Redistributions in binary form must reproduce the above copyright
29 * notice, this list of conditions and the following disclaimer in the
30 * documentation and/or other materials provided with the distribution.
31 * 3. All advertising materials mentioning features or use of this software
32 * must display the following acknowledgement:
33 * "This product includes cryptographic software written by
34 * Eric Young (eay@cryptsoft.com)"
35 * The word 'cryptographic' can be left out if the rouines from the library
36 * being used are not cryptographic related :-).
Matt Caswell0f113f32015-01-22 03:40:55 +000037 * 4. If you include any Windows specific code (or a derivative thereof) from
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +000038 * the apps directory (application code) you must include an acknowledgement:
39 * "This product includes software written by Tim Hudson (tjh@cryptsoft.com)"
Matt Caswell0f113f32015-01-22 03:40:55 +000040 *
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +000041 * THIS SOFTWARE IS PROVIDED BY ERIC YOUNG ``AS IS'' AND
42 * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
43 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
44 * ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
45 * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
46 * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
47 * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
48 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
49 * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
50 * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
51 * SUCH DAMAGE.
Matt Caswell0f113f32015-01-22 03:40:55 +000052 *
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +000053 * The licence and distribution terms for any publically available version or
54 * derivative of this code cannot be changed. i.e. this code cannot simply be
55 * copied and put under another distribution licence
56 * [including the GNU Public Licence.]
57 */
Bodo Möller8c74b5e2002-01-14 23:40:26 +000058/* ====================================================================
Bodo Möller52b8dad2007-02-17 06:45:38 +000059 * Copyright (c) 1998-2007 The OpenSSL Project. All rights reserved.
Bodo Möller8c74b5e2002-01-14 23:40:26 +000060 *
61 * Redistribution and use in source and binary forms, with or without
62 * modification, are permitted provided that the following conditions
63 * are met:
64 *
65 * 1. Redistributions of source code must retain the above copyright
Matt Caswell0f113f32015-01-22 03:40:55 +000066 * notice, this list of conditions and the following disclaimer.
Bodo Möller8c74b5e2002-01-14 23:40:26 +000067 *
68 * 2. Redistributions in binary form must reproduce the above copyright
69 * notice, this list of conditions and the following disclaimer in
70 * the documentation and/or other materials provided with the
71 * distribution.
72 *
73 * 3. All advertising materials mentioning features or use of this
74 * software must display the following acknowledgment:
75 * "This product includes software developed by the OpenSSL Project
76 * for use in the OpenSSL Toolkit. (http://www.openssl.org/)"
77 *
78 * 4. The names "OpenSSL Toolkit" and "OpenSSL Project" must not be used to
79 * endorse or promote products derived from this software without
80 * prior written permission. For written permission, please contact
81 * openssl-core@openssl.org.
82 *
83 * 5. Products derived from this software may not be called "OpenSSL"
84 * nor may "OpenSSL" appear in their names without prior written
85 * permission of the OpenSSL Project.
86 *
87 * 6. Redistributions of any form whatsoever must retain the following
88 * acknowledgment:
89 * "This product includes software developed by the OpenSSL Project
90 * for use in the OpenSSL Toolkit (http://www.openssl.org/)"
91 *
92 * THIS SOFTWARE IS PROVIDED BY THE OpenSSL PROJECT ``AS IS'' AND ANY
93 * EXPRESSED OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
94 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
95 * PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE OpenSSL PROJECT OR
96 * ITS CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
97 * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
98 * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
99 * LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
100 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT,
101 * STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
102 * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED
103 * OF THE POSSIBILITY OF SUCH DAMAGE.
104 * ====================================================================
105 *
106 * This product includes cryptographic software written by Eric Young
107 * (eay@cryptsoft.com). This product includes software written by Tim
108 * Hudson (tjh@cryptsoft.com).
109 *
110 */
Bodo Möllerea262262002-08-09 08:56:08 +0000111/* ====================================================================
112 * Copyright 2002 Sun Microsystems, Inc. ALL RIGHTS RESERVED.
113 *
Matt Caswell0f113f32015-01-22 03:40:55 +0000114 * Portions of the attached software ("Contribution") are developed by
Bodo Möllerea262262002-08-09 08:56:08 +0000115 * SUN MICROSYSTEMS, INC., and are contributed to the OpenSSL project.
116 *
117 * The Contribution is licensed pursuant to the OpenSSL open source
118 * license provided above.
119 *
Bodo Möllerea262262002-08-09 08:56:08 +0000120 * ECC cipher suite support in OpenSSL originally written by
121 * Vipul Gupta and Sumit Gupta of Sun Microsystems Laboratories.
122 *
123 */
Nils Larschddac1972006-03-10 23:06:27 +0000124/* ====================================================================
125 * Copyright 2005 Nokia. All rights reserved.
126 *
127 * The portions of the attached software ("Contribution") is developed by
128 * Nokia Corporation and is licensed pursuant to the OpenSSL open source
129 * license.
130 *
131 * The Contribution, originally written by Mika Kousa and Pasi Eronen of
132 * Nokia Corporation, consists of the "PSK" (Pre-Shared Key) ciphersuites
133 * support (see RFC 4279) to OpenSSL.
134 *
135 * No patent licenses or other rights except those expressly stated in
136 * the OpenSSL open source license shall be deemed granted or received
137 * expressly, by implication, estoppel, or otherwise.
138 *
139 * No assurances are provided by Nokia that the Contribution does not
140 * infringe the patent or other intellectual property rights of any third
141 * party or that the license provides you with all the necessary rights
142 * to make use of the Contribution.
143 *
144 * THE SOFTWARE IS PROVIDED "AS IS" WITHOUT WARRANTY OF ANY KIND. IN
145 * ADDITION TO THE DISCLAIMERS INCLUDED IN THE LICENSE, NOKIA
146 * SPECIFICALLY DISCLAIMS ANY LIABILITY FOR CLAIMS BROUGHT BY YOU OR ANY
147 * OTHER ENTITY BASED ON INFRINGEMENT OF INTELLECTUAL PROPERTY RIGHTS OR
148 * OTHERWISE.
149 */
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +0000150
151#include <stdio.h>
Matt Caswell8ba708e2015-09-11 10:48:59 +0100152#include "../ssl_locl.h"
Matt Caswell61ae9352015-09-11 11:23:20 +0100153#include "statem_locl.h"
Bodo Möllerec577821999-04-23 22:13:45 +0000154#include <openssl/buffer.h>
155#include <openssl/rand.h>
156#include <openssl/objects.h>
157#include <openssl/evp.h>
Ben Lauriedbad1692001-07-30 23:57:25 +0000158#include <openssl/md5.h>
Nils Larsch3eeaab42005-07-16 12:37:36 +0000159#ifndef OPENSSL_NO_DH
Matt Caswell0f113f32015-01-22 03:40:55 +0000160# include <openssl/dh.h>
Nils Larsch3eeaab42005-07-16 12:37:36 +0000161#endif
Geoff Thorped095b682004-05-17 18:53:47 +0000162#include <openssl/bn.h>
Dr. Stephen Henson368888b2008-06-01 22:33:24 +0000163#ifndef OPENSSL_NO_ENGINE
Matt Caswell0f113f32015-01-22 03:40:55 +0000164# include <openssl/engine.h>
Dr. Stephen Henson368888b2008-06-01 22:33:24 +0000165#endif
Richard Levittef9b3bff2000-11-30 22:53:34 +0000166
Matt Caswell7ab09632015-12-23 09:45:02 +0000167static ossl_inline int cert_req_allowed(SSL *s);
Matt Caswella455d0f2015-09-14 15:06:37 +0100168static int key_exchange_expected(SSL *s);
Matt Caswell0f113f32015-01-22 03:40:55 +0000169static int ca_dn_cmp(const X509_NAME *const *a, const X509_NAME *const *b);
Matt Caswelld45ba432015-04-24 15:05:27 +0100170static int ssl_cipher_list_to_bytes(SSL *s, STACK_OF(SSL_CIPHER) *sk,
Emilia Kaspere9fa0922015-09-18 15:00:37 +0200171 unsigned char *p);
Bodo Möllerea262262002-08-09 08:56:08 +0000172
Matt Caswell61ae9352015-09-11 11:23:20 +0100173
174/*
175 * Is a CertificateRequest message allowed at the moment or not?
176 *
177 * Return values are:
178 * 1: Yes
179 * 0: No
180 */
Matt Caswell7ab09632015-12-23 09:45:02 +0000181static ossl_inline int cert_req_allowed(SSL *s)
Matt Caswell61ae9352015-09-11 11:23:20 +0100182{
183 /* TLS does not like anon-DH with client cert */
Matt Caswellb7fa1f92015-10-26 23:11:44 +0000184 if ((s->version > SSL3_VERSION
185 && (s->s3->tmp.new_cipher->algorithm_auth & SSL_aNULL))
186 || (s->s3->tmp.new_cipher->algorithm_auth & (SSL_aSRP | SSL_aPSK)))
Matt Caswell61ae9352015-09-11 11:23:20 +0100187 return 0;
188
189 return 1;
190}
191
192/*
Matt Caswella455d0f2015-09-14 15:06:37 +0100193 * Should we expect the ServerKeyExchange message or not?
Matt Caswell61ae9352015-09-11 11:23:20 +0100194 *
195 * Return values are:
196 * 1: Yes
197 * 0: No
Matt Caswella455d0f2015-09-14 15:06:37 +0100198 * -1: Error
Matt Caswell61ae9352015-09-11 11:23:20 +0100199 */
Matt Caswella455d0f2015-09-14 15:06:37 +0100200static int key_exchange_expected(SSL *s)
Matt Caswell61ae9352015-09-11 11:23:20 +0100201{
202 long alg_k = s->s3->tmp.new_cipher->algorithm_mkey;
203
204 /*
205 * Can't skip server key exchange if this is an ephemeral
Matt Caswella455d0f2015-09-14 15:06:37 +0100206 * ciphersuite or for SRP
Matt Caswell61ae9352015-09-11 11:23:20 +0100207 */
Matt Caswella455d0f2015-09-14 15:06:37 +0100208 if (alg_k & (SSL_kDHE | SSL_kECDHE | SSL_kDHEPSK | SSL_kECDHEPSK
209 | SSL_kSRP)) {
210 return 1;
Matt Caswell61ae9352015-09-11 11:23:20 +0100211 }
212
Matt Caswella455d0f2015-09-14 15:06:37 +0100213 return 0;
Matt Caswell61ae9352015-09-11 11:23:20 +0100214}
215
216/*
Matt Caswell8481f582015-10-26 11:54:17 +0000217 * ossl_statem_client_read_transition() encapsulates the logic for the allowed
218 * handshake state transitions when the client is reading messages from the
219 * server. The message type that the server has sent is provided in |mt|. The
220 * current state is in |s->statem.hand_state|.
Matt Caswell61ae9352015-09-11 11:23:20 +0100221 *
222 * Return values are:
223 * 1: Success (transition allowed)
224 * 0: Error (transition not allowed)
225 */
Matt Caswell8481f582015-10-26 11:54:17 +0000226int ossl_statem_client_read_transition(SSL *s, int mt)
Matt Caswell61ae9352015-09-11 11:23:20 +0100227{
Matt Caswelld6f1a6e2015-10-05 10:58:52 +0100228 OSSL_STATEM *st = &s->statem;
Matt Caswella455d0f2015-09-14 15:06:37 +0100229 int ske_expected;
Matt Caswell61ae9352015-09-11 11:23:20 +0100230
231 switch(st->hand_state) {
232 case TLS_ST_CW_CLNT_HELLO:
233 if (mt == SSL3_MT_SERVER_HELLO) {
234 st->hand_state = TLS_ST_CR_SRVR_HELLO;
235 return 1;
236 }
237
238 if (SSL_IS_DTLS(s)) {
239 if (mt == DTLS1_MT_HELLO_VERIFY_REQUEST) {
240 st->hand_state = DTLS_ST_CR_HELLO_VERIFY_REQUEST;
241 return 1;
242 }
243 }
244 break;
245
246 case TLS_ST_CR_SRVR_HELLO:
247 if (s->hit) {
248 if (s->tlsext_ticket_expected) {
249 if (mt == SSL3_MT_NEWSESSION_TICKET) {
250 st->hand_state = TLS_ST_CR_SESSION_TICKET;
251 return 1;
252 }
253 } else if (mt == SSL3_MT_CHANGE_CIPHER_SPEC) {
254 st->hand_state = TLS_ST_CR_CHANGE;
255 return 1;
256 }
257 } else {
258 if (SSL_IS_DTLS(s) && mt == DTLS1_MT_HELLO_VERIFY_REQUEST) {
259 st->hand_state = DTLS_ST_CR_HELLO_VERIFY_REQUEST;
260 return 1;
Matt Caswellad3819c2015-12-04 10:18:01 +0000261 } else if (s->version >= TLS1_VERSION
262 && s->tls_session_secret_cb != NULL
263 && s->session->tlsext_tick != NULL
264 && mt == SSL3_MT_CHANGE_CIPHER_SPEC) {
265 /*
266 * Normally, we can tell if the server is resuming the session
267 * from the session ID. EAP-FAST (RFC 4851), however, relies on
268 * the next server message after the ServerHello to determine if
269 * the server is resuming.
270 */
271 s->hit = 1;
272 st->hand_state = TLS_ST_CR_CHANGE;
273 return 1;
Matt Caswell61ae9352015-09-11 11:23:20 +0100274 } else if (!(s->s3->tmp.new_cipher->algorithm_auth
275 & (SSL_aNULL | SSL_aSRP | SSL_aPSK))) {
276 if (mt == SSL3_MT_CERTIFICATE) {
277 st->hand_state = TLS_ST_CR_CERT;
278 return 1;
279 }
280 } else {
Matt Caswella455d0f2015-09-14 15:06:37 +0100281 ske_expected = key_exchange_expected(s);
282 if (ske_expected < 0)
283 return 0;
284 /* SKE is optional for some PSK ciphersuites */
285 if (ske_expected
286 || ((s->s3->tmp.new_cipher->algorithm_mkey & SSL_PSK)
287 && mt == SSL3_MT_SERVER_KEY_EXCHANGE)) {
288 if (mt == SSL3_MT_SERVER_KEY_EXCHANGE) {
289 st->hand_state = TLS_ST_CR_KEY_EXCH;
290 return 1;
291 }
292 } else if (mt == SSL3_MT_CERTIFICATE_REQUEST
Matt Caswell61ae9352015-09-11 11:23:20 +0100293 && cert_req_allowed(s)) {
294 st->hand_state = TLS_ST_CR_CERT_REQ;
295 return 1;
Matt Caswella455d0f2015-09-14 15:06:37 +0100296 } else if (mt == SSL3_MT_SERVER_DONE) {
Matt Caswell61ae9352015-09-11 11:23:20 +0100297 st->hand_state = TLS_ST_CR_SRVR_DONE;
298 return 1;
Matt Caswell61ae9352015-09-11 11:23:20 +0100299 }
300 }
301 }
302 break;
303
304 case TLS_ST_CR_CERT:
Matt Caswellbb1aaab2015-11-05 14:31:11 +0000305 /*
306 * The CertificateStatus message is optional even if
307 * |tlsext_status_expected| is set
308 */
309 if (s->tlsext_status_expected && mt == SSL3_MT_CERTIFICATE_STATUS) {
310 st->hand_state = TLS_ST_CR_CERT_STATUS;
311 return 1;
Matt Caswella455d0f2015-09-14 15:06:37 +0100312 }
313 /* Fall through */
314
315 case TLS_ST_CR_CERT_STATUS:
316 ske_expected = key_exchange_expected(s);
317 if (ske_expected < 0)
318 return 0;
319 /* SKE is optional for some PSK ciphersuites */
320 if (ske_expected
321 || ((s->s3->tmp.new_cipher->algorithm_mkey & SSL_PSK)
322 && mt == SSL3_MT_SERVER_KEY_EXCHANGE)) {
Matt Caswell61ae9352015-09-11 11:23:20 +0100323 if (mt == SSL3_MT_SERVER_KEY_EXCHANGE) {
324 st->hand_state = TLS_ST_CR_KEY_EXCH;
325 return 1;
Matt Caswell61ae9352015-09-11 11:23:20 +0100326 }
Matt Caswella455d0f2015-09-14 15:06:37 +0100327 return 0;
Matt Caswell61ae9352015-09-11 11:23:20 +0100328 }
Matt Caswella455d0f2015-09-14 15:06:37 +0100329 /* Fall through */
Matt Caswell61ae9352015-09-11 11:23:20 +0100330
331 case TLS_ST_CR_KEY_EXCH:
Matt Caswella455d0f2015-09-14 15:06:37 +0100332 if (mt == SSL3_MT_CERTIFICATE_REQUEST) {
333 if (cert_req_allowed(s)) {
334 st->hand_state = TLS_ST_CR_CERT_REQ;
335 return 1;
336 }
337 return 0;
Matt Caswell61ae9352015-09-11 11:23:20 +0100338 }
Matt Caswella455d0f2015-09-14 15:06:37 +0100339 /* Fall through */
Matt Caswell61ae9352015-09-11 11:23:20 +0100340
341 case TLS_ST_CR_CERT_REQ:
342 if (mt == SSL3_MT_SERVER_DONE) {
343 st->hand_state = TLS_ST_CR_SRVR_DONE;
344 return 1;
345 }
346 break;
347
348 case TLS_ST_CW_FINISHED:
349 if (mt == SSL3_MT_NEWSESSION_TICKET && s->tlsext_ticket_expected) {
350 st->hand_state = TLS_ST_CR_SESSION_TICKET;
351 return 1;
352 } else if (mt == SSL3_MT_CHANGE_CIPHER_SPEC) {
353 st->hand_state = TLS_ST_CR_CHANGE;
354 return 1;
355 }
356 break;
357
358 case TLS_ST_CR_SESSION_TICKET:
359 if (mt == SSL3_MT_CHANGE_CIPHER_SPEC) {
360 st->hand_state = TLS_ST_CR_CHANGE;
361 return 1;
362 }
363 break;
364
365 case TLS_ST_CR_CHANGE:
366 if (mt == SSL3_MT_FINISHED) {
367 st->hand_state = TLS_ST_CR_FINISHED;
368 return 1;
369 }
370 break;
371
372 default:
373 break;
374 }
375
376 /* No valid transition found */
377 return 0;
378}
379
380/*
381 * client_write_transition() works out what handshake state to move to next
382 * when the client is writing messages to be sent to the server.
383 */
Matt Caswell8481f582015-10-26 11:54:17 +0000384WRITE_TRAN ossl_statem_client_write_transition(SSL *s)
Matt Caswell61ae9352015-09-11 11:23:20 +0100385{
Matt Caswelld6f1a6e2015-10-05 10:58:52 +0100386 OSSL_STATEM *st = &s->statem;
Matt Caswell61ae9352015-09-11 11:23:20 +0100387
388 switch(st->hand_state) {
389 case TLS_ST_OK:
390 /* Renegotiation - fall through */
391 case TLS_ST_BEFORE:
392 st->hand_state = TLS_ST_CW_CLNT_HELLO;
393 return WRITE_TRAN_CONTINUE;
394
395 case TLS_ST_CW_CLNT_HELLO:
396 /*
397 * No transition at the end of writing because we don't know what
398 * we will be sent
399 */
400 return WRITE_TRAN_FINISHED;
401
402 case DTLS_ST_CR_HELLO_VERIFY_REQUEST:
403 st->hand_state = TLS_ST_CW_CLNT_HELLO;
404 return WRITE_TRAN_CONTINUE;
405
406 case TLS_ST_CR_SRVR_DONE:
407 if (s->s3->tmp.cert_req)
408 st->hand_state = TLS_ST_CW_CERT;
409 else
410 st->hand_state = TLS_ST_CW_KEY_EXCH;
411 return WRITE_TRAN_CONTINUE;
412
413 case TLS_ST_CW_CERT:
414 st->hand_state = TLS_ST_CW_KEY_EXCH;
415 return WRITE_TRAN_CONTINUE;
416
417 case TLS_ST_CW_KEY_EXCH:
418 /*
419 * For TLS, cert_req is set to 2, so a cert chain of nothing is
420 * sent, but no verify packet is sent
421 */
422 /*
423 * XXX: For now, we do not support client authentication in ECDH
424 * cipher suites with ECDH (rather than ECDSA) certificates. We
425 * need to skip the certificate verify message when client's
426 * ECDH public key is sent inside the client certificate.
427 */
428 if (s->s3->tmp.cert_req == 1) {
429 st->hand_state = TLS_ST_CW_CERT_VRFY;
430 } else {
431 st->hand_state = TLS_ST_CW_CHANGE;
432 }
433 if (s->s3->flags & TLS1_FLAGS_SKIP_CERT_VERIFY) {
434 st->hand_state = TLS_ST_CW_CHANGE;
435 }
436 return WRITE_TRAN_CONTINUE;
437
438 case TLS_ST_CW_CERT_VRFY:
439 st->hand_state = TLS_ST_CW_CHANGE;
440 return WRITE_TRAN_CONTINUE;
441
442 case TLS_ST_CW_CHANGE:
443#if defined(OPENSSL_NO_NEXTPROTONEG)
444 st->hand_state = TLS_ST_CW_FINISHED;
445#else
446 if (!SSL_IS_DTLS(s) && s->s3->next_proto_neg_seen)
447 st->hand_state = TLS_ST_CW_NEXT_PROTO;
448 else
449 st->hand_state = TLS_ST_CW_FINISHED;
450#endif
451 return WRITE_TRAN_CONTINUE;
452
453#if !defined(OPENSSL_NO_NEXTPROTONEG)
454 case TLS_ST_CW_NEXT_PROTO:
455 st->hand_state = TLS_ST_CW_FINISHED;
456 return WRITE_TRAN_CONTINUE;
457#endif
458
459 case TLS_ST_CW_FINISHED:
460 if (s->hit) {
461 st->hand_state = TLS_ST_OK;
Matt Caswellfe3a3292015-10-05 10:39:54 +0100462 ossl_statem_set_in_init(s, 0);
Matt Caswell61ae9352015-09-11 11:23:20 +0100463 return WRITE_TRAN_CONTINUE;
464 } else {
465 return WRITE_TRAN_FINISHED;
466 }
467
468 case TLS_ST_CR_FINISHED:
469 if (s->hit) {
470 st->hand_state = TLS_ST_CW_CHANGE;
471 return WRITE_TRAN_CONTINUE;
472 } else {
473 st->hand_state = TLS_ST_OK;
Matt Caswellfe3a3292015-10-05 10:39:54 +0100474 ossl_statem_set_in_init(s, 0);
Matt Caswell61ae9352015-09-11 11:23:20 +0100475 return WRITE_TRAN_CONTINUE;
476 }
477
478 default:
479 /* Shouldn't happen */
480 return WRITE_TRAN_ERROR;
481 }
482}
483
484/*
485 * Perform any pre work that needs to be done prior to sending a message from
486 * the client to the server.
487 */
Matt Caswell8481f582015-10-26 11:54:17 +0000488WORK_STATE ossl_statem_client_pre_work(SSL *s, WORK_STATE wst)
Matt Caswell61ae9352015-09-11 11:23:20 +0100489{
Matt Caswelld6f1a6e2015-10-05 10:58:52 +0100490 OSSL_STATEM *st = &s->statem;
Matt Caswell61ae9352015-09-11 11:23:20 +0100491
492 switch(st->hand_state) {
493 case TLS_ST_CW_CLNT_HELLO:
494 s->shutdown = 0;
495 if (SSL_IS_DTLS(s)) {
496 /* every DTLS ClientHello resets Finished MAC */
497 ssl3_init_finished_mac(s);
498 }
499 break;
500
501 case TLS_ST_CW_CERT:
502 return tls_prepare_client_certificate(s, wst);
503
504 case TLS_ST_CW_CHANGE:
505 if (SSL_IS_DTLS(s)) {
506 if (s->hit) {
507 /*
508 * We're into the last flight so we don't retransmit these
509 * messages unless we need to.
510 */
511 st->use_timer = 0;
512 }
513#ifndef OPENSSL_NO_SCTP
514 if (BIO_dgram_is_sctp(SSL_get_wbio(s)))
515 return dtls_wait_for_dry(s);
516#endif
517 }
518 return WORK_FINISHED_CONTINUE;
519
520 case TLS_ST_OK:
521 return tls_finish_handshake(s, wst);
522
523 default:
524 /* No pre work to be done */
525 break;
526 }
527
528 return WORK_FINISHED_CONTINUE;
529}
530
531/*
532 * Perform any work that needs to be done after sending a message from the
533 * client to the server.
534 */
Matt Caswell8481f582015-10-26 11:54:17 +0000535WORK_STATE ossl_statem_client_post_work(SSL *s, WORK_STATE wst)
Matt Caswell61ae9352015-09-11 11:23:20 +0100536{
Matt Caswelld6f1a6e2015-10-05 10:58:52 +0100537 OSSL_STATEM *st = &s->statem;
Matt Caswell61ae9352015-09-11 11:23:20 +0100538
539 s->init_num = 0;
540
541 switch(st->hand_state) {
542 case TLS_ST_CW_CLNT_HELLO:
543 if (SSL_IS_DTLS(s) && s->d1->cookie_len > 0 && statem_flush(s) != 1)
544 return WORK_MORE_A;
545#ifndef OPENSSL_NO_SCTP
546 /* Disable buffering for SCTP */
547 if (!SSL_IS_DTLS(s) || !BIO_dgram_is_sctp(SSL_get_wbio(s))) {
548#endif
549 /*
550 * turn on buffering for the next lot of output
551 */
552 if (s->bbio != s->wbio)
553 s->wbio = BIO_push(s->bbio, s->wbio);
554#ifndef OPENSSL_NO_SCTP
555 }
556#endif
557 if (SSL_IS_DTLS(s)) {
558 /* Treat the next message as the first packet */
559 s->first_packet = 1;
560 }
561 break;
562
563 case TLS_ST_CW_KEY_EXCH:
564 if (tls_client_key_exchange_post_work(s) == 0)
565 return WORK_ERROR;
566 break;
567
568 case TLS_ST_CW_CHANGE:
569 s->session->cipher = s->s3->tmp.new_cipher;
570#ifdef OPENSSL_NO_COMP
571 s->session->compress_meth = 0;
572#else
573 if (s->s3->tmp.new_compression == NULL)
574 s->session->compress_meth = 0;
575 else
576 s->session->compress_meth = s->s3->tmp.new_compression->id;
577#endif
578 if (!s->method->ssl3_enc->setup_key_block(s))
579 return WORK_ERROR;
580
581 if (!s->method->ssl3_enc->change_cipher_state(s,
582 SSL3_CHANGE_CIPHER_CLIENT_WRITE))
583 return WORK_ERROR;
584
585 if (SSL_IS_DTLS(s)) {
586#ifndef OPENSSL_NO_SCTP
587 if (s->hit) {
588 /*
589 * Change to new shared key of SCTP-Auth, will be ignored if
590 * no SCTP used.
591 */
592 BIO_ctrl(SSL_get_wbio(s), BIO_CTRL_DGRAM_SCTP_NEXT_AUTH_KEY,
593 0, NULL);
594 }
595#endif
596
597 dtls1_reset_seq_numbers(s, SSL3_CC_WRITE);
598 }
599 break;
600
601 case TLS_ST_CW_FINISHED:
602#ifndef OPENSSL_NO_SCTP
603 if (wst == WORK_MORE_A && SSL_IS_DTLS(s) && s->hit == 0) {
604 /*
605 * Change to new shared key of SCTP-Auth, will be ignored if
606 * no SCTP used.
607 */
608 BIO_ctrl(SSL_get_wbio(s), BIO_CTRL_DGRAM_SCTP_NEXT_AUTH_KEY,
609 0, NULL);
610 }
611#endif
612 if (statem_flush(s) != 1)
613 return WORK_MORE_B;
Matt Caswell61ae9352015-09-11 11:23:20 +0100614 break;
615
616 default:
617 /* No post work to be done */
618 break;
619 }
620
621 return WORK_FINISHED_CONTINUE;
622}
623
624/*
625 * Construct a message to be sent from the client to the server.
626 *
627 * Valid return values are:
628 * 1: Success
629 * 0: Error
630 */
Matt Caswell8481f582015-10-26 11:54:17 +0000631int ossl_statem_client_construct_message(SSL *s)
Matt Caswell61ae9352015-09-11 11:23:20 +0100632{
Matt Caswelld6f1a6e2015-10-05 10:58:52 +0100633 OSSL_STATEM *st = &s->statem;
Matt Caswell61ae9352015-09-11 11:23:20 +0100634
635 switch(st->hand_state) {
636 case TLS_ST_CW_CLNT_HELLO:
637 return tls_construct_client_hello(s);
638
639 case TLS_ST_CW_CERT:
640 return tls_construct_client_certificate(s);
641
642 case TLS_ST_CW_KEY_EXCH:
643 return tls_construct_client_key_exchange(s);
644
645 case TLS_ST_CW_CERT_VRFY:
646 return tls_construct_client_verify(s);
647
648 case TLS_ST_CW_CHANGE:
649 if (SSL_IS_DTLS(s))
650 return dtls_construct_change_cipher_spec(s);
651 else
652 return tls_construct_change_cipher_spec(s);
653
654#if !defined(OPENSSL_NO_NEXTPROTONEG)
655 case TLS_ST_CW_NEXT_PROTO:
656 return tls_construct_next_proto(s);
657#endif
658 case TLS_ST_CW_FINISHED:
659 return tls_construct_finished(s,
660 s->method->
661 ssl3_enc->client_finished_label,
662 s->method->
663 ssl3_enc->client_finished_label_len);
664
665 default:
666 /* Shouldn't happen */
667 break;
668 }
669
670 return 0;
671}
672
673/*
674 * Returns the maximum allowed length for the current message that we are
675 * reading. Excludes the message header.
676 */
Matt Caswell8481f582015-10-26 11:54:17 +0000677unsigned long ossl_statem_client_max_message_size(SSL *s)
Matt Caswell61ae9352015-09-11 11:23:20 +0100678{
Matt Caswelld6f1a6e2015-10-05 10:58:52 +0100679 OSSL_STATEM *st = &s->statem;
Matt Caswell61ae9352015-09-11 11:23:20 +0100680
681 switch(st->hand_state) {
682 case TLS_ST_CR_SRVR_HELLO:
683 return SERVER_HELLO_MAX_LENGTH;
684
685 case DTLS_ST_CR_HELLO_VERIFY_REQUEST:
686 return HELLO_VERIFY_REQUEST_MAX_LENGTH;
687
688 case TLS_ST_CR_CERT:
689 return s->max_cert_list;
690
691 case TLS_ST_CR_CERT_STATUS:
692 return SSL3_RT_MAX_PLAIN_LENGTH;
693
694 case TLS_ST_CR_KEY_EXCH:
695 return SERVER_KEY_EXCH_MAX_LENGTH;
696
697 case TLS_ST_CR_CERT_REQ:
Matt Caswell057b6f72015-12-23 16:36:59 +0000698 /* Set to s->max_cert_list for compatibility with previous releases.
699 * In practice these messages can get quite long if servers are
700 * configured to provide a long list of acceptable CAs
701 */
702 return s->max_cert_list;
Matt Caswell61ae9352015-09-11 11:23:20 +0100703
704 case TLS_ST_CR_SRVR_DONE:
705 return SERVER_HELLO_DONE_MAX_LENGTH;
706
707 case TLS_ST_CR_CHANGE:
708 return CCS_MAX_LENGTH;
709
710 case TLS_ST_CR_SESSION_TICKET:
711 return SSL3_RT_MAX_PLAIN_LENGTH;
712
713 case TLS_ST_CR_FINISHED:
714 return FINISHED_MAX_LENGTH;
715
716 default:
717 /* Shouldn't happen */
718 break;
719 }
720
721 return 0;
722}
723
724/*
725 * Process a message that the client has been received from the server.
726 */
Matt Caswell8481f582015-10-26 11:54:17 +0000727MSG_PROCESS_RETURN ossl_statem_client_process_message(SSL *s, PACKET *pkt)
Matt Caswell61ae9352015-09-11 11:23:20 +0100728{
Matt Caswelld6f1a6e2015-10-05 10:58:52 +0100729 OSSL_STATEM *st = &s->statem;
Matt Caswell61ae9352015-09-11 11:23:20 +0100730
731 switch(st->hand_state) {
732 case TLS_ST_CR_SRVR_HELLO:
733 return tls_process_server_hello(s, pkt);
734
735 case DTLS_ST_CR_HELLO_VERIFY_REQUEST:
736 return dtls_process_hello_verify(s, pkt);
737
738 case TLS_ST_CR_CERT:
739 return tls_process_server_certificate(s, pkt);
740
741 case TLS_ST_CR_CERT_STATUS:
742 return tls_process_cert_status(s, pkt);
743
744 case TLS_ST_CR_KEY_EXCH:
745 return tls_process_key_exchange(s, pkt);
746
747 case TLS_ST_CR_CERT_REQ:
748 return tls_process_certificate_request(s, pkt);
749
750 case TLS_ST_CR_SRVR_DONE:
751 return tls_process_server_done(s, pkt);
752
753 case TLS_ST_CR_CHANGE:
754 return tls_process_change_cipher_spec(s, pkt);
755
756 case TLS_ST_CR_SESSION_TICKET:
757 return tls_process_new_session_ticket(s, pkt);
758
759 case TLS_ST_CR_FINISHED:
760 return tls_process_finished(s, pkt);
761
762 default:
763 /* Shouldn't happen */
764 break;
765 }
766
767 return MSG_PROCESS_ERROR;
768}
769
770/*
771 * Perform any further processing required following the receipt of a message
772 * from the server
773 */
Matt Caswell8481f582015-10-26 11:54:17 +0000774WORK_STATE ossl_statem_client_post_process_message(SSL *s, WORK_STATE wst)
Matt Caswell61ae9352015-09-11 11:23:20 +0100775{
Matt Caswelld6f1a6e2015-10-05 10:58:52 +0100776 OSSL_STATEM *st = &s->statem;
Matt Caswell61ae9352015-09-11 11:23:20 +0100777
778 switch(st->hand_state) {
779#ifndef OPENSSL_NO_SCTP
780 case TLS_ST_CR_SRVR_DONE:
781 /* We only get here if we are using SCTP and we are renegotiating */
782 if (BIO_dgram_sctp_msg_waiting(SSL_get_rbio(s))) {
783 s->s3->in_read_app_data = 2;
784 s->rwstate = SSL_READING;
785 BIO_clear_retry_flags(SSL_get_rbio(s));
786 BIO_set_retry_read(SSL_get_rbio(s));
Matt Caswellfe3a3292015-10-05 10:39:54 +0100787 ossl_statem_set_sctp_read_sock(s, 1);
Matt Caswell61ae9352015-09-11 11:23:20 +0100788 return WORK_MORE_A;
789 }
Matt Caswellfe3a3292015-10-05 10:39:54 +0100790 ossl_statem_set_sctp_read_sock(s, 0);
Matt Caswell61ae9352015-09-11 11:23:20 +0100791 return WORK_FINISHED_STOP;
792#endif
793
Matt Caswell61ae9352015-09-11 11:23:20 +0100794 default:
795 break;
796 }
797
798 /* Shouldn't happen */
799 return WORK_ERROR;
800}
801
Matt Caswellb9908bf2015-07-29 14:08:49 +0100802int tls_construct_client_hello(SSL *s)
803{
Matt Caswell0f113f32015-01-22 03:40:55 +0000804 unsigned char *buf;
805 unsigned char *p, *d;
806 int i;
Viktor Dukhovni4fa52142015-12-29 03:24:17 -0500807 int protverr;
Matt Caswell0f113f32015-01-22 03:40:55 +0000808 unsigned long l;
809 int al = 0;
Dr. Stephen Henson09b6c2e2005-09-30 23:35:33 +0000810#ifndef OPENSSL_NO_COMP
Matt Caswell0f113f32015-01-22 03:40:55 +0000811 int j;
812 SSL_COMP *comp;
Dr. Stephen Henson09b6c2e2005-09-30 23:35:33 +0000813#endif
Matt Caswellb9908bf2015-07-29 14:08:49 +0100814 SSL_SESSION *sess = s->session;
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +0000815
Matt Caswell0f113f32015-01-22 03:40:55 +0000816 buf = (unsigned char *)s->init_buf->data;
Matt Caswell13c9bb32015-03-31 00:18:31 +0100817
Matt Caswellb9908bf2015-07-29 14:08:49 +0100818 /* Work out what SSL/TLS/DTLS version to use */
Viktor Dukhovni4fa52142015-12-29 03:24:17 -0500819 protverr = ssl_set_client_hello_version(s);
820 if (protverr != 0) {
821 SSLerr(SSL_F_TLS_CONSTRUCT_CLIENT_HELLO, protverr);
Matt Caswellb9908bf2015-07-29 14:08:49 +0100822 goto err;
Viktor Dukhovni4fa52142015-12-29 03:24:17 -0500823 }
Matt Caswell13c9bb32015-03-31 00:18:31 +0100824
Matt Caswellb9908bf2015-07-29 14:08:49 +0100825 if ((sess == NULL) || (sess->ssl_version != s->version) ||
Matt Caswell0f113f32015-01-22 03:40:55 +0000826 /*
Matt Caswellb9908bf2015-07-29 14:08:49 +0100827 * In the case of EAP-FAST, we can have a pre-shared
828 * "ticket" without a session ID.
Matt Caswell0f113f32015-01-22 03:40:55 +0000829 */
Matt Caswellb9908bf2015-07-29 14:08:49 +0100830 (!sess->session_id_length && !sess->tlsext_tick) ||
831 (sess->not_resumable)) {
832 if (!ssl_get_new_session(s, 0))
Matt Caswelle1b568d2015-02-26 11:56:00 +0000833 goto err;
Matt Caswellb9908bf2015-07-29 14:08:49 +0100834 }
835 /* else use the pre-loaded session */
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +0000836
Matt Caswellb9908bf2015-07-29 14:08:49 +0100837 p = s->s3->client_random;
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +0000838
Matt Caswellb9908bf2015-07-29 14:08:49 +0100839 /*
840 * for DTLS if client_random is initialized, reuse it, we are
841 * required to use same upon reply to HelloVerify
842 */
843 if (SSL_IS_DTLS(s)) {
844 size_t idx;
845 i = 1;
846 for (idx = 0; idx < sizeof(s->s3->client_random); idx++) {
847 if (p[idx]) {
848 i = 0;
849 break;
Matt Caswell0f113f32015-01-22 03:40:55 +0000850 }
Matt Caswell0f113f32015-01-22 03:40:55 +0000851 }
Matt Caswellb9908bf2015-07-29 14:08:49 +0100852 } else
853 i = 1;
Matt Caswell0f113f32015-01-22 03:40:55 +0000854
Matt Caswellb9908bf2015-07-29 14:08:49 +0100855 if (i && ssl_fill_hello_random(s, 0, p,
856 sizeof(s->s3->client_random)) <= 0)
857 goto err;
Matt Caswell0f113f32015-01-22 03:40:55 +0000858
Matt Caswellb9908bf2015-07-29 14:08:49 +0100859 /* Do the message type and length last */
860 d = p = ssl_handshake_start(s);
861
862 /*-
863 * version indicates the negotiated version: for example from
864 * an SSLv2/v3 compatible client hello). The client_version
865 * field is the maximum version we permit and it is also
866 * used in RSA encrypted premaster secrets. Some servers can
867 * choke if we initially report a higher version then
868 * renegotiate to a lower one in the premaster secret. This
869 * didn't happen with TLS 1.0 as most servers supported it
870 * but it can with TLS 1.1 or later if the server only supports
871 * 1.0.
872 *
873 * Possible scenario with previous logic:
874 * 1. Client hello indicates TLS 1.2
875 * 2. Server hello says TLS 1.0
876 * 3. RSA encrypted premaster secret uses 1.2.
877 * 4. Handhaked proceeds using TLS 1.0.
878 * 5. Server sends hello request to renegotiate.
879 * 6. Client hello indicates TLS v1.0 as we now
880 * know that is maximum server supports.
881 * 7. Server chokes on RSA encrypted premaster secret
882 * containing version 1.0.
883 *
884 * For interoperability it should be OK to always use the
885 * maximum version we support in client hello and then rely
886 * on the checking of version to ensure the servers isn't
887 * being inconsistent: for example initially negotiating with
888 * TLS 1.0 and renegotiating with TLS 1.2. We do this by using
889 * client_version in client hello and not resetting it to
890 * the negotiated version.
891 */
892 *(p++) = s->client_version >> 8;
893 *(p++) = s->client_version & 0xff;
894
895 /* Random stuff */
896 memcpy(p, s->s3->client_random, SSL3_RANDOM_SIZE);
897 p += SSL3_RANDOM_SIZE;
898
899 /* Session ID */
900 if (s->new_session)
901 i = 0;
902 else
903 i = s->session->session_id_length;
904 *(p++) = i;
905 if (i != 0) {
906 if (i > (int)sizeof(s->session->session_id)) {
907 SSLerr(SSL_F_TLS_CONSTRUCT_CLIENT_HELLO, ERR_R_INTERNAL_ERROR);
Matt Caswell0f113f32015-01-22 03:40:55 +0000908 goto err;
909 }
Matt Caswellb9908bf2015-07-29 14:08:49 +0100910 memcpy(p, s->session->session_id, i);
Matt Caswell0f113f32015-01-22 03:40:55 +0000911 p += i;
Matt Caswell0f113f32015-01-22 03:40:55 +0000912 }
913
Matt Caswellb9908bf2015-07-29 14:08:49 +0100914 /* cookie stuff for DTLS */
915 if (SSL_IS_DTLS(s)) {
916 if (s->d1->cookie_len > sizeof(s->d1->cookie)) {
917 SSLerr(SSL_F_TLS_CONSTRUCT_CLIENT_HELLO, ERR_R_INTERNAL_ERROR);
918 goto err;
919 }
920 *(p++) = s->d1->cookie_len;
921 memcpy(p, s->d1->cookie, s->d1->cookie_len);
922 p += s->d1->cookie_len;
923 }
924
925 /* Ciphers supported */
926 i = ssl_cipher_list_to_bytes(s, SSL_get_ciphers(s), &(p[2]));
927 if (i == 0) {
928 SSLerr(SSL_F_TLS_CONSTRUCT_CLIENT_HELLO, SSL_R_NO_CIPHERS_AVAILABLE);
929 goto err;
930 }
931#ifdef OPENSSL_MAX_TLS1_2_CIPHER_LENGTH
932 /*
933 * Some servers hang if client hello > 256 bytes as hack workaround
934 * chop number of supported ciphers to keep it well below this if we
935 * use TLS v1.2
936 */
937 if (TLS1_get_version(s) >= TLS1_2_VERSION
938 && i > OPENSSL_MAX_TLS1_2_CIPHER_LENGTH)
939 i = OPENSSL_MAX_TLS1_2_CIPHER_LENGTH & ~1;
940#endif
941 s2n(i, p);
942 p += i;
943
944 /* COMPRESSION */
945#ifdef OPENSSL_NO_COMP
946 *(p++) = 1;
947#else
948
949 if (!ssl_allow_compression(s) || !s->ctx->comp_methods)
950 j = 0;
951 else
952 j = sk_SSL_COMP_num(s->ctx->comp_methods);
953 *(p++) = 1 + j;
954 for (i = 0; i < j; i++) {
955 comp = sk_SSL_COMP_value(s->ctx->comp_methods, i);
956 *(p++) = comp->id;
957 }
958#endif
959 *(p++) = 0; /* Add the NULL method */
960
961 /* TLS extensions */
962 if (ssl_prepare_clienthello_tlsext(s) <= 0) {
963 SSLerr(SSL_F_TLS_CONSTRUCT_CLIENT_HELLO, SSL_R_CLIENTHELLO_TLSEXT);
964 goto err;
965 }
966 if ((p =
967 ssl_add_clienthello_tlsext(s, p, buf + SSL3_RT_MAX_PLAIN_LENGTH,
968 &al)) == NULL) {
969 ssl3_send_alert(s, SSL3_AL_FATAL, al);
970 SSLerr(SSL_F_TLS_CONSTRUCT_CLIENT_HELLO, ERR_R_INTERNAL_ERROR);
971 goto err;
972 }
973
974 l = p - d;
975 if (!ssl_set_handshake_header(s, SSL3_MT_CLIENT_HELLO, l)) {
976 ssl3_send_alert(s, SSL3_AL_FATAL, SSL_AD_HANDSHAKE_FAILURE);
977 SSLerr(SSL_F_TLS_CONSTRUCT_CLIENT_HELLO, ERR_R_INTERNAL_ERROR);
978 goto err;
979 }
980
981 return 1;
Matt Caswell0f113f32015-01-22 03:40:55 +0000982 err:
Matt Caswellfe3a3292015-10-05 10:39:54 +0100983 ossl_statem_set_error(s);
Matt Caswellb9908bf2015-07-29 14:08:49 +0100984 return 0;
Matt Caswell0f113f32015-01-22 03:40:55 +0000985}
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +0000986
Matt Caswellbe3583f2015-10-26 11:46:33 +0000987MSG_PROCESS_RETURN dtls_process_hello_verify(SSL *s, PACKET *pkt)
Matt Caswell8ba708e2015-09-11 10:48:59 +0100988{
989 int al;
990 unsigned int cookie_len;
991 PACKET cookiepkt;
992
993 if (!PACKET_forward(pkt, 2)
994 || !PACKET_get_length_prefixed_1(pkt, &cookiepkt)) {
995 al = SSL_AD_DECODE_ERROR;
996 SSLerr(SSL_F_DTLS_PROCESS_HELLO_VERIFY, SSL_R_LENGTH_MISMATCH);
997 goto f_err;
998 }
999
1000 cookie_len = PACKET_remaining(&cookiepkt);
1001 if (cookie_len > sizeof(s->d1->cookie)) {
1002 al = SSL_AD_ILLEGAL_PARAMETER;
1003 SSLerr(SSL_F_DTLS_PROCESS_HELLO_VERIFY, SSL_R_LENGTH_TOO_LONG);
1004 goto f_err;
1005 }
1006
1007 if (!PACKET_copy_bytes(&cookiepkt, s->d1->cookie, cookie_len)) {
1008 al = SSL_AD_DECODE_ERROR;
1009 SSLerr(SSL_F_DTLS_PROCESS_HELLO_VERIFY, SSL_R_LENGTH_MISMATCH);
1010 goto f_err;
1011 }
1012 s->d1->cookie_len = cookie_len;
1013
1014 return MSG_PROCESS_FINISHED_READING;
1015 f_err:
1016 ssl3_send_alert(s, SSL3_AL_FATAL, al);
Matt Caswellfe3a3292015-10-05 10:39:54 +01001017 ossl_statem_set_error(s);
Matt Caswell8ba708e2015-09-11 10:48:59 +01001018 return MSG_PROCESS_ERROR;
1019}
1020
Matt Caswellbe3583f2015-10-26 11:46:33 +00001021MSG_PROCESS_RETURN tls_process_server_hello(SSL *s, PACKET *pkt)
Matt Caswellb9908bf2015-07-29 14:08:49 +01001022{
1023 STACK_OF(SSL_CIPHER) *sk;
1024 const SSL_CIPHER *c;
Matt Caswell73999b62015-09-10 10:22:30 +01001025 PACKET session_id;
Matt Caswellb9908bf2015-07-29 14:08:49 +01001026 size_t session_id_len;
1027 unsigned char *cipherchars;
1028 int i, al = SSL_AD_INTERNAL_ERROR;
1029 unsigned int compression;
Viktor Dukhovni4fa52142015-12-29 03:24:17 -05001030 unsigned int sversion;
1031 int protverr;
Matt Caswellb9908bf2015-07-29 14:08:49 +01001032#ifndef OPENSSL_NO_COMP
1033 SSL_COMP *comp;
1034#endif
1035
Viktor Dukhovni4fa52142015-12-29 03:24:17 -05001036 if (!PACKET_get_net_2(pkt, &sversion)) {
1037 al = SSL_AD_DECODE_ERROR;
1038 SSLerr(SSL_F_TLS_PROCESS_SERVER_HELLO, SSL_R_LENGTH_MISMATCH);
1039 goto f_err;
1040 }
Kurt Roeckx7946ab32015-12-06 17:56:41 +01001041
Viktor Dukhovni4fa52142015-12-29 03:24:17 -05001042 protverr = ssl_choose_client_version(s, sversion);
1043 if (protverr != 0) {
1044 al = SSL_AD_PROTOCOL_VERSION;
1045 SSLerr(SSL_F_TLS_PROCESS_SERVER_HELLO, protverr);
1046 goto f_err;
Matt Caswell0f113f32015-01-22 03:40:55 +00001047 }
Emilia Kasper7b3ba5082014-11-19 15:56:27 +01001048
Matt Caswell0f113f32015-01-22 03:40:55 +00001049 /* load the server hello data */
1050 /* load the server random */
Matt Caswell73999b62015-09-10 10:22:30 +01001051 if (!PACKET_copy_bytes(pkt, s->s3->server_random, SSL3_RANDOM_SIZE)) {
Matt Caswell50932c42015-08-04 17:36:02 +01001052 al = SSL_AD_DECODE_ERROR;
Matt Caswellb9908bf2015-07-29 14:08:49 +01001053 SSLerr(SSL_F_TLS_PROCESS_SERVER_HELLO, SSL_R_LENGTH_MISMATCH);
Matt Caswell50932c42015-08-04 17:36:02 +01001054 goto f_err;
1055 }
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00001056
Matt Caswell0f113f32015-01-22 03:40:55 +00001057 s->hit = 0;
Ben Laurie54a656e2002-11-13 15:43:43 +00001058
Emilia Kasperfc5ce512015-09-18 14:09:37 +02001059 /* Get the session-id. */
Matt Caswell73999b62015-09-10 10:22:30 +01001060 if (!PACKET_get_length_prefixed_1(pkt, &session_id)) {
Emilia Kasperfc5ce512015-09-18 14:09:37 +02001061 al = SSL_AD_DECODE_ERROR;
Matt Caswellf0659bd2015-10-22 14:02:46 +01001062 SSLerr(SSL_F_TLS_PROCESS_SERVER_HELLO, SSL_R_LENGTH_MISMATCH);
Emilia Kasperfc5ce512015-09-18 14:09:37 +02001063 goto f_err;
1064 }
1065 session_id_len = PACKET_remaining(&session_id);
1066 if (session_id_len > sizeof s->session->session_id
1067 || session_id_len > SSL3_SESSION_ID_SIZE) {
Matt Caswell0f113f32015-01-22 03:40:55 +00001068 al = SSL_AD_ILLEGAL_PARAMETER;
Matt Caswellb9908bf2015-07-29 14:08:49 +01001069 SSLerr(SSL_F_TLS_PROCESS_SERVER_HELLO, SSL_R_SSL3_SESSION_ID_TOO_LONG);
Matt Caswell0f113f32015-01-22 03:40:55 +00001070 goto f_err;
1071 }
Matt Caswelle481f9b2015-05-15 10:49:56 +01001072
Matt Caswell73999b62015-09-10 10:22:30 +01001073 if (!PACKET_get_bytes(pkt, &cipherchars, TLS_CIPHER_LEN)) {
Matt Caswellf0659bd2015-10-22 14:02:46 +01001074 SSLerr(SSL_F_TLS_PROCESS_SERVER_HELLO, SSL_R_LENGTH_MISMATCH);
Emilia Kasperfc5ce512015-09-18 14:09:37 +02001075 al = SSL_AD_DECODE_ERROR;
1076 goto f_err;
1077 }
1078
Matt Caswell0f113f32015-01-22 03:40:55 +00001079 /*
Emilia Kasper6e3d0152015-04-21 18:12:58 +02001080 * Check if we can resume the session based on external pre-shared secret.
1081 * EAP-FAST (RFC 4851) supports two types of session resumption.
1082 * Resumption based on server-side state works with session IDs.
1083 * Resumption based on pre-shared Protected Access Credentials (PACs)
1084 * works by overriding the SessionTicket extension at the application
1085 * layer, and does not send a session ID. (We do not know whether EAP-FAST
1086 * servers would honour the session ID.) Therefore, the session ID alone
1087 * is not a reliable indicator of session resumption, so we first check if
1088 * we can resume, and later peek at the next handshake message to see if the
1089 * server wants to resume.
Matt Caswell0f113f32015-01-22 03:40:55 +00001090 */
Emilia Kasper6e3d0152015-04-21 18:12:58 +02001091 if (s->version >= TLS1_VERSION && s->tls_session_secret_cb &&
1092 s->session->tlsext_tick) {
Matt Caswell0f113f32015-01-22 03:40:55 +00001093 SSL_CIPHER *pref_cipher = NULL;
1094 s->session->master_key_length = sizeof(s->session->master_key);
1095 if (s->tls_session_secret_cb(s, s->session->master_key,
1096 &s->session->master_key_length,
1097 NULL, &pref_cipher,
1098 s->tls_session_secret_cb_arg)) {
1099 s->session->cipher = pref_cipher ?
Matt Caswell50932c42015-08-04 17:36:02 +01001100 pref_cipher : ssl_get_cipher_by_char(s, cipherchars);
Emilia Kasper6e3d0152015-04-21 18:12:58 +02001101 } else {
Matt Caswellb9908bf2015-07-29 14:08:49 +01001102 SSLerr(SSL_F_TLS_PROCESS_SERVER_HELLO, ERR_R_INTERNAL_ERROR);
Emilia Kasper6e3d0152015-04-21 18:12:58 +02001103 al = SSL_AD_INTERNAL_ERROR;
1104 goto f_err;
Matt Caswell0f113f32015-01-22 03:40:55 +00001105 }
1106 }
Dr. Stephen Henson12bf56c2008-11-15 17:18:12 +00001107
Emilia Kasperfc5ce512015-09-18 14:09:37 +02001108 if (session_id_len != 0 && session_id_len == s->session->session_id_length
1109 && memcmp(PACKET_data(&session_id), s->session->session_id,
1110 session_id_len) == 0) {
Matt Caswell0f113f32015-01-22 03:40:55 +00001111 if (s->sid_ctx_length != s->session->sid_ctx_length
1112 || memcmp(s->session->sid_ctx, s->sid_ctx, s->sid_ctx_length)) {
1113 /* actually a client application bug */
1114 al = SSL_AD_ILLEGAL_PARAMETER;
Matt Caswellb9908bf2015-07-29 14:08:49 +01001115 SSLerr(SSL_F_TLS_PROCESS_SERVER_HELLO,
Matt Caswell0f113f32015-01-22 03:40:55 +00001116 SSL_R_ATTEMPT_TO_REUSE_SESSION_IN_DIFFERENT_CONTEXT);
1117 goto f_err;
1118 }
1119 s->hit = 1;
Emilia Kasper6e3d0152015-04-21 18:12:58 +02001120 } else {
Matt Caswell0f113f32015-01-22 03:40:55 +00001121 /*
Emilia Kasper6e3d0152015-04-21 18:12:58 +02001122 * If we were trying for session-id reuse but the server
1123 * didn't echo the ID, make a new SSL_SESSION.
1124 * In the case of EAP-FAST and PAC, we do not send a session ID,
1125 * so the PAC-based session secret is always preserved. It'll be
1126 * overwritten if the server refuses resumption.
Matt Caswell0f113f32015-01-22 03:40:55 +00001127 */
1128 if (s->session->session_id_length > 0) {
1129 if (!ssl_get_new_session(s, 0)) {
1130 goto f_err;
1131 }
1132 }
Emilia Kasperfc5ce512015-09-18 14:09:37 +02001133
1134 s->session->session_id_length = session_id_len;
1135 /* session_id_len could be 0 */
1136 memcpy(s->session->session_id, PACKET_data(&session_id),
1137 session_id_len);
Matt Caswell0f113f32015-01-22 03:40:55 +00001138 }
Matt Caswell50932c42015-08-04 17:36:02 +01001139
Matt Caswell50932c42015-08-04 17:36:02 +01001140 c = ssl_get_cipher_by_char(s, cipherchars);
Matt Caswell0f113f32015-01-22 03:40:55 +00001141 if (c == NULL) {
1142 /* unknown cipher */
1143 al = SSL_AD_ILLEGAL_PARAMETER;
Matt Caswellb9908bf2015-07-29 14:08:49 +01001144 SSLerr(SSL_F_TLS_PROCESS_SERVER_HELLO, SSL_R_UNKNOWN_CIPHER_RETURNED);
Matt Caswell0f113f32015-01-22 03:40:55 +00001145 goto f_err;
1146 }
1147 /* Set version disabled mask now we know version */
1148 if (!SSL_USE_TLS1_2_CIPHERS(s))
Dr. Stephen Henson4d69f9e2015-05-18 23:29:57 +01001149 s->s3->tmp.mask_ssl = SSL_TLSV1_2;
Matt Caswell0f113f32015-01-22 03:40:55 +00001150 else
Dr. Stephen Henson4d69f9e2015-05-18 23:29:57 +01001151 s->s3->tmp.mask_ssl = 0;
Dr. Stephen Henson2b573382015-11-13 14:37:24 +00001152 /* Skip TLS v1.0 ciphersuites if SSLv3 */
1153 if ((c->algorithm_ssl & SSL_TLSV1) && s->version == SSL3_VERSION)
1154 s->s3->tmp.mask_ssl |= SSL_TLSV1;
Matt Caswell0f113f32015-01-22 03:40:55 +00001155 /*
1156 * If it is a disabled cipher we didn't send it in client hello, so
1157 * return an error.
1158 */
1159 if (ssl_cipher_disabled(s, c, SSL_SECOP_CIPHER_CHECK)) {
1160 al = SSL_AD_ILLEGAL_PARAMETER;
Matt Caswellb9908bf2015-07-29 14:08:49 +01001161 SSLerr(SSL_F_TLS_PROCESS_SERVER_HELLO, SSL_R_WRONG_CIPHER_RETURNED);
Matt Caswell0f113f32015-01-22 03:40:55 +00001162 goto f_err;
1163 }
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00001164
Matt Caswell0f113f32015-01-22 03:40:55 +00001165 sk = ssl_get_ciphers_by_id(s);
1166 i = sk_SSL_CIPHER_find(sk, c);
1167 if (i < 0) {
1168 /* we did not say we would use this cipher */
1169 al = SSL_AD_ILLEGAL_PARAMETER;
Matt Caswellb9908bf2015-07-29 14:08:49 +01001170 SSLerr(SSL_F_TLS_PROCESS_SERVER_HELLO, SSL_R_WRONG_CIPHER_RETURNED);
Matt Caswell0f113f32015-01-22 03:40:55 +00001171 goto f_err;
1172 }
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00001173
Matt Caswell0f113f32015-01-22 03:40:55 +00001174 /*
1175 * Depending on the session caching (internal/external), the cipher
1176 * and/or cipher_id values may not be set. Make sure that cipher_id is
1177 * set and use it for comparison.
1178 */
1179 if (s->session->cipher)
1180 s->session->cipher_id = s->session->cipher->id;
1181 if (s->hit && (s->session->cipher_id != c->id)) {
Rich Salz9e9858d2015-02-06 10:52:12 -05001182 al = SSL_AD_ILLEGAL_PARAMETER;
Matt Caswellb9908bf2015-07-29 14:08:49 +01001183 SSLerr(SSL_F_TLS_PROCESS_SERVER_HELLO,
Rich Salz9e9858d2015-02-06 10:52:12 -05001184 SSL_R_OLD_SESSION_CIPHER_NOT_RETURNED);
1185 goto f_err;
Matt Caswell0f113f32015-01-22 03:40:55 +00001186 }
1187 s->s3->tmp.new_cipher = c;
Matt Caswell0f113f32015-01-22 03:40:55 +00001188 /* lets get the compression algorithm */
1189 /* COMPRESSION */
Matt Caswell73999b62015-09-10 10:22:30 +01001190 if (!PACKET_get_1(pkt, &compression)) {
Matt Caswellf0659bd2015-10-22 14:02:46 +01001191 SSLerr(SSL_F_TLS_PROCESS_SERVER_HELLO, SSL_R_LENGTH_MISMATCH);
Matt Caswell50932c42015-08-04 17:36:02 +01001192 al = SSL_AD_DECODE_ERROR;
1193 goto f_err;
1194 }
Dr. Stephen Henson09b6c2e2005-09-30 23:35:33 +00001195#ifdef OPENSSL_NO_COMP
Emilia Kasperfc5ce512015-09-18 14:09:37 +02001196 if (compression != 0) {
Matt Caswell0f113f32015-01-22 03:40:55 +00001197 al = SSL_AD_ILLEGAL_PARAMETER;
Matt Caswellb9908bf2015-07-29 14:08:49 +01001198 SSLerr(SSL_F_TLS_PROCESS_SERVER_HELLO,
Matt Caswell0f113f32015-01-22 03:40:55 +00001199 SSL_R_UNSUPPORTED_COMPRESSION_ALGORITHM);
1200 goto f_err;
1201 }
1202 /*
1203 * If compression is disabled we'd better not try to resume a session
1204 * using compression.
1205 */
1206 if (s->session->compress_meth != 0) {
Matt Caswellb9908bf2015-07-29 14:08:49 +01001207 SSLerr(SSL_F_TLS_PROCESS_SERVER_HELLO, SSL_R_INCONSISTENT_COMPRESSION);
Matt Caswell0f113f32015-01-22 03:40:55 +00001208 goto f_err;
1209 }
Dr. Stephen Henson09b6c2e2005-09-30 23:35:33 +00001210#else
Emilia Kasperfc5ce512015-09-18 14:09:37 +02001211 if (s->hit && compression != s->session->compress_meth) {
Matt Caswell0f113f32015-01-22 03:40:55 +00001212 al = SSL_AD_ILLEGAL_PARAMETER;
Matt Caswellb9908bf2015-07-29 14:08:49 +01001213 SSLerr(SSL_F_TLS_PROCESS_SERVER_HELLO,
Matt Caswell0f113f32015-01-22 03:40:55 +00001214 SSL_R_OLD_SESSION_COMPRESSION_ALGORITHM_NOT_RETURNED);
1215 goto f_err;
1216 }
Emilia Kasperfc5ce512015-09-18 14:09:37 +02001217 if (compression == 0)
Matt Caswell0f113f32015-01-22 03:40:55 +00001218 comp = NULL;
1219 else if (!ssl_allow_compression(s)) {
1220 al = SSL_AD_ILLEGAL_PARAMETER;
Matt Caswellb9908bf2015-07-29 14:08:49 +01001221 SSLerr(SSL_F_TLS_PROCESS_SERVER_HELLO, SSL_R_COMPRESSION_DISABLED);
Matt Caswell0f113f32015-01-22 03:40:55 +00001222 goto f_err;
Emilia Kasperfc5ce512015-09-18 14:09:37 +02001223 } else {
1224 comp = ssl3_comp_find(s->ctx->comp_methods, compression);
1225 }
Matt Caswell0f113f32015-01-22 03:40:55 +00001226
Emilia Kasperfc5ce512015-09-18 14:09:37 +02001227 if (compression != 0 && comp == NULL) {
Matt Caswell0f113f32015-01-22 03:40:55 +00001228 al = SSL_AD_ILLEGAL_PARAMETER;
Matt Caswellb9908bf2015-07-29 14:08:49 +01001229 SSLerr(SSL_F_TLS_PROCESS_SERVER_HELLO,
Matt Caswell0f113f32015-01-22 03:40:55 +00001230 SSL_R_UNSUPPORTED_COMPRESSION_ALGORITHM);
1231 goto f_err;
1232 } else {
1233 s->s3->tmp.new_compression = comp;
1234 }
Dr. Stephen Henson09b6c2e2005-09-30 23:35:33 +00001235#endif
Bodo Möller761772d2007-09-21 06:54:24 +00001236
Matt Caswell0f113f32015-01-22 03:40:55 +00001237 /* TLS extensions */
Matt Caswell73999b62015-09-10 10:22:30 +01001238 if (!ssl_parse_serverhello_tlsext(s, pkt)) {
Matt Caswellb9908bf2015-07-29 14:08:49 +01001239 SSLerr(SSL_F_TLS_PROCESS_SERVER_HELLO, SSL_R_PARSE_TLSEXT);
Matt Caswell0f113f32015-01-22 03:40:55 +00001240 goto err;
1241 }
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00001242
Matt Caswell73999b62015-09-10 10:22:30 +01001243 if (PACKET_remaining(pkt) != 0) {
Matt Caswell0f113f32015-01-22 03:40:55 +00001244 /* wrong packet length */
1245 al = SSL_AD_DECODE_ERROR;
Matt Caswellb9908bf2015-07-29 14:08:49 +01001246 SSLerr(SSL_F_TLS_PROCESS_SERVER_HELLO, SSL_R_BAD_PACKET_LENGTH);
Matt Caswell0f113f32015-01-22 03:40:55 +00001247 goto f_err;
1248 }
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00001249
Matt Caswell87235882015-09-07 16:36:53 +01001250#ifndef OPENSSL_NO_SCTP
1251 if (SSL_IS_DTLS(s) && s->hit) {
1252 unsigned char sctpauthkey[64];
1253 char labelbuffer[sizeof(DTLS1_SCTP_AUTH_LABEL)];
1254
1255 /*
1256 * Add new shared key for SCTP-Auth, will be ignored if
1257 * no SCTP used.
1258 */
Matt Caswell141eb8c2015-10-26 12:00:00 +00001259 memcpy(labelbuffer, DTLS1_SCTP_AUTH_LABEL,
1260 sizeof(DTLS1_SCTP_AUTH_LABEL));
Matt Caswell87235882015-09-07 16:36:53 +01001261
1262 if (SSL_export_keying_material(s, sctpauthkey,
1263 sizeof(sctpauthkey),
1264 labelbuffer,
1265 sizeof(labelbuffer), NULL, 0,
1266 0) <= 0)
1267 goto err;
1268
1269 BIO_ctrl(SSL_get_wbio(s),
1270 BIO_CTRL_DGRAM_SCTP_ADD_AUTH_KEY,
1271 sizeof(sctpauthkey), sctpauthkey);
1272 }
1273#endif
1274
Matt Caswellb9908bf2015-07-29 14:08:49 +01001275 return MSG_PROCESS_CONTINUE_READING;
Matt Caswell0f113f32015-01-22 03:40:55 +00001276 f_err:
1277 ssl3_send_alert(s, SSL3_AL_FATAL, al);
1278 err:
Matt Caswellfe3a3292015-10-05 10:39:54 +01001279 ossl_statem_set_error(s);
Matt Caswellb9908bf2015-07-29 14:08:49 +01001280 return MSG_PROCESS_ERROR;
Matt Caswell0f113f32015-01-22 03:40:55 +00001281}
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00001282
Matt Caswellbe3583f2015-10-26 11:46:33 +00001283MSG_PROCESS_RETURN tls_process_server_certificate(SSL *s, PACKET *pkt)
Matt Caswellb9908bf2015-07-29 14:08:49 +01001284{
1285 int al, i, ret = MSG_PROCESS_ERROR, exp_idx;
1286 unsigned long cert_list_len, cert_len;
1287 X509 *x = NULL;
1288 unsigned char *certstart, *certbytes;
1289 STACK_OF(X509) *sk = NULL;
1290 EVP_PKEY *pkey = NULL;
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00001291
Matt Caswell0f113f32015-01-22 03:40:55 +00001292 if ((sk = sk_X509_new_null()) == NULL) {
Matt Caswellb9908bf2015-07-29 14:08:49 +01001293 SSLerr(SSL_F_TLS_PROCESS_SERVER_CERTIFICATE, ERR_R_MALLOC_FAILURE);
Matt Caswellcc273a92015-04-30 11:32:35 +01001294 goto err;
Matt Caswell0f113f32015-01-22 03:40:55 +00001295 }
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00001296
Matt Caswell73999b62015-09-10 10:22:30 +01001297 if (!PACKET_get_net_3(pkt, &cert_list_len)
1298 || PACKET_remaining(pkt) != cert_list_len) {
Matt Caswell0f113f32015-01-22 03:40:55 +00001299 al = SSL_AD_DECODE_ERROR;
Matt Caswellb9908bf2015-07-29 14:08:49 +01001300 SSLerr(SSL_F_TLS_PROCESS_SERVER_CERTIFICATE, SSL_R_LENGTH_MISMATCH);
Matt Caswell0f113f32015-01-22 03:40:55 +00001301 goto f_err;
1302 }
Matt Caswell73999b62015-09-10 10:22:30 +01001303 while (PACKET_remaining(pkt)) {
1304 if (!PACKET_get_net_3(pkt, &cert_len)
1305 || !PACKET_get_bytes(pkt, &certbytes, cert_len)) {
Matt Caswell0f113f32015-01-22 03:40:55 +00001306 al = SSL_AD_DECODE_ERROR;
Matt Caswellb9908bf2015-07-29 14:08:49 +01001307 SSLerr(SSL_F_TLS_PROCESS_SERVER_CERTIFICATE,
Matt Caswell0f113f32015-01-22 03:40:55 +00001308 SSL_R_CERT_LENGTH_MISMATCH);
1309 goto f_err;
1310 }
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00001311
Matt Caswelldf758a82015-08-04 20:10:06 +01001312 certstart = certbytes;
1313 x = d2i_X509(NULL, (const unsigned char **)&certbytes, cert_len);
Matt Caswell0f113f32015-01-22 03:40:55 +00001314 if (x == NULL) {
1315 al = SSL_AD_BAD_CERTIFICATE;
Matt Caswellb9908bf2015-07-29 14:08:49 +01001316 SSLerr(SSL_F_TLS_PROCESS_SERVER_CERTIFICATE, ERR_R_ASN1_LIB);
Matt Caswell0f113f32015-01-22 03:40:55 +00001317 goto f_err;
1318 }
Matt Caswelldf758a82015-08-04 20:10:06 +01001319 if (certbytes != (certstart + cert_len)) {
Matt Caswell0f113f32015-01-22 03:40:55 +00001320 al = SSL_AD_DECODE_ERROR;
Matt Caswellb9908bf2015-07-29 14:08:49 +01001321 SSLerr(SSL_F_TLS_PROCESS_SERVER_CERTIFICATE,
Matt Caswell0f113f32015-01-22 03:40:55 +00001322 SSL_R_CERT_LENGTH_MISMATCH);
1323 goto f_err;
1324 }
1325 if (!sk_X509_push(sk, x)) {
Matt Caswellb9908bf2015-07-29 14:08:49 +01001326 SSLerr(SSL_F_TLS_PROCESS_SERVER_CERTIFICATE, ERR_R_MALLOC_FAILURE);
Matt Caswellcc273a92015-04-30 11:32:35 +01001327 goto err;
Matt Caswell0f113f32015-01-22 03:40:55 +00001328 }
1329 x = NULL;
Matt Caswell0f113f32015-01-22 03:40:55 +00001330 }
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00001331
Matt Caswell0f113f32015-01-22 03:40:55 +00001332 i = ssl_verify_cert_chain(s, sk);
Matt Caswell55a9a162015-05-12 10:27:53 +01001333 if (s->verify_mode != SSL_VERIFY_NONE && i <= 0) {
Matt Caswell0f113f32015-01-22 03:40:55 +00001334 al = ssl_verify_alarm_type(s->verify_result);
Matt Caswellb9908bf2015-07-29 14:08:49 +01001335 SSLerr(SSL_F_TLS_PROCESS_SERVER_CERTIFICATE,
Matt Caswell0f113f32015-01-22 03:40:55 +00001336 SSL_R_CERTIFICATE_VERIFY_FAILED);
1337 goto f_err;
1338 }
1339 ERR_clear_error(); /* but we keep s->verify_result */
1340 if (i > 1) {
Matt Caswellb9908bf2015-07-29 14:08:49 +01001341 SSLerr(SSL_F_TLS_PROCESS_SERVER_CERTIFICATE, i);
Matt Caswell0f113f32015-01-22 03:40:55 +00001342 al = SSL_AD_HANDSHAKE_FAILURE;
1343 goto f_err;
1344 }
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00001345
Dr. Stephen Hensonc34b0f92015-06-21 19:34:33 +01001346 s->session->peer_chain = sk;
Matt Caswell0f113f32015-01-22 03:40:55 +00001347 /*
1348 * Inconsistency alert: cert_chain does include the peer's certificate,
1349 * which we don't include in s3_srvr.c
1350 */
1351 x = sk_X509_value(sk, 0);
1352 sk = NULL;
1353 /*
1354 * VRS 19990621: possible memory leak; sk=null ==> !sk_pop_free() @end
1355 */
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00001356
Dr. Stephen Henson8382fd32015-12-20 00:32:36 +00001357 pkey = X509_get0_pubkey(x);
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00001358
Matt Caswell55a9a162015-05-12 10:27:53 +01001359 if (pkey == NULL || EVP_PKEY_missing_parameters(pkey)) {
Matt Caswell0f113f32015-01-22 03:40:55 +00001360 x = NULL;
1361 al = SSL3_AL_FATAL;
Matt Caswellb9908bf2015-07-29 14:08:49 +01001362 SSLerr(SSL_F_TLS_PROCESS_SERVER_CERTIFICATE,
Matt Caswell0f113f32015-01-22 03:40:55 +00001363 SSL_R_UNABLE_TO_FIND_PUBLIC_KEY_PARAMETERS);
1364 goto f_err;
1365 }
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00001366
Matt Caswell0f113f32015-01-22 03:40:55 +00001367 i = ssl_cert_type(x, pkey);
Matt Caswell55a9a162015-05-12 10:27:53 +01001368 if (i < 0) {
Matt Caswell0f113f32015-01-22 03:40:55 +00001369 x = NULL;
1370 al = SSL3_AL_FATAL;
Matt Caswellb9908bf2015-07-29 14:08:49 +01001371 SSLerr(SSL_F_TLS_PROCESS_SERVER_CERTIFICATE,
Matt Caswell0f113f32015-01-22 03:40:55 +00001372 SSL_R_UNKNOWN_CERTIFICATE_TYPE);
1373 goto f_err;
1374 }
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00001375
Matt Caswell55a9a162015-05-12 10:27:53 +01001376 exp_idx = ssl_cipher_get_cert_index(s->s3->tmp.new_cipher);
Dmitry Belyavskye44380a2015-11-17 15:32:30 +00001377 if (exp_idx >= 0 && i != exp_idx
1378 && (exp_idx != SSL_PKEY_GOST_EC ||
1379 (i != SSL_PKEY_GOST12_512 && i != SSL_PKEY_GOST12_256
1380 && i != SSL_PKEY_GOST01))) {
Matt Caswell55a9a162015-05-12 10:27:53 +01001381 x = NULL;
1382 al = SSL_AD_ILLEGAL_PARAMETER;
Matt Caswellb9908bf2015-07-29 14:08:49 +01001383 SSLerr(SSL_F_TLS_PROCESS_SERVER_CERTIFICATE,
Matt Caswell55a9a162015-05-12 10:27:53 +01001384 SSL_R_WRONG_CERTIFICATE_TYPE);
1385 goto f_err;
Matt Caswell0f113f32015-01-22 03:40:55 +00001386 }
Dr. Stephen Hensona273c6e2015-06-21 19:08:57 +01001387 s->session->peer_type = i;
Matt Caswell55a9a162015-05-12 10:27:53 +01001388
1389 X509_free(s->session->peer);
Dr. Stephen Henson05f0fb92015-08-31 20:29:57 +01001390 X509_up_ref(x);
Matt Caswell55a9a162015-05-12 10:27:53 +01001391 s->session->peer = x;
Matt Caswell0f113f32015-01-22 03:40:55 +00001392 s->session->verify_result = s->verify_result;
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00001393
Matt Caswell0f113f32015-01-22 03:40:55 +00001394 x = NULL;
Matt Caswellb9908bf2015-07-29 14:08:49 +01001395 ret = MSG_PROCESS_CONTINUE_READING;
Rich Salz66696472015-05-01 14:29:48 -04001396 goto done;
1397
Matt Caswell0f113f32015-01-22 03:40:55 +00001398 f_err:
Rich Salz66696472015-05-01 14:29:48 -04001399 ssl3_send_alert(s, SSL3_AL_FATAL, al);
Matt Caswellcc273a92015-04-30 11:32:35 +01001400 err:
Matt Caswellfe3a3292015-10-05 10:39:54 +01001401 ossl_statem_set_error(s);
Rich Salz66696472015-05-01 14:29:48 -04001402 done:
Matt Caswell0f113f32015-01-22 03:40:55 +00001403 X509_free(x);
1404 sk_X509_pop_free(sk, X509_free);
Matt Caswellb9908bf2015-07-29 14:08:49 +01001405 return ret;
Matt Caswell0f113f32015-01-22 03:40:55 +00001406}
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00001407
Matt Caswellbe3583f2015-10-26 11:46:33 +00001408MSG_PROCESS_RETURN tls_process_key_exchange(SSL *s, PACKET *pkt)
Matt Caswellb9908bf2015-07-29 14:08:49 +01001409{
Richard Levitte6e59a892015-11-27 14:02:12 +01001410 EVP_MD_CTX *md_ctx;
Dr. Stephen Henson192e4bb2015-11-21 03:56:52 +00001411 int al, j;
Matt Caswellb9908bf2015-07-29 14:08:49 +01001412 long alg_k, alg_a;
Matt Caswell0f113f32015-01-22 03:40:55 +00001413 EVP_PKEY *pkey = NULL;
1414 const EVP_MD *md = NULL;
Richard Levittebc36ee62001-02-20 08:13:47 +00001415#ifndef OPENSSL_NO_RSA
Matt Caswell0f113f32015-01-22 03:40:55 +00001416 RSA *rsa = NULL;
Ulf Möller79df9d61999-04-27 03:19:12 +00001417#endif
Rich Salz10bf4fc2015-03-10 19:09:27 -04001418#ifndef OPENSSL_NO_EC
Dr. Stephen Henson61dd9f72015-12-14 00:33:33 +00001419 EVP_PKEY_CTX *pctx = NULL;
Bodo Möllerea262262002-08-09 08:56:08 +00001420#endif
Matt Caswell73999b62015-09-10 10:22:30 +01001421 PACKET save_param_start, signature;
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00001422
Richard Levittebfb06412015-12-02 00:49:35 +01001423 md_ctx = EVP_MD_CTX_new();
Richard Levitte6e59a892015-11-27 14:02:12 +01001424 if (md_ctx == NULL) {
1425 al = SSL_AD_INTERNAL_ERROR;
1426 SSLerr(SSL_F_TLS_PROCESS_KEY_EXCHANGE, ERR_R_MALLOC_FAILURE);
1427 goto f_err;
1428 }
Dr. Stephen Hensonb15f8762014-10-24 12:30:33 +01001429
Matt Caswell0f113f32015-01-22 03:40:55 +00001430 alg_k = s->s3->tmp.new_cipher->algorithm_mkey;
Dr. Stephen Hensonb15f8762014-10-24 12:30:33 +01001431
Matt Caswell73999b62015-09-10 10:22:30 +01001432 save_param_start = *pkt;
Dr. Stephen Henson8d92c1f2015-06-21 16:26:08 +01001433
Dr. Stephen Hensonfb79abe2015-12-17 01:07:46 +00001434#if !defined(OPENSSL_NO_EC) || !defined(OPENSSL_NO_DH)
Dr. Stephen Henson61dd9f72015-12-14 00:33:33 +00001435 EVP_PKEY_free(s->s3->peer_tmp);
1436 s->s3->peer_tmp = NULL;
Bodo Möllerea262262002-08-09 08:56:08 +00001437#endif
Dr. Stephen Henson8d92c1f2015-06-21 16:26:08 +01001438
Matt Caswell0f113f32015-01-22 03:40:55 +00001439 alg_a = s->s3->tmp.new_cipher->algorithm_auth;
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00001440
Matt Caswell0f113f32015-01-22 03:40:55 +00001441 al = SSL_AD_DECODE_ERROR;
Matt Caswellf2be92b2014-07-26 23:47:40 +01001442
Nils Larschddac1972006-03-10 23:06:27 +00001443#ifndef OPENSSL_NO_PSK
Dr. Stephen Henson76890822015-06-28 17:15:10 +01001444 /* PSK ciphersuites are preceded by an identity hint */
1445 if (alg_k & SSL_PSK) {
Emilia Kasper32942872015-10-02 14:40:30 +02001446 PACKET psk_identity_hint;
Matt Caswell73999b62015-09-10 10:22:30 +01001447 if (!PACKET_get_length_prefixed_2(pkt, &psk_identity_hint)) {
Matt Caswellf0659bd2015-10-22 14:02:46 +01001448 SSLerr(SSL_F_TLS_PROCESS_KEY_EXCHANGE, SSL_R_LENGTH_MISMATCH);
Matt Caswell0f113f32015-01-22 03:40:55 +00001449 goto f_err;
1450 }
Matt Caswellf2be92b2014-07-26 23:47:40 +01001451
Matt Caswell0f113f32015-01-22 03:40:55 +00001452 /*
1453 * Store PSK identity hint for later use, hint is used in
1454 * ssl3_send_client_key_exchange. Assume that the maximum length of
1455 * a PSK identity hint can be as long as the maximum length of a PSK
1456 * identity.
1457 */
Emilia Kasper32942872015-10-02 14:40:30 +02001458 if (PACKET_remaining(&psk_identity_hint) > PSK_MAX_IDENTITY_LEN) {
Matt Caswell0f113f32015-01-22 03:40:55 +00001459 al = SSL_AD_HANDSHAKE_FAILURE;
Matt Caswellb9908bf2015-07-29 14:08:49 +01001460 SSLerr(SSL_F_TLS_PROCESS_KEY_EXCHANGE, SSL_R_DATA_LENGTH_TOO_LONG);
Matt Caswell0f113f32015-01-22 03:40:55 +00001461 goto f_err;
1462 }
Emilia Kasper32942872015-10-02 14:40:30 +02001463
Dr. Stephen Henson558ceae2015-11-13 16:00:29 +00001464 if (PACKET_remaining(&psk_identity_hint) == 0) {
1465 OPENSSL_free(s->session->psk_identity_hint);
1466 s->session->psk_identity_hint = NULL;
1467 } else if (!PACKET_strndup(&psk_identity_hint,
Emilia Kasper32942872015-10-02 14:40:30 +02001468 &s->session->psk_identity_hint)) {
1469 al = SSL_AD_INTERNAL_ERROR;
Matt Caswell0f113f32015-01-22 03:40:55 +00001470 goto f_err;
1471 }
Dr. Stephen Henson76890822015-06-28 17:15:10 +01001472 }
1473
1474 /* Nothing else to do for plain PSK or RSAPSK */
1475 if (alg_k & (SSL_kPSK | SSL_kRSAPSK)) {
Matt Caswell0f113f32015-01-22 03:40:55 +00001476 } else
1477#endif /* !OPENSSL_NO_PSK */
Matt Caswellbbf431c2015-12-14 09:57:06 +00001478 /*
1479 * Dummy "if" to ensure sane C code in the event of various OPENSSL_NO_*
1480 * options
1481 */
1482 if (0) {
1483 }
Ben Laurieedc032b2011-03-12 17:01:19 +00001484#ifndef OPENSSL_NO_SRP
Matt Caswellbbf431c2015-12-14 09:57:06 +00001485 else if (alg_k & SSL_kSRP) {
Emilia Kasper32942872015-10-02 14:40:30 +02001486 PACKET prime, generator, salt, server_pub;
Matt Caswell73999b62015-09-10 10:22:30 +01001487 if (!PACKET_get_length_prefixed_2(pkt, &prime)
1488 || !PACKET_get_length_prefixed_2(pkt, &generator)
1489 || !PACKET_get_length_prefixed_1(pkt, &salt)
1490 || !PACKET_get_length_prefixed_2(pkt, &server_pub)) {
Matt Caswellf0659bd2015-10-22 14:02:46 +01001491 SSLerr(SSL_F_TLS_PROCESS_KEY_EXCHANGE, SSL_R_LENGTH_MISMATCH);
Matt Caswell0f113f32015-01-22 03:40:55 +00001492 goto f_err;
1493 }
Matt Caswellf2be92b2014-07-26 23:47:40 +01001494
Emilia Kasper32942872015-10-02 14:40:30 +02001495 if ((s->srp_ctx.N =
1496 BN_bin2bn(PACKET_data(&prime),
1497 PACKET_remaining(&prime), NULL)) == NULL
1498 || (s->srp_ctx.g =
1499 BN_bin2bn(PACKET_data(&generator),
1500 PACKET_remaining(&generator), NULL)) == NULL
1501 || (s->srp_ctx.s =
1502 BN_bin2bn(PACKET_data(&salt),
1503 PACKET_remaining(&salt), NULL)) == NULL
1504 || (s->srp_ctx.B =
1505 BN_bin2bn(PACKET_data(&server_pub),
1506 PACKET_remaining(&server_pub), NULL)) == NULL) {
Matt Caswellf0659bd2015-10-22 14:02:46 +01001507 SSLerr(SSL_F_TLS_PROCESS_KEY_EXCHANGE, ERR_R_BN_LIB);
Matt Caswell0f113f32015-01-22 03:40:55 +00001508 goto err;
1509 }
Matt Caswellf2be92b2014-07-26 23:47:40 +01001510
Matt Caswell0f113f32015-01-22 03:40:55 +00001511 if (!srp_verify_server_param(s, &al)) {
Matt Caswellb9908bf2015-07-29 14:08:49 +01001512 SSLerr(SSL_F_TLS_PROCESS_KEY_EXCHANGE, SSL_R_BAD_SRP_PARAMETERS);
Matt Caswell0f113f32015-01-22 03:40:55 +00001513 goto f_err;
1514 }
Dr. Stephen Henson09897902014-08-03 21:25:22 +01001515
Ben Laurieedc032b2011-03-12 17:01:19 +00001516/* We must check if there is a certificate */
Dr. Stephen Henson8df53b72015-06-21 19:18:50 +01001517 if (alg_a & (SSL_aRSA|SSL_aDSS))
Dr. Stephen Henson8382fd32015-12-20 00:32:36 +00001518 pkey = X509_get0_pubkey(s->session->peer);
Matt Caswell0f113f32015-01-22 03:40:55 +00001519 }
Kurt Roeckx361a1192015-12-05 02:04:41 +01001520#endif /* !OPENSSL_NO_SRP */
Richard Levittebc36ee62001-02-20 08:13:47 +00001521#ifndef OPENSSL_NO_DH
Dr. Stephen Henson76890822015-06-28 17:15:10 +01001522 else if (alg_k & (SSL_kDHE | SSL_kDHEPSK)) {
Emilia Kasper32942872015-10-02 14:40:30 +02001523 PACKET prime, generator, pub_key;
1524
Dr. Stephen Hensonfb79abe2015-12-17 01:07:46 +00001525 DH *dh;
1526
Matt Caswell73999b62015-09-10 10:22:30 +01001527 if (!PACKET_get_length_prefixed_2(pkt, &prime)
1528 || !PACKET_get_length_prefixed_2(pkt, &generator)
1529 || !PACKET_get_length_prefixed_2(pkt, &pub_key)) {
Matt Caswellf0659bd2015-10-22 14:02:46 +01001530 SSLerr(SSL_F_TLS_PROCESS_KEY_EXCHANGE, SSL_R_LENGTH_MISMATCH);
Emilia Kasper32942872015-10-02 14:40:30 +02001531 goto f_err;
1532 }
1533
Dr. Stephen Hensonfb79abe2015-12-17 01:07:46 +00001534 s->s3->peer_tmp = EVP_PKEY_new();
1535 dh = DH_new();
1536
1537 if (s->s3->peer_tmp == NULL || dh == NULL) {
1538 SSLerr(SSL_F_TLS_PROCESS_KEY_EXCHANGE, ERR_R_MALLOC_FAILURE);
1539 DH_free(dh);
1540 goto err;
1541 }
1542
1543 if (EVP_PKEY_assign_DH(s->s3->peer_tmp, dh) == 0) {
1544 SSLerr(SSL_F_TLS_PROCESS_KEY_EXCHANGE, ERR_R_EVP_LIB);
1545 DH_free(dh);
Matt Caswell0f113f32015-01-22 03:40:55 +00001546 goto err;
1547 }
Matt Caswellf2be92b2014-07-26 23:47:40 +01001548
Emilia Kasper32942872015-10-02 14:40:30 +02001549 if ((dh->p = BN_bin2bn(PACKET_data(&prime),
1550 PACKET_remaining(&prime), NULL)) == NULL
1551 || (dh->g = BN_bin2bn(PACKET_data(&generator),
1552 PACKET_remaining(&generator), NULL)) == NULL
1553 || (dh->pub_key =
1554 BN_bin2bn(PACKET_data(&pub_key),
1555 PACKET_remaining(&pub_key), NULL)) == NULL) {
Matt Caswellf0659bd2015-10-22 14:02:46 +01001556 SSLerr(SSL_F_TLS_PROCESS_KEY_EXCHANGE, ERR_R_BN_LIB);
Matt Caswell0f113f32015-01-22 03:40:55 +00001557 goto err;
1558 }
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00001559
Emilia Kasper32942872015-10-02 14:40:30 +02001560 if (BN_is_zero(dh->p) || BN_is_zero(dh->g) || BN_is_zero(dh->pub_key)) {
Matt Caswellf0659bd2015-10-22 14:02:46 +01001561 SSLerr(SSL_F_TLS_PROCESS_KEY_EXCHANGE, SSL_R_BAD_DH_VALUE);
Guy Leaver (guleaver)61e72d72015-08-07 15:45:21 +01001562 goto f_err;
1563 }
1564
Matt Caswell0f113f32015-01-22 03:40:55 +00001565 if (!ssl_security(s, SSL_SECOP_TMP_DH, DH_security_bits(dh), 0, dh)) {
1566 al = SSL_AD_HANDSHAKE_FAILURE;
Matt Caswellb9908bf2015-07-29 14:08:49 +01001567 SSLerr(SSL_F_TLS_PROCESS_KEY_EXCHANGE, SSL_R_DH_KEY_TOO_SMALL);
Matt Caswell0f113f32015-01-22 03:40:55 +00001568 goto f_err;
1569 }
Dr. Stephen Henson8df53b72015-06-21 19:18:50 +01001570 if (alg_a & (SSL_aRSA|SSL_aDSS))
Dr. Stephen Henson8382fd32015-12-20 00:32:36 +00001571 pkey = X509_get0_pubkey(s->session->peer);
Matt Caswell0f113f32015-01-22 03:40:55 +00001572 /* else anonymous DH, so no certificate or pkey. */
Matt Caswell0f113f32015-01-22 03:40:55 +00001573 }
1574#endif /* !OPENSSL_NO_DH */
Bodo Möllerea262262002-08-09 08:56:08 +00001575
Rich Salz10bf4fc2015-03-10 19:09:27 -04001576#ifndef OPENSSL_NO_EC
Dr. Stephen Henson76890822015-06-28 17:15:10 +01001577 else if (alg_k & (SSL_kECDHE | SSL_kECDHEPSK)) {
Emilia Kasper32942872015-10-02 14:40:30 +02001578 PACKET encoded_pt;
1579 unsigned char *ecparams;
Dr. Stephen Henson61dd9f72015-12-14 00:33:33 +00001580 int curve_nid;
Nils Larsch9dd84052005-05-16 10:11:04 +00001581
Matt Caswell0f113f32015-01-22 03:40:55 +00001582 /*
1583 * Extract elliptic curve parameters and the server's ephemeral ECDH
Emilia Kasper32942872015-10-02 14:40:30 +02001584 * public key. For now we only support named (not generic) curves and
Matt Caswell8098fc52015-08-04 21:22:31 +01001585 * ECParameters in this case is just three bytes.
Matt Caswell0f113f32015-01-22 03:40:55 +00001586 */
Matt Caswell73999b62015-09-10 10:22:30 +01001587 if (!PACKET_get_bytes(pkt, &ecparams, 3)) {
Matt Caswellf0659bd2015-10-22 14:02:46 +01001588 SSLerr(SSL_F_TLS_PROCESS_KEY_EXCHANGE, SSL_R_LENGTH_TOO_SHORT);
Matt Caswell0f113f32015-01-22 03:40:55 +00001589 goto f_err;
1590 }
1591 /*
1592 * Check curve is one of our preferences, if not server has sent an
1593 * invalid curve. ECParameters is 3 bytes.
1594 */
Emilia Kasper32942872015-10-02 14:40:30 +02001595 if (!tls1_check_curve(s, ecparams, 3)) {
Matt Caswellf0659bd2015-10-22 14:02:46 +01001596 SSLerr(SSL_F_TLS_PROCESS_KEY_EXCHANGE, SSL_R_WRONG_CURVE);
Matt Caswell0f113f32015-01-22 03:40:55 +00001597 goto f_err;
1598 }
Dr. Stephen Hensond18b7162012-07-24 13:47:40 +00001599
Dr. Stephen Henson61dd9f72015-12-14 00:33:33 +00001600 curve_nid = tls1_ec_curve_id2nid(*(ecparams + 2));
1601 if (curve_nid == 0) {
Matt Caswell0f113f32015-01-22 03:40:55 +00001602 al = SSL_AD_INTERNAL_ERROR;
Matt Caswellb9908bf2015-07-29 14:08:49 +01001603 SSLerr(SSL_F_TLS_PROCESS_KEY_EXCHANGE,
Matt Caswell0f113f32015-01-22 03:40:55 +00001604 SSL_R_UNABLE_TO_FIND_ECDH_PARAMETERS);
1605 goto f_err;
1606 }
Bodo Möllerea262262002-08-09 08:56:08 +00001607
Dr. Stephen Henson61dd9f72015-12-14 00:33:33 +00001608 /* Set up EVP_PKEY with named curve as parameters */
1609 pctx = EVP_PKEY_CTX_new_id(EVP_PKEY_EC, NULL);
1610 if (pctx == NULL
1611 || EVP_PKEY_paramgen_init(pctx) <= 0
1612 || EVP_PKEY_CTX_set_ec_paramgen_curve_nid(pctx, curve_nid) <= 0
1613 || EVP_PKEY_paramgen(pctx, &s->s3->peer_tmp) <= 0) {
1614 al = SSL_AD_INTERNAL_ERROR;
1615 SSLerr(SSL_F_TLS_PROCESS_KEY_EXCHANGE, ERR_R_EVP_LIB);
1616 goto f_err;
Matt Caswell0f113f32015-01-22 03:40:55 +00001617 }
Dr. Stephen Henson61dd9f72015-12-14 00:33:33 +00001618 EVP_PKEY_CTX_free(pctx);
1619 pctx = NULL;
Bodo Möllerea262262002-08-09 08:56:08 +00001620
Matt Caswell73999b62015-09-10 10:22:30 +01001621 if (!PACKET_get_length_prefixed_1(pkt, &encoded_pt)) {
Matt Caswellf0659bd2015-10-22 14:02:46 +01001622 SSLerr(SSL_F_TLS_PROCESS_KEY_EXCHANGE, SSL_R_LENGTH_MISMATCH);
Matt Caswell8098fc52015-08-04 21:22:31 +01001623 goto f_err;
1624 }
Matt Caswellf2be92b2014-07-26 23:47:40 +01001625
Dr. Stephen Henson61dd9f72015-12-14 00:33:33 +00001626 if (EC_KEY_oct2key(EVP_PKEY_get0_EC_KEY(s->s3->peer_tmp),
1627 PACKET_data(&encoded_pt),
Dr. Stephen Hensoncae41362015-12-12 01:13:42 +00001628 PACKET_remaining(&encoded_pt), NULL) == 0) {
Matt Caswellf0659bd2015-10-22 14:02:46 +01001629 SSLerr(SSL_F_TLS_PROCESS_KEY_EXCHANGE, SSL_R_BAD_ECPOINT);
Matt Caswell0f113f32015-01-22 03:40:55 +00001630 goto f_err;
1631 }
Bodo Möllerea262262002-08-09 08:56:08 +00001632
Matt Caswell0f113f32015-01-22 03:40:55 +00001633 /*
1634 * The ECC/TLS specification does not mention the use of DSA to sign
1635 * ECParameters in the server key exchange message. We do support RSA
1636 * and ECDSA.
1637 */
1638 if (0) ;
1639# ifndef OPENSSL_NO_RSA
1640 else if (alg_a & SSL_aRSA)
Dr. Stephen Henson8382fd32015-12-20 00:32:36 +00001641 pkey = X509_get0_pubkey(s->session->peer);
Matt Caswell0f113f32015-01-22 03:40:55 +00001642# endif
Rich Salz10bf4fc2015-03-10 19:09:27 -04001643# ifndef OPENSSL_NO_EC
Matt Caswell0f113f32015-01-22 03:40:55 +00001644 else if (alg_a & SSL_aECDSA)
Dr. Stephen Henson8382fd32015-12-20 00:32:36 +00001645 pkey = X509_get0_pubkey(s->session->peer);
Matt Caswell0f113f32015-01-22 03:40:55 +00001646# endif
1647 /* else anonymous ECDH, so no certificate or pkey. */
Matt Caswell0f113f32015-01-22 03:40:55 +00001648 } else if (alg_k) {
1649 al = SSL_AD_UNEXPECTED_MESSAGE;
Matt Caswellb9908bf2015-07-29 14:08:49 +01001650 SSLerr(SSL_F_TLS_PROCESS_KEY_EXCHANGE, SSL_R_UNEXPECTED_MESSAGE);
Matt Caswell0f113f32015-01-22 03:40:55 +00001651 goto f_err;
1652 }
Rich Salz10bf4fc2015-03-10 19:09:27 -04001653#endif /* !OPENSSL_NO_EC */
Ralf S. Engelschalldfeab061998-12-21 11:00:56 +00001654
Matt Caswell0f113f32015-01-22 03:40:55 +00001655 /* if it was signed, check the signature */
1656 if (pkey != NULL) {
Emilia Kasper32942872015-10-02 14:40:30 +02001657 PACKET params;
1658 /*
1659 * |pkt| now points to the beginning of the signature, so the difference
1660 * equals the length of the parameters.
1661 */
1662 if (!PACKET_get_sub_packet(&save_param_start, &params,
1663 PACKET_remaining(&save_param_start) -
Matt Caswell73999b62015-09-10 10:22:30 +01001664 PACKET_remaining(pkt))) {
Emilia Kasper32942872015-10-02 14:40:30 +02001665 al = SSL_AD_INTERNAL_ERROR;
Matt Caswellf0659bd2015-10-22 14:02:46 +01001666 SSLerr(SSL_F_TLS_PROCESS_KEY_EXCHANGE, ERR_R_INTERNAL_ERROR);
Emilia Kasper32942872015-10-02 14:40:30 +02001667 goto f_err;
1668 }
1669
Matt Caswell0f113f32015-01-22 03:40:55 +00001670 if (SSL_USE_SIGALGS(s)) {
Emilia Kasper32942872015-10-02 14:40:30 +02001671 unsigned char *sigalgs;
Matt Caswell0f113f32015-01-22 03:40:55 +00001672 int rv;
Matt Caswell73999b62015-09-10 10:22:30 +01001673 if (!PACKET_get_bytes(pkt, &sigalgs, 2)) {
Matt Caswellf0659bd2015-10-22 14:02:46 +01001674 SSLerr(SSL_F_TLS_PROCESS_KEY_EXCHANGE, SSL_R_LENGTH_TOO_SHORT);
Matt Caswell0f113f32015-01-22 03:40:55 +00001675 goto f_err;
1676 }
Emilia Kasper32942872015-10-02 14:40:30 +02001677 rv = tls12_check_peer_sigalg(&md, s, sigalgs, pkey);
Matt Caswell0f113f32015-01-22 03:40:55 +00001678 if (rv == -1)
1679 goto err;
1680 else if (rv == 0) {
1681 goto f_err;
1682 }
Dr. Stephen Hensona2f92002011-05-09 15:44:01 +00001683#ifdef SSL_DEBUG
Matt Caswell0f113f32015-01-22 03:40:55 +00001684 fprintf(stderr, "USING TLSv1.2 HASH %s\n", EVP_MD_name(md));
Dr. Stephen Hensona2f92002011-05-09 15:44:01 +00001685#endif
Dr. Stephen Henson192e4bb2015-11-21 03:56:52 +00001686 } else if (pkey->type == EVP_PKEY_RSA) {
1687 md = EVP_md5_sha1();
Emilia Kasper32942872015-10-02 14:40:30 +02001688 } else {
Matt Caswell0f113f32015-01-22 03:40:55 +00001689 md = EVP_sha1();
Emilia Kasper32942872015-10-02 14:40:30 +02001690 }
Matt Caswellf2be92b2014-07-26 23:47:40 +01001691
Matt Caswell73999b62015-09-10 10:22:30 +01001692 if (!PACKET_get_length_prefixed_2(pkt, &signature)
1693 || PACKET_remaining(pkt) != 0) {
Matt Caswellf0659bd2015-10-22 14:02:46 +01001694 SSLerr(SSL_F_TLS_PROCESS_KEY_EXCHANGE, SSL_R_LENGTH_MISMATCH);
Matt Caswell0f113f32015-01-22 03:40:55 +00001695 goto f_err;
1696 }
Matt Caswell0f113f32015-01-22 03:40:55 +00001697 j = EVP_PKEY_size(pkey);
Matt Caswell8098fc52015-08-04 21:22:31 +01001698 if (j < 0) {
Matt Caswellb9908bf2015-07-29 14:08:49 +01001699 SSLerr(SSL_F_TLS_PROCESS_KEY_EXCHANGE, ERR_R_INTERNAL_ERROR);
Matt Caswell8098fc52015-08-04 21:22:31 +01001700 goto f_err;
1701 }
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00001702
Matt Caswell0f113f32015-01-22 03:40:55 +00001703 /*
Matt Caswell8098fc52015-08-04 21:22:31 +01001704 * Check signature length
Matt Caswell0f113f32015-01-22 03:40:55 +00001705 */
Emilia Kasper32942872015-10-02 14:40:30 +02001706 if (PACKET_remaining(&signature) > (size_t)j) {
Matt Caswell0f113f32015-01-22 03:40:55 +00001707 /* wrong packet length */
Matt Caswellb9908bf2015-07-29 14:08:49 +01001708 SSLerr(SSL_F_TLS_PROCESS_KEY_EXCHANGE, SSL_R_WRONG_SIGNATURE_LENGTH);
Matt Caswell0f113f32015-01-22 03:40:55 +00001709 goto f_err;
1710 }
Richard Levitte6e59a892015-11-27 14:02:12 +01001711 if (EVP_VerifyInit_ex(md_ctx, md, NULL) <= 0
1712 || EVP_VerifyUpdate(md_ctx, &(s->s3->client_random[0]),
Dr. Stephen Henson192e4bb2015-11-21 03:56:52 +00001713 SSL3_RANDOM_SIZE) <= 0
Richard Levitte6e59a892015-11-27 14:02:12 +01001714 || EVP_VerifyUpdate(md_ctx, &(s->s3->server_random[0]),
Dr. Stephen Henson192e4bb2015-11-21 03:56:52 +00001715 SSL3_RANDOM_SIZE) <= 0
Richard Levitte6e59a892015-11-27 14:02:12 +01001716 || EVP_VerifyUpdate(md_ctx, PACKET_data(&params),
Dr. Stephen Henson192e4bb2015-11-21 03:56:52 +00001717 PACKET_remaining(&params)) <= 0) {
1718 al = SSL_AD_INTERNAL_ERROR;
1719 SSLerr(SSL_F_TLS_PROCESS_KEY_EXCHANGE, ERR_R_EVP_LIB);
1720 goto f_err;
1721 }
Richard Levitte6e59a892015-11-27 14:02:12 +01001722 if (EVP_VerifyFinal(md_ctx, PACKET_data(&signature),
Dr. Stephen Henson192e4bb2015-11-21 03:56:52 +00001723 PACKET_remaining(&signature), pkey) <= 0) {
1724 /* bad signature */
1725 al = SSL_AD_DECRYPT_ERROR;
1726 SSLerr(SSL_F_TLS_PROCESS_KEY_EXCHANGE, SSL_R_BAD_SIGNATURE);
1727 goto f_err;
Matt Caswell0f113f32015-01-22 03:40:55 +00001728 }
1729 } else {
Dr. Stephen Henson76890822015-06-28 17:15:10 +01001730 /* aNULL, aSRP or PSK do not need public keys */
1731 if (!(alg_a & (SSL_aNULL | SSL_aSRP)) && !(alg_k & SSL_PSK)) {
Matt Caswell0f113f32015-01-22 03:40:55 +00001732 /* Might be wrong key type, check it */
1733 if (ssl3_check_cert_and_algorithm(s))
1734 /* Otherwise this shouldn't happen */
Matt Caswellb9908bf2015-07-29 14:08:49 +01001735 SSLerr(SSL_F_TLS_PROCESS_KEY_EXCHANGE, ERR_R_INTERNAL_ERROR);
Matt Caswell0f113f32015-01-22 03:40:55 +00001736 goto err;
1737 }
1738 /* still data left over */
Matt Caswell73999b62015-09-10 10:22:30 +01001739 if (PACKET_remaining(pkt) != 0) {
Matt Caswellb9908bf2015-07-29 14:08:49 +01001740 SSLerr(SSL_F_TLS_PROCESS_KEY_EXCHANGE, SSL_R_EXTRA_DATA_IN_MESSAGE);
Matt Caswell0f113f32015-01-22 03:40:55 +00001741 goto f_err;
1742 }
1743 }
Richard Levittebfb06412015-12-02 00:49:35 +01001744 EVP_MD_CTX_free(md_ctx);
Matt Caswellb9908bf2015-07-29 14:08:49 +01001745 return MSG_PROCESS_CONTINUE_READING;
Matt Caswell0f113f32015-01-22 03:40:55 +00001746 f_err:
1747 ssl3_send_alert(s, SSL3_AL_FATAL, al);
1748 err:
Richard Levittebc36ee62001-02-20 08:13:47 +00001749#ifndef OPENSSL_NO_RSA
Rich Salzd6407082015-03-24 10:17:37 -04001750 RSA_free(rsa);
Bodo Möller6b521df1999-07-12 15:20:08 +00001751#endif
Rich Salz10bf4fc2015-03-10 19:09:27 -04001752#ifndef OPENSSL_NO_EC
Dr. Stephen Henson61dd9f72015-12-14 00:33:33 +00001753 EVP_PKEY_CTX_free(pctx);
Bodo Möllerea262262002-08-09 08:56:08 +00001754#endif
Richard Levittebfb06412015-12-02 00:49:35 +01001755 EVP_MD_CTX_free(md_ctx);
Matt Caswellfe3a3292015-10-05 10:39:54 +01001756 ossl_statem_set_error(s);
Matt Caswellb9908bf2015-07-29 14:08:49 +01001757 return MSG_PROCESS_ERROR;
Matt Caswell0f113f32015-01-22 03:40:55 +00001758}
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00001759
Matt Caswellbe3583f2015-10-26 11:46:33 +00001760MSG_PROCESS_RETURN tls_process_certificate_request(SSL *s, PACKET *pkt)
Matt Caswellb9908bf2015-07-29 14:08:49 +01001761{
1762 int ret = MSG_PROCESS_ERROR;
1763 unsigned int list_len, ctype_num, i, name_len;
1764 X509_NAME *xn = NULL;
1765 unsigned char *data;
1766 unsigned char *namestart, *namebytes;
1767 STACK_OF(X509_NAME) *ca_sk = NULL;
Matt Caswell0f113f32015-01-22 03:40:55 +00001768
1769 if ((ca_sk = sk_X509_NAME_new(ca_dn_cmp)) == NULL) {
Matt Caswellb9908bf2015-07-29 14:08:49 +01001770 SSLerr(SSL_F_TLS_PROCESS_CERTIFICATE_REQUEST, ERR_R_MALLOC_FAILURE);
Matt Caswell0f113f32015-01-22 03:40:55 +00001771 goto err;
1772 }
1773
1774 /* get the certificate types */
Matt Caswell73999b62015-09-10 10:22:30 +01001775 if (!PACKET_get_1(pkt, &ctype_num)
1776 || !PACKET_get_bytes(pkt, &data, ctype_num)) {
Matt Caswellac112332015-08-04 22:12:53 +01001777 ssl3_send_alert(s, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
Matt Caswellb9908bf2015-07-29 14:08:49 +01001778 SSLerr(SSL_F_TLS_PROCESS_CERTIFICATE_REQUEST, SSL_R_LENGTH_MISMATCH);
Matt Caswellac112332015-08-04 22:12:53 +01001779 goto err;
1780 }
Rich Salzb548a1f2015-05-01 10:02:07 -04001781 OPENSSL_free(s->cert->ctypes);
1782 s->cert->ctypes = NULL;
Matt Caswell0f113f32015-01-22 03:40:55 +00001783 if (ctype_num > SSL3_CT_NUMBER) {
1784 /* If we exceed static buffer copy all to cert structure */
1785 s->cert->ctypes = OPENSSL_malloc(ctype_num);
1786 if (s->cert->ctypes == NULL) {
Matt Caswellb9908bf2015-07-29 14:08:49 +01001787 SSLerr(SSL_F_TLS_PROCESS_CERTIFICATE_REQUEST, ERR_R_MALLOC_FAILURE);
Matt Caswell0f113f32015-01-22 03:40:55 +00001788 goto err;
1789 }
Matt Caswellac112332015-08-04 22:12:53 +01001790 memcpy(s->cert->ctypes, data, ctype_num);
Matt Caswell0f113f32015-01-22 03:40:55 +00001791 s->cert->ctype_num = (size_t)ctype_num;
1792 ctype_num = SSL3_CT_NUMBER;
1793 }
1794 for (i = 0; i < ctype_num; i++)
Matt Caswellac112332015-08-04 22:12:53 +01001795 s->s3->tmp.ctype[i] = data[i];
1796
Matt Caswell0f113f32015-01-22 03:40:55 +00001797 if (SSL_USE_SIGALGS(s)) {
Matt Caswell73999b62015-09-10 10:22:30 +01001798 if (!PACKET_get_net_2(pkt, &list_len)
1799 || !PACKET_get_bytes(pkt, &data, list_len)) {
Matt Caswell0f113f32015-01-22 03:40:55 +00001800 ssl3_send_alert(s, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
Matt Caswellb9908bf2015-07-29 14:08:49 +01001801 SSLerr(SSL_F_TLS_PROCESS_CERTIFICATE_REQUEST,
1802 SSL_R_LENGTH_MISMATCH);
Matt Caswell0f113f32015-01-22 03:40:55 +00001803 goto err;
1804 }
Matt Caswellac112332015-08-04 22:12:53 +01001805
Matt Caswell0f113f32015-01-22 03:40:55 +00001806 /* Clear certificate digests and validity flags */
1807 for (i = 0; i < SSL_PKEY_NUM; i++) {
Dr. Stephen Hensond376e572015-05-12 18:56:39 +01001808 s->s3->tmp.md[i] = NULL;
Dr. Stephen Henson6383d312015-05-12 22:17:34 +01001809 s->s3->tmp.valid_flags[i] = 0;
Matt Caswell0f113f32015-01-22 03:40:55 +00001810 }
Matt Caswellac112332015-08-04 22:12:53 +01001811 if ((list_len & 1) || !tls1_save_sigalgs(s, data, list_len)) {
Matt Caswell0f113f32015-01-22 03:40:55 +00001812 ssl3_send_alert(s, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
Matt Caswellb9908bf2015-07-29 14:08:49 +01001813 SSLerr(SSL_F_TLS_PROCESS_CERTIFICATE_REQUEST,
Matt Caswell0f113f32015-01-22 03:40:55 +00001814 SSL_R_SIGNATURE_ALGORITHMS_ERROR);
1815 goto err;
1816 }
1817 if (!tls1_process_sigalgs(s)) {
1818 ssl3_send_alert(s, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
Matt Caswellb9908bf2015-07-29 14:08:49 +01001819 SSLerr(SSL_F_TLS_PROCESS_CERTIFICATE_REQUEST, ERR_R_MALLOC_FAILURE);
Matt Caswell0f113f32015-01-22 03:40:55 +00001820 goto err;
1821 }
Dr. Stephen Hensona0f63822015-11-24 00:08:35 +00001822 } else {
1823 ssl_set_default_md(s);
Matt Caswell0f113f32015-01-22 03:40:55 +00001824 }
1825
1826 /* get the CA RDNs */
Matt Caswell73999b62015-09-10 10:22:30 +01001827 if (!PACKET_get_net_2(pkt, &list_len)
1828 || PACKET_remaining(pkt) != list_len) {
Matt Caswell0f113f32015-01-22 03:40:55 +00001829 ssl3_send_alert(s, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
Matt Caswellb9908bf2015-07-29 14:08:49 +01001830 SSLerr(SSL_F_TLS_PROCESS_CERTIFICATE_REQUEST, SSL_R_LENGTH_MISMATCH);
Matt Caswell0f113f32015-01-22 03:40:55 +00001831 goto err;
1832 }
1833
Matt Caswell73999b62015-09-10 10:22:30 +01001834 while (PACKET_remaining(pkt)) {
1835 if (!PACKET_get_net_2(pkt, &name_len)
1836 || !PACKET_get_bytes(pkt, &namebytes, name_len)) {
Matt Caswell0f113f32015-01-22 03:40:55 +00001837 ssl3_send_alert(s, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
Matt Caswellb9908bf2015-07-29 14:08:49 +01001838 SSLerr(SSL_F_TLS_PROCESS_CERTIFICATE_REQUEST,
1839 SSL_R_LENGTH_MISMATCH);
Matt Caswell0f113f32015-01-22 03:40:55 +00001840 goto err;
1841 }
1842
Matt Caswellac112332015-08-04 22:12:53 +01001843 namestart = namebytes;
Matt Caswell0f113f32015-01-22 03:40:55 +00001844
Matt Caswellac112332015-08-04 22:12:53 +01001845 if ((xn = d2i_X509_NAME(NULL, (const unsigned char **)&namebytes,
1846 name_len)) == NULL) {
Matt Caswell3c33c6f2015-02-05 15:57:54 +00001847 ssl3_send_alert(s, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
Matt Caswellb9908bf2015-07-29 14:08:49 +01001848 SSLerr(SSL_F_TLS_PROCESS_CERTIFICATE_REQUEST, ERR_R_ASN1_LIB);
Matt Caswell3c33c6f2015-02-05 15:57:54 +00001849 goto err;
Matt Caswell0f113f32015-01-22 03:40:55 +00001850 }
1851
Matt Caswellac112332015-08-04 22:12:53 +01001852 if (namebytes != (namestart + name_len)) {
Matt Caswell0f113f32015-01-22 03:40:55 +00001853 ssl3_send_alert(s, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
Matt Caswellb9908bf2015-07-29 14:08:49 +01001854 SSLerr(SSL_F_TLS_PROCESS_CERTIFICATE_REQUEST,
Matt Caswell0f113f32015-01-22 03:40:55 +00001855 SSL_R_CA_DN_LENGTH_MISMATCH);
1856 goto err;
1857 }
1858 if (!sk_X509_NAME_push(ca_sk, xn)) {
Matt Caswellb9908bf2015-07-29 14:08:49 +01001859 SSLerr(SSL_F_TLS_PROCESS_CERTIFICATE_REQUEST, ERR_R_MALLOC_FAILURE);
Matt Caswell0f113f32015-01-22 03:40:55 +00001860 goto err;
1861 }
Matt Caswell0f113f32015-01-22 03:40:55 +00001862 }
1863
Matt Caswell0f113f32015-01-22 03:40:55 +00001864 /* we should setup a certificate to return.... */
1865 s->s3->tmp.cert_req = 1;
1866 s->s3->tmp.ctype_num = ctype_num;
Rich Salz222561f2015-04-30 17:33:59 -04001867 sk_X509_NAME_pop_free(s->s3->tmp.ca_names, X509_NAME_free);
Matt Caswell0f113f32015-01-22 03:40:55 +00001868 s->s3->tmp.ca_names = ca_sk;
1869 ca_sk = NULL;
1870
Matt Caswellb9908bf2015-07-29 14:08:49 +01001871 ret = MSG_PROCESS_CONTINUE_READING;
Matt Caswellcc273a92015-04-30 11:32:35 +01001872 goto done;
Matt Caswell0f113f32015-01-22 03:40:55 +00001873 err:
Matt Caswellfe3a3292015-10-05 10:39:54 +01001874 ossl_statem_set_error(s);
Matt Caswellcc273a92015-04-30 11:32:35 +01001875 done:
Rich Salz222561f2015-04-30 17:33:59 -04001876 sk_X509_NAME_pop_free(ca_sk, X509_NAME_free);
Matt Caswellb9908bf2015-07-29 14:08:49 +01001877 return ret;
Matt Caswell0f113f32015-01-22 03:40:55 +00001878}
1879
1880static int ca_dn_cmp(const X509_NAME *const *a, const X509_NAME *const *b)
1881{
1882 return (X509_NAME_cmp(*a, *b));
1883}
1884
Matt Caswellbe3583f2015-10-26 11:46:33 +00001885MSG_PROCESS_RETURN tls_process_new_session_ticket(SSL *s, PACKET *pkt)
Matt Caswellb9908bf2015-07-29 14:08:49 +01001886{
1887 int al;
1888 unsigned int ticklen;
1889 unsigned long ticket_lifetime_hint;
Matt Caswellb9908bf2015-07-29 14:08:49 +01001890
Matt Caswell73999b62015-09-10 10:22:30 +01001891 if (!PACKET_get_net_4(pkt, &ticket_lifetime_hint)
1892 || !PACKET_get_net_2(pkt, &ticklen)
1893 || PACKET_remaining(pkt) != ticklen) {
Emilia Kaspere711da72015-09-10 16:32:51 +02001894 al = SSL_AD_DECODE_ERROR;
Matt Caswellf0659bd2015-10-22 14:02:46 +01001895 SSLerr(SSL_F_TLS_PROCESS_NEW_SESSION_TICKET, SSL_R_LENGTH_MISMATCH);
Emilia Kaspere711da72015-09-10 16:32:51 +02001896 goto f_err;
1897 }
1898
1899 /* Server is allowed to change its mind and send an empty ticket. */
1900 if (ticklen == 0)
Matt Caswellc9de4a22015-10-22 15:02:14 +01001901 return MSG_PROCESS_CONTINUE_READING;
Emilia Kaspere711da72015-09-10 16:32:51 +02001902
Matt Caswell98ece4e2015-05-18 16:27:48 +01001903 if (s->session->session_id_length > 0) {
1904 int i = s->session_ctx->session_cache_mode;
1905 SSL_SESSION *new_sess;
1906 /*
1907 * We reused an existing session, so we need to replace it with a new
1908 * one
1909 */
1910 if (i & SSL_SESS_CACHE_CLIENT) {
1911 /*
1912 * Remove the old session from the cache
1913 */
1914 if (i & SSL_SESS_CACHE_NO_INTERNAL_STORE) {
1915 if (s->session_ctx->remove_session_cb != NULL)
1916 s->session_ctx->remove_session_cb(s->session_ctx,
1917 s->session);
1918 } else {
1919 /* We carry on if this fails */
1920 SSL_CTX_remove_session(s->session_ctx, s->session);
1921 }
1922 }
1923
1924 if ((new_sess = ssl_session_dup(s->session, 0)) == 0) {
1925 al = SSL_AD_INTERNAL_ERROR;
Matt Caswellb9908bf2015-07-29 14:08:49 +01001926 SSLerr(SSL_F_TLS_PROCESS_NEW_SESSION_TICKET, ERR_R_MALLOC_FAILURE);
Matt Caswell98ece4e2015-05-18 16:27:48 +01001927 goto f_err;
1928 }
1929
1930 SSL_SESSION_free(s->session);
1931 s->session = new_sess;
1932 }
1933
Rich Salzb548a1f2015-05-01 10:02:07 -04001934 OPENSSL_free(s->session->tlsext_tick);
1935 s->session->tlsext_ticklen = 0;
Emilia Kaspere711da72015-09-10 16:32:51 +02001936
Matt Caswell0f113f32015-01-22 03:40:55 +00001937 s->session->tlsext_tick = OPENSSL_malloc(ticklen);
Matt Caswella71edf32015-10-30 10:05:53 +00001938 if (s->session->tlsext_tick == NULL) {
Matt Caswellb9908bf2015-07-29 14:08:49 +01001939 SSLerr(SSL_F_TLS_PROCESS_NEW_SESSION_TICKET, ERR_R_MALLOC_FAILURE);
Matt Caswell0f113f32015-01-22 03:40:55 +00001940 goto err;
1941 }
Matt Caswell73999b62015-09-10 10:22:30 +01001942 if (!PACKET_copy_bytes(pkt, s->session->tlsext_tick, ticklen)) {
Matt Caswell561e12b2015-08-05 14:50:24 +01001943 al = SSL_AD_DECODE_ERROR;
Matt Caswellb9908bf2015-07-29 14:08:49 +01001944 SSLerr(SSL_F_TLS_PROCESS_NEW_SESSION_TICKET, SSL_R_LENGTH_MISMATCH);
Matt Caswell561e12b2015-08-05 14:50:24 +01001945 goto f_err;
1946 }
Emilia Kaspere711da72015-09-10 16:32:51 +02001947
1948 s->session->tlsext_tick_lifetime_hint = ticket_lifetime_hint;
Matt Caswell0f113f32015-01-22 03:40:55 +00001949 s->session->tlsext_ticklen = ticklen;
1950 /*
1951 * There are two ways to detect a resumed ticket session. One is to set
1952 * an appropriate session ID and then the server must return a match in
1953 * ServerHello. This allows the normal client session ID matching to work
1954 * and we know much earlier that the ticket has been accepted. The
1955 * other way is to set zero length session ID when the ticket is
1956 * presented and rely on the handshake to determine session resumption.
1957 * We choose the former approach because this fits in with assumptions
1958 * elsewhere in OpenSSL. The session ID is set to the SHA256 (or SHA1 is
1959 * SHA256 is disabled) hash of the ticket.
1960 */
Matt Caswell561e12b2015-08-05 14:50:24 +01001961 EVP_Digest(s->session->tlsext_tick, ticklen,
Matt Caswell0f113f32015-01-22 03:40:55 +00001962 s->session->session_id, &s->session->session_id_length,
Matt Caswell0f113f32015-01-22 03:40:55 +00001963 EVP_sha256(), NULL);
Matt Caswellb9908bf2015-07-29 14:08:49 +01001964 return MSG_PROCESS_CONTINUE_READING;
Matt Caswell0f113f32015-01-22 03:40:55 +00001965 f_err:
1966 ssl3_send_alert(s, SSL3_AL_FATAL, al);
1967 err:
Matt Caswellfe3a3292015-10-05 10:39:54 +01001968 ossl_statem_set_error(s);
Matt Caswellb9908bf2015-07-29 14:08:49 +01001969 return MSG_PROCESS_ERROR;
Matt Caswell0f113f32015-01-22 03:40:55 +00001970}
1971
Matt Caswellbe3583f2015-10-26 11:46:33 +00001972MSG_PROCESS_RETURN tls_process_cert_status(SSL *s, PACKET *pkt)
Matt Caswellb9908bf2015-07-29 14:08:49 +01001973{
1974 int al;
1975 unsigned long resplen;
1976 unsigned int type;
Matt Caswellb9908bf2015-07-29 14:08:49 +01001977
Matt Caswell73999b62015-09-10 10:22:30 +01001978 if (!PACKET_get_1(pkt, &type)
Matt Caswellac637102015-08-05 15:52:26 +01001979 || type != TLSEXT_STATUSTYPE_ocsp) {
Matt Caswell0f113f32015-01-22 03:40:55 +00001980 al = SSL_AD_DECODE_ERROR;
Matt Caswellb9908bf2015-07-29 14:08:49 +01001981 SSLerr(SSL_F_TLS_PROCESS_CERT_STATUS, SSL_R_UNSUPPORTED_STATUS_TYPE);
Matt Caswell0f113f32015-01-22 03:40:55 +00001982 goto f_err;
1983 }
Matt Caswell73999b62015-09-10 10:22:30 +01001984 if (!PACKET_get_net_3(pkt, &resplen)
1985 || PACKET_remaining(pkt) != resplen) {
Matt Caswell0f113f32015-01-22 03:40:55 +00001986 al = SSL_AD_DECODE_ERROR;
Matt Caswellb9908bf2015-07-29 14:08:49 +01001987 SSLerr(SSL_F_TLS_PROCESS_CERT_STATUS, SSL_R_LENGTH_MISMATCH);
Matt Caswell0f113f32015-01-22 03:40:55 +00001988 goto f_err;
1989 }
Matt Caswellac637102015-08-05 15:52:26 +01001990 s->tlsext_ocsp_resp = OPENSSL_malloc(resplen);
Matt Caswella71edf32015-10-30 10:05:53 +00001991 if (s->tlsext_ocsp_resp == NULL) {
Matt Caswell0f113f32015-01-22 03:40:55 +00001992 al = SSL_AD_INTERNAL_ERROR;
Matt Caswellb9908bf2015-07-29 14:08:49 +01001993 SSLerr(SSL_F_TLS_PROCESS_CERT_STATUS, ERR_R_MALLOC_FAILURE);
Matt Caswell0f113f32015-01-22 03:40:55 +00001994 goto f_err;
1995 }
Matt Caswell73999b62015-09-10 10:22:30 +01001996 if (!PACKET_copy_bytes(pkt, s->tlsext_ocsp_resp, resplen)) {
Matt Caswellac637102015-08-05 15:52:26 +01001997 al = SSL_AD_DECODE_ERROR;
Matt Caswellb9908bf2015-07-29 14:08:49 +01001998 SSLerr(SSL_F_TLS_PROCESS_CERT_STATUS, SSL_R_LENGTH_MISMATCH);
Matt Caswellac637102015-08-05 15:52:26 +01001999 goto f_err;
2000 }
Matt Caswell0f113f32015-01-22 03:40:55 +00002001 s->tlsext_ocsp_resplen = resplen;
Matt Caswellb9908bf2015-07-29 14:08:49 +01002002 return MSG_PROCESS_CONTINUE_READING;
Matt Caswell0f113f32015-01-22 03:40:55 +00002003 f_err:
2004 ssl3_send_alert(s, SSL3_AL_FATAL, al);
Matt Caswellfe3a3292015-10-05 10:39:54 +01002005 ossl_statem_set_error(s);
Matt Caswellb9908bf2015-07-29 14:08:49 +01002006 return MSG_PROCESS_ERROR;
Ralf S. Engelschalldfeab061998-12-21 11:00:56 +00002007}
Ralf S. Engelschalldfeab061998-12-21 11:00:56 +00002008
Matt Caswellbe3583f2015-10-26 11:46:33 +00002009MSG_PROCESS_RETURN tls_process_server_done(SSL *s, PACKET *pkt)
Matt Caswellb9908bf2015-07-29 14:08:49 +01002010{
Matt Caswell73999b62015-09-10 10:22:30 +01002011 if (PACKET_remaining(pkt) > 0) {
Matt Caswell0f113f32015-01-22 03:40:55 +00002012 /* should contain no data */
2013 ssl3_send_alert(s, SSL3_AL_FATAL, SSL_AD_DECODE_ERROR);
Matt Caswellb9908bf2015-07-29 14:08:49 +01002014 SSLerr(SSL_F_TLS_PROCESS_SERVER_DONE, SSL_R_LENGTH_MISMATCH);
Matt Caswellfe3a3292015-10-05 10:39:54 +01002015 ossl_statem_set_error(s);
Matt Caswellb9908bf2015-07-29 14:08:49 +01002016 return MSG_PROCESS_ERROR;
Matt Caswell0f113f32015-01-22 03:40:55 +00002017 }
Matt Caswellb9908bf2015-07-29 14:08:49 +01002018
2019#ifndef OPENSSL_NO_SRP
2020 if (s->s3->tmp.new_cipher->algorithm_mkey & SSL_kSRP) {
2021 if (SRP_Calc_A_param(s) <= 0) {
2022 SSLerr(SSL_F_TLS_PROCESS_SERVER_DONE, SSL_R_SRP_A_CALC);
2023 ssl3_send_alert(s, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
Matt Caswellfe3a3292015-10-05 10:39:54 +01002024 ossl_statem_set_error(s);
Matt Caswellb9908bf2015-07-29 14:08:49 +01002025 return MSG_PROCESS_ERROR;
2026 }
2027 }
2028#endif
2029
Matt Caswella455d0f2015-09-14 15:06:37 +01002030 /*
2031 * at this point we check that we have the required stuff from
2032 * the server
2033 */
2034 if (!ssl3_check_cert_and_algorithm(s)) {
2035 ssl3_send_alert(s, SSL3_AL_FATAL, SSL_AD_HANDSHAKE_FAILURE);
Matt Caswellfe3a3292015-10-05 10:39:54 +01002036 ossl_statem_set_error(s);
Matt Caswella455d0f2015-09-14 15:06:37 +01002037 return MSG_PROCESS_ERROR;
2038 }
2039
Matt Caswellbb1aaab2015-11-05 14:31:11 +00002040 /*
2041 * Call the ocsp status callback if needed. The |tlsext_ocsp_resp| and
2042 * |tlsext_ocsp_resplen| values will be set if we actually received a status
2043 * message, or NULL and -1 otherwise
2044 */
Matt Caswellb1931d42015-12-10 10:44:30 +00002045 if (s->tlsext_status_type != -1 && s->ctx->tlsext_status_cb != NULL) {
Matt Caswellbb1aaab2015-11-05 14:31:11 +00002046 int ret;
2047 ret = s->ctx->tlsext_status_cb(s, s->ctx->tlsext_status_arg);
2048 if (ret == 0) {
2049 ssl3_send_alert(s, SSL3_AL_FATAL,
2050 SSL_AD_BAD_CERTIFICATE_STATUS_RESPONSE);
2051 SSLerr(SSL_F_TLS_PROCESS_SERVER_DONE,
2052 SSL_R_INVALID_STATUS_RESPONSE);
2053 return MSG_PROCESS_ERROR;
2054 }
2055 if (ret < 0) {
2056 ssl3_send_alert(s, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
2057 SSLerr(SSL_F_TLS_PROCESS_SERVER_DONE, ERR_R_MALLOC_FAILURE);
2058 return MSG_PROCESS_ERROR;
2059 }
2060 }
2061
Matt Caswell473483d2015-09-07 22:00:36 +01002062#ifndef OPENSSL_NO_SCTP
2063 /* Only applies to renegotiation */
2064 if (SSL_IS_DTLS(s) && BIO_dgram_is_sctp(SSL_get_wbio(s))
2065 && s->renegotiate != 0)
2066 return MSG_PROCESS_CONTINUE_PROCESSING;
2067 else
2068#endif
2069 return MSG_PROCESS_FINISHED_READING;
Matt Caswell0f113f32015-01-22 03:40:55 +00002070}
Bodo Möller176f31d2003-02-28 15:37:10 +00002071
Matt Caswellb9908bf2015-07-29 14:08:49 +01002072int tls_construct_client_key_exchange(SSL *s)
2073{
Matt Caswell0f113f32015-01-22 03:40:55 +00002074 unsigned char *p;
2075 int n;
Dr. Stephen Henson76890822015-06-28 17:15:10 +01002076#ifndef OPENSSL_NO_PSK
2077 size_t pskhdrlen = 0;
2078#endif
Matt Caswell0f113f32015-01-22 03:40:55 +00002079 unsigned long alg_k;
Richard Levittebc36ee62001-02-20 08:13:47 +00002080#ifndef OPENSSL_NO_RSA
Matt Caswell0f113f32015-01-22 03:40:55 +00002081 unsigned char *q;
2082 EVP_PKEY *pkey = NULL;
Dr. Stephen Henson923ffa92015-12-28 00:45:48 +00002083 EVP_PKEY_CTX *pctx = NULL;
Ulf Möller79df9d61999-04-27 03:19:12 +00002084#endif
Dr. Stephen Hensonfb79abe2015-12-17 01:07:46 +00002085#if !defined(OPENSSL_NO_EC) || !defined(OPENSSL_NO_DH)
Dr. Stephen Henson61dd9f72015-12-14 00:33:33 +00002086 EVP_PKEY *ckey = NULL, *skey = NULL;
Dr. Stephen Hensonfb79abe2015-12-17 01:07:46 +00002087#endif
2088#ifndef OPENSSL_NO_EC
Matt Caswell0f113f32015-01-22 03:40:55 +00002089 unsigned char *encodedPoint = NULL;
2090 int encoded_pt_len = 0;
Bodo Möllerea262262002-08-09 08:56:08 +00002091#endif
Dr. Stephen Hensonc660ec62015-01-23 02:41:09 +00002092 unsigned char *pms = NULL;
2093 size_t pmslen = 0;
Dr. Stephen Henson76890822015-06-28 17:15:10 +01002094 alg_k = s->s3->tmp.new_cipher->algorithm_mkey;
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00002095
Matt Caswellb9908bf2015-07-29 14:08:49 +01002096 p = ssl_handshake_start(s);
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00002097
Dr. Stephen Henson76890822015-06-28 17:15:10 +01002098
2099#ifndef OPENSSL_NO_PSK
Matt Caswellb9908bf2015-07-29 14:08:49 +01002100 if (alg_k & SSL_PSK) {
2101 int psk_err = 1;
2102 /*
2103 * The callback needs PSK_MAX_IDENTITY_LEN + 1 bytes to return a
2104 * \0-terminated identity. The last byte is for us for simulating
2105 * strnlen.
2106 */
2107 char identity[PSK_MAX_IDENTITY_LEN + 1];
2108 size_t identitylen;
2109 unsigned char psk[PSK_MAX_PSK_LEN];
2110 size_t psklen;
Dr. Stephen Henson76890822015-06-28 17:15:10 +01002111
Matt Caswellb9908bf2015-07-29 14:08:49 +01002112 if (s->psk_client_callback == NULL) {
2113 SSLerr(SSL_F_TLS_CONSTRUCT_CLIENT_KEY_EXCHANGE,
2114 SSL_R_PSK_NO_CLIENT_CB);
2115 goto err;
Dr. Stephen Henson76890822015-06-28 17:15:10 +01002116 }
Matt Caswellb9908bf2015-07-29 14:08:49 +01002117
2118 memset(identity, 0, sizeof(identity));
2119
2120 psklen = s->psk_client_callback(s, s->session->psk_identity_hint,
2121 identity, sizeof(identity) - 1,
2122 psk, sizeof(psk));
2123
2124 if (psklen > PSK_MAX_PSK_LEN) {
2125 SSLerr(SSL_F_TLS_CONSTRUCT_CLIENT_KEY_EXCHANGE,
2126 ERR_R_INTERNAL_ERROR);
2127 goto psk_err;
2128 } else if (psklen == 0) {
2129 SSLerr(SSL_F_TLS_CONSTRUCT_CLIENT_KEY_EXCHANGE,
2130 SSL_R_PSK_IDENTITY_NOT_FOUND);
2131 goto psk_err;
2132 }
Matt Caswellb9908bf2015-07-29 14:08:49 +01002133 OPENSSL_free(s->s3->tmp.psk);
Rich Salz7644a9a2015-12-16 16:12:24 -05002134 s->s3->tmp.psk = OPENSSL_memdup(psk, psklen);
Matt Caswellb9908bf2015-07-29 14:08:49 +01002135 OPENSSL_cleanse(psk, psklen);
2136
2137 if (s->s3->tmp.psk == NULL) {
2138 OPENSSL_cleanse(identity, sizeof(identity));
2139 goto memerr;
2140 }
2141
2142 s->s3->tmp.psklen = psklen;
Matt Caswellb9908bf2015-07-29 14:08:49 +01002143 identitylen = strlen(identity);
2144 if (identitylen > PSK_MAX_IDENTITY_LEN) {
2145 SSLerr(SSL_F_TLS_CONSTRUCT_CLIENT_KEY_EXCHANGE,
2146 ERR_R_INTERNAL_ERROR);
2147 goto psk_err;
2148 }
2149 OPENSSL_free(s->session->psk_identity);
Rich Salz7644a9a2015-12-16 16:12:24 -05002150 s->session->psk_identity = OPENSSL_strdup(identity);
Matt Caswellb9908bf2015-07-29 14:08:49 +01002151 if (s->session->psk_identity == NULL) {
2152 OPENSSL_cleanse(identity, sizeof(identity));
2153 goto memerr;
2154 }
2155
2156 s2n(identitylen, p);
2157 memcpy(p, identity, identitylen);
2158 pskhdrlen = 2 + identitylen;
2159 p += identitylen;
2160 psk_err = 0;
2161psk_err:
2162 OPENSSL_cleanse(identity, sizeof(identity));
2163 if (psk_err != 0) {
2164 ssl3_send_alert(s, SSL3_AL_FATAL, SSL_AD_HANDSHAKE_FAILURE);
2165 goto err;
2166 }
2167 }
2168 if (alg_k & SSL_kPSK) {
2169 n = 0;
2170 } else
Dr. Stephen Henson76890822015-06-28 17:15:10 +01002171#endif
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00002172
Matt Caswellb9908bf2015-07-29 14:08:49 +01002173 /* Fool emacs indentation */
2174 if (0) {
2175 }
Richard Levittebc36ee62001-02-20 08:13:47 +00002176#ifndef OPENSSL_NO_RSA
Matt Caswellb9908bf2015-07-29 14:08:49 +01002177 else if (alg_k & (SSL_kRSA | SSL_kRSAPSK)) {
Dr. Stephen Henson923ffa92015-12-28 00:45:48 +00002178 size_t enclen;
Matt Caswellb9908bf2015-07-29 14:08:49 +01002179 pmslen = SSL_MAX_MASTER_KEY_LENGTH;
2180 pms = OPENSSL_malloc(pmslen);
Matt Caswella71edf32015-10-30 10:05:53 +00002181 if (pms == NULL)
Matt Caswellb9908bf2015-07-29 14:08:49 +01002182 goto memerr;
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00002183
Matt Caswellb9908bf2015-07-29 14:08:49 +01002184 if (s->session->peer == NULL) {
2185 /*
2186 * We should always have a server certificate with SSL_kRSA.
2187 */
2188 SSLerr(SSL_F_TLS_CONSTRUCT_CLIENT_KEY_EXCHANGE,
2189 ERR_R_INTERNAL_ERROR);
2190 goto err;
Matt Caswell0f113f32015-01-22 03:40:55 +00002191 }
Matt Caswellb9908bf2015-07-29 14:08:49 +01002192
Dr. Stephen Henson8382fd32015-12-20 00:32:36 +00002193 pkey = X509_get0_pubkey(s->session->peer);
Kurt Roeckx361a1192015-12-05 02:04:41 +01002194 if ((pkey == NULL) || (pkey->type != EVP_PKEY_RSA)
2195 || (pkey->pkey.rsa == NULL)) {
2196 SSLerr(SSL_F_TLS_CONSTRUCT_CLIENT_KEY_EXCHANGE,
2197 ERR_R_INTERNAL_ERROR);
Kurt Roeckx361a1192015-12-05 02:04:41 +01002198 goto err;
Matt Caswellb9908bf2015-07-29 14:08:49 +01002199 }
2200
2201 pms[0] = s->client_version >> 8;
2202 pms[1] = s->client_version & 0xff;
2203 if (RAND_bytes(pms + 2, pmslen - 2) <= 0)
2204 goto err;
2205
2206 q = p;
2207 /* Fix buf for TLS and beyond */
2208 if (s->version > SSL3_VERSION)
2209 p += 2;
Dr. Stephen Henson923ffa92015-12-28 00:45:48 +00002210 pctx = EVP_PKEY_CTX_new(pkey, NULL);
Dr. Stephen Henson923ffa92015-12-28 00:45:48 +00002211 if (pctx == NULL || EVP_PKEY_encrypt_init(pctx) <= 0
2212 || EVP_PKEY_encrypt(pctx, NULL, &enclen, pms, pmslen) <= 0) {
2213 SSLerr(SSL_F_TLS_CONSTRUCT_CLIENT_KEY_EXCHANGE,
2214 ERR_R_EVP_LIB);
2215 goto err;
2216 }
2217 if (EVP_PKEY_encrypt(pctx, p, &enclen, pms, pmslen) <= 0) {
2218 SSLerr(SSL_F_TLS_CONSTRUCT_CLIENT_KEY_EXCHANGE,
2219 SSL_R_BAD_RSA_ENCRYPT);
2220 goto err;
2221 }
2222 n = enclen;
2223 EVP_PKEY_CTX_free(pctx);
2224 pctx = NULL;
Matt Caswellb9908bf2015-07-29 14:08:49 +01002225# ifdef PKCS1_CHECK
2226 if (s->options & SSL_OP_PKCS1_CHECK_1)
2227 p[1]++;
2228 if (s->options & SSL_OP_PKCS1_CHECK_2)
2229 tmp_buf[0] = 0x70;
2230# endif
Matt Caswellb9908bf2015-07-29 14:08:49 +01002231
2232 /* Fix buf for TLS and beyond */
2233 if (s->version > SSL3_VERSION) {
2234 s2n(n, q);
2235 n += 2;
2236 }
2237 }
Richard Levittef9b3bff2000-11-30 22:53:34 +00002238#endif
Richard Levittebc36ee62001-02-20 08:13:47 +00002239#ifndef OPENSSL_NO_DH
Dr. Stephen Hensonbc71f912015-12-15 23:57:18 +00002240 else if (alg_k & (SSL_kDHE | SSL_kDHEPSK)) {
Dr. Stephen Hensonfb79abe2015-12-17 01:07:46 +00002241 DH *dh_clnt = NULL;
2242 skey = s->s3->peer_tmp;
2243 if (skey == NULL) {
Dr. Stephen Hensonbc71f912015-12-15 23:57:18 +00002244 SSLerr(SSL_F_TLS_CONSTRUCT_CLIENT_KEY_EXCHANGE,
2245 ERR_R_INTERNAL_ERROR);
2246 goto err;
Matt Caswellb9908bf2015-07-29 14:08:49 +01002247 }
Dr. Stephen Hensonfb79abe2015-12-17 01:07:46 +00002248 ckey = ssl_generate_pkey(skey, NID_undef);
2249 dh_clnt = EVP_PKEY_get0_DH(ckey);
2250
2251 if (dh_clnt == NULL || ssl_derive(s, ckey, skey) == 0) {
2252 SSLerr(SSL_F_TLS_CONSTRUCT_CLIENT_KEY_EXCHANGE,
2253 ERR_R_INTERNAL_ERROR);
Dr. Stephen Hensonbc71f912015-12-15 23:57:18 +00002254 goto err;
Matt Caswell0f113f32015-01-22 03:40:55 +00002255 }
Matt Caswellb9908bf2015-07-29 14:08:49 +01002256
Matt Caswellb9908bf2015-07-29 14:08:49 +01002257
Dr. Stephen Hensonbc71f912015-12-15 23:57:18 +00002258 /* send off the data */
2259 n = BN_num_bytes(dh_clnt->pub_key);
2260 s2n(n, p);
2261 BN_bn2bin(dh_clnt->pub_key, p);
2262 n += 2;
Dr. Stephen Hensonfb79abe2015-12-17 01:07:46 +00002263 EVP_PKEY_free(ckey);
2264 ckey = NULL;
Matt Caswellb9908bf2015-07-29 14:08:49 +01002265 }
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00002266#endif
Bodo Möllerea262262002-08-09 08:56:08 +00002267
Rich Salz10bf4fc2015-03-10 19:09:27 -04002268#ifndef OPENSSL_NO_EC
Matt Caswellb9908bf2015-07-29 14:08:49 +01002269 else if (alg_k & (SSL_kECDHE | SSL_kECDHr | SSL_kECDHe | SSL_kECDHEPSK)) {
Matt Caswellb9908bf2015-07-29 14:08:49 +01002270
Dr. Stephen Henson61dd9f72015-12-14 00:33:33 +00002271 if (s->s3->peer_tmp != NULL) {
2272 skey = s->s3->peer_tmp;
Matt Caswellb9908bf2015-07-29 14:08:49 +01002273 } else {
2274 /* Get the Server Public Key from Cert */
Dr. Stephen Henson61dd9f72015-12-14 00:33:33 +00002275 skey = X509_get0_pubkey(s->session->peer);
2276 if ((skey == NULL)
2277 || (skey->type != EVP_PKEY_EC)
2278 || (skey->pkey.ec == NULL)) {
Matt Caswellb9908bf2015-07-29 14:08:49 +01002279 SSLerr(SSL_F_TLS_CONSTRUCT_CLIENT_KEY_EXCHANGE,
Matt Caswell0f113f32015-01-22 03:40:55 +00002280 ERR_R_INTERNAL_ERROR);
2281 goto err;
2282 }
Matt Caswell0f113f32015-01-22 03:40:55 +00002283 }
Matt Caswellb9908bf2015-07-29 14:08:49 +01002284
Dr. Stephen Henson61dd9f72015-12-14 00:33:33 +00002285 ckey = ssl_generate_pkey(skey, NID_undef);
Matt Caswellb9908bf2015-07-29 14:08:49 +01002286
Dr. Stephen Henson61dd9f72015-12-14 00:33:33 +00002287 if (ssl_derive(s, ckey, skey) == 0) {
2288 SSLerr(SSL_F_TLS_CONSTRUCT_CLIENT_KEY_EXCHANGE, ERR_R_EVP_LIB);
Matt Caswell0f113f32015-01-22 03:40:55 +00002289 goto err;
2290 }
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00002291
Dr. Stephen Henson61dd9f72015-12-14 00:33:33 +00002292 /* Generate encoding of client key */
2293 encoded_pt_len = EC_KEY_key2buf(EVP_PKEY_get0_EC_KEY(ckey),
2294 POINT_CONVERSION_UNCOMPRESSED,
2295 &encodedPoint, NULL);
Matt Caswellb9908bf2015-07-29 14:08:49 +01002296
Dr. Stephen Hensonc66ce5e2015-12-12 17:41:18 +00002297 if (encoded_pt_len == 0) {
2298 SSLerr(SSL_F_TLS_CONSTRUCT_CLIENT_KEY_EXCHANGE, ERR_R_EC_LIB);
2299 goto err;
Matt Caswellb9908bf2015-07-29 14:08:49 +01002300 }
2301
Dr. Stephen Henson61dd9f72015-12-14 00:33:33 +00002302 EVP_PKEY_free(ckey);
2303 ckey = NULL;
2304
Dr. Stephen Hensonc66ce5e2015-12-12 17:41:18 +00002305 n = encoded_pt_len;
2306
2307 *p = n; /* length of encoded point */
2308 /* Encoded point will be copied here */
2309 p += 1;
2310 /* copy the point */
2311 memcpy(p, encodedPoint, n);
2312 /* increment n to account for length field */
2313 n += 1;
2314
Matt Caswellb9908bf2015-07-29 14:08:49 +01002315 /* Free allocated memory */
Matt Caswellb9908bf2015-07-29 14:08:49 +01002316 OPENSSL_free(encodedPoint);
Matt Caswellb9908bf2015-07-29 14:08:49 +01002317 }
2318#endif /* !OPENSSL_NO_EC */
Matt Caswell2a9b9652015-11-24 13:52:07 +00002319#ifndef OPENSSL_NO_GOST
Matt Caswellb9908bf2015-07-29 14:08:49 +01002320 else if (alg_k & SSL_kGOST) {
2321 /* GOST key exchange message creation */
2322 EVP_PKEY_CTX *pkey_ctx;
2323 X509 *peer_cert;
2324 size_t msglen;
2325 unsigned int md_len;
2326 unsigned char shared_ukm[32], tmp[256];
2327 EVP_MD_CTX *ukm_hash;
Dmitry Belyavskye44380a2015-11-17 15:32:30 +00002328 int dgst_nid = NID_id_GostR3411_94;
2329 if ((s->s3->tmp.new_cipher->algorithm_auth & SSL_aGOST12) != 0)
2330 dgst_nid = NID_id_GostR3411_2012_256;
2331
Matt Caswellb9908bf2015-07-29 14:08:49 +01002332
2333 pmslen = 32;
2334 pms = OPENSSL_malloc(pmslen);
Matt Caswella71edf32015-10-30 10:05:53 +00002335 if (pms == NULL)
Matt Caswellb9908bf2015-07-29 14:08:49 +01002336 goto memerr;
2337
2338 /*
2339 * Get server sertificate PKEY and create ctx from it
2340 */
2341 peer_cert = s->session->peer;
2342 if (!peer_cert) {
2343 SSLerr(SSL_F_TLS_CONSTRUCT_CLIENT_KEY_EXCHANGE,
2344 SSL_R_NO_GOST_CERTIFICATE_SENT_BY_PEER);
2345 goto err;
2346 }
2347
Dr. Stephen Henson8382fd32015-12-20 00:32:36 +00002348 pkey_ctx = EVP_PKEY_CTX_new(X509_get0_pubkey(peer_cert), NULL);
Matt Caswella71edf32015-10-30 10:05:53 +00002349 if (pkey_ctx == NULL) {
2350 SSLerr(SSL_F_TLS_CONSTRUCT_CLIENT_KEY_EXCHANGE,
2351 ERR_R_MALLOC_FAILURE);
2352 goto err;
2353 }
Matt Caswellb9908bf2015-07-29 14:08:49 +01002354 /*
2355 * If we have send a certificate, and certificate key
Matt Caswell5f3d93e2015-11-06 16:31:21 +00002356 * parameters match those of server certificate, use
Matt Caswellb9908bf2015-07-29 14:08:49 +01002357 * certificate key for key exchange
2358 */
2359
2360 /* Otherwise, generate ephemeral key pair */
2361
Matt Caswell5f3d93e2015-11-06 16:31:21 +00002362 if (pkey_ctx == NULL
2363 || EVP_PKEY_encrypt_init(pkey_ctx) <= 0
2364 /* Generate session key */
2365 || RAND_bytes(pms, pmslen) <= 0) {
Matt Caswellb9908bf2015-07-29 14:08:49 +01002366 EVP_PKEY_CTX_free(pkey_ctx);
2367 SSLerr(SSL_F_TLS_CONSTRUCT_CLIENT_KEY_EXCHANGE,
2368 ERR_R_INTERNAL_ERROR);
2369 goto err;
2370 };
2371 /*
2372 * If we have client certificate, use its secret as peer key
2373 */
2374 if (s->s3->tmp.cert_req && s->cert->key->privatekey) {
2375 if (EVP_PKEY_derive_set_peer
2376 (pkey_ctx, s->cert->key->privatekey) <= 0) {
2377 /*
2378 * If there was an error - just ignore it. Ephemeral key
2379 * * would be used
2380 */
2381 ERR_clear_error();
2382 }
2383 }
2384 /*
2385 * Compute shared IV and store it in algorithm-specific context
2386 * data
2387 */
Richard Levittebfb06412015-12-02 00:49:35 +01002388 ukm_hash = EVP_MD_CTX_new();
Matt Caswell5f3d93e2015-11-06 16:31:21 +00002389 if (EVP_DigestInit(ukm_hash,
Dmitry Belyavskye44380a2015-11-17 15:32:30 +00002390 EVP_get_digestbynid(dgst_nid)) <= 0
Matt Caswell5f3d93e2015-11-06 16:31:21 +00002391 || EVP_DigestUpdate(ukm_hash, s->s3->client_random,
2392 SSL3_RANDOM_SIZE) <= 0
2393 || EVP_DigestUpdate(ukm_hash, s->s3->server_random,
2394 SSL3_RANDOM_SIZE) <= 0
2395 || EVP_DigestFinal_ex(ukm_hash, shared_ukm, &md_len) <= 0) {
Richard Levittebfb06412015-12-02 00:49:35 +01002396 EVP_MD_CTX_free(ukm_hash);
Matt Caswell5f3d93e2015-11-06 16:31:21 +00002397 SSLerr(SSL_F_TLS_CONSTRUCT_CLIENT_KEY_EXCHANGE,
2398 ERR_R_INTERNAL_ERROR);
2399 goto err;
2400 }
Richard Levittebfb06412015-12-02 00:49:35 +01002401 EVP_MD_CTX_free(ukm_hash);
Matt Caswellb9908bf2015-07-29 14:08:49 +01002402 if (EVP_PKEY_CTX_ctrl
2403 (pkey_ctx, -1, EVP_PKEY_OP_ENCRYPT, EVP_PKEY_CTRL_SET_IV, 8,
2404 shared_ukm) < 0) {
2405 SSLerr(SSL_F_TLS_CONSTRUCT_CLIENT_KEY_EXCHANGE,
2406 SSL_R_LIBRARY_BUG);
2407 goto err;
2408 }
2409 /* Make GOST keytransport blob message */
2410 /*
2411 * Encapsulate it into sequence
2412 */
2413 *(p++) = V_ASN1_SEQUENCE | V_ASN1_CONSTRUCTED;
2414 msglen = 255;
Matt Caswell5f3d93e2015-11-06 16:31:21 +00002415 if (EVP_PKEY_encrypt(pkey_ctx, tmp, &msglen, pms, pmslen) <= 0) {
Matt Caswellb9908bf2015-07-29 14:08:49 +01002416 SSLerr(SSL_F_TLS_CONSTRUCT_CLIENT_KEY_EXCHANGE,
2417 SSL_R_LIBRARY_BUG);
2418 goto err;
2419 }
2420 if (msglen >= 0x80) {
2421 *(p++) = 0x81;
2422 *(p++) = msglen & 0xff;
2423 n = msglen + 3;
2424 } else {
2425 *(p++) = msglen & 0xff;
2426 n = msglen + 2;
2427 }
2428 memcpy(p, tmp, msglen);
2429 /* Check if pubkey from client certificate was used */
2430 if (EVP_PKEY_CTX_ctrl
2431 (pkey_ctx, -1, -1, EVP_PKEY_CTRL_PEER_KEY, 2, NULL) > 0) {
2432 /* Set flag "skip certificate verify" */
2433 s->s3->flags |= TLS1_FLAGS_SKIP_CERT_VERIFY;
2434 }
2435 EVP_PKEY_CTX_free(pkey_ctx);
Matt Caswellb9908bf2015-07-29 14:08:49 +01002436
2437 }
Matt Caswell2a9b9652015-11-24 13:52:07 +00002438#endif
Matt Caswellb9908bf2015-07-29 14:08:49 +01002439#ifndef OPENSSL_NO_SRP
2440 else if (alg_k & SSL_kSRP) {
2441 if (s->srp_ctx.A != NULL) {
2442 /* send off the data */
2443 n = BN_num_bytes(s->srp_ctx.A);
2444 s2n(n, p);
2445 BN_bn2bin(s->srp_ctx.A, p);
2446 n += 2;
2447 } else {
2448 SSLerr(SSL_F_TLS_CONSTRUCT_CLIENT_KEY_EXCHANGE,
2449 ERR_R_INTERNAL_ERROR);
2450 goto err;
2451 }
2452 OPENSSL_free(s->session->srp_username);
Rich Salz7644a9a2015-12-16 16:12:24 -05002453 s->session->srp_username = OPENSSL_strdup(s->srp_ctx.login);
Matt Caswellb9908bf2015-07-29 14:08:49 +01002454 if (s->session->srp_username == NULL) {
2455 SSLerr(SSL_F_TLS_CONSTRUCT_CLIENT_KEY_EXCHANGE,
2456 ERR_R_MALLOC_FAILURE);
2457 goto err;
2458 }
2459 }
2460#endif
2461 else {
2462 ssl3_send_alert(s, SSL3_AL_FATAL, SSL_AD_HANDSHAKE_FAILURE);
2463 SSLerr(SSL_F_TLS_CONSTRUCT_CLIENT_KEY_EXCHANGE, ERR_R_INTERNAL_ERROR);
2464 goto err;
2465 }
2466
Dr. Stephen Henson76890822015-06-28 17:15:10 +01002467#ifndef OPENSSL_NO_PSK
Matt Caswellb9908bf2015-07-29 14:08:49 +01002468 n += pskhdrlen;
Dr. Stephen Henson76890822015-06-28 17:15:10 +01002469#endif
2470
Matt Caswellb9908bf2015-07-29 14:08:49 +01002471 if (!ssl_set_handshake_header(s, SSL3_MT_CLIENT_KEY_EXCHANGE, n)) {
2472 ssl3_send_alert(s, SSL3_AL_FATAL, SSL_AD_HANDSHAKE_FAILURE);
2473 SSLerr(SSL_F_TLS_CONSTRUCT_CLIENT_KEY_EXCHANGE, ERR_R_INTERNAL_ERROR);
2474 goto err;
Matt Caswell0f113f32015-01-22 03:40:55 +00002475 }
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00002476
Dr. Stephen Henson61dd9f72015-12-14 00:33:33 +00002477 if (pms != NULL) {
2478 s->s3->tmp.pms = pms;
2479 s->s3->tmp.pmslen = pmslen;
2480 }
Matt Caswellb9908bf2015-07-29 14:08:49 +01002481
2482 return 1;
Dr. Stephen Hensonc660ec62015-01-23 02:41:09 +00002483 memerr:
2484 ssl3_send_alert(s, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
Matt Caswellb9908bf2015-07-29 14:08:49 +01002485 SSLerr(SSL_F_TLS_CONSTRUCT_CLIENT_KEY_EXCHANGE, ERR_R_MALLOC_FAILURE);
Matt Caswell0f113f32015-01-22 03:40:55 +00002486 err:
Rich Salz4b45c6e2015-04-30 17:57:32 -04002487 OPENSSL_clear_free(pms, pmslen);
Dr. Stephen Henson76106e62015-05-12 17:17:37 +01002488 s->s3->tmp.pms = NULL;
Dr. Stephen Henson923ffa92015-12-28 00:45:48 +00002489#ifndef OPENSSL_NO_RSA
2490 EVP_PKEY_CTX_free(pctx);
2491#endif
Rich Salz10bf4fc2015-03-10 19:09:27 -04002492#ifndef OPENSSL_NO_EC
Rich Salzb548a1f2015-05-01 10:02:07 -04002493 OPENSSL_free(encodedPoint);
Dr. Stephen Hensonfb79abe2015-12-17 01:07:46 +00002494#endif
2495#if !defined(OPENSSL_NO_EC) || !defined(OPENSSL_NO_DH)
Dr. Stephen Henson61dd9f72015-12-14 00:33:33 +00002496 EVP_PKEY_free(ckey);
Bodo Möllerea262262002-08-09 08:56:08 +00002497#endif
Dr. Stephen Henson76890822015-06-28 17:15:10 +01002498#ifndef OPENSSL_NO_PSK
2499 OPENSSL_clear_free(s->s3->tmp.psk, s->s3->tmp.psklen);
2500 s->s3->tmp.psk = NULL;
2501#endif
Matt Caswellfe3a3292015-10-05 10:39:54 +01002502 ossl_statem_set_error(s);
Matt Caswellb9908bf2015-07-29 14:08:49 +01002503 return 0;
2504}
2505
2506int tls_client_key_exchange_post_work(SSL *s)
2507{
2508 unsigned char *pms = NULL;
2509 size_t pmslen = 0;
2510
2511#ifndef OPENSSL_NO_SRP
2512 /* Check for SRP */
2513 if (s->s3->tmp.new_cipher->algorithm_mkey & SSL_kSRP) {
2514 if (!srp_generate_client_master_secret(s)) {
2515 SSLerr(SSL_F_TLS_CLIENT_KEY_EXCHANGE_POST_WORK,
2516 ERR_R_INTERNAL_ERROR);
2517 goto err;
2518 }
2519 return 1;
2520 }
2521#endif
2522 pms = s->s3->tmp.pms;
2523 pmslen = s->s3->tmp.pmslen;
2524
2525 if (pms == NULL && !(s->s3->tmp.new_cipher->algorithm_mkey & SSL_kPSK)) {
2526 ssl3_send_alert(s, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
2527 SSLerr(SSL_F_TLS_CLIENT_KEY_EXCHANGE_POST_WORK, ERR_R_MALLOC_FAILURE);
2528 goto err;
2529 }
2530 if (!ssl_generate_master_secret(s, pms, pmslen, 1)) {
2531 ssl3_send_alert(s, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
2532 SSLerr(SSL_F_TLS_CLIENT_KEY_EXCHANGE_POST_WORK, ERR_R_INTERNAL_ERROR);
2533 goto err;
2534 }
Matt Caswell473483d2015-09-07 22:00:36 +01002535
2536#ifndef OPENSSL_NO_SCTP
2537 if (SSL_IS_DTLS(s)) {
2538 unsigned char sctpauthkey[64];
2539 char labelbuffer[sizeof(DTLS1_SCTP_AUTH_LABEL)];
2540
2541 /*
2542 * Add new shared key for SCTP-Auth, will be ignored if no SCTP
2543 * used.
2544 */
Matt Caswell141eb8c2015-10-26 12:00:00 +00002545 memcpy(labelbuffer, DTLS1_SCTP_AUTH_LABEL,
2546 sizeof(DTLS1_SCTP_AUTH_LABEL));
Matt Caswell473483d2015-09-07 22:00:36 +01002547
2548 if (SSL_export_keying_material(s, sctpauthkey,
2549 sizeof(sctpauthkey), labelbuffer,
2550 sizeof(labelbuffer), NULL, 0, 0) <= 0)
2551 goto err;
2552
2553 BIO_ctrl(SSL_get_wbio(s), BIO_CTRL_DGRAM_SCTP_ADD_AUTH_KEY,
2554 sizeof(sctpauthkey), sctpauthkey);
2555 }
2556#endif
2557
Matt Caswellb9908bf2015-07-29 14:08:49 +01002558 return 1;
2559 err:
2560 OPENSSL_clear_free(pms, pmslen);
2561 s->s3->tmp.pms = NULL;
2562 return 0;
Matt Caswell0f113f32015-01-22 03:40:55 +00002563}
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00002564
Matt Caswellb9908bf2015-07-29 14:08:49 +01002565int tls_construct_client_verify(SSL *s)
2566{
Matt Caswell0f113f32015-01-22 03:40:55 +00002567 unsigned char *p;
Matt Caswell0f113f32015-01-22 03:40:55 +00002568 EVP_PKEY *pkey;
Dr. Stephen Hensona0f63822015-11-24 00:08:35 +00002569 const EVP_MD *md = s->s3->tmp.md[s->cert->key - s->cert->pkeys];
Richard Levitte6e59a892015-11-27 14:02:12 +01002570 EVP_MD_CTX *mctx;
Matt Caswell0f113f32015-01-22 03:40:55 +00002571 unsigned u = 0;
Matt Caswell2a9b9652015-11-24 13:52:07 +00002572 unsigned long n = 0;
Dr. Stephen Hensona0f63822015-11-24 00:08:35 +00002573 long hdatalen = 0;
2574 void *hdata;
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00002575
Richard Levittebfb06412015-12-02 00:49:35 +01002576 mctx = EVP_MD_CTX_new();
Richard Levitte6e59a892015-11-27 14:02:12 +01002577 if (mctx == NULL) {
2578 SSLerr(SSL_F_TLS_CONSTRUCT_CLIENT_VERIFY, ERR_R_MALLOC_FAILURE);
2579 goto err;
2580 }
Dr. Stephen Henson855a54a2011-05-12 17:35:03 +00002581
Matt Caswellb9908bf2015-07-29 14:08:49 +01002582 p = ssl_handshake_start(s);
2583 pkey = s->cert->key->privatekey;
Dr. Stephen Hensona0f63822015-11-24 00:08:35 +00002584
2585 hdatalen = BIO_get_mem_data(s->s3->handshake_buffer, &hdata);
2586 if (hdatalen <= 0) {
Matt Caswell5f3d93e2015-11-06 16:31:21 +00002587 SSLerr(SSL_F_TLS_CONSTRUCT_CLIENT_VERIFY, ERR_R_INTERNAL_ERROR);
2588 goto err;
2589 }
Dr. Stephen Hensona0f63822015-11-24 00:08:35 +00002590 if (SSL_USE_SIGALGS(s)) {
2591 if (!tls12_get_sigandhash(p, pkey, md)) {
Matt Caswellb9908bf2015-07-29 14:08:49 +01002592 SSLerr(SSL_F_TLS_CONSTRUCT_CLIENT_VERIFY, ERR_R_INTERNAL_ERROR);
2593 goto err;
Matt Caswell0f113f32015-01-22 03:40:55 +00002594 }
Dr. Stephen Hensona0f63822015-11-24 00:08:35 +00002595 p += 2;
Matt Caswell2a9b9652015-11-24 13:52:07 +00002596 n = 2;
Dr. Stephen Hensona0f63822015-11-24 00:08:35 +00002597 }
Dr. Stephen Henson855a54a2011-05-12 17:35:03 +00002598#ifdef SSL_DEBUG
Dr. Stephen Hensona0f63822015-11-24 00:08:35 +00002599 fprintf(stderr, "Using client alg %s\n", EVP_MD_name(md));
Dr. Stephen Henson855a54a2011-05-12 17:35:03 +00002600#endif
Richard Levitte6e59a892015-11-27 14:02:12 +01002601 if (!EVP_SignInit_ex(mctx, md, NULL)
2602 || !EVP_SignUpdate(mctx, hdata, hdatalen)
Dr. Stephen Hensona0f63822015-11-24 00:08:35 +00002603 || (s->version == SSL3_VERSION
Richard Levitte6e59a892015-11-27 14:02:12 +01002604 && !EVP_MD_CTX_ctrl(mctx, EVP_CTRL_SSL3_MASTER_SECRET,
Dr. Stephen Hensona0f63822015-11-24 00:08:35 +00002605 s->session->master_key_length,
2606 s->session->master_key))
Richard Levitte6e59a892015-11-27 14:02:12 +01002607 || !EVP_SignFinal(mctx, p + 2, &u, pkey)) {
Dr. Stephen Hensona0f63822015-11-24 00:08:35 +00002608 SSLerr(SSL_F_TLS_CONSTRUCT_CLIENT_VERIFY, ERR_R_EVP_LIB);
2609 goto err;
2610 }
Matt Caswell2a9b9652015-11-24 13:52:07 +00002611#ifndef OPENSSL_NO_GOST
Dmitry Belyavskye44380a2015-11-17 15:32:30 +00002612 if (pkey->type == NID_id_GostR3410_2001
2613 || pkey->type == NID_id_GostR3410_2012_256
2614 || pkey->type == NID_id_GostR3410_2012_512) {
Matt Caswell2a9b9652015-11-24 13:52:07 +00002615 BUF_reverse(p + 2, NULL, u);
Matt Caswell0f113f32015-01-22 03:40:55 +00002616 }
Matt Caswell2a9b9652015-11-24 13:52:07 +00002617#endif
Dr. Stephen Hensona0f63822015-11-24 00:08:35 +00002618
2619 s2n(u, p);
Matt Caswell2a9b9652015-11-24 13:52:07 +00002620 n += u + 2;
Dr. Stephen Hensona0f63822015-11-24 00:08:35 +00002621 /* Digest cached records and discard handshake buffer */
2622 if (!ssl3_digest_cached_records(s, 0))
2623 goto err;
Matt Caswellb9908bf2015-07-29 14:08:49 +01002624 if (!ssl_set_handshake_header(s, SSL3_MT_CERTIFICATE_VERIFY, n)) {
2625 SSLerr(SSL_F_TLS_CONSTRUCT_CLIENT_VERIFY, ERR_R_INTERNAL_ERROR);
2626 goto err;
2627 }
2628
Richard Levittebfb06412015-12-02 00:49:35 +01002629 EVP_MD_CTX_free(mctx);
Matt Caswellb9908bf2015-07-29 14:08:49 +01002630 return 1;
Matt Caswell0f113f32015-01-22 03:40:55 +00002631 err:
Richard Levittebfb06412015-12-02 00:49:35 +01002632 EVP_MD_CTX_free(mctx);
Matt Caswellb9908bf2015-07-29 14:08:49 +01002633 return 0;
Matt Caswell0f113f32015-01-22 03:40:55 +00002634}
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00002635
Matt Caswell0f113f32015-01-22 03:40:55 +00002636/*
2637 * Check a certificate can be used for client authentication. Currently check
2638 * cert exists, if we have a suitable digest for TLS 1.2 if static DH client
2639 * certificates can be used and optionally checks suitability for Suite B.
Dr. Stephen Henson0d609392012-01-25 14:51:49 +00002640 */
2641static int ssl3_check_client_certificate(SSL *s)
Matt Caswell0f113f32015-01-22 03:40:55 +00002642{
Matt Caswell0f113f32015-01-22 03:40:55 +00002643 if (!s->cert || !s->cert->key->x509 || !s->cert->key->privatekey)
2644 return 0;
2645 /* If no suitable signature algorithm can't use certificate */
Dr. Stephen Hensond376e572015-05-12 18:56:39 +01002646 if (SSL_USE_SIGALGS(s) && !s->s3->tmp.md[s->cert->key - s->cert->pkeys])
Matt Caswell0f113f32015-01-22 03:40:55 +00002647 return 0;
2648 /*
2649 * If strict mode check suitability of chain before using it. This also
2650 * adjusts suite B digest if necessary.
2651 */
2652 if (s->cert->cert_flags & SSL_CERT_FLAGS_CHECK_TLS_STRICT &&
2653 !tls1_check_chain(s, NULL, NULL, NULL, -2))
2654 return 0;
Matt Caswell0f113f32015-01-22 03:40:55 +00002655 return 1;
2656}
Dr. Stephen Henson0d609392012-01-25 14:51:49 +00002657
Matt Caswellbe3583f2015-10-26 11:46:33 +00002658WORK_STATE tls_prepare_client_certificate(SSL *s, WORK_STATE wst)
Matt Caswellb9908bf2015-07-29 14:08:49 +01002659{
Matt Caswell0f113f32015-01-22 03:40:55 +00002660 X509 *x509 = NULL;
2661 EVP_PKEY *pkey = NULL;
2662 int i;
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00002663
Matt Caswellb9908bf2015-07-29 14:08:49 +01002664 if (wst == WORK_MORE_A) {
Matt Caswell0f113f32015-01-22 03:40:55 +00002665 /* Let cert callback update client certificates if required */
2666 if (s->cert->cert_cb) {
2667 i = s->cert->cert_cb(s, s->cert->cert_cb_arg);
2668 if (i < 0) {
2669 s->rwstate = SSL_X509_LOOKUP;
Matt Caswellb9908bf2015-07-29 14:08:49 +01002670 return WORK_MORE_A;
Matt Caswell0f113f32015-01-22 03:40:55 +00002671 }
2672 if (i == 0) {
2673 ssl3_send_alert(s, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
Matt Caswellfe3a3292015-10-05 10:39:54 +01002674 ossl_statem_set_error(s);
Matt Caswell0f113f32015-01-22 03:40:55 +00002675 return 0;
2676 }
2677 s->rwstate = SSL_NOTHING;
2678 }
2679 if (ssl3_check_client_certificate(s))
Matt Caswellb9908bf2015-07-29 14:08:49 +01002680 return WORK_FINISHED_CONTINUE;
2681
2682 /* Fall through to WORK_MORE_B */
2683 wst = WORK_MORE_B;
Matt Caswell0f113f32015-01-22 03:40:55 +00002684 }
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00002685
Matt Caswell0f113f32015-01-22 03:40:55 +00002686 /* We need to get a client cert */
Matt Caswellb9908bf2015-07-29 14:08:49 +01002687 if (wst == WORK_MORE_B) {
Matt Caswell0f113f32015-01-22 03:40:55 +00002688 /*
2689 * If we get an error, we need to ssl->rwstate=SSL_X509_LOOKUP;
2690 * return(-1); We then get retied later
2691 */
Matt Caswell0f113f32015-01-22 03:40:55 +00002692 i = ssl_do_client_cert_cb(s, &x509, &pkey);
2693 if (i < 0) {
2694 s->rwstate = SSL_X509_LOOKUP;
Matt Caswellb9908bf2015-07-29 14:08:49 +01002695 return WORK_MORE_B;
Matt Caswell0f113f32015-01-22 03:40:55 +00002696 }
2697 s->rwstate = SSL_NOTHING;
2698 if ((i == 1) && (pkey != NULL) && (x509 != NULL)) {
Matt Caswell0f113f32015-01-22 03:40:55 +00002699 if (!SSL_use_certificate(s, x509) || !SSL_use_PrivateKey(s, pkey))
2700 i = 0;
2701 } else if (i == 1) {
2702 i = 0;
Matt Caswellb9908bf2015-07-29 14:08:49 +01002703 SSLerr(SSL_F_TLS_PREPARE_CLIENT_CERTIFICATE,
Matt Caswell0f113f32015-01-22 03:40:55 +00002704 SSL_R_BAD_DATA_RETURNED_BY_CALLBACK);
2705 }
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00002706
Rich Salz222561f2015-04-30 17:33:59 -04002707 X509_free(x509);
Rich Salz25aaa982015-05-01 14:37:16 -04002708 EVP_PKEY_free(pkey);
Matt Caswell0f113f32015-01-22 03:40:55 +00002709 if (i && !ssl3_check_client_certificate(s))
2710 i = 0;
2711 if (i == 0) {
2712 if (s->version == SSL3_VERSION) {
2713 s->s3->tmp.cert_req = 0;
2714 ssl3_send_alert(s, SSL3_AL_WARNING, SSL_AD_NO_CERTIFICATE);
Matt Caswellb9908bf2015-07-29 14:08:49 +01002715 return WORK_FINISHED_CONTINUE;
Matt Caswell0f113f32015-01-22 03:40:55 +00002716 } else {
2717 s->s3->tmp.cert_req = 2;
Dr. Stephen Henson124037f2015-06-16 14:44:29 +01002718 if (!ssl3_digest_cached_records(s, 0)) {
Dr. Stephen Hensondab18ab2015-05-07 00:04:48 +01002719 ssl3_send_alert(s, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
Matt Caswellfe3a3292015-10-05 10:39:54 +01002720 ossl_statem_set_error(s);
Dr. Stephen Hensondab18ab2015-05-07 00:04:48 +01002721 return 0;
2722 }
Matt Caswell0f113f32015-01-22 03:40:55 +00002723 }
2724 }
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00002725
Matt Caswellb9908bf2015-07-29 14:08:49 +01002726 return WORK_FINISHED_CONTINUE;
Matt Caswell0f113f32015-01-22 03:40:55 +00002727 }
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00002728
Matt Caswellb9908bf2015-07-29 14:08:49 +01002729 /* Shouldn't ever get here */
2730 return WORK_ERROR;
2731}
2732
2733int tls_construct_client_certificate(SSL *s)
2734{
2735 if (!ssl3_output_cert_chain(s,
2736 (s->s3->tmp.cert_req ==
2737 2) ? NULL : s->cert->key)) {
2738 SSLerr(SSL_F_TLS_CONSTRUCT_CLIENT_CERTIFICATE, ERR_R_INTERNAL_ERROR);
2739 ssl3_send_alert(s, SSL3_AL_FATAL, SSL_AD_INTERNAL_ERROR);
Matt Caswellfe3a3292015-10-05 10:39:54 +01002740 ossl_statem_set_error(s);
Matt Caswellb9908bf2015-07-29 14:08:49 +01002741 return 0;
Matt Caswell0f113f32015-01-22 03:40:55 +00002742 }
Matt Caswellb9908bf2015-07-29 14:08:49 +01002743
2744 return 1;
Matt Caswell0f113f32015-01-22 03:40:55 +00002745}
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00002746
Matt Caswell0f113f32015-01-22 03:40:55 +00002747#define has_bits(i,m) (((i)&(m)) == (m))
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00002748
Ben Laurie36d16f82005-04-26 16:02:40 +00002749int ssl3_check_cert_and_algorithm(SSL *s)
Matt Caswell0f113f32015-01-22 03:40:55 +00002750{
Richard Levitte60f43e92015-12-09 23:59:04 +01002751 int i;
2752#ifndef OPENSSL_NO_EC
2753 int idx;
2754#endif
Matt Caswell0f113f32015-01-22 03:40:55 +00002755 long alg_k, alg_a;
2756 EVP_PKEY *pkey = NULL;
Kurt Roeckx26c79d52015-04-18 12:23:12 +02002757 int al = SSL_AD_HANDSHAKE_FAILURE;
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00002758
Matt Caswell0f113f32015-01-22 03:40:55 +00002759 alg_k = s->s3->tmp.new_cipher->algorithm_mkey;
2760 alg_a = s->s3->tmp.new_cipher->algorithm_auth;
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00002761
Matt Caswell0f113f32015-01-22 03:40:55 +00002762 /* we don't have a certificate */
Matt Caswell55a9a162015-05-12 10:27:53 +01002763 if ((alg_a & SSL_aNULL) || (alg_k & SSL_kPSK))
Matt Caswell0f113f32015-01-22 03:40:55 +00002764 return (1);
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00002765
Matt Caswell0f113f32015-01-22 03:40:55 +00002766 /* This is the passed certificate */
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00002767
Rich Salz10bf4fc2015-03-10 19:09:27 -04002768#ifndef OPENSSL_NO_EC
Richard Levitte60f43e92015-12-09 23:59:04 +01002769 idx = s->session->peer_type;
Matt Caswell0f113f32015-01-22 03:40:55 +00002770 if (idx == SSL_PKEY_ECC) {
Dr. Stephen Hensona273c6e2015-06-21 19:08:57 +01002771 if (ssl_check_srvr_ecc_cert_and_alg(s->session->peer, s) == 0) {
Matt Caswell0f113f32015-01-22 03:40:55 +00002772 /* check failed */
2773 SSLerr(SSL_F_SSL3_CHECK_CERT_AND_ALGORITHM, SSL_R_BAD_ECC_CERT);
2774 goto f_err;
2775 } else {
2776 return 1;
2777 }
2778 } else if (alg_a & SSL_aECDSA) {
2779 SSLerr(SSL_F_SSL3_CHECK_CERT_AND_ALGORITHM,
2780 SSL_R_MISSING_ECDSA_SIGNING_CERT);
2781 goto f_err;
2782 } else if (alg_k & (SSL_kECDHr | SSL_kECDHe)) {
2783 SSLerr(SSL_F_SSL3_CHECK_CERT_AND_ALGORITHM, SSL_R_MISSING_ECDH_CERT);
2784 goto f_err;
2785 }
Bodo Möllerea262262002-08-09 08:56:08 +00002786#endif
Dr. Stephen Henson8382fd32015-12-20 00:32:36 +00002787 pkey = X509_get0_pubkey(s->session->peer);
Dr. Stephen Hensona273c6e2015-06-21 19:08:57 +01002788 i = X509_certificate_type(s->session->peer, pkey);
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00002789
Matt Caswell0f113f32015-01-22 03:40:55 +00002790 /* Check that we have a certificate if we require one */
2791 if ((alg_a & SSL_aRSA) && !has_bits(i, EVP_PK_RSA | EVP_PKT_SIGN)) {
2792 SSLerr(SSL_F_SSL3_CHECK_CERT_AND_ALGORITHM,
2793 SSL_R_MISSING_RSA_SIGNING_CERT);
2794 goto f_err;
2795 }
Richard Levittebc36ee62001-02-20 08:13:47 +00002796#ifndef OPENSSL_NO_DSA
Matt Caswell0f113f32015-01-22 03:40:55 +00002797 else if ((alg_a & SSL_aDSS) && !has_bits(i, EVP_PK_DSA | EVP_PKT_SIGN)) {
2798 SSLerr(SSL_F_SSL3_CHECK_CERT_AND_ALGORITHM,
2799 SSL_R_MISSING_DSA_SIGNING_CERT);
2800 goto f_err;
2801 }
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00002802#endif
Richard Levittebc36ee62001-02-20 08:13:47 +00002803#ifndef OPENSSL_NO_RSA
Kurt Roeckx361a1192015-12-05 02:04:41 +01002804 if (alg_k & (SSL_kRSA | SSL_kRSAPSK) &&
2805 !has_bits(i, EVP_PK_RSA | EVP_PKT_ENC)) {
2806 SSLerr(SSL_F_SSL3_CHECK_CERT_AND_ALGORITHM,
2807 SSL_R_MISSING_RSA_ENCRYPTING_CERT);
2808 goto f_err;
Matt Caswell0f113f32015-01-22 03:40:55 +00002809 }
Ulf Möller79df9d61999-04-27 03:19:12 +00002810#endif
Richard Levittebc36ee62001-02-20 08:13:47 +00002811#ifndef OPENSSL_NO_DH
Dr. Stephen Hensonfb79abe2015-12-17 01:07:46 +00002812 if ((alg_k & SSL_kDHE) && (s->s3->peer_tmp == NULL)) {
Kurt Roeckx26c79d52015-04-18 12:23:12 +02002813 al = SSL_AD_INTERNAL_ERROR;
2814 SSLerr(SSL_F_SSL3_CHECK_CERT_AND_ALGORITHM, ERR_R_INTERNAL_ERROR);
Matt Caswell0f113f32015-01-22 03:40:55 +00002815 goto f_err;
Matt Caswell0f113f32015-01-22 03:40:55 +00002816 }
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00002817#endif
2818
Matt Caswell0f113f32015-01-22 03:40:55 +00002819 return (1);
2820 f_err:
Kurt Roeckx26c79d52015-04-18 12:23:12 +02002821 ssl3_send_alert(s, SSL3_AL_FATAL, al);
Matt Caswell0f113f32015-01-22 03:40:55 +00002822 return (0);
2823}
Dr. Stephen Henson6434abb2007-08-11 23:18:29 +00002824
Matt Caswelle481f9b2015-05-15 10:49:56 +01002825#ifndef OPENSSL_NO_NEXTPROTONEG
Matt Caswellb9908bf2015-07-29 14:08:49 +01002826int tls_construct_next_proto(SSL *s)
2827{
2828 unsigned int len, padding_len;
2829 unsigned char *d;
2830
2831 len = s->next_proto_negotiated_len;
2832 padding_len = 32 - ((len + 2) % 32);
2833 d = (unsigned char *)s->init_buf->data;
2834 d[4] = len;
2835 memcpy(d + 5, s->next_proto_negotiated, len);
2836 d[5 + len] = padding_len;
2837 memset(d + 6 + len, 0, padding_len);
2838 *(d++) = SSL3_MT_NEXT_PROTO;
2839 l2n3(2 + len + padding_len, d);
2840 s->init_num = 4 + 2 + len + padding_len;
2841 s->init_off = 0;
2842
2843 return 1;
2844}
Dr. Stephen Henson6434abb2007-08-11 23:18:29 +00002845#endif
Dr. Stephen Henson368888b2008-06-01 22:33:24 +00002846
2847int ssl_do_client_cert_cb(SSL *s, X509 **px509, EVP_PKEY **ppkey)
Matt Caswell0f113f32015-01-22 03:40:55 +00002848{
2849 int i = 0;
Dr. Stephen Henson368888b2008-06-01 22:33:24 +00002850#ifndef OPENSSL_NO_ENGINE
Matt Caswell0f113f32015-01-22 03:40:55 +00002851 if (s->ctx->client_cert_engine) {
2852 i = ENGINE_load_ssl_client_cert(s->ctx->client_cert_engine, s,
2853 SSL_get_client_CA_list(s),
2854 px509, ppkey, NULL, NULL, NULL);
2855 if (i != 0)
2856 return i;
2857 }
Dr. Stephen Henson368888b2008-06-01 22:33:24 +00002858#endif
Matt Caswell0f113f32015-01-22 03:40:55 +00002859 if (s->ctx->client_cert_cb)
2860 i = s->ctx->client_cert_cb(s, px509, ppkey);
2861 return i;
2862}
Matt Caswelld45ba432015-04-24 15:05:27 +01002863
2864int ssl_cipher_list_to_bytes(SSL *s, STACK_OF(SSL_CIPHER) *sk,
Emilia Kaspere9fa0922015-09-18 15:00:37 +02002865 unsigned char *p)
Matt Caswelld45ba432015-04-24 15:05:27 +01002866{
2867 int i, j = 0;
2868 SSL_CIPHER *c;
2869 unsigned char *q;
2870 int empty_reneg_info_scsv = !s->renegotiate;
2871 /* Set disabled masks for this session */
2872 ssl_set_client_disabled(s);
2873
2874 if (sk == NULL)
2875 return (0);
2876 q = p;
Matt Caswelld45ba432015-04-24 15:05:27 +01002877
2878 for (i = 0; i < sk_SSL_CIPHER_num(sk); i++) {
2879 c = sk_SSL_CIPHER_value(sk, i);
2880 /* Skip disabled ciphers */
2881 if (ssl_cipher_disabled(s, c, SSL_SECOP_CIPHER_SUPPORTED))
2882 continue;
2883#ifdef OPENSSL_SSL_DEBUG_BROKEN_PROTOCOL
2884 if (c->id == SSL3_CK_SCSV) {
2885 if (!empty_reneg_info_scsv)
2886 continue;
2887 else
2888 empty_reneg_info_scsv = 0;
2889 }
2890#endif
Emilia Kaspere9fa0922015-09-18 15:00:37 +02002891 j = s->method->put_cipher_by_char(c, p);
Matt Caswelld45ba432015-04-24 15:05:27 +01002892 p += j;
2893 }
2894 /*
2895 * If p == q, no ciphers; caller indicates an error. Otherwise, add
2896 * applicable SCSVs.
2897 */
2898 if (p != q) {
2899 if (empty_reneg_info_scsv) {
2900 static SSL_CIPHER scsv = {
2901 0, NULL, SSL3_CK_SCSV, 0, 0, 0, 0, 0, 0, 0, 0, 0
2902 };
Emilia Kaspere9fa0922015-09-18 15:00:37 +02002903 j = s->method->put_cipher_by_char(&scsv, p);
Matt Caswelld45ba432015-04-24 15:05:27 +01002904 p += j;
2905#ifdef OPENSSL_RI_DEBUG
2906 fprintf(stderr,
2907 "TLS_EMPTY_RENEGOTIATION_INFO_SCSV sent by client\n");
2908#endif
2909 }
2910 if (s->mode & SSL_MODE_SEND_FALLBACK_SCSV) {
2911 static SSL_CIPHER scsv = {
2912 0, NULL, SSL3_CK_FALLBACK_SCSV, 0, 0, 0, 0, 0, 0, 0, 0, 0
2913 };
Emilia Kaspere9fa0922015-09-18 15:00:37 +02002914 j = s->method->put_cipher_by_char(&scsv, p);
Matt Caswelld45ba432015-04-24 15:05:27 +01002915 p += j;
2916 }
2917 }
2918
2919 return (p - q);
2920}