blob: 785a58c08592312c08b4a3d1787052def8d61d2e [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
XiaokangQian16acd4b2022-01-14 07:35:47 +0000118static int ssl_tls13_reset_key_share( mbedtls_ssl_context *ssl )
XiaokangQian647719a2021-12-07 09:16:29 +0000119{
120 uint16_t group_id = ssl->handshake->offered_group_id;
121 if( group_id == 0 )
122 return( MBEDTLS_ERR_SSL_INTERNAL_ERROR );
123
XiaokangQian355e09a2022-01-20 11:14:50 +0000124#if defined(MBEDTLS_ECDH_C)
XiaokangQian647719a2021-12-07 09:16:29 +0000125 if( mbedtls_ssl_tls13_named_group_is_ecdhe( group_id ) )
XiaokangQian78b1fa72022-01-19 06:56:30 +0000126 {
127 mbedtls_ecdh_free( &ssl->handshake->ecdh_ctx );
128 return( 0 );
129 }
XiaokangQian355e09a2022-01-20 11:14:50 +0000130 else
131#endif /* MBEDTLS_ECDH_C */
132 if( 0 /* other KEMs? */ )
XiaokangQian647719a2021-12-07 09:16:29 +0000133 {
134 /* Do something */
135 }
136
137 return( MBEDTLS_ERR_SSL_INTERNAL_ERROR );
138}
139
140/*
Jerry Yu56fc07f2021-09-01 17:48:49 +0800141 * Functions for writing key_share extension.
142 */
143#if defined(MBEDTLS_ECDH_C)
Jerry Yu7c522d42021-09-08 17:55:09 +0800144static int ssl_tls13_generate_and_write_ecdh_key_exchange(
Jerry Yub60e3cf2021-09-08 16:41:02 +0800145 mbedtls_ssl_context *ssl,
146 uint16_t named_group,
147 unsigned char *buf,
148 unsigned char *end,
Xiaofei Baid25fab62021-12-02 06:36:27 +0000149 size_t *out_len )
Jerry Yu92c6b402021-08-27 16:59:09 +0800150{
Jerry Yu56fc07f2021-09-01 17:48:49 +0800151 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Jerry Yu56fc07f2021-09-01 17:48:49 +0800152 const mbedtls_ecp_curve_info *curve_info =
153 mbedtls_ecp_curve_info_from_tls_id( named_group );
154
155 if( curve_info == NULL )
156 return( MBEDTLS_ERR_SSL_INTERNAL_ERROR );
157
158 MBEDTLS_SSL_DEBUG_MSG( 3, ( "offer curve %s", curve_info->name ) );
159
Jerry Yudd1fb9e2021-09-15 11:10:15 +0800160 if( ( ret = mbedtls_ecdh_setup_no_everest( &ssl->handshake->ecdh_ctx,
161 curve_info->grp_id ) ) != 0 )
Jerry Yu56fc07f2021-09-01 17:48:49 +0800162 {
Jerry Yu388bd0d2021-09-15 18:41:02 +0800163 MBEDTLS_SSL_DEBUG_RET( 1, "mbedtls_ecdh_setup_no_everest", ret );
Jerry Yu56fc07f2021-09-01 17:48:49 +0800164 return( ret );
165 }
166
Xiaofei Baid25fab62021-12-02 06:36:27 +0000167 ret = mbedtls_ecdh_tls13_make_params( &ssl->handshake->ecdh_ctx, out_len,
168 buf, end - buf,
169 ssl->conf->f_rng, ssl->conf->p_rng );
Jerry Yu56fc07f2021-09-01 17:48:49 +0800170 if( ret != 0 )
171 {
172 MBEDTLS_SSL_DEBUG_RET( 1, "mbedtls_ecdh_tls13_make_params", ret );
173 return( ret );
174 }
175
176 MBEDTLS_SSL_DEBUG_ECDH( 3, &ssl->handshake->ecdh_ctx,
177 MBEDTLS_DEBUG_ECDH_Q );
Jerry Yu75336352021-09-01 15:59:36 +0800178 return( 0 );
Jerry Yu92c6b402021-08-27 16:59:09 +0800179}
Jerry Yu56fc07f2021-09-01 17:48:49 +0800180#endif /* MBEDTLS_ECDH_C */
181
Jerry Yub60e3cf2021-09-08 16:41:02 +0800182static int ssl_tls13_get_default_group_id( mbedtls_ssl_context *ssl,
183 uint16_t *group_id )
Jerry Yu56fc07f2021-09-01 17:48:49 +0800184{
185 int ret = MBEDTLS_ERR_SSL_FEATURE_UNAVAILABLE;
186
Jerry Yu56fc07f2021-09-01 17:48:49 +0800187
Jerry Yu56fc07f2021-09-01 17:48:49 +0800188#if defined(MBEDTLS_ECDH_C)
Brett Warren14efd332021-10-06 09:32:11 +0100189 const uint16_t *group_list = mbedtls_ssl_get_groups( ssl );
Jerry Yu388bd0d2021-09-15 18:41:02 +0800190 /* Pick first available ECDHE group compatible with TLS 1.3 */
Brett Warren14efd332021-10-06 09:32:11 +0100191 if( group_list == NULL )
Jerry Yu388bd0d2021-09-15 18:41:02 +0800192 return( MBEDTLS_ERR_SSL_BAD_CONFIG );
193
Brett Warren14efd332021-10-06 09:32:11 +0100194 for ( ; *group_list != 0; group_list++ )
Jerry Yu56fc07f2021-09-01 17:48:49 +0800195 {
Xiaofei Baieef15042021-11-18 07:29:56 +0000196 const mbedtls_ecp_curve_info *curve_info;
197 curve_info = mbedtls_ecp_curve_info_from_tls_id( *group_list );
198 if( curve_info != NULL &&
Brett Warren14efd332021-10-06 09:32:11 +0100199 mbedtls_ssl_tls13_named_group_is_ecdhe( *group_list ) )
Jerry Yu56fc07f2021-09-01 17:48:49 +0800200 {
Brett Warren14efd332021-10-06 09:32:11 +0100201 *group_id = *group_list;
Jerry Yu56fc07f2021-09-01 17:48:49 +0800202 return( 0 );
203 }
204 }
205#else
206 ((void) ssl);
Jerry Yub60e3cf2021-09-08 16:41:02 +0800207 ((void) group_id);
Jerry Yu56fc07f2021-09-01 17:48:49 +0800208#endif /* MBEDTLS_ECDH_C */
209
210 /*
211 * Add DHE named groups here.
Jerry Yu388bd0d2021-09-15 18:41:02 +0800212 * Pick first available DHE group compatible with TLS 1.3
Jerry Yu56fc07f2021-09-01 17:48:49 +0800213 */
214
215 return( ret );
216}
217
218/*
219 * ssl_tls13_write_key_share_ext
220 *
Jerry Yu388bd0d2021-09-15 18:41:02 +0800221 * Structure of key_share extension in ClientHello:
Jerry Yu56fc07f2021-09-01 17:48:49 +0800222 *
223 * struct {
224 * NamedGroup group;
225 * opaque key_exchange<1..2^16-1>;
226 * } KeyShareEntry;
227 * struct {
228 * KeyShareEntry client_shares<0..2^16-1>;
229 * } KeyShareClientHello;
230 */
231static int ssl_tls13_write_key_share_ext( mbedtls_ssl_context *ssl,
232 unsigned char *buf,
233 unsigned char *end,
Xiaofei Baid25fab62021-12-02 06:36:27 +0000234 size_t *out_len )
Jerry Yu56fc07f2021-09-01 17:48:49 +0800235{
236 unsigned char *p = buf;
Xiaofei Baieef15042021-11-18 07:29:56 +0000237 unsigned char *client_shares; /* Start of client_shares */
238 size_t client_shares_len; /* Length of client_shares */
Jerry Yu56fc07f2021-09-01 17:48:49 +0800239 uint16_t group_id;
Jerry Yu56fc07f2021-09-01 17:48:49 +0800240 int ret = MBEDTLS_ERR_SSL_FEATURE_UNAVAILABLE;
241
Xiaofei Baid25fab62021-12-02 06:36:27 +0000242 *out_len = 0;
Jerry Yu56fc07f2021-09-01 17:48:49 +0800243
Jerry Yub60e3cf2021-09-08 16:41:02 +0800244 /* Check if we have space for header and length fields:
Jerry Yu56fc07f2021-09-01 17:48:49 +0800245 * - extension_type (2 bytes)
246 * - extension_data_length (2 bytes)
247 * - client_shares_length (2 bytes)
248 */
249 MBEDTLS_SSL_CHK_BUF_PTR( p, end, 6 );
250 p += 6;
251
252 MBEDTLS_SSL_DEBUG_MSG( 3, ( "client hello: adding key share extension" ) );
253
254 /* HRR could already have requested something else. */
255 group_id = ssl->handshake->offered_group_id;
Jerry Yub60e3cf2021-09-08 16:41:02 +0800256 if( !mbedtls_ssl_tls13_named_group_is_ecdhe( group_id ) &&
257 !mbedtls_ssl_tls13_named_group_is_dhe( group_id ) )
Jerry Yu56fc07f2021-09-01 17:48:49 +0800258 {
Jerry Yub60e3cf2021-09-08 16:41:02 +0800259 MBEDTLS_SSL_PROC_CHK( ssl_tls13_get_default_group_id( ssl,
Jerry Yu56fc07f2021-09-01 17:48:49 +0800260 &group_id ) );
261 }
262
263 /*
264 * Dispatch to type-specific key generation function.
265 *
266 * So far, we're only supporting ECDHE. With the introduction
267 * of PQC KEMs, we'll want to have multiple branches, one per
268 * type of KEM, and dispatch to the corresponding crypto. And
269 * only one key share entry is allowed.
270 */
Xiaofei Baieef15042021-11-18 07:29:56 +0000271 client_shares = p;
Jerry Yu56fc07f2021-09-01 17:48:49 +0800272#if defined(MBEDTLS_ECDH_C)
Jerry Yub60e3cf2021-09-08 16:41:02 +0800273 if( mbedtls_ssl_tls13_named_group_is_ecdhe( group_id ) )
Jerry Yu56fc07f2021-09-01 17:48:49 +0800274 {
Jerry Yu388bd0d2021-09-15 18:41:02 +0800275 /* Pointer to group */
Xiaofei Baieef15042021-11-18 07:29:56 +0000276 unsigned char *group = p;
Jerry Yu56fc07f2021-09-01 17:48:49 +0800277 /* Length of key_exchange */
278 size_t key_exchange_len;
279
280 /* Check there is space for header of KeyShareEntry
281 * - group (2 bytes)
282 * - key_exchange_length (2 bytes)
283 */
284 MBEDTLS_SSL_CHK_BUF_PTR( p, end, 4 );
285 p += 4;
Jerry Yub60e3cf2021-09-08 16:41:02 +0800286 ret = ssl_tls13_generate_and_write_ecdh_key_exchange( ssl, group_id,
287 p, end,
288 &key_exchange_len );
Jerry Yu56fc07f2021-09-01 17:48:49 +0800289 p += key_exchange_len;
290 if( ret != 0 )
291 return( ret );
292
293 /* Write group */
Xiaofei Baieef15042021-11-18 07:29:56 +0000294 MBEDTLS_PUT_UINT16_BE( group_id, group, 0 );
Jerry Yu56fc07f2021-09-01 17:48:49 +0800295 /* Write key_exchange_length */
Xiaofei Baieef15042021-11-18 07:29:56 +0000296 MBEDTLS_PUT_UINT16_BE( key_exchange_len, group, 2 );
Jerry Yu56fc07f2021-09-01 17:48:49 +0800297 }
298 else
299#endif /* MBEDTLS_ECDH_C */
300 if( 0 /* other KEMs? */ )
301 {
302 /* Do something */
303 }
304 else
305 return( MBEDTLS_ERR_SSL_INTERNAL_ERROR );
306
Jerry Yub60e3cf2021-09-08 16:41:02 +0800307 /* Length of client_shares */
Xiaofei Baieef15042021-11-18 07:29:56 +0000308 client_shares_len = p - client_shares;
Jerry Yub60e3cf2021-09-08 16:41:02 +0800309 if( client_shares_len == 0)
310 {
311 MBEDTLS_SSL_DEBUG_MSG( 1, ( "No key share defined." ) );
312 return( MBEDTLS_ERR_SSL_INTERNAL_ERROR );
Jerry Yu7c522d42021-09-08 17:55:09 +0800313 }
Jerry Yu56fc07f2021-09-01 17:48:49 +0800314 /* Write extension_type */
315 MBEDTLS_PUT_UINT16_BE( MBEDTLS_TLS_EXT_KEY_SHARE, buf, 0 );
316 /* Write extension_data_length */
Jerry Yub60e3cf2021-09-08 16:41:02 +0800317 MBEDTLS_PUT_UINT16_BE( client_shares_len + 2, buf, 2 );
Jerry Yu56fc07f2021-09-01 17:48:49 +0800318 /* Write client_shares_length */
Jerry Yub60e3cf2021-09-08 16:41:02 +0800319 MBEDTLS_PUT_UINT16_BE( client_shares_len, buf, 4 );
Jerry Yu56fc07f2021-09-01 17:48:49 +0800320
321 /* Update offered_group_id field */
322 ssl->handshake->offered_group_id = group_id;
323
324 /* Output the total length of key_share extension. */
Xiaofei Baid25fab62021-12-02 06:36:27 +0000325 *out_len = p - buf;
Jerry Yu56fc07f2021-09-01 17:48:49 +0800326
Xiaofei Baid25fab62021-12-02 06:36:27 +0000327 MBEDTLS_SSL_DEBUG_BUF( 3, "client hello, key_share extension", buf, *out_len );
Jerry Yu56fc07f2021-09-01 17:48:49 +0800328
329 ssl->handshake->extensions_present |= MBEDTLS_SSL_EXT_KEY_SHARE;
330
331cleanup:
332
333 return( ret );
334}
Jerry Yubc20bdd2021-08-24 15:59:48 +0800335
Jerry Yue1b9c292021-09-10 10:08:31 +0800336#if defined(MBEDTLS_ECDH_C)
337
Jerry Yuc068b662021-10-11 22:30:19 +0800338static int ssl_tls13_check_ecdh_params( const mbedtls_ssl_context *ssl )
Jerry Yue1b9c292021-09-10 10:08:31 +0800339{
340 const mbedtls_ecp_curve_info *curve_info;
341 mbedtls_ecp_group_id grp_id;
342#if defined(MBEDTLS_ECDH_LEGACY_CONTEXT)
343 grp_id = ssl->handshake->ecdh_ctx.grp.id;
344#else
345 grp_id = ssl->handshake->ecdh_ctx.grp_id;
346#endif
347
348 curve_info = mbedtls_ecp_curve_info_from_grp_id( grp_id );
349 if( curve_info == NULL )
350 {
351 MBEDTLS_SSL_DEBUG_MSG( 1, ( "should never happen" ) );
352 return( MBEDTLS_ERR_SSL_INTERNAL_ERROR );
353 }
354
355 MBEDTLS_SSL_DEBUG_MSG( 2, ( "ECDH curve: %s", curve_info->name ) );
356
Jerry Yue1b9c292021-09-10 10:08:31 +0800357 if( mbedtls_ssl_check_curve( ssl, grp_id ) != 0 )
Jerry Yub85277e2021-10-13 13:36:05 +0800358 return( -1 );
Jerry Yue1b9c292021-09-10 10:08:31 +0800359
360 MBEDTLS_SSL_DEBUG_ECDH( 3, &ssl->handshake->ecdh_ctx,
361 MBEDTLS_DEBUG_ECDH_QP );
362
363 return( 0 );
364}
365
Jerry Yuc068b662021-10-11 22:30:19 +0800366static int ssl_tls13_read_public_ecdhe_share( mbedtls_ssl_context *ssl,
367 const unsigned char *buf,
368 size_t buf_len )
Jerry Yue1b9c292021-09-10 10:08:31 +0800369{
370 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
371
Jerry Yuc068b662021-10-11 22:30:19 +0800372 ret = mbedtls_ecdh_tls13_read_public( &ssl->handshake->ecdh_ctx,
Jerry Yu4a173382021-10-11 21:45:31 +0800373 buf, buf_len );
Jerry Yue1b9c292021-09-10 10:08:31 +0800374 if( ret != 0 )
375 {
376 MBEDTLS_SSL_DEBUG_RET( 1, ( "mbedtls_ecdh_tls13_read_public" ), ret );
Jerry Yub85277e2021-10-13 13:36:05 +0800377
378 MBEDTLS_SSL_PEND_FATAL_ALERT( MBEDTLS_SSL_ALERT_MSG_ILLEGAL_PARAMETER,
379 MBEDTLS_ERR_SSL_ILLEGAL_PARAMETER );
380 return( MBEDTLS_ERR_SSL_ILLEGAL_PARAMETER );
Jerry Yue1b9c292021-09-10 10:08:31 +0800381 }
382
Jerry Yuc068b662021-10-11 22:30:19 +0800383 if( ssl_tls13_check_ecdh_params( ssl ) != 0 )
Jerry Yue1b9c292021-09-10 10:08:31 +0800384 {
Jerry Yuc068b662021-10-11 22:30:19 +0800385 MBEDTLS_SSL_DEBUG_MSG( 1, ( "ssl_tls13_check_ecdh_params() failed!" ) );
Jerry Yub85277e2021-10-13 13:36:05 +0800386
Jerry Yu4a173382021-10-11 21:45:31 +0800387 MBEDTLS_SSL_PEND_FATAL_ALERT( MBEDTLS_SSL_ALERT_MSG_ILLEGAL_PARAMETER,
388 MBEDTLS_ERR_SSL_ILLEGAL_PARAMETER );
389 return( MBEDTLS_ERR_SSL_ILLEGAL_PARAMETER );
Jerry Yue1b9c292021-09-10 10:08:31 +0800390 }
391
392 return( 0 );
393}
Jerry Yu4a173382021-10-11 21:45:31 +0800394#endif /* MBEDTLS_ECDH_C */
Jerry Yue1b9c292021-09-10 10:08:31 +0800395
XiaokangQiand59be772022-01-24 10:12:51 +0000396/*
397 * ssl_tls13_parse_hrr_key_share_ext()
398 * Parse key_share extension in Hello Retry Request
399 *
400 * struct {
401 * NamedGroup selected_group;
402 * } KeyShareHelloRetryRequest;
403 */
XiaokangQiand9e068e2022-01-18 06:23:32 +0000404static int ssl_tls13_parse_hrr_key_share_ext( mbedtls_ssl_context *ssl,
XiaokangQianb851da82022-01-14 04:03:11 +0000405 const unsigned char *buf,
406 const unsigned char *end )
407{
XiaokangQianb851da82022-01-14 04:03:11 +0000408 const mbedtls_ecp_curve_info *curve_info = NULL;
409 const unsigned char *p = buf;
XiaokangQiand59be772022-01-24 10:12:51 +0000410 int selected_group;
XiaokangQianb851da82022-01-14 04:03:11 +0000411 int found = 0;
412
413 const uint16_t *group_list = mbedtls_ssl_get_groups( ssl );
414 if( group_list == NULL )
415 return( MBEDTLS_ERR_SSL_BAD_CONFIG );
416
417 MBEDTLS_SSL_DEBUG_BUF( 3, "key_share extension", p, end - buf );
418
419 /* Read selected_group */
XiaokangQianb48894e2022-01-17 02:05:52 +0000420 MBEDTLS_SSL_CHK_BUF_READ_PTR( p, end, 2 );
XiaokangQiand59be772022-01-24 10:12:51 +0000421 selected_group = MBEDTLS_GET_UINT16_BE( p, 0 );
422 MBEDTLS_SSL_DEBUG_MSG( 3, ( "selected_group ( %d )", selected_group ) );
XiaokangQianb851da82022-01-14 04:03:11 +0000423
424 /* Upon receipt of this extension in a HelloRetryRequest, the client
425 * MUST first verify that the selected_group field corresponds to a
426 * group which was provided in the "supported_groups" extension in the
427 * original ClientHello.
428 * The supported_group was based on the info in ssl->conf->group_list.
429 *
430 * If the server provided a key share that was not sent in the ClientHello
431 * then the client MUST abort the handshake with an "illegal_parameter" alert.
432 */
XiaokangQiand9e068e2022-01-18 06:23:32 +0000433 for( ; *group_list != 0; group_list++ )
XiaokangQianb851da82022-01-14 04:03:11 +0000434 {
435 curve_info = mbedtls_ecp_curve_info_from_tls_id( *group_list );
XiaokangQiand59be772022-01-24 10:12:51 +0000436 if( curve_info == NULL || curve_info->tls_id != selected_group )
XiaokangQianb851da82022-01-14 04:03:11 +0000437 continue;
438
439 /* We found a match */
440 found = 1;
441 break;
442 }
443
444 /* Client MUST verify that the selected_group field does not
445 * correspond to a group which was provided in the "key_share"
446 * extension in the original ClientHello. If the server sent an
447 * HRR message with a key share already provided in the
448 * ClientHello then the client MUST abort the handshake with
449 * an "illegal_parameter" alert.
450 */
XiaokangQiand59be772022-01-24 10:12:51 +0000451 if( found == 0 || selected_group == ssl->handshake->offered_group_id )
XiaokangQianb851da82022-01-14 04:03:11 +0000452 {
453 MBEDTLS_SSL_DEBUG_MSG( 1, ( "Invalid key share in HRR" ) );
454 MBEDTLS_SSL_PEND_FATAL_ALERT(
455 MBEDTLS_SSL_ALERT_MSG_ILLEGAL_PARAMETER,
456 MBEDTLS_ERR_SSL_ILLEGAL_PARAMETER );
457 return( MBEDTLS_ERR_SSL_ILLEGAL_PARAMETER );
458 }
459
460 /* Remember server's preference for next ClientHello */
XiaokangQiand59be772022-01-24 10:12:51 +0000461 ssl->handshake->offered_group_id = selected_group;
XiaokangQianb851da82022-01-14 04:03:11 +0000462
463 return( 0 );
464}
465
Jerry Yue1b9c292021-09-10 10:08:31 +0800466/*
Jerry Yub85277e2021-10-13 13:36:05 +0800467 * ssl_tls13_parse_key_share_ext()
468 * Parse key_share extension in Server Hello
469 *
Jerry Yue1b9c292021-09-10 10:08:31 +0800470 * struct {
471 * KeyShareEntry server_share;
472 * } KeyShareServerHello;
473 * struct {
474 * NamedGroup group;
475 * opaque key_exchange<1..2^16-1>;
476 * } KeyShareEntry;
477 */
Jerry Yu4a173382021-10-11 21:45:31 +0800478static int ssl_tls13_parse_key_share_ext( mbedtls_ssl_context *ssl,
Jerry Yue1b9c292021-09-10 10:08:31 +0800479 const unsigned char *buf,
480 const unsigned char *end )
481{
Jerry Yub85277e2021-10-13 13:36:05 +0800482 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Jerry Yue1b9c292021-09-10 10:08:31 +0800483 const unsigned char *p = buf;
Jerry Yu4a173382021-10-11 21:45:31 +0800484 uint16_t group, offered_group;
Jerry Yue1b9c292021-09-10 10:08:31 +0800485
Jerry Yu4a173382021-10-11 21:45:31 +0800486 /* ...
487 * NamedGroup group; (2 bytes)
488 * ...
489 */
490 MBEDTLS_SSL_CHK_BUF_READ_PTR( p, end, 2 );
491 group = MBEDTLS_GET_UINT16_BE( p, 0 );
Jerry Yue1b9c292021-09-10 10:08:31 +0800492 p += 2;
493
Jerry Yu4a173382021-10-11 21:45:31 +0800494 /* Check that the chosen group matches the one we offered. */
Jerry Yue1b9c292021-09-10 10:08:31 +0800495 offered_group = ssl->handshake->offered_group_id;
Jerry Yu4a173382021-10-11 21:45:31 +0800496 if( offered_group != group )
Jerry Yue1b9c292021-09-10 10:08:31 +0800497 {
498 MBEDTLS_SSL_DEBUG_MSG( 1,
499 ( "Invalid server key share, our group %u, their group %u",
Jerry Yu4a173382021-10-11 21:45:31 +0800500 (unsigned) offered_group, (unsigned) group ) );
501 MBEDTLS_SSL_PEND_FATAL_ALERT( MBEDTLS_SSL_ALERT_MSG_HANDSHAKE_FAILURE,
502 MBEDTLS_ERR_SSL_HANDSHAKE_FAILURE );
503 return( MBEDTLS_ERR_SSL_HANDSHAKE_FAILURE );
Jerry Yue1b9c292021-09-10 10:08:31 +0800504 }
505
506#if defined(MBEDTLS_ECDH_C)
Jerry Yu4a173382021-10-11 21:45:31 +0800507 if( mbedtls_ssl_tls13_named_group_is_ecdhe( group ) )
Jerry Yue1b9c292021-09-10 10:08:31 +0800508 {
509 /* Complete ECDHE key agreement */
Jerry Yuc068b662021-10-11 22:30:19 +0800510 ret = ssl_tls13_read_public_ecdhe_share( ssl, p, end - p );
Jerry Yue1b9c292021-09-10 10:08:31 +0800511 if( ret != 0 )
512 return( ret );
513 }
Jerry Yub85277e2021-10-13 13:36:05 +0800514 else
Jerry Yue1b9c292021-09-10 10:08:31 +0800515#endif /* MBEDTLS_ECDH_C */
Jerry Yub85277e2021-10-13 13:36:05 +0800516 if( 0 /* other KEMs? */ )
Jerry Yue1b9c292021-09-10 10:08:31 +0800517 {
518 /* Do something */
519 }
520 else
521 return( MBEDTLS_ERR_SSL_INTERNAL_ERROR );
522
523 ssl->handshake->extensions_present |= MBEDTLS_SSL_EXT_KEY_SHARE;
524 return( ret );
525}
526
Jerry Yubc20bdd2021-08-24 15:59:48 +0800527#endif /* MBEDTLS_KEY_EXCHANGE_WITH_CERT_ENABLED */
528
XiaokangQian43550bd2022-01-21 04:32:58 +0000529#if defined(MBEDTLS_SSL_COOKIE_C)
XiaokangQiand59be772022-01-24 10:12:51 +0000530/*
531 * ssl_tls13_parse_cookie_ext()
532 * Parse cookie extension in Hello Retry Request
533 *
534 * struct {
535 * opaque cookie<1..2^16-1>;
536 * } Cookie;
537 *
538 * When sending a HelloRetryRequest, the server MAY provide a "cookie"
539 * extension to the client (this is an exception to the usual rule that
540 * the only extensions that may be sent are those that appear in the
541 * ClientHello). When sending the new ClientHello, the client MUST copy
542 * the contents of the extension received in the HelloRetryRequest into
543 * a "cookie" extension in the new ClientHello. Clients MUST NOT use
544 * cookies in their initial ClientHello in subsequent connections.
545 */
XiaokangQian43550bd2022-01-21 04:32:58 +0000546static int ssl_tls13_parse_cookie_ext( mbedtls_ssl_context *ssl,
547 const unsigned char *buf,
548 const unsigned char *end )
549{
550 size_t cookie_len;
551 const unsigned char *p = buf;
552 mbedtls_ssl_handshake_params *handshake = ssl->handshake;
553
554 /* Retrieve length field of cookie */
555 MBEDTLS_SSL_CHK_BUF_READ_PTR( p, end, 2 );
556 cookie_len = MBEDTLS_GET_UINT16_BE( p, 0 );
557 p += 2;
558
559 MBEDTLS_SSL_CHK_BUF_READ_PTR( p, end, cookie_len );
560 MBEDTLS_SSL_DEBUG_BUF( 3, "cookie extension", p, cookie_len );
561
562 mbedtls_free( handshake->verify_cookie );
563 handshake->verify_cookie = mbedtls_calloc( 1, cookie_len );
564 if( handshake->verify_cookie == NULL )
565 {
566 MBEDTLS_SSL_DEBUG_MSG( 1,
567 ( "alloc failed ( %" MBEDTLS_PRINTF_SIZET " bytes )",
568 cookie_len ) );
569 return( MBEDTLS_ERR_SSL_ALLOC_FAILED );
570 }
571
572 memcpy( handshake->verify_cookie, p, cookie_len );
573 handshake->verify_cookie_len = (unsigned char) cookie_len;
574
575 return( 0 );
576}
577#endif /* MBEDTLS_SSL_COOKIE_C */
578
Jerry Yu1bc2c1f2021-09-01 12:57:29 +0800579/* Write cipher_suites
Jerry Yu6a643102021-08-31 14:40:36 +0800580 * CipherSuite cipher_suites<2..2^16-2>;
581 */
Jerry Yu1bc2c1f2021-09-01 12:57:29 +0800582static int ssl_tls13_write_client_hello_cipher_suites(
Jerry Yu6a643102021-08-31 14:40:36 +0800583 mbedtls_ssl_context *ssl,
584 unsigned char *buf,
585 unsigned char *end,
Xiaofei Baid25fab62021-12-02 06:36:27 +0000586 size_t *out_len )
Jerry Yu6a643102021-08-31 14:40:36 +0800587{
Jerry Yufec982e2021-09-07 17:26:06 +0800588 unsigned char *p = buf;
Jerry Yu0c63af62021-09-02 12:59:12 +0800589 const int *ciphersuite_list;
Xiaofei Baieef15042021-11-18 07:29:56 +0000590 unsigned char *cipher_suites; /* Start of the cipher_suites list */
Jerry Yu1bc2c1f2021-09-01 12:57:29 +0800591 size_t cipher_suites_len;
Jerry Yu92c6b402021-08-27 16:59:09 +0800592
Xiaofei Baid25fab62021-12-02 06:36:27 +0000593 *out_len = 0 ;
Jerry Yu6a643102021-08-31 14:40:36 +0800594
595 /*
596 * Ciphersuite list
597 *
598 * This is a list of the symmetric cipher options supported by
599 * the client, specifically the record protection algorithm
600 * ( including secret key length ) and a hash to be used with
601 * HKDF, in descending order of client preference.
602 */
Jerry Yu0c63af62021-09-02 12:59:12 +0800603 ciphersuite_list = ssl->conf->ciphersuite_list;
Jerry Yu6a643102021-08-31 14:40:36 +0800604
Jerry Yu1bc2c1f2021-09-01 12:57:29 +0800605 /* Check there is space for the cipher suite list length (2 bytes). */
Jerry Yu4e388282021-09-06 21:28:08 +0800606 MBEDTLS_SSL_CHK_BUF_PTR( p, end, 2 );
607 p += 2;
Jerry Yu6a643102021-08-31 14:40:36 +0800608
Jerry Yu0c63af62021-09-02 12:59:12 +0800609 /* Write cipher_suites */
Xiaofei Baieef15042021-11-18 07:29:56 +0000610 cipher_suites = p;
Jerry Yu0c63af62021-09-02 12:59:12 +0800611 for ( size_t i = 0; ciphersuite_list[i] != 0; i++ )
Jerry Yu6a643102021-08-31 14:40:36 +0800612 {
Jerry Yu0c63af62021-09-02 12:59:12 +0800613 int cipher_suite = ciphersuite_list[i];
Jerry Yu1bc2c1f2021-09-01 12:57:29 +0800614 const mbedtls_ssl_ciphersuite_t *ciphersuite_info;
Jerry Yu6a643102021-08-31 14:40:36 +0800615
Jerry Yu1bc2c1f2021-09-01 12:57:29 +0800616 ciphersuite_info = mbedtls_ssl_ciphersuite_from_id( cipher_suite );
Jerry Yu6a643102021-08-31 14:40:36 +0800617 if( ciphersuite_info == NULL )
618 continue;
Jerry Yudbfb7bd2021-09-04 09:58:58 +0800619 if( !( MBEDTLS_SSL_MINOR_VERSION_4 >= ciphersuite_info->min_minor_ver &&
620 MBEDTLS_SSL_MINOR_VERSION_4 <= ciphersuite_info->max_minor_ver ) )
Jerry Yu6a643102021-08-31 14:40:36 +0800621 continue;
622
623 MBEDTLS_SSL_DEBUG_MSG( 3, ( "client hello, add ciphersuite: %04x, %s",
Jerry Yu1bc2c1f2021-09-01 12:57:29 +0800624 (unsigned int) cipher_suite,
Jerry Yu6a643102021-08-31 14:40:36 +0800625 ciphersuite_info->name ) );
626
Jerry Yu1bc2c1f2021-09-01 12:57:29 +0800627 /* Check there is space for the cipher suite identifier (2 bytes). */
Jerry Yubbe09522021-09-06 21:17:54 +0800628 MBEDTLS_SSL_CHK_BUF_PTR( p, end, 2 );
629 MBEDTLS_PUT_UINT16_BE( cipher_suite, p, 0 );
630 p += 2;
Jerry Yu6a643102021-08-31 14:40:36 +0800631 }
632
Jerry Yu0c63af62021-09-02 12:59:12 +0800633 /* Write the cipher_suites length in number of bytes */
Xiaofei Baieef15042021-11-18 07:29:56 +0000634 cipher_suites_len = p - cipher_suites;
Jerry Yu1bc2c1f2021-09-01 12:57:29 +0800635 MBEDTLS_PUT_UINT16_BE( cipher_suites_len, buf, 0 );
Jerry Yu6a643102021-08-31 14:40:36 +0800636 MBEDTLS_SSL_DEBUG_MSG( 3,
Jerry Yu1bc2c1f2021-09-01 12:57:29 +0800637 ( "client hello, got %" MBEDTLS_PRINTF_SIZET " cipher suites",
638 cipher_suites_len/2 ) );
Jerry Yu6a643102021-08-31 14:40:36 +0800639
Jerry Yu1bc2c1f2021-09-01 12:57:29 +0800640 /* Output the total length of cipher_suites field. */
Xiaofei Baid25fab62021-12-02 06:36:27 +0000641 *out_len = p - buf;
Jerry Yuf171e832021-08-31 18:31:09 +0800642
Jerry Yu6a643102021-08-31 14:40:36 +0800643 return( 0 );
644}
645
Jerry Yu1bc2c1f2021-09-01 12:57:29 +0800646/*
647 * Structure of ClientHello message:
648 *
649 * struct {
650 * ProtocolVersion legacy_version = 0x0303; // TLS v1.2
651 * Random random;
652 * opaque legacy_session_id<0..32>;
653 * CipherSuite cipher_suites<2..2^16-2>;
654 * opaque legacy_compression_methods<1..2^8-1>;
655 * Extension extensions<8..2^16-1>;
656 * } ClientHello;
657 */
Jerry Yu08906d02021-08-31 11:05:27 +0800658static int ssl_tls13_write_client_hello_body( mbedtls_ssl_context *ssl,
Jerry Yueecfbf02021-08-30 18:32:07 +0800659 unsigned char *buf,
Jerry Yuef387d72021-09-02 13:59:41 +0800660 unsigned char *end,
Xiaofei Baid25fab62021-12-02 06:36:27 +0000661 size_t *out_len )
Jerry Yu65dd2cc2021-08-18 16:38:40 +0800662{
Jerry Yubc20bdd2021-08-24 15:59:48 +0800663
Jerry Yubc20bdd2021-08-24 15:59:48 +0800664 int ret;
Xiaofei Baieef15042021-11-18 07:29:56 +0000665 unsigned char *p_extensions_len; /* Pointer to extensions length */
666 size_t output_len; /* Length of buffer used by function */
667 size_t extensions_len; /* Length of the list of extensions*/
Jerry Yubc20bdd2021-08-24 15:59:48 +0800668
Jerry Yubc20bdd2021-08-24 15:59:48 +0800669 /* Buffer management */
Jerry Yubbe09522021-09-06 21:17:54 +0800670 unsigned char *p = buf;
Jerry Yubc20bdd2021-08-24 15:59:48 +0800671
Xiaofei Baid25fab62021-12-02 06:36:27 +0000672 *out_len = 0;
Jerry Yubc20bdd2021-08-24 15:59:48 +0800673
Jerry Yu1bc2c1f2021-09-01 12:57:29 +0800674 /* No validation needed here. It has been done by ssl_conf_check() */
Jerry Yubc20bdd2021-08-24 15:59:48 +0800675 ssl->major_ver = ssl->conf->min_major_ver;
676 ssl->minor_ver = ssl->conf->min_minor_ver;
677
Jerry Yu1bc2c1f2021-09-01 12:57:29 +0800678 /*
679 * Write legacy_version
Jerry Yu6a643102021-08-31 14:40:36 +0800680 * ProtocolVersion legacy_version = 0x0303; // TLS v1.2
Jerry Yu1bc2c1f2021-09-01 12:57:29 +0800681 *
682 * For TLS 1.3 we use the legacy version number {0x03, 0x03}
Jerry Yubc20bdd2021-08-24 15:59:48 +0800683 * instead of the true version number.
Jerry Yubc20bdd2021-08-24 15:59:48 +0800684 */
Jerry Yufec982e2021-09-07 17:26:06 +0800685 MBEDTLS_SSL_CHK_BUF_PTR( p, end, 2 );
Jerry Yubbe09522021-09-06 21:17:54 +0800686 MBEDTLS_PUT_UINT16_BE( 0x0303, p, 0 );
Jerry Yufec982e2021-09-07 17:26:06 +0800687 p += 2;
Jerry Yubc20bdd2021-08-24 15:59:48 +0800688
Jerry Yu1bc2c1f2021-09-01 12:57:29 +0800689 /* Write the random bytes ( random ).*/
Jerry Yue6d7e5c2021-10-26 10:44:32 +0800690 MBEDTLS_SSL_CHK_BUF_PTR( p, end, MBEDTLS_CLIENT_HELLO_RANDOM_LEN );
691 memcpy( p, ssl->handshake->randbytes, MBEDTLS_CLIENT_HELLO_RANDOM_LEN );
Jerry Yue885b762021-08-26 17:32:34 +0800692 MBEDTLS_SSL_DEBUG_BUF( 3, "client hello, random bytes",
Jerry Yue6d7e5c2021-10-26 10:44:32 +0800693 p, MBEDTLS_CLIENT_HELLO_RANDOM_LEN );
694 p += MBEDTLS_CLIENT_HELLO_RANDOM_LEN;
Jerry Yubc20bdd2021-08-24 15:59:48 +0800695
Jerry Yu1bc2c1f2021-09-01 12:57:29 +0800696 /*
697 * Write legacy_session_id
698 *
699 * Versions of TLS before TLS 1.3 supported a "session resumption" feature
700 * which has been merged with pre-shared keys in this version. A client
701 * which has a cached session ID set by a pre-TLS 1.3 server SHOULD set
702 * this field to that value. In compatibility mode, this field MUST be
703 * non-empty, so a client not offering a pre-TLS 1.3 session MUST generate
704 * a new 32-byte value. This value need not be random but SHOULD be
705 * unpredictable to avoid implementations fixating on a specific value
706 * ( also known as ossification ). Otherwise, it MUST be set as a zero-length
707 * vector ( i.e., a zero-valued single byte length field ).
Jerry Yubc20bdd2021-08-24 15:59:48 +0800708 */
Ronald Cron49ad6192021-11-24 16:25:31 +0100709#if defined(MBEDTLS_SSL_TLS1_3_COMPATIBILITY_MODE)
710 MBEDTLS_SSL_CHK_BUF_PTR( p, end, ssl->session_negotiate->id_len + 1 );
711 *p++ = (unsigned char)ssl->session_negotiate->id_len;
712 memcpy( p, ssl->session_negotiate->id, ssl->session_negotiate->id_len );
713 p += ssl->session_negotiate->id_len;
714
715 MBEDTLS_SSL_DEBUG_BUF( 3, "session id", ssl->session_negotiate->id,
716 ssl->session_negotiate->id_len );
717#else
Jerry Yubbe09522021-09-06 21:17:54 +0800718 MBEDTLS_SSL_CHK_BUF_PTR( p, end, 1 );
719 *p++ = 0; /* session id length set to zero */
Ronald Cron49ad6192021-11-24 16:25:31 +0100720#endif /* MBEDTLS_SSL_TLS1_3_COMPATIBILITY_MODE */
Jerry Yubc20bdd2021-08-24 15:59:48 +0800721
Jerry Yu1bc2c1f2021-09-01 12:57:29 +0800722 /* Write cipher_suites */
Jerry Yubbe09522021-09-06 21:17:54 +0800723 ret = ssl_tls13_write_client_hello_cipher_suites( ssl, p, end, &output_len );
Jerry Yudbfb7bd2021-09-04 09:58:58 +0800724 if( ret != 0 )
Jerry Yu6a643102021-08-31 14:40:36 +0800725 return( ret );
Jerry Yubbe09522021-09-06 21:17:54 +0800726 p += output_len;
Jerry Yubc20bdd2021-08-24 15:59:48 +0800727
Jerry Yu1bc2c1f2021-09-01 12:57:29 +0800728 /* Write legacy_compression_methods
729 *
730 * For every TLS 1.3 ClientHello, this vector MUST contain exactly
Jerry Yubc20bdd2021-08-24 15:59:48 +0800731 * one byte set to zero, which corresponds to the 'null' compression
732 * method in prior versions of TLS.
Jerry Yubc20bdd2021-08-24 15:59:48 +0800733 */
Jerry Yubbe09522021-09-06 21:17:54 +0800734 MBEDTLS_SSL_CHK_BUF_PTR( p, end, 2 );
735 *p++ = 1;
736 *p++ = MBEDTLS_SSL_COMPRESS_NULL;
Jerry Yubc20bdd2021-08-24 15:59:48 +0800737
Jerry Yu1bc2c1f2021-09-01 12:57:29 +0800738 /* Write extensions */
739
740 /* Keeping track of the included extensions */
741 ssl->handshake->extensions_present = MBEDTLS_SSL_EXT_NONE;
Jerry Yubc20bdd2021-08-24 15:59:48 +0800742
743 /* First write extensions, then the total length */
Jerry Yubbe09522021-09-06 21:17:54 +0800744 MBEDTLS_SSL_CHK_BUF_PTR( p, end, 2 );
Xiaofei Baieef15042021-11-18 07:29:56 +0000745 p_extensions_len = p;
Jerry Yubbe09522021-09-06 21:17:54 +0800746 p += 2;
Jerry Yubc20bdd2021-08-24 15:59:48 +0800747
Jerry Yu1bc2c1f2021-09-01 12:57:29 +0800748 /* Write supported_versions extension
Jerry Yubc20bdd2021-08-24 15:59:48 +0800749 *
Jerry Yu1bc2c1f2021-09-01 12:57:29 +0800750 * Supported Versions Extension is mandatory with TLS 1.3.
Jerry Yubc20bdd2021-08-24 15:59:48 +0800751 */
Jerry Yubbe09522021-09-06 21:17:54 +0800752 ret = ssl_tls13_write_supported_versions_ext( ssl, p, end, &output_len );
Jerry Yu92c6b402021-08-27 16:59:09 +0800753 if( ret != 0 )
754 return( ret );
Jerry Yubbe09522021-09-06 21:17:54 +0800755 p += output_len;
Jerry Yubc20bdd2021-08-24 15:59:48 +0800756
757#if defined(MBEDTLS_KEY_EXCHANGE_WITH_CERT_ENABLED)
Jerry Yubc20bdd2021-08-24 15:59:48 +0800758
Jerry Yub925f212022-01-12 11:17:02 +0800759 /*
760 * Add the extensions related to (EC)DHE ephemeral key establishment only if
761 * enabled as per the configuration.
Jerry Yubc20bdd2021-08-24 15:59:48 +0800762 */
Jerry Yuf46b0162022-01-11 16:28:00 +0800763 if( mbedtls_ssl_conf_tls13_some_ephemeral_enabled( ssl ) )
764 {
765 ret = mbedtls_ssl_write_supported_groups_ext( ssl, p, end, &output_len );
766 if( ret != 0 )
767 return( ret );
768 p += output_len;
Jerry Yu6a643102021-08-31 14:40:36 +0800769
Jerry Yuf46b0162022-01-11 16:28:00 +0800770 ret = ssl_tls13_write_key_share_ext( ssl, p, end, &output_len );
771 if( ret != 0 )
772 return( ret );
773 p += output_len;
Jerry Yu1bc2c1f2021-09-01 12:57:29 +0800774
Jerry Yuf017ee42022-01-12 15:49:48 +0800775 ret = mbedtls_ssl_write_sig_alg_ext( ssl, p, end, &output_len );
Jerry Yuf46b0162022-01-11 16:28:00 +0800776 if( ret != 0 )
777 return( ret );
778 p += output_len;
779 }
Jerry Yubc20bdd2021-08-24 15:59:48 +0800780#endif /* MBEDTLS_KEY_EXCHANGE_WITH_CERT_ENABLED */
781
Xiaofei Bai15a56812021-11-05 10:52:12 +0000782#if defined(MBEDTLS_SSL_SERVER_NAME_INDICATION)
Xiaofei Bai58afdba2021-11-09 03:10:05 +0000783 /* Write server name extension */
Xiaofei Bai15a56812021-11-05 10:52:12 +0000784 ret = mbedtls_ssl_write_hostname_ext( ssl, p, end, &output_len );
785 if( ret != 0 )
786 return( ret );
787 p += output_len;
788#endif /* MBEDTLS_SSL_SERVER_NAME_INDICATION */
789
Jerry Yubc20bdd2021-08-24 15:59:48 +0800790 /* Add more extensions here */
791
Jerry Yu1bc2c1f2021-09-01 12:57:29 +0800792 /* Write the length of the list of extensions. */
Xiaofei Baieef15042021-11-18 07:29:56 +0000793 extensions_len = p - p_extensions_len - 2;
794 MBEDTLS_PUT_UINT16_BE( extensions_len, p_extensions_len, 0 );
Jerry Yubc20bdd2021-08-24 15:59:48 +0800795 MBEDTLS_SSL_DEBUG_MSG( 3, ( "client hello, total extension length: %" MBEDTLS_PRINTF_SIZET ,
Jerry Yu790656a2021-09-01 15:51:48 +0800796 extensions_len ) );
Xiaofei Baieef15042021-11-18 07:29:56 +0000797 MBEDTLS_SSL_DEBUG_BUF( 3, "client hello extensions", p_extensions_len, extensions_len );
Jerry Yubc20bdd2021-08-24 15:59:48 +0800798
Xiaofei Baid25fab62021-12-02 06:36:27 +0000799 *out_len = p - buf;
Jerry Yubc20bdd2021-08-24 15:59:48 +0800800 return( 0 );
801}
802
Jerry Yu335aca92021-09-12 20:18:56 +0800803static int ssl_tls13_finalize_client_hello( mbedtls_ssl_context *ssl )
Jerry Yubc20bdd2021-08-24 15:59:48 +0800804{
Jerry Yu92c6b402021-08-27 16:59:09 +0800805 mbedtls_ssl_handshake_set_state( ssl, MBEDTLS_SSL_SERVER_HELLO );
806 return( 0 );
807}
Jerry Yuef6b36b2021-08-24 16:29:02 +0800808
Jerry Yu92c6b402021-08-27 16:59:09 +0800809static int ssl_tls13_prepare_client_hello( mbedtls_ssl_context *ssl )
810{
811 int ret;
Jerry Yuef6b36b2021-08-24 16:29:02 +0800812
Jerry Yu92c6b402021-08-27 16:59:09 +0800813 if( ssl->conf->f_rng == NULL )
814 {
815 MBEDTLS_SSL_DEBUG_MSG( 1, ( "no RNG provided" ) );
816 return( MBEDTLS_ERR_SSL_NO_RNG );
817 }
Jerry Yuef6b36b2021-08-24 16:29:02 +0800818
Jerry Yu92c6b402021-08-27 16:59:09 +0800819 if( ( ret = ssl->conf->f_rng( ssl->conf->p_rng,
820 ssl->handshake->randbytes,
Jerry Yue6d7e5c2021-10-26 10:44:32 +0800821 MBEDTLS_CLIENT_HELLO_RANDOM_LEN ) ) != 0 )
Jerry Yu92c6b402021-08-27 16:59:09 +0800822 {
Jerry Yu8c02bb42021-09-03 21:09:22 +0800823 MBEDTLS_SSL_DEBUG_RET( 1, "f_rng", ret );
Jerry Yu92c6b402021-08-27 16:59:09 +0800824 return( ret );
825 }
Jerry Yu6f13f642021-08-26 17:18:15 +0800826
Ronald Cron49ad6192021-11-24 16:25:31 +0100827#if defined(MBEDTLS_SSL_TLS1_3_COMPATIBILITY_MODE)
828 /*
829 * Create a session identifier for the purpose of middlebox compatibility
830 * only if one has not been created already.
831 */
832 if( ssl->session_negotiate->id_len == 0 )
833 {
834 /* Creating a session id with 32 byte length */
835 if( ( ret = ssl->conf->f_rng( ssl->conf->p_rng,
836 ssl->session_negotiate->id, 32 ) ) != 0 )
837 {
838 MBEDTLS_SSL_DEBUG_RET( 1, "creating session id failed", ret );
839 return( ret );
840 }
841 ssl->session_negotiate->id_len = 32;
842 }
843#endif /* MBEDTLS_SSL_TLS1_3_COMPATIBILITY_MODE */
844
Jerry Yu6f13f642021-08-26 17:18:15 +0800845 return( 0 );
Jerry Yubc20bdd2021-08-24 15:59:48 +0800846}
847
Jerry Yu92c6b402021-08-27 16:59:09 +0800848/*
Jerry Yu159c5a02021-08-31 12:51:25 +0800849 * Write ClientHello handshake message.
Jerry Yu687101b2021-09-14 16:03:56 +0800850 * Handler for MBEDTLS_SSL_CLIENT_HELLO
Jerry Yu92c6b402021-08-27 16:59:09 +0800851 */
852static int ssl_tls13_write_client_hello( mbedtls_ssl_context *ssl )
Jerry Yubc20bdd2021-08-24 15:59:48 +0800853{
Jerry Yu92c6b402021-08-27 16:59:09 +0800854 int ret = 0;
855 unsigned char *buf;
856 size_t buf_len, msg_len;
857
858 MBEDTLS_SSL_DEBUG_MSG( 2, ( "=> write client hello" ) );
859
Jerry Yu2c0fbf32021-09-02 13:53:46 +0800860 MBEDTLS_SSL_PROC_CHK( ssl_tls13_prepare_client_hello( ssl ) );
Jerry Yu92c6b402021-08-27 16:59:09 +0800861
Jerry Yu2c0fbf32021-09-02 13:53:46 +0800862 MBEDTLS_SSL_PROC_CHK( mbedtls_ssl_tls13_start_handshake_msg(
863 ssl, MBEDTLS_SSL_HS_CLIENT_HELLO,
864 &buf, &buf_len ) );
Jerry Yu92c6b402021-08-27 16:59:09 +0800865
Jerry Yu2c0fbf32021-09-02 13:53:46 +0800866 MBEDTLS_SSL_PROC_CHK( ssl_tls13_write_client_hello_body( ssl, buf,
Jerry Yuef387d72021-09-02 13:59:41 +0800867 buf + buf_len,
Jerry Yu2c0fbf32021-09-02 13:53:46 +0800868 &msg_len ) );
Jerry Yu92c6b402021-08-27 16:59:09 +0800869
Jerry Yu2c0fbf32021-09-02 13:53:46 +0800870 mbedtls_ssl_tls13_add_hs_hdr_to_checksum( ssl,
871 MBEDTLS_SSL_HS_CLIENT_HELLO,
Jerry Yu0c63af62021-09-02 12:59:12 +0800872 msg_len );
873 ssl->handshake->update_checksum( ssl, buf, msg_len );
Jerry Yu92c6b402021-08-27 16:59:09 +0800874
Jerry Yu2c0fbf32021-09-02 13:53:46 +0800875 MBEDTLS_SSL_PROC_CHK( ssl_tls13_finalize_client_hello( ssl ) );
876 MBEDTLS_SSL_PROC_CHK( mbedtls_ssl_tls13_finish_handshake_msg( ssl,
877 buf_len,
878 msg_len ) );
Jerry Yu92c6b402021-08-27 16:59:09 +0800879
880cleanup:
881
882 MBEDTLS_SSL_DEBUG_MSG( 2, ( "<= write client hello" ) );
883 return ret;
Jerry Yu65dd2cc2021-08-18 16:38:40 +0800884}
885
Jerry Yu687101b2021-09-14 16:03:56 +0800886/*
Jerry Yu4a173382021-10-11 21:45:31 +0800887 * Functions for parsing and processing Server Hello
Jerry Yue1b9c292021-09-10 10:08:31 +0800888 */
Jerry Yu7a186a02021-10-15 18:46:14 +0800889/* Returns a negative value on failure, and otherwise
Jerry Yub85277e2021-10-13 13:36:05 +0800890 * - SSL_SERVER_HELLO_COORDINATE_HELLO or
891 * - SSL_SERVER_HELLO_COORDINATE_HRR
XiaokangQian51eff222021-12-10 10:33:56 +0000892 * to indicate which message is expected and to be parsed next.
893 */
Jerry Yub85277e2021-10-13 13:36:05 +0800894#define SSL_SERVER_HELLO_COORDINATE_HELLO 0
895#define SSL_SERVER_HELLO_COORDINATE_HRR 1
896static int ssl_server_hello_is_hrr( mbedtls_ssl_context *ssl,
897 const unsigned char *buf,
898 const unsigned char *end )
Jerry Yue1b9c292021-09-10 10:08:31 +0800899{
Jerry Yue6d7e5c2021-10-26 10:44:32 +0800900 static const unsigned char magic_hrr_string[MBEDTLS_SERVER_HELLO_RANDOM_LEN] =
Jerry Yue1b9c292021-09-10 10:08:31 +0800901 { 0xCF, 0x21, 0xAD, 0x74, 0xE5, 0x9A, 0x61, 0x11,
902 0xBE, 0x1D, 0x8C, 0x02, 0x1E, 0x65, 0xB8, 0x91,
903 0xC2, 0xA2, 0x11, 0x16, 0x7A, 0xBB, 0x8C, 0x5E,
904 0x07, 0x9E, 0x09, 0xE2, 0xC8, 0xA8, 0x33 ,0x9C };
905
906 /* Check whether this message is a HelloRetryRequest ( HRR ) message.
907 *
Jerry Yu4a173382021-10-11 21:45:31 +0800908 * Server Hello and HRR are only distinguished by Random set to the
Jerry Yue1b9c292021-09-10 10:08:31 +0800909 * special value of the SHA-256 of "HelloRetryRequest".
910 *
911 * struct {
912 * ProtocolVersion legacy_version = 0x0303;
913 * Random random;
914 * opaque legacy_session_id_echo<0..32>;
915 * CipherSuite cipher_suite;
916 * uint8 legacy_compression_method = 0;
Jerry Yub85277e2021-10-13 13:36:05 +0800917 * Extension extensions<6..2^16-1>;
Jerry Yue1b9c292021-09-10 10:08:31 +0800918 * } ServerHello;
919 *
920 */
Jerry Yub85277e2021-10-13 13:36:05 +0800921 MBEDTLS_SSL_CHK_BUF_READ_PTR( buf, end, 2 + sizeof( magic_hrr_string ) );
Jerry Yu4a173382021-10-11 21:45:31 +0800922
923 if( memcmp( buf + 2, magic_hrr_string, sizeof( magic_hrr_string ) ) == 0 )
Jerry Yue1b9c292021-09-10 10:08:31 +0800924 {
Jerry Yub85277e2021-10-13 13:36:05 +0800925 return( SSL_SERVER_HELLO_COORDINATE_HRR );
Jerry Yue1b9c292021-09-10 10:08:31 +0800926 }
927
Jerry Yub85277e2021-10-13 13:36:05 +0800928 return( SSL_SERVER_HELLO_COORDINATE_HELLO );
Jerry Yue1b9c292021-09-10 10:08:31 +0800929}
930
Jerry Yu745bb612021-10-13 22:01:04 +0800931/* Fetch and preprocess
932 * Returns a negative value on failure, and otherwise
933 * - SSL_SERVER_HELLO_COORDINATE_HELLO or
934 * - SSL_SERVER_HELLO_COORDINATE_HRR
935 */
Jerry Yub85277e2021-10-13 13:36:05 +0800936static int ssl_tls13_server_hello_coordinate( mbedtls_ssl_context *ssl,
937 unsigned char **buf,
938 size_t *buf_len )
Jerry Yue1b9c292021-09-10 10:08:31 +0800939{
Jerry Yu4a173382021-10-11 21:45:31 +0800940 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Jerry Yue1b9c292021-09-10 10:08:31 +0800941
XiaokangQian355e09a2022-01-20 11:14:50 +0000942 MBEDTLS_SSL_PROC_CHK( mbedtls_ssl_tls13_fetch_handshake_msg( ssl,
943 MBEDTLS_SSL_HS_SERVER_HELLO,
944 buf, buf_len ) );
Jerry Yue1b9c292021-09-10 10:08:31 +0800945
Jerry Yub85277e2021-10-13 13:36:05 +0800946 ret = ssl_server_hello_is_hrr( ssl, *buf, *buf + *buf_len );
947 switch( ret )
Jerry Yue1b9c292021-09-10 10:08:31 +0800948 {
Jerry Yu745bb612021-10-13 22:01:04 +0800949 case SSL_SERVER_HELLO_COORDINATE_HELLO:
950 MBEDTLS_SSL_DEBUG_MSG( 2, ( "received ServerHello message" ) );
951 break;
952 case SSL_SERVER_HELLO_COORDINATE_HRR:
953 MBEDTLS_SSL_DEBUG_MSG( 2, ( "received HelloRetryRequest message" ) );
XiaokangQian16acd4b2022-01-14 07:35:47 +0000954 /* If a client receives a second
955 * HelloRetryRequest in the same connection (i.e., where the ClientHello
956 * was itself in response to a HelloRetryRequest), it MUST abort the
957 * handshake with an "unexpected_message" alert.
958 */
XiaokangQiand9e068e2022-01-18 06:23:32 +0000959 if( ssl->handshake->hello_retry_request_count > 0 )
XiaokangQian16acd4b2022-01-14 07:35:47 +0000960 {
961 MBEDTLS_SSL_DEBUG_MSG( 1, ( "Multiple HRRs received" ) );
962 MBEDTLS_SSL_PEND_FATAL_ALERT( MBEDTLS_SSL_ALERT_MSG_UNEXPECTED_MESSAGE,
963 MBEDTLS_ERR_SSL_UNEXPECTED_MESSAGE );
964 return( MBEDTLS_ERR_SSL_UNEXPECTED_MESSAGE );
965 }
XiaokangQian2b01dc32022-01-21 02:53:13 +0000966 /*
967 * Clients must abort the handshake with an "illegal_parameter"
968 * alert if the HelloRetryRequest would not result in any change
969 * in the ClientHello.
970 * In a PSK only key exchange that what we expect.
971 */
972 if( ! mbedtls_ssl_conf_tls13_some_ephemeral_enabled( ssl ) )
973 {
974 MBEDTLS_SSL_DEBUG_MSG( 1,
975 ( "Unexpected HRR in pure PSK key exchange." ) );
976 MBEDTLS_SSL_PEND_FATAL_ALERT(
977 MBEDTLS_SSL_ALERT_MSG_ILLEGAL_PARAMETER,
978 MBEDTLS_ERR_SSL_ILLEGAL_PARAMETER);
979 return( MBEDTLS_ERR_SSL_ILLEGAL_PARAMETER );
980 }
XiaokangQian16acd4b2022-01-14 07:35:47 +0000981
XiaokangQiand9e068e2022-01-18 06:23:32 +0000982 ssl->handshake->hello_retry_request_count++;
XiaokangQian16acd4b2022-01-14 07:35:47 +0000983
Jerry Yu745bb612021-10-13 22:01:04 +0800984 break;
Jerry Yue1b9c292021-09-10 10:08:31 +0800985 }
986
987cleanup:
988
989 return( ret );
990}
991
Jerry Yu4a173382021-10-11 21:45:31 +0800992static int ssl_tls13_check_server_hello_session_id_echo( mbedtls_ssl_context *ssl,
993 const unsigned char **buf,
994 const unsigned char *end )
Jerry Yue1b9c292021-09-10 10:08:31 +0800995{
996 const unsigned char *p = *buf;
Jerry Yu4a173382021-10-11 21:45:31 +0800997 size_t legacy_session_id_echo_len;
Jerry Yue1b9c292021-09-10 10:08:31 +0800998
Jerry Yude4fb2c2021-09-19 18:05:08 +0800999 MBEDTLS_SSL_CHK_BUF_READ_PTR( p, end, 1 );
Jerry Yu4a173382021-10-11 21:45:31 +08001000 legacy_session_id_echo_len = *p++ ;
Jerry Yue1b9c292021-09-10 10:08:31 +08001001
Jerry Yu4a173382021-10-11 21:45:31 +08001002 MBEDTLS_SSL_CHK_BUF_READ_PTR( p, end, legacy_session_id_echo_len );
Jerry Yue1b9c292021-09-10 10:08:31 +08001003
1004 /* legacy_session_id_echo */
Jerry Yu4a173382021-10-11 21:45:31 +08001005 if( ssl->session_negotiate->id_len != legacy_session_id_echo_len ||
1006 memcmp( ssl->session_negotiate->id, p , legacy_session_id_echo_len ) != 0 )
Jerry Yue1b9c292021-09-10 10:08:31 +08001007 {
Jerry Yue1b9c292021-09-10 10:08:31 +08001008 MBEDTLS_SSL_DEBUG_BUF( 3, "Expected Session ID",
1009 ssl->session_negotiate->id,
1010 ssl->session_negotiate->id_len );
1011 MBEDTLS_SSL_DEBUG_BUF( 3, "Received Session ID", p,
Jerry Yu4a173382021-10-11 21:45:31 +08001012 legacy_session_id_echo_len );
1013
1014 MBEDTLS_SSL_PEND_FATAL_ALERT( MBEDTLS_SSL_ALERT_MSG_ILLEGAL_PARAMETER,
1015 MBEDTLS_ERR_SSL_ILLEGAL_PARAMETER);
1016
Jerry Yue1b9c292021-09-10 10:08:31 +08001017 return( MBEDTLS_ERR_SSL_ILLEGAL_PARAMETER );
1018 }
1019
Jerry Yu4a173382021-10-11 21:45:31 +08001020 p += legacy_session_id_echo_len;
Jerry Yue1b9c292021-09-10 10:08:31 +08001021 *buf = p;
1022
1023 MBEDTLS_SSL_DEBUG_BUF( 3, "Session ID", ssl->session_negotiate->id,
Jerry Yu4a173382021-10-11 21:45:31 +08001024 ssl->session_negotiate->id_len );
Jerry Yue1b9c292021-09-10 10:08:31 +08001025 return( 0 );
1026}
1027
Jerry Yu4a173382021-10-11 21:45:31 +08001028static int ssl_tls13_cipher_suite_is_offered( mbedtls_ssl_context *ssl,
1029 int cipher_suite )
Jerry Yue1b9c292021-09-10 10:08:31 +08001030{
Jerry Yu4a173382021-10-11 21:45:31 +08001031 const int *ciphersuite_list = ssl->conf->ciphersuite_list;
1032
Jerry Yue1b9c292021-09-10 10:08:31 +08001033 /* Check whether we have offered this ciphersuite */
Jerry Yu4a173382021-10-11 21:45:31 +08001034 for ( size_t i = 0; ciphersuite_list[i] != 0; i++ )
Jerry Yue1b9c292021-09-10 10:08:31 +08001035 {
Jerry Yu4a173382021-10-11 21:45:31 +08001036 if( ciphersuite_list[i] == cipher_suite )
Jerry Yue1b9c292021-09-10 10:08:31 +08001037 {
1038 return( 1 );
1039 }
1040 }
1041 return( 0 );
1042}
1043
1044/* Parse ServerHello message and configure context
1045 *
1046 * struct {
1047 * ProtocolVersion legacy_version = 0x0303; // TLS 1.2
1048 * Random random;
1049 * opaque legacy_session_id_echo<0..32>;
1050 * CipherSuite cipher_suite;
1051 * uint8 legacy_compression_method = 0;
Jerry Yub85277e2021-10-13 13:36:05 +08001052 * Extension extensions<6..2^16-1>;
Jerry Yue1b9c292021-09-10 10:08:31 +08001053 * } ServerHello;
1054 */
XiaokangQiand59be772022-01-24 10:12:51 +00001055#define ALERT_UNSUPPORTED_EXTENSION_FOUND ( 1 << 0 )
1056#define ALERT_ILLEGAL_PARAMETER_FOUND ( 1 << 1 )
Jerry Yuc068b662021-10-11 22:30:19 +08001057static int ssl_tls13_parse_server_hello( mbedtls_ssl_context *ssl,
1058 const unsigned char *buf,
XiaokangQiand9e068e2022-01-18 06:23:32 +00001059 const unsigned char *end,
1060 int is_hrr )
Jerry Yue1b9c292021-09-10 10:08:31 +08001061{
Jerry Yub85277e2021-10-13 13:36:05 +08001062 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Jerry Yue1b9c292021-09-10 10:08:31 +08001063 const unsigned char *p = buf;
XiaokangQian355e09a2022-01-20 11:14:50 +00001064 mbedtls_ssl_handshake_params *handshake = ssl->handshake;
Jerry Yub85277e2021-10-13 13:36:05 +08001065 size_t extensions_len;
1066 const unsigned char *extensions_end;
Jerry Yue1b9c292021-09-10 10:08:31 +08001067 uint16_t cipher_suite;
Jerry Yude4fb2c2021-09-19 18:05:08 +08001068 const mbedtls_ssl_ciphersuite_t *ciphersuite_info;
XiaokangQian78b1fa72022-01-19 06:56:30 +00001069 int supported_versions_ext_found = 0;
XiaokangQiand59be772022-01-24 10:12:51 +00001070 int fatal_alert_found = 0;
Jerry Yue1b9c292021-09-10 10:08:31 +08001071
1072 /*
1073 * Check there is space for minimal fields
1074 *
1075 * - legacy_version ( 2 bytes)
Jerry Yue6d7e5c2021-10-26 10:44:32 +08001076 * - random (MBEDTLS_SERVER_HELLO_RANDOM_LEN bytes)
Jerry Yue1b9c292021-09-10 10:08:31 +08001077 * - legacy_session_id_echo ( 1 byte ), minimum size
1078 * - cipher_suite ( 2 bytes)
1079 * - legacy_compression_method ( 1 byte )
1080 */
Jerry Yue6d7e5c2021-10-26 10:44:32 +08001081 MBEDTLS_SSL_CHK_BUF_READ_PTR( p, end, MBEDTLS_SERVER_HELLO_RANDOM_LEN + 6 );
Jerry Yue1b9c292021-09-10 10:08:31 +08001082
1083 MBEDTLS_SSL_DEBUG_BUF( 4, "server hello", p, end - p );
Jerry Yue1b9c292021-09-10 10:08:31 +08001084 MBEDTLS_SSL_DEBUG_BUF( 3, "server hello, version", p, 2 );
1085
Jerry Yu4a173382021-10-11 21:45:31 +08001086 /* ...
Jerry Yub85277e2021-10-13 13:36:05 +08001087 * ProtocolVersion legacy_version = 0x0303; // TLS 1.2
Jerry Yu4a173382021-10-11 21:45:31 +08001088 * ...
1089 * with ProtocolVersion defined as:
1090 * uint16 ProtocolVersion;
1091 */
Jerry Yue1b9c292021-09-10 10:08:31 +08001092 if( !( p[0] == MBEDTLS_SSL_MAJOR_VERSION_3 &&
1093 p[1] == MBEDTLS_SSL_MINOR_VERSION_3 ) )
1094 {
1095 MBEDTLS_SSL_DEBUG_MSG( 1, ( "Unsupported version of TLS." ) );
1096 MBEDTLS_SSL_PEND_FATAL_ALERT( MBEDTLS_SSL_ALERT_MSG_PROTOCOL_VERSION,
1097 MBEDTLS_ERR_SSL_BAD_PROTOCOL_VERSION );
XiaokangQiand59be772022-01-24 10:12:51 +00001098 ret = MBEDTLS_ERR_SSL_BAD_PROTOCOL_VERSION;
1099 goto cleanup;
Jerry Yue1b9c292021-09-10 10:08:31 +08001100 }
1101 p += 2;
Jerry Yue1b9c292021-09-10 10:08:31 +08001102
Jerry Yue6d7e5c2021-10-26 10:44:32 +08001103 /* ...
Jerry Yu4a173382021-10-11 21:45:31 +08001104 * Random random;
1105 * ...
1106 * with Random defined as:
Jerry Yue6d7e5c2021-10-26 10:44:32 +08001107 * opaque Random[MBEDTLS_SERVER_HELLO_RANDOM_LEN];
Jerry Yu4a173382021-10-11 21:45:31 +08001108 */
XiaokangQian53f20b72022-01-18 10:47:33 +00001109 if( !is_hrr )
1110 {
XiaokangQian355e09a2022-01-20 11:14:50 +00001111 memcpy( &handshake->randbytes[MBEDTLS_CLIENT_HELLO_RANDOM_LEN], p,
XiaokangQian53f20b72022-01-18 10:47:33 +00001112 MBEDTLS_SERVER_HELLO_RANDOM_LEN );
1113 MBEDTLS_SSL_DEBUG_BUF( 3, "server hello, random bytes",
1114 p, MBEDTLS_SERVER_HELLO_RANDOM_LEN );
1115 }
Jerry Yue6d7e5c2021-10-26 10:44:32 +08001116 p += MBEDTLS_SERVER_HELLO_RANDOM_LEN;
Jerry Yue1b9c292021-09-10 10:08:31 +08001117
Jerry Yu4a173382021-10-11 21:45:31 +08001118 /* ...
1119 * opaque legacy_session_id_echo<0..32>;
1120 * ...
1121 */
1122 if( ssl_tls13_check_server_hello_session_id_echo( ssl, &p, end ) != 0 )
Jerry Yue1b9c292021-09-10 10:08:31 +08001123 {
XiaokangQiand59be772022-01-24 10:12:51 +00001124 fatal_alert_found |= ALERT_ILLEGAL_PARAMETER_FOUND;
1125 goto cleanup;
Jerry Yue1b9c292021-09-10 10:08:31 +08001126 }
1127
Jerry Yu4a173382021-10-11 21:45:31 +08001128 /* ...
1129 * CipherSuite cipher_suite;
1130 * ...
1131 * with CipherSuite defined as:
1132 * uint8 CipherSuite[2];
1133 */
1134 MBEDTLS_SSL_CHK_BUF_READ_PTR( p, end, 2 );
Jerry Yue1b9c292021-09-10 10:08:31 +08001135 cipher_suite = MBEDTLS_GET_UINT16_BE( p, 0 );
1136 p += 2;
1137
Jerry Yu4a173382021-10-11 21:45:31 +08001138
XiaokangQian355e09a2022-01-20 11:14:50 +00001139 ciphersuite_info = mbedtls_ssl_ciphersuite_from_id( cipher_suite );
Jerry Yu4a173382021-10-11 21:45:31 +08001140 /*
1141 * Check whether this ciphersuite is supported and offered.
1142 * Via the force_ciphersuite version we may have instructed the client
1143 * to use a different ciphersuite.
1144 */
Jerry Yu4a173382021-10-11 21:45:31 +08001145 if( ciphersuite_info == NULL ||
1146 ssl_tls13_cipher_suite_is_offered( ssl, cipher_suite ) == 0 )
Jerry Yue1b9c292021-09-10 10:08:31 +08001147 {
XiaokangQian355e09a2022-01-20 11:14:50 +00001148 ret = MBEDTLS_ERR_SSL_ILLEGAL_PARAMETER;
Jerry Yue1b9c292021-09-10 10:08:31 +08001149 }
XiaokangQian53f20b72022-01-18 10:47:33 +00001150 /*
XiaokangQian355e09a2022-01-20 11:14:50 +00001151 * If we received an HRR before and that the proposed selected
1152 * ciphersuite in this server hello is not the same as the one
1153 * proposed in the HRR, we abort the handshake and send an
1154 * "illegal_parameter" alert.
XiaokangQian53f20b72022-01-18 10:47:33 +00001155 */
XiaokangQian355e09a2022-01-20 11:14:50 +00001156 else if( ( !is_hrr ) && ( handshake->hello_retry_request_count > 0 ) &&
1157 ( cipher_suite != ssl->session_negotiate->ciphersuite ) )
XiaokangQian53f20b72022-01-18 10:47:33 +00001158 {
XiaokangQian355e09a2022-01-20 11:14:50 +00001159 ret = MBEDTLS_ERR_SSL_ILLEGAL_PARAMETER;
1160 }
XiaokangQian53f20b72022-01-18 10:47:33 +00001161
XiaokangQian355e09a2022-01-20 11:14:50 +00001162 if( ret == MBEDTLS_ERR_SSL_ILLEGAL_PARAMETER )
1163 {
1164 MBEDTLS_SSL_DEBUG_MSG( 1, ( "invalid ciphersuite(%04x) parameter",
1165 cipher_suite ) );
XiaokangQiand59be772022-01-24 10:12:51 +00001166 fatal_alert_found |= ALERT_ILLEGAL_PARAMETER_FOUND;
1167 goto cleanup;
XiaokangQian53f20b72022-01-18 10:47:33 +00001168 }
Jerry Yue1b9c292021-09-10 10:08:31 +08001169
Jerry Yu4a173382021-10-11 21:45:31 +08001170 /* Configure ciphersuites */
1171 mbedtls_ssl_optimize_checksum( ssl, ciphersuite_info );
1172
XiaokangQian355e09a2022-01-20 11:14:50 +00001173 handshake->ciphersuite_info = ciphersuite_info;
Jerry Yue1b9c292021-09-10 10:08:31 +08001174 ssl->session_negotiate->ciphersuite = cipher_suite;
1175
Jerry Yue1b9c292021-09-10 10:08:31 +08001176 MBEDTLS_SSL_DEBUG_MSG( 3, ( "server hello, chosen ciphersuite: ( %04x ) - %s",
1177 cipher_suite, ciphersuite_info->name ) );
1178
1179#if defined(MBEDTLS_HAVE_TIME)
1180 ssl->session_negotiate->start = time( NULL );
1181#endif /* MBEDTLS_HAVE_TIME */
1182
Jerry Yu4a173382021-10-11 21:45:31 +08001183 /* ...
1184 * uint8 legacy_compression_method = 0;
1185 * ...
Jerry Yue1b9c292021-09-10 10:08:31 +08001186 */
Jerry Yude4fb2c2021-09-19 18:05:08 +08001187 MBEDTLS_SSL_CHK_BUF_READ_PTR( p, end, 1 );
Jerry Yue1b9c292021-09-10 10:08:31 +08001188 if( p[0] != 0 )
1189 {
Jerry Yub85277e2021-10-13 13:36:05 +08001190 MBEDTLS_SSL_DEBUG_MSG( 1, ( "bad legacy compression method" ) );
XiaokangQiand59be772022-01-24 10:12:51 +00001191 fatal_alert_found |= ALERT_ILLEGAL_PARAMETER_FOUND;
1192 goto cleanup;
Jerry Yue1b9c292021-09-10 10:08:31 +08001193 }
1194 p++;
1195
Jerry Yub85277e2021-10-13 13:36:05 +08001196 /* ...
1197 * Extension extensions<6..2^16-1>;
1198 * ...
Jerry Yu4a173382021-10-11 21:45:31 +08001199 * struct {
1200 * ExtensionType extension_type; (2 bytes)
1201 * opaque extension_data<0..2^16-1>;
1202 * } Extension;
1203 */
Jerry Yude4fb2c2021-09-19 18:05:08 +08001204 MBEDTLS_SSL_CHK_BUF_READ_PTR( p, end, 2 );
Jerry Yu4a173382021-10-11 21:45:31 +08001205 extensions_len = MBEDTLS_GET_UINT16_BE( p, 0 );
Jerry Yue1b9c292021-09-10 10:08:31 +08001206 p += 2;
Jerry Yude4fb2c2021-09-19 18:05:08 +08001207
Jerry Yu4a173382021-10-11 21:45:31 +08001208 /* Check extensions do not go beyond the buffer of data. */
1209 MBEDTLS_SSL_CHK_BUF_READ_PTR( p, end, extensions_len );
1210 extensions_end = p + extensions_len;
Jerry Yue1b9c292021-09-10 10:08:31 +08001211
Jerry Yu4a173382021-10-11 21:45:31 +08001212 MBEDTLS_SSL_DEBUG_BUF( 3, "server hello extensions", p, extensions_len );
Jerry Yue1b9c292021-09-10 10:08:31 +08001213
Jerry Yu4a173382021-10-11 21:45:31 +08001214 while( p < extensions_end )
Jerry Yue1b9c292021-09-10 10:08:31 +08001215 {
1216 unsigned int extension_type;
1217 size_t extension_data_len;
XiaokangQian43550bd2022-01-21 04:32:58 +00001218 const unsigned char *extension_data_end;
Jerry Yue1b9c292021-09-10 10:08:31 +08001219
Jerry Yu4a173382021-10-11 21:45:31 +08001220 MBEDTLS_SSL_CHK_BUF_READ_PTR( p, extensions_end, 4 );
Jerry Yue1b9c292021-09-10 10:08:31 +08001221 extension_type = MBEDTLS_GET_UINT16_BE( p, 0 );
1222 extension_data_len = MBEDTLS_GET_UINT16_BE( p, 2 );
1223 p += 4;
1224
Jerry Yu4a173382021-10-11 21:45:31 +08001225 MBEDTLS_SSL_CHK_BUF_READ_PTR( p, extensions_end, extension_data_len );
XiaokangQian43550bd2022-01-21 04:32:58 +00001226 extension_data_end = p + extension_data_len;
Jerry Yue1b9c292021-09-10 10:08:31 +08001227
1228 switch( extension_type )
1229 {
XiaokangQianb851da82022-01-14 04:03:11 +00001230#if defined(MBEDTLS_SSL_COOKIE_C)
1231 case MBEDTLS_TLS_EXT_COOKIE:
1232
XiaokangQiand9e068e2022-01-18 06:23:32 +00001233 if( !is_hrr )
1234 {
XiaokangQiand59be772022-01-24 10:12:51 +00001235 fatal_alert_found |= ALERT_UNSUPPORTED_EXTENSION_FOUND;
1236 goto cleanup;
XiaokangQiand9e068e2022-01-18 06:23:32 +00001237 }
1238
XiaokangQian43550bd2022-01-21 04:32:58 +00001239 ret = ssl_tls13_parse_cookie_ext( ssl,
1240 p, extension_data_end );
1241 if( ret != 0 )
XiaokangQianb851da82022-01-14 04:03:11 +00001242 {
XiaokangQian43550bd2022-01-21 04:32:58 +00001243 MBEDTLS_SSL_DEBUG_RET( 1,
1244 "ssl_tls13_parse_cookie_ext",
1245 ret );
XiaokangQiand59be772022-01-24 10:12:51 +00001246 goto cleanup;
XiaokangQianb851da82022-01-14 04:03:11 +00001247 }
XiaokangQianb851da82022-01-14 04:03:11 +00001248 break;
1249#endif /* MBEDTLS_SSL_COOKIE_C */
1250
Jerry Yue1b9c292021-09-10 10:08:31 +08001251 case MBEDTLS_TLS_EXT_SUPPORTED_VERSIONS:
XiaokangQian78b1fa72022-01-19 06:56:30 +00001252 supported_versions_ext_found = 1;
Jerry Yue1b9c292021-09-10 10:08:31 +08001253 MBEDTLS_SSL_DEBUG_MSG( 3,
1254 ( "found supported_versions extension" ) );
1255
Jerry Yuc068b662021-10-11 22:30:19 +08001256 ret = ssl_tls13_parse_supported_versions_ext( ssl,
Jerry Yub85277e2021-10-13 13:36:05 +08001257 p,
XiaokangQian43550bd2022-01-21 04:32:58 +00001258 extension_data_end );
Jerry Yue1b9c292021-09-10 10:08:31 +08001259 if( ret != 0 )
XiaokangQiand59be772022-01-24 10:12:51 +00001260 goto cleanup;
Jerry Yue1b9c292021-09-10 10:08:31 +08001261 break;
1262
1263 case MBEDTLS_TLS_EXT_PRE_SHARED_KEY:
1264 MBEDTLS_SSL_DEBUG_MSG( 3, ( "found pre_shared_key extension." ) );
1265 MBEDTLS_SSL_DEBUG_MSG( 3, ( "pre_shared_key:Not supported yet" ) );
Jerry Yu4a173382021-10-11 21:45:31 +08001266
XiaokangQiand59be772022-01-24 10:12:51 +00001267 fatal_alert_found |= ALERT_UNSUPPORTED_EXTENSION_FOUND;
1268 goto cleanup;
Jerry Yue1b9c292021-09-10 10:08:31 +08001269
1270#if defined(MBEDTLS_KEY_EXCHANGE_WITH_CERT_ENABLED)
1271 case MBEDTLS_TLS_EXT_KEY_SHARE:
1272 MBEDTLS_SSL_DEBUG_MSG( 3, ( "found key_shares extension" ) );
XiaokangQiand59be772022-01-24 10:12:51 +00001273 if( ! mbedtls_ssl_conf_tls13_some_ephemeral_enabled( ssl ) )
1274 {
1275 fatal_alert_found |= ALERT_UNSUPPORTED_EXTENSION_FOUND;
1276 goto cleanup;
1277 }
1278
XiaokangQian53f20b72022-01-18 10:47:33 +00001279 if( is_hrr )
XiaokangQiand9e068e2022-01-18 06:23:32 +00001280 ret = ssl_tls13_parse_hrr_key_share_ext( ssl,
XiaokangQian43550bd2022-01-21 04:32:58 +00001281 p, extension_data_end );
XiaokangQian53f20b72022-01-18 10:47:33 +00001282 else
XiaokangQianb851da82022-01-14 04:03:11 +00001283 ret = ssl_tls13_parse_key_share_ext( ssl,
XiaokangQian43550bd2022-01-21 04:32:58 +00001284 p, extension_data_end );
XiaokangQianb851da82022-01-14 04:03:11 +00001285 if( ret != 0 )
Jerry Yue1b9c292021-09-10 10:08:31 +08001286 {
1287 MBEDTLS_SSL_DEBUG_RET( 1,
Jerry Yu4a173382021-10-11 21:45:31 +08001288 "ssl_tls13_parse_key_share_ext",
Jerry Yue1b9c292021-09-10 10:08:31 +08001289 ret );
XiaokangQiand59be772022-01-24 10:12:51 +00001290 goto cleanup;
Jerry Yue1b9c292021-09-10 10:08:31 +08001291 }
1292 break;
1293#endif /* MBEDTLS_KEY_EXCHANGE_WITH_CERT_ENABLED */
1294
1295 default:
Jerry Yu4a173382021-10-11 21:45:31 +08001296 MBEDTLS_SSL_DEBUG_MSG(
1297 3,
1298 ( "unknown extension found: %u ( ignoring )",
1299 extension_type ) );
1300
XiaokangQiand59be772022-01-24 10:12:51 +00001301 fatal_alert_found |= ALERT_UNSUPPORTED_EXTENSION_FOUND;
1302 goto cleanup;
Jerry Yue1b9c292021-09-10 10:08:31 +08001303 }
1304
1305 p += extension_data_len;
1306 }
1307
XiaokangQian78b1fa72022-01-19 06:56:30 +00001308 if( !supported_versions_ext_found )
XiaokangQian53f20b72022-01-18 10:47:33 +00001309 {
XiaokangQian78b1fa72022-01-19 06:56:30 +00001310 MBEDTLS_SSL_DEBUG_MSG( 1, ( "supported_versions not found" ) );
XiaokangQiand59be772022-01-24 10:12:51 +00001311 fatal_alert_found |= ALERT_ILLEGAL_PARAMETER_FOUND;
1312 goto cleanup;
XiaokangQian53f20b72022-01-18 10:47:33 +00001313 }
1314
XiaokangQiand59be772022-01-24 10:12:51 +00001315cleanup:
1316
1317 if( fatal_alert_found & ALERT_UNSUPPORTED_EXTENSION_FOUND )
1318 {
1319 MBEDTLS_SSL_PEND_FATAL_ALERT( MBEDTLS_SSL_ALERT_MSG_UNSUPPORTED_EXT,
1320 MBEDTLS_ERR_SSL_UNSUPPORTED_EXTENSION );
1321 ret = MBEDTLS_ERR_SSL_UNSUPPORTED_EXTENSION;
1322 }
1323 else if ( fatal_alert_found & ALERT_ILLEGAL_PARAMETER_FOUND )
1324 {
1325 MBEDTLS_SSL_PEND_FATAL_ALERT( MBEDTLS_SSL_ALERT_MSG_ILLEGAL_PARAMETER,
1326 MBEDTLS_ERR_SSL_ILLEGAL_PARAMETER );
1327 ret = MBEDTLS_ERR_SSL_ILLEGAL_PARAMETER;
1328 }
1329 return( ret );
Jerry Yue1b9c292021-09-10 10:08:31 +08001330}
1331
XiaokangQian355e09a2022-01-20 11:14:50 +00001332static int ssl_tls13_postprocess_server_hello( mbedtls_ssl_context *ssl )
Jerry Yue1b9c292021-09-10 10:08:31 +08001333{
Jerry Yub85277e2021-10-13 13:36:05 +08001334 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Jerry Yu0b177842021-09-05 19:41:30 +08001335 mbedtls_ssl_key_set traffic_keys;
Jerry Yu4a173382021-10-11 21:45:31 +08001336 mbedtls_ssl_transform *transform_handshake = NULL;
Jerry Yub85277e2021-10-13 13:36:05 +08001337 mbedtls_ssl_handshake_params *handshake = ssl->handshake;
Jerry Yu0b177842021-09-05 19:41:30 +08001338
Jerry Yub85277e2021-10-13 13:36:05 +08001339 /* Determine the key exchange mode:
1340 * 1) If both the pre_shared_key and key_share extensions were received
1341 * then the key exchange mode is PSK with EPHEMERAL.
1342 * 2) If only the pre_shared_key extension was received then the key
1343 * exchange mode is PSK-only.
1344 * 3) If only the key_share extension was received then the key
1345 * exchange mode is EPHEMERAL-only.
Jerry Yu0b177842021-09-05 19:41:30 +08001346 */
Jerry Yub85277e2021-10-13 13:36:05 +08001347 switch( handshake->extensions_present &
1348 ( MBEDTLS_SSL_EXT_PRE_SHARED_KEY | MBEDTLS_SSL_EXT_KEY_SHARE ) )
Jerry Yu0b177842021-09-05 19:41:30 +08001349 {
Jerry Yu745bb612021-10-13 22:01:04 +08001350 /* Only the pre_shared_key extension was received */
1351 case MBEDTLS_SSL_EXT_PRE_SHARED_KEY:
Xiaofei Baid25fab62021-12-02 06:36:27 +00001352 handshake->tls13_kex_modes = MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_PSK;
Jerry Yu745bb612021-10-13 22:01:04 +08001353 break;
Jerry Yub85277e2021-10-13 13:36:05 +08001354
Jerry Yu745bb612021-10-13 22:01:04 +08001355 /* Only the key_share extension was received */
1356 case MBEDTLS_SSL_EXT_KEY_SHARE:
Xiaofei Baid25fab62021-12-02 06:36:27 +00001357 handshake->tls13_kex_modes = MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_EPHEMERAL;
Jerry Yu745bb612021-10-13 22:01:04 +08001358 break;
Jerry Yub85277e2021-10-13 13:36:05 +08001359
Jerry Yu745bb612021-10-13 22:01:04 +08001360 /* Both the pre_shared_key and key_share extensions were received */
1361 case ( MBEDTLS_SSL_EXT_PRE_SHARED_KEY | MBEDTLS_SSL_EXT_KEY_SHARE ):
Xiaofei Baid25fab62021-12-02 06:36:27 +00001362 handshake->tls13_kex_modes = MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_PSK_EPHEMERAL;
Jerry Yu745bb612021-10-13 22:01:04 +08001363 break;
Jerry Yub85277e2021-10-13 13:36:05 +08001364
Jerry Yu745bb612021-10-13 22:01:04 +08001365 /* Neither pre_shared_key nor key_share extension was received */
1366 default:
1367 MBEDTLS_SSL_DEBUG_MSG( 1, ( "Unknown key exchange." ) );
1368 ret = MBEDTLS_ERR_SSL_HANDSHAKE_FAILURE;
1369 goto cleanup;
Jerry Yu0b177842021-09-05 19:41:30 +08001370 }
1371
1372 /* Start the TLS 1.3 key schedule: Set the PSK and derive early secret.
1373 *
1374 * TODO: We don't have to do this in case we offered 0-RTT and the
1375 * server accepted it. In this case, we could skip generating
1376 * the early secret. */
Xiaofei Bai746f9482021-11-12 08:53:56 +00001377 ret = mbedtls_ssl_tls13_key_schedule_stage_early( ssl );
Jerry Yu0b177842021-09-05 19:41:30 +08001378 if( ret != 0 )
1379 {
Xiaofei Bai746f9482021-11-12 08:53:56 +00001380 MBEDTLS_SSL_DEBUG_RET( 1, "mbedtls_ssl_tls13_key_schedule_stage_early_data",
Jerry Yu0b177842021-09-05 19:41:30 +08001381 ret );
Jerry Yu4a173382021-10-11 21:45:31 +08001382 goto cleanup;
Jerry Yu0b177842021-09-05 19:41:30 +08001383 }
1384
1385 /* Compute handshake secret */
Jerry Yuf0ac2352021-10-11 17:47:07 +08001386 ret = mbedtls_ssl_tls13_key_schedule_stage_handshake( ssl );
Jerry Yu0b177842021-09-05 19:41:30 +08001387 if( ret != 0 )
1388 {
Xiaofei Bai746f9482021-11-12 08:53:56 +00001389 MBEDTLS_SSL_DEBUG_RET( 1, "mbedtls_ssl_tls13_derive_master_secret", ret );
Jerry Yu4a173382021-10-11 21:45:31 +08001390 goto cleanup;
Jerry Yu0b177842021-09-05 19:41:30 +08001391 }
1392
1393 /* Next evolution in key schedule: Establish handshake secret and
1394 * key material. */
Jerry Yuc068b662021-10-11 22:30:19 +08001395 ret = mbedtls_ssl_tls13_generate_handshake_keys( ssl, &traffic_keys );
Jerry Yu0b177842021-09-05 19:41:30 +08001396 if( ret != 0 )
1397 {
Jerry Yuc068b662021-10-11 22:30:19 +08001398 MBEDTLS_SSL_DEBUG_RET( 1, "mbedtls_ssl_tls13_generate_handshake_keys",
1399 ret );
Jerry Yu4a173382021-10-11 21:45:31 +08001400 goto cleanup;
Jerry Yu0b177842021-09-05 19:41:30 +08001401 }
1402
Jerry Yub85277e2021-10-13 13:36:05 +08001403 transform_handshake = mbedtls_calloc( 1, sizeof( mbedtls_ssl_transform ) );
Jerry Yu0b177842021-09-05 19:41:30 +08001404 if( transform_handshake == NULL )
Jerry Yu4a173382021-10-11 21:45:31 +08001405 {
1406 ret = MBEDTLS_ERR_SSL_ALLOC_FAILED;
1407 goto cleanup;
1408 }
Jerry Yu0b177842021-09-05 19:41:30 +08001409
1410 ret = mbedtls_ssl_tls13_populate_transform( transform_handshake,
1411 ssl->conf->endpoint,
1412 ssl->session_negotiate->ciphersuite,
1413 &traffic_keys,
1414 ssl );
1415 if( ret != 0 )
1416 {
1417 MBEDTLS_SSL_DEBUG_RET( 1, "mbedtls_ssl_tls13_populate_transform", ret );
Jerry Yu4a173382021-10-11 21:45:31 +08001418 goto cleanup;
Jerry Yu0b177842021-09-05 19:41:30 +08001419 }
1420
Jerry Yub85277e2021-10-13 13:36:05 +08001421 handshake->transform_handshake = transform_handshake;
1422 mbedtls_ssl_set_inbound_transform( ssl, transform_handshake );
Jerry Yu0b177842021-09-05 19:41:30 +08001423
1424 MBEDTLS_SSL_DEBUG_MSG( 1, ( "Switch to handshake keys for inbound traffic" ) );
1425 ssl->session_in = ssl->session_negotiate;
1426
1427 /*
1428 * State machine update
1429 */
1430 mbedtls_ssl_handshake_set_state( ssl, MBEDTLS_SSL_ENCRYPTED_EXTENSIONS );
1431
Jerry Yu4a173382021-10-11 21:45:31 +08001432cleanup:
1433
Jerry Yu0b177842021-09-05 19:41:30 +08001434 mbedtls_platform_zeroize( &traffic_keys, sizeof( traffic_keys ) );
Jerry Yu4a173382021-10-11 21:45:31 +08001435 if( ret != 0 )
1436 {
Jerry Yub85277e2021-10-13 13:36:05 +08001437 mbedtls_free( transform_handshake );
Jerry Yuc068b662021-10-11 22:30:19 +08001438
Jerry Yu4a173382021-10-11 21:45:31 +08001439 MBEDTLS_SSL_PEND_FATAL_ALERT(
1440 MBEDTLS_SSL_ALERT_MSG_HANDSHAKE_FAILURE,
1441 MBEDTLS_ERR_SSL_HANDSHAKE_FAILURE );
1442 }
1443 return( ret );
Jerry Yue1b9c292021-09-10 10:08:31 +08001444}
1445
XiaokangQian355e09a2022-01-20 11:14:50 +00001446static int ssl_tls13_postprocess_hrr( mbedtls_ssl_context *ssl )
XiaokangQian647719a2021-12-07 09:16:29 +00001447{
XiaokangQian0b56a8f2021-12-22 02:39:32 +00001448#if defined(MBEDTLS_KEY_EXCHANGE_WITH_CERT_ENABLED)
XiaokangQian647719a2021-12-07 09:16:29 +00001449 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
1450
XiaokangQian647719a2021-12-07 09:16:29 +00001451#if defined(MBEDTLS_SSL_TLS1_3_COMPATIBILITY_MODE)
1452 /* If not offering early data, the client sends a dummy CCS record
1453 * immediately before its second flight. This may either be before
XiaokangQian51eff222021-12-10 10:33:56 +00001454 * its second ClientHello or before its encrypted handshake flight.
1455 */
XiaokangQian647719a2021-12-07 09:16:29 +00001456 mbedtls_ssl_handshake_set_state( ssl,
1457 MBEDTLS_SSL_CLIENT_CCS_BEFORE_2ND_CLIENT_HELLO );
1458#else
1459 mbedtls_ssl_handshake_set_state( ssl, MBEDTLS_SSL_CLIENT_HELLO );
1460#endif /* MBEDTLS_SSL_TLS1_3_COMPATIBILITY_MODE */
1461
XiaokangQian78b1fa72022-01-19 06:56:30 +00001462 mbedtls_ssl_session_reset_msg_layer( ssl, 0 );
XiaokangQian647719a2021-12-07 09:16:29 +00001463
XiaokangQian78b1fa72022-01-19 06:56:30 +00001464 /*
XiaokangQian355e09a2022-01-20 11:14:50 +00001465 * We are going to re-generate a shared secret corresponding to the group
1466 * selected by the server, which is different from the group for which we
1467 * generated a shared secret in the first client hello.
1468 * Thus, reset the shared secret.
XiaokangQian51eff222021-12-10 10:33:56 +00001469 */
XiaokangQian16acd4b2022-01-14 07:35:47 +00001470 ret = ssl_tls13_reset_key_share( ssl );
XiaokangQian647719a2021-12-07 09:16:29 +00001471 if( ret != 0 )
1472 return( ret );
XiaokangQian43550bd2022-01-21 04:32:58 +00001473#else
1474 ((void) ssl);
XiaokangQian0b56a8f2021-12-22 02:39:32 +00001475#endif /* MBEDTLS_KEY_EXCHANGE_WITH_CERT_ENABLED */
XiaokangQian647719a2021-12-07 09:16:29 +00001476
1477 return( 0 );
1478}
1479
Jerry Yue1b9c292021-09-10 10:08:31 +08001480/*
Jerry Yu4a173382021-10-11 21:45:31 +08001481 * Wait and parse ServerHello handshake message.
Jerry Yu687101b2021-09-14 16:03:56 +08001482 * Handler for MBEDTLS_SSL_SERVER_HELLO
1483 */
Xiaofei Bai746f9482021-11-12 08:53:56 +00001484static int ssl_tls13_process_server_hello( mbedtls_ssl_context *ssl )
Jerry Yu687101b2021-09-14 16:03:56 +08001485{
Jerry Yu4a173382021-10-11 21:45:31 +08001486 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
XiaokangQian647719a2021-12-07 09:16:29 +00001487 unsigned char *buf = NULL;
1488 size_t buf_len = 0;
XiaokangQian78b1fa72022-01-19 06:56:30 +00001489 int is_hrr = 0;
Jerry Yue1b9c292021-09-10 10:08:31 +08001490
1491 MBEDTLS_SSL_DEBUG_MSG( 2, ( "=> %s", __func__ ) );
1492
1493 /* Coordination step
1494 * - Fetch record
1495 * - Make sure it's either a ServerHello or a HRR.
1496 * - Switch processing routine in case of HRR
1497 */
Jerry Yue1b9c292021-09-10 10:08:31 +08001498 ssl->major_ver = MBEDTLS_SSL_MAJOR_VERSION_3;
1499 ssl->handshake->extensions_present = MBEDTLS_SSL_EXT_NONE;
1500
XiaokangQian16acd4b2022-01-14 07:35:47 +00001501 ret = ssl_tls13_server_hello_coordinate( ssl, &buf, &buf_len );
XiaokangQiand9e068e2022-01-18 06:23:32 +00001502 if( ret < 0 )
XiaokangQian16acd4b2022-01-14 07:35:47 +00001503 goto cleanup;
1504 else
XiaokangQiand9e068e2022-01-18 06:23:32 +00001505 is_hrr = ( ret == SSL_SERVER_HELLO_COORDINATE_HRR );
XiaokangQiand59be772022-01-24 10:12:51 +00001506
XiaokangQianb851da82022-01-14 04:03:11 +00001507 MBEDTLS_SSL_PROC_CHK( ssl_tls13_parse_server_hello( ssl, buf,
XiaokangQiand9e068e2022-01-18 06:23:32 +00001508 buf + buf_len,
1509 is_hrr ) );
1510 if( is_hrr )
XiaokangQian647719a2021-12-07 09:16:29 +00001511 MBEDTLS_SSL_PROC_CHK( mbedtls_ssl_reset_transcript_for_hrr( ssl ) );
1512
XiaokangQianb851da82022-01-14 04:03:11 +00001513 mbedtls_ssl_tls13_add_hs_msg_to_checksum( ssl,
1514 MBEDTLS_SSL_HS_SERVER_HELLO,
1515 buf, buf_len );
XiaokangQian647719a2021-12-07 09:16:29 +00001516
XiaokangQiand9e068e2022-01-18 06:23:32 +00001517 if( is_hrr )
XiaokangQian355e09a2022-01-20 11:14:50 +00001518 MBEDTLS_SSL_PROC_CHK( ssl_tls13_postprocess_hrr( ssl ) );
XiaokangQiand9e068e2022-01-18 06:23:32 +00001519 else
XiaokangQian355e09a2022-01-20 11:14:50 +00001520 MBEDTLS_SSL_PROC_CHK( ssl_tls13_postprocess_server_hello( ssl ) );
Jerry Yue1b9c292021-09-10 10:08:31 +08001521
1522cleanup:
XiaokangQian78b1fa72022-01-19 06:56:30 +00001523 MBEDTLS_SSL_DEBUG_MSG( 2, ( "<= %s:is_hrr = %d", __func__, is_hrr ) );
Jerry Yue1b9c292021-09-10 10:08:31 +08001524 return( ret );
Jerry Yu687101b2021-09-14 16:03:56 +08001525}
1526
1527/*
XiaokangQian2d5c72b2021-09-13 07:30:09 +00001528 *
1529 * EncryptedExtensions message
1530 *
1531 * The EncryptedExtensions message contains any extensions which
1532 * should be protected, i.e., any which are not needed to establish
1533 * the cryptographic context.
Jerry Yu687101b2021-09-14 16:03:56 +08001534 */
XiaokangQian2d5c72b2021-09-13 07:30:09 +00001535
1536/*
1537 * Overview
1538 */
XiaokangQian2d5c72b2021-09-13 07:30:09 +00001539
1540/* Main entry point; orchestrates the other functions */
XiaokangQian97799ac2021-10-11 10:05:54 +00001541static int ssl_tls13_process_encrypted_extensions( mbedtls_ssl_context *ssl );
XiaokangQian2d5c72b2021-09-13 07:30:09 +00001542
XiaokangQian97799ac2021-10-11 10:05:54 +00001543static int ssl_tls13_parse_encrypted_extensions( mbedtls_ssl_context *ssl,
1544 const unsigned char *buf,
1545 const unsigned char *end );
1546static int ssl_tls13_postprocess_encrypted_extensions( mbedtls_ssl_context *ssl );
XiaokangQian2d5c72b2021-09-13 07:30:09 +00001547
1548/*
XiaokangQianc1fe0002021-09-16 03:02:14 +00001549 * Handler for MBEDTLS_SSL_ENCRYPTED_EXTENSIONS
XiaokangQian2d5c72b2021-09-13 07:30:09 +00001550 */
XiaokangQian97799ac2021-10-11 10:05:54 +00001551static int ssl_tls13_process_encrypted_extensions( mbedtls_ssl_context *ssl )
Jerry Yu687101b2021-09-14 16:03:56 +08001552{
XiaokangQian2d5c72b2021-09-13 07:30:09 +00001553 int ret;
1554 unsigned char *buf;
1555 size_t buf_len;
1556
1557 MBEDTLS_SSL_DEBUG_MSG( 2, ( "=> parse encrypted extensions" ) );
1558
Xiaofei Bai746f9482021-11-12 08:53:56 +00001559 MBEDTLS_SSL_PROC_CHK( mbedtls_ssl_tls13_fetch_handshake_msg( ssl,
XiaokangQianab7f50d2021-10-21 06:23:29 +00001560 MBEDTLS_SSL_HS_ENCRYPTED_EXTENSIONS,
XiaokangQian2d5c72b2021-09-13 07:30:09 +00001561 &buf, &buf_len ) );
1562
1563 /* Process the message contents */
XiaokangQian97799ac2021-10-11 10:05:54 +00001564 MBEDTLS_SSL_PROC_CHK(
XiaokangQian8db25ff2021-10-13 05:56:18 +00001565 ssl_tls13_parse_encrypted_extensions( ssl, buf, buf + buf_len ) );
XiaokangQian2d5c72b2021-09-13 07:30:09 +00001566
Xiaofei Bai746f9482021-11-12 08:53:56 +00001567 mbedtls_ssl_tls13_add_hs_msg_to_checksum(
XiaokangQianab7f50d2021-10-21 06:23:29 +00001568 ssl, MBEDTLS_SSL_HS_ENCRYPTED_EXTENSIONS, buf, buf_len );
XiaokangQian2d5c72b2021-09-13 07:30:09 +00001569
XiaokangQian97799ac2021-10-11 10:05:54 +00001570 MBEDTLS_SSL_PROC_CHK( ssl_tls13_postprocess_encrypted_extensions( ssl ) );
XiaokangQian2d5c72b2021-09-13 07:30:09 +00001571
1572cleanup:
1573
1574 MBEDTLS_SSL_DEBUG_MSG( 2, ( "<= parse encrypted extensions" ) );
1575 return( ret );
1576
1577}
1578
XiaokangQian08da26c2021-10-09 10:12:11 +00001579/* Parse EncryptedExtensions message
1580 * struct {
XiaokangQian97799ac2021-10-11 10:05:54 +00001581 * Extension extensions<0..2^16-1>;
XiaokangQian08da26c2021-10-09 10:12:11 +00001582 * } EncryptedExtensions;
1583 */
XiaokangQian97799ac2021-10-11 10:05:54 +00001584static int ssl_tls13_parse_encrypted_extensions( mbedtls_ssl_context *ssl,
1585 const unsigned char *buf,
1586 const unsigned char *end )
XiaokangQian2d5c72b2021-09-13 07:30:09 +00001587{
1588 int ret = 0;
XiaokangQian08da26c2021-10-09 10:12:11 +00001589 size_t extensions_len;
XiaokangQian140f0452021-10-08 08:05:53 +00001590 const unsigned char *p = buf;
XiaokangQian8db25ff2021-10-13 05:56:18 +00001591 const unsigned char *extensions_end;
XiaokangQian2d5c72b2021-09-13 07:30:09 +00001592
XiaokangQian08da26c2021-10-09 10:12:11 +00001593 MBEDTLS_SSL_CHK_BUF_READ_PTR( p, end, 2 );
XiaokangQian97799ac2021-10-11 10:05:54 +00001594 extensions_len = MBEDTLS_GET_UINT16_BE( p, 0 );
XiaokangQian08da26c2021-10-09 10:12:11 +00001595 p += 2;
XiaokangQian2d5c72b2021-09-13 07:30:09 +00001596
XiaokangQian97799ac2021-10-11 10:05:54 +00001597 MBEDTLS_SSL_DEBUG_BUF( 3, "encrypted extensions", p, extensions_len );
XiaokangQian8db25ff2021-10-13 05:56:18 +00001598 extensions_end = p + extensions_len;
1599 MBEDTLS_SSL_CHK_BUF_READ_PTR( p, end, extensions_len );
XiaokangQian2d5c72b2021-09-13 07:30:09 +00001600
XiaokangQian8db25ff2021-10-13 05:56:18 +00001601 while( p < extensions_end )
XiaokangQian2d5c72b2021-09-13 07:30:09 +00001602 {
XiaokangQian08da26c2021-10-09 10:12:11 +00001603 unsigned int extension_type;
1604 size_t extension_data_len;
XiaokangQian2d5c72b2021-09-13 07:30:09 +00001605
XiaokangQian08da26c2021-10-09 10:12:11 +00001606 /*
1607 * struct {
XiaokangQian97799ac2021-10-11 10:05:54 +00001608 * ExtensionType extension_type; (2 bytes)
1609 * opaque extension_data<0..2^16-1>;
XiaokangQian08da26c2021-10-09 10:12:11 +00001610 * } Extension;
1611 */
XiaokangQian8db25ff2021-10-13 05:56:18 +00001612 MBEDTLS_SSL_CHK_BUF_READ_PTR( p, extensions_end, 4 );
XiaokangQian08da26c2021-10-09 10:12:11 +00001613 extension_type = MBEDTLS_GET_UINT16_BE( p, 0 );
1614 extension_data_len = MBEDTLS_GET_UINT16_BE( p, 2 );
1615 p += 4;
1616
XiaokangQian8db25ff2021-10-13 05:56:18 +00001617 MBEDTLS_SSL_CHK_BUF_READ_PTR( p, extensions_end, extension_data_len );
XiaokangQian2d5c72b2021-09-13 07:30:09 +00001618
XiaokangQian97799ac2021-10-11 10:05:54 +00001619 /* The client MUST check EncryptedExtensions for the
XiaokangQian2d5c72b2021-09-13 07:30:09 +00001620 * presence of any forbidden extensions and if any are found MUST abort
XiaokangQian08da26c2021-10-09 10:12:11 +00001621 * the handshake with an "unsupported_extension" alert.
XiaokangQian2d5c72b2021-09-13 07:30:09 +00001622 */
XiaokangQian08da26c2021-10-09 10:12:11 +00001623 switch( extension_type )
1624 {
XiaokangQian2d5c72b2021-09-13 07:30:09 +00001625
XiaokangQian08da26c2021-10-09 10:12:11 +00001626 case MBEDTLS_TLS_EXT_SUPPORTED_GROUPS:
1627 MBEDTLS_SSL_DEBUG_MSG( 3, ( "found extensions supported groups" ) );
1628 break;
XiaokangQian2d5c72b2021-09-13 07:30:09 +00001629
XiaokangQian08da26c2021-10-09 10:12:11 +00001630 default:
XiaokangQian97799ac2021-10-11 10:05:54 +00001631 MBEDTLS_SSL_DEBUG_MSG(
1632 3, ( "unsupported extension found: %u ", extension_type) );
1633 MBEDTLS_SSL_PEND_FATAL_ALERT(
Jerry Yu7aa71862021-10-28 21:41:30 +08001634 MBEDTLS_SSL_ALERT_MSG_UNSUPPORTED_EXT,
XiaokangQian97799ac2021-10-11 10:05:54 +00001635 MBEDTLS_ERR_SSL_UNSUPPORTED_EXTENSION );
1636 return ( MBEDTLS_ERR_SSL_UNSUPPORTED_EXTENSION );
XiaokangQian08da26c2021-10-09 10:12:11 +00001637 }
1638
XiaokangQian08da26c2021-10-09 10:12:11 +00001639 p += extension_data_len;
XiaokangQian97799ac2021-10-11 10:05:54 +00001640 }
XiaokangQian08da26c2021-10-09 10:12:11 +00001641
XiaokangQian97799ac2021-10-11 10:05:54 +00001642 /* Check that we consumed all the message. */
XiaokangQian7b2d4ef2021-10-13 10:19:02 +00001643 if( p != end )
XiaokangQian97799ac2021-10-11 10:05:54 +00001644 {
1645 MBEDTLS_SSL_DEBUG_MSG( 1, ( "EncryptedExtension lengths misaligned" ) );
Jerry Yu7aa71862021-10-28 21:41:30 +08001646 MBEDTLS_SSL_PEND_FATAL_ALERT( MBEDTLS_SSL_ALERT_MSG_DECODE_ERROR,
XiaokangQian7b2d4ef2021-10-13 10:19:02 +00001647 MBEDTLS_ERR_SSL_DECODE_ERROR );
XiaokangQian97799ac2021-10-11 10:05:54 +00001648 return( MBEDTLS_ERR_SSL_DECODE_ERROR );
XiaokangQian2d5c72b2021-09-13 07:30:09 +00001649 }
1650
1651 return( ret );
1652}
1653
XiaokangQian97799ac2021-10-11 10:05:54 +00001654static int ssl_tls13_postprocess_encrypted_extensions( mbedtls_ssl_context *ssl )
XiaokangQian2d5c72b2021-09-13 07:30:09 +00001655{
Jerry Yua93ac112021-10-27 16:31:48 +08001656#if defined(MBEDTLS_KEY_EXCHANGE_WITH_CERT_ENABLED)
Xiaofei Bai746f9482021-11-12 08:53:56 +00001657 if( mbedtls_ssl_tls13_some_psk_enabled( ssl ) )
Jerry Yua93ac112021-10-27 16:31:48 +08001658 mbedtls_ssl_handshake_set_state( ssl, MBEDTLS_SSL_SERVER_FINISHED );
1659 else
Jerry Yud2674312021-10-29 10:08:19 +08001660 mbedtls_ssl_handshake_set_state( ssl, MBEDTLS_SSL_CERTIFICATE_REQUEST );
Jerry Yua93ac112021-10-27 16:31:48 +08001661#else
1662 ((void) ssl);
1663 mbedtls_ssl_handshake_set_state( ssl, MBEDTLS_SSL_SERVER_FINISHED );
1664#endif
Jerry Yu687101b2021-09-14 16:03:56 +08001665 return( 0 );
1666}
1667
Jerry Yua93ac112021-10-27 16:31:48 +08001668#if defined(MBEDTLS_KEY_EXCHANGE_WITH_CERT_ENABLED)
Jerry Yu687101b2021-09-14 16:03:56 +08001669/*
Jerry Yud2674312021-10-29 10:08:19 +08001670 * Handler for MBEDTLS_SSL_CERTIFICATE_REQUEST
1671 */
1672static int ssl_tls13_process_certificate_request( mbedtls_ssl_context *ssl )
1673{
1674 int ret = mbedtls_ssl_read_record( ssl, 0 );
1675
1676 if( ret != 0 )
1677 {
1678 MBEDTLS_SSL_DEBUG_RET( 1, "mbedtls_ssl_read_record", ret );
1679 return( ret );
1680 }
1681
1682 if( ( ssl->in_msgtype == MBEDTLS_SSL_MSG_HANDSHAKE ) &&
1683 ( ssl->in_msg[0] == MBEDTLS_SSL_HS_CERTIFICATE_REQUEST ) )
1684 {
1685 MBEDTLS_SSL_DEBUG_MSG( 1, ( "CertificateRequest not supported" ) );
1686 MBEDTLS_SSL_PEND_FATAL_ALERT( MBEDTLS_SSL_ALERT_MSG_HANDSHAKE_FAILURE,
1687 MBEDTLS_ERR_SSL_HANDSHAKE_FAILURE );
1688 return( MBEDTLS_ERR_SSL_HANDSHAKE_FAILURE );
1689 }
1690
1691 ssl->keep_current_message = 1;
1692 mbedtls_ssl_handshake_set_state( ssl, MBEDTLS_SSL_SERVER_CERTIFICATE );
1693
1694 return( 0 );
1695}
1696
1697/*
Jerry Yu687101b2021-09-14 16:03:56 +08001698 * Handler for MBEDTLS_SSL_SERVER_CERTIFICATE
1699 */
Xiaofei Bai746f9482021-11-12 08:53:56 +00001700static int ssl_tls13_process_server_certificate( mbedtls_ssl_context *ssl )
Jerry Yu687101b2021-09-14 16:03:56 +08001701{
Xiaofei Bai947571e2021-09-29 09:12:03 +00001702 int ret;
1703
1704 ret = mbedtls_ssl_tls13_process_certificate( ssl );
Xiaofei Baif93cbd22021-10-29 02:39:30 +00001705 if( ret != 0 )
Xiaofei Bai947571e2021-09-29 09:12:03 +00001706 return( ret );
1707
Jerry Yu687101b2021-09-14 16:03:56 +08001708 mbedtls_ssl_handshake_set_state( ssl, MBEDTLS_SSL_CERTIFICATE_VERIFY );
1709 return( 0 );
1710}
1711
1712/*
1713 * Handler for MBEDTLS_SSL_CERTIFICATE_VERIFY
1714 */
Xiaofei Bai746f9482021-11-12 08:53:56 +00001715static int ssl_tls13_process_certificate_verify( mbedtls_ssl_context *ssl )
Jerry Yu687101b2021-09-14 16:03:56 +08001716{
Jerry Yu30b071c2021-09-12 20:16:03 +08001717 int ret;
1718
1719 ret = mbedtls_ssl_tls13_process_certificate_verify( ssl );
1720 if( ret != 0 )
1721 return( ret );
1722
Jerry Yu687101b2021-09-14 16:03:56 +08001723 mbedtls_ssl_handshake_set_state( ssl, MBEDTLS_SSL_SERVER_FINISHED );
1724 return( 0 );
1725}
Jerry Yua93ac112021-10-27 16:31:48 +08001726#endif /* MBEDTLS_KEY_EXCHANGE_WITH_CERT_ENABLED */
Ronald Crond4c64022021-12-06 09:06:46 +01001727
Jerry Yu687101b2021-09-14 16:03:56 +08001728/*
1729 * Handler for MBEDTLS_SSL_SERVER_FINISHED
1730 */
Xiaofei Bai746f9482021-11-12 08:53:56 +00001731static int ssl_tls13_process_server_finished( mbedtls_ssl_context *ssl )
Jerry Yu687101b2021-09-14 16:03:56 +08001732{
XiaokangQianac0385c2021-11-03 06:40:11 +00001733 int ret;
1734
XiaokangQianc5c39d52021-11-09 11:55:10 +00001735 ret = mbedtls_ssl_tls13_process_finished_message( ssl );
XiaokangQianac0385c2021-11-03 06:40:11 +00001736 if( ret != 0 )
1737 return( ret );
1738
Ronald Cron49ad6192021-11-24 16:25:31 +01001739#if defined(MBEDTLS_SSL_TLS1_3_COMPATIBILITY_MODE)
1740 mbedtls_ssl_handshake_set_state(
1741 ssl,
1742 MBEDTLS_SSL_CLIENT_CCS_AFTER_SERVER_FINISHED );
1743#else
XiaokangQianac0385c2021-11-03 06:40:11 +00001744 mbedtls_ssl_handshake_set_state( ssl, MBEDTLS_SSL_CLIENT_FINISHED );
Ronald Cron49ad6192021-11-24 16:25:31 +01001745#endif
1746
XiaokangQianac0385c2021-11-03 06:40:11 +00001747 return( 0 );
Jerry Yu687101b2021-09-14 16:03:56 +08001748}
1749
1750/*
Ronald Crond4c64022021-12-06 09:06:46 +01001751 * Handler for MBEDTLS_SSL_CLIENT_CCS_AFTER_SERVER_FINISHED
1752 */
1753#if defined(MBEDTLS_SSL_TLS1_3_COMPATIBILITY_MODE)
1754static int ssl_tls13_write_change_cipher_spec( mbedtls_ssl_context *ssl )
1755{
1756 int ret;
1757
1758 ret = mbedtls_ssl_tls13_write_change_cipher_spec( ssl );
1759 if( ret != 0 )
1760 return( ret );
1761
Ronald Crond4c64022021-12-06 09:06:46 +01001762 return( 0 );
1763}
1764#endif /* MBEDTLS_SSL_TLS1_3_COMPATIBILITY_MODE */
1765
1766/*
Jerry Yu687101b2021-09-14 16:03:56 +08001767 * Handler for MBEDTLS_SSL_CLIENT_FINISHED
1768 */
XiaokangQian74af2a82021-09-22 07:40:30 +00001769static int ssl_tls13_write_client_finished( mbedtls_ssl_context *ssl )
Jerry Yu687101b2021-09-14 16:03:56 +08001770{
XiaokangQian0fa66432021-11-15 03:33:57 +00001771 int ret;
1772
Ronald Cron49ad6192021-11-24 16:25:31 +01001773 mbedtls_ssl_set_outbound_transform( ssl, ssl->handshake->transform_handshake );
1774
XiaokangQian0fa66432021-11-15 03:33:57 +00001775 ret = mbedtls_ssl_tls13_write_finished_message( ssl );
1776 if( ret != 0 )
1777 return( ret );
1778
1779 mbedtls_ssl_handshake_set_state( ssl, MBEDTLS_SSL_FLUSH_BUFFERS );
1780 return( 0 );
Jerry Yu687101b2021-09-14 16:03:56 +08001781}
1782
1783/*
1784 * Handler for MBEDTLS_SSL_FLUSH_BUFFERS
1785 */
Xiaofei Bai746f9482021-11-12 08:53:56 +00001786static int ssl_tls13_flush_buffers( mbedtls_ssl_context *ssl )
Jerry Yu687101b2021-09-14 16:03:56 +08001787{
Jerry Yu378254d2021-10-30 21:44:47 +08001788 MBEDTLS_SSL_DEBUG_MSG( 2, ( "handshake: done" ) );
Jerry Yuad8d0ba2021-09-28 17:58:26 +08001789 mbedtls_ssl_handshake_set_state( ssl, MBEDTLS_SSL_HANDSHAKE_WRAPUP );
Jerry Yu687101b2021-09-14 16:03:56 +08001790 return( 0 );
1791}
1792
1793/*
1794 * Handler for MBEDTLS_SSL_HANDSHAKE_WRAPUP
1795 */
Xiaofei Bai746f9482021-11-12 08:53:56 +00001796static int ssl_tls13_handshake_wrapup( mbedtls_ssl_context *ssl )
Jerry Yu687101b2021-09-14 16:03:56 +08001797{
Jerry Yu378254d2021-10-30 21:44:47 +08001798 MBEDTLS_SSL_DEBUG_MSG( 1, ( "Switch to application keys for inbound traffic" ) );
1799 mbedtls_ssl_set_inbound_transform ( ssl, ssl->transform_application );
1800
1801 MBEDTLS_SSL_DEBUG_MSG( 1, ( "Switch to application keys for outbound traffic" ) );
1802 mbedtls_ssl_set_outbound_transform( ssl, ssl->transform_application );
1803
1804 mbedtls_ssl_tls13_handshake_wrapup( ssl );
1805
1806 mbedtls_ssl_handshake_set_state( ssl, MBEDTLS_SSL_HANDSHAKE_OVER );
1807 return( 0 );
Jerry Yu687101b2021-09-14 16:03:56 +08001808}
1809
Jerry Yu92c6b402021-08-27 16:59:09 +08001810int mbedtls_ssl_tls13_handshake_client_step( mbedtls_ssl_context *ssl )
Jerry Yubc20bdd2021-08-24 15:59:48 +08001811{
Jerry Yu92c6b402021-08-27 16:59:09 +08001812 int ret = 0;
Jerry Yuc8a392c2021-08-18 16:46:28 +08001813
Jerry Yue3b34122021-09-28 17:53:35 +08001814 MBEDTLS_SSL_DEBUG_MSG( 2, ( "tls13 client state: %s(%d)",
1815 mbedtls_ssl_states_str( ssl->state ),
1816 ssl->state ) );
Jerry Yu92c6b402021-08-27 16:59:09 +08001817
1818 switch( ssl->state )
1819 {
1820 /*
Jerry Yu0c63af62021-09-02 12:59:12 +08001821 * ssl->state is initialized as HELLO_REQUEST. It is the same
1822 * as CLIENT_HELLO state.
Jerry Yu92c6b402021-08-27 16:59:09 +08001823 */
1824 case MBEDTLS_SSL_HELLO_REQUEST:
1825 case MBEDTLS_SSL_CLIENT_HELLO:
1826 ret = ssl_tls13_write_client_hello( ssl );
1827 break;
1828
1829 case MBEDTLS_SSL_SERVER_HELLO:
Xiaofei Bai746f9482021-11-12 08:53:56 +00001830 ret = ssl_tls13_process_server_hello( ssl );
Jerry Yu687101b2021-09-14 16:03:56 +08001831 break;
1832
1833 case MBEDTLS_SSL_ENCRYPTED_EXTENSIONS:
XiaokangQian97799ac2021-10-11 10:05:54 +00001834 ret = ssl_tls13_process_encrypted_extensions( ssl );
Jerry Yu687101b2021-09-14 16:03:56 +08001835 break;
1836
Jerry Yua93ac112021-10-27 16:31:48 +08001837#if defined(MBEDTLS_KEY_EXCHANGE_WITH_CERT_ENABLED)
Jerry Yud2674312021-10-29 10:08:19 +08001838 case MBEDTLS_SSL_CERTIFICATE_REQUEST:
1839 ret = ssl_tls13_process_certificate_request( ssl );
1840 break;
1841
Jerry Yu687101b2021-09-14 16:03:56 +08001842 case MBEDTLS_SSL_SERVER_CERTIFICATE:
Xiaofei Bai746f9482021-11-12 08:53:56 +00001843 ret = ssl_tls13_process_server_certificate( ssl );
Jerry Yu687101b2021-09-14 16:03:56 +08001844 break;
1845
1846 case MBEDTLS_SSL_CERTIFICATE_VERIFY:
Xiaofei Bai746f9482021-11-12 08:53:56 +00001847 ret = ssl_tls13_process_certificate_verify( ssl );
Jerry Yu687101b2021-09-14 16:03:56 +08001848 break;
Jerry Yua93ac112021-10-27 16:31:48 +08001849#endif /* MBEDTLS_KEY_EXCHANGE_WITH_CERT_ENABLED */
Jerry Yu687101b2021-09-14 16:03:56 +08001850
1851 case MBEDTLS_SSL_SERVER_FINISHED:
Xiaofei Bai746f9482021-11-12 08:53:56 +00001852 ret = ssl_tls13_process_server_finished( ssl );
Jerry Yu687101b2021-09-14 16:03:56 +08001853 break;
1854
Jerry Yu687101b2021-09-14 16:03:56 +08001855 case MBEDTLS_SSL_CLIENT_FINISHED:
XiaokangQian74af2a82021-09-22 07:40:30 +00001856 ret = ssl_tls13_write_client_finished( ssl );
Jerry Yu687101b2021-09-14 16:03:56 +08001857 break;
1858
1859 case MBEDTLS_SSL_FLUSH_BUFFERS:
Xiaofei Bai746f9482021-11-12 08:53:56 +00001860 ret = ssl_tls13_flush_buffers( ssl );
Jerry Yu687101b2021-09-14 16:03:56 +08001861 break;
1862
1863 case MBEDTLS_SSL_HANDSHAKE_WRAPUP:
Xiaofei Bai746f9482021-11-12 08:53:56 +00001864 ret = ssl_tls13_handshake_wrapup( ssl );
Jerry Yu92c6b402021-08-27 16:59:09 +08001865 break;
1866
Ronald Cron49ad6192021-11-24 16:25:31 +01001867 /*
1868 * Injection of dummy-CCS's for middlebox compatibility
1869 */
1870#if defined(MBEDTLS_SSL_TLS1_3_COMPATIBILITY_MODE)
1871 case MBEDTLS_SSL_CLIENT_CCS_AFTER_SERVER_FINISHED:
XiaokangQian0b56a8f2021-12-22 02:39:32 +00001872 case MBEDTLS_SSL_CLIENT_CCS_BEFORE_2ND_CLIENT_HELLO:
Ronald Crond4c64022021-12-06 09:06:46 +01001873 ret = ssl_tls13_write_change_cipher_spec( ssl );
Ronald Cron49ad6192021-11-24 16:25:31 +01001874 break;
1875#endif /* MBEDTLS_SSL_TLS1_3_COMPATIBILITY_MODE */
1876
Jerry Yu92c6b402021-08-27 16:59:09 +08001877 default:
1878 MBEDTLS_SSL_DEBUG_MSG( 1, ( "invalid state %d", ssl->state ) );
1879 return( MBEDTLS_ERR_SSL_BAD_INPUT_DATA );
1880 }
1881
1882 return( ret );
1883}
Jerry Yu65dd2cc2021-08-18 16:38:40 +08001884
Jerry Yu3cc4c2a2021-08-06 16:29:08 +08001885#endif /* MBEDTLS_SSL_CLI_C */
1886
Ronald Cron6f135e12021-12-08 16:57:54 +01001887#endif /* MBEDTLS_SSL_PROTO_TLS1_3 */