blob: 1bfac586a0542d73d735f2a1e1becb6335c2b937 [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
Dave Rodgman16799db2023-11-02 19:47:20 +00005 * SPDX-License-Identifier: Apache-2.0 OR GPL-2.0-or-later
Jerry Yu3cc4c2a2021-08-06 16:29:08 +08006 */
7
8#include "common.h"
9
Jerry Yucc43c6b2022-01-28 10:24:45 +080010#if defined(MBEDTLS_SSL_CLI_C) && defined(MBEDTLS_SSL_PROTO_TLS1_3)
Jerry Yu3cc4c2a2021-08-06 16:29:08 +080011
Jerry Yubc20bdd2021-08-24 15:59:48 +080012#include <string.h>
13
Jerry Yu56fc07f2021-09-01 17:48:49 +080014#include "mbedtls/debug.h"
15#include "mbedtls/error.h"
Jerry Yue1b9c292021-09-10 10:08:31 +080016#include "mbedtls/platform.h"
Jerry Yua13c7e72021-08-17 10:44:40 +080017
Jerry Yubdc71882021-09-14 19:30:36 +080018#include "ssl_misc.h"
Ronald Cron3d580bf2022-02-18 17:24:56 +010019#include "ssl_client.h"
Jerry Yue1b9c292021-09-10 10:08:31 +080020#include "ssl_tls13_keys.h"
Jerry Yucbd082f2022-08-04 16:55:10 +080021#include "ssl_debug_helpers.h"
Manuel Pégourié-Gonnard02b10d82023-03-28 12:33:20 +020022#include "md_psa.h"
Jerry Yubdc71882021-09-14 19:30:36 +080023
Valerio Settic9ae8622023-07-25 11:23:50 +020024#if defined(MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_SOME_EPHEMERAL_ENABLED)
Andrzej Kurek00644842023-05-30 05:45:00 -040025/* Define a local translating function to save code size by not using too many
26 * arguments in each translating place. */
27static int local_err_translation(psa_status_t status)
28{
29 return psa_status_to_mbedtls(status, psa_to_ssl_errors,
Andrzej Kurek1e4a0302023-05-30 09:45:17 -040030 ARRAY_LENGTH(psa_to_ssl_errors),
Andrzej Kurek00644842023-05-30 05:45:00 -040031 psa_generic_status_to_mbedtls);
32}
33#define PSA_TO_MBEDTLS_ERR(status) local_err_translation(status)
Andrzej Kureka6033ac2023-05-30 15:16:34 -040034#endif
35
Jerry Yubc20bdd2021-08-24 15:59:48 +080036/* Write extensions */
37
Jerry Yu92c6b402021-08-27 16:59:09 +080038/*
39 * ssl_tls13_write_supported_versions_ext():
40 *
41 * struct {
42 * ProtocolVersion versions<2..254>;
43 * } SupportedVersions;
44 */
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +020045MBEDTLS_CHECK_RETURN_CRITICAL
Gilles Peskine449bd832023-01-11 14:50:10 +010046static int ssl_tls13_write_supported_versions_ext(mbedtls_ssl_context *ssl,
47 unsigned char *buf,
48 unsigned char *end,
49 size_t *out_len)
Jerry Yu92c6b402021-08-27 16:59:09 +080050{
51 unsigned char *p = buf;
Gilles Peskine449bd832023-01-11 14:50:10 +010052 unsigned char versions_len = (ssl->handshake->min_tls_version <=
53 MBEDTLS_SSL_VERSION_TLS1_2) ? 4 : 2;
Jerry Yu92c6b402021-08-27 16:59:09 +080054
Xiaofei Baid25fab62021-12-02 06:36:27 +000055 *out_len = 0;
Jerry Yu92c6b402021-08-27 16:59:09 +080056
Gilles Peskine449bd832023-01-11 14:50:10 +010057 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 )
Ronald Crona77fc272022-03-30 17:20:47 +020063 * - versions (2 or 4 bytes)
Jerry Yu159c5a02021-08-31 12:51:25 +080064 */
Gilles Peskine449bd832023-01-11 14:50:10 +010065 MBEDTLS_SSL_CHK_BUF_PTR(p, end, 5 + versions_len);
Ronald Crondbe87f02022-02-10 14:35:27 +010066
Gilles Peskine449bd832023-01-11 14:50:10 +010067 MBEDTLS_PUT_UINT16_BE(MBEDTLS_TLS_EXT_SUPPORTED_VERSIONS, p, 0);
68 MBEDTLS_PUT_UINT16_BE(versions_len + 1, p, 2);
Jerry Yueecfbf02021-08-30 18:32:07 +080069 p += 4;
Jerry Yu92c6b402021-08-27 16:59:09 +080070
Jerry Yu1bc2c1f2021-09-01 12:57:29 +080071 /* Length of versions */
Ronald Crondbe87f02022-02-10 14:35:27 +010072 *p++ = versions_len;
Jerry Yu92c6b402021-08-27 16:59:09 +080073
Jerry Yu0c63af62021-09-02 12:59:12 +080074 /* Write values of supported versions.
Jerry Yu0c63af62021-09-02 12:59:12 +080075 * They are defined by the configuration.
Ronald Crondbe87f02022-02-10 14:35:27 +010076 * Currently, we advertise only TLS 1.3 or both TLS 1.3 and TLS 1.2.
Jerry Yu92c6b402021-08-27 16:59:09 +080077 */
Gilles Peskine449bd832023-01-11 14:50:10 +010078 mbedtls_ssl_write_version(p, MBEDTLS_SSL_TRANSPORT_STREAM,
79 MBEDTLS_SSL_VERSION_TLS1_3);
80 MBEDTLS_SSL_DEBUG_MSG(3, ("supported version: [3:4]"));
Jerry Yu92c6b402021-08-27 16:59:09 +080081
Jerry Yu92c6b402021-08-27 16:59:09 +080082
Gilles Peskine449bd832023-01-11 14:50:10 +010083 if (ssl->handshake->min_tls_version <= MBEDTLS_SSL_VERSION_TLS1_2) {
84 mbedtls_ssl_write_version(p + 2, MBEDTLS_SSL_TRANSPORT_STREAM,
85 MBEDTLS_SSL_VERSION_TLS1_2);
86 MBEDTLS_SSL_DEBUG_MSG(3, ("supported version: [3:3]"));
Ronald Crondbe87f02022-02-10 14:35:27 +010087 }
88
89 *out_len = 5 + versions_len;
Jerry Yu4b8f2f72022-10-31 13:31:22 +080090
Jerry Yuc4bf5d62022-10-29 09:08:47 +080091 mbedtls_ssl_tls13_set_hs_sent_ext_mask(
Gilles Peskine449bd832023-01-11 14:50:10 +010092 ssl, MBEDTLS_TLS_EXT_SUPPORTED_VERSIONS);
Jerry Yu4b8f2f72022-10-31 13:31:22 +080093
Gilles Peskine449bd832023-01-11 14:50:10 +010094 return 0;
Jerry Yu92c6b402021-08-27 16:59:09 +080095}
Jerry Yubc20bdd2021-08-24 15:59:48 +080096
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +020097MBEDTLS_CHECK_RETURN_CRITICAL
Gilles Peskine449bd832023-01-11 14:50:10 +010098static int ssl_tls13_parse_supported_versions_ext(mbedtls_ssl_context *ssl,
99 const unsigned char *buf,
100 const unsigned char *end)
Jerry Yue1b9c292021-09-10 10:08:31 +0800101{
Jerry Yue1b9c292021-09-10 10:08:31 +0800102 ((void) ssl);
103
Gilles Peskine449bd832023-01-11 14:50:10 +0100104 MBEDTLS_SSL_CHK_BUF_READ_PTR(buf, end, 2);
105 if (mbedtls_ssl_read_version(buf, ssl->conf->transport) !=
106 MBEDTLS_SSL_VERSION_TLS1_3) {
107 MBEDTLS_SSL_DEBUG_MSG(1, ("unexpected version"));
Jerry Yu4a173382021-10-11 21:45:31 +0800108
Gilles Peskine449bd832023-01-11 14:50:10 +0100109 MBEDTLS_SSL_PEND_FATAL_ALERT(MBEDTLS_SSL_ALERT_MSG_ILLEGAL_PARAMETER,
110 MBEDTLS_ERR_SSL_ILLEGAL_PARAMETER);
111 return MBEDTLS_ERR_SSL_ILLEGAL_PARAMETER;
Jerry Yue1b9c292021-09-10 10:08:31 +0800112 }
113
Gilles Peskine449bd832023-01-11 14:50:10 +0100114 if (&buf[2] != end) {
Xiaokang Qian91bb3f02023-04-03 09:07:03 +0000115 MBEDTLS_SSL_DEBUG_MSG(
116 1, ("supported_versions ext data length incorrect"));
Gilles Peskine449bd832023-01-11 14:50:10 +0100117 MBEDTLS_SSL_PEND_FATAL_ALERT(MBEDTLS_SSL_ALERT_MSG_DECODE_ERROR,
118 MBEDTLS_ERR_SSL_DECODE_ERROR);
119 return MBEDTLS_ERR_SSL_DECODE_ERROR;
Ronald Cron98473382022-03-30 20:04:10 +0200120 }
121
Gilles Peskine449bd832023-01-11 14:50:10 +0100122 return 0;
Jerry Yue1b9c292021-09-10 10:08:31 +0800123}
124
lhuang0486cacac2022-01-21 07:34:27 -0800125#if defined(MBEDTLS_SSL_ALPN)
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +0200126MBEDTLS_CHECK_RETURN_CRITICAL
Gilles Peskine449bd832023-01-11 14:50:10 +0100127static int ssl_tls13_parse_alpn_ext(mbedtls_ssl_context *ssl,
128 const unsigned char *buf, size_t len)
lhuang0486cacac2022-01-21 07:34:27 -0800129{
lhuang0486cacac2022-01-21 07:34:27 -0800130 const unsigned char *p = buf;
131 const unsigned char *end = buf + len;
Ronald Cron81a334f2022-05-31 16:04:11 +0200132 size_t protocol_name_list_len, protocol_name_len;
133 const unsigned char *protocol_name_list_end;
lhuang0486cacac2022-01-21 07:34:27 -0800134
135 /* If we didn't send it, the server shouldn't send it */
Gilles Peskine449bd832023-01-11 14:50:10 +0100136 if (ssl->conf->alpn_list == NULL) {
137 return MBEDTLS_ERR_SSL_BAD_INPUT_DATA;
138 }
lhuang0486cacac2022-01-21 07:34:27 -0800139
140 /*
141 * opaque ProtocolName<1..2^8-1>;
142 *
143 * struct {
144 * ProtocolName protocol_name_list<2..2^16-1>
145 * } ProtocolNameList;
146 *
147 * the "ProtocolNameList" MUST contain exactly one "ProtocolName"
148 */
149
Gilles Peskine449bd832023-01-11 14:50:10 +0100150 MBEDTLS_SSL_CHK_BUF_READ_PTR(p, end, 2);
151 protocol_name_list_len = MBEDTLS_GET_UINT16_BE(p, 0);
lhuang0486cacac2022-01-21 07:34:27 -0800152 p += 2;
lhuang0486cacac2022-01-21 07:34:27 -0800153
Gilles Peskine449bd832023-01-11 14:50:10 +0100154 MBEDTLS_SSL_CHK_BUF_READ_PTR(p, end, protocol_name_list_len);
Ronald Cron81a334f2022-05-31 16:04:11 +0200155 protocol_name_list_end = p + protocol_name_list_len;
156
Gilles Peskine449bd832023-01-11 14:50:10 +0100157 MBEDTLS_SSL_CHK_BUF_READ_PTR(p, protocol_name_list_end, 1);
Ronald Cron81a334f2022-05-31 16:04:11 +0200158 protocol_name_len = *p++;
lhuang0486cacac2022-01-21 07:34:27 -0800159
160 /* Check that the server chosen protocol was in our list and save it */
Gilles Peskine449bd832023-01-11 14:50:10 +0100161 MBEDTLS_SSL_CHK_BUF_READ_PTR(p, protocol_name_list_end, protocol_name_len);
162 for (const char **alpn = ssl->conf->alpn_list; *alpn != NULL; alpn++) {
163 if (protocol_name_len == strlen(*alpn) &&
164 memcmp(p, *alpn, protocol_name_len) == 0) {
lhuang0486cacac2022-01-21 07:34:27 -0800165 ssl->alpn_chosen = *alpn;
Gilles Peskine449bd832023-01-11 14:50:10 +0100166 return 0;
lhuang0486cacac2022-01-21 07:34:27 -0800167 }
168 }
169
Gilles Peskine449bd832023-01-11 14:50:10 +0100170 return MBEDTLS_ERR_SSL_BAD_INPUT_DATA;
lhuang0486cacac2022-01-21 07:34:27 -0800171}
172#endif /* MBEDTLS_SSL_ALPN */
173
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +0200174MBEDTLS_CHECK_RETURN_CRITICAL
Gilles Peskine449bd832023-01-11 14:50:10 +0100175static int ssl_tls13_reset_key_share(mbedtls_ssl_context *ssl)
XiaokangQian647719a2021-12-07 09:16:29 +0000176{
177 uint16_t group_id = ssl->handshake->offered_group_id;
Ronald Cron5b98ac92022-03-15 10:19:18 +0100178
Gilles Peskine449bd832023-01-11 14:50:10 +0100179 if (group_id == 0) {
180 return MBEDTLS_ERR_SSL_INTERNAL_ERROR;
181 }
XiaokangQian647719a2021-12-07 09:16:29 +0000182
Valerio Settic9ae8622023-07-25 11:23:50 +0200183#if defined(MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_SOME_EPHEMERAL_ENABLED)
Przemek Stekielc89f3ea2023-05-18 15:45:53 +0200184 if (mbedtls_ssl_tls13_named_group_is_ecdhe(group_id) ||
Przemek Stekield5f79e72023-06-29 09:08:43 +0200185 mbedtls_ssl_tls13_named_group_is_ffdh(group_id)) {
Ronald Cron5b98ac92022-03-15 10:19:18 +0100186 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
187 psa_status_t status = PSA_ERROR_CORRUPTION_DETECTED;
188
189 /* Destroy generated private key. */
Przemek Stekiel7ac93be2023-07-04 10:02:38 +0200190 status = psa_destroy_key(ssl->handshake->xxdh_psa_privkey);
Gilles Peskine449bd832023-01-11 14:50:10 +0100191 if (status != PSA_SUCCESS) {
Andrzej Kurek8a045ce2022-12-23 11:00:06 -0500192 ret = PSA_TO_MBEDTLS_ERR(status);
Gilles Peskine449bd832023-01-11 14:50:10 +0100193 MBEDTLS_SSL_DEBUG_RET(1, "psa_destroy_key", ret);
194 return ret;
Ronald Cron5b98ac92022-03-15 10:19:18 +0100195 }
196
Przemek Stekiel7ac93be2023-07-04 10:02:38 +0200197 ssl->handshake->xxdh_psa_privkey = MBEDTLS_SVC_KEY_ID_INIT;
Gilles Peskine449bd832023-01-11 14:50:10 +0100198 return 0;
199 } else
Valerio Settic9ae8622023-07-25 11:23:50 +0200200#endif /* MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_SOME_EPHEMERAL_ENABLED */
Gilles Peskine449bd832023-01-11 14:50:10 +0100201 if (0 /* other KEMs? */) {
XiaokangQian647719a2021-12-07 09:16:29 +0000202 /* Do something */
203 }
204
Gilles Peskine449bd832023-01-11 14:50:10 +0100205 return MBEDTLS_ERR_SSL_INTERNAL_ERROR;
XiaokangQian647719a2021-12-07 09:16:29 +0000206}
207
208/*
Jerry Yu56fc07f2021-09-01 17:48:49 +0800209 * Functions for writing key_share extension.
210 */
Ronald Cron766c0cd2022-10-18 12:17:11 +0200211#if defined(MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_SOME_EPHEMERAL_ENABLED)
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +0200212MBEDTLS_CHECK_RETURN_CRITICAL
Gilles Peskine449bd832023-01-11 14:50:10 +0100213static int ssl_tls13_get_default_group_id(mbedtls_ssl_context *ssl,
214 uint16_t *group_id)
Jerry Yu56fc07f2021-09-01 17:48:49 +0800215{
216 int ret = MBEDTLS_ERR_SSL_FEATURE_UNAVAILABLE;
217
Jerry Yu56fc07f2021-09-01 17:48:49 +0800218
Przemek Stekielc89f3ea2023-05-18 15:45:53 +0200219#if defined(PSA_WANT_ALG_ECDH) || defined(PSA_WANT_ALG_FFDH)
Gilles Peskine449bd832023-01-11 14:50:10 +0100220 const uint16_t *group_list = mbedtls_ssl_get_groups(ssl);
Jerry Yu388bd0d2021-09-15 18:41:02 +0800221 /* Pick first available ECDHE group compatible with TLS 1.3 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100222 if (group_list == NULL) {
223 return MBEDTLS_ERR_SSL_BAD_CONFIG;
224 }
Jerry Yu388bd0d2021-09-15 18:41:02 +0800225
Gilles Peskine449bd832023-01-11 14:50:10 +0100226 for (; *group_list != 0; group_list++) {
Przemek Stekiela05e9c12023-06-15 16:58:51 +0200227#if defined(PSA_WANT_ALG_ECDH)
Xiaokang Qian958b6ff2023-03-29 10:37:35 +0000228 if ((mbedtls_ssl_get_psa_curve_info_from_tls_id(
229 *group_list, NULL, NULL) == PSA_SUCCESS) &&
Gilles Peskine449bd832023-01-11 14:50:10 +0100230 mbedtls_ssl_tls13_named_group_is_ecdhe(*group_list)) {
Brett Warren14efd332021-10-06 09:32:11 +0100231 *group_id = *group_list;
Gilles Peskine449bd832023-01-11 14:50:10 +0100232 return 0;
Jerry Yu56fc07f2021-09-01 17:48:49 +0800233 }
Przemek Stekiela05e9c12023-06-15 16:58:51 +0200234#endif
235#if defined(PSA_WANT_ALG_FFDH)
Przemek Stekield5f79e72023-06-29 09:08:43 +0200236 if (mbedtls_ssl_tls13_named_group_is_ffdh(*group_list)) {
Przemek Stekiela05e9c12023-06-15 16:58:51 +0200237 *group_id = *group_list;
238 return 0;
239 }
240#endif
Jerry Yu56fc07f2021-09-01 17:48:49 +0800241 }
242#else
243 ((void) ssl);
Jerry Yub60e3cf2021-09-08 16:41:02 +0800244 ((void) group_id);
Przemek Stekielc89f3ea2023-05-18 15:45:53 +0200245#endif /* PSA_WANT_ALG_ECDH || PSA_WANT_ALG_FFDH */
Jerry Yu56fc07f2021-09-01 17:48:49 +0800246
Gilles Peskine449bd832023-01-11 14:50:10 +0100247 return ret;
Jerry Yu56fc07f2021-09-01 17:48:49 +0800248}
249
250/*
251 * ssl_tls13_write_key_share_ext
252 *
Jerry Yu388bd0d2021-09-15 18:41:02 +0800253 * Structure of key_share extension in ClientHello:
Jerry Yu56fc07f2021-09-01 17:48:49 +0800254 *
255 * struct {
256 * NamedGroup group;
257 * opaque key_exchange<1..2^16-1>;
258 * } KeyShareEntry;
259 * struct {
260 * KeyShareEntry client_shares<0..2^16-1>;
261 * } KeyShareClientHello;
262 */
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +0200263MBEDTLS_CHECK_RETURN_CRITICAL
Gilles Peskine449bd832023-01-11 14:50:10 +0100264static int ssl_tls13_write_key_share_ext(mbedtls_ssl_context *ssl,
265 unsigned char *buf,
266 unsigned char *end,
267 size_t *out_len)
Jerry Yu56fc07f2021-09-01 17:48:49 +0800268{
269 unsigned char *p = buf;
Xiaofei Baieef15042021-11-18 07:29:56 +0000270 unsigned char *client_shares; /* Start of client_shares */
271 size_t client_shares_len; /* Length of client_shares */
Jerry Yu56fc07f2021-09-01 17:48:49 +0800272 uint16_t group_id;
Jerry Yu56fc07f2021-09-01 17:48:49 +0800273 int ret = MBEDTLS_ERR_SSL_FEATURE_UNAVAILABLE;
274
Xiaofei Baid25fab62021-12-02 06:36:27 +0000275 *out_len = 0;
Jerry Yu56fc07f2021-09-01 17:48:49 +0800276
Jerry Yub60e3cf2021-09-08 16:41:02 +0800277 /* Check if we have space for header and length fields:
Jerry Yu56fc07f2021-09-01 17:48:49 +0800278 * - extension_type (2 bytes)
279 * - extension_data_length (2 bytes)
280 * - client_shares_length (2 bytes)
281 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100282 MBEDTLS_SSL_CHK_BUF_PTR(p, end, 6);
Jerry Yu56fc07f2021-09-01 17:48:49 +0800283 p += 6;
284
Gilles Peskine449bd832023-01-11 14:50:10 +0100285 MBEDTLS_SSL_DEBUG_MSG(3, ("client hello: adding key share extension"));
Jerry Yu56fc07f2021-09-01 17:48:49 +0800286
287 /* HRR could already have requested something else. */
288 group_id = ssl->handshake->offered_group_id;
Gilles Peskine449bd832023-01-11 14:50:10 +0100289 if (!mbedtls_ssl_tls13_named_group_is_ecdhe(group_id) &&
Przemek Stekield5f79e72023-06-29 09:08:43 +0200290 !mbedtls_ssl_tls13_named_group_is_ffdh(group_id)) {
Gilles Peskine449bd832023-01-11 14:50:10 +0100291 MBEDTLS_SSL_PROC_CHK(ssl_tls13_get_default_group_id(ssl,
292 &group_id));
Jerry Yu56fc07f2021-09-01 17:48:49 +0800293 }
294
295 /*
296 * Dispatch to type-specific key generation function.
297 *
298 * So far, we're only supporting ECDHE. With the introduction
299 * of PQC KEMs, we'll want to have multiple branches, one per
300 * type of KEM, and dispatch to the corresponding crypto. And
301 * only one key share entry is allowed.
302 */
Xiaofei Baieef15042021-11-18 07:29:56 +0000303 client_shares = p;
Przemek Stekielc89f3ea2023-05-18 15:45:53 +0200304#if defined(PSA_WANT_ALG_ECDH) || defined(PSA_WANT_ALG_FFDH)
305 if (mbedtls_ssl_tls13_named_group_is_ecdhe(group_id) ||
Przemek Stekield5f79e72023-06-29 09:08:43 +0200306 mbedtls_ssl_tls13_named_group_is_ffdh(group_id)) {
Jerry Yu388bd0d2021-09-15 18:41:02 +0800307 /* Pointer to group */
Xiaofei Baieef15042021-11-18 07:29:56 +0000308 unsigned char *group = p;
Jerry Yu56fc07f2021-09-01 17:48:49 +0800309 /* Length of key_exchange */
Przemyslaw Stekiel4f419e52022-02-10 15:56:26 +0100310 size_t key_exchange_len = 0;
Jerry Yu56fc07f2021-09-01 17:48:49 +0800311
312 /* Check there is space for header of KeyShareEntry
313 * - group (2 bytes)
314 * - key_exchange_length (2 bytes)
315 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100316 MBEDTLS_SSL_CHK_BUF_PTR(p, end, 4);
Jerry Yu56fc07f2021-09-01 17:48:49 +0800317 p += 4;
Przemek Stekiel408569f2023-07-06 11:26:44 +0200318 ret = mbedtls_ssl_tls13_generate_and_write_xxdh_key_exchange(
Gilles Peskine449bd832023-01-11 14:50:10 +0100319 ssl, group_id, p, end, &key_exchange_len);
Jerry Yu56fc07f2021-09-01 17:48:49 +0800320 p += key_exchange_len;
Gilles Peskine449bd832023-01-11 14:50:10 +0100321 if (ret != 0) {
322 return ret;
323 }
Jerry Yu56fc07f2021-09-01 17:48:49 +0800324
325 /* Write group */
Gilles Peskine449bd832023-01-11 14:50:10 +0100326 MBEDTLS_PUT_UINT16_BE(group_id, group, 0);
Jerry Yu56fc07f2021-09-01 17:48:49 +0800327 /* Write key_exchange_length */
Gilles Peskine449bd832023-01-11 14:50:10 +0100328 MBEDTLS_PUT_UINT16_BE(key_exchange_len, group, 2);
329 } else
Przemek Stekielc89f3ea2023-05-18 15:45:53 +0200330#endif /* PSA_WANT_ALG_ECDH || PSA_WANT_ALG_FFDH */
Gilles Peskine449bd832023-01-11 14:50:10 +0100331 if (0 /* other KEMs? */) {
Jerry Yu56fc07f2021-09-01 17:48:49 +0800332 /* Do something */
Gilles Peskine449bd832023-01-11 14:50:10 +0100333 } else {
334 return MBEDTLS_ERR_SSL_INTERNAL_ERROR;
Jerry Yu56fc07f2021-09-01 17:48:49 +0800335 }
Jerry Yu56fc07f2021-09-01 17:48:49 +0800336
Jerry Yub60e3cf2021-09-08 16:41:02 +0800337 /* Length of client_shares */
Xiaofei Baieef15042021-11-18 07:29:56 +0000338 client_shares_len = p - client_shares;
Gilles Peskine449bd832023-01-11 14:50:10 +0100339 if (client_shares_len == 0) {
340 MBEDTLS_SSL_DEBUG_MSG(1, ("No key share defined."));
341 return MBEDTLS_ERR_SSL_INTERNAL_ERROR;
Jerry Yu7c522d42021-09-08 17:55:09 +0800342 }
Jerry Yu56fc07f2021-09-01 17:48:49 +0800343 /* Write extension_type */
Gilles Peskine449bd832023-01-11 14:50:10 +0100344 MBEDTLS_PUT_UINT16_BE(MBEDTLS_TLS_EXT_KEY_SHARE, buf, 0);
Jerry Yu56fc07f2021-09-01 17:48:49 +0800345 /* Write extension_data_length */
Gilles Peskine449bd832023-01-11 14:50:10 +0100346 MBEDTLS_PUT_UINT16_BE(client_shares_len + 2, buf, 2);
Jerry Yu56fc07f2021-09-01 17:48:49 +0800347 /* Write client_shares_length */
Gilles Peskine449bd832023-01-11 14:50:10 +0100348 MBEDTLS_PUT_UINT16_BE(client_shares_len, buf, 4);
Jerry Yu56fc07f2021-09-01 17:48:49 +0800349
350 /* Update offered_group_id field */
351 ssl->handshake->offered_group_id = group_id;
352
353 /* Output the total length of key_share extension. */
Xiaofei Baid25fab62021-12-02 06:36:27 +0000354 *out_len = p - buf;
Jerry Yu56fc07f2021-09-01 17:48:49 +0800355
Xiaokang Qian91bb3f02023-04-03 09:07:03 +0000356 MBEDTLS_SSL_DEBUG_BUF(
357 3, "client hello, key_share extension", buf, *out_len);
Jerry Yu56fc07f2021-09-01 17:48:49 +0800358
Gilles Peskine449bd832023-01-11 14:50:10 +0100359 mbedtls_ssl_tls13_set_hs_sent_ext_mask(ssl, MBEDTLS_TLS_EXT_KEY_SHARE);
Jerry Yu56fc07f2021-09-01 17:48:49 +0800360
361cleanup:
362
Gilles Peskine449bd832023-01-11 14:50:10 +0100363 return ret;
Jerry Yu56fc07f2021-09-01 17:48:49 +0800364}
Ronald Cron766c0cd2022-10-18 12:17:11 +0200365#endif /* MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_SOME_EPHEMERAL_ENABLED */
Jerry Yue1b9c292021-09-10 10:08:31 +0800366
XiaokangQiand59be772022-01-24 10:12:51 +0000367/*
368 * ssl_tls13_parse_hrr_key_share_ext()
369 * Parse key_share extension in Hello Retry Request
370 *
371 * struct {
372 * NamedGroup selected_group;
373 * } KeyShareHelloRetryRequest;
374 */
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +0200375MBEDTLS_CHECK_RETURN_CRITICAL
Gilles Peskine449bd832023-01-11 14:50:10 +0100376static int ssl_tls13_parse_hrr_key_share_ext(mbedtls_ssl_context *ssl,
377 const unsigned char *buf,
378 const unsigned char *end)
XiaokangQianb851da82022-01-14 04:03:11 +0000379{
Przemek Stekiel75a5a9c2023-06-12 11:21:18 +0200380#if defined(PSA_WANT_ALG_ECDH) || defined(PSA_WANT_ALG_FFDH)
XiaokangQianb851da82022-01-14 04:03:11 +0000381 const unsigned char *p = buf;
XiaokangQiand59be772022-01-24 10:12:51 +0000382 int selected_group;
XiaokangQianb851da82022-01-14 04:03:11 +0000383 int found = 0;
384
Gilles Peskine449bd832023-01-11 14:50:10 +0100385 const uint16_t *group_list = mbedtls_ssl_get_groups(ssl);
386 if (group_list == NULL) {
387 return MBEDTLS_ERR_SSL_BAD_CONFIG;
388 }
XiaokangQianb851da82022-01-14 04:03:11 +0000389
Gilles Peskine449bd832023-01-11 14:50:10 +0100390 MBEDTLS_SSL_DEBUG_BUF(3, "key_share extension", p, end - buf);
XiaokangQianb851da82022-01-14 04:03:11 +0000391
392 /* Read selected_group */
Gilles Peskine449bd832023-01-11 14:50:10 +0100393 MBEDTLS_SSL_CHK_BUF_READ_PTR(p, end, 2);
394 selected_group = MBEDTLS_GET_UINT16_BE(p, 0);
395 MBEDTLS_SSL_DEBUG_MSG(3, ("selected_group ( %d )", selected_group));
XiaokangQianb851da82022-01-14 04:03:11 +0000396
397 /* Upon receipt of this extension in a HelloRetryRequest, the client
398 * MUST first verify that the selected_group field corresponds to a
399 * group which was provided in the "supported_groups" extension in the
400 * original ClientHello.
401 * The supported_group was based on the info in ssl->conf->group_list.
402 *
403 * If the server provided a key share that was not sent in the ClientHello
404 * then the client MUST abort the handshake with an "illegal_parameter" alert.
405 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100406 for (; *group_list != 0; group_list++) {
Przemek Stekiel75a5a9c2023-06-12 11:21:18 +0200407#if defined(PSA_WANT_ALG_ECDH)
Przemek Stekielc89f3ea2023-05-18 15:45:53 +0200408 if (mbedtls_ssl_tls13_named_group_is_ecdhe(*group_list)) {
409 if ((mbedtls_ssl_get_psa_curve_info_from_tls_id(
410 *group_list, NULL, NULL) == PSA_ERROR_NOT_SUPPORTED) ||
411 *group_list != selected_group) {
412 found = 1;
413 break;
414 }
Gilles Peskine449bd832023-01-11 14:50:10 +0100415 }
Przemek Stekiel75a5a9c2023-06-12 11:21:18 +0200416#endif /* PSA_WANT_ALG_ECDH */
417#if defined(PSA_WANT_ALG_FFDH)
Przemek Stekield5f79e72023-06-29 09:08:43 +0200418 if (mbedtls_ssl_tls13_named_group_is_ffdh(*group_list)) {
Przemek Stekielc89f3ea2023-05-18 15:45:53 +0200419 found = 1;
420 break;
421 }
Przemek Stekiel75a5a9c2023-06-12 11:21:18 +0200422#endif /* PSA_WANT_ALG_FFDH */
XiaokangQianb851da82022-01-14 04:03:11 +0000423 }
424
425 /* Client MUST verify that the selected_group field does not
426 * correspond to a group which was provided in the "key_share"
427 * extension in the original ClientHello. If the server sent an
428 * HRR message with a key share already provided in the
429 * ClientHello then the client MUST abort the handshake with
430 * an "illegal_parameter" alert.
431 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100432 if (found == 0 || selected_group == ssl->handshake->offered_group_id) {
433 MBEDTLS_SSL_DEBUG_MSG(1, ("Invalid key share in HRR"));
XiaokangQianb851da82022-01-14 04:03:11 +0000434 MBEDTLS_SSL_PEND_FATAL_ALERT(
Gilles Peskine449bd832023-01-11 14:50:10 +0100435 MBEDTLS_SSL_ALERT_MSG_ILLEGAL_PARAMETER,
436 MBEDTLS_ERR_SSL_ILLEGAL_PARAMETER);
437 return MBEDTLS_ERR_SSL_ILLEGAL_PARAMETER;
XiaokangQianb851da82022-01-14 04:03:11 +0000438 }
439
440 /* Remember server's preference for next ClientHello */
XiaokangQiand59be772022-01-24 10:12:51 +0000441 ssl->handshake->offered_group_id = selected_group;
XiaokangQianb851da82022-01-14 04:03:11 +0000442
Gilles Peskine449bd832023-01-11 14:50:10 +0100443 return 0;
Przemek Stekiel75a5a9c2023-06-12 11:21:18 +0200444#else /* PSA_WANT_ALG_ECDH || PSA_WANT_ALG_FFDH */
Andrzej Kurekc19fb082022-10-03 10:52:24 -0400445 (void) ssl;
446 (void) buf;
447 (void) end;
Gilles Peskine449bd832023-01-11 14:50:10 +0100448 return MBEDTLS_ERR_SSL_BAD_CONFIG;
Przemek Stekiel75a5a9c2023-06-12 11:21:18 +0200449#endif /* PSA_WANT_ALG_ECDH || PSA_WANT_ALG_FFDH */
XiaokangQianb851da82022-01-14 04:03:11 +0000450}
451
Jerry Yue1b9c292021-09-10 10:08:31 +0800452/*
Jerry Yub85277e2021-10-13 13:36:05 +0800453 * ssl_tls13_parse_key_share_ext()
454 * Parse key_share extension in Server Hello
455 *
Jerry Yue1b9c292021-09-10 10:08:31 +0800456 * struct {
457 * KeyShareEntry server_share;
458 * } KeyShareServerHello;
459 * struct {
460 * NamedGroup group;
461 * opaque key_exchange<1..2^16-1>;
462 * } KeyShareEntry;
463 */
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +0200464MBEDTLS_CHECK_RETURN_CRITICAL
Gilles Peskine449bd832023-01-11 14:50:10 +0100465static int ssl_tls13_parse_key_share_ext(mbedtls_ssl_context *ssl,
466 const unsigned char *buf,
467 const unsigned char *end)
Jerry Yue1b9c292021-09-10 10:08:31 +0800468{
Jerry Yub85277e2021-10-13 13:36:05 +0800469 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Jerry Yue1b9c292021-09-10 10:08:31 +0800470 const unsigned char *p = buf;
Jerry Yu4a173382021-10-11 21:45:31 +0800471 uint16_t group, offered_group;
Jerry Yue1b9c292021-09-10 10:08:31 +0800472
Jerry Yu4a173382021-10-11 21:45:31 +0800473 /* ...
474 * NamedGroup group; (2 bytes)
475 * ...
476 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100477 MBEDTLS_SSL_CHK_BUF_READ_PTR(p, end, 2);
478 group = MBEDTLS_GET_UINT16_BE(p, 0);
Jerry Yue1b9c292021-09-10 10:08:31 +0800479 p += 2;
480
Jerry Yu4a173382021-10-11 21:45:31 +0800481 /* Check that the chosen group matches the one we offered. */
Jerry Yue1b9c292021-09-10 10:08:31 +0800482 offered_group = ssl->handshake->offered_group_id;
Gilles Peskine449bd832023-01-11 14:50:10 +0100483 if (offered_group != group) {
Xiaokang Qian958b6ff2023-03-29 10:37:35 +0000484 MBEDTLS_SSL_DEBUG_MSG(
485 1, ("Invalid server key share, our group %u, their group %u",
486 (unsigned) offered_group, (unsigned) group));
Gilles Peskine449bd832023-01-11 14:50:10 +0100487 MBEDTLS_SSL_PEND_FATAL_ALERT(MBEDTLS_SSL_ALERT_MSG_HANDSHAKE_FAILURE,
488 MBEDTLS_ERR_SSL_HANDSHAKE_FAILURE);
489 return MBEDTLS_ERR_SSL_HANDSHAKE_FAILURE;
Jerry Yue1b9c292021-09-10 10:08:31 +0800490 }
491
Valerio Settic9ae8622023-07-25 11:23:50 +0200492#if defined(MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_SOME_EPHEMERAL_ENABLED)
Przemek Stekielc89f3ea2023-05-18 15:45:53 +0200493 if (mbedtls_ssl_tls13_named_group_is_ecdhe(group) ||
Przemek Stekield5f79e72023-06-29 09:08:43 +0200494 mbedtls_ssl_tls13_named_group_is_ffdh(group)) {
Przemek Stekiel75a5a9c2023-06-12 11:21:18 +0200495 MBEDTLS_SSL_DEBUG_MSG(2,
496 ("DHE group name: %s", mbedtls_ssl_named_group_to_str(group)));
Przemek Stekiel7ac93be2023-07-04 10:02:38 +0200497 ret = mbedtls_ssl_tls13_read_public_xxdhe_share(ssl, p, end - p);
Gilles Peskine449bd832023-01-11 14:50:10 +0100498 if (ret != 0) {
499 return ret;
500 }
501 } else
Valerio Settic9ae8622023-07-25 11:23:50 +0200502#endif /* MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_SOME_EPHEMERAL_ENABLED */
Gilles Peskine449bd832023-01-11 14:50:10 +0100503 if (0 /* other KEMs? */) {
Jerry Yue1b9c292021-09-10 10:08:31 +0800504 /* Do something */
Gilles Peskine449bd832023-01-11 14:50:10 +0100505 } else {
506 return MBEDTLS_ERR_SSL_INTERNAL_ERROR;
Jerry Yue1b9c292021-09-10 10:08:31 +0800507 }
Jerry Yue1b9c292021-09-10 10:08:31 +0800508
Gilles Peskine449bd832023-01-11 14:50:10 +0100509 return ret;
Jerry Yue1b9c292021-09-10 10:08:31 +0800510}
511
XiaokangQiand59be772022-01-24 10:12:51 +0000512/*
513 * ssl_tls13_parse_cookie_ext()
514 * Parse cookie extension in Hello Retry Request
515 *
516 * struct {
517 * opaque cookie<1..2^16-1>;
518 * } Cookie;
519 *
520 * When sending a HelloRetryRequest, the server MAY provide a "cookie"
521 * extension to the client (this is an exception to the usual rule that
522 * the only extensions that may be sent are those that appear in the
523 * ClientHello). When sending the new ClientHello, the client MUST copy
524 * the contents of the extension received in the HelloRetryRequest into
525 * a "cookie" extension in the new ClientHello. Clients MUST NOT use
526 * cookies in their initial ClientHello in subsequent connections.
527 */
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +0200528MBEDTLS_CHECK_RETURN_CRITICAL
Gilles Peskine449bd832023-01-11 14:50:10 +0100529static int ssl_tls13_parse_cookie_ext(mbedtls_ssl_context *ssl,
530 const unsigned char *buf,
531 const unsigned char *end)
XiaokangQian43550bd2022-01-21 04:32:58 +0000532{
XiaokangQian25c9c902022-02-08 10:49:53 +0000533 uint16_t cookie_len;
XiaokangQian43550bd2022-01-21 04:32:58 +0000534 const unsigned char *p = buf;
535 mbedtls_ssl_handshake_params *handshake = ssl->handshake;
536
537 /* Retrieve length field of cookie */
Gilles Peskine449bd832023-01-11 14:50:10 +0100538 MBEDTLS_SSL_CHK_BUF_READ_PTR(p, end, 2);
539 cookie_len = MBEDTLS_GET_UINT16_BE(p, 0);
XiaokangQian43550bd2022-01-21 04:32:58 +0000540 p += 2;
541
Gilles Peskine449bd832023-01-11 14:50:10 +0100542 MBEDTLS_SSL_CHK_BUF_READ_PTR(p, end, cookie_len);
543 MBEDTLS_SSL_DEBUG_BUF(3, "cookie extension", p, cookie_len);
XiaokangQian43550bd2022-01-21 04:32:58 +0000544
Gilles Peskine449bd832023-01-11 14:50:10 +0100545 mbedtls_free(handshake->cookie);
Jerry Yuac5ca5a2022-03-04 12:50:46 +0800546 handshake->cookie_len = 0;
Gilles Peskine449bd832023-01-11 14:50:10 +0100547 handshake->cookie = mbedtls_calloc(1, cookie_len);
548 if (handshake->cookie == NULL) {
549 MBEDTLS_SSL_DEBUG_MSG(1,
550 ("alloc failed ( %ud bytes )",
551 cookie_len));
552 return MBEDTLS_ERR_SSL_ALLOC_FAILED;
XiaokangQian43550bd2022-01-21 04:32:58 +0000553 }
554
Gilles Peskine449bd832023-01-11 14:50:10 +0100555 memcpy(handshake->cookie, p, cookie_len);
Jerry Yuac5ca5a2022-03-04 12:50:46 +0800556 handshake->cookie_len = cookie_len;
XiaokangQian43550bd2022-01-21 04:32:58 +0000557
Gilles Peskine449bd832023-01-11 14:50:10 +0100558 return 0;
XiaokangQian43550bd2022-01-21 04:32:58 +0000559}
XiaokangQian43550bd2022-01-21 04:32:58 +0000560
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +0200561MBEDTLS_CHECK_RETURN_CRITICAL
Gilles Peskine449bd832023-01-11 14:50:10 +0100562static int ssl_tls13_write_cookie_ext(mbedtls_ssl_context *ssl,
563 unsigned char *buf,
564 unsigned char *end,
565 size_t *out_len)
XiaokangQian0b64eed2022-01-27 10:36:51 +0000566{
567 unsigned char *p = buf;
XiaokangQian9deb90f2022-02-08 10:31:07 +0000568 *out_len = 0;
XiaokangQianc02768a2022-02-10 07:31:25 +0000569 mbedtls_ssl_handshake_params *handshake = ssl->handshake;
XiaokangQian0b64eed2022-01-27 10:36:51 +0000570
Gilles Peskine449bd832023-01-11 14:50:10 +0100571 if (handshake->cookie == NULL) {
572 MBEDTLS_SSL_DEBUG_MSG(3, ("no cookie to send; skip extension"));
573 return 0;
XiaokangQian0b64eed2022-01-27 10:36:51 +0000574 }
575
Gilles Peskine449bd832023-01-11 14:50:10 +0100576 MBEDTLS_SSL_DEBUG_BUF(3, "client hello, cookie",
577 handshake->cookie,
578 handshake->cookie_len);
XiaokangQian0b64eed2022-01-27 10:36:51 +0000579
Gilles Peskine449bd832023-01-11 14:50:10 +0100580 MBEDTLS_SSL_CHK_BUF_PTR(p, end, handshake->cookie_len + 6);
XiaokangQian0b64eed2022-01-27 10:36:51 +0000581
Gilles Peskine449bd832023-01-11 14:50:10 +0100582 MBEDTLS_SSL_DEBUG_MSG(3, ("client hello, adding cookie extension"));
XiaokangQian0b64eed2022-01-27 10:36:51 +0000583
Gilles Peskine449bd832023-01-11 14:50:10 +0100584 MBEDTLS_PUT_UINT16_BE(MBEDTLS_TLS_EXT_COOKIE, p, 0);
585 MBEDTLS_PUT_UINT16_BE(handshake->cookie_len + 2, p, 2);
586 MBEDTLS_PUT_UINT16_BE(handshake->cookie_len, p, 4);
XiaokangQian233397e2022-02-07 08:32:16 +0000587 p += 6;
XiaokangQian0b64eed2022-01-27 10:36:51 +0000588
589 /* Cookie */
Gilles Peskine449bd832023-01-11 14:50:10 +0100590 memcpy(p, handshake->cookie, handshake->cookie_len);
XiaokangQian0b64eed2022-01-27 10:36:51 +0000591
Jerry Yuac5ca5a2022-03-04 12:50:46 +0800592 *out_len = handshake->cookie_len + 6;
XiaokangQian0b64eed2022-01-27 10:36:51 +0000593
Gilles Peskine449bd832023-01-11 14:50:10 +0100594 mbedtls_ssl_tls13_set_hs_sent_ext_mask(ssl, MBEDTLS_TLS_EXT_COOKIE);
Jerry Yu4b8f2f72022-10-31 13:31:22 +0800595
Gilles Peskine449bd832023-01-11 14:50:10 +0100596 return 0;
XiaokangQian0b64eed2022-01-27 10:36:51 +0000597}
598
Ronald Cron41a443a2022-10-04 16:38:25 +0200599#if defined(MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_SOME_PSK_ENABLED)
XiaokangQianeb69aee2022-07-05 08:21:43 +0000600/*
601 * ssl_tls13_write_psk_key_exchange_modes_ext() structure:
602 *
603 * enum { psk_ke( 0 ), psk_dhe_ke( 1 ), ( 255 ) } PskKeyExchangeMode;
604 *
605 * struct {
606 * PskKeyExchangeMode ke_modes<1..255>;
607 * } PskKeyExchangeModes;
608 */
XiaokangQian86981952022-07-19 09:51:50 +0000609MBEDTLS_CHECK_RETURN_CRITICAL
Gilles Peskine449bd832023-01-11 14:50:10 +0100610static int ssl_tls13_write_psk_key_exchange_modes_ext(mbedtls_ssl_context *ssl,
611 unsigned char *buf,
612 unsigned char *end,
613 size_t *out_len)
XiaokangQianeb69aee2022-07-05 08:21:43 +0000614{
XiaokangQianeb69aee2022-07-05 08:21:43 +0000615 unsigned char *p = buf;
XiaokangQian008d2bf2022-07-14 07:54:01 +0000616 int ke_modes_len = 0;
XiaokangQianeb69aee2022-07-05 08:21:43 +0000617
Gilles Peskine449bd832023-01-11 14:50:10 +0100618 ((void) ke_modes_len);
XiaokangQianeb69aee2022-07-05 08:21:43 +0000619 *out_len = 0;
XiaokangQian008d2bf2022-07-14 07:54:01 +0000620
XiaokangQianeb69aee2022-07-05 08:21:43 +0000621 /* Skip writing extension if no PSK key exchange mode
XiaokangQian7c12d312022-07-20 07:25:43 +0000622 * is enabled in the config.
XiaokangQianeb69aee2022-07-05 08:21:43 +0000623 */
Pengyu Lv0a1ff2b2023-11-14 11:03:32 +0800624 if (!mbedtls_ssl_conf_tls13_is_some_psk_enabled(ssl)) {
Gilles Peskine449bd832023-01-11 14:50:10 +0100625 MBEDTLS_SSL_DEBUG_MSG(3, ("skip psk_key_exchange_modes extension"));
626 return 0;
XiaokangQianeb69aee2022-07-05 08:21:43 +0000627 }
628
629 /* Require 7 bytes of data, otherwise fail,
630 * even if extension might be shorter.
631 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100632 MBEDTLS_SSL_CHK_BUF_PTR(p, end, 7);
XiaokangQianeb69aee2022-07-05 08:21:43 +0000633 MBEDTLS_SSL_DEBUG_MSG(
Gilles Peskine449bd832023-01-11 14:50:10 +0100634 3, ("client hello, adding psk_key_exchange_modes extension"));
XiaokangQianeb69aee2022-07-05 08:21:43 +0000635
Gilles Peskine449bd832023-01-11 14:50:10 +0100636 MBEDTLS_PUT_UINT16_BE(MBEDTLS_TLS_EXT_PSK_KEY_EXCHANGE_MODES, p, 0);
XiaokangQianeb69aee2022-07-05 08:21:43 +0000637
XiaokangQian008d2bf2022-07-14 07:54:01 +0000638 /* Skip extension length (2 bytes) and
639 * ke_modes length (1 byte) for now.
XiaokangQianeb69aee2022-07-05 08:21:43 +0000640 */
641 p += 5;
642
Pengyu Lv0a1ff2b2023-11-14 11:03:32 +0800643 if (mbedtls_ssl_conf_tls13_is_psk_ephemeral_enabled(ssl)) {
XiaokangQianeb69aee2022-07-05 08:21:43 +0000644 *p++ = MBEDTLS_SSL_TLS1_3_PSK_MODE_ECDHE;
XiaokangQian008d2bf2022-07-14 07:54:01 +0000645 ke_modes_len++;
XiaokangQianeb69aee2022-07-05 08:21:43 +0000646
Gilles Peskine449bd832023-01-11 14:50:10 +0100647 MBEDTLS_SSL_DEBUG_MSG(4, ("Adding PSK-ECDHE key exchange mode"));
XiaokangQianeb69aee2022-07-05 08:21:43 +0000648 }
649
Pengyu Lv0a1ff2b2023-11-14 11:03:32 +0800650 if (mbedtls_ssl_conf_tls13_is_psk_enabled(ssl)) {
Ronald Crona709a0f2022-09-27 16:46:11 +0200651 *p++ = MBEDTLS_SSL_TLS1_3_PSK_MODE_PURE;
652 ke_modes_len++;
653
Gilles Peskine449bd832023-01-11 14:50:10 +0100654 MBEDTLS_SSL_DEBUG_MSG(4, ("Adding pure PSK key exchange mode"));
Ronald Crona709a0f2022-09-27 16:46:11 +0200655 }
656
XiaokangQian008d2bf2022-07-14 07:54:01 +0000657 /* Now write the extension and ke_modes length */
Gilles Peskine449bd832023-01-11 14:50:10 +0100658 MBEDTLS_PUT_UINT16_BE(ke_modes_len + 1, buf, 2);
XiaokangQian008d2bf2022-07-14 07:54:01 +0000659 buf[4] = ke_modes_len;
XiaokangQianeb69aee2022-07-05 08:21:43 +0000660
661 *out_len = p - buf;
Jerry Yu0c354a22022-08-29 15:25:36 +0800662
Jerry Yuc4bf5d62022-10-29 09:08:47 +0800663 mbedtls_ssl_tls13_set_hs_sent_ext_mask(
Gilles Peskine449bd832023-01-11 14:50:10 +0100664 ssl, MBEDTLS_TLS_EXT_PSK_KEY_EXCHANGE_MODES);
Jerry Yu4b8f2f72022-10-31 13:31:22 +0800665
Gilles Peskine449bd832023-01-11 14:50:10 +0100666 return 0;
XiaokangQianeb69aee2022-07-05 08:21:43 +0000667}
Jerry Yudb8c5fa2022-08-03 12:10:13 +0800668
Gilles Peskine449bd832023-01-11 14:50:10 +0100669static psa_algorithm_t ssl_tls13_get_ciphersuite_hash_alg(int ciphersuite)
Jerry Yuf7c12592022-09-28 22:09:38 +0800670{
Jerry Yu21f90952022-10-08 10:30:53 +0800671 const mbedtls_ssl_ciphersuite_t *ciphersuite_info = NULL;
Gilles Peskine449bd832023-01-11 14:50:10 +0100672 ciphersuite_info = mbedtls_ssl_ciphersuite_from_id(ciphersuite);
Jerry Yuf7c12592022-09-28 22:09:38 +0800673
Gilles Peskine449bd832023-01-11 14:50:10 +0100674 if (ciphersuite_info != NULL) {
Dave Rodgman2eab4622023-10-05 13:30:37 +0100675 return mbedtls_md_psa_alg_from_type((mbedtls_md_type_t) ciphersuite_info->mac);
Gilles Peskine449bd832023-01-11 14:50:10 +0100676 }
Jerry Yua99cbfa2022-10-08 11:17:14 +0800677
Gilles Peskine449bd832023-01-11 14:50:10 +0100678 return PSA_ALG_NONE;
Jerry Yuf7c12592022-09-28 22:09:38 +0800679}
680
Jerry Yuf75364b2022-09-30 10:30:31 +0800681#if defined(MBEDTLS_SSL_SESSION_TICKETS)
Gilles Peskine449bd832023-01-11 14:50:10 +0100682static int ssl_tls13_has_configured_ticket(mbedtls_ssl_context *ssl)
Xiaokang Qianb781a232022-11-01 07:39:46 +0000683{
684 mbedtls_ssl_session *session = ssl->session_negotiate;
Gilles Peskine449bd832023-01-11 14:50:10 +0100685 return ssl->handshake->resume &&
Pengyu Lv93566782022-12-07 12:10:05 +0800686 session != NULL && session->ticket != NULL &&
Pengyu Lvfc2cb962023-11-10 10:22:36 +0800687 mbedtls_ssl_conf_tls13_is_kex_mode_enabled(
Pengyu Lv94a42cc2023-12-06 10:04:17 +0800688 ssl, mbedtls_ssl_tls13_session_get_ticket_flags(
Pengyu Lv9b84ea72023-01-16 14:08:23 +0800689 session, MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_PSK_ALL));
Xiaokang Qianb781a232022-11-01 07:39:46 +0000690}
691
Xiaokang Qian01323a42022-11-03 02:27:35 +0000692#if defined(MBEDTLS_SSL_EARLY_DATA)
Gilles Peskine449bd832023-01-11 14:50:10 +0100693static int ssl_tls13_early_data_has_valid_ticket(mbedtls_ssl_context *ssl)
Xiaokang Qian01323a42022-11-03 02:27:35 +0000694{
695 mbedtls_ssl_session *session = ssl->session_negotiate;
Gilles Peskine449bd832023-01-11 14:50:10 +0100696 return ssl->handshake->resume &&
697 session->tls_version == MBEDTLS_SSL_VERSION_TLS1_3 &&
Pengyu Lv94a42cc2023-12-06 10:04:17 +0800698 mbedtls_ssl_tls13_session_ticket_allow_early_data(session) &&
Jerry Yuc2b1bc42023-11-22 10:08:13 +0800699 mbedtls_ssl_tls13_cipher_suite_is_offered(ssl, session->ciphersuite);
Xiaokang Qian01323a42022-11-03 02:27:35 +0000700}
701#endif
702
Xiaokang Qianb781a232022-11-01 07:39:46 +0000703MBEDTLS_CHECK_RETURN_CRITICAL
Gilles Peskine449bd832023-01-11 14:50:10 +0100704static int ssl_tls13_ticket_get_identity(mbedtls_ssl_context *ssl,
705 psa_algorithm_t *hash_alg,
706 const unsigned char **identity,
707 size_t *identity_len)
Jerry Yuf7c12592022-09-28 22:09:38 +0800708{
709 mbedtls_ssl_session *session = ssl->session_negotiate;
Jerry Yu8b41e892022-09-30 10:00:20 +0800710
Gilles Peskine449bd832023-01-11 14:50:10 +0100711 if (!ssl_tls13_has_configured_ticket(ssl)) {
712 return -1;
713 }
Jerry Yu8b41e892022-09-30 10:00:20 +0800714
Gilles Peskine449bd832023-01-11 14:50:10 +0100715 *hash_alg = ssl_tls13_get_ciphersuite_hash_alg(session->ciphersuite);
Jerry Yuf7c12592022-09-28 22:09:38 +0800716 *identity = session->ticket;
717 *identity_len = session->ticket_len;
Gilles Peskine449bd832023-01-11 14:50:10 +0100718 return 0;
Jerry Yuf7c12592022-09-28 22:09:38 +0800719}
720
Jerry Yu1a0a0f42022-09-28 22:11:02 +0800721MBEDTLS_CHECK_RETURN_CRITICAL
Gilles Peskine449bd832023-01-11 14:50:10 +0100722static int ssl_tls13_ticket_get_psk(mbedtls_ssl_context *ssl,
723 psa_algorithm_t *hash_alg,
724 const unsigned char **psk,
725 size_t *psk_len)
Jerry Yu1a0a0f42022-09-28 22:11:02 +0800726{
727
728 mbedtls_ssl_session *session = ssl->session_negotiate;
729
Gilles Peskine449bd832023-01-11 14:50:10 +0100730 if (!ssl_tls13_has_configured_ticket(ssl)) {
731 return -1;
732 }
Jerry Yu8b41e892022-09-30 10:00:20 +0800733
Gilles Peskine449bd832023-01-11 14:50:10 +0100734 *hash_alg = ssl_tls13_get_ciphersuite_hash_alg(session->ciphersuite);
Jerry Yu1a0a0f42022-09-28 22:11:02 +0800735 *psk = session->resumption_key;
736 *psk_len = session->resumption_key_len;
737
Gilles Peskine449bd832023-01-11 14:50:10 +0100738 return 0;
Jerry Yu1a0a0f42022-09-28 22:11:02 +0800739}
Jerry Yuf7c12592022-09-28 22:09:38 +0800740#endif /* MBEDTLS_SSL_SESSION_TICKETS */
741
742MBEDTLS_CHECK_RETURN_CRITICAL
Gilles Peskine449bd832023-01-11 14:50:10 +0100743static int ssl_tls13_psk_get_identity(mbedtls_ssl_context *ssl,
744 psa_algorithm_t *hash_alg,
745 const unsigned char **identity,
746 size_t *identity_len)
Jerry Yuf7c12592022-09-28 22:09:38 +0800747{
Jerry Yu8b41e892022-09-30 10:00:20 +0800748
Gilles Peskine449bd832023-01-11 14:50:10 +0100749 if (!mbedtls_ssl_conf_has_static_psk(ssl->conf)) {
750 return -1;
751 }
Jerry Yuf7c12592022-09-28 22:09:38 +0800752
Jerry Yua99cbfa2022-10-08 11:17:14 +0800753 *hash_alg = PSA_ALG_SHA_256;
Jerry Yuf7c12592022-09-28 22:09:38 +0800754 *identity = ssl->conf->psk_identity;
755 *identity_len = ssl->conf->psk_identity_len;
Gilles Peskine449bd832023-01-11 14:50:10 +0100756 return 0;
Jerry Yuf7c12592022-09-28 22:09:38 +0800757}
758
Jerry Yu1a0a0f42022-09-28 22:11:02 +0800759MBEDTLS_CHECK_RETURN_CRITICAL
Gilles Peskine449bd832023-01-11 14:50:10 +0100760static int ssl_tls13_psk_get_psk(mbedtls_ssl_context *ssl,
761 psa_algorithm_t *hash_alg,
762 const unsigned char **psk,
763 size_t *psk_len)
Jerry Yu1a0a0f42022-09-28 22:11:02 +0800764{
Jerry Yu8b41e892022-09-30 10:00:20 +0800765
Gilles Peskine449bd832023-01-11 14:50:10 +0100766 if (!mbedtls_ssl_conf_has_static_psk(ssl->conf)) {
767 return -1;
768 }
Jerry Yu8b41e892022-09-30 10:00:20 +0800769
Jerry Yua99cbfa2022-10-08 11:17:14 +0800770 *hash_alg = PSA_ALG_SHA_256;
Jerry Yu1a0a0f42022-09-28 22:11:02 +0800771 *psk = ssl->conf->psk;
772 *psk_len = ssl->conf->psk_len;
Gilles Peskine449bd832023-01-11 14:50:10 +0100773 return 0;
Jerry Yu1a0a0f42022-09-28 22:11:02 +0800774}
775
Gilles Peskine449bd832023-01-11 14:50:10 +0100776static int ssl_tls13_get_configured_psk_count(mbedtls_ssl_context *ssl)
Jerry Yuf75364b2022-09-30 10:30:31 +0800777{
778 int configured_psk_count = 0;
779#if defined(MBEDTLS_SSL_SESSION_TICKETS)
Gilles Peskine449bd832023-01-11 14:50:10 +0100780 if (ssl_tls13_has_configured_ticket(ssl)) {
781 MBEDTLS_SSL_DEBUG_MSG(3, ("Ticket is configured"));
Jerry Yuf75364b2022-09-30 10:30:31 +0800782 configured_psk_count++;
783 }
784#endif
Gilles Peskine449bd832023-01-11 14:50:10 +0100785 if (mbedtls_ssl_conf_has_static_psk(ssl->conf)) {
786 MBEDTLS_SSL_DEBUG_MSG(3, ("PSK is configured"));
Jerry Yuf75364b2022-09-30 10:30:31 +0800787 configured_psk_count++;
788 }
Gilles Peskine449bd832023-01-11 14:50:10 +0100789 return configured_psk_count;
Jerry Yuf75364b2022-09-30 10:30:31 +0800790}
791
Jerry Yuf7c12592022-09-28 22:09:38 +0800792MBEDTLS_CHECK_RETURN_CRITICAL
Gilles Peskine449bd832023-01-11 14:50:10 +0100793static int ssl_tls13_write_identity(mbedtls_ssl_context *ssl,
794 unsigned char *buf,
795 unsigned char *end,
796 const unsigned char *identity,
797 size_t identity_len,
798 uint32_t obfuscated_ticket_age,
799 size_t *out_len)
Jerry Yuf7c12592022-09-28 22:09:38 +0800800{
Jerry Yuf75364b2022-09-30 10:30:31 +0800801 ((void) ssl);
Jerry Yuf7c12592022-09-28 22:09:38 +0800802 *out_len = 0;
Jerry Yuf7c12592022-09-28 22:09:38 +0800803
804 /*
805 * - identity_len (2 bytes)
806 * - identity (psk_identity_len bytes)
807 * - obfuscated_ticket_age (4 bytes)
808 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100809 MBEDTLS_SSL_CHK_BUF_PTR(buf, end, 6 + identity_len);
Jerry Yuf7c12592022-09-28 22:09:38 +0800810
Gilles Peskine449bd832023-01-11 14:50:10 +0100811 MBEDTLS_PUT_UINT16_BE(identity_len, buf, 0);
812 memcpy(buf + 2, identity, identity_len);
813 MBEDTLS_PUT_UINT32_BE(obfuscated_ticket_age, buf, 2 + identity_len);
Jerry Yuf7c12592022-09-28 22:09:38 +0800814
Gilles Peskine449bd832023-01-11 14:50:10 +0100815 MBEDTLS_SSL_DEBUG_BUF(4, "write identity", buf, 6 + identity_len);
Jerry Yuf7c12592022-09-28 22:09:38 +0800816
817 *out_len = 6 + identity_len;
Jerry Yuf7c12592022-09-28 22:09:38 +0800818
Gilles Peskine449bd832023-01-11 14:50:10 +0100819 return 0;
Jerry Yuf7c12592022-09-28 22:09:38 +0800820}
821
Jerry Yu8b41e892022-09-30 10:00:20 +0800822MBEDTLS_CHECK_RETURN_CRITICAL
Gilles Peskine449bd832023-01-11 14:50:10 +0100823static int ssl_tls13_write_binder(mbedtls_ssl_context *ssl,
824 unsigned char *buf,
825 unsigned char *end,
826 int psk_type,
827 psa_algorithm_t hash_alg,
828 const unsigned char *psk,
829 size_t psk_len,
830 size_t *out_len)
Jerry Yu8b41e892022-09-30 10:00:20 +0800831{
832 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Jerry Yu8b41e892022-09-30 10:00:20 +0800833 unsigned char binder_len;
Gilles Peskine449bd832023-01-11 14:50:10 +0100834 unsigned char transcript[MBEDTLS_TLS1_3_MD_MAX_SIZE];
Jerry Yu8b41e892022-09-30 10:00:20 +0800835 size_t transcript_len = 0;
836
837 *out_len = 0;
838
Gilles Peskine449bd832023-01-11 14:50:10 +0100839 binder_len = PSA_HASH_LENGTH(hash_alg);
Jerry Yu8b41e892022-09-30 10:00:20 +0800840
841 /*
842 * - binder_len (1 bytes)
843 * - binder (binder_len bytes)
844 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100845 MBEDTLS_SSL_CHK_BUF_PTR(buf, end, 1 + binder_len);
Jerry Yu8b41e892022-09-30 10:00:20 +0800846
Jerry Yua99cbfa2022-10-08 11:17:14 +0800847 buf[0] = binder_len;
Jerry Yu8b41e892022-09-30 10:00:20 +0800848
849 /* Get current state of handshake transcript. */
850 ret = mbedtls_ssl_get_handshake_transcript(
Manuel Pégourié-Gonnard2d6d9932023-03-28 11:38:08 +0200851 ssl, mbedtls_md_type_from_psa_alg(hash_alg),
Gilles Peskine449bd832023-01-11 14:50:10 +0100852 transcript, sizeof(transcript), &transcript_len);
853 if (ret != 0) {
854 return ret;
Jerry Yu8b41e892022-09-30 10:00:20 +0800855 }
Gilles Peskine449bd832023-01-11 14:50:10 +0100856
857 ret = mbedtls_ssl_tls13_create_psk_binder(ssl, hash_alg,
858 psk, psk_len, psk_type,
859 transcript, buf + 1);
860 if (ret != 0) {
861 MBEDTLS_SSL_DEBUG_RET(1, "mbedtls_ssl_tls13_create_psk_binder", ret);
862 return ret;
863 }
864 MBEDTLS_SSL_DEBUG_BUF(4, "write binder", buf, 1 + binder_len);
Jerry Yu8b41e892022-09-30 10:00:20 +0800865
866 *out_len = 1 + binder_len;
867
Gilles Peskine449bd832023-01-11 14:50:10 +0100868 return 0;
Jerry Yu8b41e892022-09-30 10:00:20 +0800869}
870
871/*
872 * mbedtls_ssl_tls13_write_identities_of_pre_shared_key_ext() structure:
873 *
874 * struct {
875 * opaque identity<1..2^16-1>;
876 * uint32 obfuscated_ticket_age;
877 * } PskIdentity;
878 *
879 * opaque PskBinderEntry<32..255>;
880 *
881 * struct {
882 * PskIdentity identities<7..2^16-1>;
883 * PskBinderEntry binders<33..2^16-1>;
884 * } OfferedPsks;
885 *
886 * struct {
887 * select (Handshake.msg_type) {
888 * case client_hello: OfferedPsks;
889 * ...
890 * };
891 * } PreSharedKeyExtension;
892 *
893 */
XiaokangQian3ad67bf2022-07-21 02:26:21 +0000894int mbedtls_ssl_tls13_write_identities_of_pre_shared_key_ext(
Gilles Peskine449bd832023-01-11 14:50:10 +0100895 mbedtls_ssl_context *ssl, unsigned char *buf, unsigned char *end,
896 size_t *out_len, size_t *binders_len)
XiaokangQianeb69aee2022-07-05 08:21:43 +0000897{
Jerry Yuf7c12592022-09-28 22:09:38 +0800898 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Jerry Yuf75364b2022-09-30 10:30:31 +0800899 int configured_psk_count = 0;
Jerry Yuf7c12592022-09-28 22:09:38 +0800900 unsigned char *p = buf;
Xiaokang Qian854db282022-12-19 07:31:27 +0000901 psa_algorithm_t hash_alg = PSA_ALG_NONE;
Jerry Yuf75364b2022-09-30 10:30:31 +0800902 const unsigned char *identity;
903 size_t identity_len;
Jerry Yuf7c12592022-09-28 22:09:38 +0800904 size_t l_binders_len = 0;
Jerry Yuf75364b2022-09-30 10:30:31 +0800905 size_t output_len;
Xiaokang Qian7179f812023-02-03 03:38:44 +0000906
Jerry Yuf7c12592022-09-28 22:09:38 +0800907 *out_len = 0;
908 *binders_len = 0;
909
910 /* Check if we have any PSKs to offer. If no, skip pre_shared_key */
Gilles Peskine449bd832023-01-11 14:50:10 +0100911 configured_psk_count = ssl_tls13_get_configured_psk_count(ssl);
912 if (configured_psk_count == 0) {
913 MBEDTLS_SSL_DEBUG_MSG(3, ("skip pre_shared_key extensions"));
914 return 0;
Jerry Yuf7c12592022-09-28 22:09:38 +0800915 }
916
Gilles Peskine449bd832023-01-11 14:50:10 +0100917 MBEDTLS_SSL_DEBUG_MSG(4, ("Pre-configured PSK number = %d",
918 configured_psk_count));
Jerry Yuf75364b2022-09-30 10:30:31 +0800919
Jerry Yuf7c12592022-09-28 22:09:38 +0800920 /* Check if we have space to write the extension, binders included.
921 * - extension_type (2 bytes)
922 * - extension_data_len (2 bytes)
923 * - identities_len (2 bytes)
924 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100925 MBEDTLS_SSL_CHK_BUF_PTR(p, end, 6);
Jerry Yuf7c12592022-09-28 22:09:38 +0800926 p += 6;
927
Jerry Yuf75364b2022-09-30 10:30:31 +0800928#if defined(MBEDTLS_SSL_SESSION_TICKETS)
Gilles Peskine449bd832023-01-11 14:50:10 +0100929 if (ssl_tls13_ticket_get_identity(
930 ssl, &hash_alg, &identity, &identity_len) == 0) {
Jerry Yuf75364b2022-09-30 10:30:31 +0800931#if defined(MBEDTLS_HAVE_TIME)
Jerry Yucebffc32022-12-15 18:00:05 +0800932 mbedtls_ms_time_t now = mbedtls_ms_time();
Jerry Yuf75364b2022-09-30 10:30:31 +0800933 mbedtls_ssl_session *session = ssl->session_negotiate;
Jerry Yucf913512023-11-14 11:06:52 +0800934 /* The ticket age has been checked to be smaller than the
Jerry Yu46c79262023-11-10 13:58:16 +0800935 * `ticket_lifetime` in ssl_prepare_client_hello() which is smaller than
936 * 7 days (enforced in ssl_tls13_parse_new_session_ticket()) . Thus the
937 * cast to `uint32_t` of the ticket age is safe. */
Jerry Yu6916e702022-10-10 21:33:51 +0800938 uint32_t obfuscated_ticket_age =
Jerry Yu342a5552023-11-10 14:23:39 +0800939 (uint32_t) (now - session->ticket_reception_time);
Jerry Yuf75364b2022-09-30 10:30:31 +0800940 obfuscated_ticket_age += session->ticket_age_add;
Jerry Yua99cbfa2022-10-08 11:17:14 +0800941
Gilles Peskine449bd832023-01-11 14:50:10 +0100942 ret = ssl_tls13_write_identity(ssl, p, end,
943 identity, identity_len,
944 obfuscated_ticket_age,
945 &output_len);
Jerry Yua99cbfa2022-10-08 11:17:14 +0800946#else
Gilles Peskine449bd832023-01-11 14:50:10 +0100947 ret = ssl_tls13_write_identity(ssl, p, end, identity, identity_len,
948 0, &output_len);
Jerry Yua99cbfa2022-10-08 11:17:14 +0800949#endif /* MBEDTLS_HAVE_TIME */
Gilles Peskine449bd832023-01-11 14:50:10 +0100950 if (ret != 0) {
951 return ret;
952 }
Jerry Yuf7c12592022-09-28 22:09:38 +0800953
Jerry Yuf75364b2022-09-30 10:30:31 +0800954 p += output_len;
Gilles Peskine449bd832023-01-11 14:50:10 +0100955 l_binders_len += 1 + PSA_HASH_LENGTH(hash_alg);
Jerry Yuf75364b2022-09-30 10:30:31 +0800956 }
957#endif /* MBEDTLS_SSL_SESSION_TICKETS */
958
Gilles Peskine449bd832023-01-11 14:50:10 +0100959 if (ssl_tls13_psk_get_identity(
960 ssl, &hash_alg, &identity, &identity_len) == 0) {
Jerry Yuf75364b2022-09-30 10:30:31 +0800961
Gilles Peskine449bd832023-01-11 14:50:10 +0100962 ret = ssl_tls13_write_identity(ssl, p, end, identity, identity_len, 0,
963 &output_len);
964 if (ret != 0) {
965 return ret;
966 }
Jerry Yuf75364b2022-09-30 10:30:31 +0800967
Jerry Yuf7c12592022-09-28 22:09:38 +0800968 p += output_len;
Gilles Peskine449bd832023-01-11 14:50:10 +0100969 l_binders_len += 1 + PSA_HASH_LENGTH(hash_alg);
Jerry Yuf7c12592022-09-28 22:09:38 +0800970 }
971
Gilles Peskine449bd832023-01-11 14:50:10 +0100972 MBEDTLS_SSL_DEBUG_MSG(3,
973 ("client hello, adding pre_shared_key extension, "
974 "omitting PSK binder list"));
Jerry Yua99cbfa2022-10-08 11:17:14 +0800975
976 /* Take into account the two bytes for the length of the binders. */
977 l_binders_len += 2;
Jerry Yu6916e702022-10-10 21:33:51 +0800978 /* Check if there is enough space for binders */
Gilles Peskine449bd832023-01-11 14:50:10 +0100979 MBEDTLS_SSL_CHK_BUF_PTR(p, end, l_binders_len);
Jerry Yua99cbfa2022-10-08 11:17:14 +0800980
Jerry Yuf7c12592022-09-28 22:09:38 +0800981 /*
982 * - extension_type (2 bytes)
983 * - extension_data_len (2 bytes)
984 * - identities_len (2 bytes)
985 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100986 MBEDTLS_PUT_UINT16_BE(MBEDTLS_TLS_EXT_PRE_SHARED_KEY, buf, 0);
987 MBEDTLS_PUT_UINT16_BE(p - buf - 4 + l_binders_len, buf, 2);
988 MBEDTLS_PUT_UINT16_BE(p - buf - 6, buf, 4);
Jerry Yuf7c12592022-09-28 22:09:38 +0800989
Gilles Peskine449bd832023-01-11 14:50:10 +0100990 *out_len = (p - buf) + l_binders_len;
Jerry Yua99cbfa2022-10-08 11:17:14 +0800991 *binders_len = l_binders_len;
Jerry Yuf7c12592022-09-28 22:09:38 +0800992
Gilles Peskine449bd832023-01-11 14:50:10 +0100993 MBEDTLS_SSL_DEBUG_BUF(3, "pre_shared_key identities", buf, p - buf);
Jerry Yuf7c12592022-09-28 22:09:38 +0800994
Gilles Peskine449bd832023-01-11 14:50:10 +0100995 return 0;
XiaokangQianeb69aee2022-07-05 08:21:43 +0000996}
997
XiaokangQian86981952022-07-19 09:51:50 +0000998int mbedtls_ssl_tls13_write_binders_of_pre_shared_key_ext(
Gilles Peskine449bd832023-01-11 14:50:10 +0100999 mbedtls_ssl_context *ssl, unsigned char *buf, unsigned char *end)
XiaokangQianeb69aee2022-07-05 08:21:43 +00001000{
Jerry Yu1a0a0f42022-09-28 22:11:02 +08001001 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
1002 unsigned char *p = buf;
Jerry Yu6183cc72022-09-30 11:08:57 +08001003 psa_algorithm_t hash_alg = PSA_ALG_NONE;
1004 const unsigned char *psk;
1005 size_t psk_len;
1006 size_t output_len;
Jerry Yu1a0a0f42022-09-28 22:11:02 +08001007
1008 /* Check if we have space to write binders_len.
1009 * - binders_len (2 bytes)
1010 */
Gilles Peskine449bd832023-01-11 14:50:10 +01001011 MBEDTLS_SSL_CHK_BUF_PTR(p, end, 2);
Jerry Yu1a0a0f42022-09-28 22:11:02 +08001012 p += 2;
1013
Jerry Yu6183cc72022-09-30 11:08:57 +08001014#if defined(MBEDTLS_SSL_SESSION_TICKETS)
Gilles Peskine449bd832023-01-11 14:50:10 +01001015 if (ssl_tls13_ticket_get_psk(ssl, &hash_alg, &psk, &psk_len) == 0) {
Jerry Yu6183cc72022-09-30 11:08:57 +08001016
Gilles Peskine449bd832023-01-11 14:50:10 +01001017 ret = ssl_tls13_write_binder(ssl, p, end,
1018 MBEDTLS_SSL_TLS1_3_PSK_RESUMPTION,
1019 hash_alg, psk, psk_len,
1020 &output_len);
1021 if (ret != 0) {
1022 return ret;
1023 }
Jerry Yu1a0a0f42022-09-28 22:11:02 +08001024 p += output_len;
1025 }
Jerry Yu6183cc72022-09-30 11:08:57 +08001026#endif /* MBEDTLS_SSL_SESSION_TICKETS */
Jerry Yu1a0a0f42022-09-28 22:11:02 +08001027
Gilles Peskine449bd832023-01-11 14:50:10 +01001028 if (ssl_tls13_psk_get_psk(ssl, &hash_alg, &psk, &psk_len) == 0) {
Jerry Yu6183cc72022-09-30 11:08:57 +08001029
Gilles Peskine449bd832023-01-11 14:50:10 +01001030 ret = ssl_tls13_write_binder(ssl, p, end,
1031 MBEDTLS_SSL_TLS1_3_PSK_EXTERNAL,
1032 hash_alg, psk, psk_len,
1033 &output_len);
1034 if (ret != 0) {
1035 return ret;
1036 }
Jerry Yu1a0a0f42022-09-28 22:11:02 +08001037 p += output_len;
1038 }
1039
Gilles Peskine449bd832023-01-11 14:50:10 +01001040 MBEDTLS_SSL_DEBUG_MSG(3, ("client hello, adding PSK binder list."));
Jerry Yu1a0a0f42022-09-28 22:11:02 +08001041
1042 /*
1043 * - binders_len (2 bytes)
1044 */
Gilles Peskine449bd832023-01-11 14:50:10 +01001045 MBEDTLS_PUT_UINT16_BE(p - buf - 2, buf, 0);
Jerry Yu1a0a0f42022-09-28 22:11:02 +08001046
Gilles Peskine449bd832023-01-11 14:50:10 +01001047 MBEDTLS_SSL_DEBUG_BUF(3, "pre_shared_key binders", buf, p - buf);
XiaokangQianeb69aee2022-07-05 08:21:43 +00001048
Jerry Yuc4bf5d62022-10-29 09:08:47 +08001049 mbedtls_ssl_tls13_set_hs_sent_ext_mask(
Gilles Peskine449bd832023-01-11 14:50:10 +01001050 ssl, MBEDTLS_TLS_EXT_PRE_SHARED_KEY);
Jerry Yu0c354a22022-08-29 15:25:36 +08001051
Gilles Peskine449bd832023-01-11 14:50:10 +01001052 return 0;
XiaokangQianeb69aee2022-07-05 08:21:43 +00001053}
Jerry Yu0c6105b2022-08-12 17:26:40 +08001054
1055/*
1056 * struct {
1057 * opaque identity<1..2^16-1>;
1058 * uint32 obfuscated_ticket_age;
1059 * } PskIdentity;
1060 *
1061 * opaque PskBinderEntry<32..255>;
1062 *
1063 * struct {
1064 *
1065 * select (Handshake.msg_type) {
1066 * ...
1067 * case server_hello: uint16 selected_identity;
1068 * };
1069 *
1070 * } PreSharedKeyExtension;
1071 *
1072 */
1073MBEDTLS_CHECK_RETURN_CRITICAL
Gilles Peskine449bd832023-01-11 14:50:10 +01001074static int ssl_tls13_parse_server_pre_shared_key_ext(mbedtls_ssl_context *ssl,
1075 const unsigned char *buf,
1076 const unsigned char *end)
Jerry Yu0c6105b2022-08-12 17:26:40 +08001077{
Jerry Yua99cbfa2022-10-08 11:17:14 +08001078 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Jerry Yub300e3c2022-09-28 22:12:07 +08001079 int selected_identity;
Jerry Yub300e3c2022-09-28 22:12:07 +08001080 const unsigned char *psk;
1081 size_t psk_len;
Jerry Yua99cbfa2022-10-08 11:17:14 +08001082 psa_algorithm_t hash_alg;
Jerry Yub300e3c2022-09-28 22:12:07 +08001083
Gilles Peskine449bd832023-01-11 14:50:10 +01001084 MBEDTLS_SSL_CHK_BUF_READ_PTR(buf, end, 2);
1085 selected_identity = MBEDTLS_GET_UINT16_BE(buf, 0);
Xiaokang Qian2a674932023-01-04 03:15:09 +00001086 ssl->handshake->selected_identity = (uint16_t) selected_identity;
Jerry Yua99cbfa2022-10-08 11:17:14 +08001087
Gilles Peskine449bd832023-01-11 14:50:10 +01001088 MBEDTLS_SSL_DEBUG_MSG(3, ("selected_identity = %d", selected_identity));
Jerry Yua99cbfa2022-10-08 11:17:14 +08001089
Gilles Peskine449bd832023-01-11 14:50:10 +01001090 if (selected_identity >= ssl_tls13_get_configured_psk_count(ssl)) {
1091 MBEDTLS_SSL_DEBUG_MSG(1, ("Invalid PSK identity."));
Jerry Yu4a698342022-09-30 12:22:01 +08001092
Gilles Peskine449bd832023-01-11 14:50:10 +01001093 MBEDTLS_SSL_PEND_FATAL_ALERT(MBEDTLS_SSL_ALERT_MSG_ILLEGAL_PARAMETER,
1094 MBEDTLS_ERR_SSL_ILLEGAL_PARAMETER);
1095 return MBEDTLS_ERR_SSL_ILLEGAL_PARAMETER;
Jerry Yub300e3c2022-09-28 22:12:07 +08001096 }
Jerry Yua99cbfa2022-10-08 11:17:14 +08001097
Jerry Yu4a698342022-09-30 12:22:01 +08001098#if defined(MBEDTLS_SSL_SESSION_TICKETS)
Gilles Peskine449bd832023-01-11 14:50:10 +01001099 if (selected_identity == 0 && ssl_tls13_has_configured_ticket(ssl)) {
1100 ret = ssl_tls13_ticket_get_psk(ssl, &hash_alg, &psk, &psk_len);
1101 } else
Jerry Yu4a698342022-09-30 12:22:01 +08001102#endif
Gilles Peskine449bd832023-01-11 14:50:10 +01001103 if (mbedtls_ssl_conf_has_static_psk(ssl->conf)) {
1104 ret = ssl_tls13_psk_get_psk(ssl, &hash_alg, &psk, &psk_len);
1105 } else {
1106 MBEDTLS_SSL_DEBUG_MSG(1, ("should never happen"));
1107 return MBEDTLS_ERR_SSL_INTERNAL_ERROR;
Jerry Yub300e3c2022-09-28 22:12:07 +08001108 }
Gilles Peskine449bd832023-01-11 14:50:10 +01001109 if (ret != 0) {
1110 return ret;
Jerry Yub300e3c2022-09-28 22:12:07 +08001111 }
Jerry Yub300e3c2022-09-28 22:12:07 +08001112
Dave Rodgman2eab4622023-10-05 13:30:37 +01001113 if (mbedtls_md_psa_alg_from_type((mbedtls_md_type_t) ssl->handshake->ciphersuite_info->mac)
Xiaokang Qianeb31cbc2023-02-07 02:08:56 +00001114 != hash_alg) {
1115 MBEDTLS_SSL_DEBUG_MSG(
1116 1, ("Invalid ciphersuite for external psk."));
1117
1118 MBEDTLS_SSL_PEND_FATAL_ALERT(MBEDTLS_SSL_ALERT_MSG_ILLEGAL_PARAMETER,
1119 MBEDTLS_ERR_SSL_ILLEGAL_PARAMETER);
1120 return MBEDTLS_ERR_SSL_ILLEGAL_PARAMETER;
1121 }
1122
Gilles Peskine449bd832023-01-11 14:50:10 +01001123 ret = mbedtls_ssl_set_hs_psk(ssl, psk, psk_len);
1124 if (ret != 0) {
1125 MBEDTLS_SSL_DEBUG_RET(1, "mbedtls_ssl_set_hs_psk", ret);
1126 return ret;
1127 }
1128
1129 return 0;
Jerry Yu0c6105b2022-08-12 17:26:40 +08001130}
Ronald Cron41a443a2022-10-04 16:38:25 +02001131#endif /* MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_SOME_PSK_ENABLED */
XiaokangQianeb69aee2022-07-05 08:21:43 +00001132
Gilles Peskine449bd832023-01-11 14:50:10 +01001133int mbedtls_ssl_tls13_write_client_hello_exts(mbedtls_ssl_context *ssl,
1134 unsigned char *buf,
1135 unsigned char *end,
1136 size_t *out_len)
Ronald Cron04fbd2b2022-02-18 12:06:07 +01001137{
1138 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
1139 unsigned char *p = buf;
1140 size_t ext_len;
1141
1142 *out_len = 0;
1143
1144 /* Write supported_versions extension
1145 *
1146 * Supported Versions Extension is mandatory with TLS 1.3.
1147 */
Gilles Peskine449bd832023-01-11 14:50:10 +01001148 ret = ssl_tls13_write_supported_versions_ext(ssl, p, end, &ext_len);
1149 if (ret != 0) {
1150 return ret;
1151 }
Ronald Cron04fbd2b2022-02-18 12:06:07 +01001152 p += ext_len;
1153
1154 /* Echo the cookie if the server provided one in its preceding
1155 * HelloRetryRequest message.
1156 */
Gilles Peskine449bd832023-01-11 14:50:10 +01001157 ret = ssl_tls13_write_cookie_ext(ssl, p, end, &ext_len);
1158 if (ret != 0) {
1159 return ret;
1160 }
Ronald Cron04fbd2b2022-02-18 12:06:07 +01001161 p += ext_len;
1162
Yanray Wang42017cd2023-11-08 11:15:23 +08001163#if defined(MBEDTLS_SSL_RECORD_SIZE_LIMIT)
1164 ret = mbedtls_ssl_tls13_write_record_size_limit_ext(
Waleed Elmelegy148dfb62024-01-04 18:02:35 +00001165 ssl, p, end, &ext_len);
Yanray Wang42017cd2023-11-08 11:15:23 +08001166 if (ret != 0) {
1167 return ret;
1168 }
1169 p += ext_len;
1170#endif
1171
Ronald Cron766c0cd2022-10-18 12:17:11 +02001172#if defined(MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_SOME_EPHEMERAL_ENABLED)
Pengyu Lv0a1ff2b2023-11-14 11:03:32 +08001173 if (mbedtls_ssl_conf_tls13_is_some_ephemeral_enabled(ssl)) {
Gilles Peskine449bd832023-01-11 14:50:10 +01001174 ret = ssl_tls13_write_key_share_ext(ssl, p, end, &ext_len);
1175 if (ret != 0) {
1176 return ret;
1177 }
Ronald Cron04fbd2b2022-02-18 12:06:07 +01001178 p += ext_len;
1179 }
Ronald Cron766c0cd2022-10-18 12:17:11 +02001180#endif
Ronald Cron04fbd2b2022-02-18 12:06:07 +01001181
Xiaokang Qian0e97d4d2022-10-24 11:12:51 +00001182#if defined(MBEDTLS_SSL_EARLY_DATA)
Pengyu Lv0a1ff2b2023-11-14 11:03:32 +08001183 if (mbedtls_ssl_conf_tls13_is_some_psk_enabled(ssl) &&
Gilles Peskine449bd832023-01-11 14:50:10 +01001184 ssl_tls13_early_data_has_valid_ticket(ssl) &&
1185 ssl->conf->early_data_enabled == MBEDTLS_SSL_EARLY_DATA_ENABLED) {
Jerry Yu52335392023-11-23 18:06:06 +08001186
1187 ret = mbedtls_ssl_tls13_write_early_data_ext(
Jerry Yuc59c5862023-12-05 10:40:49 +08001188 ssl, 0, p, end, &ext_len);
Gilles Peskine449bd832023-01-11 14:50:10 +01001189 if (ret != 0) {
1190 return ret;
1191 }
Xiaokang Qian0e97d4d2022-10-24 11:12:51 +00001192 p += ext_len;
1193
Ronald Cron4a8c9e22022-10-26 18:49:09 +02001194 /* Initializes the status to `rejected`. It will be updated to
1195 * `accepted` if the EncryptedExtension message contain an early data
1196 * indication extension.
Xiaokang Qiana042b842022-11-09 01:59:33 +00001197 */
Ronald Cron4a8c9e22022-10-26 18:49:09 +02001198 ssl->early_data_status = MBEDTLS_SSL_EARLY_DATA_STATUS_REJECTED;
Gilles Peskine449bd832023-01-11 14:50:10 +01001199 } else {
1200 MBEDTLS_SSL_DEBUG_MSG(2, ("<= skip write early_data extension"));
Xiaokang Qianf447e8a2022-11-08 07:02:27 +00001201 ssl->early_data_status = MBEDTLS_SSL_EARLY_DATA_STATUS_NOT_SENT;
Xiaokang Qian0e97d4d2022-10-24 11:12:51 +00001202 }
1203#endif /* MBEDTLS_SSL_EARLY_DATA */
1204
Ronald Cron41a443a2022-10-04 16:38:25 +02001205#if defined(MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_SOME_PSK_ENABLED)
XiaokangQianeb69aee2022-07-05 08:21:43 +00001206 /* For PSK-based key exchange we need the pre_shared_key extension
1207 * and the psk_key_exchange_modes extension.
1208 *
1209 * The pre_shared_key extension MUST be the last extension in the
1210 * ClientHello. Servers MUST check that it is the last extension and
1211 * otherwise fail the handshake with an "illegal_parameter" alert.
1212 *
1213 * Add the psk_key_exchange_modes extension.
1214 */
Gilles Peskine449bd832023-01-11 14:50:10 +01001215 ret = ssl_tls13_write_psk_key_exchange_modes_ext(ssl, p, end, &ext_len);
1216 if (ret != 0) {
1217 return ret;
1218 }
XiaokangQianeb69aee2022-07-05 08:21:43 +00001219 p += ext_len;
Ronald Cron41a443a2022-10-04 16:38:25 +02001220#endif
XiaokangQianeb69aee2022-07-05 08:21:43 +00001221
Ronald Cron04fbd2b2022-02-18 12:06:07 +01001222 *out_len = p - buf;
1223
Gilles Peskine449bd832023-01-11 14:50:10 +01001224 return 0;
Ronald Cron04fbd2b2022-02-18 12:06:07 +01001225}
1226
Xiaokang Qian934ce6f2023-02-06 10:23:04 +00001227int mbedtls_ssl_tls13_finalize_client_hello(mbedtls_ssl_context *ssl)
Xiaokang Qian126929f2023-01-03 10:29:41 +00001228{
Xiaokang Qian90746132023-01-06 05:54:59 +00001229 ((void) ssl);
Xiaokang Qian79f77522023-01-28 10:35:29 +00001230
Xiaokang Qian126929f2023-01-03 10:29:41 +00001231#if defined(MBEDTLS_SSL_EARLY_DATA)
1232 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
1233 psa_algorithm_t hash_alg = PSA_ALG_NONE;
1234 const unsigned char *psk;
1235 size_t psk_len;
1236 const mbedtls_ssl_ciphersuite_t *ciphersuite_info;
Xiaokang Qian592021a2023-01-04 10:47:05 +00001237
Xiaokang Qian126929f2023-01-03 10:29:41 +00001238 if (ssl->early_data_status == MBEDTLS_SSL_EARLY_DATA_STATUS_REJECTED) {
Xiaokang Qian6be82902023-02-03 06:04:43 +00001239#if defined(MBEDTLS_SSL_TLS1_3_COMPATIBILITY_MODE)
1240 mbedtls_ssl_handshake_set_state(
1241 ssl, MBEDTLS_SSL_CLIENT_CCS_AFTER_CLIENT_HELLO);
1242#endif
Xiaokang Qian126929f2023-01-03 10:29:41 +00001243 MBEDTLS_SSL_DEBUG_MSG(
1244 1, ("Set hs psk for early data when writing the first psk"));
1245
1246 ret = ssl_tls13_ticket_get_psk(ssl, &hash_alg, &psk, &psk_len);
1247 if (ret != 0) {
1248 MBEDTLS_SSL_DEBUG_RET(
1249 1, "ssl_tls13_ticket_get_psk", ret);
1250 return ret;
1251 }
1252
1253 ret = mbedtls_ssl_set_hs_psk(ssl, psk, psk_len);
1254 if (ret != 0) {
1255 MBEDTLS_SSL_DEBUG_RET(1, "mbedtls_ssl_set_hs_psk", ret);
1256 return ret;
1257 }
1258
Xiaokang Qian64bc9bc2023-02-07 02:32:23 +00001259 /*
1260 * Early data are going to be encrypted using the ciphersuite
1261 * associated with the pre-shared key used for the handshake.
1262 * Note that if the server rejects early data, the handshake
1263 * based on the pre-shared key may complete successfully
1264 * with a selected ciphersuite different from the ciphersuite
1265 * associated with the pre-shared key. Only the hashes of the
1266 * two ciphersuites have to be the same. In that case, the
1267 * encrypted handshake data and application data are
1268 * encrypted using a different ciphersuite than the one used for
1269 * the rejected early data.
1270 */
Xiaokang Qian126929f2023-01-03 10:29:41 +00001271 ciphersuite_info = mbedtls_ssl_ciphersuite_from_id(
1272 ssl->session_negotiate->ciphersuite);
1273 ssl->handshake->ciphersuite_info = ciphersuite_info;
Xiaokang Qian8dc4ce72023-02-07 10:49:50 +00001274
Tom Cosgrove5c8505f2023-03-07 11:39:52 +00001275 /* Enable psk and psk_ephemeral to make stage early happy */
Xiaokang Qian126929f2023-01-03 10:29:41 +00001276 ssl->handshake->key_exchange_mode =
1277 MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_PSK_ALL;
1278
1279 /* Start the TLS 1.3 key schedule:
Xiaokang Qian8dc4ce72023-02-07 10:49:50 +00001280 * Set the PSK and derive early secret.
Xiaokang Qian126929f2023-01-03 10:29:41 +00001281 */
1282 ret = mbedtls_ssl_tls13_key_schedule_stage_early(ssl);
1283 if (ret != 0) {
Xiaokang Qian0de0d862023-02-08 06:04:50 +00001284 MBEDTLS_SSL_DEBUG_RET(
1285 1, "mbedtls_ssl_tls13_key_schedule_stage_early", ret);
Xiaokang Qian126929f2023-01-03 10:29:41 +00001286 return ret;
1287 }
1288
1289 /* Derive early data key material */
1290 ret = mbedtls_ssl_tls13_compute_early_transform(ssl);
1291 if (ret != 0) {
Xiaokang Qian0de0d862023-02-08 06:04:50 +00001292 MBEDTLS_SSL_DEBUG_RET(
1293 1, "mbedtls_ssl_tls13_compute_early_transform", ret);
Xiaokang Qian126929f2023-01-03 10:29:41 +00001294 return ret;
1295 }
1296
Xiaokang Qian126929f2023-01-03 10:29:41 +00001297 }
1298#endif /* MBEDTLS_SSL_EARLY_DATA */
1299 return 0;
1300}
Jerry Yu1bc2c1f2021-09-01 12:57:29 +08001301/*
Jerry Yu4a173382021-10-11 21:45:31 +08001302 * Functions for parsing and processing Server Hello
Jerry Yue1b9c292021-09-10 10:08:31 +08001303 */
Ronald Cronfd6193c2022-04-05 11:04:20 +02001304
Ronald Cronda41b382022-03-30 09:57:11 +02001305/**
1306 * \brief Detect if the ServerHello contains a supported_versions extension
1307 * or not.
1308 *
1309 * \param[in] ssl SSL context
1310 * \param[in] buf Buffer containing the ServerHello message
1311 * \param[in] end End of the buffer containing the ServerHello message
1312 *
1313 * \return 0 if the ServerHello does not contain a supported_versions extension
1314 * \return 1 if the ServerHello contains a supported_versions extension
1315 * \return A negative value if an error occurred while parsing the ServerHello.
1316 */
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +02001317MBEDTLS_CHECK_RETURN_CRITICAL
Ronald Cron9f0fba32022-02-10 16:45:15 +01001318static int ssl_tls13_is_supported_versions_ext_present(
1319 mbedtls_ssl_context *ssl,
1320 const unsigned char *buf,
Gilles Peskine449bd832023-01-11 14:50:10 +01001321 const unsigned char *end)
Ronald Cron9f0fba32022-02-10 16:45:15 +01001322{
1323 const unsigned char *p = buf;
1324 size_t legacy_session_id_echo_len;
Ronald Croneff56732023-04-03 17:36:31 +02001325 const unsigned char *supported_versions_data;
1326 const unsigned char *supported_versions_data_end;
Ronald Cron9f0fba32022-02-10 16:45:15 +01001327
1328 /*
1329 * Check there is enough data to access the legacy_session_id_echo vector
Ronald Cronda41b382022-03-30 09:57:11 +02001330 * length:
1331 * - legacy_version 2 bytes
1332 * - random MBEDTLS_SERVER_HELLO_RANDOM_LEN bytes
1333 * - legacy_session_id_echo length 1 byte
Ronald Cron9f0fba32022-02-10 16:45:15 +01001334 */
Gilles Peskine449bd832023-01-11 14:50:10 +01001335 MBEDTLS_SSL_CHK_BUF_READ_PTR(p, end, MBEDTLS_SERVER_HELLO_RANDOM_LEN + 3);
Ronald Cron9f0fba32022-02-10 16:45:15 +01001336 p += MBEDTLS_SERVER_HELLO_RANDOM_LEN + 2;
1337 legacy_session_id_echo_len = *p;
1338
1339 /*
1340 * Jump to the extensions, jumping over:
1341 * - legacy_session_id_echo (legacy_session_id_echo_len + 1) bytes
1342 * - cipher_suite 2 bytes
1343 * - legacy_compression_method 1 byte
1344 */
Gilles Peskine449bd832023-01-11 14:50:10 +01001345 MBEDTLS_SSL_CHK_BUF_READ_PTR(p, end, legacy_session_id_echo_len + 4);
1346 p += legacy_session_id_echo_len + 4;
Ronald Cron9f0fba32022-02-10 16:45:15 +01001347
Ronald Cron47dce632023-02-08 17:38:29 +01001348 return mbedtls_ssl_tls13_is_supported_versions_ext_present_in_exts(
1349 ssl, p, end,
Ronald Croneff56732023-04-03 17:36:31 +02001350 &supported_versions_data, &supported_versions_data_end);
Ronald Cron9f0fba32022-02-10 16:45:15 +01001351}
1352
Jerry Yu7a186a02021-10-15 18:46:14 +08001353/* Returns a negative value on failure, and otherwise
Ronald Cronfd6193c2022-04-05 11:04:20 +02001354 * - 1 if the last eight bytes of the ServerHello random bytes indicate that
1355 * the server is TLS 1.3 capable but negotiating TLS 1.2 or below.
1356 * - 0 otherwise
1357 */
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +02001358MBEDTLS_CHECK_RETURN_CRITICAL
Gilles Peskine449bd832023-01-11 14:50:10 +01001359static int ssl_tls13_is_downgrade_negotiation(mbedtls_ssl_context *ssl,
1360 const unsigned char *buf,
1361 const unsigned char *end)
Ronald Cronfd6193c2022-04-05 11:04:20 +02001362{
1363 /* First seven bytes of the magic downgrade strings, see RFC 8446 4.1.3 */
1364 static const unsigned char magic_downgrade_string[] =
Gilles Peskine449bd832023-01-11 14:50:10 +01001365 { 0x44, 0x4F, 0x57, 0x4E, 0x47, 0x52, 0x44 };
Ronald Cronfd6193c2022-04-05 11:04:20 +02001366 const unsigned char *last_eight_bytes_of_random;
1367 unsigned char last_byte_of_random;
1368
Gilles Peskine449bd832023-01-11 14:50:10 +01001369 MBEDTLS_SSL_CHK_BUF_READ_PTR(buf, end, MBEDTLS_SERVER_HELLO_RANDOM_LEN + 2);
Ronald Cronfd6193c2022-04-05 11:04:20 +02001370 last_eight_bytes_of_random = buf + 2 + MBEDTLS_SERVER_HELLO_RANDOM_LEN - 8;
1371
Gilles Peskine449bd832023-01-11 14:50:10 +01001372 if (memcmp(last_eight_bytes_of_random,
1373 magic_downgrade_string,
1374 sizeof(magic_downgrade_string)) == 0) {
Ronald Cronfd6193c2022-04-05 11:04:20 +02001375 last_byte_of_random = last_eight_bytes_of_random[7];
Gilles Peskine449bd832023-01-11 14:50:10 +01001376 return last_byte_of_random == 0 ||
1377 last_byte_of_random == 1;
Ronald Cronfd6193c2022-04-05 11:04:20 +02001378 }
1379
Gilles Peskine449bd832023-01-11 14:50:10 +01001380 return 0;
Ronald Cronfd6193c2022-04-05 11:04:20 +02001381}
1382
1383/* Returns a negative value on failure, and otherwise
Ronald Cron828aff62022-05-31 12:04:31 +02001384 * - SSL_SERVER_HELLO or
1385 * - SSL_SERVER_HELLO_HRR
XiaokangQian51eff222021-12-10 10:33:56 +00001386 * to indicate which message is expected and to be parsed next.
1387 */
Ronald Cron828aff62022-05-31 12:04:31 +02001388#define SSL_SERVER_HELLO 0
1389#define SSL_SERVER_HELLO_HRR 1
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +02001390MBEDTLS_CHECK_RETURN_CRITICAL
Gilles Peskine449bd832023-01-11 14:50:10 +01001391static int ssl_server_hello_is_hrr(mbedtls_ssl_context *ssl,
1392 const unsigned char *buf,
1393 const unsigned char *end)
Jerry Yue1b9c292021-09-10 10:08:31 +08001394{
Jerry Yue1b9c292021-09-10 10:08:31 +08001395
1396 /* Check whether this message is a HelloRetryRequest ( HRR ) message.
1397 *
Jerry Yu4a173382021-10-11 21:45:31 +08001398 * Server Hello and HRR are only distinguished by Random set to the
Jerry Yue1b9c292021-09-10 10:08:31 +08001399 * special value of the SHA-256 of "HelloRetryRequest".
1400 *
1401 * struct {
1402 * ProtocolVersion legacy_version = 0x0303;
1403 * Random random;
1404 * opaque legacy_session_id_echo<0..32>;
1405 * CipherSuite cipher_suite;
1406 * uint8 legacy_compression_method = 0;
Jerry Yub85277e2021-10-13 13:36:05 +08001407 * Extension extensions<6..2^16-1>;
Jerry Yue1b9c292021-09-10 10:08:31 +08001408 * } ServerHello;
1409 *
1410 */
Xiaokang Qian958b6ff2023-03-29 10:37:35 +00001411 MBEDTLS_SSL_CHK_BUF_READ_PTR(
1412 buf, end, 2 + sizeof(mbedtls_ssl_tls13_hello_retry_request_magic));
Jerry Yu4a173382021-10-11 21:45:31 +08001413
Gilles Peskine449bd832023-01-11 14:50:10 +01001414 if (memcmp(buf + 2, mbedtls_ssl_tls13_hello_retry_request_magic,
1415 sizeof(mbedtls_ssl_tls13_hello_retry_request_magic)) == 0) {
1416 return SSL_SERVER_HELLO_HRR;
Jerry Yue1b9c292021-09-10 10:08:31 +08001417 }
1418
Gilles Peskine449bd832023-01-11 14:50:10 +01001419 return SSL_SERVER_HELLO;
Jerry Yue1b9c292021-09-10 10:08:31 +08001420}
1421
Ronald Cron828aff62022-05-31 12:04:31 +02001422/*
Jerry Yu745bb612021-10-13 22:01:04 +08001423 * Returns a negative value on failure, and otherwise
Ronald Cron828aff62022-05-31 12:04:31 +02001424 * - SSL_SERVER_HELLO or
1425 * - SSL_SERVER_HELLO_HRR or
1426 * - SSL_SERVER_HELLO_TLS1_2
Jerry Yu745bb612021-10-13 22:01:04 +08001427 */
Ronald Cron828aff62022-05-31 12:04:31 +02001428#define SSL_SERVER_HELLO_TLS1_2 2
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +02001429MBEDTLS_CHECK_RETURN_CRITICAL
Gilles Peskine449bd832023-01-11 14:50:10 +01001430static int ssl_tls13_preprocess_server_hello(mbedtls_ssl_context *ssl,
1431 const unsigned char *buf,
1432 const unsigned char *end)
Jerry Yue1b9c292021-09-10 10:08:31 +08001433{
Jerry Yu4a173382021-10-11 21:45:31 +08001434 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Ronald Cron5afb9042022-05-31 12:11:39 +02001435 mbedtls_ssl_handshake_params *handshake = ssl->handshake;
Jerry Yue1b9c292021-09-10 10:08:31 +08001436
Gilles Peskine449bd832023-01-11 14:50:10 +01001437 MBEDTLS_SSL_PROC_CHK_NEG(ssl_tls13_is_supported_versions_ext_present(
1438 ssl, buf, end));
Jerry Yua66fece2022-07-13 14:30:29 +08001439
Gilles Peskine449bd832023-01-11 14:50:10 +01001440 if (ret == 0) {
Ronald Cronfd6193c2022-04-05 11:04:20 +02001441 MBEDTLS_SSL_PROC_CHK_NEG(
Gilles Peskine449bd832023-01-11 14:50:10 +01001442 ssl_tls13_is_downgrade_negotiation(ssl, buf, end));
Ronald Cronfd6193c2022-04-05 11:04:20 +02001443
1444 /* If the server is negotiating TLS 1.2 or below and:
1445 * . we did not propose TLS 1.2 or
1446 * . the server responded it is TLS 1.3 capable but negotiating a lower
1447 * version of the protocol and thus we are under downgrade attack
1448 * abort the handshake with an "illegal parameter" alert.
Ronald Cron9f0fba32022-02-10 16:45:15 +01001449 */
Gilles Peskine449bd832023-01-11 14:50:10 +01001450 if (handshake->min_tls_version > MBEDTLS_SSL_VERSION_TLS1_2 || ret) {
1451 MBEDTLS_SSL_PEND_FATAL_ALERT(MBEDTLS_SSL_ALERT_MSG_ILLEGAL_PARAMETER,
1452 MBEDTLS_ERR_SSL_ILLEGAL_PARAMETER);
1453 return MBEDTLS_ERR_SSL_ILLEGAL_PARAMETER;
Ronald Cron9f0fba32022-02-10 16:45:15 +01001454 }
1455
Ronald Cronb828c7d2023-04-03 16:37:22 +02001456 /*
1457 * Version 1.2 of the protocol has been negotiated, set the
1458 * ssl->keep_current_message flag for the ServerHello to be kept and
1459 * parsed as a TLS 1.2 ServerHello. We also change ssl->tls_version to
1460 * MBEDTLS_SSL_VERSION_TLS1_2 thus from now on mbedtls_ssl_handshake_step()
1461 * will dispatch to the TLS 1.2 state machine.
1462 */
Ronald Cron9f0fba32022-02-10 16:45:15 +01001463 ssl->keep_current_message = 1;
Glenn Strauss60bfe602022-03-14 19:04:24 -04001464 ssl->tls_version = MBEDTLS_SSL_VERSION_TLS1_2;
Xiaokang Qian958b6ff2023-03-29 10:37:35 +00001465 MBEDTLS_SSL_PROC_CHK(mbedtls_ssl_add_hs_msg_to_checksum(
1466 ssl, MBEDTLS_SSL_HS_SERVER_HELLO,
1467 buf, (size_t) (end - buf)));
Ronald Cron9f0fba32022-02-10 16:45:15 +01001468
Pengyu Lv0a1ff2b2023-11-14 11:03:32 +08001469 if (mbedtls_ssl_conf_tls13_is_some_ephemeral_enabled(ssl)) {
Gilles Peskine449bd832023-01-11 14:50:10 +01001470 ret = ssl_tls13_reset_key_share(ssl);
1471 if (ret != 0) {
1472 return ret;
1473 }
Ronald Cron9f0fba32022-02-10 16:45:15 +01001474 }
1475
Gilles Peskine449bd832023-01-11 14:50:10 +01001476 return SSL_SERVER_HELLO_TLS1_2;
Ronald Cron9f0fba32022-02-10 16:45:15 +01001477 }
1478
Jerry Yua66fece2022-07-13 14:30:29 +08001479 ssl->session_negotiate->tls_version = ssl->tls_version;
Ronald Cron17ef8df2023-11-22 10:29:42 +01001480 ssl->session_negotiate->endpoint = ssl->conf->endpoint;
Jerry Yua66fece2022-07-13 14:30:29 +08001481
Jerry Yu50e00e32022-10-31 14:45:01 +08001482 handshake->received_extensions = MBEDTLS_SSL_EXT_MASK_NONE;
Ronald Cron5afb9042022-05-31 12:11:39 +02001483
Gilles Peskine449bd832023-01-11 14:50:10 +01001484 ret = ssl_server_hello_is_hrr(ssl, buf, end);
1485 switch (ret) {
Ronald Cron828aff62022-05-31 12:04:31 +02001486 case SSL_SERVER_HELLO:
Gilles Peskine449bd832023-01-11 14:50:10 +01001487 MBEDTLS_SSL_DEBUG_MSG(2, ("received ServerHello message"));
Jerry Yu745bb612021-10-13 22:01:04 +08001488 break;
Ronald Cron828aff62022-05-31 12:04:31 +02001489 case SSL_SERVER_HELLO_HRR:
Gilles Peskine449bd832023-01-11 14:50:10 +01001490 MBEDTLS_SSL_DEBUG_MSG(2, ("received HelloRetryRequest message"));
Xiaokang Qian958b6ff2023-03-29 10:37:35 +00001491 /* If a client receives a second HelloRetryRequest in the same
1492 * connection (i.e., where the ClientHello was itself in response
1493 * to a HelloRetryRequest), it MUST abort the handshake with an
1494 * "unexpected_message" alert.
Gilles Peskine449bd832023-01-11 14:50:10 +01001495 */
1496 if (handshake->hello_retry_request_count > 0) {
1497 MBEDTLS_SSL_DEBUG_MSG(1, ("Multiple HRRs received"));
Xiaokang Qian958b6ff2023-03-29 10:37:35 +00001498 MBEDTLS_SSL_PEND_FATAL_ALERT(
1499 MBEDTLS_SSL_ALERT_MSG_UNEXPECTED_MESSAGE,
1500 MBEDTLS_ERR_SSL_UNEXPECTED_MESSAGE);
Gilles Peskine449bd832023-01-11 14:50:10 +01001501 return MBEDTLS_ERR_SSL_UNEXPECTED_MESSAGE;
XiaokangQian16acd4b2022-01-14 07:35:47 +00001502 }
XiaokangQian2b01dc32022-01-21 02:53:13 +00001503 /*
1504 * Clients must abort the handshake with an "illegal_parameter"
1505 * alert if the HelloRetryRequest would not result in any change
1506 * in the ClientHello.
1507 * In a PSK only key exchange that what we expect.
1508 */
Pengyu Lv0a1ff2b2023-11-14 11:03:32 +08001509 if (!mbedtls_ssl_conf_tls13_is_some_ephemeral_enabled(ssl)) {
Gilles Peskine449bd832023-01-11 14:50:10 +01001510 MBEDTLS_SSL_DEBUG_MSG(1,
1511 ("Unexpected HRR in pure PSK key exchange."));
XiaokangQian2b01dc32022-01-21 02:53:13 +00001512 MBEDTLS_SSL_PEND_FATAL_ALERT(
Gilles Peskine449bd832023-01-11 14:50:10 +01001513 MBEDTLS_SSL_ALERT_MSG_ILLEGAL_PARAMETER,
1514 MBEDTLS_ERR_SSL_ILLEGAL_PARAMETER);
1515 return MBEDTLS_ERR_SSL_ILLEGAL_PARAMETER;
XiaokangQian2b01dc32022-01-21 02:53:13 +00001516 }
XiaokangQian16acd4b2022-01-14 07:35:47 +00001517
Ronald Cron5afb9042022-05-31 12:11:39 +02001518 handshake->hello_retry_request_count++;
XiaokangQian16acd4b2022-01-14 07:35:47 +00001519
Jerry Yu745bb612021-10-13 22:01:04 +08001520 break;
Jerry Yue1b9c292021-09-10 10:08:31 +08001521 }
1522
1523cleanup:
1524
Gilles Peskine449bd832023-01-11 14:50:10 +01001525 return ret;
Jerry Yue1b9c292021-09-10 10:08:31 +08001526}
1527
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +02001528MBEDTLS_CHECK_RETURN_CRITICAL
Gilles Peskine449bd832023-01-11 14:50:10 +01001529static int ssl_tls13_check_server_hello_session_id_echo(mbedtls_ssl_context *ssl,
1530 const unsigned char **buf,
1531 const unsigned char *end)
Jerry Yue1b9c292021-09-10 10:08:31 +08001532{
1533 const unsigned char *p = *buf;
Jerry Yu4a173382021-10-11 21:45:31 +08001534 size_t legacy_session_id_echo_len;
Jerry Yue1b9c292021-09-10 10:08:31 +08001535
Gilles Peskine449bd832023-01-11 14:50:10 +01001536 MBEDTLS_SSL_CHK_BUF_READ_PTR(p, end, 1);
1537 legacy_session_id_echo_len = *p++;
Jerry Yue1b9c292021-09-10 10:08:31 +08001538
Gilles Peskine449bd832023-01-11 14:50:10 +01001539 MBEDTLS_SSL_CHK_BUF_READ_PTR(p, end, legacy_session_id_echo_len);
Jerry Yue1b9c292021-09-10 10:08:31 +08001540
1541 /* legacy_session_id_echo */
Gilles Peskine449bd832023-01-11 14:50:10 +01001542 if (ssl->session_negotiate->id_len != legacy_session_id_echo_len ||
1543 memcmp(ssl->session_negotiate->id, p, legacy_session_id_echo_len) != 0) {
1544 MBEDTLS_SSL_DEBUG_BUF(3, "Expected Session ID",
1545 ssl->session_negotiate->id,
1546 ssl->session_negotiate->id_len);
1547 MBEDTLS_SSL_DEBUG_BUF(3, "Received Session ID", p,
1548 legacy_session_id_echo_len);
Jerry Yu4a173382021-10-11 21:45:31 +08001549
Gilles Peskine449bd832023-01-11 14:50:10 +01001550 MBEDTLS_SSL_PEND_FATAL_ALERT(MBEDTLS_SSL_ALERT_MSG_ILLEGAL_PARAMETER,
1551 MBEDTLS_ERR_SSL_ILLEGAL_PARAMETER);
Jerry Yu4a173382021-10-11 21:45:31 +08001552
Gilles Peskine449bd832023-01-11 14:50:10 +01001553 return MBEDTLS_ERR_SSL_ILLEGAL_PARAMETER;
Jerry Yue1b9c292021-09-10 10:08:31 +08001554 }
1555
Jerry Yu4a173382021-10-11 21:45:31 +08001556 p += legacy_session_id_echo_len;
Jerry Yue1b9c292021-09-10 10:08:31 +08001557 *buf = p;
1558
Gilles Peskine449bd832023-01-11 14:50:10 +01001559 MBEDTLS_SSL_DEBUG_BUF(3, "Session ID", ssl->session_negotiate->id,
1560 ssl->session_negotiate->id_len);
1561 return 0;
Jerry Yue1b9c292021-09-10 10:08:31 +08001562}
1563
Jerry Yue1b9c292021-09-10 10:08:31 +08001564/* Parse ServerHello message and configure context
1565 *
1566 * struct {
1567 * ProtocolVersion legacy_version = 0x0303; // TLS 1.2
1568 * Random random;
1569 * opaque legacy_session_id_echo<0..32>;
1570 * CipherSuite cipher_suite;
1571 * uint8 legacy_compression_method = 0;
Jerry Yub85277e2021-10-13 13:36:05 +08001572 * Extension extensions<6..2^16-1>;
Jerry Yue1b9c292021-09-10 10:08:31 +08001573 * } ServerHello;
1574 */
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +02001575MBEDTLS_CHECK_RETURN_CRITICAL
Gilles Peskine449bd832023-01-11 14:50:10 +01001576static int ssl_tls13_parse_server_hello(mbedtls_ssl_context *ssl,
1577 const unsigned char *buf,
1578 const unsigned char *end,
1579 int is_hrr)
Jerry Yue1b9c292021-09-10 10:08:31 +08001580{
Jerry Yub85277e2021-10-13 13:36:05 +08001581 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Jerry Yue1b9c292021-09-10 10:08:31 +08001582 const unsigned char *p = buf;
XiaokangQian355e09a2022-01-20 11:14:50 +00001583 mbedtls_ssl_handshake_params *handshake = ssl->handshake;
Jerry Yub85277e2021-10-13 13:36:05 +08001584 size_t extensions_len;
1585 const unsigned char *extensions_end;
Jerry Yue1b9c292021-09-10 10:08:31 +08001586 uint16_t cipher_suite;
Jerry Yude4fb2c2021-09-19 18:05:08 +08001587 const mbedtls_ssl_ciphersuite_t *ciphersuite_info;
XiaokangQianb119a352022-01-26 03:29:10 +00001588 int fatal_alert = 0;
Jerry Yu0c354a22022-08-29 15:25:36 +08001589 uint32_t allowed_extensions_mask;
Jerry Yu50e00e32022-10-31 14:45:01 +08001590 int hs_msg_type = is_hrr ? MBEDTLS_SSL_TLS1_3_HS_HELLO_RETRY_REQUEST :
Gilles Peskine449bd832023-01-11 14:50:10 +01001591 MBEDTLS_SSL_HS_SERVER_HELLO;
Jerry Yue1b9c292021-09-10 10:08:31 +08001592
1593 /*
1594 * Check there is space for minimal fields
1595 *
1596 * - legacy_version ( 2 bytes)
Jerry Yue6d7e5c2021-10-26 10:44:32 +08001597 * - random (MBEDTLS_SERVER_HELLO_RANDOM_LEN bytes)
Jerry Yue1b9c292021-09-10 10:08:31 +08001598 * - legacy_session_id_echo ( 1 byte ), minimum size
1599 * - cipher_suite ( 2 bytes)
1600 * - legacy_compression_method ( 1 byte )
1601 */
Gilles Peskine449bd832023-01-11 14:50:10 +01001602 MBEDTLS_SSL_CHK_BUF_READ_PTR(p, end, MBEDTLS_SERVER_HELLO_RANDOM_LEN + 6);
Jerry Yue1b9c292021-09-10 10:08:31 +08001603
Gilles Peskine449bd832023-01-11 14:50:10 +01001604 MBEDTLS_SSL_DEBUG_BUF(4, "server hello", p, end - p);
1605 MBEDTLS_SSL_DEBUG_BUF(3, "server hello, version", p, 2);
Jerry Yue1b9c292021-09-10 10:08:31 +08001606
Jerry Yu4a173382021-10-11 21:45:31 +08001607 /* ...
Jerry Yub85277e2021-10-13 13:36:05 +08001608 * ProtocolVersion legacy_version = 0x0303; // TLS 1.2
Jerry Yu4a173382021-10-11 21:45:31 +08001609 * ...
1610 * with ProtocolVersion defined as:
1611 * uint16 ProtocolVersion;
1612 */
Gilles Peskine449bd832023-01-11 14:50:10 +01001613 if (mbedtls_ssl_read_version(p, ssl->conf->transport) !=
1614 MBEDTLS_SSL_VERSION_TLS1_2) {
1615 MBEDTLS_SSL_DEBUG_MSG(1, ("Unsupported version of TLS."));
1616 MBEDTLS_SSL_PEND_FATAL_ALERT(MBEDTLS_SSL_ALERT_MSG_PROTOCOL_VERSION,
1617 MBEDTLS_ERR_SSL_BAD_PROTOCOL_VERSION);
XiaokangQiand59be772022-01-24 10:12:51 +00001618 ret = MBEDTLS_ERR_SSL_BAD_PROTOCOL_VERSION;
1619 goto cleanup;
Jerry Yue1b9c292021-09-10 10:08:31 +08001620 }
1621 p += 2;
Jerry Yue1b9c292021-09-10 10:08:31 +08001622
Jerry Yue6d7e5c2021-10-26 10:44:32 +08001623 /* ...
Jerry Yu4a173382021-10-11 21:45:31 +08001624 * Random random;
1625 * ...
1626 * with Random defined as:
Jerry Yue6d7e5c2021-10-26 10:44:32 +08001627 * opaque Random[MBEDTLS_SERVER_HELLO_RANDOM_LEN];
Jerry Yu4a173382021-10-11 21:45:31 +08001628 */
Gilles Peskine449bd832023-01-11 14:50:10 +01001629 if (!is_hrr) {
1630 memcpy(&handshake->randbytes[MBEDTLS_CLIENT_HELLO_RANDOM_LEN], p,
1631 MBEDTLS_SERVER_HELLO_RANDOM_LEN);
1632 MBEDTLS_SSL_DEBUG_BUF(3, "server hello, random bytes",
1633 p, MBEDTLS_SERVER_HELLO_RANDOM_LEN);
XiaokangQian53f20b72022-01-18 10:47:33 +00001634 }
Jerry Yue6d7e5c2021-10-26 10:44:32 +08001635 p += MBEDTLS_SERVER_HELLO_RANDOM_LEN;
Jerry Yue1b9c292021-09-10 10:08:31 +08001636
Jerry Yu4a173382021-10-11 21:45:31 +08001637 /* ...
1638 * opaque legacy_session_id_echo<0..32>;
1639 * ...
1640 */
Gilles Peskine449bd832023-01-11 14:50:10 +01001641 if (ssl_tls13_check_server_hello_session_id_echo(ssl, &p, end) != 0) {
XiaokangQian52da5582022-01-26 09:49:29 +00001642 fatal_alert = MBEDTLS_SSL_ALERT_MSG_ILLEGAL_PARAMETER;
XiaokangQiand59be772022-01-24 10:12:51 +00001643 goto cleanup;
Jerry Yue1b9c292021-09-10 10:08:31 +08001644 }
1645
Jerry Yu4a173382021-10-11 21:45:31 +08001646 /* ...
1647 * CipherSuite cipher_suite;
1648 * ...
1649 * with CipherSuite defined as:
1650 * uint8 CipherSuite[2];
1651 */
Gilles Peskine449bd832023-01-11 14:50:10 +01001652 MBEDTLS_SSL_CHK_BUF_READ_PTR(p, end, 2);
1653 cipher_suite = MBEDTLS_GET_UINT16_BE(p, 0);
Jerry Yue1b9c292021-09-10 10:08:31 +08001654 p += 2;
1655
Jerry Yu4a173382021-10-11 21:45:31 +08001656
Gilles Peskine449bd832023-01-11 14:50:10 +01001657 ciphersuite_info = mbedtls_ssl_ciphersuite_from_id(cipher_suite);
Jerry Yu4a173382021-10-11 21:45:31 +08001658 /*
Ronald Cronba120bb2022-03-30 22:09:48 +02001659 * Check whether this ciphersuite is valid and offered.
Jerry Yu4a173382021-10-11 21:45:31 +08001660 */
Gilles Peskine449bd832023-01-11 14:50:10 +01001661 if ((mbedtls_ssl_validate_ciphersuite(ssl, ciphersuite_info,
1662 ssl->tls_version,
1663 ssl->tls_version) != 0) ||
1664 !mbedtls_ssl_tls13_cipher_suite_is_offered(ssl, cipher_suite)) {
XiaokangQian52da5582022-01-26 09:49:29 +00001665 fatal_alert = MBEDTLS_SSL_ALERT_MSG_ILLEGAL_PARAMETER;
Jerry Yue1b9c292021-09-10 10:08:31 +08001666 }
XiaokangQian53f20b72022-01-18 10:47:33 +00001667 /*
XiaokangQian355e09a2022-01-20 11:14:50 +00001668 * If we received an HRR before and that the proposed selected
1669 * ciphersuite in this server hello is not the same as the one
1670 * proposed in the HRR, we abort the handshake and send an
1671 * "illegal_parameter" alert.
XiaokangQian53f20b72022-01-18 10:47:33 +00001672 */
Gilles Peskine449bd832023-01-11 14:50:10 +01001673 else if ((!is_hrr) && (handshake->hello_retry_request_count > 0) &&
1674 (cipher_suite != ssl->session_negotiate->ciphersuite)) {
XiaokangQian52da5582022-01-26 09:49:29 +00001675 fatal_alert = MBEDTLS_SSL_ALERT_MSG_ILLEGAL_PARAMETER;
XiaokangQian355e09a2022-01-20 11:14:50 +00001676 }
XiaokangQian53f20b72022-01-18 10:47:33 +00001677
Gilles Peskine449bd832023-01-11 14:50:10 +01001678 if (fatal_alert == MBEDTLS_SSL_ALERT_MSG_ILLEGAL_PARAMETER) {
1679 MBEDTLS_SSL_DEBUG_MSG(1, ("invalid ciphersuite(%04x) parameter",
1680 cipher_suite));
XiaokangQiand59be772022-01-24 10:12:51 +00001681 goto cleanup;
XiaokangQian53f20b72022-01-18 10:47:33 +00001682 }
Jerry Yue1b9c292021-09-10 10:08:31 +08001683
Jerry Yu4a173382021-10-11 21:45:31 +08001684 /* Configure ciphersuites */
Gilles Peskine449bd832023-01-11 14:50:10 +01001685 mbedtls_ssl_optimize_checksum(ssl, ciphersuite_info);
Jerry Yu4a173382021-10-11 21:45:31 +08001686
XiaokangQian355e09a2022-01-20 11:14:50 +00001687 handshake->ciphersuite_info = ciphersuite_info;
Gilles Peskine449bd832023-01-11 14:50:10 +01001688 MBEDTLS_SSL_DEBUG_MSG(3, ("server hello, chosen ciphersuite: ( %04x ) - %s",
1689 cipher_suite, ciphersuite_info->name));
Jerry Yue1b9c292021-09-10 10:08:31 +08001690
1691#if defined(MBEDTLS_HAVE_TIME)
YxCda609132023-05-22 12:08:12 -07001692 ssl->session_negotiate->start = mbedtls_time(NULL);
Jerry Yue1b9c292021-09-10 10:08:31 +08001693#endif /* MBEDTLS_HAVE_TIME */
1694
Jerry Yu4a173382021-10-11 21:45:31 +08001695 /* ...
1696 * uint8 legacy_compression_method = 0;
1697 * ...
Jerry Yue1b9c292021-09-10 10:08:31 +08001698 */
Gilles Peskine449bd832023-01-11 14:50:10 +01001699 MBEDTLS_SSL_CHK_BUF_READ_PTR(p, end, 1);
1700 if (p[0] != MBEDTLS_SSL_COMPRESS_NULL) {
1701 MBEDTLS_SSL_DEBUG_MSG(1, ("bad legacy compression method"));
XiaokangQian52da5582022-01-26 09:49:29 +00001702 fatal_alert = MBEDTLS_SSL_ALERT_MSG_ILLEGAL_PARAMETER;
XiaokangQiand59be772022-01-24 10:12:51 +00001703 goto cleanup;
Jerry Yue1b9c292021-09-10 10:08:31 +08001704 }
1705 p++;
1706
Jerry Yub85277e2021-10-13 13:36:05 +08001707 /* ...
1708 * Extension extensions<6..2^16-1>;
1709 * ...
Jerry Yu4a173382021-10-11 21:45:31 +08001710 * struct {
1711 * ExtensionType extension_type; (2 bytes)
1712 * opaque extension_data<0..2^16-1>;
1713 * } Extension;
1714 */
Gilles Peskine449bd832023-01-11 14:50:10 +01001715 MBEDTLS_SSL_CHK_BUF_READ_PTR(p, end, 2);
1716 extensions_len = MBEDTLS_GET_UINT16_BE(p, 0);
Jerry Yue1b9c292021-09-10 10:08:31 +08001717 p += 2;
Jerry Yude4fb2c2021-09-19 18:05:08 +08001718
Jerry Yu4a173382021-10-11 21:45:31 +08001719 /* Check extensions do not go beyond the buffer of data. */
Gilles Peskine449bd832023-01-11 14:50:10 +01001720 MBEDTLS_SSL_CHK_BUF_READ_PTR(p, end, extensions_len);
Jerry Yu4a173382021-10-11 21:45:31 +08001721 extensions_end = p + extensions_len;
Jerry Yue1b9c292021-09-10 10:08:31 +08001722
Gilles Peskine449bd832023-01-11 14:50:10 +01001723 MBEDTLS_SSL_DEBUG_BUF(3, "server hello extensions", p, extensions_len);
Jerry Yue1b9c292021-09-10 10:08:31 +08001724
Jerry Yu50e00e32022-10-31 14:45:01 +08001725 handshake->received_extensions = MBEDTLS_SSL_EXT_MASK_NONE;
Jerry Yu0c354a22022-08-29 15:25:36 +08001726 allowed_extensions_mask = is_hrr ?
Gilles Peskine449bd832023-01-11 14:50:10 +01001727 MBEDTLS_SSL_TLS1_3_ALLOWED_EXTS_OF_HRR :
1728 MBEDTLS_SSL_TLS1_3_ALLOWED_EXTS_OF_SH;
Jerry Yu2c5363e2022-08-04 17:42:49 +08001729
Gilles Peskine449bd832023-01-11 14:50:10 +01001730 while (p < extensions_end) {
Jerry Yue1b9c292021-09-10 10:08:31 +08001731 unsigned int extension_type;
1732 size_t extension_data_len;
XiaokangQian43550bd2022-01-21 04:32:58 +00001733 const unsigned char *extension_data_end;
Jerry Yue1b9c292021-09-10 10:08:31 +08001734
Gilles Peskine449bd832023-01-11 14:50:10 +01001735 MBEDTLS_SSL_CHK_BUF_READ_PTR(p, extensions_end, 4);
1736 extension_type = MBEDTLS_GET_UINT16_BE(p, 0);
1737 extension_data_len = MBEDTLS_GET_UINT16_BE(p, 2);
Jerry Yue1b9c292021-09-10 10:08:31 +08001738 p += 4;
1739
Gilles Peskine449bd832023-01-11 14:50:10 +01001740 MBEDTLS_SSL_CHK_BUF_READ_PTR(p, extensions_end, extension_data_len);
XiaokangQian43550bd2022-01-21 04:32:58 +00001741 extension_data_end = p + extension_data_len;
Jerry Yue1b9c292021-09-10 10:08:31 +08001742
Jerry Yuc4bf5d62022-10-29 09:08:47 +08001743 ret = mbedtls_ssl_tls13_check_received_extension(
Gilles Peskine449bd832023-01-11 14:50:10 +01001744 ssl, hs_msg_type, extension_type, allowed_extensions_mask);
1745 if (ret != 0) {
1746 return ret;
1747 }
Jerry Yu2c5363e2022-08-04 17:42:49 +08001748
Gilles Peskine449bd832023-01-11 14:50:10 +01001749 switch (extension_type) {
XiaokangQianb851da82022-01-14 04:03:11 +00001750 case MBEDTLS_TLS_EXT_COOKIE:
1751
Gilles Peskine449bd832023-01-11 14:50:10 +01001752 ret = ssl_tls13_parse_cookie_ext(ssl,
1753 p, extension_data_end);
1754 if (ret != 0) {
1755 MBEDTLS_SSL_DEBUG_RET(1,
1756 "ssl_tls13_parse_cookie_ext",
1757 ret);
XiaokangQiand59be772022-01-24 10:12:51 +00001758 goto cleanup;
XiaokangQianb851da82022-01-14 04:03:11 +00001759 }
XiaokangQianb851da82022-01-14 04:03:11 +00001760 break;
XiaokangQianb851da82022-01-14 04:03:11 +00001761
Jerry Yue1b9c292021-09-10 10:08:31 +08001762 case MBEDTLS_TLS_EXT_SUPPORTED_VERSIONS:
Gilles Peskine449bd832023-01-11 14:50:10 +01001763 ret = ssl_tls13_parse_supported_versions_ext(ssl,
1764 p,
1765 extension_data_end);
1766 if (ret != 0) {
XiaokangQiand59be772022-01-24 10:12:51 +00001767 goto cleanup;
Gilles Peskine449bd832023-01-11 14:50:10 +01001768 }
Jerry Yue1b9c292021-09-10 10:08:31 +08001769 break;
1770
Ronald Cron41a443a2022-10-04 16:38:25 +02001771#if defined(MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_SOME_PSK_ENABLED)
Jerry Yue1b9c292021-09-10 10:08:31 +08001772 case MBEDTLS_TLS_EXT_PRE_SHARED_KEY:
Gilles Peskine449bd832023-01-11 14:50:10 +01001773 MBEDTLS_SSL_DEBUG_MSG(3, ("found pre_shared_key extension"));
Jerry Yu4a173382021-10-11 21:45:31 +08001774
Gilles Peskine449bd832023-01-11 14:50:10 +01001775 if ((ret = ssl_tls13_parse_server_pre_shared_key_ext(
1776 ssl, p, extension_data_end)) != 0) {
XiaokangQianeb69aee2022-07-05 08:21:43 +00001777 MBEDTLS_SSL_DEBUG_RET(
Gilles Peskine449bd832023-01-11 14:50:10 +01001778 1, ("ssl_tls13_parse_server_pre_shared_key_ext"), ret);
1779 return ret;
XiaokangQianeb69aee2022-07-05 08:21:43 +00001780 }
1781 break;
Ronald Cron41a443a2022-10-04 16:38:25 +02001782#endif
Jerry Yue1b9c292021-09-10 10:08:31 +08001783
Jerry Yue1b9c292021-09-10 10:08:31 +08001784 case MBEDTLS_TLS_EXT_KEY_SHARE:
Gilles Peskine449bd832023-01-11 14:50:10 +01001785 MBEDTLS_SSL_DEBUG_MSG(3, ("found key_shares extension"));
Pengyu Lv0a1ff2b2023-11-14 11:03:32 +08001786 if (!mbedtls_ssl_conf_tls13_is_some_ephemeral_enabled(ssl)) {
XiaokangQian52da5582022-01-26 09:49:29 +00001787 fatal_alert = MBEDTLS_SSL_ALERT_MSG_UNSUPPORTED_EXT;
XiaokangQiand59be772022-01-24 10:12:51 +00001788 goto cleanup;
1789 }
1790
Gilles Peskine449bd832023-01-11 14:50:10 +01001791 if (is_hrr) {
1792 ret = ssl_tls13_parse_hrr_key_share_ext(ssl,
1793 p, extension_data_end);
1794 } else {
1795 ret = ssl_tls13_parse_key_share_ext(ssl,
1796 p, extension_data_end);
1797 }
1798 if (ret != 0) {
1799 MBEDTLS_SSL_DEBUG_RET(1,
1800 "ssl_tls13_parse_key_share_ext",
1801 ret);
XiaokangQiand59be772022-01-24 10:12:51 +00001802 goto cleanup;
Jerry Yue1b9c292021-09-10 10:08:31 +08001803 }
1804 break;
Jerry Yue1b9c292021-09-10 10:08:31 +08001805
1806 default:
Jerry Yu9872eb22022-08-29 13:42:01 +08001807 ret = MBEDTLS_ERR_SSL_INTERNAL_ERROR;
1808 goto cleanup;
Jerry Yue1b9c292021-09-10 10:08:31 +08001809 }
1810
1811 p += extension_data_len;
1812 }
1813
Gilles Peskine449bd832023-01-11 14:50:10 +01001814 MBEDTLS_SSL_PRINT_EXTS(3, hs_msg_type, handshake->received_extensions);
Jerry Yu2c5363e2022-08-04 17:42:49 +08001815
XiaokangQiand59be772022-01-24 10:12:51 +00001816cleanup:
1817
Gilles Peskine449bd832023-01-11 14:50:10 +01001818 if (fatal_alert == MBEDTLS_SSL_ALERT_MSG_UNSUPPORTED_EXT) {
1819 MBEDTLS_SSL_PEND_FATAL_ALERT(MBEDTLS_SSL_ALERT_MSG_UNSUPPORTED_EXT,
1820 MBEDTLS_ERR_SSL_UNSUPPORTED_EXTENSION);
XiaokangQiand59be772022-01-24 10:12:51 +00001821 ret = MBEDTLS_ERR_SSL_UNSUPPORTED_EXTENSION;
Gilles Peskine449bd832023-01-11 14:50:10 +01001822 } else if (fatal_alert == MBEDTLS_SSL_ALERT_MSG_ILLEGAL_PARAMETER) {
1823 MBEDTLS_SSL_PEND_FATAL_ALERT(MBEDTLS_SSL_ALERT_MSG_ILLEGAL_PARAMETER,
1824 MBEDTLS_ERR_SSL_ILLEGAL_PARAMETER);
XiaokangQiand59be772022-01-24 10:12:51 +00001825 ret = MBEDTLS_ERR_SSL_ILLEGAL_PARAMETER;
1826 }
Gilles Peskine449bd832023-01-11 14:50:10 +01001827 return ret;
Jerry Yue1b9c292021-09-10 10:08:31 +08001828}
1829
Xiaokang Qiancb6e9632022-09-26 11:59:32 +00001830#if defined(MBEDTLS_DEBUG_C)
1831static const char *ssl_tls13_get_kex_mode_str(int mode)
Xiaokang Qian5beec4b2022-09-26 08:23:45 +00001832{
Gilles Peskine449bd832023-01-11 14:50:10 +01001833 switch (mode) {
Xiaokang Qian5beec4b2022-09-26 08:23:45 +00001834 case MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_PSK:
1835 return "psk";
1836 case MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_EPHEMERAL:
1837 return "ephemeral";
1838 case MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_PSK_EPHEMERAL:
1839 return "psk_ephemeral";
1840 default:
1841 return "unknown mode";
1842 }
1843}
Xiaokang Qiancb6e9632022-09-26 11:59:32 +00001844#endif /* MBEDTLS_DEBUG_C */
Xiaokang Qian5beec4b2022-09-26 08:23:45 +00001845
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +02001846MBEDTLS_CHECK_RETURN_CRITICAL
Gilles Peskine449bd832023-01-11 14:50:10 +01001847static int ssl_tls13_postprocess_server_hello(mbedtls_ssl_context *ssl)
Jerry Yue1b9c292021-09-10 10:08:31 +08001848{
Jerry Yub85277e2021-10-13 13:36:05 +08001849 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Jerry Yub85277e2021-10-13 13:36:05 +08001850 mbedtls_ssl_handshake_params *handshake = ssl->handshake;
Jerry Yu0b177842021-09-05 19:41:30 +08001851
Jerry Yub85277e2021-10-13 13:36:05 +08001852 /* Determine the key exchange mode:
1853 * 1) If both the pre_shared_key and key_share extensions were received
1854 * then the key exchange mode is PSK with EPHEMERAL.
1855 * 2) If only the pre_shared_key extension was received then the key
1856 * exchange mode is PSK-only.
1857 * 3) If only the key_share extension was received then the key
1858 * exchange mode is EPHEMERAL-only.
Jerry Yu0b177842021-09-05 19:41:30 +08001859 */
Gilles Peskine449bd832023-01-11 14:50:10 +01001860 switch (handshake->received_extensions &
Xiaokang Qian958b6ff2023-03-29 10:37:35 +00001861 (MBEDTLS_SSL_EXT_MASK(PRE_SHARED_KEY) |
1862 MBEDTLS_SSL_EXT_MASK(KEY_SHARE))) {
Jerry Yu745bb612021-10-13 22:01:04 +08001863 /* Only the pre_shared_key extension was received */
Gilles Peskine449bd832023-01-11 14:50:10 +01001864 case MBEDTLS_SSL_EXT_MASK(PRE_SHARED_KEY):
Xiaokang Qian958b6ff2023-03-29 10:37:35 +00001865 handshake->key_exchange_mode =
1866 MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_PSK;
Jerry Yu745bb612021-10-13 22:01:04 +08001867 break;
Jerry Yub85277e2021-10-13 13:36:05 +08001868
Jerry Yu745bb612021-10-13 22:01:04 +08001869 /* Only the key_share extension was received */
Gilles Peskine449bd832023-01-11 14:50:10 +01001870 case MBEDTLS_SSL_EXT_MASK(KEY_SHARE):
Xiaokang Qian958b6ff2023-03-29 10:37:35 +00001871 handshake->key_exchange_mode =
1872 MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_EPHEMERAL;
Jerry Yu745bb612021-10-13 22:01:04 +08001873 break;
Jerry Yub85277e2021-10-13 13:36:05 +08001874
Jerry Yu745bb612021-10-13 22:01:04 +08001875 /* Both the pre_shared_key and key_share extensions were received */
Xiaokang Qian958b6ff2023-03-29 10:37:35 +00001876 case (MBEDTLS_SSL_EXT_MASK(PRE_SHARED_KEY) |
1877 MBEDTLS_SSL_EXT_MASK(KEY_SHARE)):
1878 handshake->key_exchange_mode =
1879 MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_PSK_EPHEMERAL;
Jerry Yu745bb612021-10-13 22:01:04 +08001880 break;
Jerry Yub85277e2021-10-13 13:36:05 +08001881
Jerry Yu745bb612021-10-13 22:01:04 +08001882 /* Neither pre_shared_key nor key_share extension was received */
1883 default:
Gilles Peskine449bd832023-01-11 14:50:10 +01001884 MBEDTLS_SSL_DEBUG_MSG(1, ("Unknown key exchange."));
Jerry Yu745bb612021-10-13 22:01:04 +08001885 ret = MBEDTLS_ERR_SSL_HANDSHAKE_FAILURE;
1886 goto cleanup;
Jerry Yu0b177842021-09-05 19:41:30 +08001887 }
1888
Pengyu Lvfc2cb962023-11-10 10:22:36 +08001889 if (!mbedtls_ssl_conf_tls13_is_kex_mode_enabled(
Xiaokang Qian0de0d862023-02-08 06:04:50 +00001890 ssl, handshake->key_exchange_mode)) {
Xiaokang Qianac8195f2022-09-26 04:01:06 +00001891 ret = MBEDTLS_ERR_SSL_HANDSHAKE_FAILURE;
Xiaokang Qian958b6ff2023-03-29 10:37:35 +00001892 MBEDTLS_SSL_DEBUG_MSG(
1893 2, ("Key exchange mode(%s) is not supported.",
1894 ssl_tls13_get_kex_mode_str(handshake->key_exchange_mode)));
Xiaokang Qianac8195f2022-09-26 04:01:06 +00001895 goto cleanup;
1896 }
1897
Xiaokang Qian958b6ff2023-03-29 10:37:35 +00001898 MBEDTLS_SSL_DEBUG_MSG(
1899 3, ("Selected key exchange mode: %s",
1900 ssl_tls13_get_kex_mode_str(handshake->key_exchange_mode)));
Xiaokang Qian5beec4b2022-09-26 08:23:45 +00001901
Xiaokang Qian7892b6c2023-02-02 06:05:48 +00001902 /* Start the TLS 1.3 key scheduling if not already done.
Jerry Yu0b177842021-09-05 19:41:30 +08001903 *
Xiaokang Qian7892b6c2023-02-02 06:05:48 +00001904 * If we proposed early data then we have already derived an
1905 * early secret using the selected PSK and its associated hash.
1906 * It means that if the negotiated key exchange mode is psk or
1907 * psk_ephemeral, we have already correctly computed the
1908 * early secret and thus we do not do it again. In all other
1909 * cases we compute it here.
Xiaokang Qian303f82c52023-01-04 08:43:46 +00001910 */
Xiaokang Qian90746132023-01-06 05:54:59 +00001911#if defined(MBEDTLS_SSL_EARLY_DATA)
Xiaokang Qiane04afdc2023-02-07 02:19:42 +00001912 if (ssl->early_data_status == MBEDTLS_SSL_EARLY_DATA_STATUS_NOT_SENT ||
1913 handshake->key_exchange_mode ==
1914 MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_EPHEMERAL)
Xiaokang Qian90746132023-01-06 05:54:59 +00001915#endif
1916 {
Xiaokang Qian303f82c52023-01-04 08:43:46 +00001917 ret = mbedtls_ssl_tls13_key_schedule_stage_early(ssl);
1918 if (ret != 0) {
1919 MBEDTLS_SSL_DEBUG_RET(
1920 1, "mbedtls_ssl_tls13_key_schedule_stage_early", ret);
1921 goto cleanup;
1922 }
Jerry Yu0b177842021-09-05 19:41:30 +08001923 }
1924
Gilles Peskine449bd832023-01-11 14:50:10 +01001925 ret = mbedtls_ssl_tls13_compute_handshake_transform(ssl);
1926 if (ret != 0) {
1927 MBEDTLS_SSL_DEBUG_RET(1,
1928 "mbedtls_ssl_tls13_compute_handshake_transform",
1929 ret);
Jerry Yu4a173382021-10-11 21:45:31 +08001930 goto cleanup;
Jerry Yu0b177842021-09-05 19:41:30 +08001931 }
1932
Gilles Peskine449bd832023-01-11 14:50:10 +01001933 mbedtls_ssl_set_inbound_transform(ssl, handshake->transform_handshake);
1934 MBEDTLS_SSL_DEBUG_MSG(1, ("Switch to handshake keys for inbound traffic"));
Jerry Yu0b177842021-09-05 19:41:30 +08001935 ssl->session_in = ssl->session_negotiate;
1936
Jerry Yu4a173382021-10-11 21:45:31 +08001937cleanup:
Gilles Peskine449bd832023-01-11 14:50:10 +01001938 if (ret != 0) {
Jerry Yu4a173382021-10-11 21:45:31 +08001939 MBEDTLS_SSL_PEND_FATAL_ALERT(
1940 MBEDTLS_SSL_ALERT_MSG_HANDSHAKE_FAILURE,
Gilles Peskine449bd832023-01-11 14:50:10 +01001941 MBEDTLS_ERR_SSL_HANDSHAKE_FAILURE);
Jerry Yu4a173382021-10-11 21:45:31 +08001942 }
Jerry Yue110d252022-05-05 10:19:22 +08001943
Gilles Peskine449bd832023-01-11 14:50:10 +01001944 return ret;
Jerry Yue1b9c292021-09-10 10:08:31 +08001945}
1946
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +02001947MBEDTLS_CHECK_RETURN_CRITICAL
Gilles Peskine449bd832023-01-11 14:50:10 +01001948static int ssl_tls13_postprocess_hrr(mbedtls_ssl_context *ssl)
XiaokangQian647719a2021-12-07 09:16:29 +00001949{
1950 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
1951
Gilles Peskine449bd832023-01-11 14:50:10 +01001952 mbedtls_ssl_session_reset_msg_layer(ssl, 0);
XiaokangQian647719a2021-12-07 09:16:29 +00001953
XiaokangQian78b1fa72022-01-19 06:56:30 +00001954 /*
XiaokangQian355e09a2022-01-20 11:14:50 +00001955 * We are going to re-generate a shared secret corresponding to the group
1956 * selected by the server, which is different from the group for which we
1957 * generated a shared secret in the first client hello.
1958 * Thus, reset the shared secret.
XiaokangQian51eff222021-12-10 10:33:56 +00001959 */
Gilles Peskine449bd832023-01-11 14:50:10 +01001960 ret = ssl_tls13_reset_key_share(ssl);
1961 if (ret != 0) {
1962 return ret;
1963 }
XiaokangQian647719a2021-12-07 09:16:29 +00001964
Xiaokang Qian4ef8ba22023-02-06 11:06:16 +00001965 ssl->session_negotiate->ciphersuite = ssl->handshake->ciphersuite_info->id;
Gilles Peskine449bd832023-01-11 14:50:10 +01001966 return 0;
XiaokangQian647719a2021-12-07 09:16:29 +00001967}
1968
Jerry Yue1b9c292021-09-10 10:08:31 +08001969/*
Jerry Yu4a173382021-10-11 21:45:31 +08001970 * Wait and parse ServerHello handshake message.
Jerry Yu687101b2021-09-14 16:03:56 +08001971 * Handler for MBEDTLS_SSL_SERVER_HELLO
1972 */
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +02001973MBEDTLS_CHECK_RETURN_CRITICAL
Gilles Peskine449bd832023-01-11 14:50:10 +01001974static int ssl_tls13_process_server_hello(mbedtls_ssl_context *ssl)
Jerry Yu687101b2021-09-14 16:03:56 +08001975{
Jerry Yu4a173382021-10-11 21:45:31 +08001976 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
XiaokangQian647719a2021-12-07 09:16:29 +00001977 unsigned char *buf = NULL;
1978 size_t buf_len = 0;
XiaokangQian78b1fa72022-01-19 06:56:30 +00001979 int is_hrr = 0;
Jerry Yue1b9c292021-09-10 10:08:31 +08001980
Gilles Peskine449bd832023-01-11 14:50:10 +01001981 MBEDTLS_SSL_DEBUG_MSG(2, ("=> %s", __func__));
Jerry Yue1b9c292021-09-10 10:08:31 +08001982
Xiaokang Qian958b6ff2023-03-29 10:37:35 +00001983 MBEDTLS_SSL_PROC_CHK(mbedtls_ssl_tls13_fetch_handshake_msg(
1984 ssl, MBEDTLS_SSL_HS_SERVER_HELLO, &buf, &buf_len));
Ronald Crondb5dfa12022-05-31 11:44:38 +02001985
Gilles Peskine449bd832023-01-11 14:50:10 +01001986 ret = ssl_tls13_preprocess_server_hello(ssl, buf, buf + buf_len);
1987 if (ret < 0) {
XiaokangQian16acd4b2022-01-14 07:35:47 +00001988 goto cleanup;
Gilles Peskine449bd832023-01-11 14:50:10 +01001989 } else {
1990 is_hrr = (ret == SSL_SERVER_HELLO_HRR);
1991 }
XiaokangQiand59be772022-01-24 10:12:51 +00001992
Gilles Peskine449bd832023-01-11 14:50:10 +01001993 if (ret == SSL_SERVER_HELLO_TLS1_2) {
Ronald Cron9f0fba32022-02-10 16:45:15 +01001994 ret = 0;
1995 goto cleanup;
1996 }
1997
Gilles Peskine449bd832023-01-11 14:50:10 +01001998 MBEDTLS_SSL_PROC_CHK(ssl_tls13_parse_server_hello(ssl, buf,
1999 buf + buf_len,
2000 is_hrr));
2001 if (is_hrr) {
2002 MBEDTLS_SSL_PROC_CHK(mbedtls_ssl_reset_transcript_for_hrr(ssl));
Ronald Cronfb508b82022-05-31 14:49:55 +02002003 }
Gilles Peskine449bd832023-01-11 14:50:10 +01002004
Xiaokang Qian958b6ff2023-03-29 10:37:35 +00002005 MBEDTLS_SSL_PROC_CHK(mbedtls_ssl_add_hs_msg_to_checksum(
2006 ssl, MBEDTLS_SSL_HS_SERVER_HELLO, buf, buf_len));
Gilles Peskine449bd832023-01-11 14:50:10 +01002007
2008 if (is_hrr) {
2009 MBEDTLS_SSL_PROC_CHK(ssl_tls13_postprocess_hrr(ssl));
2010#if defined(MBEDTLS_SSL_TLS1_3_COMPATIBILITY_MODE)
2011 /* If not offering early data, the client sends a dummy CCS record
2012 * immediately before its second flight. This may either be before
2013 * its second ClientHello or before its encrypted handshake flight.
2014 */
Xiaokang Qian958b6ff2023-03-29 10:37:35 +00002015 mbedtls_ssl_handshake_set_state(
2016 ssl, MBEDTLS_SSL_CLIENT_CCS_BEFORE_2ND_CLIENT_HELLO);
Gilles Peskine449bd832023-01-11 14:50:10 +01002017#else
2018 mbedtls_ssl_handshake_set_state(ssl, MBEDTLS_SSL_CLIENT_HELLO);
2019#endif /* MBEDTLS_SSL_TLS1_3_COMPATIBILITY_MODE */
2020 } else {
2021 MBEDTLS_SSL_PROC_CHK(ssl_tls13_postprocess_server_hello(ssl));
2022 mbedtls_ssl_handshake_set_state(ssl, MBEDTLS_SSL_ENCRYPTED_EXTENSIONS);
Ronald Cronfb508b82022-05-31 14:49:55 +02002023 }
Jerry Yue1b9c292021-09-10 10:08:31 +08002024
2025cleanup:
Gilles Peskine449bd832023-01-11 14:50:10 +01002026 MBEDTLS_SSL_DEBUG_MSG(2, ("<= %s ( %s )", __func__,
2027 is_hrr ? "HelloRetryRequest" : "ServerHello"));
2028 return ret;
Jerry Yu687101b2021-09-14 16:03:56 +08002029}
2030
2031/*
XiaokangQian2d5c72b2021-09-13 07:30:09 +00002032 *
Ronald Cron9d6a5452022-05-30 16:05:38 +02002033 * Handler for MBEDTLS_SSL_ENCRYPTED_EXTENSIONS
XiaokangQian2d5c72b2021-09-13 07:30:09 +00002034 *
2035 * The EncryptedExtensions message contains any extensions which
2036 * should be protected, i.e., any which are not needed to establish
2037 * the cryptographic context.
Jerry Yu687101b2021-09-14 16:03:56 +08002038 */
XiaokangQian2d5c72b2021-09-13 07:30:09 +00002039
XiaokangQian08da26c2021-10-09 10:12:11 +00002040/* Parse EncryptedExtensions message
2041 * struct {
XiaokangQian97799ac2021-10-11 10:05:54 +00002042 * Extension extensions<0..2^16-1>;
XiaokangQian08da26c2021-10-09 10:12:11 +00002043 * } EncryptedExtensions;
2044 */
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +02002045MBEDTLS_CHECK_RETURN_CRITICAL
Gilles Peskine449bd832023-01-11 14:50:10 +01002046static int ssl_tls13_parse_encrypted_extensions(mbedtls_ssl_context *ssl,
2047 const unsigned char *buf,
2048 const unsigned char *end)
XiaokangQian2d5c72b2021-09-13 07:30:09 +00002049{
2050 int ret = 0;
XiaokangQian08da26c2021-10-09 10:12:11 +00002051 size_t extensions_len;
XiaokangQian140f0452021-10-08 08:05:53 +00002052 const unsigned char *p = buf;
XiaokangQian8db25ff2021-10-13 05:56:18 +00002053 const unsigned char *extensions_end;
Jerry Yuc4bf5d62022-10-29 09:08:47 +08002054 mbedtls_ssl_handshake_params *handshake = ssl->handshake;
XiaokangQian2d5c72b2021-09-13 07:30:09 +00002055
Gilles Peskine449bd832023-01-11 14:50:10 +01002056 MBEDTLS_SSL_CHK_BUF_READ_PTR(p, end, 2);
2057 extensions_len = MBEDTLS_GET_UINT16_BE(p, 0);
XiaokangQian08da26c2021-10-09 10:12:11 +00002058 p += 2;
XiaokangQian2d5c72b2021-09-13 07:30:09 +00002059
Gilles Peskine449bd832023-01-11 14:50:10 +01002060 MBEDTLS_SSL_CHK_BUF_READ_PTR(p, end, extensions_len);
Ronald Cronc8083592022-05-31 16:24:05 +02002061 extensions_end = p + extensions_len;
XiaokangQian2d5c72b2021-09-13 07:30:09 +00002062
Jan Bruckner5a3629b2023-02-23 12:08:09 +01002063 MBEDTLS_SSL_DEBUG_BUF(3, "encrypted extensions", p, extensions_len);
2064
Jerry Yu9eba7502022-10-31 13:46:16 +08002065 handshake->received_extensions = MBEDTLS_SSL_EXT_MASK_NONE;
Jerry Yucbd082f2022-08-04 16:55:10 +08002066
Gilles Peskine449bd832023-01-11 14:50:10 +01002067 while (p < extensions_end) {
XiaokangQian08da26c2021-10-09 10:12:11 +00002068 unsigned int extension_type;
2069 size_t extension_data_len;
XiaokangQian2d5c72b2021-09-13 07:30:09 +00002070
XiaokangQian08da26c2021-10-09 10:12:11 +00002071 /*
2072 * struct {
XiaokangQian97799ac2021-10-11 10:05:54 +00002073 * ExtensionType extension_type; (2 bytes)
2074 * opaque extension_data<0..2^16-1>;
XiaokangQian08da26c2021-10-09 10:12:11 +00002075 * } Extension;
2076 */
Gilles Peskine449bd832023-01-11 14:50:10 +01002077 MBEDTLS_SSL_CHK_BUF_READ_PTR(p, extensions_end, 4);
2078 extension_type = MBEDTLS_GET_UINT16_BE(p, 0);
2079 extension_data_len = MBEDTLS_GET_UINT16_BE(p, 2);
XiaokangQian08da26c2021-10-09 10:12:11 +00002080 p += 4;
2081
Gilles Peskine449bd832023-01-11 14:50:10 +01002082 MBEDTLS_SSL_CHK_BUF_READ_PTR(p, extensions_end, extension_data_len);
XiaokangQian2d5c72b2021-09-13 07:30:09 +00002083
Jerry Yuc4bf5d62022-10-29 09:08:47 +08002084 ret = mbedtls_ssl_tls13_check_received_extension(
Gilles Peskine449bd832023-01-11 14:50:10 +01002085 ssl, MBEDTLS_SSL_HS_ENCRYPTED_EXTENSIONS, extension_type,
2086 MBEDTLS_SSL_TLS1_3_ALLOWED_EXTS_OF_EE);
2087 if (ret != 0) {
2088 return ret;
2089 }
Jerry Yucbd082f2022-08-04 16:55:10 +08002090
Gilles Peskine449bd832023-01-11 14:50:10 +01002091 switch (extension_type) {
lhuang0486cacac2022-01-21 07:34:27 -08002092#if defined(MBEDTLS_SSL_ALPN)
2093 case MBEDTLS_TLS_EXT_ALPN:
Gilles Peskine449bd832023-01-11 14:50:10 +01002094 MBEDTLS_SSL_DEBUG_MSG(3, ("found alpn extension"));
lhuang0486cacac2022-01-21 07:34:27 -08002095
Xiaokang Qian958b6ff2023-03-29 10:37:35 +00002096 if ((ret = ssl_tls13_parse_alpn_ext(
2097 ssl, p, (size_t) extension_data_len)) != 0) {
Gilles Peskine449bd832023-01-11 14:50:10 +01002098 return ret;
lhuang0486cacac2022-01-21 07:34:27 -08002099 }
2100
2101 break;
2102#endif /* MBEDTLS_SSL_ALPN */
Xiaokang Qian8bee8992022-10-27 10:21:05 +00002103
2104#if defined(MBEDTLS_SSL_EARLY_DATA)
2105 case MBEDTLS_TLS_EXT_EARLY_DATA:
Xiaokang Qianca09afc2022-11-22 10:05:19 +00002106
Gilles Peskine449bd832023-01-11 14:50:10 +01002107 if (extension_data_len != 0) {
Xiaokang Qianca09afc2022-11-22 10:05:19 +00002108 /* The message must be empty. */
Gilles Peskine449bd832023-01-11 14:50:10 +01002109 MBEDTLS_SSL_PEND_FATAL_ALERT(MBEDTLS_SSL_ALERT_MSG_DECODE_ERROR,
2110 MBEDTLS_ERR_SSL_DECODE_ERROR);
2111 return MBEDTLS_ERR_SSL_DECODE_ERROR;
Xiaokang Qianca09afc2022-11-22 10:05:19 +00002112 }
2113
Xiaokang Qian8bee8992022-10-27 10:21:05 +00002114 break;
2115#endif /* MBEDTLS_SSL_EARLY_DATA */
2116
Jan Bruckner151f6422023-02-10 12:45:19 +01002117#if defined(MBEDTLS_SSL_RECORD_SIZE_LIMIT)
2118 case MBEDTLS_TLS_EXT_RECORD_SIZE_LIMIT:
2119 MBEDTLS_SSL_DEBUG_MSG(3, ("found record_size_limit extension"));
2120
Xiaokang Qian958b6ff2023-03-29 10:37:35 +00002121 ret = mbedtls_ssl_tls13_parse_record_size_limit_ext(
2122 ssl, p, p + extension_data_len);
Jan Brucknerf482dcc2023-03-15 09:09:06 +01002123 if (ret != 0) {
2124 MBEDTLS_SSL_DEBUG_RET(
2125 1, ("mbedtls_ssl_tls13_parse_record_size_limit_ext"), ret);
2126 return ret;
2127 }
Jan Bruckner151f6422023-02-10 12:45:19 +01002128 break;
2129#endif /* MBEDTLS_SSL_RECORD_SIZE_LIMIT */
2130
XiaokangQian08da26c2021-10-09 10:12:11 +00002131 default:
Jerry Yu79aa7212022-11-08 21:30:21 +08002132 MBEDTLS_SSL_PRINT_EXT(
Jerry Yu9eba7502022-10-31 13:46:16 +08002133 3, MBEDTLS_SSL_HS_ENCRYPTED_EXTENSIONS,
Gilles Peskine449bd832023-01-11 14:50:10 +01002134 extension_type, "( ignored )");
Jerry Yucbd082f2022-08-04 16:55:10 +08002135 break;
XiaokangQian08da26c2021-10-09 10:12:11 +00002136 }
2137
XiaokangQian08da26c2021-10-09 10:12:11 +00002138 p += extension_data_len;
XiaokangQian97799ac2021-10-11 10:05:54 +00002139 }
XiaokangQian08da26c2021-10-09 10:12:11 +00002140
Waleed Elmelegy049cd302023-12-20 17:28:31 +00002141 if ((handshake->received_extensions & MBEDTLS_SSL_EXT_MASK(RECORD_SIZE_LIMIT)) &&
2142 (handshake->received_extensions & MBEDTLS_SSL_EXT_MASK(MAX_FRAGMENT_LENGTH))) {
Waleed Elmelegy6a971fd2023-12-28 17:48:16 +00002143 MBEDTLS_SSL_DEBUG_MSG(3,
2144 (
2145 "Record size limit extension cannot be used with max fragment length extension"));
Waleed Elmelegy049cd302023-12-20 17:28:31 +00002146 MBEDTLS_SSL_PEND_FATAL_ALERT(
2147 MBEDTLS_SSL_ALERT_MSG_ILLEGAL_PARAMETER,
2148 MBEDTLS_ERR_SSL_ILLEGAL_PARAMETER);
2149 return MBEDTLS_ERR_SSL_ILLEGAL_PARAMETER;
2150 }
2151
Gilles Peskine449bd832023-01-11 14:50:10 +01002152 MBEDTLS_SSL_PRINT_EXTS(3, MBEDTLS_SSL_HS_ENCRYPTED_EXTENSIONS,
2153 handshake->received_extensions);
Jerry Yucbd082f2022-08-04 16:55:10 +08002154
XiaokangQian97799ac2021-10-11 10:05:54 +00002155 /* Check that we consumed all the message. */
Gilles Peskine449bd832023-01-11 14:50:10 +01002156 if (p != end) {
2157 MBEDTLS_SSL_DEBUG_MSG(1, ("EncryptedExtension lengths misaligned"));
2158 MBEDTLS_SSL_PEND_FATAL_ALERT(MBEDTLS_SSL_ALERT_MSG_DECODE_ERROR,
2159 MBEDTLS_ERR_SSL_DECODE_ERROR);
2160 return MBEDTLS_ERR_SSL_DECODE_ERROR;
XiaokangQian2d5c72b2021-09-13 07:30:09 +00002161 }
2162
Gilles Peskine449bd832023-01-11 14:50:10 +01002163 return ret;
XiaokangQian2d5c72b2021-09-13 07:30:09 +00002164}
2165
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +02002166MBEDTLS_CHECK_RETURN_CRITICAL
Gilles Peskine449bd832023-01-11 14:50:10 +01002167static int ssl_tls13_process_encrypted_extensions(mbedtls_ssl_context *ssl)
Ronald Cron9d6a5452022-05-30 16:05:38 +02002168{
2169 int ret;
2170 unsigned char *buf;
2171 size_t buf_len;
Jerry Yu960b7eb2023-10-31 16:40:01 +08002172 mbedtls_ssl_handshake_params *handshake = ssl->handshake;
Ronald Cron9d6a5452022-05-30 16:05:38 +02002173
Gilles Peskine449bd832023-01-11 14:50:10 +01002174 MBEDTLS_SSL_DEBUG_MSG(2, ("=> parse encrypted extensions"));
Ronald Cron9d6a5452022-05-30 16:05:38 +02002175
Xiaokang Qian958b6ff2023-03-29 10:37:35 +00002176 MBEDTLS_SSL_PROC_CHK(mbedtls_ssl_tls13_fetch_handshake_msg(
2177 ssl, MBEDTLS_SSL_HS_ENCRYPTED_EXTENSIONS,
2178 &buf, &buf_len));
Ronald Cron9d6a5452022-05-30 16:05:38 +02002179
2180 /* Process the message contents */
2181 MBEDTLS_SSL_PROC_CHK(
Gilles Peskine449bd832023-01-11 14:50:10 +01002182 ssl_tls13_parse_encrypted_extensions(ssl, buf, buf + buf_len));
Ronald Cron9d6a5452022-05-30 16:05:38 +02002183
Xiaokang Qianb157e912022-11-23 08:12:26 +00002184#if defined(MBEDTLS_SSL_EARLY_DATA)
Jerry Yu960b7eb2023-10-31 16:40:01 +08002185 if (handshake->received_extensions & MBEDTLS_SSL_EXT_MASK(EARLY_DATA)) {
2186 /* RFC8446 4.2.11
2187 * If the server supplies an "early_data" extension, the
2188 * client MUST verify that the server's selected_identity
2189 * is 0. If any other value is returned, the client MUST
2190 * abort the handshake with an "illegal_parameter" alert.
2191 *
2192 * RFC 8446 4.2.10
2193 * In order to accept early data, the server MUST have accepted a PSK
2194 * cipher suite and selected the first key offered in the client's
2195 * "pre_shared_key" extension. In addition, it MUST verify that the
2196 * following values are the same as those associated with the
2197 * selected PSK:
2198 * - The TLS version number
2199 * - The selected cipher suite
2200 * - The selected ALPN [RFC7301] protocol, if any
2201 *
Yanray Wang03a00762023-12-01 17:40:19 +08002202 * The server has sent an early data extension in its Encrypted
2203 * Extension message thus accepted to receive early data. We
2204 * check here that the additional constraints on the handshake
2205 * parameters, when early data are exchanged, are met,
2206 * namely:
Yanray Wang744577a2023-12-01 22:33:59 +08002207 * - a PSK has been selected for the handshake
Yanray Wang03a00762023-12-01 17:40:19 +08002208 * - the selected PSK for the handshake was the first one proposed
2209 * by the client.
2210 * - the selected ciphersuite for the handshake is the ciphersuite
2211 * associated with the selected PSK.
Jerry Yu960b7eb2023-10-31 16:40:01 +08002212 */
Yanray Wang744577a2023-12-01 22:33:59 +08002213 if ((!mbedtls_ssl_tls13_key_exchange_mode_with_psk(ssl)) ||
2214 handshake->selected_identity != 0 ||
Jerry Yu960b7eb2023-10-31 16:40:01 +08002215 handshake->ciphersuite_info->id !=
2216 ssl->session_negotiate->ciphersuite) {
2217
2218 MBEDTLS_SSL_PEND_FATAL_ALERT(
2219 MBEDTLS_SSL_ALERT_MSG_ILLEGAL_PARAMETER,
2220 MBEDTLS_ERR_SSL_ILLEGAL_PARAMETER);
2221 return MBEDTLS_ERR_SSL_ILLEGAL_PARAMETER;
2222 }
2223
Xiaokang Qianb157e912022-11-23 08:12:26 +00002224 ssl->early_data_status = MBEDTLS_SSL_EARLY_DATA_STATUS_ACCEPTED;
2225 }
2226#endif
2227
Yanray Wanga29db7d2023-11-30 14:06:14 +08002228 /*
Yanray Wang9ae65342023-12-01 17:46:06 +08002229 * In case the client has proposed a PSK associated with a ticket,
2230 * `ssl->session_negotiate->ciphersuite` still contains at this point the
2231 * identifier of the ciphersuite associated with the ticket. This is that
2232 * way because, if an exchange of early data is agreed upon, we need
2233 * it to check that the ciphersuite selected for the handshake is the
2234 * ticket ciphersuite (see above). This information is not needed
2235 * anymore thus we can now set it to the identifier of the ciphersuite
2236 * used in this session under negotiation.
Yanray Wanga29db7d2023-11-30 14:06:14 +08002237 */
2238 ssl->session_negotiate->ciphersuite = handshake->ciphersuite_info->id;
2239
Xiaokang Qian958b6ff2023-03-29 10:37:35 +00002240 MBEDTLS_SSL_PROC_CHK(mbedtls_ssl_add_hs_msg_to_checksum(
2241 ssl, MBEDTLS_SSL_HS_ENCRYPTED_EXTENSIONS,
2242 buf, buf_len));
Ronald Cron9d6a5452022-05-30 16:05:38 +02002243
Ronald Cron928cbd32022-10-04 16:14:26 +02002244#if defined(MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_EPHEMERAL_ENABLED)
Gilles Peskine449bd832023-01-11 14:50:10 +01002245 if (mbedtls_ssl_tls13_key_exchange_mode_with_psk(ssl)) {
2246 mbedtls_ssl_handshake_set_state(ssl, MBEDTLS_SSL_SERVER_FINISHED);
2247 } else {
2248 mbedtls_ssl_handshake_set_state(ssl, MBEDTLS_SSL_CERTIFICATE_REQUEST);
2249 }
Ronald Cronfb508b82022-05-31 14:49:55 +02002250#else
2251 ((void) ssl);
Gilles Peskine449bd832023-01-11 14:50:10 +01002252 mbedtls_ssl_handshake_set_state(ssl, MBEDTLS_SSL_SERVER_FINISHED);
Ronald Cronfb508b82022-05-31 14:49:55 +02002253#endif
Ronald Cron9d6a5452022-05-30 16:05:38 +02002254
2255cleanup:
2256
Gilles Peskine449bd832023-01-11 14:50:10 +01002257 MBEDTLS_SSL_DEBUG_MSG(2, ("<= parse encrypted extensions"));
2258 return ret;
Ronald Cron9d6a5452022-05-30 16:05:38 +02002259
2260}
2261
Xiaokang Qian125afcb2022-10-28 06:04:06 +00002262/*
2263 * Handler for MBEDTLS_SSL_END_OF_EARLY_DATA
2264 *
Xiaokang Qianc81a15a2022-12-19 02:43:33 +00002265 * RFC 8446 section 4.5
Xiaokang Qian125afcb2022-10-28 06:04:06 +00002266 *
Xiaokang Qian125afcb2022-10-28 06:04:06 +00002267 * struct {} EndOfEarlyData;
Xiaokang Qianc81a15a2022-12-19 02:43:33 +00002268 *
2269 * If the server sent an "early_data" extension in EncryptedExtensions, the
2270 * client MUST send an EndOfEarlyData message after receiving the server
2271 * Finished. Otherwise, the client MUST NOT send an EndOfEarlyData message.
Xiaokang Qian125afcb2022-10-28 06:04:06 +00002272 */
2273
Xiaokang Qian125afcb2022-10-28 06:04:06 +00002274MBEDTLS_CHECK_RETURN_CRITICAL
Xiaokang Qian125afcb2022-10-28 06:04:06 +00002275static int ssl_tls13_write_end_of_early_data(mbedtls_ssl_context *ssl)
2276{
2277 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Xiaokang Qian742578c2022-12-19 06:34:44 +00002278 unsigned char *buf = NULL;
2279 size_t buf_len;
Xiaokang Qian57a138d2022-12-19 06:40:47 +00002280 MBEDTLS_SSL_DEBUG_MSG(2, ("=> write EndOfEarlyData"));
Xiaokang Qian125afcb2022-10-28 06:04:06 +00002281
Xiaokang Qian742578c2022-12-19 06:34:44 +00002282 MBEDTLS_SSL_PROC_CHK(mbedtls_ssl_start_handshake_msg(
Xiaokang Qian0de0d862023-02-08 06:04:50 +00002283 ssl, MBEDTLS_SSL_HS_END_OF_EARLY_DATA,
2284 &buf, &buf_len));
Xiaokang Qian125afcb2022-10-28 06:04:06 +00002285
Manuel Pégourié-Gonnard63e33dd2023-02-21 15:45:15 +01002286 MBEDTLS_SSL_PROC_CHK(mbedtls_ssl_add_hs_hdr_to_checksum(
2287 ssl, MBEDTLS_SSL_HS_END_OF_EARLY_DATA, 0));
Xiaokang Qian125afcb2022-10-28 06:04:06 +00002288
Xiaokang Qian742578c2022-12-19 06:34:44 +00002289 MBEDTLS_SSL_PROC_CHK(
2290 mbedtls_ssl_finish_handshake_msg(ssl, buf_len, 0));
Xiaokang Qianda8402d2022-12-15 14:55:35 +00002291
Xiaokang Qian19d44162023-01-03 03:39:50 +00002292 mbedtls_ssl_handshake_set_state(ssl, MBEDTLS_SSL_CLIENT_CERTIFICATE);
Xiaokang Qian125afcb2022-10-28 06:04:06 +00002293
2294cleanup:
2295
2296 MBEDTLS_SSL_DEBUG_MSG(2, ("<= write EndOfEarlyData"));
2297 return ret;
2298}
2299
Ronald Cron928cbd32022-10-04 16:14:26 +02002300#if defined(MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_EPHEMERAL_ENABLED)
Jerry Yu687101b2021-09-14 16:03:56 +08002301/*
Xiaofei Baia0ab7772022-01-16 12:14:45 +00002302 * STATE HANDLING: CertificateRequest
2303 *
Jerry Yud2674312021-10-29 10:08:19 +08002304 */
Xiaofei Bai69fcd392022-01-20 08:25:00 +00002305#define SSL_CERTIFICATE_REQUEST_EXPECT_REQUEST 0
2306#define SSL_CERTIFICATE_REQUEST_SKIP 1
Xiaofei Baia0ab7772022-01-16 12:14:45 +00002307/* Coordination:
2308 * Deals with the ambiguity of not knowing if a CertificateRequest
2309 * will be sent. Returns a negative code on failure, or
2310 * - SSL_CERTIFICATE_REQUEST_EXPECT_REQUEST
2311 * - SSL_CERTIFICATE_REQUEST_SKIP
2312 * indicating if a Certificate Request is expected or not.
2313 */
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +02002314MBEDTLS_CHECK_RETURN_CRITICAL
Gilles Peskine449bd832023-01-11 14:50:10 +01002315static int ssl_tls13_certificate_request_coordinate(mbedtls_ssl_context *ssl)
Jerry Yud2674312021-10-29 10:08:19 +08002316{
Xiaofei Baide3f13e2022-01-18 05:47:05 +00002317 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Jerry Yud2674312021-10-29 10:08:19 +08002318
Gilles Peskine449bd832023-01-11 14:50:10 +01002319 if ((ret = mbedtls_ssl_read_record(ssl, 0)) != 0) {
2320 MBEDTLS_SSL_DEBUG_RET(1, "mbedtls_ssl_read_record", ret);
2321 return ret;
Jerry Yud2674312021-10-29 10:08:19 +08002322 }
Xiaofei Baia0ab7772022-01-16 12:14:45 +00002323 ssl->keep_current_message = 1;
Jerry Yud2674312021-10-29 10:08:19 +08002324
Gilles Peskine449bd832023-01-11 14:50:10 +01002325 if ((ssl->in_msgtype == MBEDTLS_SSL_MSG_HANDSHAKE) &&
2326 (ssl->in_msg[0] == MBEDTLS_SSL_HS_CERTIFICATE_REQUEST)) {
2327 MBEDTLS_SSL_DEBUG_MSG(3, ("got a certificate request"));
2328 return SSL_CERTIFICATE_REQUEST_EXPECT_REQUEST;
Jerry Yud2674312021-10-29 10:08:19 +08002329 }
2330
Gilles Peskine449bd832023-01-11 14:50:10 +01002331 MBEDTLS_SSL_DEBUG_MSG(3, ("got no certificate request"));
Ronald Cron19385882022-06-15 16:26:13 +02002332
Gilles Peskine449bd832023-01-11 14:50:10 +01002333 return SSL_CERTIFICATE_REQUEST_SKIP;
Xiaofei Baia0ab7772022-01-16 12:14:45 +00002334}
2335
Xiaofei Baia0ab7772022-01-16 12:14:45 +00002336/*
2337 * ssl_tls13_parse_certificate_request()
2338 * Parse certificate request
2339 * struct {
2340 * opaque certificate_request_context<0..2^8-1>;
2341 * Extension extensions<2..2^16-1>;
2342 * } CertificateRequest;
2343 */
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +02002344MBEDTLS_CHECK_RETURN_CRITICAL
Gilles Peskine449bd832023-01-11 14:50:10 +01002345static int ssl_tls13_parse_certificate_request(mbedtls_ssl_context *ssl,
2346 const unsigned char *buf,
2347 const unsigned char *end)
Xiaofei Baia0ab7772022-01-16 12:14:45 +00002348{
2349 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
2350 const unsigned char *p = buf;
Xiaofei Baia0ab7772022-01-16 12:14:45 +00002351 size_t certificate_request_context_len = 0;
Xiaofei Bai82f0a9a2022-01-26 09:21:54 +00002352 size_t extensions_len = 0;
2353 const unsigned char *extensions_end;
Jerry Yuc4bf5d62022-10-29 09:08:47 +08002354 mbedtls_ssl_handshake_params *handshake = ssl->handshake;
Xiaofei Baia0ab7772022-01-16 12:14:45 +00002355
Xiaofei Bai82f0a9a2022-01-26 09:21:54 +00002356 /* ...
2357 * opaque certificate_request_context<0..2^8-1>
2358 * ...
2359 */
Gilles Peskine449bd832023-01-11 14:50:10 +01002360 MBEDTLS_SSL_CHK_BUF_READ_PTR(p, end, 1);
Xiaofei Baia0ab7772022-01-16 12:14:45 +00002361 certificate_request_context_len = (size_t) p[0];
Xiaofei Bai69fcd392022-01-20 08:25:00 +00002362 p += 1;
Xiaofei Baia0ab7772022-01-16 12:14:45 +00002363
Gilles Peskine449bd832023-01-11 14:50:10 +01002364 if (certificate_request_context_len > 0) {
2365 MBEDTLS_SSL_CHK_BUF_READ_PTR(p, end, certificate_request_context_len);
2366 MBEDTLS_SSL_DEBUG_BUF(3, "Certificate Request Context",
2367 p, certificate_request_context_len);
Xiaofei Baia0ab7772022-01-16 12:14:45 +00002368
Xiaofei Bai69fcd392022-01-20 08:25:00 +00002369 handshake->certificate_request_context =
Gilles Peskine449bd832023-01-11 14:50:10 +01002370 mbedtls_calloc(1, certificate_request_context_len);
2371 if (handshake->certificate_request_context == NULL) {
2372 MBEDTLS_SSL_DEBUG_MSG(1, ("buffer too small"));
2373 return MBEDTLS_ERR_SSL_ALLOC_FAILED;
Xiaofei Baia0ab7772022-01-16 12:14:45 +00002374 }
Gilles Peskine449bd832023-01-11 14:50:10 +01002375 memcpy(handshake->certificate_request_context, p,
2376 certificate_request_context_len);
Xiaofei Baia0ab7772022-01-16 12:14:45 +00002377 p += certificate_request_context_len;
2378 }
2379
Xiaofei Bai82f0a9a2022-01-26 09:21:54 +00002380 /* ...
2381 * Extension extensions<2..2^16-1>;
2382 * ...
Xiaofei Baia0ab7772022-01-16 12:14:45 +00002383 */
Gilles Peskine449bd832023-01-11 14:50:10 +01002384 MBEDTLS_SSL_CHK_BUF_READ_PTR(p, end, 2);
2385 extensions_len = MBEDTLS_GET_UINT16_BE(p, 0);
Xiaofei Baia0ab7772022-01-16 12:14:45 +00002386 p += 2;
2387
Gilles Peskine449bd832023-01-11 14:50:10 +01002388 MBEDTLS_SSL_CHK_BUF_READ_PTR(p, end, extensions_len);
Xiaofei Baia0ab7772022-01-16 12:14:45 +00002389 extensions_end = p + extensions_len;
2390
Jerry Yu6d0e78b2022-10-31 14:13:25 +08002391 handshake->received_extensions = MBEDTLS_SSL_EXT_MASK_NONE;
Jerry Yuc55a6af2022-08-04 17:01:21 +08002392
Gilles Peskine449bd832023-01-11 14:50:10 +01002393 while (p < extensions_end) {
Xiaofei Baia0ab7772022-01-16 12:14:45 +00002394 unsigned int extension_type;
2395 size_t extension_data_len;
2396
Gilles Peskine449bd832023-01-11 14:50:10 +01002397 MBEDTLS_SSL_CHK_BUF_READ_PTR(p, extensions_end, 4);
2398 extension_type = MBEDTLS_GET_UINT16_BE(p, 0);
2399 extension_data_len = MBEDTLS_GET_UINT16_BE(p, 2);
Xiaofei Baia0ab7772022-01-16 12:14:45 +00002400 p += 4;
2401
Gilles Peskine449bd832023-01-11 14:50:10 +01002402 MBEDTLS_SSL_CHK_BUF_READ_PTR(p, extensions_end, extension_data_len);
Xiaofei Baia0ab7772022-01-16 12:14:45 +00002403
Jerry Yuc4bf5d62022-10-29 09:08:47 +08002404 ret = mbedtls_ssl_tls13_check_received_extension(
Gilles Peskine449bd832023-01-11 14:50:10 +01002405 ssl, MBEDTLS_SSL_HS_CERTIFICATE_REQUEST, extension_type,
2406 MBEDTLS_SSL_TLS1_3_ALLOWED_EXTS_OF_CR);
2407 if (ret != 0) {
2408 return ret;
2409 }
Jerry Yuc55a6af2022-08-04 17:01:21 +08002410
Gilles Peskine449bd832023-01-11 14:50:10 +01002411 switch (extension_type) {
Xiaofei Baia0ab7772022-01-16 12:14:45 +00002412 case MBEDTLS_TLS_EXT_SIG_ALG:
Gilles Peskine449bd832023-01-11 14:50:10 +01002413 MBEDTLS_SSL_DEBUG_MSG(3,
2414 ("found signature algorithms extension"));
2415 ret = mbedtls_ssl_parse_sig_alg_ext(ssl, p,
2416 p + extension_data_len);
2417 if (ret != 0) {
2418 return ret;
2419 }
Jerry Yuc55a6af2022-08-04 17:01:21 +08002420
Xiaofei Baia0ab7772022-01-16 12:14:45 +00002421 break;
2422
2423 default:
Jerry Yu79aa7212022-11-08 21:30:21 +08002424 MBEDTLS_SSL_PRINT_EXT(
Jerry Yu6d0e78b2022-10-31 14:13:25 +08002425 3, MBEDTLS_SSL_HS_CERTIFICATE_REQUEST,
Gilles Peskine449bd832023-01-11 14:50:10 +01002426 extension_type, "( ignored )");
Xiaofei Bai82f0a9a2022-01-26 09:21:54 +00002427 break;
Xiaofei Baia0ab7772022-01-16 12:14:45 +00002428 }
Jerry Yuc55a6af2022-08-04 17:01:21 +08002429
Xiaofei Baia0ab7772022-01-16 12:14:45 +00002430 p += extension_data_len;
2431 }
Jerry Yuc55a6af2022-08-04 17:01:21 +08002432
Gilles Peskine449bd832023-01-11 14:50:10 +01002433 MBEDTLS_SSL_PRINT_EXTS(3, MBEDTLS_SSL_HS_CERTIFICATE_REQUEST,
2434 handshake->received_extensions);
Jerry Yuc55a6af2022-08-04 17:01:21 +08002435
Xiaofei Bai69fcd392022-01-20 08:25:00 +00002436 /* Check that we consumed all the message. */
Gilles Peskine449bd832023-01-11 14:50:10 +01002437 if (p != end) {
2438 MBEDTLS_SSL_DEBUG_MSG(1,
2439 ("CertificateRequest misaligned"));
Xiaofei Baic234ecf2022-02-08 09:59:23 +00002440 goto decode_error;
Xiaofei Bai69fcd392022-01-20 08:25:00 +00002441 }
Jerry Yuc55a6af2022-08-04 17:01:21 +08002442
Jerry Yu0c354a22022-08-29 15:25:36 +08002443 /* RFC 8446 section 4.3.2
Jerry Yuc55a6af2022-08-04 17:01:21 +08002444 *
2445 * The "signature_algorithms" extension MUST be specified
2446 */
Gilles Peskine449bd832023-01-11 14:50:10 +01002447 if ((handshake->received_extensions & MBEDTLS_SSL_EXT_MASK(SIG_ALG)) == 0) {
2448 MBEDTLS_SSL_DEBUG_MSG(3,
2449 ("no signature algorithms extension found"));
Xiaofei Baic234ecf2022-02-08 09:59:23 +00002450 goto decode_error;
Xiaofei Bai69fcd392022-01-20 08:25:00 +00002451 }
Xiaofei Baia0ab7772022-01-16 12:14:45 +00002452
Jerry Yu7840f812022-01-29 10:26:51 +08002453 ssl->handshake->client_auth = 1;
Gilles Peskine449bd832023-01-11 14:50:10 +01002454 return 0;
Xiaofei Bai51f515a2022-02-08 07:28:04 +00002455
Xiaofei Baic234ecf2022-02-08 09:59:23 +00002456decode_error:
Gilles Peskine449bd832023-01-11 14:50:10 +01002457 MBEDTLS_SSL_PEND_FATAL_ALERT(MBEDTLS_SSL_ALERT_MSG_DECODE_ERROR,
2458 MBEDTLS_ERR_SSL_DECODE_ERROR);
2459 return MBEDTLS_ERR_SSL_DECODE_ERROR;
Xiaofei Baia0ab7772022-01-16 12:14:45 +00002460}
Xiaofei Baia0ab7772022-01-16 12:14:45 +00002461
Xiaofei Baide3f13e2022-01-18 05:47:05 +00002462/*
2463 * Handler for MBEDTLS_SSL_CERTIFICATE_REQUEST
2464 */
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +02002465MBEDTLS_CHECK_RETURN_CRITICAL
Gilles Peskine449bd832023-01-11 14:50:10 +01002466static int ssl_tls13_process_certificate_request(mbedtls_ssl_context *ssl)
Xiaofei Baia0ab7772022-01-16 12:14:45 +00002467{
Xiaofei Baide3f13e2022-01-18 05:47:05 +00002468 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Xiaofei Baia0ab7772022-01-16 12:14:45 +00002469
Gilles Peskine449bd832023-01-11 14:50:10 +01002470 MBEDTLS_SSL_DEBUG_MSG(2, ("=> parse certificate request"));
Xiaofei Baia0ab7772022-01-16 12:14:45 +00002471
Gilles Peskine449bd832023-01-11 14:50:10 +01002472 MBEDTLS_SSL_PROC_CHK_NEG(ssl_tls13_certificate_request_coordinate(ssl));
Xiaofei Baia0ab7772022-01-16 12:14:45 +00002473
Gilles Peskine449bd832023-01-11 14:50:10 +01002474 if (ret == SSL_CERTIFICATE_REQUEST_EXPECT_REQUEST) {
Xiaofei Baia0ab7772022-01-16 12:14:45 +00002475 unsigned char *buf;
2476 size_t buf_len;
2477
Xiaokang Qian958b6ff2023-03-29 10:37:35 +00002478 MBEDTLS_SSL_PROC_CHK(mbedtls_ssl_tls13_fetch_handshake_msg(
2479 ssl, MBEDTLS_SSL_HS_CERTIFICATE_REQUEST,
2480 &buf, &buf_len));
Xiaofei Baia0ab7772022-01-16 12:14:45 +00002481
Xiaokang Qian958b6ff2023-03-29 10:37:35 +00002482 MBEDTLS_SSL_PROC_CHK(ssl_tls13_parse_certificate_request(
2483 ssl, buf, buf + buf_len));
Xiaofei Baia0ab7772022-01-16 12:14:45 +00002484
Xiaokang Qian958b6ff2023-03-29 10:37:35 +00002485 MBEDTLS_SSL_PROC_CHK(mbedtls_ssl_add_hs_msg_to_checksum(
2486 ssl, MBEDTLS_SSL_HS_CERTIFICATE_REQUEST,
2487 buf, buf_len));
Gilles Peskine449bd832023-01-11 14:50:10 +01002488 } else if (ret == SSL_CERTIFICATE_REQUEST_SKIP) {
Xiaofei Baif6d36962022-01-16 14:54:35 +00002489 ret = 0;
Gilles Peskine449bd832023-01-11 14:50:10 +01002490 } else {
2491 MBEDTLS_SSL_DEBUG_MSG(1, ("should never happen"));
Xiaofei Bai51f515a2022-02-08 07:28:04 +00002492 ret = MBEDTLS_ERR_SSL_INTERNAL_ERROR;
2493 goto cleanup;
Xiaofei Baia0ab7772022-01-16 12:14:45 +00002494 }
2495
Gilles Peskine449bd832023-01-11 14:50:10 +01002496 mbedtls_ssl_handshake_set_state(ssl, MBEDTLS_SSL_SERVER_CERTIFICATE);
Jerry Yud2674312021-10-29 10:08:19 +08002497
Xiaofei Baia0ab7772022-01-16 12:14:45 +00002498cleanup:
2499
Gilles Peskine449bd832023-01-11 14:50:10 +01002500 MBEDTLS_SSL_DEBUG_MSG(2, ("<= parse certificate request"));
2501 return ret;
Jerry Yud2674312021-10-29 10:08:19 +08002502}
2503
2504/*
Jerry Yu687101b2021-09-14 16:03:56 +08002505 * Handler for MBEDTLS_SSL_SERVER_CERTIFICATE
2506 */
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +02002507MBEDTLS_CHECK_RETURN_CRITICAL
Gilles Peskine449bd832023-01-11 14:50:10 +01002508static int ssl_tls13_process_server_certificate(mbedtls_ssl_context *ssl)
Jerry Yu687101b2021-09-14 16:03:56 +08002509{
Xiaofei Bai947571e2021-09-29 09:12:03 +00002510 int ret;
2511
Gilles Peskine449bd832023-01-11 14:50:10 +01002512 ret = mbedtls_ssl_tls13_process_certificate(ssl);
2513 if (ret != 0) {
2514 return ret;
2515 }
Xiaofei Bai947571e2021-09-29 09:12:03 +00002516
Gilles Peskine449bd832023-01-11 14:50:10 +01002517 mbedtls_ssl_handshake_set_state(ssl, MBEDTLS_SSL_CERTIFICATE_VERIFY);
2518 return 0;
Jerry Yu687101b2021-09-14 16:03:56 +08002519}
2520
2521/*
2522 * Handler for MBEDTLS_SSL_CERTIFICATE_VERIFY
2523 */
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +02002524MBEDTLS_CHECK_RETURN_CRITICAL
Gilles Peskine449bd832023-01-11 14:50:10 +01002525static int ssl_tls13_process_certificate_verify(mbedtls_ssl_context *ssl)
Jerry Yu687101b2021-09-14 16:03:56 +08002526{
Jerry Yu30b071c2021-09-12 20:16:03 +08002527 int ret;
2528
Gilles Peskine449bd832023-01-11 14:50:10 +01002529 ret = mbedtls_ssl_tls13_process_certificate_verify(ssl);
2530 if (ret != 0) {
2531 return ret;
2532 }
Jerry Yu30b071c2021-09-12 20:16:03 +08002533
Gilles Peskine449bd832023-01-11 14:50:10 +01002534 mbedtls_ssl_handshake_set_state(ssl, MBEDTLS_SSL_SERVER_FINISHED);
2535 return 0;
Jerry Yu687101b2021-09-14 16:03:56 +08002536}
Ronald Cron928cbd32022-10-04 16:14:26 +02002537#endif /* MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_EPHEMERAL_ENABLED */
Ronald Crond4c64022021-12-06 09:06:46 +01002538
Jerry Yu687101b2021-09-14 16:03:56 +08002539/*
2540 * Handler for MBEDTLS_SSL_SERVER_FINISHED
2541 */
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +02002542MBEDTLS_CHECK_RETURN_CRITICAL
Gilles Peskine449bd832023-01-11 14:50:10 +01002543static int ssl_tls13_process_server_finished(mbedtls_ssl_context *ssl)
Jerry Yu687101b2021-09-14 16:03:56 +08002544{
XiaokangQianac0385c2021-11-03 06:40:11 +00002545 int ret;
2546
Gilles Peskine449bd832023-01-11 14:50:10 +01002547 ret = mbedtls_ssl_tls13_process_finished_message(ssl);
2548 if (ret != 0) {
2549 return ret;
2550 }
XiaokangQianac0385c2021-11-03 06:40:11 +00002551
Gilles Peskine449bd832023-01-11 14:50:10 +01002552 ret = mbedtls_ssl_tls13_compute_application_transform(ssl);
2553 if (ret != 0) {
Jerry Yue3d67cb2022-05-19 15:33:10 +08002554 MBEDTLS_SSL_PEND_FATAL_ALERT(
Gilles Peskine449bd832023-01-11 14:50:10 +01002555 MBEDTLS_SSL_ALERT_MSG_HANDSHAKE_FAILURE,
2556 MBEDTLS_ERR_SSL_HANDSHAKE_FAILURE);
2557 return ret;
Jerry Yue3d67cb2022-05-19 15:33:10 +08002558 }
2559
Xiaokang Qianbc75bc02022-12-19 06:16:42 +00002560#if defined(MBEDTLS_SSL_EARLY_DATA)
2561 if (ssl->early_data_status == MBEDTLS_SSL_EARLY_DATA_STATUS_ACCEPTED) {
2562 mbedtls_ssl_handshake_set_state(ssl, MBEDTLS_SSL_END_OF_EARLY_DATA);
Xiaokang Qianbd0ab062023-02-02 05:56:30 +00002563 } else if (ssl->early_data_status == MBEDTLS_SSL_EARLY_DATA_STATUS_REJECTED) {
2564 mbedtls_ssl_handshake_set_state(ssl, MBEDTLS_SSL_CLIENT_CERTIFICATE);
Xiaokang Qianbc75bc02022-12-19 06:16:42 +00002565 } else
2566#endif /* MBEDTLS_SSL_EARLY_DATA */
2567 {
2568#if defined(MBEDTLS_SSL_TLS1_3_COMPATIBILITY_MODE)
2569 mbedtls_ssl_handshake_set_state(
2570 ssl, MBEDTLS_SSL_CLIENT_CCS_AFTER_SERVER_FINISHED);
2571#else
2572 mbedtls_ssl_handshake_set_state(ssl, MBEDTLS_SSL_CLIENT_CERTIFICATE);
2573#endif /* MBEDTLS_SSL_TLS1_3_COMPATIBILITY_MODE */
2574 }
Ronald Cron49ad6192021-11-24 16:25:31 +01002575
Gilles Peskine449bd832023-01-11 14:50:10 +01002576 return 0;
Jerry Yu687101b2021-09-14 16:03:56 +08002577}
2578
2579/*
Jerry Yu566c7812022-01-26 15:41:22 +08002580 * Handler for MBEDTLS_SSL_CLIENT_CERTIFICATE
2581 */
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +02002582MBEDTLS_CHECK_RETURN_CRITICAL
Gilles Peskine449bd832023-01-11 14:50:10 +01002583static int ssl_tls13_write_client_certificate(mbedtls_ssl_context *ssl)
Jerry Yu566c7812022-01-26 15:41:22 +08002584{
Ronald Cron7a94aca2022-03-09 07:44:27 +01002585 int non_empty_certificate_msg = 0;
2586
Gilles Peskine449bd832023-01-11 14:50:10 +01002587 MBEDTLS_SSL_DEBUG_MSG(1,
2588 ("Switch to handshake traffic keys for outbound traffic"));
2589 mbedtls_ssl_set_outbound_transform(ssl, ssl->handshake->transform_handshake);
Jerry Yu5cc35062022-01-28 16:16:08 +08002590
Ronald Cron928cbd32022-10-04 16:14:26 +02002591#if defined(MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_EPHEMERAL_ENABLED)
Gilles Peskine449bd832023-01-11 14:50:10 +01002592 if (ssl->handshake->client_auth) {
2593 int ret = mbedtls_ssl_tls13_write_certificate(ssl);
2594 if (ret != 0) {
2595 return ret;
2596 }
Ronald Cron5bb8fc82022-03-09 07:00:13 +01002597
Gilles Peskine449bd832023-01-11 14:50:10 +01002598 if (mbedtls_ssl_own_cert(ssl) != NULL) {
Ronald Cron7a94aca2022-03-09 07:44:27 +01002599 non_empty_certificate_msg = 1;
Gilles Peskine449bd832023-01-11 14:50:10 +01002600 }
2601 } else {
2602 MBEDTLS_SSL_DEBUG_MSG(2, ("skip write certificate"));
Ronald Cron7a94aca2022-03-09 07:44:27 +01002603 }
Ronald Cron9df7c802022-03-08 18:38:54 +01002604#endif
Ronald Cron5bb8fc82022-03-09 07:00:13 +01002605
Gilles Peskine449bd832023-01-11 14:50:10 +01002606 if (non_empty_certificate_msg) {
2607 mbedtls_ssl_handshake_set_state(ssl,
2608 MBEDTLS_SSL_CLIENT_CERTIFICATE_VERIFY);
2609 } else {
2610 MBEDTLS_SSL_DEBUG_MSG(2, ("skip write certificate verify"));
2611 mbedtls_ssl_handshake_set_state(ssl, MBEDTLS_SSL_CLIENT_FINISHED);
2612 }
Ronald Cron7a94aca2022-03-09 07:44:27 +01002613
Gilles Peskine449bd832023-01-11 14:50:10 +01002614 return 0;
Jerry Yu566c7812022-01-26 15:41:22 +08002615}
2616
Ronald Cron928cbd32022-10-04 16:14:26 +02002617#if defined(MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_EPHEMERAL_ENABLED)
Jerry Yu566c7812022-01-26 15:41:22 +08002618/*
2619 * Handler for MBEDTLS_SSL_CLIENT_CERTIFICATE_VERIFY
2620 */
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +02002621MBEDTLS_CHECK_RETURN_CRITICAL
Gilles Peskine449bd832023-01-11 14:50:10 +01002622static int ssl_tls13_write_client_certificate_verify(mbedtls_ssl_context *ssl)
Jerry Yu566c7812022-01-26 15:41:22 +08002623{
Gilles Peskine449bd832023-01-11 14:50:10 +01002624 int ret = mbedtls_ssl_tls13_write_certificate_verify(ssl);
Ronald Crona8b38872022-03-09 07:59:25 +01002625
Gilles Peskine449bd832023-01-11 14:50:10 +01002626 if (ret == 0) {
2627 mbedtls_ssl_handshake_set_state(ssl, MBEDTLS_SSL_CLIENT_FINISHED);
2628 }
Ronald Crona8b38872022-03-09 07:59:25 +01002629
Gilles Peskine449bd832023-01-11 14:50:10 +01002630 return ret;
Jerry Yu566c7812022-01-26 15:41:22 +08002631}
Ronald Cron928cbd32022-10-04 16:14:26 +02002632#endif /* MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_EPHEMERAL_ENABLED */
Jerry Yu566c7812022-01-26 15:41:22 +08002633
2634/*
Jerry Yu687101b2021-09-14 16:03:56 +08002635 * Handler for MBEDTLS_SSL_CLIENT_FINISHED
2636 */
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +02002637MBEDTLS_CHECK_RETURN_CRITICAL
Gilles Peskine449bd832023-01-11 14:50:10 +01002638static int ssl_tls13_write_client_finished(mbedtls_ssl_context *ssl)
Jerry Yu687101b2021-09-14 16:03:56 +08002639{
XiaokangQian0fa66432021-11-15 03:33:57 +00002640 int ret;
2641
Gilles Peskine449bd832023-01-11 14:50:10 +01002642 ret = mbedtls_ssl_tls13_write_finished_message(ssl);
2643 if (ret != 0) {
2644 return ret;
Jerry Yue3d67cb2022-05-19 15:33:10 +08002645 }
2646
Gilles Peskine449bd832023-01-11 14:50:10 +01002647 ret = mbedtls_ssl_tls13_compute_resumption_master_secret(ssl);
2648 if (ret != 0) {
Xiaokang Qian958b6ff2023-03-29 10:37:35 +00002649 MBEDTLS_SSL_DEBUG_RET(
2650 1, "mbedtls_ssl_tls13_compute_resumption_master_secret ", ret);
Gilles Peskine449bd832023-01-11 14:50:10 +01002651 return ret;
2652 }
2653
2654 mbedtls_ssl_handshake_set_state(ssl, MBEDTLS_SSL_FLUSH_BUFFERS);
2655 return 0;
Jerry Yu687101b2021-09-14 16:03:56 +08002656}
2657
2658/*
2659 * Handler for MBEDTLS_SSL_FLUSH_BUFFERS
2660 */
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +02002661MBEDTLS_CHECK_RETURN_CRITICAL
Gilles Peskine449bd832023-01-11 14:50:10 +01002662static int ssl_tls13_flush_buffers(mbedtls_ssl_context *ssl)
Jerry Yu687101b2021-09-14 16:03:56 +08002663{
Gilles Peskine449bd832023-01-11 14:50:10 +01002664 MBEDTLS_SSL_DEBUG_MSG(2, ("handshake: done"));
2665 mbedtls_ssl_handshake_set_state(ssl, MBEDTLS_SSL_HANDSHAKE_WRAPUP);
2666 return 0;
Jerry Yu687101b2021-09-14 16:03:56 +08002667}
2668
2669/*
2670 * Handler for MBEDTLS_SSL_HANDSHAKE_WRAPUP
2671 */
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +02002672MBEDTLS_CHECK_RETURN_CRITICAL
Gilles Peskine449bd832023-01-11 14:50:10 +01002673static int ssl_tls13_handshake_wrapup(mbedtls_ssl_context *ssl)
Jerry Yu687101b2021-09-14 16:03:56 +08002674{
Jerry Yu378254d2021-10-30 21:44:47 +08002675
Gilles Peskine449bd832023-01-11 14:50:10 +01002676 mbedtls_ssl_tls13_handshake_wrapup(ssl);
Jerry Yu378254d2021-10-30 21:44:47 +08002677
Gilles Peskine449bd832023-01-11 14:50:10 +01002678 mbedtls_ssl_handshake_set_state(ssl, MBEDTLS_SSL_HANDSHAKE_OVER);
2679 return 0;
Jerry Yu687101b2021-09-14 16:03:56 +08002680}
2681
Jerry Yuf8a49942022-07-07 11:32:32 +00002682#if defined(MBEDTLS_SSL_SESSION_TICKETS)
2683
Yanray Wang920db452023-11-14 17:20:16 +08002684#if defined(MBEDTLS_SSL_EARLY_DATA)
2685/* From RFC 8446 section 4.2.10
2686 *
2687 * struct {
2688 * select (Handshake.msg_type) {
2689 * case new_session_ticket: uint32 max_early_data_size;
2690 * ...
2691 * };
2692 * } EarlyDataIndication;
2693 */
2694MBEDTLS_CHECK_RETURN_CRITICAL
Yanray Wangb3e207d2023-11-30 16:49:49 +08002695static int ssl_tls13_parse_new_session_ticket_early_data_ext(
2696 mbedtls_ssl_context *ssl,
2697 const unsigned char *buf,
2698 const unsigned char *end)
Yanray Wang920db452023-11-14 17:20:16 +08002699{
Yanray Wangd0120842023-11-23 16:35:54 +08002700 mbedtls_ssl_session *session = ssl->session;
2701
Yanray Wang920db452023-11-14 17:20:16 +08002702 MBEDTLS_SSL_CHK_BUF_READ_PTR(buf, end, 4);
Yanray Wang920db452023-11-14 17:20:16 +08002703
Yanray Wangd0120842023-11-23 16:35:54 +08002704 session->max_early_data_size = MBEDTLS_GET_UINT32_BE(buf, 0);
Pengyu Lv94a42cc2023-12-06 10:04:17 +08002705 mbedtls_ssl_tls13_session_set_ticket_flags(
Yanray Wangd0120842023-11-23 16:35:54 +08002706 session, MBEDTLS_SSL_TLS1_3_TICKET_ALLOW_EARLY_DATA);
2707 MBEDTLS_SSL_DEBUG_MSG(
2708 3, ("received max_early_data_size: %u",
2709 (unsigned int) session->max_early_data_size));
Yanray Wang920db452023-11-14 17:20:16 +08002710
Yanray Wangd0120842023-11-23 16:35:54 +08002711 return 0;
Yanray Wang920db452023-11-14 17:20:16 +08002712}
2713#endif /* MBEDTLS_SSL_EARLY_DATA */
2714
Jerry Yua0446a02022-07-13 11:22:55 +08002715MBEDTLS_CHECK_RETURN_CRITICAL
Gilles Peskine449bd832023-01-11 14:50:10 +01002716static int ssl_tls13_parse_new_session_ticket_exts(mbedtls_ssl_context *ssl,
2717 const unsigned char *buf,
2718 const unsigned char *end)
Jerry Yuf8a49942022-07-07 11:32:32 +00002719{
Jerry Yuc4bf5d62022-10-29 09:08:47 +08002720 mbedtls_ssl_handshake_params *handshake = ssl->handshake;
Jerry Yuaf2c0c82022-07-12 05:47:21 +00002721 const unsigned char *p = buf;
Jerry Yuf8a49942022-07-07 11:32:32 +00002722
Jerry Yuf8a49942022-07-07 11:32:32 +00002723
Jerry Yuedab6372022-10-31 14:37:31 +08002724 handshake->received_extensions = MBEDTLS_SSL_EXT_MASK_NONE;
Jerry Yu6ba9f1c2022-08-04 17:53:25 +08002725
Gilles Peskine449bd832023-01-11 14:50:10 +01002726 while (p < end) {
Jerry Yuf8a49942022-07-07 11:32:32 +00002727 unsigned int extension_type;
2728 size_t extension_data_len;
Jerry Yu0c354a22022-08-29 15:25:36 +08002729 int ret;
Jerry Yuf8a49942022-07-07 11:32:32 +00002730
Gilles Peskine449bd832023-01-11 14:50:10 +01002731 MBEDTLS_SSL_CHK_BUF_READ_PTR(p, end, 4);
2732 extension_type = MBEDTLS_GET_UINT16_BE(p, 0);
2733 extension_data_len = MBEDTLS_GET_UINT16_BE(p, 2);
Jerry Yuf8a49942022-07-07 11:32:32 +00002734 p += 4;
2735
Gilles Peskine449bd832023-01-11 14:50:10 +01002736 MBEDTLS_SSL_CHK_BUF_READ_PTR(p, end, extension_data_len);
Jerry Yuf8a49942022-07-07 11:32:32 +00002737
Jerry Yuc4bf5d62022-10-29 09:08:47 +08002738 ret = mbedtls_ssl_tls13_check_received_extension(
Gilles Peskine449bd832023-01-11 14:50:10 +01002739 ssl, MBEDTLS_SSL_HS_NEW_SESSION_TICKET, extension_type,
2740 MBEDTLS_SSL_TLS1_3_ALLOWED_EXTS_OF_NST);
2741 if (ret != 0) {
2742 return ret;
2743 }
Jerry Yu6ba9f1c2022-08-04 17:53:25 +08002744
Gilles Peskine449bd832023-01-11 14:50:10 +01002745 switch (extension_type) {
Xiaokang Qian0cc43202022-11-16 08:43:50 +00002746#if defined(MBEDTLS_SSL_EARLY_DATA)
Xiaokang Qianf447e8a2022-11-08 07:02:27 +00002747 case MBEDTLS_TLS_EXT_EARLY_DATA:
Yanray Wangb3e207d2023-11-30 16:49:49 +08002748 ret = ssl_tls13_parse_new_session_ticket_early_data_ext(
Yanray Wang920db452023-11-14 17:20:16 +08002749 ssl, p, p + extension_data_len);
2750 if (ret != 0) {
2751 MBEDTLS_SSL_DEBUG_RET(
Yanray Wangb3e207d2023-11-30 16:49:49 +08002752 1, "ssl_tls13_parse_new_session_ticket_early_data_ext",
2753 ret);
Xiaokang Qian2d87a9e2022-11-09 07:55:48 +00002754 }
Xiaokang Qianf447e8a2022-11-08 07:02:27 +00002755 break;
Xiaokang Qian0cc43202022-11-16 08:43:50 +00002756#endif /* MBEDTLS_SSL_EARLY_DATA */
Xiaokang Qianf447e8a2022-11-08 07:02:27 +00002757
Jerry Yuf8a49942022-07-07 11:32:32 +00002758 default:
Jerry Yu79aa7212022-11-08 21:30:21 +08002759 MBEDTLS_SSL_PRINT_EXT(
Jerry Yuedab6372022-10-31 14:37:31 +08002760 3, MBEDTLS_SSL_HS_NEW_SESSION_TICKET,
Gilles Peskine449bd832023-01-11 14:50:10 +01002761 extension_type, "( ignored )");
Jerry Yuf8a49942022-07-07 11:32:32 +00002762 break;
2763 }
Jerry Yu6ba9f1c2022-08-04 17:53:25 +08002764
Jerry Yuf8a49942022-07-07 11:32:32 +00002765 p += extension_data_len;
2766 }
2767
Gilles Peskine449bd832023-01-11 14:50:10 +01002768 MBEDTLS_SSL_PRINT_EXTS(3, MBEDTLS_SSL_HS_NEW_SESSION_TICKET,
2769 handshake->received_extensions);
Jerry Yu6ba9f1c2022-08-04 17:53:25 +08002770
Gilles Peskine449bd832023-01-11 14:50:10 +01002771 return 0;
Jerry Yuf8a49942022-07-07 11:32:32 +00002772}
2773
2774/*
Jerry Yu08aed4d2022-07-20 10:36:12 +08002775 * From RFC8446, page 74
2776 *
Jerry Yuf8a49942022-07-07 11:32:32 +00002777 * struct {
2778 * uint32 ticket_lifetime;
2779 * uint32 ticket_age_add;
2780 * opaque ticket_nonce<0..255>;
2781 * opaque ticket<1..2^16-1>;
2782 * Extension extensions<0..2^16-2>;
2783 * } NewSessionTicket;
2784 *
2785 */
Jerry Yua0446a02022-07-13 11:22:55 +08002786MBEDTLS_CHECK_RETURN_CRITICAL
Gilles Peskine449bd832023-01-11 14:50:10 +01002787static int ssl_tls13_parse_new_session_ticket(mbedtls_ssl_context *ssl,
2788 unsigned char *buf,
2789 unsigned char *end,
2790 unsigned char **ticket_nonce,
2791 size_t *ticket_nonce_len)
Jerry Yuf8a49942022-07-07 11:32:32 +00002792{
2793 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
2794 unsigned char *p = buf;
2795 mbedtls_ssl_session *session = ssl->session;
Jerry Yuf8a49942022-07-07 11:32:32 +00002796 size_t ticket_len;
2797 unsigned char *ticket;
2798 size_t extensions_len;
Jerry Yuf8a49942022-07-07 11:32:32 +00002799
Jerry Yucb3b1392022-07-12 06:09:38 +00002800 *ticket_nonce = NULL;
2801 *ticket_nonce_len = 0;
Jerry Yuf8a49942022-07-07 11:32:32 +00002802 /*
2803 * ticket_lifetime 4 bytes
2804 * ticket_age_add 4 bytes
Jerry Yu08aed4d2022-07-20 10:36:12 +08002805 * ticket_nonce_len 1 byte
Jerry Yuf8a49942022-07-07 11:32:32 +00002806 */
Gilles Peskine449bd832023-01-11 14:50:10 +01002807 MBEDTLS_SSL_CHK_BUF_READ_PTR(p, end, 9);
Jerry Yuf8a49942022-07-07 11:32:32 +00002808
Gilles Peskine449bd832023-01-11 14:50:10 +01002809 session->ticket_lifetime = MBEDTLS_GET_UINT32_BE(p, 0);
2810 MBEDTLS_SSL_DEBUG_MSG(3,
2811 ("ticket_lifetime: %u",
2812 (unsigned int) session->ticket_lifetime));
Jerry Yu8e0174a2023-11-10 13:58:16 +08002813 if (session->ticket_lifetime >
2814 MBEDTLS_SSL_TLS1_3_MAX_ALLOWED_TICKET_LIFETIME) {
Jerry Yu46c79262023-11-10 13:58:16 +08002815 MBEDTLS_SSL_DEBUG_MSG(3, ("ticket_lifetime exceeds 7 days."));
Jerry Yucf913512023-11-14 11:06:52 +08002816 return MBEDTLS_ERR_SSL_ILLEGAL_PARAMETER;
Jerry Yu46c79262023-11-10 13:58:16 +08002817 }
Jerry Yuf8a49942022-07-07 11:32:32 +00002818
Gilles Peskine449bd832023-01-11 14:50:10 +01002819 session->ticket_age_add = MBEDTLS_GET_UINT32_BE(p, 4);
2820 MBEDTLS_SSL_DEBUG_MSG(3,
2821 ("ticket_age_add: %u",
2822 (unsigned int) session->ticket_age_add));
Jerry Yuf8a49942022-07-07 11:32:32 +00002823
Jerry Yucb3b1392022-07-12 06:09:38 +00002824 *ticket_nonce_len = p[8];
2825 p += 9;
2826
Gilles Peskine449bd832023-01-11 14:50:10 +01002827 MBEDTLS_SSL_CHK_BUF_READ_PTR(p, end, *ticket_nonce_len);
Jerry Yucb3b1392022-07-12 06:09:38 +00002828 *ticket_nonce = p;
Gilles Peskine449bd832023-01-11 14:50:10 +01002829 MBEDTLS_SSL_DEBUG_BUF(3, "ticket_nonce:", *ticket_nonce, *ticket_nonce_len);
Jerry Yucb3b1392022-07-12 06:09:38 +00002830 p += *ticket_nonce_len;
Jerry Yuf8a49942022-07-07 11:32:32 +00002831
2832 /* Ticket */
Gilles Peskine449bd832023-01-11 14:50:10 +01002833 MBEDTLS_SSL_CHK_BUF_READ_PTR(p, end, 2);
2834 ticket_len = MBEDTLS_GET_UINT16_BE(p, 0);
Jerry Yuf8a49942022-07-07 11:32:32 +00002835 p += 2;
Gilles Peskine449bd832023-01-11 14:50:10 +01002836 MBEDTLS_SSL_CHK_BUF_READ_PTR(p, end, ticket_len);
2837 MBEDTLS_SSL_DEBUG_BUF(3, "received ticket", p, ticket_len);
Jerry Yuf8a49942022-07-07 11:32:32 +00002838
2839 /* Check if we previously received a ticket already. */
Gilles Peskine449bd832023-01-11 14:50:10 +01002840 if (session->ticket != NULL || session->ticket_len > 0) {
2841 mbedtls_free(session->ticket);
Jerry Yuf8a49942022-07-07 11:32:32 +00002842 session->ticket = NULL;
2843 session->ticket_len = 0;
2844 }
2845
Gilles Peskine449bd832023-01-11 14:50:10 +01002846 if ((ticket = mbedtls_calloc(1, ticket_len)) == NULL) {
2847 MBEDTLS_SSL_DEBUG_MSG(1, ("ticket alloc failed"));
2848 return MBEDTLS_ERR_SSL_ALLOC_FAILED;
Jerry Yuf8a49942022-07-07 11:32:32 +00002849 }
Gilles Peskine449bd832023-01-11 14:50:10 +01002850 memcpy(ticket, p, ticket_len);
Jerry Yuf8a49942022-07-07 11:32:32 +00002851 p += ticket_len;
2852 session->ticket = ticket;
2853 session->ticket_len = ticket_len;
Jerry Yuf8a49942022-07-07 11:32:32 +00002854
Pengyu Lv9f926952022-11-17 15:22:33 +08002855 /* Clear all flags in ticket_flags */
Pengyu Lv94a42cc2023-12-06 10:04:17 +08002856 mbedtls_ssl_tls13_session_clear_ticket_flags(
Pengyu Lv9eacb442022-12-09 14:39:19 +08002857 session, MBEDTLS_SSL_TLS1_3_TICKET_FLAGS_MASK);
Pengyu Lv9f926952022-11-17 15:22:33 +08002858
Gilles Peskine449bd832023-01-11 14:50:10 +01002859 MBEDTLS_SSL_CHK_BUF_READ_PTR(p, end, 2);
2860 extensions_len = MBEDTLS_GET_UINT16_BE(p, 0);
Jerry Yuf8a49942022-07-07 11:32:32 +00002861 p += 2;
Gilles Peskine449bd832023-01-11 14:50:10 +01002862 MBEDTLS_SSL_CHK_BUF_READ_PTR(p, end, extensions_len);
Jerry Yuf8a49942022-07-07 11:32:32 +00002863
Gilles Peskine449bd832023-01-11 14:50:10 +01002864 MBEDTLS_SSL_DEBUG_BUF(3, "ticket extension", p, extensions_len);
Jerry Yuf8a49942022-07-07 11:32:32 +00002865
Gilles Peskine449bd832023-01-11 14:50:10 +01002866 ret = ssl_tls13_parse_new_session_ticket_exts(ssl, p, p + extensions_len);
2867 if (ret != 0) {
2868 MBEDTLS_SSL_DEBUG_RET(1,
2869 "ssl_tls13_parse_new_session_ticket_exts",
2870 ret);
2871 return ret;
Jerry Yuf8a49942022-07-07 11:32:32 +00002872 }
Jerry Yucb3b1392022-07-12 06:09:38 +00002873
Jerry Yudb8c5fa2022-08-03 12:10:13 +08002874 /* session has been updated, allow export */
2875 session->exported = 0;
2876
Gilles Peskine449bd832023-01-11 14:50:10 +01002877 return 0;
Jerry Yucb3b1392022-07-12 06:09:38 +00002878}
2879
Jerry Yua0446a02022-07-13 11:22:55 +08002880MBEDTLS_CHECK_RETURN_CRITICAL
Gilles Peskine449bd832023-01-11 14:50:10 +01002881static int ssl_tls13_postprocess_new_session_ticket(mbedtls_ssl_context *ssl,
2882 unsigned char *ticket_nonce,
2883 size_t ticket_nonce_len)
Jerry Yucb3b1392022-07-12 06:09:38 +00002884{
2885 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
2886 mbedtls_ssl_session *session = ssl->session;
2887 const mbedtls_ssl_ciphersuite_t *ciphersuite_info;
2888 psa_algorithm_t psa_hash_alg;
2889 int hash_length;
2890
Jerry Yu4e6c42a2022-07-13 11:16:51 +08002891#if defined(MBEDTLS_HAVE_TIME)
2892 /* Store ticket creation time */
Jerry Yu342a5552023-11-10 14:23:39 +08002893 session->ticket_reception_time = mbedtls_ms_time();
Jerry Yu4e6c42a2022-07-13 11:16:51 +08002894#endif
2895
Gilles Peskine449bd832023-01-11 14:50:10 +01002896 ciphersuite_info = mbedtls_ssl_ciphersuite_from_id(session->ciphersuite);
2897 if (ciphersuite_info == NULL) {
2898 MBEDTLS_SSL_DEBUG_MSG(1, ("should never happen"));
2899 return MBEDTLS_ERR_SSL_INTERNAL_ERROR;
Jerry Yuf8a49942022-07-07 11:32:32 +00002900 }
2901
Dave Rodgman2eab4622023-10-05 13:30:37 +01002902 psa_hash_alg = mbedtls_md_psa_alg_from_type((mbedtls_md_type_t) ciphersuite_info->mac);
Gilles Peskine449bd832023-01-11 14:50:10 +01002903 hash_length = PSA_HASH_LENGTH(psa_hash_alg);
2904 if (hash_length == -1 ||
2905 (size_t) hash_length > sizeof(session->resumption_key)) {
2906 return MBEDTLS_ERR_SSL_INTERNAL_ERROR;
Jerry Yu3afdf362022-07-20 17:34:14 +08002907 }
2908
Jerry Yuf8a49942022-07-07 11:32:32 +00002909
Gilles Peskine449bd832023-01-11 14:50:10 +01002910 MBEDTLS_SSL_DEBUG_BUF(3, "resumption_master_secret",
2911 session->app_secrets.resumption_master_secret,
2912 hash_length);
Jerry Yuf8a49942022-07-07 11:32:32 +00002913
Jerry Yu4e6c42a2022-07-13 11:16:51 +08002914 /* Compute resumption key
Jerry Yuf8a49942022-07-07 11:32:32 +00002915 *
2916 * HKDF-Expand-Label( resumption_master_secret,
2917 * "resumption", ticket_nonce, Hash.length )
2918 */
2919 ret = mbedtls_ssl_tls13_hkdf_expand_label(
Gilles Peskine449bd832023-01-11 14:50:10 +01002920 psa_hash_alg,
2921 session->app_secrets.resumption_master_secret,
2922 hash_length,
2923 MBEDTLS_SSL_TLS1_3_LBL_WITH_LEN(resumption),
2924 ticket_nonce,
2925 ticket_nonce_len,
2926 session->resumption_key,
2927 hash_length);
Jerry Yuf8a49942022-07-07 11:32:32 +00002928
Gilles Peskine449bd832023-01-11 14:50:10 +01002929 if (ret != 0) {
2930 MBEDTLS_SSL_DEBUG_RET(2,
2931 "Creating the ticket-resumed PSK failed",
2932 ret);
2933 return ret;
Jerry Yuf8a49942022-07-07 11:32:32 +00002934 }
2935
Jerry Yu0a430c82022-07-20 11:02:48 +08002936 session->resumption_key_len = hash_length;
Jerry Yuf8a49942022-07-07 11:32:32 +00002937
Gilles Peskine449bd832023-01-11 14:50:10 +01002938 MBEDTLS_SSL_DEBUG_BUF(3, "Ticket-resumed PSK",
2939 session->resumption_key,
2940 session->resumption_key_len);
Jerry Yuf8a49942022-07-07 11:32:32 +00002941
Pengyu Lv9f926952022-11-17 15:22:33 +08002942 /* Set ticket_flags depends on the selected key exchange modes */
Pengyu Lv94a42cc2023-12-06 10:04:17 +08002943 mbedtls_ssl_tls13_session_set_ticket_flags(
Pengyu Lv9eacb442022-12-09 14:39:19 +08002944 session, ssl->conf->tls13_kex_modes);
Pengyu Lv4938a562023-01-16 11:28:49 +08002945 MBEDTLS_SSL_PRINT_TICKET_FLAGS(4, session->ticket_flags);
Pengyu Lv9f926952022-11-17 15:22:33 +08002946
Gilles Peskine449bd832023-01-11 14:50:10 +01002947 return 0;
Jerry Yuf8a49942022-07-07 11:32:32 +00002948}
2949
2950/*
Jerry Yua8d3c502022-10-30 14:51:23 +08002951 * Handler for MBEDTLS_SSL_TLS1_3_NEW_SESSION_TICKET
Jerry Yuf8a49942022-07-07 11:32:32 +00002952 */
Jerry Yua0446a02022-07-13 11:22:55 +08002953MBEDTLS_CHECK_RETURN_CRITICAL
Gilles Peskine449bd832023-01-11 14:50:10 +01002954static int ssl_tls13_process_new_session_ticket(mbedtls_ssl_context *ssl)
Jerry Yuf8a49942022-07-07 11:32:32 +00002955{
2956 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
2957 unsigned char *buf;
2958 size_t buf_len;
Jerry Yucb3b1392022-07-12 06:09:38 +00002959 unsigned char *ticket_nonce;
2960 size_t ticket_nonce_len;
Jerry Yuf8a49942022-07-07 11:32:32 +00002961
Gilles Peskine449bd832023-01-11 14:50:10 +01002962 MBEDTLS_SSL_DEBUG_MSG(2, ("=> parse new session ticket"));
Jerry Yuf8a49942022-07-07 11:32:32 +00002963
Gilles Peskine449bd832023-01-11 14:50:10 +01002964 MBEDTLS_SSL_PROC_CHK(mbedtls_ssl_tls13_fetch_handshake_msg(
2965 ssl, MBEDTLS_SSL_HS_NEW_SESSION_TICKET,
2966 &buf, &buf_len));
Jerry Yuf8a49942022-07-07 11:32:32 +00002967
Gilles Peskine449bd832023-01-11 14:50:10 +01002968 MBEDTLS_SSL_PROC_CHK(ssl_tls13_parse_new_session_ticket(
2969 ssl, buf, buf + buf_len,
2970 &ticket_nonce, &ticket_nonce_len));
Jerry Yuf8a49942022-07-07 11:32:32 +00002971
Gilles Peskine449bd832023-01-11 14:50:10 +01002972 MBEDTLS_SSL_PROC_CHK(ssl_tls13_postprocess_new_session_ticket(
2973 ssl, ticket_nonce, ticket_nonce_len));
Jerry Yuf8a49942022-07-07 11:32:32 +00002974
Gilles Peskine449bd832023-01-11 14:50:10 +01002975 mbedtls_ssl_handshake_set_state(ssl, MBEDTLS_SSL_HANDSHAKE_OVER);
Jerry Yu4e6c42a2022-07-13 11:16:51 +08002976
Jerry Yuf8a49942022-07-07 11:32:32 +00002977cleanup:
2978
Gilles Peskine449bd832023-01-11 14:50:10 +01002979 MBEDTLS_SSL_DEBUG_MSG(2, ("<= parse new session ticket"));
2980 return ret;
Jerry Yuf8a49942022-07-07 11:32:32 +00002981}
2982#endif /* MBEDTLS_SSL_SESSION_TICKETS */
2983
Gilles Peskine449bd832023-01-11 14:50:10 +01002984int mbedtls_ssl_tls13_handshake_client_step(mbedtls_ssl_context *ssl)
Jerry Yubc20bdd2021-08-24 15:59:48 +08002985{
Jerry Yu92c6b402021-08-27 16:59:09 +08002986 int ret = 0;
Jerry Yuc8a392c2021-08-18 16:46:28 +08002987
Gilles Peskine449bd832023-01-11 14:50:10 +01002988 switch (ssl->state) {
Jerry Yu92c6b402021-08-27 16:59:09 +08002989 case MBEDTLS_SSL_HELLO_REQUEST:
Gilles Peskine449bd832023-01-11 14:50:10 +01002990 mbedtls_ssl_handshake_set_state(ssl, MBEDTLS_SSL_CLIENT_HELLO);
Jerry Yuddda0502022-12-01 19:43:12 +08002991 break;
2992
Jerry Yu92c6b402021-08-27 16:59:09 +08002993 case MBEDTLS_SSL_CLIENT_HELLO:
Gilles Peskine449bd832023-01-11 14:50:10 +01002994 ret = mbedtls_ssl_write_client_hello(ssl);
Jerry Yu92c6b402021-08-27 16:59:09 +08002995 break;
2996
2997 case MBEDTLS_SSL_SERVER_HELLO:
Gilles Peskine449bd832023-01-11 14:50:10 +01002998 ret = ssl_tls13_process_server_hello(ssl);
Jerry Yu687101b2021-09-14 16:03:56 +08002999 break;
3000
3001 case MBEDTLS_SSL_ENCRYPTED_EXTENSIONS:
Gilles Peskine449bd832023-01-11 14:50:10 +01003002 ret = ssl_tls13_process_encrypted_extensions(ssl);
Jerry Yu687101b2021-09-14 16:03:56 +08003003 break;
3004
Ronald Cron928cbd32022-10-04 16:14:26 +02003005#if defined(MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_EPHEMERAL_ENABLED)
Jerry Yud2674312021-10-29 10:08:19 +08003006 case MBEDTLS_SSL_CERTIFICATE_REQUEST:
Gilles Peskine449bd832023-01-11 14:50:10 +01003007 ret = ssl_tls13_process_certificate_request(ssl);
Jerry Yud2674312021-10-29 10:08:19 +08003008 break;
3009
Jerry Yu687101b2021-09-14 16:03:56 +08003010 case MBEDTLS_SSL_SERVER_CERTIFICATE:
Gilles Peskine449bd832023-01-11 14:50:10 +01003011 ret = ssl_tls13_process_server_certificate(ssl);
Jerry Yu687101b2021-09-14 16:03:56 +08003012 break;
3013
3014 case MBEDTLS_SSL_CERTIFICATE_VERIFY:
Gilles Peskine449bd832023-01-11 14:50:10 +01003015 ret = ssl_tls13_process_certificate_verify(ssl);
Jerry Yu687101b2021-09-14 16:03:56 +08003016 break;
Ronald Cron928cbd32022-10-04 16:14:26 +02003017#endif /* MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_EPHEMERAL_ENABLED */
Jerry Yu687101b2021-09-14 16:03:56 +08003018
3019 case MBEDTLS_SSL_SERVER_FINISHED:
Gilles Peskine449bd832023-01-11 14:50:10 +01003020 ret = ssl_tls13_process_server_finished(ssl);
Jerry Yu687101b2021-09-14 16:03:56 +08003021 break;
3022
Xiaokang Qian125afcb2022-10-28 06:04:06 +00003023 case MBEDTLS_SSL_END_OF_EARLY_DATA:
3024 ret = ssl_tls13_write_end_of_early_data(ssl);
3025 break;
3026
Jerry Yu566c7812022-01-26 15:41:22 +08003027 case MBEDTLS_SSL_CLIENT_CERTIFICATE:
Gilles Peskine449bd832023-01-11 14:50:10 +01003028 ret = ssl_tls13_write_client_certificate(ssl);
Jerry Yu566c7812022-01-26 15:41:22 +08003029 break;
3030
Ronald Cron928cbd32022-10-04 16:14:26 +02003031#if defined(MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_EPHEMERAL_ENABLED)
Jerry Yu566c7812022-01-26 15:41:22 +08003032 case MBEDTLS_SSL_CLIENT_CERTIFICATE_VERIFY:
Gilles Peskine449bd832023-01-11 14:50:10 +01003033 ret = ssl_tls13_write_client_certificate_verify(ssl);
Jerry Yu566c7812022-01-26 15:41:22 +08003034 break;
Ronald Cron928cbd32022-10-04 16:14:26 +02003035#endif /* MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_EPHEMERAL_ENABLED */
Jerry Yu566c7812022-01-26 15:41:22 +08003036
Jerry Yu687101b2021-09-14 16:03:56 +08003037 case MBEDTLS_SSL_CLIENT_FINISHED:
Gilles Peskine449bd832023-01-11 14:50:10 +01003038 ret = ssl_tls13_write_client_finished(ssl);
Jerry Yu687101b2021-09-14 16:03:56 +08003039 break;
3040
3041 case MBEDTLS_SSL_FLUSH_BUFFERS:
Gilles Peskine449bd832023-01-11 14:50:10 +01003042 ret = ssl_tls13_flush_buffers(ssl);
Jerry Yu687101b2021-09-14 16:03:56 +08003043 break;
3044
3045 case MBEDTLS_SSL_HANDSHAKE_WRAPUP:
Gilles Peskine449bd832023-01-11 14:50:10 +01003046 ret = ssl_tls13_handshake_wrapup(ssl);
Jerry Yu92c6b402021-08-27 16:59:09 +08003047 break;
3048
Gilles Peskine449bd832023-01-11 14:50:10 +01003049 /*
3050 * Injection of dummy-CCS's for middlebox compatibility
3051 */
Ronald Cron49ad6192021-11-24 16:25:31 +01003052#if defined(MBEDTLS_SSL_TLS1_3_COMPATIBILITY_MODE)
XiaokangQian0b56a8f2021-12-22 02:39:32 +00003053 case MBEDTLS_SSL_CLIENT_CCS_BEFORE_2ND_CLIENT_HELLO:
Gilles Peskine449bd832023-01-11 14:50:10 +01003054 ret = mbedtls_ssl_tls13_write_change_cipher_spec(ssl);
3055 if (ret == 0) {
3056 mbedtls_ssl_handshake_set_state(ssl, MBEDTLS_SSL_CLIENT_HELLO);
3057 }
Ronald Cron9f55f632022-02-02 16:02:47 +01003058 break;
3059
3060 case MBEDTLS_SSL_CLIENT_CCS_AFTER_SERVER_FINISHED:
Gilles Peskine449bd832023-01-11 14:50:10 +01003061 ret = mbedtls_ssl_tls13_write_change_cipher_spec(ssl);
3062 if (ret == 0) {
Xiaokang Qian958b6ff2023-03-29 10:37:35 +00003063 mbedtls_ssl_handshake_set_state(
3064 ssl, MBEDTLS_SSL_CLIENT_CERTIFICATE);
Gilles Peskine449bd832023-01-11 14:50:10 +01003065 }
Ronald Cron49ad6192021-11-24 16:25:31 +01003066 break;
Xiaokang Qianf6d8fd32023-02-02 02:46:26 +00003067
Xiaokang Qian592021a2023-01-04 10:47:05 +00003068 case MBEDTLS_SSL_CLIENT_CCS_AFTER_CLIENT_HELLO:
3069 ret = mbedtls_ssl_tls13_write_change_cipher_spec(ssl);
3070 if (ret == 0) {
3071 mbedtls_ssl_handshake_set_state(ssl, MBEDTLS_SSL_SERVER_HELLO);
3072
Xiaokang Qian33ff8682023-01-10 06:32:12 +00003073#if defined(MBEDTLS_SSL_EARLY_DATA)
Xiaokang Qian592021a2023-01-04 10:47:05 +00003074 MBEDTLS_SSL_DEBUG_MSG(
3075 1, ("Switch to early data keys for outbound traffic"));
3076 mbedtls_ssl_set_outbound_transform(
3077 ssl, ssl->handshake->transform_earlydata);
Xiaokang Qian33ff8682023-01-10 06:32:12 +00003078#endif
Xiaokang Qian592021a2023-01-04 10:47:05 +00003079 }
3080 break;
Ronald Cron49ad6192021-11-24 16:25:31 +01003081#endif /* MBEDTLS_SSL_TLS1_3_COMPATIBILITY_MODE */
3082
Jerry Yuf8a49942022-07-07 11:32:32 +00003083#if defined(MBEDTLS_SSL_SESSION_TICKETS)
Jerry Yua8d3c502022-10-30 14:51:23 +08003084 case MBEDTLS_SSL_TLS1_3_NEW_SESSION_TICKET:
Gilles Peskine449bd832023-01-11 14:50:10 +01003085 ret = ssl_tls13_process_new_session_ticket(ssl);
3086 if (ret != 0) {
Jerry Yuf8a49942022-07-07 11:32:32 +00003087 break;
Gilles Peskine449bd832023-01-11 14:50:10 +01003088 }
Jerry Yuf8a49942022-07-07 11:32:32 +00003089 ret = MBEDTLS_ERR_SSL_RECEIVED_NEW_SESSION_TICKET;
3090 break;
3091#endif /* MBEDTLS_SSL_SESSION_TICKETS */
3092
Jerry Yu92c6b402021-08-27 16:59:09 +08003093 default:
Gilles Peskine449bd832023-01-11 14:50:10 +01003094 MBEDTLS_SSL_DEBUG_MSG(1, ("invalid state %d", ssl->state));
3095 return MBEDTLS_ERR_SSL_BAD_INPUT_DATA;
Jerry Yu92c6b402021-08-27 16:59:09 +08003096 }
3097
Gilles Peskine449bd832023-01-11 14:50:10 +01003098 return ret;
Jerry Yu92c6b402021-08-27 16:59:09 +08003099}
Jerry Yu65dd2cc2021-08-18 16:38:40 +08003100
Jerry Yufb4b6472022-01-27 15:03:26 +08003101#endif /* MBEDTLS_SSL_CLI_C && MBEDTLS_SSL_PROTO_TLS1_3 */