blob: ae1136431ee35a674a20072e06d5c182b4278e24 [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 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100624 if (!mbedtls_ssl_conf_tls13_some_psk_enabled(ssl)) {
625 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
Gilles Peskine449bd832023-01-11 14:50:10 +0100643 if (mbedtls_ssl_conf_tls13_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
Gilles Peskine449bd832023-01-11 14:50:10 +0100650 if (mbedtls_ssl_conf_tls13_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 Lv9b84ea72023-01-16 14:08:23 +0800687 mbedtls_ssl_conf_tls13_check_kex_modes(
688 ssl, mbedtls_ssl_session_get_ticket_flags(
689 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 &&
Jerry Yuc2b1bc42023-11-22 10:08:13 +0800698 mbedtls_ssl_session_ticket_allow_early_data(session) &&
699 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
Ronald Cron766c0cd2022-10-18 12:17:11 +02001163#if defined(MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_SOME_EPHEMERAL_ENABLED)
Gilles Peskine449bd832023-01-11 14:50:10 +01001164 if (mbedtls_ssl_conf_tls13_some_ephemeral_enabled(ssl)) {
1165 ret = ssl_tls13_write_key_share_ext(ssl, p, end, &ext_len);
1166 if (ret != 0) {
1167 return ret;
1168 }
Ronald Cron04fbd2b2022-02-18 12:06:07 +01001169 p += ext_len;
1170 }
Ronald Cron766c0cd2022-10-18 12:17:11 +02001171#endif
Ronald Cron04fbd2b2022-02-18 12:06:07 +01001172
Xiaokang Qian0e97d4d2022-10-24 11:12:51 +00001173#if defined(MBEDTLS_SSL_EARLY_DATA)
Gilles Peskine449bd832023-01-11 14:50:10 +01001174 if (mbedtls_ssl_conf_tls13_some_psk_enabled(ssl) &&
1175 ssl_tls13_early_data_has_valid_ticket(ssl) &&
1176 ssl->conf->early_data_enabled == MBEDTLS_SSL_EARLY_DATA_ENABLED) {
Jerry Yu52335392023-11-23 18:06:06 +08001177
1178 ret = mbedtls_ssl_tls13_write_early_data_ext(
Jerry Yuc59c5862023-12-05 10:40:49 +08001179 ssl, 0, p, end, &ext_len);
Gilles Peskine449bd832023-01-11 14:50:10 +01001180 if (ret != 0) {
1181 return ret;
1182 }
Xiaokang Qian0e97d4d2022-10-24 11:12:51 +00001183 p += ext_len;
1184
Ronald Cron4a8c9e22022-10-26 18:49:09 +02001185 /* Initializes the status to `rejected`. It will be updated to
1186 * `accepted` if the EncryptedExtension message contain an early data
1187 * indication extension.
Xiaokang Qiana042b842022-11-09 01:59:33 +00001188 */
Ronald Cron4a8c9e22022-10-26 18:49:09 +02001189 ssl->early_data_status = MBEDTLS_SSL_EARLY_DATA_STATUS_REJECTED;
Gilles Peskine449bd832023-01-11 14:50:10 +01001190 } else {
1191 MBEDTLS_SSL_DEBUG_MSG(2, ("<= skip write early_data extension"));
Xiaokang Qianf447e8a2022-11-08 07:02:27 +00001192 ssl->early_data_status = MBEDTLS_SSL_EARLY_DATA_STATUS_NOT_SENT;
Xiaokang Qian0e97d4d2022-10-24 11:12:51 +00001193 }
1194#endif /* MBEDTLS_SSL_EARLY_DATA */
1195
Ronald Cron41a443a2022-10-04 16:38:25 +02001196#if defined(MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_SOME_PSK_ENABLED)
XiaokangQianeb69aee2022-07-05 08:21:43 +00001197 /* For PSK-based key exchange we need the pre_shared_key extension
1198 * and the psk_key_exchange_modes extension.
1199 *
1200 * The pre_shared_key extension MUST be the last extension in the
1201 * ClientHello. Servers MUST check that it is the last extension and
1202 * otherwise fail the handshake with an "illegal_parameter" alert.
1203 *
1204 * Add the psk_key_exchange_modes extension.
1205 */
Gilles Peskine449bd832023-01-11 14:50:10 +01001206 ret = ssl_tls13_write_psk_key_exchange_modes_ext(ssl, p, end, &ext_len);
1207 if (ret != 0) {
1208 return ret;
1209 }
XiaokangQianeb69aee2022-07-05 08:21:43 +00001210 p += ext_len;
Ronald Cron41a443a2022-10-04 16:38:25 +02001211#endif
XiaokangQianeb69aee2022-07-05 08:21:43 +00001212
Ronald Cron04fbd2b2022-02-18 12:06:07 +01001213 *out_len = p - buf;
1214
Gilles Peskine449bd832023-01-11 14:50:10 +01001215 return 0;
Ronald Cron04fbd2b2022-02-18 12:06:07 +01001216}
1217
Xiaokang Qian934ce6f2023-02-06 10:23:04 +00001218int mbedtls_ssl_tls13_finalize_client_hello(mbedtls_ssl_context *ssl)
Xiaokang Qian126929f2023-01-03 10:29:41 +00001219{
Xiaokang Qian90746132023-01-06 05:54:59 +00001220 ((void) ssl);
Xiaokang Qian79f77522023-01-28 10:35:29 +00001221
Xiaokang Qian126929f2023-01-03 10:29:41 +00001222#if defined(MBEDTLS_SSL_EARLY_DATA)
1223 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
1224 psa_algorithm_t hash_alg = PSA_ALG_NONE;
1225 const unsigned char *psk;
1226 size_t psk_len;
1227 const mbedtls_ssl_ciphersuite_t *ciphersuite_info;
Xiaokang Qian592021a2023-01-04 10:47:05 +00001228
Xiaokang Qian126929f2023-01-03 10:29:41 +00001229 if (ssl->early_data_status == MBEDTLS_SSL_EARLY_DATA_STATUS_REJECTED) {
Xiaokang Qian6be82902023-02-03 06:04:43 +00001230#if defined(MBEDTLS_SSL_TLS1_3_COMPATIBILITY_MODE)
1231 mbedtls_ssl_handshake_set_state(
1232 ssl, MBEDTLS_SSL_CLIENT_CCS_AFTER_CLIENT_HELLO);
1233#endif
Xiaokang Qian126929f2023-01-03 10:29:41 +00001234 MBEDTLS_SSL_DEBUG_MSG(
1235 1, ("Set hs psk for early data when writing the first psk"));
1236
1237 ret = ssl_tls13_ticket_get_psk(ssl, &hash_alg, &psk, &psk_len);
1238 if (ret != 0) {
1239 MBEDTLS_SSL_DEBUG_RET(
1240 1, "ssl_tls13_ticket_get_psk", ret);
1241 return ret;
1242 }
1243
1244 ret = mbedtls_ssl_set_hs_psk(ssl, psk, psk_len);
1245 if (ret != 0) {
1246 MBEDTLS_SSL_DEBUG_RET(1, "mbedtls_ssl_set_hs_psk", ret);
1247 return ret;
1248 }
1249
Xiaokang Qian64bc9bc2023-02-07 02:32:23 +00001250 /*
1251 * Early data are going to be encrypted using the ciphersuite
1252 * associated with the pre-shared key used for the handshake.
1253 * Note that if the server rejects early data, the handshake
1254 * based on the pre-shared key may complete successfully
1255 * with a selected ciphersuite different from the ciphersuite
1256 * associated with the pre-shared key. Only the hashes of the
1257 * two ciphersuites have to be the same. In that case, the
1258 * encrypted handshake data and application data are
1259 * encrypted using a different ciphersuite than the one used for
1260 * the rejected early data.
1261 */
Xiaokang Qian126929f2023-01-03 10:29:41 +00001262 ciphersuite_info = mbedtls_ssl_ciphersuite_from_id(
1263 ssl->session_negotiate->ciphersuite);
1264 ssl->handshake->ciphersuite_info = ciphersuite_info;
Xiaokang Qian8dc4ce72023-02-07 10:49:50 +00001265
Tom Cosgrove5c8505f2023-03-07 11:39:52 +00001266 /* Enable psk and psk_ephemeral to make stage early happy */
Xiaokang Qian126929f2023-01-03 10:29:41 +00001267 ssl->handshake->key_exchange_mode =
1268 MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_PSK_ALL;
1269
1270 /* Start the TLS 1.3 key schedule:
Xiaokang Qian8dc4ce72023-02-07 10:49:50 +00001271 * Set the PSK and derive early secret.
Xiaokang Qian126929f2023-01-03 10:29:41 +00001272 */
1273 ret = mbedtls_ssl_tls13_key_schedule_stage_early(ssl);
1274 if (ret != 0) {
Xiaokang Qian0de0d862023-02-08 06:04:50 +00001275 MBEDTLS_SSL_DEBUG_RET(
1276 1, "mbedtls_ssl_tls13_key_schedule_stage_early", ret);
Xiaokang Qian126929f2023-01-03 10:29:41 +00001277 return ret;
1278 }
1279
1280 /* Derive early data key material */
1281 ret = mbedtls_ssl_tls13_compute_early_transform(ssl);
1282 if (ret != 0) {
Xiaokang Qian0de0d862023-02-08 06:04:50 +00001283 MBEDTLS_SSL_DEBUG_RET(
1284 1, "mbedtls_ssl_tls13_compute_early_transform", ret);
Xiaokang Qian126929f2023-01-03 10:29:41 +00001285 return ret;
1286 }
1287
Xiaokang Qian126929f2023-01-03 10:29:41 +00001288 }
1289#endif /* MBEDTLS_SSL_EARLY_DATA */
1290 return 0;
1291}
Jerry Yu1bc2c1f2021-09-01 12:57:29 +08001292/*
Jerry Yu4a173382021-10-11 21:45:31 +08001293 * Functions for parsing and processing Server Hello
Jerry Yue1b9c292021-09-10 10:08:31 +08001294 */
Ronald Cronfd6193c2022-04-05 11:04:20 +02001295
Ronald Cronda41b382022-03-30 09:57:11 +02001296/**
1297 * \brief Detect if the ServerHello contains a supported_versions extension
1298 * or not.
1299 *
1300 * \param[in] ssl SSL context
1301 * \param[in] buf Buffer containing the ServerHello message
1302 * \param[in] end End of the buffer containing the ServerHello message
1303 *
1304 * \return 0 if the ServerHello does not contain a supported_versions extension
1305 * \return 1 if the ServerHello contains a supported_versions extension
1306 * \return A negative value if an error occurred while parsing the ServerHello.
1307 */
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +02001308MBEDTLS_CHECK_RETURN_CRITICAL
Ronald Cron9f0fba32022-02-10 16:45:15 +01001309static int ssl_tls13_is_supported_versions_ext_present(
1310 mbedtls_ssl_context *ssl,
1311 const unsigned char *buf,
Gilles Peskine449bd832023-01-11 14:50:10 +01001312 const unsigned char *end)
Ronald Cron9f0fba32022-02-10 16:45:15 +01001313{
1314 const unsigned char *p = buf;
1315 size_t legacy_session_id_echo_len;
Ronald Croneff56732023-04-03 17:36:31 +02001316 const unsigned char *supported_versions_data;
1317 const unsigned char *supported_versions_data_end;
Ronald Cron9f0fba32022-02-10 16:45:15 +01001318
1319 /*
1320 * Check there is enough data to access the legacy_session_id_echo vector
Ronald Cronda41b382022-03-30 09:57:11 +02001321 * length:
1322 * - legacy_version 2 bytes
1323 * - random MBEDTLS_SERVER_HELLO_RANDOM_LEN bytes
1324 * - legacy_session_id_echo length 1 byte
Ronald Cron9f0fba32022-02-10 16:45:15 +01001325 */
Gilles Peskine449bd832023-01-11 14:50:10 +01001326 MBEDTLS_SSL_CHK_BUF_READ_PTR(p, end, MBEDTLS_SERVER_HELLO_RANDOM_LEN + 3);
Ronald Cron9f0fba32022-02-10 16:45:15 +01001327 p += MBEDTLS_SERVER_HELLO_RANDOM_LEN + 2;
1328 legacy_session_id_echo_len = *p;
1329
1330 /*
1331 * Jump to the extensions, jumping over:
1332 * - legacy_session_id_echo (legacy_session_id_echo_len + 1) bytes
1333 * - cipher_suite 2 bytes
1334 * - legacy_compression_method 1 byte
1335 */
Gilles Peskine449bd832023-01-11 14:50:10 +01001336 MBEDTLS_SSL_CHK_BUF_READ_PTR(p, end, legacy_session_id_echo_len + 4);
1337 p += legacy_session_id_echo_len + 4;
Ronald Cron9f0fba32022-02-10 16:45:15 +01001338
Ronald Cron47dce632023-02-08 17:38:29 +01001339 return mbedtls_ssl_tls13_is_supported_versions_ext_present_in_exts(
1340 ssl, p, end,
Ronald Croneff56732023-04-03 17:36:31 +02001341 &supported_versions_data, &supported_versions_data_end);
Ronald Cron9f0fba32022-02-10 16:45:15 +01001342}
1343
Jerry Yu7a186a02021-10-15 18:46:14 +08001344/* Returns a negative value on failure, and otherwise
Ronald Cronfd6193c2022-04-05 11:04:20 +02001345 * - 1 if the last eight bytes of the ServerHello random bytes indicate that
1346 * the server is TLS 1.3 capable but negotiating TLS 1.2 or below.
1347 * - 0 otherwise
1348 */
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +02001349MBEDTLS_CHECK_RETURN_CRITICAL
Gilles Peskine449bd832023-01-11 14:50:10 +01001350static int ssl_tls13_is_downgrade_negotiation(mbedtls_ssl_context *ssl,
1351 const unsigned char *buf,
1352 const unsigned char *end)
Ronald Cronfd6193c2022-04-05 11:04:20 +02001353{
1354 /* First seven bytes of the magic downgrade strings, see RFC 8446 4.1.3 */
1355 static const unsigned char magic_downgrade_string[] =
Gilles Peskine449bd832023-01-11 14:50:10 +01001356 { 0x44, 0x4F, 0x57, 0x4E, 0x47, 0x52, 0x44 };
Ronald Cronfd6193c2022-04-05 11:04:20 +02001357 const unsigned char *last_eight_bytes_of_random;
1358 unsigned char last_byte_of_random;
1359
Gilles Peskine449bd832023-01-11 14:50:10 +01001360 MBEDTLS_SSL_CHK_BUF_READ_PTR(buf, end, MBEDTLS_SERVER_HELLO_RANDOM_LEN + 2);
Ronald Cronfd6193c2022-04-05 11:04:20 +02001361 last_eight_bytes_of_random = buf + 2 + MBEDTLS_SERVER_HELLO_RANDOM_LEN - 8;
1362
Gilles Peskine449bd832023-01-11 14:50:10 +01001363 if (memcmp(last_eight_bytes_of_random,
1364 magic_downgrade_string,
1365 sizeof(magic_downgrade_string)) == 0) {
Ronald Cronfd6193c2022-04-05 11:04:20 +02001366 last_byte_of_random = last_eight_bytes_of_random[7];
Gilles Peskine449bd832023-01-11 14:50:10 +01001367 return last_byte_of_random == 0 ||
1368 last_byte_of_random == 1;
Ronald Cronfd6193c2022-04-05 11:04:20 +02001369 }
1370
Gilles Peskine449bd832023-01-11 14:50:10 +01001371 return 0;
Ronald Cronfd6193c2022-04-05 11:04:20 +02001372}
1373
1374/* Returns a negative value on failure, and otherwise
Ronald Cron828aff62022-05-31 12:04:31 +02001375 * - SSL_SERVER_HELLO or
1376 * - SSL_SERVER_HELLO_HRR
XiaokangQian51eff222021-12-10 10:33:56 +00001377 * to indicate which message is expected and to be parsed next.
1378 */
Ronald Cron828aff62022-05-31 12:04:31 +02001379#define SSL_SERVER_HELLO 0
1380#define SSL_SERVER_HELLO_HRR 1
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +02001381MBEDTLS_CHECK_RETURN_CRITICAL
Gilles Peskine449bd832023-01-11 14:50:10 +01001382static int ssl_server_hello_is_hrr(mbedtls_ssl_context *ssl,
1383 const unsigned char *buf,
1384 const unsigned char *end)
Jerry Yue1b9c292021-09-10 10:08:31 +08001385{
Jerry Yue1b9c292021-09-10 10:08:31 +08001386
1387 /* Check whether this message is a HelloRetryRequest ( HRR ) message.
1388 *
Jerry Yu4a173382021-10-11 21:45:31 +08001389 * Server Hello and HRR are only distinguished by Random set to the
Jerry Yue1b9c292021-09-10 10:08:31 +08001390 * special value of the SHA-256 of "HelloRetryRequest".
1391 *
1392 * struct {
1393 * ProtocolVersion legacy_version = 0x0303;
1394 * Random random;
1395 * opaque legacy_session_id_echo<0..32>;
1396 * CipherSuite cipher_suite;
1397 * uint8 legacy_compression_method = 0;
Jerry Yub85277e2021-10-13 13:36:05 +08001398 * Extension extensions<6..2^16-1>;
Jerry Yue1b9c292021-09-10 10:08:31 +08001399 * } ServerHello;
1400 *
1401 */
Xiaokang Qian958b6ff2023-03-29 10:37:35 +00001402 MBEDTLS_SSL_CHK_BUF_READ_PTR(
1403 buf, end, 2 + sizeof(mbedtls_ssl_tls13_hello_retry_request_magic));
Jerry Yu4a173382021-10-11 21:45:31 +08001404
Gilles Peskine449bd832023-01-11 14:50:10 +01001405 if (memcmp(buf + 2, mbedtls_ssl_tls13_hello_retry_request_magic,
1406 sizeof(mbedtls_ssl_tls13_hello_retry_request_magic)) == 0) {
1407 return SSL_SERVER_HELLO_HRR;
Jerry Yue1b9c292021-09-10 10:08:31 +08001408 }
1409
Gilles Peskine449bd832023-01-11 14:50:10 +01001410 return SSL_SERVER_HELLO;
Jerry Yue1b9c292021-09-10 10:08:31 +08001411}
1412
Ronald Cron828aff62022-05-31 12:04:31 +02001413/*
Jerry Yu745bb612021-10-13 22:01:04 +08001414 * Returns a negative value on failure, and otherwise
Ronald Cron828aff62022-05-31 12:04:31 +02001415 * - SSL_SERVER_HELLO or
1416 * - SSL_SERVER_HELLO_HRR or
1417 * - SSL_SERVER_HELLO_TLS1_2
Jerry Yu745bb612021-10-13 22:01:04 +08001418 */
Ronald Cron828aff62022-05-31 12:04:31 +02001419#define SSL_SERVER_HELLO_TLS1_2 2
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +02001420MBEDTLS_CHECK_RETURN_CRITICAL
Gilles Peskine449bd832023-01-11 14:50:10 +01001421static int ssl_tls13_preprocess_server_hello(mbedtls_ssl_context *ssl,
1422 const unsigned char *buf,
1423 const unsigned char *end)
Jerry Yue1b9c292021-09-10 10:08:31 +08001424{
Jerry Yu4a173382021-10-11 21:45:31 +08001425 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Ronald Cron5afb9042022-05-31 12:11:39 +02001426 mbedtls_ssl_handshake_params *handshake = ssl->handshake;
Jerry Yue1b9c292021-09-10 10:08:31 +08001427
Gilles Peskine449bd832023-01-11 14:50:10 +01001428 MBEDTLS_SSL_PROC_CHK_NEG(ssl_tls13_is_supported_versions_ext_present(
1429 ssl, buf, end));
Jerry Yua66fece2022-07-13 14:30:29 +08001430
Gilles Peskine449bd832023-01-11 14:50:10 +01001431 if (ret == 0) {
Ronald Cronfd6193c2022-04-05 11:04:20 +02001432 MBEDTLS_SSL_PROC_CHK_NEG(
Gilles Peskine449bd832023-01-11 14:50:10 +01001433 ssl_tls13_is_downgrade_negotiation(ssl, buf, end));
Ronald Cronfd6193c2022-04-05 11:04:20 +02001434
1435 /* If the server is negotiating TLS 1.2 or below and:
1436 * . we did not propose TLS 1.2 or
1437 * . the server responded it is TLS 1.3 capable but negotiating a lower
1438 * version of the protocol and thus we are under downgrade attack
1439 * abort the handshake with an "illegal parameter" alert.
Ronald Cron9f0fba32022-02-10 16:45:15 +01001440 */
Gilles Peskine449bd832023-01-11 14:50:10 +01001441 if (handshake->min_tls_version > MBEDTLS_SSL_VERSION_TLS1_2 || ret) {
1442 MBEDTLS_SSL_PEND_FATAL_ALERT(MBEDTLS_SSL_ALERT_MSG_ILLEGAL_PARAMETER,
1443 MBEDTLS_ERR_SSL_ILLEGAL_PARAMETER);
1444 return MBEDTLS_ERR_SSL_ILLEGAL_PARAMETER;
Ronald Cron9f0fba32022-02-10 16:45:15 +01001445 }
1446
Ronald Cronb828c7d2023-04-03 16:37:22 +02001447 /*
1448 * Version 1.2 of the protocol has been negotiated, set the
1449 * ssl->keep_current_message flag for the ServerHello to be kept and
1450 * parsed as a TLS 1.2 ServerHello. We also change ssl->tls_version to
1451 * MBEDTLS_SSL_VERSION_TLS1_2 thus from now on mbedtls_ssl_handshake_step()
1452 * will dispatch to the TLS 1.2 state machine.
1453 */
Ronald Cron9f0fba32022-02-10 16:45:15 +01001454 ssl->keep_current_message = 1;
Glenn Strauss60bfe602022-03-14 19:04:24 -04001455 ssl->tls_version = MBEDTLS_SSL_VERSION_TLS1_2;
Xiaokang Qian958b6ff2023-03-29 10:37:35 +00001456 MBEDTLS_SSL_PROC_CHK(mbedtls_ssl_add_hs_msg_to_checksum(
1457 ssl, MBEDTLS_SSL_HS_SERVER_HELLO,
1458 buf, (size_t) (end - buf)));
Ronald Cron9f0fba32022-02-10 16:45:15 +01001459
Gilles Peskine449bd832023-01-11 14:50:10 +01001460 if (mbedtls_ssl_conf_tls13_some_ephemeral_enabled(ssl)) {
1461 ret = ssl_tls13_reset_key_share(ssl);
1462 if (ret != 0) {
1463 return ret;
1464 }
Ronald Cron9f0fba32022-02-10 16:45:15 +01001465 }
1466
Gilles Peskine449bd832023-01-11 14:50:10 +01001467 return SSL_SERVER_HELLO_TLS1_2;
Ronald Cron9f0fba32022-02-10 16:45:15 +01001468 }
1469
Jerry Yua66fece2022-07-13 14:30:29 +08001470#if defined(MBEDTLS_SSL_SESSION_TICKETS)
1471 ssl->session_negotiate->endpoint = ssl->conf->endpoint;
1472 ssl->session_negotiate->tls_version = ssl->tls_version;
1473#endif /* MBEDTLS_SSL_SESSION_TICKETS */
1474
Jerry Yu50e00e32022-10-31 14:45:01 +08001475 handshake->received_extensions = MBEDTLS_SSL_EXT_MASK_NONE;
Ronald Cron5afb9042022-05-31 12:11:39 +02001476
Gilles Peskine449bd832023-01-11 14:50:10 +01001477 ret = ssl_server_hello_is_hrr(ssl, buf, end);
1478 switch (ret) {
Ronald Cron828aff62022-05-31 12:04:31 +02001479 case SSL_SERVER_HELLO:
Gilles Peskine449bd832023-01-11 14:50:10 +01001480 MBEDTLS_SSL_DEBUG_MSG(2, ("received ServerHello message"));
Jerry Yu745bb612021-10-13 22:01:04 +08001481 break;
Ronald Cron828aff62022-05-31 12:04:31 +02001482 case SSL_SERVER_HELLO_HRR:
Gilles Peskine449bd832023-01-11 14:50:10 +01001483 MBEDTLS_SSL_DEBUG_MSG(2, ("received HelloRetryRequest message"));
Xiaokang Qian958b6ff2023-03-29 10:37:35 +00001484 /* If a client receives a second HelloRetryRequest in the same
1485 * connection (i.e., where the ClientHello was itself in response
1486 * to a HelloRetryRequest), it MUST abort the handshake with an
1487 * "unexpected_message" alert.
Gilles Peskine449bd832023-01-11 14:50:10 +01001488 */
1489 if (handshake->hello_retry_request_count > 0) {
1490 MBEDTLS_SSL_DEBUG_MSG(1, ("Multiple HRRs received"));
Xiaokang Qian958b6ff2023-03-29 10:37:35 +00001491 MBEDTLS_SSL_PEND_FATAL_ALERT(
1492 MBEDTLS_SSL_ALERT_MSG_UNEXPECTED_MESSAGE,
1493 MBEDTLS_ERR_SSL_UNEXPECTED_MESSAGE);
Gilles Peskine449bd832023-01-11 14:50:10 +01001494 return MBEDTLS_ERR_SSL_UNEXPECTED_MESSAGE;
XiaokangQian16acd4b2022-01-14 07:35:47 +00001495 }
XiaokangQian2b01dc32022-01-21 02:53:13 +00001496 /*
1497 * Clients must abort the handshake with an "illegal_parameter"
1498 * alert if the HelloRetryRequest would not result in any change
1499 * in the ClientHello.
1500 * In a PSK only key exchange that what we expect.
1501 */
Gilles Peskine449bd832023-01-11 14:50:10 +01001502 if (!mbedtls_ssl_conf_tls13_some_ephemeral_enabled(ssl)) {
1503 MBEDTLS_SSL_DEBUG_MSG(1,
1504 ("Unexpected HRR in pure PSK key exchange."));
XiaokangQian2b01dc32022-01-21 02:53:13 +00001505 MBEDTLS_SSL_PEND_FATAL_ALERT(
Gilles Peskine449bd832023-01-11 14:50:10 +01001506 MBEDTLS_SSL_ALERT_MSG_ILLEGAL_PARAMETER,
1507 MBEDTLS_ERR_SSL_ILLEGAL_PARAMETER);
1508 return MBEDTLS_ERR_SSL_ILLEGAL_PARAMETER;
XiaokangQian2b01dc32022-01-21 02:53:13 +00001509 }
XiaokangQian16acd4b2022-01-14 07:35:47 +00001510
Ronald Cron5afb9042022-05-31 12:11:39 +02001511 handshake->hello_retry_request_count++;
XiaokangQian16acd4b2022-01-14 07:35:47 +00001512
Jerry Yu745bb612021-10-13 22:01:04 +08001513 break;
Jerry Yue1b9c292021-09-10 10:08:31 +08001514 }
1515
1516cleanup:
1517
Gilles Peskine449bd832023-01-11 14:50:10 +01001518 return ret;
Jerry Yue1b9c292021-09-10 10:08:31 +08001519}
1520
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +02001521MBEDTLS_CHECK_RETURN_CRITICAL
Gilles Peskine449bd832023-01-11 14:50:10 +01001522static int ssl_tls13_check_server_hello_session_id_echo(mbedtls_ssl_context *ssl,
1523 const unsigned char **buf,
1524 const unsigned char *end)
Jerry Yue1b9c292021-09-10 10:08:31 +08001525{
1526 const unsigned char *p = *buf;
Jerry Yu4a173382021-10-11 21:45:31 +08001527 size_t legacy_session_id_echo_len;
Jerry Yue1b9c292021-09-10 10:08:31 +08001528
Gilles Peskine449bd832023-01-11 14:50:10 +01001529 MBEDTLS_SSL_CHK_BUF_READ_PTR(p, end, 1);
1530 legacy_session_id_echo_len = *p++;
Jerry Yue1b9c292021-09-10 10:08:31 +08001531
Gilles Peskine449bd832023-01-11 14:50:10 +01001532 MBEDTLS_SSL_CHK_BUF_READ_PTR(p, end, legacy_session_id_echo_len);
Jerry Yue1b9c292021-09-10 10:08:31 +08001533
1534 /* legacy_session_id_echo */
Gilles Peskine449bd832023-01-11 14:50:10 +01001535 if (ssl->session_negotiate->id_len != legacy_session_id_echo_len ||
1536 memcmp(ssl->session_negotiate->id, p, legacy_session_id_echo_len) != 0) {
1537 MBEDTLS_SSL_DEBUG_BUF(3, "Expected Session ID",
1538 ssl->session_negotiate->id,
1539 ssl->session_negotiate->id_len);
1540 MBEDTLS_SSL_DEBUG_BUF(3, "Received Session ID", p,
1541 legacy_session_id_echo_len);
Jerry Yu4a173382021-10-11 21:45:31 +08001542
Gilles Peskine449bd832023-01-11 14:50:10 +01001543 MBEDTLS_SSL_PEND_FATAL_ALERT(MBEDTLS_SSL_ALERT_MSG_ILLEGAL_PARAMETER,
1544 MBEDTLS_ERR_SSL_ILLEGAL_PARAMETER);
Jerry Yu4a173382021-10-11 21:45:31 +08001545
Gilles Peskine449bd832023-01-11 14:50:10 +01001546 return MBEDTLS_ERR_SSL_ILLEGAL_PARAMETER;
Jerry Yue1b9c292021-09-10 10:08:31 +08001547 }
1548
Jerry Yu4a173382021-10-11 21:45:31 +08001549 p += legacy_session_id_echo_len;
Jerry Yue1b9c292021-09-10 10:08:31 +08001550 *buf = p;
1551
Gilles Peskine449bd832023-01-11 14:50:10 +01001552 MBEDTLS_SSL_DEBUG_BUF(3, "Session ID", ssl->session_negotiate->id,
1553 ssl->session_negotiate->id_len);
1554 return 0;
Jerry Yue1b9c292021-09-10 10:08:31 +08001555}
1556
Jerry Yue1b9c292021-09-10 10:08:31 +08001557/* Parse ServerHello message and configure context
1558 *
1559 * struct {
1560 * ProtocolVersion legacy_version = 0x0303; // TLS 1.2
1561 * Random random;
1562 * opaque legacy_session_id_echo<0..32>;
1563 * CipherSuite cipher_suite;
1564 * uint8 legacy_compression_method = 0;
Jerry Yub85277e2021-10-13 13:36:05 +08001565 * Extension extensions<6..2^16-1>;
Jerry Yue1b9c292021-09-10 10:08:31 +08001566 * } ServerHello;
1567 */
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +02001568MBEDTLS_CHECK_RETURN_CRITICAL
Gilles Peskine449bd832023-01-11 14:50:10 +01001569static int ssl_tls13_parse_server_hello(mbedtls_ssl_context *ssl,
1570 const unsigned char *buf,
1571 const unsigned char *end,
1572 int is_hrr)
Jerry Yue1b9c292021-09-10 10:08:31 +08001573{
Jerry Yub85277e2021-10-13 13:36:05 +08001574 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Jerry Yue1b9c292021-09-10 10:08:31 +08001575 const unsigned char *p = buf;
XiaokangQian355e09a2022-01-20 11:14:50 +00001576 mbedtls_ssl_handshake_params *handshake = ssl->handshake;
Jerry Yub85277e2021-10-13 13:36:05 +08001577 size_t extensions_len;
1578 const unsigned char *extensions_end;
Jerry Yue1b9c292021-09-10 10:08:31 +08001579 uint16_t cipher_suite;
Jerry Yude4fb2c2021-09-19 18:05:08 +08001580 const mbedtls_ssl_ciphersuite_t *ciphersuite_info;
XiaokangQianb119a352022-01-26 03:29:10 +00001581 int fatal_alert = 0;
Jerry Yu0c354a22022-08-29 15:25:36 +08001582 uint32_t allowed_extensions_mask;
Jerry Yu50e00e32022-10-31 14:45:01 +08001583 int hs_msg_type = is_hrr ? MBEDTLS_SSL_TLS1_3_HS_HELLO_RETRY_REQUEST :
Gilles Peskine449bd832023-01-11 14:50:10 +01001584 MBEDTLS_SSL_HS_SERVER_HELLO;
Jerry Yue1b9c292021-09-10 10:08:31 +08001585
1586 /*
1587 * Check there is space for minimal fields
1588 *
1589 * - legacy_version ( 2 bytes)
Jerry Yue6d7e5c2021-10-26 10:44:32 +08001590 * - random (MBEDTLS_SERVER_HELLO_RANDOM_LEN bytes)
Jerry Yue1b9c292021-09-10 10:08:31 +08001591 * - legacy_session_id_echo ( 1 byte ), minimum size
1592 * - cipher_suite ( 2 bytes)
1593 * - legacy_compression_method ( 1 byte )
1594 */
Gilles Peskine449bd832023-01-11 14:50:10 +01001595 MBEDTLS_SSL_CHK_BUF_READ_PTR(p, end, MBEDTLS_SERVER_HELLO_RANDOM_LEN + 6);
Jerry Yue1b9c292021-09-10 10:08:31 +08001596
Gilles Peskine449bd832023-01-11 14:50:10 +01001597 MBEDTLS_SSL_DEBUG_BUF(4, "server hello", p, end - p);
1598 MBEDTLS_SSL_DEBUG_BUF(3, "server hello, version", p, 2);
Jerry Yue1b9c292021-09-10 10:08:31 +08001599
Jerry Yu4a173382021-10-11 21:45:31 +08001600 /* ...
Jerry Yub85277e2021-10-13 13:36:05 +08001601 * ProtocolVersion legacy_version = 0x0303; // TLS 1.2
Jerry Yu4a173382021-10-11 21:45:31 +08001602 * ...
1603 * with ProtocolVersion defined as:
1604 * uint16 ProtocolVersion;
1605 */
Gilles Peskine449bd832023-01-11 14:50:10 +01001606 if (mbedtls_ssl_read_version(p, ssl->conf->transport) !=
1607 MBEDTLS_SSL_VERSION_TLS1_2) {
1608 MBEDTLS_SSL_DEBUG_MSG(1, ("Unsupported version of TLS."));
1609 MBEDTLS_SSL_PEND_FATAL_ALERT(MBEDTLS_SSL_ALERT_MSG_PROTOCOL_VERSION,
1610 MBEDTLS_ERR_SSL_BAD_PROTOCOL_VERSION);
XiaokangQiand59be772022-01-24 10:12:51 +00001611 ret = MBEDTLS_ERR_SSL_BAD_PROTOCOL_VERSION;
1612 goto cleanup;
Jerry Yue1b9c292021-09-10 10:08:31 +08001613 }
1614 p += 2;
Jerry Yue1b9c292021-09-10 10:08:31 +08001615
Jerry Yue6d7e5c2021-10-26 10:44:32 +08001616 /* ...
Jerry Yu4a173382021-10-11 21:45:31 +08001617 * Random random;
1618 * ...
1619 * with Random defined as:
Jerry Yue6d7e5c2021-10-26 10:44:32 +08001620 * opaque Random[MBEDTLS_SERVER_HELLO_RANDOM_LEN];
Jerry Yu4a173382021-10-11 21:45:31 +08001621 */
Gilles Peskine449bd832023-01-11 14:50:10 +01001622 if (!is_hrr) {
1623 memcpy(&handshake->randbytes[MBEDTLS_CLIENT_HELLO_RANDOM_LEN], p,
1624 MBEDTLS_SERVER_HELLO_RANDOM_LEN);
1625 MBEDTLS_SSL_DEBUG_BUF(3, "server hello, random bytes",
1626 p, MBEDTLS_SERVER_HELLO_RANDOM_LEN);
XiaokangQian53f20b72022-01-18 10:47:33 +00001627 }
Jerry Yue6d7e5c2021-10-26 10:44:32 +08001628 p += MBEDTLS_SERVER_HELLO_RANDOM_LEN;
Jerry Yue1b9c292021-09-10 10:08:31 +08001629
Jerry Yu4a173382021-10-11 21:45:31 +08001630 /* ...
1631 * opaque legacy_session_id_echo<0..32>;
1632 * ...
1633 */
Gilles Peskine449bd832023-01-11 14:50:10 +01001634 if (ssl_tls13_check_server_hello_session_id_echo(ssl, &p, end) != 0) {
XiaokangQian52da5582022-01-26 09:49:29 +00001635 fatal_alert = MBEDTLS_SSL_ALERT_MSG_ILLEGAL_PARAMETER;
XiaokangQiand59be772022-01-24 10:12:51 +00001636 goto cleanup;
Jerry Yue1b9c292021-09-10 10:08:31 +08001637 }
1638
Jerry Yu4a173382021-10-11 21:45:31 +08001639 /* ...
1640 * CipherSuite cipher_suite;
1641 * ...
1642 * with CipherSuite defined as:
1643 * uint8 CipherSuite[2];
1644 */
Gilles Peskine449bd832023-01-11 14:50:10 +01001645 MBEDTLS_SSL_CHK_BUF_READ_PTR(p, end, 2);
1646 cipher_suite = MBEDTLS_GET_UINT16_BE(p, 0);
Jerry Yue1b9c292021-09-10 10:08:31 +08001647 p += 2;
1648
Jerry Yu4a173382021-10-11 21:45:31 +08001649
Gilles Peskine449bd832023-01-11 14:50:10 +01001650 ciphersuite_info = mbedtls_ssl_ciphersuite_from_id(cipher_suite);
Jerry Yu4a173382021-10-11 21:45:31 +08001651 /*
Ronald Cronba120bb2022-03-30 22:09:48 +02001652 * Check whether this ciphersuite is valid and offered.
Jerry Yu4a173382021-10-11 21:45:31 +08001653 */
Gilles Peskine449bd832023-01-11 14:50:10 +01001654 if ((mbedtls_ssl_validate_ciphersuite(ssl, ciphersuite_info,
1655 ssl->tls_version,
1656 ssl->tls_version) != 0) ||
1657 !mbedtls_ssl_tls13_cipher_suite_is_offered(ssl, cipher_suite)) {
XiaokangQian52da5582022-01-26 09:49:29 +00001658 fatal_alert = MBEDTLS_SSL_ALERT_MSG_ILLEGAL_PARAMETER;
Jerry Yue1b9c292021-09-10 10:08:31 +08001659 }
XiaokangQian53f20b72022-01-18 10:47:33 +00001660 /*
XiaokangQian355e09a2022-01-20 11:14:50 +00001661 * If we received an HRR before and that the proposed selected
1662 * ciphersuite in this server hello is not the same as the one
1663 * proposed in the HRR, we abort the handshake and send an
1664 * "illegal_parameter" alert.
XiaokangQian53f20b72022-01-18 10:47:33 +00001665 */
Gilles Peskine449bd832023-01-11 14:50:10 +01001666 else if ((!is_hrr) && (handshake->hello_retry_request_count > 0) &&
1667 (cipher_suite != ssl->session_negotiate->ciphersuite)) {
XiaokangQian52da5582022-01-26 09:49:29 +00001668 fatal_alert = MBEDTLS_SSL_ALERT_MSG_ILLEGAL_PARAMETER;
XiaokangQian355e09a2022-01-20 11:14:50 +00001669 }
XiaokangQian53f20b72022-01-18 10:47:33 +00001670
Gilles Peskine449bd832023-01-11 14:50:10 +01001671 if (fatal_alert == MBEDTLS_SSL_ALERT_MSG_ILLEGAL_PARAMETER) {
1672 MBEDTLS_SSL_DEBUG_MSG(1, ("invalid ciphersuite(%04x) parameter",
1673 cipher_suite));
XiaokangQiand59be772022-01-24 10:12:51 +00001674 goto cleanup;
XiaokangQian53f20b72022-01-18 10:47:33 +00001675 }
Jerry Yue1b9c292021-09-10 10:08:31 +08001676
Jerry Yu4a173382021-10-11 21:45:31 +08001677 /* Configure ciphersuites */
Gilles Peskine449bd832023-01-11 14:50:10 +01001678 mbedtls_ssl_optimize_checksum(ssl, ciphersuite_info);
Jerry Yu4a173382021-10-11 21:45:31 +08001679
XiaokangQian355e09a2022-01-20 11:14:50 +00001680 handshake->ciphersuite_info = ciphersuite_info;
Gilles Peskine449bd832023-01-11 14:50:10 +01001681 MBEDTLS_SSL_DEBUG_MSG(3, ("server hello, chosen ciphersuite: ( %04x ) - %s",
1682 cipher_suite, ciphersuite_info->name));
Jerry Yue1b9c292021-09-10 10:08:31 +08001683
1684#if defined(MBEDTLS_HAVE_TIME)
YxCda609132023-05-22 12:08:12 -07001685 ssl->session_negotiate->start = mbedtls_time(NULL);
Jerry Yue1b9c292021-09-10 10:08:31 +08001686#endif /* MBEDTLS_HAVE_TIME */
1687
Jerry Yu4a173382021-10-11 21:45:31 +08001688 /* ...
1689 * uint8 legacy_compression_method = 0;
1690 * ...
Jerry Yue1b9c292021-09-10 10:08:31 +08001691 */
Gilles Peskine449bd832023-01-11 14:50:10 +01001692 MBEDTLS_SSL_CHK_BUF_READ_PTR(p, end, 1);
1693 if (p[0] != MBEDTLS_SSL_COMPRESS_NULL) {
1694 MBEDTLS_SSL_DEBUG_MSG(1, ("bad legacy compression method"));
XiaokangQian52da5582022-01-26 09:49:29 +00001695 fatal_alert = MBEDTLS_SSL_ALERT_MSG_ILLEGAL_PARAMETER;
XiaokangQiand59be772022-01-24 10:12:51 +00001696 goto cleanup;
Jerry Yue1b9c292021-09-10 10:08:31 +08001697 }
1698 p++;
1699
Jerry Yub85277e2021-10-13 13:36:05 +08001700 /* ...
1701 * Extension extensions<6..2^16-1>;
1702 * ...
Jerry Yu4a173382021-10-11 21:45:31 +08001703 * struct {
1704 * ExtensionType extension_type; (2 bytes)
1705 * opaque extension_data<0..2^16-1>;
1706 * } Extension;
1707 */
Gilles Peskine449bd832023-01-11 14:50:10 +01001708 MBEDTLS_SSL_CHK_BUF_READ_PTR(p, end, 2);
1709 extensions_len = MBEDTLS_GET_UINT16_BE(p, 0);
Jerry Yue1b9c292021-09-10 10:08:31 +08001710 p += 2;
Jerry Yude4fb2c2021-09-19 18:05:08 +08001711
Jerry Yu4a173382021-10-11 21:45:31 +08001712 /* Check extensions do not go beyond the buffer of data. */
Gilles Peskine449bd832023-01-11 14:50:10 +01001713 MBEDTLS_SSL_CHK_BUF_READ_PTR(p, end, extensions_len);
Jerry Yu4a173382021-10-11 21:45:31 +08001714 extensions_end = p + extensions_len;
Jerry Yue1b9c292021-09-10 10:08:31 +08001715
Gilles Peskine449bd832023-01-11 14:50:10 +01001716 MBEDTLS_SSL_DEBUG_BUF(3, "server hello extensions", p, extensions_len);
Jerry Yue1b9c292021-09-10 10:08:31 +08001717
Jerry Yu50e00e32022-10-31 14:45:01 +08001718 handshake->received_extensions = MBEDTLS_SSL_EXT_MASK_NONE;
Jerry Yu0c354a22022-08-29 15:25:36 +08001719 allowed_extensions_mask = is_hrr ?
Gilles Peskine449bd832023-01-11 14:50:10 +01001720 MBEDTLS_SSL_TLS1_3_ALLOWED_EXTS_OF_HRR :
1721 MBEDTLS_SSL_TLS1_3_ALLOWED_EXTS_OF_SH;
Jerry Yu2c5363e2022-08-04 17:42:49 +08001722
Gilles Peskine449bd832023-01-11 14:50:10 +01001723 while (p < extensions_end) {
Jerry Yue1b9c292021-09-10 10:08:31 +08001724 unsigned int extension_type;
1725 size_t extension_data_len;
XiaokangQian43550bd2022-01-21 04:32:58 +00001726 const unsigned char *extension_data_end;
Jerry Yue1b9c292021-09-10 10:08:31 +08001727
Gilles Peskine449bd832023-01-11 14:50:10 +01001728 MBEDTLS_SSL_CHK_BUF_READ_PTR(p, extensions_end, 4);
1729 extension_type = MBEDTLS_GET_UINT16_BE(p, 0);
1730 extension_data_len = MBEDTLS_GET_UINT16_BE(p, 2);
Jerry Yue1b9c292021-09-10 10:08:31 +08001731 p += 4;
1732
Gilles Peskine449bd832023-01-11 14:50:10 +01001733 MBEDTLS_SSL_CHK_BUF_READ_PTR(p, extensions_end, extension_data_len);
XiaokangQian43550bd2022-01-21 04:32:58 +00001734 extension_data_end = p + extension_data_len;
Jerry Yue1b9c292021-09-10 10:08:31 +08001735
Jerry Yuc4bf5d62022-10-29 09:08:47 +08001736 ret = mbedtls_ssl_tls13_check_received_extension(
Gilles Peskine449bd832023-01-11 14:50:10 +01001737 ssl, hs_msg_type, extension_type, allowed_extensions_mask);
1738 if (ret != 0) {
1739 return ret;
1740 }
Jerry Yu2c5363e2022-08-04 17:42:49 +08001741
Gilles Peskine449bd832023-01-11 14:50:10 +01001742 switch (extension_type) {
XiaokangQianb851da82022-01-14 04:03:11 +00001743 case MBEDTLS_TLS_EXT_COOKIE:
1744
Gilles Peskine449bd832023-01-11 14:50:10 +01001745 ret = ssl_tls13_parse_cookie_ext(ssl,
1746 p, extension_data_end);
1747 if (ret != 0) {
1748 MBEDTLS_SSL_DEBUG_RET(1,
1749 "ssl_tls13_parse_cookie_ext",
1750 ret);
XiaokangQiand59be772022-01-24 10:12:51 +00001751 goto cleanup;
XiaokangQianb851da82022-01-14 04:03:11 +00001752 }
XiaokangQianb851da82022-01-14 04:03:11 +00001753 break;
XiaokangQianb851da82022-01-14 04:03:11 +00001754
Jerry Yue1b9c292021-09-10 10:08:31 +08001755 case MBEDTLS_TLS_EXT_SUPPORTED_VERSIONS:
Gilles Peskine449bd832023-01-11 14:50:10 +01001756 ret = ssl_tls13_parse_supported_versions_ext(ssl,
1757 p,
1758 extension_data_end);
1759 if (ret != 0) {
XiaokangQiand59be772022-01-24 10:12:51 +00001760 goto cleanup;
Gilles Peskine449bd832023-01-11 14:50:10 +01001761 }
Jerry Yue1b9c292021-09-10 10:08:31 +08001762 break;
1763
Ronald Cron41a443a2022-10-04 16:38:25 +02001764#if defined(MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_SOME_PSK_ENABLED)
Jerry Yue1b9c292021-09-10 10:08:31 +08001765 case MBEDTLS_TLS_EXT_PRE_SHARED_KEY:
Gilles Peskine449bd832023-01-11 14:50:10 +01001766 MBEDTLS_SSL_DEBUG_MSG(3, ("found pre_shared_key extension"));
Jerry Yu4a173382021-10-11 21:45:31 +08001767
Gilles Peskine449bd832023-01-11 14:50:10 +01001768 if ((ret = ssl_tls13_parse_server_pre_shared_key_ext(
1769 ssl, p, extension_data_end)) != 0) {
XiaokangQianeb69aee2022-07-05 08:21:43 +00001770 MBEDTLS_SSL_DEBUG_RET(
Gilles Peskine449bd832023-01-11 14:50:10 +01001771 1, ("ssl_tls13_parse_server_pre_shared_key_ext"), ret);
1772 return ret;
XiaokangQianeb69aee2022-07-05 08:21:43 +00001773 }
1774 break;
Ronald Cron41a443a2022-10-04 16:38:25 +02001775#endif
Jerry Yue1b9c292021-09-10 10:08:31 +08001776
Jerry Yue1b9c292021-09-10 10:08:31 +08001777 case MBEDTLS_TLS_EXT_KEY_SHARE:
Gilles Peskine449bd832023-01-11 14:50:10 +01001778 MBEDTLS_SSL_DEBUG_MSG(3, ("found key_shares extension"));
1779 if (!mbedtls_ssl_conf_tls13_some_ephemeral_enabled(ssl)) {
XiaokangQian52da5582022-01-26 09:49:29 +00001780 fatal_alert = MBEDTLS_SSL_ALERT_MSG_UNSUPPORTED_EXT;
XiaokangQiand59be772022-01-24 10:12:51 +00001781 goto cleanup;
1782 }
1783
Gilles Peskine449bd832023-01-11 14:50:10 +01001784 if (is_hrr) {
1785 ret = ssl_tls13_parse_hrr_key_share_ext(ssl,
1786 p, extension_data_end);
1787 } else {
1788 ret = ssl_tls13_parse_key_share_ext(ssl,
1789 p, extension_data_end);
1790 }
1791 if (ret != 0) {
1792 MBEDTLS_SSL_DEBUG_RET(1,
1793 "ssl_tls13_parse_key_share_ext",
1794 ret);
XiaokangQiand59be772022-01-24 10:12:51 +00001795 goto cleanup;
Jerry Yue1b9c292021-09-10 10:08:31 +08001796 }
1797 break;
Jerry Yue1b9c292021-09-10 10:08:31 +08001798
1799 default:
Jerry Yu9872eb22022-08-29 13:42:01 +08001800 ret = MBEDTLS_ERR_SSL_INTERNAL_ERROR;
1801 goto cleanup;
Jerry Yue1b9c292021-09-10 10:08:31 +08001802 }
1803
1804 p += extension_data_len;
1805 }
1806
Gilles Peskine449bd832023-01-11 14:50:10 +01001807 MBEDTLS_SSL_PRINT_EXTS(3, hs_msg_type, handshake->received_extensions);
Jerry Yu2c5363e2022-08-04 17:42:49 +08001808
XiaokangQiand59be772022-01-24 10:12:51 +00001809cleanup:
1810
Gilles Peskine449bd832023-01-11 14:50:10 +01001811 if (fatal_alert == MBEDTLS_SSL_ALERT_MSG_UNSUPPORTED_EXT) {
1812 MBEDTLS_SSL_PEND_FATAL_ALERT(MBEDTLS_SSL_ALERT_MSG_UNSUPPORTED_EXT,
1813 MBEDTLS_ERR_SSL_UNSUPPORTED_EXTENSION);
XiaokangQiand59be772022-01-24 10:12:51 +00001814 ret = MBEDTLS_ERR_SSL_UNSUPPORTED_EXTENSION;
Gilles Peskine449bd832023-01-11 14:50:10 +01001815 } else if (fatal_alert == MBEDTLS_SSL_ALERT_MSG_ILLEGAL_PARAMETER) {
1816 MBEDTLS_SSL_PEND_FATAL_ALERT(MBEDTLS_SSL_ALERT_MSG_ILLEGAL_PARAMETER,
1817 MBEDTLS_ERR_SSL_ILLEGAL_PARAMETER);
XiaokangQiand59be772022-01-24 10:12:51 +00001818 ret = MBEDTLS_ERR_SSL_ILLEGAL_PARAMETER;
1819 }
Gilles Peskine449bd832023-01-11 14:50:10 +01001820 return ret;
Jerry Yue1b9c292021-09-10 10:08:31 +08001821}
1822
Xiaokang Qiancb6e9632022-09-26 11:59:32 +00001823#if defined(MBEDTLS_DEBUG_C)
1824static const char *ssl_tls13_get_kex_mode_str(int mode)
Xiaokang Qian5beec4b2022-09-26 08:23:45 +00001825{
Gilles Peskine449bd832023-01-11 14:50:10 +01001826 switch (mode) {
Xiaokang Qian5beec4b2022-09-26 08:23:45 +00001827 case MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_PSK:
1828 return "psk";
1829 case MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_EPHEMERAL:
1830 return "ephemeral";
1831 case MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_PSK_EPHEMERAL:
1832 return "psk_ephemeral";
1833 default:
1834 return "unknown mode";
1835 }
1836}
Xiaokang Qiancb6e9632022-09-26 11:59:32 +00001837#endif /* MBEDTLS_DEBUG_C */
Xiaokang Qian5beec4b2022-09-26 08:23:45 +00001838
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +02001839MBEDTLS_CHECK_RETURN_CRITICAL
Gilles Peskine449bd832023-01-11 14:50:10 +01001840static int ssl_tls13_postprocess_server_hello(mbedtls_ssl_context *ssl)
Jerry Yue1b9c292021-09-10 10:08:31 +08001841{
Jerry Yub85277e2021-10-13 13:36:05 +08001842 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Jerry Yub85277e2021-10-13 13:36:05 +08001843 mbedtls_ssl_handshake_params *handshake = ssl->handshake;
Jerry Yu0b177842021-09-05 19:41:30 +08001844
Jerry Yub85277e2021-10-13 13:36:05 +08001845 /* Determine the key exchange mode:
1846 * 1) If both the pre_shared_key and key_share extensions were received
1847 * then the key exchange mode is PSK with EPHEMERAL.
1848 * 2) If only the pre_shared_key extension was received then the key
1849 * exchange mode is PSK-only.
1850 * 3) If only the key_share extension was received then the key
1851 * exchange mode is EPHEMERAL-only.
Jerry Yu0b177842021-09-05 19:41:30 +08001852 */
Gilles Peskine449bd832023-01-11 14:50:10 +01001853 switch (handshake->received_extensions &
Xiaokang Qian958b6ff2023-03-29 10:37:35 +00001854 (MBEDTLS_SSL_EXT_MASK(PRE_SHARED_KEY) |
1855 MBEDTLS_SSL_EXT_MASK(KEY_SHARE))) {
Jerry Yu745bb612021-10-13 22:01:04 +08001856 /* Only the pre_shared_key extension was received */
Gilles Peskine449bd832023-01-11 14:50:10 +01001857 case MBEDTLS_SSL_EXT_MASK(PRE_SHARED_KEY):
Xiaokang Qian958b6ff2023-03-29 10:37:35 +00001858 handshake->key_exchange_mode =
1859 MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_PSK;
Jerry Yu745bb612021-10-13 22:01:04 +08001860 break;
Jerry Yub85277e2021-10-13 13:36:05 +08001861
Jerry Yu745bb612021-10-13 22:01:04 +08001862 /* Only the key_share extension was received */
Gilles Peskine449bd832023-01-11 14:50:10 +01001863 case MBEDTLS_SSL_EXT_MASK(KEY_SHARE):
Xiaokang Qian958b6ff2023-03-29 10:37:35 +00001864 handshake->key_exchange_mode =
1865 MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_EPHEMERAL;
Jerry Yu745bb612021-10-13 22:01:04 +08001866 break;
Jerry Yub85277e2021-10-13 13:36:05 +08001867
Jerry Yu745bb612021-10-13 22:01:04 +08001868 /* Both the pre_shared_key and key_share extensions were received */
Xiaokang Qian958b6ff2023-03-29 10:37:35 +00001869 case (MBEDTLS_SSL_EXT_MASK(PRE_SHARED_KEY) |
1870 MBEDTLS_SSL_EXT_MASK(KEY_SHARE)):
1871 handshake->key_exchange_mode =
1872 MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_PSK_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 /* Neither pre_shared_key nor key_share extension was received */
1876 default:
Gilles Peskine449bd832023-01-11 14:50:10 +01001877 MBEDTLS_SSL_DEBUG_MSG(1, ("Unknown key exchange."));
Jerry Yu745bb612021-10-13 22:01:04 +08001878 ret = MBEDTLS_ERR_SSL_HANDSHAKE_FAILURE;
1879 goto cleanup;
Jerry Yu0b177842021-09-05 19:41:30 +08001880 }
1881
Xiaokang Qian0de0d862023-02-08 06:04:50 +00001882 if (!mbedtls_ssl_conf_tls13_check_kex_modes(
1883 ssl, handshake->key_exchange_mode)) {
Xiaokang Qianac8195f2022-09-26 04:01:06 +00001884 ret = MBEDTLS_ERR_SSL_HANDSHAKE_FAILURE;
Xiaokang Qian958b6ff2023-03-29 10:37:35 +00001885 MBEDTLS_SSL_DEBUG_MSG(
1886 2, ("Key exchange mode(%s) is not supported.",
1887 ssl_tls13_get_kex_mode_str(handshake->key_exchange_mode)));
Xiaokang Qianac8195f2022-09-26 04:01:06 +00001888 goto cleanup;
1889 }
1890
Xiaokang Qian958b6ff2023-03-29 10:37:35 +00001891 MBEDTLS_SSL_DEBUG_MSG(
1892 3, ("Selected key exchange mode: %s",
1893 ssl_tls13_get_kex_mode_str(handshake->key_exchange_mode)));
Xiaokang Qian5beec4b2022-09-26 08:23:45 +00001894
Xiaokang Qian7892b6c2023-02-02 06:05:48 +00001895 /* Start the TLS 1.3 key scheduling if not already done.
Jerry Yu0b177842021-09-05 19:41:30 +08001896 *
Xiaokang Qian7892b6c2023-02-02 06:05:48 +00001897 * If we proposed early data then we have already derived an
1898 * early secret using the selected PSK and its associated hash.
1899 * It means that if the negotiated key exchange mode is psk or
1900 * psk_ephemeral, we have already correctly computed the
1901 * early secret and thus we do not do it again. In all other
1902 * cases we compute it here.
Xiaokang Qian303f82c52023-01-04 08:43:46 +00001903 */
Xiaokang Qian90746132023-01-06 05:54:59 +00001904#if defined(MBEDTLS_SSL_EARLY_DATA)
Xiaokang Qiane04afdc2023-02-07 02:19:42 +00001905 if (ssl->early_data_status == MBEDTLS_SSL_EARLY_DATA_STATUS_NOT_SENT ||
1906 handshake->key_exchange_mode ==
1907 MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_EPHEMERAL)
Xiaokang Qian90746132023-01-06 05:54:59 +00001908#endif
1909 {
Xiaokang Qian303f82c52023-01-04 08:43:46 +00001910 ret = mbedtls_ssl_tls13_key_schedule_stage_early(ssl);
1911 if (ret != 0) {
1912 MBEDTLS_SSL_DEBUG_RET(
1913 1, "mbedtls_ssl_tls13_key_schedule_stage_early", ret);
1914 goto cleanup;
1915 }
Jerry Yu0b177842021-09-05 19:41:30 +08001916 }
1917
Gilles Peskine449bd832023-01-11 14:50:10 +01001918 ret = mbedtls_ssl_tls13_compute_handshake_transform(ssl);
1919 if (ret != 0) {
1920 MBEDTLS_SSL_DEBUG_RET(1,
1921 "mbedtls_ssl_tls13_compute_handshake_transform",
1922 ret);
Jerry Yu4a173382021-10-11 21:45:31 +08001923 goto cleanup;
Jerry Yu0b177842021-09-05 19:41:30 +08001924 }
1925
Gilles Peskine449bd832023-01-11 14:50:10 +01001926 mbedtls_ssl_set_inbound_transform(ssl, handshake->transform_handshake);
1927 MBEDTLS_SSL_DEBUG_MSG(1, ("Switch to handshake keys for inbound traffic"));
Jerry Yu0b177842021-09-05 19:41:30 +08001928 ssl->session_in = ssl->session_negotiate;
1929
Jerry Yu4a173382021-10-11 21:45:31 +08001930cleanup:
Gilles Peskine449bd832023-01-11 14:50:10 +01001931 if (ret != 0) {
Jerry Yu4a173382021-10-11 21:45:31 +08001932 MBEDTLS_SSL_PEND_FATAL_ALERT(
1933 MBEDTLS_SSL_ALERT_MSG_HANDSHAKE_FAILURE,
Gilles Peskine449bd832023-01-11 14:50:10 +01001934 MBEDTLS_ERR_SSL_HANDSHAKE_FAILURE);
Jerry Yu4a173382021-10-11 21:45:31 +08001935 }
Jerry Yue110d252022-05-05 10:19:22 +08001936
Gilles Peskine449bd832023-01-11 14:50:10 +01001937 return ret;
Jerry Yue1b9c292021-09-10 10:08:31 +08001938}
1939
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +02001940MBEDTLS_CHECK_RETURN_CRITICAL
Gilles Peskine449bd832023-01-11 14:50:10 +01001941static int ssl_tls13_postprocess_hrr(mbedtls_ssl_context *ssl)
XiaokangQian647719a2021-12-07 09:16:29 +00001942{
1943 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
1944
Gilles Peskine449bd832023-01-11 14:50:10 +01001945 mbedtls_ssl_session_reset_msg_layer(ssl, 0);
XiaokangQian647719a2021-12-07 09:16:29 +00001946
XiaokangQian78b1fa72022-01-19 06:56:30 +00001947 /*
XiaokangQian355e09a2022-01-20 11:14:50 +00001948 * We are going to re-generate a shared secret corresponding to the group
1949 * selected by the server, which is different from the group for which we
1950 * generated a shared secret in the first client hello.
1951 * Thus, reset the shared secret.
XiaokangQian51eff222021-12-10 10:33:56 +00001952 */
Gilles Peskine449bd832023-01-11 14:50:10 +01001953 ret = ssl_tls13_reset_key_share(ssl);
1954 if (ret != 0) {
1955 return ret;
1956 }
XiaokangQian647719a2021-12-07 09:16:29 +00001957
Xiaokang Qian4ef8ba22023-02-06 11:06:16 +00001958 ssl->session_negotiate->ciphersuite = ssl->handshake->ciphersuite_info->id;
Gilles Peskine449bd832023-01-11 14:50:10 +01001959 return 0;
XiaokangQian647719a2021-12-07 09:16:29 +00001960}
1961
Jerry Yue1b9c292021-09-10 10:08:31 +08001962/*
Jerry Yu4a173382021-10-11 21:45:31 +08001963 * Wait and parse ServerHello handshake message.
Jerry Yu687101b2021-09-14 16:03:56 +08001964 * Handler for MBEDTLS_SSL_SERVER_HELLO
1965 */
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +02001966MBEDTLS_CHECK_RETURN_CRITICAL
Gilles Peskine449bd832023-01-11 14:50:10 +01001967static int ssl_tls13_process_server_hello(mbedtls_ssl_context *ssl)
Jerry Yu687101b2021-09-14 16:03:56 +08001968{
Jerry Yu4a173382021-10-11 21:45:31 +08001969 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
XiaokangQian647719a2021-12-07 09:16:29 +00001970 unsigned char *buf = NULL;
1971 size_t buf_len = 0;
XiaokangQian78b1fa72022-01-19 06:56:30 +00001972 int is_hrr = 0;
Jerry Yue1b9c292021-09-10 10:08:31 +08001973
Gilles Peskine449bd832023-01-11 14:50:10 +01001974 MBEDTLS_SSL_DEBUG_MSG(2, ("=> %s", __func__));
Jerry Yue1b9c292021-09-10 10:08:31 +08001975
Xiaokang Qian958b6ff2023-03-29 10:37:35 +00001976 MBEDTLS_SSL_PROC_CHK(mbedtls_ssl_tls13_fetch_handshake_msg(
1977 ssl, MBEDTLS_SSL_HS_SERVER_HELLO, &buf, &buf_len));
Ronald Crondb5dfa12022-05-31 11:44:38 +02001978
Gilles Peskine449bd832023-01-11 14:50:10 +01001979 ret = ssl_tls13_preprocess_server_hello(ssl, buf, buf + buf_len);
1980 if (ret < 0) {
XiaokangQian16acd4b2022-01-14 07:35:47 +00001981 goto cleanup;
Gilles Peskine449bd832023-01-11 14:50:10 +01001982 } else {
1983 is_hrr = (ret == SSL_SERVER_HELLO_HRR);
1984 }
XiaokangQiand59be772022-01-24 10:12:51 +00001985
Gilles Peskine449bd832023-01-11 14:50:10 +01001986 if (ret == SSL_SERVER_HELLO_TLS1_2) {
Ronald Cron9f0fba32022-02-10 16:45:15 +01001987 ret = 0;
1988 goto cleanup;
1989 }
1990
Gilles Peskine449bd832023-01-11 14:50:10 +01001991 MBEDTLS_SSL_PROC_CHK(ssl_tls13_parse_server_hello(ssl, buf,
1992 buf + buf_len,
1993 is_hrr));
1994 if (is_hrr) {
1995 MBEDTLS_SSL_PROC_CHK(mbedtls_ssl_reset_transcript_for_hrr(ssl));
Ronald Cronfb508b82022-05-31 14:49:55 +02001996 }
Gilles Peskine449bd832023-01-11 14:50:10 +01001997
Xiaokang Qian958b6ff2023-03-29 10:37:35 +00001998 MBEDTLS_SSL_PROC_CHK(mbedtls_ssl_add_hs_msg_to_checksum(
1999 ssl, MBEDTLS_SSL_HS_SERVER_HELLO, buf, buf_len));
Gilles Peskine449bd832023-01-11 14:50:10 +01002000
2001 if (is_hrr) {
2002 MBEDTLS_SSL_PROC_CHK(ssl_tls13_postprocess_hrr(ssl));
2003#if defined(MBEDTLS_SSL_TLS1_3_COMPATIBILITY_MODE)
2004 /* If not offering early data, the client sends a dummy CCS record
2005 * immediately before its second flight. This may either be before
2006 * its second ClientHello or before its encrypted handshake flight.
2007 */
Xiaokang Qian958b6ff2023-03-29 10:37:35 +00002008 mbedtls_ssl_handshake_set_state(
2009 ssl, MBEDTLS_SSL_CLIENT_CCS_BEFORE_2ND_CLIENT_HELLO);
Gilles Peskine449bd832023-01-11 14:50:10 +01002010#else
2011 mbedtls_ssl_handshake_set_state(ssl, MBEDTLS_SSL_CLIENT_HELLO);
2012#endif /* MBEDTLS_SSL_TLS1_3_COMPATIBILITY_MODE */
2013 } else {
2014 MBEDTLS_SSL_PROC_CHK(ssl_tls13_postprocess_server_hello(ssl));
2015 mbedtls_ssl_handshake_set_state(ssl, MBEDTLS_SSL_ENCRYPTED_EXTENSIONS);
Ronald Cronfb508b82022-05-31 14:49:55 +02002016 }
Jerry Yue1b9c292021-09-10 10:08:31 +08002017
2018cleanup:
Gilles Peskine449bd832023-01-11 14:50:10 +01002019 MBEDTLS_SSL_DEBUG_MSG(2, ("<= %s ( %s )", __func__,
2020 is_hrr ? "HelloRetryRequest" : "ServerHello"));
2021 return ret;
Jerry Yu687101b2021-09-14 16:03:56 +08002022}
2023
2024/*
XiaokangQian2d5c72b2021-09-13 07:30:09 +00002025 *
Ronald Cron9d6a5452022-05-30 16:05:38 +02002026 * Handler for MBEDTLS_SSL_ENCRYPTED_EXTENSIONS
XiaokangQian2d5c72b2021-09-13 07:30:09 +00002027 *
2028 * The EncryptedExtensions message contains any extensions which
2029 * should be protected, i.e., any which are not needed to establish
2030 * the cryptographic context.
Jerry Yu687101b2021-09-14 16:03:56 +08002031 */
XiaokangQian2d5c72b2021-09-13 07:30:09 +00002032
XiaokangQian08da26c2021-10-09 10:12:11 +00002033/* Parse EncryptedExtensions message
2034 * struct {
XiaokangQian97799ac2021-10-11 10:05:54 +00002035 * Extension extensions<0..2^16-1>;
XiaokangQian08da26c2021-10-09 10:12:11 +00002036 * } EncryptedExtensions;
2037 */
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +02002038MBEDTLS_CHECK_RETURN_CRITICAL
Gilles Peskine449bd832023-01-11 14:50:10 +01002039static int ssl_tls13_parse_encrypted_extensions(mbedtls_ssl_context *ssl,
2040 const unsigned char *buf,
2041 const unsigned char *end)
XiaokangQian2d5c72b2021-09-13 07:30:09 +00002042{
2043 int ret = 0;
XiaokangQian08da26c2021-10-09 10:12:11 +00002044 size_t extensions_len;
XiaokangQian140f0452021-10-08 08:05:53 +00002045 const unsigned char *p = buf;
XiaokangQian8db25ff2021-10-13 05:56:18 +00002046 const unsigned char *extensions_end;
Jerry Yuc4bf5d62022-10-29 09:08:47 +08002047 mbedtls_ssl_handshake_params *handshake = ssl->handshake;
XiaokangQian2d5c72b2021-09-13 07:30:09 +00002048
Gilles Peskine449bd832023-01-11 14:50:10 +01002049 MBEDTLS_SSL_CHK_BUF_READ_PTR(p, end, 2);
2050 extensions_len = MBEDTLS_GET_UINT16_BE(p, 0);
XiaokangQian08da26c2021-10-09 10:12:11 +00002051 p += 2;
XiaokangQian2d5c72b2021-09-13 07:30:09 +00002052
Gilles Peskine449bd832023-01-11 14:50:10 +01002053 MBEDTLS_SSL_CHK_BUF_READ_PTR(p, end, extensions_len);
Ronald Cronc8083592022-05-31 16:24:05 +02002054 extensions_end = p + extensions_len;
XiaokangQian2d5c72b2021-09-13 07:30:09 +00002055
Jan Bruckner5a3629b2023-02-23 12:08:09 +01002056 MBEDTLS_SSL_DEBUG_BUF(3, "encrypted extensions", p, extensions_len);
2057
Jerry Yu9eba7502022-10-31 13:46:16 +08002058 handshake->received_extensions = MBEDTLS_SSL_EXT_MASK_NONE;
Jerry Yucbd082f2022-08-04 16:55:10 +08002059
Gilles Peskine449bd832023-01-11 14:50:10 +01002060 while (p < extensions_end) {
XiaokangQian08da26c2021-10-09 10:12:11 +00002061 unsigned int extension_type;
2062 size_t extension_data_len;
XiaokangQian2d5c72b2021-09-13 07:30:09 +00002063
XiaokangQian08da26c2021-10-09 10:12:11 +00002064 /*
2065 * struct {
XiaokangQian97799ac2021-10-11 10:05:54 +00002066 * ExtensionType extension_type; (2 bytes)
2067 * opaque extension_data<0..2^16-1>;
XiaokangQian08da26c2021-10-09 10:12:11 +00002068 * } Extension;
2069 */
Gilles Peskine449bd832023-01-11 14:50:10 +01002070 MBEDTLS_SSL_CHK_BUF_READ_PTR(p, extensions_end, 4);
2071 extension_type = MBEDTLS_GET_UINT16_BE(p, 0);
2072 extension_data_len = MBEDTLS_GET_UINT16_BE(p, 2);
XiaokangQian08da26c2021-10-09 10:12:11 +00002073 p += 4;
2074
Gilles Peskine449bd832023-01-11 14:50:10 +01002075 MBEDTLS_SSL_CHK_BUF_READ_PTR(p, extensions_end, extension_data_len);
XiaokangQian2d5c72b2021-09-13 07:30:09 +00002076
Jerry Yuc4bf5d62022-10-29 09:08:47 +08002077 ret = mbedtls_ssl_tls13_check_received_extension(
Gilles Peskine449bd832023-01-11 14:50:10 +01002078 ssl, MBEDTLS_SSL_HS_ENCRYPTED_EXTENSIONS, extension_type,
2079 MBEDTLS_SSL_TLS1_3_ALLOWED_EXTS_OF_EE);
2080 if (ret != 0) {
2081 return ret;
2082 }
Jerry Yucbd082f2022-08-04 16:55:10 +08002083
Gilles Peskine449bd832023-01-11 14:50:10 +01002084 switch (extension_type) {
lhuang0486cacac2022-01-21 07:34:27 -08002085#if defined(MBEDTLS_SSL_ALPN)
2086 case MBEDTLS_TLS_EXT_ALPN:
Gilles Peskine449bd832023-01-11 14:50:10 +01002087 MBEDTLS_SSL_DEBUG_MSG(3, ("found alpn extension"));
lhuang0486cacac2022-01-21 07:34:27 -08002088
Xiaokang Qian958b6ff2023-03-29 10:37:35 +00002089 if ((ret = ssl_tls13_parse_alpn_ext(
2090 ssl, p, (size_t) extension_data_len)) != 0) {
Gilles Peskine449bd832023-01-11 14:50:10 +01002091 return ret;
lhuang0486cacac2022-01-21 07:34:27 -08002092 }
2093
2094 break;
2095#endif /* MBEDTLS_SSL_ALPN */
Xiaokang Qian8bee8992022-10-27 10:21:05 +00002096
2097#if defined(MBEDTLS_SSL_EARLY_DATA)
2098 case MBEDTLS_TLS_EXT_EARLY_DATA:
Xiaokang Qianca09afc2022-11-22 10:05:19 +00002099
Gilles Peskine449bd832023-01-11 14:50:10 +01002100 if (extension_data_len != 0) {
Xiaokang Qianca09afc2022-11-22 10:05:19 +00002101 /* The message must be empty. */
Gilles Peskine449bd832023-01-11 14:50:10 +01002102 MBEDTLS_SSL_PEND_FATAL_ALERT(MBEDTLS_SSL_ALERT_MSG_DECODE_ERROR,
2103 MBEDTLS_ERR_SSL_DECODE_ERROR);
2104 return MBEDTLS_ERR_SSL_DECODE_ERROR;
Xiaokang Qianca09afc2022-11-22 10:05:19 +00002105 }
2106
Xiaokang Qian8bee8992022-10-27 10:21:05 +00002107 break;
2108#endif /* MBEDTLS_SSL_EARLY_DATA */
2109
Jan Bruckner151f6422023-02-10 12:45:19 +01002110#if defined(MBEDTLS_SSL_RECORD_SIZE_LIMIT)
2111 case MBEDTLS_TLS_EXT_RECORD_SIZE_LIMIT:
2112 MBEDTLS_SSL_DEBUG_MSG(3, ("found record_size_limit extension"));
2113
Xiaokang Qian958b6ff2023-03-29 10:37:35 +00002114 ret = mbedtls_ssl_tls13_parse_record_size_limit_ext(
2115 ssl, p, p + extension_data_len);
Jan Bruckner151f6422023-02-10 12:45:19 +01002116
Xiaokang Qian958b6ff2023-03-29 10:37:35 +00002117 /* TODO: Return unconditionally here until we handle the record
2118 * size limit correctly. Once handled correctly, only return in
2119 * case of errors. */
Jan Bruckner151f6422023-02-10 12:45:19 +01002120 return ret;
2121
2122 break;
2123#endif /* MBEDTLS_SSL_RECORD_SIZE_LIMIT */
2124
XiaokangQian08da26c2021-10-09 10:12:11 +00002125 default:
Jerry Yu79aa7212022-11-08 21:30:21 +08002126 MBEDTLS_SSL_PRINT_EXT(
Jerry Yu9eba7502022-10-31 13:46:16 +08002127 3, MBEDTLS_SSL_HS_ENCRYPTED_EXTENSIONS,
Gilles Peskine449bd832023-01-11 14:50:10 +01002128 extension_type, "( ignored )");
Jerry Yucbd082f2022-08-04 16:55:10 +08002129 break;
XiaokangQian08da26c2021-10-09 10:12:11 +00002130 }
2131
XiaokangQian08da26c2021-10-09 10:12:11 +00002132 p += extension_data_len;
XiaokangQian97799ac2021-10-11 10:05:54 +00002133 }
XiaokangQian08da26c2021-10-09 10:12:11 +00002134
Gilles Peskine449bd832023-01-11 14:50:10 +01002135 MBEDTLS_SSL_PRINT_EXTS(3, MBEDTLS_SSL_HS_ENCRYPTED_EXTENSIONS,
2136 handshake->received_extensions);
Jerry Yucbd082f2022-08-04 16:55:10 +08002137
XiaokangQian97799ac2021-10-11 10:05:54 +00002138 /* Check that we consumed all the message. */
Gilles Peskine449bd832023-01-11 14:50:10 +01002139 if (p != end) {
2140 MBEDTLS_SSL_DEBUG_MSG(1, ("EncryptedExtension lengths misaligned"));
2141 MBEDTLS_SSL_PEND_FATAL_ALERT(MBEDTLS_SSL_ALERT_MSG_DECODE_ERROR,
2142 MBEDTLS_ERR_SSL_DECODE_ERROR);
2143 return MBEDTLS_ERR_SSL_DECODE_ERROR;
XiaokangQian2d5c72b2021-09-13 07:30:09 +00002144 }
2145
Gilles Peskine449bd832023-01-11 14:50:10 +01002146 return ret;
XiaokangQian2d5c72b2021-09-13 07:30:09 +00002147}
2148
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +02002149MBEDTLS_CHECK_RETURN_CRITICAL
Gilles Peskine449bd832023-01-11 14:50:10 +01002150static int ssl_tls13_process_encrypted_extensions(mbedtls_ssl_context *ssl)
Ronald Cron9d6a5452022-05-30 16:05:38 +02002151{
2152 int ret;
2153 unsigned char *buf;
2154 size_t buf_len;
Jerry Yu960b7eb2023-10-31 16:40:01 +08002155 mbedtls_ssl_handshake_params *handshake = ssl->handshake;
Ronald Cron9d6a5452022-05-30 16:05:38 +02002156
Gilles Peskine449bd832023-01-11 14:50:10 +01002157 MBEDTLS_SSL_DEBUG_MSG(2, ("=> parse encrypted extensions"));
Ronald Cron9d6a5452022-05-30 16:05:38 +02002158
Xiaokang Qian958b6ff2023-03-29 10:37:35 +00002159 MBEDTLS_SSL_PROC_CHK(mbedtls_ssl_tls13_fetch_handshake_msg(
2160 ssl, MBEDTLS_SSL_HS_ENCRYPTED_EXTENSIONS,
2161 &buf, &buf_len));
Ronald Cron9d6a5452022-05-30 16:05:38 +02002162
2163 /* Process the message contents */
2164 MBEDTLS_SSL_PROC_CHK(
Gilles Peskine449bd832023-01-11 14:50:10 +01002165 ssl_tls13_parse_encrypted_extensions(ssl, buf, buf + buf_len));
Ronald Cron9d6a5452022-05-30 16:05:38 +02002166
Xiaokang Qianb157e912022-11-23 08:12:26 +00002167#if defined(MBEDTLS_SSL_EARLY_DATA)
Jerry Yu960b7eb2023-10-31 16:40:01 +08002168 if (handshake->received_extensions & MBEDTLS_SSL_EXT_MASK(EARLY_DATA)) {
2169 /* RFC8446 4.2.11
2170 * If the server supplies an "early_data" extension, the
2171 * client MUST verify that the server's selected_identity
2172 * is 0. If any other value is returned, the client MUST
2173 * abort the handshake with an "illegal_parameter" alert.
2174 *
2175 * RFC 8446 4.2.10
2176 * In order to accept early data, the server MUST have accepted a PSK
2177 * cipher suite and selected the first key offered in the client's
2178 * "pre_shared_key" extension. In addition, it MUST verify that the
2179 * following values are the same as those associated with the
2180 * selected PSK:
2181 * - The TLS version number
2182 * - The selected cipher suite
2183 * - The selected ALPN [RFC7301] protocol, if any
2184 *
Yanray Wang03a00762023-12-01 17:40:19 +08002185 * The server has sent an early data extension in its Encrypted
2186 * Extension message thus accepted to receive early data. We
2187 * check here that the additional constraints on the handshake
2188 * parameters, when early data are exchanged, are met,
2189 * namely:
Yanray Wang744577a2023-12-01 22:33:59 +08002190 * - a PSK has been selected for the handshake
Yanray Wang03a00762023-12-01 17:40:19 +08002191 * - the selected PSK for the handshake was the first one proposed
2192 * by the client.
2193 * - the selected ciphersuite for the handshake is the ciphersuite
2194 * associated with the selected PSK.
Jerry Yu960b7eb2023-10-31 16:40:01 +08002195 */
Yanray Wang744577a2023-12-01 22:33:59 +08002196 if ((!mbedtls_ssl_tls13_key_exchange_mode_with_psk(ssl)) ||
2197 handshake->selected_identity != 0 ||
Jerry Yu960b7eb2023-10-31 16:40:01 +08002198 handshake->ciphersuite_info->id !=
2199 ssl->session_negotiate->ciphersuite) {
2200
2201 MBEDTLS_SSL_PEND_FATAL_ALERT(
2202 MBEDTLS_SSL_ALERT_MSG_ILLEGAL_PARAMETER,
2203 MBEDTLS_ERR_SSL_ILLEGAL_PARAMETER);
2204 return MBEDTLS_ERR_SSL_ILLEGAL_PARAMETER;
2205 }
2206
Xiaokang Qianb157e912022-11-23 08:12:26 +00002207 ssl->early_data_status = MBEDTLS_SSL_EARLY_DATA_STATUS_ACCEPTED;
2208 }
2209#endif
2210
Yanray Wanga29db7d2023-11-30 14:06:14 +08002211 /*
Yanray Wang9ae65342023-12-01 17:46:06 +08002212 * In case the client has proposed a PSK associated with a ticket,
2213 * `ssl->session_negotiate->ciphersuite` still contains at this point the
2214 * identifier of the ciphersuite associated with the ticket. This is that
2215 * way because, if an exchange of early data is agreed upon, we need
2216 * it to check that the ciphersuite selected for the handshake is the
2217 * ticket ciphersuite (see above). This information is not needed
2218 * anymore thus we can now set it to the identifier of the ciphersuite
2219 * used in this session under negotiation.
Yanray Wanga29db7d2023-11-30 14:06:14 +08002220 */
2221 ssl->session_negotiate->ciphersuite = handshake->ciphersuite_info->id;
2222
Xiaokang Qian958b6ff2023-03-29 10:37:35 +00002223 MBEDTLS_SSL_PROC_CHK(mbedtls_ssl_add_hs_msg_to_checksum(
2224 ssl, MBEDTLS_SSL_HS_ENCRYPTED_EXTENSIONS,
2225 buf, buf_len));
Ronald Cron9d6a5452022-05-30 16:05:38 +02002226
Ronald Cron928cbd32022-10-04 16:14:26 +02002227#if defined(MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_EPHEMERAL_ENABLED)
Gilles Peskine449bd832023-01-11 14:50:10 +01002228 if (mbedtls_ssl_tls13_key_exchange_mode_with_psk(ssl)) {
2229 mbedtls_ssl_handshake_set_state(ssl, MBEDTLS_SSL_SERVER_FINISHED);
2230 } else {
2231 mbedtls_ssl_handshake_set_state(ssl, MBEDTLS_SSL_CERTIFICATE_REQUEST);
2232 }
Ronald Cronfb508b82022-05-31 14:49:55 +02002233#else
2234 ((void) ssl);
Gilles Peskine449bd832023-01-11 14:50:10 +01002235 mbedtls_ssl_handshake_set_state(ssl, MBEDTLS_SSL_SERVER_FINISHED);
Ronald Cronfb508b82022-05-31 14:49:55 +02002236#endif
Ronald Cron9d6a5452022-05-30 16:05:38 +02002237
2238cleanup:
2239
Gilles Peskine449bd832023-01-11 14:50:10 +01002240 MBEDTLS_SSL_DEBUG_MSG(2, ("<= parse encrypted extensions"));
2241 return ret;
Ronald Cron9d6a5452022-05-30 16:05:38 +02002242
2243}
2244
Xiaokang Qian125afcb2022-10-28 06:04:06 +00002245/*
2246 * Handler for MBEDTLS_SSL_END_OF_EARLY_DATA
2247 *
Xiaokang Qianc81a15a2022-12-19 02:43:33 +00002248 * RFC 8446 section 4.5
Xiaokang Qian125afcb2022-10-28 06:04:06 +00002249 *
Xiaokang Qian125afcb2022-10-28 06:04:06 +00002250 * struct {} EndOfEarlyData;
Xiaokang Qianc81a15a2022-12-19 02:43:33 +00002251 *
2252 * If the server sent an "early_data" extension in EncryptedExtensions, the
2253 * client MUST send an EndOfEarlyData message after receiving the server
2254 * Finished. Otherwise, the client MUST NOT send an EndOfEarlyData message.
Xiaokang Qian125afcb2022-10-28 06:04:06 +00002255 */
2256
Xiaokang Qian125afcb2022-10-28 06:04:06 +00002257MBEDTLS_CHECK_RETURN_CRITICAL
Xiaokang Qian125afcb2022-10-28 06:04:06 +00002258static int ssl_tls13_write_end_of_early_data(mbedtls_ssl_context *ssl)
2259{
2260 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Xiaokang Qian742578c2022-12-19 06:34:44 +00002261 unsigned char *buf = NULL;
2262 size_t buf_len;
Xiaokang Qian57a138d2022-12-19 06:40:47 +00002263 MBEDTLS_SSL_DEBUG_MSG(2, ("=> write EndOfEarlyData"));
Xiaokang Qian125afcb2022-10-28 06:04:06 +00002264
Xiaokang Qian742578c2022-12-19 06:34:44 +00002265 MBEDTLS_SSL_PROC_CHK(mbedtls_ssl_start_handshake_msg(
Xiaokang Qian0de0d862023-02-08 06:04:50 +00002266 ssl, MBEDTLS_SSL_HS_END_OF_EARLY_DATA,
2267 &buf, &buf_len));
Xiaokang Qian125afcb2022-10-28 06:04:06 +00002268
Manuel Pégourié-Gonnard63e33dd2023-02-21 15:45:15 +01002269 MBEDTLS_SSL_PROC_CHK(mbedtls_ssl_add_hs_hdr_to_checksum(
2270 ssl, MBEDTLS_SSL_HS_END_OF_EARLY_DATA, 0));
Xiaokang Qian125afcb2022-10-28 06:04:06 +00002271
Xiaokang Qian742578c2022-12-19 06:34:44 +00002272 MBEDTLS_SSL_PROC_CHK(
2273 mbedtls_ssl_finish_handshake_msg(ssl, buf_len, 0));
Xiaokang Qianda8402d2022-12-15 14:55:35 +00002274
Xiaokang Qian19d44162023-01-03 03:39:50 +00002275 mbedtls_ssl_handshake_set_state(ssl, MBEDTLS_SSL_CLIENT_CERTIFICATE);
Xiaokang Qian125afcb2022-10-28 06:04:06 +00002276
2277cleanup:
2278
2279 MBEDTLS_SSL_DEBUG_MSG(2, ("<= write EndOfEarlyData"));
2280 return ret;
2281}
2282
Ronald Cron928cbd32022-10-04 16:14:26 +02002283#if defined(MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_EPHEMERAL_ENABLED)
Jerry Yu687101b2021-09-14 16:03:56 +08002284/*
Xiaofei Baia0ab7772022-01-16 12:14:45 +00002285 * STATE HANDLING: CertificateRequest
2286 *
Jerry Yud2674312021-10-29 10:08:19 +08002287 */
Xiaofei Bai69fcd392022-01-20 08:25:00 +00002288#define SSL_CERTIFICATE_REQUEST_EXPECT_REQUEST 0
2289#define SSL_CERTIFICATE_REQUEST_SKIP 1
Xiaofei Baia0ab7772022-01-16 12:14:45 +00002290/* Coordination:
2291 * Deals with the ambiguity of not knowing if a CertificateRequest
2292 * will be sent. Returns a negative code on failure, or
2293 * - SSL_CERTIFICATE_REQUEST_EXPECT_REQUEST
2294 * - SSL_CERTIFICATE_REQUEST_SKIP
2295 * indicating if a Certificate Request is expected or not.
2296 */
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +02002297MBEDTLS_CHECK_RETURN_CRITICAL
Gilles Peskine449bd832023-01-11 14:50:10 +01002298static int ssl_tls13_certificate_request_coordinate(mbedtls_ssl_context *ssl)
Jerry Yud2674312021-10-29 10:08:19 +08002299{
Xiaofei Baide3f13e2022-01-18 05:47:05 +00002300 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Jerry Yud2674312021-10-29 10:08:19 +08002301
Gilles Peskine449bd832023-01-11 14:50:10 +01002302 if ((ret = mbedtls_ssl_read_record(ssl, 0)) != 0) {
2303 MBEDTLS_SSL_DEBUG_RET(1, "mbedtls_ssl_read_record", ret);
2304 return ret;
Jerry Yud2674312021-10-29 10:08:19 +08002305 }
Xiaofei Baia0ab7772022-01-16 12:14:45 +00002306 ssl->keep_current_message = 1;
Jerry Yud2674312021-10-29 10:08:19 +08002307
Gilles Peskine449bd832023-01-11 14:50:10 +01002308 if ((ssl->in_msgtype == MBEDTLS_SSL_MSG_HANDSHAKE) &&
2309 (ssl->in_msg[0] == MBEDTLS_SSL_HS_CERTIFICATE_REQUEST)) {
2310 MBEDTLS_SSL_DEBUG_MSG(3, ("got a certificate request"));
2311 return SSL_CERTIFICATE_REQUEST_EXPECT_REQUEST;
Jerry Yud2674312021-10-29 10:08:19 +08002312 }
2313
Gilles Peskine449bd832023-01-11 14:50:10 +01002314 MBEDTLS_SSL_DEBUG_MSG(3, ("got no certificate request"));
Ronald Cron19385882022-06-15 16:26:13 +02002315
Gilles Peskine449bd832023-01-11 14:50:10 +01002316 return SSL_CERTIFICATE_REQUEST_SKIP;
Xiaofei Baia0ab7772022-01-16 12:14:45 +00002317}
2318
Xiaofei Baia0ab7772022-01-16 12:14:45 +00002319/*
2320 * ssl_tls13_parse_certificate_request()
2321 * Parse certificate request
2322 * struct {
2323 * opaque certificate_request_context<0..2^8-1>;
2324 * Extension extensions<2..2^16-1>;
2325 * } CertificateRequest;
2326 */
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +02002327MBEDTLS_CHECK_RETURN_CRITICAL
Gilles Peskine449bd832023-01-11 14:50:10 +01002328static int ssl_tls13_parse_certificate_request(mbedtls_ssl_context *ssl,
2329 const unsigned char *buf,
2330 const unsigned char *end)
Xiaofei Baia0ab7772022-01-16 12:14:45 +00002331{
2332 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
2333 const unsigned char *p = buf;
Xiaofei Baia0ab7772022-01-16 12:14:45 +00002334 size_t certificate_request_context_len = 0;
Xiaofei Bai82f0a9a2022-01-26 09:21:54 +00002335 size_t extensions_len = 0;
2336 const unsigned char *extensions_end;
Jerry Yuc4bf5d62022-10-29 09:08:47 +08002337 mbedtls_ssl_handshake_params *handshake = ssl->handshake;
Xiaofei Baia0ab7772022-01-16 12:14:45 +00002338
Xiaofei Bai82f0a9a2022-01-26 09:21:54 +00002339 /* ...
2340 * opaque certificate_request_context<0..2^8-1>
2341 * ...
2342 */
Gilles Peskine449bd832023-01-11 14:50:10 +01002343 MBEDTLS_SSL_CHK_BUF_READ_PTR(p, end, 1);
Xiaofei Baia0ab7772022-01-16 12:14:45 +00002344 certificate_request_context_len = (size_t) p[0];
Xiaofei Bai69fcd392022-01-20 08:25:00 +00002345 p += 1;
Xiaofei Baia0ab7772022-01-16 12:14:45 +00002346
Gilles Peskine449bd832023-01-11 14:50:10 +01002347 if (certificate_request_context_len > 0) {
2348 MBEDTLS_SSL_CHK_BUF_READ_PTR(p, end, certificate_request_context_len);
2349 MBEDTLS_SSL_DEBUG_BUF(3, "Certificate Request Context",
2350 p, certificate_request_context_len);
Xiaofei Baia0ab7772022-01-16 12:14:45 +00002351
Xiaofei Bai69fcd392022-01-20 08:25:00 +00002352 handshake->certificate_request_context =
Gilles Peskine449bd832023-01-11 14:50:10 +01002353 mbedtls_calloc(1, certificate_request_context_len);
2354 if (handshake->certificate_request_context == NULL) {
2355 MBEDTLS_SSL_DEBUG_MSG(1, ("buffer too small"));
2356 return MBEDTLS_ERR_SSL_ALLOC_FAILED;
Xiaofei Baia0ab7772022-01-16 12:14:45 +00002357 }
Gilles Peskine449bd832023-01-11 14:50:10 +01002358 memcpy(handshake->certificate_request_context, p,
2359 certificate_request_context_len);
Xiaofei Baia0ab7772022-01-16 12:14:45 +00002360 p += certificate_request_context_len;
2361 }
2362
Xiaofei Bai82f0a9a2022-01-26 09:21:54 +00002363 /* ...
2364 * Extension extensions<2..2^16-1>;
2365 * ...
Xiaofei Baia0ab7772022-01-16 12:14:45 +00002366 */
Gilles Peskine449bd832023-01-11 14:50:10 +01002367 MBEDTLS_SSL_CHK_BUF_READ_PTR(p, end, 2);
2368 extensions_len = MBEDTLS_GET_UINT16_BE(p, 0);
Xiaofei Baia0ab7772022-01-16 12:14:45 +00002369 p += 2;
2370
Gilles Peskine449bd832023-01-11 14:50:10 +01002371 MBEDTLS_SSL_CHK_BUF_READ_PTR(p, end, extensions_len);
Xiaofei Baia0ab7772022-01-16 12:14:45 +00002372 extensions_end = p + extensions_len;
2373
Jerry Yu6d0e78b2022-10-31 14:13:25 +08002374 handshake->received_extensions = MBEDTLS_SSL_EXT_MASK_NONE;
Jerry Yuc55a6af2022-08-04 17:01:21 +08002375
Gilles Peskine449bd832023-01-11 14:50:10 +01002376 while (p < extensions_end) {
Xiaofei Baia0ab7772022-01-16 12:14:45 +00002377 unsigned int extension_type;
2378 size_t extension_data_len;
2379
Gilles Peskine449bd832023-01-11 14:50:10 +01002380 MBEDTLS_SSL_CHK_BUF_READ_PTR(p, extensions_end, 4);
2381 extension_type = MBEDTLS_GET_UINT16_BE(p, 0);
2382 extension_data_len = MBEDTLS_GET_UINT16_BE(p, 2);
Xiaofei Baia0ab7772022-01-16 12:14:45 +00002383 p += 4;
2384
Gilles Peskine449bd832023-01-11 14:50:10 +01002385 MBEDTLS_SSL_CHK_BUF_READ_PTR(p, extensions_end, extension_data_len);
Xiaofei Baia0ab7772022-01-16 12:14:45 +00002386
Jerry Yuc4bf5d62022-10-29 09:08:47 +08002387 ret = mbedtls_ssl_tls13_check_received_extension(
Gilles Peskine449bd832023-01-11 14:50:10 +01002388 ssl, MBEDTLS_SSL_HS_CERTIFICATE_REQUEST, extension_type,
2389 MBEDTLS_SSL_TLS1_3_ALLOWED_EXTS_OF_CR);
2390 if (ret != 0) {
2391 return ret;
2392 }
Jerry Yuc55a6af2022-08-04 17:01:21 +08002393
Gilles Peskine449bd832023-01-11 14:50:10 +01002394 switch (extension_type) {
Xiaofei Baia0ab7772022-01-16 12:14:45 +00002395 case MBEDTLS_TLS_EXT_SIG_ALG:
Gilles Peskine449bd832023-01-11 14:50:10 +01002396 MBEDTLS_SSL_DEBUG_MSG(3,
2397 ("found signature algorithms extension"));
2398 ret = mbedtls_ssl_parse_sig_alg_ext(ssl, p,
2399 p + extension_data_len);
2400 if (ret != 0) {
2401 return ret;
2402 }
Jerry Yuc55a6af2022-08-04 17:01:21 +08002403
Xiaofei Baia0ab7772022-01-16 12:14:45 +00002404 break;
2405
2406 default:
Jerry Yu79aa7212022-11-08 21:30:21 +08002407 MBEDTLS_SSL_PRINT_EXT(
Jerry Yu6d0e78b2022-10-31 14:13:25 +08002408 3, MBEDTLS_SSL_HS_CERTIFICATE_REQUEST,
Gilles Peskine449bd832023-01-11 14:50:10 +01002409 extension_type, "( ignored )");
Xiaofei Bai82f0a9a2022-01-26 09:21:54 +00002410 break;
Xiaofei Baia0ab7772022-01-16 12:14:45 +00002411 }
Jerry Yuc55a6af2022-08-04 17:01:21 +08002412
Xiaofei Baia0ab7772022-01-16 12:14:45 +00002413 p += extension_data_len;
2414 }
Jerry Yuc55a6af2022-08-04 17:01:21 +08002415
Gilles Peskine449bd832023-01-11 14:50:10 +01002416 MBEDTLS_SSL_PRINT_EXTS(3, MBEDTLS_SSL_HS_CERTIFICATE_REQUEST,
2417 handshake->received_extensions);
Jerry Yuc55a6af2022-08-04 17:01:21 +08002418
Xiaofei Bai69fcd392022-01-20 08:25:00 +00002419 /* Check that we consumed all the message. */
Gilles Peskine449bd832023-01-11 14:50:10 +01002420 if (p != end) {
2421 MBEDTLS_SSL_DEBUG_MSG(1,
2422 ("CertificateRequest misaligned"));
Xiaofei Baic234ecf2022-02-08 09:59:23 +00002423 goto decode_error;
Xiaofei Bai69fcd392022-01-20 08:25:00 +00002424 }
Jerry Yuc55a6af2022-08-04 17:01:21 +08002425
Jerry Yu0c354a22022-08-29 15:25:36 +08002426 /* RFC 8446 section 4.3.2
Jerry Yuc55a6af2022-08-04 17:01:21 +08002427 *
2428 * The "signature_algorithms" extension MUST be specified
2429 */
Gilles Peskine449bd832023-01-11 14:50:10 +01002430 if ((handshake->received_extensions & MBEDTLS_SSL_EXT_MASK(SIG_ALG)) == 0) {
2431 MBEDTLS_SSL_DEBUG_MSG(3,
2432 ("no signature algorithms extension found"));
Xiaofei Baic234ecf2022-02-08 09:59:23 +00002433 goto decode_error;
Xiaofei Bai69fcd392022-01-20 08:25:00 +00002434 }
Xiaofei Baia0ab7772022-01-16 12:14:45 +00002435
Jerry Yu7840f812022-01-29 10:26:51 +08002436 ssl->handshake->client_auth = 1;
Gilles Peskine449bd832023-01-11 14:50:10 +01002437 return 0;
Xiaofei Bai51f515a2022-02-08 07:28:04 +00002438
Xiaofei Baic234ecf2022-02-08 09:59:23 +00002439decode_error:
Gilles Peskine449bd832023-01-11 14:50:10 +01002440 MBEDTLS_SSL_PEND_FATAL_ALERT(MBEDTLS_SSL_ALERT_MSG_DECODE_ERROR,
2441 MBEDTLS_ERR_SSL_DECODE_ERROR);
2442 return MBEDTLS_ERR_SSL_DECODE_ERROR;
Xiaofei Baia0ab7772022-01-16 12:14:45 +00002443}
Xiaofei Baia0ab7772022-01-16 12:14:45 +00002444
Xiaofei Baide3f13e2022-01-18 05:47:05 +00002445/*
2446 * Handler for MBEDTLS_SSL_CERTIFICATE_REQUEST
2447 */
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +02002448MBEDTLS_CHECK_RETURN_CRITICAL
Gilles Peskine449bd832023-01-11 14:50:10 +01002449static int ssl_tls13_process_certificate_request(mbedtls_ssl_context *ssl)
Xiaofei Baia0ab7772022-01-16 12:14:45 +00002450{
Xiaofei Baide3f13e2022-01-18 05:47:05 +00002451 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Xiaofei Baia0ab7772022-01-16 12:14:45 +00002452
Gilles Peskine449bd832023-01-11 14:50:10 +01002453 MBEDTLS_SSL_DEBUG_MSG(2, ("=> parse certificate request"));
Xiaofei Baia0ab7772022-01-16 12:14:45 +00002454
Gilles Peskine449bd832023-01-11 14:50:10 +01002455 MBEDTLS_SSL_PROC_CHK_NEG(ssl_tls13_certificate_request_coordinate(ssl));
Xiaofei Baia0ab7772022-01-16 12:14:45 +00002456
Gilles Peskine449bd832023-01-11 14:50:10 +01002457 if (ret == SSL_CERTIFICATE_REQUEST_EXPECT_REQUEST) {
Xiaofei Baia0ab7772022-01-16 12:14:45 +00002458 unsigned char *buf;
2459 size_t buf_len;
2460
Xiaokang Qian958b6ff2023-03-29 10:37:35 +00002461 MBEDTLS_SSL_PROC_CHK(mbedtls_ssl_tls13_fetch_handshake_msg(
2462 ssl, MBEDTLS_SSL_HS_CERTIFICATE_REQUEST,
2463 &buf, &buf_len));
Xiaofei Baia0ab7772022-01-16 12:14:45 +00002464
Xiaokang Qian958b6ff2023-03-29 10:37:35 +00002465 MBEDTLS_SSL_PROC_CHK(ssl_tls13_parse_certificate_request(
2466 ssl, buf, buf + buf_len));
Xiaofei Baia0ab7772022-01-16 12:14:45 +00002467
Xiaokang Qian958b6ff2023-03-29 10:37:35 +00002468 MBEDTLS_SSL_PROC_CHK(mbedtls_ssl_add_hs_msg_to_checksum(
2469 ssl, MBEDTLS_SSL_HS_CERTIFICATE_REQUEST,
2470 buf, buf_len));
Gilles Peskine449bd832023-01-11 14:50:10 +01002471 } else if (ret == SSL_CERTIFICATE_REQUEST_SKIP) {
Xiaofei Baif6d36962022-01-16 14:54:35 +00002472 ret = 0;
Gilles Peskine449bd832023-01-11 14:50:10 +01002473 } else {
2474 MBEDTLS_SSL_DEBUG_MSG(1, ("should never happen"));
Xiaofei Bai51f515a2022-02-08 07:28:04 +00002475 ret = MBEDTLS_ERR_SSL_INTERNAL_ERROR;
2476 goto cleanup;
Xiaofei Baia0ab7772022-01-16 12:14:45 +00002477 }
2478
Gilles Peskine449bd832023-01-11 14:50:10 +01002479 mbedtls_ssl_handshake_set_state(ssl, MBEDTLS_SSL_SERVER_CERTIFICATE);
Jerry Yud2674312021-10-29 10:08:19 +08002480
Xiaofei Baia0ab7772022-01-16 12:14:45 +00002481cleanup:
2482
Gilles Peskine449bd832023-01-11 14:50:10 +01002483 MBEDTLS_SSL_DEBUG_MSG(2, ("<= parse certificate request"));
2484 return ret;
Jerry Yud2674312021-10-29 10:08:19 +08002485}
2486
2487/*
Jerry Yu687101b2021-09-14 16:03:56 +08002488 * Handler for MBEDTLS_SSL_SERVER_CERTIFICATE
2489 */
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +02002490MBEDTLS_CHECK_RETURN_CRITICAL
Gilles Peskine449bd832023-01-11 14:50:10 +01002491static int ssl_tls13_process_server_certificate(mbedtls_ssl_context *ssl)
Jerry Yu687101b2021-09-14 16:03:56 +08002492{
Xiaofei Bai947571e2021-09-29 09:12:03 +00002493 int ret;
2494
Gilles Peskine449bd832023-01-11 14:50:10 +01002495 ret = mbedtls_ssl_tls13_process_certificate(ssl);
2496 if (ret != 0) {
2497 return ret;
2498 }
Xiaofei Bai947571e2021-09-29 09:12:03 +00002499
Gilles Peskine449bd832023-01-11 14:50:10 +01002500 mbedtls_ssl_handshake_set_state(ssl, MBEDTLS_SSL_CERTIFICATE_VERIFY);
2501 return 0;
Jerry Yu687101b2021-09-14 16:03:56 +08002502}
2503
2504/*
2505 * Handler for MBEDTLS_SSL_CERTIFICATE_VERIFY
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_certificate_verify(mbedtls_ssl_context *ssl)
Jerry Yu687101b2021-09-14 16:03:56 +08002509{
Jerry Yu30b071c2021-09-12 20:16:03 +08002510 int ret;
2511
Gilles Peskine449bd832023-01-11 14:50:10 +01002512 ret = mbedtls_ssl_tls13_process_certificate_verify(ssl);
2513 if (ret != 0) {
2514 return ret;
2515 }
Jerry Yu30b071c2021-09-12 20:16:03 +08002516
Gilles Peskine449bd832023-01-11 14:50:10 +01002517 mbedtls_ssl_handshake_set_state(ssl, MBEDTLS_SSL_SERVER_FINISHED);
2518 return 0;
Jerry Yu687101b2021-09-14 16:03:56 +08002519}
Ronald Cron928cbd32022-10-04 16:14:26 +02002520#endif /* MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_EPHEMERAL_ENABLED */
Ronald Crond4c64022021-12-06 09:06:46 +01002521
Jerry Yu687101b2021-09-14 16:03:56 +08002522/*
2523 * Handler for MBEDTLS_SSL_SERVER_FINISHED
2524 */
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +02002525MBEDTLS_CHECK_RETURN_CRITICAL
Gilles Peskine449bd832023-01-11 14:50:10 +01002526static int ssl_tls13_process_server_finished(mbedtls_ssl_context *ssl)
Jerry Yu687101b2021-09-14 16:03:56 +08002527{
XiaokangQianac0385c2021-11-03 06:40:11 +00002528 int ret;
2529
Gilles Peskine449bd832023-01-11 14:50:10 +01002530 ret = mbedtls_ssl_tls13_process_finished_message(ssl);
2531 if (ret != 0) {
2532 return ret;
2533 }
XiaokangQianac0385c2021-11-03 06:40:11 +00002534
Gilles Peskine449bd832023-01-11 14:50:10 +01002535 ret = mbedtls_ssl_tls13_compute_application_transform(ssl);
2536 if (ret != 0) {
Jerry Yue3d67cb2022-05-19 15:33:10 +08002537 MBEDTLS_SSL_PEND_FATAL_ALERT(
Gilles Peskine449bd832023-01-11 14:50:10 +01002538 MBEDTLS_SSL_ALERT_MSG_HANDSHAKE_FAILURE,
2539 MBEDTLS_ERR_SSL_HANDSHAKE_FAILURE);
2540 return ret;
Jerry Yue3d67cb2022-05-19 15:33:10 +08002541 }
2542
Xiaokang Qianbc75bc02022-12-19 06:16:42 +00002543#if defined(MBEDTLS_SSL_EARLY_DATA)
2544 if (ssl->early_data_status == MBEDTLS_SSL_EARLY_DATA_STATUS_ACCEPTED) {
2545 mbedtls_ssl_handshake_set_state(ssl, MBEDTLS_SSL_END_OF_EARLY_DATA);
Xiaokang Qianbd0ab062023-02-02 05:56:30 +00002546 } else if (ssl->early_data_status == MBEDTLS_SSL_EARLY_DATA_STATUS_REJECTED) {
2547 mbedtls_ssl_handshake_set_state(ssl, MBEDTLS_SSL_CLIENT_CERTIFICATE);
Xiaokang Qianbc75bc02022-12-19 06:16:42 +00002548 } else
2549#endif /* MBEDTLS_SSL_EARLY_DATA */
2550 {
2551#if defined(MBEDTLS_SSL_TLS1_3_COMPATIBILITY_MODE)
2552 mbedtls_ssl_handshake_set_state(
2553 ssl, MBEDTLS_SSL_CLIENT_CCS_AFTER_SERVER_FINISHED);
2554#else
2555 mbedtls_ssl_handshake_set_state(ssl, MBEDTLS_SSL_CLIENT_CERTIFICATE);
2556#endif /* MBEDTLS_SSL_TLS1_3_COMPATIBILITY_MODE */
2557 }
Ronald Cron49ad6192021-11-24 16:25:31 +01002558
Gilles Peskine449bd832023-01-11 14:50:10 +01002559 return 0;
Jerry Yu687101b2021-09-14 16:03:56 +08002560}
2561
2562/*
Jerry Yu566c7812022-01-26 15:41:22 +08002563 * Handler for MBEDTLS_SSL_CLIENT_CERTIFICATE
2564 */
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +02002565MBEDTLS_CHECK_RETURN_CRITICAL
Gilles Peskine449bd832023-01-11 14:50:10 +01002566static int ssl_tls13_write_client_certificate(mbedtls_ssl_context *ssl)
Jerry Yu566c7812022-01-26 15:41:22 +08002567{
Ronald Cron7a94aca2022-03-09 07:44:27 +01002568 int non_empty_certificate_msg = 0;
2569
Gilles Peskine449bd832023-01-11 14:50:10 +01002570 MBEDTLS_SSL_DEBUG_MSG(1,
2571 ("Switch to handshake traffic keys for outbound traffic"));
2572 mbedtls_ssl_set_outbound_transform(ssl, ssl->handshake->transform_handshake);
Jerry Yu5cc35062022-01-28 16:16:08 +08002573
Ronald Cron928cbd32022-10-04 16:14:26 +02002574#if defined(MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_EPHEMERAL_ENABLED)
Gilles Peskine449bd832023-01-11 14:50:10 +01002575 if (ssl->handshake->client_auth) {
2576 int ret = mbedtls_ssl_tls13_write_certificate(ssl);
2577 if (ret != 0) {
2578 return ret;
2579 }
Ronald Cron5bb8fc82022-03-09 07:00:13 +01002580
Gilles Peskine449bd832023-01-11 14:50:10 +01002581 if (mbedtls_ssl_own_cert(ssl) != NULL) {
Ronald Cron7a94aca2022-03-09 07:44:27 +01002582 non_empty_certificate_msg = 1;
Gilles Peskine449bd832023-01-11 14:50:10 +01002583 }
2584 } else {
2585 MBEDTLS_SSL_DEBUG_MSG(2, ("skip write certificate"));
Ronald Cron7a94aca2022-03-09 07:44:27 +01002586 }
Ronald Cron9df7c802022-03-08 18:38:54 +01002587#endif
Ronald Cron5bb8fc82022-03-09 07:00:13 +01002588
Gilles Peskine449bd832023-01-11 14:50:10 +01002589 if (non_empty_certificate_msg) {
2590 mbedtls_ssl_handshake_set_state(ssl,
2591 MBEDTLS_SSL_CLIENT_CERTIFICATE_VERIFY);
2592 } else {
2593 MBEDTLS_SSL_DEBUG_MSG(2, ("skip write certificate verify"));
2594 mbedtls_ssl_handshake_set_state(ssl, MBEDTLS_SSL_CLIENT_FINISHED);
2595 }
Ronald Cron7a94aca2022-03-09 07:44:27 +01002596
Gilles Peskine449bd832023-01-11 14:50:10 +01002597 return 0;
Jerry Yu566c7812022-01-26 15:41:22 +08002598}
2599
Ronald Cron928cbd32022-10-04 16:14:26 +02002600#if defined(MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_EPHEMERAL_ENABLED)
Jerry Yu566c7812022-01-26 15:41:22 +08002601/*
2602 * Handler for MBEDTLS_SSL_CLIENT_CERTIFICATE_VERIFY
2603 */
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +02002604MBEDTLS_CHECK_RETURN_CRITICAL
Gilles Peskine449bd832023-01-11 14:50:10 +01002605static int ssl_tls13_write_client_certificate_verify(mbedtls_ssl_context *ssl)
Jerry Yu566c7812022-01-26 15:41:22 +08002606{
Gilles Peskine449bd832023-01-11 14:50:10 +01002607 int ret = mbedtls_ssl_tls13_write_certificate_verify(ssl);
Ronald Crona8b38872022-03-09 07:59:25 +01002608
Gilles Peskine449bd832023-01-11 14:50:10 +01002609 if (ret == 0) {
2610 mbedtls_ssl_handshake_set_state(ssl, MBEDTLS_SSL_CLIENT_FINISHED);
2611 }
Ronald Crona8b38872022-03-09 07:59:25 +01002612
Gilles Peskine449bd832023-01-11 14:50:10 +01002613 return ret;
Jerry Yu566c7812022-01-26 15:41:22 +08002614}
Ronald Cron928cbd32022-10-04 16:14:26 +02002615#endif /* MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_EPHEMERAL_ENABLED */
Jerry Yu566c7812022-01-26 15:41:22 +08002616
2617/*
Jerry Yu687101b2021-09-14 16:03:56 +08002618 * Handler for MBEDTLS_SSL_CLIENT_FINISHED
2619 */
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +02002620MBEDTLS_CHECK_RETURN_CRITICAL
Gilles Peskine449bd832023-01-11 14:50:10 +01002621static int ssl_tls13_write_client_finished(mbedtls_ssl_context *ssl)
Jerry Yu687101b2021-09-14 16:03:56 +08002622{
XiaokangQian0fa66432021-11-15 03:33:57 +00002623 int ret;
2624
Gilles Peskine449bd832023-01-11 14:50:10 +01002625 ret = mbedtls_ssl_tls13_write_finished_message(ssl);
2626 if (ret != 0) {
2627 return ret;
Jerry Yue3d67cb2022-05-19 15:33:10 +08002628 }
2629
Gilles Peskine449bd832023-01-11 14:50:10 +01002630 ret = mbedtls_ssl_tls13_compute_resumption_master_secret(ssl);
2631 if (ret != 0) {
Xiaokang Qian958b6ff2023-03-29 10:37:35 +00002632 MBEDTLS_SSL_DEBUG_RET(
2633 1, "mbedtls_ssl_tls13_compute_resumption_master_secret ", ret);
Gilles Peskine449bd832023-01-11 14:50:10 +01002634 return ret;
2635 }
2636
2637 mbedtls_ssl_handshake_set_state(ssl, MBEDTLS_SSL_FLUSH_BUFFERS);
2638 return 0;
Jerry Yu687101b2021-09-14 16:03:56 +08002639}
2640
2641/*
2642 * Handler for MBEDTLS_SSL_FLUSH_BUFFERS
2643 */
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +02002644MBEDTLS_CHECK_RETURN_CRITICAL
Gilles Peskine449bd832023-01-11 14:50:10 +01002645static int ssl_tls13_flush_buffers(mbedtls_ssl_context *ssl)
Jerry Yu687101b2021-09-14 16:03:56 +08002646{
Gilles Peskine449bd832023-01-11 14:50:10 +01002647 MBEDTLS_SSL_DEBUG_MSG(2, ("handshake: done"));
2648 mbedtls_ssl_handshake_set_state(ssl, MBEDTLS_SSL_HANDSHAKE_WRAPUP);
2649 return 0;
Jerry Yu687101b2021-09-14 16:03:56 +08002650}
2651
2652/*
2653 * Handler for MBEDTLS_SSL_HANDSHAKE_WRAPUP
2654 */
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +02002655MBEDTLS_CHECK_RETURN_CRITICAL
Gilles Peskine449bd832023-01-11 14:50:10 +01002656static int ssl_tls13_handshake_wrapup(mbedtls_ssl_context *ssl)
Jerry Yu687101b2021-09-14 16:03:56 +08002657{
Jerry Yu378254d2021-10-30 21:44:47 +08002658
Gilles Peskine449bd832023-01-11 14:50:10 +01002659 mbedtls_ssl_tls13_handshake_wrapup(ssl);
Jerry Yu378254d2021-10-30 21:44:47 +08002660
Gilles Peskine449bd832023-01-11 14:50:10 +01002661 mbedtls_ssl_handshake_set_state(ssl, MBEDTLS_SSL_HANDSHAKE_OVER);
2662 return 0;
Jerry Yu687101b2021-09-14 16:03:56 +08002663}
2664
Jerry Yuf8a49942022-07-07 11:32:32 +00002665#if defined(MBEDTLS_SSL_SESSION_TICKETS)
2666
Yanray Wang920db452023-11-14 17:20:16 +08002667#if defined(MBEDTLS_SSL_EARLY_DATA)
2668/* From RFC 8446 section 4.2.10
2669 *
2670 * struct {
2671 * select (Handshake.msg_type) {
2672 * case new_session_ticket: uint32 max_early_data_size;
2673 * ...
2674 * };
2675 * } EarlyDataIndication;
2676 */
2677MBEDTLS_CHECK_RETURN_CRITICAL
Yanray Wangb3e207d2023-11-30 16:49:49 +08002678static int ssl_tls13_parse_new_session_ticket_early_data_ext(
2679 mbedtls_ssl_context *ssl,
2680 const unsigned char *buf,
2681 const unsigned char *end)
Yanray Wang920db452023-11-14 17:20:16 +08002682{
Yanray Wangd0120842023-11-23 16:35:54 +08002683 mbedtls_ssl_session *session = ssl->session;
2684
Yanray Wang920db452023-11-14 17:20:16 +08002685 MBEDTLS_SSL_CHK_BUF_READ_PTR(buf, end, 4);
Yanray Wang920db452023-11-14 17:20:16 +08002686
Yanray Wangd0120842023-11-23 16:35:54 +08002687 session->max_early_data_size = MBEDTLS_GET_UINT32_BE(buf, 0);
2688 mbedtls_ssl_session_set_ticket_flags(
2689 session, MBEDTLS_SSL_TLS1_3_TICKET_ALLOW_EARLY_DATA);
2690 MBEDTLS_SSL_DEBUG_MSG(
2691 3, ("received max_early_data_size: %u",
2692 (unsigned int) session->max_early_data_size));
Yanray Wang920db452023-11-14 17:20:16 +08002693
Yanray Wangd0120842023-11-23 16:35:54 +08002694 return 0;
Yanray Wang920db452023-11-14 17:20:16 +08002695}
2696#endif /* MBEDTLS_SSL_EARLY_DATA */
2697
Jerry Yua0446a02022-07-13 11:22:55 +08002698MBEDTLS_CHECK_RETURN_CRITICAL
Gilles Peskine449bd832023-01-11 14:50:10 +01002699static int ssl_tls13_parse_new_session_ticket_exts(mbedtls_ssl_context *ssl,
2700 const unsigned char *buf,
2701 const unsigned char *end)
Jerry Yuf8a49942022-07-07 11:32:32 +00002702{
Jerry Yuc4bf5d62022-10-29 09:08:47 +08002703 mbedtls_ssl_handshake_params *handshake = ssl->handshake;
Jerry Yuaf2c0c82022-07-12 05:47:21 +00002704 const unsigned char *p = buf;
Jerry Yuf8a49942022-07-07 11:32:32 +00002705
Jerry Yuf8a49942022-07-07 11:32:32 +00002706
Jerry Yuedab6372022-10-31 14:37:31 +08002707 handshake->received_extensions = MBEDTLS_SSL_EXT_MASK_NONE;
Jerry Yu6ba9f1c2022-08-04 17:53:25 +08002708
Gilles Peskine449bd832023-01-11 14:50:10 +01002709 while (p < end) {
Jerry Yuf8a49942022-07-07 11:32:32 +00002710 unsigned int extension_type;
2711 size_t extension_data_len;
Jerry Yu0c354a22022-08-29 15:25:36 +08002712 int ret;
Jerry Yuf8a49942022-07-07 11:32:32 +00002713
Gilles Peskine449bd832023-01-11 14:50:10 +01002714 MBEDTLS_SSL_CHK_BUF_READ_PTR(p, end, 4);
2715 extension_type = MBEDTLS_GET_UINT16_BE(p, 0);
2716 extension_data_len = MBEDTLS_GET_UINT16_BE(p, 2);
Jerry Yuf8a49942022-07-07 11:32:32 +00002717 p += 4;
2718
Gilles Peskine449bd832023-01-11 14:50:10 +01002719 MBEDTLS_SSL_CHK_BUF_READ_PTR(p, end, extension_data_len);
Jerry Yuf8a49942022-07-07 11:32:32 +00002720
Jerry Yuc4bf5d62022-10-29 09:08:47 +08002721 ret = mbedtls_ssl_tls13_check_received_extension(
Gilles Peskine449bd832023-01-11 14:50:10 +01002722 ssl, MBEDTLS_SSL_HS_NEW_SESSION_TICKET, extension_type,
2723 MBEDTLS_SSL_TLS1_3_ALLOWED_EXTS_OF_NST);
2724 if (ret != 0) {
2725 return ret;
2726 }
Jerry Yu6ba9f1c2022-08-04 17:53:25 +08002727
Gilles Peskine449bd832023-01-11 14:50:10 +01002728 switch (extension_type) {
Xiaokang Qian0cc43202022-11-16 08:43:50 +00002729#if defined(MBEDTLS_SSL_EARLY_DATA)
Xiaokang Qianf447e8a2022-11-08 07:02:27 +00002730 case MBEDTLS_TLS_EXT_EARLY_DATA:
Yanray Wangb3e207d2023-11-30 16:49:49 +08002731 ret = ssl_tls13_parse_new_session_ticket_early_data_ext(
Yanray Wang920db452023-11-14 17:20:16 +08002732 ssl, p, p + extension_data_len);
2733 if (ret != 0) {
2734 MBEDTLS_SSL_DEBUG_RET(
Yanray Wangb3e207d2023-11-30 16:49:49 +08002735 1, "ssl_tls13_parse_new_session_ticket_early_data_ext",
2736 ret);
Xiaokang Qian2d87a9e2022-11-09 07:55:48 +00002737 }
Xiaokang Qianf447e8a2022-11-08 07:02:27 +00002738 break;
Xiaokang Qian0cc43202022-11-16 08:43:50 +00002739#endif /* MBEDTLS_SSL_EARLY_DATA */
Xiaokang Qianf447e8a2022-11-08 07:02:27 +00002740
Jerry Yuf8a49942022-07-07 11:32:32 +00002741 default:
Jerry Yu79aa7212022-11-08 21:30:21 +08002742 MBEDTLS_SSL_PRINT_EXT(
Jerry Yuedab6372022-10-31 14:37:31 +08002743 3, MBEDTLS_SSL_HS_NEW_SESSION_TICKET,
Gilles Peskine449bd832023-01-11 14:50:10 +01002744 extension_type, "( ignored )");
Jerry Yuf8a49942022-07-07 11:32:32 +00002745 break;
2746 }
Jerry Yu6ba9f1c2022-08-04 17:53:25 +08002747
Jerry Yuf8a49942022-07-07 11:32:32 +00002748 p += extension_data_len;
2749 }
2750
Gilles Peskine449bd832023-01-11 14:50:10 +01002751 MBEDTLS_SSL_PRINT_EXTS(3, MBEDTLS_SSL_HS_NEW_SESSION_TICKET,
2752 handshake->received_extensions);
Jerry Yu6ba9f1c2022-08-04 17:53:25 +08002753
Gilles Peskine449bd832023-01-11 14:50:10 +01002754 return 0;
Jerry Yuf8a49942022-07-07 11:32:32 +00002755}
2756
2757/*
Jerry Yu08aed4d2022-07-20 10:36:12 +08002758 * From RFC8446, page 74
2759 *
Jerry Yuf8a49942022-07-07 11:32:32 +00002760 * struct {
2761 * uint32 ticket_lifetime;
2762 * uint32 ticket_age_add;
2763 * opaque ticket_nonce<0..255>;
2764 * opaque ticket<1..2^16-1>;
2765 * Extension extensions<0..2^16-2>;
2766 * } NewSessionTicket;
2767 *
2768 */
Jerry Yua0446a02022-07-13 11:22:55 +08002769MBEDTLS_CHECK_RETURN_CRITICAL
Gilles Peskine449bd832023-01-11 14:50:10 +01002770static int ssl_tls13_parse_new_session_ticket(mbedtls_ssl_context *ssl,
2771 unsigned char *buf,
2772 unsigned char *end,
2773 unsigned char **ticket_nonce,
2774 size_t *ticket_nonce_len)
Jerry Yuf8a49942022-07-07 11:32:32 +00002775{
2776 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
2777 unsigned char *p = buf;
2778 mbedtls_ssl_session *session = ssl->session;
Jerry Yuf8a49942022-07-07 11:32:32 +00002779 size_t ticket_len;
2780 unsigned char *ticket;
2781 size_t extensions_len;
Jerry Yuf8a49942022-07-07 11:32:32 +00002782
Jerry Yucb3b1392022-07-12 06:09:38 +00002783 *ticket_nonce = NULL;
2784 *ticket_nonce_len = 0;
Jerry Yuf8a49942022-07-07 11:32:32 +00002785 /*
2786 * ticket_lifetime 4 bytes
2787 * ticket_age_add 4 bytes
Jerry Yu08aed4d2022-07-20 10:36:12 +08002788 * ticket_nonce_len 1 byte
Jerry Yuf8a49942022-07-07 11:32:32 +00002789 */
Gilles Peskine449bd832023-01-11 14:50:10 +01002790 MBEDTLS_SSL_CHK_BUF_READ_PTR(p, end, 9);
Jerry Yuf8a49942022-07-07 11:32:32 +00002791
Gilles Peskine449bd832023-01-11 14:50:10 +01002792 session->ticket_lifetime = MBEDTLS_GET_UINT32_BE(p, 0);
2793 MBEDTLS_SSL_DEBUG_MSG(3,
2794 ("ticket_lifetime: %u",
2795 (unsigned int) session->ticket_lifetime));
Jerry Yu8e0174a2023-11-10 13:58:16 +08002796 if (session->ticket_lifetime >
2797 MBEDTLS_SSL_TLS1_3_MAX_ALLOWED_TICKET_LIFETIME) {
Jerry Yu46c79262023-11-10 13:58:16 +08002798 MBEDTLS_SSL_DEBUG_MSG(3, ("ticket_lifetime exceeds 7 days."));
Jerry Yucf913512023-11-14 11:06:52 +08002799 return MBEDTLS_ERR_SSL_ILLEGAL_PARAMETER;
Jerry Yu46c79262023-11-10 13:58:16 +08002800 }
Jerry Yuf8a49942022-07-07 11:32:32 +00002801
Gilles Peskine449bd832023-01-11 14:50:10 +01002802 session->ticket_age_add = MBEDTLS_GET_UINT32_BE(p, 4);
2803 MBEDTLS_SSL_DEBUG_MSG(3,
2804 ("ticket_age_add: %u",
2805 (unsigned int) session->ticket_age_add));
Jerry Yuf8a49942022-07-07 11:32:32 +00002806
Jerry Yucb3b1392022-07-12 06:09:38 +00002807 *ticket_nonce_len = p[8];
2808 p += 9;
2809
Gilles Peskine449bd832023-01-11 14:50:10 +01002810 MBEDTLS_SSL_CHK_BUF_READ_PTR(p, end, *ticket_nonce_len);
Jerry Yucb3b1392022-07-12 06:09:38 +00002811 *ticket_nonce = p;
Gilles Peskine449bd832023-01-11 14:50:10 +01002812 MBEDTLS_SSL_DEBUG_BUF(3, "ticket_nonce:", *ticket_nonce, *ticket_nonce_len);
Jerry Yucb3b1392022-07-12 06:09:38 +00002813 p += *ticket_nonce_len;
Jerry Yuf8a49942022-07-07 11:32:32 +00002814
2815 /* Ticket */
Gilles Peskine449bd832023-01-11 14:50:10 +01002816 MBEDTLS_SSL_CHK_BUF_READ_PTR(p, end, 2);
2817 ticket_len = MBEDTLS_GET_UINT16_BE(p, 0);
Jerry Yuf8a49942022-07-07 11:32:32 +00002818 p += 2;
Gilles Peskine449bd832023-01-11 14:50:10 +01002819 MBEDTLS_SSL_CHK_BUF_READ_PTR(p, end, ticket_len);
2820 MBEDTLS_SSL_DEBUG_BUF(3, "received ticket", p, ticket_len);
Jerry Yuf8a49942022-07-07 11:32:32 +00002821
2822 /* Check if we previously received a ticket already. */
Gilles Peskine449bd832023-01-11 14:50:10 +01002823 if (session->ticket != NULL || session->ticket_len > 0) {
2824 mbedtls_free(session->ticket);
Jerry Yuf8a49942022-07-07 11:32:32 +00002825 session->ticket = NULL;
2826 session->ticket_len = 0;
2827 }
2828
Gilles Peskine449bd832023-01-11 14:50:10 +01002829 if ((ticket = mbedtls_calloc(1, ticket_len)) == NULL) {
2830 MBEDTLS_SSL_DEBUG_MSG(1, ("ticket alloc failed"));
2831 return MBEDTLS_ERR_SSL_ALLOC_FAILED;
Jerry Yuf8a49942022-07-07 11:32:32 +00002832 }
Gilles Peskine449bd832023-01-11 14:50:10 +01002833 memcpy(ticket, p, ticket_len);
Jerry Yuf8a49942022-07-07 11:32:32 +00002834 p += ticket_len;
2835 session->ticket = ticket;
2836 session->ticket_len = ticket_len;
Jerry Yuf8a49942022-07-07 11:32:32 +00002837
Pengyu Lv9f926952022-11-17 15:22:33 +08002838 /* Clear all flags in ticket_flags */
Pengyu Lv80270b22023-01-12 11:54:04 +08002839 mbedtls_ssl_session_clear_ticket_flags(
Pengyu Lv9eacb442022-12-09 14:39:19 +08002840 session, MBEDTLS_SSL_TLS1_3_TICKET_FLAGS_MASK);
Pengyu Lv9f926952022-11-17 15:22:33 +08002841
Gilles Peskine449bd832023-01-11 14:50:10 +01002842 MBEDTLS_SSL_CHK_BUF_READ_PTR(p, end, 2);
2843 extensions_len = MBEDTLS_GET_UINT16_BE(p, 0);
Jerry Yuf8a49942022-07-07 11:32:32 +00002844 p += 2;
Gilles Peskine449bd832023-01-11 14:50:10 +01002845 MBEDTLS_SSL_CHK_BUF_READ_PTR(p, end, extensions_len);
Jerry Yuf8a49942022-07-07 11:32:32 +00002846
Gilles Peskine449bd832023-01-11 14:50:10 +01002847 MBEDTLS_SSL_DEBUG_BUF(3, "ticket extension", p, extensions_len);
Jerry Yuf8a49942022-07-07 11:32:32 +00002848
Gilles Peskine449bd832023-01-11 14:50:10 +01002849 ret = ssl_tls13_parse_new_session_ticket_exts(ssl, p, p + extensions_len);
2850 if (ret != 0) {
2851 MBEDTLS_SSL_DEBUG_RET(1,
2852 "ssl_tls13_parse_new_session_ticket_exts",
2853 ret);
2854 return ret;
Jerry Yuf8a49942022-07-07 11:32:32 +00002855 }
Jerry Yucb3b1392022-07-12 06:09:38 +00002856
Jerry Yudb8c5fa2022-08-03 12:10:13 +08002857 /* session has been updated, allow export */
2858 session->exported = 0;
2859
Gilles Peskine449bd832023-01-11 14:50:10 +01002860 return 0;
Jerry Yucb3b1392022-07-12 06:09:38 +00002861}
2862
Jerry Yua0446a02022-07-13 11:22:55 +08002863MBEDTLS_CHECK_RETURN_CRITICAL
Gilles Peskine449bd832023-01-11 14:50:10 +01002864static int ssl_tls13_postprocess_new_session_ticket(mbedtls_ssl_context *ssl,
2865 unsigned char *ticket_nonce,
2866 size_t ticket_nonce_len)
Jerry Yucb3b1392022-07-12 06:09:38 +00002867{
2868 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
2869 mbedtls_ssl_session *session = ssl->session;
2870 const mbedtls_ssl_ciphersuite_t *ciphersuite_info;
2871 psa_algorithm_t psa_hash_alg;
2872 int hash_length;
2873
Jerry Yu4e6c42a2022-07-13 11:16:51 +08002874#if defined(MBEDTLS_HAVE_TIME)
2875 /* Store ticket creation time */
Jerry Yu342a5552023-11-10 14:23:39 +08002876 session->ticket_reception_time = mbedtls_ms_time();
Jerry Yu4e6c42a2022-07-13 11:16:51 +08002877#endif
2878
Gilles Peskine449bd832023-01-11 14:50:10 +01002879 ciphersuite_info = mbedtls_ssl_ciphersuite_from_id(session->ciphersuite);
2880 if (ciphersuite_info == NULL) {
2881 MBEDTLS_SSL_DEBUG_MSG(1, ("should never happen"));
2882 return MBEDTLS_ERR_SSL_INTERNAL_ERROR;
Jerry Yuf8a49942022-07-07 11:32:32 +00002883 }
2884
Dave Rodgman2eab4622023-10-05 13:30:37 +01002885 psa_hash_alg = mbedtls_md_psa_alg_from_type((mbedtls_md_type_t) ciphersuite_info->mac);
Gilles Peskine449bd832023-01-11 14:50:10 +01002886 hash_length = PSA_HASH_LENGTH(psa_hash_alg);
2887 if (hash_length == -1 ||
2888 (size_t) hash_length > sizeof(session->resumption_key)) {
2889 return MBEDTLS_ERR_SSL_INTERNAL_ERROR;
Jerry Yu3afdf362022-07-20 17:34:14 +08002890 }
2891
Jerry Yuf8a49942022-07-07 11:32:32 +00002892
Gilles Peskine449bd832023-01-11 14:50:10 +01002893 MBEDTLS_SSL_DEBUG_BUF(3, "resumption_master_secret",
2894 session->app_secrets.resumption_master_secret,
2895 hash_length);
Jerry Yuf8a49942022-07-07 11:32:32 +00002896
Jerry Yu4e6c42a2022-07-13 11:16:51 +08002897 /* Compute resumption key
Jerry Yuf8a49942022-07-07 11:32:32 +00002898 *
2899 * HKDF-Expand-Label( resumption_master_secret,
2900 * "resumption", ticket_nonce, Hash.length )
2901 */
2902 ret = mbedtls_ssl_tls13_hkdf_expand_label(
Gilles Peskine449bd832023-01-11 14:50:10 +01002903 psa_hash_alg,
2904 session->app_secrets.resumption_master_secret,
2905 hash_length,
2906 MBEDTLS_SSL_TLS1_3_LBL_WITH_LEN(resumption),
2907 ticket_nonce,
2908 ticket_nonce_len,
2909 session->resumption_key,
2910 hash_length);
Jerry Yuf8a49942022-07-07 11:32:32 +00002911
Gilles Peskine449bd832023-01-11 14:50:10 +01002912 if (ret != 0) {
2913 MBEDTLS_SSL_DEBUG_RET(2,
2914 "Creating the ticket-resumed PSK failed",
2915 ret);
2916 return ret;
Jerry Yuf8a49942022-07-07 11:32:32 +00002917 }
2918
Jerry Yu0a430c82022-07-20 11:02:48 +08002919 session->resumption_key_len = hash_length;
Jerry Yuf8a49942022-07-07 11:32:32 +00002920
Gilles Peskine449bd832023-01-11 14:50:10 +01002921 MBEDTLS_SSL_DEBUG_BUF(3, "Ticket-resumed PSK",
2922 session->resumption_key,
2923 session->resumption_key_len);
Jerry Yuf8a49942022-07-07 11:32:32 +00002924
Pengyu Lv9f926952022-11-17 15:22:33 +08002925 /* Set ticket_flags depends on the selected key exchange modes */
Pengyu Lv80270b22023-01-12 11:54:04 +08002926 mbedtls_ssl_session_set_ticket_flags(
Pengyu Lv9eacb442022-12-09 14:39:19 +08002927 session, ssl->conf->tls13_kex_modes);
Pengyu Lv4938a562023-01-16 11:28:49 +08002928 MBEDTLS_SSL_PRINT_TICKET_FLAGS(4, session->ticket_flags);
Pengyu Lv9f926952022-11-17 15:22:33 +08002929
Gilles Peskine449bd832023-01-11 14:50:10 +01002930 return 0;
Jerry Yuf8a49942022-07-07 11:32:32 +00002931}
2932
2933/*
Jerry Yua8d3c502022-10-30 14:51:23 +08002934 * Handler for MBEDTLS_SSL_TLS1_3_NEW_SESSION_TICKET
Jerry Yuf8a49942022-07-07 11:32:32 +00002935 */
Jerry Yua0446a02022-07-13 11:22:55 +08002936MBEDTLS_CHECK_RETURN_CRITICAL
Gilles Peskine449bd832023-01-11 14:50:10 +01002937static int ssl_tls13_process_new_session_ticket(mbedtls_ssl_context *ssl)
Jerry Yuf8a49942022-07-07 11:32:32 +00002938{
2939 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
2940 unsigned char *buf;
2941 size_t buf_len;
Jerry Yucb3b1392022-07-12 06:09:38 +00002942 unsigned char *ticket_nonce;
2943 size_t ticket_nonce_len;
Jerry Yuf8a49942022-07-07 11:32:32 +00002944
Gilles Peskine449bd832023-01-11 14:50:10 +01002945 MBEDTLS_SSL_DEBUG_MSG(2, ("=> parse new session ticket"));
Jerry Yuf8a49942022-07-07 11:32:32 +00002946
Gilles Peskine449bd832023-01-11 14:50:10 +01002947 MBEDTLS_SSL_PROC_CHK(mbedtls_ssl_tls13_fetch_handshake_msg(
2948 ssl, MBEDTLS_SSL_HS_NEW_SESSION_TICKET,
2949 &buf, &buf_len));
Jerry Yuf8a49942022-07-07 11:32:32 +00002950
Gilles Peskine449bd832023-01-11 14:50:10 +01002951 MBEDTLS_SSL_PROC_CHK(ssl_tls13_parse_new_session_ticket(
2952 ssl, buf, buf + buf_len,
2953 &ticket_nonce, &ticket_nonce_len));
Jerry Yuf8a49942022-07-07 11:32:32 +00002954
Gilles Peskine449bd832023-01-11 14:50:10 +01002955 MBEDTLS_SSL_PROC_CHK(ssl_tls13_postprocess_new_session_ticket(
2956 ssl, ticket_nonce, ticket_nonce_len));
Jerry Yuf8a49942022-07-07 11:32:32 +00002957
Gilles Peskine449bd832023-01-11 14:50:10 +01002958 mbedtls_ssl_handshake_set_state(ssl, MBEDTLS_SSL_HANDSHAKE_OVER);
Jerry Yu4e6c42a2022-07-13 11:16:51 +08002959
Jerry Yuf8a49942022-07-07 11:32:32 +00002960cleanup:
2961
Gilles Peskine449bd832023-01-11 14:50:10 +01002962 MBEDTLS_SSL_DEBUG_MSG(2, ("<= parse new session ticket"));
2963 return ret;
Jerry Yuf8a49942022-07-07 11:32:32 +00002964}
2965#endif /* MBEDTLS_SSL_SESSION_TICKETS */
2966
Gilles Peskine449bd832023-01-11 14:50:10 +01002967int mbedtls_ssl_tls13_handshake_client_step(mbedtls_ssl_context *ssl)
Jerry Yubc20bdd2021-08-24 15:59:48 +08002968{
Jerry Yu92c6b402021-08-27 16:59:09 +08002969 int ret = 0;
Jerry Yuc8a392c2021-08-18 16:46:28 +08002970
Gilles Peskine449bd832023-01-11 14:50:10 +01002971 switch (ssl->state) {
Jerry Yu92c6b402021-08-27 16:59:09 +08002972 case MBEDTLS_SSL_HELLO_REQUEST:
Gilles Peskine449bd832023-01-11 14:50:10 +01002973 mbedtls_ssl_handshake_set_state(ssl, MBEDTLS_SSL_CLIENT_HELLO);
Jerry Yuddda0502022-12-01 19:43:12 +08002974 break;
2975
Jerry Yu92c6b402021-08-27 16:59:09 +08002976 case MBEDTLS_SSL_CLIENT_HELLO:
Gilles Peskine449bd832023-01-11 14:50:10 +01002977 ret = mbedtls_ssl_write_client_hello(ssl);
Jerry Yu92c6b402021-08-27 16:59:09 +08002978 break;
2979
2980 case MBEDTLS_SSL_SERVER_HELLO:
Gilles Peskine449bd832023-01-11 14:50:10 +01002981 ret = ssl_tls13_process_server_hello(ssl);
Jerry Yu687101b2021-09-14 16:03:56 +08002982 break;
2983
2984 case MBEDTLS_SSL_ENCRYPTED_EXTENSIONS:
Gilles Peskine449bd832023-01-11 14:50:10 +01002985 ret = ssl_tls13_process_encrypted_extensions(ssl);
Jerry Yu687101b2021-09-14 16:03:56 +08002986 break;
2987
Ronald Cron928cbd32022-10-04 16:14:26 +02002988#if defined(MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_EPHEMERAL_ENABLED)
Jerry Yud2674312021-10-29 10:08:19 +08002989 case MBEDTLS_SSL_CERTIFICATE_REQUEST:
Gilles Peskine449bd832023-01-11 14:50:10 +01002990 ret = ssl_tls13_process_certificate_request(ssl);
Jerry Yud2674312021-10-29 10:08:19 +08002991 break;
2992
Jerry Yu687101b2021-09-14 16:03:56 +08002993 case MBEDTLS_SSL_SERVER_CERTIFICATE:
Gilles Peskine449bd832023-01-11 14:50:10 +01002994 ret = ssl_tls13_process_server_certificate(ssl);
Jerry Yu687101b2021-09-14 16:03:56 +08002995 break;
2996
2997 case MBEDTLS_SSL_CERTIFICATE_VERIFY:
Gilles Peskine449bd832023-01-11 14:50:10 +01002998 ret = ssl_tls13_process_certificate_verify(ssl);
Jerry Yu687101b2021-09-14 16:03:56 +08002999 break;
Ronald Cron928cbd32022-10-04 16:14:26 +02003000#endif /* MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_EPHEMERAL_ENABLED */
Jerry Yu687101b2021-09-14 16:03:56 +08003001
3002 case MBEDTLS_SSL_SERVER_FINISHED:
Gilles Peskine449bd832023-01-11 14:50:10 +01003003 ret = ssl_tls13_process_server_finished(ssl);
Jerry Yu687101b2021-09-14 16:03:56 +08003004 break;
3005
Xiaokang Qian125afcb2022-10-28 06:04:06 +00003006 case MBEDTLS_SSL_END_OF_EARLY_DATA:
3007 ret = ssl_tls13_write_end_of_early_data(ssl);
3008 break;
3009
Jerry Yu566c7812022-01-26 15:41:22 +08003010 case MBEDTLS_SSL_CLIENT_CERTIFICATE:
Gilles Peskine449bd832023-01-11 14:50:10 +01003011 ret = ssl_tls13_write_client_certificate(ssl);
Jerry Yu566c7812022-01-26 15:41:22 +08003012 break;
3013
Ronald Cron928cbd32022-10-04 16:14:26 +02003014#if defined(MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_EPHEMERAL_ENABLED)
Jerry Yu566c7812022-01-26 15:41:22 +08003015 case MBEDTLS_SSL_CLIENT_CERTIFICATE_VERIFY:
Gilles Peskine449bd832023-01-11 14:50:10 +01003016 ret = ssl_tls13_write_client_certificate_verify(ssl);
Jerry Yu566c7812022-01-26 15:41:22 +08003017 break;
Ronald Cron928cbd32022-10-04 16:14:26 +02003018#endif /* MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_EPHEMERAL_ENABLED */
Jerry Yu566c7812022-01-26 15:41:22 +08003019
Jerry Yu687101b2021-09-14 16:03:56 +08003020 case MBEDTLS_SSL_CLIENT_FINISHED:
Gilles Peskine449bd832023-01-11 14:50:10 +01003021 ret = ssl_tls13_write_client_finished(ssl);
Jerry Yu687101b2021-09-14 16:03:56 +08003022 break;
3023
3024 case MBEDTLS_SSL_FLUSH_BUFFERS:
Gilles Peskine449bd832023-01-11 14:50:10 +01003025 ret = ssl_tls13_flush_buffers(ssl);
Jerry Yu687101b2021-09-14 16:03:56 +08003026 break;
3027
3028 case MBEDTLS_SSL_HANDSHAKE_WRAPUP:
Gilles Peskine449bd832023-01-11 14:50:10 +01003029 ret = ssl_tls13_handshake_wrapup(ssl);
Jerry Yu92c6b402021-08-27 16:59:09 +08003030 break;
3031
Gilles Peskine449bd832023-01-11 14:50:10 +01003032 /*
3033 * Injection of dummy-CCS's for middlebox compatibility
3034 */
Ronald Cron49ad6192021-11-24 16:25:31 +01003035#if defined(MBEDTLS_SSL_TLS1_3_COMPATIBILITY_MODE)
XiaokangQian0b56a8f2021-12-22 02:39:32 +00003036 case MBEDTLS_SSL_CLIENT_CCS_BEFORE_2ND_CLIENT_HELLO:
Gilles Peskine449bd832023-01-11 14:50:10 +01003037 ret = mbedtls_ssl_tls13_write_change_cipher_spec(ssl);
3038 if (ret == 0) {
3039 mbedtls_ssl_handshake_set_state(ssl, MBEDTLS_SSL_CLIENT_HELLO);
3040 }
Ronald Cron9f55f632022-02-02 16:02:47 +01003041 break;
3042
3043 case MBEDTLS_SSL_CLIENT_CCS_AFTER_SERVER_FINISHED:
Gilles Peskine449bd832023-01-11 14:50:10 +01003044 ret = mbedtls_ssl_tls13_write_change_cipher_spec(ssl);
3045 if (ret == 0) {
Xiaokang Qian958b6ff2023-03-29 10:37:35 +00003046 mbedtls_ssl_handshake_set_state(
3047 ssl, MBEDTLS_SSL_CLIENT_CERTIFICATE);
Gilles Peskine449bd832023-01-11 14:50:10 +01003048 }
Ronald Cron49ad6192021-11-24 16:25:31 +01003049 break;
Xiaokang Qianf6d8fd32023-02-02 02:46:26 +00003050
Xiaokang Qian592021a2023-01-04 10:47:05 +00003051 case MBEDTLS_SSL_CLIENT_CCS_AFTER_CLIENT_HELLO:
3052 ret = mbedtls_ssl_tls13_write_change_cipher_spec(ssl);
3053 if (ret == 0) {
3054 mbedtls_ssl_handshake_set_state(ssl, MBEDTLS_SSL_SERVER_HELLO);
3055
Xiaokang Qian33ff8682023-01-10 06:32:12 +00003056#if defined(MBEDTLS_SSL_EARLY_DATA)
Xiaokang Qian592021a2023-01-04 10:47:05 +00003057 MBEDTLS_SSL_DEBUG_MSG(
3058 1, ("Switch to early data keys for outbound traffic"));
3059 mbedtls_ssl_set_outbound_transform(
3060 ssl, ssl->handshake->transform_earlydata);
Xiaokang Qian33ff8682023-01-10 06:32:12 +00003061#endif
Xiaokang Qian592021a2023-01-04 10:47:05 +00003062 }
3063 break;
Ronald Cron49ad6192021-11-24 16:25:31 +01003064#endif /* MBEDTLS_SSL_TLS1_3_COMPATIBILITY_MODE */
3065
Jerry Yuf8a49942022-07-07 11:32:32 +00003066#if defined(MBEDTLS_SSL_SESSION_TICKETS)
Jerry Yua8d3c502022-10-30 14:51:23 +08003067 case MBEDTLS_SSL_TLS1_3_NEW_SESSION_TICKET:
Gilles Peskine449bd832023-01-11 14:50:10 +01003068 ret = ssl_tls13_process_new_session_ticket(ssl);
3069 if (ret != 0) {
Jerry Yuf8a49942022-07-07 11:32:32 +00003070 break;
Gilles Peskine449bd832023-01-11 14:50:10 +01003071 }
Jerry Yuf8a49942022-07-07 11:32:32 +00003072 ret = MBEDTLS_ERR_SSL_RECEIVED_NEW_SESSION_TICKET;
3073 break;
3074#endif /* MBEDTLS_SSL_SESSION_TICKETS */
3075
Jerry Yu92c6b402021-08-27 16:59:09 +08003076 default:
Gilles Peskine449bd832023-01-11 14:50:10 +01003077 MBEDTLS_SSL_DEBUG_MSG(1, ("invalid state %d", ssl->state));
3078 return MBEDTLS_ERR_SSL_BAD_INPUT_DATA;
Jerry Yu92c6b402021-08-27 16:59:09 +08003079 }
3080
Gilles Peskine449bd832023-01-11 14:50:10 +01003081 return ret;
Jerry Yu92c6b402021-08-27 16:59:09 +08003082}
Jerry Yu65dd2cc2021-08-18 16:38:40 +08003083
Jerry Yufb4b6472022-01-27 15:03:26 +08003084#endif /* MBEDTLS_SSL_CLI_C && MBEDTLS_SSL_PROTO_TLS1_3 */