blob: 721ade3ae3c80f872b082f5c3ef57992a110fa91 [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
5 * SPDX-License-Identifier: Apache-2.0
6 *
7 * Licensed under the Apache License, Version 2.0 (the "License"); you may
8 * not use this file except in compliance with the License.
9 * You may obtain a copy of the License at
10 *
11 * http://www.apache.org/licenses/LICENSE-2.0
12 *
13 * Unless required by applicable law or agreed to in writing, software
14 * distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
15 * WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
16 * See the License for the specific language governing permissions and
17 * limitations under the License.
David Horstmann71159f42023-01-03 12:51:59 +000018 */
Jerry Yu3cc4c2a2021-08-06 16:29:08 +080019
20#include "common.h"
21
Jerry Yufb4b6472022-01-27 15:03:26 +080022#if defined(MBEDTLS_SSL_SRV_C) && defined(MBEDTLS_SSL_PROTO_TLS1_3)
Jerry Yu3cc4c2a2021-08-06 16:29:08 +080023
Jerry Yu687101b2021-09-14 16:03:56 +080024#include "mbedtls/debug.h"
Xiaofei Baicba64af2022-02-15 10:00:56 +000025#include "mbedtls/error.h"
26#include "mbedtls/platform.h"
Jerry Yu1c105562022-07-10 06:32:38 +000027#include "mbedtls/constant_time.h"
Jerry Yu3bf2c642022-03-30 22:02:12 +080028
Xiaofei Bai9ca09d42022-02-14 12:57:18 +000029#include "ssl_misc.h"
30#include "ssl_tls13_keys.h"
31#include "ssl_debug_helpers.h"
32
XiaokangQian7807f9f2022-02-15 10:04:37 +000033#if defined(MBEDTLS_ECP_C)
34#include "mbedtls/ecp.h"
XiaokangQian7807f9f2022-02-15 10:04:37 +000035#endif /* MBEDTLS_ECP_C */
Jerry Yu3cc4c2a2021-08-06 16:29:08 +080036
XiaokangQiana9c58412022-02-17 09:41:26 +000037#include "mbedtls/platform.h"
XiaokangQian7807f9f2022-02-15 10:04:37 +000038
Jerry Yu4d3841a2022-04-16 12:37:19 +080039#include "ssl_misc.h"
40#include "ssl_tls13_keys.h"
41#include "ssl_debug_helpers.h"
42
Jerry Yuf35ba382022-08-23 17:58:26 +080043
Jerry Yuc5a23a02022-08-25 10:51:44 +080044static const mbedtls_ssl_ciphersuite_t *ssl_tls13_validate_peer_ciphersuite(
David Horstmann71159f42023-01-03 12:51:59 +000045 mbedtls_ssl_context *ssl,
46 unsigned int cipher_suite)
Jerry Yuf35ba382022-08-23 17:58:26 +080047{
48 const mbedtls_ssl_ciphersuite_t *ciphersuite_info;
David Horstmann71159f42023-01-03 12:51:59 +000049 if (!mbedtls_ssl_tls13_cipher_suite_is_offered(ssl, cipher_suite)) {
50 return NULL;
Jerry Yuf35ba382022-08-23 17:58:26 +080051 }
David Horstmann71159f42023-01-03 12:51:59 +000052
53 ciphersuite_info = mbedtls_ssl_ciphersuite_from_id(cipher_suite);
54 if ((mbedtls_ssl_validate_ciphersuite(ssl, ciphersuite_info,
55 ssl->tls_version,
56 ssl->tls_version) != 0)) {
57 return NULL;
58 }
59 return ciphersuite_info;
Jerry Yuf35ba382022-08-23 17:58:26 +080060}
61
Ronald Cron41a443a2022-10-04 16:38:25 +020062#if defined(MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_SOME_PSK_ENABLED)
Jerry Yue19e3b92022-07-08 12:04:51 +000063/* From RFC 8446:
64 *
65 * enum { psk_ke(0), psk_dhe_ke(1), (255) } PskKeyExchangeMode;
66 * struct {
67 * PskKeyExchangeMode ke_modes<1..255>;
68 * } PskKeyExchangeModes;
69 */
Jerry Yu6e74a7e2022-07-20 20:49:32 +080070MBEDTLS_CHECK_RETURN_CRITICAL
David Horstmann71159f42023-01-03 12:51:59 +000071static int ssl_tls13_parse_key_exchange_modes_ext(mbedtls_ssl_context *ssl,
72 const unsigned char *buf,
73 const unsigned char *end)
Jerry Yue19e3b92022-07-08 12:04:51 +000074{
Jerry Yu299e31f2022-07-13 23:06:36 +080075 const unsigned char *p = buf;
Jerry Yue19e3b92022-07-08 12:04:51 +000076 size_t ke_modes_len;
77 int ke_modes = 0;
78
Jerry Yu854dd9e2022-07-15 14:28:27 +080079 /* Read ke_modes length (1 Byte) */
David Horstmann71159f42023-01-03 12:51:59 +000080 MBEDTLS_SSL_CHK_BUF_READ_PTR(p, end, 1);
Jerry Yu299e31f2022-07-13 23:06:36 +080081 ke_modes_len = *p++;
Jerry Yue19e3b92022-07-08 12:04:51 +000082 /* Currently, there are only two PSK modes, so even without looking
83 * at the content, something's wrong if the list has more than 2 items. */
David Horstmann71159f42023-01-03 12:51:59 +000084 if (ke_modes_len > 2) {
85 MBEDTLS_SSL_PEND_FATAL_ALERT(MBEDTLS_SSL_ALERT_MSG_ILLEGAL_PARAMETER,
86 MBEDTLS_ERR_SSL_ILLEGAL_PARAMETER);
87 return MBEDTLS_ERR_SSL_HANDSHAKE_FAILURE;
Jerry Yu299e31f2022-07-13 23:06:36 +080088 }
Jerry Yue19e3b92022-07-08 12:04:51 +000089
David Horstmann71159f42023-01-03 12:51:59 +000090 MBEDTLS_SSL_CHK_BUF_READ_PTR(p, end, ke_modes_len);
Jerry Yue19e3b92022-07-08 12:04:51 +000091
David Horstmann71159f42023-01-03 12:51:59 +000092 while (ke_modes_len-- != 0) {
93 switch (*p++) {
94 case MBEDTLS_SSL_TLS1_3_PSK_MODE_PURE:
95 ke_modes |= MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_PSK;
96 MBEDTLS_SSL_DEBUG_MSG(3, ("Found PSK KEX MODE"));
97 break;
98 case MBEDTLS_SSL_TLS1_3_PSK_MODE_ECDHE:
99 ke_modes |= MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_PSK_EPHEMERAL;
100 MBEDTLS_SSL_DEBUG_MSG(3, ("Found PSK_EPHEMERAL KEX MODE"));
101 break;
102 default:
103 MBEDTLS_SSL_PEND_FATAL_ALERT(MBEDTLS_SSL_ALERT_MSG_ILLEGAL_PARAMETER,
104 MBEDTLS_ERR_SSL_ILLEGAL_PARAMETER);
105 return MBEDTLS_ERR_SSL_ILLEGAL_PARAMETER;
Jerry Yue19e3b92022-07-08 12:04:51 +0000106 }
107 }
108
109 ssl->handshake->tls13_kex_modes = ke_modes;
David Horstmann71159f42023-01-03 12:51:59 +0000110 return 0;
Jerry Yue19e3b92022-07-08 12:04:51 +0000111}
Jerry Yu1c105562022-07-10 06:32:38 +0000112
Jerry Yue9d4fc02022-08-20 19:21:15 +0800113#define SSL_TLS1_3_OFFERED_PSK_NOT_MATCH 1
114#define SSL_TLS1_3_OFFERED_PSK_MATCH 0
Jerry Yu95699e72022-08-21 19:22:23 +0800115
116#if defined(MBEDTLS_SSL_SESSION_TICKETS)
117
118MBEDTLS_CHECK_RETURN_CRITICAL
119static int ssl_tls13_offered_psks_check_identity_match_ticket(
David Horstmann71159f42023-01-03 12:51:59 +0000120 mbedtls_ssl_context *ssl,
121 const unsigned char *identity,
122 size_t identity_len,
123 uint32_t obfuscated_ticket_age,
124 mbedtls_ssl_session *session)
Jerry Yu95699e72022-08-21 19:22:23 +0800125{
Jerry Yufd310eb2022-09-06 09:16:35 +0800126 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Jerry Yu95699e72022-08-21 19:22:23 +0800127 unsigned char *ticket_buffer;
Jerry Yu8d4bbba2022-09-13 14:15:48 +0800128#if defined(MBEDTLS_HAVE_TIME)
129 mbedtls_time_t now;
Jerry Yuacff8232022-09-14 14:35:11 +0800130 uint64_t age_in_s;
Jerry Yuf7dad3c2022-09-14 22:31:39 +0800131 int64_t age_diff_in_ms;
Jerry Yu8d4bbba2022-09-13 14:15:48 +0800132#endif
Jerry Yu95699e72022-08-21 19:22:23 +0800133
134 ((void) obfuscated_ticket_age);
135
David Horstmann71159f42023-01-03 12:51:59 +0000136 MBEDTLS_SSL_DEBUG_MSG(2, ("=> check_identity_match_ticket"));
Jerry Yu95699e72022-08-21 19:22:23 +0800137
Jerry Yufd310eb2022-09-06 09:16:35 +0800138 /* Ticket parser is not configured, Skip */
David Horstmann71159f42023-01-03 12:51:59 +0000139 if (ssl->conf->f_ticket_parse == NULL || identity_len == 0) {
140 return 0;
141 }
Jerry Yu95699e72022-08-21 19:22:23 +0800142
Jerry Yu4746b102022-09-13 11:11:48 +0800143 /* We create a copy of the encrypted ticket since the ticket parsing
144 * function is allowed to use its input buffer as an output buffer
145 * (in-place decryption). We do, however, need the original buffer for
146 * computing the PSK binder value.
Jerry Yu95699e72022-08-21 19:22:23 +0800147 */
David Horstmann71159f42023-01-03 12:51:59 +0000148 ticket_buffer = mbedtls_calloc(1, identity_len);
149 if (ticket_buffer == NULL) {
150 MBEDTLS_SSL_DEBUG_MSG(1, ("buffer too small"));
151 return MBEDTLS_ERR_SSL_ALLOC_FAILED;
Jerry Yu95699e72022-08-21 19:22:23 +0800152 }
David Horstmann71159f42023-01-03 12:51:59 +0000153 memcpy(ticket_buffer, identity, identity_len);
Jerry Yu95699e72022-08-21 19:22:23 +0800154
David Horstmann71159f42023-01-03 12:51:59 +0000155 if ((ret = ssl->conf->f_ticket_parse(ssl->conf->p_ticket,
156 session,
157 ticket_buffer, identity_len)) != 0) {
158 if (ret == MBEDTLS_ERR_SSL_INVALID_MAC) {
159 MBEDTLS_SSL_DEBUG_MSG(3, ("ticket is not authentic"));
160 } else if (ret == MBEDTLS_ERR_SSL_SESSION_TICKET_EXPIRED) {
161 MBEDTLS_SSL_DEBUG_MSG(3, ("ticket is expired"));
162 } else {
163 MBEDTLS_SSL_DEBUG_RET(1, "ticket_parse", ret);
164 }
Jerry Yu95699e72022-08-21 19:22:23 +0800165 }
166
167 /* We delete the temporary buffer */
David Horstmann71159f42023-01-03 12:51:59 +0000168 mbedtls_free(ticket_buffer);
Jerry Yu95699e72022-08-21 19:22:23 +0800169
David Horstmann71159f42023-01-03 12:51:59 +0000170 if (ret != 0) {
Jerry Yu8d4bbba2022-09-13 14:15:48 +0800171 goto exit;
172 }
Jerry Yu95699e72022-08-21 19:22:23 +0800173
David Horstmann71159f42023-01-03 12:51:59 +0000174 ret = MBEDTLS_ERR_SSL_SESSION_TICKET_EXPIRED;
175#if defined(MBEDTLS_HAVE_TIME)
176 now = mbedtls_time(NULL);
177
178 if (now < session->start) {
179 MBEDTLS_SSL_DEBUG_MSG(
180 3, ("Invalid ticket start time ( now=%" MBEDTLS_PRINTF_LONGLONG
181 ", start=%" MBEDTLS_PRINTF_LONGLONG " )",
182 (long long) now, (long long) session->start));
183 goto exit;
184 }
185
186 age_in_s = (uint64_t) (now - session->start);
Jerry Yu95699e72022-08-21 19:22:23 +0800187
Jerry Yu8d4bbba2022-09-13 14:15:48 +0800188 /* RFC 8446 section 4.6.1
189 *
190 * Servers MUST NOT use any value greater than 604800 seconds (7 days).
191 *
192 * RFC 8446 section 4.2.11.1
193 *
194 * Clients MUST NOT attempt to use tickets which have ages greater than
195 * the "ticket_lifetime" value which was provided with the ticket.
196 *
197 * For time being, the age MUST be less than 604800 seconds (7 days).
198 */
David Horstmann71159f42023-01-03 12:51:59 +0000199 if (age_in_s > 604800) {
Jerry Yu8d4bbba2022-09-13 14:15:48 +0800200 MBEDTLS_SSL_DEBUG_MSG(
David Horstmann71159f42023-01-03 12:51:59 +0000201 3, ("Ticket age exceeds limitation ticket_age=%lu",
202 (long unsigned int) age_in_s));
Jerry Yu8d4bbba2022-09-13 14:15:48 +0800203 goto exit;
204 }
Jerry Yu95699e72022-08-21 19:22:23 +0800205
Jerry Yu8d4bbba2022-09-13 14:15:48 +0800206 /* RFC 8446 section 4.2.10
207 *
208 * For PSKs provisioned via NewSessionTicket, a server MUST validate that
209 * the ticket age for the selected PSK identity (computed by subtracting
210 * ticket_age_add from PskIdentity.obfuscated_ticket_age modulo 2^32) is
211 * within a small tolerance of the time since the ticket was issued.
Jerry Yuf7dad3c2022-09-14 22:31:39 +0800212 *
Jerry Yu0a55cc62022-09-15 16:15:06 +0800213 * NOTE: When `now == session->start`, `age_diff_in_ms` may be negative
214 * as the age units are different on the server (s) and in the
215 * client (ms) side. Add a -1000 ms tolerance window to take this
216 * into account.
Jerry Yu8d4bbba2022-09-13 14:15:48 +0800217 */
Jerry Yuf7dad3c2022-09-14 22:31:39 +0800218 age_diff_in_ms = age_in_s * 1000;
David Horstmann71159f42023-01-03 12:51:59 +0000219 age_diff_in_ms -= (obfuscated_ticket_age - session->ticket_age_add);
220 if (age_diff_in_ms <= -1000 ||
221 age_diff_in_ms > MBEDTLS_SSL_TLS1_3_TICKET_AGE_TOLERANCE) {
Jerry Yu8d4bbba2022-09-13 14:15:48 +0800222 MBEDTLS_SSL_DEBUG_MSG(
David Horstmann71159f42023-01-03 12:51:59 +0000223 3, ("Ticket age outside tolerance window ( diff=%d )",
224 (int) age_diff_in_ms));
Jerry Yu8d4bbba2022-09-13 14:15:48 +0800225 goto exit;
226 }
227
228 ret = 0;
Jerry Yu95699e72022-08-21 19:22:23 +0800229
230#endif /* MBEDTLS_HAVE_TIME */
Jerry Yu8d4bbba2022-09-13 14:15:48 +0800231
232exit:
David Horstmann71159f42023-01-03 12:51:59 +0000233 if (ret != 0) {
234 mbedtls_ssl_session_free(session);
235 }
Jerry Yu95699e72022-08-21 19:22:23 +0800236
David Horstmann71159f42023-01-03 12:51:59 +0000237 MBEDTLS_SSL_DEBUG_MSG(2, ("<= check_identity_match_ticket"));
238 return ret;
Jerry Yu95699e72022-08-21 19:22:23 +0800239}
240#endif /* MBEDTLS_SSL_SESSION_TICKETS */
241
Jerry Yu6e74a7e2022-07-20 20:49:32 +0800242MBEDTLS_CHECK_RETURN_CRITICAL
Jerry Yu1c105562022-07-10 06:32:38 +0000243static int ssl_tls13_offered_psks_check_identity_match(
David Horstmann71159f42023-01-03 12:51:59 +0000244 mbedtls_ssl_context *ssl,
245 const unsigned char *identity,
246 size_t identity_len,
247 uint32_t obfuscated_ticket_age,
248 int *psk_type,
249 mbedtls_ssl_session *session)
Jerry Yu1c105562022-07-10 06:32:38 +0000250{
Jerry Yu95699e72022-08-21 19:22:23 +0800251 ((void) session);
252 ((void) obfuscated_ticket_age);
Jerry Yu5725f1c2022-08-21 17:27:16 +0800253 *psk_type = MBEDTLS_SSL_TLS1_3_PSK_EXTERNAL;
Jerry Yu95699e72022-08-21 19:22:23 +0800254
David Horstmann71159f42023-01-03 12:51:59 +0000255 MBEDTLS_SSL_DEBUG_BUF(4, "identity", identity, identity_len);
Jerry Yu95699e72022-08-21 19:22:23 +0800256 ssl->handshake->resume = 0;
257
Jerry Yu95699e72022-08-21 19:22:23 +0800258#if defined(MBEDTLS_SSL_SESSION_TICKETS)
David Horstmann71159f42023-01-03 12:51:59 +0000259 if (ssl_tls13_offered_psks_check_identity_match_ticket(
Jerry Yu8d4bbba2022-09-13 14:15:48 +0800260 ssl, identity, identity_len, obfuscated_ticket_age,
David Horstmann71159f42023-01-03 12:51:59 +0000261 session) == SSL_TLS1_3_OFFERED_PSK_MATCH) {
Jerry Yu95699e72022-08-21 19:22:23 +0800262 ssl->handshake->resume = 1;
263 *psk_type = MBEDTLS_SSL_TLS1_3_PSK_RESUMPTION;
David Horstmann71159f42023-01-03 12:51:59 +0000264 mbedtls_ssl_set_hs_psk(ssl,
Jerry Yu0a55cc62022-09-15 16:15:06 +0800265 session->resumption_key,
David Horstmann71159f42023-01-03 12:51:59 +0000266 session->resumption_key_len);
267
268 MBEDTLS_SSL_DEBUG_BUF(4, "Ticket-resumed PSK:",
269 session->resumption_key,
270 session->resumption_key_len);
271 MBEDTLS_SSL_DEBUG_MSG(4, ("ticket: obfuscated_ticket_age: %u",
272 (unsigned) obfuscated_ticket_age));
273 return SSL_TLS1_3_OFFERED_PSK_MATCH;
Jerry Yu95699e72022-08-21 19:22:23 +0800274 }
275#endif /* MBEDTLS_SSL_SESSION_TICKETS */
276
Jerry Yu1c105562022-07-10 06:32:38 +0000277 /* Check identity with external configured function */
David Horstmann71159f42023-01-03 12:51:59 +0000278 if (ssl->conf->f_psk != NULL) {
279 if (ssl->conf->f_psk(
280 ssl->conf->p_psk, ssl, identity, identity_len) == 0) {
281 return SSL_TLS1_3_OFFERED_PSK_MATCH;
Jerry Yu1c105562022-07-10 06:32:38 +0000282 }
David Horstmann71159f42023-01-03 12:51:59 +0000283 return SSL_TLS1_3_OFFERED_PSK_NOT_MATCH;
Jerry Yu1c105562022-07-10 06:32:38 +0000284 }
285
David Horstmann71159f42023-01-03 12:51:59 +0000286 MBEDTLS_SSL_DEBUG_BUF(5, "identity", identity, identity_len);
Jerry Yu1c105562022-07-10 06:32:38 +0000287 /* Check identity with pre-configured psk */
David Horstmann71159f42023-01-03 12:51:59 +0000288 if (ssl->conf->psk_identity != NULL &&
Jerry Yu2f0abc92022-07-22 19:34:48 +0800289 identity_len == ssl->conf->psk_identity_len &&
David Horstmann71159f42023-01-03 12:51:59 +0000290 mbedtls_ct_memcmp(ssl->conf->psk_identity,
291 identity, identity_len) == 0) {
292 mbedtls_ssl_set_hs_psk(ssl, ssl->conf->psk, ssl->conf->psk_len);
293 return SSL_TLS1_3_OFFERED_PSK_MATCH;
Jerry Yu1c105562022-07-10 06:32:38 +0000294 }
295
David Horstmann71159f42023-01-03 12:51:59 +0000296 return SSL_TLS1_3_OFFERED_PSK_NOT_MATCH;
Jerry Yu1c105562022-07-10 06:32:38 +0000297}
298
Jerry Yu6e74a7e2022-07-20 20:49:32 +0800299MBEDTLS_CHECK_RETURN_CRITICAL
David Horstmann71159f42023-01-03 12:51:59 +0000300static int ssl_tls13_offered_psks_check_binder_match(mbedtls_ssl_context *ssl,
301 const unsigned char *binder,
302 size_t binder_len,
303 int psk_type,
304 psa_algorithm_t psk_hash_alg)
Jerry Yu1c105562022-07-10 06:32:38 +0000305{
306 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Jerry Yu96a2e362022-07-21 15:11:34 +0800307
Jerry Yudaf375a2022-07-20 21:31:43 +0800308 unsigned char transcript[PSA_HASH_MAX_SIZE];
Jerry Yu1c105562022-07-10 06:32:38 +0000309 size_t transcript_len;
Jerry Yu2f0abc92022-07-22 19:34:48 +0800310 unsigned char *psk;
Jerry Yu96a2e362022-07-21 15:11:34 +0800311 size_t psk_len;
Jerry Yudaf375a2022-07-20 21:31:43 +0800312 unsigned char server_computed_binder[PSA_HASH_MAX_SIZE];
Jerry Yu1c105562022-07-10 06:32:38 +0000313
Jerry Yu1c105562022-07-10 06:32:38 +0000314 /* Get current state of handshake transcript. */
Jerry Yu29d9faa2022-08-23 17:52:45 +0800315 ret = mbedtls_ssl_get_handshake_transcript(
David Horstmann71159f42023-01-03 12:51:59 +0000316 ssl, mbedtls_hash_info_md_from_psa(psk_hash_alg),
317 transcript, sizeof(transcript), &transcript_len);
318 if (ret != 0) {
319 return ret;
320 }
Jerry Yu1c105562022-07-10 06:32:38 +0000321
David Horstmann71159f42023-01-03 12:51:59 +0000322 ret = mbedtls_ssl_tls13_export_handshake_psk(ssl, &psk, &psk_len);
323 if (ret != 0) {
324 return ret;
325 }
Jerry Yu96a2e362022-07-21 15:11:34 +0800326
David Horstmann71159f42023-01-03 12:51:59 +0000327 ret = mbedtls_ssl_tls13_create_psk_binder(ssl, psk_hash_alg,
328 psk, psk_len, psk_type,
329 transcript,
330 server_computed_binder);
Jerry Yu96a2e362022-07-21 15:11:34 +0800331#if defined(MBEDTLS_USE_PSA_CRYPTO)
David Horstmann71159f42023-01-03 12:51:59 +0000332 mbedtls_free((void *) psk);
Jerry Yu96a2e362022-07-21 15:11:34 +0800333#endif
David Horstmann71159f42023-01-03 12:51:59 +0000334 if (ret != 0) {
335 MBEDTLS_SSL_DEBUG_MSG(1, ("PSK binder calculation failed."));
336 return MBEDTLS_ERR_SSL_HANDSHAKE_FAILURE;
Jerry Yu1c105562022-07-10 06:32:38 +0000337 }
338
David Horstmann71159f42023-01-03 12:51:59 +0000339 MBEDTLS_SSL_DEBUG_BUF(3, "psk binder ( computed ): ",
340 server_computed_binder, transcript_len);
341 MBEDTLS_SSL_DEBUG_BUF(3, "psk binder ( received ): ", binder, binder_len);
Jerry Yu1c105562022-07-10 06:32:38 +0000342
David Horstmann71159f42023-01-03 12:51:59 +0000343 if (mbedtls_ct_memcmp(server_computed_binder, binder, binder_len) == 0) {
344 return SSL_TLS1_3_OFFERED_PSK_MATCH;
Jerry Yu1c105562022-07-10 06:32:38 +0000345 }
346
David Horstmann71159f42023-01-03 12:51:59 +0000347 mbedtls_platform_zeroize(server_computed_binder,
348 sizeof(server_computed_binder));
349 return SSL_TLS1_3_OFFERED_PSK_NOT_MATCH;
Jerry Yu1c105562022-07-10 06:32:38 +0000350}
Jerry Yu96a2e362022-07-21 15:11:34 +0800351
Jerry Yu5725f1c2022-08-21 17:27:16 +0800352MBEDTLS_CHECK_RETURN_CRITICAL
Jerry Yuf35ba382022-08-23 17:58:26 +0800353static int ssl_tls13_select_ciphersuite_for_psk(
David Horstmann71159f42023-01-03 12:51:59 +0000354 mbedtls_ssl_context *ssl,
355 const unsigned char *cipher_suites,
356 const unsigned char *cipher_suites_end,
357 uint16_t *selected_ciphersuite,
358 const mbedtls_ssl_ciphersuite_t **selected_ciphersuite_info)
Jerry Yu5725f1c2022-08-21 17:27:16 +0800359{
Jerry Yuf35ba382022-08-23 17:58:26 +0800360 psa_algorithm_t psk_hash_alg = PSA_ALG_SHA_256;
Jerry Yu5725f1c2022-08-21 17:27:16 +0800361
Jerry Yu0baf9072022-08-25 11:21:04 +0800362 *selected_ciphersuite = 0;
363 *selected_ciphersuite_info = NULL;
364
Jerry Yuf35ba382022-08-23 17:58:26 +0800365 /* RFC 8446, page 55.
366 *
367 * For externally established PSKs, the Hash algorithm MUST be set when the
368 * PSK is established or default to SHA-256 if no such algorithm is defined.
369 *
370 */
Jerry Yu5725f1c2022-08-21 17:27:16 +0800371
Jerry Yu5725f1c2022-08-21 17:27:16 +0800372 /*
373 * Search for a matching ciphersuite
374 */
David Horstmann71159f42023-01-03 12:51:59 +0000375 for (const unsigned char *p = cipher_suites;
376 p < cipher_suites_end; p += 2) {
Jerry Yu5725f1c2022-08-21 17:27:16 +0800377 uint16_t cipher_suite;
Jerry Yuf35ba382022-08-23 17:58:26 +0800378 const mbedtls_ssl_ciphersuite_t *ciphersuite_info;
Jerry Yu5725f1c2022-08-21 17:27:16 +0800379
David Horstmann71159f42023-01-03 12:51:59 +0000380 cipher_suite = MBEDTLS_GET_UINT16_BE(p, 0);
381 ciphersuite_info = ssl_tls13_validate_peer_ciphersuite(ssl,
382 cipher_suite);
383 if (ciphersuite_info == NULL) {
Jerry Yu5725f1c2022-08-21 17:27:16 +0800384 continue;
David Horstmann71159f42023-01-03 12:51:59 +0000385 }
Jerry Yu5725f1c2022-08-21 17:27:16 +0800386
Jerry Yu5725f1c2022-08-21 17:27:16 +0800387 /* MAC of selected ciphersuite MUST be same with PSK binder if exist.
388 * Otherwise, client should reject.
389 */
David Horstmann71159f42023-01-03 12:51:59 +0000390 if (psk_hash_alg == mbedtls_psa_translate_md(ciphersuite_info->mac)) {
Jerry Yuf35ba382022-08-23 17:58:26 +0800391 *selected_ciphersuite = cipher_suite;
392 *selected_ciphersuite_info = ciphersuite_info;
David Horstmann71159f42023-01-03 12:51:59 +0000393 return 0;
Jerry Yuf35ba382022-08-23 17:58:26 +0800394 }
395 }
David Horstmann71159f42023-01-03 12:51:59 +0000396 MBEDTLS_SSL_DEBUG_MSG(2, ("No matched ciphersuite"));
397 return MBEDTLS_ERR_SSL_HANDSHAKE_FAILURE;
Jerry Yuf35ba382022-08-23 17:58:26 +0800398}
Jerry Yu5725f1c2022-08-21 17:27:16 +0800399
Jerry Yu82534862022-08-30 10:42:33 +0800400#if defined(MBEDTLS_SSL_SESSION_TICKETS)
Jerry Yuf35ba382022-08-23 17:58:26 +0800401MBEDTLS_CHECK_RETURN_CRITICAL
402static int ssl_tls13_select_ciphersuite_for_resumption(
David Horstmann71159f42023-01-03 12:51:59 +0000403 mbedtls_ssl_context *ssl,
404 const unsigned char *cipher_suites,
405 const unsigned char *cipher_suites_end,
406 mbedtls_ssl_session *session,
407 uint16_t *selected_ciphersuite,
408 const mbedtls_ssl_ciphersuite_t **selected_ciphersuite_info)
Jerry Yuf35ba382022-08-23 17:58:26 +0800409{
Jerry Yu82534862022-08-30 10:42:33 +0800410
Jerry Yuf35ba382022-08-23 17:58:26 +0800411 *selected_ciphersuite = 0;
412 *selected_ciphersuite_info = NULL;
David Horstmann71159f42023-01-03 12:51:59 +0000413 for (const unsigned char *p = cipher_suites; p < cipher_suites_end; p += 2) {
414 uint16_t cipher_suite = MBEDTLS_GET_UINT16_BE(p, 0);
Jerry Yu82534862022-08-30 10:42:33 +0800415 const mbedtls_ssl_ciphersuite_t *ciphersuite_info;
416
David Horstmann71159f42023-01-03 12:51:59 +0000417 if (cipher_suite != session->ciphersuite) {
Jerry Yu82534862022-08-30 10:42:33 +0800418 continue;
David Horstmann71159f42023-01-03 12:51:59 +0000419 }
Jerry Yu82534862022-08-30 10:42:33 +0800420
David Horstmann71159f42023-01-03 12:51:59 +0000421 ciphersuite_info = ssl_tls13_validate_peer_ciphersuite(ssl,
422 cipher_suite);
423 if (ciphersuite_info == NULL) {
Jerry Yu82534862022-08-30 10:42:33 +0800424 continue;
David Horstmann71159f42023-01-03 12:51:59 +0000425 }
Jerry Yu82534862022-08-30 10:42:33 +0800426
Jerry Yu4746b102022-09-13 11:11:48 +0800427 *selected_ciphersuite = cipher_suite;
Jerry Yu82534862022-08-30 10:42:33 +0800428 *selected_ciphersuite_info = ciphersuite_info;
429
David Horstmann71159f42023-01-03 12:51:59 +0000430 return 0;
Jerry Yu82534862022-08-30 10:42:33 +0800431 }
432
David Horstmann71159f42023-01-03 12:51:59 +0000433 return MBEDTLS_ERR_SSL_HANDSHAKE_FAILURE;
Jerry Yu5725f1c2022-08-21 17:27:16 +0800434}
Jerry Yuf35ba382022-08-23 17:58:26 +0800435
Jerry Yu82534862022-08-30 10:42:33 +0800436MBEDTLS_CHECK_RETURN_CRITICAL
David Horstmann71159f42023-01-03 12:51:59 +0000437static int ssl_tls13_session_copy_ticket(mbedtls_ssl_session *dst,
438 const mbedtls_ssl_session *src)
Jerry Yu82534862022-08-30 10:42:33 +0800439{
Jerry Yu82534862022-08-30 10:42:33 +0800440 dst->ticket_age_add = src->ticket_age_add;
441 dst->ticket_flags = src->ticket_flags;
442 dst->resumption_key_len = src->resumption_key_len;
David Horstmann71159f42023-01-03 12:51:59 +0000443 if (src->resumption_key_len == 0) {
444 return MBEDTLS_ERR_SSL_INTERNAL_ERROR;
445 }
446 memcpy(dst->resumption_key, src->resumption_key, src->resumption_key_len);
Jerry Yu4746b102022-09-13 11:11:48 +0800447
David Horstmann71159f42023-01-03 12:51:59 +0000448 return 0;
Jerry Yu82534862022-08-30 10:42:33 +0800449}
450#endif /* MBEDTLS_SSL_SESSION_TICKETS */
451
Jerry Yu1c105562022-07-10 06:32:38 +0000452/* Parser for pre_shared_key extension in client hello
453 * struct {
454 * opaque identity<1..2^16-1>;
455 * uint32 obfuscated_ticket_age;
456 * } PskIdentity;
457 *
458 * opaque PskBinderEntry<32..255>;
459 *
460 * struct {
461 * PskIdentity identities<7..2^16-1>;
462 * PskBinderEntry binders<33..2^16-1>;
463 * } OfferedPsks;
464 *
465 * struct {
466 * select (Handshake.msg_type) {
467 * case client_hello: OfferedPsks;
468 * ....
469 * };
470 * } PreSharedKeyExtension;
471 */
Jerry Yu6e74a7e2022-07-20 20:49:32 +0800472MBEDTLS_CHECK_RETURN_CRITICAL
David Horstmann71159f42023-01-03 12:51:59 +0000473static int ssl_tls13_parse_pre_shared_key_ext(mbedtls_ssl_context *ssl,
474 const unsigned char *pre_shared_key_ext,
475 const unsigned char *pre_shared_key_ext_end,
476 const unsigned char *ciphersuites,
477 const unsigned char *ciphersuites_end)
Jerry Yu1c105562022-07-10 06:32:38 +0000478{
Jerry Yu29d9faa2022-08-23 17:52:45 +0800479 const unsigned char *identities = pre_shared_key_ext;
Jerry Yu568ec252022-07-22 21:27:34 +0800480 const unsigned char *p_identity_len;
481 size_t identities_len;
Jerry Yu1c105562022-07-10 06:32:38 +0000482 const unsigned char *identities_end;
Jerry Yu568ec252022-07-22 21:27:34 +0800483 const unsigned char *binders;
484 const unsigned char *p_binder_len;
485 size_t binders_len;
Jerry Yu1c105562022-07-10 06:32:38 +0000486 const unsigned char *binders_end;
Jerry Yu96a2e362022-07-21 15:11:34 +0800487 int matched_identity = -1;
488 int identity_id = -1;
Jerry Yu1c105562022-07-10 06:32:38 +0000489
David Horstmann71159f42023-01-03 12:51:59 +0000490 MBEDTLS_SSL_DEBUG_BUF(3, "pre_shared_key extension",
491 pre_shared_key_ext,
492 pre_shared_key_ext_end - pre_shared_key_ext);
Jerry Yu1c105562022-07-10 06:32:38 +0000493
Jerry Yu96a2e362022-07-21 15:11:34 +0800494 /* identities_len 2 bytes
495 * identities_data >= 7 bytes
496 */
David Horstmann71159f42023-01-03 12:51:59 +0000497 MBEDTLS_SSL_CHK_BUF_READ_PTR(identities, pre_shared_key_ext_end, 7 + 2);
498 identities_len = MBEDTLS_GET_UINT16_BE(identities, 0);
Jerry Yu568ec252022-07-22 21:27:34 +0800499 p_identity_len = identities + 2;
David Horstmann71159f42023-01-03 12:51:59 +0000500 MBEDTLS_SSL_CHK_BUF_READ_PTR(p_identity_len, pre_shared_key_ext_end,
501 identities_len);
Jerry Yu568ec252022-07-22 21:27:34 +0800502 identities_end = p_identity_len + identities_len;
Jerry Yu1c105562022-07-10 06:32:38 +0000503
Jerry Yu96a2e362022-07-21 15:11:34 +0800504 /* binders_len 2 bytes
505 * binders >= 33 bytes
506 */
Jerry Yu568ec252022-07-22 21:27:34 +0800507 binders = identities_end;
David Horstmann71159f42023-01-03 12:51:59 +0000508 MBEDTLS_SSL_CHK_BUF_READ_PTR(binders, pre_shared_key_ext_end, 33 + 2);
509 binders_len = MBEDTLS_GET_UINT16_BE(binders, 0);
Jerry Yu568ec252022-07-22 21:27:34 +0800510 p_binder_len = binders + 2;
David Horstmann71159f42023-01-03 12:51:59 +0000511 MBEDTLS_SSL_CHK_BUF_READ_PTR(p_binder_len, pre_shared_key_ext_end, binders_len);
Jerry Yu568ec252022-07-22 21:27:34 +0800512 binders_end = p_binder_len + binders_len;
Jerry Yu1c105562022-07-10 06:32:38 +0000513
David Horstmann71159f42023-01-03 12:51:59 +0000514 ssl->handshake->update_checksum(ssl, pre_shared_key_ext,
515 identities_end - pre_shared_key_ext);
Jerry Yu96a2e362022-07-21 15:11:34 +0800516
David Horstmann71159f42023-01-03 12:51:59 +0000517 while (p_identity_len < identities_end && p_binder_len < binders_end) {
Jerry Yu1c105562022-07-10 06:32:38 +0000518 const unsigned char *identity;
Jerry Yu568ec252022-07-22 21:27:34 +0800519 size_t identity_len;
Jerry Yu82534862022-08-30 10:42:33 +0800520 uint32_t obfuscated_ticket_age;
Jerry Yu96a2e362022-07-21 15:11:34 +0800521 const unsigned char *binder;
Jerry Yu568ec252022-07-22 21:27:34 +0800522 size_t binder_len;
Jerry Yu96a2e362022-07-21 15:11:34 +0800523 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Jerry Yu5725f1c2022-08-21 17:27:16 +0800524 int psk_type;
525 uint16_t cipher_suite;
Jerry Yu29d9faa2022-08-23 17:52:45 +0800526 const mbedtls_ssl_ciphersuite_t *ciphersuite_info;
Jerry Yu82534862022-08-30 10:42:33 +0800527#if defined(MBEDTLS_SSL_SESSION_TICKETS)
528 mbedtls_ssl_session session;
David Horstmann71159f42023-01-03 12:51:59 +0000529 mbedtls_ssl_session_init(&session);
Jerry Yu82534862022-08-30 10:42:33 +0800530#endif
Jerry Yubb852022022-07-20 21:10:44 +0800531
David Horstmann71159f42023-01-03 12:51:59 +0000532 MBEDTLS_SSL_CHK_BUF_READ_PTR(p_identity_len, identities_end, 2 + 1 + 4);
533 identity_len = MBEDTLS_GET_UINT16_BE(p_identity_len, 0);
Jerry Yu568ec252022-07-22 21:27:34 +0800534 identity = p_identity_len + 2;
David Horstmann71159f42023-01-03 12:51:59 +0000535 MBEDTLS_SSL_CHK_BUF_READ_PTR(identity, identities_end, identity_len + 4);
536 obfuscated_ticket_age = MBEDTLS_GET_UINT32_BE(identity, identity_len);
Jerry Yu568ec252022-07-22 21:27:34 +0800537 p_identity_len += identity_len + 6;
Jerry Yu1c105562022-07-10 06:32:38 +0000538
David Horstmann71159f42023-01-03 12:51:59 +0000539 MBEDTLS_SSL_CHK_BUF_READ_PTR(p_binder_len, binders_end, 1 + 32);
Jerry Yu568ec252022-07-22 21:27:34 +0800540 binder_len = *p_binder_len;
541 binder = p_binder_len + 1;
David Horstmann71159f42023-01-03 12:51:59 +0000542 MBEDTLS_SSL_CHK_BUF_READ_PTR(binder, binders_end, binder_len);
Jerry Yu568ec252022-07-22 21:27:34 +0800543 p_binder_len += binder_len + 1;
Jerry Yu96a2e362022-07-21 15:11:34 +0800544
Jerry Yu96a2e362022-07-21 15:11:34 +0800545 identity_id++;
David Horstmann71159f42023-01-03 12:51:59 +0000546 if (matched_identity != -1) {
Jerry Yu1c105562022-07-10 06:32:38 +0000547 continue;
David Horstmann71159f42023-01-03 12:51:59 +0000548 }
Jerry Yu1c105562022-07-10 06:32:38 +0000549
Jerry Yu96a2e362022-07-21 15:11:34 +0800550 ret = ssl_tls13_offered_psks_check_identity_match(
David Horstmann71159f42023-01-03 12:51:59 +0000551 ssl, identity, identity_len, obfuscated_ticket_age,
552 &psk_type, &session);
553 if (ret != SSL_TLS1_3_OFFERED_PSK_MATCH) {
Jerry Yu96a2e362022-07-21 15:11:34 +0800554 continue;
David Horstmann71159f42023-01-03 12:51:59 +0000555 }
Jerry Yu96a2e362022-07-21 15:11:34 +0800556
David Horstmann71159f42023-01-03 12:51:59 +0000557 MBEDTLS_SSL_DEBUG_MSG(4, ("found matched identity"));
558 switch (psk_type) {
Jerry Yu0baf9072022-08-25 11:21:04 +0800559 case MBEDTLS_SSL_TLS1_3_PSK_EXTERNAL:
560 ret = ssl_tls13_select_ciphersuite_for_psk(
David Horstmann71159f42023-01-03 12:51:59 +0000561 ssl, ciphersuites, ciphersuites_end,
562 &cipher_suite, &ciphersuite_info);
Jerry Yu0baf9072022-08-25 11:21:04 +0800563 break;
564 case MBEDTLS_SSL_TLS1_3_PSK_RESUMPTION:
Jerry Yu82534862022-08-30 10:42:33 +0800565#if defined(MBEDTLS_SSL_SESSION_TICKETS)
Jerry Yu0baf9072022-08-25 11:21:04 +0800566 ret = ssl_tls13_select_ciphersuite_for_resumption(
David Horstmann71159f42023-01-03 12:51:59 +0000567 ssl, ciphersuites, ciphersuites_end, &session,
568 &cipher_suite, &ciphersuite_info);
569 if (ret != 0) {
570 mbedtls_ssl_session_free(&session);
571 }
Jerry Yu82534862022-08-30 10:42:33 +0800572#else
573 ret = MBEDTLS_ERR_SSL_FEATURE_UNAVAILABLE;
574#endif
Jerry Yu0baf9072022-08-25 11:21:04 +0800575 break;
576 default:
David Horstmann71159f42023-01-03 12:51:59 +0000577 return MBEDTLS_ERR_SSL_INTERNAL_ERROR;
Jerry Yu0baf9072022-08-25 11:21:04 +0800578 }
David Horstmann71159f42023-01-03 12:51:59 +0000579 if (ret != 0) {
Jerry Yuf35ba382022-08-23 17:58:26 +0800580 /* See below, no cipher_suite available, abort handshake */
581 MBEDTLS_SSL_PEND_FATAL_ALERT(
582 MBEDTLS_SSL_ALERT_MSG_DECRYPT_ERROR,
David Horstmann71159f42023-01-03 12:51:59 +0000583 MBEDTLS_ERR_SSL_HANDSHAKE_FAILURE);
Jerry Yuf35ba382022-08-23 17:58:26 +0800584 MBEDTLS_SSL_DEBUG_RET(
David Horstmann71159f42023-01-03 12:51:59 +0000585 2, "ssl_tls13_select_ciphersuite", ret);
586 return ret;
Jerry Yu5725f1c2022-08-21 17:27:16 +0800587 }
588
Jerry Yu96a2e362022-07-21 15:11:34 +0800589 ret = ssl_tls13_offered_psks_check_binder_match(
David Horstmann71159f42023-01-03 12:51:59 +0000590 ssl, binder, binder_len, psk_type,
591 mbedtls_psa_translate_md(ciphersuite_info->mac));
592 if (ret != SSL_TLS1_3_OFFERED_PSK_MATCH) {
Jerry Yuc5a23a02022-08-25 10:51:44 +0800593 /* For security reasons, the handshake should be aborted when we
594 * fail to validate a binder value. See RFC 8446 section 4.2.11.2
595 * and appendix E.6. */
Jerry Yu82534862022-08-30 10:42:33 +0800596#if defined(MBEDTLS_SSL_SESSION_TICKETS)
David Horstmann71159f42023-01-03 12:51:59 +0000597 mbedtls_ssl_session_free(&session);
Jerry Yu82534862022-08-30 10:42:33 +0800598#endif
David Horstmann71159f42023-01-03 12:51:59 +0000599 MBEDTLS_SSL_DEBUG_MSG(3, ("Invalid binder."));
600 MBEDTLS_SSL_DEBUG_RET(1,
601 "ssl_tls13_offered_psks_check_binder_match", ret);
Jerry Yu96a2e362022-07-21 15:11:34 +0800602 MBEDTLS_SSL_PEND_FATAL_ALERT(
603 MBEDTLS_SSL_ALERT_MSG_DECRYPT_ERROR,
David Horstmann71159f42023-01-03 12:51:59 +0000604 MBEDTLS_ERR_SSL_HANDSHAKE_FAILURE);
605 return ret;
Jerry Yu96a2e362022-07-21 15:11:34 +0800606 }
Jerry Yu96a2e362022-07-21 15:11:34 +0800607
608 matched_identity = identity_id;
Jerry Yu5725f1c2022-08-21 17:27:16 +0800609
610 /* Update handshake parameters */
Jerry Yue5834fd2022-08-29 20:16:09 +0800611 ssl->handshake->ciphersuite_info = ciphersuite_info;
Jerry Yu4746b102022-09-13 11:11:48 +0800612 ssl->session_negotiate->ciphersuite = cipher_suite;
David Horstmann71159f42023-01-03 12:51:59 +0000613 MBEDTLS_SSL_DEBUG_MSG(2, ("overwrite ciphersuite: %04x - %s",
614 cipher_suite, ciphersuite_info->name));
Jerry Yu82534862022-08-30 10:42:33 +0800615#if defined(MBEDTLS_SSL_SESSION_TICKETS)
David Horstmann71159f42023-01-03 12:51:59 +0000616 if (psk_type == MBEDTLS_SSL_TLS1_3_PSK_RESUMPTION) {
617 ret = ssl_tls13_session_copy_ticket(ssl->session_negotiate,
618 &session);
619 mbedtls_ssl_session_free(&session);
620 if (ret != 0) {
621 return ret;
622 }
Jerry Yu82534862022-08-30 10:42:33 +0800623 }
624#endif /* MBEDTLS_SSL_SESSION_TICKETS */
Jerry Yu1c105562022-07-10 06:32:38 +0000625 }
626
David Horstmann71159f42023-01-03 12:51:59 +0000627 if (p_identity_len != identities_end || p_binder_len != binders_end) {
628 MBEDTLS_SSL_DEBUG_MSG(3, ("pre_shared_key extension decode error"));
629 MBEDTLS_SSL_PEND_FATAL_ALERT(MBEDTLS_SSL_ALERT_MSG_DECODE_ERROR,
630 MBEDTLS_ERR_SSL_DECODE_ERROR);
631 return MBEDTLS_ERR_SSL_DECODE_ERROR;
Jerry Yu1c105562022-07-10 06:32:38 +0000632 }
633
Jerry Yu6f1db3f2022-07-22 23:05:59 +0800634 /* Update the handshake transcript with the binder list. */
David Horstmann71159f42023-01-03 12:51:59 +0000635 ssl->handshake->update_checksum(ssl,
636 identities_end,
637 (size_t) (binders_end - identities_end));
638 if (matched_identity == -1) {
639 MBEDTLS_SSL_DEBUG_MSG(3, ("No matched PSK or ticket."));
640 return MBEDTLS_ERR_SSL_UNKNOWN_IDENTITY;
Jerry Yu1c105562022-07-10 06:32:38 +0000641 }
642
David Horstmann71159f42023-01-03 12:51:59 +0000643 ssl->handshake->selected_identity = (uint16_t) matched_identity;
644 MBEDTLS_SSL_DEBUG_MSG(3, ("Pre shared key found"));
Jerry Yu1c105562022-07-10 06:32:38 +0000645
David Horstmann71159f42023-01-03 12:51:59 +0000646 return 0;
Jerry Yu1c105562022-07-10 06:32:38 +0000647}
Jerry Yu032b15ce2022-07-11 06:10:03 +0000648
649/*
650 * struct {
651 * select ( Handshake.msg_type ) {
652 * ....
653 * case server_hello:
654 * uint16 selected_identity;
655 * }
656 * } PreSharedKeyExtension;
657 */
David Horstmann71159f42023-01-03 12:51:59 +0000658static int ssl_tls13_write_server_pre_shared_key_ext(mbedtls_ssl_context *ssl,
659 unsigned char *buf,
660 unsigned char *end,
661 size_t *olen)
Jerry Yu032b15ce2022-07-11 06:10:03 +0000662{
David Horstmann71159f42023-01-03 12:51:59 +0000663 unsigned char *p = (unsigned char *) buf;
Jerry Yu032b15ce2022-07-11 06:10:03 +0000664
665 *olen = 0;
666
David Horstmann21b89762022-10-06 18:34:28 +0100667 int not_using_psk = 0;
Jerry Yu032b15ce2022-07-11 06:10:03 +0000668#if defined(MBEDTLS_USE_PSA_CRYPTO)
David Horstmann71159f42023-01-03 12:51:59 +0000669 not_using_psk = (mbedtls_svc_key_id_is_null(ssl->handshake->psk_opaque));
Jerry Yu032b15ce2022-07-11 06:10:03 +0000670#else
David Horstmann71159f42023-01-03 12:51:59 +0000671 not_using_psk = (ssl->handshake->psk == NULL);
Jerry Yu032b15ce2022-07-11 06:10:03 +0000672#endif
David Horstmann71159f42023-01-03 12:51:59 +0000673 if (not_using_psk) {
Jerry Yu032b15ce2022-07-11 06:10:03 +0000674 /* We shouldn't have called this extension writer unless we've
675 * chosen to use a PSK. */
David Horstmann71159f42023-01-03 12:51:59 +0000676 return MBEDTLS_ERR_SSL_INTERNAL_ERROR;
Jerry Yu032b15ce2022-07-11 06:10:03 +0000677 }
678
David Horstmann71159f42023-01-03 12:51:59 +0000679 MBEDTLS_SSL_DEBUG_MSG(3, ("server hello, adding pre_shared_key extension"));
680 MBEDTLS_SSL_CHK_BUF_PTR(p, end, 6);
Jerry Yu032b15ce2022-07-11 06:10:03 +0000681
David Horstmann71159f42023-01-03 12:51:59 +0000682 MBEDTLS_PUT_UINT16_BE(MBEDTLS_TLS_EXT_PRE_SHARED_KEY, p, 0);
683 MBEDTLS_PUT_UINT16_BE(2, p, 2);
Jerry Yu032b15ce2022-07-11 06:10:03 +0000684
David Horstmann71159f42023-01-03 12:51:59 +0000685 MBEDTLS_PUT_UINT16_BE(ssl->handshake->selected_identity, p, 4);
Jerry Yu032b15ce2022-07-11 06:10:03 +0000686
687 *olen = 6;
688
David Horstmann71159f42023-01-03 12:51:59 +0000689 MBEDTLS_SSL_DEBUG_MSG(4, ("sent selected_identity: %u",
690 ssl->handshake->selected_identity));
Jerry Yu032b15ce2022-07-11 06:10:03 +0000691
David Horstmann71159f42023-01-03 12:51:59 +0000692 mbedtls_ssl_tls13_set_hs_sent_ext_mask(ssl, MBEDTLS_TLS_EXT_PRE_SHARED_KEY);
Jerry Yub95dd362022-11-08 21:19:34 +0800693
David Horstmann71159f42023-01-03 12:51:59 +0000694 return 0;
Jerry Yu032b15ce2022-07-11 06:10:03 +0000695}
696
Ronald Cron41a443a2022-10-04 16:38:25 +0200697#endif /* MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_SOME_PSK_ENABLED */
Jerry Yue19e3b92022-07-08 12:04:51 +0000698
XiaokangQian7807f9f2022-02-15 10:04:37 +0000699/* From RFC 8446:
700 * struct {
XiaokangQiancfd925f2022-04-14 07:10:37 +0000701 * ProtocolVersion versions<2..254>;
XiaokangQian7807f9f2022-02-15 10:04:37 +0000702 * } SupportedVersions;
703 */
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +0200704MBEDTLS_CHECK_RETURN_CRITICAL
David Horstmann71159f42023-01-03 12:51:59 +0000705static int ssl_tls13_parse_supported_versions_ext(mbedtls_ssl_context *ssl,
706 const unsigned char *buf,
707 const unsigned char *end)
XiaokangQian7807f9f2022-02-15 10:04:37 +0000708{
XiaokangQian7807f9f2022-02-15 10:04:37 +0000709 const unsigned char *p = buf;
XiaokangQian8f9dfe42022-04-15 02:52:39 +0000710 size_t versions_len;
XiaokangQian4080a7f2022-04-11 09:55:18 +0000711 const unsigned char *versions_end;
XiaokangQian0a1b54e2022-04-21 03:01:38 +0000712 uint16_t tls_version;
XiaokangQian8f9dfe42022-04-15 02:52:39 +0000713 int tls13_supported = 0;
XiaokangQian7807f9f2022-02-15 10:04:37 +0000714
David Horstmann71159f42023-01-03 12:51:59 +0000715 MBEDTLS_SSL_CHK_BUF_READ_PTR(p, end, 1);
XiaokangQian4080a7f2022-04-11 09:55:18 +0000716 versions_len = p[0];
XiaokangQian7807f9f2022-02-15 10:04:37 +0000717 p += 1;
718
David Horstmann71159f42023-01-03 12:51:59 +0000719 MBEDTLS_SSL_CHK_BUF_READ_PTR(p, end, versions_len);
XiaokangQian4080a7f2022-04-11 09:55:18 +0000720 versions_end = p + versions_len;
David Horstmann71159f42023-01-03 12:51:59 +0000721 while (p < versions_end) {
722 MBEDTLS_SSL_CHK_BUF_READ_PTR(p, versions_end, 2);
723 tls_version = mbedtls_ssl_read_version(p, ssl->conf->transport);
XiaokangQianb67384d2022-04-19 00:02:38 +0000724 p += 2;
XiaokangQian7807f9f2022-02-15 10:04:37 +0000725
726 /* In this implementation we only support TLS 1.3 and DTLS 1.3. */
David Horstmann71159f42023-01-03 12:51:59 +0000727 if (tls_version == MBEDTLS_SSL_VERSION_TLS1_3) {
XiaokangQian7807f9f2022-02-15 10:04:37 +0000728 tls13_supported = 1;
729 break;
730 }
XiaokangQian7807f9f2022-02-15 10:04:37 +0000731 }
732
David Horstmann71159f42023-01-03 12:51:59 +0000733 if (!tls13_supported) {
734 MBEDTLS_SSL_DEBUG_MSG(1, ("TLS 1.3 is not supported by the client"));
XiaokangQian7807f9f2022-02-15 10:04:37 +0000735
David Horstmann71159f42023-01-03 12:51:59 +0000736 MBEDTLS_SSL_PEND_FATAL_ALERT(MBEDTLS_SSL_ALERT_MSG_PROTOCOL_VERSION,
737 MBEDTLS_ERR_SSL_BAD_PROTOCOL_VERSION);
738 return MBEDTLS_ERR_SSL_BAD_PROTOCOL_VERSION;
XiaokangQian7807f9f2022-02-15 10:04:37 +0000739 }
740
David Horstmann71159f42023-01-03 12:51:59 +0000741 MBEDTLS_SSL_DEBUG_MSG(1, ("Negotiated version. Supported is [%04x]",
742 (unsigned int) tls_version));
XiaokangQian7807f9f2022-02-15 10:04:37 +0000743
David Horstmann71159f42023-01-03 12:51:59 +0000744 return 0;
XiaokangQian7807f9f2022-02-15 10:04:37 +0000745}
746
XiaokangQian8f9dfe42022-04-15 02:52:39 +0000747#if defined(MBEDTLS_ECDH_C)
XiaokangQiane8ff3502022-04-22 02:34:40 +0000748/*
XiaokangQian7807f9f2022-02-15 10:04:37 +0000749 *
750 * From RFC 8446:
751 * enum {
752 * ... (0xFFFF)
753 * } NamedGroup;
754 * struct {
755 * NamedGroup named_group_list<2..2^16-1>;
756 * } NamedGroupList;
757 */
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +0200758MBEDTLS_CHECK_RETURN_CRITICAL
David Horstmann71159f42023-01-03 12:51:59 +0000759static int ssl_tls13_parse_supported_groups_ext(mbedtls_ssl_context *ssl,
760 const unsigned char *buf,
761 const unsigned char *end)
XiaokangQian7807f9f2022-02-15 10:04:37 +0000762{
XiaokangQian7807f9f2022-02-15 10:04:37 +0000763 const unsigned char *p = buf;
XiaokangQian84823772022-04-19 07:57:30 +0000764 size_t named_group_list_len;
XiaokangQian8f9dfe42022-04-15 02:52:39 +0000765 const unsigned char *named_group_list_end;
XiaokangQian7807f9f2022-02-15 10:04:37 +0000766
David Horstmann71159f42023-01-03 12:51:59 +0000767 MBEDTLS_SSL_DEBUG_BUF(3, "supported_groups extension", p, end - buf);
768 MBEDTLS_SSL_CHK_BUF_READ_PTR(p, end, 2);
769 named_group_list_len = MBEDTLS_GET_UINT16_BE(p, 0);
XiaokangQian7807f9f2022-02-15 10:04:37 +0000770 p += 2;
David Horstmann71159f42023-01-03 12:51:59 +0000771 MBEDTLS_SSL_CHK_BUF_READ_PTR(p, end, named_group_list_len);
XiaokangQian8f9dfe42022-04-15 02:52:39 +0000772 named_group_list_end = p + named_group_list_len;
XiaokangQian4e8cd7b2022-04-21 09:48:09 +0000773 ssl->handshake->hrr_selected_group = 0;
XiaokangQian7807f9f2022-02-15 10:04:37 +0000774
David Horstmann71159f42023-01-03 12:51:59 +0000775 while (p < named_group_list_end) {
XiaokangQian08037552022-04-20 07:16:41 +0000776 uint16_t named_group;
David Horstmann71159f42023-01-03 12:51:59 +0000777 MBEDTLS_SSL_CHK_BUF_READ_PTR(p, named_group_list_end, 2);
778 named_group = MBEDTLS_GET_UINT16_BE(p, 0);
XiaokangQian08037552022-04-20 07:16:41 +0000779 p += 2;
XiaokangQian7807f9f2022-02-15 10:04:37 +0000780
David Horstmann71159f42023-01-03 12:51:59 +0000781 MBEDTLS_SSL_DEBUG_MSG(2,
782 ("got named group: %s(%04x)",
783 mbedtls_ssl_named_group_to_str(named_group),
784 named_group));
XiaokangQian08037552022-04-20 07:16:41 +0000785
David Horstmann71159f42023-01-03 12:51:59 +0000786 if (!mbedtls_ssl_named_group_is_offered(ssl, named_group) ||
787 !mbedtls_ssl_named_group_is_supported(named_group) ||
788 ssl->handshake->hrr_selected_group != 0) {
XiaokangQian08037552022-04-20 07:16:41 +0000789 continue;
XiaokangQian7807f9f2022-02-15 10:04:37 +0000790 }
791
David Horstmann71159f42023-01-03 12:51:59 +0000792 MBEDTLS_SSL_DEBUG_MSG(2,
793 ("add named group %s(%04x) into received list.",
794 mbedtls_ssl_named_group_to_str(named_group),
795 named_group));
Jerry Yuc1be19f2022-04-23 16:11:39 +0800796
XiaokangQian4e8cd7b2022-04-21 09:48:09 +0000797 ssl->handshake->hrr_selected_group = named_group;
XiaokangQian7807f9f2022-02-15 10:04:37 +0000798 }
799
David Horstmann71159f42023-01-03 12:51:59 +0000800 return 0;
XiaokangQian7807f9f2022-02-15 10:04:37 +0000801
802}
XiaokangQian8f9dfe42022-04-15 02:52:39 +0000803#endif /* MBEDTLS_ECDH_C */
XiaokangQian7807f9f2022-02-15 10:04:37 +0000804
XiaokangQian08037552022-04-20 07:16:41 +0000805#define SSL_TLS1_3_PARSE_KEY_SHARES_EXT_NO_MATCH 1
806
XiaokangQian88408882022-04-02 10:15:03 +0000807#if defined(MBEDTLS_ECDH_C)
XiaokangQian7807f9f2022-02-15 10:04:37 +0000808/*
809 * ssl_tls13_parse_key_shares_ext() verifies whether the information in the
XiaokangQiane8ff3502022-04-22 02:34:40 +0000810 * extension is correct and stores the first acceptable key share and its associated group.
XiaokangQian7807f9f2022-02-15 10:04:37 +0000811 *
812 * Possible return values are:
813 * - 0: Successful processing of the client provided key share extension.
XiaokangQian08037552022-04-20 07:16:41 +0000814 * - SSL_TLS1_3_PARSE_KEY_SHARES_EXT_NO_MATCH: The key shares provided by the client
XiaokangQian7807f9f2022-02-15 10:04:37 +0000815 * does not match a group supported by the server. A HelloRetryRequest will
816 * be needed.
XiaokangQiane8ff3502022-04-22 02:34:40 +0000817 * - A negative value for fatal errors.
Jerry Yuc1be19f2022-04-23 16:11:39 +0800818 */
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +0200819MBEDTLS_CHECK_RETURN_CRITICAL
David Horstmann71159f42023-01-03 12:51:59 +0000820static int ssl_tls13_parse_key_shares_ext(mbedtls_ssl_context *ssl,
821 const unsigned char *buf,
822 const unsigned char *end)
XiaokangQian7807f9f2022-02-15 10:04:37 +0000823{
XiaokangQianb67384d2022-04-19 00:02:38 +0000824 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
XiaokangQian7807f9f2022-02-15 10:04:37 +0000825 unsigned char const *p = buf;
XiaokangQian8f9dfe42022-04-15 02:52:39 +0000826 unsigned char const *client_shares_end;
Jerry Yuc1be19f2022-04-23 16:11:39 +0800827 size_t client_shares_len;
XiaokangQian7807f9f2022-02-15 10:04:37 +0000828
829 /* From RFC 8446:
830 *
831 * struct {
832 * KeyShareEntry client_shares<0..2^16-1>;
833 * } KeyShareClientHello;
834 *
835 */
836
David Horstmann71159f42023-01-03 12:51:59 +0000837 MBEDTLS_SSL_CHK_BUF_READ_PTR(p, end, 2);
838 client_shares_len = MBEDTLS_GET_UINT16_BE(p, 0);
XiaokangQian7807f9f2022-02-15 10:04:37 +0000839 p += 2;
David Horstmann71159f42023-01-03 12:51:59 +0000840 MBEDTLS_SSL_CHK_BUF_READ_PTR(p, end, client_shares_len);
XiaokangQian7807f9f2022-02-15 10:04:37 +0000841
842 ssl->handshake->offered_group_id = 0;
XiaokangQian8f9dfe42022-04-15 02:52:39 +0000843 client_shares_end = p + client_shares_len;
XiaokangQian7807f9f2022-02-15 10:04:37 +0000844
845 /* We try to find a suitable key share entry and copy it to the
846 * handshake context. Later, we have to find out whether we can do
847 * something with the provided key share or whether we have to
XiaokangQianc5763b52022-04-02 03:34:37 +0000848 * dismiss it and send a HelloRetryRequest message.
849 */
XiaokangQian7807f9f2022-02-15 10:04:37 +0000850
David Horstmann71159f42023-01-03 12:51:59 +0000851 while (p < client_shares_end) {
XiaokangQian9b5d04b2022-04-10 10:20:43 +0000852 uint16_t group;
Jerry Yuc1be19f2022-04-23 16:11:39 +0800853 size_t key_exchange_len;
Jerry Yu086edc22022-05-05 10:50:38 +0800854 const unsigned char *key_exchange;
XiaokangQian7807f9f2022-02-15 10:04:37 +0000855
856 /*
857 * struct {
858 * NamedGroup group;
859 * opaque key_exchange<1..2^16-1>;
860 * } KeyShareEntry;
861 */
David Horstmann71159f42023-01-03 12:51:59 +0000862 MBEDTLS_SSL_CHK_BUF_READ_PTR(p, client_shares_end, 4);
863 group = MBEDTLS_GET_UINT16_BE(p, 0);
864 key_exchange_len = MBEDTLS_GET_UINT16_BE(p, 2);
Jerry Yuc1be19f2022-04-23 16:11:39 +0800865 p += 4;
Jerry Yu086edc22022-05-05 10:50:38 +0800866 key_exchange = p;
David Horstmann71159f42023-01-03 12:51:59 +0000867 MBEDTLS_SSL_CHK_BUF_READ_PTR(p, client_shares_end, key_exchange_len);
Jerry Yu086edc22022-05-05 10:50:38 +0800868 p += key_exchange_len;
XiaokangQian7807f9f2022-02-15 10:04:37 +0000869
870 /* Continue parsing even if we have already found a match,
XiaokangQianc5763b52022-04-02 03:34:37 +0000871 * for input validation purposes.
872 */
David Horstmann71159f42023-01-03 12:51:59 +0000873 if (!mbedtls_ssl_named_group_is_offered(ssl, group) ||
874 !mbedtls_ssl_named_group_is_supported(group) ||
875 ssl->handshake->offered_group_id != 0) {
XiaokangQian060d8672022-04-21 09:24:56 +0000876 continue;
877 }
XiaokangQian060d8672022-04-21 09:24:56 +0000878
XiaokangQian7807f9f2022-02-15 10:04:37 +0000879 /*
XiaokangQian8f9dfe42022-04-15 02:52:39 +0000880 * For now, we only support ECDHE groups.
XiaokangQian7807f9f2022-02-15 10:04:37 +0000881 */
David Horstmann71159f42023-01-03 12:51:59 +0000882 if (mbedtls_ssl_tls13_named_group_is_ecdhe(group)) {
883 MBEDTLS_SSL_DEBUG_MSG(2, ("ECDH group: %s (%04x)",
884 mbedtls_ssl_named_group_to_str(group),
885 group));
XiaokangQian318dc762022-04-20 09:43:51 +0000886 ret = mbedtls_ssl_tls13_read_public_ecdhe_share(
David Horstmann71159f42023-01-03 12:51:59 +0000887 ssl, key_exchange - 2, key_exchange_len + 2);
888 if (ret != 0) {
889 return ret;
890 }
XiaokangQian4e8cd7b2022-04-21 09:48:09 +0000891
David Horstmann71159f42023-01-03 12:51:59 +0000892 } else {
893 MBEDTLS_SSL_DEBUG_MSG(4, ("Unrecognized NamedGroup %u",
894 (unsigned) group));
XiaokangQian7807f9f2022-02-15 10:04:37 +0000895 continue;
896 }
897
XiaokangQian9b5d04b2022-04-10 10:20:43 +0000898 ssl->handshake->offered_group_id = group;
XiaokangQian7807f9f2022-02-15 10:04:37 +0000899 }
900
Jerry Yuc1be19f2022-04-23 16:11:39 +0800901
David Horstmann71159f42023-01-03 12:51:59 +0000902 if (ssl->handshake->offered_group_id == 0) {
903 MBEDTLS_SSL_DEBUG_MSG(1, ("no matching key share"));
904 return SSL_TLS1_3_PARSE_KEY_SHARES_EXT_NO_MATCH;
XiaokangQian7807f9f2022-02-15 10:04:37 +0000905 }
David Horstmann71159f42023-01-03 12:51:59 +0000906 return 0;
XiaokangQian7807f9f2022-02-15 10:04:37 +0000907}
XiaokangQian88408882022-04-02 10:15:03 +0000908#endif /* MBEDTLS_ECDH_C */
XiaokangQian7807f9f2022-02-15 10:04:37 +0000909
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +0200910MBEDTLS_CHECK_RETURN_CRITICAL
David Horstmann71159f42023-01-03 12:51:59 +0000911static int ssl_tls13_client_hello_has_exts(mbedtls_ssl_context *ssl,
912 int exts_mask)
XiaokangQian7807f9f2022-02-15 10:04:37 +0000913{
Jerry Yu0c354a22022-08-29 15:25:36 +0800914 int masked = ssl->handshake->received_extensions & exts_mask;
David Horstmann71159f42023-01-03 12:51:59 +0000915 return masked == exts_mask;
XiaokangQian7807f9f2022-02-15 10:04:37 +0000916}
917
Jerry Yue5991322022-11-07 14:03:44 +0800918#if defined(MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_EPHEMERAL_ENABLED)
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +0200919MBEDTLS_CHECK_RETURN_CRITICAL
XiaokangQianb67384d2022-04-19 00:02:38 +0000920static int ssl_tls13_client_hello_has_exts_for_ephemeral_key_exchange(
David Horstmann71159f42023-01-03 12:51:59 +0000921 mbedtls_ssl_context *ssl)
XiaokangQian7807f9f2022-02-15 10:04:37 +0000922{
David Horstmann71159f42023-01-03 12:51:59 +0000923 return ssl_tls13_client_hello_has_exts(
924 ssl,
925 MBEDTLS_SSL_EXT_MASK(SUPPORTED_GROUPS) |
926 MBEDTLS_SSL_EXT_MASK(KEY_SHARE) |
927 MBEDTLS_SSL_EXT_MASK(SIG_ALG));
XiaokangQian7807f9f2022-02-15 10:04:37 +0000928}
Jerry Yue5991322022-11-07 14:03:44 +0800929#endif /* MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_EPHEMERAL_ENABLED */
XiaokangQian7807f9f2022-02-15 10:04:37 +0000930
Jerry Yue5991322022-11-07 14:03:44 +0800931#if defined(MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_PSK_ENABLED)
Jerry Yu77f01482022-07-11 07:03:24 +0000932MBEDTLS_CHECK_RETURN_CRITICAL
933static int ssl_tls13_client_hello_has_exts_for_psk_key_exchange(
David Horstmann71159f42023-01-03 12:51:59 +0000934 mbedtls_ssl_context *ssl)
Jerry Yu77f01482022-07-11 07:03:24 +0000935{
David Horstmann71159f42023-01-03 12:51:59 +0000936 return ssl_tls13_client_hello_has_exts(
937 ssl,
938 MBEDTLS_SSL_EXT_MASK(PRE_SHARED_KEY) |
939 MBEDTLS_SSL_EXT_MASK(PSK_KEY_EXCHANGE_MODES));
Jerry Yu77f01482022-07-11 07:03:24 +0000940}
Jerry Yue5991322022-11-07 14:03:44 +0800941#endif /* MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_PSK_ENABLED */
Jerry Yu77f01482022-07-11 07:03:24 +0000942
Jerry Yue5991322022-11-07 14:03:44 +0800943#if defined(MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_PSK_EPHEMERAL_ENABLED)
Jerry Yu77f01482022-07-11 07:03:24 +0000944MBEDTLS_CHECK_RETURN_CRITICAL
945static int ssl_tls13_client_hello_has_exts_for_psk_ephemeral_key_exchange(
David Horstmann71159f42023-01-03 12:51:59 +0000946 mbedtls_ssl_context *ssl)
Jerry Yu77f01482022-07-11 07:03:24 +0000947{
David Horstmann71159f42023-01-03 12:51:59 +0000948 return ssl_tls13_client_hello_has_exts(
949 ssl,
950 MBEDTLS_SSL_EXT_MASK(SUPPORTED_GROUPS) |
951 MBEDTLS_SSL_EXT_MASK(KEY_SHARE) |
952 MBEDTLS_SSL_EXT_MASK(PRE_SHARED_KEY) |
953 MBEDTLS_SSL_EXT_MASK(PSK_KEY_EXCHANGE_MODES));
Jerry Yu77f01482022-07-11 07:03:24 +0000954}
Jerry Yue5991322022-11-07 14:03:44 +0800955#endif /* MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_PSK_EPHEMERAL_ENABLED */
Jerry Yu77f01482022-07-11 07:03:24 +0000956
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +0200957MBEDTLS_CHECK_RETURN_CRITICAL
David Horstmann71159f42023-01-03 12:51:59 +0000958static int ssl_tls13_check_ephemeral_key_exchange(mbedtls_ssl_context *ssl)
XiaokangQian7807f9f2022-02-15 10:04:37 +0000959{
Jerry Yue5991322022-11-07 14:03:44 +0800960#if defined(MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_EPHEMERAL_ENABLED)
David Horstmann71159f42023-01-03 12:51:59 +0000961 return mbedtls_ssl_conf_tls13_ephemeral_enabled(ssl) &&
962 ssl_tls13_client_hello_has_exts_for_ephemeral_key_exchange(ssl);
Jerry Yue5991322022-11-07 14:03:44 +0800963#else
964 ((void) ssl);
David Horstmann71159f42023-01-03 12:51:59 +0000965 return 0;
Jerry Yue5991322022-11-07 14:03:44 +0800966#endif
Jerry Yu77f01482022-07-11 07:03:24 +0000967}
XiaokangQian7807f9f2022-02-15 10:04:37 +0000968
Jerry Yu77f01482022-07-11 07:03:24 +0000969MBEDTLS_CHECK_RETURN_CRITICAL
David Horstmann71159f42023-01-03 12:51:59 +0000970static int ssl_tls13_check_psk_key_exchange(mbedtls_ssl_context *ssl)
Jerry Yu77f01482022-07-11 07:03:24 +0000971{
Jerry Yue5991322022-11-07 14:03:44 +0800972#if defined(MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_PSK_ENABLED)
David Horstmann71159f42023-01-03 12:51:59 +0000973 return mbedtls_ssl_conf_tls13_psk_enabled(ssl) &&
974 mbedtls_ssl_tls13_psk_enabled(ssl) &&
975 ssl_tls13_client_hello_has_exts_for_psk_key_exchange(ssl);
Jerry Yu77f01482022-07-11 07:03:24 +0000976#else
977 ((void) ssl);
David Horstmann71159f42023-01-03 12:51:59 +0000978 return 0;
Jerry Yu77f01482022-07-11 07:03:24 +0000979#endif
980}
XiaokangQian7807f9f2022-02-15 10:04:37 +0000981
Jerry Yu77f01482022-07-11 07:03:24 +0000982MBEDTLS_CHECK_RETURN_CRITICAL
David Horstmann71159f42023-01-03 12:51:59 +0000983static int ssl_tls13_check_psk_ephemeral_key_exchange(mbedtls_ssl_context *ssl)
Jerry Yu77f01482022-07-11 07:03:24 +0000984{
Jerry Yue5991322022-11-07 14:03:44 +0800985#if defined(MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_PSK_EPHEMERAL_ENABLED)
David Horstmann71159f42023-01-03 12:51:59 +0000986 return mbedtls_ssl_conf_tls13_psk_ephemeral_enabled(ssl) &&
987 mbedtls_ssl_tls13_psk_ephemeral_enabled(ssl) &&
988 ssl_tls13_client_hello_has_exts_for_psk_ephemeral_key_exchange(ssl);
Jerry Yu77f01482022-07-11 07:03:24 +0000989#else
990 ((void) ssl);
David Horstmann71159f42023-01-03 12:51:59 +0000991 return 0;
Jerry Yu77f01482022-07-11 07:03:24 +0000992#endif
993}
994
David Horstmann71159f42023-01-03 12:51:59 +0000995static int ssl_tls13_determine_key_exchange_mode(mbedtls_ssl_context *ssl)
Jerry Yu77f01482022-07-11 07:03:24 +0000996{
997 /*
998 * Determine the key exchange algorithm to use.
999 * There are three types of key exchanges supported in TLS 1.3:
1000 * - (EC)DH with ECDSA,
1001 * - (EC)DH with PSK,
1002 * - plain PSK.
1003 *
1004 * The PSK-based key exchanges may additionally be used with 0-RTT.
1005 *
1006 * Our built-in order of preference is
Jerry Yuce6ed702022-07-22 21:49:53 +08001007 * 1 ) (EC)DHE-PSK Mode ( psk_ephemeral )
1008 * 2 ) Certificate Mode ( ephemeral )
1009 * 3 ) Plain PSK Mode ( psk )
Jerry Yu77f01482022-07-11 07:03:24 +00001010 */
1011
1012 ssl->handshake->key_exchange_mode = MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_NONE;
1013
David Horstmann71159f42023-01-03 12:51:59 +00001014 if (ssl_tls13_check_psk_ephemeral_key_exchange(ssl)) {
Jerry Yu77f01482022-07-11 07:03:24 +00001015 ssl->handshake->key_exchange_mode =
1016 MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_PSK_EPHEMERAL;
David Horstmann71159f42023-01-03 12:51:59 +00001017 MBEDTLS_SSL_DEBUG_MSG(2, ("key exchange mode: psk_ephemeral"));
1018 } else
1019 if (ssl_tls13_check_ephemeral_key_exchange(ssl)) {
Jerry Yu77f01482022-07-11 07:03:24 +00001020 ssl->handshake->key_exchange_mode =
1021 MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_EPHEMERAL;
David Horstmann71159f42023-01-03 12:51:59 +00001022 MBEDTLS_SSL_DEBUG_MSG(2, ("key exchange mode: ephemeral"));
1023 } else
1024 if (ssl_tls13_check_psk_key_exchange(ssl)) {
Jerry Yuce6ed702022-07-22 21:49:53 +08001025 ssl->handshake->key_exchange_mode =
1026 MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_PSK;
David Horstmann71159f42023-01-03 12:51:59 +00001027 MBEDTLS_SSL_DEBUG_MSG(2, ("key exchange mode: psk"));
1028 } else {
Jerry Yu77f01482022-07-11 07:03:24 +00001029 MBEDTLS_SSL_DEBUG_MSG(
David Horstmann71159f42023-01-03 12:51:59 +00001030 1,
1031 ("ClientHello message misses mandatory extensions."));
1032 MBEDTLS_SSL_PEND_FATAL_ALERT(MBEDTLS_SSL_ALERT_MSG_MISSING_EXTENSION,
1033 MBEDTLS_ERR_SSL_ILLEGAL_PARAMETER);
1034 return MBEDTLS_ERR_SSL_ILLEGAL_PARAMETER;
Jerry Yu77f01482022-07-11 07:03:24 +00001035 }
1036
David Horstmann71159f42023-01-03 12:51:59 +00001037 return 0;
Jerry Yu77f01482022-07-11 07:03:24 +00001038
XiaokangQian7807f9f2022-02-15 10:04:37 +00001039}
1040
XiaokangQian81802f42022-06-10 13:25:22 +00001041#if defined(MBEDTLS_X509_CRT_PARSE_C) && \
Ronald Cron928cbd32022-10-04 16:14:26 +02001042 defined(MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_EPHEMERAL_ENABLED)
Ronald Cron67ea2542022-09-15 17:34:42 +02001043
1044#if defined(MBEDTLS_USE_PSA_CRYPTO)
David Horstmann71159f42023-01-03 12:51:59 +00001045static psa_algorithm_t ssl_tls13_iana_sig_alg_to_psa_alg(uint16_t sig_alg)
Ronald Cron67ea2542022-09-15 17:34:42 +02001046{
David Horstmann71159f42023-01-03 12:51:59 +00001047 switch (sig_alg) {
Ronald Cron67ea2542022-09-15 17:34:42 +02001048 case MBEDTLS_TLS1_3_SIG_ECDSA_SECP256R1_SHA256:
David Horstmann71159f42023-01-03 12:51:59 +00001049 return PSA_ALG_ECDSA(PSA_ALG_SHA_256);
Ronald Cron67ea2542022-09-15 17:34:42 +02001050 case MBEDTLS_TLS1_3_SIG_ECDSA_SECP384R1_SHA384:
David Horstmann71159f42023-01-03 12:51:59 +00001051 return PSA_ALG_ECDSA(PSA_ALG_SHA_384);
Ronald Cron67ea2542022-09-15 17:34:42 +02001052 case MBEDTLS_TLS1_3_SIG_ECDSA_SECP521R1_SHA512:
David Horstmann71159f42023-01-03 12:51:59 +00001053 return PSA_ALG_ECDSA(PSA_ALG_SHA_512);
Ronald Cron67ea2542022-09-15 17:34:42 +02001054 case MBEDTLS_TLS1_3_SIG_RSA_PSS_RSAE_SHA256:
David Horstmann71159f42023-01-03 12:51:59 +00001055 return PSA_ALG_RSA_PSS(PSA_ALG_SHA_256);
Ronald Cron67ea2542022-09-15 17:34:42 +02001056 case MBEDTLS_TLS1_3_SIG_RSA_PSS_RSAE_SHA384:
David Horstmann71159f42023-01-03 12:51:59 +00001057 return PSA_ALG_RSA_PSS(PSA_ALG_SHA_384);
Ronald Cron67ea2542022-09-15 17:34:42 +02001058 case MBEDTLS_TLS1_3_SIG_RSA_PSS_RSAE_SHA512:
David Horstmann71159f42023-01-03 12:51:59 +00001059 return PSA_ALG_RSA_PSS(PSA_ALG_SHA_512);
Ronald Cron67ea2542022-09-15 17:34:42 +02001060 case MBEDTLS_TLS1_3_SIG_RSA_PKCS1_SHA256:
David Horstmann71159f42023-01-03 12:51:59 +00001061 return PSA_ALG_RSA_PKCS1V15_SIGN(PSA_ALG_SHA_256);
Ronald Cron67ea2542022-09-15 17:34:42 +02001062 case MBEDTLS_TLS1_3_SIG_RSA_PKCS1_SHA384:
David Horstmann71159f42023-01-03 12:51:59 +00001063 return PSA_ALG_RSA_PKCS1V15_SIGN(PSA_ALG_SHA_384);
Ronald Cron67ea2542022-09-15 17:34:42 +02001064 case MBEDTLS_TLS1_3_SIG_RSA_PKCS1_SHA512:
David Horstmann71159f42023-01-03 12:51:59 +00001065 return PSA_ALG_RSA_PKCS1V15_SIGN(PSA_ALG_SHA_512);
Ronald Cron67ea2542022-09-15 17:34:42 +02001066 default:
David Horstmann71159f42023-01-03 12:51:59 +00001067 return PSA_ALG_NONE;
Ronald Cron67ea2542022-09-15 17:34:42 +02001068 }
1069}
1070#endif /* MBEDTLS_USE_PSA_CRYPTO */
1071
XiaokangQian23c5be62022-06-07 02:04:34 +00001072/*
XiaokangQianfb665a82022-06-15 03:57:21 +00001073 * Pick best ( private key, certificate chain ) pair based on the signature
1074 * algorithms supported by the client.
XiaokangQian23c5be62022-06-07 02:04:34 +00001075 */
Ronald Cronce7d76e2022-07-08 18:56:49 +02001076MBEDTLS_CHECK_RETURN_CRITICAL
David Horstmann71159f42023-01-03 12:51:59 +00001077static int ssl_tls13_pick_key_cert(mbedtls_ssl_context *ssl)
XiaokangQian23c5be62022-06-07 02:04:34 +00001078{
XiaokangQianfb665a82022-06-15 03:57:21 +00001079 mbedtls_ssl_key_cert *key_cert, *key_cert_list;
XiaokangQian81802f42022-06-10 13:25:22 +00001080 const uint16_t *sig_alg = ssl->handshake->received_sig_algs;
XiaokangQian23c5be62022-06-07 02:04:34 +00001081
1082#if defined(MBEDTLS_SSL_SERVER_NAME_INDICATION)
David Horstmann71159f42023-01-03 12:51:59 +00001083 if (ssl->handshake->sni_key_cert != NULL) {
XiaokangQianfb665a82022-06-15 03:57:21 +00001084 key_cert_list = ssl->handshake->sni_key_cert;
David Horstmann71159f42023-01-03 12:51:59 +00001085 } else
XiaokangQian23c5be62022-06-07 02:04:34 +00001086#endif /* MBEDTLS_SSL_SERVER_NAME_INDICATION */
David Horstmann71159f42023-01-03 12:51:59 +00001087 key_cert_list = ssl->conf->key_cert;
XiaokangQian23c5be62022-06-07 02:04:34 +00001088
David Horstmann71159f42023-01-03 12:51:59 +00001089 if (key_cert_list == NULL) {
1090 MBEDTLS_SSL_DEBUG_MSG(3, ("server has no certificate"));
1091 return -1;
XiaokangQian23c5be62022-06-07 02:04:34 +00001092 }
1093
David Horstmann71159f42023-01-03 12:51:59 +00001094 for (; *sig_alg != MBEDTLS_TLS1_3_SIG_NONE; sig_alg++) {
1095 if (!mbedtls_ssl_sig_alg_is_offered(ssl, *sig_alg)) {
Ronald Cron67ea2542022-09-15 17:34:42 +02001096 continue;
David Horstmann71159f42023-01-03 12:51:59 +00001097 }
Ronald Cron67ea2542022-09-15 17:34:42 +02001098
David Horstmann71159f42023-01-03 12:51:59 +00001099 if (!mbedtls_ssl_tls13_sig_alg_for_cert_verify_is_supported(*sig_alg)) {
Ronald Cron67ea2542022-09-15 17:34:42 +02001100 continue;
David Horstmann71159f42023-01-03 12:51:59 +00001101 }
Ronald Cron67ea2542022-09-15 17:34:42 +02001102
David Horstmann71159f42023-01-03 12:51:59 +00001103 for (key_cert = key_cert_list; key_cert != NULL;
1104 key_cert = key_cert->next) {
Ronald Cron67ea2542022-09-15 17:34:42 +02001105#if defined(MBEDTLS_USE_PSA_CRYPTO)
1106 psa_algorithm_t psa_alg = PSA_ALG_NONE;
1107#endif /* MBEDTLS_USE_PSA_CRYPTO */
1108
David Horstmann71159f42023-01-03 12:51:59 +00001109 MBEDTLS_SSL_DEBUG_CRT(3, "certificate (chain) candidate",
1110 key_cert->cert);
XiaokangQian81802f42022-06-10 13:25:22 +00001111
1112 /*
David Horstmann71159f42023-01-03 12:51:59 +00001113 * This avoids sending the client a cert it'll reject based on
1114 * keyUsage or other extensions.
1115 */
1116 if (mbedtls_x509_crt_check_key_usage(
1117 key_cert->cert, MBEDTLS_X509_KU_DIGITAL_SIGNATURE) != 0 ||
XiaokangQian81802f42022-06-10 13:25:22 +00001118 mbedtls_x509_crt_check_extended_key_usage(
XiaokangQianfb665a82022-06-15 03:57:21 +00001119 key_cert->cert, MBEDTLS_OID_SERVER_AUTH,
David Horstmann71159f42023-01-03 12:51:59 +00001120 MBEDTLS_OID_SIZE(MBEDTLS_OID_SERVER_AUTH)) != 0) {
1121 MBEDTLS_SSL_DEBUG_MSG(3, ("certificate mismatch: "
1122 "(extended) key usage extension"));
XiaokangQian81802f42022-06-10 13:25:22 +00001123 continue;
1124 }
XiaokangQian23c5be62022-06-07 02:04:34 +00001125
David Horstmann71159f42023-01-03 12:51:59 +00001126 MBEDTLS_SSL_DEBUG_MSG(3,
1127 ("ssl_tls13_pick_key_cert:"
1128 "check signature algorithm %s [%04x]",
1129 mbedtls_ssl_sig_alg_to_str(*sig_alg),
1130 *sig_alg));
Ronald Cron67ea2542022-09-15 17:34:42 +02001131#if defined(MBEDTLS_USE_PSA_CRYPTO)
David Horstmann71159f42023-01-03 12:51:59 +00001132 psa_alg = ssl_tls13_iana_sig_alg_to_psa_alg(*sig_alg);
Ronald Cron67ea2542022-09-15 17:34:42 +02001133#endif /* MBEDTLS_USE_PSA_CRYPTO */
1134
David Horstmann71159f42023-01-03 12:51:59 +00001135 if (mbedtls_ssl_tls13_check_sig_alg_cert_key_match(
1136 *sig_alg, &key_cert->cert->pk)
Ronald Cron67ea2542022-09-15 17:34:42 +02001137#if defined(MBEDTLS_USE_PSA_CRYPTO)
1138 && psa_alg != PSA_ALG_NONE &&
David Horstmann71159f42023-01-03 12:51:59 +00001139 mbedtls_pk_can_do_ext(&key_cert->cert->pk, psa_alg,
1140 PSA_KEY_USAGE_SIGN_HASH) == 1
Ronald Cron67ea2542022-09-15 17:34:42 +02001141#endif /* MBEDTLS_USE_PSA_CRYPTO */
David Horstmann71159f42023-01-03 12:51:59 +00001142 ) {
XiaokangQianfb665a82022-06-15 03:57:21 +00001143 ssl->handshake->key_cert = key_cert;
David Horstmann71159f42023-01-03 12:51:59 +00001144 MBEDTLS_SSL_DEBUG_MSG(3,
1145 ("ssl_tls13_pick_key_cert:"
1146 "selected signature algorithm"
1147 " %s [%04x]",
1148 mbedtls_ssl_sig_alg_to_str(*sig_alg),
1149 *sig_alg));
XiaokangQianfb665a82022-06-15 03:57:21 +00001150 MBEDTLS_SSL_DEBUG_CRT(
David Horstmann71159f42023-01-03 12:51:59 +00001151 3, "selected certificate (chain)",
1152 ssl->handshake->key_cert->cert);
1153 return 0;
XiaokangQian81802f42022-06-10 13:25:22 +00001154 }
XiaokangQian81802f42022-06-10 13:25:22 +00001155 }
XiaokangQian23c5be62022-06-07 02:04:34 +00001156 }
1157
David Horstmann71159f42023-01-03 12:51:59 +00001158 MBEDTLS_SSL_DEBUG_MSG(2, ("ssl_tls13_pick_key_cert:"
1159 "no suitable certificate found"));
1160 return -1;
XiaokangQian23c5be62022-06-07 02:04:34 +00001161}
XiaokangQian81802f42022-06-10 13:25:22 +00001162#endif /* MBEDTLS_X509_CRT_PARSE_C &&
Ronald Cron928cbd32022-10-04 16:14:26 +02001163 MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_EPHEMERAL_ENABLED */
XiaokangQian23c5be62022-06-07 02:04:34 +00001164
XiaokangQian4080a7f2022-04-11 09:55:18 +00001165/*
XiaokangQianed582dd2022-04-13 08:21:05 +00001166 *
1167 * STATE HANDLING: ClientHello
1168 *
XiaokangQianb67384d2022-04-19 00:02:38 +00001169 * There are three possible classes of outcomes when parsing the ClientHello:
XiaokangQianed582dd2022-04-13 08:21:05 +00001170 *
XiaokangQianb67384d2022-04-19 00:02:38 +00001171 * 1) The ClientHello was well-formed and matched the server's configuration.
XiaokangQianed582dd2022-04-13 08:21:05 +00001172 *
1173 * In this case, the server progresses to sending its ServerHello.
1174 *
XiaokangQianb67384d2022-04-19 00:02:38 +00001175 * 2) The ClientHello was well-formed but didn't match the server's
1176 * configuration.
XiaokangQianed582dd2022-04-13 08:21:05 +00001177 *
1178 * For example, the client might not have offered a key share which
1179 * the server supports, or the server might require a cookie.
1180 *
1181 * In this case, the server sends a HelloRetryRequest.
1182 *
XiaokangQianb67384d2022-04-19 00:02:38 +00001183 * 3) The ClientHello was ill-formed
XiaokangQianed582dd2022-04-13 08:21:05 +00001184 *
1185 * In this case, we abort the handshake.
1186 *
1187 */
1188
1189/*
XiaokangQian4080a7f2022-04-11 09:55:18 +00001190 * Structure of this message:
1191 *
XiaokangQiane8ff3502022-04-22 02:34:40 +00001192 * uint16 ProtocolVersion;
1193 * opaque Random[32];
1194 * uint8 CipherSuite[2]; // Cryptographic suite selector
XiaokangQian4080a7f2022-04-11 09:55:18 +00001195 *
XiaokangQiane8ff3502022-04-22 02:34:40 +00001196 * struct {
1197 * ProtocolVersion legacy_version = 0x0303; // TLS v1.2
1198 * Random random;
1199 * opaque legacy_session_id<0..32>;
1200 * CipherSuite cipher_suites<2..2^16-2>;
1201 * opaque legacy_compression_methods<1..2^8-1>;
1202 * Extension extensions<8..2^16-1>;
1203 * } ClientHello;
XiaokangQian4080a7f2022-04-11 09:55:18 +00001204 */
XiaokangQianed582dd2022-04-13 08:21:05 +00001205
1206#define SSL_CLIENT_HELLO_OK 0
1207#define SSL_CLIENT_HELLO_HRR_REQUIRED 1
1208
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +02001209MBEDTLS_CHECK_RETURN_CRITICAL
David Horstmann71159f42023-01-03 12:51:59 +00001210static int ssl_tls13_parse_client_hello(mbedtls_ssl_context *ssl,
1211 const unsigned char *buf,
1212 const unsigned char *end)
XiaokangQian7807f9f2022-02-15 10:04:37 +00001213{
XiaokangQianb67384d2022-04-19 00:02:38 +00001214 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
1215 const unsigned char *p = buf;
XiaokangQian4080a7f2022-04-11 09:55:18 +00001216 size_t legacy_session_id_len;
XiaokangQian318dc762022-04-20 09:43:51 +00001217 size_t cipher_suites_len;
XiaokangQian060d8672022-04-21 09:24:56 +00001218 const unsigned char *cipher_suites_end;
XiaokangQianb67384d2022-04-19 00:02:38 +00001219 size_t extensions_len;
XiaokangQian7807f9f2022-02-15 10:04:37 +00001220 const unsigned char *extensions_end;
Jerry Yuc4bf5d62022-10-29 09:08:47 +08001221 mbedtls_ssl_handshake_params *handshake = ssl->handshake;
Jerry Yu49ca9282022-05-05 11:05:22 +08001222 int hrr_required = 0;
XiaokangQian7807f9f2022-02-15 10:04:37 +00001223
Ronald Cron41a443a2022-10-04 16:38:25 +02001224#if defined(MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_SOME_PSK_ENABLED)
Jerry Yu5725f1c2022-08-21 17:27:16 +08001225 const unsigned char *cipher_suites;
Jerry Yu29d9faa2022-08-23 17:52:45 +08001226 const unsigned char *pre_shared_key_ext = NULL;
Jerry Yu1c105562022-07-10 06:32:38 +00001227 const unsigned char *pre_shared_key_ext_end = NULL;
Ronald Cron41a443a2022-10-04 16:38:25 +02001228#endif
XiaokangQian7807f9f2022-02-15 10:04:37 +00001229
XiaokangQian7807f9f2022-02-15 10:04:37 +00001230 /*
XiaokangQianb67384d2022-04-19 00:02:38 +00001231 * ClientHello layout:
XiaokangQian7807f9f2022-02-15 10:04:37 +00001232 * 0 . 1 protocol version
XiaokangQiane8ff3502022-04-22 02:34:40 +00001233 * 2 . 33 random bytes
XiaokangQianc5763b52022-04-02 03:34:37 +00001234 * 34 . 34 session id length ( 1 byte )
XiaokangQian7807f9f2022-02-15 10:04:37 +00001235 * 35 . 34+x session id
XiaokangQian7807f9f2022-02-15 10:04:37 +00001236 * .. . .. ciphersuite list length ( 2 bytes )
1237 * .. . .. ciphersuite list
1238 * .. . .. compression alg. list length ( 1 byte )
1239 * .. . .. compression alg. list
1240 * .. . .. extensions length ( 2 bytes, optional )
1241 * .. . .. extensions ( optional )
1242 */
1243
XiaokangQianb67384d2022-04-19 00:02:38 +00001244 /*
bootstrap-prime6dbbf442022-05-17 19:30:44 -04001245 * Minimal length ( with everything empty and extensions omitted ) is
XiaokangQian7807f9f2022-02-15 10:04:37 +00001246 * 2 + 32 + 1 + 2 + 1 = 38 bytes. Check that first, so that we can
1247 * read at least up to session id length without worrying.
1248 */
David Horstmann71159f42023-01-03 12:51:59 +00001249 MBEDTLS_SSL_CHK_BUF_READ_PTR(p, end, 38);
XiaokangQian7807f9f2022-02-15 10:04:37 +00001250
1251 /* ...
1252 * ProtocolVersion legacy_version = 0x0303; // TLS 1.2
1253 * ...
1254 * with ProtocolVersion defined as:
1255 * uint16 ProtocolVersion;
1256 */
David Horstmann71159f42023-01-03 12:51:59 +00001257 if (mbedtls_ssl_read_version(p, ssl->conf->transport) !=
1258 MBEDTLS_SSL_VERSION_TLS1_2) {
1259 MBEDTLS_SSL_DEBUG_MSG(1, ("Unsupported version of TLS."));
1260 MBEDTLS_SSL_PEND_FATAL_ALERT(MBEDTLS_SSL_ALERT_MSG_PROTOCOL_VERSION,
1261 MBEDTLS_ERR_SSL_BAD_PROTOCOL_VERSION);
1262 return MBEDTLS_ERR_SSL_BAD_PROTOCOL_VERSION;
XiaokangQian7807f9f2022-02-15 10:04:37 +00001263 }
1264 p += 2;
1265
1266 /*
XiaokangQianf8ceb942022-04-15 11:43:27 +00001267 * Only support TLS 1.3 currently, temporarily set the version.
1268 */
XiaokangQiande333912022-04-20 08:49:42 +00001269 ssl->tls_version = MBEDTLS_SSL_VERSION_TLS1_3;
XiaokangQianf8ceb942022-04-15 11:43:27 +00001270
Jerry Yue67bef42022-07-07 07:29:42 +00001271#if defined(MBEDTLS_SSL_SESSION_TICKETS)
1272 /* Store minor version for later use with ticket serialization. */
1273 ssl->session_negotiate->tls_version = MBEDTLS_SSL_VERSION_TLS1_3;
Jerry Yua66fece2022-07-13 14:30:29 +08001274 ssl->session_negotiate->endpoint = ssl->conf->endpoint;
Jerry Yufca4d572022-07-21 10:37:48 +08001275#endif
Jerry Yue67bef42022-07-07 07:29:42 +00001276
Jerry Yuc1be19f2022-04-23 16:11:39 +08001277 /* ...
1278 * Random random;
1279 * ...
XiaokangQianb67384d2022-04-19 00:02:38 +00001280 * with Random defined as:
1281 * opaque Random[32];
XiaokangQian7807f9f2022-02-15 10:04:37 +00001282 */
David Horstmann71159f42023-01-03 12:51:59 +00001283 MBEDTLS_SSL_DEBUG_BUF(3, "client hello, random bytes",
1284 p, MBEDTLS_CLIENT_HELLO_RANDOM_LEN);
XiaokangQian7807f9f2022-02-15 10:04:37 +00001285
David Horstmann71159f42023-01-03 12:51:59 +00001286 memcpy(&handshake->randbytes[0], p, MBEDTLS_CLIENT_HELLO_RANDOM_LEN);
XiaokangQian08037552022-04-20 07:16:41 +00001287 p += MBEDTLS_CLIENT_HELLO_RANDOM_LEN;
XiaokangQian7807f9f2022-02-15 10:04:37 +00001288
Jerry Yuc1be19f2022-04-23 16:11:39 +08001289 /* ...
XiaokangQianb67384d2022-04-19 00:02:38 +00001290 * opaque legacy_session_id<0..32>;
Jerry Yuc1be19f2022-04-23 16:11:39 +08001291 * ...
XiaokangQian7807f9f2022-02-15 10:04:37 +00001292 */
XiaokangQian4080a7f2022-04-11 09:55:18 +00001293 legacy_session_id_len = p[0];
XiaokangQianc5763b52022-04-02 03:34:37 +00001294 p++;
XiaokangQian7807f9f2022-02-15 10:04:37 +00001295
David Horstmann71159f42023-01-03 12:51:59 +00001296 if (legacy_session_id_len > sizeof(ssl->session_negotiate->id)) {
1297 MBEDTLS_SSL_DEBUG_MSG(1, ("bad client hello message"));
1298 return MBEDTLS_ERR_SSL_DECODE_ERROR;
XiaokangQian7807f9f2022-02-15 10:04:37 +00001299 }
1300
XiaokangQian4080a7f2022-04-11 09:55:18 +00001301 ssl->session_negotiate->id_len = legacy_session_id_len;
David Horstmann71159f42023-01-03 12:51:59 +00001302 MBEDTLS_SSL_DEBUG_BUF(3, "client hello, session id",
1303 p, legacy_session_id_len);
XiaokangQianb67384d2022-04-19 00:02:38 +00001304 /*
1305 * Check we have enough data for the legacy session identifier
Jerry Yue95c8af2022-07-26 15:48:20 +08001306 * and the ciphersuite list length.
XiaokangQianb67384d2022-04-19 00:02:38 +00001307 */
David Horstmann71159f42023-01-03 12:51:59 +00001308 MBEDTLS_SSL_CHK_BUF_READ_PTR(p, end, legacy_session_id_len + 2);
XiaokangQian7807f9f2022-02-15 10:04:37 +00001309
David Horstmann71159f42023-01-03 12:51:59 +00001310 memcpy(&ssl->session_negotiate->id[0], p, legacy_session_id_len);
XiaokangQian4080a7f2022-04-11 09:55:18 +00001311 p += legacy_session_id_len;
XiaokangQian7807f9f2022-02-15 10:04:37 +00001312
David Horstmann71159f42023-01-03 12:51:59 +00001313 cipher_suites_len = MBEDTLS_GET_UINT16_BE(p, 0);
XiaokangQian7807f9f2022-02-15 10:04:37 +00001314 p += 2;
1315
XiaokangQianb67384d2022-04-19 00:02:38 +00001316 /* Check we have enough data for the ciphersuite list, the legacy
1317 * compression methods and the length of the extensions.
Jerry Yue95c8af2022-07-26 15:48:20 +08001318 *
1319 * cipher_suites cipher_suites_len bytes
1320 * legacy_compression_methods 2 bytes
1321 * extensions_len 2 bytes
XiaokangQianb67384d2022-04-19 00:02:38 +00001322 */
David Horstmann71159f42023-01-03 12:51:59 +00001323 MBEDTLS_SSL_CHK_BUF_READ_PTR(p, end, cipher_suites_len + 2 + 2);
XiaokangQian7807f9f2022-02-15 10:04:37 +00001324
David Horstmann71159f42023-01-03 12:51:59 +00001325 /* ...
1326 * CipherSuite cipher_suites<2..2^16-2>;
1327 * ...
1328 * with CipherSuite defined as:
1329 * uint8 CipherSuite[2];
1330 */
Ronald Cron41a443a2022-10-04 16:38:25 +02001331#if defined(MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_SOME_PSK_ENABLED)
XiaokangQian060d8672022-04-21 09:24:56 +00001332 cipher_suites = p;
Jerry Yu5725f1c2022-08-21 17:27:16 +08001333#endif
XiaokangQian060d8672022-04-21 09:24:56 +00001334 cipher_suites_end = p + cipher_suites_len;
David Horstmann71159f42023-01-03 12:51:59 +00001335 MBEDTLS_SSL_DEBUG_BUF(3, "client hello, ciphersuitelist",
1336 p, cipher_suites_len);
Jerry Yu5725f1c2022-08-21 17:27:16 +08001337
1338 /*
1339 * Search for a matching ciphersuite
1340 */
David Horstmann71159f42023-01-03 12:51:59 +00001341 for (; p < cipher_suites_end; p += 2) {
XiaokangQiane8ff3502022-04-22 02:34:40 +00001342 uint16_t cipher_suite;
David Horstmann71159f42023-01-03 12:51:59 +00001343 const mbedtls_ssl_ciphersuite_t *ciphersuite_info;
Jerry Yu5725f1c2022-08-21 17:27:16 +08001344
David Horstmann71159f42023-01-03 12:51:59 +00001345 MBEDTLS_SSL_CHK_BUF_READ_PTR(p, cipher_suites_end, 2);
Jerry Yu5725f1c2022-08-21 17:27:16 +08001346
David Horstmann71159f42023-01-03 12:51:59 +00001347 cipher_suite = MBEDTLS_GET_UINT16_BE(p, 0);
Jerry Yuc5a23a02022-08-25 10:51:44 +08001348 ciphersuite_info = ssl_tls13_validate_peer_ciphersuite(
David Horstmann71159f42023-01-03 12:51:59 +00001349 ssl, cipher_suite);
1350 if (ciphersuite_info == NULL) {
Jerry Yu5725f1c2022-08-21 17:27:16 +08001351 continue;
David Horstmann71159f42023-01-03 12:51:59 +00001352 }
Jerry Yu5725f1c2022-08-21 17:27:16 +08001353
Jerry Yu5725f1c2022-08-21 17:27:16 +08001354 ssl->session_negotiate->ciphersuite = cipher_suite;
Jerry Yuc4bf5d62022-10-29 09:08:47 +08001355 handshake->ciphersuite_info = ciphersuite_info;
David Horstmann71159f42023-01-03 12:51:59 +00001356 MBEDTLS_SSL_DEBUG_MSG(2, ("selected ciphersuite: %04x - %s",
1357 cipher_suite,
1358 ciphersuite_info->name));
XiaokangQian17f974c2022-04-19 09:57:41 +00001359 }
Jerry Yu5725f1c2022-08-21 17:27:16 +08001360
David Horstmann71159f42023-01-03 12:51:59 +00001361 if (handshake->ciphersuite_info == NULL) {
1362 MBEDTLS_SSL_PEND_FATAL_ALERT(MBEDTLS_SSL_ALERT_MSG_HANDSHAKE_FAILURE,
1363 MBEDTLS_ERR_SSL_HANDSHAKE_FAILURE);
1364 return MBEDTLS_ERR_SSL_HANDSHAKE_FAILURE;
Jerry Yu5725f1c2022-08-21 17:27:16 +08001365 }
Jerry Yuc1be19f2022-04-23 16:11:39 +08001366
XiaokangQian4080a7f2022-04-11 09:55:18 +00001367 /* ...
XiaokangQianb67384d2022-04-19 00:02:38 +00001368 * opaque legacy_compression_methods<1..2^8-1>;
XiaokangQian4080a7f2022-04-11 09:55:18 +00001369 * ...
XiaokangQian7807f9f2022-02-15 10:04:37 +00001370 */
David Horstmann71159f42023-01-03 12:51:59 +00001371 if (p[0] != 1 || p[1] != MBEDTLS_SSL_COMPRESS_NULL) {
1372 MBEDTLS_SSL_DEBUG_MSG(1, ("bad legacy compression method"));
1373 MBEDTLS_SSL_PEND_FATAL_ALERT(MBEDTLS_SSL_ALERT_MSG_ILLEGAL_PARAMETER,
1374 MBEDTLS_ERR_SSL_ILLEGAL_PARAMETER);
1375 return MBEDTLS_ERR_SSL_ILLEGAL_PARAMETER;
XiaokangQian7807f9f2022-02-15 10:04:37 +00001376 }
XiaokangQianb67384d2022-04-19 00:02:38 +00001377 p += 2;
XiaokangQian7807f9f2022-02-15 10:04:37 +00001378
Jerry Yuc1be19f2022-04-23 16:11:39 +08001379 /* ...
XiaokangQianb67384d2022-04-19 00:02:38 +00001380 * Extension extensions<8..2^16-1>;
Jerry Yuc1be19f2022-04-23 16:11:39 +08001381 * ...
XiaokangQianb67384d2022-04-19 00:02:38 +00001382 * with Extension defined as:
1383 * struct {
1384 * ExtensionType extension_type;
1385 * opaque extension_data<0..2^16-1>;
1386 * } Extension;
XiaokangQian7807f9f2022-02-15 10:04:37 +00001387 */
David Horstmann71159f42023-01-03 12:51:59 +00001388 extensions_len = MBEDTLS_GET_UINT16_BE(p, 0);
XiaokangQian7807f9f2022-02-15 10:04:37 +00001389 p += 2;
David Horstmann71159f42023-01-03 12:51:59 +00001390 MBEDTLS_SSL_CHK_BUF_READ_PTR(p, end, extensions_len);
XiaokangQiane8ff3502022-04-22 02:34:40 +00001391 extensions_end = p + extensions_len;
XiaokangQian7807f9f2022-02-15 10:04:37 +00001392
David Horstmann71159f42023-01-03 12:51:59 +00001393 MBEDTLS_SSL_DEBUG_BUF(3, "client hello extensions", p, extensions_len);
XiaokangQian7807f9f2022-02-15 10:04:37 +00001394
Jerry Yu63a459c2022-10-31 13:38:40 +08001395 handshake->received_extensions = MBEDTLS_SSL_EXT_MASK_NONE;
Jerry Yu0c354a22022-08-29 15:25:36 +08001396
David Horstmann71159f42023-01-03 12:51:59 +00001397 while (p < extensions_end) {
XiaokangQian7807f9f2022-02-15 10:04:37 +00001398 unsigned int extension_type;
1399 size_t extension_data_len;
1400 const unsigned char *extension_data_end;
1401
Jerry Yu0c354a22022-08-29 15:25:36 +08001402 /* RFC 8446, section 4.2.11
Jerry Yu1c9247c2022-07-21 12:37:39 +08001403 *
1404 * The "pre_shared_key" extension MUST be the last extension in the
1405 * ClientHello (this facilitates implementation as described below).
1406 * Servers MUST check that it is the last extension and otherwise fail
1407 * the handshake with an "illegal_parameter" alert.
1408 */
David Horstmann71159f42023-01-03 12:51:59 +00001409 if (handshake->received_extensions & MBEDTLS_SSL_EXT_MASK(PRE_SHARED_KEY)) {
Jerry Yu1c9247c2022-07-21 12:37:39 +08001410 MBEDTLS_SSL_DEBUG_MSG(
David Horstmann71159f42023-01-03 12:51:59 +00001411 3, ("pre_shared_key is not last extension."));
Jerry Yu1c9247c2022-07-21 12:37:39 +08001412 MBEDTLS_SSL_PEND_FATAL_ALERT(
1413 MBEDTLS_SSL_ALERT_MSG_ILLEGAL_PARAMETER,
David Horstmann71159f42023-01-03 12:51:59 +00001414 MBEDTLS_ERR_SSL_ILLEGAL_PARAMETER);
1415 return MBEDTLS_ERR_SSL_ILLEGAL_PARAMETER;
Jerry Yu1c9247c2022-07-21 12:37:39 +08001416 }
1417
David Horstmann71159f42023-01-03 12:51:59 +00001418 MBEDTLS_SSL_CHK_BUF_READ_PTR(p, extensions_end, 4);
1419 extension_type = MBEDTLS_GET_UINT16_BE(p, 0);
1420 extension_data_len = MBEDTLS_GET_UINT16_BE(p, 2);
XiaokangQian7807f9f2022-02-15 10:04:37 +00001421 p += 4;
1422
David Horstmann71159f42023-01-03 12:51:59 +00001423 MBEDTLS_SSL_CHK_BUF_READ_PTR(p, extensions_end, extension_data_len);
XiaokangQian7807f9f2022-02-15 10:04:37 +00001424 extension_data_end = p + extension_data_len;
1425
Jerry Yuc4bf5d62022-10-29 09:08:47 +08001426 ret = mbedtls_ssl_tls13_check_received_extension(
David Horstmann71159f42023-01-03 12:51:59 +00001427 ssl, MBEDTLS_SSL_HS_CLIENT_HELLO, extension_type,
1428 MBEDTLS_SSL_TLS1_3_ALLOWED_EXTS_OF_CH);
1429 if (ret != 0) {
1430 return ret;
1431 }
Jerry Yue18dc7e2022-08-04 16:29:22 +08001432
David Horstmann71159f42023-01-03 12:51:59 +00001433 switch (extension_type) {
XiaokangQian40a35232022-05-07 09:02:40 +00001434#if defined(MBEDTLS_SSL_SERVER_NAME_INDICATION)
1435 case MBEDTLS_TLS_EXT_SERVERNAME:
David Horstmann71159f42023-01-03 12:51:59 +00001436 MBEDTLS_SSL_DEBUG_MSG(3, ("found ServerName extension"));
1437 ret = mbedtls_ssl_parse_server_name_ext(ssl, p,
1438 extension_data_end);
1439 if (ret != 0) {
XiaokangQian40a35232022-05-07 09:02:40 +00001440 MBEDTLS_SSL_DEBUG_RET(
David Horstmann71159f42023-01-03 12:51:59 +00001441 1, "mbedtls_ssl_parse_servername_ext", ret);
1442 return ret;
XiaokangQian40a35232022-05-07 09:02:40 +00001443 }
XiaokangQian40a35232022-05-07 09:02:40 +00001444 break;
1445#endif /* MBEDTLS_SSL_SERVER_NAME_INDICATION */
1446
XiaokangQianb67384d2022-04-19 00:02:38 +00001447#if defined(MBEDTLS_ECDH_C)
XiaokangQian7807f9f2022-02-15 10:04:37 +00001448 case MBEDTLS_TLS_EXT_SUPPORTED_GROUPS:
David Horstmann71159f42023-01-03 12:51:59 +00001449 MBEDTLS_SSL_DEBUG_MSG(3, ("found supported group extension"));
XiaokangQian7807f9f2022-02-15 10:04:37 +00001450
1451 /* Supported Groups Extension
1452 *
1453 * When sent by the client, the "supported_groups" extension
1454 * indicates the named groups which the client supports,
1455 * ordered from most preferred to least preferred.
1456 */
Jerry Yuc1be19f2022-04-23 16:11:39 +08001457 ret = ssl_tls13_parse_supported_groups_ext(
David Horstmann71159f42023-01-03 12:51:59 +00001458 ssl, p, extension_data_end);
1459 if (ret != 0) {
1460 MBEDTLS_SSL_DEBUG_RET(1,
1461 "mbedtls_ssl_parse_supported_groups_ext", ret);
1462 return ret;
XiaokangQian7807f9f2022-02-15 10:04:37 +00001463 }
1464
XiaokangQian7807f9f2022-02-15 10:04:37 +00001465 break;
XiaokangQianb67384d2022-04-19 00:02:38 +00001466#endif /* MBEDTLS_ECDH_C */
XiaokangQian7807f9f2022-02-15 10:04:37 +00001467
XiaokangQian88408882022-04-02 10:15:03 +00001468#if defined(MBEDTLS_ECDH_C)
XiaokangQian7807f9f2022-02-15 10:04:37 +00001469 case MBEDTLS_TLS_EXT_KEY_SHARE:
David Horstmann71159f42023-01-03 12:51:59 +00001470 MBEDTLS_SSL_DEBUG_MSG(3, ("found key share extension"));
XiaokangQian7807f9f2022-02-15 10:04:37 +00001471
1472 /*
1473 * Key Share Extension
1474 *
1475 * When sent by the client, the "key_share" extension
1476 * contains the endpoint's cryptographic parameters for
1477 * ECDHE/DHE key establishment methods.
1478 */
Jerry Yuc1be19f2022-04-23 16:11:39 +08001479 ret = ssl_tls13_parse_key_shares_ext(
David Horstmann71159f42023-01-03 12:51:59 +00001480 ssl, p, extension_data_end);
1481 if (ret == SSL_TLS1_3_PARSE_KEY_SHARES_EXT_NO_MATCH) {
1482 MBEDTLS_SSL_DEBUG_MSG(2, ("HRR needed "));
Jerry Yu49ca9282022-05-05 11:05:22 +08001483 hrr_required = 1;
XiaokangQian7807f9f2022-02-15 10:04:37 +00001484 }
1485
David Horstmann71159f42023-01-03 12:51:59 +00001486 if (ret < 0) {
Jerry Yu582dd062022-04-22 21:59:01 +08001487 MBEDTLS_SSL_DEBUG_RET(
David Horstmann71159f42023-01-03 12:51:59 +00001488 1, "ssl_tls13_parse_key_shares_ext", ret);
1489 return ret;
Jerry Yu582dd062022-04-22 21:59:01 +08001490 }
XiaokangQian7807f9f2022-02-15 10:04:37 +00001491
XiaokangQian7807f9f2022-02-15 10:04:37 +00001492 break;
XiaokangQian88408882022-04-02 10:15:03 +00001493#endif /* MBEDTLS_ECDH_C */
XiaokangQian7807f9f2022-02-15 10:04:37 +00001494
1495 case MBEDTLS_TLS_EXT_SUPPORTED_VERSIONS:
David Horstmann71159f42023-01-03 12:51:59 +00001496 MBEDTLS_SSL_DEBUG_MSG(3, ("found supported versions extension"));
XiaokangQian7807f9f2022-02-15 10:04:37 +00001497
1498 ret = ssl_tls13_parse_supported_versions_ext(
David Horstmann71159f42023-01-03 12:51:59 +00001499 ssl, p, extension_data_end);
1500 if (ret != 0) {
1501 MBEDTLS_SSL_DEBUG_RET(1,
1502 ("ssl_tls13_parse_supported_versions_ext"), ret);
1503 return ret;
XiaokangQian7807f9f2022-02-15 10:04:37 +00001504 }
XiaokangQian7807f9f2022-02-15 10:04:37 +00001505 break;
1506
Ronald Cron41a443a2022-10-04 16:38:25 +02001507#if defined(MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_SOME_PSK_ENABLED)
Jerry Yue19e3b92022-07-08 12:04:51 +00001508 case MBEDTLS_TLS_EXT_PSK_KEY_EXCHANGE_MODES:
David Horstmann71159f42023-01-03 12:51:59 +00001509 MBEDTLS_SSL_DEBUG_MSG(3, ("found psk key exchange modes extension"));
Jerry Yue19e3b92022-07-08 12:04:51 +00001510
1511 ret = ssl_tls13_parse_key_exchange_modes_ext(
David Horstmann71159f42023-01-03 12:51:59 +00001512 ssl, p, extension_data_end);
1513 if (ret != 0) {
Jerry Yue19e3b92022-07-08 12:04:51 +00001514 MBEDTLS_SSL_DEBUG_RET(
David Horstmann71159f42023-01-03 12:51:59 +00001515 1, "ssl_tls13_parse_key_exchange_modes_ext", ret);
1516 return ret;
Jerry Yue19e3b92022-07-08 12:04:51 +00001517 }
1518
Jerry Yue19e3b92022-07-08 12:04:51 +00001519 break;
Ronald Cron41a443a2022-10-04 16:38:25 +02001520#endif
Jerry Yue19e3b92022-07-08 12:04:51 +00001521
Jerry Yu1c105562022-07-10 06:32:38 +00001522 case MBEDTLS_TLS_EXT_PRE_SHARED_KEY:
David Horstmann71159f42023-01-03 12:51:59 +00001523 MBEDTLS_SSL_DEBUG_MSG(3, ("found pre_shared_key extension"));
1524 if ((handshake->received_extensions &
1525 MBEDTLS_SSL_EXT_MASK(PSK_KEY_EXCHANGE_MODES)) == 0) {
Jerry Yu13ab81d2022-07-22 23:17:11 +08001526 MBEDTLS_SSL_PEND_FATAL_ALERT(
1527 MBEDTLS_SSL_ALERT_MSG_ILLEGAL_PARAMETER,
David Horstmann71159f42023-01-03 12:51:59 +00001528 MBEDTLS_ERR_SSL_ILLEGAL_PARAMETER);
1529 return MBEDTLS_ERR_SSL_ILLEGAL_PARAMETER;
Jerry Yu13ab81d2022-07-22 23:17:11 +08001530 }
Ronald Cron41a443a2022-10-04 16:38:25 +02001531#if defined(MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_SOME_PSK_ENABLED)
Jerry Yu1c105562022-07-10 06:32:38 +00001532 /* Delay processing of the PSK identity once we have
1533 * found out which algorithms to use. We keep a pointer
1534 * to the buffer and the size for later processing.
1535 */
Jerry Yu29d9faa2022-08-23 17:52:45 +08001536 pre_shared_key_ext = p;
Jerry Yu1c105562022-07-10 06:32:38 +00001537 pre_shared_key_ext_end = extension_data_end;
Jerry Yue18dc7e2022-08-04 16:29:22 +08001538#endif /* MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_SOME_PSK_ENABLED */
Jerry Yu1c105562022-07-10 06:32:38 +00001539 break;
Jerry Yu1c105562022-07-10 06:32:38 +00001540
XiaokangQianacb39922022-06-17 10:18:48 +00001541#if defined(MBEDTLS_SSL_ALPN)
1542 case MBEDTLS_TLS_EXT_ALPN:
David Horstmann71159f42023-01-03 12:51:59 +00001543 MBEDTLS_SSL_DEBUG_MSG(3, ("found alpn extension"));
XiaokangQianacb39922022-06-17 10:18:48 +00001544
David Horstmann71159f42023-01-03 12:51:59 +00001545 ret = mbedtls_ssl_parse_alpn_ext(ssl, p, extension_data_end);
1546 if (ret != 0) {
XiaokangQianacb39922022-06-17 10:18:48 +00001547 MBEDTLS_SSL_DEBUG_RET(
David Horstmann71159f42023-01-03 12:51:59 +00001548 1, ("mbedtls_ssl_parse_alpn_ext"), ret);
1549 return ret;
XiaokangQianacb39922022-06-17 10:18:48 +00001550 }
XiaokangQianacb39922022-06-17 10:18:48 +00001551 break;
1552#endif /* MBEDTLS_SSL_ALPN */
1553
Ronald Cron928cbd32022-10-04 16:14:26 +02001554#if defined(MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_EPHEMERAL_ENABLED)
XiaokangQian7807f9f2022-02-15 10:04:37 +00001555 case MBEDTLS_TLS_EXT_SIG_ALG:
David Horstmann71159f42023-01-03 12:51:59 +00001556 MBEDTLS_SSL_DEBUG_MSG(3, ("found signature_algorithms extension"));
XiaokangQian7807f9f2022-02-15 10:04:37 +00001557
Gabor Mezei078e8032022-04-27 21:17:56 +02001558 ret = mbedtls_ssl_parse_sig_alg_ext(
David Horstmann71159f42023-01-03 12:51:59 +00001559 ssl, p, extension_data_end);
1560 if (ret != 0) {
1561 MBEDTLS_SSL_DEBUG_MSG(1,
1562 (
1563 "ssl_parse_supported_signature_algorithms_server_ext ( %d )",
1564 ret));
1565 return ret;
XiaokangQian7807f9f2022-02-15 10:04:37 +00001566 }
XiaokangQian7807f9f2022-02-15 10:04:37 +00001567 break;
Ronald Cron928cbd32022-10-04 16:14:26 +02001568#endif /* MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_EPHEMERAL_ENABLED */
XiaokangQian7807f9f2022-02-15 10:04:37 +00001569
1570 default:
Jerry Yu79aa7212022-11-08 21:30:21 +08001571 MBEDTLS_SSL_PRINT_EXT(
Jerry Yu63a459c2022-10-31 13:38:40 +08001572 3, MBEDTLS_SSL_HS_CLIENT_HELLO,
David Horstmann71159f42023-01-03 12:51:59 +00001573 extension_type, "( ignored )");
Jerry Yu0c354a22022-08-29 15:25:36 +08001574 break;
XiaokangQian7807f9f2022-02-15 10:04:37 +00001575 }
1576
1577 p += extension_data_len;
1578 }
1579
David Horstmann71159f42023-01-03 12:51:59 +00001580 MBEDTLS_SSL_PRINT_EXTS(3, MBEDTLS_SSL_HS_CLIENT_HELLO,
1581 handshake->received_extensions);
Jerry Yue18dc7e2022-08-04 16:29:22 +08001582
David Horstmann71159f42023-01-03 12:51:59 +00001583 mbedtls_ssl_add_hs_hdr_to_checksum(ssl,
1584 MBEDTLS_SSL_HS_CLIENT_HELLO,
1585 p - buf);
Jerry Yu032b15ce2022-07-11 06:10:03 +00001586
Ronald Cron41a443a2022-10-04 16:38:25 +02001587#if defined(MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_SOME_PSK_ENABLED)
XiaokangQian7807f9f2022-02-15 10:04:37 +00001588 /* Update checksum with either
1589 * - The entire content of the CH message, if no PSK extension is present
1590 * - The content up to but excluding the PSK extension, if present.
1591 */
Jerry Yu1c105562022-07-10 06:32:38 +00001592 /* If we've settled on a PSK-based exchange, parse PSK identity ext */
David Horstmann71159f42023-01-03 12:51:59 +00001593 if (mbedtls_ssl_tls13_some_psk_enabled(ssl) &&
1594 mbedtls_ssl_conf_tls13_some_psk_enabled(ssl) &&
1595 (handshake->received_extensions & MBEDTLS_SSL_EXT_MASK(PRE_SHARED_KEY))) {
1596 handshake->update_checksum(ssl, buf,
1597 pre_shared_key_ext - buf);
1598 ret = ssl_tls13_parse_pre_shared_key_ext(ssl,
1599 pre_shared_key_ext,
1600 pre_shared_key_ext_end,
1601 cipher_suites,
1602 cipher_suites_end);
1603 if (ret == MBEDTLS_ERR_SSL_UNKNOWN_IDENTITY) {
1604 handshake->received_extensions &= ~MBEDTLS_SSL_EXT_MASK(PRE_SHARED_KEY);
1605 } else if (ret != 0) {
Jerry Yu63a459c2022-10-31 13:38:40 +08001606 MBEDTLS_SSL_DEBUG_RET(
David Horstmann71159f42023-01-03 12:51:59 +00001607 1, "ssl_tls13_parse_pre_shared_key_ext", ret);
1608 return ret;
Jerry Yu1c105562022-07-10 06:32:38 +00001609 }
David Horstmann71159f42023-01-03 12:51:59 +00001610 } else
Ronald Cron41a443a2022-10-04 16:38:25 +02001611#endif /* MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_SOME_PSK_ENABLED */
Jerry Yu1c105562022-07-10 06:32:38 +00001612 {
David Horstmann71159f42023-01-03 12:51:59 +00001613 handshake->update_checksum(ssl, buf, p - buf);
Jerry Yu1c105562022-07-10 06:32:38 +00001614 }
XiaokangQian7807f9f2022-02-15 10:04:37 +00001615
David Horstmann71159f42023-01-03 12:51:59 +00001616 ret = ssl_tls13_determine_key_exchange_mode(ssl);
1617 if (ret < 0) {
1618 return ret;
1619 }
XiaokangQian7807f9f2022-02-15 10:04:37 +00001620
David Horstmann71159f42023-01-03 12:51:59 +00001621 mbedtls_ssl_optimize_checksum(ssl, handshake->ciphersuite_info);
Jerry Yue5834fd2022-08-29 20:16:09 +08001622
David Horstmann71159f42023-01-03 12:51:59 +00001623 return hrr_required ? SSL_CLIENT_HELLO_HRR_REQUIRED : SSL_CLIENT_HELLO_OK;
XiaokangQian75fe8c72022-06-15 09:42:45 +00001624}
1625
1626/* Update the handshake state machine */
1627
Ronald Cronce7d76e2022-07-08 18:56:49 +02001628MBEDTLS_CHECK_RETURN_CRITICAL
David Horstmann71159f42023-01-03 12:51:59 +00001629static int ssl_tls13_postprocess_client_hello(mbedtls_ssl_context *ssl)
XiaokangQian75fe8c72022-06-15 09:42:45 +00001630{
1631 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
1632
XiaokangQian7807f9f2022-02-15 10:04:37 +00001633 /*
XiaokangQianfb665a82022-06-15 03:57:21 +00001634 * Server certificate selection
1635 */
David Horstmann71159f42023-01-03 12:51:59 +00001636 if (ssl->conf->f_cert_cb && (ret = ssl->conf->f_cert_cb(ssl)) != 0) {
1637 MBEDTLS_SSL_DEBUG_RET(1, "f_cert_cb", ret);
1638 return ret;
XiaokangQianfb665a82022-06-15 03:57:21 +00001639 }
1640#if defined(MBEDTLS_SSL_SERVER_NAME_INDICATION)
1641 ssl->handshake->sni_name = NULL;
1642 ssl->handshake->sni_name_len = 0;
1643#endif /* MBEDTLS_SSL_SERVER_NAME_INDICATION */
XiaokangQian7807f9f2022-02-15 10:04:37 +00001644
David Horstmann71159f42023-01-03 12:51:59 +00001645 ret = mbedtls_ssl_tls13_key_schedule_stage_early(ssl);
1646 if (ret != 0) {
1647 MBEDTLS_SSL_DEBUG_RET(1,
1648 "mbedtls_ssl_tls1_3_key_schedule_stage_early", ret);
1649 return ret;
XiaokangQian7807f9f2022-02-15 10:04:37 +00001650 }
1651
David Horstmann71159f42023-01-03 12:51:59 +00001652 return 0;
XiaokangQian7807f9f2022-02-15 10:04:37 +00001653
1654}
1655
1656/*
XiaokangQianed582dd2022-04-13 08:21:05 +00001657 * Main entry point from the state machine; orchestrates the otherfunctions.
1658 */
1659
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +02001660MBEDTLS_CHECK_RETURN_CRITICAL
David Horstmann71159f42023-01-03 12:51:59 +00001661static int ssl_tls13_process_client_hello(mbedtls_ssl_context *ssl)
XiaokangQianed582dd2022-04-13 08:21:05 +00001662{
1663
XiaokangQian08037552022-04-20 07:16:41 +00001664 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
David Horstmann71159f42023-01-03 12:51:59 +00001665 unsigned char *buf = NULL;
XiaokangQianed582dd2022-04-13 08:21:05 +00001666 size_t buflen = 0;
Jerry Yu4ca91402022-05-09 15:50:57 +08001667 int parse_client_hello_ret;
1668
David Horstmann71159f42023-01-03 12:51:59 +00001669 MBEDTLS_SSL_DEBUG_MSG(2, ("=> parse client hello"));
XiaokangQianed582dd2022-04-13 08:21:05 +00001670
David Horstmann71159f42023-01-03 12:51:59 +00001671 MBEDTLS_SSL_PROC_CHK(mbedtls_ssl_tls13_fetch_handshake_msg(
1672 ssl, MBEDTLS_SSL_HS_CLIENT_HELLO,
1673 &buf, &buflen));
XiaokangQianed582dd2022-04-13 08:21:05 +00001674
David Horstmann71159f42023-01-03 12:51:59 +00001675 MBEDTLS_SSL_PROC_CHK_NEG(ssl_tls13_parse_client_hello(ssl, buf,
1676 buf + buflen));
Jerry Yuf41553b2022-05-09 22:20:30 +08001677 parse_client_hello_ret = ret; /* Store return value of parse_client_hello,
1678 * only SSL_CLIENT_HELLO_OK or
1679 * SSL_CLIENT_HELLO_HRR_REQUIRED at this
1680 * stage as negative error codes are handled
1681 * by MBEDTLS_SSL_PROC_CHK_NEG. */
Jerry Yu4ca91402022-05-09 15:50:57 +08001682
David Horstmann71159f42023-01-03 12:51:59 +00001683 MBEDTLS_SSL_PROC_CHK(ssl_tls13_postprocess_client_hello(ssl));
Jerry Yu582dd062022-04-22 21:59:01 +08001684
David Horstmann71159f42023-01-03 12:51:59 +00001685 if (parse_client_hello_ret == SSL_CLIENT_HELLO_OK) {
1686 mbedtls_ssl_handshake_set_state(ssl, MBEDTLS_SSL_SERVER_HELLO);
1687 } else {
1688 mbedtls_ssl_handshake_set_state(ssl, MBEDTLS_SSL_HELLO_RETRY_REQUEST);
1689 }
XiaokangQianed582dd2022-04-13 08:21:05 +00001690
1691cleanup:
1692
David Horstmann71159f42023-01-03 12:51:59 +00001693 MBEDTLS_SSL_DEBUG_MSG(2, ("<= parse client hello"));
1694 return ret;
XiaokangQianed582dd2022-04-13 08:21:05 +00001695}
1696
1697/*
Jerry Yu1c3e6882022-04-20 21:23:40 +08001698 * Handler for MBEDTLS_SSL_SERVER_HELLO
Jerry Yu5b64ae92022-03-30 17:15:02 +08001699 */
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +02001700MBEDTLS_CHECK_RETURN_CRITICAL
David Horstmann71159f42023-01-03 12:51:59 +00001701static int ssl_tls13_prepare_server_hello(mbedtls_ssl_context *ssl)
Jerry Yuf4b27e42022-03-30 17:32:21 +08001702{
Jerry Yu637a3f12022-04-20 21:37:58 +08001703 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
1704 unsigned char *server_randbytes =
David Horstmann71159f42023-01-03 12:51:59 +00001705 ssl->handshake->randbytes + MBEDTLS_CLIENT_HELLO_RANDOM_LEN;
1706 if (ssl->conf->f_rng == NULL) {
1707 MBEDTLS_SSL_DEBUG_MSG(1, ("no RNG provided"));
1708 return MBEDTLS_ERR_SSL_NO_RNG;
Jerry Yuf4b27e42022-03-30 17:32:21 +08001709 }
1710
David Horstmann71159f42023-01-03 12:51:59 +00001711 if ((ret = ssl->conf->f_rng(ssl->conf->p_rng, server_randbytes,
1712 MBEDTLS_SERVER_HELLO_RANDOM_LEN)) != 0) {
1713 MBEDTLS_SSL_DEBUG_RET(1, "f_rng", ret);
1714 return ret;
Jerry Yuf4b27e42022-03-30 17:32:21 +08001715 }
1716
David Horstmann71159f42023-01-03 12:51:59 +00001717 MBEDTLS_SSL_DEBUG_BUF(3, "server hello, random bytes", server_randbytes,
1718 MBEDTLS_SERVER_HELLO_RANDOM_LEN);
Jerry Yuf4b27e42022-03-30 17:32:21 +08001719
1720#if defined(MBEDTLS_HAVE_TIME)
David Horstmann71159f42023-01-03 12:51:59 +00001721 ssl->session_negotiate->start = time(NULL);
Jerry Yuf4b27e42022-03-30 17:32:21 +08001722#endif /* MBEDTLS_HAVE_TIME */
1723
David Horstmann71159f42023-01-03 12:51:59 +00001724 return ret;
Jerry Yuf4b27e42022-03-30 17:32:21 +08001725}
1726
Jerry Yu3bf2c642022-03-30 22:02:12 +08001727/*
Jerry Yue74e04a2022-04-21 09:23:16 +08001728 * ssl_tls13_write_server_hello_supported_versions_ext ():
Jerry Yu3bf2c642022-03-30 22:02:12 +08001729 *
1730 * struct {
Jerry Yufb9f54d2022-04-06 10:08:34 +08001731 * ProtocolVersion selected_version;
Jerry Yu3bf2c642022-03-30 22:02:12 +08001732 * } SupportedVersions;
1733 */
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +02001734MBEDTLS_CHECK_RETURN_CRITICAL
Jerry Yue74e04a2022-04-21 09:23:16 +08001735static int ssl_tls13_write_server_hello_supported_versions_ext(
David Horstmann71159f42023-01-03 12:51:59 +00001736 mbedtls_ssl_context *ssl,
1737 unsigned char *buf,
1738 unsigned char *end,
1739 size_t *out_len)
Jerry Yu3bf2c642022-03-30 22:02:12 +08001740{
Jerry Yu3bf2c642022-03-30 22:02:12 +08001741 *out_len = 0;
1742
David Horstmann71159f42023-01-03 12:51:59 +00001743 MBEDTLS_SSL_DEBUG_MSG(3, ("server hello, write selected version"));
Jerry Yu3bf2c642022-03-30 22:02:12 +08001744
1745 /* Check if we have space to write the extension:
1746 * - extension_type (2 bytes)
1747 * - extension_data_length (2 bytes)
Jerry Yu349a6132022-04-14 20:52:56 +08001748 * - selected_version (2 bytes)
Jerry Yu3bf2c642022-03-30 22:02:12 +08001749 */
David Horstmann71159f42023-01-03 12:51:59 +00001750 MBEDTLS_SSL_CHK_BUF_PTR(buf, end, 6);
Jerry Yu3bf2c642022-03-30 22:02:12 +08001751
David Horstmann71159f42023-01-03 12:51:59 +00001752 MBEDTLS_PUT_UINT16_BE(MBEDTLS_TLS_EXT_SUPPORTED_VERSIONS, buf, 0);
Jerry Yu3bf2c642022-03-30 22:02:12 +08001753
David Horstmann71159f42023-01-03 12:51:59 +00001754 MBEDTLS_PUT_UINT16_BE(2, buf, 2);
Jerry Yu3bf2c642022-03-30 22:02:12 +08001755
David Horstmann71159f42023-01-03 12:51:59 +00001756 mbedtls_ssl_write_version(buf + 4,
1757 ssl->conf->transport,
1758 ssl->tls_version);
Jerry Yu3bf2c642022-03-30 22:02:12 +08001759
David Horstmann71159f42023-01-03 12:51:59 +00001760 MBEDTLS_SSL_DEBUG_MSG(3, ("supported version: [%04x]",
1761 ssl->tls_version));
Jerry Yu3bf2c642022-03-30 22:02:12 +08001762
Jerry Yu349a6132022-04-14 20:52:56 +08001763 *out_len = 6;
Jerry Yu3bf2c642022-03-30 22:02:12 +08001764
Jerry Yub95dd362022-11-08 21:19:34 +08001765 mbedtls_ssl_tls13_set_hs_sent_ext_mask(
David Horstmann71159f42023-01-03 12:51:59 +00001766 ssl, MBEDTLS_TLS_EXT_SUPPORTED_VERSIONS);
Jerry Yub95dd362022-11-08 21:19:34 +08001767
David Horstmann71159f42023-01-03 12:51:59 +00001768 return 0;
Jerry Yu3bf2c642022-03-30 22:02:12 +08001769}
1770
Jerry Yud9436a12022-04-20 22:28:09 +08001771
Jerry Yu3bf2c642022-03-30 22:02:12 +08001772
1773/* Generate and export a single key share. For hybrid KEMs, this can
1774 * be called multiple times with the different components of the hybrid. */
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +02001775MBEDTLS_CHECK_RETURN_CRITICAL
David Horstmann71159f42023-01-03 12:51:59 +00001776static int ssl_tls13_generate_and_write_key_share(mbedtls_ssl_context *ssl,
1777 uint16_t named_group,
1778 unsigned char *buf,
1779 unsigned char *end,
1780 size_t *out_len)
Jerry Yu3bf2c642022-03-30 22:02:12 +08001781{
1782 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Jerry Yu955ddd72022-04-22 22:27:33 +08001783
1784 *out_len = 0;
1785
Jerry Yu89e103c2022-03-30 22:43:29 +08001786#if defined(MBEDTLS_ECDH_C)
David Horstmann71159f42023-01-03 12:51:59 +00001787 if (mbedtls_ssl_tls13_named_group_is_ecdhe(named_group)) {
Jerry Yu89e103c2022-03-30 22:43:29 +08001788 ret = mbedtls_ssl_tls13_generate_and_write_ecdh_key_exchange(
David Horstmann71159f42023-01-03 12:51:59 +00001789 ssl, named_group, buf, end, out_len);
1790 if (ret != 0) {
Jerry Yu89e103c2022-03-30 22:43:29 +08001791 MBEDTLS_SSL_DEBUG_RET(
1792 1, "mbedtls_ssl_tls13_generate_and_write_ecdh_key_exchange",
David Horstmann71159f42023-01-03 12:51:59 +00001793 ret);
1794 return ret;
Jerry Yu3bf2c642022-03-30 22:02:12 +08001795 }
David Horstmann71159f42023-01-03 12:51:59 +00001796 } else
Jerry Yu89e103c2022-03-30 22:43:29 +08001797#endif /* MBEDTLS_ECDH_C */
David Horstmann71159f42023-01-03 12:51:59 +00001798 if (0 /* Other kinds of KEMs */) {
1799 } else {
Jerry Yu955ddd72022-04-22 22:27:33 +08001800 ((void) ssl);
1801 ((void) named_group);
1802 ((void) buf);
1803 ((void) end);
Jerry Yu3bf2c642022-03-30 22:02:12 +08001804 ret = MBEDTLS_ERR_SSL_INTERNAL_ERROR;
1805 }
1806
David Horstmann71159f42023-01-03 12:51:59 +00001807 return ret;
Jerry Yu3bf2c642022-03-30 22:02:12 +08001808}
1809
1810/*
1811 * ssl_tls13_write_key_share_ext
1812 *
1813 * Structure of key_share extension in ServerHello:
1814 *
Jerry Yu1c3e6882022-04-20 21:23:40 +08001815 * struct {
1816 * NamedGroup group;
1817 * opaque key_exchange<1..2^16-1>;
1818 * } KeyShareEntry;
1819 * struct {
1820 * KeyShareEntry server_share;
1821 * } KeyShareServerHello;
Jerry Yu3bf2c642022-03-30 22:02:12 +08001822 */
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +02001823MBEDTLS_CHECK_RETURN_CRITICAL
David Horstmann71159f42023-01-03 12:51:59 +00001824static int ssl_tls13_write_key_share_ext(mbedtls_ssl_context *ssl,
1825 unsigned char *buf,
1826 unsigned char *end,
1827 size_t *out_len)
Jerry Yu3bf2c642022-03-30 22:02:12 +08001828{
Jerry Yu955ddd72022-04-22 22:27:33 +08001829 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Jerry Yu3bf2c642022-03-30 22:02:12 +08001830 unsigned char *p = buf;
Jerry Yu57d48412022-04-20 21:50:42 +08001831 uint16_t group = ssl->handshake->offered_group_id;
Jerry Yu3bf2c642022-03-30 22:02:12 +08001832 unsigned char *server_share = buf + 4;
Jerry Yu3bf2c642022-03-30 22:02:12 +08001833 size_t key_exchange_length;
Jerry Yu3bf2c642022-03-30 22:02:12 +08001834
1835 *out_len = 0;
1836
David Horstmann71159f42023-01-03 12:51:59 +00001837 MBEDTLS_SSL_DEBUG_MSG(3, ("server hello, adding key share extension"));
Jerry Yu3bf2c642022-03-30 22:02:12 +08001838
David Horstmann71159f42023-01-03 12:51:59 +00001839 MBEDTLS_SSL_DEBUG_MSG(2, ("server hello, write selected_group: %s (%04x)",
1840 mbedtls_ssl_named_group_to_str(group),
1841 group));
Jerry Yu58af2332022-09-06 11:19:31 +08001842
Jerry Yu3bf2c642022-03-30 22:02:12 +08001843 /* Check if we have space for header and length fields:
1844 * - extension_type (2 bytes)
1845 * - extension_data_length (2 bytes)
1846 * - group (2 bytes)
1847 * - key_exchange_length (2 bytes)
1848 */
David Horstmann71159f42023-01-03 12:51:59 +00001849 MBEDTLS_SSL_CHK_BUF_PTR(p, end, 8);
1850 MBEDTLS_PUT_UINT16_BE(MBEDTLS_TLS_EXT_KEY_SHARE, p, 0);
1851 MBEDTLS_PUT_UINT16_BE(group, server_share, 0);
Jerry Yu3bf2c642022-03-30 22:02:12 +08001852 p += 8;
Jerry Yu57d48412022-04-20 21:50:42 +08001853
Jerry Yu3bf2c642022-03-30 22:02:12 +08001854 /* When we introduce PQC-ECDHE hybrids, we'll want to call this
1855 * function multiple times. */
Jerry Yu955ddd72022-04-22 22:27:33 +08001856 ret = ssl_tls13_generate_and_write_key_share(
David Horstmann71159f42023-01-03 12:51:59 +00001857 ssl, group, server_share + 4, end, &key_exchange_length);
1858 if (ret != 0) {
1859 return ret;
1860 }
Jerry Yu3bf2c642022-03-30 22:02:12 +08001861 p += key_exchange_length;
Jerry Yuc1be19f2022-04-23 16:11:39 +08001862
David Horstmann71159f42023-01-03 12:51:59 +00001863 MBEDTLS_PUT_UINT16_BE(key_exchange_length, server_share + 2, 0);
Jerry Yu3bf2c642022-03-30 22:02:12 +08001864
David Horstmann71159f42023-01-03 12:51:59 +00001865 MBEDTLS_PUT_UINT16_BE(p - server_share, buf, 2);
Jerry Yu3bf2c642022-03-30 22:02:12 +08001866
Jerry Yu57d48412022-04-20 21:50:42 +08001867 *out_len = p - buf;
Jerry Yu955ddd72022-04-22 22:27:33 +08001868
David Horstmann71159f42023-01-03 12:51:59 +00001869 mbedtls_ssl_tls13_set_hs_sent_ext_mask(ssl, MBEDTLS_TLS_EXT_KEY_SHARE);
Jerry Yub95dd362022-11-08 21:19:34 +08001870
David Horstmann71159f42023-01-03 12:51:59 +00001871 return 0;
Jerry Yu3bf2c642022-03-30 22:02:12 +08001872}
Jerry Yud9436a12022-04-20 22:28:09 +08001873
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +02001874MBEDTLS_CHECK_RETURN_CRITICAL
David Horstmann71159f42023-01-03 12:51:59 +00001875static int ssl_tls13_write_hrr_key_share_ext(mbedtls_ssl_context *ssl,
1876 unsigned char *buf,
1877 unsigned char *end,
1878 size_t *out_len)
Jerry Yu23f7a6f2022-04-23 15:16:45 +08001879{
1880 uint16_t selected_group = ssl->handshake->hrr_selected_group;
1881 /* key_share Extension
1882 *
1883 * struct {
1884 * select (Handshake.msg_type) {
1885 * ...
1886 * case hello_retry_request:
1887 * NamedGroup selected_group;
1888 * ...
1889 * };
1890 * } KeyShare;
1891 */
1892
1893 *out_len = 0;
1894
Jerry Yub0ac10b2022-05-05 11:10:08 +08001895 /*
1896 * For a pure PSK key exchange, there is no group to agree upon. The purpose
1897 * of the HRR is then to transmit a cookie to force the client to demonstrate
1898 * reachability at their apparent network address (primarily useful for DTLS).
1899 */
David Horstmann71159f42023-01-03 12:51:59 +00001900 if (!mbedtls_ssl_tls13_key_exchange_mode_with_ephemeral(ssl)) {
1901 return 0;
1902 }
Jerry Yu23f7a6f2022-04-23 15:16:45 +08001903
1904 /* We should only send the key_share extension if the client's initial
1905 * key share was not acceptable. */
David Horstmann71159f42023-01-03 12:51:59 +00001906 if (ssl->handshake->offered_group_id != 0) {
1907 MBEDTLS_SSL_DEBUG_MSG(4, ("Skip key_share extension in HRR"));
1908 return 0;
Jerry Yu23f7a6f2022-04-23 15:16:45 +08001909 }
1910
David Horstmann71159f42023-01-03 12:51:59 +00001911 if (selected_group == 0) {
1912 MBEDTLS_SSL_DEBUG_MSG(1, ("no matching named group found"));
1913 return MBEDTLS_ERR_SSL_HANDSHAKE_FAILURE;
Jerry Yu23f7a6f2022-04-23 15:16:45 +08001914 }
1915
Jerry Yub0ac10b2022-05-05 11:10:08 +08001916 /* Check if we have enough space:
1917 * - extension_type (2 bytes)
1918 * - extension_data_length (2 bytes)
1919 * - selected_group (2 bytes)
1920 */
David Horstmann71159f42023-01-03 12:51:59 +00001921 MBEDTLS_SSL_CHK_BUF_PTR(buf, end, 6);
Jerry Yu23f7a6f2022-04-23 15:16:45 +08001922
David Horstmann71159f42023-01-03 12:51:59 +00001923 MBEDTLS_PUT_UINT16_BE(MBEDTLS_TLS_EXT_KEY_SHARE, buf, 0);
1924 MBEDTLS_PUT_UINT16_BE(2, buf, 2);
1925 MBEDTLS_PUT_UINT16_BE(selected_group, buf, 4);
Jerry Yu23f7a6f2022-04-23 15:16:45 +08001926
David Horstmann71159f42023-01-03 12:51:59 +00001927 MBEDTLS_SSL_DEBUG_MSG(3,
1928 ("HRR selected_group: %s (%x)",
1929 mbedtls_ssl_named_group_to_str(selected_group),
1930 selected_group));
Jerry Yu23f7a6f2022-04-23 15:16:45 +08001931
1932 *out_len = 6;
Jerry Yu23f7a6f2022-04-23 15:16:45 +08001933
David Horstmann71159f42023-01-03 12:51:59 +00001934 mbedtls_ssl_tls13_set_hs_sent_ext_mask(ssl, MBEDTLS_TLS_EXT_KEY_SHARE);
Jerry Yub95dd362022-11-08 21:19:34 +08001935
David Horstmann71159f42023-01-03 12:51:59 +00001936 return 0;
Jerry Yu23f7a6f2022-04-23 15:16:45 +08001937}
Jerry Yu3bf2c642022-03-30 22:02:12 +08001938
1939/*
1940 * Structure of ServerHello message:
1941 *
1942 * struct {
1943 * ProtocolVersion legacy_version = 0x0303; // TLS v1.2
1944 * Random random;
1945 * opaque legacy_session_id_echo<0..32>;
1946 * CipherSuite cipher_suite;
1947 * uint8 legacy_compression_method = 0;
1948 * Extension extensions<6..2^16-1>;
1949 * } ServerHello;
1950 */
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +02001951MBEDTLS_CHECK_RETURN_CRITICAL
David Horstmann71159f42023-01-03 12:51:59 +00001952static int ssl_tls13_write_server_hello_body(mbedtls_ssl_context *ssl,
1953 unsigned char *buf,
1954 unsigned char *end,
1955 size_t *out_len,
1956 int is_hrr)
Jerry Yu56404d72022-03-30 17:36:13 +08001957{
Jerry Yu955ddd72022-04-22 22:27:33 +08001958 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Jerry Yu3bf2c642022-03-30 22:02:12 +08001959 unsigned char *p = buf;
Jerry Yud9436a12022-04-20 22:28:09 +08001960 unsigned char *p_extensions_len;
Jerry Yufbe3e642022-04-25 19:31:51 +08001961 size_t output_len;
Jerry Yu3bf2c642022-03-30 22:02:12 +08001962
1963 *out_len = 0;
Jerry Yu50e00e32022-10-31 14:45:01 +08001964 ssl->handshake->sent_extensions = MBEDTLS_SSL_EXT_MASK_NONE;
Jerry Yu3bf2c642022-03-30 22:02:12 +08001965
Jerry Yucfc04b32022-04-21 09:31:58 +08001966 /* ...
1967 * ProtocolVersion legacy_version = 0x0303; // TLS 1.2
1968 * ...
1969 * with ProtocolVersion defined as:
1970 * uint16 ProtocolVersion;
Jerry Yu3bf2c642022-03-30 22:02:12 +08001971 */
David Horstmann71159f42023-01-03 12:51:59 +00001972 MBEDTLS_SSL_CHK_BUF_PTR(p, end, 2);
1973 MBEDTLS_PUT_UINT16_BE(0x0303, p, 0);
Jerry Yu3bf2c642022-03-30 22:02:12 +08001974 p += 2;
1975
Jerry Yu1c3e6882022-04-20 21:23:40 +08001976 /* ...
1977 * Random random;
1978 * ...
Jerry Yucfc04b32022-04-21 09:31:58 +08001979 * with Random defined as:
1980 * opaque Random[MBEDTLS_SERVER_HELLO_RANDOM_LEN];
Jerry Yu1c3e6882022-04-20 21:23:40 +08001981 */
David Horstmann71159f42023-01-03 12:51:59 +00001982 MBEDTLS_SSL_CHK_BUF_PTR(p, end, MBEDTLS_SERVER_HELLO_RANDOM_LEN);
1983 if (is_hrr) {
1984 memcpy(p, mbedtls_ssl_tls13_hello_retry_request_magic,
1985 MBEDTLS_SERVER_HELLO_RANDOM_LEN);
1986 } else {
1987 memcpy(p, &ssl->handshake->randbytes[MBEDTLS_CLIENT_HELLO_RANDOM_LEN],
1988 MBEDTLS_SERVER_HELLO_RANDOM_LEN);
Jerry Yu23f7a6f2022-04-23 15:16:45 +08001989 }
David Horstmann71159f42023-01-03 12:51:59 +00001990 MBEDTLS_SSL_DEBUG_BUF(3, "server hello, random bytes",
1991 p, MBEDTLS_SERVER_HELLO_RANDOM_LEN);
Jerry Yu3bf2c642022-03-30 22:02:12 +08001992 p += MBEDTLS_SERVER_HELLO_RANDOM_LEN;
1993
Jerry Yucfc04b32022-04-21 09:31:58 +08001994 /* ...
1995 * opaque legacy_session_id_echo<0..32>;
1996 * ...
Jerry Yu3bf2c642022-03-30 22:02:12 +08001997 */
David Horstmann71159f42023-01-03 12:51:59 +00001998 MBEDTLS_SSL_CHK_BUF_PTR(p, end, 1 + ssl->session_negotiate->id_len);
1999 *p++ = (unsigned char) ssl->session_negotiate->id_len;
2000 if (ssl->session_negotiate->id_len > 0) {
2001 memcpy(p, &ssl->session_negotiate->id[0],
2002 ssl->session_negotiate->id_len);
Jerry Yu3bf2c642022-03-30 22:02:12 +08002003 p += ssl->session_negotiate->id_len;
Jerry Yu955ddd72022-04-22 22:27:33 +08002004
David Horstmann71159f42023-01-03 12:51:59 +00002005 MBEDTLS_SSL_DEBUG_BUF(3, "session id", ssl->session_negotiate->id,
2006 ssl->session_negotiate->id_len);
Jerry Yu3bf2c642022-03-30 22:02:12 +08002007 }
2008
Jerry Yucfc04b32022-04-21 09:31:58 +08002009 /* ...
2010 * CipherSuite cipher_suite;
2011 * ...
2012 * with CipherSuite defined as:
2013 * uint8 CipherSuite[2];
Jerry Yu3bf2c642022-03-30 22:02:12 +08002014 */
David Horstmann71159f42023-01-03 12:51:59 +00002015 MBEDTLS_SSL_CHK_BUF_PTR(p, end, 2);
2016 MBEDTLS_PUT_UINT16_BE(ssl->session_negotiate->ciphersuite, p, 0);
Jerry Yu3bf2c642022-03-30 22:02:12 +08002017 p += 2;
David Horstmann71159f42023-01-03 12:51:59 +00002018 MBEDTLS_SSL_DEBUG_MSG(3,
2019 ("server hello, chosen ciphersuite: %s ( id=%d )",
2020 mbedtls_ssl_get_ciphersuite_name(
2021 ssl->session_negotiate->ciphersuite),
2022 ssl->session_negotiate->ciphersuite));
Jerry Yu3bf2c642022-03-30 22:02:12 +08002023
Jerry Yucfc04b32022-04-21 09:31:58 +08002024 /* ...
2025 * uint8 legacy_compression_method = 0;
2026 * ...
2027 */
David Horstmann71159f42023-01-03 12:51:59 +00002028 MBEDTLS_SSL_CHK_BUF_PTR(p, end, 1);
Thomas Daubney31e03a82022-07-25 15:59:25 +01002029 *p++ = MBEDTLS_SSL_COMPRESS_NULL;
Jerry Yu3bf2c642022-03-30 22:02:12 +08002030
Jerry Yucfc04b32022-04-21 09:31:58 +08002031 /* ...
2032 * Extension extensions<6..2^16-1>;
2033 * ...
2034 * struct {
2035 * ExtensionType extension_type; (2 bytes)
2036 * opaque extension_data<0..2^16-1>;
2037 * } Extension;
2038 */
David Horstmann71159f42023-01-03 12:51:59 +00002039 MBEDTLS_SSL_CHK_BUF_PTR(p, end, 2);
Jerry Yud9436a12022-04-20 22:28:09 +08002040 p_extensions_len = p;
Jerry Yu3bf2c642022-03-30 22:02:12 +08002041 p += 2;
2042
David Horstmann71159f42023-01-03 12:51:59 +00002043 if ((ret = ssl_tls13_write_server_hello_supported_versions_ext(
2044 ssl, p, end, &output_len)) != 0) {
Jerry Yu955ddd72022-04-22 22:27:33 +08002045 MBEDTLS_SSL_DEBUG_RET(
David Horstmann71159f42023-01-03 12:51:59 +00002046 1, "ssl_tls13_write_server_hello_supported_versions_ext", ret);
2047 return ret;
Jerry Yu3bf2c642022-03-30 22:02:12 +08002048 }
2049 p += output_len;
2050
David Horstmann71159f42023-01-03 12:51:59 +00002051 if (mbedtls_ssl_tls13_key_exchange_mode_with_ephemeral(ssl)) {
2052 if (is_hrr) {
2053 ret = ssl_tls13_write_hrr_key_share_ext(ssl, p, end, &output_len);
2054 } else {
2055 ret = ssl_tls13_write_key_share_ext(ssl, p, end, &output_len);
2056 }
2057 if (ret != 0) {
2058 return ret;
2059 }
Jerry Yu3bf2c642022-03-30 22:02:12 +08002060 p += output_len;
2061 }
Jerry Yu3bf2c642022-03-30 22:02:12 +08002062
Ronald Cron41a443a2022-10-04 16:38:25 +02002063#if defined(MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_SOME_PSK_ENABLED)
David Horstmann71159f42023-01-03 12:51:59 +00002064 if (!is_hrr && mbedtls_ssl_tls13_key_exchange_mode_with_psk(ssl)) {
2065 ret = ssl_tls13_write_server_pre_shared_key_ext(ssl, p, end, &output_len);
2066 if (ret != 0) {
2067 MBEDTLS_SSL_DEBUG_RET(1, "ssl_tls13_write_server_pre_shared_key_ext",
2068 ret);
2069 return ret;
Jerry Yu032b15ce2022-07-11 06:10:03 +00002070 }
2071 p += output_len;
2072 }
Ronald Cron41a443a2022-10-04 16:38:25 +02002073#endif
Jerry Yu032b15ce2022-07-11 06:10:03 +00002074
David Horstmann71159f42023-01-03 12:51:59 +00002075 MBEDTLS_PUT_UINT16_BE(p - p_extensions_len - 2, p_extensions_len, 0);
Jerry Yu3bf2c642022-03-30 22:02:12 +08002076
David Horstmann71159f42023-01-03 12:51:59 +00002077 MBEDTLS_SSL_DEBUG_BUF(4, "server hello extensions",
2078 p_extensions_len, p - p_extensions_len);
Jerry Yu3bf2c642022-03-30 22:02:12 +08002079
Jerry Yud9436a12022-04-20 22:28:09 +08002080 *out_len = p - buf;
Jerry Yu3bf2c642022-03-30 22:02:12 +08002081
David Horstmann71159f42023-01-03 12:51:59 +00002082 MBEDTLS_SSL_DEBUG_BUF(3, "server hello", buf, *out_len);
Jerry Yu3bf2c642022-03-30 22:02:12 +08002083
Jerry Yu7de2ff02022-11-08 21:43:46 +08002084 MBEDTLS_SSL_PRINT_EXTS(
Jerry Yu4b8f2f72022-10-31 13:31:22 +08002085 3, is_hrr ? MBEDTLS_SSL_TLS1_3_HS_HELLO_RETRY_REQUEST :
David Horstmann71159f42023-01-03 12:51:59 +00002086 MBEDTLS_SSL_HS_SERVER_HELLO,
2087 ssl->handshake->sent_extensions);
Jerry Yu4b8f2f72022-10-31 13:31:22 +08002088
David Horstmann71159f42023-01-03 12:51:59 +00002089 return ret;
Jerry Yu56404d72022-03-30 17:36:13 +08002090}
2091
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +02002092MBEDTLS_CHECK_RETURN_CRITICAL
David Horstmann71159f42023-01-03 12:51:59 +00002093static int ssl_tls13_finalize_write_server_hello(mbedtls_ssl_context *ssl)
Jerry Yue110d252022-05-05 10:19:22 +08002094{
2095 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
David Horstmann71159f42023-01-03 12:51:59 +00002096 ret = mbedtls_ssl_tls13_compute_handshake_transform(ssl);
2097 if (ret != 0) {
2098 MBEDTLS_SSL_DEBUG_RET(1,
2099 "mbedtls_ssl_tls13_compute_handshake_transform",
2100 ret);
2101 return ret;
Jerry Yue110d252022-05-05 10:19:22 +08002102 }
2103
David Horstmann71159f42023-01-03 12:51:59 +00002104 return ret;
Jerry Yue110d252022-05-05 10:19:22 +08002105}
2106
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +02002107MBEDTLS_CHECK_RETURN_CRITICAL
David Horstmann71159f42023-01-03 12:51:59 +00002108static int ssl_tls13_write_server_hello(mbedtls_ssl_context *ssl)
Jerry Yu5b64ae92022-03-30 17:15:02 +08002109{
Jerry Yu637a3f12022-04-20 21:37:58 +08002110 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Jerry Yuf4b27e42022-03-30 17:32:21 +08002111 unsigned char *buf;
2112 size_t buf_len, msg_len;
2113
David Horstmann71159f42023-01-03 12:51:59 +00002114 MBEDTLS_SSL_DEBUG_MSG(2, ("=> write server hello"));
Jerry Yuf4b27e42022-03-30 17:32:21 +08002115
David Horstmann71159f42023-01-03 12:51:59 +00002116 MBEDTLS_SSL_PROC_CHK(ssl_tls13_prepare_server_hello(ssl));
Jerry Yuf4b27e42022-03-30 17:32:21 +08002117
David Horstmann71159f42023-01-03 12:51:59 +00002118 MBEDTLS_SSL_PROC_CHK(mbedtls_ssl_start_handshake_msg(ssl,
2119 MBEDTLS_SSL_HS_SERVER_HELLO, &buf,
2120 &buf_len));
Jerry Yuf4b27e42022-03-30 17:32:21 +08002121
David Horstmann71159f42023-01-03 12:51:59 +00002122 MBEDTLS_SSL_PROC_CHK(ssl_tls13_write_server_hello_body(ssl, buf,
2123 buf + buf_len,
2124 &msg_len,
2125 0));
Jerry Yuf4b27e42022-03-30 17:32:21 +08002126
Jerry Yu3bf2c642022-03-30 22:02:12 +08002127 mbedtls_ssl_add_hs_msg_to_checksum(
David Horstmann71159f42023-01-03 12:51:59 +00002128 ssl, MBEDTLS_SSL_HS_SERVER_HELLO, buf, msg_len);
Jerry Yuf4b27e42022-03-30 17:32:21 +08002129
David Horstmann71159f42023-01-03 12:51:59 +00002130 MBEDTLS_SSL_PROC_CHK(mbedtls_ssl_finish_handshake_msg(
2131 ssl, buf_len, msg_len));
Jerry Yu637a3f12022-04-20 21:37:58 +08002132
David Horstmann71159f42023-01-03 12:51:59 +00002133 MBEDTLS_SSL_PROC_CHK(ssl_tls13_finalize_write_server_hello(ssl));
Jerry Yue110d252022-05-05 10:19:22 +08002134
Gabor Mezei7b39bf12022-05-24 16:04:14 +02002135#if defined(MBEDTLS_SSL_TLS1_3_COMPATIBILITY_MODE)
2136 /* The server sends a dummy change_cipher_spec record immediately
2137 * after its first handshake message. This may either be after
2138 * a ServerHello or a HelloRetryRequest.
2139 */
Gabor Mezei96ae9262022-06-28 11:45:18 +02002140 mbedtls_ssl_handshake_set_state(
David Horstmann71159f42023-01-03 12:51:59 +00002141 ssl, MBEDTLS_SSL_SERVER_CCS_AFTER_SERVER_HELLO);
Gabor Mezei7b39bf12022-05-24 16:04:14 +02002142#else
David Horstmann71159f42023-01-03 12:51:59 +00002143 mbedtls_ssl_handshake_set_state(ssl, MBEDTLS_SSL_ENCRYPTED_EXTENSIONS);
Gabor Mezei7b39bf12022-05-24 16:04:14 +02002144#endif /* MBEDTLS_SSL_TLS1_3_COMPATIBILITY_MODE */
Jerry Yue110d252022-05-05 10:19:22 +08002145
Jerry Yuf4b27e42022-03-30 17:32:21 +08002146cleanup:
2147
David Horstmann71159f42023-01-03 12:51:59 +00002148 MBEDTLS_SSL_DEBUG_MSG(2, ("<= write server hello"));
2149 return ret;
Jerry Yu5b64ae92022-03-30 17:15:02 +08002150}
2151
Jerry Yu23d1a252022-05-12 18:08:59 +08002152
2153/*
2154 * Handler for MBEDTLS_SSL_HELLO_RETRY_REQUEST
2155 */
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +02002156MBEDTLS_CHECK_RETURN_CRITICAL
David Horstmann71159f42023-01-03 12:51:59 +00002157static int ssl_tls13_prepare_hello_retry_request(mbedtls_ssl_context *ssl)
Jerry Yu23d1a252022-05-12 18:08:59 +08002158{
2159 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
David Horstmann71159f42023-01-03 12:51:59 +00002160 if (ssl->handshake->hello_retry_request_count > 0) {
2161 MBEDTLS_SSL_DEBUG_MSG(1, ("Too many HRRs"));
2162 MBEDTLS_SSL_PEND_FATAL_ALERT(MBEDTLS_SSL_ALERT_MSG_HANDSHAKE_FAILURE,
2163 MBEDTLS_ERR_SSL_HANDSHAKE_FAILURE);
2164 return MBEDTLS_ERR_SSL_HANDSHAKE_FAILURE;
Jerry Yu23d1a252022-05-12 18:08:59 +08002165 }
2166
2167 /*
2168 * Create stateless transcript hash for HRR
2169 */
David Horstmann71159f42023-01-03 12:51:59 +00002170 MBEDTLS_SSL_DEBUG_MSG(4, ("Reset transcript for HRR"));
2171 ret = mbedtls_ssl_reset_transcript_for_hrr(ssl);
2172 if (ret != 0) {
2173 MBEDTLS_SSL_DEBUG_RET(1, "mbedtls_ssl_reset_transcript_for_hrr", ret);
2174 return ret;
Jerry Yu23d1a252022-05-12 18:08:59 +08002175 }
David Horstmann71159f42023-01-03 12:51:59 +00002176 mbedtls_ssl_session_reset_msg_layer(ssl, 0);
Jerry Yu23d1a252022-05-12 18:08:59 +08002177
David Horstmann71159f42023-01-03 12:51:59 +00002178 return 0;
Jerry Yu23d1a252022-05-12 18:08:59 +08002179}
2180
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +02002181MBEDTLS_CHECK_RETURN_CRITICAL
David Horstmann71159f42023-01-03 12:51:59 +00002182static int ssl_tls13_write_hello_retry_request(mbedtls_ssl_context *ssl)
Jerry Yu23d1a252022-05-12 18:08:59 +08002183{
2184 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
2185 unsigned char *buf;
2186 size_t buf_len, msg_len;
2187
David Horstmann71159f42023-01-03 12:51:59 +00002188 MBEDTLS_SSL_DEBUG_MSG(2, ("=> write hello retry request"));
Jerry Yu23d1a252022-05-12 18:08:59 +08002189
David Horstmann71159f42023-01-03 12:51:59 +00002190 MBEDTLS_SSL_PROC_CHK(ssl_tls13_prepare_hello_retry_request(ssl));
Jerry Yu23d1a252022-05-12 18:08:59 +08002191
David Horstmann71159f42023-01-03 12:51:59 +00002192 MBEDTLS_SSL_PROC_CHK(mbedtls_ssl_start_handshake_msg(
2193 ssl, MBEDTLS_SSL_HS_SERVER_HELLO,
2194 &buf, &buf_len));
Jerry Yu23d1a252022-05-12 18:08:59 +08002195
David Horstmann71159f42023-01-03 12:51:59 +00002196 MBEDTLS_SSL_PROC_CHK(ssl_tls13_write_server_hello_body(ssl, buf,
2197 buf + buf_len,
2198 &msg_len,
2199 1));
Jerry Yu23d1a252022-05-12 18:08:59 +08002200 mbedtls_ssl_add_hs_msg_to_checksum(
David Horstmann71159f42023-01-03 12:51:59 +00002201 ssl, MBEDTLS_SSL_HS_SERVER_HELLO, buf, msg_len);
Jerry Yu23d1a252022-05-12 18:08:59 +08002202
2203
David Horstmann71159f42023-01-03 12:51:59 +00002204 MBEDTLS_SSL_PROC_CHK(mbedtls_ssl_finish_handshake_msg(ssl, buf_len,
2205 msg_len));
Jerry Yu23d1a252022-05-12 18:08:59 +08002206
2207 ssl->handshake->hello_retry_request_count++;
2208
Gabor Mezei7b39bf12022-05-24 16:04:14 +02002209#if defined(MBEDTLS_SSL_TLS1_3_COMPATIBILITY_MODE)
2210 /* The server sends a dummy change_cipher_spec record immediately
2211 * after its first handshake message. This may either be after
2212 * a ServerHello or a HelloRetryRequest.
2213 */
Gabor Mezei96ae9262022-06-28 11:45:18 +02002214 mbedtls_ssl_handshake_set_state(
David Horstmann71159f42023-01-03 12:51:59 +00002215 ssl, MBEDTLS_SSL_SERVER_CCS_AFTER_HELLO_RETRY_REQUEST);
Gabor Mezei7b39bf12022-05-24 16:04:14 +02002216#else
David Horstmann71159f42023-01-03 12:51:59 +00002217 mbedtls_ssl_handshake_set_state(ssl, MBEDTLS_SSL_CLIENT_HELLO);
Gabor Mezei7b39bf12022-05-24 16:04:14 +02002218#endif /* MBEDTLS_SSL_TLS1_3_COMPATIBILITY_MODE */
Jerry Yu23d1a252022-05-12 18:08:59 +08002219
2220cleanup:
David Horstmann71159f42023-01-03 12:51:59 +00002221 MBEDTLS_SSL_DEBUG_MSG(2, ("<= write hello retry request"));
2222 return ret;
Jerry Yu23d1a252022-05-12 18:08:59 +08002223}
2224
Jerry Yu5b64ae92022-03-30 17:15:02 +08002225/*
Jerry Yu4d3841a2022-04-16 12:37:19 +08002226 * Handler for MBEDTLS_SSL_ENCRYPTED_EXTENSIONS
2227 */
Jerry Yu4d3841a2022-04-16 12:37:19 +08002228
2229/*
2230 * struct {
2231 * Extension extensions<0..2 ^ 16 - 1>;
2232 * } EncryptedExtensions;
2233 *
2234 */
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +02002235MBEDTLS_CHECK_RETURN_CRITICAL
David Horstmann71159f42023-01-03 12:51:59 +00002236static int ssl_tls13_write_encrypted_extensions_body(mbedtls_ssl_context *ssl,
2237 unsigned char *buf,
2238 unsigned char *end,
2239 size_t *out_len)
Jerry Yu4d3841a2022-04-16 12:37:19 +08002240{
XiaokangQianacb39922022-06-17 10:18:48 +00002241 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Jerry Yu4d3841a2022-04-16 12:37:19 +08002242 unsigned char *p = buf;
2243 size_t extensions_len = 0;
Jerry Yu8937eb42022-05-03 12:12:14 +08002244 unsigned char *p_extensions_len;
XiaokangQianacb39922022-06-17 10:18:48 +00002245 size_t output_len;
Jerry Yu9da5e5a2022-05-03 15:46:09 +08002246
Jerry Yu4d3841a2022-04-16 12:37:19 +08002247 *out_len = 0;
2248
David Horstmann71159f42023-01-03 12:51:59 +00002249 MBEDTLS_SSL_CHK_BUF_PTR(p, end, 2);
Jerry Yu8937eb42022-05-03 12:12:14 +08002250 p_extensions_len = p;
Jerry Yu4d3841a2022-04-16 12:37:19 +08002251 p += 2;
2252
Jerry Yu8937eb42022-05-03 12:12:14 +08002253 ((void) ssl);
XiaokangQianacb39922022-06-17 10:18:48 +00002254 ((void) ret);
2255 ((void) output_len);
2256
2257#if defined(MBEDTLS_SSL_ALPN)
David Horstmann71159f42023-01-03 12:51:59 +00002258 ret = mbedtls_ssl_write_alpn_ext(ssl, p, end, &output_len);
2259 if (ret != 0) {
2260 return ret;
2261 }
XiaokangQian95d5f542022-06-24 02:29:26 +00002262 p += output_len;
XiaokangQianacb39922022-06-17 10:18:48 +00002263#endif /* MBEDTLS_SSL_ALPN */
Jerry Yu4d3841a2022-04-16 12:37:19 +08002264
David Horstmann71159f42023-01-03 12:51:59 +00002265 extensions_len = (p - p_extensions_len) - 2;
2266 MBEDTLS_PUT_UINT16_BE(extensions_len, p_extensions_len, 0);
Jerry Yu8937eb42022-05-03 12:12:14 +08002267
2268 *out_len = p - buf;
Jerry Yu4d3841a2022-04-16 12:37:19 +08002269
David Horstmann71159f42023-01-03 12:51:59 +00002270 MBEDTLS_SSL_DEBUG_BUF(4, "encrypted extensions", buf, *out_len);
Jerry Yu4d3841a2022-04-16 12:37:19 +08002271
Jerry Yu7de2ff02022-11-08 21:43:46 +08002272 MBEDTLS_SSL_PRINT_EXTS(
David Horstmann71159f42023-01-03 12:51:59 +00002273 3, MBEDTLS_SSL_HS_ENCRYPTED_EXTENSIONS, ssl->handshake->sent_extensions);
Jerry Yu4b8f2f72022-10-31 13:31:22 +08002274
David Horstmann71159f42023-01-03 12:51:59 +00002275 return 0;
Jerry Yu4d3841a2022-04-16 12:37:19 +08002276}
2277
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +02002278MBEDTLS_CHECK_RETURN_CRITICAL
David Horstmann71159f42023-01-03 12:51:59 +00002279static int ssl_tls13_write_encrypted_extensions(mbedtls_ssl_context *ssl)
Jerry Yu4d3841a2022-04-16 12:37:19 +08002280{
2281 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
2282 unsigned char *buf;
Jerry Yu39730a72022-05-03 12:14:04 +08002283 size_t buf_len, msg_len;
Jerry Yu4d3841a2022-04-16 12:37:19 +08002284
David Horstmann71159f42023-01-03 12:51:59 +00002285 mbedtls_ssl_set_outbound_transform(ssl,
2286 ssl->handshake->transform_handshake);
Gabor Mezei54719122022-06-28 11:34:56 +02002287 MBEDTLS_SSL_DEBUG_MSG(
David Horstmann71159f42023-01-03 12:51:59 +00002288 3, ("switching to handshake transform for outbound data"));
Gabor Mezei54719122022-06-28 11:34:56 +02002289
David Horstmann71159f42023-01-03 12:51:59 +00002290 MBEDTLS_SSL_DEBUG_MSG(2, ("=> write encrypted extensions"));
Jerry Yu4d3841a2022-04-16 12:37:19 +08002291
David Horstmann71159f42023-01-03 12:51:59 +00002292 MBEDTLS_SSL_PROC_CHK(mbedtls_ssl_start_handshake_msg(ssl,
2293 MBEDTLS_SSL_HS_ENCRYPTED_EXTENSIONS, &buf,
2294 &buf_len));
Jerry Yu4d3841a2022-04-16 12:37:19 +08002295
David Horstmann71159f42023-01-03 12:51:59 +00002296 MBEDTLS_SSL_PROC_CHK(ssl_tls13_write_encrypted_extensions_body(
2297 ssl, buf, buf + buf_len, &msg_len));
Jerry Yu4d3841a2022-04-16 12:37:19 +08002298
2299 mbedtls_ssl_add_hs_msg_to_checksum(
David Horstmann71159f42023-01-03 12:51:59 +00002300 ssl, MBEDTLS_SSL_HS_ENCRYPTED_EXTENSIONS, buf, msg_len);
Jerry Yu4d3841a2022-04-16 12:37:19 +08002301
David Horstmann71159f42023-01-03 12:51:59 +00002302 MBEDTLS_SSL_PROC_CHK(mbedtls_ssl_finish_handshake_msg(
2303 ssl, buf_len, msg_len));
Jerry Yu4d3841a2022-04-16 12:37:19 +08002304
Ronald Cron928cbd32022-10-04 16:14:26 +02002305#if defined(MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_EPHEMERAL_ENABLED)
David Horstmann71159f42023-01-03 12:51:59 +00002306 if (mbedtls_ssl_tls13_key_exchange_mode_with_psk(ssl)) {
2307 mbedtls_ssl_handshake_set_state(ssl, MBEDTLS_SSL_SERVER_FINISHED);
2308 } else {
2309 mbedtls_ssl_handshake_set_state(ssl, MBEDTLS_SSL_CERTIFICATE_REQUEST);
2310 }
Jerry Yu8937eb42022-05-03 12:12:14 +08002311#else
David Horstmann71159f42023-01-03 12:51:59 +00002312 mbedtls_ssl_handshake_set_state(ssl, MBEDTLS_SSL_SERVER_FINISHED);
Jerry Yu8937eb42022-05-03 12:12:14 +08002313#endif
2314
Jerry Yu4d3841a2022-04-16 12:37:19 +08002315cleanup:
2316
David Horstmann71159f42023-01-03 12:51:59 +00002317 MBEDTLS_SSL_DEBUG_MSG(2, ("<= write encrypted extensions"));
2318 return ret;
Jerry Yu4d3841a2022-04-16 12:37:19 +08002319}
2320
Ronald Cron928cbd32022-10-04 16:14:26 +02002321#if defined(MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_EPHEMERAL_ENABLED)
XiaokangQiana987e1d2022-05-07 01:25:58 +00002322#define SSL_CERTIFICATE_REQUEST_SEND_REQUEST 0
2323#define SSL_CERTIFICATE_REQUEST_SKIP 1
2324/* Coordination:
2325 * Check whether a CertificateRequest message should be written.
2326 * Returns a negative code on failure, or
2327 * - SSL_CERTIFICATE_REQUEST_SEND_REQUEST
2328 * - SSL_CERTIFICATE_REQUEST_SKIP
2329 * indicating if the writing of the CertificateRequest
2330 * should be skipped or not.
2331 */
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +02002332MBEDTLS_CHECK_RETURN_CRITICAL
David Horstmann71159f42023-01-03 12:51:59 +00002333static int ssl_tls13_certificate_request_coordinate(mbedtls_ssl_context *ssl)
XiaokangQiana987e1d2022-05-07 01:25:58 +00002334{
2335 int authmode;
2336
XiaokangQian40a35232022-05-07 09:02:40 +00002337#if defined(MBEDTLS_SSL_SERVER_NAME_INDICATION)
David Horstmann71159f42023-01-03 12:51:59 +00002338 if (ssl->handshake->sni_authmode != MBEDTLS_SSL_VERIFY_UNSET) {
XiaokangQian40a35232022-05-07 09:02:40 +00002339 authmode = ssl->handshake->sni_authmode;
David Horstmann71159f42023-01-03 12:51:59 +00002340 } else
XiaokangQian40a35232022-05-07 09:02:40 +00002341#endif
XiaokangQiana987e1d2022-05-07 01:25:58 +00002342 authmode = ssl->conf->authmode;
2343
David Horstmann71159f42023-01-03 12:51:59 +00002344 if (authmode == MBEDTLS_SSL_VERIFY_NONE) {
Ronald Croneac00ad2022-09-13 10:16:31 +02002345 ssl->session_negotiate->verify_result = MBEDTLS_X509_BADCERT_SKIP_VERIFY;
David Horstmann71159f42023-01-03 12:51:59 +00002346 return SSL_CERTIFICATE_REQUEST_SKIP;
Ronald Croneac00ad2022-09-13 10:16:31 +02002347 }
XiaokangQiana987e1d2022-05-07 01:25:58 +00002348
XiaokangQianc3017f62022-05-13 05:55:41 +00002349 ssl->handshake->certificate_request_sent = 1;
XiaokangQian189ded22022-05-10 08:12:17 +00002350
David Horstmann71159f42023-01-03 12:51:59 +00002351 return SSL_CERTIFICATE_REQUEST_SEND_REQUEST;
XiaokangQiana987e1d2022-05-07 01:25:58 +00002352}
2353
XiaokangQiancec9ae62022-05-06 07:28:50 +00002354/*
2355 * struct {
2356 * opaque certificate_request_context<0..2^8-1>;
2357 * Extension extensions<2..2^16-1>;
2358 * } CertificateRequest;
2359 *
2360 */
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +02002361MBEDTLS_CHECK_RETURN_CRITICAL
David Horstmann71159f42023-01-03 12:51:59 +00002362static int ssl_tls13_write_certificate_request_body(mbedtls_ssl_context *ssl,
2363 unsigned char *buf,
2364 const unsigned char *end,
2365 size_t *out_len)
XiaokangQiancec9ae62022-05-06 07:28:50 +00002366{
2367 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
2368 unsigned char *p = buf;
XiaokangQianec6efb92022-05-06 09:53:10 +00002369 size_t output_len = 0;
XiaokangQiancec9ae62022-05-06 07:28:50 +00002370 unsigned char *p_extensions_len;
2371
2372 *out_len = 0;
2373
2374 /* Check if we have enough space:
2375 * - certificate_request_context (1 byte)
2376 * - extensions length (2 bytes)
2377 */
David Horstmann71159f42023-01-03 12:51:59 +00002378 MBEDTLS_SSL_CHK_BUF_PTR(p, end, 3);
XiaokangQiancec9ae62022-05-06 07:28:50 +00002379
2380 /*
2381 * Write certificate_request_context
2382 */
2383 /*
2384 * We use a zero length context for the normal handshake
2385 * messages. For post-authentication handshake messages
2386 * this request context would be set to a non-zero value.
2387 */
2388 *p++ = 0x0;
2389
2390 /*
2391 * Write extensions
2392 */
2393 /* The extensions must contain the signature_algorithms. */
2394 p_extensions_len = p;
2395 p += 2;
David Horstmann71159f42023-01-03 12:51:59 +00002396 ret = mbedtls_ssl_write_sig_alg_ext(ssl, p, end, &output_len);
2397 if (ret != 0) {
2398 return ret;
2399 }
XiaokangQiancec9ae62022-05-06 07:28:50 +00002400
XiaokangQianec6efb92022-05-06 09:53:10 +00002401 p += output_len;
David Horstmann71159f42023-01-03 12:51:59 +00002402 MBEDTLS_PUT_UINT16_BE(p - p_extensions_len - 2, p_extensions_len, 0);
XiaokangQiancec9ae62022-05-06 07:28:50 +00002403
2404 *out_len = p - buf;
2405
Jerry Yu7de2ff02022-11-08 21:43:46 +08002406 MBEDTLS_SSL_PRINT_EXTS(
David Horstmann71159f42023-01-03 12:51:59 +00002407 3, MBEDTLS_SSL_HS_CERTIFICATE_REQUEST, ssl->handshake->sent_extensions);
Jerry Yu4b8f2f72022-10-31 13:31:22 +08002408
David Horstmann71159f42023-01-03 12:51:59 +00002409 return 0;
XiaokangQiancec9ae62022-05-06 07:28:50 +00002410}
2411
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +02002412MBEDTLS_CHECK_RETURN_CRITICAL
David Horstmann71159f42023-01-03 12:51:59 +00002413static int ssl_tls13_write_certificate_request(mbedtls_ssl_context *ssl)
XiaokangQiancec9ae62022-05-06 07:28:50 +00002414{
2415 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
2416
David Horstmann71159f42023-01-03 12:51:59 +00002417 MBEDTLS_SSL_DEBUG_MSG(2, ("=> write certificate request"));
XiaokangQiancec9ae62022-05-06 07:28:50 +00002418
David Horstmann71159f42023-01-03 12:51:59 +00002419 MBEDTLS_SSL_PROC_CHK_NEG(ssl_tls13_certificate_request_coordinate(ssl));
XiaokangQiancec9ae62022-05-06 07:28:50 +00002420
David Horstmann71159f42023-01-03 12:51:59 +00002421 if (ret == SSL_CERTIFICATE_REQUEST_SEND_REQUEST) {
XiaokangQiancec9ae62022-05-06 07:28:50 +00002422 unsigned char *buf;
2423 size_t buf_len, msg_len;
2424
David Horstmann71159f42023-01-03 12:51:59 +00002425 MBEDTLS_SSL_PROC_CHK(mbedtls_ssl_start_handshake_msg(ssl,
2426 MBEDTLS_SSL_HS_CERTIFICATE_REQUEST,
2427 &buf, &buf_len));
XiaokangQiancec9ae62022-05-06 07:28:50 +00002428
David Horstmann71159f42023-01-03 12:51:59 +00002429 MBEDTLS_SSL_PROC_CHK(ssl_tls13_write_certificate_request_body(
2430 ssl, buf, buf + buf_len, &msg_len));
XiaokangQiancec9ae62022-05-06 07:28:50 +00002431
2432 mbedtls_ssl_add_hs_msg_to_checksum(
David Horstmann71159f42023-01-03 12:51:59 +00002433 ssl, MBEDTLS_SSL_HS_CERTIFICATE_REQUEST, buf, msg_len);
XiaokangQiancec9ae62022-05-06 07:28:50 +00002434
David Horstmann71159f42023-01-03 12:51:59 +00002435 MBEDTLS_SSL_PROC_CHK(mbedtls_ssl_finish_handshake_msg(
2436 ssl, buf_len, msg_len));
2437 } else if (ret == SSL_CERTIFICATE_REQUEST_SKIP) {
2438 MBEDTLS_SSL_DEBUG_MSG(2, ("<= skip write certificate request"));
XiaokangQiancec9ae62022-05-06 07:28:50 +00002439 ret = 0;
David Horstmann71159f42023-01-03 12:51:59 +00002440 } else {
2441 MBEDTLS_SSL_DEBUG_MSG(1, ("should never happen"));
XiaokangQiancec9ae62022-05-06 07:28:50 +00002442 ret = MBEDTLS_ERR_SSL_INTERNAL_ERROR;
2443 goto cleanup;
2444 }
2445
David Horstmann71159f42023-01-03 12:51:59 +00002446 mbedtls_ssl_handshake_set_state(ssl, MBEDTLS_SSL_SERVER_CERTIFICATE);
XiaokangQiancec9ae62022-05-06 07:28:50 +00002447cleanup:
2448
David Horstmann71159f42023-01-03 12:51:59 +00002449 MBEDTLS_SSL_DEBUG_MSG(2, ("<= write certificate request"));
2450 return ret;
XiaokangQiancec9ae62022-05-06 07:28:50 +00002451}
XiaokangQiancec9ae62022-05-06 07:28:50 +00002452
Jerry Yu4d3841a2022-04-16 12:37:19 +08002453/*
Jerry Yuc6e6dbf2022-04-16 19:42:57 +08002454 * Handler for MBEDTLS_SSL_SERVER_CERTIFICATE
Jerry Yu83da34e2022-04-16 13:59:52 +08002455 */
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +02002456MBEDTLS_CHECK_RETURN_CRITICAL
David Horstmann71159f42023-01-03 12:51:59 +00002457static int ssl_tls13_write_server_certificate(mbedtls_ssl_context *ssl)
Jerry Yu83da34e2022-04-16 13:59:52 +08002458{
Jerry Yu5a26f302022-05-10 20:46:40 +08002459 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
XiaokangQianfb665a82022-06-15 03:57:21 +00002460
2461#if defined(MBEDTLS_X509_CRT_PARSE_C)
David Horstmann71159f42023-01-03 12:51:59 +00002462 if ((ssl_tls13_pick_key_cert(ssl) != 0) ||
2463 mbedtls_ssl_own_cert(ssl) == NULL) {
2464 MBEDTLS_SSL_DEBUG_MSG(2, ("No certificate available."));
2465 MBEDTLS_SSL_PEND_FATAL_ALERT(MBEDTLS_SSL_ALERT_MSG_HANDSHAKE_FAILURE,
2466 MBEDTLS_ERR_SSL_HANDSHAKE_FAILURE);
2467 return MBEDTLS_ERR_SSL_HANDSHAKE_FAILURE;
Jerry Yu5a26f302022-05-10 20:46:40 +08002468 }
XiaokangQianfb665a82022-06-15 03:57:21 +00002469#endif /* MBEDTLS_X509_CRT_PARSE_C */
Jerry Yu5a26f302022-05-10 20:46:40 +08002470
David Horstmann71159f42023-01-03 12:51:59 +00002471 ret = mbedtls_ssl_tls13_write_certificate(ssl);
2472 if (ret != 0) {
2473 return ret;
2474 }
2475 mbedtls_ssl_handshake_set_state(ssl, MBEDTLS_SSL_CERTIFICATE_VERIFY);
2476 return 0;
Jerry Yu83da34e2022-04-16 13:59:52 +08002477}
2478
2479/*
Jerry Yuc6e6dbf2022-04-16 19:42:57 +08002480 * Handler for MBEDTLS_SSL_CERTIFICATE_VERIFY
Jerry Yu83da34e2022-04-16 13:59:52 +08002481 */
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +02002482MBEDTLS_CHECK_RETURN_CRITICAL
David Horstmann71159f42023-01-03 12:51:59 +00002483static int ssl_tls13_write_certificate_verify(mbedtls_ssl_context *ssl)
Jerry Yu83da34e2022-04-16 13:59:52 +08002484{
David Horstmann71159f42023-01-03 12:51:59 +00002485 int ret = mbedtls_ssl_tls13_write_certificate_verify(ssl);
2486 if (ret != 0) {
2487 return ret;
2488 }
2489 mbedtls_ssl_handshake_set_state(ssl, MBEDTLS_SSL_SERVER_FINISHED);
2490 return 0;
Jerry Yu83da34e2022-04-16 13:59:52 +08002491}
Ronald Cron928cbd32022-10-04 16:14:26 +02002492#endif /* MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_EPHEMERAL_ENABLED */
Jerry Yu83da34e2022-04-16 13:59:52 +08002493
2494/*
Jerry Yud6e253d2022-05-18 13:59:24 +08002495 * Handler for MBEDTLS_SSL_SERVER_FINISHED
Jerry Yu69dd8d42022-04-16 12:51:26 +08002496 */
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +02002497MBEDTLS_CHECK_RETURN_CRITICAL
David Horstmann71159f42023-01-03 12:51:59 +00002498static int ssl_tls13_write_server_finished(mbedtls_ssl_context *ssl)
Jerry Yu69dd8d42022-04-16 12:51:26 +08002499{
Jerry Yud6e253d2022-05-18 13:59:24 +08002500 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Jerry Yu27bdc7c2022-04-16 13:33:27 +08002501
David Horstmann71159f42023-01-03 12:51:59 +00002502 ret = mbedtls_ssl_tls13_write_finished_message(ssl);
2503 if (ret != 0) {
2504 return ret;
2505 }
Jerry Yu27bdc7c2022-04-16 13:33:27 +08002506
David Horstmann71159f42023-01-03 12:51:59 +00002507 ret = mbedtls_ssl_tls13_compute_application_transform(ssl);
2508 if (ret != 0) {
Jerry Yue3d67cb2022-05-19 15:33:10 +08002509 MBEDTLS_SSL_PEND_FATAL_ALERT(
David Horstmann71159f42023-01-03 12:51:59 +00002510 MBEDTLS_SSL_ALERT_MSG_HANDSHAKE_FAILURE,
2511 MBEDTLS_ERR_SSL_HANDSHAKE_FAILURE);
2512 return ret;
Jerry Yue3d67cb2022-05-19 15:33:10 +08002513 }
XiaokangQianc3017f62022-05-13 05:55:41 +00002514
David Horstmann71159f42023-01-03 12:51:59 +00002515 MBEDTLS_SSL_DEBUG_MSG(1, ("Switch to handshake keys for inbound traffic"));
2516 mbedtls_ssl_set_inbound_transform(ssl, ssl->handshake->transform_handshake);
XiaokangQian189ded22022-05-10 08:12:17 +00002517
David Horstmann71159f42023-01-03 12:51:59 +00002518 if (ssl->handshake->certificate_request_sent) {
2519 mbedtls_ssl_handshake_set_state(ssl, MBEDTLS_SSL_CLIENT_CERTIFICATE);
2520 } else {
2521 MBEDTLS_SSL_DEBUG_MSG(2, ("skip parse certificate"));
2522 MBEDTLS_SSL_DEBUG_MSG(2, ("skip parse certificate verify"));
2523 mbedtls_ssl_handshake_set_state(ssl, MBEDTLS_SSL_CLIENT_FINISHED);
Ronald Cron19385882022-06-15 16:26:13 +02002524 }
Ronald Cron63dc4632022-05-31 14:41:53 +02002525
David Horstmann71159f42023-01-03 12:51:59 +00002526 return 0;
Jerry Yu69dd8d42022-04-16 12:51:26 +08002527}
2528
2529/*
Jerry Yud6e253d2022-05-18 13:59:24 +08002530 * Handler for MBEDTLS_SSL_CLIENT_FINISHED
Jerry Yu69dd8d42022-04-16 12:51:26 +08002531 */
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +02002532MBEDTLS_CHECK_RETURN_CRITICAL
David Horstmann71159f42023-01-03 12:51:59 +00002533static int ssl_tls13_process_client_finished(mbedtls_ssl_context *ssl)
Jerry Yu69dd8d42022-04-16 12:51:26 +08002534{
Jerry Yud6e253d2022-05-18 13:59:24 +08002535 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
2536
David Horstmann71159f42023-01-03 12:51:59 +00002537 ret = mbedtls_ssl_tls13_process_finished_message(ssl);
2538 if (ret != 0) {
2539 return ret;
Jerry Yue3d67cb2022-05-19 15:33:10 +08002540 }
2541
David Horstmann71159f42023-01-03 12:51:59 +00002542 ret = mbedtls_ssl_tls13_compute_resumption_master_secret(ssl);
2543 if (ret != 0) {
2544 MBEDTLS_SSL_DEBUG_RET(1,
2545 "mbedtls_ssl_tls13_compute_resumption_master_secret", ret);
2546 }
2547
2548 mbedtls_ssl_handshake_set_state(ssl, MBEDTLS_SSL_HANDSHAKE_WRAPUP);
2549 return 0;
Jerry Yu69dd8d42022-04-16 12:51:26 +08002550}
2551
2552/*
Jerry Yud6e253d2022-05-18 13:59:24 +08002553 * Handler for MBEDTLS_SSL_HANDSHAKE_WRAPUP
Jerry Yu69dd8d42022-04-16 12:51:26 +08002554 */
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +02002555MBEDTLS_CHECK_RETURN_CRITICAL
David Horstmann71159f42023-01-03 12:51:59 +00002556static int ssl_tls13_handshake_wrapup(mbedtls_ssl_context *ssl)
Jerry Yu69dd8d42022-04-16 12:51:26 +08002557{
David Horstmann71159f42023-01-03 12:51:59 +00002558 MBEDTLS_SSL_DEBUG_MSG(2, ("handshake: done"));
Jerry Yu03ed50b2022-04-16 17:13:30 +08002559
David Horstmann71159f42023-01-03 12:51:59 +00002560 mbedtls_ssl_tls13_handshake_wrapup(ssl);
Jerry Yue67bef42022-07-07 07:29:42 +00002561
2562#if defined(MBEDTLS_SSL_SESSION_TICKETS)
David Horstmann71159f42023-01-03 12:51:59 +00002563 mbedtls_ssl_handshake_set_state(ssl, MBEDTLS_SSL_TLS1_3_NEW_SESSION_TICKET);
Jerry Yufca4d572022-07-21 10:37:48 +08002564#else
David Horstmann71159f42023-01-03 12:51:59 +00002565 mbedtls_ssl_handshake_set_state(ssl, MBEDTLS_SSL_HANDSHAKE_OVER);
Jerry Yufca4d572022-07-21 10:37:48 +08002566#endif
David Horstmann71159f42023-01-03 12:51:59 +00002567 return 0;
Jerry Yu69dd8d42022-04-16 12:51:26 +08002568}
2569
2570/*
Jerry Yua8d3c502022-10-30 14:51:23 +08002571 * Handler for MBEDTLS_SSL_TLS1_3_NEW_SESSION_TICKET
Jerry Yue67bef42022-07-07 07:29:42 +00002572 */
2573#define SSL_NEW_SESSION_TICKET_SKIP 0
2574#define SSL_NEW_SESSION_TICKET_WRITE 1
2575MBEDTLS_CHECK_RETURN_CRITICAL
David Horstmann71159f42023-01-03 12:51:59 +00002576static int ssl_tls13_write_new_session_ticket_coordinate(mbedtls_ssl_context *ssl)
Jerry Yue67bef42022-07-07 07:29:42 +00002577{
2578 /* Check whether the use of session tickets is enabled */
David Horstmann71159f42023-01-03 12:51:59 +00002579 if (ssl->conf->f_ticket_write == NULL) {
2580 MBEDTLS_SSL_DEBUG_MSG(2, ("NewSessionTicket: disabled,"
2581 " callback is not set"));
2582 return SSL_NEW_SESSION_TICKET_SKIP;
Jerry Yud0766ec2022-09-22 10:46:57 +08002583 }
David Horstmann71159f42023-01-03 12:51:59 +00002584 if (ssl->conf->new_session_tickets_count == 0) {
2585 MBEDTLS_SSL_DEBUG_MSG(2, ("NewSessionTicket: disabled,"
2586 " configured count is zero"));
2587 return SSL_NEW_SESSION_TICKET_SKIP;
Jerry Yud0766ec2022-09-22 10:46:57 +08002588 }
2589
David Horstmann71159f42023-01-03 12:51:59 +00002590 if (ssl->handshake->new_session_tickets_count == 0) {
2591 MBEDTLS_SSL_DEBUG_MSG(2, ("NewSessionTicket: all tickets have "
2592 "been sent."));
2593 return SSL_NEW_SESSION_TICKET_SKIP;
Jerry Yue67bef42022-07-07 07:29:42 +00002594 }
2595
David Horstmann71159f42023-01-03 12:51:59 +00002596 return SSL_NEW_SESSION_TICKET_WRITE;
Jerry Yue67bef42022-07-07 07:29:42 +00002597}
2598
2599#if defined(MBEDTLS_SSL_SESSION_TICKETS)
2600MBEDTLS_CHECK_RETURN_CRITICAL
David Horstmann71159f42023-01-03 12:51:59 +00002601static int ssl_tls13_prepare_new_session_ticket(mbedtls_ssl_context *ssl,
2602 unsigned char *ticket_nonce,
2603 size_t ticket_nonce_size)
Jerry Yue67bef42022-07-07 07:29:42 +00002604{
2605 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
2606 mbedtls_ssl_session *session = ssl->session;
2607 mbedtls_ssl_ciphersuite_t *ciphersuite_info;
2608 psa_algorithm_t psa_hash_alg;
2609 int hash_length;
2610
David Horstmann71159f42023-01-03 12:51:59 +00002611 MBEDTLS_SSL_DEBUG_MSG(2, ("=> prepare NewSessionTicket msg"));
Jerry Yue67bef42022-07-07 07:29:42 +00002612
2613#if defined(MBEDTLS_HAVE_TIME)
David Horstmann71159f42023-01-03 12:51:59 +00002614 session->start = mbedtls_time(NULL);
Jerry Yue67bef42022-07-07 07:29:42 +00002615#endif
2616
2617 /* Generate ticket_age_add */
David Horstmann71159f42023-01-03 12:51:59 +00002618 if ((ret = ssl->conf->f_rng(ssl->conf->p_rng,
2619 (unsigned char *) &session->ticket_age_add,
2620 sizeof(session->ticket_age_add)) != 0)) {
2621 MBEDTLS_SSL_DEBUG_RET(1, "generate_ticket_age_add", ret);
2622 return ret;
Jerry Yue67bef42022-07-07 07:29:42 +00002623 }
David Horstmann71159f42023-01-03 12:51:59 +00002624 MBEDTLS_SSL_DEBUG_MSG(3, ("ticket_age_add: %u",
2625 (unsigned int) session->ticket_age_add));
Jerry Yue67bef42022-07-07 07:29:42 +00002626
2627 /* Generate ticket_nonce */
David Horstmann71159f42023-01-03 12:51:59 +00002628 ret = ssl->conf->f_rng(ssl->conf->p_rng, ticket_nonce, ticket_nonce_size);
2629 if (ret != 0) {
2630 MBEDTLS_SSL_DEBUG_RET(1, "generate_ticket_nonce", ret);
2631 return ret;
Jerry Yue67bef42022-07-07 07:29:42 +00002632 }
David Horstmann71159f42023-01-03 12:51:59 +00002633 MBEDTLS_SSL_DEBUG_BUF(3, "ticket_nonce:",
2634 ticket_nonce, ticket_nonce_size);
Jerry Yue67bef42022-07-07 07:29:42 +00002635
2636 ciphersuite_info =
David Horstmann71159f42023-01-03 12:51:59 +00002637 (mbedtls_ssl_ciphersuite_t *) ssl->handshake->ciphersuite_info;
2638 psa_hash_alg = mbedtls_psa_translate_md(ciphersuite_info->mac);
2639 hash_length = PSA_HASH_LENGTH(psa_hash_alg);
2640 if (hash_length == -1 ||
2641 (size_t) hash_length > sizeof(session->resumption_key)) {
2642 return MBEDTLS_ERR_SSL_INTERNAL_ERROR;
Jerry Yufca4d572022-07-21 10:37:48 +08002643 }
2644
Jerry Yue67bef42022-07-07 07:29:42 +00002645 /* In this code the psk key length equals the length of the hash */
2646 session->resumption_key_len = hash_length;
2647 session->ciphersuite = ciphersuite_info->id;
2648
2649 /* Compute resumption key
2650 *
2651 * HKDF-Expand-Label( resumption_master_secret,
2652 * "resumption", ticket_nonce, Hash.length )
2653 */
2654 ret = mbedtls_ssl_tls13_hkdf_expand_label(
David Horstmann71159f42023-01-03 12:51:59 +00002655 psa_hash_alg,
2656 session->app_secrets.resumption_master_secret,
2657 hash_length,
2658 MBEDTLS_SSL_TLS1_3_LBL_WITH_LEN(resumption),
2659 ticket_nonce,
2660 ticket_nonce_size,
2661 session->resumption_key,
2662 hash_length);
Jerry Yue67bef42022-07-07 07:29:42 +00002663
David Horstmann71159f42023-01-03 12:51:59 +00002664 if (ret != 0) {
2665 MBEDTLS_SSL_DEBUG_RET(2,
2666 "Creating the ticket-resumed PSK failed",
2667 ret);
2668 return ret;
Jerry Yue67bef42022-07-07 07:29:42 +00002669 }
David Horstmann71159f42023-01-03 12:51:59 +00002670 MBEDTLS_SSL_DEBUG_BUF(3, "Ticket-resumed PSK",
2671 session->resumption_key,
2672 session->resumption_key_len);
Jerry Yue67bef42022-07-07 07:29:42 +00002673
David Horstmann71159f42023-01-03 12:51:59 +00002674 MBEDTLS_SSL_DEBUG_BUF(3, "resumption_master_secret",
2675 session->app_secrets.resumption_master_secret,
2676 hash_length);
Jerry Yue67bef42022-07-07 07:29:42 +00002677
David Horstmann71159f42023-01-03 12:51:59 +00002678 return 0;
Jerry Yue67bef42022-07-07 07:29:42 +00002679}
2680
2681/* This function creates a NewSessionTicket message in the following format:
2682 *
2683 * struct {
2684 * uint32 ticket_lifetime;
2685 * uint32 ticket_age_add;
2686 * opaque ticket_nonce<0..255>;
2687 * opaque ticket<1..2^16-1>;
2688 * Extension extensions<0..2^16-2>;
2689 * } NewSessionTicket;
2690 *
2691 * The ticket inside the NewSessionTicket message is an encrypted container
2692 * carrying the necessary information so that the server is later able to
2693 * re-start the communication.
2694 *
2695 * The following fields are placed inside the ticket by the
2696 * f_ticket_write() function:
2697 *
2698 * - creation time (start)
2699 * - flags (flags)
2700 * - age add (ticket_age_add)
2701 * - key (key)
2702 * - key length (key_len)
2703 * - ciphersuite (ciphersuite)
2704 */
2705MBEDTLS_CHECK_RETURN_CRITICAL
David Horstmann71159f42023-01-03 12:51:59 +00002706static int ssl_tls13_write_new_session_ticket_body(mbedtls_ssl_context *ssl,
2707 unsigned char *buf,
2708 unsigned char *end,
2709 size_t *out_len,
2710 unsigned char *ticket_nonce,
2711 size_t ticket_nonce_size)
Jerry Yue67bef42022-07-07 07:29:42 +00002712{
2713 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
2714 unsigned char *p = buf;
2715 mbedtls_ssl_session *session = ssl->session;
2716 size_t ticket_len;
2717 uint32_t ticket_lifetime;
2718
2719 *out_len = 0;
David Horstmann71159f42023-01-03 12:51:59 +00002720 MBEDTLS_SSL_DEBUG_MSG(2, ("=> write NewSessionTicket msg"));
Jerry Yue67bef42022-07-07 07:29:42 +00002721
2722 /*
2723 * ticket_lifetime 4 bytes
2724 * ticket_age_add 4 bytes
2725 * ticket_nonce 1 + ticket_nonce_size bytes
2726 * ticket >=2 bytes
2727 */
David Horstmann71159f42023-01-03 12:51:59 +00002728 MBEDTLS_SSL_CHK_BUF_PTR(p, end, 4 + 4 + 1 + ticket_nonce_size + 2);
Jerry Yue67bef42022-07-07 07:29:42 +00002729
2730 /* Generate ticket and ticket_lifetime */
David Horstmann71159f42023-01-03 12:51:59 +00002731 ret = ssl->conf->f_ticket_write(ssl->conf->p_ticket,
2732 session,
2733 p + 9 + ticket_nonce_size + 2,
2734 end,
2735 &ticket_len,
2736 &ticket_lifetime);
2737 if (ret != 0) {
2738 MBEDTLS_SSL_DEBUG_RET(1, "write_ticket", ret);
2739 return ret;
Jerry Yue67bef42022-07-07 07:29:42 +00002740 }
2741 /* RFC 8446 4.6.1
2742 * ticket_lifetime: Indicates the lifetime in seconds as a 32-bit
2743 * unsigned integer in network byte order from the time of ticket
2744 * issuance. Servers MUST NOT use any value greater than
2745 * 604800 seconds (7 days). The value of zero indicates that the
2746 * ticket should be discarded immediately. Clients MUST NOT cache
2747 * tickets for longer than 7 days, regardless of the ticket_lifetime,
2748 * and MAY delete tickets earlier based on local policy. A server
2749 * MAY treat a ticket as valid for a shorter period of time than what
2750 * is stated in the ticket_lifetime.
2751 */
David Horstmann71159f42023-01-03 12:51:59 +00002752 if (ticket_lifetime > 604800) {
Xiaokang Qian28af5012022-10-13 08:18:19 +00002753 ticket_lifetime = 604800;
David Horstmann71159f42023-01-03 12:51:59 +00002754 }
2755 MBEDTLS_PUT_UINT32_BE(ticket_lifetime, p, 0);
2756 MBEDTLS_SSL_DEBUG_MSG(3, ("ticket_lifetime: %u",
2757 (unsigned int) ticket_lifetime));
Jerry Yue67bef42022-07-07 07:29:42 +00002758
2759 /* Write ticket_age_add */
David Horstmann71159f42023-01-03 12:51:59 +00002760 MBEDTLS_PUT_UINT32_BE(session->ticket_age_add, p, 4);
2761 MBEDTLS_SSL_DEBUG_MSG(3, ("ticket_age_add: %u",
2762 (unsigned int) session->ticket_age_add));
Jerry Yue67bef42022-07-07 07:29:42 +00002763
2764 /* Write ticket_nonce */
David Horstmann71159f42023-01-03 12:51:59 +00002765 p[8] = (unsigned char) ticket_nonce_size;
2766 if (ticket_nonce_size > 0) {
2767 memcpy(p + 9, ticket_nonce, ticket_nonce_size);
Jerry Yue67bef42022-07-07 07:29:42 +00002768 }
2769 p += 9 + ticket_nonce_size;
2770
2771 /* Write ticket */
David Horstmann71159f42023-01-03 12:51:59 +00002772 MBEDTLS_PUT_UINT16_BE(ticket_len, p, 0);
Jerry Yue67bef42022-07-07 07:29:42 +00002773 p += 2;
David Horstmann71159f42023-01-03 12:51:59 +00002774 MBEDTLS_SSL_DEBUG_BUF(4, "ticket", p, ticket_len);
Jerry Yue67bef42022-07-07 07:29:42 +00002775 p += ticket_len;
2776
2777 /* Ticket Extensions
2778 *
2779 * Note: We currently don't have any extensions.
2780 * Set length to zero.
2781 */
Jerry Yuedab6372022-10-31 14:37:31 +08002782 ssl->handshake->sent_extensions = MBEDTLS_SSL_EXT_MASK_NONE;
2783
David Horstmann71159f42023-01-03 12:51:59 +00002784 MBEDTLS_SSL_CHK_BUF_PTR(p, end, 2);
2785 MBEDTLS_PUT_UINT16_BE(0, p, 0);
Jerry Yue67bef42022-07-07 07:29:42 +00002786 p += 2;
2787
2788 *out_len = p - buf;
David Horstmann71159f42023-01-03 12:51:59 +00002789 MBEDTLS_SSL_DEBUG_BUF(4, "ticket", buf, *out_len);
2790 MBEDTLS_SSL_DEBUG_MSG(2, ("<= write new session ticket"));
Jerry Yue67bef42022-07-07 07:29:42 +00002791
Jerry Yu7de2ff02022-11-08 21:43:46 +08002792 MBEDTLS_SSL_PRINT_EXTS(
David Horstmann71159f42023-01-03 12:51:59 +00002793 3, MBEDTLS_SSL_HS_NEW_SESSION_TICKET, ssl->handshake->sent_extensions);
Jerry Yu4b8f2f72022-10-31 13:31:22 +08002794
David Horstmann71159f42023-01-03 12:51:59 +00002795 return 0;
Jerry Yue67bef42022-07-07 07:29:42 +00002796}
2797
2798/*
Jerry Yua8d3c502022-10-30 14:51:23 +08002799 * Handler for MBEDTLS_SSL_TLS1_3_NEW_SESSION_TICKET
Jerry Yue67bef42022-07-07 07:29:42 +00002800 */
David Horstmann71159f42023-01-03 12:51:59 +00002801static int ssl_tls13_write_new_session_ticket(mbedtls_ssl_context *ssl)
Jerry Yue67bef42022-07-07 07:29:42 +00002802{
2803 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
2804
David Horstmann71159f42023-01-03 12:51:59 +00002805 MBEDTLS_SSL_PROC_CHK_NEG(ssl_tls13_write_new_session_ticket_coordinate(ssl));
Jerry Yue67bef42022-07-07 07:29:42 +00002806
David Horstmann71159f42023-01-03 12:51:59 +00002807 if (ret == SSL_NEW_SESSION_TICKET_WRITE) {
Jerry Yue67bef42022-07-07 07:29:42 +00002808 unsigned char ticket_nonce[MBEDTLS_SSL_TLS1_3_TICKET_NONCE_LENGTH];
2809 unsigned char *buf;
2810 size_t buf_len, msg_len;
2811
David Horstmann71159f42023-01-03 12:51:59 +00002812 MBEDTLS_SSL_PROC_CHK(ssl_tls13_prepare_new_session_ticket(
2813 ssl, ticket_nonce, sizeof(ticket_nonce)));
Jerry Yue67bef42022-07-07 07:29:42 +00002814
David Horstmann71159f42023-01-03 12:51:59 +00002815 MBEDTLS_SSL_PROC_CHK(mbedtls_ssl_start_handshake_msg(ssl,
2816 MBEDTLS_SSL_HS_NEW_SESSION_TICKET,
2817 &buf, &buf_len));
Jerry Yue67bef42022-07-07 07:29:42 +00002818
David Horstmann71159f42023-01-03 12:51:59 +00002819 MBEDTLS_SSL_PROC_CHK(ssl_tls13_write_new_session_ticket_body(
2820 ssl, buf, buf + buf_len, &msg_len,
2821 ticket_nonce, sizeof(ticket_nonce)));
Jerry Yue67bef42022-07-07 07:29:42 +00002822
David Horstmann71159f42023-01-03 12:51:59 +00002823 MBEDTLS_SSL_PROC_CHK(mbedtls_ssl_finish_handshake_msg(
2824 ssl, buf_len, msg_len));
Jerry Yufca4d572022-07-21 10:37:48 +08002825
Jerry Yu359e65f2022-09-22 23:47:43 +08002826 /* Limit session tickets count to one when resumption connection.
2827 *
2828 * See document of mbedtls_ssl_conf_new_session_tickets.
2829 */
David Horstmann71159f42023-01-03 12:51:59 +00002830 if (ssl->handshake->resume == 1) {
Jerry Yu359e65f2022-09-22 23:47:43 +08002831 ssl->handshake->new_session_tickets_count = 0;
David Horstmann71159f42023-01-03 12:51:59 +00002832 } else {
Jerry Yu359e65f2022-09-22 23:47:43 +08002833 ssl->handshake->new_session_tickets_count--;
David Horstmann71159f42023-01-03 12:51:59 +00002834 }
Jerry Yub7e3fa72022-09-22 11:07:18 +08002835
Jerry Yua8d3c502022-10-30 14:51:23 +08002836 mbedtls_ssl_handshake_set_state(
David Horstmann71159f42023-01-03 12:51:59 +00002837 ssl, MBEDTLS_SSL_TLS1_3_NEW_SESSION_TICKET_FLUSH);
2838 } else {
2839 mbedtls_ssl_handshake_set_state(ssl, MBEDTLS_SSL_HANDSHAKE_OVER);
Jerry Yue67bef42022-07-07 07:29:42 +00002840 }
2841
Jerry Yue67bef42022-07-07 07:29:42 +00002842cleanup:
2843
David Horstmann71159f42023-01-03 12:51:59 +00002844 return ret;
Jerry Yue67bef42022-07-07 07:29:42 +00002845}
2846#endif /* MBEDTLS_SSL_SESSION_TICKETS */
2847
2848/*
XiaokangQiane8ff3502022-04-22 02:34:40 +00002849 * TLS 1.3 State Machine -- server side
XiaokangQian7807f9f2022-02-15 10:04:37 +00002850 */
David Horstmann71159f42023-01-03 12:51:59 +00002851int mbedtls_ssl_tls13_handshake_server_step(mbedtls_ssl_context *ssl)
Jerry Yub9930e72021-08-06 17:11:51 +08002852{
XiaokangQian08037552022-04-20 07:16:41 +00002853 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
XiaokangQian7807f9f2022-02-15 10:04:37 +00002854
David Horstmann71159f42023-01-03 12:51:59 +00002855 if (ssl->state == MBEDTLS_SSL_HANDSHAKE_OVER || ssl->handshake == NULL) {
2856 return MBEDTLS_ERR_SSL_BAD_INPUT_DATA;
2857 }
XiaokangQian7807f9f2022-02-15 10:04:37 +00002858
David Horstmann71159f42023-01-03 12:51:59 +00002859 MBEDTLS_SSL_DEBUG_MSG(2, ("tls13 server state: %s(%d)",
2860 mbedtls_ssl_states_str(ssl->state),
2861 ssl->state));
Jerry Yu6e81b272021-09-27 11:16:17 +08002862
David Horstmann71159f42023-01-03 12:51:59 +00002863 switch (ssl->state) {
XiaokangQian7807f9f2022-02-15 10:04:37 +00002864 /* start state */
2865 case MBEDTLS_SSL_HELLO_REQUEST:
David Horstmann71159f42023-01-03 12:51:59 +00002866 mbedtls_ssl_handshake_set_state(ssl, MBEDTLS_SSL_CLIENT_HELLO);
XiaokangQian08037552022-04-20 07:16:41 +00002867 ret = 0;
XiaokangQian7807f9f2022-02-15 10:04:37 +00002868 break;
2869
XiaokangQian7807f9f2022-02-15 10:04:37 +00002870 case MBEDTLS_SSL_CLIENT_HELLO:
David Horstmann71159f42023-01-03 12:51:59 +00002871 ret = ssl_tls13_process_client_hello(ssl);
2872 if (ret != 0) {
2873 MBEDTLS_SSL_DEBUG_RET(1, "ssl_tls13_process_client_hello", ret);
2874 }
Jerry Yuf41553b2022-05-09 22:20:30 +08002875 break;
XiaokangQian7807f9f2022-02-15 10:04:37 +00002876
Jerry Yuf41553b2022-05-09 22:20:30 +08002877 case MBEDTLS_SSL_HELLO_RETRY_REQUEST:
David Horstmann71159f42023-01-03 12:51:59 +00002878 ret = ssl_tls13_write_hello_retry_request(ssl);
2879 if (ret != 0) {
2880 MBEDTLS_SSL_DEBUG_RET(1, "ssl_tls13_write_hello_retry_request", ret);
2881 return ret;
Jerry Yuf41553b2022-05-09 22:20:30 +08002882 }
XiaokangQian7807f9f2022-02-15 10:04:37 +00002883 break;
2884
Jerry Yu5b64ae92022-03-30 17:15:02 +08002885 case MBEDTLS_SSL_SERVER_HELLO:
David Horstmann71159f42023-01-03 12:51:59 +00002886 ret = ssl_tls13_write_server_hello(ssl);
Jerry Yu5b64ae92022-03-30 17:15:02 +08002887 break;
2888
Xiaofei Baicba64af2022-02-15 10:00:56 +00002889 case MBEDTLS_SSL_ENCRYPTED_EXTENSIONS:
David Horstmann71159f42023-01-03 12:51:59 +00002890 ret = ssl_tls13_write_encrypted_extensions(ssl);
2891 if (ret != 0) {
2892 MBEDTLS_SSL_DEBUG_RET(1, "ssl_tls13_write_encrypted_extensions", ret);
2893 return ret;
Xiaofei Baicba64af2022-02-15 10:00:56 +00002894 }
Jerry Yu48330562022-05-06 21:35:44 +08002895 break;
Jerry Yu6a2cd9e2022-05-05 11:14:19 +08002896
Ronald Cron928cbd32022-10-04 16:14:26 +02002897#if defined(MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_EPHEMERAL_ENABLED)
Xiaofei Bai9ca09d42022-02-14 12:57:18 +00002898 case MBEDTLS_SSL_CERTIFICATE_REQUEST:
David Horstmann71159f42023-01-03 12:51:59 +00002899 ret = ssl_tls13_write_certificate_request(ssl);
Xiaofei Bai9ca09d42022-02-14 12:57:18 +00002900 break;
Xiaofei Bai9ca09d42022-02-14 12:57:18 +00002901
Jerry Yu83da34e2022-04-16 13:59:52 +08002902 case MBEDTLS_SSL_SERVER_CERTIFICATE:
David Horstmann71159f42023-01-03 12:51:59 +00002903 ret = ssl_tls13_write_server_certificate(ssl);
Jerry Yu83da34e2022-04-16 13:59:52 +08002904 break;
2905
2906 case MBEDTLS_SSL_CERTIFICATE_VERIFY:
David Horstmann71159f42023-01-03 12:51:59 +00002907 ret = ssl_tls13_write_certificate_verify(ssl);
Jerry Yu83da34e2022-04-16 13:59:52 +08002908 break;
Ronald Cron928cbd32022-10-04 16:14:26 +02002909#endif /* MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_EPHEMERAL_ENABLED */
Jerry Yu83da34e2022-04-16 13:59:52 +08002910
David Horstmann71159f42023-01-03 12:51:59 +00002911 /*
2912 * Injection of dummy-CCS's for middlebox compatibility
2913 */
Gabor Mezei7b39bf12022-05-24 16:04:14 +02002914#if defined(MBEDTLS_SSL_TLS1_3_COMPATIBILITY_MODE)
Gabor Mezeif7044ea2022-06-28 16:01:49 +02002915 case MBEDTLS_SSL_SERVER_CCS_AFTER_HELLO_RETRY_REQUEST:
David Horstmann71159f42023-01-03 12:51:59 +00002916 ret = mbedtls_ssl_tls13_write_change_cipher_spec(ssl);
2917 if (ret == 0) {
2918 mbedtls_ssl_handshake_set_state(ssl, MBEDTLS_SSL_CLIENT_HELLO);
2919 }
Gabor Mezei7b39bf12022-05-24 16:04:14 +02002920 break;
2921
2922 case MBEDTLS_SSL_SERVER_CCS_AFTER_SERVER_HELLO:
David Horstmann71159f42023-01-03 12:51:59 +00002923 ret = mbedtls_ssl_tls13_write_change_cipher_spec(ssl);
2924 if (ret == 0) {
2925 mbedtls_ssl_handshake_set_state(ssl, MBEDTLS_SSL_ENCRYPTED_EXTENSIONS);
2926 }
Gabor Mezei7b39bf12022-05-24 16:04:14 +02002927 break;
2928#endif /* MBEDTLS_SSL_TLS1_3_COMPATIBILITY_MODE */
2929
Jerry Yu69dd8d42022-04-16 12:51:26 +08002930 case MBEDTLS_SSL_SERVER_FINISHED:
David Horstmann71159f42023-01-03 12:51:59 +00002931 ret = ssl_tls13_write_server_finished(ssl);
Jerry Yu69dd8d42022-04-16 12:51:26 +08002932 break;
2933
2934 case MBEDTLS_SSL_CLIENT_FINISHED:
David Horstmann71159f42023-01-03 12:51:59 +00002935 ret = ssl_tls13_process_client_finished(ssl);
Jerry Yu69dd8d42022-04-16 12:51:26 +08002936 break;
2937
Jerry Yu69dd8d42022-04-16 12:51:26 +08002938 case MBEDTLS_SSL_HANDSHAKE_WRAPUP:
David Horstmann71159f42023-01-03 12:51:59 +00002939 ret = ssl_tls13_handshake_wrapup(ssl);
Jerry Yu69dd8d42022-04-16 12:51:26 +08002940 break;
2941
Ronald Cron766c0cd2022-10-18 12:17:11 +02002942#if defined(MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_EPHEMERAL_ENABLED)
XiaokangQian6b916b12022-04-25 07:29:34 +00002943 case MBEDTLS_SSL_CLIENT_CERTIFICATE:
David Horstmann71159f42023-01-03 12:51:59 +00002944 ret = mbedtls_ssl_tls13_process_certificate(ssl);
2945 if (ret == 0) {
2946 if (ssl->session_negotiate->peer_cert != NULL) {
Ronald Cron209cae92022-06-07 10:30:19 +02002947 mbedtls_ssl_handshake_set_state(
David Horstmann71159f42023-01-03 12:51:59 +00002948 ssl, MBEDTLS_SSL_CLIENT_CERTIFICATE_VERIFY);
2949 } else {
2950 MBEDTLS_SSL_DEBUG_MSG(2, ("skip parse certificate verify"));
Ronald Cron209cae92022-06-07 10:30:19 +02002951 mbedtls_ssl_handshake_set_state(
David Horstmann71159f42023-01-03 12:51:59 +00002952 ssl, MBEDTLS_SSL_CLIENT_FINISHED);
Ronald Cron19385882022-06-15 16:26:13 +02002953 }
XiaokangQian6b916b12022-04-25 07:29:34 +00002954 }
2955 break;
2956
2957 case MBEDTLS_SSL_CLIENT_CERTIFICATE_VERIFY:
David Horstmann71159f42023-01-03 12:51:59 +00002958 ret = mbedtls_ssl_tls13_process_certificate_verify(ssl);
2959 if (ret == 0) {
XiaokangQian6b916b12022-04-25 07:29:34 +00002960 mbedtls_ssl_handshake_set_state(
David Horstmann71159f42023-01-03 12:51:59 +00002961 ssl, MBEDTLS_SSL_CLIENT_FINISHED);
XiaokangQian6b916b12022-04-25 07:29:34 +00002962 }
2963 break;
Ronald Cron766c0cd2022-10-18 12:17:11 +02002964#endif /* MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_EPHEMERAL_ENABLED */
XiaokangQian6b916b12022-04-25 07:29:34 +00002965
Jerry Yue67bef42022-07-07 07:29:42 +00002966#if defined(MBEDTLS_SSL_SESSION_TICKETS)
Jerry Yua8d3c502022-10-30 14:51:23 +08002967 case MBEDTLS_SSL_TLS1_3_NEW_SESSION_TICKET:
David Horstmann71159f42023-01-03 12:51:59 +00002968 ret = ssl_tls13_write_new_session_ticket(ssl);
2969 if (ret != 0) {
2970 MBEDTLS_SSL_DEBUG_RET(1,
2971 "ssl_tls13_write_new_session_ticket ",
2972 ret);
Jerry Yue67bef42022-07-07 07:29:42 +00002973 }
2974 break;
Jerry Yua8d3c502022-10-30 14:51:23 +08002975 case MBEDTLS_SSL_TLS1_3_NEW_SESSION_TICKET_FLUSH:
Jerry Yue67bef42022-07-07 07:29:42 +00002976 /* This state is necessary to do the flush of the New Session
Jerry Yua8d3c502022-10-30 14:51:23 +08002977 * Ticket message written in MBEDTLS_SSL_TLS1_3_NEW_SESSION_TICKET
Jerry Yue67bef42022-07-07 07:29:42 +00002978 * as part of ssl_prepare_handshake_step.
2979 */
2980 ret = 0;
Jerry Yud4e75002022-08-09 13:33:50 +08002981
David Horstmann71159f42023-01-03 12:51:59 +00002982 if (ssl->handshake->new_session_tickets_count == 0) {
2983 mbedtls_ssl_handshake_set_state(ssl, MBEDTLS_SSL_HANDSHAKE_OVER);
2984 } else {
2985 mbedtls_ssl_handshake_set_state(ssl, MBEDTLS_SSL_TLS1_3_NEW_SESSION_TICKET);
2986 }
Jerry Yue67bef42022-07-07 07:29:42 +00002987 break;
2988
2989#endif /* MBEDTLS_SSL_SESSION_TICKETS */
2990
XiaokangQian7807f9f2022-02-15 10:04:37 +00002991 default:
David Horstmann71159f42023-01-03 12:51:59 +00002992 MBEDTLS_SSL_DEBUG_MSG(1, ("invalid state %d", ssl->state));
2993 return MBEDTLS_ERR_SSL_FEATURE_UNAVAILABLE;
XiaokangQian7807f9f2022-02-15 10:04:37 +00002994 }
2995
David Horstmann71159f42023-01-03 12:51:59 +00002996 return ret;
Jerry Yub9930e72021-08-06 17:11:51 +08002997}
Jerry Yu3cc4c2a2021-08-06 16:29:08 +08002998
Jerry Yufb4b6472022-01-27 15:03:26 +08002999#endif /* MBEDTLS_SSL_SRV_C && MBEDTLS_SSL_PROTO_TLS1_3 */