blob: a6e0202176fca33c6b261aacdf481d3786bf6075 [file] [log] [blame]
Paul Bakker5121ce52009-01-03 21:22:43 +00001/*
2 * SSLv3/TLSv1 client-side functions
3 *
Manuel Pégourié-Gonnarda658a402015-01-23 09:45:19 +00004 * Copyright (C) 2006-2014, ARM Limited, All Rights Reserved
Paul Bakkerb96f1542010-07-18 20:36:00 +00005 *
Manuel Pégourié-Gonnardfe446432015-03-06 13:17:10 +00006 * This file is part of mbed TLS (https://tls.mbed.org)
Paul Bakkere0ccd0a2009-01-04 16:27:10 +00007 *
Paul Bakker5121ce52009-01-03 21:22:43 +00008 * This program is free software; you can redistribute it and/or modify
9 * it under the terms of the GNU General Public License as published by
10 * the Free Software Foundation; either version 2 of the License, or
11 * (at your option) any later version.
12 *
13 * This program is distributed in the hope that it will be useful,
14 * but WITHOUT ANY WARRANTY; without even the implied warranty of
15 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
16 * GNU General Public License for more details.
17 *
18 * You should have received a copy of the GNU General Public License along
19 * with this program; if not, write to the Free Software Foundation, Inc.,
20 * 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.
21 */
22
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020023#if !defined(MBEDTLS_CONFIG_FILE)
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000024#include "mbedtls/config.h"
Manuel Pégourié-Gonnardcef4ad22014-04-29 12:39:06 +020025#else
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020026#include MBEDTLS_CONFIG_FILE
Manuel Pégourié-Gonnardcef4ad22014-04-29 12:39:06 +020027#endif
Paul Bakker5121ce52009-01-03 21:22:43 +000028
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020029#if defined(MBEDTLS_SSL_CLI_C)
Paul Bakker5121ce52009-01-03 21:22:43 +000030
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000031#include "mbedtls/debug.h"
32#include "mbedtls/ssl.h"
Paul Bakker5121ce52009-01-03 21:22:43 +000033
Rich Evans00ab4702015-02-06 13:43:58 +000034#include <string.h>
35
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020036#if defined(MBEDTLS_PLATFORM_C)
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000037#include "mbedtls/platform.h"
Manuel Pégourié-Gonnarda5cc6022013-07-31 12:58:16 +020038#else
Rich Evans00ab4702015-02-06 13:43:58 +000039#include <stdlib.h>
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020040#define mbedtls_malloc malloc
41#define mbedtls_free free
Manuel Pégourié-Gonnarda5cc6022013-07-31 12:58:16 +020042#endif
43
Paul Bakkerfa6a6202013-10-28 18:48:30 +010044#if defined(_MSC_VER) && !defined(EFIX64) && !defined(EFI32)
Paul Bakkerfa9b1002013-07-03 15:31:03 +020045#include <basetsd.h>
46typedef UINT32 uint32_t;
47#else
48#include <inttypes.h>
49#endif
50
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020051#if defined(MBEDTLS_HAVE_TIME)
Paul Bakker5121ce52009-01-03 21:22:43 +000052#include <time.h>
Paul Bakkerfa9b1002013-07-03 15:31:03 +020053#endif
Paul Bakker5121ce52009-01-03 21:22:43 +000054
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020055#if defined(MBEDTLS_SSL_SESSION_TICKETS)
Paul Bakker34617722014-06-13 17:20:13 +020056/* Implementation that should never be optimized out by the compiler */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020057static void mbedtls_zeroize( void *v, size_t n ) {
Paul Bakker34617722014-06-13 17:20:13 +020058 volatile unsigned char *p = v; while( n-- ) *p++ = 0;
59}
60#endif
61
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020062#if defined(MBEDTLS_SSL_SERVER_NAME_INDICATION)
63static void ssl_write_hostname_ext( mbedtls_ssl_context *ssl,
Paul Bakkerd3edc862013-03-20 16:07:17 +010064 unsigned char *buf,
65 size_t *olen )
66{
67 unsigned char *p = buf;
Manuel Pégourié-Gonnardba26c242015-05-06 10:47:06 +010068 size_t hostname_len;
Paul Bakkerd3edc862013-03-20 16:07:17 +010069
70 *olen = 0;
71
Paul Bakker66d5d072014-06-17 16:39:18 +020072 if( ssl->hostname == NULL )
Paul Bakkerd3edc862013-03-20 16:07:17 +010073 return;
74
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020075 MBEDTLS_SSL_DEBUG_MSG( 3, ( "client hello, adding server name extension: %s",
Paul Bakkerd3edc862013-03-20 16:07:17 +010076 ssl->hostname ) );
77
Manuel Pégourié-Gonnardba26c242015-05-06 10:47:06 +010078 hostname_len = strlen( ssl->hostname );
79
Paul Bakkerd3edc862013-03-20 16:07:17 +010080 /*
81 * struct {
82 * NameType name_type;
83 * select (name_type) {
84 * case host_name: HostName;
85 * } name;
86 * } ServerName;
87 *
88 * enum {
89 * host_name(0), (255)
90 * } NameType;
91 *
92 * opaque HostName<1..2^16-1>;
93 *
94 * struct {
95 * ServerName server_name_list<1..2^16-1>
96 * } ServerNameList;
97 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020098 *p++ = (unsigned char)( ( MBEDTLS_TLS_EXT_SERVERNAME >> 8 ) & 0xFF );
99 *p++ = (unsigned char)( ( MBEDTLS_TLS_EXT_SERVERNAME ) & 0xFF );
Paul Bakkerd3edc862013-03-20 16:07:17 +0100100
Manuel Pégourié-Gonnardba26c242015-05-06 10:47:06 +0100101 *p++ = (unsigned char)( ( (hostname_len + 5) >> 8 ) & 0xFF );
102 *p++ = (unsigned char)( ( (hostname_len + 5) ) & 0xFF );
Paul Bakkerd3edc862013-03-20 16:07:17 +0100103
Manuel Pégourié-Gonnardba26c242015-05-06 10:47:06 +0100104 *p++ = (unsigned char)( ( (hostname_len + 3) >> 8 ) & 0xFF );
105 *p++ = (unsigned char)( ( (hostname_len + 3) ) & 0xFF );
Paul Bakkerd3edc862013-03-20 16:07:17 +0100106
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200107 *p++ = (unsigned char)( ( MBEDTLS_TLS_EXT_SERVERNAME_HOSTNAME ) & 0xFF );
Manuel Pégourié-Gonnardba26c242015-05-06 10:47:06 +0100108 *p++ = (unsigned char)( ( hostname_len >> 8 ) & 0xFF );
109 *p++ = (unsigned char)( ( hostname_len ) & 0xFF );
Paul Bakkerd3edc862013-03-20 16:07:17 +0100110
Manuel Pégourié-Gonnardba26c242015-05-06 10:47:06 +0100111 memcpy( p, ssl->hostname, hostname_len );
Paul Bakkerd3edc862013-03-20 16:07:17 +0100112
Manuel Pégourié-Gonnardba26c242015-05-06 10:47:06 +0100113 *olen = hostname_len + 9;
Paul Bakkerd3edc862013-03-20 16:07:17 +0100114}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200115#endif /* MBEDTLS_SSL_SERVER_NAME_INDICATION */
Paul Bakkerd3edc862013-03-20 16:07:17 +0100116
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200117#if defined(MBEDTLS_SSL_RENEGOTIATION)
118static void ssl_write_renegotiation_ext( mbedtls_ssl_context *ssl,
Paul Bakkerd3edc862013-03-20 16:07:17 +0100119 unsigned char *buf,
120 size_t *olen )
121{
122 unsigned char *p = buf;
123
124 *olen = 0;
125
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200126 if( ssl->renego_status != MBEDTLS_SSL_RENEGOTIATION_IN_PROGRESS )
Paul Bakkerd3edc862013-03-20 16:07:17 +0100127 return;
128
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200129 MBEDTLS_SSL_DEBUG_MSG( 3, ( "client hello, adding renegotiation extension" ) );
Paul Bakkerd3edc862013-03-20 16:07:17 +0100130
131 /*
132 * Secure renegotiation
133 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200134 *p++ = (unsigned char)( ( MBEDTLS_TLS_EXT_RENEGOTIATION_INFO >> 8 ) & 0xFF );
135 *p++ = (unsigned char)( ( MBEDTLS_TLS_EXT_RENEGOTIATION_INFO ) & 0xFF );
Paul Bakkerd3edc862013-03-20 16:07:17 +0100136
137 *p++ = 0x00;
138 *p++ = ( ssl->verify_data_len + 1 ) & 0xFF;
139 *p++ = ssl->verify_data_len & 0xFF;
140
141 memcpy( p, ssl->own_verify_data, ssl->verify_data_len );
142
143 *olen = 5 + ssl->verify_data_len;
144}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200145#endif /* MBEDTLS_SSL_RENEGOTIATION */
Paul Bakkerd3edc862013-03-20 16:07:17 +0100146
Manuel Pégourié-Gonnardd9423232014-12-02 11:57:29 +0100147/*
148 * Only if we handle at least one key exchange that needs signatures.
149 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200150#if defined(MBEDTLS_SSL_PROTO_TLS1_2) && \
151 defined(MBEDTLS_KEY_EXCHANGE__WITH_CERT__ENABLED)
152static void ssl_write_signature_algorithms_ext( mbedtls_ssl_context *ssl,
Paul Bakkerd3edc862013-03-20 16:07:17 +0100153 unsigned char *buf,
154 size_t *olen )
155{
156 unsigned char *p = buf;
Paul Bakkerd3edc862013-03-20 16:07:17 +0100157 size_t sig_alg_len = 0;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200158#if defined(MBEDTLS_RSA_C) || defined(MBEDTLS_ECDSA_C)
Manuel Pégourié-Gonnard5bfd9682014-06-24 15:18:11 +0200159 unsigned char *sig_alg_list = buf + 6;
160#endif
Paul Bakkerd3edc862013-03-20 16:07:17 +0100161
162 *olen = 0;
163
Manuel Pégourié-Gonnard7ca4e4d2015-05-04 10:55:58 +0200164 if( ssl->conf->max_minor_ver != MBEDTLS_SSL_MINOR_VERSION_3 )
Paul Bakkerd3edc862013-03-20 16:07:17 +0100165 return;
166
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200167 MBEDTLS_SSL_DEBUG_MSG( 3, ( "client hello, adding signature_algorithms extension" ) );
Paul Bakkerd3edc862013-03-20 16:07:17 +0100168
169 /*
170 * Prepare signature_algorithms extension (TLS 1.2)
171 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200172#if defined(MBEDTLS_RSA_C)
173#if defined(MBEDTLS_SHA512_C)
174 sig_alg_list[sig_alg_len++] = MBEDTLS_SSL_HASH_SHA512;
175 sig_alg_list[sig_alg_len++] = MBEDTLS_SSL_SIG_RSA;
176 sig_alg_list[sig_alg_len++] = MBEDTLS_SSL_HASH_SHA384;
177 sig_alg_list[sig_alg_len++] = MBEDTLS_SSL_SIG_RSA;
Paul Bakkerd3edc862013-03-20 16:07:17 +0100178#endif
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200179#if defined(MBEDTLS_SHA256_C)
180 sig_alg_list[sig_alg_len++] = MBEDTLS_SSL_HASH_SHA256;
181 sig_alg_list[sig_alg_len++] = MBEDTLS_SSL_SIG_RSA;
182 sig_alg_list[sig_alg_len++] = MBEDTLS_SSL_HASH_SHA224;
183 sig_alg_list[sig_alg_len++] = MBEDTLS_SSL_SIG_RSA;
Paul Bakkerd3edc862013-03-20 16:07:17 +0100184#endif
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200185#if defined(MBEDTLS_SHA1_C)
186 sig_alg_list[sig_alg_len++] = MBEDTLS_SSL_HASH_SHA1;
187 sig_alg_list[sig_alg_len++] = MBEDTLS_SSL_SIG_RSA;
Paul Bakkerd3edc862013-03-20 16:07:17 +0100188#endif
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200189#if defined(MBEDTLS_MD5_C)
190 sig_alg_list[sig_alg_len++] = MBEDTLS_SSL_HASH_MD5;
191 sig_alg_list[sig_alg_len++] = MBEDTLS_SSL_SIG_RSA;
Paul Bakkerd3edc862013-03-20 16:07:17 +0100192#endif
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200193#endif /* MBEDTLS_RSA_C */
194#if defined(MBEDTLS_ECDSA_C)
195#if defined(MBEDTLS_SHA512_C)
196 sig_alg_list[sig_alg_len++] = MBEDTLS_SSL_HASH_SHA512;
197 sig_alg_list[sig_alg_len++] = MBEDTLS_SSL_SIG_ECDSA;
198 sig_alg_list[sig_alg_len++] = MBEDTLS_SSL_HASH_SHA384;
199 sig_alg_list[sig_alg_len++] = MBEDTLS_SSL_SIG_ECDSA;
Manuel Pégourié-Gonnardd11eb7c2013-08-22 15:57:15 +0200200#endif
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200201#if defined(MBEDTLS_SHA256_C)
202 sig_alg_list[sig_alg_len++] = MBEDTLS_SSL_HASH_SHA256;
203 sig_alg_list[sig_alg_len++] = MBEDTLS_SSL_SIG_ECDSA;
204 sig_alg_list[sig_alg_len++] = MBEDTLS_SSL_HASH_SHA224;
205 sig_alg_list[sig_alg_len++] = MBEDTLS_SSL_SIG_ECDSA;
Manuel Pégourié-Gonnardd11eb7c2013-08-22 15:57:15 +0200206#endif
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200207#if defined(MBEDTLS_SHA1_C)
208 sig_alg_list[sig_alg_len++] = MBEDTLS_SSL_HASH_SHA1;
209 sig_alg_list[sig_alg_len++] = MBEDTLS_SSL_SIG_ECDSA;
Manuel Pégourié-Gonnardd11eb7c2013-08-22 15:57:15 +0200210#endif
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200211#if defined(MBEDTLS_MD5_C)
212 sig_alg_list[sig_alg_len++] = MBEDTLS_SSL_HASH_MD5;
213 sig_alg_list[sig_alg_len++] = MBEDTLS_SSL_SIG_ECDSA;
Manuel Pégourié-Gonnardd11eb7c2013-08-22 15:57:15 +0200214#endif
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200215#endif /* MBEDTLS_ECDSA_C */
Paul Bakkerd3edc862013-03-20 16:07:17 +0100216
217 /*
218 * enum {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200219 * none(0), mbedtls_md5(1), mbedtls_sha1(2), sha224(3), mbedtls_sha256(4), sha384(5),
220 * mbedtls_sha512(6), (255)
Paul Bakkerd3edc862013-03-20 16:07:17 +0100221 * } HashAlgorithm;
222 *
223 * enum { anonymous(0), rsa(1), dsa(2), ecdsa(3), (255) }
224 * SignatureAlgorithm;
225 *
226 * struct {
227 * HashAlgorithm hash;
228 * SignatureAlgorithm signature;
229 * } SignatureAndHashAlgorithm;
230 *
231 * SignatureAndHashAlgorithm
232 * supported_signature_algorithms<2..2^16-2>;
233 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200234 *p++ = (unsigned char)( ( MBEDTLS_TLS_EXT_SIG_ALG >> 8 ) & 0xFF );
235 *p++ = (unsigned char)( ( MBEDTLS_TLS_EXT_SIG_ALG ) & 0xFF );
Paul Bakkerd3edc862013-03-20 16:07:17 +0100236
237 *p++ = (unsigned char)( ( ( sig_alg_len + 2 ) >> 8 ) & 0xFF );
238 *p++ = (unsigned char)( ( ( sig_alg_len + 2 ) ) & 0xFF );
239
240 *p++ = (unsigned char)( ( sig_alg_len >> 8 ) & 0xFF );
241 *p++ = (unsigned char)( ( sig_alg_len ) & 0xFF );
242
Paul Bakkerd3edc862013-03-20 16:07:17 +0100243 *olen = 6 + sig_alg_len;
244}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200245#endif /* MBEDTLS_SSL_PROTO_TLS1_2 &&
246 MBEDTLS_KEY_EXCHANGE__WITH_CERT__ENABLED */
Paul Bakkerd3edc862013-03-20 16:07:17 +0100247
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200248#if defined(MBEDTLS_ECDH_C) || defined(MBEDTLS_ECDSA_C)
249static void ssl_write_supported_elliptic_curves_ext( mbedtls_ssl_context *ssl,
Paul Bakkerd3edc862013-03-20 16:07:17 +0100250 unsigned char *buf,
251 size_t *olen )
252{
253 unsigned char *p = buf;
Manuel Pégourié-Gonnard8e205fc2014-01-23 17:27:10 +0100254 unsigned char *elliptic_curve_list = p + 6;
Paul Bakkerd3edc862013-03-20 16:07:17 +0100255 size_t elliptic_curve_len = 0;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200256 const mbedtls_ecp_curve_info *info;
257#if defined(MBEDTLS_SSL_SET_CURVES)
258 const mbedtls_ecp_group_id *grp_id;
Paul Bakker0910f322014-02-06 13:41:18 +0100259#else
260 ((void) ssl);
Manuel Pégourié-Gonnardcd49f762014-02-04 15:14:13 +0100261#endif
Paul Bakkerd3edc862013-03-20 16:07:17 +0100262
263 *olen = 0;
264
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200265 MBEDTLS_SSL_DEBUG_MSG( 3, ( "client hello, adding supported_elliptic_curves extension" ) );
Paul Bakkerd3edc862013-03-20 16:07:17 +0100266
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200267#if defined(MBEDTLS_SSL_SET_CURVES)
Manuel Pégourié-Gonnard7ca4e4d2015-05-04 10:55:58 +0200268 for( grp_id = ssl->conf->curve_list; *grp_id != MBEDTLS_ECP_DP_NONE; grp_id++ )
Manuel Pégourié-Gonnard568c9cf2013-09-16 17:30:04 +0200269 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200270 info = mbedtls_ecp_curve_info_from_grp_id( *grp_id );
Manuel Pégourié-Gonnardcd49f762014-02-04 15:14:13 +0100271#else
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200272 for( info = mbedtls_ecp_curve_list(); info->grp_id != MBEDTLS_ECP_DP_NONE; info++ )
Manuel Pégourié-Gonnardcd49f762014-02-04 15:14:13 +0100273 {
274#endif
275
276 elliptic_curve_list[elliptic_curve_len++] = info->tls_id >> 8;
277 elliptic_curve_list[elliptic_curve_len++] = info->tls_id & 0xFF;
Manuel Pégourié-Gonnard568c9cf2013-09-16 17:30:04 +0200278 }
Paul Bakker5dc6b5f2013-06-29 23:26:34 +0200279
280 if( elliptic_curve_len == 0 )
281 return;
Paul Bakkerd3edc862013-03-20 16:07:17 +0100282
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200283 *p++ = (unsigned char)( ( MBEDTLS_TLS_EXT_SUPPORTED_ELLIPTIC_CURVES >> 8 ) & 0xFF );
284 *p++ = (unsigned char)( ( MBEDTLS_TLS_EXT_SUPPORTED_ELLIPTIC_CURVES ) & 0xFF );
Paul Bakkerd3edc862013-03-20 16:07:17 +0100285
286 *p++ = (unsigned char)( ( ( elliptic_curve_len + 2 ) >> 8 ) & 0xFF );
287 *p++ = (unsigned char)( ( ( elliptic_curve_len + 2 ) ) & 0xFF );
288
289 *p++ = (unsigned char)( ( ( elliptic_curve_len ) >> 8 ) & 0xFF );
290 *p++ = (unsigned char)( ( ( elliptic_curve_len ) ) & 0xFF );
291
Paul Bakkerd3edc862013-03-20 16:07:17 +0100292 *olen = 6 + elliptic_curve_len;
293}
294
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200295static void ssl_write_supported_point_formats_ext( mbedtls_ssl_context *ssl,
Paul Bakkerd3edc862013-03-20 16:07:17 +0100296 unsigned char *buf,
297 size_t *olen )
298{
299 unsigned char *p = buf;
Paul Bakkerc5a79cc2013-06-26 15:08:35 +0200300 ((void) ssl);
Paul Bakkerd3edc862013-03-20 16:07:17 +0100301
302 *olen = 0;
303
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200304 MBEDTLS_SSL_DEBUG_MSG( 3, ( "client hello, adding supported_point_formats extension" ) );
Paul Bakkerd3edc862013-03-20 16:07:17 +0100305
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200306 *p++ = (unsigned char)( ( MBEDTLS_TLS_EXT_SUPPORTED_POINT_FORMATS >> 8 ) & 0xFF );
307 *p++ = (unsigned char)( ( MBEDTLS_TLS_EXT_SUPPORTED_POINT_FORMATS ) & 0xFF );
Paul Bakkerd3edc862013-03-20 16:07:17 +0100308
309 *p++ = 0x00;
Paul Bakkerd3edc862013-03-20 16:07:17 +0100310 *p++ = 2;
Manuel Pégourié-Gonnard6b8846d2013-08-15 17:42:02 +0200311
312 *p++ = 1;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200313 *p++ = MBEDTLS_ECP_PF_UNCOMPRESSED;
Paul Bakkerd3edc862013-03-20 16:07:17 +0100314
Manuel Pégourié-Gonnard6b8846d2013-08-15 17:42:02 +0200315 *olen = 6;
Paul Bakkerd3edc862013-03-20 16:07:17 +0100316}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200317#endif /* MBEDTLS_ECDH_C || MBEDTLS_ECDSA_C */
Paul Bakkerd3edc862013-03-20 16:07:17 +0100318
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200319#if defined(MBEDTLS_SSL_MAX_FRAGMENT_LENGTH)
320static void ssl_write_max_fragment_length_ext( mbedtls_ssl_context *ssl,
Manuel Pégourié-Gonnarda0528492013-07-16 17:26:28 +0200321 unsigned char *buf,
322 size_t *olen )
323{
324 unsigned char *p = buf;
325
Manuel Pégourié-Gonnard7ca4e4d2015-05-04 10:55:58 +0200326 if( ssl->conf->mfl_code == MBEDTLS_SSL_MAX_FRAG_LEN_NONE ) {
Manuel Pégourié-Gonnarda0528492013-07-16 17:26:28 +0200327 *olen = 0;
328 return;
329 }
330
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200331 MBEDTLS_SSL_DEBUG_MSG( 3, ( "client hello, adding max_fragment_length extension" ) );
Manuel Pégourié-Gonnarda0528492013-07-16 17:26:28 +0200332
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200333 *p++ = (unsigned char)( ( MBEDTLS_TLS_EXT_MAX_FRAGMENT_LENGTH >> 8 ) & 0xFF );
334 *p++ = (unsigned char)( ( MBEDTLS_TLS_EXT_MAX_FRAGMENT_LENGTH ) & 0xFF );
Manuel Pégourié-Gonnarda0528492013-07-16 17:26:28 +0200335
336 *p++ = 0x00;
337 *p++ = 1;
338
Manuel Pégourié-Gonnard7ca4e4d2015-05-04 10:55:58 +0200339 *p++ = ssl->conf->mfl_code;
Manuel Pégourié-Gonnarda0528492013-07-16 17:26:28 +0200340
341 *olen = 5;
342}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200343#endif /* MBEDTLS_SSL_MAX_FRAGMENT_LENGTH */
Manuel Pégourié-Gonnarda0528492013-07-16 17:26:28 +0200344
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200345#if defined(MBEDTLS_SSL_TRUNCATED_HMAC)
346static void ssl_write_truncated_hmac_ext( mbedtls_ssl_context *ssl,
Manuel Pégourié-Gonnard57c28522013-07-19 11:41:43 +0200347 unsigned char *buf, size_t *olen )
348{
349 unsigned char *p = buf;
350
Manuel Pégourié-Gonnard7ca4e4d2015-05-04 10:55:58 +0200351 if( ssl->conf->trunc_hmac == MBEDTLS_SSL_TRUNC_HMAC_DISABLED )
Manuel Pégourié-Gonnard57c28522013-07-19 11:41:43 +0200352 {
353 *olen = 0;
354 return;
355 }
356
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200357 MBEDTLS_SSL_DEBUG_MSG( 3, ( "client hello, adding truncated_hmac extension" ) );
Manuel Pégourié-Gonnard57c28522013-07-19 11:41:43 +0200358
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200359 *p++ = (unsigned char)( ( MBEDTLS_TLS_EXT_TRUNCATED_HMAC >> 8 ) & 0xFF );
360 *p++ = (unsigned char)( ( MBEDTLS_TLS_EXT_TRUNCATED_HMAC ) & 0xFF );
Manuel Pégourié-Gonnard57c28522013-07-19 11:41:43 +0200361
362 *p++ = 0x00;
363 *p++ = 0x00;
364
365 *olen = 4;
366}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200367#endif /* MBEDTLS_SSL_TRUNCATED_HMAC */
Manuel Pégourié-Gonnard57c28522013-07-19 11:41:43 +0200368
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200369#if defined(MBEDTLS_SSL_ENCRYPT_THEN_MAC)
370static void ssl_write_encrypt_then_mac_ext( mbedtls_ssl_context *ssl,
Manuel Pégourié-Gonnard699cafa2014-10-27 13:57:03 +0100371 unsigned char *buf, size_t *olen )
372{
373 unsigned char *p = buf;
374
Manuel Pégourié-Gonnard7ca4e4d2015-05-04 10:55:58 +0200375 if( ssl->conf->encrypt_then_mac == MBEDTLS_SSL_ETM_DISABLED ||
376 ssl->conf->max_minor_ver == MBEDTLS_SSL_MINOR_VERSION_0 )
Manuel Pégourié-Gonnard699cafa2014-10-27 13:57:03 +0100377 {
378 *olen = 0;
379 return;
380 }
381
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200382 MBEDTLS_SSL_DEBUG_MSG( 3, ( "client hello, adding encrypt_then_mac "
Manuel Pégourié-Gonnard699cafa2014-10-27 13:57:03 +0100383 "extension" ) );
384
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200385 *p++ = (unsigned char)( ( MBEDTLS_TLS_EXT_ENCRYPT_THEN_MAC >> 8 ) & 0xFF );
386 *p++ = (unsigned char)( ( MBEDTLS_TLS_EXT_ENCRYPT_THEN_MAC ) & 0xFF );
Manuel Pégourié-Gonnard699cafa2014-10-27 13:57:03 +0100387
388 *p++ = 0x00;
389 *p++ = 0x00;
390
391 *olen = 4;
392}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200393#endif /* MBEDTLS_SSL_ENCRYPT_THEN_MAC */
Manuel Pégourié-Gonnard699cafa2014-10-27 13:57:03 +0100394
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200395#if defined(MBEDTLS_SSL_EXTENDED_MASTER_SECRET)
396static void ssl_write_extended_ms_ext( mbedtls_ssl_context *ssl,
Manuel Pégourié-Gonnard367381f2014-10-20 18:40:56 +0200397 unsigned char *buf, size_t *olen )
398{
399 unsigned char *p = buf;
400
Manuel Pégourié-Gonnard7ca4e4d2015-05-04 10:55:58 +0200401 if( ssl->conf->extended_ms == MBEDTLS_SSL_EXTENDED_MS_DISABLED ||
402 ssl->conf->max_minor_ver == MBEDTLS_SSL_MINOR_VERSION_0 )
Manuel Pégourié-Gonnard367381f2014-10-20 18:40:56 +0200403 {
404 *olen = 0;
405 return;
406 }
407
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200408 MBEDTLS_SSL_DEBUG_MSG( 3, ( "client hello, adding extended_master_secret "
Manuel Pégourié-Gonnard367381f2014-10-20 18:40:56 +0200409 "extension" ) );
410
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200411 *p++ = (unsigned char)( ( MBEDTLS_TLS_EXT_EXTENDED_MASTER_SECRET >> 8 ) & 0xFF );
412 *p++ = (unsigned char)( ( MBEDTLS_TLS_EXT_EXTENDED_MASTER_SECRET ) & 0xFF );
Manuel Pégourié-Gonnard367381f2014-10-20 18:40:56 +0200413
414 *p++ = 0x00;
415 *p++ = 0x00;
416
417 *olen = 4;
418}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200419#endif /* MBEDTLS_SSL_EXTENDED_MASTER_SECRET */
Manuel Pégourié-Gonnard367381f2014-10-20 18:40:56 +0200420
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200421#if defined(MBEDTLS_SSL_SESSION_TICKETS)
422static void ssl_write_session_ticket_ext( mbedtls_ssl_context *ssl,
Manuel Pégourié-Gonnard60182ef2013-08-02 14:44:54 +0200423 unsigned char *buf, size_t *olen )
424{
425 unsigned char *p = buf;
426 size_t tlen = ssl->session_negotiate->ticket_len;
427
Manuel Pégourié-Gonnard7ca4e4d2015-05-04 10:55:58 +0200428 if( ssl->conf->session_tickets == MBEDTLS_SSL_SESSION_TICKETS_DISABLED )
Manuel Pégourié-Gonnardaa0d4d12013-08-03 13:02:31 +0200429 {
430 *olen = 0;
431 return;
432 }
433
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200434 MBEDTLS_SSL_DEBUG_MSG( 3, ( "client hello, adding session ticket extension" ) );
Manuel Pégourié-Gonnard60182ef2013-08-02 14:44:54 +0200435
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200436 *p++ = (unsigned char)( ( MBEDTLS_TLS_EXT_SESSION_TICKET >> 8 ) & 0xFF );
437 *p++ = (unsigned char)( ( MBEDTLS_TLS_EXT_SESSION_TICKET ) & 0xFF );
Manuel Pégourié-Gonnard60182ef2013-08-02 14:44:54 +0200438
439 *p++ = (unsigned char)( ( tlen >> 8 ) & 0xFF );
440 *p++ = (unsigned char)( ( tlen ) & 0xFF );
441
442 *olen = 4;
443
444 if( ssl->session_negotiate->ticket == NULL ||
445 ssl->session_negotiate->ticket_len == 0 )
446 {
447 return;
448 }
449
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200450 MBEDTLS_SSL_DEBUG_MSG( 3, ( "sending session ticket of length %d", tlen ) );
Manuel Pégourié-Gonnard60182ef2013-08-02 14:44:54 +0200451
452 memcpy( p, ssl->session_negotiate->ticket, tlen );
453
454 *olen += tlen;
455}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200456#endif /* MBEDTLS_SSL_SESSION_TICKETS */
Manuel Pégourié-Gonnard60182ef2013-08-02 14:44:54 +0200457
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200458#if defined(MBEDTLS_SSL_ALPN)
459static void ssl_write_alpn_ext( mbedtls_ssl_context *ssl,
Manuel Pégourié-Gonnard0b874dc2014-04-07 10:57:45 +0200460 unsigned char *buf, size_t *olen )
461{
462 unsigned char *p = buf;
463 const char **cur;
464
Manuel Pégourié-Gonnard7ca4e4d2015-05-04 10:55:58 +0200465 if( ssl->conf->alpn_list == NULL )
Manuel Pégourié-Gonnard0b874dc2014-04-07 10:57:45 +0200466 {
467 *olen = 0;
468 return;
469 }
470
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200471 MBEDTLS_SSL_DEBUG_MSG( 3, ( "client hello, adding alpn extension" ) );
Manuel Pégourié-Gonnard0b874dc2014-04-07 10:57:45 +0200472
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200473 *p++ = (unsigned char)( ( MBEDTLS_TLS_EXT_ALPN >> 8 ) & 0xFF );
474 *p++ = (unsigned char)( ( MBEDTLS_TLS_EXT_ALPN ) & 0xFF );
Manuel Pégourié-Gonnard0b874dc2014-04-07 10:57:45 +0200475
476 /*
477 * opaque ProtocolName<1..2^8-1>;
478 *
479 * struct {
480 * ProtocolName protocol_name_list<2..2^16-1>
481 * } ProtocolNameList;
482 */
483
484 /* Skip writing extension and list length for now */
485 p += 4;
486
Manuel Pégourié-Gonnard7ca4e4d2015-05-04 10:55:58 +0200487 for( cur = ssl->conf->alpn_list; *cur != NULL; cur++ )
Manuel Pégourié-Gonnard0b874dc2014-04-07 10:57:45 +0200488 {
489 *p = (unsigned char)( strlen( *cur ) & 0xFF );
490 memcpy( p + 1, *cur, *p );
491 p += 1 + *p;
492 }
493
494 *olen = p - buf;
495
496 /* List length = olen - 2 (ext_type) - 2 (ext_len) - 2 (list_len) */
497 buf[4] = (unsigned char)( ( ( *olen - 6 ) >> 8 ) & 0xFF );
498 buf[5] = (unsigned char)( ( ( *olen - 6 ) ) & 0xFF );
499
500 /* Extension length = olen - 2 (ext_type) - 2 (ext_len) */
501 buf[2] = (unsigned char)( ( ( *olen - 4 ) >> 8 ) & 0xFF );
502 buf[3] = (unsigned char)( ( ( *olen - 4 ) ) & 0xFF );
503}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200504#endif /* MBEDTLS_SSL_ALPN */
Manuel Pégourié-Gonnard0b874dc2014-04-07 10:57:45 +0200505
Manuel Pégourié-Gonnardb760f002014-07-22 15:53:27 +0200506/*
507 * Generate random bytes for ClientHello
508 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200509static int ssl_generate_random( mbedtls_ssl_context *ssl )
Manuel Pégourié-Gonnardb760f002014-07-22 15:53:27 +0200510{
511 int ret;
512 unsigned char *p = ssl->handshake->randbytes;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200513#if defined(MBEDTLS_HAVE_TIME)
Manuel Pégourié-Gonnardb760f002014-07-22 15:53:27 +0200514 time_t t;
515#endif
516
Manuel Pégourié-Gonnardfb2d2232014-07-22 15:59:14 +0200517 /*
518 * When responding to a verify request, MUST reuse random (RFC 6347 4.2.1)
519 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200520#if defined(MBEDTLS_SSL_PROTO_DTLS)
Manuel Pégourié-Gonnard7ca4e4d2015-05-04 10:55:58 +0200521 if( ssl->conf->transport == MBEDTLS_SSL_TRANSPORT_DATAGRAM &&
Manuel Pégourié-Gonnardfb2d2232014-07-22 15:59:14 +0200522 ssl->handshake->verify_cookie != NULL )
523 {
524 return( 0 );
525 }
526#endif
527
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200528#if defined(MBEDTLS_HAVE_TIME)
Manuel Pégourié-Gonnardb760f002014-07-22 15:53:27 +0200529 t = time( NULL );
530 *p++ = (unsigned char)( t >> 24 );
531 *p++ = (unsigned char)( t >> 16 );
532 *p++ = (unsigned char)( t >> 8 );
533 *p++ = (unsigned char)( t );
534
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200535 MBEDTLS_SSL_DEBUG_MSG( 3, ( "client hello, current time: %lu", t ) );
Manuel Pégourié-Gonnardb760f002014-07-22 15:53:27 +0200536#else
537 if( ( ret = ssl->f_rng( ssl->p_rng, p, 4 ) ) != 0 )
538 return( ret );
539
540 p += 4;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200541#endif /* MBEDTLS_HAVE_TIME */
Manuel Pégourié-Gonnardb760f002014-07-22 15:53:27 +0200542
543 if( ( ret = ssl->f_rng( ssl->p_rng, p, 28 ) ) != 0 )
544 return( ret );
545
546 return( 0 );
547}
548
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200549static int ssl_write_client_hello( mbedtls_ssl_context *ssl )
Paul Bakker5121ce52009-01-03 21:22:43 +0000550{
Paul Bakker23986e52011-04-24 08:57:21 +0000551 int ret;
Paul Bakkerd3edc862013-03-20 16:07:17 +0100552 size_t i, n, olen, ext_len = 0;
Paul Bakker5121ce52009-01-03 21:22:43 +0000553 unsigned char *buf;
Paul Bakker2fbefde2013-06-29 16:01:15 +0200554 unsigned char *p, *q;
Manuel Pégourié-Gonnarda0e16322014-07-14 17:38:41 +0200555 unsigned char offer_compress;
Paul Bakker8f4ddae2013-04-15 15:09:54 +0200556 const int *ciphersuites;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200557 const mbedtls_ssl_ciphersuite_t *ciphersuite_info;
Paul Bakker5121ce52009-01-03 21:22:43 +0000558
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200559 MBEDTLS_SSL_DEBUG_MSG( 2, ( "=> write client hello" ) );
Paul Bakker5121ce52009-01-03 21:22:43 +0000560
Paul Bakkera9a028e2013-11-21 17:31:06 +0100561 if( ssl->f_rng == NULL )
562 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200563 MBEDTLS_SSL_DEBUG_MSG( 1, ( "no RNG provided") );
564 return( MBEDTLS_ERR_SSL_NO_RNG );
Paul Bakkera9a028e2013-11-21 17:31:06 +0100565 }
566
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200567#if defined(MBEDTLS_SSL_RENEGOTIATION)
568 if( ssl->renego_status == MBEDTLS_SSL_INITIAL_HANDSHAKE )
Manuel Pégourié-Gonnard615e6772014-11-03 08:23:14 +0100569#endif
Paul Bakker48916f92012-09-16 19:57:18 +0000570 {
Manuel Pégourié-Gonnard7ca4e4d2015-05-04 10:55:58 +0200571 ssl->major_ver = ssl->conf->min_major_ver;
572 ssl->minor_ver = ssl->conf->min_minor_ver;
Paul Bakker48916f92012-09-16 19:57:18 +0000573 }
Paul Bakker5121ce52009-01-03 21:22:43 +0000574
Manuel Pégourié-Gonnard7ca4e4d2015-05-04 10:55:58 +0200575 if( ssl->conf->max_major_ver == 0 && ssl->conf->max_minor_ver == 0 )
Paul Bakker490ecc82011-10-06 13:04:09 +0000576 {
Manuel Pégourié-Gonnard7ca4e4d2015-05-04 10:55:58 +0200577 ssl->conf->max_major_ver = MBEDTLS_SSL_MAX_MAJOR_VERSION;
578 ssl->conf->max_minor_ver = MBEDTLS_SSL_MAX_MINOR_VERSION;
Paul Bakker490ecc82011-10-06 13:04:09 +0000579 }
Paul Bakker5121ce52009-01-03 21:22:43 +0000580
581 /*
582 * 0 . 0 handshake type
583 * 1 . 3 handshake length
584 * 4 . 5 highest version supported
585 * 6 . 9 current UNIX time
586 * 10 . 37 random bytes
587 */
588 buf = ssl->out_msg;
589 p = buf + 4;
590
Manuel Pégourié-Gonnard7ca4e4d2015-05-04 10:55:58 +0200591 mbedtls_ssl_write_version( ssl->conf->max_major_ver, ssl->conf->max_minor_ver,
592 ssl->conf->transport, p );
Manuel Pégourié-Gonnardabc7e3b2014-02-11 18:15:03 +0100593 p += 2;
Paul Bakker5121ce52009-01-03 21:22:43 +0000594
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200595 MBEDTLS_SSL_DEBUG_MSG( 3, ( "client hello, max version: [%d:%d]",
Paul Bakker5121ce52009-01-03 21:22:43 +0000596 buf[4], buf[5] ) );
597
Manuel Pégourié-Gonnardb760f002014-07-22 15:53:27 +0200598 if( ( ret = ssl_generate_random( ssl ) ) != 0 )
599 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200600 MBEDTLS_SSL_DEBUG_RET( 1, "ssl_generate_random", ret );
Paul Bakkerfa9b1002013-07-03 15:31:03 +0200601 return( ret );
Manuel Pégourié-Gonnardb760f002014-07-22 15:53:27 +0200602 }
Paul Bakkerfa9b1002013-07-03 15:31:03 +0200603
Manuel Pégourié-Gonnardb760f002014-07-22 15:53:27 +0200604 memcpy( p, ssl->handshake->randbytes, 32 );
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200605 MBEDTLS_SSL_DEBUG_BUF( 3, "client hello, random bytes", p, 32 );
Manuel Pégourié-Gonnardb760f002014-07-22 15:53:27 +0200606 p += 32;
Paul Bakker5121ce52009-01-03 21:22:43 +0000607
608 /*
609 * 38 . 38 session id length
610 * 39 . 39+n session id
Manuel Pégourié-Gonnard4128aa72014-03-21 09:40:12 +0100611 * 39+n . 39+n DTLS only: cookie length (1 byte)
612 * 40+n . .. DTSL only: cookie
613 * .. . .. ciphersuitelist length (2 bytes)
614 * .. . .. ciphersuitelist
615 * .. . .. compression methods length (1 byte)
Paul Bakkerc3f177a2012-04-11 16:11:49 +0000616 * .. . .. compression methods
Manuel Pégourié-Gonnard4128aa72014-03-21 09:40:12 +0100617 * .. . .. extensions length (2 bytes)
Paul Bakkerc3f177a2012-04-11 16:11:49 +0000618 * .. . .. extensions
Paul Bakker5121ce52009-01-03 21:22:43 +0000619 */
Paul Bakker48916f92012-09-16 19:57:18 +0000620 n = ssl->session_negotiate->length;
Paul Bakker5121ce52009-01-03 21:22:43 +0000621
Manuel Pégourié-Gonnard615e6772014-11-03 08:23:14 +0100622 if( n < 16 || n > 32 ||
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200623#if defined(MBEDTLS_SSL_RENEGOTIATION)
624 ssl->renego_status != MBEDTLS_SSL_INITIAL_HANDSHAKE ||
Manuel Pégourié-Gonnard615e6772014-11-03 08:23:14 +0100625#endif
Paul Bakker0a597072012-09-25 21:55:46 +0000626 ssl->handshake->resume == 0 )
Manuel Pégourié-Gonnard6377e412013-07-31 16:31:33 +0200627 {
Paul Bakker5121ce52009-01-03 21:22:43 +0000628 n = 0;
Manuel Pégourié-Gonnard6377e412013-07-31 16:31:33 +0200629 }
630
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200631#if defined(MBEDTLS_SSL_SESSION_TICKETS)
Manuel Pégourié-Gonnard6377e412013-07-31 16:31:33 +0200632 /*
633 * RFC 5077 section 3.4: "When presenting a ticket, the client MAY
634 * generate and include a Session ID in the TLS ClientHello."
635 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200636#if defined(MBEDTLS_SSL_RENEGOTIATION)
637 if( ssl->renego_status == MBEDTLS_SSL_INITIAL_HANDSHAKE )
Manuel Pégourié-Gonnard59c6f2e2015-01-22 11:06:40 +0000638#endif
Manuel Pégourié-Gonnardd2b35ec2015-03-10 11:40:43 +0000639 {
Manuel Pégourié-Gonnard59c6f2e2015-01-22 11:06:40 +0000640 if( ssl->session_negotiate->ticket != NULL &&
641 ssl->session_negotiate->ticket_len != 0 )
642 {
643 ret = ssl->f_rng( ssl->p_rng, ssl->session_negotiate->id, 32 );
Manuel Pégourié-Gonnard6377e412013-07-31 16:31:33 +0200644
Manuel Pégourié-Gonnard59c6f2e2015-01-22 11:06:40 +0000645 if( ret != 0 )
646 return( ret );
Manuel Pégourié-Gonnard6377e412013-07-31 16:31:33 +0200647
Manuel Pégourié-Gonnard59c6f2e2015-01-22 11:06:40 +0000648 ssl->session_negotiate->length = n = 32;
649 }
Manuel Pégourié-Gonnard6377e412013-07-31 16:31:33 +0200650 }
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200651#endif /* MBEDTLS_SSL_SESSION_TICKETS */
Paul Bakker5121ce52009-01-03 21:22:43 +0000652
653 *p++ = (unsigned char) n;
654
655 for( i = 0; i < n; i++ )
Paul Bakker48916f92012-09-16 19:57:18 +0000656 *p++ = ssl->session_negotiate->id[i];
Paul Bakker5121ce52009-01-03 21:22:43 +0000657
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200658 MBEDTLS_SSL_DEBUG_MSG( 3, ( "client hello, session id len.: %d", n ) );
659 MBEDTLS_SSL_DEBUG_BUF( 3, "client hello, session id", buf + 39, n );
Paul Bakker5121ce52009-01-03 21:22:43 +0000660
Manuel Pégourié-Gonnard4128aa72014-03-21 09:40:12 +0100661 /*
662 * DTLS cookie
663 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200664#if defined(MBEDTLS_SSL_PROTO_DTLS)
Manuel Pégourié-Gonnard7ca4e4d2015-05-04 10:55:58 +0200665 if( ssl->conf->transport == MBEDTLS_SSL_TRANSPORT_DATAGRAM )
Manuel Pégourié-Gonnard4128aa72014-03-21 09:40:12 +0100666 {
Manuel Pégourié-Gonnard74848812014-07-11 02:43:49 +0200667 if( ssl->handshake->verify_cookie == NULL )
668 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200669 MBEDTLS_SSL_DEBUG_MSG( 3, ( "no verify cookie to send" ) );
Manuel Pégourié-Gonnard74848812014-07-11 02:43:49 +0200670 *p++ = 0;
671 }
672 else
673 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200674 MBEDTLS_SSL_DEBUG_BUF( 3, "client hello, cookie",
Manuel Pégourié-Gonnard74848812014-07-11 02:43:49 +0200675 ssl->handshake->verify_cookie,
676 ssl->handshake->verify_cookie_len );
677
678 *p++ = ssl->handshake->verify_cookie_len;
679 memcpy( p, ssl->handshake->verify_cookie,
680 ssl->handshake->verify_cookie_len );
681 p += ssl->handshake->verify_cookie_len;
682 }
Manuel Pégourié-Gonnard4128aa72014-03-21 09:40:12 +0100683 }
684#endif
Paul Bakker5121ce52009-01-03 21:22:43 +0000685
Paul Bakker48916f92012-09-16 19:57:18 +0000686 /*
Manuel Pégourié-Gonnard4128aa72014-03-21 09:40:12 +0100687 * Ciphersuite list
Paul Bakker48916f92012-09-16 19:57:18 +0000688 */
Manuel Pégourié-Gonnard7ca4e4d2015-05-04 10:55:58 +0200689 ciphersuites = ssl->conf->ciphersuite_list[ssl->minor_ver];
Manuel Pégourié-Gonnard4128aa72014-03-21 09:40:12 +0100690
691 /* Skip writing ciphersuite length for now */
692 n = 0;
693 q = p;
694 p += 2;
695
Paul Bakker2fbefde2013-06-29 16:01:15 +0200696 for( i = 0; ciphersuites[i] != 0; i++ )
Paul Bakker5121ce52009-01-03 21:22:43 +0000697 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200698 ciphersuite_info = mbedtls_ssl_ciphersuite_from_id( ciphersuites[i] );
Paul Bakker2fbefde2013-06-29 16:01:15 +0200699
700 if( ciphersuite_info == NULL )
701 continue;
702
Manuel Pégourié-Gonnard7ca4e4d2015-05-04 10:55:58 +0200703 if( ciphersuite_info->min_minor_ver > ssl->conf->max_minor_ver ||
704 ciphersuite_info->max_minor_ver < ssl->conf->min_minor_ver )
Paul Bakker2fbefde2013-06-29 16:01:15 +0200705 continue;
706
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200707#if defined(MBEDTLS_SSL_PROTO_DTLS)
Manuel Pégourié-Gonnard7ca4e4d2015-05-04 10:55:58 +0200708 if( ssl->conf->transport == MBEDTLS_SSL_TRANSPORT_DATAGRAM &&
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200709 ( ciphersuite_info->flags & MBEDTLS_CIPHERSUITE_NODTLS ) )
Manuel Pégourié-Gonnardd6664512014-02-06 13:26:57 +0100710 continue;
711#endif
712
Manuel Pégourié-Gonnard7ca4e4d2015-05-04 10:55:58 +0200713 if( ssl->conf->arc4_disabled == MBEDTLS_SSL_ARC4_DISABLED &&
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200714 ciphersuite_info->cipher == MBEDTLS_CIPHER_ARC4_128 )
Manuel Pégourié-Gonnardbd47a582015-01-12 13:43:29 +0100715 continue;
716
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200717 MBEDTLS_SSL_DEBUG_MSG( 3, ( "client hello, add ciphersuite: %2d",
Paul Bakker8f4ddae2013-04-15 15:09:54 +0200718 ciphersuites[i] ) );
Paul Bakker5121ce52009-01-03 21:22:43 +0000719
Paul Bakker2fbefde2013-06-29 16:01:15 +0200720 n++;
Paul Bakker8f4ddae2013-04-15 15:09:54 +0200721 *p++ = (unsigned char)( ciphersuites[i] >> 8 );
722 *p++ = (unsigned char)( ciphersuites[i] );
Paul Bakker5121ce52009-01-03 21:22:43 +0000723 }
724
Manuel Pégourié-Gonnard5d9cde22015-01-22 10:49:41 +0000725 /*
726 * Add TLS_EMPTY_RENEGOTIATION_INFO_SCSV
727 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200728#if defined(MBEDTLS_SSL_RENEGOTIATION)
729 if( ssl->renego_status == MBEDTLS_SSL_INITIAL_HANDSHAKE )
Manuel Pégourié-Gonnard5d9cde22015-01-22 10:49:41 +0000730#endif
731 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200732 *p++ = (unsigned char)( MBEDTLS_SSL_EMPTY_RENEGOTIATION_INFO >> 8 );
733 *p++ = (unsigned char)( MBEDTLS_SSL_EMPTY_RENEGOTIATION_INFO );
Manuel Pégourié-Gonnard5d9cde22015-01-22 10:49:41 +0000734 n++;
735 }
736
Manuel Pégourié-Gonnard1cbd39d2014-10-20 13:34:59 +0200737 /* Some versions of OpenSSL don't handle it correctly if not at end */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200738#if defined(MBEDTLS_SSL_FALLBACK_SCSV)
Manuel Pégourié-Gonnard684b0592015-05-06 09:27:31 +0100739 if( ssl->conf->fallback == MBEDTLS_SSL_IS_FALLBACK )
Manuel Pégourié-Gonnard1cbd39d2014-10-20 13:34:59 +0200740 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200741 MBEDTLS_SSL_DEBUG_MSG( 3, ( "adding FALLBACK_SCSV" ) );
742 *p++ = (unsigned char)( MBEDTLS_SSL_FALLBACK_SCSV_VALUE >> 8 );
743 *p++ = (unsigned char)( MBEDTLS_SSL_FALLBACK_SCSV_VALUE );
Manuel Pégourié-Gonnard1cbd39d2014-10-20 13:34:59 +0200744 n++;
745 }
746#endif
747
Paul Bakker2fbefde2013-06-29 16:01:15 +0200748 *q++ = (unsigned char)( n >> 7 );
749 *q++ = (unsigned char)( n << 1 );
750
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200751 MBEDTLS_SSL_DEBUG_MSG( 3, ( "client hello, got %d ciphersuites", n ) );
Paul Bakker2fbefde2013-06-29 16:01:15 +0200752
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200753#if defined(MBEDTLS_ZLIB_SUPPORT)
Manuel Pégourié-Gonnarda0e16322014-07-14 17:38:41 +0200754 offer_compress = 1;
Paul Bakker2770fbd2012-07-03 13:30:23 +0000755#else
Manuel Pégourié-Gonnarda0e16322014-07-14 17:38:41 +0200756 offer_compress = 0;
757#endif
Paul Bakker5121ce52009-01-03 21:22:43 +0000758
Manuel Pégourié-Gonnarda0e16322014-07-14 17:38:41 +0200759 /*
760 * We don't support compression with DTLS right now: is many records come
761 * in the same datagram, uncompressing one could overwrite the next one.
762 * We don't want to add complexity for handling that case unless there is
763 * an actual need for it.
764 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200765#if defined(MBEDTLS_SSL_PROTO_DTLS)
Manuel Pégourié-Gonnard7ca4e4d2015-05-04 10:55:58 +0200766 if( ssl->conf->transport == MBEDTLS_SSL_TRANSPORT_DATAGRAM )
Manuel Pégourié-Gonnarda0e16322014-07-14 17:38:41 +0200767 offer_compress = 0;
768#endif
769
770 if( offer_compress )
771 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200772 MBEDTLS_SSL_DEBUG_MSG( 3, ( "client hello, compress len.: %d", 2 ) );
773 MBEDTLS_SSL_DEBUG_MSG( 3, ( "client hello, compress alg.: %d %d",
774 MBEDTLS_SSL_COMPRESS_DEFLATE, MBEDTLS_SSL_COMPRESS_NULL ) );
Manuel Pégourié-Gonnarda0e16322014-07-14 17:38:41 +0200775
776 *p++ = 2;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200777 *p++ = MBEDTLS_SSL_COMPRESS_DEFLATE;
778 *p++ = MBEDTLS_SSL_COMPRESS_NULL;
Manuel Pégourié-Gonnarda0e16322014-07-14 17:38:41 +0200779 }
780 else
781 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200782 MBEDTLS_SSL_DEBUG_MSG( 3, ( "client hello, compress len.: %d", 1 ) );
783 MBEDTLS_SSL_DEBUG_MSG( 3, ( "client hello, compress alg.: %d",
784 MBEDTLS_SSL_COMPRESS_NULL ) );
Manuel Pégourié-Gonnarda0e16322014-07-14 17:38:41 +0200785
786 *p++ = 1;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200787 *p++ = MBEDTLS_SSL_COMPRESS_NULL;
Manuel Pégourié-Gonnarda0e16322014-07-14 17:38:41 +0200788 }
Paul Bakker5121ce52009-01-03 21:22:43 +0000789
Paul Bakkerd3edc862013-03-20 16:07:17 +0100790 // First write extensions, then the total length
791 //
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200792#if defined(MBEDTLS_SSL_SERVER_NAME_INDICATION)
Paul Bakkerd3edc862013-03-20 16:07:17 +0100793 ssl_write_hostname_ext( ssl, p + 2 + ext_len, &olen );
794 ext_len += olen;
Paul Bakker0be444a2013-08-27 21:55:01 +0200795#endif
Paul Bakker5121ce52009-01-03 21:22:43 +0000796
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200797#if defined(MBEDTLS_SSL_RENEGOTIATION)
Paul Bakkerd3edc862013-03-20 16:07:17 +0100798 ssl_write_renegotiation_ext( ssl, p + 2 + ext_len, &olen );
799 ext_len += olen;
Manuel Pégourié-Gonnard615e6772014-11-03 08:23:14 +0100800#endif
Paul Bakkerc3f177a2012-04-11 16:11:49 +0000801
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200802#if defined(MBEDTLS_SSL_PROTO_TLS1_2) && \
803 defined(MBEDTLS_KEY_EXCHANGE__WITH_CERT__ENABLED)
Paul Bakkerd3edc862013-03-20 16:07:17 +0100804 ssl_write_signature_algorithms_ext( ssl, p + 2 + ext_len, &olen );
805 ext_len += olen;
Paul Bakkerd2f068e2013-08-27 21:19:20 +0200806#endif
Paul Bakkerc3f177a2012-04-11 16:11:49 +0000807
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200808#if defined(MBEDTLS_ECDH_C) || defined(MBEDTLS_ECDSA_C)
Paul Bakkerd3edc862013-03-20 16:07:17 +0100809 ssl_write_supported_elliptic_curves_ext( ssl, p + 2 + ext_len, &olen );
810 ext_len += olen;
Paul Bakker41c83d32013-03-20 14:39:14 +0100811
Paul Bakkerd3edc862013-03-20 16:07:17 +0100812 ssl_write_supported_point_formats_ext( ssl, p + 2 + ext_len, &olen );
813 ext_len += olen;
Paul Bakker41c83d32013-03-20 14:39:14 +0100814#endif
815
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200816#if defined(MBEDTLS_SSL_MAX_FRAGMENT_LENGTH)
Manuel Pégourié-Gonnarda0528492013-07-16 17:26:28 +0200817 ssl_write_max_fragment_length_ext( ssl, p + 2 + ext_len, &olen );
818 ext_len += olen;
Paul Bakker05decb22013-08-15 13:33:48 +0200819#endif
Manuel Pégourié-Gonnarda0528492013-07-16 17:26:28 +0200820
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200821#if defined(MBEDTLS_SSL_TRUNCATED_HMAC)
Manuel Pégourié-Gonnard57c28522013-07-19 11:41:43 +0200822 ssl_write_truncated_hmac_ext( ssl, p + 2 + ext_len, &olen );
823 ext_len += olen;
Paul Bakker1f2bc622013-08-15 13:45:55 +0200824#endif
Manuel Pégourié-Gonnard57c28522013-07-19 11:41:43 +0200825
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200826#if defined(MBEDTLS_SSL_ENCRYPT_THEN_MAC)
Manuel Pégourié-Gonnard699cafa2014-10-27 13:57:03 +0100827 ssl_write_encrypt_then_mac_ext( ssl, p + 2 + ext_len, &olen );
828 ext_len += olen;
829#endif
830
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200831#if defined(MBEDTLS_SSL_EXTENDED_MASTER_SECRET)
Manuel Pégourié-Gonnard367381f2014-10-20 18:40:56 +0200832 ssl_write_extended_ms_ext( ssl, p + 2 + ext_len, &olen );
833 ext_len += olen;
834#endif
835
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200836#if defined(MBEDTLS_SSL_SESSION_TICKETS)
Manuel Pégourié-Gonnard60182ef2013-08-02 14:44:54 +0200837 ssl_write_session_ticket_ext( ssl, p + 2 + ext_len, &olen );
838 ext_len += olen;
Paul Bakkera503a632013-08-14 13:48:06 +0200839#endif
Manuel Pégourié-Gonnard60182ef2013-08-02 14:44:54 +0200840
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200841#if defined(MBEDTLS_SSL_ALPN)
Manuel Pégourié-Gonnard0b874dc2014-04-07 10:57:45 +0200842 ssl_write_alpn_ext( ssl, p + 2 + ext_len, &olen );
843 ext_len += olen;
844#endif
845
Manuel Pégourié-Gonnardeaecbd32014-11-06 02:38:02 +0100846 /* olen unused if all extensions are disabled */
847 ((void) olen);
848
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200849 MBEDTLS_SSL_DEBUG_MSG( 3, ( "client hello, total extension length: %d",
Paul Bakkerc3f177a2012-04-11 16:11:49 +0000850 ext_len ) );
851
Paul Bakkera7036632014-04-30 10:15:38 +0200852 if( ext_len > 0 )
853 {
854 *p++ = (unsigned char)( ( ext_len >> 8 ) & 0xFF );
855 *p++ = (unsigned char)( ( ext_len ) & 0xFF );
856 p += ext_len;
857 }
Paul Bakker41c83d32013-03-20 14:39:14 +0100858
Paul Bakker5121ce52009-01-03 21:22:43 +0000859 ssl->out_msglen = p - buf;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200860 ssl->out_msgtype = MBEDTLS_SSL_MSG_HANDSHAKE;
861 ssl->out_msg[0] = MBEDTLS_SSL_HS_CLIENT_HELLO;
Paul Bakker5121ce52009-01-03 21:22:43 +0000862
863 ssl->state++;
864
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200865#if defined(MBEDTLS_SSL_PROTO_DTLS)
Manuel Pégourié-Gonnard7ca4e4d2015-05-04 10:55:58 +0200866 if( ssl->conf->transport == MBEDTLS_SSL_TRANSPORT_DATAGRAM )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200867 mbedtls_ssl_send_flight_completed( ssl );
Manuel Pégourié-Gonnard7de3c9e2014-09-29 15:29:48 +0200868#endif
869
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200870 if( ( ret = mbedtls_ssl_write_record( ssl ) ) != 0 )
Paul Bakker5121ce52009-01-03 21:22:43 +0000871 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200872 MBEDTLS_SSL_DEBUG_RET( 1, "mbedtls_ssl_write_record", ret );
Paul Bakker5121ce52009-01-03 21:22:43 +0000873 return( ret );
874 }
875
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200876 MBEDTLS_SSL_DEBUG_MSG( 2, ( "<= write client hello" ) );
Paul Bakker5121ce52009-01-03 21:22:43 +0000877
878 return( 0 );
879}
880
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200881static int ssl_parse_renegotiation_info( mbedtls_ssl_context *ssl,
Manuel Pégourié-Gonnarde048b672013-07-19 12:47:00 +0200882 const unsigned char *buf,
Paul Bakker48916f92012-09-16 19:57:18 +0000883 size_t len )
884{
Paul Bakkerd0f6fa72012-09-17 09:18:12 +0000885 int ret;
886
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200887#if defined(MBEDTLS_SSL_RENEGOTIATION)
888 if( ssl->renego_status != MBEDTLS_SSL_INITIAL_HANDSHAKE )
Paul Bakker48916f92012-09-16 19:57:18 +0000889 {
Manuel Pégourié-Gonnard31ff1d22013-10-28 13:46:11 +0100890 /* Check verify-data in constant-time. The length OTOH is no secret */
Paul Bakker48916f92012-09-16 19:57:18 +0000891 if( len != 1 + ssl->verify_data_len * 2 ||
892 buf[0] != ssl->verify_data_len * 2 ||
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200893 mbedtls_ssl_safer_memcmp( buf + 1,
Manuel Pégourié-Gonnard31ff1d22013-10-28 13:46:11 +0100894 ssl->own_verify_data, ssl->verify_data_len ) != 0 ||
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200895 mbedtls_ssl_safer_memcmp( buf + 1 + ssl->verify_data_len,
Manuel Pégourié-Gonnard31ff1d22013-10-28 13:46:11 +0100896 ssl->peer_verify_data, ssl->verify_data_len ) != 0 )
Paul Bakker48916f92012-09-16 19:57:18 +0000897 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200898 MBEDTLS_SSL_DEBUG_MSG( 1, ( "non-matching renegotiation info" ) );
Paul Bakkerd0f6fa72012-09-17 09:18:12 +0000899
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200900 if( ( ret = mbedtls_ssl_send_fatal_handshake_failure( ssl ) ) != 0 )
Paul Bakkerd0f6fa72012-09-17 09:18:12 +0000901 return( ret );
902
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200903 return( MBEDTLS_ERR_SSL_BAD_HS_SERVER_HELLO );
Paul Bakker48916f92012-09-16 19:57:18 +0000904 }
905 }
Manuel Pégourié-Gonnard615e6772014-11-03 08:23:14 +0100906 else
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200907#endif /* MBEDTLS_SSL_RENEGOTIATION */
Manuel Pégourié-Gonnard615e6772014-11-03 08:23:14 +0100908 {
909 if( len != 1 || buf[0] != 0x00 )
910 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200911 MBEDTLS_SSL_DEBUG_MSG( 1, ( "non-zero length renegotiation info" ) );
Manuel Pégourié-Gonnard615e6772014-11-03 08:23:14 +0100912
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200913 if( ( ret = mbedtls_ssl_send_fatal_handshake_failure( ssl ) ) != 0 )
Manuel Pégourié-Gonnard615e6772014-11-03 08:23:14 +0100914 return( ret );
915
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200916 return( MBEDTLS_ERR_SSL_BAD_HS_SERVER_HELLO );
Manuel Pégourié-Gonnard615e6772014-11-03 08:23:14 +0100917 }
918
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200919 ssl->secure_renegotiation = MBEDTLS_SSL_SECURE_RENEGOTIATION;
Manuel Pégourié-Gonnard615e6772014-11-03 08:23:14 +0100920 }
Paul Bakker48916f92012-09-16 19:57:18 +0000921
922 return( 0 );
923}
Manuel Pégourié-Gonnard57c28522013-07-19 11:41:43 +0200924
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200925#if defined(MBEDTLS_SSL_MAX_FRAGMENT_LENGTH)
926static int ssl_parse_max_fragment_length_ext( mbedtls_ssl_context *ssl,
Manuel Pégourié-Gonnarde048b672013-07-19 12:47:00 +0200927 const unsigned char *buf,
Manuel Pégourié-Gonnardde600e52013-07-17 10:14:38 +0200928 size_t len )
929{
930 /*
931 * server should use the extension only if we did,
932 * and if so the server's value should match ours (and len is always 1)
933 */
Manuel Pégourié-Gonnard7ca4e4d2015-05-04 10:55:58 +0200934 if( ssl->conf->mfl_code == MBEDTLS_SSL_MAX_FRAG_LEN_NONE ||
Manuel Pégourié-Gonnardde600e52013-07-17 10:14:38 +0200935 len != 1 ||
Manuel Pégourié-Gonnard7ca4e4d2015-05-04 10:55:58 +0200936 buf[0] != ssl->conf->mfl_code )
Manuel Pégourié-Gonnardde600e52013-07-17 10:14:38 +0200937 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200938 return( MBEDTLS_ERR_SSL_BAD_HS_SERVER_HELLO );
Manuel Pégourié-Gonnardde600e52013-07-17 10:14:38 +0200939 }
940
941 return( 0 );
942}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200943#endif /* MBEDTLS_SSL_MAX_FRAGMENT_LENGTH */
Paul Bakker48916f92012-09-16 19:57:18 +0000944
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200945#if defined(MBEDTLS_SSL_TRUNCATED_HMAC)
946static int ssl_parse_truncated_hmac_ext( mbedtls_ssl_context *ssl,
Manuel Pégourié-Gonnard57c28522013-07-19 11:41:43 +0200947 const unsigned char *buf,
948 size_t len )
949{
Manuel Pégourié-Gonnard7ca4e4d2015-05-04 10:55:58 +0200950 if( ssl->conf->trunc_hmac == MBEDTLS_SSL_TRUNC_HMAC_DISABLED ||
Manuel Pégourié-Gonnard57c28522013-07-19 11:41:43 +0200951 len != 0 )
952 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200953 return( MBEDTLS_ERR_SSL_BAD_HS_SERVER_HELLO );
Manuel Pégourié-Gonnard57c28522013-07-19 11:41:43 +0200954 }
955
956 ((void) buf);
957
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200958 ssl->session_negotiate->trunc_hmac = MBEDTLS_SSL_TRUNC_HMAC_ENABLED;
Manuel Pégourié-Gonnard57c28522013-07-19 11:41:43 +0200959
960 return( 0 );
961}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200962#endif /* MBEDTLS_SSL_TRUNCATED_HMAC */
Manuel Pégourié-Gonnard57c28522013-07-19 11:41:43 +0200963
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200964#if defined(MBEDTLS_SSL_ENCRYPT_THEN_MAC)
965static int ssl_parse_encrypt_then_mac_ext( mbedtls_ssl_context *ssl,
Manuel Pégourié-Gonnard699cafa2014-10-27 13:57:03 +0100966 const unsigned char *buf,
967 size_t len )
968{
Manuel Pégourié-Gonnard7ca4e4d2015-05-04 10:55:58 +0200969 if( ssl->conf->encrypt_then_mac == MBEDTLS_SSL_ETM_DISABLED ||
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200970 ssl->minor_ver == MBEDTLS_SSL_MINOR_VERSION_0 ||
Manuel Pégourié-Gonnard699cafa2014-10-27 13:57:03 +0100971 len != 0 )
972 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200973 return( MBEDTLS_ERR_SSL_BAD_HS_SERVER_HELLO );
Manuel Pégourié-Gonnard699cafa2014-10-27 13:57:03 +0100974 }
975
976 ((void) buf);
977
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200978 ssl->session_negotiate->encrypt_then_mac = MBEDTLS_SSL_ETM_ENABLED;
Manuel Pégourié-Gonnard699cafa2014-10-27 13:57:03 +0100979
980 return( 0 );
981}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200982#endif /* MBEDTLS_SSL_ENCRYPT_THEN_MAC */
Manuel Pégourié-Gonnard699cafa2014-10-27 13:57:03 +0100983
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200984#if defined(MBEDTLS_SSL_EXTENDED_MASTER_SECRET)
985static int ssl_parse_extended_ms_ext( mbedtls_ssl_context *ssl,
Manuel Pégourié-Gonnard367381f2014-10-20 18:40:56 +0200986 const unsigned char *buf,
987 size_t len )
988{
Manuel Pégourié-Gonnard7ca4e4d2015-05-04 10:55:58 +0200989 if( ssl->conf->extended_ms == MBEDTLS_SSL_EXTENDED_MS_DISABLED ||
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200990 ssl->minor_ver == MBEDTLS_SSL_MINOR_VERSION_0 ||
Manuel Pégourié-Gonnard367381f2014-10-20 18:40:56 +0200991 len != 0 )
992 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200993 return( MBEDTLS_ERR_SSL_BAD_HS_SERVER_HELLO );
Manuel Pégourié-Gonnard367381f2014-10-20 18:40:56 +0200994 }
995
996 ((void) buf);
997
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200998 ssl->handshake->extended_ms = MBEDTLS_SSL_EXTENDED_MS_ENABLED;
Manuel Pégourié-Gonnard367381f2014-10-20 18:40:56 +0200999
1000 return( 0 );
1001}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001002#endif /* MBEDTLS_SSL_EXTENDED_MASTER_SECRET */
Manuel Pégourié-Gonnard367381f2014-10-20 18:40:56 +02001003
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001004#if defined(MBEDTLS_SSL_SESSION_TICKETS)
1005static int ssl_parse_session_ticket_ext( mbedtls_ssl_context *ssl,
Manuel Pégourié-Gonnard60182ef2013-08-02 14:44:54 +02001006 const unsigned char *buf,
1007 size_t len )
1008{
Manuel Pégourié-Gonnard7ca4e4d2015-05-04 10:55:58 +02001009 if( ssl->conf->session_tickets == MBEDTLS_SSL_SESSION_TICKETS_DISABLED ||
Manuel Pégourié-Gonnardaa0d4d12013-08-03 13:02:31 +02001010 len != 0 )
1011 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001012 return( MBEDTLS_ERR_SSL_BAD_HS_SERVER_HELLO );
Manuel Pégourié-Gonnardaa0d4d12013-08-03 13:02:31 +02001013 }
Manuel Pégourié-Gonnard60182ef2013-08-02 14:44:54 +02001014
1015 ((void) buf);
Manuel Pégourié-Gonnarda5cc6022013-07-31 12:58:16 +02001016
1017 ssl->handshake->new_session_ticket = 1;
Manuel Pégourié-Gonnard60182ef2013-08-02 14:44:54 +02001018
1019 return( 0 );
1020}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001021#endif /* MBEDTLS_SSL_SESSION_TICKETS */
Manuel Pégourié-Gonnard60182ef2013-08-02 14:44:54 +02001022
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001023#if defined(MBEDTLS_ECDH_C) || defined(MBEDTLS_ECDSA_C)
1024static int ssl_parse_supported_point_formats_ext( mbedtls_ssl_context *ssl,
Manuel Pégourié-Gonnard7b19c162013-08-15 18:01:11 +02001025 const unsigned char *buf,
1026 size_t len )
1027{
1028 size_t list_size;
1029 const unsigned char *p;
1030
1031 list_size = buf[0];
1032 if( list_size + 1 != len )
1033 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001034 MBEDTLS_SSL_DEBUG_MSG( 1, ( "bad server hello message" ) );
1035 return( MBEDTLS_ERR_SSL_BAD_HS_SERVER_HELLO );
Manuel Pégourié-Gonnard7b19c162013-08-15 18:01:11 +02001036 }
1037
Manuel Pégourié-Gonnardfd35af12014-06-23 14:10:13 +02001038 p = buf + 1;
Manuel Pégourié-Gonnard7b19c162013-08-15 18:01:11 +02001039 while( list_size > 0 )
1040 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001041 if( p[0] == MBEDTLS_ECP_PF_UNCOMPRESSED ||
1042 p[0] == MBEDTLS_ECP_PF_COMPRESSED )
Manuel Pégourié-Gonnard7b19c162013-08-15 18:01:11 +02001043 {
Manuel Pégourié-Gonnard5734b2d2013-08-15 19:04:02 +02001044 ssl->handshake->ecdh_ctx.point_format = p[0];
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001045 MBEDTLS_SSL_DEBUG_MSG( 4, ( "point format selected: %d", p[0] ) );
Manuel Pégourié-Gonnard7b19c162013-08-15 18:01:11 +02001046 return( 0 );
1047 }
1048
1049 list_size--;
1050 p++;
1051 }
1052
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001053 MBEDTLS_SSL_DEBUG_MSG( 1, ( "no point format in common" ) );
1054 return( MBEDTLS_ERR_SSL_BAD_HS_SERVER_HELLO );
Manuel Pégourié-Gonnard7b19c162013-08-15 18:01:11 +02001055}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001056#endif /* MBEDTLS_ECDH_C || MBEDTLS_ECDSA_C */
Manuel Pégourié-Gonnard7b19c162013-08-15 18:01:11 +02001057
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001058#if defined(MBEDTLS_SSL_ALPN)
1059static int ssl_parse_alpn_ext( mbedtls_ssl_context *ssl,
Manuel Pégourié-Gonnard0b874dc2014-04-07 10:57:45 +02001060 const unsigned char *buf, size_t len )
1061{
1062 size_t list_len, name_len;
1063 const char **p;
1064
1065 /* If we didn't send it, the server shouldn't send it */
Manuel Pégourié-Gonnard7ca4e4d2015-05-04 10:55:58 +02001066 if( ssl->conf->alpn_list == NULL )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001067 return( MBEDTLS_ERR_SSL_BAD_HS_SERVER_HELLO );
Manuel Pégourié-Gonnard0b874dc2014-04-07 10:57:45 +02001068
1069 /*
1070 * opaque ProtocolName<1..2^8-1>;
1071 *
1072 * struct {
1073 * ProtocolName protocol_name_list<2..2^16-1>
1074 * } ProtocolNameList;
1075 *
1076 * the "ProtocolNameList" MUST contain exactly one "ProtocolName"
1077 */
1078
1079 /* Min length is 2 (list_len) + 1 (name_len) + 1 (name) */
1080 if( len < 4 )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001081 return( MBEDTLS_ERR_SSL_BAD_HS_SERVER_HELLO );
Manuel Pégourié-Gonnard0b874dc2014-04-07 10:57:45 +02001082
1083 list_len = ( buf[0] << 8 ) | buf[1];
1084 if( list_len != len - 2 )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001085 return( MBEDTLS_ERR_SSL_BAD_HS_SERVER_HELLO );
Manuel Pégourié-Gonnard0b874dc2014-04-07 10:57:45 +02001086
1087 name_len = buf[2];
1088 if( name_len != list_len - 1 )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001089 return( MBEDTLS_ERR_SSL_BAD_HS_SERVER_HELLO );
Manuel Pégourié-Gonnard0b874dc2014-04-07 10:57:45 +02001090
1091 /* Check that the server chosen protocol was in our list and save it */
Manuel Pégourié-Gonnard7ca4e4d2015-05-04 10:55:58 +02001092 for( p = ssl->conf->alpn_list; *p != NULL; p++ )
Manuel Pégourié-Gonnard0b874dc2014-04-07 10:57:45 +02001093 {
1094 if( name_len == strlen( *p ) &&
1095 memcmp( buf + 3, *p, name_len ) == 0 )
1096 {
1097 ssl->alpn_chosen = *p;
1098 return( 0 );
1099 }
1100 }
1101
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001102 return( MBEDTLS_ERR_SSL_BAD_HS_SERVER_HELLO );
Manuel Pégourié-Gonnard0b874dc2014-04-07 10:57:45 +02001103}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001104#endif /* MBEDTLS_SSL_ALPN */
Manuel Pégourié-Gonnard0b874dc2014-04-07 10:57:45 +02001105
Manuel Pégourié-Gonnard74848812014-07-11 02:43:49 +02001106/*
1107 * Parse HelloVerifyRequest. Only called after verifying the HS type.
1108 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001109#if defined(MBEDTLS_SSL_PROTO_DTLS)
1110static int ssl_parse_hello_verify_request( mbedtls_ssl_context *ssl )
Manuel Pégourié-Gonnard74848812014-07-11 02:43:49 +02001111{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001112 const unsigned char *p = ssl->in_msg + mbedtls_ssl_hs_hdr_len( ssl );
Manuel Pégourié-Gonnard74848812014-07-11 02:43:49 +02001113 int major_ver, minor_ver;
1114 unsigned char cookie_len;
1115
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001116 MBEDTLS_SSL_DEBUG_MSG( 2, ( "=> parse hello verify request" ) );
Manuel Pégourié-Gonnard74848812014-07-11 02:43:49 +02001117
1118 /*
1119 * struct {
1120 * ProtocolVersion server_version;
1121 * opaque cookie<0..2^8-1>;
1122 * } HelloVerifyRequest;
1123 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001124 MBEDTLS_SSL_DEBUG_BUF( 3, "server version", p, 2 );
Manuel Pégourié-Gonnard7ca4e4d2015-05-04 10:55:58 +02001125 mbedtls_ssl_read_version( &major_ver, &minor_ver, ssl->conf->transport, p );
Manuel Pégourié-Gonnard74848812014-07-11 02:43:49 +02001126 p += 2;
1127
Manuel Pégourié-Gonnardb35fe562014-08-09 17:00:46 +02001128 /*
1129 * Since the RFC is not clear on this point, accept DTLS 1.0 (TLS 1.1)
1130 * even is lower than our min version.
1131 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001132 if( major_ver < MBEDTLS_SSL_MAJOR_VERSION_3 ||
1133 minor_ver < MBEDTLS_SSL_MINOR_VERSION_2 ||
Manuel Pégourié-Gonnard7ca4e4d2015-05-04 10:55:58 +02001134 major_ver > ssl->conf->max_major_ver ||
1135 minor_ver > ssl->conf->max_minor_ver )
Manuel Pégourié-Gonnard74848812014-07-11 02:43:49 +02001136 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001137 MBEDTLS_SSL_DEBUG_MSG( 1, ( "bad server version" ) );
Manuel Pégourié-Gonnard74848812014-07-11 02:43:49 +02001138
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001139 mbedtls_ssl_send_alert_message( ssl, MBEDTLS_SSL_ALERT_LEVEL_FATAL,
1140 MBEDTLS_SSL_ALERT_MSG_PROTOCOL_VERSION );
Manuel Pégourié-Gonnard74848812014-07-11 02:43:49 +02001141
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001142 return( MBEDTLS_ERR_SSL_BAD_HS_PROTOCOL_VERSION );
Manuel Pégourié-Gonnard74848812014-07-11 02:43:49 +02001143 }
1144
1145 cookie_len = *p++;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001146 MBEDTLS_SSL_DEBUG_BUF( 3, "cookie", p, cookie_len );
Manuel Pégourié-Gonnard74848812014-07-11 02:43:49 +02001147
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001148 mbedtls_free( ssl->handshake->verify_cookie );
Manuel Pégourié-Gonnard74848812014-07-11 02:43:49 +02001149
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001150 ssl->handshake->verify_cookie = mbedtls_malloc( cookie_len );
Manuel Pégourié-Gonnard74848812014-07-11 02:43:49 +02001151 if( ssl->handshake->verify_cookie == NULL )
1152 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001153 MBEDTLS_SSL_DEBUG_MSG( 1, ( "malloc failed (%d bytes)", cookie_len ) );
1154 return( MBEDTLS_ERR_SSL_MALLOC_FAILED );
Manuel Pégourié-Gonnard74848812014-07-11 02:43:49 +02001155 }
1156
1157 memcpy( ssl->handshake->verify_cookie, p, cookie_len );
1158 ssl->handshake->verify_cookie_len = cookie_len;
1159
Manuel Pégourié-Gonnard67427c02014-07-11 13:45:34 +02001160 /* Start over at ClientHello */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001161 ssl->state = MBEDTLS_SSL_CLIENT_HELLO;
1162 mbedtls_ssl_reset_checksum( ssl );
Manuel Pégourié-Gonnard74848812014-07-11 02:43:49 +02001163
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001164 mbedtls_ssl_recv_flight_completed( ssl );
Manuel Pégourié-Gonnard5d8ba532014-09-19 15:09:21 +02001165
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001166 MBEDTLS_SSL_DEBUG_MSG( 2, ( "<= parse hello verify request" ) );
Manuel Pégourié-Gonnard74848812014-07-11 02:43:49 +02001167
1168 return( 0 );
1169}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001170#endif /* MBEDTLS_SSL_PROTO_DTLS */
Manuel Pégourié-Gonnard74848812014-07-11 02:43:49 +02001171
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001172static int ssl_parse_server_hello( mbedtls_ssl_context *ssl )
Paul Bakker5121ce52009-01-03 21:22:43 +00001173{
Manuel Pégourié-Gonnarda0e16322014-07-14 17:38:41 +02001174 int ret, i;
Paul Bakker23986e52011-04-24 08:57:21 +00001175 size_t n;
Manuel Pégourié-Gonnardf7cdbc02014-10-17 17:02:10 +02001176 size_t ext_len;
Paul Bakker48916f92012-09-16 19:57:18 +00001177 unsigned char *buf, *ext;
Manuel Pégourié-Gonnarda0e16322014-07-14 17:38:41 +02001178 unsigned char comp, accept_comp;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001179#if defined(MBEDTLS_SSL_RENEGOTIATION)
Paul Bakker48916f92012-09-16 19:57:18 +00001180 int renegotiation_info_seen = 0;
Manuel Pégourié-Gonnardeaecbd32014-11-06 02:38:02 +01001181#endif
Paul Bakkerd0f6fa72012-09-17 09:18:12 +00001182 int handshake_failure = 0;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001183 const mbedtls_ssl_ciphersuite_t *suite_info;
1184#if defined(MBEDTLS_DEBUG_C)
Manuel Pégourié-Gonnard1032c1d2013-09-18 17:18:34 +02001185 uint32_t t;
1186#endif
Paul Bakker5121ce52009-01-03 21:22:43 +00001187
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001188 MBEDTLS_SSL_DEBUG_MSG( 2, ( "=> parse server hello" ) );
Paul Bakker5121ce52009-01-03 21:22:43 +00001189
Paul Bakker5121ce52009-01-03 21:22:43 +00001190 buf = ssl->in_msg;
1191
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001192 if( ( ret = mbedtls_ssl_read_record( ssl ) ) != 0 )
Paul Bakker5121ce52009-01-03 21:22:43 +00001193 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001194 MBEDTLS_SSL_DEBUG_RET( 1, "mbedtls_ssl_read_record", ret );
Paul Bakker5121ce52009-01-03 21:22:43 +00001195 return( ret );
1196 }
1197
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001198 if( ssl->in_msgtype != MBEDTLS_SSL_MSG_HANDSHAKE )
Paul Bakker5121ce52009-01-03 21:22:43 +00001199 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001200#if defined(MBEDTLS_SSL_RENEGOTIATION)
1201 if( ssl->renego_status == MBEDTLS_SSL_RENEGOTIATION_IN_PROGRESS )
Manuel Pégourié-Gonnard65919622014-08-19 12:50:30 +02001202 {
Manuel Pégourié-Gonnard44ade652014-08-19 13:58:40 +02001203 ssl->renego_records_seen++;
1204
Manuel Pégourié-Gonnard7ca4e4d2015-05-04 10:55:58 +02001205 if( ssl->conf->renego_max_records >= 0 &&
1206 ssl->renego_records_seen > ssl->conf->renego_max_records )
Manuel Pégourié-Gonnard44ade652014-08-19 13:58:40 +02001207 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001208 MBEDTLS_SSL_DEBUG_MSG( 1, ( "renegotiation requested, "
Manuel Pégourié-Gonnard44ade652014-08-19 13:58:40 +02001209 "but not honored by server" ) );
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001210 return( MBEDTLS_ERR_SSL_UNEXPECTED_MESSAGE );
Manuel Pégourié-Gonnard44ade652014-08-19 13:58:40 +02001211 }
1212
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001213 MBEDTLS_SSL_DEBUG_MSG( 1, ( "non-handshake message during renego" ) );
1214 return( MBEDTLS_ERR_SSL_WAITING_SERVER_HELLO_RENEGO );
Manuel Pégourié-Gonnard65919622014-08-19 12:50:30 +02001215 }
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001216#endif /* MBEDTLS_SSL_RENEGOTIATION */
Manuel Pégourié-Gonnard65919622014-08-19 12:50:30 +02001217
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001218 MBEDTLS_SSL_DEBUG_MSG( 1, ( "bad server hello message" ) );
1219 return( MBEDTLS_ERR_SSL_UNEXPECTED_MESSAGE );
Paul Bakker5121ce52009-01-03 21:22:43 +00001220 }
1221
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001222#if defined(MBEDTLS_SSL_PROTO_DTLS)
Manuel Pégourié-Gonnard7ca4e4d2015-05-04 10:55:58 +02001223 if( ssl->conf->transport == MBEDTLS_SSL_TRANSPORT_DATAGRAM )
Manuel Pégourié-Gonnard74848812014-07-11 02:43:49 +02001224 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001225 if( buf[0] == MBEDTLS_SSL_HS_HELLO_VERIFY_REQUEST )
Manuel Pégourié-Gonnard74848812014-07-11 02:43:49 +02001226 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001227 MBEDTLS_SSL_DEBUG_MSG( 2, ( "received hello verify request" ) );
1228 MBEDTLS_SSL_DEBUG_MSG( 2, ( "<= parse server hello" ) );
Manuel Pégourié-Gonnard74848812014-07-11 02:43:49 +02001229 return( ssl_parse_hello_verify_request( ssl ) );
1230 }
1231 else
1232 {
1233 /* We made it through the verification process */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001234 mbedtls_free( ssl->handshake->verify_cookie );
Manuel Pégourié-Gonnard74848812014-07-11 02:43:49 +02001235 ssl->handshake->verify_cookie = NULL;
1236 ssl->handshake->verify_cookie_len = 0;
1237 }
1238 }
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001239#endif /* MBEDTLS_SSL_PROTO_DTLS */
Paul Bakker5121ce52009-01-03 21:22:43 +00001240
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001241 if( ssl->in_hslen < 38 + mbedtls_ssl_hs_hdr_len( ssl ) ||
1242 buf[0] != MBEDTLS_SSL_HS_SERVER_HELLO )
Paul Bakker5121ce52009-01-03 21:22:43 +00001243 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001244 MBEDTLS_SSL_DEBUG_MSG( 1, ( "bad server hello message" ) );
1245 return( MBEDTLS_ERR_SSL_BAD_HS_SERVER_HELLO );
Paul Bakker5121ce52009-01-03 21:22:43 +00001246 }
1247
Manuel Pégourié-Gonnard0b3400d2014-09-10 21:23:41 +02001248 /*
1249 * 0 . 1 server_version
1250 * 2 . 33 random (maybe including 4 bytes of Unix time)
1251 * 34 . 34 session_id length = n
1252 * 35 . 34+n session_id
1253 * 35+n . 36+n cipher_suite
1254 * 37+n . 37+n compression_method
1255 *
1256 * 38+n . 39+n extensions length (optional)
1257 * 40+n . .. extensions
1258 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001259 buf += mbedtls_ssl_hs_hdr_len( ssl );
Manuel Pégourié-Gonnard0b3400d2014-09-10 21:23:41 +02001260
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001261 MBEDTLS_SSL_DEBUG_BUF( 3, "server hello, version", buf + 0, 2 );
1262 mbedtls_ssl_read_version( &ssl->major_ver, &ssl->minor_ver,
Manuel Pégourié-Gonnard7ca4e4d2015-05-04 10:55:58 +02001263 ssl->conf->transport, buf + 0 );
Paul Bakker5121ce52009-01-03 21:22:43 +00001264
Manuel Pégourié-Gonnard7ca4e4d2015-05-04 10:55:58 +02001265 if( ssl->major_ver < ssl->conf->min_major_ver ||
1266 ssl->minor_ver < ssl->conf->min_minor_ver ||
1267 ssl->major_ver > ssl->conf->max_major_ver ||
1268 ssl->minor_ver > ssl->conf->max_minor_ver )
Paul Bakker1d29fb52012-09-28 13:28:45 +00001269 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001270 MBEDTLS_SSL_DEBUG_MSG( 1, ( "server version out of bounds - "
Manuel Pégourié-Gonnardabc7e3b2014-02-11 18:15:03 +01001271 " min: [%d:%d], server: [%d:%d], max: [%d:%d]",
Manuel Pégourié-Gonnard7ca4e4d2015-05-04 10:55:58 +02001272 ssl->conf->min_major_ver, ssl->conf->min_minor_ver,
Manuel Pégourié-Gonnardabc7e3b2014-02-11 18:15:03 +01001273 ssl->major_ver, ssl->minor_ver,
Manuel Pégourié-Gonnard7ca4e4d2015-05-04 10:55:58 +02001274 ssl->conf->max_major_ver, ssl->conf->max_minor_ver ) );
Paul Bakker1d29fb52012-09-28 13:28:45 +00001275
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001276 mbedtls_ssl_send_alert_message( ssl, MBEDTLS_SSL_ALERT_LEVEL_FATAL,
1277 MBEDTLS_SSL_ALERT_MSG_PROTOCOL_VERSION );
Paul Bakker1d29fb52012-09-28 13:28:45 +00001278
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001279 return( MBEDTLS_ERR_SSL_BAD_HS_PROTOCOL_VERSION );
Paul Bakker1d29fb52012-09-28 13:28:45 +00001280 }
1281
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001282#if defined(MBEDTLS_DEBUG_C)
Manuel Pégourié-Gonnard0b3400d2014-09-10 21:23:41 +02001283 t = ( (uint32_t) buf[2] << 24 )
1284 | ( (uint32_t) buf[3] << 16 )
1285 | ( (uint32_t) buf[4] << 8 )
1286 | ( (uint32_t) buf[5] );
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001287 MBEDTLS_SSL_DEBUG_MSG( 3, ( "server hello, current time: %lu", t ) );
Paul Bakker87e5cda2012-01-14 18:14:15 +00001288#endif
Paul Bakker5121ce52009-01-03 21:22:43 +00001289
Manuel Pégourié-Gonnard0b3400d2014-09-10 21:23:41 +02001290 memcpy( ssl->handshake->randbytes + 32, buf + 2, 32 );
Paul Bakker5121ce52009-01-03 21:22:43 +00001291
Manuel Pégourié-Gonnard0b3400d2014-09-10 21:23:41 +02001292 n = buf[34];
Paul Bakker5121ce52009-01-03 21:22:43 +00001293
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001294 MBEDTLS_SSL_DEBUG_BUF( 3, "server hello, random bytes", buf + 2, 32 );
Paul Bakker5121ce52009-01-03 21:22:43 +00001295
Paul Bakker48916f92012-09-16 19:57:18 +00001296 if( n > 32 )
1297 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001298 MBEDTLS_SSL_DEBUG_MSG( 1, ( "bad server hello message" ) );
1299 return( MBEDTLS_ERR_SSL_BAD_HS_SERVER_HELLO );
Paul Bakker48916f92012-09-16 19:57:18 +00001300 }
1301
Manuel Pégourié-Gonnard0b3400d2014-09-10 21:23:41 +02001302 if( ssl->in_hslen > 39 + n )
Paul Bakker5121ce52009-01-03 21:22:43 +00001303 {
Manuel Pégourié-Gonnard0b3400d2014-09-10 21:23:41 +02001304 ext_len = ( ( buf[38 + n] << 8 )
1305 | ( buf[39 + n] ) );
Paul Bakker5121ce52009-01-03 21:22:43 +00001306
Paul Bakker48916f92012-09-16 19:57:18 +00001307 if( ( ext_len > 0 && ext_len < 4 ) ||
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001308 ssl->in_hslen != mbedtls_ssl_hs_hdr_len( ssl ) + 40 + n + ext_len )
Paul Bakker48916f92012-09-16 19:57:18 +00001309 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001310 MBEDTLS_SSL_DEBUG_MSG( 1, ( "bad server hello message" ) );
1311 return( MBEDTLS_ERR_SSL_BAD_HS_SERVER_HELLO );
Paul Bakker48916f92012-09-16 19:57:18 +00001312 }
Paul Bakker5121ce52009-01-03 21:22:43 +00001313 }
Manuel Pégourié-Gonnard0b3400d2014-09-10 21:23:41 +02001314 else if( ssl->in_hslen == 38 + n )
Manuel Pégourié-Gonnardf7cdbc02014-10-17 17:02:10 +02001315 {
1316 ext_len = 0;
1317 }
1318 else
1319 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001320 MBEDTLS_SSL_DEBUG_MSG( 1, ( "bad server hello message" ) );
1321 return( MBEDTLS_ERR_SSL_BAD_HS_SERVER_HELLO );
Manuel Pégourié-Gonnardf7cdbc02014-10-17 17:02:10 +02001322 }
Paul Bakker5121ce52009-01-03 21:22:43 +00001323
Manuel Pégourié-Gonnarda0e16322014-07-14 17:38:41 +02001324 /* ciphersuite (used later) */
Manuel Pégourié-Gonnard0b3400d2014-09-10 21:23:41 +02001325 i = ( buf[35 + n] << 8 ) | buf[36 + n];
Manuel Pégourié-Gonnarda0e16322014-07-14 17:38:41 +02001326
1327 /*
1328 * Read and check compression
1329 */
Manuel Pégourié-Gonnard0b3400d2014-09-10 21:23:41 +02001330 comp = buf[37 + n];
Paul Bakker5121ce52009-01-03 21:22:43 +00001331
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001332#if defined(MBEDTLS_ZLIB_SUPPORT)
Manuel Pégourié-Gonnarda0e16322014-07-14 17:38:41 +02001333 accept_comp = 1;
1334#else
1335 accept_comp = 0;
1336#endif
1337
1338 /* See comments in ssl_write_client_hello() */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001339#if defined(MBEDTLS_SSL_PROTO_DTLS)
Manuel Pégourié-Gonnard7ca4e4d2015-05-04 10:55:58 +02001340 if( ssl->conf->transport == MBEDTLS_SSL_TRANSPORT_DATAGRAM )
Manuel Pégourié-Gonnarda0e16322014-07-14 17:38:41 +02001341 accept_comp = 0;
1342#endif
1343
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001344 if( ( accept_comp == 0 && comp != MBEDTLS_SSL_COMPRESS_NULL ) ||
1345 ( comp != MBEDTLS_SSL_COMPRESS_NULL && comp != MBEDTLS_SSL_COMPRESS_DEFLATE ) )
Manuel Pégourié-Gonnarda0e16322014-07-14 17:38:41 +02001346 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001347 MBEDTLS_SSL_DEBUG_MSG( 1, ( "server hello, bad compression: %d", comp ) );
1348 return( MBEDTLS_ERR_SSL_FEATURE_UNAVAILABLE );
Manuel Pégourié-Gonnarda0e16322014-07-14 17:38:41 +02001349 }
1350
Paul Bakker380da532012-04-18 16:10:25 +00001351 /*
1352 * Initialize update checksum functions
1353 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001354 ssl->transform_negotiate->ciphersuite_info = mbedtls_ssl_ciphersuite_from_id( i );
Paul Bakker68884e32013-01-07 18:20:04 +01001355
1356 if( ssl->transform_negotiate->ciphersuite_info == NULL )
1357 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001358 MBEDTLS_SSL_DEBUG_MSG( 1, ( "ciphersuite info for %04x not found", i ) );
1359 return( MBEDTLS_ERR_SSL_BAD_INPUT_DATA );
Paul Bakker68884e32013-01-07 18:20:04 +01001360 }
Paul Bakker380da532012-04-18 16:10:25 +00001361
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001362 mbedtls_ssl_optimize_checksum( ssl, ssl->transform_negotiate->ciphersuite_info );
Manuel Pégourié-Gonnard3c599f12014-03-10 13:25:07 +01001363
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001364 MBEDTLS_SSL_DEBUG_MSG( 3, ( "server hello, session id len.: %d", n ) );
1365 MBEDTLS_SSL_DEBUG_BUF( 3, "server hello, session id", buf + 35, n );
Paul Bakker5121ce52009-01-03 21:22:43 +00001366
1367 /*
1368 * Check if the session can be resumed
1369 */
Manuel Pégourié-Gonnard615e6772014-11-03 08:23:14 +01001370 if( ssl->handshake->resume == 0 || n == 0 ||
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001371#if defined(MBEDTLS_SSL_RENEGOTIATION)
1372 ssl->renego_status != MBEDTLS_SSL_INITIAL_HANDSHAKE ||
Manuel Pégourié-Gonnard615e6772014-11-03 08:23:14 +01001373#endif
Paul Bakker48916f92012-09-16 19:57:18 +00001374 ssl->session_negotiate->ciphersuite != i ||
1375 ssl->session_negotiate->compression != comp ||
1376 ssl->session_negotiate->length != n ||
Manuel Pégourié-Gonnard0b3400d2014-09-10 21:23:41 +02001377 memcmp( ssl->session_negotiate->id, buf + 35, n ) != 0 )
Paul Bakker5121ce52009-01-03 21:22:43 +00001378 {
1379 ssl->state++;
Paul Bakker0a597072012-09-25 21:55:46 +00001380 ssl->handshake->resume = 0;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001381#if defined(MBEDTLS_HAVE_TIME)
Paul Bakker48916f92012-09-16 19:57:18 +00001382 ssl->session_negotiate->start = time( NULL );
Paul Bakkerfa9b1002013-07-03 15:31:03 +02001383#endif
Paul Bakker48916f92012-09-16 19:57:18 +00001384 ssl->session_negotiate->ciphersuite = i;
1385 ssl->session_negotiate->compression = comp;
1386 ssl->session_negotiate->length = n;
Manuel Pégourié-Gonnard0b3400d2014-09-10 21:23:41 +02001387 memcpy( ssl->session_negotiate->id, buf + 35, n );
Paul Bakker5121ce52009-01-03 21:22:43 +00001388 }
1389 else
1390 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001391 ssl->state = MBEDTLS_SSL_SERVER_CHANGE_CIPHER_SPEC;
Paul Bakkerff60ee62010-03-16 21:09:09 +00001392
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001393 if( ( ret = mbedtls_ssl_derive_keys( ssl ) ) != 0 )
Paul Bakkerff60ee62010-03-16 21:09:09 +00001394 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001395 MBEDTLS_SSL_DEBUG_RET( 1, "mbedtls_ssl_derive_keys", ret );
Paul Bakkerff60ee62010-03-16 21:09:09 +00001396 return( ret );
1397 }
Paul Bakker5121ce52009-01-03 21:22:43 +00001398 }
1399
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001400 MBEDTLS_SSL_DEBUG_MSG( 3, ( "%s session has been resumed",
Paul Bakker0a597072012-09-25 21:55:46 +00001401 ssl->handshake->resume ? "a" : "no" ) );
Paul Bakker5121ce52009-01-03 21:22:43 +00001402
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001403 MBEDTLS_SSL_DEBUG_MSG( 3, ( "server hello, chosen ciphersuite: %d", i ) );
1404 MBEDTLS_SSL_DEBUG_MSG( 3, ( "server hello, compress alg.: %d", buf[37 + n] ) );
Paul Bakker5121ce52009-01-03 21:22:43 +00001405
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001406 suite_info = mbedtls_ssl_ciphersuite_from_id( ssl->session_negotiate->ciphersuite );
Manuel Pégourié-Gonnardbd47a582015-01-12 13:43:29 +01001407 if( suite_info == NULL ||
Manuel Pégourié-Gonnard7ca4e4d2015-05-04 10:55:58 +02001408 ( ssl->conf->arc4_disabled &&
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001409 suite_info->cipher == MBEDTLS_CIPHER_ARC4_128 ) )
Manuel Pégourié-Gonnardbd47a582015-01-12 13:43:29 +01001410 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001411 MBEDTLS_SSL_DEBUG_MSG( 1, ( "bad server hello message" ) );
1412 return( MBEDTLS_ERR_SSL_BAD_HS_SERVER_HELLO );
Manuel Pégourié-Gonnardbd47a582015-01-12 13:43:29 +01001413 }
1414
1415
Paul Bakker5121ce52009-01-03 21:22:43 +00001416 i = 0;
1417 while( 1 )
1418 {
Manuel Pégourié-Gonnard7ca4e4d2015-05-04 10:55:58 +02001419 if( ssl->conf->ciphersuite_list[ssl->minor_ver][i] == 0 )
Paul Bakker5121ce52009-01-03 21:22:43 +00001420 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001421 MBEDTLS_SSL_DEBUG_MSG( 1, ( "bad server hello message" ) );
1422 return( MBEDTLS_ERR_SSL_BAD_HS_SERVER_HELLO );
Paul Bakker5121ce52009-01-03 21:22:43 +00001423 }
1424
Manuel Pégourié-Gonnard7ca4e4d2015-05-04 10:55:58 +02001425 if( ssl->conf->ciphersuite_list[ssl->minor_ver][i++] ==
Paul Bakker8f4ddae2013-04-15 15:09:54 +02001426 ssl->session_negotiate->ciphersuite )
1427 {
Paul Bakker5121ce52009-01-03 21:22:43 +00001428 break;
Paul Bakker8f4ddae2013-04-15 15:09:54 +02001429 }
Paul Bakker5121ce52009-01-03 21:22:43 +00001430 }
1431
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001432 if( comp != MBEDTLS_SSL_COMPRESS_NULL
1433#if defined(MBEDTLS_ZLIB_SUPPORT)
1434 && comp != MBEDTLS_SSL_COMPRESS_DEFLATE
Paul Bakker2770fbd2012-07-03 13:30:23 +00001435#endif
1436 )
Paul Bakker5121ce52009-01-03 21:22:43 +00001437 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001438 MBEDTLS_SSL_DEBUG_MSG( 1, ( "bad server hello message" ) );
1439 return( MBEDTLS_ERR_SSL_BAD_HS_SERVER_HELLO );
Paul Bakker5121ce52009-01-03 21:22:43 +00001440 }
Paul Bakker48916f92012-09-16 19:57:18 +00001441 ssl->session_negotiate->compression = comp;
Paul Bakker5121ce52009-01-03 21:22:43 +00001442
Manuel Pégourié-Gonnard0b3400d2014-09-10 21:23:41 +02001443 ext = buf + 40 + n;
Paul Bakker48916f92012-09-16 19:57:18 +00001444
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001445 MBEDTLS_SSL_DEBUG_MSG( 2, ( "server hello, total extension length: %d", ext_len ) );
Manuel Pégourié-Gonnarda0528492013-07-16 17:26:28 +02001446
Paul Bakker48916f92012-09-16 19:57:18 +00001447 while( ext_len )
1448 {
1449 unsigned int ext_id = ( ( ext[0] << 8 )
1450 | ( ext[1] ) );
1451 unsigned int ext_size = ( ( ext[2] << 8 )
1452 | ( ext[3] ) );
1453
1454 if( ext_size + 4 > ext_len )
1455 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001456 MBEDTLS_SSL_DEBUG_MSG( 1, ( "bad server hello message" ) );
1457 return( MBEDTLS_ERR_SSL_BAD_HS_SERVER_HELLO );
Paul Bakker48916f92012-09-16 19:57:18 +00001458 }
1459
1460 switch( ext_id )
1461 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001462 case MBEDTLS_TLS_EXT_RENEGOTIATION_INFO:
1463 MBEDTLS_SSL_DEBUG_MSG( 3, ( "found renegotiation extension" ) );
1464#if defined(MBEDTLS_SSL_RENEGOTIATION)
Paul Bakker48916f92012-09-16 19:57:18 +00001465 renegotiation_info_seen = 1;
Manuel Pégourié-Gonnardeaecbd32014-11-06 02:38:02 +01001466#endif
Paul Bakker48916f92012-09-16 19:57:18 +00001467
Paul Bakkerb9e4e2c2014-05-01 14:18:25 +02001468 if( ( ret = ssl_parse_renegotiation_info( ssl, ext + 4,
1469 ext_size ) ) != 0 )
Paul Bakker48916f92012-09-16 19:57:18 +00001470 return( ret );
1471
1472 break;
1473
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001474#if defined(MBEDTLS_SSL_MAX_FRAGMENT_LENGTH)
1475 case MBEDTLS_TLS_EXT_MAX_FRAGMENT_LENGTH:
1476 MBEDTLS_SSL_DEBUG_MSG( 3, ( "found max_fragment_length extension" ) );
Manuel Pégourié-Gonnardde600e52013-07-17 10:14:38 +02001477
1478 if( ( ret = ssl_parse_max_fragment_length_ext( ssl,
1479 ext + 4, ext_size ) ) != 0 )
1480 {
1481 return( ret );
1482 }
1483
1484 break;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001485#endif /* MBEDTLS_SSL_MAX_FRAGMENT_LENGTH */
Manuel Pégourié-Gonnardde600e52013-07-17 10:14:38 +02001486
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001487#if defined(MBEDTLS_SSL_TRUNCATED_HMAC)
1488 case MBEDTLS_TLS_EXT_TRUNCATED_HMAC:
1489 MBEDTLS_SSL_DEBUG_MSG( 3, ( "found truncated_hmac extension" ) );
Manuel Pégourié-Gonnard57c28522013-07-19 11:41:43 +02001490
1491 if( ( ret = ssl_parse_truncated_hmac_ext( ssl,
1492 ext + 4, ext_size ) ) != 0 )
1493 {
1494 return( ret );
1495 }
1496
1497 break;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001498#endif /* MBEDTLS_SSL_TRUNCATED_HMAC */
Manuel Pégourié-Gonnard57c28522013-07-19 11:41:43 +02001499
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001500#if defined(MBEDTLS_SSL_ENCRYPT_THEN_MAC)
1501 case MBEDTLS_TLS_EXT_ENCRYPT_THEN_MAC:
1502 MBEDTLS_SSL_DEBUG_MSG( 3, ( "found encrypt_then_mac extension" ) );
Manuel Pégourié-Gonnard699cafa2014-10-27 13:57:03 +01001503
1504 if( ( ret = ssl_parse_encrypt_then_mac_ext( ssl,
1505 ext + 4, ext_size ) ) != 0 )
1506 {
1507 return( ret );
1508 }
1509
1510 break;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001511#endif /* MBEDTLS_SSL_ENCRYPT_THEN_MAC */
Manuel Pégourié-Gonnard699cafa2014-10-27 13:57:03 +01001512
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001513#if defined(MBEDTLS_SSL_EXTENDED_MASTER_SECRET)
1514 case MBEDTLS_TLS_EXT_EXTENDED_MASTER_SECRET:
1515 MBEDTLS_SSL_DEBUG_MSG( 3, ( "found extended_master_secret extension" ) );
Manuel Pégourié-Gonnard367381f2014-10-20 18:40:56 +02001516
1517 if( ( ret = ssl_parse_extended_ms_ext( ssl,
1518 ext + 4, ext_size ) ) != 0 )
1519 {
1520 return( ret );
1521 }
1522
1523 break;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001524#endif /* MBEDTLS_SSL_EXTENDED_MASTER_SECRET */
Manuel Pégourié-Gonnard367381f2014-10-20 18:40:56 +02001525
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001526#if defined(MBEDTLS_SSL_SESSION_TICKETS)
1527 case MBEDTLS_TLS_EXT_SESSION_TICKET:
1528 MBEDTLS_SSL_DEBUG_MSG( 3, ( "found session_ticket extension" ) );
Manuel Pégourié-Gonnard60182ef2013-08-02 14:44:54 +02001529
1530 if( ( ret = ssl_parse_session_ticket_ext( ssl,
1531 ext + 4, ext_size ) ) != 0 )
1532 {
1533 return( ret );
1534 }
1535
1536 break;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001537#endif /* MBEDTLS_SSL_SESSION_TICKETS */
Manuel Pégourié-Gonnard60182ef2013-08-02 14:44:54 +02001538
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001539#if defined(MBEDTLS_ECDH_C) || defined(MBEDTLS_ECDSA_C)
1540 case MBEDTLS_TLS_EXT_SUPPORTED_POINT_FORMATS:
1541 MBEDTLS_SSL_DEBUG_MSG( 3, ( "found supported_point_formats extension" ) );
Manuel Pégourié-Gonnard7b19c162013-08-15 18:01:11 +02001542
1543 if( ( ret = ssl_parse_supported_point_formats_ext( ssl,
1544 ext + 4, ext_size ) ) != 0 )
1545 {
1546 return( ret );
1547 }
1548
1549 break;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001550#endif /* MBEDTLS_ECDH_C || MBEDTLS_ECDSA_C */
Manuel Pégourié-Gonnard7b19c162013-08-15 18:01:11 +02001551
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001552#if defined(MBEDTLS_SSL_ALPN)
1553 case MBEDTLS_TLS_EXT_ALPN:
1554 MBEDTLS_SSL_DEBUG_MSG( 3, ( "found alpn extension" ) );
Manuel Pégourié-Gonnard0b874dc2014-04-07 10:57:45 +02001555
1556 if( ( ret = ssl_parse_alpn_ext( ssl, ext + 4, ext_size ) ) != 0 )
1557 return( ret );
1558
1559 break;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001560#endif /* MBEDTLS_SSL_ALPN */
Manuel Pégourié-Gonnard0b874dc2014-04-07 10:57:45 +02001561
Paul Bakker48916f92012-09-16 19:57:18 +00001562 default:
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001563 MBEDTLS_SSL_DEBUG_MSG( 3, ( "unknown extension found: %d (ignoring)",
Paul Bakker48916f92012-09-16 19:57:18 +00001564 ext_id ) );
1565 }
1566
1567 ext_len -= 4 + ext_size;
1568 ext += 4 + ext_size;
1569
1570 if( ext_len > 0 && ext_len < 4 )
1571 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001572 MBEDTLS_SSL_DEBUG_MSG( 1, ( "bad server hello message" ) );
1573 return( MBEDTLS_ERR_SSL_BAD_HS_SERVER_HELLO );
Paul Bakker48916f92012-09-16 19:57:18 +00001574 }
1575 }
1576
1577 /*
1578 * Renegotiation security checks
1579 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001580 if( ssl->secure_renegotiation == MBEDTLS_SSL_LEGACY_RENEGOTIATION &&
Manuel Pégourié-Gonnard7ca4e4d2015-05-04 10:55:58 +02001581 ssl->conf->allow_legacy_renegotiation == MBEDTLS_SSL_LEGACY_BREAK_HANDSHAKE )
Paul Bakker48916f92012-09-16 19:57:18 +00001582 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001583 MBEDTLS_SSL_DEBUG_MSG( 1, ( "legacy renegotiation, breaking off handshake" ) );
Paul Bakkerd0f6fa72012-09-17 09:18:12 +00001584 handshake_failure = 1;
Paul Bakkerf7abd422013-04-16 13:15:56 +02001585 }
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001586#if defined(MBEDTLS_SSL_RENEGOTIATION)
1587 else if( ssl->renego_status == MBEDTLS_SSL_RENEGOTIATION_IN_PROGRESS &&
1588 ssl->secure_renegotiation == MBEDTLS_SSL_SECURE_RENEGOTIATION &&
Paul Bakkerd0f6fa72012-09-17 09:18:12 +00001589 renegotiation_info_seen == 0 )
1590 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001591 MBEDTLS_SSL_DEBUG_MSG( 1, ( "renegotiation_info extension missing (secure)" ) );
Paul Bakkerd0f6fa72012-09-17 09:18:12 +00001592 handshake_failure = 1;
Paul Bakker48916f92012-09-16 19:57:18 +00001593 }
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001594 else if( ssl->renego_status == MBEDTLS_SSL_RENEGOTIATION_IN_PROGRESS &&
1595 ssl->secure_renegotiation == MBEDTLS_SSL_LEGACY_RENEGOTIATION &&
Manuel Pégourié-Gonnard7ca4e4d2015-05-04 10:55:58 +02001596 ssl->conf->allow_legacy_renegotiation == MBEDTLS_SSL_LEGACY_NO_RENEGOTIATION )
Paul Bakker48916f92012-09-16 19:57:18 +00001597 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001598 MBEDTLS_SSL_DEBUG_MSG( 1, ( "legacy renegotiation not allowed" ) );
Paul Bakkerd0f6fa72012-09-17 09:18:12 +00001599 handshake_failure = 1;
1600 }
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001601 else if( ssl->renego_status == MBEDTLS_SSL_RENEGOTIATION_IN_PROGRESS &&
1602 ssl->secure_renegotiation == MBEDTLS_SSL_LEGACY_RENEGOTIATION &&
Paul Bakkerd0f6fa72012-09-17 09:18:12 +00001603 renegotiation_info_seen == 1 )
1604 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001605 MBEDTLS_SSL_DEBUG_MSG( 1, ( "renegotiation_info extension present (legacy)" ) );
Paul Bakkerd0f6fa72012-09-17 09:18:12 +00001606 handshake_failure = 1;
1607 }
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001608#endif /* MBEDTLS_SSL_RENEGOTIATION */
Paul Bakkerd0f6fa72012-09-17 09:18:12 +00001609
1610 if( handshake_failure == 1 )
1611 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001612 if( ( ret = mbedtls_ssl_send_fatal_handshake_failure( ssl ) ) != 0 )
Paul Bakkerd0f6fa72012-09-17 09:18:12 +00001613 return( ret );
1614
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001615 return( MBEDTLS_ERR_SSL_BAD_HS_SERVER_HELLO );
Paul Bakker48916f92012-09-16 19:57:18 +00001616 }
Paul Bakker5121ce52009-01-03 21:22:43 +00001617
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001618 MBEDTLS_SSL_DEBUG_MSG( 2, ( "<= parse server hello" ) );
Paul Bakker5121ce52009-01-03 21:22:43 +00001619
1620 return( 0 );
1621}
1622
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001623#if defined(MBEDTLS_KEY_EXCHANGE_DHE_RSA_ENABLED) || \
1624 defined(MBEDTLS_KEY_EXCHANGE_DHE_PSK_ENABLED)
1625static int ssl_parse_server_dh_params( mbedtls_ssl_context *ssl, unsigned char **p,
Paul Bakker29e1f122013-04-16 13:07:56 +02001626 unsigned char *end )
1627{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001628 int ret = MBEDTLS_ERR_SSL_FEATURE_UNAVAILABLE;
Paul Bakker29e1f122013-04-16 13:07:56 +02001629
Paul Bakker29e1f122013-04-16 13:07:56 +02001630 /*
1631 * Ephemeral DH parameters:
1632 *
1633 * struct {
1634 * opaque dh_p<1..2^16-1>;
1635 * opaque dh_g<1..2^16-1>;
1636 * opaque dh_Ys<1..2^16-1>;
1637 * } ServerDHParams;
1638 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001639 if( ( ret = mbedtls_dhm_read_params( &ssl->handshake->dhm_ctx, p, end ) ) != 0 )
Paul Bakker29e1f122013-04-16 13:07:56 +02001640 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001641 MBEDTLS_SSL_DEBUG_RET( 2, ( "mbedtls_dhm_read_params" ), ret );
Paul Bakker29e1f122013-04-16 13:07:56 +02001642 return( ret );
1643 }
1644
1645 if( ssl->handshake->dhm_ctx.len < 64 ||
1646 ssl->handshake->dhm_ctx.len > 512 )
1647 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001648 MBEDTLS_SSL_DEBUG_MSG( 1, ( "bad server key exchange message (DHM length)" ) );
1649 return( MBEDTLS_ERR_SSL_BAD_HS_SERVER_KEY_EXCHANGE );
Paul Bakker29e1f122013-04-16 13:07:56 +02001650 }
1651
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001652 MBEDTLS_SSL_DEBUG_MPI( 3, "DHM: P ", &ssl->handshake->dhm_ctx.P );
1653 MBEDTLS_SSL_DEBUG_MPI( 3, "DHM: G ", &ssl->handshake->dhm_ctx.G );
1654 MBEDTLS_SSL_DEBUG_MPI( 3, "DHM: GY", &ssl->handshake->dhm_ctx.GY );
Paul Bakker29e1f122013-04-16 13:07:56 +02001655
1656 return( ret );
1657}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001658#endif /* MBEDTLS_KEY_EXCHANGE_DHE_RSA_ENABLED ||
1659 MBEDTLS_KEY_EXCHANGE_DHE_PSK_ENABLED */
Paul Bakker29e1f122013-04-16 13:07:56 +02001660
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001661#if defined(MBEDTLS_KEY_EXCHANGE_ECDHE_RSA_ENABLED) || \
1662 defined(MBEDTLS_KEY_EXCHANGE_ECDHE_ECDSA_ENABLED) || \
1663 defined(MBEDTLS_KEY_EXCHANGE_ECDHE_PSK_ENABLED) || \
1664 defined(MBEDTLS_KEY_EXCHANGE_ECDH_RSA_ENABLED) || \
1665 defined(MBEDTLS_KEY_EXCHANGE_ECDH_ECDSA_ENABLED)
1666static int ssl_check_server_ecdh_params( const mbedtls_ssl_context *ssl )
Manuel Pégourié-Gonnardd18cc572013-12-11 17:45:46 +01001667{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001668 const mbedtls_ecp_curve_info *curve_info;
Manuel Pégourié-Gonnardc3f6b622014-02-06 10:13:09 +01001669
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001670 curve_info = mbedtls_ecp_curve_info_from_grp_id( ssl->handshake->ecdh_ctx.grp.id );
Manuel Pégourié-Gonnardc3f6b622014-02-06 10:13:09 +01001671 if( curve_info == NULL )
1672 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001673 MBEDTLS_SSL_DEBUG_MSG( 1, ( "should never happen" ) );
1674 return( MBEDTLS_ERR_SSL_INTERNAL_ERROR );
Manuel Pégourié-Gonnardc3f6b622014-02-06 10:13:09 +01001675 }
1676
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001677 MBEDTLS_SSL_DEBUG_MSG( 2, ( "ECDH curve: %s", curve_info->name ) );
Manuel Pégourié-Gonnardd18cc572013-12-11 17:45:46 +01001678
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001679#if defined(MBEDTLS_SSL_SET_CURVES)
1680 if( ! mbedtls_ssl_curve_is_acceptable( ssl, ssl->handshake->ecdh_ctx.grp.id ) )
Manuel Pégourié-Gonnardab240102014-02-04 16:18:07 +01001681#else
Manuel Pégourié-Gonnardd18cc572013-12-11 17:45:46 +01001682 if( ssl->handshake->ecdh_ctx.grp.nbits < 163 ||
1683 ssl->handshake->ecdh_ctx.grp.nbits > 521 )
Manuel Pégourié-Gonnardab240102014-02-04 16:18:07 +01001684#endif
Manuel Pégourié-Gonnardd18cc572013-12-11 17:45:46 +01001685 return( -1 );
Manuel Pégourié-Gonnardd18cc572013-12-11 17:45:46 +01001686
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001687 MBEDTLS_SSL_DEBUG_ECP( 3, "ECDH: Qp", &ssl->handshake->ecdh_ctx.Qp );
Manuel Pégourié-Gonnardd18cc572013-12-11 17:45:46 +01001688
1689 return( 0 );
1690}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001691#endif /* MBEDTLS_KEY_EXCHANGE_ECDHE_RSA_ENABLED ||
1692 MBEDTLS_KEY_EXCHANGE_ECDHE_ECDSA_ENABLED ||
1693 MBEDTLS_KEY_EXCHANGE_ECDHE_PSK_ENABLED ||
1694 MBEDTLS_KEY_EXCHANGE_ECDH_RSA_ENABLED ||
1695 MBEDTLS_KEY_EXCHANGE_ECDH_ECDSA_ENABLED */
Manuel Pégourié-Gonnardd18cc572013-12-11 17:45:46 +01001696
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001697#if defined(MBEDTLS_KEY_EXCHANGE_ECDHE_RSA_ENABLED) || \
1698 defined(MBEDTLS_KEY_EXCHANGE_ECDHE_ECDSA_ENABLED) || \
1699 defined(MBEDTLS_KEY_EXCHANGE_ECDHE_PSK_ENABLED)
1700static int ssl_parse_server_ecdh_params( mbedtls_ssl_context *ssl,
Paul Bakker29e1f122013-04-16 13:07:56 +02001701 unsigned char **p,
1702 unsigned char *end )
1703{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001704 int ret = MBEDTLS_ERR_SSL_FEATURE_UNAVAILABLE;
Paul Bakker29e1f122013-04-16 13:07:56 +02001705
Paul Bakker29e1f122013-04-16 13:07:56 +02001706 /*
1707 * Ephemeral ECDH parameters:
1708 *
1709 * struct {
1710 * ECParameters curve_params;
1711 * ECPoint public;
1712 * } ServerECDHParams;
1713 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001714 if( ( ret = mbedtls_ecdh_read_params( &ssl->handshake->ecdh_ctx,
Paul Bakker29e1f122013-04-16 13:07:56 +02001715 (const unsigned char **) p, end ) ) != 0 )
1716 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001717 MBEDTLS_SSL_DEBUG_RET( 1, ( "mbedtls_ecdh_read_params" ), ret );
Paul Bakker29e1f122013-04-16 13:07:56 +02001718 return( ret );
1719 }
1720
Manuel Pégourié-Gonnardd18cc572013-12-11 17:45:46 +01001721 if( ssl_check_server_ecdh_params( ssl ) != 0 )
Paul Bakker29e1f122013-04-16 13:07:56 +02001722 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001723 MBEDTLS_SSL_DEBUG_MSG( 1, ( "bad server key exchange message (ECDHE curve)" ) );
1724 return( MBEDTLS_ERR_SSL_BAD_HS_SERVER_KEY_EXCHANGE );
Paul Bakker29e1f122013-04-16 13:07:56 +02001725 }
1726
Paul Bakker29e1f122013-04-16 13:07:56 +02001727 return( ret );
1728}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001729#endif /* MBEDTLS_KEY_EXCHANGE_ECDHE_RSA_ENABLED ||
1730 MBEDTLS_KEY_EXCHANGE_ECDHE_ECDSA_ENABLED ||
1731 MBEDTLS_KEY_EXCHANGE_ECDHE_PSK_ENABLED */
Paul Bakker29e1f122013-04-16 13:07:56 +02001732
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001733#if defined(MBEDTLS_KEY_EXCHANGE__SOME__PSK_ENABLED)
1734static int ssl_parse_server_psk_hint( mbedtls_ssl_context *ssl,
Paul Bakkerd4a56ec2013-04-16 18:05:29 +02001735 unsigned char **p,
1736 unsigned char *end )
1737{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001738 int ret = MBEDTLS_ERR_SSL_FEATURE_UNAVAILABLE;
Paul Bakkerd4a56ec2013-04-16 18:05:29 +02001739 size_t len;
Paul Bakkerc5a79cc2013-06-26 15:08:35 +02001740 ((void) ssl);
Paul Bakkerd4a56ec2013-04-16 18:05:29 +02001741
1742 /*
1743 * PSK parameters:
1744 *
1745 * opaque psk_identity_hint<0..2^16-1>;
1746 */
Manuel Pégourié-Gonnard59b9fe22013-10-15 11:55:33 +02001747 len = (*p)[0] << 8 | (*p)[1];
Paul Bakker48f7a5d2013-04-19 14:30:58 +02001748 *p += 2;
Paul Bakkerd4a56ec2013-04-16 18:05:29 +02001749
1750 if( (*p) + len > end )
1751 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001752 MBEDTLS_SSL_DEBUG_MSG( 1, ( "bad server key exchange message (psk_identity_hint length)" ) );
1753 return( MBEDTLS_ERR_SSL_BAD_HS_SERVER_KEY_EXCHANGE );
Paul Bakkerd4a56ec2013-04-16 18:05:29 +02001754 }
1755
1756 // TODO: Retrieve PSK identity hint and callback to app
1757 //
1758 *p += len;
Paul Bakker48f7a5d2013-04-19 14:30:58 +02001759 ret = 0;
Paul Bakkerd4a56ec2013-04-16 18:05:29 +02001760
1761 return( ret );
1762}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001763#endif /* MBEDTLS_KEY_EXCHANGE__SOME__PSK_ENABLED */
Paul Bakkerd4a56ec2013-04-16 18:05:29 +02001764
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001765#if defined(MBEDTLS_KEY_EXCHANGE_RSA_ENABLED) || \
1766 defined(MBEDTLS_KEY_EXCHANGE_RSA_PSK_ENABLED)
Manuel Pégourié-Gonnard0fae60b2013-10-14 17:39:48 +02001767/*
1768 * Generate a pre-master secret and encrypt it with the server's RSA key
1769 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001770static int ssl_write_encrypted_pms( mbedtls_ssl_context *ssl,
Manuel Pégourié-Gonnard0fae60b2013-10-14 17:39:48 +02001771 size_t offset, size_t *olen,
1772 size_t pms_offset )
1773{
1774 int ret;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001775 size_t len_bytes = ssl->minor_ver == MBEDTLS_SSL_MINOR_VERSION_0 ? 0 : 2;
Manuel Pégourié-Gonnard0fae60b2013-10-14 17:39:48 +02001776 unsigned char *p = ssl->handshake->premaster + pms_offset;
1777
1778 /*
1779 * Generate (part of) the pre-master as
1780 * struct {
1781 * ProtocolVersion client_version;
1782 * opaque random[46];
1783 * } PreMasterSecret;
1784 */
Manuel Pégourié-Gonnard7ca4e4d2015-05-04 10:55:58 +02001785 mbedtls_ssl_write_version( ssl->conf->max_major_ver, ssl->conf->max_minor_ver,
1786 ssl->conf->transport, p );
Manuel Pégourié-Gonnard0fae60b2013-10-14 17:39:48 +02001787
1788 if( ( ret = ssl->f_rng( ssl->p_rng, p + 2, 46 ) ) != 0 )
1789 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001790 MBEDTLS_SSL_DEBUG_RET( 1, "f_rng", ret );
Manuel Pégourié-Gonnard0fae60b2013-10-14 17:39:48 +02001791 return( ret );
1792 }
1793
1794 ssl->handshake->pmslen = 48;
1795
1796 /*
1797 * Now write it out, encrypted
1798 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001799 if( ! mbedtls_pk_can_do( &ssl->session_negotiate->peer_cert->pk,
1800 MBEDTLS_PK_RSA ) )
Manuel Pégourié-Gonnard0fae60b2013-10-14 17:39:48 +02001801 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001802 MBEDTLS_SSL_DEBUG_MSG( 1, ( "certificate key type mismatch" ) );
1803 return( MBEDTLS_ERR_SSL_PK_TYPE_MISMATCH );
Manuel Pégourié-Gonnard0fae60b2013-10-14 17:39:48 +02001804 }
1805
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001806 if( ( ret = mbedtls_pk_encrypt( &ssl->session_negotiate->peer_cert->pk,
Manuel Pégourié-Gonnard0fae60b2013-10-14 17:39:48 +02001807 p, ssl->handshake->pmslen,
1808 ssl->out_msg + offset + len_bytes, olen,
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001809 MBEDTLS_SSL_MAX_CONTENT_LEN - offset - len_bytes,
Manuel Pégourié-Gonnard0fae60b2013-10-14 17:39:48 +02001810 ssl->f_rng, ssl->p_rng ) ) != 0 )
1811 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001812 MBEDTLS_SSL_DEBUG_RET( 1, "mbedtls_rsa_pkcs1_encrypt", ret );
Manuel Pégourié-Gonnard0fae60b2013-10-14 17:39:48 +02001813 return( ret );
1814 }
1815
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001816#if defined(MBEDTLS_SSL_PROTO_TLS1) || defined(MBEDTLS_SSL_PROTO_TLS1_1) || \
1817 defined(MBEDTLS_SSL_PROTO_TLS1_2)
Manuel Pégourié-Gonnard0fae60b2013-10-14 17:39:48 +02001818 if( len_bytes == 2 )
1819 {
1820 ssl->out_msg[offset+0] = (unsigned char)( *olen >> 8 );
1821 ssl->out_msg[offset+1] = (unsigned char)( *olen );
1822 *olen += 2;
1823 }
1824#endif
1825
1826 return( 0 );
1827}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001828#endif /* MBEDTLS_KEY_EXCHANGE_RSA_ENABLED ||
1829 MBEDTLS_KEY_EXCHANGE_RSA_PSK_ENABLED */
Paul Bakker29e1f122013-04-16 13:07:56 +02001830
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001831#if defined(MBEDTLS_SSL_PROTO_TLS1_2)
1832#if defined(MBEDTLS_KEY_EXCHANGE_DHE_RSA_ENABLED) || \
1833 defined(MBEDTLS_KEY_EXCHANGE_ECDHE_RSA_ENABLED) || \
1834 defined(MBEDTLS_KEY_EXCHANGE_ECDHE_ECDSA_ENABLED)
1835static int ssl_parse_signature_algorithm( mbedtls_ssl_context *ssl,
Paul Bakker29e1f122013-04-16 13:07:56 +02001836 unsigned char **p,
1837 unsigned char *end,
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001838 mbedtls_md_type_t *md_alg,
1839 mbedtls_pk_type_t *pk_alg )
Paul Bakker29e1f122013-04-16 13:07:56 +02001840{
Paul Bakkerc5a79cc2013-06-26 15:08:35 +02001841 ((void) ssl);
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001842 *md_alg = MBEDTLS_MD_NONE;
1843 *pk_alg = MBEDTLS_PK_NONE;
Manuel Pégourié-Gonnardefebb0a2013-08-19 12:06:38 +02001844
1845 /* Only in TLS 1.2 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001846 if( ssl->minor_ver != MBEDTLS_SSL_MINOR_VERSION_3 )
Manuel Pégourié-Gonnardefebb0a2013-08-19 12:06:38 +02001847 {
Manuel Pégourié-Gonnardefebb0a2013-08-19 12:06:38 +02001848 return( 0 );
1849 }
Paul Bakker29e1f122013-04-16 13:07:56 +02001850
Paul Bakker48f7a5d2013-04-19 14:30:58 +02001851 if( (*p) + 2 > end )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001852 return( MBEDTLS_ERR_SSL_BAD_HS_SERVER_KEY_EXCHANGE );
Paul Bakker29e1f122013-04-16 13:07:56 +02001853
Manuel Pégourié-Gonnardefebb0a2013-08-19 12:06:38 +02001854 /*
1855 * Get hash algorithm
1856 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001857 if( ( *md_alg = mbedtls_ssl_md_alg_from_hash( (*p)[0] ) ) == MBEDTLS_MD_NONE )
Paul Bakker29e1f122013-04-16 13:07:56 +02001858 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001859 MBEDTLS_SSL_DEBUG_MSG( 2, ( "Server used unsupported "
Manuel Pégourié-Gonnarda20c58c2013-08-22 13:52:48 +02001860 "HashAlgorithm %d", *(p)[0] ) );
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001861 return( MBEDTLS_ERR_SSL_BAD_HS_SERVER_KEY_EXCHANGE );
Paul Bakker29e1f122013-04-16 13:07:56 +02001862 }
1863
Manuel Pégourié-Gonnardefebb0a2013-08-19 12:06:38 +02001864 /*
Manuel Pégourié-Gonnardefebb0a2013-08-19 12:06:38 +02001865 * Get signature algorithm
1866 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001867 if( ( *pk_alg = mbedtls_ssl_pk_alg_from_sig( (*p)[1] ) ) == MBEDTLS_PK_NONE )
Paul Bakker29e1f122013-04-16 13:07:56 +02001868 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001869 MBEDTLS_SSL_DEBUG_MSG( 2, ( "server used unsupported "
Manuel Pégourié-Gonnarda20c58c2013-08-22 13:52:48 +02001870 "SignatureAlgorithm %d", (*p)[1] ) );
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001871 return( MBEDTLS_ERR_SSL_BAD_HS_SERVER_KEY_EXCHANGE );
Paul Bakker29e1f122013-04-16 13:07:56 +02001872 }
1873
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001874 MBEDTLS_SSL_DEBUG_MSG( 2, ( "Server used SignatureAlgorithm %d", (*p)[1] ) );
1875 MBEDTLS_SSL_DEBUG_MSG( 2, ( "Server used HashAlgorithm %d", (*p)[0] ) );
Paul Bakker29e1f122013-04-16 13:07:56 +02001876 *p += 2;
1877
1878 return( 0 );
1879}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001880#endif /* MBEDTLS_KEY_EXCHANGE_DHE_RSA_ENABLED ||
1881 MBEDTLS_KEY_EXCHANGE_ECDHE_RSA_ENABLED ||
1882 MBEDTLS_KEY_EXCHANGE_ECDHE_ECDSA_ENABLED */
1883#endif /* MBEDTLS_SSL_PROTO_TLS1_2 */
Paul Bakker29e1f122013-04-16 13:07:56 +02001884
Manuel Pégourié-Gonnardd18cc572013-12-11 17:45:46 +01001885
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001886#if defined(MBEDTLS_KEY_EXCHANGE_ECDH_RSA_ENABLED) || \
1887 defined(MBEDTLS_KEY_EXCHANGE_ECDH_ECDSA_ENABLED)
1888static int ssl_get_ecdh_params_from_cert( mbedtls_ssl_context *ssl )
Manuel Pégourié-Gonnardd18cc572013-12-11 17:45:46 +01001889{
1890 int ret;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001891 const mbedtls_ecp_keypair *peer_key;
Manuel Pégourié-Gonnardd18cc572013-12-11 17:45:46 +01001892
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001893 if( ! mbedtls_pk_can_do( &ssl->session_negotiate->peer_cert->pk,
1894 MBEDTLS_PK_ECKEY ) )
Manuel Pégourié-Gonnardd18cc572013-12-11 17:45:46 +01001895 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001896 MBEDTLS_SSL_DEBUG_MSG( 1, ( "server key not ECDH capable" ) );
1897 return( MBEDTLS_ERR_SSL_PK_TYPE_MISMATCH );
Manuel Pégourié-Gonnardd18cc572013-12-11 17:45:46 +01001898 }
1899
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001900 peer_key = mbedtls_pk_ec( ssl->session_negotiate->peer_cert->pk );
Manuel Pégourié-Gonnardd18cc572013-12-11 17:45:46 +01001901
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001902 if( ( ret = mbedtls_ecdh_get_params( &ssl->handshake->ecdh_ctx, peer_key,
1903 MBEDTLS_ECDH_THEIRS ) ) != 0 )
Manuel Pégourié-Gonnardd18cc572013-12-11 17:45:46 +01001904 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001905 MBEDTLS_SSL_DEBUG_RET( 1, ( "mbedtls_ecdh_get_params" ), ret );
Manuel Pégourié-Gonnardd18cc572013-12-11 17:45:46 +01001906 return( ret );
1907 }
1908
1909 if( ssl_check_server_ecdh_params( ssl ) != 0 )
1910 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001911 MBEDTLS_SSL_DEBUG_MSG( 1, ( "bad server certificate (ECDH curve)" ) );
1912 return( MBEDTLS_ERR_SSL_BAD_HS_CERTIFICATE );
Manuel Pégourié-Gonnardd18cc572013-12-11 17:45:46 +01001913 }
1914
1915 return( ret );
1916}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001917#endif /* MBEDTLS_KEY_EXCHANGE_ECDH_RSA_ENABLED) ||
1918 MBEDTLS_KEY_EXCHANGE_ECDH_ECDSA_ENABLED */
Manuel Pégourié-Gonnardd18cc572013-12-11 17:45:46 +01001919
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001920static int ssl_parse_server_key_exchange( mbedtls_ssl_context *ssl )
Paul Bakker41c83d32013-03-20 14:39:14 +01001921{
Paul Bakker23986e52011-04-24 08:57:21 +00001922 int ret;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001923 const mbedtls_ssl_ciphersuite_t *ciphersuite_info = ssl->transform_negotiate->ciphersuite_info;
Manuel Pégourié-Gonnard09258b92013-10-15 10:43:36 +02001924 unsigned char *p, *end;
Paul Bakker5121ce52009-01-03 21:22:43 +00001925
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001926 MBEDTLS_SSL_DEBUG_MSG( 2, ( "=> parse server key exchange" ) );
Paul Bakker5121ce52009-01-03 21:22:43 +00001927
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001928#if defined(MBEDTLS_KEY_EXCHANGE_RSA_ENABLED)
1929 if( ciphersuite_info->key_exchange == MBEDTLS_KEY_EXCHANGE_RSA )
Paul Bakker5121ce52009-01-03 21:22:43 +00001930 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001931 MBEDTLS_SSL_DEBUG_MSG( 2, ( "<= skip parse server key exchange" ) );
Paul Bakker5121ce52009-01-03 21:22:43 +00001932 ssl->state++;
1933 return( 0 );
1934 }
Manuel Pégourié-Gonnardbac0e3b2013-10-15 11:54:47 +02001935 ((void) p);
1936 ((void) end);
1937#endif
Paul Bakker5121ce52009-01-03 21:22:43 +00001938
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001939#if defined(MBEDTLS_KEY_EXCHANGE_ECDH_RSA_ENABLED) || \
1940 defined(MBEDTLS_KEY_EXCHANGE_ECDH_ECDSA_ENABLED)
1941 if( ciphersuite_info->key_exchange == MBEDTLS_KEY_EXCHANGE_ECDH_RSA ||
1942 ciphersuite_info->key_exchange == MBEDTLS_KEY_EXCHANGE_ECDH_ECDSA )
Manuel Pégourié-Gonnardd18cc572013-12-11 17:45:46 +01001943 {
Manuel Pégourié-Gonnardab240102014-02-04 16:18:07 +01001944 if( ( ret = ssl_get_ecdh_params_from_cert( ssl ) ) != 0 )
1945 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001946 MBEDTLS_SSL_DEBUG_RET( 1, "ssl_get_ecdh_params_from_cert", ret );
Manuel Pégourié-Gonnardab240102014-02-04 16:18:07 +01001947 return( ret );
1948 }
Manuel Pégourié-Gonnardd18cc572013-12-11 17:45:46 +01001949
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001950 MBEDTLS_SSL_DEBUG_MSG( 2, ( "<= skip parse server key exchange" ) );
Manuel Pégourié-Gonnardd18cc572013-12-11 17:45:46 +01001951 ssl->state++;
1952 return( 0 );
1953 }
1954 ((void) p);
1955 ((void) end);
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001956#endif /* MBEDTLS_KEY_EXCHANGE_ECDH_RSA_ENABLED ||
1957 MBEDTLS_KEY_EXCHANGE_ECDH_ECDSA_ENABLED */
Manuel Pégourié-Gonnardd18cc572013-12-11 17:45:46 +01001958
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001959 if( ( ret = mbedtls_ssl_read_record( ssl ) ) != 0 )
Paul Bakker5121ce52009-01-03 21:22:43 +00001960 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001961 MBEDTLS_SSL_DEBUG_RET( 1, "mbedtls_ssl_read_record", ret );
Paul Bakker5121ce52009-01-03 21:22:43 +00001962 return( ret );
1963 }
1964
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001965 if( ssl->in_msgtype != MBEDTLS_SSL_MSG_HANDSHAKE )
Paul Bakker5121ce52009-01-03 21:22:43 +00001966 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001967 MBEDTLS_SSL_DEBUG_MSG( 1, ( "bad server key exchange message" ) );
1968 return( MBEDTLS_ERR_SSL_UNEXPECTED_MESSAGE );
Paul Bakker5121ce52009-01-03 21:22:43 +00001969 }
1970
Manuel Pégourié-Gonnard09258b92013-10-15 10:43:36 +02001971 /*
1972 * ServerKeyExchange may be skipped with PSK and RSA-PSK when the server
1973 * doesn't use a psk_identity_hint
1974 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001975 if( ssl->in_msg[0] != MBEDTLS_SSL_HS_SERVER_KEY_EXCHANGE )
Paul Bakker5121ce52009-01-03 21:22:43 +00001976 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001977 if( ciphersuite_info->key_exchange == MBEDTLS_KEY_EXCHANGE_PSK ||
1978 ciphersuite_info->key_exchange == MBEDTLS_KEY_EXCHANGE_RSA_PSK )
Paul Bakker188c8de2013-04-19 09:13:37 +02001979 {
1980 ssl->record_read = 1;
1981 goto exit;
1982 }
1983
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001984 MBEDTLS_SSL_DEBUG_MSG( 1, ( "bad server key exchange message" ) );
1985 return( MBEDTLS_ERR_SSL_UNEXPECTED_MESSAGE );
Paul Bakker5121ce52009-01-03 21:22:43 +00001986 }
1987
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001988 p = ssl->in_msg + mbedtls_ssl_hs_hdr_len( ssl );
Paul Bakker3b6a07b2013-03-21 11:56:50 +01001989 end = ssl->in_msg + ssl->in_hslen;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001990 MBEDTLS_SSL_DEBUG_BUF( 3, "server key exchange", p, end - p );
Paul Bakker3b6a07b2013-03-21 11:56:50 +01001991
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001992#if defined(MBEDTLS_KEY_EXCHANGE__SOME__PSK_ENABLED)
1993 if( ciphersuite_info->key_exchange == MBEDTLS_KEY_EXCHANGE_PSK ||
1994 ciphersuite_info->key_exchange == MBEDTLS_KEY_EXCHANGE_RSA_PSK ||
1995 ciphersuite_info->key_exchange == MBEDTLS_KEY_EXCHANGE_DHE_PSK ||
1996 ciphersuite_info->key_exchange == MBEDTLS_KEY_EXCHANGE_ECDHE_PSK )
Manuel Pégourié-Gonnard09258b92013-10-15 10:43:36 +02001997 {
1998 if( ssl_parse_server_psk_hint( ssl, &p, end ) != 0 )
1999 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002000 MBEDTLS_SSL_DEBUG_MSG( 1, ( "bad server key exchange message" ) );
2001 return( MBEDTLS_ERR_SSL_BAD_HS_SERVER_KEY_EXCHANGE );
Manuel Pégourié-Gonnard09258b92013-10-15 10:43:36 +02002002 }
2003 } /* FALLTROUGH */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002004#endif /* MBEDTLS_KEY_EXCHANGE__SOME__PSK_ENABLED */
Manuel Pégourié-Gonnard09258b92013-10-15 10:43:36 +02002005
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002006#if defined(MBEDTLS_KEY_EXCHANGE_PSK_ENABLED) || \
2007 defined(MBEDTLS_KEY_EXCHANGE_RSA_PSK_ENABLED)
2008 if( ciphersuite_info->key_exchange == MBEDTLS_KEY_EXCHANGE_PSK ||
2009 ciphersuite_info->key_exchange == MBEDTLS_KEY_EXCHANGE_RSA_PSK )
Manuel Pégourié-Gonnard09258b92013-10-15 10:43:36 +02002010 ; /* nothing more to do */
2011 else
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002012#endif /* MBEDTLS_KEY_EXCHANGE_PSK_ENABLED ||
2013 MBEDTLS_KEY_EXCHANGE_RSA_PSK_ENABLED */
2014#if defined(MBEDTLS_KEY_EXCHANGE_DHE_RSA_ENABLED) || \
2015 defined(MBEDTLS_KEY_EXCHANGE_DHE_PSK_ENABLED)
2016 if( ciphersuite_info->key_exchange == MBEDTLS_KEY_EXCHANGE_DHE_RSA ||
2017 ciphersuite_info->key_exchange == MBEDTLS_KEY_EXCHANGE_DHE_PSK )
Paul Bakker5121ce52009-01-03 21:22:43 +00002018 {
Paul Bakker29e1f122013-04-16 13:07:56 +02002019 if( ssl_parse_server_dh_params( ssl, &p, end ) != 0 )
Paul Bakker41c83d32013-03-20 14:39:14 +01002020 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002021 MBEDTLS_SSL_DEBUG_MSG( 1, ( "bad server key exchange message" ) );
2022 return( MBEDTLS_ERR_SSL_BAD_HS_SERVER_KEY_EXCHANGE );
Paul Bakkerd4a56ec2013-04-16 18:05:29 +02002023 }
2024 }
Paul Bakker48f7a5d2013-04-19 14:30:58 +02002025 else
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002026#endif /* MBEDTLS_KEY_EXCHANGE_DHE_RSA_ENABLED ||
2027 MBEDTLS_KEY_EXCHANGE_DHE_PSK_ENABLED */
2028#if defined(MBEDTLS_KEY_EXCHANGE_ECDHE_RSA_ENABLED) || \
2029 defined(MBEDTLS_KEY_EXCHANGE_ECDHE_PSK_ENABLED) || \
2030 defined(MBEDTLS_KEY_EXCHANGE_ECDHE_ECDSA_ENABLED)
2031 if( ciphersuite_info->key_exchange == MBEDTLS_KEY_EXCHANGE_ECDHE_RSA ||
2032 ciphersuite_info->key_exchange == MBEDTLS_KEY_EXCHANGE_ECDHE_PSK ||
2033 ciphersuite_info->key_exchange == MBEDTLS_KEY_EXCHANGE_ECDHE_ECDSA )
Paul Bakkerd4a56ec2013-04-16 18:05:29 +02002034 {
2035 if( ssl_parse_server_ecdh_params( ssl, &p, end ) != 0 )
2036 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002037 MBEDTLS_SSL_DEBUG_MSG( 1, ( "bad server key exchange message" ) );
2038 return( MBEDTLS_ERR_SSL_BAD_HS_SERVER_KEY_EXCHANGE );
Paul Bakker41c83d32013-03-20 14:39:14 +01002039 }
Paul Bakker1ef83d62012-04-11 12:09:53 +00002040 }
Paul Bakker48f7a5d2013-04-19 14:30:58 +02002041 else
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002042#endif /* MBEDTLS_KEY_EXCHANGE_ECDHE_RSA_ENABLED ||
2043 MBEDTLS_KEY_EXCHANGE_ECDHE_PSK_ENABLED ||
2044 MBEDTLS_KEY_EXCHANGE_ECDHE_ECDSA_ENABLED */
Paul Bakker41c83d32013-03-20 14:39:14 +01002045 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002046 MBEDTLS_SSL_DEBUG_MSG( 1, ( "should never happen" ) );
2047 return( MBEDTLS_ERR_SSL_INTERNAL_ERROR );
Paul Bakker48f7a5d2013-04-19 14:30:58 +02002048 }
Paul Bakker1ef83d62012-04-11 12:09:53 +00002049
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002050#if defined(MBEDTLS_KEY_EXCHANGE_DHE_RSA_ENABLED) || \
2051 defined(MBEDTLS_KEY_EXCHANGE_ECDHE_RSA_ENABLED) || \
2052 defined(MBEDTLS_KEY_EXCHANGE_ECDHE_ECDSA_ENABLED)
2053 if( ciphersuite_info->key_exchange == MBEDTLS_KEY_EXCHANGE_DHE_RSA ||
2054 ciphersuite_info->key_exchange == MBEDTLS_KEY_EXCHANGE_ECDHE_RSA ||
2055 ciphersuite_info->key_exchange == MBEDTLS_KEY_EXCHANGE_ECDHE_ECDSA )
Paul Bakker1ef83d62012-04-11 12:09:53 +00002056 {
Manuel Pégourié-Gonnardd92d6a12014-09-10 15:25:02 +00002057 size_t sig_len, hashlen;
2058 unsigned char hash[64];
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002059 mbedtls_md_type_t md_alg = MBEDTLS_MD_NONE;
2060 mbedtls_pk_type_t pk_alg = MBEDTLS_PK_NONE;
2061 unsigned char *params = ssl->in_msg + mbedtls_ssl_hs_hdr_len( ssl );
Manuel Pégourié-Gonnardd92d6a12014-09-10 15:25:02 +00002062 size_t params_len = p - params;
Manuel Pégourié-Gonnardefebb0a2013-08-19 12:06:38 +02002063
Paul Bakker29e1f122013-04-16 13:07:56 +02002064 /*
2065 * Handle the digitally-signed structure
2066 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002067#if defined(MBEDTLS_SSL_PROTO_TLS1_2)
2068 if( ssl->minor_ver == MBEDTLS_SSL_MINOR_VERSION_3 )
Paul Bakker1ef83d62012-04-11 12:09:53 +00002069 {
Paul Bakker9659dae2013-08-28 16:21:34 +02002070 if( ssl_parse_signature_algorithm( ssl, &p, end,
2071 &md_alg, &pk_alg ) != 0 )
2072 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002073 MBEDTLS_SSL_DEBUG_MSG( 1, ( "bad server key exchange message" ) );
2074 return( MBEDTLS_ERR_SSL_BAD_HS_SERVER_KEY_EXCHANGE );
Paul Bakker9659dae2013-08-28 16:21:34 +02002075 }
Paul Bakker1ef83d62012-04-11 12:09:53 +00002076
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002077 if( pk_alg != mbedtls_ssl_get_ciphersuite_sig_pk_alg( ciphersuite_info ) )
Paul Bakker1ef83d62012-04-11 12:09:53 +00002078 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002079 MBEDTLS_SSL_DEBUG_MSG( 1, ( "bad server key exchange message" ) );
2080 return( MBEDTLS_ERR_SSL_BAD_HS_SERVER_KEY_EXCHANGE );
Paul Bakker1ef83d62012-04-11 12:09:53 +00002081 }
2082 }
Manuel Pégourié-Gonnard09edda82013-08-19 13:50:33 +02002083 else
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002084#endif /* MBEDTLS_SSL_PROTO_TLS1_2 */
2085#if defined(MBEDTLS_SSL_PROTO_SSL3) || defined(MBEDTLS_SSL_PROTO_TLS1) || \
2086 defined(MBEDTLS_SSL_PROTO_TLS1_1)
2087 if( ssl->minor_ver < MBEDTLS_SSL_MINOR_VERSION_3 )
Manuel Pégourié-Gonnard09edda82013-08-19 13:50:33 +02002088 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002089 pk_alg = mbedtls_ssl_get_ciphersuite_sig_pk_alg( ciphersuite_info );
Paul Bakker1ef83d62012-04-11 12:09:53 +00002090
Paul Bakker9659dae2013-08-28 16:21:34 +02002091 /* Default hash for ECDSA is SHA-1 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002092 if( pk_alg == MBEDTLS_PK_ECDSA && md_alg == MBEDTLS_MD_NONE )
2093 md_alg = MBEDTLS_MD_SHA1;
Paul Bakker9659dae2013-08-28 16:21:34 +02002094 }
2095 else
2096#endif
2097 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002098 MBEDTLS_SSL_DEBUG_MSG( 1, ( "should never happen" ) );
2099 return( MBEDTLS_ERR_SSL_INTERNAL_ERROR );
Paul Bakker9659dae2013-08-28 16:21:34 +02002100 }
Manuel Pégourié-Gonnard4bd12842013-08-27 13:31:28 +02002101
2102 /*
2103 * Read signature
2104 */
Manuel Pégourié-Gonnardefebb0a2013-08-19 12:06:38 +02002105 sig_len = ( p[0] << 8 ) | p[1];
Paul Bakker1ef83d62012-04-11 12:09:53 +00002106 p += 2;
Paul Bakker1ef83d62012-04-11 12:09:53 +00002107
Manuel Pégourié-Gonnardefebb0a2013-08-19 12:06:38 +02002108 if( end != p + sig_len )
Paul Bakker41c83d32013-03-20 14:39:14 +01002109 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002110 MBEDTLS_SSL_DEBUG_MSG( 1, ( "bad server key exchange message" ) );
2111 return( MBEDTLS_ERR_SSL_BAD_HS_SERVER_KEY_EXCHANGE );
Paul Bakker41c83d32013-03-20 14:39:14 +01002112 }
Paul Bakker5121ce52009-01-03 21:22:43 +00002113
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002114 MBEDTLS_SSL_DEBUG_BUF( 3, "signature", p, sig_len );
Manuel Pégourié-Gonnardff56da32013-07-11 10:46:21 +02002115
Manuel Pégourié-Gonnardefebb0a2013-08-19 12:06:38 +02002116 /*
2117 * Compute the hash that has been signed
2118 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002119#if defined(MBEDTLS_SSL_PROTO_SSL3) || defined(MBEDTLS_SSL_PROTO_TLS1) || \
2120 defined(MBEDTLS_SSL_PROTO_TLS1_1)
2121 if( md_alg == MBEDTLS_MD_NONE )
Paul Bakkerc3f177a2012-04-11 16:11:49 +00002122 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002123 mbedtls_md5_context mbedtls_md5;
2124 mbedtls_sha1_context mbedtls_sha1;
Paul Bakker29e1f122013-04-16 13:07:56 +02002125
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002126 mbedtls_md5_init( &mbedtls_md5 );
2127 mbedtls_sha1_init( &mbedtls_sha1 );
Paul Bakker5b4af392014-06-26 12:09:34 +02002128
Manuel Pégourié-Gonnard4bd12842013-08-27 13:31:28 +02002129 hashlen = 36;
2130
Paul Bakker29e1f122013-04-16 13:07:56 +02002131 /*
2132 * digitally-signed struct {
2133 * opaque md5_hash[16];
2134 * opaque sha_hash[20];
2135 * };
2136 *
2137 * md5_hash
2138 * MD5(ClientHello.random + ServerHello.random
2139 * + ServerParams);
2140 * sha_hash
2141 * SHA(ClientHello.random + ServerHello.random
2142 * + ServerParams);
2143 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002144 mbedtls_md5_starts( &mbedtls_md5 );
2145 mbedtls_md5_update( &mbedtls_md5, ssl->handshake->randbytes, 64 );
2146 mbedtls_md5_update( &mbedtls_md5, params, params_len );
2147 mbedtls_md5_finish( &mbedtls_md5, hash );
Paul Bakker29e1f122013-04-16 13:07:56 +02002148
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002149 mbedtls_sha1_starts( &mbedtls_sha1 );
2150 mbedtls_sha1_update( &mbedtls_sha1, ssl->handshake->randbytes, 64 );
2151 mbedtls_sha1_update( &mbedtls_sha1, params, params_len );
2152 mbedtls_sha1_finish( &mbedtls_sha1, hash + 16 );
Paul Bakker5b4af392014-06-26 12:09:34 +02002153
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002154 mbedtls_md5_free( &mbedtls_md5 );
2155 mbedtls_sha1_free( &mbedtls_sha1 );
Paul Bakker29e1f122013-04-16 13:07:56 +02002156 }
2157 else
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002158#endif /* MBEDTLS_SSL_PROTO_SSL3 || MBEDTLS_SSL_PROTO_TLS1 || \
2159 MBEDTLS_SSL_PROTO_TLS1_1 */
2160#if defined(MBEDTLS_SSL_PROTO_TLS1) || defined(MBEDTLS_SSL_PROTO_TLS1_1) || \
2161 defined(MBEDTLS_SSL_PROTO_TLS1_2)
2162 if( md_alg != MBEDTLS_MD_NONE )
Paul Bakker29e1f122013-04-16 13:07:56 +02002163 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002164 mbedtls_md_context_t ctx;
Paul Bakker29e1f122013-04-16 13:07:56 +02002165
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002166 mbedtls_md_init( &ctx );
Paul Bakker84bbeb52014-07-01 14:53:22 +02002167
Manuel Pégourié-Gonnard4bd12842013-08-27 13:31:28 +02002168 /* Info from md_alg will be used instead */
2169 hashlen = 0;
Paul Bakker29e1f122013-04-16 13:07:56 +02002170
2171 /*
2172 * digitally-signed struct {
2173 * opaque client_random[32];
2174 * opaque server_random[32];
2175 * ServerDHParams params;
2176 * };
2177 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002178 if( ( ret = mbedtls_md_setup( &ctx,
2179 mbedtls_md_info_from_type( md_alg ), 0 ) ) != 0 )
Paul Bakker29e1f122013-04-16 13:07:56 +02002180 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002181 MBEDTLS_SSL_DEBUG_RET( 1, "mbedtls_md_setup", ret );
Paul Bakker29e1f122013-04-16 13:07:56 +02002182 return( ret );
2183 }
2184
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002185 mbedtls_md_starts( &ctx );
2186 mbedtls_md_update( &ctx, ssl->handshake->randbytes, 64 );
2187 mbedtls_md_update( &ctx, params, params_len );
2188 mbedtls_md_finish( &ctx, hash );
2189 mbedtls_md_free( &ctx );
Paul Bakker29e1f122013-04-16 13:07:56 +02002190 }
Paul Bakkerd2f068e2013-08-27 21:19:20 +02002191 else
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002192#endif /* MBEDTLS_SSL_PROTO_TLS1 || MBEDTLS_SSL_PROTO_TLS1_1 || \
2193 MBEDTLS_SSL_PROTO_TLS1_2 */
Paul Bakker29e1f122013-04-16 13:07:56 +02002194 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002195 MBEDTLS_SSL_DEBUG_MSG( 1, ( "should never happen" ) );
2196 return( MBEDTLS_ERR_SSL_INTERNAL_ERROR );
Paul Bakker577e0062013-08-28 11:57:20 +02002197 }
Paul Bakker29e1f122013-04-16 13:07:56 +02002198
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002199 MBEDTLS_SSL_DEBUG_BUF( 3, "parameters hash", hash, hashlen != 0 ? hashlen :
2200 (unsigned int) ( mbedtls_md_get_size( mbedtls_md_info_from_type( md_alg ) ) ) );
Paul Bakker29e1f122013-04-16 13:07:56 +02002201
Manuel Pégourié-Gonnardefebb0a2013-08-19 12:06:38 +02002202 /*
2203 * Verify signature
2204 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002205 if( ! mbedtls_pk_can_do( &ssl->session_negotiate->peer_cert->pk, pk_alg ) )
Manuel Pégourié-Gonnardefebb0a2013-08-19 12:06:38 +02002206 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002207 MBEDTLS_SSL_DEBUG_MSG( 1, ( "bad server key exchange message" ) );
2208 return( MBEDTLS_ERR_SSL_PK_TYPE_MISMATCH );
Manuel Pégourié-Gonnardefebb0a2013-08-19 12:06:38 +02002209 }
2210
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002211 if( ( ret = mbedtls_pk_verify( &ssl->session_negotiate->peer_cert->pk,
Manuel Pégourié-Gonnard20846b12013-08-19 12:32:12 +02002212 md_alg, hash, hashlen, p, sig_len ) ) != 0 )
Manuel Pégourié-Gonnardefebb0a2013-08-19 12:06:38 +02002213 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002214 MBEDTLS_SSL_DEBUG_RET( 1, "mbedtls_pk_verify", ret );
Paul Bakkerc70b9822013-04-07 22:00:46 +02002215 return( ret );
Paul Bakkerc3f177a2012-04-11 16:11:49 +00002216 }
Paul Bakker5121ce52009-01-03 21:22:43 +00002217 }
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002218#endif /* MBEDTLS_KEY_EXCHANGE_DHE_RSA_ENABLED ||
2219 MBEDTLS_KEY_EXCHANGE_ECDHE_RSA_ENABLED ||
2220 MBEDTLS_KEY_EXCHANGE_ECDHE_ECDSA_ENABLED */
Paul Bakker5121ce52009-01-03 21:22:43 +00002221
Paul Bakkerd4a56ec2013-04-16 18:05:29 +02002222exit:
Paul Bakker5121ce52009-01-03 21:22:43 +00002223 ssl->state++;
2224
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002225 MBEDTLS_SSL_DEBUG_MSG( 2, ( "<= parse server key exchange" ) );
Paul Bakker5121ce52009-01-03 21:22:43 +00002226
2227 return( 0 );
Paul Bakker5121ce52009-01-03 21:22:43 +00002228}
2229
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002230#if !defined(MBEDTLS_KEY_EXCHANGE_RSA_ENABLED) && \
2231 !defined(MBEDTLS_KEY_EXCHANGE_DHE_RSA_ENABLED) && \
2232 !defined(MBEDTLS_KEY_EXCHANGE_ECDHE_RSA_ENABLED) && \
2233 !defined(MBEDTLS_KEY_EXCHANGE_ECDHE_ECDSA_ENABLED)
2234static int ssl_parse_certificate_request( mbedtls_ssl_context *ssl )
Manuel Pégourié-Gonnardda1ff382013-11-25 17:38:36 +01002235{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002236 const mbedtls_ssl_ciphersuite_t *ciphersuite_info = ssl->transform_negotiate->ciphersuite_info;
Manuel Pégourié-Gonnardda1ff382013-11-25 17:38:36 +01002237
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002238 MBEDTLS_SSL_DEBUG_MSG( 2, ( "=> parse certificate request" ) );
Manuel Pégourié-Gonnardda1ff382013-11-25 17:38:36 +01002239
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002240 if( ciphersuite_info->key_exchange == MBEDTLS_KEY_EXCHANGE_PSK ||
2241 ciphersuite_info->key_exchange == MBEDTLS_KEY_EXCHANGE_RSA_PSK ||
2242 ciphersuite_info->key_exchange == MBEDTLS_KEY_EXCHANGE_DHE_PSK ||
2243 ciphersuite_info->key_exchange == MBEDTLS_KEY_EXCHANGE_ECDHE_PSK )
Manuel Pégourié-Gonnardda1ff382013-11-25 17:38:36 +01002244 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002245 MBEDTLS_SSL_DEBUG_MSG( 2, ( "<= skip parse certificate request" ) );
Manuel Pégourié-Gonnardda1ff382013-11-25 17:38:36 +01002246 ssl->state++;
2247 return( 0 );
2248 }
2249
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002250 MBEDTLS_SSL_DEBUG_MSG( 1, ( "should never happen" ) );
2251 return( MBEDTLS_ERR_SSL_INTERNAL_ERROR );
Manuel Pégourié-Gonnardda1ff382013-11-25 17:38:36 +01002252}
2253#else
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002254static int ssl_parse_certificate_request( mbedtls_ssl_context *ssl )
Paul Bakker5121ce52009-01-03 21:22:43 +00002255{
2256 int ret;
Paul Bakker926af752012-11-23 13:38:07 +01002257 unsigned char *buf, *p;
Paul Bakker9c94cdd2013-01-22 13:45:33 +01002258 size_t n = 0, m = 0;
Paul Bakkerd2f068e2013-08-27 21:19:20 +02002259 size_t cert_type_len = 0, dn_len = 0;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002260 const mbedtls_ssl_ciphersuite_t *ciphersuite_info = ssl->transform_negotiate->ciphersuite_info;
Paul Bakker5121ce52009-01-03 21:22:43 +00002261
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002262 MBEDTLS_SSL_DEBUG_MSG( 2, ( "=> parse certificate request" ) );
Paul Bakker5121ce52009-01-03 21:22:43 +00002263
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002264 if( ciphersuite_info->key_exchange == MBEDTLS_KEY_EXCHANGE_PSK ||
2265 ciphersuite_info->key_exchange == MBEDTLS_KEY_EXCHANGE_RSA_PSK ||
2266 ciphersuite_info->key_exchange == MBEDTLS_KEY_EXCHANGE_DHE_PSK ||
2267 ciphersuite_info->key_exchange == MBEDTLS_KEY_EXCHANGE_ECDHE_PSK )
Manuel Pégourié-Gonnardda1ff382013-11-25 17:38:36 +01002268 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002269 MBEDTLS_SSL_DEBUG_MSG( 2, ( "<= skip parse certificate request" ) );
Manuel Pégourié-Gonnardda1ff382013-11-25 17:38:36 +01002270 ssl->state++;
2271 return( 0 );
2272 }
2273
Paul Bakkerd4a56ec2013-04-16 18:05:29 +02002274 if( ssl->record_read == 0 )
Paul Bakker5121ce52009-01-03 21:22:43 +00002275 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002276 if( ( ret = mbedtls_ssl_read_record( ssl ) ) != 0 )
Paul Bakkerd4a56ec2013-04-16 18:05:29 +02002277 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002278 MBEDTLS_SSL_DEBUG_RET( 1, "mbedtls_ssl_read_record", ret );
Paul Bakkerd4a56ec2013-04-16 18:05:29 +02002279 return( ret );
2280 }
Paul Bakker5121ce52009-01-03 21:22:43 +00002281
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002282 if( ssl->in_msgtype != MBEDTLS_SSL_MSG_HANDSHAKE )
Paul Bakkerd4a56ec2013-04-16 18:05:29 +02002283 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002284 MBEDTLS_SSL_DEBUG_MSG( 1, ( "bad certificate request message" ) );
2285 return( MBEDTLS_ERR_SSL_UNEXPECTED_MESSAGE );
Paul Bakkerd4a56ec2013-04-16 18:05:29 +02002286 }
2287
2288 ssl->record_read = 1;
Paul Bakker5121ce52009-01-03 21:22:43 +00002289 }
2290
2291 ssl->client_auth = 0;
2292 ssl->state++;
2293
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002294 if( ssl->in_msg[0] == MBEDTLS_SSL_HS_CERTIFICATE_REQUEST )
Paul Bakker5121ce52009-01-03 21:22:43 +00002295 ssl->client_auth++;
2296
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002297 MBEDTLS_SSL_DEBUG_MSG( 3, ( "got %s certificate request",
Paul Bakker5121ce52009-01-03 21:22:43 +00002298 ssl->client_auth ? "a" : "no" ) );
2299
Paul Bakker926af752012-11-23 13:38:07 +01002300 if( ssl->client_auth == 0 )
2301 goto exit;
2302
Paul Bakkerd4a56ec2013-04-16 18:05:29 +02002303 ssl->record_read = 0;
2304
Paul Bakker926af752012-11-23 13:38:07 +01002305 // TODO: handshake_failure alert for an anonymous server to request
2306 // client authentication
2307
Manuel Pégourié-Gonnard04c1b4e2014-09-10 19:25:43 +02002308 /*
2309 * struct {
2310 * ClientCertificateType certificate_types<1..2^8-1>;
2311 * SignatureAndHashAlgorithm
2312 * supported_signature_algorithms<2^16-1>; -- TLS 1.2 only
2313 * DistinguishedName certificate_authorities<0..2^16-1>;
2314 * } CertificateRequest;
2315 */
Paul Bakker926af752012-11-23 13:38:07 +01002316 buf = ssl->in_msg;
Paul Bakkerf7abd422013-04-16 13:15:56 +02002317
Paul Bakker926af752012-11-23 13:38:07 +01002318 // Retrieve cert types
2319 //
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002320 cert_type_len = buf[mbedtls_ssl_hs_hdr_len( ssl )];
Paul Bakker926af752012-11-23 13:38:07 +01002321 n = cert_type_len;
2322
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002323 if( ssl->in_hslen < mbedtls_ssl_hs_hdr_len( ssl ) + 2 + n )
Paul Bakker926af752012-11-23 13:38:07 +01002324 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002325 MBEDTLS_SSL_DEBUG_MSG( 1, ( "bad certificate request message" ) );
2326 return( MBEDTLS_ERR_SSL_BAD_HS_CERTIFICATE_REQUEST );
Paul Bakker926af752012-11-23 13:38:07 +01002327 }
2328
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002329 p = buf + mbedtls_ssl_hs_hdr_len( ssl ) + 1;
Paul Bakker926af752012-11-23 13:38:07 +01002330 while( cert_type_len > 0 )
2331 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002332#if defined(MBEDTLS_RSA_C)
2333 if( *p == MBEDTLS_SSL_CERT_TYPE_RSA_SIGN &&
2334 mbedtls_pk_can_do( mbedtls_ssl_own_key( ssl ), MBEDTLS_PK_RSA ) )
Paul Bakker926af752012-11-23 13:38:07 +01002335 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002336 ssl->handshake->cert_type = MBEDTLS_SSL_CERT_TYPE_RSA_SIGN;
Paul Bakker926af752012-11-23 13:38:07 +01002337 break;
2338 }
Manuel Pégourié-Gonnarda3104592013-09-17 21:17:44 +02002339 else
2340#endif
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002341#if defined(MBEDTLS_ECDSA_C)
2342 if( *p == MBEDTLS_SSL_CERT_TYPE_ECDSA_SIGN &&
2343 mbedtls_pk_can_do( mbedtls_ssl_own_key( ssl ), MBEDTLS_PK_ECDSA ) )
Manuel Pégourié-Gonnarda3104592013-09-17 21:17:44 +02002344 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002345 ssl->handshake->cert_type = MBEDTLS_SSL_CERT_TYPE_ECDSA_SIGN;
Manuel Pégourié-Gonnarda3104592013-09-17 21:17:44 +02002346 break;
2347 }
2348 else
2349#endif
2350 {
2351 ; /* Unsupported cert type, ignore */
2352 }
Paul Bakker926af752012-11-23 13:38:07 +01002353
2354 cert_type_len--;
2355 p++;
2356 }
2357
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002358#if defined(MBEDTLS_SSL_PROTO_TLS1_2)
2359 if( ssl->minor_ver == MBEDTLS_SSL_MINOR_VERSION_3 )
Paul Bakker926af752012-11-23 13:38:07 +01002360 {
Manuel Pégourié-Gonnarda3104592013-09-17 21:17:44 +02002361 /* Ignored, see comments about hash in write_certificate_verify */
2362 // TODO: should check the signature part against our pk_key though
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002363 size_t sig_alg_len = ( ( buf[mbedtls_ssl_hs_hdr_len( ssl ) + 1 + n] << 8 )
2364 | ( buf[mbedtls_ssl_hs_hdr_len( ssl ) + 2 + n] ) );
Paul Bakker926af752012-11-23 13:38:07 +01002365
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002366 p = buf + mbedtls_ssl_hs_hdr_len( ssl ) + 3 + n;
Paul Bakker9c94cdd2013-01-22 13:45:33 +01002367 m += 2;
Paul Bakker926af752012-11-23 13:38:07 +01002368 n += sig_alg_len;
2369
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002370 if( ssl->in_hslen < mbedtls_ssl_hs_hdr_len( ssl ) + 2 + n )
Paul Bakker926af752012-11-23 13:38:07 +01002371 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002372 MBEDTLS_SSL_DEBUG_MSG( 1, ( "bad certificate request message" ) );
2373 return( MBEDTLS_ERR_SSL_BAD_HS_CERTIFICATE_REQUEST );
Paul Bakker926af752012-11-23 13:38:07 +01002374 }
Paul Bakkerf7abd422013-04-16 13:15:56 +02002375 }
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002376#endif /* MBEDTLS_SSL_PROTO_TLS1_2 */
Paul Bakker926af752012-11-23 13:38:07 +01002377
Manuel Pégourié-Gonnarda3104592013-09-17 21:17:44 +02002378 /* Ignore certificate_authorities, we only have one cert anyway */
2379 // TODO: should not send cert if no CA matches
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002380 dn_len = ( ( buf[mbedtls_ssl_hs_hdr_len( ssl ) + 1 + m + n] << 8 )
2381 | ( buf[mbedtls_ssl_hs_hdr_len( ssl ) + 2 + m + n] ) );
Paul Bakker926af752012-11-23 13:38:07 +01002382
2383 n += dn_len;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002384 if( ssl->in_hslen != mbedtls_ssl_hs_hdr_len( ssl ) + 3 + m + n )
Paul Bakker926af752012-11-23 13:38:07 +01002385 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002386 MBEDTLS_SSL_DEBUG_MSG( 1, ( "bad certificate request message" ) );
2387 return( MBEDTLS_ERR_SSL_BAD_HS_CERTIFICATE_REQUEST );
Paul Bakker926af752012-11-23 13:38:07 +01002388 }
2389
2390exit:
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002391 MBEDTLS_SSL_DEBUG_MSG( 2, ( "<= parse certificate request" ) );
Paul Bakker5121ce52009-01-03 21:22:43 +00002392
2393 return( 0 );
2394}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002395#endif /* !MBEDTLS_KEY_EXCHANGE_RSA_ENABLED &&
2396 !MBEDTLS_KEY_EXCHANGE_DHE_RSA_ENABLED &&
2397 !MBEDTLS_KEY_EXCHANGE_ECDHE_RSA_ENABLED &&
2398 !MBEDTLS_KEY_EXCHANGE_ECDHE_ECDSA_ENABLED */
Paul Bakker5121ce52009-01-03 21:22:43 +00002399
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002400static int ssl_parse_server_hello_done( mbedtls_ssl_context *ssl )
Paul Bakker5121ce52009-01-03 21:22:43 +00002401{
2402 int ret;
2403
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002404 MBEDTLS_SSL_DEBUG_MSG( 2, ( "=> parse server hello done" ) );
Paul Bakker5121ce52009-01-03 21:22:43 +00002405
Paul Bakkerd4a56ec2013-04-16 18:05:29 +02002406 if( ssl->record_read == 0 )
Paul Bakker5121ce52009-01-03 21:22:43 +00002407 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002408 if( ( ret = mbedtls_ssl_read_record( ssl ) ) != 0 )
Paul Bakker5121ce52009-01-03 21:22:43 +00002409 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002410 MBEDTLS_SSL_DEBUG_RET( 1, "mbedtls_ssl_read_record", ret );
Paul Bakker5121ce52009-01-03 21:22:43 +00002411 return( ret );
2412 }
2413
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002414 if( ssl->in_msgtype != MBEDTLS_SSL_MSG_HANDSHAKE )
Paul Bakker5121ce52009-01-03 21:22:43 +00002415 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002416 MBEDTLS_SSL_DEBUG_MSG( 1, ( "bad server hello done message" ) );
2417 return( MBEDTLS_ERR_SSL_UNEXPECTED_MESSAGE );
Paul Bakker5121ce52009-01-03 21:22:43 +00002418 }
2419 }
Paul Bakkerd4a56ec2013-04-16 18:05:29 +02002420 ssl->record_read = 0;
Paul Bakker5121ce52009-01-03 21:22:43 +00002421
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002422 if( ssl->in_hslen != mbedtls_ssl_hs_hdr_len( ssl ) ||
2423 ssl->in_msg[0] != MBEDTLS_SSL_HS_SERVER_HELLO_DONE )
Paul Bakker5121ce52009-01-03 21:22:43 +00002424 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002425 MBEDTLS_SSL_DEBUG_MSG( 1, ( "bad server hello done message" ) );
2426 return( MBEDTLS_ERR_SSL_BAD_HS_SERVER_HELLO_DONE );
Paul Bakker5121ce52009-01-03 21:22:43 +00002427 }
2428
2429 ssl->state++;
2430
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002431#if defined(MBEDTLS_SSL_PROTO_DTLS)
Manuel Pégourié-Gonnard7ca4e4d2015-05-04 10:55:58 +02002432 if( ssl->conf->transport == MBEDTLS_SSL_TRANSPORT_DATAGRAM )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002433 mbedtls_ssl_recv_flight_completed( ssl );
Manuel Pégourié-Gonnard5d8ba532014-09-19 15:09:21 +02002434#endif
2435
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002436 MBEDTLS_SSL_DEBUG_MSG( 2, ( "<= parse server hello done" ) );
Paul Bakker5121ce52009-01-03 21:22:43 +00002437
2438 return( 0 );
2439}
2440
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002441static int ssl_write_client_key_exchange( mbedtls_ssl_context *ssl )
Paul Bakker5121ce52009-01-03 21:22:43 +00002442{
Paul Bakker23986e52011-04-24 08:57:21 +00002443 int ret;
2444 size_t i, n;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002445 const mbedtls_ssl_ciphersuite_t *ciphersuite_info = ssl->transform_negotiate->ciphersuite_info;
Paul Bakker5121ce52009-01-03 21:22:43 +00002446
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002447 MBEDTLS_SSL_DEBUG_MSG( 2, ( "=> write client key exchange" ) );
Paul Bakker5121ce52009-01-03 21:22:43 +00002448
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002449#if defined(MBEDTLS_KEY_EXCHANGE_DHE_RSA_ENABLED)
2450 if( ciphersuite_info->key_exchange == MBEDTLS_KEY_EXCHANGE_DHE_RSA )
Paul Bakker5121ce52009-01-03 21:22:43 +00002451 {
Paul Bakker5121ce52009-01-03 21:22:43 +00002452 /*
2453 * DHM key exchange -- send G^X mod P
2454 */
Paul Bakker48916f92012-09-16 19:57:18 +00002455 n = ssl->handshake->dhm_ctx.len;
Paul Bakker5121ce52009-01-03 21:22:43 +00002456
2457 ssl->out_msg[4] = (unsigned char)( n >> 8 );
2458 ssl->out_msg[5] = (unsigned char)( n );
2459 i = 6;
2460
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002461 ret = mbedtls_dhm_make_public( &ssl->handshake->dhm_ctx,
2462 (int) mbedtls_mpi_size( &ssl->handshake->dhm_ctx.P ),
Paul Bakker5121ce52009-01-03 21:22:43 +00002463 &ssl->out_msg[i], n,
2464 ssl->f_rng, ssl->p_rng );
2465 if( ret != 0 )
2466 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002467 MBEDTLS_SSL_DEBUG_RET( 1, "mbedtls_dhm_make_public", ret );
Paul Bakker5121ce52009-01-03 21:22:43 +00002468 return( ret );
2469 }
2470
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002471 MBEDTLS_SSL_DEBUG_MPI( 3, "DHM: X ", &ssl->handshake->dhm_ctx.X );
2472 MBEDTLS_SSL_DEBUG_MPI( 3, "DHM: GX", &ssl->handshake->dhm_ctx.GX );
Paul Bakker5121ce52009-01-03 21:22:43 +00002473
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002474 ssl->handshake->pmslen = MBEDTLS_PREMASTER_SIZE;
Paul Bakker5121ce52009-01-03 21:22:43 +00002475
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002476 if( ( ret = mbedtls_dhm_calc_secret( &ssl->handshake->dhm_ctx,
Paul Bakker48916f92012-09-16 19:57:18 +00002477 ssl->handshake->premaster,
Manuel Pégourié-Gonnard2d627642013-09-04 14:22:07 +02002478 &ssl->handshake->pmslen,
Manuel Pégourié-Gonnard15d5de12013-09-17 11:34:11 +02002479 ssl->f_rng, ssl->p_rng ) ) != 0 )
Paul Bakker5121ce52009-01-03 21:22:43 +00002480 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002481 MBEDTLS_SSL_DEBUG_RET( 1, "mbedtls_dhm_calc_secret", ret );
Paul Bakker5121ce52009-01-03 21:22:43 +00002482 return( ret );
2483 }
2484
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002485 MBEDTLS_SSL_DEBUG_MPI( 3, "DHM: K ", &ssl->handshake->dhm_ctx.K );
Paul Bakker5121ce52009-01-03 21:22:43 +00002486 }
2487 else
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002488#endif /* MBEDTLS_KEY_EXCHANGE_DHE_RSA_ENABLED */
2489#if defined(MBEDTLS_KEY_EXCHANGE_ECDHE_RSA_ENABLED) || \
2490 defined(MBEDTLS_KEY_EXCHANGE_ECDHE_ECDSA_ENABLED) || \
2491 defined(MBEDTLS_KEY_EXCHANGE_ECDH_RSA_ENABLED) || \
2492 defined(MBEDTLS_KEY_EXCHANGE_ECDH_ECDSA_ENABLED)
2493 if( ciphersuite_info->key_exchange == MBEDTLS_KEY_EXCHANGE_ECDHE_RSA ||
2494 ciphersuite_info->key_exchange == MBEDTLS_KEY_EXCHANGE_ECDHE_ECDSA ||
2495 ciphersuite_info->key_exchange == MBEDTLS_KEY_EXCHANGE_ECDH_RSA ||
2496 ciphersuite_info->key_exchange == MBEDTLS_KEY_EXCHANGE_ECDH_ECDSA )
Paul Bakker41c83d32013-03-20 14:39:14 +01002497 {
2498 /*
2499 * ECDH key exchange -- send client public value
2500 */
2501 i = 4;
2502
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002503 ret = mbedtls_ecdh_make_public( &ssl->handshake->ecdh_ctx,
Paul Bakker41c83d32013-03-20 14:39:14 +01002504 &n,
2505 &ssl->out_msg[i], 1000,
2506 ssl->f_rng, ssl->p_rng );
2507 if( ret != 0 )
2508 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002509 MBEDTLS_SSL_DEBUG_RET( 1, "mbedtls_ecdh_make_public", ret );
Paul Bakker41c83d32013-03-20 14:39:14 +01002510 return( ret );
2511 }
2512
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002513 MBEDTLS_SSL_DEBUG_ECP( 3, "ECDH: Q", &ssl->handshake->ecdh_ctx.Q );
Paul Bakker41c83d32013-03-20 14:39:14 +01002514
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002515 if( ( ret = mbedtls_ecdh_calc_secret( &ssl->handshake->ecdh_ctx,
Paul Bakker41c83d32013-03-20 14:39:14 +01002516 &ssl->handshake->pmslen,
2517 ssl->handshake->premaster,
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002518 MBEDTLS_MPI_MAX_SIZE,
Manuel Pégourié-Gonnarde09d2f82013-09-02 14:29:09 +02002519 ssl->f_rng, ssl->p_rng ) ) != 0 )
Paul Bakker41c83d32013-03-20 14:39:14 +01002520 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002521 MBEDTLS_SSL_DEBUG_RET( 1, "mbedtls_ecdh_calc_secret", ret );
Paul Bakker41c83d32013-03-20 14:39:14 +01002522 return( ret );
2523 }
2524
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002525 MBEDTLS_SSL_DEBUG_MPI( 3, "ECDH: z", &ssl->handshake->ecdh_ctx.z );
Paul Bakker41c83d32013-03-20 14:39:14 +01002526 }
2527 else
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002528#endif /* MBEDTLS_KEY_EXCHANGE_ECDHE_RSA_ENABLED ||
2529 MBEDTLS_KEY_EXCHANGE_ECDHE_ECDSA_ENABLED ||
2530 MBEDTLS_KEY_EXCHANGE_ECDH_RSA_ENABLED ||
2531 MBEDTLS_KEY_EXCHANGE_ECDH_ECDSA_ENABLED */
2532#if defined(MBEDTLS_KEY_EXCHANGE__SOME__PSK_ENABLED)
2533 if( ciphersuite_info->key_exchange == MBEDTLS_KEY_EXCHANGE_PSK ||
2534 ciphersuite_info->key_exchange == MBEDTLS_KEY_EXCHANGE_RSA_PSK ||
2535 ciphersuite_info->key_exchange == MBEDTLS_KEY_EXCHANGE_DHE_PSK ||
2536 ciphersuite_info->key_exchange == MBEDTLS_KEY_EXCHANGE_ECDHE_PSK )
Paul Bakkerd4a56ec2013-04-16 18:05:29 +02002537 {
Paul Bakkerd4a56ec2013-04-16 18:05:29 +02002538 /*
Paul Bakkerd4a56ec2013-04-16 18:05:29 +02002539 * opaque psk_identity<0..2^16-1>;
2540 */
Manuel Pégourié-Gonnard7ca4e4d2015-05-04 10:55:58 +02002541 if( ssl->conf->psk == NULL || ssl->conf->psk_identity == NULL )
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002542 return( MBEDTLS_ERR_SSL_PRIVATE_KEY_REQUIRED );
Paul Bakkerd4a56ec2013-04-16 18:05:29 +02002543
Paul Bakker48f7a5d2013-04-19 14:30:58 +02002544 i = 4;
Manuel Pégourié-Gonnard7ca4e4d2015-05-04 10:55:58 +02002545 n = ssl->conf->psk_identity_len;
Manuel Pégourié-Gonnard72fb62d2013-10-14 14:01:58 +02002546 ssl->out_msg[i++] = (unsigned char)( n >> 8 );
2547 ssl->out_msg[i++] = (unsigned char)( n );
Paul Bakker48f7a5d2013-04-19 14:30:58 +02002548
Manuel Pégourié-Gonnard7ca4e4d2015-05-04 10:55:58 +02002549 memcpy( ssl->out_msg + i, ssl->conf->psk_identity, ssl->conf->psk_identity_len );
2550 i += ssl->conf->psk_identity_len;
Paul Bakker48f7a5d2013-04-19 14:30:58 +02002551
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002552#if defined(MBEDTLS_KEY_EXCHANGE_PSK_ENABLED)
2553 if( ciphersuite_info->key_exchange == MBEDTLS_KEY_EXCHANGE_PSK )
Paul Bakker48f7a5d2013-04-19 14:30:58 +02002554 {
Manuel Pégourié-Gonnard72fb62d2013-10-14 14:01:58 +02002555 n = 0;
Manuel Pégourié-Gonnardbd1ae242013-10-14 13:09:25 +02002556 }
Manuel Pégourié-Gonnard72fb62d2013-10-14 14:01:58 +02002557 else
2558#endif
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002559#if defined(MBEDTLS_KEY_EXCHANGE_RSA_PSK_ENABLED)
2560 if( ciphersuite_info->key_exchange == MBEDTLS_KEY_EXCHANGE_RSA_PSK )
Manuel Pégourié-Gonnard0fae60b2013-10-14 17:39:48 +02002561 {
2562 if( ( ret = ssl_write_encrypted_pms( ssl, i, &n, 2 ) ) != 0 )
2563 return( ret );
2564 }
2565 else
2566#endif
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002567#if defined(MBEDTLS_KEY_EXCHANGE_DHE_PSK_ENABLED)
2568 if( ciphersuite_info->key_exchange == MBEDTLS_KEY_EXCHANGE_DHE_PSK )
Paul Bakker48f7a5d2013-04-19 14:30:58 +02002569 {
Manuel Pégourié-Gonnard72fb62d2013-10-14 14:01:58 +02002570 /*
2571 * ClientDiffieHellmanPublic public (DHM send G^X mod P)
2572 */
2573 n = ssl->handshake->dhm_ctx.len;
2574 ssl->out_msg[i++] = (unsigned char)( n >> 8 );
2575 ssl->out_msg[i++] = (unsigned char)( n );
Paul Bakker48f7a5d2013-04-19 14:30:58 +02002576
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002577 ret = mbedtls_dhm_make_public( &ssl->handshake->dhm_ctx,
2578 (int) mbedtls_mpi_size( &ssl->handshake->dhm_ctx.P ),
Manuel Pégourié-Gonnard72fb62d2013-10-14 14:01:58 +02002579 &ssl->out_msg[i], n,
2580 ssl->f_rng, ssl->p_rng );
2581 if( ret != 0 )
2582 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002583 MBEDTLS_SSL_DEBUG_RET( 1, "mbedtls_dhm_make_public", ret );
Manuel Pégourié-Gonnard72fb62d2013-10-14 14:01:58 +02002584 return( ret );
2585 }
Paul Bakker48f7a5d2013-04-19 14:30:58 +02002586 }
Manuel Pégourié-Gonnard72fb62d2013-10-14 14:01:58 +02002587 else
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002588#endif /* MBEDTLS_KEY_EXCHANGE_DHE_PSK_ENABLED */
2589#if defined(MBEDTLS_KEY_EXCHANGE_ECDHE_PSK_ENABLED)
2590 if( ciphersuite_info->key_exchange == MBEDTLS_KEY_EXCHANGE_ECDHE_PSK )
Manuel Pégourié-Gonnard3ce3bbd2013-10-11 16:53:50 +02002591 {
Manuel Pégourié-Gonnard72fb62d2013-10-14 14:01:58 +02002592 /*
2593 * ClientECDiffieHellmanPublic public;
2594 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002595 ret = mbedtls_ecdh_make_public( &ssl->handshake->ecdh_ctx, &n,
2596 &ssl->out_msg[i], MBEDTLS_SSL_MAX_CONTENT_LEN - i,
Manuel Pégourié-Gonnard72fb62d2013-10-14 14:01:58 +02002597 ssl->f_rng, ssl->p_rng );
2598 if( ret != 0 )
2599 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002600 MBEDTLS_SSL_DEBUG_RET( 1, "mbedtls_ecdh_make_public", ret );
Manuel Pégourié-Gonnard72fb62d2013-10-14 14:01:58 +02002601 return( ret );
2602 }
Manuel Pégourié-Gonnard3ce3bbd2013-10-11 16:53:50 +02002603
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002604 MBEDTLS_SSL_DEBUG_ECP( 3, "ECDH: Q", &ssl->handshake->ecdh_ctx.Q );
Manuel Pégourié-Gonnard72fb62d2013-10-14 14:01:58 +02002605 }
2606 else
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002607#endif /* MBEDTLS_KEY_EXCHANGE_ECDHE_PSK_ENABLED */
Manuel Pégourié-Gonnard72fb62d2013-10-14 14:01:58 +02002608 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002609 MBEDTLS_SSL_DEBUG_MSG( 1, ( "should never happen" ) );
2610 return( MBEDTLS_ERR_SSL_INTERNAL_ERROR );
Paul Bakker48f7a5d2013-04-19 14:30:58 +02002611 }
2612
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002613 if( ( ret = mbedtls_ssl_psk_derive_premaster( ssl,
Manuel Pégourié-Gonnardbd1ae242013-10-14 13:09:25 +02002614 ciphersuite_info->key_exchange ) ) != 0 )
Paul Bakker48f7a5d2013-04-19 14:30:58 +02002615 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002616 MBEDTLS_SSL_DEBUG_RET( 1, "mbedtls_ssl_psk_derive_premaster", ret );
Paul Bakker48f7a5d2013-04-19 14:30:58 +02002617 return( ret );
2618 }
Paul Bakker48f7a5d2013-04-19 14:30:58 +02002619 }
2620 else
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002621#endif /* MBEDTLS_KEY_EXCHANGE__SOME__PSK_ENABLED */
2622#if defined(MBEDTLS_KEY_EXCHANGE_RSA_ENABLED)
2623 if( ciphersuite_info->key_exchange == MBEDTLS_KEY_EXCHANGE_RSA )
Paul Bakker5121ce52009-01-03 21:22:43 +00002624 {
Manuel Pégourié-Gonnard0fae60b2013-10-14 17:39:48 +02002625 i = 4;
2626 if( ( ret = ssl_write_encrypted_pms( ssl, i, &n, 0 ) ) != 0 )
Paul Bakkera3d195c2011-11-27 21:07:34 +00002627 return( ret );
Paul Bakker5121ce52009-01-03 21:22:43 +00002628 }
Paul Bakkered27a042013-04-18 22:46:23 +02002629 else
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002630#endif /* MBEDTLS_KEY_EXCHANGE_RSA_ENABLED */
Paul Bakkered27a042013-04-18 22:46:23 +02002631 {
2632 ((void) ciphersuite_info);
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002633 MBEDTLS_SSL_DEBUG_MSG( 1, ( "should never happen" ) );
2634 return( MBEDTLS_ERR_SSL_INTERNAL_ERROR );
Paul Bakkered27a042013-04-18 22:46:23 +02002635 }
Paul Bakker5121ce52009-01-03 21:22:43 +00002636
Paul Bakker5121ce52009-01-03 21:22:43 +00002637 ssl->out_msglen = i + n;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002638 ssl->out_msgtype = MBEDTLS_SSL_MSG_HANDSHAKE;
2639 ssl->out_msg[0] = MBEDTLS_SSL_HS_CLIENT_KEY_EXCHANGE;
Paul Bakker5121ce52009-01-03 21:22:43 +00002640
2641 ssl->state++;
2642
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002643 if( ( ret = mbedtls_ssl_write_record( ssl ) ) != 0 )
Paul Bakker5121ce52009-01-03 21:22:43 +00002644 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002645 MBEDTLS_SSL_DEBUG_RET( 1, "mbedtls_ssl_write_record", ret );
Paul Bakker5121ce52009-01-03 21:22:43 +00002646 return( ret );
2647 }
2648
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002649 MBEDTLS_SSL_DEBUG_MSG( 2, ( "<= write client key exchange" ) );
Paul Bakker5121ce52009-01-03 21:22:43 +00002650
2651 return( 0 );
2652}
2653
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002654#if !defined(MBEDTLS_KEY_EXCHANGE_RSA_ENABLED) && \
2655 !defined(MBEDTLS_KEY_EXCHANGE_DHE_RSA_ENABLED) && \
2656 !defined(MBEDTLS_KEY_EXCHANGE_ECDHE_RSA_ENABLED) && \
2657 !defined(MBEDTLS_KEY_EXCHANGE_ECDHE_ECDSA_ENABLED)
2658static int ssl_write_certificate_verify( mbedtls_ssl_context *ssl )
Paul Bakker5121ce52009-01-03 21:22:43 +00002659{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002660 const mbedtls_ssl_ciphersuite_t *ciphersuite_info = ssl->transform_negotiate->ciphersuite_info;
Manuel Pégourié-Gonnardada30302014-10-20 20:33:10 +02002661 int ret;
Paul Bakker5121ce52009-01-03 21:22:43 +00002662
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002663 MBEDTLS_SSL_DEBUG_MSG( 2, ( "=> write certificate verify" ) );
Paul Bakker5121ce52009-01-03 21:22:43 +00002664
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002665 if( ( ret = mbedtls_ssl_derive_keys( ssl ) ) != 0 )
Manuel Pégourié-Gonnardada30302014-10-20 20:33:10 +02002666 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002667 MBEDTLS_SSL_DEBUG_RET( 1, "mbedtls_ssl_derive_keys", ret );
Manuel Pégourié-Gonnardada30302014-10-20 20:33:10 +02002668 return( ret );
2669 }
2670
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002671 if( ciphersuite_info->key_exchange == MBEDTLS_KEY_EXCHANGE_PSK ||
2672 ciphersuite_info->key_exchange == MBEDTLS_KEY_EXCHANGE_RSA_PSK ||
2673 ciphersuite_info->key_exchange == MBEDTLS_KEY_EXCHANGE_ECDHE_PSK ||
2674 ciphersuite_info->key_exchange == MBEDTLS_KEY_EXCHANGE_DHE_PSK )
Paul Bakkered27a042013-04-18 22:46:23 +02002675 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002676 MBEDTLS_SSL_DEBUG_MSG( 2, ( "<= skip write certificate verify" ) );
Paul Bakkered27a042013-04-18 22:46:23 +02002677 ssl->state++;
2678 return( 0 );
2679 }
2680
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002681 MBEDTLS_SSL_DEBUG_MSG( 1, ( "should never happen" ) );
2682 return( MBEDTLS_ERR_SSL_INTERNAL_ERROR );
Paul Bakker48f7a5d2013-04-19 14:30:58 +02002683}
2684#else
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002685static int ssl_write_certificate_verify( mbedtls_ssl_context *ssl )
Paul Bakker48f7a5d2013-04-19 14:30:58 +02002686{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002687 int ret = MBEDTLS_ERR_SSL_FEATURE_UNAVAILABLE;
2688 const mbedtls_ssl_ciphersuite_t *ciphersuite_info = ssl->transform_negotiate->ciphersuite_info;
Paul Bakker48f7a5d2013-04-19 14:30:58 +02002689 size_t n = 0, offset = 0;
2690 unsigned char hash[48];
Manuel Pégourié-Gonnard4bd12842013-08-27 13:31:28 +02002691 unsigned char *hash_start = hash;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002692 mbedtls_md_type_t md_alg = MBEDTLS_MD_NONE;
Manuel Pégourié-Gonnard76c18a12013-08-20 16:50:40 +02002693 unsigned int hashlen;
Paul Bakker48f7a5d2013-04-19 14:30:58 +02002694
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002695 MBEDTLS_SSL_DEBUG_MSG( 2, ( "=> write certificate verify" ) );
Paul Bakker48f7a5d2013-04-19 14:30:58 +02002696
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002697 if( ( ret = mbedtls_ssl_derive_keys( ssl ) ) != 0 )
Manuel Pégourié-Gonnardada30302014-10-20 20:33:10 +02002698 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002699 MBEDTLS_SSL_DEBUG_RET( 1, "mbedtls_ssl_derive_keys", ret );
Manuel Pégourié-Gonnardada30302014-10-20 20:33:10 +02002700 return( ret );
2701 }
2702
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002703 if( ciphersuite_info->key_exchange == MBEDTLS_KEY_EXCHANGE_PSK ||
2704 ciphersuite_info->key_exchange == MBEDTLS_KEY_EXCHANGE_RSA_PSK ||
2705 ciphersuite_info->key_exchange == MBEDTLS_KEY_EXCHANGE_ECDHE_PSK ||
2706 ciphersuite_info->key_exchange == MBEDTLS_KEY_EXCHANGE_DHE_PSK )
Paul Bakker48f7a5d2013-04-19 14:30:58 +02002707 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002708 MBEDTLS_SSL_DEBUG_MSG( 2, ( "<= skip write certificate verify" ) );
Paul Bakker48f7a5d2013-04-19 14:30:58 +02002709 ssl->state++;
2710 return( 0 );
2711 }
2712
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002713 if( ssl->client_auth == 0 || mbedtls_ssl_own_cert( ssl ) == NULL )
Paul Bakker5121ce52009-01-03 21:22:43 +00002714 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002715 MBEDTLS_SSL_DEBUG_MSG( 2, ( "<= skip write certificate verify" ) );
Paul Bakker5121ce52009-01-03 21:22:43 +00002716 ssl->state++;
2717 return( 0 );
2718 }
2719
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002720 if( mbedtls_ssl_own_key( ssl ) == NULL )
Paul Bakker5121ce52009-01-03 21:22:43 +00002721 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002722 MBEDTLS_SSL_DEBUG_MSG( 1, ( "got no private key" ) );
2723 return( MBEDTLS_ERR_SSL_PRIVATE_KEY_REQUIRED );
Paul Bakker5121ce52009-01-03 21:22:43 +00002724 }
2725
2726 /*
2727 * Make an RSA signature of the handshake digests
2728 */
Paul Bakker48916f92012-09-16 19:57:18 +00002729 ssl->handshake->calc_verify( ssl, hash );
Paul Bakker5121ce52009-01-03 21:22:43 +00002730
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002731#if defined(MBEDTLS_SSL_PROTO_SSL3) || defined(MBEDTLS_SSL_PROTO_TLS1) || \
2732 defined(MBEDTLS_SSL_PROTO_TLS1_1)
2733 if( ssl->minor_ver != MBEDTLS_SSL_MINOR_VERSION_3 )
Paul Bakker1ef83d62012-04-11 12:09:53 +00002734 {
Paul Bakker926af752012-11-23 13:38:07 +01002735 /*
2736 * digitally-signed struct {
2737 * opaque md5_hash[16];
2738 * opaque sha_hash[20];
2739 * };
2740 *
2741 * md5_hash
2742 * MD5(handshake_messages);
2743 *
2744 * sha_hash
2745 * SHA(handshake_messages);
2746 */
2747 hashlen = 36;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002748 md_alg = MBEDTLS_MD_NONE;
Manuel Pégourié-Gonnard4bd12842013-08-27 13:31:28 +02002749
2750 /*
2751 * For ECDSA, default hash is SHA-1 only
2752 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002753 if( mbedtls_pk_can_do( mbedtls_ssl_own_key( ssl ), MBEDTLS_PK_ECDSA ) )
Manuel Pégourié-Gonnard4bd12842013-08-27 13:31:28 +02002754 {
2755 hash_start += 16;
2756 hashlen -= 16;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002757 md_alg = MBEDTLS_MD_SHA1;
Manuel Pégourié-Gonnard4bd12842013-08-27 13:31:28 +02002758 }
Paul Bakker926af752012-11-23 13:38:07 +01002759 }
2760 else
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002761#endif /* MBEDTLS_SSL_PROTO_SSL3 || MBEDTLS_SSL_PROTO_TLS1 || \
2762 MBEDTLS_SSL_PROTO_TLS1_1 */
2763#if defined(MBEDTLS_SSL_PROTO_TLS1_2)
2764 if( ssl->minor_ver == MBEDTLS_SSL_MINOR_VERSION_3 )
Paul Bakker926af752012-11-23 13:38:07 +01002765 {
2766 /*
2767 * digitally-signed struct {
2768 * opaque handshake_messages[handshake_messages_length];
2769 * };
2770 *
2771 * Taking shortcut here. We assume that the server always allows the
2772 * PRF Hash function and has sent it in the allowed signature
2773 * algorithms list received in the Certificate Request message.
2774 *
2775 * Until we encounter a server that does not, we will take this
2776 * shortcut.
2777 *
2778 * Reason: Otherwise we should have running hashes for SHA512 and SHA224
2779 * in order to satisfy 'weird' needs from the server side.
2780 */
Paul Bakkerb7149bc2013-03-20 15:30:09 +01002781 if( ssl->transform_negotiate->ciphersuite_info->mac ==
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002782 MBEDTLS_MD_SHA384 )
Paul Bakkerca4ab492012-04-18 14:23:57 +00002783 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002784 md_alg = MBEDTLS_MD_SHA384;
2785 ssl->out_msg[4] = MBEDTLS_SSL_HASH_SHA384;
Paul Bakkerca4ab492012-04-18 14:23:57 +00002786 }
2787 else
2788 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002789 md_alg = MBEDTLS_MD_SHA256;
2790 ssl->out_msg[4] = MBEDTLS_SSL_HASH_SHA256;
Paul Bakkerca4ab492012-04-18 14:23:57 +00002791 }
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002792 ssl->out_msg[5] = mbedtls_ssl_sig_from_pk( mbedtls_ssl_own_key( ssl ) );
Paul Bakker1ef83d62012-04-11 12:09:53 +00002793
Manuel Pégourié-Gonnardbfe32ef2013-08-22 14:55:30 +02002794 /* Info from md_alg will be used instead */
2795 hashlen = 0;
Paul Bakker1ef83d62012-04-11 12:09:53 +00002796 offset = 2;
2797 }
Paul Bakkerd2f068e2013-08-27 21:19:20 +02002798 else
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002799#endif /* MBEDTLS_SSL_PROTO_TLS1_2 */
Paul Bakker577e0062013-08-28 11:57:20 +02002800 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002801 MBEDTLS_SSL_DEBUG_MSG( 1, ( "should never happen" ) );
2802 return( MBEDTLS_ERR_SSL_INTERNAL_ERROR );
Paul Bakker577e0062013-08-28 11:57:20 +02002803 }
Paul Bakker1ef83d62012-04-11 12:09:53 +00002804
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002805 if( ( ret = mbedtls_pk_sign( mbedtls_ssl_own_key( ssl ), md_alg, hash_start, hashlen,
Manuel Pégourié-Gonnard0d420492013-08-21 16:14:26 +02002806 ssl->out_msg + 6 + offset, &n,
2807 ssl->f_rng, ssl->p_rng ) ) != 0 )
Manuel Pégourié-Gonnard76c18a12013-08-20 16:50:40 +02002808 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002809 MBEDTLS_SSL_DEBUG_RET( 1, "mbedtls_pk_sign", ret );
Manuel Pégourié-Gonnard0d420492013-08-21 16:14:26 +02002810 return( ret );
Manuel Pégourié-Gonnard76c18a12013-08-20 16:50:40 +02002811 }
Paul Bakker926af752012-11-23 13:38:07 +01002812
Paul Bakker1ef83d62012-04-11 12:09:53 +00002813 ssl->out_msg[4 + offset] = (unsigned char)( n >> 8 );
2814 ssl->out_msg[5 + offset] = (unsigned char)( n );
Paul Bakker5121ce52009-01-03 21:22:43 +00002815
Paul Bakker1ef83d62012-04-11 12:09:53 +00002816 ssl->out_msglen = 6 + n + offset;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002817 ssl->out_msgtype = MBEDTLS_SSL_MSG_HANDSHAKE;
2818 ssl->out_msg[0] = MBEDTLS_SSL_HS_CERTIFICATE_VERIFY;
Paul Bakker5121ce52009-01-03 21:22:43 +00002819
2820 ssl->state++;
2821
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002822 if( ( ret = mbedtls_ssl_write_record( ssl ) ) != 0 )
Paul Bakker5121ce52009-01-03 21:22:43 +00002823 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002824 MBEDTLS_SSL_DEBUG_RET( 1, "mbedtls_ssl_write_record", ret );
Paul Bakker5121ce52009-01-03 21:22:43 +00002825 return( ret );
2826 }
2827
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002828 MBEDTLS_SSL_DEBUG_MSG( 2, ( "<= write certificate verify" ) );
Paul Bakker5121ce52009-01-03 21:22:43 +00002829
Paul Bakkered27a042013-04-18 22:46:23 +02002830 return( ret );
Paul Bakker5121ce52009-01-03 21:22:43 +00002831}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002832#endif /* !MBEDTLS_KEY_EXCHANGE_RSA_ENABLED &&
2833 !MBEDTLS_KEY_EXCHANGE_DHE_RSA_ENABLED &&
2834 !MBEDTLS_KEY_EXCHANGE_ECDHE_RSA_ENABLED */
Paul Bakker5121ce52009-01-03 21:22:43 +00002835
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002836#if defined(MBEDTLS_SSL_SESSION_TICKETS)
2837static int ssl_parse_new_session_ticket( mbedtls_ssl_context *ssl )
Manuel Pégourié-Gonnarda5cc6022013-07-31 12:58:16 +02002838{
2839 int ret;
2840 uint32_t lifetime;
2841 size_t ticket_len;
2842 unsigned char *ticket;
Manuel Pégourié-Gonnard000d5ae2014-09-10 21:52:12 +02002843 const unsigned char *msg;
Manuel Pégourié-Gonnarda5cc6022013-07-31 12:58:16 +02002844
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002845 MBEDTLS_SSL_DEBUG_MSG( 2, ( "=> parse new session ticket" ) );
Manuel Pégourié-Gonnarda5cc6022013-07-31 12:58:16 +02002846
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002847 if( ( ret = mbedtls_ssl_read_record( ssl ) ) != 0 )
Manuel Pégourié-Gonnarda5cc6022013-07-31 12:58:16 +02002848 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002849 MBEDTLS_SSL_DEBUG_RET( 1, "mbedtls_ssl_read_record", ret );
Manuel Pégourié-Gonnarda5cc6022013-07-31 12:58:16 +02002850 return( ret );
2851 }
2852
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002853 if( ssl->in_msgtype != MBEDTLS_SSL_MSG_HANDSHAKE )
Manuel Pégourié-Gonnarda5cc6022013-07-31 12:58:16 +02002854 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002855 MBEDTLS_SSL_DEBUG_MSG( 1, ( "bad new session ticket message" ) );
2856 return( MBEDTLS_ERR_SSL_UNEXPECTED_MESSAGE );
Manuel Pégourié-Gonnarda5cc6022013-07-31 12:58:16 +02002857 }
2858
2859 /*
2860 * struct {
2861 * uint32 ticket_lifetime_hint;
2862 * opaque ticket<0..2^16-1>;
2863 * } NewSessionTicket;
2864 *
Manuel Pégourié-Gonnard000d5ae2014-09-10 21:52:12 +02002865 * 0 . 3 ticket_lifetime_hint
2866 * 4 . 5 ticket_len (n)
2867 * 6 . 5+n ticket content
Manuel Pégourié-Gonnarda5cc6022013-07-31 12:58:16 +02002868 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002869 if( ssl->in_msg[0] != MBEDTLS_SSL_HS_NEW_SESSION_TICKET ||
2870 ssl->in_hslen < 6 + mbedtls_ssl_hs_hdr_len( ssl ) )
Manuel Pégourié-Gonnarda5cc6022013-07-31 12:58:16 +02002871 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002872 MBEDTLS_SSL_DEBUG_MSG( 1, ( "bad new session ticket message" ) );
2873 return( MBEDTLS_ERR_SSL_BAD_HS_NEW_SESSION_TICKET );
Manuel Pégourié-Gonnarda5cc6022013-07-31 12:58:16 +02002874 }
2875
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002876 msg = ssl->in_msg + mbedtls_ssl_hs_hdr_len( ssl );
Manuel Pégourié-Gonnarda5cc6022013-07-31 12:58:16 +02002877
Manuel Pégourié-Gonnard000d5ae2014-09-10 21:52:12 +02002878 lifetime = ( msg[0] << 24 ) | ( msg[1] << 16 ) |
2879 ( msg[2] << 8 ) | ( msg[3] );
Manuel Pégourié-Gonnarda5cc6022013-07-31 12:58:16 +02002880
Manuel Pégourié-Gonnard000d5ae2014-09-10 21:52:12 +02002881 ticket_len = ( msg[4] << 8 ) | ( msg[5] );
2882
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002883 if( ticket_len + 6 + mbedtls_ssl_hs_hdr_len( ssl ) != ssl->in_hslen )
Manuel Pégourié-Gonnarda5cc6022013-07-31 12:58:16 +02002884 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002885 MBEDTLS_SSL_DEBUG_MSG( 1, ( "bad new session ticket message" ) );
2886 return( MBEDTLS_ERR_SSL_BAD_HS_NEW_SESSION_TICKET );
Manuel Pégourié-Gonnarda5cc6022013-07-31 12:58:16 +02002887 }
2888
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002889 MBEDTLS_SSL_DEBUG_MSG( 3, ( "ticket length: %d", ticket_len ) );
Manuel Pégourié-Gonnarda5cc6022013-07-31 12:58:16 +02002890
Manuel Pégourié-Gonnard7cd59242013-08-02 13:24:41 +02002891 /* We're not waiting for a NewSessionTicket message any more */
2892 ssl->handshake->new_session_ticket = 0;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002893 ssl->state = MBEDTLS_SSL_SERVER_CHANGE_CIPHER_SPEC;
Manuel Pégourié-Gonnard7cd59242013-08-02 13:24:41 +02002894
Manuel Pégourié-Gonnarda5cc6022013-07-31 12:58:16 +02002895 /*
2896 * Zero-length ticket means the server changed his mind and doesn't want
2897 * to send a ticket after all, so just forget it
2898 */
Paul Bakker66d5d072014-06-17 16:39:18 +02002899 if( ticket_len == 0 )
Manuel Pégourié-Gonnarda5cc6022013-07-31 12:58:16 +02002900 return( 0 );
2901
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002902 mbedtls_zeroize( ssl->session_negotiate->ticket,
Paul Bakker34617722014-06-13 17:20:13 +02002903 ssl->session_negotiate->ticket_len );
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002904 mbedtls_free( ssl->session_negotiate->ticket );
Manuel Pégourié-Gonnarda5cc6022013-07-31 12:58:16 +02002905 ssl->session_negotiate->ticket = NULL;
2906 ssl->session_negotiate->ticket_len = 0;
2907
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002908 if( ( ticket = mbedtls_malloc( ticket_len ) ) == NULL )
Manuel Pégourié-Gonnarda5cc6022013-07-31 12:58:16 +02002909 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002910 MBEDTLS_SSL_DEBUG_MSG( 1, ( "ticket malloc failed" ) );
2911 return( MBEDTLS_ERR_SSL_MALLOC_FAILED );
Manuel Pégourié-Gonnarda5cc6022013-07-31 12:58:16 +02002912 }
2913
Manuel Pégourié-Gonnard000d5ae2014-09-10 21:52:12 +02002914 memcpy( ticket, msg + 6, ticket_len );
Manuel Pégourié-Gonnarda5cc6022013-07-31 12:58:16 +02002915
2916 ssl->session_negotiate->ticket = ticket;
2917 ssl->session_negotiate->ticket_len = ticket_len;
2918 ssl->session_negotiate->ticket_lifetime = lifetime;
2919
2920 /*
2921 * RFC 5077 section 3.4:
2922 * "If the client receives a session ticket from the server, then it
2923 * discards any Session ID that was sent in the ServerHello."
2924 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002925 MBEDTLS_SSL_DEBUG_MSG( 3, ( "ticket in use, discarding session id" ) );
Manuel Pégourié-Gonnarda5cc6022013-07-31 12:58:16 +02002926 ssl->session_negotiate->length = 0;
2927
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002928 MBEDTLS_SSL_DEBUG_MSG( 2, ( "<= parse new session ticket" ) );
Manuel Pégourié-Gonnarda5cc6022013-07-31 12:58:16 +02002929
2930 return( 0 );
2931}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002932#endif /* MBEDTLS_SSL_SESSION_TICKETS */
Manuel Pégourié-Gonnarda5cc6022013-07-31 12:58:16 +02002933
Paul Bakker5121ce52009-01-03 21:22:43 +00002934/*
Paul Bakker1961b702013-01-25 14:49:24 +01002935 * SSL handshake -- client side -- single step
Paul Bakker5121ce52009-01-03 21:22:43 +00002936 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002937int mbedtls_ssl_handshake_client_step( mbedtls_ssl_context *ssl )
Paul Bakker5121ce52009-01-03 21:22:43 +00002938{
2939 int ret = 0;
2940
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002941 if( ssl->state == MBEDTLS_SSL_HANDSHAKE_OVER )
2942 return( MBEDTLS_ERR_SSL_BAD_INPUT_DATA );
Paul Bakker5121ce52009-01-03 21:22:43 +00002943
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002944 MBEDTLS_SSL_DEBUG_MSG( 2, ( "client state: %d", ssl->state ) );
Paul Bakker1961b702013-01-25 14:49:24 +01002945
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002946 if( ( ret = mbedtls_ssl_flush_output( ssl ) ) != 0 )
Paul Bakker1961b702013-01-25 14:49:24 +01002947 return( ret );
2948
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002949#if defined(MBEDTLS_SSL_PROTO_DTLS)
Manuel Pégourié-Gonnard7ca4e4d2015-05-04 10:55:58 +02002950 if( ssl->conf->transport == MBEDTLS_SSL_TRANSPORT_DATAGRAM &&
Manuel Pégourié-Gonnard5d8ba532014-09-19 15:09:21 +02002951 ssl->handshake != NULL &&
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002952 ssl->handshake->retransmit_state == MBEDTLS_SSL_RETRANS_SENDING )
Manuel Pégourié-Gonnard5d8ba532014-09-19 15:09:21 +02002953 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002954 if( ( ret = mbedtls_ssl_resend( ssl ) ) != 0 )
Manuel Pégourié-Gonnard5d8ba532014-09-19 15:09:21 +02002955 return( ret );
2956 }
2957#endif
2958
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002959 /* Change state now, so that it is right in mbedtls_ssl_read_record(), used
Manuel Pégourié-Gonnardcd32a502014-09-20 13:54:12 +02002960 * by DTLS for dropping out-of-sequence ChangeCipherSpec records */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002961#if defined(MBEDTLS_SSL_SESSION_TICKETS)
2962 if( ssl->state == MBEDTLS_SSL_SERVER_CHANGE_CIPHER_SPEC &&
Manuel Pégourié-Gonnardcd32a502014-09-20 13:54:12 +02002963 ssl->handshake->new_session_ticket != 0 )
2964 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002965 ssl->state = MBEDTLS_SSL_SERVER_NEW_SESSION_TICKET;
Manuel Pégourié-Gonnardcd32a502014-09-20 13:54:12 +02002966 }
2967#endif
2968
Paul Bakker1961b702013-01-25 14:49:24 +01002969 switch( ssl->state )
Paul Bakker5121ce52009-01-03 21:22:43 +00002970 {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002971 case MBEDTLS_SSL_HELLO_REQUEST:
2972 ssl->state = MBEDTLS_SSL_CLIENT_HELLO;
Paul Bakker5121ce52009-01-03 21:22:43 +00002973 break;
2974
Paul Bakker1961b702013-01-25 14:49:24 +01002975 /*
2976 * ==> ClientHello
2977 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002978 case MBEDTLS_SSL_CLIENT_HELLO:
Paul Bakker1961b702013-01-25 14:49:24 +01002979 ret = ssl_write_client_hello( ssl );
2980 break;
Paul Bakker5121ce52009-01-03 21:22:43 +00002981
Paul Bakker1961b702013-01-25 14:49:24 +01002982 /*
2983 * <== ServerHello
2984 * Certificate
2985 * ( ServerKeyExchange )
2986 * ( CertificateRequest )
2987 * ServerHelloDone
2988 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002989 case MBEDTLS_SSL_SERVER_HELLO:
Paul Bakker1961b702013-01-25 14:49:24 +01002990 ret = ssl_parse_server_hello( ssl );
2991 break;
Paul Bakker5121ce52009-01-03 21:22:43 +00002992
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002993 case MBEDTLS_SSL_SERVER_CERTIFICATE:
2994 ret = mbedtls_ssl_parse_certificate( ssl );
Paul Bakker1961b702013-01-25 14:49:24 +01002995 break;
Paul Bakker5121ce52009-01-03 21:22:43 +00002996
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02002997 case MBEDTLS_SSL_SERVER_KEY_EXCHANGE:
Paul Bakker1961b702013-01-25 14:49:24 +01002998 ret = ssl_parse_server_key_exchange( ssl );
2999 break;
Paul Bakker5121ce52009-01-03 21:22:43 +00003000
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02003001 case MBEDTLS_SSL_CERTIFICATE_REQUEST:
Paul Bakker1961b702013-01-25 14:49:24 +01003002 ret = ssl_parse_certificate_request( ssl );
3003 break;
Paul Bakker5121ce52009-01-03 21:22:43 +00003004
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02003005 case MBEDTLS_SSL_SERVER_HELLO_DONE:
Paul Bakker1961b702013-01-25 14:49:24 +01003006 ret = ssl_parse_server_hello_done( ssl );
3007 break;
Paul Bakker5121ce52009-01-03 21:22:43 +00003008
Paul Bakker1961b702013-01-25 14:49:24 +01003009 /*
3010 * ==> ( Certificate/Alert )
3011 * ClientKeyExchange
3012 * ( CertificateVerify )
3013 * ChangeCipherSpec
3014 * Finished
3015 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02003016 case MBEDTLS_SSL_CLIENT_CERTIFICATE:
3017 ret = mbedtls_ssl_write_certificate( ssl );
Paul Bakker1961b702013-01-25 14:49:24 +01003018 break;
Paul Bakker5121ce52009-01-03 21:22:43 +00003019
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02003020 case MBEDTLS_SSL_CLIENT_KEY_EXCHANGE:
Paul Bakker1961b702013-01-25 14:49:24 +01003021 ret = ssl_write_client_key_exchange( ssl );
3022 break;
Paul Bakker5121ce52009-01-03 21:22:43 +00003023
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02003024 case MBEDTLS_SSL_CERTIFICATE_VERIFY:
Paul Bakker1961b702013-01-25 14:49:24 +01003025 ret = ssl_write_certificate_verify( ssl );
3026 break;
Paul Bakker5121ce52009-01-03 21:22:43 +00003027
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02003028 case MBEDTLS_SSL_CLIENT_CHANGE_CIPHER_SPEC:
3029 ret = mbedtls_ssl_write_change_cipher_spec( ssl );
Paul Bakker1961b702013-01-25 14:49:24 +01003030 break;
Paul Bakker5121ce52009-01-03 21:22:43 +00003031
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02003032 case MBEDTLS_SSL_CLIENT_FINISHED:
3033 ret = mbedtls_ssl_write_finished( ssl );
Paul Bakker1961b702013-01-25 14:49:24 +01003034 break;
Paul Bakker5121ce52009-01-03 21:22:43 +00003035
Paul Bakker1961b702013-01-25 14:49:24 +01003036 /*
Manuel Pégourié-Gonnarda5cc6022013-07-31 12:58:16 +02003037 * <== ( NewSessionTicket )
3038 * ChangeCipherSpec
Paul Bakker1961b702013-01-25 14:49:24 +01003039 * Finished
3040 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02003041#if defined(MBEDTLS_SSL_SESSION_TICKETS)
3042 case MBEDTLS_SSL_SERVER_NEW_SESSION_TICKET:
Manuel Pégourié-Gonnardcd32a502014-09-20 13:54:12 +02003043 ret = ssl_parse_new_session_ticket( ssl );
3044 break;
Paul Bakkera503a632013-08-14 13:48:06 +02003045#endif
Manuel Pégourié-Gonnardcd32a502014-09-20 13:54:12 +02003046
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02003047 case MBEDTLS_SSL_SERVER_CHANGE_CIPHER_SPEC:
3048 ret = mbedtls_ssl_parse_change_cipher_spec( ssl );
Paul Bakker1961b702013-01-25 14:49:24 +01003049 break;
Paul Bakker5121ce52009-01-03 21:22:43 +00003050
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02003051 case MBEDTLS_SSL_SERVER_FINISHED:
3052 ret = mbedtls_ssl_parse_finished( ssl );
Paul Bakker1961b702013-01-25 14:49:24 +01003053 break;
Paul Bakker5121ce52009-01-03 21:22:43 +00003054
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02003055 case MBEDTLS_SSL_FLUSH_BUFFERS:
3056 MBEDTLS_SSL_DEBUG_MSG( 2, ( "handshake: done" ) );
3057 ssl->state = MBEDTLS_SSL_HANDSHAKE_WRAPUP;
Paul Bakker1961b702013-01-25 14:49:24 +01003058 break;
Paul Bakker5121ce52009-01-03 21:22:43 +00003059
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02003060 case MBEDTLS_SSL_HANDSHAKE_WRAPUP:
3061 mbedtls_ssl_handshake_wrapup( ssl );
Paul Bakker1961b702013-01-25 14:49:24 +01003062 break;
Paul Bakker48916f92012-09-16 19:57:18 +00003063
Paul Bakker1961b702013-01-25 14:49:24 +01003064 default:
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02003065 MBEDTLS_SSL_DEBUG_MSG( 1, ( "invalid state %d", ssl->state ) );
3066 return( MBEDTLS_ERR_SSL_BAD_INPUT_DATA );
Paul Bakker1961b702013-01-25 14:49:24 +01003067 }
Paul Bakker5121ce52009-01-03 21:22:43 +00003068
3069 return( ret );
3070}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02003071#endif /* MBEDTLS_SSL_CLI_C */