blob: fbdb671cafd5a3f2c22d94609ca0854105d45504 [file] [log] [blame]
Jerry Yu3cc4c2a2021-08-06 16:29:08 +08001/*
2 * TLS 1.3 client-side functions
3 *
4 * Copyright The Mbed TLS Contributors
5 * SPDX-License-Identifier: Apache-2.0
6 *
7 * Licensed under the Apache License, Version 2.0 (the "License"); you may
8 * not use this file except in compliance with the License.
9 * You may obtain a copy of the License at
10 *
11 * http://www.apache.org/licenses/LICENSE-2.0
12 *
13 * Unless required by applicable law or agreed to in writing, software
14 * distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
15 * WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
16 * See the License for the specific language governing permissions and
17 * limitations under the License.
18 *
19 * This file is part of mbed TLS ( https://tls.mbed.org )
20 */
21
22#include "common.h"
23
Ronald Cron6f135e12021-12-08 16:57:54 +010024#if defined(MBEDTLS_SSL_PROTO_TLS1_3)
Jerry Yu3cc4c2a2021-08-06 16:29:08 +080025
26#if defined(MBEDTLS_SSL_CLI_C)
27
Jerry Yubc20bdd2021-08-24 15:59:48 +080028#include <string.h>
29
Jerry Yu56fc07f2021-09-01 17:48:49 +080030#include "mbedtls/debug.h"
31#include "mbedtls/error.h"
Jerry Yue1b9c292021-09-10 10:08:31 +080032#include "mbedtls/platform.h"
Jerry Yua13c7e72021-08-17 10:44:40 +080033
Jerry Yubdc71882021-09-14 19:30:36 +080034#include "ssl_misc.h"
35#include "ecdh_misc.h"
Jerry Yue1b9c292021-09-10 10:08:31 +080036#include "ssl_tls13_keys.h"
Gilles Peskine923d5c92021-12-15 12:56:54 +010037#include "ssl_debug_helpers.h"
Jerry Yubdc71882021-09-14 19:30:36 +080038
Jerry Yubc20bdd2021-08-24 15:59:48 +080039/* Write extensions */
40
Jerry Yu92c6b402021-08-27 16:59:09 +080041/*
42 * ssl_tls13_write_supported_versions_ext():
43 *
44 * struct {
45 * ProtocolVersion versions<2..254>;
46 * } SupportedVersions;
47 */
Jerry Yuf4436812021-08-26 22:59:56 +080048static int ssl_tls13_write_supported_versions_ext( mbedtls_ssl_context *ssl,
Jerry Yueecfbf02021-08-30 18:32:07 +080049 unsigned char *buf,
50 unsigned char *end,
Xiaofei Baid25fab62021-12-02 06:36:27 +000051 size_t *out_len )
Jerry Yu92c6b402021-08-27 16:59:09 +080052{
53 unsigned char *p = buf;
54
Xiaofei Baid25fab62021-12-02 06:36:27 +000055 *out_len = 0;
Jerry Yu92c6b402021-08-27 16:59:09 +080056
Jerry Yu159c5a02021-08-31 12:51:25 +080057 MBEDTLS_SSL_DEBUG_MSG( 3, ( "client hello, adding supported versions extension" ) );
Jerry Yu92c6b402021-08-27 16:59:09 +080058
Jerry Yu388bd0d2021-09-15 18:41:02 +080059 /* Check if we have space to write the extension:
Jerry Yub60e3cf2021-09-08 16:41:02 +080060 * - extension_type (2 bytes)
61 * - extension_data_length (2 bytes)
62 * - versions_length (1 byte )
63 * - versions (2 bytes)
Jerry Yu159c5a02021-08-31 12:51:25 +080064 */
Jerry Yu92c6b402021-08-27 16:59:09 +080065 MBEDTLS_SSL_CHK_BUF_PTR( p, end, 7 );
66
Jerry Yu1bc2c1f2021-09-01 12:57:29 +080067 /* Write extension_type */
Jerry Yueecfbf02021-08-30 18:32:07 +080068 MBEDTLS_PUT_UINT16_BE( MBEDTLS_TLS_EXT_SUPPORTED_VERSIONS, p, 0 );
Jerry Yu92c6b402021-08-27 16:59:09 +080069
Jerry Yu1bc2c1f2021-09-01 12:57:29 +080070 /* Write extension_data_length */
Jerry Yub7ab3362021-08-31 16:16:19 +080071 MBEDTLS_PUT_UINT16_BE( 3, p, 2 );
Jerry Yueecfbf02021-08-30 18:32:07 +080072 p += 4;
Jerry Yu92c6b402021-08-27 16:59:09 +080073
Jerry Yu1bc2c1f2021-09-01 12:57:29 +080074 /* Length of versions */
Jerry Yu92c6b402021-08-27 16:59:09 +080075 *p++ = 0x2;
76
Jerry Yu0c63af62021-09-02 12:59:12 +080077 /* Write values of supported versions.
Jerry Yu1bc2c1f2021-09-01 12:57:29 +080078 *
Jerry Yu0c63af62021-09-02 12:59:12 +080079 * They are defined by the configuration.
Jerry Yu1bc2c1f2021-09-01 12:57:29 +080080 *
Jerry Yu0c63af62021-09-02 12:59:12 +080081 * Currently, only one version is advertised.
Jerry Yu92c6b402021-08-27 16:59:09 +080082 */
Jerry Yueecfbf02021-08-30 18:32:07 +080083 mbedtls_ssl_write_version( ssl->conf->max_major_ver,
84 ssl->conf->max_minor_ver,
85 ssl->conf->transport, p );
Jerry Yu92c6b402021-08-27 16:59:09 +080086
87 MBEDTLS_SSL_DEBUG_MSG( 3, ( "supported version: [%d:%d]",
Jerry Yueecfbf02021-08-30 18:32:07 +080088 ssl->conf->max_major_ver,
89 ssl->conf->max_minor_ver ) );
Jerry Yu92c6b402021-08-27 16:59:09 +080090
Xiaofei Baid25fab62021-12-02 06:36:27 +000091 *out_len = 7;
Jerry Yu92c6b402021-08-27 16:59:09 +080092
93 return( 0 );
94}
Jerry Yubc20bdd2021-08-24 15:59:48 +080095
Jerry Yuc068b662021-10-11 22:30:19 +080096static int ssl_tls13_parse_supported_versions_ext( mbedtls_ssl_context *ssl,
97 const unsigned char *buf,
Jerry Yub85277e2021-10-13 13:36:05 +080098 const unsigned char *end )
Jerry Yue1b9c292021-09-10 10:08:31 +080099{
Jerry Yue1b9c292021-09-10 10:08:31 +0800100 ((void) ssl);
101
Jerry Yub85277e2021-10-13 13:36:05 +0800102 MBEDTLS_SSL_CHK_BUF_READ_PTR( buf, end, 2);
103 if( buf[0] != MBEDTLS_SSL_MAJOR_VERSION_3 ||
Jerry Yue1b9c292021-09-10 10:08:31 +0800104 buf[1] != MBEDTLS_SSL_MINOR_VERSION_4 )
105 {
106 MBEDTLS_SSL_DEBUG_MSG( 1, ( "unexpected version" ) );
Jerry Yu4a173382021-10-11 21:45:31 +0800107
108 MBEDTLS_SSL_PEND_FATAL_ALERT( MBEDTLS_SSL_ALERT_MSG_ILLEGAL_PARAMETER,
109 MBEDTLS_ERR_SSL_ILLEGAL_PARAMETER);
110 return( MBEDTLS_ERR_SSL_ILLEGAL_PARAMETER );
Jerry Yue1b9c292021-09-10 10:08:31 +0800111 }
112
113 return( 0 );
114}
115
Jerry Yubc20bdd2021-08-24 15:59:48 +0800116#if defined(MBEDTLS_KEY_EXCHANGE_WITH_CERT_ENABLED)
117
Jerry Yu6b64fe32021-09-01 17:05:13 +0800118/*
XiaokangQian647719a2021-12-07 09:16:29 +0000119 * Key Shares Extension
120 *
121 * enum {
122 * ... (0xFFFF)
123 * } NamedGroup;
124 *
125 * struct {
126 * NamedGroup group;
127 * opaque key_exchange<1..2^16-1>;
128 * } KeyShareEntry;
129 *
130 * struct {
131 * select(role) {
132 * case client:
133 * KeyShareEntry client_shares<0..2^16-1>;
134 * }
135 * } KeyShare;
136 */
137
XiaokangQian0b56a8f2021-12-22 02:39:32 +0000138#if defined(MBEDTLS_ECDH_C)
XiaokangQian647719a2021-12-07 09:16:29 +0000139static int ssl_reset_ecdhe_share( mbedtls_ssl_context *ssl )
140{
141 mbedtls_ecdh_free( &ssl->handshake->ecdh_ctx );
142 return( 0 );
143}
144
145static int ssl_reset_key_share( mbedtls_ssl_context *ssl )
146{
147 uint16_t group_id = ssl->handshake->offered_group_id;
148 if( group_id == 0 )
149 return( MBEDTLS_ERR_SSL_INTERNAL_ERROR );
150
151 if( mbedtls_ssl_tls13_named_group_is_ecdhe( group_id ) )
152 return( ssl_reset_ecdhe_share( ssl ) );
153 else if( 0 /* other KEMs? */ )
154 {
155 /* Do something */
156 }
157
158 return( MBEDTLS_ERR_SSL_INTERNAL_ERROR );
159}
XiaokangQian0b56a8f2021-12-22 02:39:32 +0000160#else
161static int ssl_reset_key_share( mbedtls_ssl_context *ssl )
162{
163 ((void) ssl);
164 return( MBEDTLS_ERR_SSL_INTERNAL_ERROR );
165}
166#endif /* MBEDTLS_ECDH_C */
XiaokangQian647719a2021-12-07 09:16:29 +0000167
168/*
Jerry Yu56fc07f2021-09-01 17:48:49 +0800169 * Functions for writing key_share extension.
170 */
171#if defined(MBEDTLS_ECDH_C)
Jerry Yu7c522d42021-09-08 17:55:09 +0800172static int ssl_tls13_generate_and_write_ecdh_key_exchange(
Jerry Yub60e3cf2021-09-08 16:41:02 +0800173 mbedtls_ssl_context *ssl,
174 uint16_t named_group,
175 unsigned char *buf,
176 unsigned char *end,
Xiaofei Baid25fab62021-12-02 06:36:27 +0000177 size_t *out_len )
Jerry Yu92c6b402021-08-27 16:59:09 +0800178{
Jerry Yu56fc07f2021-09-01 17:48:49 +0800179 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Jerry Yu56fc07f2021-09-01 17:48:49 +0800180 const mbedtls_ecp_curve_info *curve_info =
181 mbedtls_ecp_curve_info_from_tls_id( named_group );
182
183 if( curve_info == NULL )
184 return( MBEDTLS_ERR_SSL_INTERNAL_ERROR );
185
186 MBEDTLS_SSL_DEBUG_MSG( 3, ( "offer curve %s", curve_info->name ) );
187
Jerry Yudd1fb9e2021-09-15 11:10:15 +0800188 if( ( ret = mbedtls_ecdh_setup_no_everest( &ssl->handshake->ecdh_ctx,
189 curve_info->grp_id ) ) != 0 )
Jerry Yu56fc07f2021-09-01 17:48:49 +0800190 {
Jerry Yu388bd0d2021-09-15 18:41:02 +0800191 MBEDTLS_SSL_DEBUG_RET( 1, "mbedtls_ecdh_setup_no_everest", ret );
Jerry Yu56fc07f2021-09-01 17:48:49 +0800192 return( ret );
193 }
194
Xiaofei Baid25fab62021-12-02 06:36:27 +0000195 ret = mbedtls_ecdh_tls13_make_params( &ssl->handshake->ecdh_ctx, out_len,
196 buf, end - buf,
197 ssl->conf->f_rng, ssl->conf->p_rng );
Jerry Yu56fc07f2021-09-01 17:48:49 +0800198 if( ret != 0 )
199 {
200 MBEDTLS_SSL_DEBUG_RET( 1, "mbedtls_ecdh_tls13_make_params", ret );
201 return( ret );
202 }
203
204 MBEDTLS_SSL_DEBUG_ECDH( 3, &ssl->handshake->ecdh_ctx,
205 MBEDTLS_DEBUG_ECDH_Q );
Jerry Yu75336352021-09-01 15:59:36 +0800206 return( 0 );
Jerry Yu92c6b402021-08-27 16:59:09 +0800207}
Jerry Yu56fc07f2021-09-01 17:48:49 +0800208#endif /* MBEDTLS_ECDH_C */
209
Jerry Yub60e3cf2021-09-08 16:41:02 +0800210static int ssl_tls13_get_default_group_id( mbedtls_ssl_context *ssl,
211 uint16_t *group_id )
Jerry Yu56fc07f2021-09-01 17:48:49 +0800212{
213 int ret = MBEDTLS_ERR_SSL_FEATURE_UNAVAILABLE;
214
Jerry Yu56fc07f2021-09-01 17:48:49 +0800215
Jerry Yu56fc07f2021-09-01 17:48:49 +0800216#if defined(MBEDTLS_ECDH_C)
Brett Warren14efd332021-10-06 09:32:11 +0100217 const uint16_t *group_list = mbedtls_ssl_get_groups( ssl );
Jerry Yu388bd0d2021-09-15 18:41:02 +0800218 /* Pick first available ECDHE group compatible with TLS 1.3 */
Brett Warren14efd332021-10-06 09:32:11 +0100219 if( group_list == NULL )
Jerry Yu388bd0d2021-09-15 18:41:02 +0800220 return( MBEDTLS_ERR_SSL_BAD_CONFIG );
221
Brett Warren14efd332021-10-06 09:32:11 +0100222 for ( ; *group_list != 0; group_list++ )
Jerry Yu56fc07f2021-09-01 17:48:49 +0800223 {
Xiaofei Baieef15042021-11-18 07:29:56 +0000224 const mbedtls_ecp_curve_info *curve_info;
225 curve_info = mbedtls_ecp_curve_info_from_tls_id( *group_list );
226 if( curve_info != NULL &&
Brett Warren14efd332021-10-06 09:32:11 +0100227 mbedtls_ssl_tls13_named_group_is_ecdhe( *group_list ) )
Jerry Yu56fc07f2021-09-01 17:48:49 +0800228 {
Brett Warren14efd332021-10-06 09:32:11 +0100229 *group_id = *group_list;
Jerry Yu56fc07f2021-09-01 17:48:49 +0800230 return( 0 );
231 }
232 }
233#else
234 ((void) ssl);
Jerry Yub60e3cf2021-09-08 16:41:02 +0800235 ((void) group_id);
Jerry Yu56fc07f2021-09-01 17:48:49 +0800236#endif /* MBEDTLS_ECDH_C */
237
238 /*
239 * Add DHE named groups here.
Jerry Yu388bd0d2021-09-15 18:41:02 +0800240 * Pick first available DHE group compatible with TLS 1.3
Jerry Yu56fc07f2021-09-01 17:48:49 +0800241 */
242
243 return( ret );
244}
245
246/*
247 * ssl_tls13_write_key_share_ext
248 *
Jerry Yu388bd0d2021-09-15 18:41:02 +0800249 * Structure of key_share extension in ClientHello:
Jerry Yu56fc07f2021-09-01 17:48:49 +0800250 *
251 * struct {
252 * NamedGroup group;
253 * opaque key_exchange<1..2^16-1>;
254 * } KeyShareEntry;
255 * struct {
256 * KeyShareEntry client_shares<0..2^16-1>;
257 * } KeyShareClientHello;
258 */
259static int ssl_tls13_write_key_share_ext( mbedtls_ssl_context *ssl,
260 unsigned char *buf,
261 unsigned char *end,
Xiaofei Baid25fab62021-12-02 06:36:27 +0000262 size_t *out_len )
Jerry Yu56fc07f2021-09-01 17:48:49 +0800263{
264 unsigned char *p = buf;
Xiaofei Baieef15042021-11-18 07:29:56 +0000265 unsigned char *client_shares; /* Start of client_shares */
266 size_t client_shares_len; /* Length of client_shares */
Jerry Yu56fc07f2021-09-01 17:48:49 +0800267 uint16_t group_id;
Jerry Yu56fc07f2021-09-01 17:48:49 +0800268 int ret = MBEDTLS_ERR_SSL_FEATURE_UNAVAILABLE;
269
Xiaofei Baid25fab62021-12-02 06:36:27 +0000270 *out_len = 0;
Jerry Yu56fc07f2021-09-01 17:48:49 +0800271
Jerry Yub60e3cf2021-09-08 16:41:02 +0800272 /* Check if we have space for header and length fields:
Jerry Yu56fc07f2021-09-01 17:48:49 +0800273 * - extension_type (2 bytes)
274 * - extension_data_length (2 bytes)
275 * - client_shares_length (2 bytes)
276 */
277 MBEDTLS_SSL_CHK_BUF_PTR( p, end, 6 );
278 p += 6;
279
280 MBEDTLS_SSL_DEBUG_MSG( 3, ( "client hello: adding key share extension" ) );
281
282 /* HRR could already have requested something else. */
283 group_id = ssl->handshake->offered_group_id;
Jerry Yub60e3cf2021-09-08 16:41:02 +0800284 if( !mbedtls_ssl_tls13_named_group_is_ecdhe( group_id ) &&
285 !mbedtls_ssl_tls13_named_group_is_dhe( group_id ) )
Jerry Yu56fc07f2021-09-01 17:48:49 +0800286 {
Jerry Yub60e3cf2021-09-08 16:41:02 +0800287 MBEDTLS_SSL_PROC_CHK( ssl_tls13_get_default_group_id( ssl,
Jerry Yu56fc07f2021-09-01 17:48:49 +0800288 &group_id ) );
289 }
290
291 /*
292 * Dispatch to type-specific key generation function.
293 *
294 * So far, we're only supporting ECDHE. With the introduction
295 * of PQC KEMs, we'll want to have multiple branches, one per
296 * type of KEM, and dispatch to the corresponding crypto. And
297 * only one key share entry is allowed.
298 */
Xiaofei Baieef15042021-11-18 07:29:56 +0000299 client_shares = p;
Jerry Yu56fc07f2021-09-01 17:48:49 +0800300#if defined(MBEDTLS_ECDH_C)
Jerry Yub60e3cf2021-09-08 16:41:02 +0800301 if( mbedtls_ssl_tls13_named_group_is_ecdhe( group_id ) )
Jerry Yu56fc07f2021-09-01 17:48:49 +0800302 {
Jerry Yu388bd0d2021-09-15 18:41:02 +0800303 /* Pointer to group */
Xiaofei Baieef15042021-11-18 07:29:56 +0000304 unsigned char *group = p;
Jerry Yu56fc07f2021-09-01 17:48:49 +0800305 /* Length of key_exchange */
306 size_t key_exchange_len;
307
308 /* Check there is space for header of KeyShareEntry
309 * - group (2 bytes)
310 * - key_exchange_length (2 bytes)
311 */
312 MBEDTLS_SSL_CHK_BUF_PTR( p, end, 4 );
313 p += 4;
Jerry Yub60e3cf2021-09-08 16:41:02 +0800314 ret = ssl_tls13_generate_and_write_ecdh_key_exchange( ssl, group_id,
315 p, end,
316 &key_exchange_len );
Jerry Yu56fc07f2021-09-01 17:48:49 +0800317 p += key_exchange_len;
318 if( ret != 0 )
319 return( ret );
320
321 /* Write group */
Xiaofei Baieef15042021-11-18 07:29:56 +0000322 MBEDTLS_PUT_UINT16_BE( group_id, group, 0 );
Jerry Yu56fc07f2021-09-01 17:48:49 +0800323 /* Write key_exchange_length */
Xiaofei Baieef15042021-11-18 07:29:56 +0000324 MBEDTLS_PUT_UINT16_BE( key_exchange_len, group, 2 );
Jerry Yu56fc07f2021-09-01 17:48:49 +0800325 }
326 else
327#endif /* MBEDTLS_ECDH_C */
328 if( 0 /* other KEMs? */ )
329 {
330 /* Do something */
331 }
332 else
333 return( MBEDTLS_ERR_SSL_INTERNAL_ERROR );
334
Jerry Yub60e3cf2021-09-08 16:41:02 +0800335 /* Length of client_shares */
Xiaofei Baieef15042021-11-18 07:29:56 +0000336 client_shares_len = p - client_shares;
Jerry Yub60e3cf2021-09-08 16:41:02 +0800337 if( client_shares_len == 0)
338 {
339 MBEDTLS_SSL_DEBUG_MSG( 1, ( "No key share defined." ) );
340 return( MBEDTLS_ERR_SSL_INTERNAL_ERROR );
Jerry Yu7c522d42021-09-08 17:55:09 +0800341 }
Jerry Yu56fc07f2021-09-01 17:48:49 +0800342 /* Write extension_type */
343 MBEDTLS_PUT_UINT16_BE( MBEDTLS_TLS_EXT_KEY_SHARE, buf, 0 );
344 /* Write extension_data_length */
Jerry Yub60e3cf2021-09-08 16:41:02 +0800345 MBEDTLS_PUT_UINT16_BE( client_shares_len + 2, buf, 2 );
Jerry Yu56fc07f2021-09-01 17:48:49 +0800346 /* Write client_shares_length */
Jerry Yub60e3cf2021-09-08 16:41:02 +0800347 MBEDTLS_PUT_UINT16_BE( client_shares_len, buf, 4 );
Jerry Yu56fc07f2021-09-01 17:48:49 +0800348
349 /* Update offered_group_id field */
350 ssl->handshake->offered_group_id = group_id;
351
352 /* Output the total length of key_share extension. */
Xiaofei Baid25fab62021-12-02 06:36:27 +0000353 *out_len = p - buf;
Jerry Yu56fc07f2021-09-01 17:48:49 +0800354
Xiaofei Baid25fab62021-12-02 06:36:27 +0000355 MBEDTLS_SSL_DEBUG_BUF( 3, "client hello, key_share extension", buf, *out_len );
Jerry Yu56fc07f2021-09-01 17:48:49 +0800356
357 ssl->handshake->extensions_present |= MBEDTLS_SSL_EXT_KEY_SHARE;
358
359cleanup:
360
361 return( ret );
362}
Jerry Yubc20bdd2021-08-24 15:59:48 +0800363
Jerry Yue1b9c292021-09-10 10:08:31 +0800364#if defined(MBEDTLS_ECDH_C)
365
Jerry Yuc068b662021-10-11 22:30:19 +0800366static int ssl_tls13_check_ecdh_params( const mbedtls_ssl_context *ssl )
Jerry Yue1b9c292021-09-10 10:08:31 +0800367{
368 const mbedtls_ecp_curve_info *curve_info;
369 mbedtls_ecp_group_id grp_id;
370#if defined(MBEDTLS_ECDH_LEGACY_CONTEXT)
371 grp_id = ssl->handshake->ecdh_ctx.grp.id;
372#else
373 grp_id = ssl->handshake->ecdh_ctx.grp_id;
374#endif
375
376 curve_info = mbedtls_ecp_curve_info_from_grp_id( grp_id );
377 if( curve_info == NULL )
378 {
379 MBEDTLS_SSL_DEBUG_MSG( 1, ( "should never happen" ) );
380 return( MBEDTLS_ERR_SSL_INTERNAL_ERROR );
381 }
382
383 MBEDTLS_SSL_DEBUG_MSG( 2, ( "ECDH curve: %s", curve_info->name ) );
384
Jerry Yue1b9c292021-09-10 10:08:31 +0800385 if( mbedtls_ssl_check_curve( ssl, grp_id ) != 0 )
Jerry Yub85277e2021-10-13 13:36:05 +0800386 return( -1 );
Jerry Yue1b9c292021-09-10 10:08:31 +0800387
388 MBEDTLS_SSL_DEBUG_ECDH( 3, &ssl->handshake->ecdh_ctx,
389 MBEDTLS_DEBUG_ECDH_QP );
390
391 return( 0 );
392}
393
Jerry Yuc068b662021-10-11 22:30:19 +0800394static int ssl_tls13_read_public_ecdhe_share( mbedtls_ssl_context *ssl,
395 const unsigned char *buf,
396 size_t buf_len )
Jerry Yue1b9c292021-09-10 10:08:31 +0800397{
398 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
399
Jerry Yuc068b662021-10-11 22:30:19 +0800400 ret = mbedtls_ecdh_tls13_read_public( &ssl->handshake->ecdh_ctx,
Jerry Yu4a173382021-10-11 21:45:31 +0800401 buf, buf_len );
Jerry Yue1b9c292021-09-10 10:08:31 +0800402 if( ret != 0 )
403 {
404 MBEDTLS_SSL_DEBUG_RET( 1, ( "mbedtls_ecdh_tls13_read_public" ), ret );
Jerry Yub85277e2021-10-13 13:36:05 +0800405
406 MBEDTLS_SSL_PEND_FATAL_ALERT( MBEDTLS_SSL_ALERT_MSG_ILLEGAL_PARAMETER,
407 MBEDTLS_ERR_SSL_ILLEGAL_PARAMETER );
408 return( MBEDTLS_ERR_SSL_ILLEGAL_PARAMETER );
Jerry Yue1b9c292021-09-10 10:08:31 +0800409 }
410
Jerry Yuc068b662021-10-11 22:30:19 +0800411 if( ssl_tls13_check_ecdh_params( ssl ) != 0 )
Jerry Yue1b9c292021-09-10 10:08:31 +0800412 {
Jerry Yuc068b662021-10-11 22:30:19 +0800413 MBEDTLS_SSL_DEBUG_MSG( 1, ( "ssl_tls13_check_ecdh_params() failed!" ) );
Jerry Yub85277e2021-10-13 13:36:05 +0800414
Jerry Yu4a173382021-10-11 21:45:31 +0800415 MBEDTLS_SSL_PEND_FATAL_ALERT( MBEDTLS_SSL_ALERT_MSG_ILLEGAL_PARAMETER,
416 MBEDTLS_ERR_SSL_ILLEGAL_PARAMETER );
417 return( MBEDTLS_ERR_SSL_ILLEGAL_PARAMETER );
Jerry Yue1b9c292021-09-10 10:08:31 +0800418 }
419
420 return( 0 );
421}
Jerry Yu4a173382021-10-11 21:45:31 +0800422#endif /* MBEDTLS_ECDH_C */
Jerry Yue1b9c292021-09-10 10:08:31 +0800423
424/*
Jerry Yub85277e2021-10-13 13:36:05 +0800425 * ssl_tls13_parse_key_share_ext()
426 * Parse key_share extension in Server Hello
427 *
Jerry Yue1b9c292021-09-10 10:08:31 +0800428 * struct {
429 * KeyShareEntry server_share;
430 * } KeyShareServerHello;
431 * struct {
432 * NamedGroup group;
433 * opaque key_exchange<1..2^16-1>;
434 * } KeyShareEntry;
435 */
Jerry Yu4a173382021-10-11 21:45:31 +0800436static int ssl_tls13_parse_key_share_ext( mbedtls_ssl_context *ssl,
Jerry Yue1b9c292021-09-10 10:08:31 +0800437 const unsigned char *buf,
438 const unsigned char *end )
439{
Jerry Yub85277e2021-10-13 13:36:05 +0800440 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Jerry Yue1b9c292021-09-10 10:08:31 +0800441 const unsigned char *p = buf;
Jerry Yu4a173382021-10-11 21:45:31 +0800442 uint16_t group, offered_group;
Jerry Yue1b9c292021-09-10 10:08:31 +0800443
Jerry Yu4a173382021-10-11 21:45:31 +0800444 /* ...
445 * NamedGroup group; (2 bytes)
446 * ...
447 */
448 MBEDTLS_SSL_CHK_BUF_READ_PTR( p, end, 2 );
449 group = MBEDTLS_GET_UINT16_BE( p, 0 );
Jerry Yue1b9c292021-09-10 10:08:31 +0800450 p += 2;
451
Jerry Yu4a173382021-10-11 21:45:31 +0800452 /* Check that the chosen group matches the one we offered. */
Jerry Yue1b9c292021-09-10 10:08:31 +0800453 offered_group = ssl->handshake->offered_group_id;
Jerry Yu4a173382021-10-11 21:45:31 +0800454 if( offered_group != group )
Jerry Yue1b9c292021-09-10 10:08:31 +0800455 {
456 MBEDTLS_SSL_DEBUG_MSG( 1,
457 ( "Invalid server key share, our group %u, their group %u",
Jerry Yu4a173382021-10-11 21:45:31 +0800458 (unsigned) offered_group, (unsigned) group ) );
459 MBEDTLS_SSL_PEND_FATAL_ALERT( MBEDTLS_SSL_ALERT_MSG_HANDSHAKE_FAILURE,
460 MBEDTLS_ERR_SSL_HANDSHAKE_FAILURE );
461 return( MBEDTLS_ERR_SSL_HANDSHAKE_FAILURE );
Jerry Yue1b9c292021-09-10 10:08:31 +0800462 }
463
464#if defined(MBEDTLS_ECDH_C)
Jerry Yu4a173382021-10-11 21:45:31 +0800465 if( mbedtls_ssl_tls13_named_group_is_ecdhe( group ) )
Jerry Yue1b9c292021-09-10 10:08:31 +0800466 {
467 /* Complete ECDHE key agreement */
Jerry Yuc068b662021-10-11 22:30:19 +0800468 ret = ssl_tls13_read_public_ecdhe_share( ssl, p, end - p );
Jerry Yue1b9c292021-09-10 10:08:31 +0800469 if( ret != 0 )
470 return( ret );
471 }
Jerry Yub85277e2021-10-13 13:36:05 +0800472 else
Jerry Yue1b9c292021-09-10 10:08:31 +0800473#endif /* MBEDTLS_ECDH_C */
Jerry Yub85277e2021-10-13 13:36:05 +0800474 if( 0 /* other KEMs? */ )
Jerry Yue1b9c292021-09-10 10:08:31 +0800475 {
476 /* Do something */
477 }
478 else
479 return( MBEDTLS_ERR_SSL_INTERNAL_ERROR );
480
481 ssl->handshake->extensions_present |= MBEDTLS_SSL_EXT_KEY_SHARE;
482 return( ret );
483}
484
Jerry Yubc20bdd2021-08-24 15:59:48 +0800485#endif /* MBEDTLS_KEY_EXCHANGE_WITH_CERT_ENABLED */
486
Jerry Yu1bc2c1f2021-09-01 12:57:29 +0800487/* Write cipher_suites
Jerry Yu6a643102021-08-31 14:40:36 +0800488 * CipherSuite cipher_suites<2..2^16-2>;
489 */
Jerry Yu1bc2c1f2021-09-01 12:57:29 +0800490static int ssl_tls13_write_client_hello_cipher_suites(
Jerry Yu6a643102021-08-31 14:40:36 +0800491 mbedtls_ssl_context *ssl,
492 unsigned char *buf,
493 unsigned char *end,
Xiaofei Baid25fab62021-12-02 06:36:27 +0000494 size_t *out_len )
Jerry Yu6a643102021-08-31 14:40:36 +0800495{
Jerry Yufec982e2021-09-07 17:26:06 +0800496 unsigned char *p = buf;
Jerry Yu0c63af62021-09-02 12:59:12 +0800497 const int *ciphersuite_list;
Xiaofei Baieef15042021-11-18 07:29:56 +0000498 unsigned char *cipher_suites; /* Start of the cipher_suites list */
Jerry Yu1bc2c1f2021-09-01 12:57:29 +0800499 size_t cipher_suites_len;
Jerry Yu92c6b402021-08-27 16:59:09 +0800500
Xiaofei Baid25fab62021-12-02 06:36:27 +0000501 *out_len = 0 ;
Jerry Yu6a643102021-08-31 14:40:36 +0800502
503 /*
504 * Ciphersuite list
505 *
506 * This is a list of the symmetric cipher options supported by
507 * the client, specifically the record protection algorithm
508 * ( including secret key length ) and a hash to be used with
509 * HKDF, in descending order of client preference.
510 */
Jerry Yu0c63af62021-09-02 12:59:12 +0800511 ciphersuite_list = ssl->conf->ciphersuite_list;
Jerry Yu6a643102021-08-31 14:40:36 +0800512
Jerry Yu1bc2c1f2021-09-01 12:57:29 +0800513 /* Check there is space for the cipher suite list length (2 bytes). */
Jerry Yu4e388282021-09-06 21:28:08 +0800514 MBEDTLS_SSL_CHK_BUF_PTR( p, end, 2 );
515 p += 2;
Jerry Yu6a643102021-08-31 14:40:36 +0800516
Jerry Yu0c63af62021-09-02 12:59:12 +0800517 /* Write cipher_suites */
Xiaofei Baieef15042021-11-18 07:29:56 +0000518 cipher_suites = p;
Jerry Yu0c63af62021-09-02 12:59:12 +0800519 for ( size_t i = 0; ciphersuite_list[i] != 0; i++ )
Jerry Yu6a643102021-08-31 14:40:36 +0800520 {
Jerry Yu0c63af62021-09-02 12:59:12 +0800521 int cipher_suite = ciphersuite_list[i];
Jerry Yu1bc2c1f2021-09-01 12:57:29 +0800522 const mbedtls_ssl_ciphersuite_t *ciphersuite_info;
Jerry Yu6a643102021-08-31 14:40:36 +0800523
Jerry Yu1bc2c1f2021-09-01 12:57:29 +0800524 ciphersuite_info = mbedtls_ssl_ciphersuite_from_id( cipher_suite );
Jerry Yu6a643102021-08-31 14:40:36 +0800525 if( ciphersuite_info == NULL )
526 continue;
Jerry Yudbfb7bd2021-09-04 09:58:58 +0800527 if( !( MBEDTLS_SSL_MINOR_VERSION_4 >= ciphersuite_info->min_minor_ver &&
528 MBEDTLS_SSL_MINOR_VERSION_4 <= ciphersuite_info->max_minor_ver ) )
Jerry Yu6a643102021-08-31 14:40:36 +0800529 continue;
530
531 MBEDTLS_SSL_DEBUG_MSG( 3, ( "client hello, add ciphersuite: %04x, %s",
Jerry Yu1bc2c1f2021-09-01 12:57:29 +0800532 (unsigned int) cipher_suite,
Jerry Yu6a643102021-08-31 14:40:36 +0800533 ciphersuite_info->name ) );
534
Jerry Yu1bc2c1f2021-09-01 12:57:29 +0800535 /* Check there is space for the cipher suite identifier (2 bytes). */
Jerry Yubbe09522021-09-06 21:17:54 +0800536 MBEDTLS_SSL_CHK_BUF_PTR( p, end, 2 );
537 MBEDTLS_PUT_UINT16_BE( cipher_suite, p, 0 );
538 p += 2;
Jerry Yu6a643102021-08-31 14:40:36 +0800539 }
540
Jerry Yu0c63af62021-09-02 12:59:12 +0800541 /* Write the cipher_suites length in number of bytes */
Xiaofei Baieef15042021-11-18 07:29:56 +0000542 cipher_suites_len = p - cipher_suites;
Jerry Yu1bc2c1f2021-09-01 12:57:29 +0800543 MBEDTLS_PUT_UINT16_BE( cipher_suites_len, buf, 0 );
Jerry Yu6a643102021-08-31 14:40:36 +0800544 MBEDTLS_SSL_DEBUG_MSG( 3,
Jerry Yu1bc2c1f2021-09-01 12:57:29 +0800545 ( "client hello, got %" MBEDTLS_PRINTF_SIZET " cipher suites",
546 cipher_suites_len/2 ) );
Jerry Yu6a643102021-08-31 14:40:36 +0800547
Jerry Yu1bc2c1f2021-09-01 12:57:29 +0800548 /* Output the total length of cipher_suites field. */
Xiaofei Baid25fab62021-12-02 06:36:27 +0000549 *out_len = p - buf;
Jerry Yuf171e832021-08-31 18:31:09 +0800550
Jerry Yu6a643102021-08-31 14:40:36 +0800551 return( 0 );
552}
553
Jerry Yu1bc2c1f2021-09-01 12:57:29 +0800554/*
555 * Structure of ClientHello message:
556 *
557 * struct {
558 * ProtocolVersion legacy_version = 0x0303; // TLS v1.2
559 * Random random;
560 * opaque legacy_session_id<0..32>;
561 * CipherSuite cipher_suites<2..2^16-2>;
562 * opaque legacy_compression_methods<1..2^8-1>;
563 * Extension extensions<8..2^16-1>;
564 * } ClientHello;
565 */
Jerry Yu08906d02021-08-31 11:05:27 +0800566static int ssl_tls13_write_client_hello_body( mbedtls_ssl_context *ssl,
Jerry Yueecfbf02021-08-30 18:32:07 +0800567 unsigned char *buf,
Jerry Yuef387d72021-09-02 13:59:41 +0800568 unsigned char *end,
Xiaofei Baid25fab62021-12-02 06:36:27 +0000569 size_t *out_len )
Jerry Yu65dd2cc2021-08-18 16:38:40 +0800570{
Jerry Yubc20bdd2021-08-24 15:59:48 +0800571
Jerry Yubc20bdd2021-08-24 15:59:48 +0800572 int ret;
Xiaofei Baieef15042021-11-18 07:29:56 +0000573 unsigned char *p_extensions_len; /* Pointer to extensions length */
574 size_t output_len; /* Length of buffer used by function */
575 size_t extensions_len; /* Length of the list of extensions*/
Jerry Yubc20bdd2021-08-24 15:59:48 +0800576
Jerry Yubc20bdd2021-08-24 15:59:48 +0800577 /* Buffer management */
Jerry Yubbe09522021-09-06 21:17:54 +0800578 unsigned char *p = buf;
Jerry Yubc20bdd2021-08-24 15:59:48 +0800579
Xiaofei Baid25fab62021-12-02 06:36:27 +0000580 *out_len = 0;
Jerry Yubc20bdd2021-08-24 15:59:48 +0800581
Jerry Yu1bc2c1f2021-09-01 12:57:29 +0800582 /* No validation needed here. It has been done by ssl_conf_check() */
Jerry Yubc20bdd2021-08-24 15:59:48 +0800583 ssl->major_ver = ssl->conf->min_major_ver;
584 ssl->minor_ver = ssl->conf->min_minor_ver;
585
Jerry Yu1bc2c1f2021-09-01 12:57:29 +0800586 /*
587 * Write legacy_version
Jerry Yu6a643102021-08-31 14:40:36 +0800588 * ProtocolVersion legacy_version = 0x0303; // TLS v1.2
Jerry Yu1bc2c1f2021-09-01 12:57:29 +0800589 *
590 * For TLS 1.3 we use the legacy version number {0x03, 0x03}
Jerry Yubc20bdd2021-08-24 15:59:48 +0800591 * instead of the true version number.
Jerry Yubc20bdd2021-08-24 15:59:48 +0800592 */
Jerry Yufec982e2021-09-07 17:26:06 +0800593 MBEDTLS_SSL_CHK_BUF_PTR( p, end, 2 );
Jerry Yubbe09522021-09-06 21:17:54 +0800594 MBEDTLS_PUT_UINT16_BE( 0x0303, p, 0 );
Jerry Yufec982e2021-09-07 17:26:06 +0800595 p += 2;
Jerry Yubc20bdd2021-08-24 15:59:48 +0800596
Jerry Yu1bc2c1f2021-09-01 12:57:29 +0800597 /* Write the random bytes ( random ).*/
Jerry Yue6d7e5c2021-10-26 10:44:32 +0800598 MBEDTLS_SSL_CHK_BUF_PTR( p, end, MBEDTLS_CLIENT_HELLO_RANDOM_LEN );
599 memcpy( p, ssl->handshake->randbytes, MBEDTLS_CLIENT_HELLO_RANDOM_LEN );
Jerry Yue885b762021-08-26 17:32:34 +0800600 MBEDTLS_SSL_DEBUG_BUF( 3, "client hello, random bytes",
Jerry Yue6d7e5c2021-10-26 10:44:32 +0800601 p, MBEDTLS_CLIENT_HELLO_RANDOM_LEN );
602 p += MBEDTLS_CLIENT_HELLO_RANDOM_LEN;
Jerry Yubc20bdd2021-08-24 15:59:48 +0800603
Jerry Yu1bc2c1f2021-09-01 12:57:29 +0800604 /*
605 * Write legacy_session_id
606 *
607 * Versions of TLS before TLS 1.3 supported a "session resumption" feature
608 * which has been merged with pre-shared keys in this version. A client
609 * which has a cached session ID set by a pre-TLS 1.3 server SHOULD set
610 * this field to that value. In compatibility mode, this field MUST be
611 * non-empty, so a client not offering a pre-TLS 1.3 session MUST generate
612 * a new 32-byte value. This value need not be random but SHOULD be
613 * unpredictable to avoid implementations fixating on a specific value
614 * ( also known as ossification ). Otherwise, it MUST be set as a zero-length
615 * vector ( i.e., a zero-valued single byte length field ).
Jerry Yubc20bdd2021-08-24 15:59:48 +0800616 */
Ronald Cron49ad6192021-11-24 16:25:31 +0100617#if defined(MBEDTLS_SSL_TLS1_3_COMPATIBILITY_MODE)
618 MBEDTLS_SSL_CHK_BUF_PTR( p, end, ssl->session_negotiate->id_len + 1 );
619 *p++ = (unsigned char)ssl->session_negotiate->id_len;
620 memcpy( p, ssl->session_negotiate->id, ssl->session_negotiate->id_len );
621 p += ssl->session_negotiate->id_len;
622
623 MBEDTLS_SSL_DEBUG_BUF( 3, "session id", ssl->session_negotiate->id,
624 ssl->session_negotiate->id_len );
625#else
Jerry Yubbe09522021-09-06 21:17:54 +0800626 MBEDTLS_SSL_CHK_BUF_PTR( p, end, 1 );
627 *p++ = 0; /* session id length set to zero */
Ronald Cron49ad6192021-11-24 16:25:31 +0100628#endif /* MBEDTLS_SSL_TLS1_3_COMPATIBILITY_MODE */
Jerry Yubc20bdd2021-08-24 15:59:48 +0800629
Jerry Yu1bc2c1f2021-09-01 12:57:29 +0800630 /* Write cipher_suites */
Jerry Yubbe09522021-09-06 21:17:54 +0800631 ret = ssl_tls13_write_client_hello_cipher_suites( ssl, p, end, &output_len );
Jerry Yudbfb7bd2021-09-04 09:58:58 +0800632 if( ret != 0 )
Jerry Yu6a643102021-08-31 14:40:36 +0800633 return( ret );
Jerry Yubbe09522021-09-06 21:17:54 +0800634 p += output_len;
Jerry Yubc20bdd2021-08-24 15:59:48 +0800635
Jerry Yu1bc2c1f2021-09-01 12:57:29 +0800636 /* Write legacy_compression_methods
637 *
638 * For every TLS 1.3 ClientHello, this vector MUST contain exactly
Jerry Yubc20bdd2021-08-24 15:59:48 +0800639 * one byte set to zero, which corresponds to the 'null' compression
640 * method in prior versions of TLS.
Jerry Yubc20bdd2021-08-24 15:59:48 +0800641 */
Jerry Yubbe09522021-09-06 21:17:54 +0800642 MBEDTLS_SSL_CHK_BUF_PTR( p, end, 2 );
643 *p++ = 1;
644 *p++ = MBEDTLS_SSL_COMPRESS_NULL;
Jerry Yubc20bdd2021-08-24 15:59:48 +0800645
Jerry Yu1bc2c1f2021-09-01 12:57:29 +0800646 /* Write extensions */
647
648 /* Keeping track of the included extensions */
649 ssl->handshake->extensions_present = MBEDTLS_SSL_EXT_NONE;
Jerry Yubc20bdd2021-08-24 15:59:48 +0800650
651 /* First write extensions, then the total length */
Jerry Yubbe09522021-09-06 21:17:54 +0800652 MBEDTLS_SSL_CHK_BUF_PTR( p, end, 2 );
Xiaofei Baieef15042021-11-18 07:29:56 +0000653 p_extensions_len = p;
Jerry Yubbe09522021-09-06 21:17:54 +0800654 p += 2;
Jerry Yubc20bdd2021-08-24 15:59:48 +0800655
Jerry Yu1bc2c1f2021-09-01 12:57:29 +0800656 /* Write supported_versions extension
Jerry Yubc20bdd2021-08-24 15:59:48 +0800657 *
Jerry Yu1bc2c1f2021-09-01 12:57:29 +0800658 * Supported Versions Extension is mandatory with TLS 1.3.
Jerry Yubc20bdd2021-08-24 15:59:48 +0800659 */
Jerry Yubbe09522021-09-06 21:17:54 +0800660 ret = ssl_tls13_write_supported_versions_ext( ssl, p, end, &output_len );
Jerry Yu92c6b402021-08-27 16:59:09 +0800661 if( ret != 0 )
662 return( ret );
Jerry Yubbe09522021-09-06 21:17:54 +0800663 p += output_len;
Jerry Yubc20bdd2021-08-24 15:59:48 +0800664
665#if defined(MBEDTLS_KEY_EXCHANGE_WITH_CERT_ENABLED)
Jerry Yubc20bdd2021-08-24 15:59:48 +0800666
Jerry Yub925f212022-01-12 11:17:02 +0800667 /*
668 * Add the extensions related to (EC)DHE ephemeral key establishment only if
669 * enabled as per the configuration.
Jerry Yubc20bdd2021-08-24 15:59:48 +0800670 */
Jerry Yuf46b0162022-01-11 16:28:00 +0800671 if( mbedtls_ssl_conf_tls13_some_ephemeral_enabled( ssl ) )
672 {
673 ret = mbedtls_ssl_write_supported_groups_ext( ssl, p, end, &output_len );
674 if( ret != 0 )
675 return( ret );
676 p += output_len;
Jerry Yu6a643102021-08-31 14:40:36 +0800677
Jerry Yuf46b0162022-01-11 16:28:00 +0800678 ret = ssl_tls13_write_key_share_ext( ssl, p, end, &output_len );
679 if( ret != 0 )
680 return( ret );
681 p += output_len;
Jerry Yu1bc2c1f2021-09-01 12:57:29 +0800682
Jerry Yuf017ee42022-01-12 15:49:48 +0800683 ret = mbedtls_ssl_write_sig_alg_ext( ssl, p, end, &output_len );
Jerry Yuf46b0162022-01-11 16:28:00 +0800684 if( ret != 0 )
685 return( ret );
686 p += output_len;
687 }
Jerry Yubc20bdd2021-08-24 15:59:48 +0800688#endif /* MBEDTLS_KEY_EXCHANGE_WITH_CERT_ENABLED */
689
Xiaofei Bai15a56812021-11-05 10:52:12 +0000690#if defined(MBEDTLS_SSL_SERVER_NAME_INDICATION)
Xiaofei Bai58afdba2021-11-09 03:10:05 +0000691 /* Write server name extension */
Xiaofei Bai15a56812021-11-05 10:52:12 +0000692 ret = mbedtls_ssl_write_hostname_ext( ssl, p, end, &output_len );
693 if( ret != 0 )
694 return( ret );
695 p += output_len;
696#endif /* MBEDTLS_SSL_SERVER_NAME_INDICATION */
697
Jerry Yubc20bdd2021-08-24 15:59:48 +0800698 /* Add more extensions here */
699
Jerry Yu1bc2c1f2021-09-01 12:57:29 +0800700 /* Write the length of the list of extensions. */
Xiaofei Baieef15042021-11-18 07:29:56 +0000701 extensions_len = p - p_extensions_len - 2;
702 MBEDTLS_PUT_UINT16_BE( extensions_len, p_extensions_len, 0 );
Jerry Yubc20bdd2021-08-24 15:59:48 +0800703 MBEDTLS_SSL_DEBUG_MSG( 3, ( "client hello, total extension length: %" MBEDTLS_PRINTF_SIZET ,
Jerry Yu790656a2021-09-01 15:51:48 +0800704 extensions_len ) );
Xiaofei Baieef15042021-11-18 07:29:56 +0000705 MBEDTLS_SSL_DEBUG_BUF( 3, "client hello extensions", p_extensions_len, extensions_len );
Jerry Yubc20bdd2021-08-24 15:59:48 +0800706
Xiaofei Baid25fab62021-12-02 06:36:27 +0000707 *out_len = p - buf;
Jerry Yubc20bdd2021-08-24 15:59:48 +0800708 return( 0 );
709}
710
Jerry Yu335aca92021-09-12 20:18:56 +0800711static int ssl_tls13_finalize_client_hello( mbedtls_ssl_context *ssl )
Jerry Yubc20bdd2021-08-24 15:59:48 +0800712{
Jerry Yu92c6b402021-08-27 16:59:09 +0800713 mbedtls_ssl_handshake_set_state( ssl, MBEDTLS_SSL_SERVER_HELLO );
714 return( 0 );
715}
Jerry Yuef6b36b2021-08-24 16:29:02 +0800716
Jerry Yu92c6b402021-08-27 16:59:09 +0800717static int ssl_tls13_prepare_client_hello( mbedtls_ssl_context *ssl )
718{
719 int ret;
Jerry Yuef6b36b2021-08-24 16:29:02 +0800720
Jerry Yu92c6b402021-08-27 16:59:09 +0800721 if( ssl->conf->f_rng == NULL )
722 {
723 MBEDTLS_SSL_DEBUG_MSG( 1, ( "no RNG provided" ) );
724 return( MBEDTLS_ERR_SSL_NO_RNG );
725 }
Jerry Yuef6b36b2021-08-24 16:29:02 +0800726
Jerry Yu92c6b402021-08-27 16:59:09 +0800727 if( ( ret = ssl->conf->f_rng( ssl->conf->p_rng,
728 ssl->handshake->randbytes,
Jerry Yue6d7e5c2021-10-26 10:44:32 +0800729 MBEDTLS_CLIENT_HELLO_RANDOM_LEN ) ) != 0 )
Jerry Yu92c6b402021-08-27 16:59:09 +0800730 {
Jerry Yu8c02bb42021-09-03 21:09:22 +0800731 MBEDTLS_SSL_DEBUG_RET( 1, "f_rng", ret );
Jerry Yu92c6b402021-08-27 16:59:09 +0800732 return( ret );
733 }
Jerry Yu6f13f642021-08-26 17:18:15 +0800734
Ronald Cron49ad6192021-11-24 16:25:31 +0100735#if defined(MBEDTLS_SSL_TLS1_3_COMPATIBILITY_MODE)
736 /*
737 * Create a session identifier for the purpose of middlebox compatibility
738 * only if one has not been created already.
739 */
740 if( ssl->session_negotiate->id_len == 0 )
741 {
742 /* Creating a session id with 32 byte length */
743 if( ( ret = ssl->conf->f_rng( ssl->conf->p_rng,
744 ssl->session_negotiate->id, 32 ) ) != 0 )
745 {
746 MBEDTLS_SSL_DEBUG_RET( 1, "creating session id failed", ret );
747 return( ret );
748 }
749 ssl->session_negotiate->id_len = 32;
750 }
751#endif /* MBEDTLS_SSL_TLS1_3_COMPATIBILITY_MODE */
752
Jerry Yu6f13f642021-08-26 17:18:15 +0800753 return( 0 );
Jerry Yubc20bdd2021-08-24 15:59:48 +0800754}
755
Jerry Yu92c6b402021-08-27 16:59:09 +0800756/*
Jerry Yu159c5a02021-08-31 12:51:25 +0800757 * Write ClientHello handshake message.
Jerry Yu687101b2021-09-14 16:03:56 +0800758 * Handler for MBEDTLS_SSL_CLIENT_HELLO
Jerry Yu92c6b402021-08-27 16:59:09 +0800759 */
760static int ssl_tls13_write_client_hello( mbedtls_ssl_context *ssl )
Jerry Yubc20bdd2021-08-24 15:59:48 +0800761{
Jerry Yu92c6b402021-08-27 16:59:09 +0800762 int ret = 0;
763 unsigned char *buf;
764 size_t buf_len, msg_len;
765
766 MBEDTLS_SSL_DEBUG_MSG( 2, ( "=> write client hello" ) );
767
Jerry Yu2c0fbf32021-09-02 13:53:46 +0800768 MBEDTLS_SSL_PROC_CHK( ssl_tls13_prepare_client_hello( ssl ) );
Jerry Yu92c6b402021-08-27 16:59:09 +0800769
Jerry Yu2c0fbf32021-09-02 13:53:46 +0800770 MBEDTLS_SSL_PROC_CHK( mbedtls_ssl_tls13_start_handshake_msg(
771 ssl, MBEDTLS_SSL_HS_CLIENT_HELLO,
772 &buf, &buf_len ) );
Jerry Yu92c6b402021-08-27 16:59:09 +0800773
Jerry Yu2c0fbf32021-09-02 13:53:46 +0800774 MBEDTLS_SSL_PROC_CHK( ssl_tls13_write_client_hello_body( ssl, buf,
Jerry Yuef387d72021-09-02 13:59:41 +0800775 buf + buf_len,
Jerry Yu2c0fbf32021-09-02 13:53:46 +0800776 &msg_len ) );
Jerry Yu92c6b402021-08-27 16:59:09 +0800777
Jerry Yu2c0fbf32021-09-02 13:53:46 +0800778 mbedtls_ssl_tls13_add_hs_hdr_to_checksum( ssl,
779 MBEDTLS_SSL_HS_CLIENT_HELLO,
Jerry Yu0c63af62021-09-02 12:59:12 +0800780 msg_len );
781 ssl->handshake->update_checksum( ssl, buf, msg_len );
Jerry Yu92c6b402021-08-27 16:59:09 +0800782
Jerry Yu2c0fbf32021-09-02 13:53:46 +0800783 MBEDTLS_SSL_PROC_CHK( ssl_tls13_finalize_client_hello( ssl ) );
784 MBEDTLS_SSL_PROC_CHK( mbedtls_ssl_tls13_finish_handshake_msg( ssl,
785 buf_len,
786 msg_len ) );
Jerry Yu92c6b402021-08-27 16:59:09 +0800787
788cleanup:
789
790 MBEDTLS_SSL_DEBUG_MSG( 2, ( "<= write client hello" ) );
791 return ret;
Jerry Yu65dd2cc2021-08-18 16:38:40 +0800792}
793
Jerry Yu687101b2021-09-14 16:03:56 +0800794/*
Jerry Yu4a173382021-10-11 21:45:31 +0800795 * Functions for parsing and processing Server Hello
Jerry Yue1b9c292021-09-10 10:08:31 +0800796 */
Jerry Yu7a186a02021-10-15 18:46:14 +0800797/* Returns a negative value on failure, and otherwise
Jerry Yub85277e2021-10-13 13:36:05 +0800798 * - SSL_SERVER_HELLO_COORDINATE_HELLO or
799 * - SSL_SERVER_HELLO_COORDINATE_HRR
XiaokangQian51eff222021-12-10 10:33:56 +0000800 * to indicate which message is expected and to be parsed next.
801 */
Jerry Yub85277e2021-10-13 13:36:05 +0800802#define SSL_SERVER_HELLO_COORDINATE_HELLO 0
803#define SSL_SERVER_HELLO_COORDINATE_HRR 1
804static int ssl_server_hello_is_hrr( mbedtls_ssl_context *ssl,
805 const unsigned char *buf,
806 const unsigned char *end )
Jerry Yue1b9c292021-09-10 10:08:31 +0800807{
Jerry Yue6d7e5c2021-10-26 10:44:32 +0800808 static const unsigned char magic_hrr_string[MBEDTLS_SERVER_HELLO_RANDOM_LEN] =
Jerry Yue1b9c292021-09-10 10:08:31 +0800809 { 0xCF, 0x21, 0xAD, 0x74, 0xE5, 0x9A, 0x61, 0x11,
810 0xBE, 0x1D, 0x8C, 0x02, 0x1E, 0x65, 0xB8, 0x91,
811 0xC2, 0xA2, 0x11, 0x16, 0x7A, 0xBB, 0x8C, 0x5E,
812 0x07, 0x9E, 0x09, 0xE2, 0xC8, 0xA8, 0x33 ,0x9C };
813
814 /* Check whether this message is a HelloRetryRequest ( HRR ) message.
815 *
Jerry Yu4a173382021-10-11 21:45:31 +0800816 * Server Hello and HRR are only distinguished by Random set to the
Jerry Yue1b9c292021-09-10 10:08:31 +0800817 * special value of the SHA-256 of "HelloRetryRequest".
818 *
819 * struct {
820 * ProtocolVersion legacy_version = 0x0303;
821 * Random random;
822 * opaque legacy_session_id_echo<0..32>;
823 * CipherSuite cipher_suite;
824 * uint8 legacy_compression_method = 0;
Jerry Yub85277e2021-10-13 13:36:05 +0800825 * Extension extensions<6..2^16-1>;
Jerry Yue1b9c292021-09-10 10:08:31 +0800826 * } ServerHello;
827 *
828 */
Jerry Yub85277e2021-10-13 13:36:05 +0800829 MBEDTLS_SSL_CHK_BUF_READ_PTR( buf, end, 2 + sizeof( magic_hrr_string ) );
Jerry Yu4a173382021-10-11 21:45:31 +0800830
831 if( memcmp( buf + 2, magic_hrr_string, sizeof( magic_hrr_string ) ) == 0 )
Jerry Yue1b9c292021-09-10 10:08:31 +0800832 {
Jerry Yub85277e2021-10-13 13:36:05 +0800833 return( SSL_SERVER_HELLO_COORDINATE_HRR );
Jerry Yue1b9c292021-09-10 10:08:31 +0800834 }
835
Jerry Yub85277e2021-10-13 13:36:05 +0800836 return( SSL_SERVER_HELLO_COORDINATE_HELLO );
Jerry Yue1b9c292021-09-10 10:08:31 +0800837}
838
Jerry Yu745bb612021-10-13 22:01:04 +0800839/* Fetch and preprocess
840 * Returns a negative value on failure, and otherwise
841 * - SSL_SERVER_HELLO_COORDINATE_HELLO or
842 * - SSL_SERVER_HELLO_COORDINATE_HRR
843 */
Jerry Yub85277e2021-10-13 13:36:05 +0800844static int ssl_tls13_server_hello_coordinate( mbedtls_ssl_context *ssl,
845 unsigned char **buf,
846 size_t *buf_len )
Jerry Yue1b9c292021-09-10 10:08:31 +0800847{
Jerry Yu4a173382021-10-11 21:45:31 +0800848 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Jerry Yue1b9c292021-09-10 10:08:31 +0800849
850 MBEDTLS_SSL_PROC_CHK( mbedtls_ssl_read_record( ssl, 0 ) );
851
Jerry Yue1b9c292021-09-10 10:08:31 +0800852 if( ( ssl->in_msgtype != MBEDTLS_SSL_MSG_HANDSHAKE ) ||
853 ( ssl->in_msg[0] != MBEDTLS_SSL_HS_SERVER_HELLO ) )
854 {
855 MBEDTLS_SSL_DEBUG_MSG( 1, ( "unexpected message" ) );
856
857 MBEDTLS_SSL_PEND_FATAL_ALERT( MBEDTLS_SSL_ALERT_MSG_UNEXPECTED_MESSAGE,
858 MBEDTLS_ERR_SSL_UNEXPECTED_MESSAGE );
859 return( MBEDTLS_ERR_SSL_UNEXPECTED_MESSAGE );
860 }
861
862 *buf = ssl->in_msg + 4;
863 *buf_len = ssl->in_hslen - 4;
864
Jerry Yub85277e2021-10-13 13:36:05 +0800865 ret = ssl_server_hello_is_hrr( ssl, *buf, *buf + *buf_len );
866 switch( ret )
Jerry Yue1b9c292021-09-10 10:08:31 +0800867 {
Jerry Yu745bb612021-10-13 22:01:04 +0800868 case SSL_SERVER_HELLO_COORDINATE_HELLO:
869 MBEDTLS_SSL_DEBUG_MSG( 2, ( "received ServerHello message" ) );
870 break;
871 case SSL_SERVER_HELLO_COORDINATE_HRR:
872 MBEDTLS_SSL_DEBUG_MSG( 2, ( "received HelloRetryRequest message" ) );
873 break;
Jerry Yue1b9c292021-09-10 10:08:31 +0800874 }
875
876cleanup:
877
878 return( ret );
879}
880
Jerry Yu4a173382021-10-11 21:45:31 +0800881static int ssl_tls13_check_server_hello_session_id_echo( mbedtls_ssl_context *ssl,
882 const unsigned char **buf,
883 const unsigned char *end )
Jerry Yue1b9c292021-09-10 10:08:31 +0800884{
885 const unsigned char *p = *buf;
Jerry Yu4a173382021-10-11 21:45:31 +0800886 size_t legacy_session_id_echo_len;
Jerry Yue1b9c292021-09-10 10:08:31 +0800887
Jerry Yude4fb2c2021-09-19 18:05:08 +0800888 MBEDTLS_SSL_CHK_BUF_READ_PTR( p, end, 1 );
Jerry Yu4a173382021-10-11 21:45:31 +0800889 legacy_session_id_echo_len = *p++ ;
Jerry Yue1b9c292021-09-10 10:08:31 +0800890
Jerry Yu4a173382021-10-11 21:45:31 +0800891 MBEDTLS_SSL_CHK_BUF_READ_PTR( p, end, legacy_session_id_echo_len );
Jerry Yue1b9c292021-09-10 10:08:31 +0800892
893 /* legacy_session_id_echo */
Jerry Yu4a173382021-10-11 21:45:31 +0800894 if( ssl->session_negotiate->id_len != legacy_session_id_echo_len ||
895 memcmp( ssl->session_negotiate->id, p , legacy_session_id_echo_len ) != 0 )
Jerry Yue1b9c292021-09-10 10:08:31 +0800896 {
Jerry Yue1b9c292021-09-10 10:08:31 +0800897 MBEDTLS_SSL_DEBUG_BUF( 3, "Expected Session ID",
898 ssl->session_negotiate->id,
899 ssl->session_negotiate->id_len );
900 MBEDTLS_SSL_DEBUG_BUF( 3, "Received Session ID", p,
Jerry Yu4a173382021-10-11 21:45:31 +0800901 legacy_session_id_echo_len );
902
903 MBEDTLS_SSL_PEND_FATAL_ALERT( MBEDTLS_SSL_ALERT_MSG_ILLEGAL_PARAMETER,
904 MBEDTLS_ERR_SSL_ILLEGAL_PARAMETER);
905
Jerry Yue1b9c292021-09-10 10:08:31 +0800906 return( MBEDTLS_ERR_SSL_ILLEGAL_PARAMETER );
907 }
908
Jerry Yu4a173382021-10-11 21:45:31 +0800909 p += legacy_session_id_echo_len;
Jerry Yue1b9c292021-09-10 10:08:31 +0800910 *buf = p;
911
912 MBEDTLS_SSL_DEBUG_BUF( 3, "Session ID", ssl->session_negotiate->id,
Jerry Yu4a173382021-10-11 21:45:31 +0800913 ssl->session_negotiate->id_len );
Jerry Yue1b9c292021-09-10 10:08:31 +0800914 return( 0 );
915}
916
Jerry Yu4a173382021-10-11 21:45:31 +0800917static int ssl_tls13_cipher_suite_is_offered( mbedtls_ssl_context *ssl,
918 int cipher_suite )
Jerry Yue1b9c292021-09-10 10:08:31 +0800919{
Jerry Yu4a173382021-10-11 21:45:31 +0800920 const int *ciphersuite_list = ssl->conf->ciphersuite_list;
921
Jerry Yue1b9c292021-09-10 10:08:31 +0800922 /* Check whether we have offered this ciphersuite */
Jerry Yu4a173382021-10-11 21:45:31 +0800923 for ( size_t i = 0; ciphersuite_list[i] != 0; i++ )
Jerry Yue1b9c292021-09-10 10:08:31 +0800924 {
Jerry Yu4a173382021-10-11 21:45:31 +0800925 if( ciphersuite_list[i] == cipher_suite )
Jerry Yue1b9c292021-09-10 10:08:31 +0800926 {
927 return( 1 );
928 }
929 }
930 return( 0 );
931}
932
933/* Parse ServerHello message and configure context
934 *
935 * struct {
936 * ProtocolVersion legacy_version = 0x0303; // TLS 1.2
937 * Random random;
938 * opaque legacy_session_id_echo<0..32>;
939 * CipherSuite cipher_suite;
940 * uint8 legacy_compression_method = 0;
Jerry Yub85277e2021-10-13 13:36:05 +0800941 * Extension extensions<6..2^16-1>;
Jerry Yue1b9c292021-09-10 10:08:31 +0800942 * } ServerHello;
943 */
Jerry Yuc068b662021-10-11 22:30:19 +0800944static int ssl_tls13_parse_server_hello( mbedtls_ssl_context *ssl,
945 const unsigned char *buf,
946 const unsigned char *end )
Jerry Yue1b9c292021-09-10 10:08:31 +0800947{
Jerry Yub85277e2021-10-13 13:36:05 +0800948 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Jerry Yue1b9c292021-09-10 10:08:31 +0800949 const unsigned char *p = buf;
Jerry Yub85277e2021-10-13 13:36:05 +0800950 size_t extensions_len;
951 const unsigned char *extensions_end;
Jerry Yue1b9c292021-09-10 10:08:31 +0800952 uint16_t cipher_suite;
Jerry Yude4fb2c2021-09-19 18:05:08 +0800953 const mbedtls_ssl_ciphersuite_t *ciphersuite_info;
Jerry Yue1b9c292021-09-10 10:08:31 +0800954
955 /*
956 * Check there is space for minimal fields
957 *
958 * - legacy_version ( 2 bytes)
Jerry Yue6d7e5c2021-10-26 10:44:32 +0800959 * - random (MBEDTLS_SERVER_HELLO_RANDOM_LEN bytes)
Jerry Yue1b9c292021-09-10 10:08:31 +0800960 * - legacy_session_id_echo ( 1 byte ), minimum size
961 * - cipher_suite ( 2 bytes)
962 * - legacy_compression_method ( 1 byte )
963 */
Jerry Yue6d7e5c2021-10-26 10:44:32 +0800964 MBEDTLS_SSL_CHK_BUF_READ_PTR( p, end, MBEDTLS_SERVER_HELLO_RANDOM_LEN + 6 );
Jerry Yue1b9c292021-09-10 10:08:31 +0800965
966 MBEDTLS_SSL_DEBUG_BUF( 4, "server hello", p, end - p );
Jerry Yue1b9c292021-09-10 10:08:31 +0800967 MBEDTLS_SSL_DEBUG_BUF( 3, "server hello, version", p, 2 );
968
Jerry Yu4a173382021-10-11 21:45:31 +0800969 /* ...
Jerry Yub85277e2021-10-13 13:36:05 +0800970 * ProtocolVersion legacy_version = 0x0303; // TLS 1.2
Jerry Yu4a173382021-10-11 21:45:31 +0800971 * ...
972 * with ProtocolVersion defined as:
973 * uint16 ProtocolVersion;
974 */
Jerry Yue1b9c292021-09-10 10:08:31 +0800975 if( !( p[0] == MBEDTLS_SSL_MAJOR_VERSION_3 &&
976 p[1] == MBEDTLS_SSL_MINOR_VERSION_3 ) )
977 {
978 MBEDTLS_SSL_DEBUG_MSG( 1, ( "Unsupported version of TLS." ) );
979 MBEDTLS_SSL_PEND_FATAL_ALERT( MBEDTLS_SSL_ALERT_MSG_PROTOCOL_VERSION,
980 MBEDTLS_ERR_SSL_BAD_PROTOCOL_VERSION );
981 return( MBEDTLS_ERR_SSL_BAD_PROTOCOL_VERSION );
982 }
983 p += 2;
Jerry Yue1b9c292021-09-10 10:08:31 +0800984
Jerry Yue6d7e5c2021-10-26 10:44:32 +0800985 /* ...
Jerry Yu4a173382021-10-11 21:45:31 +0800986 * Random random;
987 * ...
988 * with Random defined as:
Jerry Yue6d7e5c2021-10-26 10:44:32 +0800989 * opaque Random[MBEDTLS_SERVER_HELLO_RANDOM_LEN];
Jerry Yu4a173382021-10-11 21:45:31 +0800990 */
Jerry Yue6d7e5c2021-10-26 10:44:32 +0800991 memcpy( &ssl->handshake->randbytes[MBEDTLS_CLIENT_HELLO_RANDOM_LEN], p,
992 MBEDTLS_SERVER_HELLO_RANDOM_LEN );
Jerry Yue1b9c292021-09-10 10:08:31 +0800993 MBEDTLS_SSL_DEBUG_BUF( 3, "server hello, random bytes",
Jerry Yue6d7e5c2021-10-26 10:44:32 +0800994 p, MBEDTLS_SERVER_HELLO_RANDOM_LEN );
995 p += MBEDTLS_SERVER_HELLO_RANDOM_LEN;
Jerry Yue1b9c292021-09-10 10:08:31 +0800996
Jerry Yu4a173382021-10-11 21:45:31 +0800997 /* ...
998 * opaque legacy_session_id_echo<0..32>;
999 * ...
1000 */
1001 if( ssl_tls13_check_server_hello_session_id_echo( ssl, &p, end ) != 0 )
Jerry Yue1b9c292021-09-10 10:08:31 +08001002 {
1003 MBEDTLS_SSL_PEND_FATAL_ALERT( MBEDTLS_SSL_ALERT_MSG_ILLEGAL_PARAMETER,
1004 MBEDTLS_ERR_SSL_ILLEGAL_PARAMETER );
1005 return( MBEDTLS_ERR_SSL_ILLEGAL_PARAMETER );
1006 }
1007
Jerry Yu4a173382021-10-11 21:45:31 +08001008 /* ...
1009 * CipherSuite cipher_suite;
1010 * ...
1011 * with CipherSuite defined as:
1012 * uint8 CipherSuite[2];
1013 */
1014 MBEDTLS_SSL_CHK_BUF_READ_PTR( p, end, 2 );
Jerry Yue1b9c292021-09-10 10:08:31 +08001015 cipher_suite = MBEDTLS_GET_UINT16_BE( p, 0 );
1016 p += 2;
1017
Jerry Yu4a173382021-10-11 21:45:31 +08001018
1019 /*
1020 * Check whether this ciphersuite is supported and offered.
1021 * Via the force_ciphersuite version we may have instructed the client
1022 * to use a different ciphersuite.
1023 */
Jerry Yue1b9c292021-09-10 10:08:31 +08001024 ciphersuite_info = mbedtls_ssl_ciphersuite_from_id( cipher_suite );
Jerry Yu4a173382021-10-11 21:45:31 +08001025 if( ciphersuite_info == NULL ||
1026 ssl_tls13_cipher_suite_is_offered( ssl, cipher_suite ) == 0 )
Jerry Yue1b9c292021-09-10 10:08:31 +08001027 {
Jerry Yub85277e2021-10-13 13:36:05 +08001028 MBEDTLS_SSL_DEBUG_MSG( 1, ( "ciphersuite(%04x) not found or not offered",
Jerry Yue1b9c292021-09-10 10:08:31 +08001029 cipher_suite ) );
Jerry Yue1b9c292021-09-10 10:08:31 +08001030
Jerry Yu4a173382021-10-11 21:45:31 +08001031 MBEDTLS_SSL_PEND_FATAL_ALERT( MBEDTLS_SSL_ALERT_MSG_ILLEGAL_PARAMETER,
1032 MBEDTLS_ERR_SSL_ILLEGAL_PARAMETER );
1033 return( MBEDTLS_ERR_SSL_ILLEGAL_PARAMETER );
Jerry Yue1b9c292021-09-10 10:08:31 +08001034 }
1035
Jerry Yue1b9c292021-09-10 10:08:31 +08001036
Jerry Yu4a173382021-10-11 21:45:31 +08001037 /* Configure ciphersuites */
1038 mbedtls_ssl_optimize_checksum( ssl, ciphersuite_info );
1039
1040 ssl->handshake->ciphersuite_info = ciphersuite_info;
Jerry Yue1b9c292021-09-10 10:08:31 +08001041 ssl->session_negotiate->ciphersuite = cipher_suite;
1042
Jerry Yue1b9c292021-09-10 10:08:31 +08001043 MBEDTLS_SSL_DEBUG_MSG( 3, ( "server hello, chosen ciphersuite: ( %04x ) - %s",
1044 cipher_suite, ciphersuite_info->name ) );
1045
1046#if defined(MBEDTLS_HAVE_TIME)
1047 ssl->session_negotiate->start = time( NULL );
1048#endif /* MBEDTLS_HAVE_TIME */
1049
Jerry Yu4a173382021-10-11 21:45:31 +08001050 /* ...
1051 * uint8 legacy_compression_method = 0;
1052 * ...
Jerry Yue1b9c292021-09-10 10:08:31 +08001053 */
Jerry Yude4fb2c2021-09-19 18:05:08 +08001054 MBEDTLS_SSL_CHK_BUF_READ_PTR( p, end, 1 );
Jerry Yue1b9c292021-09-10 10:08:31 +08001055 if( p[0] != 0 )
1056 {
Jerry Yub85277e2021-10-13 13:36:05 +08001057 MBEDTLS_SSL_DEBUG_MSG( 1, ( "bad legacy compression method" ) );
Jerry Yue1b9c292021-09-10 10:08:31 +08001058 MBEDTLS_SSL_PEND_FATAL_ALERT( MBEDTLS_SSL_ALERT_MSG_ILLEGAL_PARAMETER,
1059 MBEDTLS_ERR_SSL_ILLEGAL_PARAMETER );
1060 return( MBEDTLS_ERR_SSL_ILLEGAL_PARAMETER );
1061 }
1062 p++;
1063
Jerry Yub85277e2021-10-13 13:36:05 +08001064 /* ...
1065 * Extension extensions<6..2^16-1>;
1066 * ...
Jerry Yu4a173382021-10-11 21:45:31 +08001067 * struct {
1068 * ExtensionType extension_type; (2 bytes)
1069 * opaque extension_data<0..2^16-1>;
1070 * } Extension;
1071 */
Jerry Yude4fb2c2021-09-19 18:05:08 +08001072 MBEDTLS_SSL_CHK_BUF_READ_PTR( p, end, 2 );
Jerry Yu4a173382021-10-11 21:45:31 +08001073 extensions_len = MBEDTLS_GET_UINT16_BE( p, 0 );
Jerry Yue1b9c292021-09-10 10:08:31 +08001074 p += 2;
Jerry Yude4fb2c2021-09-19 18:05:08 +08001075
Jerry Yu4a173382021-10-11 21:45:31 +08001076 /* Check extensions do not go beyond the buffer of data. */
1077 MBEDTLS_SSL_CHK_BUF_READ_PTR( p, end, extensions_len );
1078 extensions_end = p + extensions_len;
Jerry Yue1b9c292021-09-10 10:08:31 +08001079
Jerry Yu4a173382021-10-11 21:45:31 +08001080 MBEDTLS_SSL_DEBUG_BUF( 3, "server hello extensions", p, extensions_len );
Jerry Yue1b9c292021-09-10 10:08:31 +08001081
Jerry Yu4a173382021-10-11 21:45:31 +08001082 while( p < extensions_end )
Jerry Yue1b9c292021-09-10 10:08:31 +08001083 {
1084 unsigned int extension_type;
1085 size_t extension_data_len;
1086
Jerry Yu4a173382021-10-11 21:45:31 +08001087 MBEDTLS_SSL_CHK_BUF_READ_PTR( p, extensions_end, 4 );
Jerry Yue1b9c292021-09-10 10:08:31 +08001088 extension_type = MBEDTLS_GET_UINT16_BE( p, 0 );
1089 extension_data_len = MBEDTLS_GET_UINT16_BE( p, 2 );
1090 p += 4;
1091
Jerry Yu4a173382021-10-11 21:45:31 +08001092 MBEDTLS_SSL_CHK_BUF_READ_PTR( p, extensions_end, extension_data_len );
Jerry Yue1b9c292021-09-10 10:08:31 +08001093
1094 switch( extension_type )
1095 {
1096 case MBEDTLS_TLS_EXT_SUPPORTED_VERSIONS:
1097 MBEDTLS_SSL_DEBUG_MSG( 3,
1098 ( "found supported_versions extension" ) );
1099
Jerry Yuc068b662021-10-11 22:30:19 +08001100 ret = ssl_tls13_parse_supported_versions_ext( ssl,
Jerry Yub85277e2021-10-13 13:36:05 +08001101 p,
1102 p + extension_data_len );
Jerry Yue1b9c292021-09-10 10:08:31 +08001103 if( ret != 0 )
1104 return( ret );
1105 break;
1106
1107 case MBEDTLS_TLS_EXT_PRE_SHARED_KEY:
1108 MBEDTLS_SSL_DEBUG_MSG( 3, ( "found pre_shared_key extension." ) );
1109 MBEDTLS_SSL_DEBUG_MSG( 3, ( "pre_shared_key:Not supported yet" ) );
Jerry Yu4a173382021-10-11 21:45:31 +08001110
1111 MBEDTLS_SSL_PEND_FATAL_ALERT(
1112 MBEDTLS_SSL_ALERT_MSG_UNSUPPORTED_EXT,
1113 MBEDTLS_ERR_SSL_UNSUPPORTED_EXTENSION );
1114 return( MBEDTLS_ERR_SSL_UNSUPPORTED_EXTENSION );
Jerry Yue1b9c292021-09-10 10:08:31 +08001115
1116#if defined(MBEDTLS_KEY_EXCHANGE_WITH_CERT_ENABLED)
1117 case MBEDTLS_TLS_EXT_KEY_SHARE:
1118 MBEDTLS_SSL_DEBUG_MSG( 3, ( "found key_shares extension" ) );
Jerry Yu4a173382021-10-11 21:45:31 +08001119 if( ( ret = ssl_tls13_parse_key_share_ext( ssl,
Jerry Yue1b9c292021-09-10 10:08:31 +08001120 p, p + extension_data_len ) ) != 0 )
1121 {
1122 MBEDTLS_SSL_DEBUG_RET( 1,
Jerry Yu4a173382021-10-11 21:45:31 +08001123 "ssl_tls13_parse_key_share_ext",
Jerry Yue1b9c292021-09-10 10:08:31 +08001124 ret );
1125 return( ret );
1126 }
1127 break;
1128#endif /* MBEDTLS_KEY_EXCHANGE_WITH_CERT_ENABLED */
1129
1130 default:
Jerry Yu4a173382021-10-11 21:45:31 +08001131 MBEDTLS_SSL_DEBUG_MSG(
1132 3,
1133 ( "unknown extension found: %u ( ignoring )",
1134 extension_type ) );
1135
1136 MBEDTLS_SSL_PEND_FATAL_ALERT(
1137 MBEDTLS_SSL_ALERT_MSG_UNSUPPORTED_EXT,
1138 MBEDTLS_ERR_SSL_UNSUPPORTED_EXTENSION );
1139 return( MBEDTLS_ERR_SSL_UNSUPPORTED_EXTENSION );
Jerry Yue1b9c292021-09-10 10:08:31 +08001140 }
1141
1142 p += extension_data_len;
1143 }
1144
1145 return( 0 );
1146}
1147
Jerry Yuc068b662021-10-11 22:30:19 +08001148static int ssl_tls13_finalize_server_hello( mbedtls_ssl_context *ssl )
Jerry Yue1b9c292021-09-10 10:08:31 +08001149{
Jerry Yub85277e2021-10-13 13:36:05 +08001150 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Jerry Yu0b177842021-09-05 19:41:30 +08001151 mbedtls_ssl_key_set traffic_keys;
Jerry Yu4a173382021-10-11 21:45:31 +08001152 mbedtls_ssl_transform *transform_handshake = NULL;
Jerry Yub85277e2021-10-13 13:36:05 +08001153 mbedtls_ssl_handshake_params *handshake = ssl->handshake;
Jerry Yu0b177842021-09-05 19:41:30 +08001154
Jerry Yub85277e2021-10-13 13:36:05 +08001155 /* Determine the key exchange mode:
1156 * 1) If both the pre_shared_key and key_share extensions were received
1157 * then the key exchange mode is PSK with EPHEMERAL.
1158 * 2) If only the pre_shared_key extension was received then the key
1159 * exchange mode is PSK-only.
1160 * 3) If only the key_share extension was received then the key
1161 * exchange mode is EPHEMERAL-only.
Jerry Yu0b177842021-09-05 19:41:30 +08001162 */
Jerry Yub85277e2021-10-13 13:36:05 +08001163 switch( handshake->extensions_present &
1164 ( MBEDTLS_SSL_EXT_PRE_SHARED_KEY | MBEDTLS_SSL_EXT_KEY_SHARE ) )
Jerry Yu0b177842021-09-05 19:41:30 +08001165 {
Jerry Yu745bb612021-10-13 22:01:04 +08001166 /* Only the pre_shared_key extension was received */
1167 case MBEDTLS_SSL_EXT_PRE_SHARED_KEY:
Xiaofei Baid25fab62021-12-02 06:36:27 +00001168 handshake->tls13_kex_modes = MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_PSK;
Jerry Yu745bb612021-10-13 22:01:04 +08001169 break;
Jerry Yub85277e2021-10-13 13:36:05 +08001170
Jerry Yu745bb612021-10-13 22:01:04 +08001171 /* Only the key_share extension was received */
1172 case MBEDTLS_SSL_EXT_KEY_SHARE:
Xiaofei Baid25fab62021-12-02 06:36:27 +00001173 handshake->tls13_kex_modes = MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_EPHEMERAL;
Jerry Yu745bb612021-10-13 22:01:04 +08001174 break;
Jerry Yub85277e2021-10-13 13:36:05 +08001175
Jerry Yu745bb612021-10-13 22:01:04 +08001176 /* Both the pre_shared_key and key_share extensions were received */
1177 case ( MBEDTLS_SSL_EXT_PRE_SHARED_KEY | MBEDTLS_SSL_EXT_KEY_SHARE ):
Xiaofei Baid25fab62021-12-02 06:36:27 +00001178 handshake->tls13_kex_modes = MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_PSK_EPHEMERAL;
Jerry Yu745bb612021-10-13 22:01:04 +08001179 break;
Jerry Yub85277e2021-10-13 13:36:05 +08001180
Jerry Yu745bb612021-10-13 22:01:04 +08001181 /* Neither pre_shared_key nor key_share extension was received */
1182 default:
1183 MBEDTLS_SSL_DEBUG_MSG( 1, ( "Unknown key exchange." ) );
1184 ret = MBEDTLS_ERR_SSL_HANDSHAKE_FAILURE;
1185 goto cleanup;
Jerry Yu0b177842021-09-05 19:41:30 +08001186 }
1187
1188 /* Start the TLS 1.3 key schedule: Set the PSK and derive early secret.
1189 *
1190 * TODO: We don't have to do this in case we offered 0-RTT and the
1191 * server accepted it. In this case, we could skip generating
1192 * the early secret. */
Xiaofei Bai746f9482021-11-12 08:53:56 +00001193 ret = mbedtls_ssl_tls13_key_schedule_stage_early( ssl );
Jerry Yu0b177842021-09-05 19:41:30 +08001194 if( ret != 0 )
1195 {
Xiaofei Bai746f9482021-11-12 08:53:56 +00001196 MBEDTLS_SSL_DEBUG_RET( 1, "mbedtls_ssl_tls13_key_schedule_stage_early_data",
Jerry Yu0b177842021-09-05 19:41:30 +08001197 ret );
Jerry Yu4a173382021-10-11 21:45:31 +08001198 goto cleanup;
Jerry Yu0b177842021-09-05 19:41:30 +08001199 }
1200
1201 /* Compute handshake secret */
Jerry Yuf0ac2352021-10-11 17:47:07 +08001202 ret = mbedtls_ssl_tls13_key_schedule_stage_handshake( ssl );
Jerry Yu0b177842021-09-05 19:41:30 +08001203 if( ret != 0 )
1204 {
Xiaofei Bai746f9482021-11-12 08:53:56 +00001205 MBEDTLS_SSL_DEBUG_RET( 1, "mbedtls_ssl_tls13_derive_master_secret", ret );
Jerry Yu4a173382021-10-11 21:45:31 +08001206 goto cleanup;
Jerry Yu0b177842021-09-05 19:41:30 +08001207 }
1208
1209 /* Next evolution in key schedule: Establish handshake secret and
1210 * key material. */
Jerry Yuc068b662021-10-11 22:30:19 +08001211 ret = mbedtls_ssl_tls13_generate_handshake_keys( ssl, &traffic_keys );
Jerry Yu0b177842021-09-05 19:41:30 +08001212 if( ret != 0 )
1213 {
Jerry Yuc068b662021-10-11 22:30:19 +08001214 MBEDTLS_SSL_DEBUG_RET( 1, "mbedtls_ssl_tls13_generate_handshake_keys",
1215 ret );
Jerry Yu4a173382021-10-11 21:45:31 +08001216 goto cleanup;
Jerry Yu0b177842021-09-05 19:41:30 +08001217 }
1218
Jerry Yub85277e2021-10-13 13:36:05 +08001219 transform_handshake = mbedtls_calloc( 1, sizeof( mbedtls_ssl_transform ) );
Jerry Yu0b177842021-09-05 19:41:30 +08001220 if( transform_handshake == NULL )
Jerry Yu4a173382021-10-11 21:45:31 +08001221 {
1222 ret = MBEDTLS_ERR_SSL_ALLOC_FAILED;
1223 goto cleanup;
1224 }
Jerry Yu0b177842021-09-05 19:41:30 +08001225
1226 ret = mbedtls_ssl_tls13_populate_transform( transform_handshake,
1227 ssl->conf->endpoint,
1228 ssl->session_negotiate->ciphersuite,
1229 &traffic_keys,
1230 ssl );
1231 if( ret != 0 )
1232 {
1233 MBEDTLS_SSL_DEBUG_RET( 1, "mbedtls_ssl_tls13_populate_transform", ret );
Jerry Yu4a173382021-10-11 21:45:31 +08001234 goto cleanup;
Jerry Yu0b177842021-09-05 19:41:30 +08001235 }
1236
Jerry Yub85277e2021-10-13 13:36:05 +08001237 handshake->transform_handshake = transform_handshake;
1238 mbedtls_ssl_set_inbound_transform( ssl, transform_handshake );
Jerry Yu0b177842021-09-05 19:41:30 +08001239
1240 MBEDTLS_SSL_DEBUG_MSG( 1, ( "Switch to handshake keys for inbound traffic" ) );
1241 ssl->session_in = ssl->session_negotiate;
1242
1243 /*
1244 * State machine update
1245 */
1246 mbedtls_ssl_handshake_set_state( ssl, MBEDTLS_SSL_ENCRYPTED_EXTENSIONS );
1247
Jerry Yu4a173382021-10-11 21:45:31 +08001248cleanup:
1249
Jerry Yu0b177842021-09-05 19:41:30 +08001250 mbedtls_platform_zeroize( &traffic_keys, sizeof( traffic_keys ) );
Jerry Yu4a173382021-10-11 21:45:31 +08001251 if( ret != 0 )
1252 {
Jerry Yub85277e2021-10-13 13:36:05 +08001253 mbedtls_free( transform_handshake );
Jerry Yuc068b662021-10-11 22:30:19 +08001254
Jerry Yu4a173382021-10-11 21:45:31 +08001255 MBEDTLS_SSL_PEND_FATAL_ALERT(
1256 MBEDTLS_SSL_ALERT_MSG_HANDSHAKE_FAILURE,
1257 MBEDTLS_ERR_SSL_HANDSHAKE_FAILURE );
1258 }
1259 return( ret );
Jerry Yue1b9c292021-09-10 10:08:31 +08001260}
1261
XiaokangQian647719a2021-12-07 09:16:29 +00001262static int ssl_hrr_parse( mbedtls_ssl_context *ssl,
XiaokangQian51eff222021-12-10 10:33:56 +00001263 const unsigned char *buf,
1264 const unsigned char *end )
XiaokangQian647719a2021-12-07 09:16:29 +00001265{
XiaokangQian51eff222021-12-10 10:33:56 +00001266 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
1267 int cipher_suite;
1268
XiaokangQian647719a2021-12-07 09:16:29 +00001269 /* pointer to the end of the buffer for length checks */
XiaokangQian51eff222021-12-10 10:33:56 +00001270 const unsigned char *p = buf;
1271 const unsigned char *extensions_end;
1272 size_t extensions_len; /* stores length of all extensions */
XiaokangQian647719a2021-12-07 09:16:29 +00001273
XiaokangQian51eff222021-12-10 10:33:56 +00001274 const mbedtls_ssl_ciphersuite_t* ciphersuite_info; /* pointer to ciphersuite */
XiaokangQian647719a2021-12-07 09:16:29 +00001275
1276#if defined(MBEDTLS_SSL_COOKIE_C)
1277 size_t cookie_len;
1278 unsigned char *cookie;
1279#endif /* MBEDTLS_SSL_COOKIE_C */
1280
XiaokangQian51eff222021-12-10 10:33:56 +00001281 /* Check for minimal length
1282 * struct {
1283 * ProtocolVersion legacy_version = 0x0303;
XiaokangQian647719a2021-12-07 09:16:29 +00001284 * Random random;
1285 * opaque legacy_session_id_echo<0..32>;
1286 * CipherSuite cipher_suite;
1287 * uint8 legacy_compression_method = 0;
1288 * Extension extensions<6..2 ^ 16 - 1>;
1289 * } ServerHello;
1290 *
XiaokangQian647719a2021-12-07 09:16:29 +00001291 * 38 = 32 ( random bytes ) + 2 ( ciphersuite ) + 2 ( version ) +
XiaokangQian51eff222021-12-10 10:33:56 +00001292 * 1 ( legacy_compression_method ) +
1293 * 1 ( minimum for legacy_session_id_echo )
XiaokangQian647719a2021-12-07 09:16:29 +00001294 */
XiaokangQian51eff222021-12-10 10:33:56 +00001295 MBEDTLS_SSL_CHK_BUF_READ_PTR( p, end, 38 );
XiaokangQian647719a2021-12-07 09:16:29 +00001296
XiaokangQian51eff222021-12-10 10:33:56 +00001297 MBEDTLS_SSL_DEBUG_BUF( 4, "hello retry request", p, end - p );
XiaokangQian647719a2021-12-07 09:16:29 +00001298
XiaokangQian51eff222021-12-10 10:33:56 +00001299 MBEDTLS_SSL_DEBUG_BUF( 3, "hello retry request, version", p, 2 );
XiaokangQian647719a2021-12-07 09:16:29 +00001300
1301 /* The version field must contain 0x303 */
XiaokangQian51eff222021-12-10 10:33:56 +00001302 if( MBEDTLS_GET_UINT16_BE( p, 0 ) != 0x303 )
XiaokangQian647719a2021-12-07 09:16:29 +00001303 {
1304 MBEDTLS_SSL_DEBUG_MSG( 1, ( "Unsupported version of TLS." ) );
1305 MBEDTLS_SSL_PEND_FATAL_ALERT( MBEDTLS_SSL_ALERT_MSG_PROTOCOL_VERSION,
XiaokangQian51eff222021-12-10 10:33:56 +00001306 MBEDTLS_ERR_SSL_BAD_PROTOCOL_VERSION );
XiaokangQian647719a2021-12-07 09:16:29 +00001307 return( MBEDTLS_ERR_SSL_BAD_PROTOCOL_VERSION );
1308 }
1309
1310 /* skip version */
XiaokangQian51eff222021-12-10 10:33:56 +00001311 p += 2;
XiaokangQian647719a2021-12-07 09:16:29 +00001312
1313 /* Internally we use the correct 1.3 version */
XiaokangQian51eff222021-12-10 10:33:56 +00001314 ssl->major_ver = MBEDTLS_SSL_MAJOR_VERSION_3;
1315 ssl->minor_ver = MBEDTLS_SSL_MINOR_VERSION_4;
XiaokangQian647719a2021-12-07 09:16:29 +00001316
1317 /* store server-provided random values */
XiaokangQian51eff222021-12-10 10:33:56 +00001318 memcpy( ssl->handshake->randbytes + MBEDTLS_SERVER_HELLO_RANDOM_LEN,
1319 p, MBEDTLS_SERVER_HELLO_RANDOM_LEN );
1320 MBEDTLS_SSL_DEBUG_BUF( 3, "hello retry request, random bytes",
1321 p + 2, MBEDTLS_SERVER_HELLO_RANDOM_LEN );
XiaokangQian647719a2021-12-07 09:16:29 +00001322
1323 /* skip random bytes */
XiaokangQian51eff222021-12-10 10:33:56 +00001324 p += MBEDTLS_SERVER_HELLO_RANDOM_LEN;
XiaokangQian647719a2021-12-07 09:16:29 +00001325
XiaokangQian51eff222021-12-10 10:33:56 +00001326 /* ...
1327 * opaque legacy_session_id_echo<0..32>;
1328 * ...
1329 */
1330 if( ssl_tls13_check_server_hello_session_id_echo( ssl, &p, end ) != 0 )
XiaokangQian647719a2021-12-07 09:16:29 +00001331 {
1332 MBEDTLS_SSL_PEND_FATAL_ALERT( MBEDTLS_SSL_ALERT_MSG_HANDSHAKE_FAILURE,
XiaokangQian51eff222021-12-10 10:33:56 +00001333 MBEDTLS_ERR_SSL_HANDSHAKE_FAILURE );
XiaokangQian647719a2021-12-07 09:16:29 +00001334 return( MBEDTLS_ERR_SSL_HANDSHAKE_FAILURE );
1335 }
1336
1337 /* read server-selected ciphersuite, which follows random bytes */
XiaokangQian51eff222021-12-10 10:33:56 +00001338 cipher_suite = MBEDTLS_GET_UINT16_BE( p, 0 );
XiaokangQian647719a2021-12-07 09:16:29 +00001339
1340 /* skip ciphersuite */
XiaokangQian51eff222021-12-10 10:33:56 +00001341 p += 2;
XiaokangQian647719a2021-12-07 09:16:29 +00001342
XiaokangQian51eff222021-12-10 10:33:56 +00001343 /*
1344 * Check whether we have offered this ciphersuite
1345 * Via the force_ciphersuite version we may have instructed the client
1346 * to use a difference ciphersuite.
1347 */
1348 ciphersuite_info = mbedtls_ssl_ciphersuite_from_id( cipher_suite );
1349 if( ciphersuite_info == NULL ||
1350 ssl_tls13_cipher_suite_is_offered( ssl, cipher_suite ) == 0 )
1351 {
1352 MBEDTLS_SSL_DEBUG_MSG( 1, ( "ciphersuite(%04x) not found or not offered",
1353 (unsigned int)cipher_suite ) );
1354
1355 MBEDTLS_SSL_PEND_FATAL_ALERT( MBEDTLS_SSL_ALERT_MSG_ILLEGAL_PARAMETER,
1356 MBEDTLS_ERR_SSL_ILLEGAL_PARAMETER );
1357 return( MBEDTLS_ERR_SSL_ILLEGAL_PARAMETER );
1358 }
XiaokangQian647719a2021-12-07 09:16:29 +00001359
1360 /* Configure ciphersuites */
XiaokangQian51eff222021-12-10 10:33:56 +00001361 mbedtls_ssl_optimize_checksum( ssl, ciphersuite_info );
1362 ssl->handshake->ciphersuite_info = ciphersuite_info;
1363 ssl->session_negotiate->ciphersuite = cipher_suite;
XiaokangQian647719a2021-12-07 09:16:29 +00001364
1365 MBEDTLS_SSL_DEBUG_MSG( 3,
1366 ( "hello retry request, chosen ciphersuite: ( %04x ) - %s",
XiaokangQian51eff222021-12-10 10:33:56 +00001367 (unsigned int)cipher_suite, ciphersuite_info->name ) );
XiaokangQian647719a2021-12-07 09:16:29 +00001368
1369#if defined(MBEDTLS_HAVE_TIME)
1370 ssl->session_negotiate->start = time( NULL );
1371#endif /* MBEDTLS_HAVE_TIME */
1372
XiaokangQian647719a2021-12-07 09:16:29 +00001373 /* Ensure that compression method is set to zero */
XiaokangQian51eff222021-12-10 10:33:56 +00001374 if( p[0] != 0 )
XiaokangQian647719a2021-12-07 09:16:29 +00001375 {
1376 MBEDTLS_SSL_DEBUG_MSG( 1, ( "bad hello retry request message" ) );
1377 MBEDTLS_SSL_PEND_FATAL_ALERT( MBEDTLS_SSL_ALERT_MSG_ILLEGAL_PARAMETER,
1378 MBEDTLS_ERR_SSL_ILLEGAL_PARAMETER );
1379 return( MBEDTLS_ERR_SSL_ILLEGAL_PARAMETER );
1380 }
1381
1382 /* skip compression */
XiaokangQian51eff222021-12-10 10:33:56 +00001383 p++;
XiaokangQian647719a2021-12-07 09:16:29 +00001384
1385 /* Are we reading beyond the message buffer? */
XiaokangQian51eff222021-12-10 10:33:56 +00001386 MBEDTLS_SSL_CHK_BUF_READ_PTR( p, end, 2 );
XiaokangQian647719a2021-12-07 09:16:29 +00001387
XiaokangQian51eff222021-12-10 10:33:56 +00001388 extensions_len = MBEDTLS_GET_UINT16_BE( p, 0 );
1389 p += 2; /* skip extension length */
XiaokangQian647719a2021-12-07 09:16:29 +00001390
1391 /* Are we reading beyond the message buffer? */
XiaokangQian51eff222021-12-10 10:33:56 +00001392 MBEDTLS_SSL_CHK_BUF_READ_PTR( p, end, extensions_len );
1393 extensions_end = p + extensions_len;
XiaokangQian647719a2021-12-07 09:16:29 +00001394
1395 MBEDTLS_SSL_DEBUG_MSG( 3,
1396 ( "hello retry request, total extension length: %"
XiaokangQian51eff222021-12-10 10:33:56 +00001397 MBEDTLS_PRINTF_SIZET , extensions_len ) );
1398 MBEDTLS_SSL_DEBUG_BUF( 3, "extensions", p, extensions_len );
XiaokangQian647719a2021-12-07 09:16:29 +00001399
XiaokangQian51eff222021-12-10 10:33:56 +00001400 while ( p < extensions_end )
XiaokangQian647719a2021-12-07 09:16:29 +00001401 {
XiaokangQian51eff222021-12-10 10:33:56 +00001402 unsigned int extension_type;
1403 const unsigned char *extensions_data_end;
1404 unsigned int extension_data_len; /* size of an individual extension */
XiaokangQian647719a2021-12-07 09:16:29 +00001405
XiaokangQian51eff222021-12-10 10:33:56 +00001406 MBEDTLS_SSL_CHK_BUF_READ_PTR( p, extensions_end, 4 );
1407 extension_type = MBEDTLS_GET_UINT16_BE( p, 0 );
1408 extension_data_len = MBEDTLS_GET_UINT16_BE( p + 2, 0 );
XiaokangQian647719a2021-12-07 09:16:29 +00001409
XiaokangQian51eff222021-12-10 10:33:56 +00001410 p += 4;
1411 MBEDTLS_SSL_CHK_BUF_READ_PTR( p, extensions_end, extension_data_len );
1412 extensions_data_end = p + extension_data_len;
1413
1414 switch( extension_type )
XiaokangQian647719a2021-12-07 09:16:29 +00001415 {
1416#if defined(MBEDTLS_SSL_COOKIE_C)
1417 case MBEDTLS_TLS_EXT_COOKIE:
1418
1419 /* Retrieve length field of cookie */
XiaokangQian51eff222021-12-10 10:33:56 +00001420 MBEDTLS_SSL_CHK_BUF_READ_PTR( p, extensions_data_end, 2 );
1421 cookie_len = MBEDTLS_GET_UINT16_BE( p, 0 );
1422 cookie = (unsigned char *) ( p + 2 );
XiaokangQian647719a2021-12-07 09:16:29 +00001423
XiaokangQian51eff222021-12-10 10:33:56 +00001424 MBEDTLS_SSL_CHK_BUF_READ_PTR( p, extensions_data_end, cookie_len + 2 );
XiaokangQian647719a2021-12-07 09:16:29 +00001425 MBEDTLS_SSL_DEBUG_BUF( 3, "cookie extension", cookie, cookie_len );
1426
1427 mbedtls_free( ssl->handshake->verify_cookie );
XiaokangQian647719a2021-12-07 09:16:29 +00001428 ssl->handshake->verify_cookie = mbedtls_calloc( 1, cookie_len );
1429 if( ssl->handshake->verify_cookie == NULL )
1430 {
1431 MBEDTLS_SSL_DEBUG_MSG( 1,
1432 ( "alloc failed ( %" MBEDTLS_PRINTF_SIZET " bytes )",
1433 cookie_len ) );
1434 return( MBEDTLS_ERR_SSL_ALLOC_FAILED );
1435 }
1436
1437 memcpy( ssl->handshake->verify_cookie, cookie, cookie_len );
1438 ssl->handshake->verify_cookie_len = (unsigned char) cookie_len;
1439 break;
1440#endif /* MBEDTLS_SSL_COOKIE_C */
1441
1442 case MBEDTLS_TLS_EXT_SUPPORTED_VERSIONS:
1443 MBEDTLS_SSL_DEBUG_MSG( 3, ( "found supported_versions extension" ) );
1444
1445 ret = ssl_tls13_parse_supported_versions_ext( ssl,
XiaokangQian51eff222021-12-10 10:33:56 +00001446 p,
1447 p + extension_data_len );
XiaokangQian647719a2021-12-07 09:16:29 +00001448 if( ret != 0 )
1449 return( ret );
1450 break;
1451
1452#if defined(MBEDTLS_ECDH_C) || defined(MBEDTLS_ECDSA_C)
1453 case MBEDTLS_TLS_EXT_KEY_SHARE:
1454 {
1455 /* Variables for parsing the key_share */
XiaokangQian0b56a8f2021-12-22 02:39:32 +00001456 const uint16_t* grp_id;
XiaokangQian647719a2021-12-07 09:16:29 +00001457 const mbedtls_ecp_curve_info *curve_info = NULL;
1458 int tls_id;
1459 int found = 0;
1460
XiaokangQian51eff222021-12-10 10:33:56 +00001461 MBEDTLS_SSL_DEBUG_BUF( 3, "key_share extension", p, extension_data_len );
XiaokangQian647719a2021-12-07 09:16:29 +00001462
1463 /* Read selected_group */
XiaokangQian51eff222021-12-10 10:33:56 +00001464 tls_id = MBEDTLS_GET_UINT16_BE( p, 0 );
XiaokangQian647719a2021-12-07 09:16:29 +00001465 MBEDTLS_SSL_DEBUG_MSG( 3, ( "selected_group ( %d )", tls_id ) );
1466
1467 /* Upon receipt of this extension in a HelloRetryRequest, the client
1468 * MUST first verify that the selected_group field corresponds to a
1469 * group which was provided in the "supported_groups" extension in the
1470 * original ClientHello.
XiaokangQian0b56a8f2021-12-22 02:39:32 +00001471 * The supported_group was based on the info in ssl->conf->group_list.
XiaokangQian647719a2021-12-07 09:16:29 +00001472 *
1473 * If the server provided a key share that was not sent in the ClientHello
XiaokangQian0b56a8f2021-12-22 02:39:32 +00001474 * then the client MUST abort the handshake with an "illegal_parameter" alert.
1475 */
1476 for( grp_id = ssl->conf->group_list; *grp_id != MBEDTLS_ECP_DP_NONE; grp_id++ )
XiaokangQian647719a2021-12-07 09:16:29 +00001477 {
XiaokangQian0b56a8f2021-12-22 02:39:32 +00001478 curve_info = mbedtls_ecp_curve_info_from_tls_id( *grp_id );
XiaokangQian647719a2021-12-07 09:16:29 +00001479 if( curve_info == NULL || curve_info->tls_id != tls_id )
1480 continue;
1481
1482 /* We found a match */
1483 found = 1;
1484 break;
1485 }
1486
1487 /* Client MUST verify that the selected_group field does not
1488 * correspond to a group which was provided in the "key_share"
1489 * extension in the original ClientHello. If the server sent an
1490 * HRR message with a key share already provided in the
1491 * ClientHello then the client MUST abort the handshake with
XiaokangQian0b56a8f2021-12-22 02:39:32 +00001492 * an "illegal_parameter" alert.
1493 */
XiaokangQian647719a2021-12-07 09:16:29 +00001494 if( found == 0 || tls_id == ssl->handshake->offered_group_id )
1495 {
1496 MBEDTLS_SSL_DEBUG_MSG( 1, ( "Invalid key share in HRR" ) );
1497 MBEDTLS_SSL_PEND_FATAL_ALERT(
1498 MBEDTLS_SSL_ALERT_MSG_ILLEGAL_PARAMETER,
1499 MBEDTLS_ERR_SSL_ILLEGAL_PARAMETER );
1500 return( MBEDTLS_ERR_SSL_ILLEGAL_PARAMETER );
1501 }
1502
1503 /* Remember server's preference for next ClientHello */
1504 ssl->handshake->offered_group_id= tls_id;
1505 break;
1506 }
1507
1508#endif /* MBEDTLS_ECDH_C || MBEDTLS_ECDSA_C */
1509 default:
1510 MBEDTLS_SSL_DEBUG_MSG( 3,
1511 ( "unknown extension found: %u ( ignoring )",
XiaokangQian51eff222021-12-10 10:33:56 +00001512 extension_type ) );
XiaokangQian647719a2021-12-07 09:16:29 +00001513 }
1514
1515 /* Jump to next extension */
XiaokangQian51eff222021-12-10 10:33:56 +00001516 //extensions_len -= 4 + extension_data_len;
1517 //ext += 4 + extension_data_len;
1518 p += extension_data_len;
XiaokangQian647719a2021-12-07 09:16:29 +00001519 }
1520
1521 return( 0 );
1522}
1523
1524static int ssl_hrr_postprocess( mbedtls_ssl_context *ssl )
1525{
XiaokangQian0b56a8f2021-12-22 02:39:32 +00001526#if defined(MBEDTLS_KEY_EXCHANGE_WITH_CERT_ENABLED)
XiaokangQian647719a2021-12-07 09:16:29 +00001527 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
XiaokangQian0b56a8f2021-12-22 02:39:32 +00001528#endif /* MBEDTLS_KEY_EXCHANGE_WITH_CERT_ENABLED */
XiaokangQian647719a2021-12-07 09:16:29 +00001529
1530 if( ssl->handshake->hello_retry_requests_received > 0 )
1531 {
1532 MBEDTLS_SSL_DEBUG_MSG( 1, ( "Multiple HRRs received" ) );
1533 MBEDTLS_SSL_PEND_FATAL_ALERT( MBEDTLS_SSL_ALERT_LEVEL_FATAL,
1534 MBEDTLS_SSL_ALERT_MSG_HANDSHAKE_FAILURE );
1535 return( MBEDTLS_ERR_SSL_HANDSHAKE_FAILURE );
1536 }
1537
1538 ssl->handshake->hello_retry_requests_received++;
1539
1540#if defined(MBEDTLS_SSL_TLS1_3_COMPATIBILITY_MODE)
1541 /* If not offering early data, the client sends a dummy CCS record
1542 * immediately before its second flight. This may either be before
XiaokangQian51eff222021-12-10 10:33:56 +00001543 * its second ClientHello or before its encrypted handshake flight.
1544 */
XiaokangQian647719a2021-12-07 09:16:29 +00001545 mbedtls_ssl_handshake_set_state( ssl,
1546 MBEDTLS_SSL_CLIENT_CCS_BEFORE_2ND_CLIENT_HELLO );
1547#else
1548 mbedtls_ssl_handshake_set_state( ssl, MBEDTLS_SSL_CLIENT_HELLO );
1549#endif /* MBEDTLS_SSL_TLS1_3_COMPATIBILITY_MODE */
1550
1551 mbedtls_ssl_tls13_session_reset_msg_layer( ssl, 0 );
1552
1553 /* Reset everything that's going to be re-generated in the new ClientHello.
1554 *
1555 * Currently, we're always resetting the key share, even if the server
1556 * was fine with it. Once we have separated key share generation from
1557 * key share writing, we can confine this to the case where the server
XiaokangQian51eff222021-12-10 10:33:56 +00001558 * requested a different share.
1559 */
XiaokangQian0b56a8f2021-12-22 02:39:32 +00001560#if defined(MBEDTLS_KEY_EXCHANGE_WITH_CERT_ENABLED)
XiaokangQian647719a2021-12-07 09:16:29 +00001561 ret = ssl_reset_key_share( ssl );
1562 if( ret != 0 )
1563 return( ret );
XiaokangQian0b56a8f2021-12-22 02:39:32 +00001564#endif /* MBEDTLS_KEY_EXCHANGE_WITH_CERT_ENABLED */
XiaokangQian647719a2021-12-07 09:16:29 +00001565
1566 return( 0 );
1567}
1568
Jerry Yue1b9c292021-09-10 10:08:31 +08001569/*
Jerry Yu4a173382021-10-11 21:45:31 +08001570 * Wait and parse ServerHello handshake message.
Jerry Yu687101b2021-09-14 16:03:56 +08001571 * Handler for MBEDTLS_SSL_SERVER_HELLO
1572 */
Xiaofei Bai746f9482021-11-12 08:53:56 +00001573static int ssl_tls13_process_server_hello( mbedtls_ssl_context *ssl )
Jerry Yu687101b2021-09-14 16:03:56 +08001574{
Jerry Yu4a173382021-10-11 21:45:31 +08001575 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
XiaokangQian647719a2021-12-07 09:16:29 +00001576 unsigned char *buf = NULL;
1577 size_t buf_len = 0;
Jerry Yue1b9c292021-09-10 10:08:31 +08001578
1579 MBEDTLS_SSL_DEBUG_MSG( 2, ( "=> %s", __func__ ) );
1580
1581 /* Coordination step
1582 * - Fetch record
1583 * - Make sure it's either a ServerHello or a HRR.
1584 * - Switch processing routine in case of HRR
1585 */
Jerry Yue1b9c292021-09-10 10:08:31 +08001586 ssl->major_ver = MBEDTLS_SSL_MAJOR_VERSION_3;
1587 ssl->handshake->extensions_present = MBEDTLS_SSL_EXT_NONE;
1588
Jerry Yub85277e2021-10-13 13:36:05 +08001589 ret = ssl_tls13_server_hello_coordinate( ssl, &buf, &buf_len );
Jerry Yue1b9c292021-09-10 10:08:31 +08001590 /* Parsing step
1591 * We know what message to expect by now and call
1592 * the respective parsing function.
1593 */
1594 if( ret == SSL_SERVER_HELLO_COORDINATE_HELLO )
1595 {
Jerry Yuc068b662021-10-11 22:30:19 +08001596 MBEDTLS_SSL_PROC_CHK( ssl_tls13_parse_server_hello( ssl, buf,
1597 buf + buf_len ) );
Jerry Yue1b9c292021-09-10 10:08:31 +08001598
Xiaofei Bai746f9482021-11-12 08:53:56 +00001599 mbedtls_ssl_tls13_add_hs_msg_to_checksum( ssl,
1600 MBEDTLS_SSL_HS_SERVER_HELLO,
1601 buf, buf_len );
Jerry Yue1b9c292021-09-10 10:08:31 +08001602
Jerry Yuc068b662021-10-11 22:30:19 +08001603 MBEDTLS_SSL_PROC_CHK( ssl_tls13_finalize_server_hello( ssl ) );
Jerry Yue1b9c292021-09-10 10:08:31 +08001604 }
1605 else if( ret == SSL_SERVER_HELLO_COORDINATE_HRR )
1606 {
XiaokangQian51eff222021-12-10 10:33:56 +00001607 MBEDTLS_SSL_PROC_CHK( ssl_hrr_parse( ssl, buf, buf + buf_len ) );
XiaokangQian647719a2021-12-07 09:16:29 +00001608 MBEDTLS_SSL_PROC_CHK( mbedtls_ssl_reset_transcript_for_hrr( ssl ) );
1609
XiaokangQian51eff222021-12-10 10:33:56 +00001610 mbedtls_ssl_tls13_add_hs_msg_to_checksum( ssl,
1611 MBEDTLS_SSL_HS_SERVER_HELLO,
1612 buf, buf_len );
XiaokangQian647719a2021-12-07 09:16:29 +00001613
1614 MBEDTLS_SSL_PROC_CHK( ssl_hrr_postprocess( ssl ) );
Jerry Yue1b9c292021-09-10 10:08:31 +08001615 }
1616
1617cleanup:
1618 MBEDTLS_SSL_DEBUG_MSG( 2, ( "<= %s", __func__ ) );
1619 return( ret );
Jerry Yu687101b2021-09-14 16:03:56 +08001620}
1621
1622/*
XiaokangQian2d5c72b2021-09-13 07:30:09 +00001623 *
1624 * EncryptedExtensions message
1625 *
1626 * The EncryptedExtensions message contains any extensions which
1627 * should be protected, i.e., any which are not needed to establish
1628 * the cryptographic context.
Jerry Yu687101b2021-09-14 16:03:56 +08001629 */
XiaokangQian2d5c72b2021-09-13 07:30:09 +00001630
1631/*
1632 * Overview
1633 */
XiaokangQian2d5c72b2021-09-13 07:30:09 +00001634
1635/* Main entry point; orchestrates the other functions */
XiaokangQian97799ac2021-10-11 10:05:54 +00001636static int ssl_tls13_process_encrypted_extensions( mbedtls_ssl_context *ssl );
XiaokangQian2d5c72b2021-09-13 07:30:09 +00001637
XiaokangQian97799ac2021-10-11 10:05:54 +00001638static int ssl_tls13_parse_encrypted_extensions( mbedtls_ssl_context *ssl,
1639 const unsigned char *buf,
1640 const unsigned char *end );
1641static int ssl_tls13_postprocess_encrypted_extensions( mbedtls_ssl_context *ssl );
XiaokangQian2d5c72b2021-09-13 07:30:09 +00001642
1643/*
XiaokangQianc1fe0002021-09-16 03:02:14 +00001644 * Handler for MBEDTLS_SSL_ENCRYPTED_EXTENSIONS
XiaokangQian2d5c72b2021-09-13 07:30:09 +00001645 */
XiaokangQian97799ac2021-10-11 10:05:54 +00001646static int ssl_tls13_process_encrypted_extensions( mbedtls_ssl_context *ssl )
Jerry Yu687101b2021-09-14 16:03:56 +08001647{
XiaokangQian2d5c72b2021-09-13 07:30:09 +00001648 int ret;
1649 unsigned char *buf;
1650 size_t buf_len;
1651
1652 MBEDTLS_SSL_DEBUG_MSG( 2, ( "=> parse encrypted extensions" ) );
1653
Xiaofei Bai746f9482021-11-12 08:53:56 +00001654 MBEDTLS_SSL_PROC_CHK( mbedtls_ssl_tls13_fetch_handshake_msg( ssl,
XiaokangQianab7f50d2021-10-21 06:23:29 +00001655 MBEDTLS_SSL_HS_ENCRYPTED_EXTENSIONS,
XiaokangQian2d5c72b2021-09-13 07:30:09 +00001656 &buf, &buf_len ) );
1657
1658 /* Process the message contents */
XiaokangQian97799ac2021-10-11 10:05:54 +00001659 MBEDTLS_SSL_PROC_CHK(
XiaokangQian8db25ff2021-10-13 05:56:18 +00001660 ssl_tls13_parse_encrypted_extensions( ssl, buf, buf + buf_len ) );
XiaokangQian2d5c72b2021-09-13 07:30:09 +00001661
Xiaofei Bai746f9482021-11-12 08:53:56 +00001662 mbedtls_ssl_tls13_add_hs_msg_to_checksum(
XiaokangQianab7f50d2021-10-21 06:23:29 +00001663 ssl, MBEDTLS_SSL_HS_ENCRYPTED_EXTENSIONS, buf, buf_len );
XiaokangQian2d5c72b2021-09-13 07:30:09 +00001664
XiaokangQian97799ac2021-10-11 10:05:54 +00001665 MBEDTLS_SSL_PROC_CHK( ssl_tls13_postprocess_encrypted_extensions( ssl ) );
XiaokangQian2d5c72b2021-09-13 07:30:09 +00001666
1667cleanup:
1668
1669 MBEDTLS_SSL_DEBUG_MSG( 2, ( "<= parse encrypted extensions" ) );
1670 return( ret );
1671
1672}
1673
XiaokangQian08da26c2021-10-09 10:12:11 +00001674/* Parse EncryptedExtensions message
1675 * struct {
XiaokangQian97799ac2021-10-11 10:05:54 +00001676 * Extension extensions<0..2^16-1>;
XiaokangQian08da26c2021-10-09 10:12:11 +00001677 * } EncryptedExtensions;
1678 */
XiaokangQian97799ac2021-10-11 10:05:54 +00001679static int ssl_tls13_parse_encrypted_extensions( mbedtls_ssl_context *ssl,
1680 const unsigned char *buf,
1681 const unsigned char *end )
XiaokangQian2d5c72b2021-09-13 07:30:09 +00001682{
1683 int ret = 0;
XiaokangQian08da26c2021-10-09 10:12:11 +00001684 size_t extensions_len;
XiaokangQian140f0452021-10-08 08:05:53 +00001685 const unsigned char *p = buf;
XiaokangQian8db25ff2021-10-13 05:56:18 +00001686 const unsigned char *extensions_end;
XiaokangQian2d5c72b2021-09-13 07:30:09 +00001687
XiaokangQian08da26c2021-10-09 10:12:11 +00001688 MBEDTLS_SSL_CHK_BUF_READ_PTR( p, end, 2 );
XiaokangQian97799ac2021-10-11 10:05:54 +00001689 extensions_len = MBEDTLS_GET_UINT16_BE( p, 0 );
XiaokangQian08da26c2021-10-09 10:12:11 +00001690 p += 2;
XiaokangQian2d5c72b2021-09-13 07:30:09 +00001691
XiaokangQian97799ac2021-10-11 10:05:54 +00001692 MBEDTLS_SSL_DEBUG_BUF( 3, "encrypted extensions", p, extensions_len );
XiaokangQian8db25ff2021-10-13 05:56:18 +00001693 extensions_end = p + extensions_len;
1694 MBEDTLS_SSL_CHK_BUF_READ_PTR( p, end, extensions_len );
XiaokangQian2d5c72b2021-09-13 07:30:09 +00001695
XiaokangQian8db25ff2021-10-13 05:56:18 +00001696 while( p < extensions_end )
XiaokangQian2d5c72b2021-09-13 07:30:09 +00001697 {
XiaokangQian08da26c2021-10-09 10:12:11 +00001698 unsigned int extension_type;
1699 size_t extension_data_len;
XiaokangQian2d5c72b2021-09-13 07:30:09 +00001700
XiaokangQian08da26c2021-10-09 10:12:11 +00001701 /*
1702 * struct {
XiaokangQian97799ac2021-10-11 10:05:54 +00001703 * ExtensionType extension_type; (2 bytes)
1704 * opaque extension_data<0..2^16-1>;
XiaokangQian08da26c2021-10-09 10:12:11 +00001705 * } Extension;
1706 */
XiaokangQian8db25ff2021-10-13 05:56:18 +00001707 MBEDTLS_SSL_CHK_BUF_READ_PTR( p, extensions_end, 4 );
XiaokangQian08da26c2021-10-09 10:12:11 +00001708 extension_type = MBEDTLS_GET_UINT16_BE( p, 0 );
1709 extension_data_len = MBEDTLS_GET_UINT16_BE( p, 2 );
1710 p += 4;
1711
XiaokangQian8db25ff2021-10-13 05:56:18 +00001712 MBEDTLS_SSL_CHK_BUF_READ_PTR( p, extensions_end, extension_data_len );
XiaokangQian2d5c72b2021-09-13 07:30:09 +00001713
XiaokangQian97799ac2021-10-11 10:05:54 +00001714 /* The client MUST check EncryptedExtensions for the
XiaokangQian2d5c72b2021-09-13 07:30:09 +00001715 * presence of any forbidden extensions and if any are found MUST abort
XiaokangQian08da26c2021-10-09 10:12:11 +00001716 * the handshake with an "unsupported_extension" alert.
XiaokangQian2d5c72b2021-09-13 07:30:09 +00001717 */
XiaokangQian08da26c2021-10-09 10:12:11 +00001718 switch( extension_type )
1719 {
XiaokangQian2d5c72b2021-09-13 07:30:09 +00001720
XiaokangQian08da26c2021-10-09 10:12:11 +00001721 case MBEDTLS_TLS_EXT_SUPPORTED_GROUPS:
1722 MBEDTLS_SSL_DEBUG_MSG( 3, ( "found extensions supported groups" ) );
1723 break;
XiaokangQian2d5c72b2021-09-13 07:30:09 +00001724
XiaokangQian08da26c2021-10-09 10:12:11 +00001725 default:
XiaokangQian97799ac2021-10-11 10:05:54 +00001726 MBEDTLS_SSL_DEBUG_MSG(
1727 3, ( "unsupported extension found: %u ", extension_type) );
1728 MBEDTLS_SSL_PEND_FATAL_ALERT(
Jerry Yu7aa71862021-10-28 21:41:30 +08001729 MBEDTLS_SSL_ALERT_MSG_UNSUPPORTED_EXT,
XiaokangQian97799ac2021-10-11 10:05:54 +00001730 MBEDTLS_ERR_SSL_UNSUPPORTED_EXTENSION );
1731 return ( MBEDTLS_ERR_SSL_UNSUPPORTED_EXTENSION );
XiaokangQian08da26c2021-10-09 10:12:11 +00001732 }
1733
XiaokangQian08da26c2021-10-09 10:12:11 +00001734 p += extension_data_len;
XiaokangQian97799ac2021-10-11 10:05:54 +00001735 }
XiaokangQian08da26c2021-10-09 10:12:11 +00001736
XiaokangQian97799ac2021-10-11 10:05:54 +00001737 /* Check that we consumed all the message. */
XiaokangQian7b2d4ef2021-10-13 10:19:02 +00001738 if( p != end )
XiaokangQian97799ac2021-10-11 10:05:54 +00001739 {
1740 MBEDTLS_SSL_DEBUG_MSG( 1, ( "EncryptedExtension lengths misaligned" ) );
Jerry Yu7aa71862021-10-28 21:41:30 +08001741 MBEDTLS_SSL_PEND_FATAL_ALERT( MBEDTLS_SSL_ALERT_MSG_DECODE_ERROR,
XiaokangQian7b2d4ef2021-10-13 10:19:02 +00001742 MBEDTLS_ERR_SSL_DECODE_ERROR );
XiaokangQian97799ac2021-10-11 10:05:54 +00001743 return( MBEDTLS_ERR_SSL_DECODE_ERROR );
XiaokangQian2d5c72b2021-09-13 07:30:09 +00001744 }
1745
1746 return( ret );
1747}
1748
XiaokangQian97799ac2021-10-11 10:05:54 +00001749static int ssl_tls13_postprocess_encrypted_extensions( mbedtls_ssl_context *ssl )
XiaokangQian2d5c72b2021-09-13 07:30:09 +00001750{
Jerry Yua93ac112021-10-27 16:31:48 +08001751#if defined(MBEDTLS_KEY_EXCHANGE_WITH_CERT_ENABLED)
Xiaofei Bai746f9482021-11-12 08:53:56 +00001752 if( mbedtls_ssl_tls13_some_psk_enabled( ssl ) )
Jerry Yua93ac112021-10-27 16:31:48 +08001753 mbedtls_ssl_handshake_set_state( ssl, MBEDTLS_SSL_SERVER_FINISHED );
1754 else
Jerry Yud2674312021-10-29 10:08:19 +08001755 mbedtls_ssl_handshake_set_state( ssl, MBEDTLS_SSL_CERTIFICATE_REQUEST );
Jerry Yua93ac112021-10-27 16:31:48 +08001756#else
1757 ((void) ssl);
1758 mbedtls_ssl_handshake_set_state( ssl, MBEDTLS_SSL_SERVER_FINISHED );
1759#endif
Jerry Yu687101b2021-09-14 16:03:56 +08001760 return( 0 );
1761}
1762
Jerry Yua93ac112021-10-27 16:31:48 +08001763#if defined(MBEDTLS_KEY_EXCHANGE_WITH_CERT_ENABLED)
Jerry Yu687101b2021-09-14 16:03:56 +08001764/*
Jerry Yud2674312021-10-29 10:08:19 +08001765 * Handler for MBEDTLS_SSL_CERTIFICATE_REQUEST
1766 */
1767static int ssl_tls13_process_certificate_request( mbedtls_ssl_context *ssl )
1768{
1769 int ret = mbedtls_ssl_read_record( ssl, 0 );
1770
1771 if( ret != 0 )
1772 {
1773 MBEDTLS_SSL_DEBUG_RET( 1, "mbedtls_ssl_read_record", ret );
1774 return( ret );
1775 }
1776
1777 if( ( ssl->in_msgtype == MBEDTLS_SSL_MSG_HANDSHAKE ) &&
1778 ( ssl->in_msg[0] == MBEDTLS_SSL_HS_CERTIFICATE_REQUEST ) )
1779 {
1780 MBEDTLS_SSL_DEBUG_MSG( 1, ( "CertificateRequest not supported" ) );
1781 MBEDTLS_SSL_PEND_FATAL_ALERT( MBEDTLS_SSL_ALERT_MSG_HANDSHAKE_FAILURE,
1782 MBEDTLS_ERR_SSL_HANDSHAKE_FAILURE );
1783 return( MBEDTLS_ERR_SSL_HANDSHAKE_FAILURE );
1784 }
1785
1786 ssl->keep_current_message = 1;
1787 mbedtls_ssl_handshake_set_state( ssl, MBEDTLS_SSL_SERVER_CERTIFICATE );
1788
1789 return( 0 );
1790}
1791
1792/*
Jerry Yu687101b2021-09-14 16:03:56 +08001793 * Handler for MBEDTLS_SSL_SERVER_CERTIFICATE
1794 */
Xiaofei Bai746f9482021-11-12 08:53:56 +00001795static int ssl_tls13_process_server_certificate( mbedtls_ssl_context *ssl )
Jerry Yu687101b2021-09-14 16:03:56 +08001796{
Xiaofei Bai947571e2021-09-29 09:12:03 +00001797 int ret;
1798
1799 ret = mbedtls_ssl_tls13_process_certificate( ssl );
Xiaofei Baif93cbd22021-10-29 02:39:30 +00001800 if( ret != 0 )
Xiaofei Bai947571e2021-09-29 09:12:03 +00001801 return( ret );
1802
Jerry Yu687101b2021-09-14 16:03:56 +08001803 mbedtls_ssl_handshake_set_state( ssl, MBEDTLS_SSL_CERTIFICATE_VERIFY );
1804 return( 0 );
1805}
1806
1807/*
1808 * Handler for MBEDTLS_SSL_CERTIFICATE_VERIFY
1809 */
Xiaofei Bai746f9482021-11-12 08:53:56 +00001810static int ssl_tls13_process_certificate_verify( mbedtls_ssl_context *ssl )
Jerry Yu687101b2021-09-14 16:03:56 +08001811{
Jerry Yu30b071c2021-09-12 20:16:03 +08001812 int ret;
1813
1814 ret = mbedtls_ssl_tls13_process_certificate_verify( ssl );
1815 if( ret != 0 )
1816 return( ret );
1817
Jerry Yu687101b2021-09-14 16:03:56 +08001818 mbedtls_ssl_handshake_set_state( ssl, MBEDTLS_SSL_SERVER_FINISHED );
1819 return( 0 );
1820}
Jerry Yua93ac112021-10-27 16:31:48 +08001821#endif /* MBEDTLS_KEY_EXCHANGE_WITH_CERT_ENABLED */
Ronald Crond4c64022021-12-06 09:06:46 +01001822
Jerry Yu687101b2021-09-14 16:03:56 +08001823/*
1824 * Handler for MBEDTLS_SSL_SERVER_FINISHED
1825 */
Xiaofei Bai746f9482021-11-12 08:53:56 +00001826static int ssl_tls13_process_server_finished( mbedtls_ssl_context *ssl )
Jerry Yu687101b2021-09-14 16:03:56 +08001827{
XiaokangQianac0385c2021-11-03 06:40:11 +00001828 int ret;
1829
XiaokangQianc5c39d52021-11-09 11:55:10 +00001830 ret = mbedtls_ssl_tls13_process_finished_message( ssl );
XiaokangQianac0385c2021-11-03 06:40:11 +00001831 if( ret != 0 )
1832 return( ret );
1833
Ronald Cron49ad6192021-11-24 16:25:31 +01001834#if defined(MBEDTLS_SSL_TLS1_3_COMPATIBILITY_MODE)
1835 mbedtls_ssl_handshake_set_state(
1836 ssl,
1837 MBEDTLS_SSL_CLIENT_CCS_AFTER_SERVER_FINISHED );
1838#else
XiaokangQianac0385c2021-11-03 06:40:11 +00001839 mbedtls_ssl_handshake_set_state( ssl, MBEDTLS_SSL_CLIENT_FINISHED );
Ronald Cron49ad6192021-11-24 16:25:31 +01001840#endif
1841
XiaokangQianac0385c2021-11-03 06:40:11 +00001842 return( 0 );
Jerry Yu687101b2021-09-14 16:03:56 +08001843}
1844
1845/*
Ronald Crond4c64022021-12-06 09:06:46 +01001846 * Handler for MBEDTLS_SSL_CLIENT_CCS_AFTER_SERVER_FINISHED
1847 */
1848#if defined(MBEDTLS_SSL_TLS1_3_COMPATIBILITY_MODE)
1849static int ssl_tls13_write_change_cipher_spec( mbedtls_ssl_context *ssl )
1850{
1851 int ret;
1852
1853 ret = mbedtls_ssl_tls13_write_change_cipher_spec( ssl );
1854 if( ret != 0 )
1855 return( ret );
1856
Ronald Crond4c64022021-12-06 09:06:46 +01001857 return( 0 );
1858}
1859#endif /* MBEDTLS_SSL_TLS1_3_COMPATIBILITY_MODE */
1860
1861/*
Jerry Yu687101b2021-09-14 16:03:56 +08001862 * Handler for MBEDTLS_SSL_CLIENT_FINISHED
1863 */
XiaokangQian74af2a82021-09-22 07:40:30 +00001864static int ssl_tls13_write_client_finished( mbedtls_ssl_context *ssl )
Jerry Yu687101b2021-09-14 16:03:56 +08001865{
XiaokangQian0fa66432021-11-15 03:33:57 +00001866 int ret;
1867
Ronald Cron49ad6192021-11-24 16:25:31 +01001868 mbedtls_ssl_set_outbound_transform( ssl, ssl->handshake->transform_handshake );
1869
XiaokangQian0fa66432021-11-15 03:33:57 +00001870 ret = mbedtls_ssl_tls13_write_finished_message( ssl );
1871 if( ret != 0 )
1872 return( ret );
1873
1874 mbedtls_ssl_handshake_set_state( ssl, MBEDTLS_SSL_FLUSH_BUFFERS );
1875 return( 0 );
Jerry Yu687101b2021-09-14 16:03:56 +08001876}
1877
1878/*
1879 * Handler for MBEDTLS_SSL_FLUSH_BUFFERS
1880 */
Xiaofei Bai746f9482021-11-12 08:53:56 +00001881static int ssl_tls13_flush_buffers( mbedtls_ssl_context *ssl )
Jerry Yu687101b2021-09-14 16:03:56 +08001882{
Jerry Yu378254d2021-10-30 21:44:47 +08001883 MBEDTLS_SSL_DEBUG_MSG( 2, ( "handshake: done" ) );
Jerry Yuad8d0ba2021-09-28 17:58:26 +08001884 mbedtls_ssl_handshake_set_state( ssl, MBEDTLS_SSL_HANDSHAKE_WRAPUP );
Jerry Yu687101b2021-09-14 16:03:56 +08001885 return( 0 );
1886}
1887
1888/*
1889 * Handler for MBEDTLS_SSL_HANDSHAKE_WRAPUP
1890 */
Xiaofei Bai746f9482021-11-12 08:53:56 +00001891static int ssl_tls13_handshake_wrapup( mbedtls_ssl_context *ssl )
Jerry Yu687101b2021-09-14 16:03:56 +08001892{
Jerry Yu378254d2021-10-30 21:44:47 +08001893 MBEDTLS_SSL_DEBUG_MSG( 1, ( "Switch to application keys for inbound traffic" ) );
1894 mbedtls_ssl_set_inbound_transform ( ssl, ssl->transform_application );
1895
1896 MBEDTLS_SSL_DEBUG_MSG( 1, ( "Switch to application keys for outbound traffic" ) );
1897 mbedtls_ssl_set_outbound_transform( ssl, ssl->transform_application );
1898
1899 mbedtls_ssl_tls13_handshake_wrapup( ssl );
1900
1901 mbedtls_ssl_handshake_set_state( ssl, MBEDTLS_SSL_HANDSHAKE_OVER );
1902 return( 0 );
Jerry Yu687101b2021-09-14 16:03:56 +08001903}
1904
Jerry Yu92c6b402021-08-27 16:59:09 +08001905int mbedtls_ssl_tls13_handshake_client_step( mbedtls_ssl_context *ssl )
Jerry Yubc20bdd2021-08-24 15:59:48 +08001906{
Jerry Yu92c6b402021-08-27 16:59:09 +08001907 int ret = 0;
Jerry Yuc8a392c2021-08-18 16:46:28 +08001908
Jerry Yue3b34122021-09-28 17:53:35 +08001909 MBEDTLS_SSL_DEBUG_MSG( 2, ( "tls13 client state: %s(%d)",
1910 mbedtls_ssl_states_str( ssl->state ),
1911 ssl->state ) );
Jerry Yu92c6b402021-08-27 16:59:09 +08001912
1913 switch( ssl->state )
1914 {
1915 /*
Jerry Yu0c63af62021-09-02 12:59:12 +08001916 * ssl->state is initialized as HELLO_REQUEST. It is the same
1917 * as CLIENT_HELLO state.
Jerry Yu92c6b402021-08-27 16:59:09 +08001918 */
1919 case MBEDTLS_SSL_HELLO_REQUEST:
1920 case MBEDTLS_SSL_CLIENT_HELLO:
1921 ret = ssl_tls13_write_client_hello( ssl );
1922 break;
1923
1924 case MBEDTLS_SSL_SERVER_HELLO:
Xiaofei Bai746f9482021-11-12 08:53:56 +00001925 ret = ssl_tls13_process_server_hello( ssl );
Jerry Yu687101b2021-09-14 16:03:56 +08001926 break;
1927
1928 case MBEDTLS_SSL_ENCRYPTED_EXTENSIONS:
XiaokangQian97799ac2021-10-11 10:05:54 +00001929 ret = ssl_tls13_process_encrypted_extensions( ssl );
Jerry Yu687101b2021-09-14 16:03:56 +08001930 break;
1931
Jerry Yua93ac112021-10-27 16:31:48 +08001932#if defined(MBEDTLS_KEY_EXCHANGE_WITH_CERT_ENABLED)
Jerry Yud2674312021-10-29 10:08:19 +08001933 case MBEDTLS_SSL_CERTIFICATE_REQUEST:
1934 ret = ssl_tls13_process_certificate_request( ssl );
1935 break;
1936
Jerry Yu687101b2021-09-14 16:03:56 +08001937 case MBEDTLS_SSL_SERVER_CERTIFICATE:
Xiaofei Bai746f9482021-11-12 08:53:56 +00001938 ret = ssl_tls13_process_server_certificate( ssl );
Jerry Yu687101b2021-09-14 16:03:56 +08001939 break;
1940
1941 case MBEDTLS_SSL_CERTIFICATE_VERIFY:
Xiaofei Bai746f9482021-11-12 08:53:56 +00001942 ret = ssl_tls13_process_certificate_verify( ssl );
Jerry Yu687101b2021-09-14 16:03:56 +08001943 break;
Jerry Yua93ac112021-10-27 16:31:48 +08001944#endif /* MBEDTLS_KEY_EXCHANGE_WITH_CERT_ENABLED */
Jerry Yu687101b2021-09-14 16:03:56 +08001945
1946 case MBEDTLS_SSL_SERVER_FINISHED:
Xiaofei Bai746f9482021-11-12 08:53:56 +00001947 ret = ssl_tls13_process_server_finished( ssl );
Jerry Yu687101b2021-09-14 16:03:56 +08001948 break;
1949
Jerry Yu687101b2021-09-14 16:03:56 +08001950 case MBEDTLS_SSL_CLIENT_FINISHED:
XiaokangQian74af2a82021-09-22 07:40:30 +00001951 ret = ssl_tls13_write_client_finished( ssl );
Jerry Yu687101b2021-09-14 16:03:56 +08001952 break;
1953
1954 case MBEDTLS_SSL_FLUSH_BUFFERS:
Xiaofei Bai746f9482021-11-12 08:53:56 +00001955 ret = ssl_tls13_flush_buffers( ssl );
Jerry Yu687101b2021-09-14 16:03:56 +08001956 break;
1957
1958 case MBEDTLS_SSL_HANDSHAKE_WRAPUP:
Xiaofei Bai746f9482021-11-12 08:53:56 +00001959 ret = ssl_tls13_handshake_wrapup( ssl );
Jerry Yu92c6b402021-08-27 16:59:09 +08001960 break;
1961
Ronald Cron49ad6192021-11-24 16:25:31 +01001962 /*
1963 * Injection of dummy-CCS's for middlebox compatibility
1964 */
1965#if defined(MBEDTLS_SSL_TLS1_3_COMPATIBILITY_MODE)
1966 case MBEDTLS_SSL_CLIENT_CCS_AFTER_SERVER_FINISHED:
XiaokangQian0b56a8f2021-12-22 02:39:32 +00001967 case MBEDTLS_SSL_CLIENT_CCS_BEFORE_2ND_CLIENT_HELLO:
Ronald Crond4c64022021-12-06 09:06:46 +01001968 ret = ssl_tls13_write_change_cipher_spec( ssl );
Ronald Cron49ad6192021-11-24 16:25:31 +01001969 break;
1970#endif /* MBEDTLS_SSL_TLS1_3_COMPATIBILITY_MODE */
1971
Jerry Yu92c6b402021-08-27 16:59:09 +08001972 default:
1973 MBEDTLS_SSL_DEBUG_MSG( 1, ( "invalid state %d", ssl->state ) );
1974 return( MBEDTLS_ERR_SSL_BAD_INPUT_DATA );
1975 }
1976
1977 return( ret );
1978}
Jerry Yu65dd2cc2021-08-18 16:38:40 +08001979
Jerry Yu3cc4c2a2021-08-06 16:29:08 +08001980#endif /* MBEDTLS_SSL_CLI_C */
1981
Ronald Cron6f135e12021-12-08 16:57:54 +01001982#endif /* MBEDTLS_SSL_PROTO_TLS1_3 */