blob: 6bcbad0364677f9860d83a9531be0fdfc7aa41b5 [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
XiaokangQianaec1f3e2022-01-26 06:57:00 +0000562#if defined(MBEDTLS_SSL_PROTO_DTLS)
XiaokangQian43550bd2022-01-21 04:32:58 +0000563 mbedtls_free( handshake->verify_cookie );
564 handshake->verify_cookie = mbedtls_calloc( 1, cookie_len );
565 if( handshake->verify_cookie == NULL )
566 {
567 MBEDTLS_SSL_DEBUG_MSG( 1,
568 ( "alloc failed ( %" MBEDTLS_PRINTF_SIZET " bytes )",
569 cookie_len ) );
570 return( MBEDTLS_ERR_SSL_ALLOC_FAILED );
571 }
572
573 memcpy( handshake->verify_cookie, p, cookie_len );
574 handshake->verify_cookie_len = (unsigned char) cookie_len;
XiaokangQianaec1f3e2022-01-26 06:57:00 +0000575#endif /* MBEDTLS_SSL_PROTO_DTLS */
XiaokangQian43550bd2022-01-21 04:32:58 +0000576
577 return( 0 );
578}
579#endif /* MBEDTLS_SSL_COOKIE_C */
580
Jerry Yu1bc2c1f2021-09-01 12:57:29 +0800581/* Write cipher_suites
Jerry Yu6a643102021-08-31 14:40:36 +0800582 * CipherSuite cipher_suites<2..2^16-2>;
583 */
Jerry Yu1bc2c1f2021-09-01 12:57:29 +0800584static int ssl_tls13_write_client_hello_cipher_suites(
Jerry Yu6a643102021-08-31 14:40:36 +0800585 mbedtls_ssl_context *ssl,
586 unsigned char *buf,
587 unsigned char *end,
Xiaofei Baid25fab62021-12-02 06:36:27 +0000588 size_t *out_len )
Jerry Yu6a643102021-08-31 14:40:36 +0800589{
Jerry Yufec982e2021-09-07 17:26:06 +0800590 unsigned char *p = buf;
Jerry Yu0c63af62021-09-02 12:59:12 +0800591 const int *ciphersuite_list;
Xiaofei Baieef15042021-11-18 07:29:56 +0000592 unsigned char *cipher_suites; /* Start of the cipher_suites list */
Jerry Yu1bc2c1f2021-09-01 12:57:29 +0800593 size_t cipher_suites_len;
Jerry Yu92c6b402021-08-27 16:59:09 +0800594
Xiaofei Baid25fab62021-12-02 06:36:27 +0000595 *out_len = 0 ;
Jerry Yu6a643102021-08-31 14:40:36 +0800596
597 /*
598 * Ciphersuite list
599 *
600 * This is a list of the symmetric cipher options supported by
601 * the client, specifically the record protection algorithm
602 * ( including secret key length ) and a hash to be used with
603 * HKDF, in descending order of client preference.
604 */
Jerry Yu0c63af62021-09-02 12:59:12 +0800605 ciphersuite_list = ssl->conf->ciphersuite_list;
Jerry Yu6a643102021-08-31 14:40:36 +0800606
Jerry Yu1bc2c1f2021-09-01 12:57:29 +0800607 /* Check there is space for the cipher suite list length (2 bytes). */
Jerry Yu4e388282021-09-06 21:28:08 +0800608 MBEDTLS_SSL_CHK_BUF_PTR( p, end, 2 );
609 p += 2;
Jerry Yu6a643102021-08-31 14:40:36 +0800610
Jerry Yu0c63af62021-09-02 12:59:12 +0800611 /* Write cipher_suites */
Xiaofei Baieef15042021-11-18 07:29:56 +0000612 cipher_suites = p;
Jerry Yu0c63af62021-09-02 12:59:12 +0800613 for ( size_t i = 0; ciphersuite_list[i] != 0; i++ )
Jerry Yu6a643102021-08-31 14:40:36 +0800614 {
Jerry Yu0c63af62021-09-02 12:59:12 +0800615 int cipher_suite = ciphersuite_list[i];
Jerry Yu1bc2c1f2021-09-01 12:57:29 +0800616 const mbedtls_ssl_ciphersuite_t *ciphersuite_info;
Jerry Yu6a643102021-08-31 14:40:36 +0800617
Jerry Yu1bc2c1f2021-09-01 12:57:29 +0800618 ciphersuite_info = mbedtls_ssl_ciphersuite_from_id( cipher_suite );
Jerry Yu6a643102021-08-31 14:40:36 +0800619 if( ciphersuite_info == NULL )
620 continue;
Jerry Yudbfb7bd2021-09-04 09:58:58 +0800621 if( !( MBEDTLS_SSL_MINOR_VERSION_4 >= ciphersuite_info->min_minor_ver &&
622 MBEDTLS_SSL_MINOR_VERSION_4 <= ciphersuite_info->max_minor_ver ) )
Jerry Yu6a643102021-08-31 14:40:36 +0800623 continue;
624
625 MBEDTLS_SSL_DEBUG_MSG( 3, ( "client hello, add ciphersuite: %04x, %s",
Jerry Yu1bc2c1f2021-09-01 12:57:29 +0800626 (unsigned int) cipher_suite,
Jerry Yu6a643102021-08-31 14:40:36 +0800627 ciphersuite_info->name ) );
628
Jerry Yu1bc2c1f2021-09-01 12:57:29 +0800629 /* Check there is space for the cipher suite identifier (2 bytes). */
Jerry Yubbe09522021-09-06 21:17:54 +0800630 MBEDTLS_SSL_CHK_BUF_PTR( p, end, 2 );
631 MBEDTLS_PUT_UINT16_BE( cipher_suite, p, 0 );
632 p += 2;
Jerry Yu6a643102021-08-31 14:40:36 +0800633 }
634
Jerry Yu0c63af62021-09-02 12:59:12 +0800635 /* Write the cipher_suites length in number of bytes */
Xiaofei Baieef15042021-11-18 07:29:56 +0000636 cipher_suites_len = p - cipher_suites;
Jerry Yu1bc2c1f2021-09-01 12:57:29 +0800637 MBEDTLS_PUT_UINT16_BE( cipher_suites_len, buf, 0 );
Jerry Yu6a643102021-08-31 14:40:36 +0800638 MBEDTLS_SSL_DEBUG_MSG( 3,
Jerry Yu1bc2c1f2021-09-01 12:57:29 +0800639 ( "client hello, got %" MBEDTLS_PRINTF_SIZET " cipher suites",
640 cipher_suites_len/2 ) );
Jerry Yu6a643102021-08-31 14:40:36 +0800641
Jerry Yu1bc2c1f2021-09-01 12:57:29 +0800642 /* Output the total length of cipher_suites field. */
Xiaofei Baid25fab62021-12-02 06:36:27 +0000643 *out_len = p - buf;
Jerry Yuf171e832021-08-31 18:31:09 +0800644
Jerry Yu6a643102021-08-31 14:40:36 +0800645 return( 0 );
646}
647
Jerry Yu1bc2c1f2021-09-01 12:57:29 +0800648/*
649 * Structure of ClientHello message:
650 *
651 * struct {
652 * ProtocolVersion legacy_version = 0x0303; // TLS v1.2
653 * Random random;
654 * opaque legacy_session_id<0..32>;
655 * CipherSuite cipher_suites<2..2^16-2>;
656 * opaque legacy_compression_methods<1..2^8-1>;
657 * Extension extensions<8..2^16-1>;
658 * } ClientHello;
659 */
Jerry Yu08906d02021-08-31 11:05:27 +0800660static int ssl_tls13_write_client_hello_body( mbedtls_ssl_context *ssl,
Jerry Yueecfbf02021-08-30 18:32:07 +0800661 unsigned char *buf,
Jerry Yuef387d72021-09-02 13:59:41 +0800662 unsigned char *end,
Xiaofei Baid25fab62021-12-02 06:36:27 +0000663 size_t *out_len )
Jerry Yu65dd2cc2021-08-18 16:38:40 +0800664{
Jerry Yubc20bdd2021-08-24 15:59:48 +0800665
Jerry Yubc20bdd2021-08-24 15:59:48 +0800666 int ret;
Xiaofei Baieef15042021-11-18 07:29:56 +0000667 unsigned char *p_extensions_len; /* Pointer to extensions length */
668 size_t output_len; /* Length of buffer used by function */
669 size_t extensions_len; /* Length of the list of extensions*/
Jerry Yubc20bdd2021-08-24 15:59:48 +0800670
Jerry Yubc20bdd2021-08-24 15:59:48 +0800671 /* Buffer management */
Jerry Yubbe09522021-09-06 21:17:54 +0800672 unsigned char *p = buf;
Jerry Yubc20bdd2021-08-24 15:59:48 +0800673
Xiaofei Baid25fab62021-12-02 06:36:27 +0000674 *out_len = 0;
Jerry Yubc20bdd2021-08-24 15:59:48 +0800675
Jerry Yu1bc2c1f2021-09-01 12:57:29 +0800676 /* No validation needed here. It has been done by ssl_conf_check() */
Jerry Yubc20bdd2021-08-24 15:59:48 +0800677 ssl->major_ver = ssl->conf->min_major_ver;
678 ssl->minor_ver = ssl->conf->min_minor_ver;
679
Jerry Yu1bc2c1f2021-09-01 12:57:29 +0800680 /*
681 * Write legacy_version
Jerry Yu6a643102021-08-31 14:40:36 +0800682 * ProtocolVersion legacy_version = 0x0303; // TLS v1.2
Jerry Yu1bc2c1f2021-09-01 12:57:29 +0800683 *
684 * For TLS 1.3 we use the legacy version number {0x03, 0x03}
Jerry Yubc20bdd2021-08-24 15:59:48 +0800685 * instead of the true version number.
Jerry Yubc20bdd2021-08-24 15:59:48 +0800686 */
Jerry Yufec982e2021-09-07 17:26:06 +0800687 MBEDTLS_SSL_CHK_BUF_PTR( p, end, 2 );
Jerry Yubbe09522021-09-06 21:17:54 +0800688 MBEDTLS_PUT_UINT16_BE( 0x0303, p, 0 );
Jerry Yufec982e2021-09-07 17:26:06 +0800689 p += 2;
Jerry Yubc20bdd2021-08-24 15:59:48 +0800690
Jerry Yu1bc2c1f2021-09-01 12:57:29 +0800691 /* Write the random bytes ( random ).*/
Jerry Yue6d7e5c2021-10-26 10:44:32 +0800692 MBEDTLS_SSL_CHK_BUF_PTR( p, end, MBEDTLS_CLIENT_HELLO_RANDOM_LEN );
693 memcpy( p, ssl->handshake->randbytes, MBEDTLS_CLIENT_HELLO_RANDOM_LEN );
Jerry Yue885b762021-08-26 17:32:34 +0800694 MBEDTLS_SSL_DEBUG_BUF( 3, "client hello, random bytes",
Jerry Yue6d7e5c2021-10-26 10:44:32 +0800695 p, MBEDTLS_CLIENT_HELLO_RANDOM_LEN );
696 p += MBEDTLS_CLIENT_HELLO_RANDOM_LEN;
Jerry Yubc20bdd2021-08-24 15:59:48 +0800697
Jerry Yu1bc2c1f2021-09-01 12:57:29 +0800698 /*
699 * Write legacy_session_id
700 *
701 * Versions of TLS before TLS 1.3 supported a "session resumption" feature
702 * which has been merged with pre-shared keys in this version. A client
703 * which has a cached session ID set by a pre-TLS 1.3 server SHOULD set
704 * this field to that value. In compatibility mode, this field MUST be
705 * non-empty, so a client not offering a pre-TLS 1.3 session MUST generate
706 * a new 32-byte value. This value need not be random but SHOULD be
707 * unpredictable to avoid implementations fixating on a specific value
708 * ( also known as ossification ). Otherwise, it MUST be set as a zero-length
709 * vector ( i.e., a zero-valued single byte length field ).
Jerry Yubc20bdd2021-08-24 15:59:48 +0800710 */
Ronald Cron49ad6192021-11-24 16:25:31 +0100711#if defined(MBEDTLS_SSL_TLS1_3_COMPATIBILITY_MODE)
712 MBEDTLS_SSL_CHK_BUF_PTR( p, end, ssl->session_negotiate->id_len + 1 );
713 *p++ = (unsigned char)ssl->session_negotiate->id_len;
714 memcpy( p, ssl->session_negotiate->id, ssl->session_negotiate->id_len );
715 p += ssl->session_negotiate->id_len;
716
717 MBEDTLS_SSL_DEBUG_BUF( 3, "session id", ssl->session_negotiate->id,
718 ssl->session_negotiate->id_len );
719#else
Jerry Yubbe09522021-09-06 21:17:54 +0800720 MBEDTLS_SSL_CHK_BUF_PTR( p, end, 1 );
721 *p++ = 0; /* session id length set to zero */
Ronald Cron49ad6192021-11-24 16:25:31 +0100722#endif /* MBEDTLS_SSL_TLS1_3_COMPATIBILITY_MODE */
Jerry Yubc20bdd2021-08-24 15:59:48 +0800723
Jerry Yu1bc2c1f2021-09-01 12:57:29 +0800724 /* Write cipher_suites */
Jerry Yubbe09522021-09-06 21:17:54 +0800725 ret = ssl_tls13_write_client_hello_cipher_suites( ssl, p, end, &output_len );
Jerry Yudbfb7bd2021-09-04 09:58:58 +0800726 if( ret != 0 )
Jerry Yu6a643102021-08-31 14:40:36 +0800727 return( ret );
Jerry Yubbe09522021-09-06 21:17:54 +0800728 p += output_len;
Jerry Yubc20bdd2021-08-24 15:59:48 +0800729
Jerry Yu1bc2c1f2021-09-01 12:57:29 +0800730 /* Write legacy_compression_methods
731 *
732 * For every TLS 1.3 ClientHello, this vector MUST contain exactly
Jerry Yubc20bdd2021-08-24 15:59:48 +0800733 * one byte set to zero, which corresponds to the 'null' compression
734 * method in prior versions of TLS.
Jerry Yubc20bdd2021-08-24 15:59:48 +0800735 */
Jerry Yubbe09522021-09-06 21:17:54 +0800736 MBEDTLS_SSL_CHK_BUF_PTR( p, end, 2 );
737 *p++ = 1;
738 *p++ = MBEDTLS_SSL_COMPRESS_NULL;
Jerry Yubc20bdd2021-08-24 15:59:48 +0800739
Jerry Yu1bc2c1f2021-09-01 12:57:29 +0800740 /* Write extensions */
741
742 /* Keeping track of the included extensions */
743 ssl->handshake->extensions_present = MBEDTLS_SSL_EXT_NONE;
Jerry Yubc20bdd2021-08-24 15:59:48 +0800744
745 /* First write extensions, then the total length */
Jerry Yubbe09522021-09-06 21:17:54 +0800746 MBEDTLS_SSL_CHK_BUF_PTR( p, end, 2 );
Xiaofei Baieef15042021-11-18 07:29:56 +0000747 p_extensions_len = p;
Jerry Yubbe09522021-09-06 21:17:54 +0800748 p += 2;
Jerry Yubc20bdd2021-08-24 15:59:48 +0800749
Jerry Yu1bc2c1f2021-09-01 12:57:29 +0800750 /* Write supported_versions extension
Jerry Yubc20bdd2021-08-24 15:59:48 +0800751 *
Jerry Yu1bc2c1f2021-09-01 12:57:29 +0800752 * Supported Versions Extension is mandatory with TLS 1.3.
Jerry Yubc20bdd2021-08-24 15:59:48 +0800753 */
Jerry Yubbe09522021-09-06 21:17:54 +0800754 ret = ssl_tls13_write_supported_versions_ext( ssl, p, end, &output_len );
Jerry Yu92c6b402021-08-27 16:59:09 +0800755 if( ret != 0 )
756 return( ret );
Jerry Yubbe09522021-09-06 21:17:54 +0800757 p += output_len;
Jerry Yubc20bdd2021-08-24 15:59:48 +0800758
759#if defined(MBEDTLS_KEY_EXCHANGE_WITH_CERT_ENABLED)
Jerry Yubc20bdd2021-08-24 15:59:48 +0800760
Jerry Yub925f212022-01-12 11:17:02 +0800761 /*
762 * Add the extensions related to (EC)DHE ephemeral key establishment only if
763 * enabled as per the configuration.
Jerry Yubc20bdd2021-08-24 15:59:48 +0800764 */
Jerry Yuf46b0162022-01-11 16:28:00 +0800765 if( mbedtls_ssl_conf_tls13_some_ephemeral_enabled( ssl ) )
766 {
767 ret = mbedtls_ssl_write_supported_groups_ext( ssl, p, end, &output_len );
768 if( ret != 0 )
769 return( ret );
770 p += output_len;
Jerry Yu6a643102021-08-31 14:40:36 +0800771
Jerry Yuf46b0162022-01-11 16:28:00 +0800772 ret = ssl_tls13_write_key_share_ext( ssl, p, end, &output_len );
773 if( ret != 0 )
774 return( ret );
775 p += output_len;
Jerry Yu1bc2c1f2021-09-01 12:57:29 +0800776
Jerry Yuf017ee42022-01-12 15:49:48 +0800777 ret = mbedtls_ssl_write_sig_alg_ext( ssl, p, end, &output_len );
Jerry Yuf46b0162022-01-11 16:28:00 +0800778 if( ret != 0 )
779 return( ret );
780 p += output_len;
781 }
Jerry Yubc20bdd2021-08-24 15:59:48 +0800782#endif /* MBEDTLS_KEY_EXCHANGE_WITH_CERT_ENABLED */
783
Xiaofei Bai15a56812021-11-05 10:52:12 +0000784#if defined(MBEDTLS_SSL_SERVER_NAME_INDICATION)
Xiaofei Bai58afdba2021-11-09 03:10:05 +0000785 /* Write server name extension */
Xiaofei Bai15a56812021-11-05 10:52:12 +0000786 ret = mbedtls_ssl_write_hostname_ext( ssl, p, end, &output_len );
787 if( ret != 0 )
788 return( ret );
789 p += output_len;
790#endif /* MBEDTLS_SSL_SERVER_NAME_INDICATION */
791
Jerry Yubc20bdd2021-08-24 15:59:48 +0800792 /* Add more extensions here */
793
Jerry Yu1bc2c1f2021-09-01 12:57:29 +0800794 /* Write the length of the list of extensions. */
Xiaofei Baieef15042021-11-18 07:29:56 +0000795 extensions_len = p - p_extensions_len - 2;
796 MBEDTLS_PUT_UINT16_BE( extensions_len, p_extensions_len, 0 );
Jerry Yubc20bdd2021-08-24 15:59:48 +0800797 MBEDTLS_SSL_DEBUG_MSG( 3, ( "client hello, total extension length: %" MBEDTLS_PRINTF_SIZET ,
Jerry Yu790656a2021-09-01 15:51:48 +0800798 extensions_len ) );
Xiaofei Baieef15042021-11-18 07:29:56 +0000799 MBEDTLS_SSL_DEBUG_BUF( 3, "client hello extensions", p_extensions_len, extensions_len );
Jerry Yubc20bdd2021-08-24 15:59:48 +0800800
Xiaofei Baid25fab62021-12-02 06:36:27 +0000801 *out_len = p - buf;
Jerry Yubc20bdd2021-08-24 15:59:48 +0800802 return( 0 );
803}
804
Jerry Yu335aca92021-09-12 20:18:56 +0800805static int ssl_tls13_finalize_client_hello( mbedtls_ssl_context *ssl )
Jerry Yubc20bdd2021-08-24 15:59:48 +0800806{
Jerry Yu92c6b402021-08-27 16:59:09 +0800807 mbedtls_ssl_handshake_set_state( ssl, MBEDTLS_SSL_SERVER_HELLO );
808 return( 0 );
809}
Jerry Yuef6b36b2021-08-24 16:29:02 +0800810
Jerry Yu92c6b402021-08-27 16:59:09 +0800811static int ssl_tls13_prepare_client_hello( mbedtls_ssl_context *ssl )
812{
813 int ret;
Jerry Yuef6b36b2021-08-24 16:29:02 +0800814
Jerry Yu92c6b402021-08-27 16:59:09 +0800815 if( ssl->conf->f_rng == NULL )
816 {
817 MBEDTLS_SSL_DEBUG_MSG( 1, ( "no RNG provided" ) );
818 return( MBEDTLS_ERR_SSL_NO_RNG );
819 }
Jerry Yuef6b36b2021-08-24 16:29:02 +0800820
Jerry Yu92c6b402021-08-27 16:59:09 +0800821 if( ( ret = ssl->conf->f_rng( ssl->conf->p_rng,
822 ssl->handshake->randbytes,
Jerry Yue6d7e5c2021-10-26 10:44:32 +0800823 MBEDTLS_CLIENT_HELLO_RANDOM_LEN ) ) != 0 )
Jerry Yu92c6b402021-08-27 16:59:09 +0800824 {
Jerry Yu8c02bb42021-09-03 21:09:22 +0800825 MBEDTLS_SSL_DEBUG_RET( 1, "f_rng", ret );
Jerry Yu92c6b402021-08-27 16:59:09 +0800826 return( ret );
827 }
Jerry Yu6f13f642021-08-26 17:18:15 +0800828
Ronald Cron49ad6192021-11-24 16:25:31 +0100829#if defined(MBEDTLS_SSL_TLS1_3_COMPATIBILITY_MODE)
830 /*
831 * Create a session identifier for the purpose of middlebox compatibility
832 * only if one has not been created already.
833 */
834 if( ssl->session_negotiate->id_len == 0 )
835 {
836 /* Creating a session id with 32 byte length */
837 if( ( ret = ssl->conf->f_rng( ssl->conf->p_rng,
838 ssl->session_negotiate->id, 32 ) ) != 0 )
839 {
840 MBEDTLS_SSL_DEBUG_RET( 1, "creating session id failed", ret );
841 return( ret );
842 }
843 ssl->session_negotiate->id_len = 32;
844 }
845#endif /* MBEDTLS_SSL_TLS1_3_COMPATIBILITY_MODE */
846
Jerry Yu6f13f642021-08-26 17:18:15 +0800847 return( 0 );
Jerry Yubc20bdd2021-08-24 15:59:48 +0800848}
849
Jerry Yu92c6b402021-08-27 16:59:09 +0800850/*
Jerry Yu159c5a02021-08-31 12:51:25 +0800851 * Write ClientHello handshake message.
Jerry Yu687101b2021-09-14 16:03:56 +0800852 * Handler for MBEDTLS_SSL_CLIENT_HELLO
Jerry Yu92c6b402021-08-27 16:59:09 +0800853 */
854static int ssl_tls13_write_client_hello( mbedtls_ssl_context *ssl )
Jerry Yubc20bdd2021-08-24 15:59:48 +0800855{
Jerry Yu92c6b402021-08-27 16:59:09 +0800856 int ret = 0;
857 unsigned char *buf;
858 size_t buf_len, msg_len;
859
860 MBEDTLS_SSL_DEBUG_MSG( 2, ( "=> write client hello" ) );
861
Jerry Yu2c0fbf32021-09-02 13:53:46 +0800862 MBEDTLS_SSL_PROC_CHK( ssl_tls13_prepare_client_hello( ssl ) );
Jerry Yu92c6b402021-08-27 16:59:09 +0800863
Jerry Yu2c0fbf32021-09-02 13:53:46 +0800864 MBEDTLS_SSL_PROC_CHK( mbedtls_ssl_tls13_start_handshake_msg(
865 ssl, MBEDTLS_SSL_HS_CLIENT_HELLO,
866 &buf, &buf_len ) );
Jerry Yu92c6b402021-08-27 16:59:09 +0800867
Jerry Yu2c0fbf32021-09-02 13:53:46 +0800868 MBEDTLS_SSL_PROC_CHK( ssl_tls13_write_client_hello_body( ssl, buf,
Jerry Yuef387d72021-09-02 13:59:41 +0800869 buf + buf_len,
Jerry Yu2c0fbf32021-09-02 13:53:46 +0800870 &msg_len ) );
Jerry Yu92c6b402021-08-27 16:59:09 +0800871
Jerry Yu2c0fbf32021-09-02 13:53:46 +0800872 mbedtls_ssl_tls13_add_hs_hdr_to_checksum( ssl,
873 MBEDTLS_SSL_HS_CLIENT_HELLO,
Jerry Yu0c63af62021-09-02 12:59:12 +0800874 msg_len );
875 ssl->handshake->update_checksum( ssl, buf, msg_len );
Jerry Yu92c6b402021-08-27 16:59:09 +0800876
Jerry Yu2c0fbf32021-09-02 13:53:46 +0800877 MBEDTLS_SSL_PROC_CHK( ssl_tls13_finalize_client_hello( ssl ) );
878 MBEDTLS_SSL_PROC_CHK( mbedtls_ssl_tls13_finish_handshake_msg( ssl,
879 buf_len,
880 msg_len ) );
Jerry Yu92c6b402021-08-27 16:59:09 +0800881
882cleanup:
883
884 MBEDTLS_SSL_DEBUG_MSG( 2, ( "<= write client hello" ) );
885 return ret;
Jerry Yu65dd2cc2021-08-18 16:38:40 +0800886}
887
Jerry Yu687101b2021-09-14 16:03:56 +0800888/*
Jerry Yu4a173382021-10-11 21:45:31 +0800889 * Functions for parsing and processing Server Hello
Jerry Yue1b9c292021-09-10 10:08:31 +0800890 */
Jerry Yu7a186a02021-10-15 18:46:14 +0800891/* Returns a negative value on failure, and otherwise
Jerry Yub85277e2021-10-13 13:36:05 +0800892 * - SSL_SERVER_HELLO_COORDINATE_HELLO or
893 * - SSL_SERVER_HELLO_COORDINATE_HRR
XiaokangQian51eff222021-12-10 10:33:56 +0000894 * to indicate which message is expected and to be parsed next.
895 */
Jerry Yub85277e2021-10-13 13:36:05 +0800896#define SSL_SERVER_HELLO_COORDINATE_HELLO 0
897#define SSL_SERVER_HELLO_COORDINATE_HRR 1
898static int ssl_server_hello_is_hrr( mbedtls_ssl_context *ssl,
899 const unsigned char *buf,
900 const unsigned char *end )
Jerry Yue1b9c292021-09-10 10:08:31 +0800901{
Jerry Yue6d7e5c2021-10-26 10:44:32 +0800902 static const unsigned char magic_hrr_string[MBEDTLS_SERVER_HELLO_RANDOM_LEN] =
Jerry Yue1b9c292021-09-10 10:08:31 +0800903 { 0xCF, 0x21, 0xAD, 0x74, 0xE5, 0x9A, 0x61, 0x11,
904 0xBE, 0x1D, 0x8C, 0x02, 0x1E, 0x65, 0xB8, 0x91,
905 0xC2, 0xA2, 0x11, 0x16, 0x7A, 0xBB, 0x8C, 0x5E,
906 0x07, 0x9E, 0x09, 0xE2, 0xC8, 0xA8, 0x33 ,0x9C };
907
908 /* Check whether this message is a HelloRetryRequest ( HRR ) message.
909 *
Jerry Yu4a173382021-10-11 21:45:31 +0800910 * Server Hello and HRR are only distinguished by Random set to the
Jerry Yue1b9c292021-09-10 10:08:31 +0800911 * special value of the SHA-256 of "HelloRetryRequest".
912 *
913 * struct {
914 * ProtocolVersion legacy_version = 0x0303;
915 * Random random;
916 * opaque legacy_session_id_echo<0..32>;
917 * CipherSuite cipher_suite;
918 * uint8 legacy_compression_method = 0;
Jerry Yub85277e2021-10-13 13:36:05 +0800919 * Extension extensions<6..2^16-1>;
Jerry Yue1b9c292021-09-10 10:08:31 +0800920 * } ServerHello;
921 *
922 */
Jerry Yub85277e2021-10-13 13:36:05 +0800923 MBEDTLS_SSL_CHK_BUF_READ_PTR( buf, end, 2 + sizeof( magic_hrr_string ) );
Jerry Yu4a173382021-10-11 21:45:31 +0800924
925 if( memcmp( buf + 2, magic_hrr_string, sizeof( magic_hrr_string ) ) == 0 )
Jerry Yue1b9c292021-09-10 10:08:31 +0800926 {
Jerry Yub85277e2021-10-13 13:36:05 +0800927 return( SSL_SERVER_HELLO_COORDINATE_HRR );
Jerry Yue1b9c292021-09-10 10:08:31 +0800928 }
929
Jerry Yub85277e2021-10-13 13:36:05 +0800930 return( SSL_SERVER_HELLO_COORDINATE_HELLO );
Jerry Yue1b9c292021-09-10 10:08:31 +0800931}
932
Jerry Yu745bb612021-10-13 22:01:04 +0800933/* Fetch and preprocess
934 * Returns a negative value on failure, and otherwise
935 * - SSL_SERVER_HELLO_COORDINATE_HELLO or
936 * - SSL_SERVER_HELLO_COORDINATE_HRR
937 */
Jerry Yub85277e2021-10-13 13:36:05 +0800938static int ssl_tls13_server_hello_coordinate( mbedtls_ssl_context *ssl,
939 unsigned char **buf,
940 size_t *buf_len )
Jerry Yue1b9c292021-09-10 10:08:31 +0800941{
Jerry Yu4a173382021-10-11 21:45:31 +0800942 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Jerry Yue1b9c292021-09-10 10:08:31 +0800943
XiaokangQian355e09a2022-01-20 11:14:50 +0000944 MBEDTLS_SSL_PROC_CHK( mbedtls_ssl_tls13_fetch_handshake_msg( ssl,
945 MBEDTLS_SSL_HS_SERVER_HELLO,
946 buf, buf_len ) );
Jerry Yue1b9c292021-09-10 10:08:31 +0800947
Jerry Yub85277e2021-10-13 13:36:05 +0800948 ret = ssl_server_hello_is_hrr( ssl, *buf, *buf + *buf_len );
949 switch( ret )
Jerry Yue1b9c292021-09-10 10:08:31 +0800950 {
Jerry Yu745bb612021-10-13 22:01:04 +0800951 case SSL_SERVER_HELLO_COORDINATE_HELLO:
952 MBEDTLS_SSL_DEBUG_MSG( 2, ( "received ServerHello message" ) );
953 break;
954 case SSL_SERVER_HELLO_COORDINATE_HRR:
955 MBEDTLS_SSL_DEBUG_MSG( 2, ( "received HelloRetryRequest message" ) );
XiaokangQian16acd4b2022-01-14 07:35:47 +0000956 /* If a client receives a second
957 * HelloRetryRequest in the same connection (i.e., where the ClientHello
958 * was itself in response to a HelloRetryRequest), it MUST abort the
959 * handshake with an "unexpected_message" alert.
960 */
XiaokangQiand9e068e2022-01-18 06:23:32 +0000961 if( ssl->handshake->hello_retry_request_count > 0 )
XiaokangQian16acd4b2022-01-14 07:35:47 +0000962 {
963 MBEDTLS_SSL_DEBUG_MSG( 1, ( "Multiple HRRs received" ) );
964 MBEDTLS_SSL_PEND_FATAL_ALERT( MBEDTLS_SSL_ALERT_MSG_UNEXPECTED_MESSAGE,
965 MBEDTLS_ERR_SSL_UNEXPECTED_MESSAGE );
966 return( MBEDTLS_ERR_SSL_UNEXPECTED_MESSAGE );
967 }
XiaokangQian2b01dc32022-01-21 02:53:13 +0000968 /*
969 * Clients must abort the handshake with an "illegal_parameter"
970 * alert if the HelloRetryRequest would not result in any change
971 * in the ClientHello.
972 * In a PSK only key exchange that what we expect.
973 */
974 if( ! mbedtls_ssl_conf_tls13_some_ephemeral_enabled( ssl ) )
975 {
976 MBEDTLS_SSL_DEBUG_MSG( 1,
977 ( "Unexpected HRR in pure PSK key exchange." ) );
978 MBEDTLS_SSL_PEND_FATAL_ALERT(
979 MBEDTLS_SSL_ALERT_MSG_ILLEGAL_PARAMETER,
980 MBEDTLS_ERR_SSL_ILLEGAL_PARAMETER);
981 return( MBEDTLS_ERR_SSL_ILLEGAL_PARAMETER );
982 }
XiaokangQian16acd4b2022-01-14 07:35:47 +0000983
XiaokangQiand9e068e2022-01-18 06:23:32 +0000984 ssl->handshake->hello_retry_request_count++;
XiaokangQian16acd4b2022-01-14 07:35:47 +0000985
Jerry Yu745bb612021-10-13 22:01:04 +0800986 break;
Jerry Yue1b9c292021-09-10 10:08:31 +0800987 }
988
989cleanup:
990
991 return( ret );
992}
993
Jerry Yu4a173382021-10-11 21:45:31 +0800994static int ssl_tls13_check_server_hello_session_id_echo( mbedtls_ssl_context *ssl,
995 const unsigned char **buf,
996 const unsigned char *end )
Jerry Yue1b9c292021-09-10 10:08:31 +0800997{
998 const unsigned char *p = *buf;
Jerry Yu4a173382021-10-11 21:45:31 +0800999 size_t legacy_session_id_echo_len;
Jerry Yue1b9c292021-09-10 10:08:31 +08001000
Jerry Yude4fb2c2021-09-19 18:05:08 +08001001 MBEDTLS_SSL_CHK_BUF_READ_PTR( p, end, 1 );
Jerry Yu4a173382021-10-11 21:45:31 +08001002 legacy_session_id_echo_len = *p++ ;
Jerry Yue1b9c292021-09-10 10:08:31 +08001003
Jerry Yu4a173382021-10-11 21:45:31 +08001004 MBEDTLS_SSL_CHK_BUF_READ_PTR( p, end, legacy_session_id_echo_len );
Jerry Yue1b9c292021-09-10 10:08:31 +08001005
1006 /* legacy_session_id_echo */
Jerry Yu4a173382021-10-11 21:45:31 +08001007 if( ssl->session_negotiate->id_len != legacy_session_id_echo_len ||
1008 memcmp( ssl->session_negotiate->id, p , legacy_session_id_echo_len ) != 0 )
Jerry Yue1b9c292021-09-10 10:08:31 +08001009 {
Jerry Yue1b9c292021-09-10 10:08:31 +08001010 MBEDTLS_SSL_DEBUG_BUF( 3, "Expected Session ID",
1011 ssl->session_negotiate->id,
1012 ssl->session_negotiate->id_len );
1013 MBEDTLS_SSL_DEBUG_BUF( 3, "Received Session ID", p,
Jerry Yu4a173382021-10-11 21:45:31 +08001014 legacy_session_id_echo_len );
1015
1016 MBEDTLS_SSL_PEND_FATAL_ALERT( MBEDTLS_SSL_ALERT_MSG_ILLEGAL_PARAMETER,
1017 MBEDTLS_ERR_SSL_ILLEGAL_PARAMETER);
1018
Jerry Yue1b9c292021-09-10 10:08:31 +08001019 return( MBEDTLS_ERR_SSL_ILLEGAL_PARAMETER );
1020 }
1021
Jerry Yu4a173382021-10-11 21:45:31 +08001022 p += legacy_session_id_echo_len;
Jerry Yue1b9c292021-09-10 10:08:31 +08001023 *buf = p;
1024
1025 MBEDTLS_SSL_DEBUG_BUF( 3, "Session ID", ssl->session_negotiate->id,
Jerry Yu4a173382021-10-11 21:45:31 +08001026 ssl->session_negotiate->id_len );
Jerry Yue1b9c292021-09-10 10:08:31 +08001027 return( 0 );
1028}
1029
Jerry Yu4a173382021-10-11 21:45:31 +08001030static int ssl_tls13_cipher_suite_is_offered( mbedtls_ssl_context *ssl,
1031 int cipher_suite )
Jerry Yue1b9c292021-09-10 10:08:31 +08001032{
Jerry Yu4a173382021-10-11 21:45:31 +08001033 const int *ciphersuite_list = ssl->conf->ciphersuite_list;
1034
Jerry Yue1b9c292021-09-10 10:08:31 +08001035 /* Check whether we have offered this ciphersuite */
Jerry Yu4a173382021-10-11 21:45:31 +08001036 for ( size_t i = 0; ciphersuite_list[i] != 0; i++ )
Jerry Yue1b9c292021-09-10 10:08:31 +08001037 {
Jerry Yu4a173382021-10-11 21:45:31 +08001038 if( ciphersuite_list[i] == cipher_suite )
Jerry Yue1b9c292021-09-10 10:08:31 +08001039 {
1040 return( 1 );
1041 }
1042 }
1043 return( 0 );
1044}
1045
1046/* Parse ServerHello message and configure context
1047 *
1048 * struct {
1049 * ProtocolVersion legacy_version = 0x0303; // TLS 1.2
1050 * Random random;
1051 * opaque legacy_session_id_echo<0..32>;
1052 * CipherSuite cipher_suite;
1053 * uint8 legacy_compression_method = 0;
Jerry Yub85277e2021-10-13 13:36:05 +08001054 * Extension extensions<6..2^16-1>;
Jerry Yue1b9c292021-09-10 10:08:31 +08001055 * } ServerHello;
1056 */
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;
XiaokangQianb119a352022-01-26 03:29:10 +00001070 int fatal_alert = 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 {
XiaokangQianb119a352022-01-26 03:29:10 +00001124 fatal_alert = MBEDTLS_ERR_SSL_ILLEGAL_PARAMETER;
XiaokangQiand59be772022-01-24 10:12:51 +00001125 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 {
XiaokangQianb119a352022-01-26 03:29:10 +00001148 fatal_alert = 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 {
XiaokangQianb119a352022-01-26 03:29:10 +00001159 fatal_alert = MBEDTLS_ERR_SSL_ILLEGAL_PARAMETER;
XiaokangQian355e09a2022-01-20 11:14:50 +00001160 }
XiaokangQian53f20b72022-01-18 10:47:33 +00001161
XiaokangQianb119a352022-01-26 03:29:10 +00001162 if( fatal_alert == MBEDTLS_ERR_SSL_ILLEGAL_PARAMETER )
XiaokangQian355e09a2022-01-20 11:14:50 +00001163 {
1164 MBEDTLS_SSL_DEBUG_MSG( 1, ( "invalid ciphersuite(%04x) parameter",
1165 cipher_suite ) );
XiaokangQiand59be772022-01-24 10:12:51 +00001166 goto cleanup;
XiaokangQian53f20b72022-01-18 10:47:33 +00001167 }
Jerry Yue1b9c292021-09-10 10:08:31 +08001168
Jerry Yu4a173382021-10-11 21:45:31 +08001169 /* Configure ciphersuites */
1170 mbedtls_ssl_optimize_checksum( ssl, ciphersuite_info );
1171
XiaokangQian355e09a2022-01-20 11:14:50 +00001172 handshake->ciphersuite_info = ciphersuite_info;
Jerry Yue1b9c292021-09-10 10:08:31 +08001173 ssl->session_negotiate->ciphersuite = cipher_suite;
1174
Jerry Yue1b9c292021-09-10 10:08:31 +08001175 MBEDTLS_SSL_DEBUG_MSG( 3, ( "server hello, chosen ciphersuite: ( %04x ) - %s",
1176 cipher_suite, ciphersuite_info->name ) );
1177
1178#if defined(MBEDTLS_HAVE_TIME)
1179 ssl->session_negotiate->start = time( NULL );
1180#endif /* MBEDTLS_HAVE_TIME */
1181
Jerry Yu4a173382021-10-11 21:45:31 +08001182 /* ...
1183 * uint8 legacy_compression_method = 0;
1184 * ...
Jerry Yue1b9c292021-09-10 10:08:31 +08001185 */
Jerry Yude4fb2c2021-09-19 18:05:08 +08001186 MBEDTLS_SSL_CHK_BUF_READ_PTR( p, end, 1 );
Jerry Yue1b9c292021-09-10 10:08:31 +08001187 if( p[0] != 0 )
1188 {
Jerry Yub85277e2021-10-13 13:36:05 +08001189 MBEDTLS_SSL_DEBUG_MSG( 1, ( "bad legacy compression method" ) );
XiaokangQianb119a352022-01-26 03:29:10 +00001190 fatal_alert = MBEDTLS_ERR_SSL_ILLEGAL_PARAMETER;
XiaokangQiand59be772022-01-24 10:12:51 +00001191 goto cleanup;
Jerry Yue1b9c292021-09-10 10:08:31 +08001192 }
1193 p++;
1194
Jerry Yub85277e2021-10-13 13:36:05 +08001195 /* ...
1196 * Extension extensions<6..2^16-1>;
1197 * ...
Jerry Yu4a173382021-10-11 21:45:31 +08001198 * struct {
1199 * ExtensionType extension_type; (2 bytes)
1200 * opaque extension_data<0..2^16-1>;
1201 * } Extension;
1202 */
Jerry Yude4fb2c2021-09-19 18:05:08 +08001203 MBEDTLS_SSL_CHK_BUF_READ_PTR( p, end, 2 );
Jerry Yu4a173382021-10-11 21:45:31 +08001204 extensions_len = MBEDTLS_GET_UINT16_BE( p, 0 );
Jerry Yue1b9c292021-09-10 10:08:31 +08001205 p += 2;
Jerry Yude4fb2c2021-09-19 18:05:08 +08001206
Jerry Yu4a173382021-10-11 21:45:31 +08001207 /* Check extensions do not go beyond the buffer of data. */
1208 MBEDTLS_SSL_CHK_BUF_READ_PTR( p, end, extensions_len );
1209 extensions_end = p + extensions_len;
Jerry Yue1b9c292021-09-10 10:08:31 +08001210
Jerry Yu4a173382021-10-11 21:45:31 +08001211 MBEDTLS_SSL_DEBUG_BUF( 3, "server hello extensions", p, extensions_len );
Jerry Yue1b9c292021-09-10 10:08:31 +08001212
Jerry Yu4a173382021-10-11 21:45:31 +08001213 while( p < extensions_end )
Jerry Yue1b9c292021-09-10 10:08:31 +08001214 {
1215 unsigned int extension_type;
1216 size_t extension_data_len;
XiaokangQian43550bd2022-01-21 04:32:58 +00001217 const unsigned char *extension_data_end;
Jerry Yue1b9c292021-09-10 10:08:31 +08001218
Jerry Yu4a173382021-10-11 21:45:31 +08001219 MBEDTLS_SSL_CHK_BUF_READ_PTR( p, extensions_end, 4 );
Jerry Yue1b9c292021-09-10 10:08:31 +08001220 extension_type = MBEDTLS_GET_UINT16_BE( p, 0 );
1221 extension_data_len = MBEDTLS_GET_UINT16_BE( p, 2 );
1222 p += 4;
1223
Jerry Yu4a173382021-10-11 21:45:31 +08001224 MBEDTLS_SSL_CHK_BUF_READ_PTR( p, extensions_end, extension_data_len );
XiaokangQian43550bd2022-01-21 04:32:58 +00001225 extension_data_end = p + extension_data_len;
Jerry Yue1b9c292021-09-10 10:08:31 +08001226
1227 switch( extension_type )
1228 {
XiaokangQianb851da82022-01-14 04:03:11 +00001229#if defined(MBEDTLS_SSL_COOKIE_C)
1230 case MBEDTLS_TLS_EXT_COOKIE:
XiaokangQianaec1f3e2022-01-26 06:57:00 +00001231 /*
1232 * Currently, we only support the cookies in DTLS 1.3.
1233 */
1234#if !defined(MBEDTLS_SSL_PROTO_DTLS)
1235 fatal_alert = MBEDTLS_ERR_SSL_UNSUPPORTED_EXTENSION;
1236 goto cleanup;
1237#else
XiaokangQianb851da82022-01-14 04:03:11 +00001238
XiaokangQiand9e068e2022-01-18 06:23:32 +00001239 if( !is_hrr )
1240 {
XiaokangQianb119a352022-01-26 03:29:10 +00001241 fatal_alert = MBEDTLS_ERR_SSL_UNSUPPORTED_EXTENSION;
XiaokangQiand59be772022-01-24 10:12:51 +00001242 goto cleanup;
XiaokangQiand9e068e2022-01-18 06:23:32 +00001243 }
1244
XiaokangQian43550bd2022-01-21 04:32:58 +00001245 ret = ssl_tls13_parse_cookie_ext( ssl,
1246 p, extension_data_end );
1247 if( ret != 0 )
XiaokangQianb851da82022-01-14 04:03:11 +00001248 {
XiaokangQian43550bd2022-01-21 04:32:58 +00001249 MBEDTLS_SSL_DEBUG_RET( 1,
1250 "ssl_tls13_parse_cookie_ext",
1251 ret );
XiaokangQiand59be772022-01-24 10:12:51 +00001252 goto cleanup;
XiaokangQianb851da82022-01-14 04:03:11 +00001253 }
XiaokangQianaec1f3e2022-01-26 06:57:00 +00001254#endif /* MBEDTLS_SSL_PROTO_DTLS */
XiaokangQianb851da82022-01-14 04:03:11 +00001255 break;
1256#endif /* MBEDTLS_SSL_COOKIE_C */
1257
Jerry Yue1b9c292021-09-10 10:08:31 +08001258 case MBEDTLS_TLS_EXT_SUPPORTED_VERSIONS:
XiaokangQian78b1fa72022-01-19 06:56:30 +00001259 supported_versions_ext_found = 1;
Jerry Yue1b9c292021-09-10 10:08:31 +08001260 MBEDTLS_SSL_DEBUG_MSG( 3,
1261 ( "found supported_versions extension" ) );
1262
Jerry Yuc068b662021-10-11 22:30:19 +08001263 ret = ssl_tls13_parse_supported_versions_ext( ssl,
Jerry Yub85277e2021-10-13 13:36:05 +08001264 p,
XiaokangQian43550bd2022-01-21 04:32:58 +00001265 extension_data_end );
Jerry Yue1b9c292021-09-10 10:08:31 +08001266 if( ret != 0 )
XiaokangQiand59be772022-01-24 10:12:51 +00001267 goto cleanup;
Jerry Yue1b9c292021-09-10 10:08:31 +08001268 break;
1269
1270 case MBEDTLS_TLS_EXT_PRE_SHARED_KEY:
1271 MBEDTLS_SSL_DEBUG_MSG( 3, ( "found pre_shared_key extension." ) );
1272 MBEDTLS_SSL_DEBUG_MSG( 3, ( "pre_shared_key:Not supported yet" ) );
Jerry Yu4a173382021-10-11 21:45:31 +08001273
XiaokangQianb119a352022-01-26 03:29:10 +00001274 fatal_alert = MBEDTLS_ERR_SSL_UNSUPPORTED_EXTENSION;
XiaokangQiand59be772022-01-24 10:12:51 +00001275 goto cleanup;
Jerry Yue1b9c292021-09-10 10:08:31 +08001276
1277#if defined(MBEDTLS_KEY_EXCHANGE_WITH_CERT_ENABLED)
1278 case MBEDTLS_TLS_EXT_KEY_SHARE:
1279 MBEDTLS_SSL_DEBUG_MSG( 3, ( "found key_shares extension" ) );
XiaokangQiand59be772022-01-24 10:12:51 +00001280 if( ! mbedtls_ssl_conf_tls13_some_ephemeral_enabled( ssl ) )
1281 {
XiaokangQianb119a352022-01-26 03:29:10 +00001282 fatal_alert = MBEDTLS_ERR_SSL_UNSUPPORTED_EXTENSION;
XiaokangQiand59be772022-01-24 10:12:51 +00001283 goto cleanup;
1284 }
1285
XiaokangQian53f20b72022-01-18 10:47:33 +00001286 if( is_hrr )
XiaokangQiand9e068e2022-01-18 06:23:32 +00001287 ret = ssl_tls13_parse_hrr_key_share_ext( ssl,
XiaokangQian43550bd2022-01-21 04:32:58 +00001288 p, extension_data_end );
XiaokangQian53f20b72022-01-18 10:47:33 +00001289 else
XiaokangQianb851da82022-01-14 04:03:11 +00001290 ret = ssl_tls13_parse_key_share_ext( ssl,
XiaokangQian43550bd2022-01-21 04:32:58 +00001291 p, extension_data_end );
XiaokangQianb851da82022-01-14 04:03:11 +00001292 if( ret != 0 )
Jerry Yue1b9c292021-09-10 10:08:31 +08001293 {
1294 MBEDTLS_SSL_DEBUG_RET( 1,
Jerry Yu4a173382021-10-11 21:45:31 +08001295 "ssl_tls13_parse_key_share_ext",
Jerry Yue1b9c292021-09-10 10:08:31 +08001296 ret );
XiaokangQiand59be772022-01-24 10:12:51 +00001297 goto cleanup;
Jerry Yue1b9c292021-09-10 10:08:31 +08001298 }
1299 break;
1300#endif /* MBEDTLS_KEY_EXCHANGE_WITH_CERT_ENABLED */
1301
1302 default:
Jerry Yu4a173382021-10-11 21:45:31 +08001303 MBEDTLS_SSL_DEBUG_MSG(
1304 3,
1305 ( "unknown extension found: %u ( ignoring )",
1306 extension_type ) );
1307
XiaokangQianb119a352022-01-26 03:29:10 +00001308 fatal_alert = MBEDTLS_ERR_SSL_UNSUPPORTED_EXTENSION;
XiaokangQiand59be772022-01-24 10:12:51 +00001309 goto cleanup;
Jerry Yue1b9c292021-09-10 10:08:31 +08001310 }
1311
1312 p += extension_data_len;
1313 }
1314
XiaokangQian78b1fa72022-01-19 06:56:30 +00001315 if( !supported_versions_ext_found )
XiaokangQian53f20b72022-01-18 10:47:33 +00001316 {
XiaokangQian78b1fa72022-01-19 06:56:30 +00001317 MBEDTLS_SSL_DEBUG_MSG( 1, ( "supported_versions not found" ) );
XiaokangQianb119a352022-01-26 03:29:10 +00001318 fatal_alert = MBEDTLS_ERR_SSL_ILLEGAL_PARAMETER;
XiaokangQiand59be772022-01-24 10:12:51 +00001319 goto cleanup;
XiaokangQian53f20b72022-01-18 10:47:33 +00001320 }
1321
XiaokangQiand59be772022-01-24 10:12:51 +00001322cleanup:
1323
XiaokangQianb119a352022-01-26 03:29:10 +00001324 if( fatal_alert & MBEDTLS_ERR_SSL_UNSUPPORTED_EXTENSION )
XiaokangQiand59be772022-01-24 10:12:51 +00001325 {
1326 MBEDTLS_SSL_PEND_FATAL_ALERT( MBEDTLS_SSL_ALERT_MSG_UNSUPPORTED_EXT,
1327 MBEDTLS_ERR_SSL_UNSUPPORTED_EXTENSION );
1328 ret = MBEDTLS_ERR_SSL_UNSUPPORTED_EXTENSION;
1329 }
XiaokangQianb119a352022-01-26 03:29:10 +00001330 else if ( fatal_alert & MBEDTLS_ERR_SSL_ILLEGAL_PARAMETER )
XiaokangQiand59be772022-01-24 10:12:51 +00001331 {
1332 MBEDTLS_SSL_PEND_FATAL_ALERT( MBEDTLS_SSL_ALERT_MSG_ILLEGAL_PARAMETER,
1333 MBEDTLS_ERR_SSL_ILLEGAL_PARAMETER );
1334 ret = MBEDTLS_ERR_SSL_ILLEGAL_PARAMETER;
1335 }
1336 return( ret );
Jerry Yue1b9c292021-09-10 10:08:31 +08001337}
1338
XiaokangQian355e09a2022-01-20 11:14:50 +00001339static int ssl_tls13_postprocess_server_hello( mbedtls_ssl_context *ssl )
Jerry Yue1b9c292021-09-10 10:08:31 +08001340{
Jerry Yub85277e2021-10-13 13:36:05 +08001341 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Jerry Yu0b177842021-09-05 19:41:30 +08001342 mbedtls_ssl_key_set traffic_keys;
Jerry Yu4a173382021-10-11 21:45:31 +08001343 mbedtls_ssl_transform *transform_handshake = NULL;
Jerry Yub85277e2021-10-13 13:36:05 +08001344 mbedtls_ssl_handshake_params *handshake = ssl->handshake;
Jerry Yu0b177842021-09-05 19:41:30 +08001345
Jerry Yub85277e2021-10-13 13:36:05 +08001346 /* Determine the key exchange mode:
1347 * 1) If both the pre_shared_key and key_share extensions were received
1348 * then the key exchange mode is PSK with EPHEMERAL.
1349 * 2) If only the pre_shared_key extension was received then the key
1350 * exchange mode is PSK-only.
1351 * 3) If only the key_share extension was received then the key
1352 * exchange mode is EPHEMERAL-only.
Jerry Yu0b177842021-09-05 19:41:30 +08001353 */
Jerry Yub85277e2021-10-13 13:36:05 +08001354 switch( handshake->extensions_present &
1355 ( MBEDTLS_SSL_EXT_PRE_SHARED_KEY | MBEDTLS_SSL_EXT_KEY_SHARE ) )
Jerry Yu0b177842021-09-05 19:41:30 +08001356 {
Jerry Yu745bb612021-10-13 22:01:04 +08001357 /* Only the pre_shared_key extension was received */
1358 case MBEDTLS_SSL_EXT_PRE_SHARED_KEY:
Xiaofei Baid25fab62021-12-02 06:36:27 +00001359 handshake->tls13_kex_modes = MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_PSK;
Jerry Yu745bb612021-10-13 22:01:04 +08001360 break;
Jerry Yub85277e2021-10-13 13:36:05 +08001361
Jerry Yu745bb612021-10-13 22:01:04 +08001362 /* Only the key_share extension was received */
1363 case MBEDTLS_SSL_EXT_KEY_SHARE:
Xiaofei Baid25fab62021-12-02 06:36:27 +00001364 handshake->tls13_kex_modes = MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_EPHEMERAL;
Jerry Yu745bb612021-10-13 22:01:04 +08001365 break;
Jerry Yub85277e2021-10-13 13:36:05 +08001366
Jerry Yu745bb612021-10-13 22:01:04 +08001367 /* Both the pre_shared_key and key_share extensions were received */
1368 case ( MBEDTLS_SSL_EXT_PRE_SHARED_KEY | MBEDTLS_SSL_EXT_KEY_SHARE ):
Xiaofei Baid25fab62021-12-02 06:36:27 +00001369 handshake->tls13_kex_modes = MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_PSK_EPHEMERAL;
Jerry Yu745bb612021-10-13 22:01:04 +08001370 break;
Jerry Yub85277e2021-10-13 13:36:05 +08001371
Jerry Yu745bb612021-10-13 22:01:04 +08001372 /* Neither pre_shared_key nor key_share extension was received */
1373 default:
1374 MBEDTLS_SSL_DEBUG_MSG( 1, ( "Unknown key exchange." ) );
1375 ret = MBEDTLS_ERR_SSL_HANDSHAKE_FAILURE;
1376 goto cleanup;
Jerry Yu0b177842021-09-05 19:41:30 +08001377 }
1378
1379 /* Start the TLS 1.3 key schedule: Set the PSK and derive early secret.
1380 *
1381 * TODO: We don't have to do this in case we offered 0-RTT and the
1382 * server accepted it. In this case, we could skip generating
1383 * the early secret. */
Xiaofei Bai746f9482021-11-12 08:53:56 +00001384 ret = mbedtls_ssl_tls13_key_schedule_stage_early( ssl );
Jerry Yu0b177842021-09-05 19:41:30 +08001385 if( ret != 0 )
1386 {
Xiaofei Bai746f9482021-11-12 08:53:56 +00001387 MBEDTLS_SSL_DEBUG_RET( 1, "mbedtls_ssl_tls13_key_schedule_stage_early_data",
Jerry Yu0b177842021-09-05 19:41:30 +08001388 ret );
Jerry Yu4a173382021-10-11 21:45:31 +08001389 goto cleanup;
Jerry Yu0b177842021-09-05 19:41:30 +08001390 }
1391
1392 /* Compute handshake secret */
Jerry Yuf0ac2352021-10-11 17:47:07 +08001393 ret = mbedtls_ssl_tls13_key_schedule_stage_handshake( ssl );
Jerry Yu0b177842021-09-05 19:41:30 +08001394 if( ret != 0 )
1395 {
Xiaofei Bai746f9482021-11-12 08:53:56 +00001396 MBEDTLS_SSL_DEBUG_RET( 1, "mbedtls_ssl_tls13_derive_master_secret", ret );
Jerry Yu4a173382021-10-11 21:45:31 +08001397 goto cleanup;
Jerry Yu0b177842021-09-05 19:41:30 +08001398 }
1399
1400 /* Next evolution in key schedule: Establish handshake secret and
1401 * key material. */
Jerry Yuc068b662021-10-11 22:30:19 +08001402 ret = mbedtls_ssl_tls13_generate_handshake_keys( ssl, &traffic_keys );
Jerry Yu0b177842021-09-05 19:41:30 +08001403 if( ret != 0 )
1404 {
Jerry Yuc068b662021-10-11 22:30:19 +08001405 MBEDTLS_SSL_DEBUG_RET( 1, "mbedtls_ssl_tls13_generate_handshake_keys",
1406 ret );
Jerry Yu4a173382021-10-11 21:45:31 +08001407 goto cleanup;
Jerry Yu0b177842021-09-05 19:41:30 +08001408 }
1409
Jerry Yub85277e2021-10-13 13:36:05 +08001410 transform_handshake = mbedtls_calloc( 1, sizeof( mbedtls_ssl_transform ) );
Jerry Yu0b177842021-09-05 19:41:30 +08001411 if( transform_handshake == NULL )
Jerry Yu4a173382021-10-11 21:45:31 +08001412 {
1413 ret = MBEDTLS_ERR_SSL_ALLOC_FAILED;
1414 goto cleanup;
1415 }
Jerry Yu0b177842021-09-05 19:41:30 +08001416
1417 ret = mbedtls_ssl_tls13_populate_transform( transform_handshake,
1418 ssl->conf->endpoint,
1419 ssl->session_negotiate->ciphersuite,
1420 &traffic_keys,
1421 ssl );
1422 if( ret != 0 )
1423 {
1424 MBEDTLS_SSL_DEBUG_RET( 1, "mbedtls_ssl_tls13_populate_transform", ret );
Jerry Yu4a173382021-10-11 21:45:31 +08001425 goto cleanup;
Jerry Yu0b177842021-09-05 19:41:30 +08001426 }
1427
Jerry Yub85277e2021-10-13 13:36:05 +08001428 handshake->transform_handshake = transform_handshake;
1429 mbedtls_ssl_set_inbound_transform( ssl, transform_handshake );
Jerry Yu0b177842021-09-05 19:41:30 +08001430
1431 MBEDTLS_SSL_DEBUG_MSG( 1, ( "Switch to handshake keys for inbound traffic" ) );
1432 ssl->session_in = ssl->session_negotiate;
1433
1434 /*
1435 * State machine update
1436 */
1437 mbedtls_ssl_handshake_set_state( ssl, MBEDTLS_SSL_ENCRYPTED_EXTENSIONS );
1438
Jerry Yu4a173382021-10-11 21:45:31 +08001439cleanup:
1440
Jerry Yu0b177842021-09-05 19:41:30 +08001441 mbedtls_platform_zeroize( &traffic_keys, sizeof( traffic_keys ) );
Jerry Yu4a173382021-10-11 21:45:31 +08001442 if( ret != 0 )
1443 {
Jerry Yub85277e2021-10-13 13:36:05 +08001444 mbedtls_free( transform_handshake );
Jerry Yuc068b662021-10-11 22:30:19 +08001445
Jerry Yu4a173382021-10-11 21:45:31 +08001446 MBEDTLS_SSL_PEND_FATAL_ALERT(
1447 MBEDTLS_SSL_ALERT_MSG_HANDSHAKE_FAILURE,
1448 MBEDTLS_ERR_SSL_HANDSHAKE_FAILURE );
1449 }
1450 return( ret );
Jerry Yue1b9c292021-09-10 10:08:31 +08001451}
1452
XiaokangQian355e09a2022-01-20 11:14:50 +00001453static int ssl_tls13_postprocess_hrr( mbedtls_ssl_context *ssl )
XiaokangQian647719a2021-12-07 09:16:29 +00001454{
XiaokangQian0b56a8f2021-12-22 02:39:32 +00001455#if defined(MBEDTLS_KEY_EXCHANGE_WITH_CERT_ENABLED)
XiaokangQian647719a2021-12-07 09:16:29 +00001456 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
1457
XiaokangQian647719a2021-12-07 09:16:29 +00001458#if defined(MBEDTLS_SSL_TLS1_3_COMPATIBILITY_MODE)
1459 /* If not offering early data, the client sends a dummy CCS record
1460 * immediately before its second flight. This may either be before
XiaokangQian51eff222021-12-10 10:33:56 +00001461 * its second ClientHello or before its encrypted handshake flight.
1462 */
XiaokangQian647719a2021-12-07 09:16:29 +00001463 mbedtls_ssl_handshake_set_state( ssl,
1464 MBEDTLS_SSL_CLIENT_CCS_BEFORE_2ND_CLIENT_HELLO );
1465#else
1466 mbedtls_ssl_handshake_set_state( ssl, MBEDTLS_SSL_CLIENT_HELLO );
1467#endif /* MBEDTLS_SSL_TLS1_3_COMPATIBILITY_MODE */
1468
XiaokangQian78b1fa72022-01-19 06:56:30 +00001469 mbedtls_ssl_session_reset_msg_layer( ssl, 0 );
XiaokangQian647719a2021-12-07 09:16:29 +00001470
XiaokangQian78b1fa72022-01-19 06:56:30 +00001471 /*
XiaokangQian355e09a2022-01-20 11:14:50 +00001472 * We are going to re-generate a shared secret corresponding to the group
1473 * selected by the server, which is different from the group for which we
1474 * generated a shared secret in the first client hello.
1475 * Thus, reset the shared secret.
XiaokangQian51eff222021-12-10 10:33:56 +00001476 */
XiaokangQian16acd4b2022-01-14 07:35:47 +00001477 ret = ssl_tls13_reset_key_share( ssl );
XiaokangQian647719a2021-12-07 09:16:29 +00001478 if( ret != 0 )
1479 return( ret );
XiaokangQian43550bd2022-01-21 04:32:58 +00001480#else
1481 ((void) ssl);
XiaokangQian0b56a8f2021-12-22 02:39:32 +00001482#endif /* MBEDTLS_KEY_EXCHANGE_WITH_CERT_ENABLED */
XiaokangQian647719a2021-12-07 09:16:29 +00001483
1484 return( 0 );
1485}
1486
Jerry Yue1b9c292021-09-10 10:08:31 +08001487/*
Jerry Yu4a173382021-10-11 21:45:31 +08001488 * Wait and parse ServerHello handshake message.
Jerry Yu687101b2021-09-14 16:03:56 +08001489 * Handler for MBEDTLS_SSL_SERVER_HELLO
1490 */
Xiaofei Bai746f9482021-11-12 08:53:56 +00001491static int ssl_tls13_process_server_hello( mbedtls_ssl_context *ssl )
Jerry Yu687101b2021-09-14 16:03:56 +08001492{
Jerry Yu4a173382021-10-11 21:45:31 +08001493 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
XiaokangQian647719a2021-12-07 09:16:29 +00001494 unsigned char *buf = NULL;
1495 size_t buf_len = 0;
XiaokangQian78b1fa72022-01-19 06:56:30 +00001496 int is_hrr = 0;
Jerry Yue1b9c292021-09-10 10:08:31 +08001497
1498 MBEDTLS_SSL_DEBUG_MSG( 2, ( "=> %s", __func__ ) );
1499
1500 /* Coordination step
1501 * - Fetch record
1502 * - Make sure it's either a ServerHello or a HRR.
1503 * - Switch processing routine in case of HRR
1504 */
Jerry Yue1b9c292021-09-10 10:08:31 +08001505 ssl->major_ver = MBEDTLS_SSL_MAJOR_VERSION_3;
1506 ssl->handshake->extensions_present = MBEDTLS_SSL_EXT_NONE;
1507
XiaokangQian16acd4b2022-01-14 07:35:47 +00001508 ret = ssl_tls13_server_hello_coordinate( ssl, &buf, &buf_len );
XiaokangQiand9e068e2022-01-18 06:23:32 +00001509 if( ret < 0 )
XiaokangQian16acd4b2022-01-14 07:35:47 +00001510 goto cleanup;
1511 else
XiaokangQiand9e068e2022-01-18 06:23:32 +00001512 is_hrr = ( ret == SSL_SERVER_HELLO_COORDINATE_HRR );
XiaokangQiand59be772022-01-24 10:12:51 +00001513
XiaokangQianb851da82022-01-14 04:03:11 +00001514 MBEDTLS_SSL_PROC_CHK( ssl_tls13_parse_server_hello( ssl, buf,
XiaokangQiand9e068e2022-01-18 06:23:32 +00001515 buf + buf_len,
1516 is_hrr ) );
1517 if( is_hrr )
XiaokangQian647719a2021-12-07 09:16:29 +00001518 MBEDTLS_SSL_PROC_CHK( mbedtls_ssl_reset_transcript_for_hrr( ssl ) );
1519
XiaokangQianb851da82022-01-14 04:03:11 +00001520 mbedtls_ssl_tls13_add_hs_msg_to_checksum( ssl,
1521 MBEDTLS_SSL_HS_SERVER_HELLO,
1522 buf, buf_len );
XiaokangQian647719a2021-12-07 09:16:29 +00001523
XiaokangQiand9e068e2022-01-18 06:23:32 +00001524 if( is_hrr )
XiaokangQian355e09a2022-01-20 11:14:50 +00001525 MBEDTLS_SSL_PROC_CHK( ssl_tls13_postprocess_hrr( ssl ) );
XiaokangQiand9e068e2022-01-18 06:23:32 +00001526 else
XiaokangQian355e09a2022-01-20 11:14:50 +00001527 MBEDTLS_SSL_PROC_CHK( ssl_tls13_postprocess_server_hello( ssl ) );
Jerry Yue1b9c292021-09-10 10:08:31 +08001528
1529cleanup:
XiaokangQian78b1fa72022-01-19 06:56:30 +00001530 MBEDTLS_SSL_DEBUG_MSG( 2, ( "<= %s:is_hrr = %d", __func__, is_hrr ) );
Jerry Yue1b9c292021-09-10 10:08:31 +08001531 return( ret );
Jerry Yu687101b2021-09-14 16:03:56 +08001532}
1533
1534/*
XiaokangQian2d5c72b2021-09-13 07:30:09 +00001535 *
1536 * EncryptedExtensions message
1537 *
1538 * The EncryptedExtensions message contains any extensions which
1539 * should be protected, i.e., any which are not needed to establish
1540 * the cryptographic context.
Jerry Yu687101b2021-09-14 16:03:56 +08001541 */
XiaokangQian2d5c72b2021-09-13 07:30:09 +00001542
1543/*
1544 * Overview
1545 */
XiaokangQian2d5c72b2021-09-13 07:30:09 +00001546
1547/* Main entry point; orchestrates the other functions */
XiaokangQian97799ac2021-10-11 10:05:54 +00001548static int ssl_tls13_process_encrypted_extensions( mbedtls_ssl_context *ssl );
XiaokangQian2d5c72b2021-09-13 07:30:09 +00001549
XiaokangQian97799ac2021-10-11 10:05:54 +00001550static int ssl_tls13_parse_encrypted_extensions( mbedtls_ssl_context *ssl,
1551 const unsigned char *buf,
1552 const unsigned char *end );
1553static int ssl_tls13_postprocess_encrypted_extensions( mbedtls_ssl_context *ssl );
XiaokangQian2d5c72b2021-09-13 07:30:09 +00001554
1555/*
XiaokangQianc1fe0002021-09-16 03:02:14 +00001556 * Handler for MBEDTLS_SSL_ENCRYPTED_EXTENSIONS
XiaokangQian2d5c72b2021-09-13 07:30:09 +00001557 */
XiaokangQian97799ac2021-10-11 10:05:54 +00001558static int ssl_tls13_process_encrypted_extensions( mbedtls_ssl_context *ssl )
Jerry Yu687101b2021-09-14 16:03:56 +08001559{
XiaokangQian2d5c72b2021-09-13 07:30:09 +00001560 int ret;
1561 unsigned char *buf;
1562 size_t buf_len;
1563
1564 MBEDTLS_SSL_DEBUG_MSG( 2, ( "=> parse encrypted extensions" ) );
1565
Xiaofei Bai746f9482021-11-12 08:53:56 +00001566 MBEDTLS_SSL_PROC_CHK( mbedtls_ssl_tls13_fetch_handshake_msg( ssl,
XiaokangQianab7f50d2021-10-21 06:23:29 +00001567 MBEDTLS_SSL_HS_ENCRYPTED_EXTENSIONS,
XiaokangQian2d5c72b2021-09-13 07:30:09 +00001568 &buf, &buf_len ) );
1569
1570 /* Process the message contents */
XiaokangQian97799ac2021-10-11 10:05:54 +00001571 MBEDTLS_SSL_PROC_CHK(
XiaokangQian8db25ff2021-10-13 05:56:18 +00001572 ssl_tls13_parse_encrypted_extensions( ssl, buf, buf + buf_len ) );
XiaokangQian2d5c72b2021-09-13 07:30:09 +00001573
Xiaofei Bai746f9482021-11-12 08:53:56 +00001574 mbedtls_ssl_tls13_add_hs_msg_to_checksum(
XiaokangQianab7f50d2021-10-21 06:23:29 +00001575 ssl, MBEDTLS_SSL_HS_ENCRYPTED_EXTENSIONS, buf, buf_len );
XiaokangQian2d5c72b2021-09-13 07:30:09 +00001576
XiaokangQian97799ac2021-10-11 10:05:54 +00001577 MBEDTLS_SSL_PROC_CHK( ssl_tls13_postprocess_encrypted_extensions( ssl ) );
XiaokangQian2d5c72b2021-09-13 07:30:09 +00001578
1579cleanup:
1580
1581 MBEDTLS_SSL_DEBUG_MSG( 2, ( "<= parse encrypted extensions" ) );
1582 return( ret );
1583
1584}
1585
XiaokangQian08da26c2021-10-09 10:12:11 +00001586/* Parse EncryptedExtensions message
1587 * struct {
XiaokangQian97799ac2021-10-11 10:05:54 +00001588 * Extension extensions<0..2^16-1>;
XiaokangQian08da26c2021-10-09 10:12:11 +00001589 * } EncryptedExtensions;
1590 */
XiaokangQian97799ac2021-10-11 10:05:54 +00001591static int ssl_tls13_parse_encrypted_extensions( mbedtls_ssl_context *ssl,
1592 const unsigned char *buf,
1593 const unsigned char *end )
XiaokangQian2d5c72b2021-09-13 07:30:09 +00001594{
1595 int ret = 0;
XiaokangQian08da26c2021-10-09 10:12:11 +00001596 size_t extensions_len;
XiaokangQian140f0452021-10-08 08:05:53 +00001597 const unsigned char *p = buf;
XiaokangQian8db25ff2021-10-13 05:56:18 +00001598 const unsigned char *extensions_end;
XiaokangQian2d5c72b2021-09-13 07:30:09 +00001599
XiaokangQian08da26c2021-10-09 10:12:11 +00001600 MBEDTLS_SSL_CHK_BUF_READ_PTR( p, end, 2 );
XiaokangQian97799ac2021-10-11 10:05:54 +00001601 extensions_len = MBEDTLS_GET_UINT16_BE( p, 0 );
XiaokangQian08da26c2021-10-09 10:12:11 +00001602 p += 2;
XiaokangQian2d5c72b2021-09-13 07:30:09 +00001603
XiaokangQian97799ac2021-10-11 10:05:54 +00001604 MBEDTLS_SSL_DEBUG_BUF( 3, "encrypted extensions", p, extensions_len );
XiaokangQian8db25ff2021-10-13 05:56:18 +00001605 extensions_end = p + extensions_len;
1606 MBEDTLS_SSL_CHK_BUF_READ_PTR( p, end, extensions_len );
XiaokangQian2d5c72b2021-09-13 07:30:09 +00001607
XiaokangQian8db25ff2021-10-13 05:56:18 +00001608 while( p < extensions_end )
XiaokangQian2d5c72b2021-09-13 07:30:09 +00001609 {
XiaokangQian08da26c2021-10-09 10:12:11 +00001610 unsigned int extension_type;
1611 size_t extension_data_len;
XiaokangQian2d5c72b2021-09-13 07:30:09 +00001612
XiaokangQian08da26c2021-10-09 10:12:11 +00001613 /*
1614 * struct {
XiaokangQian97799ac2021-10-11 10:05:54 +00001615 * ExtensionType extension_type; (2 bytes)
1616 * opaque extension_data<0..2^16-1>;
XiaokangQian08da26c2021-10-09 10:12:11 +00001617 * } Extension;
1618 */
XiaokangQian8db25ff2021-10-13 05:56:18 +00001619 MBEDTLS_SSL_CHK_BUF_READ_PTR( p, extensions_end, 4 );
XiaokangQian08da26c2021-10-09 10:12:11 +00001620 extension_type = MBEDTLS_GET_UINT16_BE( p, 0 );
1621 extension_data_len = MBEDTLS_GET_UINT16_BE( p, 2 );
1622 p += 4;
1623
XiaokangQian8db25ff2021-10-13 05:56:18 +00001624 MBEDTLS_SSL_CHK_BUF_READ_PTR( p, extensions_end, extension_data_len );
XiaokangQian2d5c72b2021-09-13 07:30:09 +00001625
XiaokangQian97799ac2021-10-11 10:05:54 +00001626 /* The client MUST check EncryptedExtensions for the
XiaokangQian2d5c72b2021-09-13 07:30:09 +00001627 * presence of any forbidden extensions and if any are found MUST abort
XiaokangQian08da26c2021-10-09 10:12:11 +00001628 * the handshake with an "unsupported_extension" alert.
XiaokangQian2d5c72b2021-09-13 07:30:09 +00001629 */
XiaokangQian08da26c2021-10-09 10:12:11 +00001630 switch( extension_type )
1631 {
XiaokangQian2d5c72b2021-09-13 07:30:09 +00001632
XiaokangQian08da26c2021-10-09 10:12:11 +00001633 case MBEDTLS_TLS_EXT_SUPPORTED_GROUPS:
1634 MBEDTLS_SSL_DEBUG_MSG( 3, ( "found extensions supported groups" ) );
1635 break;
XiaokangQian2d5c72b2021-09-13 07:30:09 +00001636
XiaokangQian08da26c2021-10-09 10:12:11 +00001637 default:
XiaokangQian97799ac2021-10-11 10:05:54 +00001638 MBEDTLS_SSL_DEBUG_MSG(
1639 3, ( "unsupported extension found: %u ", extension_type) );
1640 MBEDTLS_SSL_PEND_FATAL_ALERT(
Jerry Yu7aa71862021-10-28 21:41:30 +08001641 MBEDTLS_SSL_ALERT_MSG_UNSUPPORTED_EXT,
XiaokangQian97799ac2021-10-11 10:05:54 +00001642 MBEDTLS_ERR_SSL_UNSUPPORTED_EXTENSION );
1643 return ( MBEDTLS_ERR_SSL_UNSUPPORTED_EXTENSION );
XiaokangQian08da26c2021-10-09 10:12:11 +00001644 }
1645
XiaokangQian08da26c2021-10-09 10:12:11 +00001646 p += extension_data_len;
XiaokangQian97799ac2021-10-11 10:05:54 +00001647 }
XiaokangQian08da26c2021-10-09 10:12:11 +00001648
XiaokangQian97799ac2021-10-11 10:05:54 +00001649 /* Check that we consumed all the message. */
XiaokangQian7b2d4ef2021-10-13 10:19:02 +00001650 if( p != end )
XiaokangQian97799ac2021-10-11 10:05:54 +00001651 {
1652 MBEDTLS_SSL_DEBUG_MSG( 1, ( "EncryptedExtension lengths misaligned" ) );
Jerry Yu7aa71862021-10-28 21:41:30 +08001653 MBEDTLS_SSL_PEND_FATAL_ALERT( MBEDTLS_SSL_ALERT_MSG_DECODE_ERROR,
XiaokangQian7b2d4ef2021-10-13 10:19:02 +00001654 MBEDTLS_ERR_SSL_DECODE_ERROR );
XiaokangQian97799ac2021-10-11 10:05:54 +00001655 return( MBEDTLS_ERR_SSL_DECODE_ERROR );
XiaokangQian2d5c72b2021-09-13 07:30:09 +00001656 }
1657
1658 return( ret );
1659}
1660
XiaokangQian97799ac2021-10-11 10:05:54 +00001661static int ssl_tls13_postprocess_encrypted_extensions( mbedtls_ssl_context *ssl )
XiaokangQian2d5c72b2021-09-13 07:30:09 +00001662{
Jerry Yua93ac112021-10-27 16:31:48 +08001663#if defined(MBEDTLS_KEY_EXCHANGE_WITH_CERT_ENABLED)
Xiaofei Bai746f9482021-11-12 08:53:56 +00001664 if( mbedtls_ssl_tls13_some_psk_enabled( ssl ) )
Jerry Yua93ac112021-10-27 16:31:48 +08001665 mbedtls_ssl_handshake_set_state( ssl, MBEDTLS_SSL_SERVER_FINISHED );
1666 else
Jerry Yud2674312021-10-29 10:08:19 +08001667 mbedtls_ssl_handshake_set_state( ssl, MBEDTLS_SSL_CERTIFICATE_REQUEST );
Jerry Yua93ac112021-10-27 16:31:48 +08001668#else
1669 ((void) ssl);
1670 mbedtls_ssl_handshake_set_state( ssl, MBEDTLS_SSL_SERVER_FINISHED );
1671#endif
Jerry Yu687101b2021-09-14 16:03:56 +08001672 return( 0 );
1673}
1674
Jerry Yua93ac112021-10-27 16:31:48 +08001675#if defined(MBEDTLS_KEY_EXCHANGE_WITH_CERT_ENABLED)
Jerry Yu687101b2021-09-14 16:03:56 +08001676/*
Jerry Yud2674312021-10-29 10:08:19 +08001677 * Handler for MBEDTLS_SSL_CERTIFICATE_REQUEST
1678 */
1679static int ssl_tls13_process_certificate_request( mbedtls_ssl_context *ssl )
1680{
1681 int ret = mbedtls_ssl_read_record( ssl, 0 );
1682
1683 if( ret != 0 )
1684 {
1685 MBEDTLS_SSL_DEBUG_RET( 1, "mbedtls_ssl_read_record", ret );
1686 return( ret );
1687 }
1688
1689 if( ( ssl->in_msgtype == MBEDTLS_SSL_MSG_HANDSHAKE ) &&
1690 ( ssl->in_msg[0] == MBEDTLS_SSL_HS_CERTIFICATE_REQUEST ) )
1691 {
1692 MBEDTLS_SSL_DEBUG_MSG( 1, ( "CertificateRequest not supported" ) );
1693 MBEDTLS_SSL_PEND_FATAL_ALERT( MBEDTLS_SSL_ALERT_MSG_HANDSHAKE_FAILURE,
1694 MBEDTLS_ERR_SSL_HANDSHAKE_FAILURE );
1695 return( MBEDTLS_ERR_SSL_HANDSHAKE_FAILURE );
1696 }
1697
1698 ssl->keep_current_message = 1;
1699 mbedtls_ssl_handshake_set_state( ssl, MBEDTLS_SSL_SERVER_CERTIFICATE );
1700
1701 return( 0 );
1702}
1703
1704/*
Jerry Yu687101b2021-09-14 16:03:56 +08001705 * Handler for MBEDTLS_SSL_SERVER_CERTIFICATE
1706 */
Xiaofei Bai746f9482021-11-12 08:53:56 +00001707static int ssl_tls13_process_server_certificate( mbedtls_ssl_context *ssl )
Jerry Yu687101b2021-09-14 16:03:56 +08001708{
Xiaofei Bai947571e2021-09-29 09:12:03 +00001709 int ret;
1710
1711 ret = mbedtls_ssl_tls13_process_certificate( ssl );
Xiaofei Baif93cbd22021-10-29 02:39:30 +00001712 if( ret != 0 )
Xiaofei Bai947571e2021-09-29 09:12:03 +00001713 return( ret );
1714
Jerry Yu687101b2021-09-14 16:03:56 +08001715 mbedtls_ssl_handshake_set_state( ssl, MBEDTLS_SSL_CERTIFICATE_VERIFY );
1716 return( 0 );
1717}
1718
1719/*
1720 * Handler for MBEDTLS_SSL_CERTIFICATE_VERIFY
1721 */
Xiaofei Bai746f9482021-11-12 08:53:56 +00001722static int ssl_tls13_process_certificate_verify( mbedtls_ssl_context *ssl )
Jerry Yu687101b2021-09-14 16:03:56 +08001723{
Jerry Yu30b071c2021-09-12 20:16:03 +08001724 int ret;
1725
1726 ret = mbedtls_ssl_tls13_process_certificate_verify( ssl );
1727 if( ret != 0 )
1728 return( ret );
1729
Jerry Yu687101b2021-09-14 16:03:56 +08001730 mbedtls_ssl_handshake_set_state( ssl, MBEDTLS_SSL_SERVER_FINISHED );
1731 return( 0 );
1732}
Jerry Yua93ac112021-10-27 16:31:48 +08001733#endif /* MBEDTLS_KEY_EXCHANGE_WITH_CERT_ENABLED */
Ronald Crond4c64022021-12-06 09:06:46 +01001734
Jerry Yu687101b2021-09-14 16:03:56 +08001735/*
1736 * Handler for MBEDTLS_SSL_SERVER_FINISHED
1737 */
Xiaofei Bai746f9482021-11-12 08:53:56 +00001738static int ssl_tls13_process_server_finished( mbedtls_ssl_context *ssl )
Jerry Yu687101b2021-09-14 16:03:56 +08001739{
XiaokangQianac0385c2021-11-03 06:40:11 +00001740 int ret;
1741
XiaokangQianc5c39d52021-11-09 11:55:10 +00001742 ret = mbedtls_ssl_tls13_process_finished_message( ssl );
XiaokangQianac0385c2021-11-03 06:40:11 +00001743 if( ret != 0 )
1744 return( ret );
1745
Ronald Cron49ad6192021-11-24 16:25:31 +01001746#if defined(MBEDTLS_SSL_TLS1_3_COMPATIBILITY_MODE)
1747 mbedtls_ssl_handshake_set_state(
1748 ssl,
1749 MBEDTLS_SSL_CLIENT_CCS_AFTER_SERVER_FINISHED );
1750#else
XiaokangQianac0385c2021-11-03 06:40:11 +00001751 mbedtls_ssl_handshake_set_state( ssl, MBEDTLS_SSL_CLIENT_FINISHED );
Ronald Cron49ad6192021-11-24 16:25:31 +01001752#endif
1753
XiaokangQianac0385c2021-11-03 06:40:11 +00001754 return( 0 );
Jerry Yu687101b2021-09-14 16:03:56 +08001755}
1756
1757/*
Ronald Crond4c64022021-12-06 09:06:46 +01001758 * Handler for MBEDTLS_SSL_CLIENT_CCS_AFTER_SERVER_FINISHED
1759 */
1760#if defined(MBEDTLS_SSL_TLS1_3_COMPATIBILITY_MODE)
1761static int ssl_tls13_write_change_cipher_spec( mbedtls_ssl_context *ssl )
1762{
1763 int ret;
1764
1765 ret = mbedtls_ssl_tls13_write_change_cipher_spec( ssl );
1766 if( ret != 0 )
1767 return( ret );
1768
Ronald Crond4c64022021-12-06 09:06:46 +01001769 return( 0 );
1770}
1771#endif /* MBEDTLS_SSL_TLS1_3_COMPATIBILITY_MODE */
1772
1773/*
Jerry Yu687101b2021-09-14 16:03:56 +08001774 * Handler for MBEDTLS_SSL_CLIENT_FINISHED
1775 */
XiaokangQian74af2a82021-09-22 07:40:30 +00001776static int ssl_tls13_write_client_finished( mbedtls_ssl_context *ssl )
Jerry Yu687101b2021-09-14 16:03:56 +08001777{
XiaokangQian0fa66432021-11-15 03:33:57 +00001778 int ret;
1779
Ronald Cron49ad6192021-11-24 16:25:31 +01001780 mbedtls_ssl_set_outbound_transform( ssl, ssl->handshake->transform_handshake );
1781
XiaokangQian0fa66432021-11-15 03:33:57 +00001782 ret = mbedtls_ssl_tls13_write_finished_message( ssl );
1783 if( ret != 0 )
1784 return( ret );
1785
1786 mbedtls_ssl_handshake_set_state( ssl, MBEDTLS_SSL_FLUSH_BUFFERS );
1787 return( 0 );
Jerry Yu687101b2021-09-14 16:03:56 +08001788}
1789
1790/*
1791 * Handler for MBEDTLS_SSL_FLUSH_BUFFERS
1792 */
Xiaofei Bai746f9482021-11-12 08:53:56 +00001793static int ssl_tls13_flush_buffers( mbedtls_ssl_context *ssl )
Jerry Yu687101b2021-09-14 16:03:56 +08001794{
Jerry Yu378254d2021-10-30 21:44:47 +08001795 MBEDTLS_SSL_DEBUG_MSG( 2, ( "handshake: done" ) );
Jerry Yuad8d0ba2021-09-28 17:58:26 +08001796 mbedtls_ssl_handshake_set_state( ssl, MBEDTLS_SSL_HANDSHAKE_WRAPUP );
Jerry Yu687101b2021-09-14 16:03:56 +08001797 return( 0 );
1798}
1799
1800/*
1801 * Handler for MBEDTLS_SSL_HANDSHAKE_WRAPUP
1802 */
Xiaofei Bai746f9482021-11-12 08:53:56 +00001803static int ssl_tls13_handshake_wrapup( mbedtls_ssl_context *ssl )
Jerry Yu687101b2021-09-14 16:03:56 +08001804{
Jerry Yu378254d2021-10-30 21:44:47 +08001805 MBEDTLS_SSL_DEBUG_MSG( 1, ( "Switch to application keys for inbound traffic" ) );
1806 mbedtls_ssl_set_inbound_transform ( ssl, ssl->transform_application );
1807
1808 MBEDTLS_SSL_DEBUG_MSG( 1, ( "Switch to application keys for outbound traffic" ) );
1809 mbedtls_ssl_set_outbound_transform( ssl, ssl->transform_application );
1810
1811 mbedtls_ssl_tls13_handshake_wrapup( ssl );
1812
1813 mbedtls_ssl_handshake_set_state( ssl, MBEDTLS_SSL_HANDSHAKE_OVER );
1814 return( 0 );
Jerry Yu687101b2021-09-14 16:03:56 +08001815}
1816
Jerry Yu92c6b402021-08-27 16:59:09 +08001817int mbedtls_ssl_tls13_handshake_client_step( mbedtls_ssl_context *ssl )
Jerry Yubc20bdd2021-08-24 15:59:48 +08001818{
Jerry Yu92c6b402021-08-27 16:59:09 +08001819 int ret = 0;
Jerry Yuc8a392c2021-08-18 16:46:28 +08001820
Jerry Yue3b34122021-09-28 17:53:35 +08001821 MBEDTLS_SSL_DEBUG_MSG( 2, ( "tls13 client state: %s(%d)",
1822 mbedtls_ssl_states_str( ssl->state ),
1823 ssl->state ) );
Jerry Yu92c6b402021-08-27 16:59:09 +08001824
1825 switch( ssl->state )
1826 {
1827 /*
Jerry Yu0c63af62021-09-02 12:59:12 +08001828 * ssl->state is initialized as HELLO_REQUEST. It is the same
1829 * as CLIENT_HELLO state.
Jerry Yu92c6b402021-08-27 16:59:09 +08001830 */
1831 case MBEDTLS_SSL_HELLO_REQUEST:
1832 case MBEDTLS_SSL_CLIENT_HELLO:
1833 ret = ssl_tls13_write_client_hello( ssl );
1834 break;
1835
1836 case MBEDTLS_SSL_SERVER_HELLO:
Xiaofei Bai746f9482021-11-12 08:53:56 +00001837 ret = ssl_tls13_process_server_hello( ssl );
Jerry Yu687101b2021-09-14 16:03:56 +08001838 break;
1839
1840 case MBEDTLS_SSL_ENCRYPTED_EXTENSIONS:
XiaokangQian97799ac2021-10-11 10:05:54 +00001841 ret = ssl_tls13_process_encrypted_extensions( ssl );
Jerry Yu687101b2021-09-14 16:03:56 +08001842 break;
1843
Jerry Yua93ac112021-10-27 16:31:48 +08001844#if defined(MBEDTLS_KEY_EXCHANGE_WITH_CERT_ENABLED)
Jerry Yud2674312021-10-29 10:08:19 +08001845 case MBEDTLS_SSL_CERTIFICATE_REQUEST:
1846 ret = ssl_tls13_process_certificate_request( ssl );
1847 break;
1848
Jerry Yu687101b2021-09-14 16:03:56 +08001849 case MBEDTLS_SSL_SERVER_CERTIFICATE:
Xiaofei Bai746f9482021-11-12 08:53:56 +00001850 ret = ssl_tls13_process_server_certificate( ssl );
Jerry Yu687101b2021-09-14 16:03:56 +08001851 break;
1852
1853 case MBEDTLS_SSL_CERTIFICATE_VERIFY:
Xiaofei Bai746f9482021-11-12 08:53:56 +00001854 ret = ssl_tls13_process_certificate_verify( ssl );
Jerry Yu687101b2021-09-14 16:03:56 +08001855 break;
Jerry Yua93ac112021-10-27 16:31:48 +08001856#endif /* MBEDTLS_KEY_EXCHANGE_WITH_CERT_ENABLED */
Jerry Yu687101b2021-09-14 16:03:56 +08001857
1858 case MBEDTLS_SSL_SERVER_FINISHED:
Xiaofei Bai746f9482021-11-12 08:53:56 +00001859 ret = ssl_tls13_process_server_finished( ssl );
Jerry Yu687101b2021-09-14 16:03:56 +08001860 break;
1861
Jerry Yu687101b2021-09-14 16:03:56 +08001862 case MBEDTLS_SSL_CLIENT_FINISHED:
XiaokangQian74af2a82021-09-22 07:40:30 +00001863 ret = ssl_tls13_write_client_finished( ssl );
Jerry Yu687101b2021-09-14 16:03:56 +08001864 break;
1865
1866 case MBEDTLS_SSL_FLUSH_BUFFERS:
Xiaofei Bai746f9482021-11-12 08:53:56 +00001867 ret = ssl_tls13_flush_buffers( ssl );
Jerry Yu687101b2021-09-14 16:03:56 +08001868 break;
1869
1870 case MBEDTLS_SSL_HANDSHAKE_WRAPUP:
Xiaofei Bai746f9482021-11-12 08:53:56 +00001871 ret = ssl_tls13_handshake_wrapup( ssl );
Jerry Yu92c6b402021-08-27 16:59:09 +08001872 break;
1873
Ronald Cron49ad6192021-11-24 16:25:31 +01001874 /*
1875 * Injection of dummy-CCS's for middlebox compatibility
1876 */
1877#if defined(MBEDTLS_SSL_TLS1_3_COMPATIBILITY_MODE)
1878 case MBEDTLS_SSL_CLIENT_CCS_AFTER_SERVER_FINISHED:
XiaokangQian0b56a8f2021-12-22 02:39:32 +00001879 case MBEDTLS_SSL_CLIENT_CCS_BEFORE_2ND_CLIENT_HELLO:
Ronald Crond4c64022021-12-06 09:06:46 +01001880 ret = ssl_tls13_write_change_cipher_spec( ssl );
Ronald Cron49ad6192021-11-24 16:25:31 +01001881 break;
1882#endif /* MBEDTLS_SSL_TLS1_3_COMPATIBILITY_MODE */
1883
Jerry Yu92c6b402021-08-27 16:59:09 +08001884 default:
1885 MBEDTLS_SSL_DEBUG_MSG( 1, ( "invalid state %d", ssl->state ) );
1886 return( MBEDTLS_ERR_SSL_BAD_INPUT_DATA );
1887 }
1888
1889 return( ret );
1890}
Jerry Yu65dd2cc2021-08-18 16:38:40 +08001891
Jerry Yu3cc4c2a2021-08-06 16:29:08 +08001892#endif /* MBEDTLS_SSL_CLI_C */
1893
Ronald Cron6f135e12021-12-08 16:57:54 +01001894#endif /* MBEDTLS_SSL_PROTO_TLS1_3 */