blob: 36d1c059f53537cf1810b10900b812ba68cc3294 [file] [log] [blame]
Jerry Yu3cc4c2a2021-08-06 16:29:08 +08001/*
Jerry Yub9930e72021-08-06 17:11:51 +08002 * TLS 1.3 server-side functions
Jerry Yu3cc4c2a2021-08-06 16:29:08 +08003 *
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
Gilles Peskine449bd832023-01-11 14:50:10 +01006 */
Jerry Yu3cc4c2a2021-08-06 16:29:08 +08007
8#include "common.h"
9
Jerry Yufb4b6472022-01-27 15:03:26 +080010#if defined(MBEDTLS_SSL_SRV_C) && defined(MBEDTLS_SSL_PROTO_TLS1_3)
Jerry Yu3cc4c2a2021-08-06 16:29:08 +080011
Jerry Yu687101b2021-09-14 16:03:56 +080012#include "mbedtls/debug.h"
Xiaofei Baicba64af2022-02-15 10:00:56 +000013#include "mbedtls/error.h"
14#include "mbedtls/platform.h"
Jerry Yu1c105562022-07-10 06:32:38 +000015#include "mbedtls/constant_time.h"
Manuel Pégourié-Gonnardd55d66f2023-06-20 10:14:58 +020016#include "mbedtls/oid.h"
Manuel Pégourié-Gonnard02b10d82023-03-28 12:33:20 +020017#include "md_psa.h"
Jerry Yu3bf2c642022-03-30 22:02:12 +080018
Xiaofei Bai9ca09d42022-02-14 12:57:18 +000019#include "ssl_misc.h"
20#include "ssl_tls13_keys.h"
21#include "ssl_debug_helpers.h"
22
Jerry Yuf35ba382022-08-23 17:58:26 +080023
Jerry Yuc5a23a02022-08-25 10:51:44 +080024static const mbedtls_ssl_ciphersuite_t *ssl_tls13_validate_peer_ciphersuite(
Gilles Peskine449bd832023-01-11 14:50:10 +010025 mbedtls_ssl_context *ssl,
26 unsigned int cipher_suite)
Jerry Yuf35ba382022-08-23 17:58:26 +080027{
28 const mbedtls_ssl_ciphersuite_t *ciphersuite_info;
Gilles Peskine449bd832023-01-11 14:50:10 +010029 if (!mbedtls_ssl_tls13_cipher_suite_is_offered(ssl, cipher_suite)) {
30 return NULL;
Jerry Yuf35ba382022-08-23 17:58:26 +080031 }
Gilles Peskine449bd832023-01-11 14:50:10 +010032
33 ciphersuite_info = mbedtls_ssl_ciphersuite_from_id(cipher_suite);
34 if ((mbedtls_ssl_validate_ciphersuite(ssl, ciphersuite_info,
35 ssl->tls_version,
36 ssl->tls_version) != 0)) {
37 return NULL;
38 }
39 return ciphersuite_info;
Jerry Yuf35ba382022-08-23 17:58:26 +080040}
41
Ronald Cron41a443a2022-10-04 16:38:25 +020042#if defined(MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_SOME_PSK_ENABLED)
Jerry Yue19e3b92022-07-08 12:04:51 +000043/* From RFC 8446:
44 *
45 * enum { psk_ke(0), psk_dhe_ke(1), (255) } PskKeyExchangeMode;
46 * struct {
47 * PskKeyExchangeMode ke_modes<1..255>;
48 * } PskKeyExchangeModes;
49 */
Jerry Yu6e74a7e2022-07-20 20:49:32 +080050MBEDTLS_CHECK_RETURN_CRITICAL
Gilles Peskine449bd832023-01-11 14:50:10 +010051static int ssl_tls13_parse_key_exchange_modes_ext(mbedtls_ssl_context *ssl,
52 const unsigned char *buf,
53 const unsigned char *end)
Jerry Yue19e3b92022-07-08 12:04:51 +000054{
Jerry Yu299e31f2022-07-13 23:06:36 +080055 const unsigned char *p = buf;
Jerry Yue19e3b92022-07-08 12:04:51 +000056 size_t ke_modes_len;
57 int ke_modes = 0;
58
Jerry Yu854dd9e2022-07-15 14:28:27 +080059 /* Read ke_modes length (1 Byte) */
Gilles Peskine449bd832023-01-11 14:50:10 +010060 MBEDTLS_SSL_CHK_BUF_READ_PTR(p, end, 1);
Jerry Yu299e31f2022-07-13 23:06:36 +080061 ke_modes_len = *p++;
Jerry Yue19e3b92022-07-08 12:04:51 +000062 /* Currently, there are only two PSK modes, so even without looking
63 * at the content, something's wrong if the list has more than 2 items. */
Gilles Peskine449bd832023-01-11 14:50:10 +010064 if (ke_modes_len > 2) {
65 MBEDTLS_SSL_PEND_FATAL_ALERT(MBEDTLS_SSL_ALERT_MSG_ILLEGAL_PARAMETER,
66 MBEDTLS_ERR_SSL_ILLEGAL_PARAMETER);
67 return MBEDTLS_ERR_SSL_HANDSHAKE_FAILURE;
Jerry Yu299e31f2022-07-13 23:06:36 +080068 }
Jerry Yue19e3b92022-07-08 12:04:51 +000069
Gilles Peskine449bd832023-01-11 14:50:10 +010070 MBEDTLS_SSL_CHK_BUF_READ_PTR(p, end, ke_modes_len);
Jerry Yue19e3b92022-07-08 12:04:51 +000071
Gilles Peskine449bd832023-01-11 14:50:10 +010072 while (ke_modes_len-- != 0) {
73 switch (*p++) {
74 case MBEDTLS_SSL_TLS1_3_PSK_MODE_PURE:
75 ke_modes |= MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_PSK;
76 MBEDTLS_SSL_DEBUG_MSG(3, ("Found PSK KEX MODE"));
77 break;
78 case MBEDTLS_SSL_TLS1_3_PSK_MODE_ECDHE:
79 ke_modes |= MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_PSK_EPHEMERAL;
80 MBEDTLS_SSL_DEBUG_MSG(3, ("Found PSK_EPHEMERAL KEX MODE"));
81 break;
82 default:
83 MBEDTLS_SSL_PEND_FATAL_ALERT(MBEDTLS_SSL_ALERT_MSG_ILLEGAL_PARAMETER,
84 MBEDTLS_ERR_SSL_ILLEGAL_PARAMETER);
85 return MBEDTLS_ERR_SSL_ILLEGAL_PARAMETER;
Jerry Yue19e3b92022-07-08 12:04:51 +000086 }
87 }
88
89 ssl->handshake->tls13_kex_modes = ke_modes;
Gilles Peskine449bd832023-01-11 14:50:10 +010090 return 0;
Jerry Yue19e3b92022-07-08 12:04:51 +000091}
Jerry Yu1c105562022-07-10 06:32:38 +000092
Jerry Yue9d4fc02022-08-20 19:21:15 +080093#define SSL_TLS1_3_OFFERED_PSK_NOT_MATCH 1
94#define SSL_TLS1_3_OFFERED_PSK_MATCH 0
Jerry Yu95699e72022-08-21 19:22:23 +080095
96#if defined(MBEDTLS_SSL_SESSION_TICKETS)
Pengyu Lv29daf4a2023-10-30 17:13:30 +080097MBEDTLS_CHECK_RETURN_CRITICAL
98static int ssl_tls13_check_psk_key_exchange(mbedtls_ssl_context *ssl);
99MBEDTLS_CHECK_RETURN_CRITICAL
100static int ssl_tls13_check_psk_ephemeral_key_exchange(mbedtls_ssl_context *ssl);
Jerry Yu95699e72022-08-21 19:22:23 +0800101
102MBEDTLS_CHECK_RETURN_CRITICAL
103static int ssl_tls13_offered_psks_check_identity_match_ticket(
Gilles Peskine449bd832023-01-11 14:50:10 +0100104 mbedtls_ssl_context *ssl,
105 const unsigned char *identity,
106 size_t identity_len,
107 uint32_t obfuscated_ticket_age,
108 mbedtls_ssl_session *session)
Jerry Yu95699e72022-08-21 19:22:23 +0800109{
Jerry Yufd310eb2022-09-06 09:16:35 +0800110 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Jerry Yu95699e72022-08-21 19:22:23 +0800111 unsigned char *ticket_buffer;
Pengyu Lv29daf4a2023-10-30 17:13:30 +0800112 unsigned int key_exchanges;
Jerry Yu8d4bbba2022-09-13 14:15:48 +0800113#if defined(MBEDTLS_HAVE_TIME)
Jerry Yucebffc32022-12-15 18:00:05 +0800114 mbedtls_ms_time_t now;
115 mbedtls_ms_time_t server_age;
Jerry Yu713ce1f2023-11-17 15:32:12 +0800116 uint32_t client_age;
Jerry Yucebffc32022-12-15 18:00:05 +0800117 mbedtls_ms_time_t age_diff;
Jerry Yu8d4bbba2022-09-13 14:15:48 +0800118#endif
Jerry Yu95699e72022-08-21 19:22:23 +0800119
120 ((void) obfuscated_ticket_age);
121
Gilles Peskine449bd832023-01-11 14:50:10 +0100122 MBEDTLS_SSL_DEBUG_MSG(2, ("=> check_identity_match_ticket"));
Jerry Yu95699e72022-08-21 19:22:23 +0800123
Jerry Yufd310eb2022-09-06 09:16:35 +0800124 /* Ticket parser is not configured, Skip */
Gilles Peskine449bd832023-01-11 14:50:10 +0100125 if (ssl->conf->f_ticket_parse == NULL || identity_len == 0) {
126 return 0;
127 }
Jerry Yu95699e72022-08-21 19:22:23 +0800128
Jerry Yu4746b102022-09-13 11:11:48 +0800129 /* We create a copy of the encrypted ticket since the ticket parsing
130 * function is allowed to use its input buffer as an output buffer
131 * (in-place decryption). We do, however, need the original buffer for
132 * computing the PSK binder value.
Jerry Yu95699e72022-08-21 19:22:23 +0800133 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100134 ticket_buffer = mbedtls_calloc(1, identity_len);
135 if (ticket_buffer == NULL) {
136 MBEDTLS_SSL_DEBUG_MSG(1, ("buffer too small"));
137 return MBEDTLS_ERR_SSL_ALLOC_FAILED;
Jerry Yu95699e72022-08-21 19:22:23 +0800138 }
Gilles Peskine449bd832023-01-11 14:50:10 +0100139 memcpy(ticket_buffer, identity, identity_len);
Jerry Yu95699e72022-08-21 19:22:23 +0800140
Gilles Peskine449bd832023-01-11 14:50:10 +0100141 if ((ret = ssl->conf->f_ticket_parse(ssl->conf->p_ticket,
142 session,
143 ticket_buffer, identity_len)) != 0) {
144 if (ret == MBEDTLS_ERR_SSL_INVALID_MAC) {
145 MBEDTLS_SSL_DEBUG_MSG(3, ("ticket is not authentic"));
146 } else if (ret == MBEDTLS_ERR_SSL_SESSION_TICKET_EXPIRED) {
147 MBEDTLS_SSL_DEBUG_MSG(3, ("ticket is expired"));
148 } else {
149 MBEDTLS_SSL_DEBUG_RET(1, "ticket_parse", ret);
150 }
Jerry Yu95699e72022-08-21 19:22:23 +0800151 }
152
153 /* We delete the temporary buffer */
Gilles Peskine449bd832023-01-11 14:50:10 +0100154 mbedtls_free(ticket_buffer);
Jerry Yu95699e72022-08-21 19:22:23 +0800155
Jerry Yuce3b95e2023-10-31 16:02:04 +0800156 if (ret == 0 && session->tls_version != MBEDTLS_SSL_VERSION_TLS1_3) {
Jerry Yu7ef9fd82023-11-07 14:30:38 +0800157 MBEDTLS_SSL_DEBUG_MSG(3, ("Ticket TLS version is not 1.3."));
158 /* TODO: Define new return value for this case. */
Jerry Yuce3b95e2023-10-31 16:02:04 +0800159 ret = MBEDTLS_ERR_SSL_BAD_PROTOCOL_VERSION;
160 }
Jerry Yuce3b95e2023-10-31 16:02:04 +0800161
Gilles Peskine449bd832023-01-11 14:50:10 +0100162 if (ret != 0) {
Jerry Yu8d4bbba2022-09-13 14:15:48 +0800163 goto exit;
164 }
Jerry Yu95699e72022-08-21 19:22:23 +0800165
Pengyu Lv3eb49be2022-12-05 16:35:12 +0800166 /* RFC 8446 section 4.2.9
167 *
168 * Servers SHOULD NOT send NewSessionTicket with tickets that are not
169 * compatible with the advertised modes; however, if a server does so,
170 * the impact will just be that the client's attempts at resumption fail.
171 *
172 * We regard the ticket with incompatible key exchange modes as not match.
173 */
Pengyu Lv18946532023-01-12 12:28:09 +0800174 ret = MBEDTLS_ERR_ERROR_GENERIC_ERROR;
Pengyu Lv29daf4a2023-10-30 17:13:30 +0800175 MBEDTLS_SSL_PRINT_TICKET_FLAGS(4, session->ticket_flags);
Pengyu Lv29daf4a2023-10-30 17:13:30 +0800176
177 key_exchanges = 0;
Pengyu Lvdbd1e0d2023-10-31 10:08:10 +0800178 if (mbedtls_ssl_session_ticket_allow_psk_ephemeral(session) &&
Pengyu Lv29daf4a2023-10-30 17:13:30 +0800179 ssl_tls13_check_psk_ephemeral_key_exchange(ssl)) {
180 key_exchanges |= MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_PSK_EPHEMERAL;
181 }
Pengyu Lvdbd1e0d2023-10-31 10:08:10 +0800182 if (mbedtls_ssl_session_ticket_allow_psk(session) &&
Pengyu Lv29daf4a2023-10-30 17:13:30 +0800183 ssl_tls13_check_psk_key_exchange(ssl)) {
184 key_exchanges |= MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_PSK;
185 }
186
187 if (key_exchanges == 0) {
Pengyu Lv3eb49be2022-12-05 16:35:12 +0800188 MBEDTLS_SSL_DEBUG_MSG(3, ("No suitable key exchange mode"));
189 goto exit;
190 }
191
Gilles Peskine449bd832023-01-11 14:50:10 +0100192 ret = MBEDTLS_ERR_SSL_SESSION_TICKET_EXPIRED;
193#if defined(MBEDTLS_HAVE_TIME)
Jerry Yucebffc32022-12-15 18:00:05 +0800194 now = mbedtls_ms_time();
Gilles Peskine449bd832023-01-11 14:50:10 +0100195
Jerry Yu25ba4d42023-11-10 14:12:20 +0800196 if (now < session->ticket_creation_time) {
Gilles Peskine449bd832023-01-11 14:50:10 +0100197 MBEDTLS_SSL_DEBUG_MSG(
Jerry Yu713ce1f2023-11-17 15:32:12 +0800198 3, ("Invalid ticket creation time ( now = %" MBEDTLS_PRINTF_MS_TIME
199 ", creation_time = %" MBEDTLS_PRINTF_MS_TIME " )",
Jerry Yu25ba4d42023-11-10 14:12:20 +0800200 now, session->ticket_creation_time));
Gilles Peskine449bd832023-01-11 14:50:10 +0100201 goto exit;
202 }
203
Jerry Yu25ba4d42023-11-10 14:12:20 +0800204 server_age = now - session->ticket_creation_time;
Jerry Yu95699e72022-08-21 19:22:23 +0800205
Jerry Yu8d4bbba2022-09-13 14:15:48 +0800206 /* RFC 8446 section 4.6.1
207 *
208 * Servers MUST NOT use any value greater than 604800 seconds (7 days).
209 *
210 * RFC 8446 section 4.2.11.1
211 *
212 * Clients MUST NOT attempt to use tickets which have ages greater than
213 * the "ticket_lifetime" value which was provided with the ticket.
214 *
Jerry Yu8d4bbba2022-09-13 14:15:48 +0800215 */
Jerry Yu8e0174a2023-11-10 13:58:16 +0800216 if (server_age > MBEDTLS_SSL_TLS1_3_MAX_ALLOWED_TICKET_LIFETIME * 1000) {
Jerry Yu8d4bbba2022-09-13 14:15:48 +0800217 MBEDTLS_SSL_DEBUG_MSG(
Jerry Yud84c14f2023-11-16 13:33:57 +0800218 3, ("Ticket age exceeds limitation ticket_age = %" MBEDTLS_PRINTF_MS_TIME,
Jerry Yucebffc32022-12-15 18:00:05 +0800219 server_age));
Jerry Yu8d4bbba2022-09-13 14:15:48 +0800220 goto exit;
221 }
Jerry Yu95699e72022-08-21 19:22:23 +0800222
Jerry Yu8d4bbba2022-09-13 14:15:48 +0800223 /* RFC 8446 section 4.2.10
224 *
225 * For PSKs provisioned via NewSessionTicket, a server MUST validate that
226 * the ticket age for the selected PSK identity (computed by subtracting
227 * ticket_age_add from PskIdentity.obfuscated_ticket_age modulo 2^32) is
228 * within a small tolerance of the time since the ticket was issued.
Jerry Yuf7dad3c2022-09-14 22:31:39 +0800229 *
Jerry Yu31b601a2023-11-10 11:27:21 +0800230 * NOTE: The typical accuracy of an RTC crystal is ±100 to ±20 parts per
231 * million (360 to 72 milliseconds per hour). Default tolerance
Jerry Yu9cb953a2023-11-15 09:54:11 +0800232 * window is 6s, thus in the worst case clients and servers must
Jerry Yu31b601a2023-11-10 11:27:21 +0800233 * sync up their system time every 6000/360/2~=8 hours.
Jerry Yu8d4bbba2022-09-13 14:15:48 +0800234 */
Jerry Yucebffc32022-12-15 18:00:05 +0800235 client_age = obfuscated_ticket_age - session->ticket_age_add;
Jerry Yu60e99722023-11-20 09:55:24 +0800236 age_diff = server_age - (mbedtls_ms_time_t) client_age;
Jerry Yu28e7c552023-11-10 12:05:56 +0800237 if (age_diff < -MBEDTLS_SSL_TLS1_3_TICKET_AGE_TOLERANCE ||
Jerry Yucebffc32022-12-15 18:00:05 +0800238 age_diff > MBEDTLS_SSL_TLS1_3_TICKET_AGE_TOLERANCE) {
Jerry Yu8d4bbba2022-09-13 14:15:48 +0800239 MBEDTLS_SSL_DEBUG_MSG(
Jerry Yuf16efbc2023-10-30 11:06:24 +0800240 3, ("Ticket age outside tolerance window ( diff = %"
241 MBEDTLS_PRINTF_MS_TIME ")",
Jerry Yucebffc32022-12-15 18:00:05 +0800242 age_diff));
Jerry Yu8d4bbba2022-09-13 14:15:48 +0800243 goto exit;
244 }
245
246 ret = 0;
Jerry Yu95699e72022-08-21 19:22:23 +0800247
248#endif /* MBEDTLS_HAVE_TIME */
Jerry Yu8d4bbba2022-09-13 14:15:48 +0800249
250exit:
Gilles Peskine449bd832023-01-11 14:50:10 +0100251 if (ret != 0) {
252 mbedtls_ssl_session_free(session);
253 }
Jerry Yu95699e72022-08-21 19:22:23 +0800254
Gilles Peskine449bd832023-01-11 14:50:10 +0100255 MBEDTLS_SSL_DEBUG_MSG(2, ("<= check_identity_match_ticket"));
256 return ret;
Jerry Yu95699e72022-08-21 19:22:23 +0800257}
258#endif /* MBEDTLS_SSL_SESSION_TICKETS */
259
Jerry Yu6e74a7e2022-07-20 20:49:32 +0800260MBEDTLS_CHECK_RETURN_CRITICAL
Jerry Yu1c105562022-07-10 06:32:38 +0000261static int ssl_tls13_offered_psks_check_identity_match(
Gilles Peskine449bd832023-01-11 14:50:10 +0100262 mbedtls_ssl_context *ssl,
263 const unsigned char *identity,
264 size_t identity_len,
265 uint32_t obfuscated_ticket_age,
266 int *psk_type,
267 mbedtls_ssl_session *session)
Jerry Yu1c105562022-07-10 06:32:38 +0000268{
Ronald Cron606671e2023-02-17 11:36:33 +0100269 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
270
Jerry Yu95699e72022-08-21 19:22:23 +0800271 ((void) session);
272 ((void) obfuscated_ticket_age);
Jerry Yu5725f1c2022-08-21 17:27:16 +0800273 *psk_type = MBEDTLS_SSL_TLS1_3_PSK_EXTERNAL;
Jerry Yu95699e72022-08-21 19:22:23 +0800274
Gilles Peskine449bd832023-01-11 14:50:10 +0100275 MBEDTLS_SSL_DEBUG_BUF(4, "identity", identity, identity_len);
Jerry Yu95699e72022-08-21 19:22:23 +0800276 ssl->handshake->resume = 0;
277
Jerry Yu95699e72022-08-21 19:22:23 +0800278#if defined(MBEDTLS_SSL_SESSION_TICKETS)
Gilles Peskine449bd832023-01-11 14:50:10 +0100279 if (ssl_tls13_offered_psks_check_identity_match_ticket(
Jerry Yu8d4bbba2022-09-13 14:15:48 +0800280 ssl, identity, identity_len, obfuscated_ticket_age,
Gilles Peskine449bd832023-01-11 14:50:10 +0100281 session) == SSL_TLS1_3_OFFERED_PSK_MATCH) {
Jerry Yu95699e72022-08-21 19:22:23 +0800282 ssl->handshake->resume = 1;
283 *psk_type = MBEDTLS_SSL_TLS1_3_PSK_RESUMPTION;
Ronald Cron606671e2023-02-17 11:36:33 +0100284 ret = mbedtls_ssl_set_hs_psk(ssl,
285 session->resumption_key,
286 session->resumption_key_len);
287 if (ret != 0) {
288 MBEDTLS_SSL_DEBUG_RET(1, "mbedtls_ssl_set_hs_psk", ret);
289 return ret;
290 }
Gilles Peskine449bd832023-01-11 14:50:10 +0100291
292 MBEDTLS_SSL_DEBUG_BUF(4, "Ticket-resumed PSK:",
293 session->resumption_key,
294 session->resumption_key_len);
295 MBEDTLS_SSL_DEBUG_MSG(4, ("ticket: obfuscated_ticket_age: %u",
296 (unsigned) obfuscated_ticket_age));
297 return SSL_TLS1_3_OFFERED_PSK_MATCH;
Jerry Yu95699e72022-08-21 19:22:23 +0800298 }
299#endif /* MBEDTLS_SSL_SESSION_TICKETS */
300
Jerry Yu1c105562022-07-10 06:32:38 +0000301 /* Check identity with external configured function */
Gilles Peskine449bd832023-01-11 14:50:10 +0100302 if (ssl->conf->f_psk != NULL) {
303 if (ssl->conf->f_psk(
304 ssl->conf->p_psk, ssl, identity, identity_len) == 0) {
305 return SSL_TLS1_3_OFFERED_PSK_MATCH;
Jerry Yu1c105562022-07-10 06:32:38 +0000306 }
Gilles Peskine449bd832023-01-11 14:50:10 +0100307 return SSL_TLS1_3_OFFERED_PSK_NOT_MATCH;
Jerry Yu1c105562022-07-10 06:32:38 +0000308 }
309
Gilles Peskine449bd832023-01-11 14:50:10 +0100310 MBEDTLS_SSL_DEBUG_BUF(5, "identity", identity, identity_len);
Jerry Yu1c105562022-07-10 06:32:38 +0000311 /* Check identity with pre-configured psk */
Gilles Peskine449bd832023-01-11 14:50:10 +0100312 if (ssl->conf->psk_identity != NULL &&
Jerry Yu2f0abc92022-07-22 19:34:48 +0800313 identity_len == ssl->conf->psk_identity_len &&
Gilles Peskine449bd832023-01-11 14:50:10 +0100314 mbedtls_ct_memcmp(ssl->conf->psk_identity,
315 identity, identity_len) == 0) {
Ronald Cron606671e2023-02-17 11:36:33 +0100316 ret = mbedtls_ssl_set_hs_psk(ssl, ssl->conf->psk, ssl->conf->psk_len);
317 if (ret != 0) {
318 MBEDTLS_SSL_DEBUG_RET(1, "mbedtls_ssl_set_hs_psk", ret);
319 return ret;
320 }
Gilles Peskine449bd832023-01-11 14:50:10 +0100321 return SSL_TLS1_3_OFFERED_PSK_MATCH;
Jerry Yu1c105562022-07-10 06:32:38 +0000322 }
323
Gilles Peskine449bd832023-01-11 14:50:10 +0100324 return SSL_TLS1_3_OFFERED_PSK_NOT_MATCH;
Jerry Yu1c105562022-07-10 06:32:38 +0000325}
326
Jerry Yu6e74a7e2022-07-20 20:49:32 +0800327MBEDTLS_CHECK_RETURN_CRITICAL
Xiaokang Qian9f1747b2023-03-30 02:50:04 +0000328static int ssl_tls13_offered_psks_check_binder_match(
329 mbedtls_ssl_context *ssl,
330 const unsigned char *binder, size_t binder_len,
331 int psk_type, psa_algorithm_t psk_hash_alg)
Jerry Yu1c105562022-07-10 06:32:38 +0000332{
333 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Jerry Yu96a2e362022-07-21 15:11:34 +0800334
Jerry Yudaf375a2022-07-20 21:31:43 +0800335 unsigned char transcript[PSA_HASH_MAX_SIZE];
Jerry Yu1c105562022-07-10 06:32:38 +0000336 size_t transcript_len;
Jerry Yu2f0abc92022-07-22 19:34:48 +0800337 unsigned char *psk;
Jerry Yu96a2e362022-07-21 15:11:34 +0800338 size_t psk_len;
Jerry Yudaf375a2022-07-20 21:31:43 +0800339 unsigned char server_computed_binder[PSA_HASH_MAX_SIZE];
Jerry Yu1c105562022-07-10 06:32:38 +0000340
Jerry Yu1c105562022-07-10 06:32:38 +0000341 /* Get current state of handshake transcript. */
Jerry Yu29d9faa2022-08-23 17:52:45 +0800342 ret = mbedtls_ssl_get_handshake_transcript(
Manuel Pégourié-Gonnard2d6d9932023-03-28 11:38:08 +0200343 ssl, mbedtls_md_type_from_psa_alg(psk_hash_alg),
Gilles Peskine449bd832023-01-11 14:50:10 +0100344 transcript, sizeof(transcript), &transcript_len);
345 if (ret != 0) {
346 return ret;
347 }
Jerry Yu1c105562022-07-10 06:32:38 +0000348
Gilles Peskine449bd832023-01-11 14:50:10 +0100349 ret = mbedtls_ssl_tls13_export_handshake_psk(ssl, &psk, &psk_len);
350 if (ret != 0) {
351 return ret;
352 }
Jerry Yu96a2e362022-07-21 15:11:34 +0800353
Gilles Peskine449bd832023-01-11 14:50:10 +0100354 ret = mbedtls_ssl_tls13_create_psk_binder(ssl, psk_hash_alg,
355 psk, psk_len, psk_type,
356 transcript,
357 server_computed_binder);
Jerry Yu96a2e362022-07-21 15:11:34 +0800358#if defined(MBEDTLS_USE_PSA_CRYPTO)
Gilles Peskine449bd832023-01-11 14:50:10 +0100359 mbedtls_free((void *) psk);
Jerry Yu96a2e362022-07-21 15:11:34 +0800360#endif
Gilles Peskine449bd832023-01-11 14:50:10 +0100361 if (ret != 0) {
362 MBEDTLS_SSL_DEBUG_MSG(1, ("PSK binder calculation failed."));
363 return MBEDTLS_ERR_SSL_HANDSHAKE_FAILURE;
Jerry Yu1c105562022-07-10 06:32:38 +0000364 }
365
Gilles Peskine449bd832023-01-11 14:50:10 +0100366 MBEDTLS_SSL_DEBUG_BUF(3, "psk binder ( computed ): ",
367 server_computed_binder, transcript_len);
368 MBEDTLS_SSL_DEBUG_BUF(3, "psk binder ( received ): ", binder, binder_len);
Jerry Yu1c105562022-07-10 06:32:38 +0000369
Gilles Peskine449bd832023-01-11 14:50:10 +0100370 if (mbedtls_ct_memcmp(server_computed_binder, binder, binder_len) == 0) {
371 return SSL_TLS1_3_OFFERED_PSK_MATCH;
Jerry Yu1c105562022-07-10 06:32:38 +0000372 }
373
Gilles Peskine449bd832023-01-11 14:50:10 +0100374 mbedtls_platform_zeroize(server_computed_binder,
375 sizeof(server_computed_binder));
376 return SSL_TLS1_3_OFFERED_PSK_NOT_MATCH;
Jerry Yu1c105562022-07-10 06:32:38 +0000377}
Jerry Yu96a2e362022-07-21 15:11:34 +0800378
Jerry Yu5725f1c2022-08-21 17:27:16 +0800379MBEDTLS_CHECK_RETURN_CRITICAL
Jerry Yuf35ba382022-08-23 17:58:26 +0800380static int ssl_tls13_select_ciphersuite_for_psk(
Gilles Peskine449bd832023-01-11 14:50:10 +0100381 mbedtls_ssl_context *ssl,
382 const unsigned char *cipher_suites,
383 const unsigned char *cipher_suites_end,
384 uint16_t *selected_ciphersuite,
385 const mbedtls_ssl_ciphersuite_t **selected_ciphersuite_info)
Jerry Yu5725f1c2022-08-21 17:27:16 +0800386{
Jerry Yuf35ba382022-08-23 17:58:26 +0800387 psa_algorithm_t psk_hash_alg = PSA_ALG_SHA_256;
Jerry Yu5725f1c2022-08-21 17:27:16 +0800388
Jerry Yu0baf9072022-08-25 11:21:04 +0800389 *selected_ciphersuite = 0;
390 *selected_ciphersuite_info = NULL;
391
Jerry Yuf35ba382022-08-23 17:58:26 +0800392 /* RFC 8446, page 55.
393 *
394 * For externally established PSKs, the Hash algorithm MUST be set when the
395 * PSK is established or default to SHA-256 if no such algorithm is defined.
396 *
397 */
Jerry Yu5725f1c2022-08-21 17:27:16 +0800398
Jerry Yu5725f1c2022-08-21 17:27:16 +0800399 /*
400 * Search for a matching ciphersuite
401 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100402 for (const unsigned char *p = cipher_suites;
403 p < cipher_suites_end; p += 2) {
Jerry Yu5725f1c2022-08-21 17:27:16 +0800404 uint16_t cipher_suite;
Jerry Yuf35ba382022-08-23 17:58:26 +0800405 const mbedtls_ssl_ciphersuite_t *ciphersuite_info;
Jerry Yu5725f1c2022-08-21 17:27:16 +0800406
Gilles Peskine449bd832023-01-11 14:50:10 +0100407 cipher_suite = MBEDTLS_GET_UINT16_BE(p, 0);
408 ciphersuite_info = ssl_tls13_validate_peer_ciphersuite(ssl,
409 cipher_suite);
410 if (ciphersuite_info == NULL) {
Jerry Yu5725f1c2022-08-21 17:27:16 +0800411 continue;
Gilles Peskine449bd832023-01-11 14:50:10 +0100412 }
Jerry Yu5725f1c2022-08-21 17:27:16 +0800413
Jerry Yu5725f1c2022-08-21 17:27:16 +0800414 /* MAC of selected ciphersuite MUST be same with PSK binder if exist.
415 * Otherwise, client should reject.
416 */
Dave Rodgman2eab4622023-10-05 13:30:37 +0100417 if (psk_hash_alg ==
418 mbedtls_md_psa_alg_from_type((mbedtls_md_type_t) ciphersuite_info->mac)) {
Jerry Yuf35ba382022-08-23 17:58:26 +0800419 *selected_ciphersuite = cipher_suite;
420 *selected_ciphersuite_info = ciphersuite_info;
Gilles Peskine449bd832023-01-11 14:50:10 +0100421 return 0;
Jerry Yuf35ba382022-08-23 17:58:26 +0800422 }
423 }
Gilles Peskine449bd832023-01-11 14:50:10 +0100424 MBEDTLS_SSL_DEBUG_MSG(2, ("No matched ciphersuite"));
425 return MBEDTLS_ERR_SSL_HANDSHAKE_FAILURE;
Jerry Yuf35ba382022-08-23 17:58:26 +0800426}
Jerry Yu5725f1c2022-08-21 17:27:16 +0800427
Jerry Yu82534862022-08-30 10:42:33 +0800428#if defined(MBEDTLS_SSL_SESSION_TICKETS)
Jerry Yuf35ba382022-08-23 17:58:26 +0800429MBEDTLS_CHECK_RETURN_CRITICAL
430static int ssl_tls13_select_ciphersuite_for_resumption(
Gilles Peskine449bd832023-01-11 14:50:10 +0100431 mbedtls_ssl_context *ssl,
432 const unsigned char *cipher_suites,
433 const unsigned char *cipher_suites_end,
434 mbedtls_ssl_session *session,
435 uint16_t *selected_ciphersuite,
436 const mbedtls_ssl_ciphersuite_t **selected_ciphersuite_info)
Jerry Yuf35ba382022-08-23 17:58:26 +0800437{
Jerry Yu82534862022-08-30 10:42:33 +0800438
Jerry Yuf35ba382022-08-23 17:58:26 +0800439 *selected_ciphersuite = 0;
440 *selected_ciphersuite_info = NULL;
Gilles Peskine449bd832023-01-11 14:50:10 +0100441 for (const unsigned char *p = cipher_suites; p < cipher_suites_end; p += 2) {
442 uint16_t cipher_suite = MBEDTLS_GET_UINT16_BE(p, 0);
Jerry Yu82534862022-08-30 10:42:33 +0800443 const mbedtls_ssl_ciphersuite_t *ciphersuite_info;
444
Gilles Peskine449bd832023-01-11 14:50:10 +0100445 if (cipher_suite != session->ciphersuite) {
Jerry Yu82534862022-08-30 10:42:33 +0800446 continue;
Gilles Peskine449bd832023-01-11 14:50:10 +0100447 }
Jerry Yu82534862022-08-30 10:42:33 +0800448
Gilles Peskine449bd832023-01-11 14:50:10 +0100449 ciphersuite_info = ssl_tls13_validate_peer_ciphersuite(ssl,
450 cipher_suite);
451 if (ciphersuite_info == NULL) {
Jerry Yu82534862022-08-30 10:42:33 +0800452 continue;
Gilles Peskine449bd832023-01-11 14:50:10 +0100453 }
Jerry Yu82534862022-08-30 10:42:33 +0800454
Jerry Yu4746b102022-09-13 11:11:48 +0800455 *selected_ciphersuite = cipher_suite;
Jerry Yu82534862022-08-30 10:42:33 +0800456 *selected_ciphersuite_info = ciphersuite_info;
457
Gilles Peskine449bd832023-01-11 14:50:10 +0100458 return 0;
Jerry Yu82534862022-08-30 10:42:33 +0800459 }
460
Gilles Peskine449bd832023-01-11 14:50:10 +0100461 return MBEDTLS_ERR_SSL_HANDSHAKE_FAILURE;
Jerry Yu5725f1c2022-08-21 17:27:16 +0800462}
Jerry Yuf35ba382022-08-23 17:58:26 +0800463
Jerry Yu82534862022-08-30 10:42:33 +0800464MBEDTLS_CHECK_RETURN_CRITICAL
Gilles Peskine449bd832023-01-11 14:50:10 +0100465static int ssl_tls13_session_copy_ticket(mbedtls_ssl_session *dst,
466 const mbedtls_ssl_session *src)
Jerry Yu82534862022-08-30 10:42:33 +0800467{
Jerry Yu82534862022-08-30 10:42:33 +0800468 dst->ticket_age_add = src->ticket_age_add;
469 dst->ticket_flags = src->ticket_flags;
470 dst->resumption_key_len = src->resumption_key_len;
Gilles Peskine449bd832023-01-11 14:50:10 +0100471 if (src->resumption_key_len == 0) {
472 return MBEDTLS_ERR_SSL_INTERNAL_ERROR;
473 }
474 memcpy(dst->resumption_key, src->resumption_key, src->resumption_key_len);
Jerry Yu4746b102022-09-13 11:11:48 +0800475
Jerry Yu33bf2402022-12-12 16:01:43 +0800476#if defined(MBEDTLS_SSL_EARLY_DATA)
477 dst->max_early_data_size = src->max_early_data_size;
478#endif
479
Gilles Peskine449bd832023-01-11 14:50:10 +0100480 return 0;
Jerry Yu82534862022-08-30 10:42:33 +0800481}
482#endif /* MBEDTLS_SSL_SESSION_TICKETS */
483
Jerry Yu1c105562022-07-10 06:32:38 +0000484/* Parser for pre_shared_key extension in client hello
485 * struct {
486 * opaque identity<1..2^16-1>;
487 * uint32 obfuscated_ticket_age;
488 * } PskIdentity;
489 *
490 * opaque PskBinderEntry<32..255>;
491 *
492 * struct {
493 * PskIdentity identities<7..2^16-1>;
494 * PskBinderEntry binders<33..2^16-1>;
495 * } OfferedPsks;
496 *
497 * struct {
498 * select (Handshake.msg_type) {
499 * case client_hello: OfferedPsks;
500 * ....
501 * };
502 * } PreSharedKeyExtension;
503 */
Jerry Yu6e74a7e2022-07-20 20:49:32 +0800504MBEDTLS_CHECK_RETURN_CRITICAL
Xiaokang Qian9f1747b2023-03-30 02:50:04 +0000505static int ssl_tls13_parse_pre_shared_key_ext(
506 mbedtls_ssl_context *ssl,
507 const unsigned char *pre_shared_key_ext,
508 const unsigned char *pre_shared_key_ext_end,
509 const unsigned char *ciphersuites,
510 const unsigned char *ciphersuites_end)
Jerry Yu1c105562022-07-10 06:32:38 +0000511{
Manuel Pégourié-Gonnardb8b07aa2023-02-06 00:34:21 +0100512 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Jerry Yu29d9faa2022-08-23 17:52:45 +0800513 const unsigned char *identities = pre_shared_key_ext;
Jerry Yu568ec252022-07-22 21:27:34 +0800514 const unsigned char *p_identity_len;
515 size_t identities_len;
Jerry Yu1c105562022-07-10 06:32:38 +0000516 const unsigned char *identities_end;
Jerry Yu568ec252022-07-22 21:27:34 +0800517 const unsigned char *binders;
518 const unsigned char *p_binder_len;
519 size_t binders_len;
Jerry Yu1c105562022-07-10 06:32:38 +0000520 const unsigned char *binders_end;
Jerry Yu96a2e362022-07-21 15:11:34 +0800521 int matched_identity = -1;
522 int identity_id = -1;
Jerry Yu1c105562022-07-10 06:32:38 +0000523
Gilles Peskine449bd832023-01-11 14:50:10 +0100524 MBEDTLS_SSL_DEBUG_BUF(3, "pre_shared_key extension",
525 pre_shared_key_ext,
526 pre_shared_key_ext_end - pre_shared_key_ext);
Jerry Yu1c105562022-07-10 06:32:38 +0000527
Jerry Yu96a2e362022-07-21 15:11:34 +0800528 /* identities_len 2 bytes
529 * identities_data >= 7 bytes
530 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100531 MBEDTLS_SSL_CHK_BUF_READ_PTR(identities, pre_shared_key_ext_end, 7 + 2);
532 identities_len = MBEDTLS_GET_UINT16_BE(identities, 0);
Jerry Yu568ec252022-07-22 21:27:34 +0800533 p_identity_len = identities + 2;
Gilles Peskine449bd832023-01-11 14:50:10 +0100534 MBEDTLS_SSL_CHK_BUF_READ_PTR(p_identity_len, pre_shared_key_ext_end,
535 identities_len);
Jerry Yu568ec252022-07-22 21:27:34 +0800536 identities_end = p_identity_len + identities_len;
Jerry Yu1c105562022-07-10 06:32:38 +0000537
Jerry Yu96a2e362022-07-21 15:11:34 +0800538 /* binders_len 2 bytes
539 * binders >= 33 bytes
540 */
Jerry Yu568ec252022-07-22 21:27:34 +0800541 binders = identities_end;
Gilles Peskine449bd832023-01-11 14:50:10 +0100542 MBEDTLS_SSL_CHK_BUF_READ_PTR(binders, pre_shared_key_ext_end, 33 + 2);
543 binders_len = MBEDTLS_GET_UINT16_BE(binders, 0);
Jerry Yu568ec252022-07-22 21:27:34 +0800544 p_binder_len = binders + 2;
Gilles Peskine449bd832023-01-11 14:50:10 +0100545 MBEDTLS_SSL_CHK_BUF_READ_PTR(p_binder_len, pre_shared_key_ext_end, binders_len);
Jerry Yu568ec252022-07-22 21:27:34 +0800546 binders_end = p_binder_len + binders_len;
Jerry Yu1c105562022-07-10 06:32:38 +0000547
Manuel Pégourié-Gonnardb8b07aa2023-02-06 00:34:21 +0100548 ret = ssl->handshake->update_checksum(ssl, pre_shared_key_ext,
549 identities_end - pre_shared_key_ext);
550 if (0 != ret) {
551 MBEDTLS_SSL_DEBUG_RET(1, ("update_checksum"), ret);
552 return ret;
553 }
Jerry Yu96a2e362022-07-21 15:11:34 +0800554
Gilles Peskine449bd832023-01-11 14:50:10 +0100555 while (p_identity_len < identities_end && p_binder_len < binders_end) {
Jerry Yu1c105562022-07-10 06:32:38 +0000556 const unsigned char *identity;
Jerry Yu568ec252022-07-22 21:27:34 +0800557 size_t identity_len;
Jerry Yu82534862022-08-30 10:42:33 +0800558 uint32_t obfuscated_ticket_age;
Jerry Yu96a2e362022-07-21 15:11:34 +0800559 const unsigned char *binder;
Jerry Yu568ec252022-07-22 21:27:34 +0800560 size_t binder_len;
Jerry Yu5725f1c2022-08-21 17:27:16 +0800561 int psk_type;
562 uint16_t cipher_suite;
Jerry Yu29d9faa2022-08-23 17:52:45 +0800563 const mbedtls_ssl_ciphersuite_t *ciphersuite_info;
Jerry Yu82534862022-08-30 10:42:33 +0800564#if defined(MBEDTLS_SSL_SESSION_TICKETS)
565 mbedtls_ssl_session session;
Gilles Peskine449bd832023-01-11 14:50:10 +0100566 mbedtls_ssl_session_init(&session);
Jerry Yu82534862022-08-30 10:42:33 +0800567#endif
Jerry Yubb852022022-07-20 21:10:44 +0800568
Gilles Peskine449bd832023-01-11 14:50:10 +0100569 MBEDTLS_SSL_CHK_BUF_READ_PTR(p_identity_len, identities_end, 2 + 1 + 4);
570 identity_len = MBEDTLS_GET_UINT16_BE(p_identity_len, 0);
Jerry Yu568ec252022-07-22 21:27:34 +0800571 identity = p_identity_len + 2;
Gilles Peskine449bd832023-01-11 14:50:10 +0100572 MBEDTLS_SSL_CHK_BUF_READ_PTR(identity, identities_end, identity_len + 4);
573 obfuscated_ticket_age = MBEDTLS_GET_UINT32_BE(identity, identity_len);
Jerry Yu568ec252022-07-22 21:27:34 +0800574 p_identity_len += identity_len + 6;
Jerry Yu1c105562022-07-10 06:32:38 +0000575
Gilles Peskine449bd832023-01-11 14:50:10 +0100576 MBEDTLS_SSL_CHK_BUF_READ_PTR(p_binder_len, binders_end, 1 + 32);
Jerry Yu568ec252022-07-22 21:27:34 +0800577 binder_len = *p_binder_len;
578 binder = p_binder_len + 1;
Gilles Peskine449bd832023-01-11 14:50:10 +0100579 MBEDTLS_SSL_CHK_BUF_READ_PTR(binder, binders_end, binder_len);
Jerry Yu568ec252022-07-22 21:27:34 +0800580 p_binder_len += binder_len + 1;
Jerry Yu96a2e362022-07-21 15:11:34 +0800581
Jerry Yu96a2e362022-07-21 15:11:34 +0800582 identity_id++;
Gilles Peskine449bd832023-01-11 14:50:10 +0100583 if (matched_identity != -1) {
Jerry Yu1c105562022-07-10 06:32:38 +0000584 continue;
Gilles Peskine449bd832023-01-11 14:50:10 +0100585 }
Jerry Yu1c105562022-07-10 06:32:38 +0000586
Jerry Yu96a2e362022-07-21 15:11:34 +0800587 ret = ssl_tls13_offered_psks_check_identity_match(
Gilles Peskine449bd832023-01-11 14:50:10 +0100588 ssl, identity, identity_len, obfuscated_ticket_age,
589 &psk_type, &session);
590 if (ret != SSL_TLS1_3_OFFERED_PSK_MATCH) {
Jerry Yu96a2e362022-07-21 15:11:34 +0800591 continue;
Gilles Peskine449bd832023-01-11 14:50:10 +0100592 }
Jerry Yu96a2e362022-07-21 15:11:34 +0800593
Gilles Peskine449bd832023-01-11 14:50:10 +0100594 MBEDTLS_SSL_DEBUG_MSG(4, ("found matched identity"));
595 switch (psk_type) {
Jerry Yu0baf9072022-08-25 11:21:04 +0800596 case MBEDTLS_SSL_TLS1_3_PSK_EXTERNAL:
597 ret = ssl_tls13_select_ciphersuite_for_psk(
Gilles Peskine449bd832023-01-11 14:50:10 +0100598 ssl, ciphersuites, ciphersuites_end,
599 &cipher_suite, &ciphersuite_info);
Jerry Yu0baf9072022-08-25 11:21:04 +0800600 break;
601 case MBEDTLS_SSL_TLS1_3_PSK_RESUMPTION:
Jerry Yu82534862022-08-30 10:42:33 +0800602#if defined(MBEDTLS_SSL_SESSION_TICKETS)
Jerry Yu0baf9072022-08-25 11:21:04 +0800603 ret = ssl_tls13_select_ciphersuite_for_resumption(
Gilles Peskine449bd832023-01-11 14:50:10 +0100604 ssl, ciphersuites, ciphersuites_end, &session,
605 &cipher_suite, &ciphersuite_info);
606 if (ret != 0) {
607 mbedtls_ssl_session_free(&session);
608 }
Jerry Yu82534862022-08-30 10:42:33 +0800609#else
610 ret = MBEDTLS_ERR_SSL_FEATURE_UNAVAILABLE;
611#endif
Jerry Yu0baf9072022-08-25 11:21:04 +0800612 break;
613 default:
Gilles Peskine449bd832023-01-11 14:50:10 +0100614 return MBEDTLS_ERR_SSL_INTERNAL_ERROR;
Jerry Yu0baf9072022-08-25 11:21:04 +0800615 }
Gilles Peskine449bd832023-01-11 14:50:10 +0100616 if (ret != 0) {
Jerry Yuf35ba382022-08-23 17:58:26 +0800617 /* See below, no cipher_suite available, abort handshake */
618 MBEDTLS_SSL_PEND_FATAL_ALERT(
619 MBEDTLS_SSL_ALERT_MSG_DECRYPT_ERROR,
Gilles Peskine449bd832023-01-11 14:50:10 +0100620 MBEDTLS_ERR_SSL_HANDSHAKE_FAILURE);
Jerry Yuf35ba382022-08-23 17:58:26 +0800621 MBEDTLS_SSL_DEBUG_RET(
Gilles Peskine449bd832023-01-11 14:50:10 +0100622 2, "ssl_tls13_select_ciphersuite", ret);
623 return ret;
Jerry Yu5725f1c2022-08-21 17:27:16 +0800624 }
625
Jerry Yu96a2e362022-07-21 15:11:34 +0800626 ret = ssl_tls13_offered_psks_check_binder_match(
Gilles Peskine449bd832023-01-11 14:50:10 +0100627 ssl, binder, binder_len, psk_type,
Dave Rodgman2eab4622023-10-05 13:30:37 +0100628 mbedtls_md_psa_alg_from_type((mbedtls_md_type_t) ciphersuite_info->mac));
Gilles Peskine449bd832023-01-11 14:50:10 +0100629 if (ret != SSL_TLS1_3_OFFERED_PSK_MATCH) {
Jerry Yuc5a23a02022-08-25 10:51:44 +0800630 /* For security reasons, the handshake should be aborted when we
631 * fail to validate a binder value. See RFC 8446 section 4.2.11.2
632 * and appendix E.6. */
Jerry Yu82534862022-08-30 10:42:33 +0800633#if defined(MBEDTLS_SSL_SESSION_TICKETS)
Gilles Peskine449bd832023-01-11 14:50:10 +0100634 mbedtls_ssl_session_free(&session);
Jerry Yu82534862022-08-30 10:42:33 +0800635#endif
Gilles Peskine449bd832023-01-11 14:50:10 +0100636 MBEDTLS_SSL_DEBUG_MSG(3, ("Invalid binder."));
Xiaokang Qian9f1747b2023-03-30 02:50:04 +0000637 MBEDTLS_SSL_DEBUG_RET(
638 1, "ssl_tls13_offered_psks_check_binder_match", ret);
Jerry Yu96a2e362022-07-21 15:11:34 +0800639 MBEDTLS_SSL_PEND_FATAL_ALERT(
640 MBEDTLS_SSL_ALERT_MSG_DECRYPT_ERROR,
Gilles Peskine449bd832023-01-11 14:50:10 +0100641 MBEDTLS_ERR_SSL_HANDSHAKE_FAILURE);
642 return ret;
Jerry Yu96a2e362022-07-21 15:11:34 +0800643 }
Jerry Yu96a2e362022-07-21 15:11:34 +0800644
645 matched_identity = identity_id;
Jerry Yu5725f1c2022-08-21 17:27:16 +0800646
647 /* Update handshake parameters */
Jerry Yue5834fd2022-08-29 20:16:09 +0800648 ssl->handshake->ciphersuite_info = ciphersuite_info;
Jerry Yu4746b102022-09-13 11:11:48 +0800649 ssl->session_negotiate->ciphersuite = cipher_suite;
Gilles Peskine449bd832023-01-11 14:50:10 +0100650 MBEDTLS_SSL_DEBUG_MSG(2, ("overwrite ciphersuite: %04x - %s",
651 cipher_suite, ciphersuite_info->name));
Jerry Yu82534862022-08-30 10:42:33 +0800652#if defined(MBEDTLS_SSL_SESSION_TICKETS)
Gilles Peskine449bd832023-01-11 14:50:10 +0100653 if (psk_type == MBEDTLS_SSL_TLS1_3_PSK_RESUMPTION) {
654 ret = ssl_tls13_session_copy_ticket(ssl->session_negotiate,
655 &session);
656 mbedtls_ssl_session_free(&session);
657 if (ret != 0) {
658 return ret;
659 }
Jerry Yu82534862022-08-30 10:42:33 +0800660 }
661#endif /* MBEDTLS_SSL_SESSION_TICKETS */
Jerry Yu1c105562022-07-10 06:32:38 +0000662 }
663
Gilles Peskine449bd832023-01-11 14:50:10 +0100664 if (p_identity_len != identities_end || p_binder_len != binders_end) {
665 MBEDTLS_SSL_DEBUG_MSG(3, ("pre_shared_key extension decode error"));
666 MBEDTLS_SSL_PEND_FATAL_ALERT(MBEDTLS_SSL_ALERT_MSG_DECODE_ERROR,
667 MBEDTLS_ERR_SSL_DECODE_ERROR);
668 return MBEDTLS_ERR_SSL_DECODE_ERROR;
Jerry Yu1c105562022-07-10 06:32:38 +0000669 }
670
Jerry Yu6f1db3f2022-07-22 23:05:59 +0800671 /* Update the handshake transcript with the binder list. */
Xiaokang Qian9f1747b2023-03-30 02:50:04 +0000672 ret = ssl->handshake->update_checksum(
673 ssl, identities_end, (size_t) (binders_end - identities_end));
Manuel Pégourié-Gonnardb8b07aa2023-02-06 00:34:21 +0100674 if (0 != ret) {
675 MBEDTLS_SSL_DEBUG_RET(1, ("update_checksum"), ret);
676 return ret;
677 }
Gilles Peskine449bd832023-01-11 14:50:10 +0100678 if (matched_identity == -1) {
679 MBEDTLS_SSL_DEBUG_MSG(3, ("No matched PSK or ticket."));
680 return MBEDTLS_ERR_SSL_UNKNOWN_IDENTITY;
Jerry Yu1c105562022-07-10 06:32:38 +0000681 }
682
Gilles Peskine449bd832023-01-11 14:50:10 +0100683 ssl->handshake->selected_identity = (uint16_t) matched_identity;
684 MBEDTLS_SSL_DEBUG_MSG(3, ("Pre shared key found"));
Jerry Yu1c105562022-07-10 06:32:38 +0000685
Gilles Peskine449bd832023-01-11 14:50:10 +0100686 return 0;
Jerry Yu1c105562022-07-10 06:32:38 +0000687}
Jerry Yu032b15ce2022-07-11 06:10:03 +0000688
689/*
690 * struct {
691 * select ( Handshake.msg_type ) {
692 * ....
693 * case server_hello:
694 * uint16 selected_identity;
695 * }
696 * } PreSharedKeyExtension;
697 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100698static int ssl_tls13_write_server_pre_shared_key_ext(mbedtls_ssl_context *ssl,
699 unsigned char *buf,
700 unsigned char *end,
701 size_t *olen)
Jerry Yu032b15ce2022-07-11 06:10:03 +0000702{
Gilles Peskine449bd832023-01-11 14:50:10 +0100703 unsigned char *p = (unsigned char *) buf;
Jerry Yu032b15ce2022-07-11 06:10:03 +0000704
705 *olen = 0;
706
David Horstmann21b89762022-10-06 18:34:28 +0100707 int not_using_psk = 0;
Jerry Yu032b15ce2022-07-11 06:10:03 +0000708#if defined(MBEDTLS_USE_PSA_CRYPTO)
Gilles Peskine449bd832023-01-11 14:50:10 +0100709 not_using_psk = (mbedtls_svc_key_id_is_null(ssl->handshake->psk_opaque));
Jerry Yu032b15ce2022-07-11 06:10:03 +0000710#else
Gilles Peskine449bd832023-01-11 14:50:10 +0100711 not_using_psk = (ssl->handshake->psk == NULL);
Jerry Yu032b15ce2022-07-11 06:10:03 +0000712#endif
Gilles Peskine449bd832023-01-11 14:50:10 +0100713 if (not_using_psk) {
Jerry Yu032b15ce2022-07-11 06:10:03 +0000714 /* We shouldn't have called this extension writer unless we've
715 * chosen to use a PSK. */
Gilles Peskine449bd832023-01-11 14:50:10 +0100716 return MBEDTLS_ERR_SSL_INTERNAL_ERROR;
Jerry Yu032b15ce2022-07-11 06:10:03 +0000717 }
718
Gilles Peskine449bd832023-01-11 14:50:10 +0100719 MBEDTLS_SSL_DEBUG_MSG(3, ("server hello, adding pre_shared_key extension"));
720 MBEDTLS_SSL_CHK_BUF_PTR(p, end, 6);
Jerry Yu032b15ce2022-07-11 06:10:03 +0000721
Gilles Peskine449bd832023-01-11 14:50:10 +0100722 MBEDTLS_PUT_UINT16_BE(MBEDTLS_TLS_EXT_PRE_SHARED_KEY, p, 0);
723 MBEDTLS_PUT_UINT16_BE(2, p, 2);
Jerry Yu032b15ce2022-07-11 06:10:03 +0000724
Gilles Peskine449bd832023-01-11 14:50:10 +0100725 MBEDTLS_PUT_UINT16_BE(ssl->handshake->selected_identity, p, 4);
Jerry Yu032b15ce2022-07-11 06:10:03 +0000726
727 *olen = 6;
728
Gilles Peskine449bd832023-01-11 14:50:10 +0100729 MBEDTLS_SSL_DEBUG_MSG(4, ("sent selected_identity: %u",
730 ssl->handshake->selected_identity));
Jerry Yu032b15ce2022-07-11 06:10:03 +0000731
Gilles Peskine449bd832023-01-11 14:50:10 +0100732 mbedtls_ssl_tls13_set_hs_sent_ext_mask(ssl, MBEDTLS_TLS_EXT_PRE_SHARED_KEY);
Jerry Yub95dd362022-11-08 21:19:34 +0800733
Gilles Peskine449bd832023-01-11 14:50:10 +0100734 return 0;
Jerry Yu032b15ce2022-07-11 06:10:03 +0000735}
736
Ronald Cron41a443a2022-10-04 16:38:25 +0200737#endif /* MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_SOME_PSK_ENABLED */
Jerry Yue19e3b92022-07-08 12:04:51 +0000738
XiaokangQian7807f9f2022-02-15 10:04:37 +0000739/* From RFC 8446:
740 * struct {
XiaokangQiancfd925f2022-04-14 07:10:37 +0000741 * ProtocolVersion versions<2..254>;
XiaokangQian7807f9f2022-02-15 10:04:37 +0000742 * } SupportedVersions;
743 */
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +0200744MBEDTLS_CHECK_RETURN_CRITICAL
Gilles Peskine449bd832023-01-11 14:50:10 +0100745static int ssl_tls13_parse_supported_versions_ext(mbedtls_ssl_context *ssl,
746 const unsigned char *buf,
747 const unsigned char *end)
XiaokangQian7807f9f2022-02-15 10:04:37 +0000748{
XiaokangQian7807f9f2022-02-15 10:04:37 +0000749 const unsigned char *p = buf;
XiaokangQian8f9dfe42022-04-15 02:52:39 +0000750 size_t versions_len;
XiaokangQian4080a7f2022-04-11 09:55:18 +0000751 const unsigned char *versions_end;
XiaokangQian0a1b54e2022-04-21 03:01:38 +0000752 uint16_t tls_version;
Ronald Cron5af4c7f2023-03-07 20:46:59 +0100753 int found_supported_version = 0;
XiaokangQian7807f9f2022-02-15 10:04:37 +0000754
Gilles Peskine449bd832023-01-11 14:50:10 +0100755 MBEDTLS_SSL_CHK_BUF_READ_PTR(p, end, 1);
XiaokangQian4080a7f2022-04-11 09:55:18 +0000756 versions_len = p[0];
XiaokangQian7807f9f2022-02-15 10:04:37 +0000757 p += 1;
758
Gilles Peskine449bd832023-01-11 14:50:10 +0100759 MBEDTLS_SSL_CHK_BUF_READ_PTR(p, end, versions_len);
XiaokangQian4080a7f2022-04-11 09:55:18 +0000760 versions_end = p + versions_len;
Gilles Peskine449bd832023-01-11 14:50:10 +0100761 while (p < versions_end) {
762 MBEDTLS_SSL_CHK_BUF_READ_PTR(p, versions_end, 2);
763 tls_version = mbedtls_ssl_read_version(p, ssl->conf->transport);
XiaokangQianb67384d2022-04-19 00:02:38 +0000764 p += 2;
XiaokangQian7807f9f2022-02-15 10:04:37 +0000765
Ronald Cron3bd2b022023-04-03 16:45:39 +0200766 if (MBEDTLS_SSL_VERSION_TLS1_3 == tls_version) {
Ronald Cron5af4c7f2023-03-07 20:46:59 +0100767 found_supported_version = 1;
768 break;
769 }
770
Ronald Cron3bd2b022023-04-03 16:45:39 +0200771 if ((MBEDTLS_SSL_VERSION_TLS1_2 == tls_version) &&
772 mbedtls_ssl_conf_is_tls12_enabled(ssl->conf)) {
Ronald Cron5af4c7f2023-03-07 20:46:59 +0100773 found_supported_version = 1;
XiaokangQian7807f9f2022-02-15 10:04:37 +0000774 break;
775 }
XiaokangQian7807f9f2022-02-15 10:04:37 +0000776 }
777
Ronald Cron5af4c7f2023-03-07 20:46:59 +0100778 if (!found_supported_version) {
779 MBEDTLS_SSL_DEBUG_MSG(1, ("No supported version found."));
XiaokangQian7807f9f2022-02-15 10:04:37 +0000780
Gilles Peskine449bd832023-01-11 14:50:10 +0100781 MBEDTLS_SSL_PEND_FATAL_ALERT(MBEDTLS_SSL_ALERT_MSG_PROTOCOL_VERSION,
782 MBEDTLS_ERR_SSL_BAD_PROTOCOL_VERSION);
783 return MBEDTLS_ERR_SSL_BAD_PROTOCOL_VERSION;
XiaokangQian7807f9f2022-02-15 10:04:37 +0000784 }
785
Ronald Cron5af4c7f2023-03-07 20:46:59 +0100786 MBEDTLS_SSL_DEBUG_MSG(1, ("Negotiated version: [%04x]",
Gilles Peskine449bd832023-01-11 14:50:10 +0100787 (unsigned int) tls_version));
XiaokangQian7807f9f2022-02-15 10:04:37 +0000788
Ronald Cron5af4c7f2023-03-07 20:46:59 +0100789 return (int) tls_version;
XiaokangQian7807f9f2022-02-15 10:04:37 +0000790}
791
Przemek Stekiel8c0a9532023-06-15 16:48:19 +0200792#if defined(PSA_WANT_ALG_ECDH) || defined(PSA_WANT_ALG_FFDH)
XiaokangQiane8ff3502022-04-22 02:34:40 +0000793/*
XiaokangQian7807f9f2022-02-15 10:04:37 +0000794 *
795 * From RFC 8446:
796 * enum {
797 * ... (0xFFFF)
798 * } NamedGroup;
799 * struct {
800 * NamedGroup named_group_list<2..2^16-1>;
801 * } NamedGroupList;
802 */
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +0200803MBEDTLS_CHECK_RETURN_CRITICAL
Gilles Peskine449bd832023-01-11 14:50:10 +0100804static int ssl_tls13_parse_supported_groups_ext(mbedtls_ssl_context *ssl,
805 const unsigned char *buf,
806 const unsigned char *end)
XiaokangQian7807f9f2022-02-15 10:04:37 +0000807{
XiaokangQian7807f9f2022-02-15 10:04:37 +0000808 const unsigned char *p = buf;
XiaokangQian84823772022-04-19 07:57:30 +0000809 size_t named_group_list_len;
XiaokangQian8f9dfe42022-04-15 02:52:39 +0000810 const unsigned char *named_group_list_end;
XiaokangQian7807f9f2022-02-15 10:04:37 +0000811
Gilles Peskine449bd832023-01-11 14:50:10 +0100812 MBEDTLS_SSL_DEBUG_BUF(3, "supported_groups extension", p, end - buf);
813 MBEDTLS_SSL_CHK_BUF_READ_PTR(p, end, 2);
814 named_group_list_len = MBEDTLS_GET_UINT16_BE(p, 0);
XiaokangQian7807f9f2022-02-15 10:04:37 +0000815 p += 2;
Gilles Peskine449bd832023-01-11 14:50:10 +0100816 MBEDTLS_SSL_CHK_BUF_READ_PTR(p, end, named_group_list_len);
XiaokangQian8f9dfe42022-04-15 02:52:39 +0000817 named_group_list_end = p + named_group_list_len;
XiaokangQian4e8cd7b2022-04-21 09:48:09 +0000818 ssl->handshake->hrr_selected_group = 0;
XiaokangQian7807f9f2022-02-15 10:04:37 +0000819
Gilles Peskine449bd832023-01-11 14:50:10 +0100820 while (p < named_group_list_end) {
XiaokangQian08037552022-04-20 07:16:41 +0000821 uint16_t named_group;
Gilles Peskine449bd832023-01-11 14:50:10 +0100822 MBEDTLS_SSL_CHK_BUF_READ_PTR(p, named_group_list_end, 2);
823 named_group = MBEDTLS_GET_UINT16_BE(p, 0);
XiaokangQian08037552022-04-20 07:16:41 +0000824 p += 2;
XiaokangQian7807f9f2022-02-15 10:04:37 +0000825
Gilles Peskine449bd832023-01-11 14:50:10 +0100826 MBEDTLS_SSL_DEBUG_MSG(2,
827 ("got named group: %s(%04x)",
828 mbedtls_ssl_named_group_to_str(named_group),
829 named_group));
XiaokangQian08037552022-04-20 07:16:41 +0000830
Gilles Peskine449bd832023-01-11 14:50:10 +0100831 if (!mbedtls_ssl_named_group_is_offered(ssl, named_group) ||
832 !mbedtls_ssl_named_group_is_supported(named_group) ||
833 ssl->handshake->hrr_selected_group != 0) {
XiaokangQian08037552022-04-20 07:16:41 +0000834 continue;
XiaokangQian7807f9f2022-02-15 10:04:37 +0000835 }
836
Gilles Peskine449bd832023-01-11 14:50:10 +0100837 MBEDTLS_SSL_DEBUG_MSG(2,
838 ("add named group %s(%04x) into received list.",
839 mbedtls_ssl_named_group_to_str(named_group),
840 named_group));
Jerry Yuc1be19f2022-04-23 16:11:39 +0800841
XiaokangQian4e8cd7b2022-04-21 09:48:09 +0000842 ssl->handshake->hrr_selected_group = named_group;
XiaokangQian7807f9f2022-02-15 10:04:37 +0000843 }
844
Gilles Peskine449bd832023-01-11 14:50:10 +0100845 return 0;
XiaokangQian7807f9f2022-02-15 10:04:37 +0000846
847}
Przemek Stekiel8c0a9532023-06-15 16:48:19 +0200848#endif /* PSA_WANT_ALG_ECDH || PSA_WANT_ALG_FFDH */
XiaokangQian7807f9f2022-02-15 10:04:37 +0000849
XiaokangQian08037552022-04-20 07:16:41 +0000850#define SSL_TLS1_3_PARSE_KEY_SHARES_EXT_NO_MATCH 1
851
Valerio Settic9ae8622023-07-25 11:23:50 +0200852#if defined(MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_SOME_EPHEMERAL_ENABLED)
XiaokangQian7807f9f2022-02-15 10:04:37 +0000853/*
854 * ssl_tls13_parse_key_shares_ext() verifies whether the information in the
Xiaokang Qian9f1747b2023-03-30 02:50:04 +0000855 * extension is correct and stores the first acceptable key share and its
856 * associated group.
XiaokangQian7807f9f2022-02-15 10:04:37 +0000857 *
858 * Possible return values are:
859 * - 0: Successful processing of the client provided key share extension.
Xiaokang Qian9f1747b2023-03-30 02:50:04 +0000860 * - SSL_TLS1_3_PARSE_KEY_SHARES_EXT_NO_MATCH: The key shares provided by
861 * the client does not match a group supported by the server. A
862 * HelloRetryRequest will be needed.
XiaokangQiane8ff3502022-04-22 02:34:40 +0000863 * - A negative value for fatal errors.
Jerry Yuc1be19f2022-04-23 16:11:39 +0800864 */
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +0200865MBEDTLS_CHECK_RETURN_CRITICAL
Gilles Peskine449bd832023-01-11 14:50:10 +0100866static int ssl_tls13_parse_key_shares_ext(mbedtls_ssl_context *ssl,
867 const unsigned char *buf,
868 const unsigned char *end)
XiaokangQian7807f9f2022-02-15 10:04:37 +0000869{
XiaokangQianb67384d2022-04-19 00:02:38 +0000870 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
XiaokangQian7807f9f2022-02-15 10:04:37 +0000871 unsigned char const *p = buf;
XiaokangQian8f9dfe42022-04-15 02:52:39 +0000872 unsigned char const *client_shares_end;
Jerry Yuc1be19f2022-04-23 16:11:39 +0800873 size_t client_shares_len;
XiaokangQian7807f9f2022-02-15 10:04:37 +0000874
875 /* From RFC 8446:
876 *
877 * struct {
878 * KeyShareEntry client_shares<0..2^16-1>;
879 * } KeyShareClientHello;
880 *
881 */
882
Gilles Peskine449bd832023-01-11 14:50:10 +0100883 MBEDTLS_SSL_CHK_BUF_READ_PTR(p, end, 2);
884 client_shares_len = MBEDTLS_GET_UINT16_BE(p, 0);
XiaokangQian7807f9f2022-02-15 10:04:37 +0000885 p += 2;
Gilles Peskine449bd832023-01-11 14:50:10 +0100886 MBEDTLS_SSL_CHK_BUF_READ_PTR(p, end, client_shares_len);
XiaokangQian7807f9f2022-02-15 10:04:37 +0000887
888 ssl->handshake->offered_group_id = 0;
XiaokangQian8f9dfe42022-04-15 02:52:39 +0000889 client_shares_end = p + client_shares_len;
XiaokangQian7807f9f2022-02-15 10:04:37 +0000890
891 /* We try to find a suitable key share entry and copy it to the
892 * handshake context. Later, we have to find out whether we can do
893 * something with the provided key share or whether we have to
XiaokangQianc5763b52022-04-02 03:34:37 +0000894 * dismiss it and send a HelloRetryRequest message.
895 */
XiaokangQian7807f9f2022-02-15 10:04:37 +0000896
Gilles Peskine449bd832023-01-11 14:50:10 +0100897 while (p < client_shares_end) {
XiaokangQian9b5d04b2022-04-10 10:20:43 +0000898 uint16_t group;
Jerry Yuc1be19f2022-04-23 16:11:39 +0800899 size_t key_exchange_len;
Jerry Yu086edc22022-05-05 10:50:38 +0800900 const unsigned char *key_exchange;
XiaokangQian7807f9f2022-02-15 10:04:37 +0000901
902 /*
903 * struct {
904 * NamedGroup group;
905 * opaque key_exchange<1..2^16-1>;
906 * } KeyShareEntry;
907 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100908 MBEDTLS_SSL_CHK_BUF_READ_PTR(p, client_shares_end, 4);
909 group = MBEDTLS_GET_UINT16_BE(p, 0);
910 key_exchange_len = MBEDTLS_GET_UINT16_BE(p, 2);
Jerry Yuc1be19f2022-04-23 16:11:39 +0800911 p += 4;
Jerry Yu086edc22022-05-05 10:50:38 +0800912 key_exchange = p;
Gilles Peskine449bd832023-01-11 14:50:10 +0100913 MBEDTLS_SSL_CHK_BUF_READ_PTR(p, client_shares_end, key_exchange_len);
Jerry Yu086edc22022-05-05 10:50:38 +0800914 p += key_exchange_len;
XiaokangQian7807f9f2022-02-15 10:04:37 +0000915
916 /* Continue parsing even if we have already found a match,
XiaokangQianc5763b52022-04-02 03:34:37 +0000917 * for input validation purposes.
918 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100919 if (!mbedtls_ssl_named_group_is_offered(ssl, group) ||
920 !mbedtls_ssl_named_group_is_supported(group) ||
921 ssl->handshake->offered_group_id != 0) {
XiaokangQian060d8672022-04-21 09:24:56 +0000922 continue;
923 }
XiaokangQian060d8672022-04-21 09:24:56 +0000924
XiaokangQian7807f9f2022-02-15 10:04:37 +0000925 /*
Przemek Stekielc89f3ea2023-05-18 15:45:53 +0200926 * ECDHE and FFDHE groups are supported
XiaokangQian7807f9f2022-02-15 10:04:37 +0000927 */
Przemek Stekielc89f3ea2023-05-18 15:45:53 +0200928 if (mbedtls_ssl_tls13_named_group_is_ecdhe(group) ||
Przemek Stekield5f79e72023-06-29 09:08:43 +0200929 mbedtls_ssl_tls13_named_group_is_ffdh(group)) {
Przemek Stekielc89f3ea2023-05-18 15:45:53 +0200930 MBEDTLS_SSL_DEBUG_MSG(2, ("ECDH/FFDH group: %s (%04x)",
Gilles Peskine449bd832023-01-11 14:50:10 +0100931 mbedtls_ssl_named_group_to_str(group),
932 group));
Przemek Stekiel7ac93be2023-07-04 10:02:38 +0200933 ret = mbedtls_ssl_tls13_read_public_xxdhe_share(
Gilles Peskine449bd832023-01-11 14:50:10 +0100934 ssl, key_exchange - 2, key_exchange_len + 2);
935 if (ret != 0) {
936 return ret;
937 }
XiaokangQian4e8cd7b2022-04-21 09:48:09 +0000938
Gilles Peskine449bd832023-01-11 14:50:10 +0100939 } else {
940 MBEDTLS_SSL_DEBUG_MSG(4, ("Unrecognized NamedGroup %u",
941 (unsigned) group));
XiaokangQian7807f9f2022-02-15 10:04:37 +0000942 continue;
943 }
944
XiaokangQian9b5d04b2022-04-10 10:20:43 +0000945 ssl->handshake->offered_group_id = group;
XiaokangQian7807f9f2022-02-15 10:04:37 +0000946 }
947
Jerry Yuc1be19f2022-04-23 16:11:39 +0800948
Gilles Peskine449bd832023-01-11 14:50:10 +0100949 if (ssl->handshake->offered_group_id == 0) {
950 MBEDTLS_SSL_DEBUG_MSG(1, ("no matching key share"));
951 return SSL_TLS1_3_PARSE_KEY_SHARES_EXT_NO_MATCH;
XiaokangQian7807f9f2022-02-15 10:04:37 +0000952 }
Gilles Peskine449bd832023-01-11 14:50:10 +0100953 return 0;
XiaokangQian7807f9f2022-02-15 10:04:37 +0000954}
Valerio Settic9ae8622023-07-25 11:23:50 +0200955#endif /* MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_SOME_EPHEMERAL_ENABLED */
XiaokangQian7807f9f2022-02-15 10:04:37 +0000956
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +0200957MBEDTLS_CHECK_RETURN_CRITICAL
Gilles Peskine449bd832023-01-11 14:50:10 +0100958static int ssl_tls13_client_hello_has_exts(mbedtls_ssl_context *ssl,
959 int exts_mask)
XiaokangQian7807f9f2022-02-15 10:04:37 +0000960{
Jerry Yu0c354a22022-08-29 15:25:36 +0800961 int masked = ssl->handshake->received_extensions & exts_mask;
Gilles Peskine449bd832023-01-11 14:50:10 +0100962 return masked == exts_mask;
XiaokangQian7807f9f2022-02-15 10:04:37 +0000963}
964
Jerry Yue5991322022-11-07 14:03:44 +0800965#if defined(MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_EPHEMERAL_ENABLED)
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +0200966MBEDTLS_CHECK_RETURN_CRITICAL
XiaokangQianb67384d2022-04-19 00:02:38 +0000967static int ssl_tls13_client_hello_has_exts_for_ephemeral_key_exchange(
Gilles Peskine449bd832023-01-11 14:50:10 +0100968 mbedtls_ssl_context *ssl)
XiaokangQian7807f9f2022-02-15 10:04:37 +0000969{
Gilles Peskine449bd832023-01-11 14:50:10 +0100970 return ssl_tls13_client_hello_has_exts(
971 ssl,
972 MBEDTLS_SSL_EXT_MASK(SUPPORTED_GROUPS) |
973 MBEDTLS_SSL_EXT_MASK(KEY_SHARE) |
974 MBEDTLS_SSL_EXT_MASK(SIG_ALG));
XiaokangQian7807f9f2022-02-15 10:04:37 +0000975}
Jerry Yue5991322022-11-07 14:03:44 +0800976#endif /* MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_EPHEMERAL_ENABLED */
XiaokangQian7807f9f2022-02-15 10:04:37 +0000977
Jerry Yue5991322022-11-07 14:03:44 +0800978#if defined(MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_PSK_ENABLED)
Jerry Yu77f01482022-07-11 07:03:24 +0000979MBEDTLS_CHECK_RETURN_CRITICAL
980static int ssl_tls13_client_hello_has_exts_for_psk_key_exchange(
Gilles Peskine449bd832023-01-11 14:50:10 +0100981 mbedtls_ssl_context *ssl)
Jerry Yu77f01482022-07-11 07:03:24 +0000982{
Gilles Peskine449bd832023-01-11 14:50:10 +0100983 return ssl_tls13_client_hello_has_exts(
984 ssl,
985 MBEDTLS_SSL_EXT_MASK(PRE_SHARED_KEY) |
986 MBEDTLS_SSL_EXT_MASK(PSK_KEY_EXCHANGE_MODES));
Jerry Yu77f01482022-07-11 07:03:24 +0000987}
Jerry Yue5991322022-11-07 14:03:44 +0800988#endif /* MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_PSK_ENABLED */
Jerry Yu77f01482022-07-11 07:03:24 +0000989
Jerry Yue5991322022-11-07 14:03:44 +0800990#if defined(MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_PSK_EPHEMERAL_ENABLED)
Jerry Yu77f01482022-07-11 07:03:24 +0000991MBEDTLS_CHECK_RETURN_CRITICAL
992static int ssl_tls13_client_hello_has_exts_for_psk_ephemeral_key_exchange(
Gilles Peskine449bd832023-01-11 14:50:10 +0100993 mbedtls_ssl_context *ssl)
Jerry Yu77f01482022-07-11 07:03:24 +0000994{
Gilles Peskine449bd832023-01-11 14:50:10 +0100995 return ssl_tls13_client_hello_has_exts(
996 ssl,
997 MBEDTLS_SSL_EXT_MASK(SUPPORTED_GROUPS) |
998 MBEDTLS_SSL_EXT_MASK(KEY_SHARE) |
999 MBEDTLS_SSL_EXT_MASK(PRE_SHARED_KEY) |
1000 MBEDTLS_SSL_EXT_MASK(PSK_KEY_EXCHANGE_MODES));
Jerry Yu77f01482022-07-11 07:03:24 +00001001}
Jerry Yue5991322022-11-07 14:03:44 +08001002#endif /* MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_PSK_EPHEMERAL_ENABLED */
Jerry Yu77f01482022-07-11 07:03:24 +00001003
Pengyu Lv306a01d2023-02-02 16:35:47 +08001004#if defined(MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_SOME_PSK_ENABLED)
1005MBEDTLS_CHECK_RETURN_CRITICAL
Pengyu Lv52ad3332023-02-14 14:32:37 +08001006static int ssl_tls13_ticket_permission_check(mbedtls_ssl_context *ssl,
1007 unsigned int kex_mode)
Pengyu Lv306a01d2023-02-02 16:35:47 +08001008{
1009#if defined(MBEDTLS_SSL_SESSION_TICKETS)
1010 if (ssl->handshake->resume) {
Pengyu Lv7b711712023-10-24 17:07:14 +08001011 if (mbedtls_ssl_session_check_ticket_flags(
Pengyu Lv306a01d2023-02-02 16:35:47 +08001012 ssl->session_negotiate, kex_mode)) {
1013 return 0;
1014 }
1015 }
1016#else
1017 ((void) ssl);
1018 ((void) kex_mode);
1019#endif
1020 return 1;
1021}
1022#endif /* MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_SOME_PSK_ENABLED */
1023
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +02001024MBEDTLS_CHECK_RETURN_CRITICAL
Gilles Peskine449bd832023-01-11 14:50:10 +01001025static int ssl_tls13_check_ephemeral_key_exchange(mbedtls_ssl_context *ssl)
XiaokangQian7807f9f2022-02-15 10:04:37 +00001026{
Jerry Yue5991322022-11-07 14:03:44 +08001027#if defined(MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_EPHEMERAL_ENABLED)
Gilles Peskine449bd832023-01-11 14:50:10 +01001028 return mbedtls_ssl_conf_tls13_ephemeral_enabled(ssl) &&
1029 ssl_tls13_client_hello_has_exts_for_ephemeral_key_exchange(ssl);
Jerry Yue5991322022-11-07 14:03:44 +08001030#else
1031 ((void) ssl);
Gilles Peskine449bd832023-01-11 14:50:10 +01001032 return 0;
Jerry Yue5991322022-11-07 14:03:44 +08001033#endif
Jerry Yu77f01482022-07-11 07:03:24 +00001034}
XiaokangQian7807f9f2022-02-15 10:04:37 +00001035
Jerry Yu77f01482022-07-11 07:03:24 +00001036MBEDTLS_CHECK_RETURN_CRITICAL
Gilles Peskine449bd832023-01-11 14:50:10 +01001037static int ssl_tls13_check_psk_key_exchange(mbedtls_ssl_context *ssl)
Jerry Yu77f01482022-07-11 07:03:24 +00001038{
Jerry Yue5991322022-11-07 14:03:44 +08001039#if defined(MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_PSK_ENABLED)
Pengyu Lv52ad3332023-02-14 14:32:37 +08001040 return ssl_tls13_ticket_permission_check(
Pengyu Lv306a01d2023-02-02 16:35:47 +08001041 ssl, MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_PSK) &&
1042 mbedtls_ssl_conf_tls13_psk_enabled(ssl) &&
Gilles Peskine449bd832023-01-11 14:50:10 +01001043 mbedtls_ssl_tls13_psk_enabled(ssl) &&
1044 ssl_tls13_client_hello_has_exts_for_psk_key_exchange(ssl);
Jerry Yu77f01482022-07-11 07:03:24 +00001045#else
1046 ((void) ssl);
Gilles Peskine449bd832023-01-11 14:50:10 +01001047 return 0;
Jerry Yu77f01482022-07-11 07:03:24 +00001048#endif
1049}
XiaokangQian7807f9f2022-02-15 10:04:37 +00001050
Jerry Yu77f01482022-07-11 07:03:24 +00001051MBEDTLS_CHECK_RETURN_CRITICAL
Gilles Peskine449bd832023-01-11 14:50:10 +01001052static int ssl_tls13_check_psk_ephemeral_key_exchange(mbedtls_ssl_context *ssl)
Jerry Yu77f01482022-07-11 07:03:24 +00001053{
Jerry Yue5991322022-11-07 14:03:44 +08001054#if defined(MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_PSK_EPHEMERAL_ENABLED)
Pengyu Lv52ad3332023-02-14 14:32:37 +08001055 return ssl_tls13_ticket_permission_check(
Pengyu Lv306a01d2023-02-02 16:35:47 +08001056 ssl, MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_PSK_EPHEMERAL) &&
1057 mbedtls_ssl_conf_tls13_psk_ephemeral_enabled(ssl) &&
Gilles Peskine449bd832023-01-11 14:50:10 +01001058 mbedtls_ssl_tls13_psk_ephemeral_enabled(ssl) &&
1059 ssl_tls13_client_hello_has_exts_for_psk_ephemeral_key_exchange(ssl);
Jerry Yu77f01482022-07-11 07:03:24 +00001060#else
1061 ((void) ssl);
Gilles Peskine449bd832023-01-11 14:50:10 +01001062 return 0;
Jerry Yu77f01482022-07-11 07:03:24 +00001063#endif
1064}
1065
Gilles Peskine449bd832023-01-11 14:50:10 +01001066static int ssl_tls13_determine_key_exchange_mode(mbedtls_ssl_context *ssl)
Jerry Yu77f01482022-07-11 07:03:24 +00001067{
1068 /*
1069 * Determine the key exchange algorithm to use.
1070 * There are three types of key exchanges supported in TLS 1.3:
1071 * - (EC)DH with ECDSA,
1072 * - (EC)DH with PSK,
1073 * - plain PSK.
1074 *
1075 * The PSK-based key exchanges may additionally be used with 0-RTT.
1076 *
1077 * Our built-in order of preference is
Jerry Yuce6ed702022-07-22 21:49:53 +08001078 * 1 ) (EC)DHE-PSK Mode ( psk_ephemeral )
1079 * 2 ) Certificate Mode ( ephemeral )
1080 * 3 ) Plain PSK Mode ( psk )
Jerry Yu77f01482022-07-11 07:03:24 +00001081 */
1082
Xiaokang Qian9f1747b2023-03-30 02:50:04 +00001083 ssl->handshake->key_exchange_mode =
1084 MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_NONE;
Jerry Yu77f01482022-07-11 07:03:24 +00001085
Gilles Peskine449bd832023-01-11 14:50:10 +01001086 if (ssl_tls13_check_psk_ephemeral_key_exchange(ssl)) {
Jerry Yu77f01482022-07-11 07:03:24 +00001087 ssl->handshake->key_exchange_mode =
1088 MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_PSK_EPHEMERAL;
Gilles Peskine449bd832023-01-11 14:50:10 +01001089 MBEDTLS_SSL_DEBUG_MSG(2, ("key exchange mode: psk_ephemeral"));
1090 } else
1091 if (ssl_tls13_check_ephemeral_key_exchange(ssl)) {
Jerry Yu77f01482022-07-11 07:03:24 +00001092 ssl->handshake->key_exchange_mode =
1093 MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_EPHEMERAL;
Gilles Peskine449bd832023-01-11 14:50:10 +01001094 MBEDTLS_SSL_DEBUG_MSG(2, ("key exchange mode: ephemeral"));
1095 } else
1096 if (ssl_tls13_check_psk_key_exchange(ssl)) {
Jerry Yuce6ed702022-07-22 21:49:53 +08001097 ssl->handshake->key_exchange_mode =
1098 MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_PSK;
Gilles Peskine449bd832023-01-11 14:50:10 +01001099 MBEDTLS_SSL_DEBUG_MSG(2, ("key exchange mode: psk"));
1100 } else {
Jerry Yu77f01482022-07-11 07:03:24 +00001101 MBEDTLS_SSL_DEBUG_MSG(
Gilles Peskine449bd832023-01-11 14:50:10 +01001102 1,
1103 ("ClientHello message misses mandatory extensions."));
1104 MBEDTLS_SSL_PEND_FATAL_ALERT(MBEDTLS_SSL_ALERT_MSG_MISSING_EXTENSION,
1105 MBEDTLS_ERR_SSL_ILLEGAL_PARAMETER);
1106 return MBEDTLS_ERR_SSL_ILLEGAL_PARAMETER;
Jerry Yu77f01482022-07-11 07:03:24 +00001107 }
1108
Gilles Peskine449bd832023-01-11 14:50:10 +01001109 return 0;
Jerry Yu77f01482022-07-11 07:03:24 +00001110
XiaokangQian7807f9f2022-02-15 10:04:37 +00001111}
1112
XiaokangQian81802f42022-06-10 13:25:22 +00001113#if defined(MBEDTLS_X509_CRT_PARSE_C) && \
Ronald Cron928cbd32022-10-04 16:14:26 +02001114 defined(MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_EPHEMERAL_ENABLED)
Ronald Cron67ea2542022-09-15 17:34:42 +02001115
1116#if defined(MBEDTLS_USE_PSA_CRYPTO)
Gilles Peskine449bd832023-01-11 14:50:10 +01001117static psa_algorithm_t ssl_tls13_iana_sig_alg_to_psa_alg(uint16_t sig_alg)
Ronald Cron67ea2542022-09-15 17:34:42 +02001118{
Gilles Peskine449bd832023-01-11 14:50:10 +01001119 switch (sig_alg) {
Ronald Cron67ea2542022-09-15 17:34:42 +02001120 case MBEDTLS_TLS1_3_SIG_ECDSA_SECP256R1_SHA256:
Gilles Peskine449bd832023-01-11 14:50:10 +01001121 return PSA_ALG_ECDSA(PSA_ALG_SHA_256);
Ronald Cron67ea2542022-09-15 17:34:42 +02001122 case MBEDTLS_TLS1_3_SIG_ECDSA_SECP384R1_SHA384:
Gilles Peskine449bd832023-01-11 14:50:10 +01001123 return PSA_ALG_ECDSA(PSA_ALG_SHA_384);
Ronald Cron67ea2542022-09-15 17:34:42 +02001124 case MBEDTLS_TLS1_3_SIG_ECDSA_SECP521R1_SHA512:
Gilles Peskine449bd832023-01-11 14:50:10 +01001125 return PSA_ALG_ECDSA(PSA_ALG_SHA_512);
Ronald Cron67ea2542022-09-15 17:34:42 +02001126 case MBEDTLS_TLS1_3_SIG_RSA_PSS_RSAE_SHA256:
Gilles Peskine449bd832023-01-11 14:50:10 +01001127 return PSA_ALG_RSA_PSS(PSA_ALG_SHA_256);
Ronald Cron67ea2542022-09-15 17:34:42 +02001128 case MBEDTLS_TLS1_3_SIG_RSA_PSS_RSAE_SHA384:
Gilles Peskine449bd832023-01-11 14:50:10 +01001129 return PSA_ALG_RSA_PSS(PSA_ALG_SHA_384);
Ronald Cron67ea2542022-09-15 17:34:42 +02001130 case MBEDTLS_TLS1_3_SIG_RSA_PSS_RSAE_SHA512:
Gilles Peskine449bd832023-01-11 14:50:10 +01001131 return PSA_ALG_RSA_PSS(PSA_ALG_SHA_512);
Ronald Cron67ea2542022-09-15 17:34:42 +02001132 case MBEDTLS_TLS1_3_SIG_RSA_PKCS1_SHA256:
Gilles Peskine449bd832023-01-11 14:50:10 +01001133 return PSA_ALG_RSA_PKCS1V15_SIGN(PSA_ALG_SHA_256);
Ronald Cron67ea2542022-09-15 17:34:42 +02001134 case MBEDTLS_TLS1_3_SIG_RSA_PKCS1_SHA384:
Gilles Peskine449bd832023-01-11 14:50:10 +01001135 return PSA_ALG_RSA_PKCS1V15_SIGN(PSA_ALG_SHA_384);
Ronald Cron67ea2542022-09-15 17:34:42 +02001136 case MBEDTLS_TLS1_3_SIG_RSA_PKCS1_SHA512:
Gilles Peskine449bd832023-01-11 14:50:10 +01001137 return PSA_ALG_RSA_PKCS1V15_SIGN(PSA_ALG_SHA_512);
Ronald Cron67ea2542022-09-15 17:34:42 +02001138 default:
Gilles Peskine449bd832023-01-11 14:50:10 +01001139 return PSA_ALG_NONE;
Ronald Cron67ea2542022-09-15 17:34:42 +02001140 }
1141}
1142#endif /* MBEDTLS_USE_PSA_CRYPTO */
1143
XiaokangQian23c5be62022-06-07 02:04:34 +00001144/*
XiaokangQianfb665a82022-06-15 03:57:21 +00001145 * Pick best ( private key, certificate chain ) pair based on the signature
1146 * algorithms supported by the client.
XiaokangQian23c5be62022-06-07 02:04:34 +00001147 */
Ronald Cronce7d76e2022-07-08 18:56:49 +02001148MBEDTLS_CHECK_RETURN_CRITICAL
Gilles Peskine449bd832023-01-11 14:50:10 +01001149static int ssl_tls13_pick_key_cert(mbedtls_ssl_context *ssl)
XiaokangQian23c5be62022-06-07 02:04:34 +00001150{
XiaokangQianfb665a82022-06-15 03:57:21 +00001151 mbedtls_ssl_key_cert *key_cert, *key_cert_list;
XiaokangQian81802f42022-06-10 13:25:22 +00001152 const uint16_t *sig_alg = ssl->handshake->received_sig_algs;
XiaokangQian23c5be62022-06-07 02:04:34 +00001153
1154#if defined(MBEDTLS_SSL_SERVER_NAME_INDICATION)
Gilles Peskine449bd832023-01-11 14:50:10 +01001155 if (ssl->handshake->sni_key_cert != NULL) {
XiaokangQianfb665a82022-06-15 03:57:21 +00001156 key_cert_list = ssl->handshake->sni_key_cert;
Gilles Peskine449bd832023-01-11 14:50:10 +01001157 } else
XiaokangQian23c5be62022-06-07 02:04:34 +00001158#endif /* MBEDTLS_SSL_SERVER_NAME_INDICATION */
Gilles Peskine449bd832023-01-11 14:50:10 +01001159 key_cert_list = ssl->conf->key_cert;
XiaokangQian23c5be62022-06-07 02:04:34 +00001160
Gilles Peskine449bd832023-01-11 14:50:10 +01001161 if (key_cert_list == NULL) {
1162 MBEDTLS_SSL_DEBUG_MSG(3, ("server has no certificate"));
1163 return -1;
XiaokangQian23c5be62022-06-07 02:04:34 +00001164 }
1165
Gilles Peskine449bd832023-01-11 14:50:10 +01001166 for (; *sig_alg != MBEDTLS_TLS1_3_SIG_NONE; sig_alg++) {
1167 if (!mbedtls_ssl_sig_alg_is_offered(ssl, *sig_alg)) {
Ronald Cron67ea2542022-09-15 17:34:42 +02001168 continue;
Gilles Peskine449bd832023-01-11 14:50:10 +01001169 }
Ronald Cron67ea2542022-09-15 17:34:42 +02001170
Gilles Peskine449bd832023-01-11 14:50:10 +01001171 if (!mbedtls_ssl_tls13_sig_alg_for_cert_verify_is_supported(*sig_alg)) {
Ronald Cron67ea2542022-09-15 17:34:42 +02001172 continue;
Gilles Peskine449bd832023-01-11 14:50:10 +01001173 }
Ronald Cron67ea2542022-09-15 17:34:42 +02001174
Gilles Peskine449bd832023-01-11 14:50:10 +01001175 for (key_cert = key_cert_list; key_cert != NULL;
1176 key_cert = key_cert->next) {
Ronald Cron67ea2542022-09-15 17:34:42 +02001177#if defined(MBEDTLS_USE_PSA_CRYPTO)
1178 psa_algorithm_t psa_alg = PSA_ALG_NONE;
1179#endif /* MBEDTLS_USE_PSA_CRYPTO */
1180
Gilles Peskine449bd832023-01-11 14:50:10 +01001181 MBEDTLS_SSL_DEBUG_CRT(3, "certificate (chain) candidate",
1182 key_cert->cert);
XiaokangQian81802f42022-06-10 13:25:22 +00001183
1184 /*
Gilles Peskine449bd832023-01-11 14:50:10 +01001185 * This avoids sending the client a cert it'll reject based on
1186 * keyUsage or other extensions.
1187 */
1188 if (mbedtls_x509_crt_check_key_usage(
1189 key_cert->cert, MBEDTLS_X509_KU_DIGITAL_SIGNATURE) != 0 ||
XiaokangQian81802f42022-06-10 13:25:22 +00001190 mbedtls_x509_crt_check_extended_key_usage(
XiaokangQianfb665a82022-06-15 03:57:21 +00001191 key_cert->cert, MBEDTLS_OID_SERVER_AUTH,
Gilles Peskine449bd832023-01-11 14:50:10 +01001192 MBEDTLS_OID_SIZE(MBEDTLS_OID_SERVER_AUTH)) != 0) {
1193 MBEDTLS_SSL_DEBUG_MSG(3, ("certificate mismatch: "
1194 "(extended) key usage extension"));
XiaokangQian81802f42022-06-10 13:25:22 +00001195 continue;
1196 }
XiaokangQian23c5be62022-06-07 02:04:34 +00001197
Gilles Peskine449bd832023-01-11 14:50:10 +01001198 MBEDTLS_SSL_DEBUG_MSG(3,
1199 ("ssl_tls13_pick_key_cert:"
1200 "check signature algorithm %s [%04x]",
1201 mbedtls_ssl_sig_alg_to_str(*sig_alg),
1202 *sig_alg));
Ronald Cron67ea2542022-09-15 17:34:42 +02001203#if defined(MBEDTLS_USE_PSA_CRYPTO)
Gilles Peskine449bd832023-01-11 14:50:10 +01001204 psa_alg = ssl_tls13_iana_sig_alg_to_psa_alg(*sig_alg);
Ronald Cron67ea2542022-09-15 17:34:42 +02001205#endif /* MBEDTLS_USE_PSA_CRYPTO */
1206
Gilles Peskine449bd832023-01-11 14:50:10 +01001207 if (mbedtls_ssl_tls13_check_sig_alg_cert_key_match(
1208 *sig_alg, &key_cert->cert->pk)
Ronald Cron67ea2542022-09-15 17:34:42 +02001209#if defined(MBEDTLS_USE_PSA_CRYPTO)
1210 && psa_alg != PSA_ALG_NONE &&
Gilles Peskine449bd832023-01-11 14:50:10 +01001211 mbedtls_pk_can_do_ext(&key_cert->cert->pk, psa_alg,
1212 PSA_KEY_USAGE_SIGN_HASH) == 1
Ronald Cron67ea2542022-09-15 17:34:42 +02001213#endif /* MBEDTLS_USE_PSA_CRYPTO */
Gilles Peskine449bd832023-01-11 14:50:10 +01001214 ) {
XiaokangQianfb665a82022-06-15 03:57:21 +00001215 ssl->handshake->key_cert = key_cert;
Gilles Peskine449bd832023-01-11 14:50:10 +01001216 MBEDTLS_SSL_DEBUG_MSG(3,
1217 ("ssl_tls13_pick_key_cert:"
1218 "selected signature algorithm"
1219 " %s [%04x]",
1220 mbedtls_ssl_sig_alg_to_str(*sig_alg),
1221 *sig_alg));
XiaokangQianfb665a82022-06-15 03:57:21 +00001222 MBEDTLS_SSL_DEBUG_CRT(
Gilles Peskine449bd832023-01-11 14:50:10 +01001223 3, "selected certificate (chain)",
1224 ssl->handshake->key_cert->cert);
1225 return 0;
XiaokangQian81802f42022-06-10 13:25:22 +00001226 }
XiaokangQian81802f42022-06-10 13:25:22 +00001227 }
XiaokangQian23c5be62022-06-07 02:04:34 +00001228 }
1229
Gilles Peskine449bd832023-01-11 14:50:10 +01001230 MBEDTLS_SSL_DEBUG_MSG(2, ("ssl_tls13_pick_key_cert:"
1231 "no suitable certificate found"));
1232 return -1;
XiaokangQian23c5be62022-06-07 02:04:34 +00001233}
XiaokangQian81802f42022-06-10 13:25:22 +00001234#endif /* MBEDTLS_X509_CRT_PARSE_C &&
Ronald Cron928cbd32022-10-04 16:14:26 +02001235 MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_EPHEMERAL_ENABLED */
XiaokangQian23c5be62022-06-07 02:04:34 +00001236
XiaokangQian4080a7f2022-04-11 09:55:18 +00001237/*
XiaokangQianed582dd2022-04-13 08:21:05 +00001238 *
1239 * STATE HANDLING: ClientHello
1240 *
XiaokangQianb67384d2022-04-19 00:02:38 +00001241 * There are three possible classes of outcomes when parsing the ClientHello:
XiaokangQianed582dd2022-04-13 08:21:05 +00001242 *
XiaokangQianb67384d2022-04-19 00:02:38 +00001243 * 1) The ClientHello was well-formed and matched the server's configuration.
XiaokangQianed582dd2022-04-13 08:21:05 +00001244 *
1245 * In this case, the server progresses to sending its ServerHello.
1246 *
XiaokangQianb67384d2022-04-19 00:02:38 +00001247 * 2) The ClientHello was well-formed but didn't match the server's
1248 * configuration.
XiaokangQianed582dd2022-04-13 08:21:05 +00001249 *
1250 * For example, the client might not have offered a key share which
1251 * the server supports, or the server might require a cookie.
1252 *
1253 * In this case, the server sends a HelloRetryRequest.
1254 *
XiaokangQianb67384d2022-04-19 00:02:38 +00001255 * 3) The ClientHello was ill-formed
XiaokangQianed582dd2022-04-13 08:21:05 +00001256 *
1257 * In this case, we abort the handshake.
1258 *
1259 */
1260
1261/*
XiaokangQian4080a7f2022-04-11 09:55:18 +00001262 * Structure of this message:
1263 *
XiaokangQiane8ff3502022-04-22 02:34:40 +00001264 * uint16 ProtocolVersion;
1265 * opaque Random[32];
1266 * uint8 CipherSuite[2]; // Cryptographic suite selector
XiaokangQian4080a7f2022-04-11 09:55:18 +00001267 *
XiaokangQiane8ff3502022-04-22 02:34:40 +00001268 * struct {
1269 * ProtocolVersion legacy_version = 0x0303; // TLS v1.2
1270 * Random random;
1271 * opaque legacy_session_id<0..32>;
1272 * CipherSuite cipher_suites<2..2^16-2>;
1273 * opaque legacy_compression_methods<1..2^8-1>;
1274 * Extension extensions<8..2^16-1>;
1275 * } ClientHello;
XiaokangQian4080a7f2022-04-11 09:55:18 +00001276 */
XiaokangQianed582dd2022-04-13 08:21:05 +00001277
1278#define SSL_CLIENT_HELLO_OK 0
1279#define SSL_CLIENT_HELLO_HRR_REQUIRED 1
Ronald Cron5af4c7f2023-03-07 20:46:59 +01001280#define SSL_CLIENT_HELLO_TLS1_2 2
XiaokangQianed582dd2022-04-13 08:21:05 +00001281
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +02001282MBEDTLS_CHECK_RETURN_CRITICAL
Gilles Peskine449bd832023-01-11 14:50:10 +01001283static int ssl_tls13_parse_client_hello(mbedtls_ssl_context *ssl,
1284 const unsigned char *buf,
1285 const unsigned char *end)
XiaokangQian7807f9f2022-02-15 10:04:37 +00001286{
XiaokangQianb67384d2022-04-19 00:02:38 +00001287 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
1288 const unsigned char *p = buf;
Ronald Crond540d992023-03-07 09:41:48 +01001289 const unsigned char *random;
XiaokangQian4080a7f2022-04-11 09:55:18 +00001290 size_t legacy_session_id_len;
Ronald Croncada4102023-03-07 09:51:39 +01001291 const unsigned char *legacy_session_id;
XiaokangQian318dc762022-04-20 09:43:51 +00001292 size_t cipher_suites_len;
Ronald Cron2f16b4e2023-03-07 10:07:32 +01001293 const unsigned char *cipher_suites;
XiaokangQian060d8672022-04-21 09:24:56 +00001294 const unsigned char *cipher_suites_end;
XiaokangQianb67384d2022-04-19 00:02:38 +00001295 size_t extensions_len;
XiaokangQian7807f9f2022-02-15 10:04:37 +00001296 const unsigned char *extensions_end;
Ronald Croneff56732023-04-03 17:36:31 +02001297 const unsigned char *supported_versions_data;
1298 const unsigned char *supported_versions_data_end;
Jerry Yuc4bf5d62022-10-29 09:08:47 +08001299 mbedtls_ssl_handshake_params *handshake = ssl->handshake;
Jerry Yu49ca9282022-05-05 11:05:22 +08001300 int hrr_required = 0;
Ronald Cron8a74f072023-06-14 17:59:29 +02001301 int no_usable_share_for_key_agreement = 0;
XiaokangQian7807f9f2022-02-15 10:04:37 +00001302
Ronald Cron41a443a2022-10-04 16:38:25 +02001303#if defined(MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_SOME_PSK_ENABLED)
Jerry Yu29d9faa2022-08-23 17:52:45 +08001304 const unsigned char *pre_shared_key_ext = NULL;
Jerry Yu1c105562022-07-10 06:32:38 +00001305 const unsigned char *pre_shared_key_ext_end = NULL;
Ronald Cron41a443a2022-10-04 16:38:25 +02001306#endif
XiaokangQian7807f9f2022-02-15 10:04:37 +00001307
XiaokangQian7807f9f2022-02-15 10:04:37 +00001308 /*
XiaokangQianb67384d2022-04-19 00:02:38 +00001309 * ClientHello layout:
XiaokangQian7807f9f2022-02-15 10:04:37 +00001310 * 0 . 1 protocol version
XiaokangQiane8ff3502022-04-22 02:34:40 +00001311 * 2 . 33 random bytes
XiaokangQianc5763b52022-04-02 03:34:37 +00001312 * 34 . 34 session id length ( 1 byte )
XiaokangQian7807f9f2022-02-15 10:04:37 +00001313 * 35 . 34+x session id
XiaokangQian7807f9f2022-02-15 10:04:37 +00001314 * .. . .. ciphersuite list length ( 2 bytes )
1315 * .. . .. ciphersuite list
1316 * .. . .. compression alg. list length ( 1 byte )
1317 * .. . .. compression alg. list
1318 * .. . .. extensions length ( 2 bytes, optional )
1319 * .. . .. extensions ( optional )
1320 */
1321
XiaokangQianb67384d2022-04-19 00:02:38 +00001322 /*
bootstrap-prime6dbbf442022-05-17 19:30:44 -04001323 * Minimal length ( with everything empty and extensions omitted ) is
XiaokangQian7807f9f2022-02-15 10:04:37 +00001324 * 2 + 32 + 1 + 2 + 1 = 38 bytes. Check that first, so that we can
1325 * read at least up to session id length without worrying.
1326 */
Gilles Peskine449bd832023-01-11 14:50:10 +01001327 MBEDTLS_SSL_CHK_BUF_READ_PTR(p, end, 38);
XiaokangQian7807f9f2022-02-15 10:04:37 +00001328
1329 /* ...
1330 * ProtocolVersion legacy_version = 0x0303; // TLS 1.2
1331 * ...
1332 * with ProtocolVersion defined as:
1333 * uint16 ProtocolVersion;
1334 */
Gilles Peskine449bd832023-01-11 14:50:10 +01001335 if (mbedtls_ssl_read_version(p, ssl->conf->transport) !=
1336 MBEDTLS_SSL_VERSION_TLS1_2) {
1337 MBEDTLS_SSL_DEBUG_MSG(1, ("Unsupported version of TLS."));
1338 MBEDTLS_SSL_PEND_FATAL_ALERT(MBEDTLS_SSL_ALERT_MSG_PROTOCOL_VERSION,
1339 MBEDTLS_ERR_SSL_BAD_PROTOCOL_VERSION);
1340 return MBEDTLS_ERR_SSL_BAD_PROTOCOL_VERSION;
XiaokangQian7807f9f2022-02-15 10:04:37 +00001341 }
1342 p += 2;
1343
Jerry Yuc1be19f2022-04-23 16:11:39 +08001344 /* ...
1345 * Random random;
1346 * ...
XiaokangQianb67384d2022-04-19 00:02:38 +00001347 * with Random defined as:
1348 * opaque Random[32];
XiaokangQian7807f9f2022-02-15 10:04:37 +00001349 */
Ronald Crond540d992023-03-07 09:41:48 +01001350 random = p;
XiaokangQian08037552022-04-20 07:16:41 +00001351 p += MBEDTLS_CLIENT_HELLO_RANDOM_LEN;
XiaokangQian7807f9f2022-02-15 10:04:37 +00001352
Jerry Yuc1be19f2022-04-23 16:11:39 +08001353 /* ...
XiaokangQianb67384d2022-04-19 00:02:38 +00001354 * opaque legacy_session_id<0..32>;
Jerry Yuc1be19f2022-04-23 16:11:39 +08001355 * ...
XiaokangQian7807f9f2022-02-15 10:04:37 +00001356 */
Ronald Croncada4102023-03-07 09:51:39 +01001357 legacy_session_id_len = *(p++);
1358 legacy_session_id = p;
XiaokangQian7807f9f2022-02-15 10:04:37 +00001359
XiaokangQianb67384d2022-04-19 00:02:38 +00001360 /*
1361 * Check we have enough data for the legacy session identifier
Jerry Yue95c8af2022-07-26 15:48:20 +08001362 * and the ciphersuite list length.
XiaokangQianb67384d2022-04-19 00:02:38 +00001363 */
Gilles Peskine449bd832023-01-11 14:50:10 +01001364 MBEDTLS_SSL_CHK_BUF_READ_PTR(p, end, legacy_session_id_len + 2);
XiaokangQian4080a7f2022-04-11 09:55:18 +00001365 p += legacy_session_id_len;
XiaokangQian7807f9f2022-02-15 10:04:37 +00001366
Ronald Cron2f16b4e2023-03-07 10:07:32 +01001367 /* ...
1368 * CipherSuite cipher_suites<2..2^16-2>;
1369 * ...
1370 * with CipherSuite defined as:
1371 * uint8 CipherSuite[2];
1372 */
Gilles Peskine449bd832023-01-11 14:50:10 +01001373 cipher_suites_len = MBEDTLS_GET_UINT16_BE(p, 0);
XiaokangQian7807f9f2022-02-15 10:04:37 +00001374 p += 2;
Ronald Cron2f16b4e2023-03-07 10:07:32 +01001375 cipher_suites = p;
XiaokangQian7807f9f2022-02-15 10:04:37 +00001376
Ronald Cronfc7ae872023-02-16 15:32:19 +01001377 /*
1378 * The length of the ciphersuite list has to be even.
1379 */
1380 if (cipher_suites_len & 1) {
1381 MBEDTLS_SSL_PEND_FATAL_ALERT(MBEDTLS_SSL_ALERT_MSG_DECODE_ERROR,
1382 MBEDTLS_ERR_SSL_DECODE_ERROR);
1383 return MBEDTLS_ERR_SSL_DECODE_ERROR;
1384 }
1385
XiaokangQianb67384d2022-04-19 00:02:38 +00001386 /* Check we have enough data for the ciphersuite list, the legacy
1387 * compression methods and the length of the extensions.
Jerry Yue95c8af2022-07-26 15:48:20 +08001388 *
1389 * cipher_suites cipher_suites_len bytes
1390 * legacy_compression_methods 2 bytes
1391 * extensions_len 2 bytes
XiaokangQianb67384d2022-04-19 00:02:38 +00001392 */
Gilles Peskine449bd832023-01-11 14:50:10 +01001393 MBEDTLS_SSL_CHK_BUF_READ_PTR(p, end, cipher_suites_len + 2 + 2);
Ronald Cron8c527d02023-03-07 15:47:47 +01001394 p += cipher_suites_len;
1395 cipher_suites_end = p;
Jerry Yu5725f1c2022-08-21 17:27:16 +08001396
1397 /*
Ronald Cron8c527d02023-03-07 15:47:47 +01001398 * Search for the supported versions extension and parse it to determine
1399 * if the client supports TLS 1.3.
1400 */
1401 ret = mbedtls_ssl_tls13_is_supported_versions_ext_present_in_exts(
1402 ssl, p + 2, end,
Ronald Croneff56732023-04-03 17:36:31 +02001403 &supported_versions_data, &supported_versions_data_end);
Ronald Cron8c527d02023-03-07 15:47:47 +01001404 if (ret < 0) {
1405 MBEDTLS_SSL_DEBUG_RET(1,
1406 ("mbedtls_ssl_tls13_is_supported_versions_ext_present_in_exts"), ret);
1407 return ret;
1408 }
1409
1410 if (ret == 0) {
Ronald Cron5af4c7f2023-03-07 20:46:59 +01001411 return SSL_CLIENT_HELLO_TLS1_2;
Ronald Cron8c527d02023-03-07 15:47:47 +01001412 }
1413
Ronald Cron5af4c7f2023-03-07 20:46:59 +01001414 if (ret == 1) {
1415 ret = ssl_tls13_parse_supported_versions_ext(ssl,
Ronald Croneff56732023-04-03 17:36:31 +02001416 supported_versions_data,
1417 supported_versions_data_end);
Ronald Cron5af4c7f2023-03-07 20:46:59 +01001418 if (ret < 0) {
1419 MBEDTLS_SSL_DEBUG_RET(1,
1420 ("ssl_tls13_parse_supported_versions_ext"), ret);
1421 return ret;
1422 }
1423
Ronald Cronb828c7d2023-04-03 16:37:22 +02001424 /*
1425 * The supported versions extension was parsed successfully as the
1426 * value returned by ssl_tls13_parse_supported_versions_ext() is
1427 * positive. The return value is then equal to
1428 * MBEDTLS_SSL_VERSION_TLS1_2 or MBEDTLS_SSL_VERSION_TLS1_3, defining
1429 * the TLS version to negotiate.
1430 */
Ronald Cron5af4c7f2023-03-07 20:46:59 +01001431 if (MBEDTLS_SSL_VERSION_TLS1_2 == ret) {
1432 return SSL_CLIENT_HELLO_TLS1_2;
1433 }
Ronald Cron8c527d02023-03-07 15:47:47 +01001434 }
1435
1436 /*
1437 * We negotiate TLS 1.3.
Ronald Cron64582392023-03-07 09:21:40 +01001438 */
1439 ssl->tls_version = MBEDTLS_SSL_VERSION_TLS1_3;
1440
1441#if defined(MBEDTLS_SSL_SESSION_TICKETS)
1442 /* Store minor version for later use with ticket serialization. */
1443 ssl->session_negotiate->tls_version = MBEDTLS_SSL_VERSION_TLS1_3;
1444 ssl->session_negotiate->endpoint = ssl->conf->endpoint;
1445#endif
1446
1447 /*
Ronald Crondad02b22023-04-06 09:57:52 +02001448 * We are negotiating the version 1.3 of the protocol. Do what we have
Ronald Croncada4102023-03-07 09:51:39 +01001449 * postponed: copy of the client random bytes, copy of the legacy session
Ronald Cron2f16b4e2023-03-07 10:07:32 +01001450 * identifier and selection of the TLS 1.3 cipher suite.
Ronald Crond540d992023-03-07 09:41:48 +01001451 */
1452 MBEDTLS_SSL_DEBUG_BUF(3, "client hello, random bytes",
1453 random, MBEDTLS_CLIENT_HELLO_RANDOM_LEN);
1454 memcpy(&handshake->randbytes[0], random, MBEDTLS_CLIENT_HELLO_RANDOM_LEN);
1455
Ronald Croncada4102023-03-07 09:51:39 +01001456 if (legacy_session_id_len > sizeof(ssl->session_negotiate->id)) {
1457 MBEDTLS_SSL_DEBUG_MSG(1, ("bad client hello message"));
1458 return MBEDTLS_ERR_SSL_DECODE_ERROR;
1459 }
1460 ssl->session_negotiate->id_len = legacy_session_id_len;
1461 MBEDTLS_SSL_DEBUG_BUF(3, "client hello, session id",
1462 legacy_session_id, legacy_session_id_len);
1463 memcpy(&ssl->session_negotiate->id[0],
1464 legacy_session_id, legacy_session_id_len);
1465
Ronald Crond540d992023-03-07 09:41:48 +01001466 /*
Jerry Yu5725f1c2022-08-21 17:27:16 +08001467 * Search for a matching ciphersuite
1468 */
Ronald Cron2f16b4e2023-03-07 10:07:32 +01001469 MBEDTLS_SSL_DEBUG_BUF(3, "client hello, list of cipher suites",
1470 cipher_suites, cipher_suites_len);
Ronald Crone45afd72023-04-04 15:10:06 +02001471 for (const unsigned char *cipher_suites_p = cipher_suites;
1472 cipher_suites_p < cipher_suites_end; cipher_suites_p += 2) {
XiaokangQiane8ff3502022-04-22 02:34:40 +00001473 uint16_t cipher_suite;
Gilles Peskine449bd832023-01-11 14:50:10 +01001474 const mbedtls_ssl_ciphersuite_t *ciphersuite_info;
Jerry Yu5725f1c2022-08-21 17:27:16 +08001475
Ronald Crond89360b2023-02-21 08:53:33 +01001476 /*
Ronald Crone45afd72023-04-04 15:10:06 +02001477 * "cipher_suites_end - cipher_suites_p is even" is an invariant of the
1478 * loop. As cipher_suites_end - cipher_suites_p > 0, we have
1479 * cipher_suites_end - cipher_suites_p >= 2 and it is thus safe to read
1480 * two bytes.
Ronald Crond89360b2023-02-21 08:53:33 +01001481 */
Ronald Crone45afd72023-04-04 15:10:06 +02001482 cipher_suite = MBEDTLS_GET_UINT16_BE(cipher_suites_p, 0);
Jerry Yuc5a23a02022-08-25 10:51:44 +08001483 ciphersuite_info = ssl_tls13_validate_peer_ciphersuite(
Gilles Peskine449bd832023-01-11 14:50:10 +01001484 ssl, cipher_suite);
1485 if (ciphersuite_info == NULL) {
Jerry Yu5725f1c2022-08-21 17:27:16 +08001486 continue;
Gilles Peskine449bd832023-01-11 14:50:10 +01001487 }
Jerry Yu5725f1c2022-08-21 17:27:16 +08001488
Jerry Yu5725f1c2022-08-21 17:27:16 +08001489 ssl->session_negotiate->ciphersuite = cipher_suite;
Jerry Yuc4bf5d62022-10-29 09:08:47 +08001490 handshake->ciphersuite_info = ciphersuite_info;
Gilles Peskine449bd832023-01-11 14:50:10 +01001491 MBEDTLS_SSL_DEBUG_MSG(2, ("selected ciphersuite: %04x - %s",
1492 cipher_suite,
1493 ciphersuite_info->name));
Ronald Cron25e9ec62023-02-16 15:35:16 +01001494 break;
XiaokangQian17f974c2022-04-19 09:57:41 +00001495 }
Jerry Yu5725f1c2022-08-21 17:27:16 +08001496
Gilles Peskine449bd832023-01-11 14:50:10 +01001497 if (handshake->ciphersuite_info == NULL) {
1498 MBEDTLS_SSL_PEND_FATAL_ALERT(MBEDTLS_SSL_ALERT_MSG_HANDSHAKE_FAILURE,
1499 MBEDTLS_ERR_SSL_HANDSHAKE_FAILURE);
1500 return MBEDTLS_ERR_SSL_HANDSHAKE_FAILURE;
Jerry Yu5725f1c2022-08-21 17:27:16 +08001501 }
Jerry Yuc1be19f2022-04-23 16:11:39 +08001502
XiaokangQian4080a7f2022-04-11 09:55:18 +00001503 /* ...
XiaokangQianb67384d2022-04-19 00:02:38 +00001504 * opaque legacy_compression_methods<1..2^8-1>;
XiaokangQian4080a7f2022-04-11 09:55:18 +00001505 * ...
XiaokangQian7807f9f2022-02-15 10:04:37 +00001506 */
Gilles Peskine449bd832023-01-11 14:50:10 +01001507 if (p[0] != 1 || p[1] != MBEDTLS_SSL_COMPRESS_NULL) {
1508 MBEDTLS_SSL_DEBUG_MSG(1, ("bad legacy compression method"));
1509 MBEDTLS_SSL_PEND_FATAL_ALERT(MBEDTLS_SSL_ALERT_MSG_ILLEGAL_PARAMETER,
1510 MBEDTLS_ERR_SSL_ILLEGAL_PARAMETER);
1511 return MBEDTLS_ERR_SSL_ILLEGAL_PARAMETER;
XiaokangQian7807f9f2022-02-15 10:04:37 +00001512 }
XiaokangQianb67384d2022-04-19 00:02:38 +00001513 p += 2;
XiaokangQian7807f9f2022-02-15 10:04:37 +00001514
Jerry Yuc1be19f2022-04-23 16:11:39 +08001515 /* ...
XiaokangQianb67384d2022-04-19 00:02:38 +00001516 * Extension extensions<8..2^16-1>;
Jerry Yuc1be19f2022-04-23 16:11:39 +08001517 * ...
XiaokangQianb67384d2022-04-19 00:02:38 +00001518 * with Extension defined as:
1519 * struct {
1520 * ExtensionType extension_type;
1521 * opaque extension_data<0..2^16-1>;
1522 * } Extension;
XiaokangQian7807f9f2022-02-15 10:04:37 +00001523 */
Gilles Peskine449bd832023-01-11 14:50:10 +01001524 extensions_len = MBEDTLS_GET_UINT16_BE(p, 0);
XiaokangQian7807f9f2022-02-15 10:04:37 +00001525 p += 2;
Gilles Peskine449bd832023-01-11 14:50:10 +01001526 MBEDTLS_SSL_CHK_BUF_READ_PTR(p, end, extensions_len);
XiaokangQiane8ff3502022-04-22 02:34:40 +00001527 extensions_end = p + extensions_len;
XiaokangQian7807f9f2022-02-15 10:04:37 +00001528
Gilles Peskine449bd832023-01-11 14:50:10 +01001529 MBEDTLS_SSL_DEBUG_BUF(3, "client hello extensions", p, extensions_len);
Jerry Yu63a459c2022-10-31 13:38:40 +08001530 handshake->received_extensions = MBEDTLS_SSL_EXT_MASK_NONE;
Jerry Yu0c354a22022-08-29 15:25:36 +08001531
Gilles Peskine449bd832023-01-11 14:50:10 +01001532 while (p < extensions_end) {
XiaokangQian7807f9f2022-02-15 10:04:37 +00001533 unsigned int extension_type;
1534 size_t extension_data_len;
1535 const unsigned char *extension_data_end;
1536
Jerry Yu0c354a22022-08-29 15:25:36 +08001537 /* RFC 8446, section 4.2.11
Jerry Yu1c9247c2022-07-21 12:37:39 +08001538 *
1539 * The "pre_shared_key" extension MUST be the last extension in the
1540 * ClientHello (this facilitates implementation as described below).
1541 * Servers MUST check that it is the last extension and otherwise fail
1542 * the handshake with an "illegal_parameter" alert.
1543 */
Gilles Peskine449bd832023-01-11 14:50:10 +01001544 if (handshake->received_extensions & MBEDTLS_SSL_EXT_MASK(PRE_SHARED_KEY)) {
Jerry Yu1c9247c2022-07-21 12:37:39 +08001545 MBEDTLS_SSL_DEBUG_MSG(
Gilles Peskine449bd832023-01-11 14:50:10 +01001546 3, ("pre_shared_key is not last extension."));
Jerry Yu1c9247c2022-07-21 12:37:39 +08001547 MBEDTLS_SSL_PEND_FATAL_ALERT(
1548 MBEDTLS_SSL_ALERT_MSG_ILLEGAL_PARAMETER,
Gilles Peskine449bd832023-01-11 14:50:10 +01001549 MBEDTLS_ERR_SSL_ILLEGAL_PARAMETER);
1550 return MBEDTLS_ERR_SSL_ILLEGAL_PARAMETER;
Jerry Yu1c9247c2022-07-21 12:37:39 +08001551 }
1552
Gilles Peskine449bd832023-01-11 14:50:10 +01001553 MBEDTLS_SSL_CHK_BUF_READ_PTR(p, extensions_end, 4);
1554 extension_type = MBEDTLS_GET_UINT16_BE(p, 0);
1555 extension_data_len = MBEDTLS_GET_UINT16_BE(p, 2);
XiaokangQian7807f9f2022-02-15 10:04:37 +00001556 p += 4;
1557
Gilles Peskine449bd832023-01-11 14:50:10 +01001558 MBEDTLS_SSL_CHK_BUF_READ_PTR(p, extensions_end, extension_data_len);
XiaokangQian7807f9f2022-02-15 10:04:37 +00001559 extension_data_end = p + extension_data_len;
1560
Jerry Yuc4bf5d62022-10-29 09:08:47 +08001561 ret = mbedtls_ssl_tls13_check_received_extension(
Gilles Peskine449bd832023-01-11 14:50:10 +01001562 ssl, MBEDTLS_SSL_HS_CLIENT_HELLO, extension_type,
1563 MBEDTLS_SSL_TLS1_3_ALLOWED_EXTS_OF_CH);
1564 if (ret != 0) {
1565 return ret;
1566 }
Jerry Yue18dc7e2022-08-04 16:29:22 +08001567
Gilles Peskine449bd832023-01-11 14:50:10 +01001568 switch (extension_type) {
XiaokangQian40a35232022-05-07 09:02:40 +00001569#if defined(MBEDTLS_SSL_SERVER_NAME_INDICATION)
1570 case MBEDTLS_TLS_EXT_SERVERNAME:
Gilles Peskine449bd832023-01-11 14:50:10 +01001571 MBEDTLS_SSL_DEBUG_MSG(3, ("found ServerName extension"));
1572 ret = mbedtls_ssl_parse_server_name_ext(ssl, p,
1573 extension_data_end);
1574 if (ret != 0) {
XiaokangQian40a35232022-05-07 09:02:40 +00001575 MBEDTLS_SSL_DEBUG_RET(
Gilles Peskine449bd832023-01-11 14:50:10 +01001576 1, "mbedtls_ssl_parse_servername_ext", ret);
1577 return ret;
XiaokangQian40a35232022-05-07 09:02:40 +00001578 }
XiaokangQian40a35232022-05-07 09:02:40 +00001579 break;
1580#endif /* MBEDTLS_SSL_SERVER_NAME_INDICATION */
1581
Przemek Stekiel8c0a9532023-06-15 16:48:19 +02001582#if defined(PSA_WANT_ALG_ECDH) || defined(PSA_WANT_ALG_FFDH)
XiaokangQian7807f9f2022-02-15 10:04:37 +00001583 case MBEDTLS_TLS_EXT_SUPPORTED_GROUPS:
Gilles Peskine449bd832023-01-11 14:50:10 +01001584 MBEDTLS_SSL_DEBUG_MSG(3, ("found supported group extension"));
XiaokangQian7807f9f2022-02-15 10:04:37 +00001585
1586 /* Supported Groups Extension
1587 *
1588 * When sent by the client, the "supported_groups" extension
1589 * indicates the named groups which the client supports,
1590 * ordered from most preferred to least preferred.
1591 */
Jerry Yuc1be19f2022-04-23 16:11:39 +08001592 ret = ssl_tls13_parse_supported_groups_ext(
Gilles Peskine449bd832023-01-11 14:50:10 +01001593 ssl, p, extension_data_end);
1594 if (ret != 0) {
Xiaokang Qian9f1747b2023-03-30 02:50:04 +00001595 MBEDTLS_SSL_DEBUG_RET(
Xiaokang Qian8bce0e62023-04-04 10:15:48 +00001596 1, "ssl_tls13_parse_supported_groups_ext", ret);
Gilles Peskine449bd832023-01-11 14:50:10 +01001597 return ret;
XiaokangQian7807f9f2022-02-15 10:04:37 +00001598 }
1599
XiaokangQian7807f9f2022-02-15 10:04:37 +00001600 break;
Przemek Stekiel8c0a9532023-06-15 16:48:19 +02001601#endif /* PSA_WANT_ALG_ECDH || PSA_WANT_ALG_FFDH*/
XiaokangQian7807f9f2022-02-15 10:04:37 +00001602
Valerio Settic9ae8622023-07-25 11:23:50 +02001603#if defined(MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_SOME_EPHEMERAL_ENABLED)
XiaokangQian7807f9f2022-02-15 10:04:37 +00001604 case MBEDTLS_TLS_EXT_KEY_SHARE:
Gilles Peskine449bd832023-01-11 14:50:10 +01001605 MBEDTLS_SSL_DEBUG_MSG(3, ("found key share extension"));
XiaokangQian7807f9f2022-02-15 10:04:37 +00001606
1607 /*
1608 * Key Share Extension
1609 *
1610 * When sent by the client, the "key_share" extension
1611 * contains the endpoint's cryptographic parameters for
1612 * ECDHE/DHE key establishment methods.
1613 */
Jerry Yuc1be19f2022-04-23 16:11:39 +08001614 ret = ssl_tls13_parse_key_shares_ext(
Gilles Peskine449bd832023-01-11 14:50:10 +01001615 ssl, p, extension_data_end);
1616 if (ret == SSL_TLS1_3_PARSE_KEY_SHARES_EXT_NO_MATCH) {
Ronald Cron8a74f072023-06-14 17:59:29 +02001617 MBEDTLS_SSL_DEBUG_MSG(2, ("No usable share for key agreement."));
1618 no_usable_share_for_key_agreement = 1;
XiaokangQian7807f9f2022-02-15 10:04:37 +00001619 }
1620
Gilles Peskine449bd832023-01-11 14:50:10 +01001621 if (ret < 0) {
Jerry Yu582dd062022-04-22 21:59:01 +08001622 MBEDTLS_SSL_DEBUG_RET(
Gilles Peskine449bd832023-01-11 14:50:10 +01001623 1, "ssl_tls13_parse_key_shares_ext", ret);
1624 return ret;
Jerry Yu582dd062022-04-22 21:59:01 +08001625 }
XiaokangQian7807f9f2022-02-15 10:04:37 +00001626
XiaokangQian7807f9f2022-02-15 10:04:37 +00001627 break;
Valerio Settic9ae8622023-07-25 11:23:50 +02001628#endif /* MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_SOME_EPHEMERAL_ENABLED */
XiaokangQian7807f9f2022-02-15 10:04:37 +00001629
1630 case MBEDTLS_TLS_EXT_SUPPORTED_VERSIONS:
Ronald Cron8c527d02023-03-07 15:47:47 +01001631 /* Already parsed */
XiaokangQian7807f9f2022-02-15 10:04:37 +00001632 break;
1633
Ronald Cron41a443a2022-10-04 16:38:25 +02001634#if defined(MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_SOME_PSK_ENABLED)
Jerry Yue19e3b92022-07-08 12:04:51 +00001635 case MBEDTLS_TLS_EXT_PSK_KEY_EXCHANGE_MODES:
Xiaokang Qian9f1747b2023-03-30 02:50:04 +00001636 MBEDTLS_SSL_DEBUG_MSG(
1637 3, ("found psk key exchange modes extension"));
Jerry Yue19e3b92022-07-08 12:04:51 +00001638
1639 ret = ssl_tls13_parse_key_exchange_modes_ext(
Gilles Peskine449bd832023-01-11 14:50:10 +01001640 ssl, p, extension_data_end);
1641 if (ret != 0) {
Jerry Yue19e3b92022-07-08 12:04:51 +00001642 MBEDTLS_SSL_DEBUG_RET(
Gilles Peskine449bd832023-01-11 14:50:10 +01001643 1, "ssl_tls13_parse_key_exchange_modes_ext", ret);
1644 return ret;
Jerry Yue19e3b92022-07-08 12:04:51 +00001645 }
1646
Jerry Yue19e3b92022-07-08 12:04:51 +00001647 break;
Ronald Cron41a443a2022-10-04 16:38:25 +02001648#endif
Jerry Yue19e3b92022-07-08 12:04:51 +00001649
Jerry Yu1c105562022-07-10 06:32:38 +00001650 case MBEDTLS_TLS_EXT_PRE_SHARED_KEY:
Gilles Peskine449bd832023-01-11 14:50:10 +01001651 MBEDTLS_SSL_DEBUG_MSG(3, ("found pre_shared_key extension"));
1652 if ((handshake->received_extensions &
1653 MBEDTLS_SSL_EXT_MASK(PSK_KEY_EXCHANGE_MODES)) == 0) {
Jerry Yu13ab81d2022-07-22 23:17:11 +08001654 MBEDTLS_SSL_PEND_FATAL_ALERT(
1655 MBEDTLS_SSL_ALERT_MSG_ILLEGAL_PARAMETER,
Gilles Peskine449bd832023-01-11 14:50:10 +01001656 MBEDTLS_ERR_SSL_ILLEGAL_PARAMETER);
1657 return MBEDTLS_ERR_SSL_ILLEGAL_PARAMETER;
Jerry Yu13ab81d2022-07-22 23:17:11 +08001658 }
Ronald Cron41a443a2022-10-04 16:38:25 +02001659#if defined(MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_SOME_PSK_ENABLED)
Jerry Yu1c105562022-07-10 06:32:38 +00001660 /* Delay processing of the PSK identity once we have
1661 * found out which algorithms to use. We keep a pointer
1662 * to the buffer and the size for later processing.
1663 */
Jerry Yu29d9faa2022-08-23 17:52:45 +08001664 pre_shared_key_ext = p;
Jerry Yu1c105562022-07-10 06:32:38 +00001665 pre_shared_key_ext_end = extension_data_end;
Jerry Yue18dc7e2022-08-04 16:29:22 +08001666#endif /* MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_SOME_PSK_ENABLED */
Jerry Yu1c105562022-07-10 06:32:38 +00001667 break;
Jerry Yu1c105562022-07-10 06:32:38 +00001668
XiaokangQianacb39922022-06-17 10:18:48 +00001669#if defined(MBEDTLS_SSL_ALPN)
1670 case MBEDTLS_TLS_EXT_ALPN:
Gilles Peskine449bd832023-01-11 14:50:10 +01001671 MBEDTLS_SSL_DEBUG_MSG(3, ("found alpn extension"));
XiaokangQianacb39922022-06-17 10:18:48 +00001672
Gilles Peskine449bd832023-01-11 14:50:10 +01001673 ret = mbedtls_ssl_parse_alpn_ext(ssl, p, extension_data_end);
1674 if (ret != 0) {
XiaokangQianacb39922022-06-17 10:18:48 +00001675 MBEDTLS_SSL_DEBUG_RET(
Gilles Peskine449bd832023-01-11 14:50:10 +01001676 1, ("mbedtls_ssl_parse_alpn_ext"), ret);
1677 return ret;
XiaokangQianacb39922022-06-17 10:18:48 +00001678 }
XiaokangQianacb39922022-06-17 10:18:48 +00001679 break;
1680#endif /* MBEDTLS_SSL_ALPN */
1681
Ronald Cron928cbd32022-10-04 16:14:26 +02001682#if defined(MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_EPHEMERAL_ENABLED)
XiaokangQian7807f9f2022-02-15 10:04:37 +00001683 case MBEDTLS_TLS_EXT_SIG_ALG:
Gilles Peskine449bd832023-01-11 14:50:10 +01001684 MBEDTLS_SSL_DEBUG_MSG(3, ("found signature_algorithms extension"));
XiaokangQian7807f9f2022-02-15 10:04:37 +00001685
Gabor Mezei078e8032022-04-27 21:17:56 +02001686 ret = mbedtls_ssl_parse_sig_alg_ext(
Gilles Peskine449bd832023-01-11 14:50:10 +01001687 ssl, p, extension_data_end);
1688 if (ret != 0) {
Xiaokang Qian49f39c12023-04-06 02:31:02 +00001689 MBEDTLS_SSL_DEBUG_RET(
1690 1, "mbedtls_ssl_parse_sig_alg_ext", ret);
Gilles Peskine449bd832023-01-11 14:50:10 +01001691 return ret;
XiaokangQian7807f9f2022-02-15 10:04:37 +00001692 }
XiaokangQian7807f9f2022-02-15 10:04:37 +00001693 break;
Ronald Cron928cbd32022-10-04 16:14:26 +02001694#endif /* MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_EPHEMERAL_ENABLED */
XiaokangQian7807f9f2022-02-15 10:04:37 +00001695
Jan Bruckner151f6422023-02-10 12:45:19 +01001696#if defined(MBEDTLS_SSL_RECORD_SIZE_LIMIT)
1697 case MBEDTLS_TLS_EXT_RECORD_SIZE_LIMIT:
1698 MBEDTLS_SSL_DEBUG_MSG(3, ("found record_size_limit extension"));
1699
Xiaokang Qian9f1747b2023-03-30 02:50:04 +00001700 ret = mbedtls_ssl_tls13_parse_record_size_limit_ext(
1701 ssl, p, extension_data_end);
Jan Brucknerf482dcc2023-03-15 09:09:06 +01001702 if (ret != 0) {
1703 MBEDTLS_SSL_DEBUG_RET(
1704 1, ("mbedtls_ssl_tls13_parse_record_size_limit_ext"), ret);
1705 return ret;
1706 }
Jan Bruckner151f6422023-02-10 12:45:19 +01001707 break;
1708#endif /* MBEDTLS_SSL_RECORD_SIZE_LIMIT */
1709
XiaokangQian7807f9f2022-02-15 10:04:37 +00001710 default:
Jerry Yu79aa7212022-11-08 21:30:21 +08001711 MBEDTLS_SSL_PRINT_EXT(
Jerry Yu63a459c2022-10-31 13:38:40 +08001712 3, MBEDTLS_SSL_HS_CLIENT_HELLO,
Gilles Peskine449bd832023-01-11 14:50:10 +01001713 extension_type, "( ignored )");
Jerry Yu0c354a22022-08-29 15:25:36 +08001714 break;
XiaokangQian7807f9f2022-02-15 10:04:37 +00001715 }
1716
1717 p += extension_data_len;
1718 }
1719
Gilles Peskine449bd832023-01-11 14:50:10 +01001720 MBEDTLS_SSL_PRINT_EXTS(3, MBEDTLS_SSL_HS_CLIENT_HELLO,
1721 handshake->received_extensions);
Jerry Yue18dc7e2022-08-04 16:29:22 +08001722
Manuel Pégourié-Gonnardb8b07aa2023-02-06 00:34:21 +01001723 ret = mbedtls_ssl_add_hs_hdr_to_checksum(ssl,
1724 MBEDTLS_SSL_HS_CLIENT_HELLO,
1725 p - buf);
1726 if (0 != ret) {
1727 MBEDTLS_SSL_DEBUG_RET(1, ("mbedtls_ssl_add_hs_hdr_to_checksum"), ret);
1728 return ret;
1729 }
Jerry Yu032b15ce2022-07-11 06:10:03 +00001730
Ronald Cron41a443a2022-10-04 16:38:25 +02001731#if defined(MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_SOME_PSK_ENABLED)
XiaokangQian7807f9f2022-02-15 10:04:37 +00001732 /* Update checksum with either
1733 * - The entire content of the CH message, if no PSK extension is present
1734 * - The content up to but excluding the PSK extension, if present.
1735 */
Jerry Yu1c105562022-07-10 06:32:38 +00001736 /* If we've settled on a PSK-based exchange, parse PSK identity ext */
Pengyu Lvcfb23b82023-10-30 15:26:26 +08001737 if (ssl_tls13_check_psk_key_exchange(ssl) ||
1738 ssl_tls13_check_psk_ephemeral_key_exchange(ssl)) {
Manuel Pégourié-Gonnardb8b07aa2023-02-06 00:34:21 +01001739 ret = handshake->update_checksum(ssl, buf,
1740 pre_shared_key_ext - buf);
1741 if (0 != ret) {
1742 MBEDTLS_SSL_DEBUG_RET(1, ("update_checksum"), ret);
1743 return ret;
1744 }
Gilles Peskine449bd832023-01-11 14:50:10 +01001745 ret = ssl_tls13_parse_pre_shared_key_ext(ssl,
1746 pre_shared_key_ext,
1747 pre_shared_key_ext_end,
1748 cipher_suites,
1749 cipher_suites_end);
1750 if (ret == MBEDTLS_ERR_SSL_UNKNOWN_IDENTITY) {
1751 handshake->received_extensions &= ~MBEDTLS_SSL_EXT_MASK(PRE_SHARED_KEY);
1752 } else if (ret != 0) {
Jerry Yu63a459c2022-10-31 13:38:40 +08001753 MBEDTLS_SSL_DEBUG_RET(
Gilles Peskine449bd832023-01-11 14:50:10 +01001754 1, "ssl_tls13_parse_pre_shared_key_ext", ret);
1755 return ret;
Jerry Yu1c105562022-07-10 06:32:38 +00001756 }
Gilles Peskine449bd832023-01-11 14:50:10 +01001757 } else
Ronald Cron41a443a2022-10-04 16:38:25 +02001758#endif /* MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_SOME_PSK_ENABLED */
Jerry Yu1c105562022-07-10 06:32:38 +00001759 {
Manuel Pégourié-Gonnardb8b07aa2023-02-06 00:34:21 +01001760 ret = handshake->update_checksum(ssl, buf, p - buf);
1761 if (0 != ret) {
1762 MBEDTLS_SSL_DEBUG_RET(1, ("update_checksum"), ret);
1763 return ret;
1764 }
Jerry Yu1c105562022-07-10 06:32:38 +00001765 }
XiaokangQian7807f9f2022-02-15 10:04:37 +00001766
Gilles Peskine449bd832023-01-11 14:50:10 +01001767 ret = ssl_tls13_determine_key_exchange_mode(ssl);
1768 if (ret < 0) {
1769 return ret;
1770 }
XiaokangQian7807f9f2022-02-15 10:04:37 +00001771
Ronald Cron8a74f072023-06-14 17:59:29 +02001772 if (ssl->handshake->key_exchange_mode !=
1773 MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_PSK) {
1774 hrr_required = (no_usable_share_for_key_agreement != 0);
1775 }
1776
Gilles Peskine449bd832023-01-11 14:50:10 +01001777 mbedtls_ssl_optimize_checksum(ssl, handshake->ciphersuite_info);
Jerry Yue5834fd2022-08-29 20:16:09 +08001778
Gilles Peskine449bd832023-01-11 14:50:10 +01001779 return hrr_required ? SSL_CLIENT_HELLO_HRR_REQUIRED : SSL_CLIENT_HELLO_OK;
XiaokangQian75fe8c72022-06-15 09:42:45 +00001780}
1781
Jerry Yuab0da372023-02-08 13:55:24 +08001782#if defined(MBEDTLS_SSL_EARLY_DATA)
1783static void ssl_tls13_update_early_data_status(mbedtls_ssl_context *ssl)
1784{
1785 mbedtls_ssl_handshake_params *handshake = ssl->handshake;
1786
1787 if ((handshake->received_extensions &
1788 MBEDTLS_SSL_EXT_MASK(EARLY_DATA)) == 0) {
1789 MBEDTLS_SSL_DEBUG_MSG(
Jerry Yub47b2992023-10-18 15:50:35 +08001790 1, ("EarlyData: no early data extension received."));
Jerry Yuab0da372023-02-08 13:55:24 +08001791 ssl->early_data_status = MBEDTLS_SSL_EARLY_DATA_STATUS_NOT_RECEIVED;
1792 return;
1793 }
1794
1795 ssl->early_data_status = MBEDTLS_SSL_EARLY_DATA_STATUS_REJECTED;
1796
Jerry Yu985c9672022-12-04 14:06:30 +08001797 if (ssl->conf->early_data_enabled == MBEDTLS_SSL_EARLY_DATA_DISABLED) {
1798 MBEDTLS_SSL_DEBUG_MSG(
Jerry Yu985c9672022-12-04 14:06:30 +08001799 1,
Jerry Yu454dda32023-10-31 15:13:54 +08001800 ("EarlyData: rejected, feature disabled in server configuration."));
Jerry Yu985c9672022-12-04 14:06:30 +08001801 return;
1802 }
1803
Jerry Yu454dda32023-10-31 15:13:54 +08001804 if (!handshake->resume) {
1805 /* We currently support early data only in the case of PSKs established
1806 via a NewSessionTicket message thus in the case of a session
1807 resumption. */
Jerry Yu985c9672022-12-04 14:06:30 +08001808 MBEDTLS_SSL_DEBUG_MSG(
Jerry Yu7ef9fd82023-11-07 14:30:38 +08001809 1, ("EarlyData: rejected, not a session resumption."));
Jerry Yu985c9672022-12-04 14:06:30 +08001810 return;
1811 }
1812
Jerry Yu82fd6c12023-10-31 16:32:19 +08001813 /* RFC 8446 4.2.10
1814 *
1815 * In order to accept early data, the server MUST have accepted a PSK cipher
1816 * suite and selected the first key offered in the client's "pre_shared_key"
1817 * extension. In addition, it MUST verify that the following values are the
1818 * same as those associated with the selected PSK:
1819 * - The TLS version number
1820 * - The selected cipher suite
1821 * - The selected ALPN [RFC7301] protocol, if any
1822 *
1823 * NOTE:
Jerry Yu7ef9fd82023-11-07 14:30:38 +08001824 * - The TLS version number is checked in
1825 * ssl_tls13_offered_psks_check_identity_match_ticket().
1826 * - ALPN is not checked for the time being (TODO).
Jerry Yu82fd6c12023-10-31 16:32:19 +08001827 */
1828
1829 if (handshake->selected_identity != 0) {
1830 MBEDTLS_SSL_DEBUG_MSG(
Jerry Yu7ef9fd82023-11-07 14:30:38 +08001831 1, ("EarlyData: rejected, the selected key in "
1832 "`pre_shared_key` is not the first one."));
Jerry Yu82fd6c12023-10-31 16:32:19 +08001833 return;
1834 }
1835
1836 if (handshake->ciphersuite_info->id !=
1837 ssl->session_negotiate->ciphersuite) {
1838 MBEDTLS_SSL_DEBUG_MSG(
Jerry Yu7ef9fd82023-11-07 14:30:38 +08001839 1, ("EarlyData: rejected, the selected ciphersuite is not the one "
1840 "of the selected pre-shared key."));
Jerry Yu82fd6c12023-10-31 16:32:19 +08001841 return;
1842
1843 }
Jerry Yu985c9672022-12-04 14:06:30 +08001844
Jerry Yuc2b1bc42023-11-22 10:08:13 +08001845 if (!mbedtls_ssl_session_ticket_allow_early_data(ssl->session_negotiate)) {
Jerry Yufceddb32022-12-12 15:30:34 +08001846 MBEDTLS_SSL_DEBUG_MSG(
1847 1,
Jerry Yuea96ac32023-11-21 17:06:36 +08001848 ("EarlyData: rejected, early_data not allowed in ticket "
1849 "permission bits."));
Jerry Yufceddb32022-12-12 15:30:34 +08001850 return;
1851 }
Jerry Yu985c9672022-12-04 14:06:30 +08001852
1853 ssl->early_data_status = MBEDTLS_SSL_EARLY_DATA_STATUS_ACCEPTED;
1854
Jerry Yuab0da372023-02-08 13:55:24 +08001855}
1856#endif /* MBEDTLS_SSL_EARLY_DATA */
1857
XiaokangQian75fe8c72022-06-15 09:42:45 +00001858/* Update the handshake state machine */
1859
Ronald Cronce7d76e2022-07-08 18:56:49 +02001860MBEDTLS_CHECK_RETURN_CRITICAL
Gilles Peskine449bd832023-01-11 14:50:10 +01001861static int ssl_tls13_postprocess_client_hello(mbedtls_ssl_context *ssl)
XiaokangQian75fe8c72022-06-15 09:42:45 +00001862{
1863 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
1864
XiaokangQian7807f9f2022-02-15 10:04:37 +00001865 /*
XiaokangQianfb665a82022-06-15 03:57:21 +00001866 * Server certificate selection
1867 */
Gilles Peskine449bd832023-01-11 14:50:10 +01001868 if (ssl->conf->f_cert_cb && (ret = ssl->conf->f_cert_cb(ssl)) != 0) {
1869 MBEDTLS_SSL_DEBUG_RET(1, "f_cert_cb", ret);
1870 return ret;
XiaokangQianfb665a82022-06-15 03:57:21 +00001871 }
1872#if defined(MBEDTLS_SSL_SERVER_NAME_INDICATION)
1873 ssl->handshake->sni_name = NULL;
1874 ssl->handshake->sni_name_len = 0;
1875#endif /* MBEDTLS_SSL_SERVER_NAME_INDICATION */
XiaokangQian7807f9f2022-02-15 10:04:37 +00001876
Gilles Peskine449bd832023-01-11 14:50:10 +01001877 ret = mbedtls_ssl_tls13_key_schedule_stage_early(ssl);
1878 if (ret != 0) {
1879 MBEDTLS_SSL_DEBUG_RET(1,
1880 "mbedtls_ssl_tls1_3_key_schedule_stage_early", ret);
1881 return ret;
XiaokangQian7807f9f2022-02-15 10:04:37 +00001882 }
1883
Jerry Yuab0da372023-02-08 13:55:24 +08001884#if defined(MBEDTLS_SSL_EARLY_DATA)
1885 /* There is enough information, update early data state. */
1886 ssl_tls13_update_early_data_status(ssl);
Jerry Yu4e9b70e2022-12-04 14:08:02 +08001887
1888 if (ssl->early_data_status == MBEDTLS_SSL_EARLY_DATA_STATUS_ACCEPTED) {
1889 ret = mbedtls_ssl_tls13_compute_early_transform(ssl);
1890 if (ret != 0) {
1891 MBEDTLS_SSL_DEBUG_RET(
1892 1, "mbedtls_ssl_tls13_compute_early_transform", ret);
1893 return ret;
1894 }
1895 }
Jerry Yuab0da372023-02-08 13:55:24 +08001896#endif /* MBEDTLS_SSL_EARLY_DATA */
1897
Gilles Peskine449bd832023-01-11 14:50:10 +01001898 return 0;
XiaokangQian7807f9f2022-02-15 10:04:37 +00001899}
1900
1901/*
XiaokangQianed582dd2022-04-13 08:21:05 +00001902 * Main entry point from the state machine; orchestrates the otherfunctions.
1903 */
1904
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +02001905MBEDTLS_CHECK_RETURN_CRITICAL
Gilles Peskine449bd832023-01-11 14:50:10 +01001906static int ssl_tls13_process_client_hello(mbedtls_ssl_context *ssl)
XiaokangQianed582dd2022-04-13 08:21:05 +00001907{
1908
XiaokangQian08037552022-04-20 07:16:41 +00001909 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Gilles Peskine449bd832023-01-11 14:50:10 +01001910 unsigned char *buf = NULL;
XiaokangQianed582dd2022-04-13 08:21:05 +00001911 size_t buflen = 0;
Jerry Yu4ca91402022-05-09 15:50:57 +08001912 int parse_client_hello_ret;
1913
Gilles Peskine449bd832023-01-11 14:50:10 +01001914 MBEDTLS_SSL_DEBUG_MSG(2, ("=> parse client hello"));
XiaokangQianed582dd2022-04-13 08:21:05 +00001915
Gilles Peskine449bd832023-01-11 14:50:10 +01001916 MBEDTLS_SSL_PROC_CHK(mbedtls_ssl_tls13_fetch_handshake_msg(
1917 ssl, MBEDTLS_SSL_HS_CLIENT_HELLO,
1918 &buf, &buflen));
XiaokangQianed582dd2022-04-13 08:21:05 +00001919
Gilles Peskine449bd832023-01-11 14:50:10 +01001920 MBEDTLS_SSL_PROC_CHK_NEG(ssl_tls13_parse_client_hello(ssl, buf,
1921 buf + buflen));
Ronald Cron5af4c7f2023-03-07 20:46:59 +01001922 parse_client_hello_ret = ret; /* Store positive return value of
1923 * parse_client_hello,
1924 * as negative error codes are handled
Jerry Yuf41553b2022-05-09 22:20:30 +08001925 * by MBEDTLS_SSL_PROC_CHK_NEG. */
Jerry Yu4ca91402022-05-09 15:50:57 +08001926
Ronald Cronb828c7d2023-04-03 16:37:22 +02001927 /*
1928 * Version 1.2 of the protocol has been chosen, set the
1929 * ssl->keep_current_message flag for the ClientHello to be kept and parsed
1930 * as a TLS 1.2 ClientHello. We also change ssl->tls_version to
1931 * MBEDTLS_SSL_VERSION_TLS1_2 thus from now on mbedtls_ssl_handshake_step()
1932 * will dispatch to the TLS 1.2 state machine.
1933 */
Ronald Cron5af4c7f2023-03-07 20:46:59 +01001934 if (SSL_CLIENT_HELLO_TLS1_2 == parse_client_hello_ret) {
1935 ssl->keep_current_message = 1;
1936 ssl->tls_version = MBEDTLS_SSL_VERSION_TLS1_2;
1937 return 0;
1938 }
1939
Gilles Peskine449bd832023-01-11 14:50:10 +01001940 MBEDTLS_SSL_PROC_CHK(ssl_tls13_postprocess_client_hello(ssl));
Jerry Yu582dd062022-04-22 21:59:01 +08001941
Ronald Cron5af4c7f2023-03-07 20:46:59 +01001942 if (SSL_CLIENT_HELLO_OK == parse_client_hello_ret) {
Gilles Peskine449bd832023-01-11 14:50:10 +01001943 mbedtls_ssl_handshake_set_state(ssl, MBEDTLS_SSL_SERVER_HELLO);
1944 } else {
1945 mbedtls_ssl_handshake_set_state(ssl, MBEDTLS_SSL_HELLO_RETRY_REQUEST);
1946 }
XiaokangQianed582dd2022-04-13 08:21:05 +00001947
1948cleanup:
1949
Gilles Peskine449bd832023-01-11 14:50:10 +01001950 MBEDTLS_SSL_DEBUG_MSG(2, ("<= parse client hello"));
1951 return ret;
XiaokangQianed582dd2022-04-13 08:21:05 +00001952}
1953
1954/*
Jerry Yu1c3e6882022-04-20 21:23:40 +08001955 * Handler for MBEDTLS_SSL_SERVER_HELLO
Jerry Yu5b64ae92022-03-30 17:15:02 +08001956 */
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +02001957MBEDTLS_CHECK_RETURN_CRITICAL
Gilles Peskine449bd832023-01-11 14:50:10 +01001958static int ssl_tls13_prepare_server_hello(mbedtls_ssl_context *ssl)
Jerry Yuf4b27e42022-03-30 17:32:21 +08001959{
Jerry Yu637a3f12022-04-20 21:37:58 +08001960 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
1961 unsigned char *server_randbytes =
Gilles Peskine449bd832023-01-11 14:50:10 +01001962 ssl->handshake->randbytes + MBEDTLS_CLIENT_HELLO_RANDOM_LEN;
1963 if (ssl->conf->f_rng == NULL) {
1964 MBEDTLS_SSL_DEBUG_MSG(1, ("no RNG provided"));
1965 return MBEDTLS_ERR_SSL_NO_RNG;
Jerry Yuf4b27e42022-03-30 17:32:21 +08001966 }
1967
Gilles Peskine449bd832023-01-11 14:50:10 +01001968 if ((ret = ssl->conf->f_rng(ssl->conf->p_rng, server_randbytes,
1969 MBEDTLS_SERVER_HELLO_RANDOM_LEN)) != 0) {
1970 MBEDTLS_SSL_DEBUG_RET(1, "f_rng", ret);
1971 return ret;
Jerry Yuf4b27e42022-03-30 17:32:21 +08001972 }
1973
Gilles Peskine449bd832023-01-11 14:50:10 +01001974 MBEDTLS_SSL_DEBUG_BUF(3, "server hello, random bytes", server_randbytes,
1975 MBEDTLS_SERVER_HELLO_RANDOM_LEN);
Jerry Yuf4b27e42022-03-30 17:32:21 +08001976
1977#if defined(MBEDTLS_HAVE_TIME)
YxCda609132023-05-22 12:08:12 -07001978 ssl->session_negotiate->start = mbedtls_time(NULL);
Jerry Yuf4b27e42022-03-30 17:32:21 +08001979#endif /* MBEDTLS_HAVE_TIME */
1980
Gilles Peskine449bd832023-01-11 14:50:10 +01001981 return ret;
Jerry Yuf4b27e42022-03-30 17:32:21 +08001982}
1983
Jerry Yu3bf2c642022-03-30 22:02:12 +08001984/*
Jerry Yue74e04a2022-04-21 09:23:16 +08001985 * ssl_tls13_write_server_hello_supported_versions_ext ():
Jerry Yu3bf2c642022-03-30 22:02:12 +08001986 *
1987 * struct {
Jerry Yufb9f54d2022-04-06 10:08:34 +08001988 * ProtocolVersion selected_version;
Jerry Yu3bf2c642022-03-30 22:02:12 +08001989 * } SupportedVersions;
1990 */
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +02001991MBEDTLS_CHECK_RETURN_CRITICAL
Jerry Yue74e04a2022-04-21 09:23:16 +08001992static int ssl_tls13_write_server_hello_supported_versions_ext(
Gilles Peskine449bd832023-01-11 14:50:10 +01001993 mbedtls_ssl_context *ssl,
1994 unsigned char *buf,
1995 unsigned char *end,
1996 size_t *out_len)
Jerry Yu3bf2c642022-03-30 22:02:12 +08001997{
Jerry Yu3bf2c642022-03-30 22:02:12 +08001998 *out_len = 0;
1999
Gilles Peskine449bd832023-01-11 14:50:10 +01002000 MBEDTLS_SSL_DEBUG_MSG(3, ("server hello, write selected version"));
Jerry Yu3bf2c642022-03-30 22:02:12 +08002001
2002 /* Check if we have space to write the extension:
2003 * - extension_type (2 bytes)
2004 * - extension_data_length (2 bytes)
Jerry Yu349a6132022-04-14 20:52:56 +08002005 * - selected_version (2 bytes)
Jerry Yu3bf2c642022-03-30 22:02:12 +08002006 */
Gilles Peskine449bd832023-01-11 14:50:10 +01002007 MBEDTLS_SSL_CHK_BUF_PTR(buf, end, 6);
Jerry Yu3bf2c642022-03-30 22:02:12 +08002008
Gilles Peskine449bd832023-01-11 14:50:10 +01002009 MBEDTLS_PUT_UINT16_BE(MBEDTLS_TLS_EXT_SUPPORTED_VERSIONS, buf, 0);
Jerry Yu3bf2c642022-03-30 22:02:12 +08002010
Gilles Peskine449bd832023-01-11 14:50:10 +01002011 MBEDTLS_PUT_UINT16_BE(2, buf, 2);
Jerry Yu3bf2c642022-03-30 22:02:12 +08002012
Gilles Peskine449bd832023-01-11 14:50:10 +01002013 mbedtls_ssl_write_version(buf + 4,
2014 ssl->conf->transport,
2015 ssl->tls_version);
Jerry Yu3bf2c642022-03-30 22:02:12 +08002016
Gilles Peskine449bd832023-01-11 14:50:10 +01002017 MBEDTLS_SSL_DEBUG_MSG(3, ("supported version: [%04x]",
2018 ssl->tls_version));
Jerry Yu3bf2c642022-03-30 22:02:12 +08002019
Jerry Yu349a6132022-04-14 20:52:56 +08002020 *out_len = 6;
Jerry Yu3bf2c642022-03-30 22:02:12 +08002021
Jerry Yub95dd362022-11-08 21:19:34 +08002022 mbedtls_ssl_tls13_set_hs_sent_ext_mask(
Gilles Peskine449bd832023-01-11 14:50:10 +01002023 ssl, MBEDTLS_TLS_EXT_SUPPORTED_VERSIONS);
Jerry Yub95dd362022-11-08 21:19:34 +08002024
Gilles Peskine449bd832023-01-11 14:50:10 +01002025 return 0;
Jerry Yu3bf2c642022-03-30 22:02:12 +08002026}
2027
Jerry Yud9436a12022-04-20 22:28:09 +08002028
Jerry Yu3bf2c642022-03-30 22:02:12 +08002029
2030/* Generate and export a single key share. For hybrid KEMs, this can
2031 * be called multiple times with the different components of the hybrid. */
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +02002032MBEDTLS_CHECK_RETURN_CRITICAL
Gilles Peskine449bd832023-01-11 14:50:10 +01002033static int ssl_tls13_generate_and_write_key_share(mbedtls_ssl_context *ssl,
2034 uint16_t named_group,
2035 unsigned char *buf,
2036 unsigned char *end,
2037 size_t *out_len)
Jerry Yu3bf2c642022-03-30 22:02:12 +08002038{
2039 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Jerry Yu955ddd72022-04-22 22:27:33 +08002040
2041 *out_len = 0;
2042
Valerio Settic9ae8622023-07-25 11:23:50 +02002043#if defined(MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_SOME_EPHEMERAL_ENABLED)
Przemek Stekiel29c219c2023-05-31 15:21:04 +02002044 if (mbedtls_ssl_tls13_named_group_is_ecdhe(named_group) ||
Przemek Stekield5f79e72023-06-29 09:08:43 +02002045 mbedtls_ssl_tls13_named_group_is_ffdh(named_group)) {
Przemek Stekiel408569f2023-07-06 11:26:44 +02002046 ret = mbedtls_ssl_tls13_generate_and_write_xxdh_key_exchange(
Gilles Peskine449bd832023-01-11 14:50:10 +01002047 ssl, named_group, buf, end, out_len);
2048 if (ret != 0) {
Jerry Yu89e103c2022-03-30 22:43:29 +08002049 MBEDTLS_SSL_DEBUG_RET(
Przemek Stekiel408569f2023-07-06 11:26:44 +02002050 1, "mbedtls_ssl_tls13_generate_and_write_xxdh_key_exchange",
Gilles Peskine449bd832023-01-11 14:50:10 +01002051 ret);
2052 return ret;
Jerry Yu3bf2c642022-03-30 22:02:12 +08002053 }
Gilles Peskine449bd832023-01-11 14:50:10 +01002054 } else
Valerio Settic9ae8622023-07-25 11:23:50 +02002055#endif /* MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_SOME_EPHEMERAL_ENABLED */
Gilles Peskine449bd832023-01-11 14:50:10 +01002056 if (0 /* Other kinds of KEMs */) {
2057 } else {
Jerry Yu955ddd72022-04-22 22:27:33 +08002058 ((void) ssl);
2059 ((void) named_group);
2060 ((void) buf);
2061 ((void) end);
Jerry Yu3bf2c642022-03-30 22:02:12 +08002062 ret = MBEDTLS_ERR_SSL_INTERNAL_ERROR;
2063 }
2064
Gilles Peskine449bd832023-01-11 14:50:10 +01002065 return ret;
Jerry Yu3bf2c642022-03-30 22:02:12 +08002066}
2067
2068/*
2069 * ssl_tls13_write_key_share_ext
2070 *
2071 * Structure of key_share extension in ServerHello:
2072 *
Jerry Yu1c3e6882022-04-20 21:23:40 +08002073 * struct {
2074 * NamedGroup group;
2075 * opaque key_exchange<1..2^16-1>;
2076 * } KeyShareEntry;
2077 * struct {
2078 * KeyShareEntry server_share;
2079 * } KeyShareServerHello;
Jerry Yu3bf2c642022-03-30 22:02:12 +08002080 */
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +02002081MBEDTLS_CHECK_RETURN_CRITICAL
Gilles Peskine449bd832023-01-11 14:50:10 +01002082static int ssl_tls13_write_key_share_ext(mbedtls_ssl_context *ssl,
2083 unsigned char *buf,
2084 unsigned char *end,
2085 size_t *out_len)
Jerry Yu3bf2c642022-03-30 22:02:12 +08002086{
Jerry Yu955ddd72022-04-22 22:27:33 +08002087 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Jerry Yu3bf2c642022-03-30 22:02:12 +08002088 unsigned char *p = buf;
Jerry Yu57d48412022-04-20 21:50:42 +08002089 uint16_t group = ssl->handshake->offered_group_id;
Jerry Yu3bf2c642022-03-30 22:02:12 +08002090 unsigned char *server_share = buf + 4;
Jerry Yu3bf2c642022-03-30 22:02:12 +08002091 size_t key_exchange_length;
Jerry Yu3bf2c642022-03-30 22:02:12 +08002092
2093 *out_len = 0;
2094
Gilles Peskine449bd832023-01-11 14:50:10 +01002095 MBEDTLS_SSL_DEBUG_MSG(3, ("server hello, adding key share extension"));
Jerry Yu3bf2c642022-03-30 22:02:12 +08002096
Gilles Peskine449bd832023-01-11 14:50:10 +01002097 MBEDTLS_SSL_DEBUG_MSG(2, ("server hello, write selected_group: %s (%04x)",
2098 mbedtls_ssl_named_group_to_str(group),
2099 group));
Jerry Yu58af2332022-09-06 11:19:31 +08002100
Jerry Yu3bf2c642022-03-30 22:02:12 +08002101 /* Check if we have space for header and length fields:
2102 * - extension_type (2 bytes)
2103 * - extension_data_length (2 bytes)
2104 * - group (2 bytes)
2105 * - key_exchange_length (2 bytes)
2106 */
Gilles Peskine449bd832023-01-11 14:50:10 +01002107 MBEDTLS_SSL_CHK_BUF_PTR(p, end, 8);
2108 MBEDTLS_PUT_UINT16_BE(MBEDTLS_TLS_EXT_KEY_SHARE, p, 0);
2109 MBEDTLS_PUT_UINT16_BE(group, server_share, 0);
Jerry Yu3bf2c642022-03-30 22:02:12 +08002110 p += 8;
Jerry Yu57d48412022-04-20 21:50:42 +08002111
Jerry Yu3bf2c642022-03-30 22:02:12 +08002112 /* When we introduce PQC-ECDHE hybrids, we'll want to call this
2113 * function multiple times. */
Jerry Yu955ddd72022-04-22 22:27:33 +08002114 ret = ssl_tls13_generate_and_write_key_share(
Gilles Peskine449bd832023-01-11 14:50:10 +01002115 ssl, group, server_share + 4, end, &key_exchange_length);
2116 if (ret != 0) {
2117 return ret;
2118 }
Jerry Yu3bf2c642022-03-30 22:02:12 +08002119 p += key_exchange_length;
Jerry Yuc1be19f2022-04-23 16:11:39 +08002120
Gilles Peskine449bd832023-01-11 14:50:10 +01002121 MBEDTLS_PUT_UINT16_BE(key_exchange_length, server_share + 2, 0);
Jerry Yu3bf2c642022-03-30 22:02:12 +08002122
Gilles Peskine449bd832023-01-11 14:50:10 +01002123 MBEDTLS_PUT_UINT16_BE(p - server_share, buf, 2);
Jerry Yu3bf2c642022-03-30 22:02:12 +08002124
Jerry Yu57d48412022-04-20 21:50:42 +08002125 *out_len = p - buf;
Jerry Yu955ddd72022-04-22 22:27:33 +08002126
Gilles Peskine449bd832023-01-11 14:50:10 +01002127 mbedtls_ssl_tls13_set_hs_sent_ext_mask(ssl, MBEDTLS_TLS_EXT_KEY_SHARE);
Jerry Yub95dd362022-11-08 21:19:34 +08002128
Gilles Peskine449bd832023-01-11 14:50:10 +01002129 return 0;
Jerry Yu3bf2c642022-03-30 22:02:12 +08002130}
Jerry Yud9436a12022-04-20 22:28:09 +08002131
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +02002132MBEDTLS_CHECK_RETURN_CRITICAL
Gilles Peskine449bd832023-01-11 14:50:10 +01002133static int ssl_tls13_write_hrr_key_share_ext(mbedtls_ssl_context *ssl,
2134 unsigned char *buf,
2135 unsigned char *end,
2136 size_t *out_len)
Jerry Yu23f7a6f2022-04-23 15:16:45 +08002137{
2138 uint16_t selected_group = ssl->handshake->hrr_selected_group;
2139 /* key_share Extension
2140 *
2141 * struct {
2142 * select (Handshake.msg_type) {
2143 * ...
2144 * case hello_retry_request:
2145 * NamedGroup selected_group;
2146 * ...
2147 * };
2148 * } KeyShare;
2149 */
2150
2151 *out_len = 0;
2152
Jerry Yub0ac10b2022-05-05 11:10:08 +08002153 /*
2154 * For a pure PSK key exchange, there is no group to agree upon. The purpose
2155 * of the HRR is then to transmit a cookie to force the client to demonstrate
2156 * reachability at their apparent network address (primarily useful for DTLS).
2157 */
Gilles Peskine449bd832023-01-11 14:50:10 +01002158 if (!mbedtls_ssl_tls13_key_exchange_mode_with_ephemeral(ssl)) {
2159 return 0;
2160 }
Jerry Yu23f7a6f2022-04-23 15:16:45 +08002161
2162 /* We should only send the key_share extension if the client's initial
2163 * key share was not acceptable. */
Gilles Peskine449bd832023-01-11 14:50:10 +01002164 if (ssl->handshake->offered_group_id != 0) {
2165 MBEDTLS_SSL_DEBUG_MSG(4, ("Skip key_share extension in HRR"));
2166 return 0;
Jerry Yu23f7a6f2022-04-23 15:16:45 +08002167 }
2168
Gilles Peskine449bd832023-01-11 14:50:10 +01002169 if (selected_group == 0) {
2170 MBEDTLS_SSL_DEBUG_MSG(1, ("no matching named group found"));
2171 return MBEDTLS_ERR_SSL_HANDSHAKE_FAILURE;
Jerry Yu23f7a6f2022-04-23 15:16:45 +08002172 }
2173
Jerry Yub0ac10b2022-05-05 11:10:08 +08002174 /* Check if we have enough space:
2175 * - extension_type (2 bytes)
2176 * - extension_data_length (2 bytes)
2177 * - selected_group (2 bytes)
2178 */
Gilles Peskine449bd832023-01-11 14:50:10 +01002179 MBEDTLS_SSL_CHK_BUF_PTR(buf, end, 6);
Jerry Yu23f7a6f2022-04-23 15:16:45 +08002180
Gilles Peskine449bd832023-01-11 14:50:10 +01002181 MBEDTLS_PUT_UINT16_BE(MBEDTLS_TLS_EXT_KEY_SHARE, buf, 0);
2182 MBEDTLS_PUT_UINT16_BE(2, buf, 2);
2183 MBEDTLS_PUT_UINT16_BE(selected_group, buf, 4);
Jerry Yu23f7a6f2022-04-23 15:16:45 +08002184
Gilles Peskine449bd832023-01-11 14:50:10 +01002185 MBEDTLS_SSL_DEBUG_MSG(3,
2186 ("HRR selected_group: %s (%x)",
2187 mbedtls_ssl_named_group_to_str(selected_group),
2188 selected_group));
Jerry Yu23f7a6f2022-04-23 15:16:45 +08002189
2190 *out_len = 6;
Jerry Yu23f7a6f2022-04-23 15:16:45 +08002191
Gilles Peskine449bd832023-01-11 14:50:10 +01002192 mbedtls_ssl_tls13_set_hs_sent_ext_mask(ssl, MBEDTLS_TLS_EXT_KEY_SHARE);
Jerry Yub95dd362022-11-08 21:19:34 +08002193
Gilles Peskine449bd832023-01-11 14:50:10 +01002194 return 0;
Jerry Yu23f7a6f2022-04-23 15:16:45 +08002195}
Jerry Yu3bf2c642022-03-30 22:02:12 +08002196
2197/*
2198 * Structure of ServerHello message:
2199 *
2200 * struct {
2201 * ProtocolVersion legacy_version = 0x0303; // TLS v1.2
2202 * Random random;
2203 * opaque legacy_session_id_echo<0..32>;
2204 * CipherSuite cipher_suite;
2205 * uint8 legacy_compression_method = 0;
2206 * Extension extensions<6..2^16-1>;
2207 * } ServerHello;
2208 */
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +02002209MBEDTLS_CHECK_RETURN_CRITICAL
Gilles Peskine449bd832023-01-11 14:50:10 +01002210static int ssl_tls13_write_server_hello_body(mbedtls_ssl_context *ssl,
2211 unsigned char *buf,
2212 unsigned char *end,
2213 size_t *out_len,
2214 int is_hrr)
Jerry Yu56404d72022-03-30 17:36:13 +08002215{
Jerry Yu955ddd72022-04-22 22:27:33 +08002216 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Jerry Yu3bf2c642022-03-30 22:02:12 +08002217 unsigned char *p = buf;
Jerry Yud9436a12022-04-20 22:28:09 +08002218 unsigned char *p_extensions_len;
Jerry Yufbe3e642022-04-25 19:31:51 +08002219 size_t output_len;
Jerry Yu3bf2c642022-03-30 22:02:12 +08002220
2221 *out_len = 0;
Jerry Yu50e00e32022-10-31 14:45:01 +08002222 ssl->handshake->sent_extensions = MBEDTLS_SSL_EXT_MASK_NONE;
Jerry Yu3bf2c642022-03-30 22:02:12 +08002223
Jerry Yucfc04b32022-04-21 09:31:58 +08002224 /* ...
2225 * ProtocolVersion legacy_version = 0x0303; // TLS 1.2
2226 * ...
2227 * with ProtocolVersion defined as:
2228 * uint16 ProtocolVersion;
Jerry Yu3bf2c642022-03-30 22:02:12 +08002229 */
Gilles Peskine449bd832023-01-11 14:50:10 +01002230 MBEDTLS_SSL_CHK_BUF_PTR(p, end, 2);
2231 MBEDTLS_PUT_UINT16_BE(0x0303, p, 0);
Jerry Yu3bf2c642022-03-30 22:02:12 +08002232 p += 2;
2233
Jerry Yu1c3e6882022-04-20 21:23:40 +08002234 /* ...
2235 * Random random;
2236 * ...
Jerry Yucfc04b32022-04-21 09:31:58 +08002237 * with Random defined as:
2238 * opaque Random[MBEDTLS_SERVER_HELLO_RANDOM_LEN];
Jerry Yu1c3e6882022-04-20 21:23:40 +08002239 */
Gilles Peskine449bd832023-01-11 14:50:10 +01002240 MBEDTLS_SSL_CHK_BUF_PTR(p, end, MBEDTLS_SERVER_HELLO_RANDOM_LEN);
2241 if (is_hrr) {
2242 memcpy(p, mbedtls_ssl_tls13_hello_retry_request_magic,
2243 MBEDTLS_SERVER_HELLO_RANDOM_LEN);
2244 } else {
2245 memcpy(p, &ssl->handshake->randbytes[MBEDTLS_CLIENT_HELLO_RANDOM_LEN],
2246 MBEDTLS_SERVER_HELLO_RANDOM_LEN);
Jerry Yu23f7a6f2022-04-23 15:16:45 +08002247 }
Gilles Peskine449bd832023-01-11 14:50:10 +01002248 MBEDTLS_SSL_DEBUG_BUF(3, "server hello, random bytes",
2249 p, MBEDTLS_SERVER_HELLO_RANDOM_LEN);
Jerry Yu3bf2c642022-03-30 22:02:12 +08002250 p += MBEDTLS_SERVER_HELLO_RANDOM_LEN;
2251
Jerry Yucfc04b32022-04-21 09:31:58 +08002252 /* ...
2253 * opaque legacy_session_id_echo<0..32>;
2254 * ...
Jerry Yu3bf2c642022-03-30 22:02:12 +08002255 */
Gilles Peskine449bd832023-01-11 14:50:10 +01002256 MBEDTLS_SSL_CHK_BUF_PTR(p, end, 1 + ssl->session_negotiate->id_len);
2257 *p++ = (unsigned char) ssl->session_negotiate->id_len;
2258 if (ssl->session_negotiate->id_len > 0) {
2259 memcpy(p, &ssl->session_negotiate->id[0],
2260 ssl->session_negotiate->id_len);
Jerry Yu3bf2c642022-03-30 22:02:12 +08002261 p += ssl->session_negotiate->id_len;
Jerry Yu955ddd72022-04-22 22:27:33 +08002262
Gilles Peskine449bd832023-01-11 14:50:10 +01002263 MBEDTLS_SSL_DEBUG_BUF(3, "session id", ssl->session_negotiate->id,
2264 ssl->session_negotiate->id_len);
Jerry Yu3bf2c642022-03-30 22:02:12 +08002265 }
2266
Jerry Yucfc04b32022-04-21 09:31:58 +08002267 /* ...
2268 * CipherSuite cipher_suite;
2269 * ...
2270 * with CipherSuite defined as:
2271 * uint8 CipherSuite[2];
Jerry Yu3bf2c642022-03-30 22:02:12 +08002272 */
Gilles Peskine449bd832023-01-11 14:50:10 +01002273 MBEDTLS_SSL_CHK_BUF_PTR(p, end, 2);
2274 MBEDTLS_PUT_UINT16_BE(ssl->session_negotiate->ciphersuite, p, 0);
Jerry Yu3bf2c642022-03-30 22:02:12 +08002275 p += 2;
Gilles Peskine449bd832023-01-11 14:50:10 +01002276 MBEDTLS_SSL_DEBUG_MSG(3,
2277 ("server hello, chosen ciphersuite: %s ( id=%d )",
2278 mbedtls_ssl_get_ciphersuite_name(
2279 ssl->session_negotiate->ciphersuite),
2280 ssl->session_negotiate->ciphersuite));
Jerry Yu3bf2c642022-03-30 22:02:12 +08002281
Jerry Yucfc04b32022-04-21 09:31:58 +08002282 /* ...
2283 * uint8 legacy_compression_method = 0;
2284 * ...
2285 */
Gilles Peskine449bd832023-01-11 14:50:10 +01002286 MBEDTLS_SSL_CHK_BUF_PTR(p, end, 1);
Thomas Daubney31e03a82022-07-25 15:59:25 +01002287 *p++ = MBEDTLS_SSL_COMPRESS_NULL;
Jerry Yu3bf2c642022-03-30 22:02:12 +08002288
Jerry Yucfc04b32022-04-21 09:31:58 +08002289 /* ...
2290 * Extension extensions<6..2^16-1>;
2291 * ...
2292 * struct {
2293 * ExtensionType extension_type; (2 bytes)
2294 * opaque extension_data<0..2^16-1>;
2295 * } Extension;
2296 */
Gilles Peskine449bd832023-01-11 14:50:10 +01002297 MBEDTLS_SSL_CHK_BUF_PTR(p, end, 2);
Jerry Yud9436a12022-04-20 22:28:09 +08002298 p_extensions_len = p;
Jerry Yu3bf2c642022-03-30 22:02:12 +08002299 p += 2;
2300
Gilles Peskine449bd832023-01-11 14:50:10 +01002301 if ((ret = ssl_tls13_write_server_hello_supported_versions_ext(
2302 ssl, p, end, &output_len)) != 0) {
Jerry Yu955ddd72022-04-22 22:27:33 +08002303 MBEDTLS_SSL_DEBUG_RET(
Gilles Peskine449bd832023-01-11 14:50:10 +01002304 1, "ssl_tls13_write_server_hello_supported_versions_ext", ret);
2305 return ret;
Jerry Yu3bf2c642022-03-30 22:02:12 +08002306 }
2307 p += output_len;
2308
Gilles Peskine449bd832023-01-11 14:50:10 +01002309 if (mbedtls_ssl_tls13_key_exchange_mode_with_ephemeral(ssl)) {
2310 if (is_hrr) {
2311 ret = ssl_tls13_write_hrr_key_share_ext(ssl, p, end, &output_len);
2312 } else {
2313 ret = ssl_tls13_write_key_share_ext(ssl, p, end, &output_len);
2314 }
2315 if (ret != 0) {
2316 return ret;
2317 }
Jerry Yu3bf2c642022-03-30 22:02:12 +08002318 p += output_len;
2319 }
Jerry Yu3bf2c642022-03-30 22:02:12 +08002320
Ronald Cron41a443a2022-10-04 16:38:25 +02002321#if defined(MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_SOME_PSK_ENABLED)
Gilles Peskine449bd832023-01-11 14:50:10 +01002322 if (!is_hrr && mbedtls_ssl_tls13_key_exchange_mode_with_psk(ssl)) {
2323 ret = ssl_tls13_write_server_pre_shared_key_ext(ssl, p, end, &output_len);
2324 if (ret != 0) {
2325 MBEDTLS_SSL_DEBUG_RET(1, "ssl_tls13_write_server_pre_shared_key_ext",
2326 ret);
2327 return ret;
Jerry Yu032b15ce2022-07-11 06:10:03 +00002328 }
2329 p += output_len;
2330 }
Ronald Cron41a443a2022-10-04 16:38:25 +02002331#endif
Jerry Yu032b15ce2022-07-11 06:10:03 +00002332
Gilles Peskine449bd832023-01-11 14:50:10 +01002333 MBEDTLS_PUT_UINT16_BE(p - p_extensions_len - 2, p_extensions_len, 0);
Jerry Yu3bf2c642022-03-30 22:02:12 +08002334
Gilles Peskine449bd832023-01-11 14:50:10 +01002335 MBEDTLS_SSL_DEBUG_BUF(4, "server hello extensions",
2336 p_extensions_len, p - p_extensions_len);
Jerry Yu3bf2c642022-03-30 22:02:12 +08002337
Jerry Yud9436a12022-04-20 22:28:09 +08002338 *out_len = p - buf;
Jerry Yu3bf2c642022-03-30 22:02:12 +08002339
Gilles Peskine449bd832023-01-11 14:50:10 +01002340 MBEDTLS_SSL_DEBUG_BUF(3, "server hello", buf, *out_len);
Jerry Yu3bf2c642022-03-30 22:02:12 +08002341
Jerry Yu7de2ff02022-11-08 21:43:46 +08002342 MBEDTLS_SSL_PRINT_EXTS(
Jerry Yu4b8f2f72022-10-31 13:31:22 +08002343 3, is_hrr ? MBEDTLS_SSL_TLS1_3_HS_HELLO_RETRY_REQUEST :
Gilles Peskine449bd832023-01-11 14:50:10 +01002344 MBEDTLS_SSL_HS_SERVER_HELLO,
2345 ssl->handshake->sent_extensions);
Jerry Yu4b8f2f72022-10-31 13:31:22 +08002346
Gilles Peskine449bd832023-01-11 14:50:10 +01002347 return ret;
Jerry Yu56404d72022-03-30 17:36:13 +08002348}
2349
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +02002350MBEDTLS_CHECK_RETURN_CRITICAL
Xiaokang Qian934ce6f2023-02-06 10:23:04 +00002351static int ssl_tls13_finalize_server_hello(mbedtls_ssl_context *ssl)
Jerry Yue110d252022-05-05 10:19:22 +08002352{
2353 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Gilles Peskine449bd832023-01-11 14:50:10 +01002354 ret = mbedtls_ssl_tls13_compute_handshake_transform(ssl);
2355 if (ret != 0) {
2356 MBEDTLS_SSL_DEBUG_RET(1,
2357 "mbedtls_ssl_tls13_compute_handshake_transform",
2358 ret);
2359 return ret;
Jerry Yue110d252022-05-05 10:19:22 +08002360 }
2361
Gilles Peskine449bd832023-01-11 14:50:10 +01002362 return ret;
Jerry Yue110d252022-05-05 10:19:22 +08002363}
2364
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +02002365MBEDTLS_CHECK_RETURN_CRITICAL
Gilles Peskine449bd832023-01-11 14:50:10 +01002366static int ssl_tls13_write_server_hello(mbedtls_ssl_context *ssl)
Jerry Yu5b64ae92022-03-30 17:15:02 +08002367{
Jerry Yu637a3f12022-04-20 21:37:58 +08002368 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Jerry Yuf4b27e42022-03-30 17:32:21 +08002369 unsigned char *buf;
2370 size_t buf_len, msg_len;
2371
Gilles Peskine449bd832023-01-11 14:50:10 +01002372 MBEDTLS_SSL_DEBUG_MSG(2, ("=> write server hello"));
Jerry Yuf4b27e42022-03-30 17:32:21 +08002373
Gilles Peskine449bd832023-01-11 14:50:10 +01002374 MBEDTLS_SSL_PROC_CHK(ssl_tls13_prepare_server_hello(ssl));
Jerry Yuf4b27e42022-03-30 17:32:21 +08002375
Xiaokang Qian9f1747b2023-03-30 02:50:04 +00002376 MBEDTLS_SSL_PROC_CHK(mbedtls_ssl_start_handshake_msg(
2377 ssl, MBEDTLS_SSL_HS_SERVER_HELLO, &buf, &buf_len));
Jerry Yuf4b27e42022-03-30 17:32:21 +08002378
Gilles Peskine449bd832023-01-11 14:50:10 +01002379 MBEDTLS_SSL_PROC_CHK(ssl_tls13_write_server_hello_body(ssl, buf,
2380 buf + buf_len,
2381 &msg_len,
2382 0));
Jerry Yuf4b27e42022-03-30 17:32:21 +08002383
Manuel Pégourié-Gonnardb8b07aa2023-02-06 00:34:21 +01002384 MBEDTLS_SSL_PROC_CHK(mbedtls_ssl_add_hs_msg_to_checksum(
Manuel Pégourié-Gonnard43cc1272023-02-06 11:48:19 +01002385 ssl, MBEDTLS_SSL_HS_SERVER_HELLO, buf, msg_len));
Jerry Yuf4b27e42022-03-30 17:32:21 +08002386
Gilles Peskine449bd832023-01-11 14:50:10 +01002387 MBEDTLS_SSL_PROC_CHK(mbedtls_ssl_finish_handshake_msg(
2388 ssl, buf_len, msg_len));
Jerry Yu637a3f12022-04-20 21:37:58 +08002389
Xiaokang Qian934ce6f2023-02-06 10:23:04 +00002390 MBEDTLS_SSL_PROC_CHK(ssl_tls13_finalize_server_hello(ssl));
Jerry Yue110d252022-05-05 10:19:22 +08002391
Gabor Mezei7b39bf12022-05-24 16:04:14 +02002392#if defined(MBEDTLS_SSL_TLS1_3_COMPATIBILITY_MODE)
2393 /* The server sends a dummy change_cipher_spec record immediately
2394 * after its first handshake message. This may either be after
2395 * a ServerHello or a HelloRetryRequest.
2396 */
Gabor Mezei96ae9262022-06-28 11:45:18 +02002397 mbedtls_ssl_handshake_set_state(
Gilles Peskine449bd832023-01-11 14:50:10 +01002398 ssl, MBEDTLS_SSL_SERVER_CCS_AFTER_SERVER_HELLO);
Gabor Mezei7b39bf12022-05-24 16:04:14 +02002399#else
Gilles Peskine449bd832023-01-11 14:50:10 +01002400 mbedtls_ssl_handshake_set_state(ssl, MBEDTLS_SSL_ENCRYPTED_EXTENSIONS);
Gabor Mezei7b39bf12022-05-24 16:04:14 +02002401#endif /* MBEDTLS_SSL_TLS1_3_COMPATIBILITY_MODE */
Jerry Yue110d252022-05-05 10:19:22 +08002402
Jerry Yuf4b27e42022-03-30 17:32:21 +08002403cleanup:
2404
Gilles Peskine449bd832023-01-11 14:50:10 +01002405 MBEDTLS_SSL_DEBUG_MSG(2, ("<= write server hello"));
2406 return ret;
Jerry Yu5b64ae92022-03-30 17:15:02 +08002407}
2408
Jerry Yu23d1a252022-05-12 18:08:59 +08002409
2410/*
2411 * Handler for MBEDTLS_SSL_HELLO_RETRY_REQUEST
2412 */
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +02002413MBEDTLS_CHECK_RETURN_CRITICAL
Gilles Peskine449bd832023-01-11 14:50:10 +01002414static int ssl_tls13_prepare_hello_retry_request(mbedtls_ssl_context *ssl)
Jerry Yu23d1a252022-05-12 18:08:59 +08002415{
2416 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Gilles Peskine449bd832023-01-11 14:50:10 +01002417 if (ssl->handshake->hello_retry_request_count > 0) {
2418 MBEDTLS_SSL_DEBUG_MSG(1, ("Too many HRRs"));
2419 MBEDTLS_SSL_PEND_FATAL_ALERT(MBEDTLS_SSL_ALERT_MSG_HANDSHAKE_FAILURE,
2420 MBEDTLS_ERR_SSL_HANDSHAKE_FAILURE);
2421 return MBEDTLS_ERR_SSL_HANDSHAKE_FAILURE;
Jerry Yu23d1a252022-05-12 18:08:59 +08002422 }
2423
2424 /*
2425 * Create stateless transcript hash for HRR
2426 */
Gilles Peskine449bd832023-01-11 14:50:10 +01002427 MBEDTLS_SSL_DEBUG_MSG(4, ("Reset transcript for HRR"));
2428 ret = mbedtls_ssl_reset_transcript_for_hrr(ssl);
2429 if (ret != 0) {
2430 MBEDTLS_SSL_DEBUG_RET(1, "mbedtls_ssl_reset_transcript_for_hrr", ret);
2431 return ret;
Jerry Yu23d1a252022-05-12 18:08:59 +08002432 }
Gilles Peskine449bd832023-01-11 14:50:10 +01002433 mbedtls_ssl_session_reset_msg_layer(ssl, 0);
Jerry Yu23d1a252022-05-12 18:08:59 +08002434
Gilles Peskine449bd832023-01-11 14:50:10 +01002435 return 0;
Jerry Yu23d1a252022-05-12 18:08:59 +08002436}
2437
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +02002438MBEDTLS_CHECK_RETURN_CRITICAL
Gilles Peskine449bd832023-01-11 14:50:10 +01002439static int ssl_tls13_write_hello_retry_request(mbedtls_ssl_context *ssl)
Jerry Yu23d1a252022-05-12 18:08:59 +08002440{
2441 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
2442 unsigned char *buf;
2443 size_t buf_len, msg_len;
2444
Gilles Peskine449bd832023-01-11 14:50:10 +01002445 MBEDTLS_SSL_DEBUG_MSG(2, ("=> write hello retry request"));
Jerry Yu23d1a252022-05-12 18:08:59 +08002446
Gilles Peskine449bd832023-01-11 14:50:10 +01002447 MBEDTLS_SSL_PROC_CHK(ssl_tls13_prepare_hello_retry_request(ssl));
Jerry Yu23d1a252022-05-12 18:08:59 +08002448
Gilles Peskine449bd832023-01-11 14:50:10 +01002449 MBEDTLS_SSL_PROC_CHK(mbedtls_ssl_start_handshake_msg(
2450 ssl, MBEDTLS_SSL_HS_SERVER_HELLO,
2451 &buf, &buf_len));
Jerry Yu23d1a252022-05-12 18:08:59 +08002452
Gilles Peskine449bd832023-01-11 14:50:10 +01002453 MBEDTLS_SSL_PROC_CHK(ssl_tls13_write_server_hello_body(ssl, buf,
2454 buf + buf_len,
2455 &msg_len,
2456 1));
Manuel Pégourié-Gonnardb8b07aa2023-02-06 00:34:21 +01002457 MBEDTLS_SSL_PROC_CHK(mbedtls_ssl_add_hs_msg_to_checksum(
Manuel Pégourié-Gonnard43cc1272023-02-06 11:48:19 +01002458 ssl, MBEDTLS_SSL_HS_SERVER_HELLO, buf, msg_len));
Jerry Yu23d1a252022-05-12 18:08:59 +08002459
2460
Gilles Peskine449bd832023-01-11 14:50:10 +01002461 MBEDTLS_SSL_PROC_CHK(mbedtls_ssl_finish_handshake_msg(ssl, buf_len,
2462 msg_len));
Jerry Yu23d1a252022-05-12 18:08:59 +08002463
2464 ssl->handshake->hello_retry_request_count++;
2465
Gabor Mezei7b39bf12022-05-24 16:04:14 +02002466#if defined(MBEDTLS_SSL_TLS1_3_COMPATIBILITY_MODE)
2467 /* The server sends a dummy change_cipher_spec record immediately
2468 * after its first handshake message. This may either be after
2469 * a ServerHello or a HelloRetryRequest.
2470 */
Gabor Mezei96ae9262022-06-28 11:45:18 +02002471 mbedtls_ssl_handshake_set_state(
Gilles Peskine449bd832023-01-11 14:50:10 +01002472 ssl, MBEDTLS_SSL_SERVER_CCS_AFTER_HELLO_RETRY_REQUEST);
Gabor Mezei7b39bf12022-05-24 16:04:14 +02002473#else
Gilles Peskine449bd832023-01-11 14:50:10 +01002474 mbedtls_ssl_handshake_set_state(ssl, MBEDTLS_SSL_CLIENT_HELLO);
Gabor Mezei7b39bf12022-05-24 16:04:14 +02002475#endif /* MBEDTLS_SSL_TLS1_3_COMPATIBILITY_MODE */
Jerry Yu23d1a252022-05-12 18:08:59 +08002476
2477cleanup:
Gilles Peskine449bd832023-01-11 14:50:10 +01002478 MBEDTLS_SSL_DEBUG_MSG(2, ("<= write hello retry request"));
2479 return ret;
Jerry Yu23d1a252022-05-12 18:08:59 +08002480}
2481
Jerry Yu5b64ae92022-03-30 17:15:02 +08002482/*
Jerry Yu4d3841a2022-04-16 12:37:19 +08002483 * Handler for MBEDTLS_SSL_ENCRYPTED_EXTENSIONS
2484 */
Jerry Yu4d3841a2022-04-16 12:37:19 +08002485
2486/*
2487 * struct {
2488 * Extension extensions<0..2 ^ 16 - 1>;
2489 * } EncryptedExtensions;
2490 *
2491 */
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +02002492MBEDTLS_CHECK_RETURN_CRITICAL
Gilles Peskine449bd832023-01-11 14:50:10 +01002493static int ssl_tls13_write_encrypted_extensions_body(mbedtls_ssl_context *ssl,
2494 unsigned char *buf,
2495 unsigned char *end,
2496 size_t *out_len)
Jerry Yu4d3841a2022-04-16 12:37:19 +08002497{
XiaokangQianacb39922022-06-17 10:18:48 +00002498 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Jerry Yu4d3841a2022-04-16 12:37:19 +08002499 unsigned char *p = buf;
2500 size_t extensions_len = 0;
Jerry Yu8937eb42022-05-03 12:12:14 +08002501 unsigned char *p_extensions_len;
XiaokangQianacb39922022-06-17 10:18:48 +00002502 size_t output_len;
Waleed Elmelegyd2fc90e2024-01-04 18:04:53 +00002503#if defined(MBEDTLS_SSL_RECORD_SIZE_LIMIT)
2504 uint32_t record_size_extension_mask;
2505#endif
Jerry Yu9da5e5a2022-05-03 15:46:09 +08002506
Jerry Yu4d3841a2022-04-16 12:37:19 +08002507 *out_len = 0;
2508
Gilles Peskine449bd832023-01-11 14:50:10 +01002509 MBEDTLS_SSL_CHK_BUF_PTR(p, end, 2);
Jerry Yu8937eb42022-05-03 12:12:14 +08002510 p_extensions_len = p;
Jerry Yu4d3841a2022-04-16 12:37:19 +08002511 p += 2;
2512
Jerry Yu8937eb42022-05-03 12:12:14 +08002513 ((void) ssl);
XiaokangQianacb39922022-06-17 10:18:48 +00002514 ((void) ret);
2515 ((void) output_len);
2516
2517#if defined(MBEDTLS_SSL_ALPN)
Gilles Peskine449bd832023-01-11 14:50:10 +01002518 ret = mbedtls_ssl_write_alpn_ext(ssl, p, end, &output_len);
2519 if (ret != 0) {
2520 return ret;
2521 }
XiaokangQian95d5f542022-06-24 02:29:26 +00002522 p += output_len;
XiaokangQianacb39922022-06-17 10:18:48 +00002523#endif /* MBEDTLS_SSL_ALPN */
Jerry Yu4d3841a2022-04-16 12:37:19 +08002524
Jerry Yu71c14f12022-12-12 11:10:35 +08002525#if defined(MBEDTLS_SSL_EARLY_DATA)
2526 if (ssl->early_data_status == MBEDTLS_SSL_EARLY_DATA_STATUS_ACCEPTED) {
Jerry Yu52335392023-11-23 18:06:06 +08002527 ret = mbedtls_ssl_tls13_write_early_data_ext(
Jerry Yuc59c5862023-12-05 10:40:49 +08002528 ssl, 0, p, end, &output_len);
Jerry Yu71c14f12022-12-12 11:10:35 +08002529 if (ret != 0) {
2530 return ret;
2531 }
2532 p += output_len;
2533 }
2534#endif /* MBEDTLS_SSL_EARLY_DATA */
2535
Waleed Elmelegy47d29462024-01-03 17:31:52 +00002536#if defined(MBEDTLS_SSL_RECORD_SIZE_LIMIT)
Waleed Elmelegyd2fc90e2024-01-04 18:04:53 +00002537 record_size_extension_mask = mbedtls_ssl_get_extension_mask(MBEDTLS_TLS_EXT_RECORD_SIZE_LIMIT);
2538 if (ssl->handshake->received_extensions | record_size_extension_mask) {
2539 ret = mbedtls_ssl_tls13_write_record_size_limit_ext(
2540 ssl, p, end, &output_len);
2541 if (ret != 0) {
2542 return ret;
2543 }
2544 p += output_len;
Waleed Elmelegy47d29462024-01-03 17:31:52 +00002545 }
Waleed Elmelegy47d29462024-01-03 17:31:52 +00002546#endif
2547
Gilles Peskine449bd832023-01-11 14:50:10 +01002548 extensions_len = (p - p_extensions_len) - 2;
2549 MBEDTLS_PUT_UINT16_BE(extensions_len, p_extensions_len, 0);
Jerry Yu8937eb42022-05-03 12:12:14 +08002550
2551 *out_len = p - buf;
Jerry Yu4d3841a2022-04-16 12:37:19 +08002552
Gilles Peskine449bd832023-01-11 14:50:10 +01002553 MBEDTLS_SSL_DEBUG_BUF(4, "encrypted extensions", buf, *out_len);
Jerry Yu4d3841a2022-04-16 12:37:19 +08002554
Jerry Yu7de2ff02022-11-08 21:43:46 +08002555 MBEDTLS_SSL_PRINT_EXTS(
Gilles Peskine449bd832023-01-11 14:50:10 +01002556 3, MBEDTLS_SSL_HS_ENCRYPTED_EXTENSIONS, ssl->handshake->sent_extensions);
Jerry Yu4b8f2f72022-10-31 13:31:22 +08002557
Gilles Peskine449bd832023-01-11 14:50:10 +01002558 return 0;
Jerry Yu4d3841a2022-04-16 12:37:19 +08002559}
2560
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +02002561MBEDTLS_CHECK_RETURN_CRITICAL
Gilles Peskine449bd832023-01-11 14:50:10 +01002562static int ssl_tls13_write_encrypted_extensions(mbedtls_ssl_context *ssl)
Jerry Yu4d3841a2022-04-16 12:37:19 +08002563{
2564 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
2565 unsigned char *buf;
Jerry Yu39730a72022-05-03 12:14:04 +08002566 size_t buf_len, msg_len;
Jerry Yu4d3841a2022-04-16 12:37:19 +08002567
Gilles Peskine449bd832023-01-11 14:50:10 +01002568 mbedtls_ssl_set_outbound_transform(ssl,
2569 ssl->handshake->transform_handshake);
Gabor Mezei54719122022-06-28 11:34:56 +02002570 MBEDTLS_SSL_DEBUG_MSG(
Gilles Peskine449bd832023-01-11 14:50:10 +01002571 3, ("switching to handshake transform for outbound data"));
Gabor Mezei54719122022-06-28 11:34:56 +02002572
Gilles Peskine449bd832023-01-11 14:50:10 +01002573 MBEDTLS_SSL_DEBUG_MSG(2, ("=> write encrypted extensions"));
Jerry Yu4d3841a2022-04-16 12:37:19 +08002574
Xiaokang Qian9f1747b2023-03-30 02:50:04 +00002575 MBEDTLS_SSL_PROC_CHK(mbedtls_ssl_start_handshake_msg(
2576 ssl, MBEDTLS_SSL_HS_ENCRYPTED_EXTENSIONS,
2577 &buf, &buf_len));
Jerry Yu4d3841a2022-04-16 12:37:19 +08002578
Gilles Peskine449bd832023-01-11 14:50:10 +01002579 MBEDTLS_SSL_PROC_CHK(ssl_tls13_write_encrypted_extensions_body(
2580 ssl, buf, buf + buf_len, &msg_len));
Jerry Yu4d3841a2022-04-16 12:37:19 +08002581
Manuel Pégourié-Gonnardb8b07aa2023-02-06 00:34:21 +01002582 MBEDTLS_SSL_PROC_CHK(mbedtls_ssl_add_hs_msg_to_checksum(
Xiaokang Qian9f1747b2023-03-30 02:50:04 +00002583 ssl, MBEDTLS_SSL_HS_ENCRYPTED_EXTENSIONS,
2584 buf, msg_len));
Jerry Yu4d3841a2022-04-16 12:37:19 +08002585
Gilles Peskine449bd832023-01-11 14:50:10 +01002586 MBEDTLS_SSL_PROC_CHK(mbedtls_ssl_finish_handshake_msg(
2587 ssl, buf_len, msg_len));
Jerry Yu4d3841a2022-04-16 12:37:19 +08002588
Ronald Cron928cbd32022-10-04 16:14:26 +02002589#if defined(MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_EPHEMERAL_ENABLED)
Gilles Peskine449bd832023-01-11 14:50:10 +01002590 if (mbedtls_ssl_tls13_key_exchange_mode_with_psk(ssl)) {
2591 mbedtls_ssl_handshake_set_state(ssl, MBEDTLS_SSL_SERVER_FINISHED);
2592 } else {
2593 mbedtls_ssl_handshake_set_state(ssl, MBEDTLS_SSL_CERTIFICATE_REQUEST);
2594 }
Jerry Yu8937eb42022-05-03 12:12:14 +08002595#else
Gilles Peskine449bd832023-01-11 14:50:10 +01002596 mbedtls_ssl_handshake_set_state(ssl, MBEDTLS_SSL_SERVER_FINISHED);
Jerry Yu8937eb42022-05-03 12:12:14 +08002597#endif
2598
Jerry Yu4d3841a2022-04-16 12:37:19 +08002599cleanup:
2600
Gilles Peskine449bd832023-01-11 14:50:10 +01002601 MBEDTLS_SSL_DEBUG_MSG(2, ("<= write encrypted extensions"));
2602 return ret;
Jerry Yu4d3841a2022-04-16 12:37:19 +08002603}
2604
Ronald Cron928cbd32022-10-04 16:14:26 +02002605#if defined(MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_EPHEMERAL_ENABLED)
XiaokangQiana987e1d2022-05-07 01:25:58 +00002606#define SSL_CERTIFICATE_REQUEST_SEND_REQUEST 0
2607#define SSL_CERTIFICATE_REQUEST_SKIP 1
2608/* Coordination:
2609 * Check whether a CertificateRequest message should be written.
2610 * Returns a negative code on failure, or
2611 * - SSL_CERTIFICATE_REQUEST_SEND_REQUEST
2612 * - SSL_CERTIFICATE_REQUEST_SKIP
2613 * indicating if the writing of the CertificateRequest
2614 * should be skipped or not.
2615 */
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +02002616MBEDTLS_CHECK_RETURN_CRITICAL
Gilles Peskine449bd832023-01-11 14:50:10 +01002617static int ssl_tls13_certificate_request_coordinate(mbedtls_ssl_context *ssl)
XiaokangQiana987e1d2022-05-07 01:25:58 +00002618{
2619 int authmode;
2620
XiaokangQian40a35232022-05-07 09:02:40 +00002621#if defined(MBEDTLS_SSL_SERVER_NAME_INDICATION)
Gilles Peskine449bd832023-01-11 14:50:10 +01002622 if (ssl->handshake->sni_authmode != MBEDTLS_SSL_VERIFY_UNSET) {
XiaokangQian40a35232022-05-07 09:02:40 +00002623 authmode = ssl->handshake->sni_authmode;
Gilles Peskine449bd832023-01-11 14:50:10 +01002624 } else
XiaokangQian40a35232022-05-07 09:02:40 +00002625#endif
XiaokangQiana987e1d2022-05-07 01:25:58 +00002626 authmode = ssl->conf->authmode;
2627
Gilles Peskine449bd832023-01-11 14:50:10 +01002628 if (authmode == MBEDTLS_SSL_VERIFY_NONE) {
Ronald Croneac00ad2022-09-13 10:16:31 +02002629 ssl->session_negotiate->verify_result = MBEDTLS_X509_BADCERT_SKIP_VERIFY;
Gilles Peskine449bd832023-01-11 14:50:10 +01002630 return SSL_CERTIFICATE_REQUEST_SKIP;
Ronald Croneac00ad2022-09-13 10:16:31 +02002631 }
XiaokangQiana987e1d2022-05-07 01:25:58 +00002632
XiaokangQianc3017f62022-05-13 05:55:41 +00002633 ssl->handshake->certificate_request_sent = 1;
XiaokangQian189ded22022-05-10 08:12:17 +00002634
Gilles Peskine449bd832023-01-11 14:50:10 +01002635 return SSL_CERTIFICATE_REQUEST_SEND_REQUEST;
XiaokangQiana987e1d2022-05-07 01:25:58 +00002636}
2637
XiaokangQiancec9ae62022-05-06 07:28:50 +00002638/*
2639 * struct {
2640 * opaque certificate_request_context<0..2^8-1>;
2641 * Extension extensions<2..2^16-1>;
2642 * } CertificateRequest;
2643 *
2644 */
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +02002645MBEDTLS_CHECK_RETURN_CRITICAL
Gilles Peskine449bd832023-01-11 14:50:10 +01002646static int ssl_tls13_write_certificate_request_body(mbedtls_ssl_context *ssl,
2647 unsigned char *buf,
2648 const unsigned char *end,
2649 size_t *out_len)
XiaokangQiancec9ae62022-05-06 07:28:50 +00002650{
2651 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
2652 unsigned char *p = buf;
XiaokangQianec6efb92022-05-06 09:53:10 +00002653 size_t output_len = 0;
XiaokangQiancec9ae62022-05-06 07:28:50 +00002654 unsigned char *p_extensions_len;
2655
2656 *out_len = 0;
2657
2658 /* Check if we have enough space:
2659 * - certificate_request_context (1 byte)
2660 * - extensions length (2 bytes)
2661 */
Gilles Peskine449bd832023-01-11 14:50:10 +01002662 MBEDTLS_SSL_CHK_BUF_PTR(p, end, 3);
XiaokangQiancec9ae62022-05-06 07:28:50 +00002663
2664 /*
2665 * Write certificate_request_context
2666 */
2667 /*
2668 * We use a zero length context for the normal handshake
2669 * messages. For post-authentication handshake messages
2670 * this request context would be set to a non-zero value.
2671 */
2672 *p++ = 0x0;
2673
2674 /*
2675 * Write extensions
2676 */
2677 /* The extensions must contain the signature_algorithms. */
2678 p_extensions_len = p;
2679 p += 2;
Gilles Peskine449bd832023-01-11 14:50:10 +01002680 ret = mbedtls_ssl_write_sig_alg_ext(ssl, p, end, &output_len);
2681 if (ret != 0) {
2682 return ret;
2683 }
XiaokangQiancec9ae62022-05-06 07:28:50 +00002684
XiaokangQianec6efb92022-05-06 09:53:10 +00002685 p += output_len;
Gilles Peskine449bd832023-01-11 14:50:10 +01002686 MBEDTLS_PUT_UINT16_BE(p - p_extensions_len - 2, p_extensions_len, 0);
XiaokangQiancec9ae62022-05-06 07:28:50 +00002687
2688 *out_len = p - buf;
2689
Jerry Yu7de2ff02022-11-08 21:43:46 +08002690 MBEDTLS_SSL_PRINT_EXTS(
Gilles Peskine449bd832023-01-11 14:50:10 +01002691 3, MBEDTLS_SSL_HS_CERTIFICATE_REQUEST, ssl->handshake->sent_extensions);
Jerry Yu4b8f2f72022-10-31 13:31:22 +08002692
Gilles Peskine449bd832023-01-11 14:50:10 +01002693 return 0;
XiaokangQiancec9ae62022-05-06 07:28:50 +00002694}
2695
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +02002696MBEDTLS_CHECK_RETURN_CRITICAL
Gilles Peskine449bd832023-01-11 14:50:10 +01002697static int ssl_tls13_write_certificate_request(mbedtls_ssl_context *ssl)
XiaokangQiancec9ae62022-05-06 07:28:50 +00002698{
2699 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
2700
Gilles Peskine449bd832023-01-11 14:50:10 +01002701 MBEDTLS_SSL_DEBUG_MSG(2, ("=> write certificate request"));
XiaokangQiancec9ae62022-05-06 07:28:50 +00002702
Gilles Peskine449bd832023-01-11 14:50:10 +01002703 MBEDTLS_SSL_PROC_CHK_NEG(ssl_tls13_certificate_request_coordinate(ssl));
XiaokangQiancec9ae62022-05-06 07:28:50 +00002704
Gilles Peskine449bd832023-01-11 14:50:10 +01002705 if (ret == SSL_CERTIFICATE_REQUEST_SEND_REQUEST) {
XiaokangQiancec9ae62022-05-06 07:28:50 +00002706 unsigned char *buf;
2707 size_t buf_len, msg_len;
2708
Xiaokang Qian9f1747b2023-03-30 02:50:04 +00002709 MBEDTLS_SSL_PROC_CHK(mbedtls_ssl_start_handshake_msg(
2710 ssl, MBEDTLS_SSL_HS_CERTIFICATE_REQUEST,
2711 &buf, &buf_len));
XiaokangQiancec9ae62022-05-06 07:28:50 +00002712
Gilles Peskine449bd832023-01-11 14:50:10 +01002713 MBEDTLS_SSL_PROC_CHK(ssl_tls13_write_certificate_request_body(
2714 ssl, buf, buf + buf_len, &msg_len));
XiaokangQiancec9ae62022-05-06 07:28:50 +00002715
Manuel Pégourié-Gonnardb8b07aa2023-02-06 00:34:21 +01002716 MBEDTLS_SSL_PROC_CHK(mbedtls_ssl_add_hs_msg_to_checksum(
Xiaokang Qian9f1747b2023-03-30 02:50:04 +00002717 ssl, MBEDTLS_SSL_HS_CERTIFICATE_REQUEST,
2718 buf, msg_len));
XiaokangQiancec9ae62022-05-06 07:28:50 +00002719
Gilles Peskine449bd832023-01-11 14:50:10 +01002720 MBEDTLS_SSL_PROC_CHK(mbedtls_ssl_finish_handshake_msg(
2721 ssl, buf_len, msg_len));
2722 } else if (ret == SSL_CERTIFICATE_REQUEST_SKIP) {
2723 MBEDTLS_SSL_DEBUG_MSG(2, ("<= skip write certificate request"));
XiaokangQiancec9ae62022-05-06 07:28:50 +00002724 ret = 0;
Gilles Peskine449bd832023-01-11 14:50:10 +01002725 } else {
2726 MBEDTLS_SSL_DEBUG_MSG(1, ("should never happen"));
XiaokangQiancec9ae62022-05-06 07:28:50 +00002727 ret = MBEDTLS_ERR_SSL_INTERNAL_ERROR;
2728 goto cleanup;
2729 }
2730
Gilles Peskine449bd832023-01-11 14:50:10 +01002731 mbedtls_ssl_handshake_set_state(ssl, MBEDTLS_SSL_SERVER_CERTIFICATE);
XiaokangQiancec9ae62022-05-06 07:28:50 +00002732cleanup:
2733
Gilles Peskine449bd832023-01-11 14:50:10 +01002734 MBEDTLS_SSL_DEBUG_MSG(2, ("<= write certificate request"));
2735 return ret;
XiaokangQiancec9ae62022-05-06 07:28:50 +00002736}
XiaokangQiancec9ae62022-05-06 07:28:50 +00002737
Jerry Yu4d3841a2022-04-16 12:37:19 +08002738/*
Jerry Yuc6e6dbf2022-04-16 19:42:57 +08002739 * Handler for MBEDTLS_SSL_SERVER_CERTIFICATE
Jerry Yu83da34e2022-04-16 13:59:52 +08002740 */
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +02002741MBEDTLS_CHECK_RETURN_CRITICAL
Gilles Peskine449bd832023-01-11 14:50:10 +01002742static int ssl_tls13_write_server_certificate(mbedtls_ssl_context *ssl)
Jerry Yu83da34e2022-04-16 13:59:52 +08002743{
Jerry Yu5a26f302022-05-10 20:46:40 +08002744 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
XiaokangQianfb665a82022-06-15 03:57:21 +00002745
2746#if defined(MBEDTLS_X509_CRT_PARSE_C)
Gilles Peskine449bd832023-01-11 14:50:10 +01002747 if ((ssl_tls13_pick_key_cert(ssl) != 0) ||
2748 mbedtls_ssl_own_cert(ssl) == NULL) {
2749 MBEDTLS_SSL_DEBUG_MSG(2, ("No certificate available."));
2750 MBEDTLS_SSL_PEND_FATAL_ALERT(MBEDTLS_SSL_ALERT_MSG_HANDSHAKE_FAILURE,
2751 MBEDTLS_ERR_SSL_HANDSHAKE_FAILURE);
2752 return MBEDTLS_ERR_SSL_HANDSHAKE_FAILURE;
Jerry Yu5a26f302022-05-10 20:46:40 +08002753 }
XiaokangQianfb665a82022-06-15 03:57:21 +00002754#endif /* MBEDTLS_X509_CRT_PARSE_C */
Jerry Yu5a26f302022-05-10 20:46:40 +08002755
Gilles Peskine449bd832023-01-11 14:50:10 +01002756 ret = mbedtls_ssl_tls13_write_certificate(ssl);
2757 if (ret != 0) {
2758 return ret;
2759 }
2760 mbedtls_ssl_handshake_set_state(ssl, MBEDTLS_SSL_CERTIFICATE_VERIFY);
2761 return 0;
Jerry Yu83da34e2022-04-16 13:59:52 +08002762}
2763
2764/*
Jerry Yuc6e6dbf2022-04-16 19:42:57 +08002765 * Handler for MBEDTLS_SSL_CERTIFICATE_VERIFY
Jerry Yu83da34e2022-04-16 13:59:52 +08002766 */
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +02002767MBEDTLS_CHECK_RETURN_CRITICAL
Gilles Peskine449bd832023-01-11 14:50:10 +01002768static int ssl_tls13_write_certificate_verify(mbedtls_ssl_context *ssl)
Jerry Yu83da34e2022-04-16 13:59:52 +08002769{
Gilles Peskine449bd832023-01-11 14:50:10 +01002770 int ret = mbedtls_ssl_tls13_write_certificate_verify(ssl);
2771 if (ret != 0) {
2772 return ret;
2773 }
2774 mbedtls_ssl_handshake_set_state(ssl, MBEDTLS_SSL_SERVER_FINISHED);
2775 return 0;
Jerry Yu83da34e2022-04-16 13:59:52 +08002776}
Ronald Cron928cbd32022-10-04 16:14:26 +02002777#endif /* MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_EPHEMERAL_ENABLED */
Jerry Yu83da34e2022-04-16 13:59:52 +08002778
Jerry Yu9b72e392023-12-01 16:27:08 +08002779/*
2780 * RFC 8446 section A.2
2781 *
2782 * | Send ServerHello
2783 * | K_send = handshake
2784 * | Send EncryptedExtensions
2785 * | [Send CertificateRequest]
2786 * Can send | [Send Certificate + CertificateVerify]
2787 * app data | Send Finished
2788 * after --> | K_send = application
2789 * here +--------+--------+
2790 * No 0-RTT | | 0-RTT
2791 * | |
2792 * K_recv = handshake | | K_recv = early data
2793 * [Skip decrypt errors] | +------> WAIT_EOED -+
2794 * | | Recv | | Recv EndOfEarlyData
2795 * | | early data | | K_recv = handshake
2796 * | +------------+ |
2797 * | |
2798 * +> WAIT_FLIGHT2 <--------+
2799 * |
2800 * +--------+--------+
2801 * No auth | | Client auth
2802 * | |
2803 * | v
2804 * | WAIT_CERT
2805 * | Recv | | Recv Certificate
2806 * | empty | v
2807 * | Certificate | WAIT_CV
2808 * | | | Recv
2809 * | v | CertificateVerify
2810 * +-> WAIT_FINISHED <---+
2811 * | Recv Finished
2812 *
2813 *
2814 * The following function handles the state changes after WAIT_FLIGHT2 in the
Jerry Yu3be85072023-12-04 09:58:54 +08002815 * above diagram. We are not going to receive early data related messages
2816 * anymore, prepare to receive the first handshake message of the client
2817 * second flight.
Jerry Yu9b72e392023-12-01 16:27:08 +08002818 */
Jerry Yu3be85072023-12-04 09:58:54 +08002819static void ssl_tls13_prepare_for_handshake_second_flight(
2820 mbedtls_ssl_context *ssl)
Jerry Yu9b72e392023-12-01 16:27:08 +08002821{
Jerry Yu9b72e392023-12-01 16:27:08 +08002822 if (ssl->handshake->certificate_request_sent) {
2823 mbedtls_ssl_handshake_set_state(ssl, MBEDTLS_SSL_CLIENT_CERTIFICATE);
2824 } else {
Jerry Yu42020fb2023-12-05 17:35:53 +08002825 MBEDTLS_SSL_DEBUG_MSG(2, ("skip parse certificate"));
Jerry Yuebb1b1d2023-12-05 11:02:15 +08002826 MBEDTLS_SSL_DEBUG_MSG(2, ("skip parse certificate verify"));
Jerry Yuebb1b1d2023-12-05 11:02:15 +08002827
Jerry Yu9b72e392023-12-01 16:27:08 +08002828 mbedtls_ssl_handshake_set_state(ssl, MBEDTLS_SSL_CLIENT_FINISHED);
2829 }
Jerry Yu9b72e392023-12-01 16:27:08 +08002830}
2831
Jerry Yu83da34e2022-04-16 13:59:52 +08002832/*
Jerry Yud6e253d2022-05-18 13:59:24 +08002833 * Handler for MBEDTLS_SSL_SERVER_FINISHED
Jerry Yu69dd8d42022-04-16 12:51:26 +08002834 */
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +02002835MBEDTLS_CHECK_RETURN_CRITICAL
Gilles Peskine449bd832023-01-11 14:50:10 +01002836static int ssl_tls13_write_server_finished(mbedtls_ssl_context *ssl)
Jerry Yu69dd8d42022-04-16 12:51:26 +08002837{
Jerry Yud6e253d2022-05-18 13:59:24 +08002838 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Jerry Yu27bdc7c2022-04-16 13:33:27 +08002839
Gilles Peskine449bd832023-01-11 14:50:10 +01002840 ret = mbedtls_ssl_tls13_write_finished_message(ssl);
2841 if (ret != 0) {
2842 return ret;
2843 }
Jerry Yu27bdc7c2022-04-16 13:33:27 +08002844
Gilles Peskine449bd832023-01-11 14:50:10 +01002845 ret = mbedtls_ssl_tls13_compute_application_transform(ssl);
2846 if (ret != 0) {
Jerry Yue3d67cb2022-05-19 15:33:10 +08002847 MBEDTLS_SSL_PEND_FATAL_ALERT(
Gilles Peskine449bd832023-01-11 14:50:10 +01002848 MBEDTLS_SSL_ALERT_MSG_HANDSHAKE_FAILURE,
2849 MBEDTLS_ERR_SSL_HANDSHAKE_FAILURE);
2850 return ret;
Jerry Yue3d67cb2022-05-19 15:33:10 +08002851 }
XiaokangQianc3017f62022-05-13 05:55:41 +00002852
Jerry Yu87b5ed42022-12-12 13:07:07 +08002853#if defined(MBEDTLS_SSL_EARLY_DATA)
2854 if (ssl->early_data_status == MBEDTLS_SSL_EARLY_DATA_STATUS_ACCEPTED) {
Jerry Yu0af63dc2023-12-01 17:14:51 +08002855 /* See RFC 8446 section A.2 for more information */
Jerry Yu87b5ed42022-12-12 13:07:07 +08002856 MBEDTLS_SSL_DEBUG_MSG(
2857 1, ("Switch to early keys for inbound traffic. "
2858 "( K_recv = early data )"));
2859 mbedtls_ssl_set_inbound_transform(
2860 ssl, ssl->handshake->transform_earlydata);
2861 mbedtls_ssl_handshake_set_state(ssl, MBEDTLS_SSL_END_OF_EARLY_DATA);
2862 return 0;
2863 }
2864#endif /* MBEDTLS_SSL_EARLY_DATA */
Jerry Yu0af63dc2023-12-01 17:14:51 +08002865 MBEDTLS_SSL_DEBUG_MSG(
2866 1, ("Switch to handshake keys for inbound traffic "
2867 "( K_recv = handshake )"));
Gilles Peskine449bd832023-01-11 14:50:10 +01002868 mbedtls_ssl_set_inbound_transform(ssl, ssl->handshake->transform_handshake);
XiaokangQian189ded22022-05-10 08:12:17 +00002869
Jerry Yu3be85072023-12-04 09:58:54 +08002870 ssl_tls13_prepare_for_handshake_second_flight(ssl);
Jerry Yu7d8c3fe2022-12-12 12:59:44 +08002871
2872 return 0;
2873}
2874
Jerry Yu87b5ed42022-12-12 13:07:07 +08002875#if defined(MBEDTLS_SSL_EARLY_DATA)
2876/*
Jerry Yu59d420f2023-12-01 16:30:34 +08002877 * Handler for MBEDTLS_SSL_END_OF_EARLY_DATA
Jerry Yu87b5ed42022-12-12 13:07:07 +08002878 */
Jerry Yu3be85072023-12-04 09:58:54 +08002879#define SSL_GOT_END_OF_EARLY_DATA 0
Jerry Yub55f9eb2023-12-05 10:27:17 +08002880#define SSL_GOT_EARLY_DATA 1
Jerry Yud5c34962023-12-01 16:32:31 +08002881/* Coordination:
Jerry Yu3be85072023-12-04 09:58:54 +08002882 * Deals with the ambiguity of not knowing if the next message is an
2883 * EndOfEarlyData message or an application message containing early data.
Jerry Yud5c34962023-12-01 16:32:31 +08002884 * Returns a negative code on failure, or
Jerry Yu3be85072023-12-04 09:58:54 +08002885 * - SSL_GOT_END_OF_EARLY_DATA
Jerry Yub55f9eb2023-12-05 10:27:17 +08002886 * - SSL_GOT_EARLY_DATA
Jerry Yud5c34962023-12-01 16:32:31 +08002887 * indicating which message is received.
2888 */
2889MBEDTLS_CHECK_RETURN_CRITICAL
2890static int ssl_tls13_end_of_early_data_coordinate(mbedtls_ssl_context *ssl)
2891{
2892 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Jerry Yub4ed4602023-12-01 16:34:00 +08002893
2894 if ((ret = mbedtls_ssl_read_record(ssl, 0)) != 0) {
2895 MBEDTLS_SSL_DEBUG_RET(1, "mbedtls_ssl_read_record", ret);
2896 return ret;
2897 }
2898 ssl->keep_current_message = 1;
2899
2900 if (ssl->in_msgtype == MBEDTLS_SSL_MSG_HANDSHAKE &&
2901 ssl->in_msg[0] == MBEDTLS_SSL_HS_END_OF_EARLY_DATA) {
Jerry Yub55f9eb2023-12-05 10:27:17 +08002902 MBEDTLS_SSL_DEBUG_MSG(3, ("Received an end_of_early_data message."));
Jerry Yu3be85072023-12-04 09:58:54 +08002903 return SSL_GOT_END_OF_EARLY_DATA;
Jerry Yub4ed4602023-12-01 16:34:00 +08002904 }
2905
2906 if (ssl->in_msgtype == MBEDTLS_SSL_MSG_APPLICATION_DATA) {
Jerry Yub55f9eb2023-12-05 10:27:17 +08002907 MBEDTLS_SSL_DEBUG_MSG(3, ("Received early data"));
2908 return SSL_GOT_EARLY_DATA;
Jerry Yub4ed4602023-12-01 16:34:00 +08002909 }
2910
Jerry Yu7bb40a32023-12-04 10:04:15 +08002911 MBEDTLS_SSL_PEND_FATAL_ALERT(MBEDTLS_SSL_ALERT_MSG_UNEXPECTED_MESSAGE,
2912 MBEDTLS_ERR_SSL_UNEXPECTED_MESSAGE);
Jerry Yub4ed4602023-12-01 16:34:00 +08002913 return MBEDTLS_ERR_SSL_UNEXPECTED_MESSAGE;
Jerry Yud5c34962023-12-01 16:32:31 +08002914}
2915
2916MBEDTLS_CHECK_RETURN_CRITICAL
2917static int ssl_tls13_parse_end_of_early_data(mbedtls_ssl_context *ssl,
2918 const unsigned char *buf,
2919 const unsigned char *end)
2920{
Jerry Yu75c9ab72023-12-01 16:41:40 +08002921 /* RFC 8446 section 4.5
2922 *
2923 * struct {} EndOfEarlyData;
2924 */
Jerry Yufbf03992023-12-04 10:00:37 +08002925 if (buf != end) {
2926 MBEDTLS_SSL_PEND_FATAL_ALERT(MBEDTLS_SSL_ALERT_MSG_DECODE_ERROR,
2927 MBEDTLS_ERR_SSL_DECODE_ERROR);
2928 return MBEDTLS_ERR_SSL_DECODE_ERROR;
2929 }
2930 return 0;
Jerry Yud5c34962023-12-01 16:32:31 +08002931}
2932
2933MBEDTLS_CHECK_RETURN_CRITICAL
2934static int ssl_tls13_process_early_application_data(mbedtls_ssl_context *ssl)
2935{
2936 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Jerry Yuee4d7292023-12-01 16:46:14 +08002937
2938 if ((ret = mbedtls_ssl_read_record(ssl, 0)) != 0) {
2939 MBEDTLS_SSL_DEBUG_RET(1, "mbedtls_ssl_read_record", ret);
2940 return ret;
2941 }
2942
Jerry Yuee4d7292023-12-01 16:46:14 +08002943 /*
2944 * Output early data
2945 *
2946 * For the time being, we print received data via debug message.
2947 *
2948 * TODO: Remove it when `mbedtls_ssl_read_early_data` is ready.
2949 */
2950 ssl->in_msg[ssl->in_msglen] = 0;
2951 MBEDTLS_SSL_DEBUG_MSG(3, ("\n%s", ssl->in_msg));
2952
2953 /* RFC 8446 section 4.6.1
2954 *
2955 * A server receiving more than max_early_data_size bytes of 0-RTT data
2956 * SHOULD terminate the connection with an "unexpected_message" alert.
2957 *
2958 * TODO: Add received data size check here.
2959 */
2960
2961 return 0;
Jerry Yud5c34962023-12-01 16:32:31 +08002962}
2963
2964/*
2965 * RFC 8446 section A.2
2966 *
2967 * | Send ServerHello
2968 * | K_send = handshake
2969 * | Send EncryptedExtensions
2970 * | [Send CertificateRequest]
2971 * Can send | [Send Certificate + CertificateVerify]
2972 * app data | Send Finished
2973 * after --> | K_send = application
2974 * here +--------+--------+
2975 * No 0-RTT | | 0-RTT
2976 * | |
2977 * K_recv = handshake | | K_recv = early data
2978 * [Skip decrypt errors] | +------> WAIT_EOED -+
2979 * | | Recv | | Recv EndOfEarlyData
2980 * | | early data | | K_recv = handshake
2981 * | +------------+ |
2982 * | |
2983 * +> WAIT_FLIGHT2 <--------+
2984 * |
2985 * +--------+--------+
2986 * No auth | | Client auth
2987 * | |
2988 * | v
2989 * | WAIT_CERT
2990 * | Recv | | Recv Certificate
2991 * | empty | v
2992 * | Certificate | WAIT_CV
2993 * | | | Recv
2994 * | v | CertificateVerify
2995 * +-> WAIT_FINISHED <---+
2996 * | Recv Finished
2997 *
2998 * The function handles actions and state changes from 0-RTT to WAIT_FLIGHT2 in
2999 * the above diagram.
3000 */
Jerry Yu87b5ed42022-12-12 13:07:07 +08003001MBEDTLS_CHECK_RETURN_CRITICAL
Jerry Yu59d420f2023-12-01 16:30:34 +08003002static int ssl_tls13_process_end_of_early_data(mbedtls_ssl_context *ssl)
Jerry Yu87b5ed42022-12-12 13:07:07 +08003003{
3004 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Jerry Yud5c34962023-12-01 16:32:31 +08003005
3006 MBEDTLS_SSL_DEBUG_MSG(2, ("=> ssl_tls13_process_end_of_early_data"));
3007
3008 MBEDTLS_SSL_PROC_CHK_NEG(ssl_tls13_end_of_early_data_coordinate(ssl));
3009
Jerry Yu3be85072023-12-04 09:58:54 +08003010 if (ret == SSL_GOT_END_OF_EARLY_DATA) {
Jerry Yud5c34962023-12-01 16:32:31 +08003011 unsigned char *buf;
3012 size_t buf_len;
3013
3014 MBEDTLS_SSL_PROC_CHK(mbedtls_ssl_tls13_fetch_handshake_msg(
3015 ssl, MBEDTLS_SSL_HS_END_OF_EARLY_DATA,
3016 &buf, &buf_len));
3017
3018 MBEDTLS_SSL_PROC_CHK(ssl_tls13_parse_end_of_early_data(
3019 ssl, buf, buf + buf_len));
3020
Jerry Yue9655122023-12-01 16:44:40 +08003021 MBEDTLS_SSL_DEBUG_MSG(
3022 1, ("Switch to handshake keys for inbound traffic"
3023 "( K_recv = handshake )"));
3024 mbedtls_ssl_set_inbound_transform(
3025 ssl, ssl->handshake->transform_handshake);
3026
Jerry Yud5c34962023-12-01 16:32:31 +08003027 MBEDTLS_SSL_PROC_CHK(mbedtls_ssl_add_hs_msg_to_checksum(
3028 ssl, MBEDTLS_SSL_HS_END_OF_EARLY_DATA,
3029 buf, buf_len));
Jerry Yue9655122023-12-01 16:44:40 +08003030
Jerry Yu3be85072023-12-04 09:58:54 +08003031 ssl_tls13_prepare_for_handshake_second_flight(ssl);
Jerry Yud5c34962023-12-01 16:32:31 +08003032
Jerry Yub55f9eb2023-12-05 10:27:17 +08003033 } else if (ret == SSL_GOT_EARLY_DATA) {
Jerry Yud5c34962023-12-01 16:32:31 +08003034 MBEDTLS_SSL_PROC_CHK(ssl_tls13_process_early_application_data(ssl));
3035 } else {
3036 MBEDTLS_SSL_DEBUG_MSG(1, ("should never happen"));
3037 ret = MBEDTLS_ERR_SSL_INTERNAL_ERROR;
3038 goto cleanup;
3039 }
3040
Jerry Yud5c34962023-12-01 16:32:31 +08003041cleanup:
3042 MBEDTLS_SSL_DEBUG_MSG(2, ("<= ssl_tls13_process_end_of_early_data"));
Jerry Yu87b5ed42022-12-12 13:07:07 +08003043 return ret;
3044}
3045#endif /* MBEDTLS_SSL_EARLY_DATA */
3046
Jerry Yu69dd8d42022-04-16 12:51:26 +08003047/*
Jerry Yud6e253d2022-05-18 13:59:24 +08003048 * Handler for MBEDTLS_SSL_CLIENT_FINISHED
Jerry Yu69dd8d42022-04-16 12:51:26 +08003049 */
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +02003050MBEDTLS_CHECK_RETURN_CRITICAL
Gilles Peskine449bd832023-01-11 14:50:10 +01003051static int ssl_tls13_process_client_finished(mbedtls_ssl_context *ssl)
Jerry Yu69dd8d42022-04-16 12:51:26 +08003052{
Jerry Yud6e253d2022-05-18 13:59:24 +08003053 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
3054
Gilles Peskine449bd832023-01-11 14:50:10 +01003055 ret = mbedtls_ssl_tls13_process_finished_message(ssl);
3056 if (ret != 0) {
3057 return ret;
Jerry Yue3d67cb2022-05-19 15:33:10 +08003058 }
3059
Gilles Peskine449bd832023-01-11 14:50:10 +01003060 ret = mbedtls_ssl_tls13_compute_resumption_master_secret(ssl);
3061 if (ret != 0) {
Xiaokang Qian9f1747b2023-03-30 02:50:04 +00003062 MBEDTLS_SSL_DEBUG_RET(
3063 1, "mbedtls_ssl_tls13_compute_resumption_master_secret", ret);
Gilles Peskine449bd832023-01-11 14:50:10 +01003064 }
3065
3066 mbedtls_ssl_handshake_set_state(ssl, MBEDTLS_SSL_HANDSHAKE_WRAPUP);
3067 return 0;
Jerry Yu69dd8d42022-04-16 12:51:26 +08003068}
3069
3070/*
Jerry Yud6e253d2022-05-18 13:59:24 +08003071 * Handler for MBEDTLS_SSL_HANDSHAKE_WRAPUP
Jerry Yu69dd8d42022-04-16 12:51:26 +08003072 */
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +02003073MBEDTLS_CHECK_RETURN_CRITICAL
Gilles Peskine449bd832023-01-11 14:50:10 +01003074static int ssl_tls13_handshake_wrapup(mbedtls_ssl_context *ssl)
Jerry Yu69dd8d42022-04-16 12:51:26 +08003075{
Gilles Peskine449bd832023-01-11 14:50:10 +01003076 MBEDTLS_SSL_DEBUG_MSG(2, ("handshake: done"));
Jerry Yu03ed50b2022-04-16 17:13:30 +08003077
Gilles Peskine449bd832023-01-11 14:50:10 +01003078 mbedtls_ssl_tls13_handshake_wrapup(ssl);
Jerry Yue67bef42022-07-07 07:29:42 +00003079
Pengyu Lv3643fdb2023-01-12 16:46:28 +08003080#if defined(MBEDTLS_SSL_SESSION_TICKETS) && \
3081 defined(MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_SOME_PSK_ENABLED)
Pengyu Lva1aa31b2022-12-13 13:49:59 +08003082/* TODO: Remove the check of SOME_PSK_ENABLED since SESSION_TICKETS requires
3083 * SOME_PSK_ENABLED to be enabled. Here is just to make CI happy. It is
3084 * expected to be resolved with issue#6395.
3085 */
Pengyu Lvc7af2c42022-12-01 16:33:00 +08003086 /* Sent NewSessionTicket message only when client supports PSK */
Pengyu Lv3643fdb2023-01-12 16:46:28 +08003087 if (mbedtls_ssl_tls13_some_psk_enabled(ssl)) {
Xiaokang Qian9f1747b2023-03-30 02:50:04 +00003088 mbedtls_ssl_handshake_set_state(
3089 ssl, MBEDTLS_SSL_TLS1_3_NEW_SESSION_TICKET);
Pengyu Lvc7af2c42022-12-01 16:33:00 +08003090 } else
Jerry Yufca4d572022-07-21 10:37:48 +08003091#endif
Pengyu Lv3643fdb2023-01-12 16:46:28 +08003092 {
3093 mbedtls_ssl_handshake_set_state(ssl, MBEDTLS_SSL_HANDSHAKE_OVER);
3094 }
Gilles Peskine449bd832023-01-11 14:50:10 +01003095 return 0;
Jerry Yu69dd8d42022-04-16 12:51:26 +08003096}
3097
3098/*
Jerry Yua8d3c502022-10-30 14:51:23 +08003099 * Handler for MBEDTLS_SSL_TLS1_3_NEW_SESSION_TICKET
Jerry Yue67bef42022-07-07 07:29:42 +00003100 */
3101#define SSL_NEW_SESSION_TICKET_SKIP 0
3102#define SSL_NEW_SESSION_TICKET_WRITE 1
3103MBEDTLS_CHECK_RETURN_CRITICAL
Gilles Peskine449bd832023-01-11 14:50:10 +01003104static int ssl_tls13_write_new_session_ticket_coordinate(mbedtls_ssl_context *ssl)
Jerry Yue67bef42022-07-07 07:29:42 +00003105{
3106 /* Check whether the use of session tickets is enabled */
Gilles Peskine449bd832023-01-11 14:50:10 +01003107 if (ssl->conf->f_ticket_write == NULL) {
3108 MBEDTLS_SSL_DEBUG_MSG(2, ("NewSessionTicket: disabled,"
3109 " callback is not set"));
3110 return SSL_NEW_SESSION_TICKET_SKIP;
Jerry Yud0766ec2022-09-22 10:46:57 +08003111 }
Gilles Peskine449bd832023-01-11 14:50:10 +01003112 if (ssl->conf->new_session_tickets_count == 0) {
3113 MBEDTLS_SSL_DEBUG_MSG(2, ("NewSessionTicket: disabled,"
3114 " configured count is zero"));
3115 return SSL_NEW_SESSION_TICKET_SKIP;
Jerry Yud0766ec2022-09-22 10:46:57 +08003116 }
3117
Gilles Peskine449bd832023-01-11 14:50:10 +01003118 if (ssl->handshake->new_session_tickets_count == 0) {
3119 MBEDTLS_SSL_DEBUG_MSG(2, ("NewSessionTicket: all tickets have "
3120 "been sent."));
3121 return SSL_NEW_SESSION_TICKET_SKIP;
Jerry Yue67bef42022-07-07 07:29:42 +00003122 }
3123
Gilles Peskine449bd832023-01-11 14:50:10 +01003124 return SSL_NEW_SESSION_TICKET_WRITE;
Jerry Yue67bef42022-07-07 07:29:42 +00003125}
3126
3127#if defined(MBEDTLS_SSL_SESSION_TICKETS)
3128MBEDTLS_CHECK_RETURN_CRITICAL
Gilles Peskine449bd832023-01-11 14:50:10 +01003129static int ssl_tls13_prepare_new_session_ticket(mbedtls_ssl_context *ssl,
3130 unsigned char *ticket_nonce,
3131 size_t ticket_nonce_size)
Jerry Yue67bef42022-07-07 07:29:42 +00003132{
3133 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
3134 mbedtls_ssl_session *session = ssl->session;
3135 mbedtls_ssl_ciphersuite_t *ciphersuite_info;
3136 psa_algorithm_t psa_hash_alg;
3137 int hash_length;
3138
Gilles Peskine449bd832023-01-11 14:50:10 +01003139 MBEDTLS_SSL_DEBUG_MSG(2, ("=> prepare NewSessionTicket msg"));
Jerry Yue67bef42022-07-07 07:29:42 +00003140
3141#if defined(MBEDTLS_HAVE_TIME)
Jerry Yu25ba4d42023-11-10 14:12:20 +08003142 session->ticket_creation_time = mbedtls_ms_time();
Jerry Yue67bef42022-07-07 07:29:42 +00003143#endif
3144
Pengyu Lv9f926952022-11-17 15:22:33 +08003145 /* Set ticket_flags depends on the advertised psk key exchange mode */
Pengyu Lv80270b22023-01-12 11:54:04 +08003146 mbedtls_ssl_session_clear_ticket_flags(
Pengyu Lv9eacb442022-12-09 14:39:19 +08003147 session, MBEDTLS_SSL_TLS1_3_TICKET_FLAGS_MASK);
Pengyu Lve6487fe2022-12-06 09:30:29 +08003148#if defined(MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_SOME_PSK_ENABLED)
Pengyu Lv80270b22023-01-12 11:54:04 +08003149 mbedtls_ssl_session_set_ticket_flags(
Pengyu Lv9eacb442022-12-09 14:39:19 +08003150 session, ssl->handshake->tls13_kex_modes);
Pengyu Lve6487fe2022-12-06 09:30:29 +08003151#endif
Jerry Yu95648b02023-12-06 15:03:34 +08003152
3153#if defined(MBEDTLS_SSL_EARLY_DATA)
3154 if (ssl->conf->early_data_enabled == MBEDTLS_SSL_EARLY_DATA_ENABLED &&
3155 ssl->conf->max_early_data_size > 0) {
3156 mbedtls_ssl_session_set_ticket_flags(
3157 session, MBEDTLS_SSL_TLS1_3_TICKET_ALLOW_EARLY_DATA);
3158 }
3159#endif /* MBEDTLS_SSL_EARLY_DATA */
3160
Pengyu Lv4938a562023-01-16 11:28:49 +08003161 MBEDTLS_SSL_PRINT_TICKET_FLAGS(4, session->ticket_flags);
Pengyu Lv9f926952022-11-17 15:22:33 +08003162
Jerry Yue67bef42022-07-07 07:29:42 +00003163 /* Generate ticket_age_add */
Gilles Peskine449bd832023-01-11 14:50:10 +01003164 if ((ret = ssl->conf->f_rng(ssl->conf->p_rng,
3165 (unsigned char *) &session->ticket_age_add,
3166 sizeof(session->ticket_age_add)) != 0)) {
3167 MBEDTLS_SSL_DEBUG_RET(1, "generate_ticket_age_add", ret);
3168 return ret;
Jerry Yue67bef42022-07-07 07:29:42 +00003169 }
Gilles Peskine449bd832023-01-11 14:50:10 +01003170 MBEDTLS_SSL_DEBUG_MSG(3, ("ticket_age_add: %u",
3171 (unsigned int) session->ticket_age_add));
Jerry Yue67bef42022-07-07 07:29:42 +00003172
3173 /* Generate ticket_nonce */
Gilles Peskine449bd832023-01-11 14:50:10 +01003174 ret = ssl->conf->f_rng(ssl->conf->p_rng, ticket_nonce, ticket_nonce_size);
3175 if (ret != 0) {
3176 MBEDTLS_SSL_DEBUG_RET(1, "generate_ticket_nonce", ret);
3177 return ret;
Jerry Yue67bef42022-07-07 07:29:42 +00003178 }
Gilles Peskine449bd832023-01-11 14:50:10 +01003179 MBEDTLS_SSL_DEBUG_BUF(3, "ticket_nonce:",
3180 ticket_nonce, ticket_nonce_size);
Jerry Yue67bef42022-07-07 07:29:42 +00003181
3182 ciphersuite_info =
Gilles Peskine449bd832023-01-11 14:50:10 +01003183 (mbedtls_ssl_ciphersuite_t *) ssl->handshake->ciphersuite_info;
Dave Rodgman2eab4622023-10-05 13:30:37 +01003184 psa_hash_alg = mbedtls_md_psa_alg_from_type((mbedtls_md_type_t) ciphersuite_info->mac);
Gilles Peskine449bd832023-01-11 14:50:10 +01003185 hash_length = PSA_HASH_LENGTH(psa_hash_alg);
3186 if (hash_length == -1 ||
3187 (size_t) hash_length > sizeof(session->resumption_key)) {
3188 return MBEDTLS_ERR_SSL_INTERNAL_ERROR;
Jerry Yufca4d572022-07-21 10:37:48 +08003189 }
3190
Jerry Yue67bef42022-07-07 07:29:42 +00003191 /* In this code the psk key length equals the length of the hash */
3192 session->resumption_key_len = hash_length;
3193 session->ciphersuite = ciphersuite_info->id;
3194
3195 /* Compute resumption key
3196 *
3197 * HKDF-Expand-Label( resumption_master_secret,
3198 * "resumption", ticket_nonce, Hash.length )
3199 */
3200 ret = mbedtls_ssl_tls13_hkdf_expand_label(
Gilles Peskine449bd832023-01-11 14:50:10 +01003201 psa_hash_alg,
3202 session->app_secrets.resumption_master_secret,
3203 hash_length,
3204 MBEDTLS_SSL_TLS1_3_LBL_WITH_LEN(resumption),
3205 ticket_nonce,
3206 ticket_nonce_size,
3207 session->resumption_key,
3208 hash_length);
Jerry Yue67bef42022-07-07 07:29:42 +00003209
Gilles Peskine449bd832023-01-11 14:50:10 +01003210 if (ret != 0) {
3211 MBEDTLS_SSL_DEBUG_RET(2,
3212 "Creating the ticket-resumed PSK failed",
3213 ret);
3214 return ret;
Jerry Yue67bef42022-07-07 07:29:42 +00003215 }
Gilles Peskine449bd832023-01-11 14:50:10 +01003216 MBEDTLS_SSL_DEBUG_BUF(3, "Ticket-resumed PSK",
3217 session->resumption_key,
3218 session->resumption_key_len);
Jerry Yue67bef42022-07-07 07:29:42 +00003219
Gilles Peskine449bd832023-01-11 14:50:10 +01003220 MBEDTLS_SSL_DEBUG_BUF(3, "resumption_master_secret",
3221 session->app_secrets.resumption_master_secret,
3222 hash_length);
Jerry Yue67bef42022-07-07 07:29:42 +00003223
Gilles Peskine449bd832023-01-11 14:50:10 +01003224 return 0;
Jerry Yue67bef42022-07-07 07:29:42 +00003225}
3226
3227/* This function creates a NewSessionTicket message in the following format:
3228 *
3229 * struct {
3230 * uint32 ticket_lifetime;
3231 * uint32 ticket_age_add;
3232 * opaque ticket_nonce<0..255>;
3233 * opaque ticket<1..2^16-1>;
3234 * Extension extensions<0..2^16-2>;
3235 * } NewSessionTicket;
3236 *
3237 * The ticket inside the NewSessionTicket message is an encrypted container
3238 * carrying the necessary information so that the server is later able to
3239 * re-start the communication.
3240 *
3241 * The following fields are placed inside the ticket by the
3242 * f_ticket_write() function:
3243 *
Jerry Yu0069abc2023-11-23 21:07:28 +08003244 * - creation time (ticket_creation_time)
3245 * - flags (ticket_flags)
Jerry Yue67bef42022-07-07 07:29:42 +00003246 * - age add (ticket_age_add)
Jerry Yu0069abc2023-11-23 21:07:28 +08003247 * - key (resumption_key)
3248 * - key length (resumption_key_len)
Jerry Yue67bef42022-07-07 07:29:42 +00003249 * - ciphersuite (ciphersuite)
Jerry Yu0069abc2023-11-23 21:07:28 +08003250 * - max_early_data_size (max_early_data_size)
Jerry Yue67bef42022-07-07 07:29:42 +00003251 */
3252MBEDTLS_CHECK_RETURN_CRITICAL
Gilles Peskine449bd832023-01-11 14:50:10 +01003253static int ssl_tls13_write_new_session_ticket_body(mbedtls_ssl_context *ssl,
3254 unsigned char *buf,
3255 unsigned char *end,
3256 size_t *out_len,
3257 unsigned char *ticket_nonce,
3258 size_t ticket_nonce_size)
Jerry Yue67bef42022-07-07 07:29:42 +00003259{
3260 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
3261 unsigned char *p = buf;
3262 mbedtls_ssl_session *session = ssl->session;
3263 size_t ticket_len;
3264 uint32_t ticket_lifetime;
Jerry Yu01da35e2022-12-12 15:09:22 +08003265 unsigned char *p_extensions_len;
Jerry Yue67bef42022-07-07 07:29:42 +00003266
3267 *out_len = 0;
Gilles Peskine449bd832023-01-11 14:50:10 +01003268 MBEDTLS_SSL_DEBUG_MSG(2, ("=> write NewSessionTicket msg"));
Jerry Yue67bef42022-07-07 07:29:42 +00003269
3270 /*
3271 * ticket_lifetime 4 bytes
3272 * ticket_age_add 4 bytes
3273 * ticket_nonce 1 + ticket_nonce_size bytes
3274 * ticket >=2 bytes
3275 */
Gilles Peskine449bd832023-01-11 14:50:10 +01003276 MBEDTLS_SSL_CHK_BUF_PTR(p, end, 4 + 4 + 1 + ticket_nonce_size + 2);
Jerry Yue67bef42022-07-07 07:29:42 +00003277
3278 /* Generate ticket and ticket_lifetime */
Gilles Peskine449bd832023-01-11 14:50:10 +01003279 ret = ssl->conf->f_ticket_write(ssl->conf->p_ticket,
3280 session,
3281 p + 9 + ticket_nonce_size + 2,
3282 end,
3283 &ticket_len,
3284 &ticket_lifetime);
3285 if (ret != 0) {
3286 MBEDTLS_SSL_DEBUG_RET(1, "write_ticket", ret);
3287 return ret;
Jerry Yue67bef42022-07-07 07:29:42 +00003288 }
3289 /* RFC 8446 4.6.1
3290 * ticket_lifetime: Indicates the lifetime in seconds as a 32-bit
3291 * unsigned integer in network byte order from the time of ticket
3292 * issuance. Servers MUST NOT use any value greater than
3293 * 604800 seconds (7 days). The value of zero indicates that the
3294 * ticket should be discarded immediately. Clients MUST NOT cache
3295 * tickets for longer than 7 days, regardless of the ticket_lifetime,
3296 * and MAY delete tickets earlier based on local policy. A server
3297 * MAY treat a ticket as valid for a shorter period of time than what
3298 * is stated in the ticket_lifetime.
3299 */
Jerry Yu8e0174a2023-11-10 13:58:16 +08003300 if (ticket_lifetime > MBEDTLS_SSL_TLS1_3_MAX_ALLOWED_TICKET_LIFETIME) {
3301 ticket_lifetime = MBEDTLS_SSL_TLS1_3_MAX_ALLOWED_TICKET_LIFETIME;
Gilles Peskine449bd832023-01-11 14:50:10 +01003302 }
3303 MBEDTLS_PUT_UINT32_BE(ticket_lifetime, p, 0);
3304 MBEDTLS_SSL_DEBUG_MSG(3, ("ticket_lifetime: %u",
3305 (unsigned int) ticket_lifetime));
Jerry Yue67bef42022-07-07 07:29:42 +00003306
3307 /* Write ticket_age_add */
Gilles Peskine449bd832023-01-11 14:50:10 +01003308 MBEDTLS_PUT_UINT32_BE(session->ticket_age_add, p, 4);
3309 MBEDTLS_SSL_DEBUG_MSG(3, ("ticket_age_add: %u",
3310 (unsigned int) session->ticket_age_add));
Jerry Yue67bef42022-07-07 07:29:42 +00003311
3312 /* Write ticket_nonce */
Gilles Peskine449bd832023-01-11 14:50:10 +01003313 p[8] = (unsigned char) ticket_nonce_size;
3314 if (ticket_nonce_size > 0) {
3315 memcpy(p + 9, ticket_nonce, ticket_nonce_size);
Jerry Yue67bef42022-07-07 07:29:42 +00003316 }
3317 p += 9 + ticket_nonce_size;
3318
3319 /* Write ticket */
Gilles Peskine449bd832023-01-11 14:50:10 +01003320 MBEDTLS_PUT_UINT16_BE(ticket_len, p, 0);
Jerry Yue67bef42022-07-07 07:29:42 +00003321 p += 2;
Gilles Peskine449bd832023-01-11 14:50:10 +01003322 MBEDTLS_SSL_DEBUG_BUF(4, "ticket", p, ticket_len);
Jerry Yue67bef42022-07-07 07:29:42 +00003323 p += ticket_len;
3324
3325 /* Ticket Extensions
3326 *
Jerry Yu01da35e2022-12-12 15:09:22 +08003327 * Extension extensions<0..2^16-2>;
Jerry Yue67bef42022-07-07 07:29:42 +00003328 */
Jerry Yuedab6372022-10-31 14:37:31 +08003329 ssl->handshake->sent_extensions = MBEDTLS_SSL_EXT_MASK_NONE;
3330
Gilles Peskine449bd832023-01-11 14:50:10 +01003331 MBEDTLS_SSL_CHK_BUF_PTR(p, end, 2);
Jerry Yu01da35e2022-12-12 15:09:22 +08003332 p_extensions_len = p;
Jerry Yue67bef42022-07-07 07:29:42 +00003333 p += 2;
3334
Jerry Yu01da35e2022-12-12 15:09:22 +08003335#if defined(MBEDTLS_SSL_EARLY_DATA)
Jerry Yu95648b02023-12-06 15:03:34 +08003336 if (mbedtls_ssl_session_ticket_allow_early_data(session)) {
3337 size_t output_len;
3338
Jerry Yuf135bac2023-11-23 18:10:51 +08003339 if ((ret = mbedtls_ssl_tls13_write_early_data_ext(
Jerry Yuc59c5862023-12-05 10:40:49 +08003340 ssl, 1, p, end, &output_len)) != 0) {
Jerry Yuf135bac2023-11-23 18:10:51 +08003341 MBEDTLS_SSL_DEBUG_RET(
3342 1, "mbedtls_ssl_tls13_write_early_data_ext", ret);
3343 return ret;
3344 }
3345 p += output_len;
Jerry Yu9e7f9bc2023-11-27 16:52:07 +08003346 } else {
3347 MBEDTLS_SSL_DEBUG_MSG(
3348 4, ("early_data not allowed, "
3349 "skip early_data extension in NewSessionTicket"));
Jerry Yu01da35e2022-12-12 15:09:22 +08003350 }
Jerry Yuf135bac2023-11-23 18:10:51 +08003351
Jerry Yu01da35e2022-12-12 15:09:22 +08003352#endif /* MBEDTLS_SSL_EARLY_DATA */
3353
3354 MBEDTLS_PUT_UINT16_BE(p - p_extensions_len - 2, p_extensions_len, 0);
3355
Jerry Yue67bef42022-07-07 07:29:42 +00003356 *out_len = p - buf;
Gilles Peskine449bd832023-01-11 14:50:10 +01003357 MBEDTLS_SSL_DEBUG_BUF(4, "ticket", buf, *out_len);
3358 MBEDTLS_SSL_DEBUG_MSG(2, ("<= write new session ticket"));
Jerry Yue67bef42022-07-07 07:29:42 +00003359
Jerry Yu7de2ff02022-11-08 21:43:46 +08003360 MBEDTLS_SSL_PRINT_EXTS(
Gilles Peskine449bd832023-01-11 14:50:10 +01003361 3, MBEDTLS_SSL_HS_NEW_SESSION_TICKET, ssl->handshake->sent_extensions);
Jerry Yu4b8f2f72022-10-31 13:31:22 +08003362
Gilles Peskine449bd832023-01-11 14:50:10 +01003363 return 0;
Jerry Yue67bef42022-07-07 07:29:42 +00003364}
3365
3366/*
Jerry Yua8d3c502022-10-30 14:51:23 +08003367 * Handler for MBEDTLS_SSL_TLS1_3_NEW_SESSION_TICKET
Jerry Yue67bef42022-07-07 07:29:42 +00003368 */
Gilles Peskine449bd832023-01-11 14:50:10 +01003369static int ssl_tls13_write_new_session_ticket(mbedtls_ssl_context *ssl)
Jerry Yue67bef42022-07-07 07:29:42 +00003370{
3371 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
3372
Gilles Peskine449bd832023-01-11 14:50:10 +01003373 MBEDTLS_SSL_PROC_CHK_NEG(ssl_tls13_write_new_session_ticket_coordinate(ssl));
Jerry Yue67bef42022-07-07 07:29:42 +00003374
Gilles Peskine449bd832023-01-11 14:50:10 +01003375 if (ret == SSL_NEW_SESSION_TICKET_WRITE) {
Jerry Yue67bef42022-07-07 07:29:42 +00003376 unsigned char ticket_nonce[MBEDTLS_SSL_TLS1_3_TICKET_NONCE_LENGTH];
3377 unsigned char *buf;
3378 size_t buf_len, msg_len;
3379
Gilles Peskine449bd832023-01-11 14:50:10 +01003380 MBEDTLS_SSL_PROC_CHK(ssl_tls13_prepare_new_session_ticket(
3381 ssl, ticket_nonce, sizeof(ticket_nonce)));
Jerry Yue67bef42022-07-07 07:29:42 +00003382
Xiaokang Qian9f1747b2023-03-30 02:50:04 +00003383 MBEDTLS_SSL_PROC_CHK(mbedtls_ssl_start_handshake_msg(
3384 ssl, MBEDTLS_SSL_HS_NEW_SESSION_TICKET,
3385 &buf, &buf_len));
Jerry Yue67bef42022-07-07 07:29:42 +00003386
Gilles Peskine449bd832023-01-11 14:50:10 +01003387 MBEDTLS_SSL_PROC_CHK(ssl_tls13_write_new_session_ticket_body(
3388 ssl, buf, buf + buf_len, &msg_len,
3389 ticket_nonce, sizeof(ticket_nonce)));
Jerry Yue67bef42022-07-07 07:29:42 +00003390
Gilles Peskine449bd832023-01-11 14:50:10 +01003391 MBEDTLS_SSL_PROC_CHK(mbedtls_ssl_finish_handshake_msg(
3392 ssl, buf_len, msg_len));
Jerry Yufca4d572022-07-21 10:37:48 +08003393
Jerry Yu359e65f2022-09-22 23:47:43 +08003394 /* Limit session tickets count to one when resumption connection.
3395 *
3396 * See document of mbedtls_ssl_conf_new_session_tickets.
3397 */
Gilles Peskine449bd832023-01-11 14:50:10 +01003398 if (ssl->handshake->resume == 1) {
Jerry Yu359e65f2022-09-22 23:47:43 +08003399 ssl->handshake->new_session_tickets_count = 0;
Gilles Peskine449bd832023-01-11 14:50:10 +01003400 } else {
Jerry Yu359e65f2022-09-22 23:47:43 +08003401 ssl->handshake->new_session_tickets_count--;
Gilles Peskine449bd832023-01-11 14:50:10 +01003402 }
Jerry Yub7e3fa72022-09-22 11:07:18 +08003403
Jerry Yua8d3c502022-10-30 14:51:23 +08003404 mbedtls_ssl_handshake_set_state(
Gilles Peskine449bd832023-01-11 14:50:10 +01003405 ssl, MBEDTLS_SSL_TLS1_3_NEW_SESSION_TICKET_FLUSH);
3406 } else {
3407 mbedtls_ssl_handshake_set_state(ssl, MBEDTLS_SSL_HANDSHAKE_OVER);
Jerry Yue67bef42022-07-07 07:29:42 +00003408 }
3409
Jerry Yue67bef42022-07-07 07:29:42 +00003410cleanup:
3411
Gilles Peskine449bd832023-01-11 14:50:10 +01003412 return ret;
Jerry Yue67bef42022-07-07 07:29:42 +00003413}
3414#endif /* MBEDTLS_SSL_SESSION_TICKETS */
3415
3416/*
XiaokangQiane8ff3502022-04-22 02:34:40 +00003417 * TLS 1.3 State Machine -- server side
XiaokangQian7807f9f2022-02-15 10:04:37 +00003418 */
Gilles Peskine449bd832023-01-11 14:50:10 +01003419int mbedtls_ssl_tls13_handshake_server_step(mbedtls_ssl_context *ssl)
Jerry Yub9930e72021-08-06 17:11:51 +08003420{
XiaokangQian08037552022-04-20 07:16:41 +00003421 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
XiaokangQian7807f9f2022-02-15 10:04:37 +00003422
Gilles Peskine449bd832023-01-11 14:50:10 +01003423 if (ssl->state == MBEDTLS_SSL_HANDSHAKE_OVER || ssl->handshake == NULL) {
3424 return MBEDTLS_ERR_SSL_BAD_INPUT_DATA;
3425 }
XiaokangQian7807f9f2022-02-15 10:04:37 +00003426
Gilles Peskine449bd832023-01-11 14:50:10 +01003427 MBEDTLS_SSL_DEBUG_MSG(2, ("tls13 server state: %s(%d)",
Dave Rodgman2eab4622023-10-05 13:30:37 +01003428 mbedtls_ssl_states_str((mbedtls_ssl_states) ssl->state),
Gilles Peskine449bd832023-01-11 14:50:10 +01003429 ssl->state));
Jerry Yu6e81b272021-09-27 11:16:17 +08003430
Gilles Peskine449bd832023-01-11 14:50:10 +01003431 switch (ssl->state) {
XiaokangQian7807f9f2022-02-15 10:04:37 +00003432 /* start state */
3433 case MBEDTLS_SSL_HELLO_REQUEST:
Gilles Peskine449bd832023-01-11 14:50:10 +01003434 mbedtls_ssl_handshake_set_state(ssl, MBEDTLS_SSL_CLIENT_HELLO);
XiaokangQian08037552022-04-20 07:16:41 +00003435 ret = 0;
XiaokangQian7807f9f2022-02-15 10:04:37 +00003436 break;
3437
XiaokangQian7807f9f2022-02-15 10:04:37 +00003438 case MBEDTLS_SSL_CLIENT_HELLO:
Gilles Peskine449bd832023-01-11 14:50:10 +01003439 ret = ssl_tls13_process_client_hello(ssl);
3440 if (ret != 0) {
3441 MBEDTLS_SSL_DEBUG_RET(1, "ssl_tls13_process_client_hello", ret);
3442 }
Jerry Yuf41553b2022-05-09 22:20:30 +08003443 break;
XiaokangQian7807f9f2022-02-15 10:04:37 +00003444
Jerry Yuf41553b2022-05-09 22:20:30 +08003445 case MBEDTLS_SSL_HELLO_RETRY_REQUEST:
Gilles Peskine449bd832023-01-11 14:50:10 +01003446 ret = ssl_tls13_write_hello_retry_request(ssl);
3447 if (ret != 0) {
3448 MBEDTLS_SSL_DEBUG_RET(1, "ssl_tls13_write_hello_retry_request", ret);
3449 return ret;
Jerry Yuf41553b2022-05-09 22:20:30 +08003450 }
XiaokangQian7807f9f2022-02-15 10:04:37 +00003451 break;
3452
Jerry Yu5b64ae92022-03-30 17:15:02 +08003453 case MBEDTLS_SSL_SERVER_HELLO:
Gilles Peskine449bd832023-01-11 14:50:10 +01003454 ret = ssl_tls13_write_server_hello(ssl);
Jerry Yu5b64ae92022-03-30 17:15:02 +08003455 break;
3456
Xiaofei Baicba64af2022-02-15 10:00:56 +00003457 case MBEDTLS_SSL_ENCRYPTED_EXTENSIONS:
Gilles Peskine449bd832023-01-11 14:50:10 +01003458 ret = ssl_tls13_write_encrypted_extensions(ssl);
3459 if (ret != 0) {
3460 MBEDTLS_SSL_DEBUG_RET(1, "ssl_tls13_write_encrypted_extensions", ret);
3461 return ret;
Xiaofei Baicba64af2022-02-15 10:00:56 +00003462 }
Jerry Yu48330562022-05-06 21:35:44 +08003463 break;
Jerry Yu6a2cd9e2022-05-05 11:14:19 +08003464
Ronald Cron928cbd32022-10-04 16:14:26 +02003465#if defined(MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_EPHEMERAL_ENABLED)
Xiaofei Bai9ca09d42022-02-14 12:57:18 +00003466 case MBEDTLS_SSL_CERTIFICATE_REQUEST:
Gilles Peskine449bd832023-01-11 14:50:10 +01003467 ret = ssl_tls13_write_certificate_request(ssl);
Xiaofei Bai9ca09d42022-02-14 12:57:18 +00003468 break;
Xiaofei Bai9ca09d42022-02-14 12:57:18 +00003469
Jerry Yu83da34e2022-04-16 13:59:52 +08003470 case MBEDTLS_SSL_SERVER_CERTIFICATE:
Gilles Peskine449bd832023-01-11 14:50:10 +01003471 ret = ssl_tls13_write_server_certificate(ssl);
Jerry Yu83da34e2022-04-16 13:59:52 +08003472 break;
3473
3474 case MBEDTLS_SSL_CERTIFICATE_VERIFY:
Gilles Peskine449bd832023-01-11 14:50:10 +01003475 ret = ssl_tls13_write_certificate_verify(ssl);
Jerry Yu83da34e2022-04-16 13:59:52 +08003476 break;
Ronald Cron928cbd32022-10-04 16:14:26 +02003477#endif /* MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_EPHEMERAL_ENABLED */
Jerry Yu83da34e2022-04-16 13:59:52 +08003478
Gilles Peskine449bd832023-01-11 14:50:10 +01003479 /*
3480 * Injection of dummy-CCS's for middlebox compatibility
3481 */
Gabor Mezei7b39bf12022-05-24 16:04:14 +02003482#if defined(MBEDTLS_SSL_TLS1_3_COMPATIBILITY_MODE)
Gabor Mezeif7044ea2022-06-28 16:01:49 +02003483 case MBEDTLS_SSL_SERVER_CCS_AFTER_HELLO_RETRY_REQUEST:
Gilles Peskine449bd832023-01-11 14:50:10 +01003484 ret = mbedtls_ssl_tls13_write_change_cipher_spec(ssl);
3485 if (ret == 0) {
3486 mbedtls_ssl_handshake_set_state(ssl, MBEDTLS_SSL_CLIENT_HELLO);
3487 }
Gabor Mezei7b39bf12022-05-24 16:04:14 +02003488 break;
3489
3490 case MBEDTLS_SSL_SERVER_CCS_AFTER_SERVER_HELLO:
Gilles Peskine449bd832023-01-11 14:50:10 +01003491 ret = mbedtls_ssl_tls13_write_change_cipher_spec(ssl);
3492 if (ret == 0) {
3493 mbedtls_ssl_handshake_set_state(ssl, MBEDTLS_SSL_ENCRYPTED_EXTENSIONS);
3494 }
Gabor Mezei7b39bf12022-05-24 16:04:14 +02003495 break;
3496#endif /* MBEDTLS_SSL_TLS1_3_COMPATIBILITY_MODE */
3497
Jerry Yu69dd8d42022-04-16 12:51:26 +08003498 case MBEDTLS_SSL_SERVER_FINISHED:
Gilles Peskine449bd832023-01-11 14:50:10 +01003499 ret = ssl_tls13_write_server_finished(ssl);
Jerry Yu69dd8d42022-04-16 12:51:26 +08003500 break;
3501
Jerry Yu87b5ed42022-12-12 13:07:07 +08003502#if defined(MBEDTLS_SSL_EARLY_DATA)
3503 case MBEDTLS_SSL_END_OF_EARLY_DATA:
Jerry Yu59d420f2023-12-01 16:30:34 +08003504 ret = ssl_tls13_process_end_of_early_data(ssl);
Jerry Yu87b5ed42022-12-12 13:07:07 +08003505 break;
3506#endif /* MBEDTLS_SSL_EARLY_DATA */
3507
Jerry Yu69dd8d42022-04-16 12:51:26 +08003508 case MBEDTLS_SSL_CLIENT_FINISHED:
Gilles Peskine449bd832023-01-11 14:50:10 +01003509 ret = ssl_tls13_process_client_finished(ssl);
Jerry Yu69dd8d42022-04-16 12:51:26 +08003510 break;
3511
Jerry Yu69dd8d42022-04-16 12:51:26 +08003512 case MBEDTLS_SSL_HANDSHAKE_WRAPUP:
Gilles Peskine449bd832023-01-11 14:50:10 +01003513 ret = ssl_tls13_handshake_wrapup(ssl);
Jerry Yu69dd8d42022-04-16 12:51:26 +08003514 break;
3515
Ronald Cron766c0cd2022-10-18 12:17:11 +02003516#if defined(MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_EPHEMERAL_ENABLED)
XiaokangQian6b916b12022-04-25 07:29:34 +00003517 case MBEDTLS_SSL_CLIENT_CERTIFICATE:
Gilles Peskine449bd832023-01-11 14:50:10 +01003518 ret = mbedtls_ssl_tls13_process_certificate(ssl);
3519 if (ret == 0) {
3520 if (ssl->session_negotiate->peer_cert != NULL) {
Ronald Cron209cae92022-06-07 10:30:19 +02003521 mbedtls_ssl_handshake_set_state(
Gilles Peskine449bd832023-01-11 14:50:10 +01003522 ssl, MBEDTLS_SSL_CLIENT_CERTIFICATE_VERIFY);
3523 } else {
3524 MBEDTLS_SSL_DEBUG_MSG(2, ("skip parse certificate verify"));
Ronald Cron209cae92022-06-07 10:30:19 +02003525 mbedtls_ssl_handshake_set_state(
Gilles Peskine449bd832023-01-11 14:50:10 +01003526 ssl, MBEDTLS_SSL_CLIENT_FINISHED);
Ronald Cron19385882022-06-15 16:26:13 +02003527 }
XiaokangQian6b916b12022-04-25 07:29:34 +00003528 }
3529 break;
3530
3531 case MBEDTLS_SSL_CLIENT_CERTIFICATE_VERIFY:
Gilles Peskine449bd832023-01-11 14:50:10 +01003532 ret = mbedtls_ssl_tls13_process_certificate_verify(ssl);
3533 if (ret == 0) {
XiaokangQian6b916b12022-04-25 07:29:34 +00003534 mbedtls_ssl_handshake_set_state(
Gilles Peskine449bd832023-01-11 14:50:10 +01003535 ssl, MBEDTLS_SSL_CLIENT_FINISHED);
XiaokangQian6b916b12022-04-25 07:29:34 +00003536 }
3537 break;
Ronald Cron766c0cd2022-10-18 12:17:11 +02003538#endif /* MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_EPHEMERAL_ENABLED */
XiaokangQian6b916b12022-04-25 07:29:34 +00003539
Jerry Yue67bef42022-07-07 07:29:42 +00003540#if defined(MBEDTLS_SSL_SESSION_TICKETS)
Jerry Yua8d3c502022-10-30 14:51:23 +08003541 case MBEDTLS_SSL_TLS1_3_NEW_SESSION_TICKET:
Gilles Peskine449bd832023-01-11 14:50:10 +01003542 ret = ssl_tls13_write_new_session_ticket(ssl);
3543 if (ret != 0) {
3544 MBEDTLS_SSL_DEBUG_RET(1,
3545 "ssl_tls13_write_new_session_ticket ",
3546 ret);
Jerry Yue67bef42022-07-07 07:29:42 +00003547 }
3548 break;
Jerry Yua8d3c502022-10-30 14:51:23 +08003549 case MBEDTLS_SSL_TLS1_3_NEW_SESSION_TICKET_FLUSH:
Jerry Yue67bef42022-07-07 07:29:42 +00003550 /* This state is necessary to do the flush of the New Session
Jerry Yua8d3c502022-10-30 14:51:23 +08003551 * Ticket message written in MBEDTLS_SSL_TLS1_3_NEW_SESSION_TICKET
Jerry Yue67bef42022-07-07 07:29:42 +00003552 * as part of ssl_prepare_handshake_step.
3553 */
3554 ret = 0;
Jerry Yud4e75002022-08-09 13:33:50 +08003555
Gilles Peskine449bd832023-01-11 14:50:10 +01003556 if (ssl->handshake->new_session_tickets_count == 0) {
3557 mbedtls_ssl_handshake_set_state(ssl, MBEDTLS_SSL_HANDSHAKE_OVER);
3558 } else {
Xiaokang Qian9f1747b2023-03-30 02:50:04 +00003559 mbedtls_ssl_handshake_set_state(
3560 ssl, MBEDTLS_SSL_TLS1_3_NEW_SESSION_TICKET);
Gilles Peskine449bd832023-01-11 14:50:10 +01003561 }
Jerry Yue67bef42022-07-07 07:29:42 +00003562 break;
3563
3564#endif /* MBEDTLS_SSL_SESSION_TICKETS */
3565
XiaokangQian7807f9f2022-02-15 10:04:37 +00003566 default:
Gilles Peskine449bd832023-01-11 14:50:10 +01003567 MBEDTLS_SSL_DEBUG_MSG(1, ("invalid state %d", ssl->state));
3568 return MBEDTLS_ERR_SSL_FEATURE_UNAVAILABLE;
XiaokangQian7807f9f2022-02-15 10:04:37 +00003569 }
3570
Gilles Peskine449bd832023-01-11 14:50:10 +01003571 return ret;
Jerry Yub9930e72021-08-06 17:11:51 +08003572}
Jerry Yu3cc4c2a2021-08-06 16:29:08 +08003573
Jerry Yufb4b6472022-01-27 15:03:26 +08003574#endif /* MBEDTLS_SSL_SRV_C && MBEDTLS_SSL_PROTO_TLS1_3 */