blob: e1e52cb457a78f0684cb7ca51b0507e7cb16f29d [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.
18*/
19
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#if defined(MBEDTLS_PLATFORM_C)
38#include "mbedtls/platform.h"
39#else
40#include <stdlib.h>
41#define mbedtls_calloc calloc
42#define mbedtls_free free
43#endif /* MBEDTLS_PLATFORM_C */
XiaokangQian7807f9f2022-02-15 10:04:37 +000044
Jerry Yu4d3841a2022-04-16 12:37:19 +080045#include "ssl_misc.h"
46#include "ssl_tls13_keys.h"
47#include "ssl_debug_helpers.h"
48
Jerry Yuf35ba382022-08-23 17:58:26 +080049
Jerry Yuc5a23a02022-08-25 10:51:44 +080050static const mbedtls_ssl_ciphersuite_t *ssl_tls13_validate_peer_ciphersuite(
Jerry Yuf35ba382022-08-23 17:58:26 +080051 mbedtls_ssl_context *ssl,
Jerry Yuc5a23a02022-08-25 10:51:44 +080052 unsigned int cipher_suite )
Jerry Yuf35ba382022-08-23 17:58:26 +080053{
54 const mbedtls_ssl_ciphersuite_t *ciphersuite_info;
55 if( ! mbedtls_ssl_tls13_cipher_suite_is_offered( ssl, cipher_suite ) )
56 return( NULL );
57
58 ciphersuite_info = mbedtls_ssl_ciphersuite_from_id( cipher_suite );
59 if( ( mbedtls_ssl_validate_ciphersuite( ssl, ciphersuite_info,
60 ssl->tls_version,
61 ssl->tls_version ) != 0 ) )
62 {
63 return( NULL );
64 }
65 return( ciphersuite_info );
66}
67
Jerry Yue19e3b92022-07-08 12:04:51 +000068#if defined(MBEDTLS_KEY_EXCHANGE_SOME_PSK_ENABLED)
69/* From RFC 8446:
70 *
71 * enum { psk_ke(0), psk_dhe_ke(1), (255) } PskKeyExchangeMode;
72 * struct {
73 * PskKeyExchangeMode ke_modes<1..255>;
74 * } PskKeyExchangeModes;
75 */
Jerry Yu6e74a7e2022-07-20 20:49:32 +080076MBEDTLS_CHECK_RETURN_CRITICAL
Jerry Yue19e3b92022-07-08 12:04:51 +000077static int ssl_tls13_parse_key_exchange_modes_ext( mbedtls_ssl_context *ssl,
78 const unsigned char *buf,
Jerry Yu299e31f2022-07-13 23:06:36 +080079 const unsigned char *end )
Jerry Yue19e3b92022-07-08 12:04:51 +000080{
Jerry Yu299e31f2022-07-13 23:06:36 +080081 const unsigned char *p = buf;
Jerry Yue19e3b92022-07-08 12:04:51 +000082 size_t ke_modes_len;
83 int ke_modes = 0;
84
Jerry Yu854dd9e2022-07-15 14:28:27 +080085 /* Read ke_modes length (1 Byte) */
Jerry Yu299e31f2022-07-13 23:06:36 +080086 MBEDTLS_SSL_CHK_BUF_READ_PTR( p, end, 1 );
87 ke_modes_len = *p++;
Jerry Yue19e3b92022-07-08 12:04:51 +000088 /* Currently, there are only two PSK modes, so even without looking
89 * at the content, something's wrong if the list has more than 2 items. */
90 if( ke_modes_len > 2 )
Jerry Yu299e31f2022-07-13 23:06:36 +080091 {
92 MBEDTLS_SSL_PEND_FATAL_ALERT( MBEDTLS_SSL_ALERT_MSG_ILLEGAL_PARAMETER,
93 MBEDTLS_ERR_SSL_ILLEGAL_PARAMETER );
Jerry Yue19e3b92022-07-08 12:04:51 +000094 return( MBEDTLS_ERR_SSL_HANDSHAKE_FAILURE );
Jerry Yu299e31f2022-07-13 23:06:36 +080095 }
Jerry Yue19e3b92022-07-08 12:04:51 +000096
Jerry Yu299e31f2022-07-13 23:06:36 +080097 MBEDTLS_SSL_CHK_BUF_READ_PTR( p, end, ke_modes_len );
Jerry Yue19e3b92022-07-08 12:04:51 +000098
99 while( ke_modes_len-- != 0 )
100 {
Jerry Yu299e31f2022-07-13 23:06:36 +0800101 switch( *p++ )
Jerry Yue19e3b92022-07-08 12:04:51 +0000102 {
103 case MBEDTLS_SSL_TLS1_3_PSK_MODE_PURE:
104 ke_modes |= MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_PSK;
105 MBEDTLS_SSL_DEBUG_MSG( 3, ( "Found PSK KEX MODE" ) );
106 break;
107 case MBEDTLS_SSL_TLS1_3_PSK_MODE_ECDHE:
108 ke_modes |= MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_PSK_EPHEMERAL;
109 MBEDTLS_SSL_DEBUG_MSG( 3, ( "Found PSK_EPHEMERAL KEX MODE" ) );
110 break;
111 default:
Jerry Yu299e31f2022-07-13 23:06:36 +0800112 MBEDTLS_SSL_PEND_FATAL_ALERT( MBEDTLS_SSL_ALERT_MSG_ILLEGAL_PARAMETER,
113 MBEDTLS_ERR_SSL_ILLEGAL_PARAMETER );
Jerry Yue19e3b92022-07-08 12:04:51 +0000114 return( MBEDTLS_ERR_SSL_ILLEGAL_PARAMETER );
115 }
116 }
117
118 ssl->handshake->tls13_kex_modes = ke_modes;
119 return( 0 );
120}
Jerry Yu1c105562022-07-10 06:32:38 +0000121
Jerry Yue9d4fc02022-08-20 19:21:15 +0800122#define SSL_TLS1_3_OFFERED_PSK_NOT_MATCH 1
123#define SSL_TLS1_3_OFFERED_PSK_MATCH 0
Jerry Yu95699e72022-08-21 19:22:23 +0800124
125#if defined(MBEDTLS_SSL_SESSION_TICKETS)
126
127MBEDTLS_CHECK_RETURN_CRITICAL
128static int ssl_tls13_offered_psks_check_identity_match_ticket(
129 mbedtls_ssl_context *ssl,
Jerry Yu95699e72022-08-21 19:22:23 +0800130 const unsigned char *identity,
131 size_t identity_len,
Jerry Yu8d4bbba2022-09-13 14:15:48 +0800132 uint32_t obfuscated_ticket_age,
133 mbedtls_ssl_session *session )
Jerry Yu95699e72022-08-21 19:22:23 +0800134{
Jerry Yufd310eb2022-09-06 09:16:35 +0800135 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Jerry Yu95699e72022-08-21 19:22:23 +0800136 unsigned char *ticket_buffer;
Jerry Yu8d4bbba2022-09-13 14:15:48 +0800137#if defined(MBEDTLS_HAVE_TIME)
138 mbedtls_time_t now;
Jerry Yuacff8232022-09-14 14:35:11 +0800139 uint64_t age_in_s;
Jerry Yuf7dad3c2022-09-14 22:31:39 +0800140 int64_t age_diff_in_ms;
Jerry Yu8d4bbba2022-09-13 14:15:48 +0800141#endif
Jerry Yu95699e72022-08-21 19:22:23 +0800142
143 ((void) obfuscated_ticket_age);
144
145 MBEDTLS_SSL_DEBUG_MSG( 2, ( "=> check_identity_match_ticket" ) );
146
Jerry Yufd310eb2022-09-06 09:16:35 +0800147 /* Ticket parser is not configured, Skip */
148 if( ssl->conf->f_ticket_parse == NULL || identity_len == 0 )
Jerry Yu95699e72022-08-21 19:22:23 +0800149 return( 0 );
Jerry Yu95699e72022-08-21 19:22:23 +0800150
Jerry Yu4746b102022-09-13 11:11:48 +0800151 /* We create a copy of the encrypted ticket since the ticket parsing
152 * function is allowed to use its input buffer as an output buffer
153 * (in-place decryption). We do, however, need the original buffer for
154 * computing the PSK binder value.
Jerry Yu95699e72022-08-21 19:22:23 +0800155 */
156 ticket_buffer = mbedtls_calloc( 1, identity_len );
157 if( ticket_buffer == NULL )
158 {
159 MBEDTLS_SSL_DEBUG_MSG( 1, ( "buffer too small" ) );
160 return ( MBEDTLS_ERR_SSL_ALLOC_FAILED );
161 }
162 memcpy( ticket_buffer, identity, identity_len );
163
164 if( ( ret = ssl->conf->f_ticket_parse( ssl->conf->p_ticket,
165 session,
166 ticket_buffer, identity_len ) ) != 0 )
167 {
168 if( ret == MBEDTLS_ERR_SSL_INVALID_MAC )
169 MBEDTLS_SSL_DEBUG_MSG( 3, ( "ticket is not authentic" ) );
170 else if( ret == MBEDTLS_ERR_SSL_SESSION_TICKET_EXPIRED )
171 MBEDTLS_SSL_DEBUG_MSG( 3, ( "ticket is expired" ) );
172 else
173 MBEDTLS_SSL_DEBUG_RET( 1, "ticket_parse", ret );
174 }
175
176 /* We delete the temporary buffer */
177 mbedtls_free( ticket_buffer );
178
Jerry Yu8d4bbba2022-09-13 14:15:48 +0800179 if( ret != 0 )
180 goto exit;
181
182 ret = MBEDTLS_ERR_SSL_SESSION_TICKET_EXPIRED;
183#if defined(MBEDTLS_HAVE_TIME)
184 now = mbedtls_time( NULL );
185
Jerry Yu8d4bbba2022-09-13 14:15:48 +0800186 if( now < session->start )
Jerry Yu95699e72022-08-21 19:22:23 +0800187 {
Jerry Yu8d4bbba2022-09-13 14:15:48 +0800188 MBEDTLS_SSL_DEBUG_MSG(
189 3, ( "Ticket expired: now=%" MBEDTLS_PRINTF_LONGLONG
190 ", start=%" MBEDTLS_PRINTF_LONGLONG,
191 (long long)now, (long long)session->start ) );
192 goto exit;
193 }
Jerry Yu95699e72022-08-21 19:22:23 +0800194
Jerry Yu8d4bbba2022-09-13 14:15:48 +0800195 age_in_s = (uint64_t)( now - session->start );
Jerry Yu95699e72022-08-21 19:22:23 +0800196
Jerry Yu8d4bbba2022-09-13 14:15:48 +0800197 /* RFC 8446 section 4.6.1
198 *
199 * Servers MUST NOT use any value greater than 604800 seconds (7 days).
200 *
201 * RFC 8446 section 4.2.11.1
202 *
203 * Clients MUST NOT attempt to use tickets which have ages greater than
204 * the "ticket_lifetime" value which was provided with the ticket.
205 *
206 * For time being, the age MUST be less than 604800 seconds (7 days).
207 */
208 if( age_in_s > 604800 )
209 {
210 MBEDTLS_SSL_DEBUG_MSG(
211 3, ( "Ticket expired: Ticket age exceed limitation ticket_age=%lu",
212 (long unsigned int)age_in_s ) );
213 goto exit;
214 }
Jerry Yu95699e72022-08-21 19:22:23 +0800215
Jerry Yu8d4bbba2022-09-13 14:15:48 +0800216 /* RFC 8446 section 4.2.10
217 *
218 * For PSKs provisioned via NewSessionTicket, a server MUST validate that
219 * the ticket age for the selected PSK identity (computed by subtracting
220 * ticket_age_add from PskIdentity.obfuscated_ticket_age modulo 2^32) is
221 * within a small tolerance of the time since the ticket was issued.
Jerry Yuf7dad3c2022-09-14 22:31:39 +0800222 *
Jerry Yu0a55cc62022-09-15 16:15:06 +0800223 * NOTE: When `now == session->start`, `age_diff_in_ms` may be negative
224 * as the age units are different on the server (s) and in the
225 * client (ms) side. Add a -1000 ms tolerance window to take this
226 * into account.
Jerry Yu8d4bbba2022-09-13 14:15:48 +0800227 */
Jerry Yuf7dad3c2022-09-14 22:31:39 +0800228 age_diff_in_ms = age_in_s * 1000;
229 age_diff_in_ms -= ( obfuscated_ticket_age - session->ticket_age_add );
230 if( age_diff_in_ms <= -1000 ||
231 age_diff_in_ms > MBEDTLS_SSL_TLS1_3_TICKET_AGE_TOLERANCE )
Jerry Yu8d4bbba2022-09-13 14:15:48 +0800232 {
233 MBEDTLS_SSL_DEBUG_MSG(
234 3, ( "Ticket expired: Ticket age outside tolerance window "
Jerry Yuf7dad3c2022-09-14 22:31:39 +0800235 "( diff=%d )", (int)age_diff_in_ms ) );
Jerry Yu8d4bbba2022-09-13 14:15:48 +0800236 goto exit;
237 }
238
239 ret = 0;
Jerry Yu95699e72022-08-21 19:22:23 +0800240
241#endif /* MBEDTLS_HAVE_TIME */
Jerry Yu8d4bbba2022-09-13 14:15:48 +0800242
243exit:
244 if( ret != 0 )
245 mbedtls_ssl_session_free( session );
Jerry Yu95699e72022-08-21 19:22:23 +0800246
247 MBEDTLS_SSL_DEBUG_MSG( 2, ( "<= check_identity_match_ticket" ) );
248 return( ret );
249}
250#endif /* MBEDTLS_SSL_SESSION_TICKETS */
251
Jerry Yu6e74a7e2022-07-20 20:49:32 +0800252MBEDTLS_CHECK_RETURN_CRITICAL
Jerry Yu1c105562022-07-10 06:32:38 +0000253static int ssl_tls13_offered_psks_check_identity_match(
254 mbedtls_ssl_context *ssl,
255 const unsigned char *identity,
Jerry Yu5725f1c2022-08-21 17:27:16 +0800256 size_t identity_len,
Jerry Yu95699e72022-08-21 19:22:23 +0800257 uint32_t obfuscated_ticket_age,
Jerry Yu4746b102022-09-13 11:11:48 +0800258 int *psk_type,
259 mbedtls_ssl_session *session )
Jerry Yu1c105562022-07-10 06:32:38 +0000260{
Jerry Yu95699e72022-08-21 19:22:23 +0800261 ((void) session);
262 ((void) obfuscated_ticket_age);
Jerry Yu5725f1c2022-08-21 17:27:16 +0800263 *psk_type = MBEDTLS_SSL_TLS1_3_PSK_EXTERNAL;
Jerry Yu95699e72022-08-21 19:22:23 +0800264
265 MBEDTLS_SSL_DEBUG_BUF( 4, "identity", identity, identity_len );
266 ssl->handshake->resume = 0;
267
Jerry Yu95699e72022-08-21 19:22:23 +0800268#if defined(MBEDTLS_SSL_SESSION_TICKETS)
269 if( ssl_tls13_offered_psks_check_identity_match_ticket(
Jerry Yu8d4bbba2022-09-13 14:15:48 +0800270 ssl, identity, identity_len, obfuscated_ticket_age,
Jerry Yuf7dad3c2022-09-14 22:31:39 +0800271 session ) == SSL_TLS1_3_OFFERED_PSK_MATCH )
Jerry Yu95699e72022-08-21 19:22:23 +0800272 {
Jerry Yu95699e72022-08-21 19:22:23 +0800273 ssl->handshake->resume = 1;
274 *psk_type = MBEDTLS_SSL_TLS1_3_PSK_RESUMPTION;
275 mbedtls_ssl_set_hs_psk( ssl,
Jerry Yu0a55cc62022-09-15 16:15:06 +0800276 session->resumption_key,
277 session->resumption_key_len );
Jerry Yu95699e72022-08-21 19:22:23 +0800278
279 MBEDTLS_SSL_DEBUG_BUF( 4, "Ticket-resumed PSK:",
Jerry Yu0a55cc62022-09-15 16:15:06 +0800280 session->resumption_key,
281 session->resumption_key_len );
Jerry Yu95699e72022-08-21 19:22:23 +0800282 MBEDTLS_SSL_DEBUG_MSG( 4, ( "ticket: obfuscated_ticket_age: %u",
283 (unsigned)obfuscated_ticket_age ) );
284 return( SSL_TLS1_3_OFFERED_PSK_MATCH );
285 }
286#endif /* MBEDTLS_SSL_SESSION_TICKETS */
287
Jerry Yu1c105562022-07-10 06:32:38 +0000288 /* Check identity with external configured function */
289 if( ssl->conf->f_psk != NULL )
290 {
291 if( ssl->conf->f_psk(
292 ssl->conf->p_psk, ssl, identity, identity_len ) == 0 )
293 {
294 return( SSL_TLS1_3_OFFERED_PSK_MATCH );
295 }
296 return( SSL_TLS1_3_OFFERED_PSK_NOT_MATCH );
297 }
298
Jerry Yu96a2e362022-07-21 15:11:34 +0800299 MBEDTLS_SSL_DEBUG_BUF( 5, "identity", identity, identity_len );
Jerry Yu1c105562022-07-10 06:32:38 +0000300 /* Check identity with pre-configured psk */
Jerry Yu2f0abc92022-07-22 19:34:48 +0800301 if( ssl->conf->psk_identity != NULL &&
302 identity_len == ssl->conf->psk_identity_len &&
Jerry Yu1c105562022-07-10 06:32:38 +0000303 mbedtls_ct_memcmp( ssl->conf->psk_identity,
304 identity, identity_len ) == 0 )
305 {
306 mbedtls_ssl_set_hs_psk( ssl, ssl->conf->psk, ssl->conf->psk_len );
307 return( SSL_TLS1_3_OFFERED_PSK_MATCH );
308 }
309
Jerry Yu1c105562022-07-10 06:32:38 +0000310 return( SSL_TLS1_3_OFFERED_PSK_NOT_MATCH );
311}
312
Jerry Yu6e74a7e2022-07-20 20:49:32 +0800313MBEDTLS_CHECK_RETURN_CRITICAL
Jerry Yu96a2e362022-07-21 15:11:34 +0800314static int ssl_tls13_offered_psks_check_binder_match( mbedtls_ssl_context *ssl,
315 const unsigned char *binder,
Jerry Yue95c8af2022-07-26 15:48:20 +0800316 size_t binder_len,
Jerry Yu5725f1c2022-08-21 17:27:16 +0800317 int psk_type,
Jerry Yu29d9faa2022-08-23 17:52:45 +0800318 psa_algorithm_t psk_hash_alg )
Jerry Yu1c105562022-07-10 06:32:38 +0000319{
320 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Jerry Yu96a2e362022-07-21 15:11:34 +0800321
Jerry Yudaf375a2022-07-20 21:31:43 +0800322 unsigned char transcript[PSA_HASH_MAX_SIZE];
Jerry Yu1c105562022-07-10 06:32:38 +0000323 size_t transcript_len;
Jerry Yu2f0abc92022-07-22 19:34:48 +0800324 unsigned char *psk;
Jerry Yu96a2e362022-07-21 15:11:34 +0800325 size_t psk_len;
Jerry Yudaf375a2022-07-20 21:31:43 +0800326 unsigned char server_computed_binder[PSA_HASH_MAX_SIZE];
Jerry Yu1c105562022-07-10 06:32:38 +0000327
Jerry Yu1c105562022-07-10 06:32:38 +0000328 /* Get current state of handshake transcript. */
Jerry Yu29d9faa2022-08-23 17:52:45 +0800329 ret = mbedtls_ssl_get_handshake_transcript(
330 ssl, mbedtls_hash_info_md_from_psa( psk_hash_alg ),
331 transcript, sizeof( transcript ), &transcript_len );
Jerry Yu1c105562022-07-10 06:32:38 +0000332 if( ret != 0 )
333 return( ret );
334
Jerry Yu40f37712022-07-26 16:58:57 +0800335 ret = mbedtls_ssl_tls13_export_handshake_psk( ssl, &psk, &psk_len );
Jerry Yu96a2e362022-07-21 15:11:34 +0800336 if( ret != 0 )
337 return( ret );
338
Jerry Yu29d9faa2022-08-23 17:52:45 +0800339 ret = mbedtls_ssl_tls13_create_psk_binder( ssl, psk_hash_alg,
Jerry Yu1c105562022-07-10 06:32:38 +0000340 psk, psk_len, psk_type,
341 transcript,
342 server_computed_binder );
Jerry Yu96a2e362022-07-21 15:11:34 +0800343#if defined(MBEDTLS_USE_PSA_CRYPTO)
344 mbedtls_free( (void*)psk );
345#endif
Jerry Yu1c105562022-07-10 06:32:38 +0000346 if( ret != 0 )
347 {
348 MBEDTLS_SSL_DEBUG_MSG( 1, ( "PSK binder calculation failed." ) );
349 return( MBEDTLS_ERR_SSL_HANDSHAKE_FAILURE );
350 }
351
352 MBEDTLS_SSL_DEBUG_BUF( 3, "psk binder ( computed ): ",
Jerry Yu2f0abc92022-07-22 19:34:48 +0800353 server_computed_binder, transcript_len );
Jerry Yu1c105562022-07-10 06:32:38 +0000354 MBEDTLS_SSL_DEBUG_BUF( 3, "psk binder ( received ): ", binder, binder_len );
355
356 if( mbedtls_ct_memcmp( server_computed_binder, binder, binder_len ) == 0 )
357 {
358 return( SSL_TLS1_3_OFFERED_PSK_MATCH );
359 }
360
Jerry Yudaf375a2022-07-20 21:31:43 +0800361 mbedtls_platform_zeroize( server_computed_binder,
362 sizeof( server_computed_binder ) );
Jerry Yu1c105562022-07-10 06:32:38 +0000363 return( SSL_TLS1_3_OFFERED_PSK_NOT_MATCH );
364}
Jerry Yu96a2e362022-07-21 15:11:34 +0800365
Jerry Yu5725f1c2022-08-21 17:27:16 +0800366MBEDTLS_CHECK_RETURN_CRITICAL
Jerry Yuf35ba382022-08-23 17:58:26 +0800367static int ssl_tls13_select_ciphersuite_for_psk(
368 mbedtls_ssl_context *ssl,
369 const unsigned char *cipher_suites,
370 const unsigned char *cipher_suites_end,
371 uint16_t *selected_ciphersuite,
372 const mbedtls_ssl_ciphersuite_t **selected_ciphersuite_info )
Jerry Yu5725f1c2022-08-21 17:27:16 +0800373{
Jerry Yuf35ba382022-08-23 17:58:26 +0800374 psa_algorithm_t psk_hash_alg = PSA_ALG_SHA_256;
Jerry Yu5725f1c2022-08-21 17:27:16 +0800375
Jerry Yu0baf9072022-08-25 11:21:04 +0800376 *selected_ciphersuite = 0;
377 *selected_ciphersuite_info = NULL;
378
Jerry Yuf35ba382022-08-23 17:58:26 +0800379 /* RFC 8446, page 55.
380 *
381 * For externally established PSKs, the Hash algorithm MUST be set when the
382 * PSK is established or default to SHA-256 if no such algorithm is defined.
383 *
384 */
Jerry Yu5725f1c2022-08-21 17:27:16 +0800385
Jerry Yu5725f1c2022-08-21 17:27:16 +0800386 /*
387 * Search for a matching ciphersuite
388 */
Jerry Yu1e05b6d2022-08-31 10:35:52 +0800389 for ( const unsigned char *p = cipher_suites;
390 p < cipher_suites_end; p += 2 )
Jerry Yu5725f1c2022-08-21 17:27:16 +0800391 {
392 uint16_t cipher_suite;
Jerry Yuf35ba382022-08-23 17:58:26 +0800393 const mbedtls_ssl_ciphersuite_t *ciphersuite_info;
Jerry Yu5725f1c2022-08-21 17:27:16 +0800394
395 cipher_suite = MBEDTLS_GET_UINT16_BE( p, 0 );
Jerry Yuc5a23a02022-08-25 10:51:44 +0800396 ciphersuite_info = ssl_tls13_validate_peer_ciphersuite( ssl,
397 cipher_suite );
Jerry Yuf35ba382022-08-23 17:58:26 +0800398 if( ciphersuite_info == NULL )
Jerry Yu5725f1c2022-08-21 17:27:16 +0800399 continue;
400
Jerry Yu5725f1c2022-08-21 17:27:16 +0800401 /* MAC of selected ciphersuite MUST be same with PSK binder if exist.
402 * Otherwise, client should reject.
403 */
Jerry Yuf35ba382022-08-23 17:58:26 +0800404 if( psk_hash_alg == mbedtls_psa_translate_md( ciphersuite_info->mac ) )
405 {
406 *selected_ciphersuite = cipher_suite;
407 *selected_ciphersuite_info = ciphersuite_info;
408 return( 0 );
409 }
410 }
411 MBEDTLS_SSL_DEBUG_MSG( 2, ( "No matched ciphersuite" ) );
412 return( MBEDTLS_ERR_SSL_HANDSHAKE_FAILURE );
413}
Jerry Yu5725f1c2022-08-21 17:27:16 +0800414
Jerry Yu82534862022-08-30 10:42:33 +0800415#if defined(MBEDTLS_SSL_SESSION_TICKETS)
Jerry Yuf35ba382022-08-23 17:58:26 +0800416MBEDTLS_CHECK_RETURN_CRITICAL
417static int ssl_tls13_select_ciphersuite_for_resumption(
418 mbedtls_ssl_context *ssl,
419 const unsigned char *cipher_suites,
420 const unsigned char *cipher_suites_end,
421 mbedtls_ssl_session *session,
422 uint16_t *selected_ciphersuite,
423 const mbedtls_ssl_ciphersuite_t **selected_ciphersuite_info )
424{
Jerry Yu82534862022-08-30 10:42:33 +0800425
Jerry Yuf35ba382022-08-23 17:58:26 +0800426 *selected_ciphersuite = 0;
427 *selected_ciphersuite_info = NULL;
Jerry Yu82534862022-08-30 10:42:33 +0800428 for( const unsigned char *p = cipher_suites; p < cipher_suites_end; p += 2 )
429 {
430 uint16_t cipher_suite = MBEDTLS_GET_UINT16_BE( p, 0 );
431 const mbedtls_ssl_ciphersuite_t *ciphersuite_info;
432
433 if( cipher_suite != session->ciphersuite )
434 continue;
435
436 ciphersuite_info = ssl_tls13_validate_peer_ciphersuite( ssl,
437 cipher_suite );
438 if( ciphersuite_info == NULL )
439 continue;
440
Jerry Yu4746b102022-09-13 11:11:48 +0800441 *selected_ciphersuite = cipher_suite;
Jerry Yu82534862022-08-30 10:42:33 +0800442 *selected_ciphersuite_info = ciphersuite_info;
443
444 return( 0 );
Jerry Yu82534862022-08-30 10:42:33 +0800445 }
446
447 return( MBEDTLS_ERR_SSL_HANDSHAKE_FAILURE );
Jerry Yu5725f1c2022-08-21 17:27:16 +0800448}
Jerry Yuf35ba382022-08-23 17:58:26 +0800449
Jerry Yu82534862022-08-30 10:42:33 +0800450MBEDTLS_CHECK_RETURN_CRITICAL
Jerry Yu4746b102022-09-13 11:11:48 +0800451static int ssl_tls13_session_copy_ticket( mbedtls_ssl_session *dst,
452 const mbedtls_ssl_session *src )
Jerry Yu82534862022-08-30 10:42:33 +0800453{
Jerry Yu82534862022-08-30 10:42:33 +0800454 dst->ticket_age_add = src->ticket_age_add;
455 dst->ticket_flags = src->ticket_flags;
456 dst->resumption_key_len = src->resumption_key_len;
457 if( src->resumption_key_len == 0 )
458 return( MBEDTLS_ERR_SSL_INTERNAL_ERROR );
459 memcpy( dst->resumption_key, src->resumption_key, src->resumption_key_len );
Jerry Yu4746b102022-09-13 11:11:48 +0800460
Jerry Yu82534862022-08-30 10:42:33 +0800461 return( 0 );
462}
463#endif /* MBEDTLS_SSL_SESSION_TICKETS */
464
Jerry Yu1c105562022-07-10 06:32:38 +0000465/* Parser for pre_shared_key extension in client hello
466 * struct {
467 * opaque identity<1..2^16-1>;
468 * uint32 obfuscated_ticket_age;
469 * } PskIdentity;
470 *
471 * opaque PskBinderEntry<32..255>;
472 *
473 * struct {
474 * PskIdentity identities<7..2^16-1>;
475 * PskBinderEntry binders<33..2^16-1>;
476 * } OfferedPsks;
477 *
478 * struct {
479 * select (Handshake.msg_type) {
480 * case client_hello: OfferedPsks;
481 * ....
482 * };
483 * } PreSharedKeyExtension;
484 */
Jerry Yu6e74a7e2022-07-20 20:49:32 +0800485MBEDTLS_CHECK_RETURN_CRITICAL
Jerry Yubb852022022-07-20 21:10:44 +0800486static int ssl_tls13_parse_pre_shared_key_ext( mbedtls_ssl_context *ssl,
Jerry Yu29d9faa2022-08-23 17:52:45 +0800487 const unsigned char *pre_shared_key_ext,
488 const unsigned char *pre_shared_key_ext_end,
Jerry Yu5725f1c2022-08-21 17:27:16 +0800489 const unsigned char *ciphersuites,
490 const unsigned char *ciphersuites_end )
Jerry Yu1c105562022-07-10 06:32:38 +0000491{
Jerry Yu29d9faa2022-08-23 17:52:45 +0800492 const unsigned char *identities = pre_shared_key_ext;
Jerry Yu568ec252022-07-22 21:27:34 +0800493 const unsigned char *p_identity_len;
494 size_t identities_len;
Jerry Yu1c105562022-07-10 06:32:38 +0000495 const unsigned char *identities_end;
Jerry Yu568ec252022-07-22 21:27:34 +0800496 const unsigned char *binders;
497 const unsigned char *p_binder_len;
498 size_t binders_len;
Jerry Yu1c105562022-07-10 06:32:38 +0000499 const unsigned char *binders_end;
Jerry Yu96a2e362022-07-21 15:11:34 +0800500 int matched_identity = -1;
501 int identity_id = -1;
Jerry Yu1c105562022-07-10 06:32:38 +0000502
Jerry Yu29d9faa2022-08-23 17:52:45 +0800503 MBEDTLS_SSL_DEBUG_BUF( 3, "pre_shared_key extension",
504 pre_shared_key_ext,
505 pre_shared_key_ext_end - pre_shared_key_ext );
Jerry Yu1c105562022-07-10 06:32:38 +0000506
Jerry Yu96a2e362022-07-21 15:11:34 +0800507 /* identities_len 2 bytes
508 * identities_data >= 7 bytes
509 */
Jerry Yu29d9faa2022-08-23 17:52:45 +0800510 MBEDTLS_SSL_CHK_BUF_READ_PTR( identities, pre_shared_key_ext_end, 7 + 2 );
Jerry Yu568ec252022-07-22 21:27:34 +0800511 identities_len = MBEDTLS_GET_UINT16_BE( identities, 0 );
512 p_identity_len = identities + 2;
Jerry Yu29d9faa2022-08-23 17:52:45 +0800513 MBEDTLS_SSL_CHK_BUF_READ_PTR( p_identity_len, pre_shared_key_ext_end,
514 identities_len );
Jerry Yu568ec252022-07-22 21:27:34 +0800515 identities_end = p_identity_len + identities_len;
Jerry Yu1c105562022-07-10 06:32:38 +0000516
Jerry Yu96a2e362022-07-21 15:11:34 +0800517 /* binders_len 2 bytes
518 * binders >= 33 bytes
519 */
Jerry Yu568ec252022-07-22 21:27:34 +0800520 binders = identities_end;
Jerry Yu29d9faa2022-08-23 17:52:45 +0800521 MBEDTLS_SSL_CHK_BUF_READ_PTR( binders, pre_shared_key_ext_end, 33 + 2 );
Jerry Yu568ec252022-07-22 21:27:34 +0800522 binders_len = MBEDTLS_GET_UINT16_BE( binders, 0 );
523 p_binder_len = binders + 2;
Jerry Yu29d9faa2022-08-23 17:52:45 +0800524 MBEDTLS_SSL_CHK_BUF_READ_PTR( p_binder_len, pre_shared_key_ext_end, binders_len );
Jerry Yu568ec252022-07-22 21:27:34 +0800525 binders_end = p_binder_len + binders_len;
Jerry Yu1c105562022-07-10 06:32:38 +0000526
Jerry Yu29d9faa2022-08-23 17:52:45 +0800527 ssl->handshake->update_checksum( ssl, pre_shared_key_ext,
528 identities_end - pre_shared_key_ext );
Jerry Yu96a2e362022-07-21 15:11:34 +0800529
Jerry Yu568ec252022-07-22 21:27:34 +0800530 while( p_identity_len < identities_end && p_binder_len < binders_end )
Jerry Yu1c105562022-07-10 06:32:38 +0000531 {
Jerry Yu1c105562022-07-10 06:32:38 +0000532 const unsigned char *identity;
Jerry Yu568ec252022-07-22 21:27:34 +0800533 size_t identity_len;
Jerry Yu82534862022-08-30 10:42:33 +0800534 uint32_t obfuscated_ticket_age;
Jerry Yu96a2e362022-07-21 15:11:34 +0800535 const unsigned char *binder;
Jerry Yu568ec252022-07-22 21:27:34 +0800536 size_t binder_len;
Jerry Yu96a2e362022-07-21 15:11:34 +0800537 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Jerry Yu5725f1c2022-08-21 17:27:16 +0800538 int psk_type;
539 uint16_t cipher_suite;
Jerry Yu29d9faa2022-08-23 17:52:45 +0800540 const mbedtls_ssl_ciphersuite_t *ciphersuite_info;
Jerry Yu82534862022-08-30 10:42:33 +0800541#if defined(MBEDTLS_SSL_SESSION_TICKETS)
542 mbedtls_ssl_session session;
Jerry Yu4746b102022-09-13 11:11:48 +0800543 mbedtls_ssl_session_init( &session );
Jerry Yu82534862022-08-30 10:42:33 +0800544#endif
Jerry Yubb852022022-07-20 21:10:44 +0800545
Jerry Yu568ec252022-07-22 21:27:34 +0800546 MBEDTLS_SSL_CHK_BUF_READ_PTR( p_identity_len, identities_end, 2 + 1 + 4 );
547 identity_len = MBEDTLS_GET_UINT16_BE( p_identity_len, 0 );
548 identity = p_identity_len + 2;
549 MBEDTLS_SSL_CHK_BUF_READ_PTR( identity, identities_end, identity_len + 4 );
Jerry Yu82534862022-08-30 10:42:33 +0800550 obfuscated_ticket_age = MBEDTLS_GET_UINT32_BE( identity , identity_len );
Jerry Yu568ec252022-07-22 21:27:34 +0800551 p_identity_len += identity_len + 6;
Jerry Yu1c105562022-07-10 06:32:38 +0000552
Jerry Yu568ec252022-07-22 21:27:34 +0800553 MBEDTLS_SSL_CHK_BUF_READ_PTR( p_binder_len, binders_end, 1 + 32 );
554 binder_len = *p_binder_len;
555 binder = p_binder_len + 1;
556 MBEDTLS_SSL_CHK_BUF_READ_PTR( binder, binders_end, binder_len );
557 p_binder_len += binder_len + 1;
Jerry Yu96a2e362022-07-21 15:11:34 +0800558
Jerry Yu96a2e362022-07-21 15:11:34 +0800559 identity_id++;
560 if( matched_identity != -1 )
Jerry Yu1c105562022-07-10 06:32:38 +0000561 continue;
562
Jerry Yu96a2e362022-07-21 15:11:34 +0800563 ret = ssl_tls13_offered_psks_check_identity_match(
Jerry Yu82534862022-08-30 10:42:33 +0800564 ssl, identity, identity_len, obfuscated_ticket_age,
Jerry Yu4746b102022-09-13 11:11:48 +0800565 &psk_type, &session );
Jerry Yue95c8af2022-07-26 15:48:20 +0800566 if( ret != SSL_TLS1_3_OFFERED_PSK_MATCH )
Jerry Yu96a2e362022-07-21 15:11:34 +0800567 continue;
568
Jerry Yuf35ba382022-08-23 17:58:26 +0800569 MBEDTLS_SSL_DEBUG_MSG( 4, ( "found matched identity" ) );
Jerry Yu0baf9072022-08-25 11:21:04 +0800570 switch( psk_type )
571 {
572 case MBEDTLS_SSL_TLS1_3_PSK_EXTERNAL:
573 ret = ssl_tls13_select_ciphersuite_for_psk(
574 ssl, ciphersuites, ciphersuites_end,
575 &cipher_suite, &ciphersuite_info );
576 break;
577 case MBEDTLS_SSL_TLS1_3_PSK_RESUMPTION:
Jerry Yu82534862022-08-30 10:42:33 +0800578#if defined(MBEDTLS_SSL_SESSION_TICKETS)
Jerry Yu0baf9072022-08-25 11:21:04 +0800579 ret = ssl_tls13_select_ciphersuite_for_resumption(
Jerry Yu82534862022-08-30 10:42:33 +0800580 ssl, ciphersuites, ciphersuites_end, &session,
Jerry Yu0baf9072022-08-25 11:21:04 +0800581 &cipher_suite, &ciphersuite_info );
Jerry Yu4746b102022-09-13 11:11:48 +0800582 if( ret != 0 )
583 mbedtls_ssl_session_free( &session );
Jerry Yu82534862022-08-30 10:42:33 +0800584#else
585 ret = MBEDTLS_ERR_SSL_FEATURE_UNAVAILABLE;
586#endif
Jerry Yu0baf9072022-08-25 11:21:04 +0800587 break;
588 default:
589 return( MBEDTLS_ERR_SSL_INTERNAL_ERROR );
590 }
Jerry Yuf35ba382022-08-23 17:58:26 +0800591 if( ret != 0 )
Jerry Yu5725f1c2022-08-21 17:27:16 +0800592 {
Jerry Yuf35ba382022-08-23 17:58:26 +0800593 /* See below, no cipher_suite available, abort handshake */
594 MBEDTLS_SSL_PEND_FATAL_ALERT(
595 MBEDTLS_SSL_ALERT_MSG_DECRYPT_ERROR,
596 MBEDTLS_ERR_SSL_HANDSHAKE_FAILURE );
597 MBEDTLS_SSL_DEBUG_RET(
Jerry Yu0baf9072022-08-25 11:21:04 +0800598 2, "ssl_tls13_select_ciphersuite", ret );
Jerry Yuf35ba382022-08-23 17:58:26 +0800599 return( ret );
Jerry Yu5725f1c2022-08-21 17:27:16 +0800600 }
601
Jerry Yu96a2e362022-07-21 15:11:34 +0800602 ret = ssl_tls13_offered_psks_check_binder_match(
Jerry Yu29d9faa2022-08-23 17:52:45 +0800603 ssl, binder, binder_len, psk_type,
604 mbedtls_psa_translate_md( ciphersuite_info->mac ) );
Jerry Yue9d4fc02022-08-20 19:21:15 +0800605 if( ret != SSL_TLS1_3_OFFERED_PSK_MATCH )
Jerry Yu96a2e362022-07-21 15:11:34 +0800606 {
Jerry Yuc5a23a02022-08-25 10:51:44 +0800607 /* For security reasons, the handshake should be aborted when we
608 * fail to validate a binder value. See RFC 8446 section 4.2.11.2
609 * and appendix E.6. */
Jerry Yu82534862022-08-30 10:42:33 +0800610#if defined(MBEDTLS_SSL_SESSION_TICKETS)
611 mbedtls_ssl_session_free( &session );
612#endif
Jerry Yuc5a23a02022-08-25 10:51:44 +0800613 MBEDTLS_SSL_DEBUG_MSG( 3, ( "Invalid binder." ) );
Jerry Yu96a2e362022-07-21 15:11:34 +0800614 MBEDTLS_SSL_DEBUG_RET( 1,
615 "ssl_tls13_offered_psks_check_binder_match" , ret );
616 MBEDTLS_SSL_PEND_FATAL_ALERT(
617 MBEDTLS_SSL_ALERT_MSG_DECRYPT_ERROR,
618 MBEDTLS_ERR_SSL_HANDSHAKE_FAILURE );
619 return( ret );
620 }
Jerry Yu96a2e362022-07-21 15:11:34 +0800621
622 matched_identity = identity_id;
Jerry Yu5725f1c2022-08-21 17:27:16 +0800623
624 /* Update handshake parameters */
Jerry Yue5834fd2022-08-29 20:16:09 +0800625 ssl->handshake->ciphersuite_info = ciphersuite_info;
Jerry Yu4746b102022-09-13 11:11:48 +0800626 ssl->session_negotiate->ciphersuite = cipher_suite;
Jerry Yue5834fd2022-08-29 20:16:09 +0800627 MBEDTLS_SSL_DEBUG_MSG( 2, ( "overwrite ciphersuite: %04x - %s",
628 cipher_suite, ciphersuite_info->name ) );
Jerry Yu82534862022-08-30 10:42:33 +0800629#if defined(MBEDTLS_SSL_SESSION_TICKETS)
Jerry Yu82534862022-08-30 10:42:33 +0800630 if( psk_type == MBEDTLS_SSL_TLS1_3_PSK_RESUMPTION )
631 {
Jerry Yuf7dad3c2022-09-14 22:31:39 +0800632 ret = ssl_tls13_session_copy_ticket( ssl->session_negotiate,
633 &session );
Jerry Yu82534862022-08-30 10:42:33 +0800634 mbedtls_ssl_session_free( &session );
635 if( ret != 0 )
636 return( ret );
637 }
638#endif /* MBEDTLS_SSL_SESSION_TICKETS */
Jerry Yu1c105562022-07-10 06:32:38 +0000639 }
640
Jerry Yu568ec252022-07-22 21:27:34 +0800641 if( p_identity_len != identities_end || p_binder_len != binders_end )
Jerry Yu1c105562022-07-10 06:32:38 +0000642 {
643 MBEDTLS_SSL_DEBUG_MSG( 3, ( "pre_shared_key extesion decode error" ) );
644 MBEDTLS_SSL_PEND_FATAL_ALERT( MBEDTLS_SSL_ALERT_MSG_DECODE_ERROR,
645 MBEDTLS_ERR_SSL_DECODE_ERROR );
646 return( MBEDTLS_ERR_SSL_DECODE_ERROR );
647 }
648
Jerry Yu6f1db3f2022-07-22 23:05:59 +0800649 /* Update the handshake transcript with the binder list. */
650 ssl->handshake->update_checksum( ssl,
651 identities_end,
652 (size_t)( binders_end - identities_end ) );
Jerry Yu96a2e362022-07-21 15:11:34 +0800653 if( matched_identity == -1 )
Jerry Yu1c105562022-07-10 06:32:38 +0000654 {
Jerry Yue9d4fc02022-08-20 19:21:15 +0800655 MBEDTLS_SSL_DEBUG_MSG( 3, ( "No matched PSK or ticket." ) );
Jerry Yu96a2e362022-07-21 15:11:34 +0800656 return( MBEDTLS_ERR_SSL_UNKNOWN_IDENTITY );
Jerry Yu1c105562022-07-10 06:32:38 +0000657 }
658
Jerry Yu96a2e362022-07-21 15:11:34 +0800659 ssl->handshake->selected_identity = (uint16_t)matched_identity;
660 MBEDTLS_SSL_DEBUG_MSG( 3, ( "Pre shared key found" ) );
Jerry Yu1c105562022-07-10 06:32:38 +0000661
Jerry Yu96a2e362022-07-21 15:11:34 +0800662 return( 0 );
Jerry Yu1c105562022-07-10 06:32:38 +0000663}
Jerry Yu032b15ce2022-07-11 06:10:03 +0000664
665/*
666 * struct {
667 * select ( Handshake.msg_type ) {
668 * ....
669 * case server_hello:
670 * uint16 selected_identity;
671 * }
672 * } PreSharedKeyExtension;
673 */
Jerry Yubb852022022-07-20 21:10:44 +0800674static int ssl_tls13_write_server_pre_shared_key_ext( mbedtls_ssl_context *ssl,
675 unsigned char *buf,
676 unsigned char *end,
677 size_t *olen )
Jerry Yu032b15ce2022-07-11 06:10:03 +0000678{
679 unsigned char *p = (unsigned char*)buf;
Jerry Yu032b15ce2022-07-11 06:10:03 +0000680
681 *olen = 0;
682
683#if defined(MBEDTLS_USE_PSA_CRYPTO)
684 if( mbedtls_svc_key_id_is_null( ssl->handshake->psk_opaque ) )
685#else
686 if( ssl->handshake->psk == NULL )
687#endif
688 {
689 /* We shouldn't have called this extension writer unless we've
690 * chosen to use a PSK. */
691 return( MBEDTLS_ERR_SSL_INTERNAL_ERROR );
692 }
693
694 MBEDTLS_SSL_DEBUG_MSG( 3, ( "server hello, adding pre_shared_key extension" ) );
695 MBEDTLS_SSL_CHK_BUF_PTR( p, end, 6 );
696
Jerry Yu032b15ce2022-07-11 06:10:03 +0000697 MBEDTLS_PUT_UINT16_BE( MBEDTLS_TLS_EXT_PRE_SHARED_KEY, p, 0 );
Jerry Yu032b15ce2022-07-11 06:10:03 +0000698 MBEDTLS_PUT_UINT16_BE( 2, p, 2 );
699
Jerry Yu96a2e362022-07-21 15:11:34 +0800700 MBEDTLS_PUT_UINT16_BE( ssl->handshake->selected_identity, p, 4 );
Jerry Yu032b15ce2022-07-11 06:10:03 +0000701
702 *olen = 6;
703
Jerry Yu96a2e362022-07-21 15:11:34 +0800704 MBEDTLS_SSL_DEBUG_MSG( 4, ( "sent selected_identity: %u",
705 ssl->handshake->selected_identity ) );
Jerry Yu032b15ce2022-07-11 06:10:03 +0000706
707 return( 0 );
708}
709
Jerry Yue19e3b92022-07-08 12:04:51 +0000710#endif /* MBEDTLS_KEY_EXCHANGE_SOME_PSK_ENABLED */
711
XiaokangQian7807f9f2022-02-15 10:04:37 +0000712/* From RFC 8446:
713 * struct {
XiaokangQiancfd925f2022-04-14 07:10:37 +0000714 * ProtocolVersion versions<2..254>;
XiaokangQian7807f9f2022-02-15 10:04:37 +0000715 * } SupportedVersions;
716 */
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +0200717MBEDTLS_CHECK_RETURN_CRITICAL
XiaokangQian7807f9f2022-02-15 10:04:37 +0000718static int ssl_tls13_parse_supported_versions_ext( mbedtls_ssl_context *ssl,
719 const unsigned char *buf,
720 const unsigned char *end )
721{
XiaokangQian7807f9f2022-02-15 10:04:37 +0000722 const unsigned char *p = buf;
XiaokangQian8f9dfe42022-04-15 02:52:39 +0000723 size_t versions_len;
XiaokangQian4080a7f2022-04-11 09:55:18 +0000724 const unsigned char *versions_end;
XiaokangQian0a1b54e2022-04-21 03:01:38 +0000725 uint16_t tls_version;
XiaokangQian8f9dfe42022-04-15 02:52:39 +0000726 int tls13_supported = 0;
XiaokangQian7807f9f2022-02-15 10:04:37 +0000727
728 MBEDTLS_SSL_CHK_BUF_READ_PTR( p, end, 1 );
XiaokangQian4080a7f2022-04-11 09:55:18 +0000729 versions_len = p[0];
XiaokangQian7807f9f2022-02-15 10:04:37 +0000730 p += 1;
731
XiaokangQian4080a7f2022-04-11 09:55:18 +0000732 MBEDTLS_SSL_CHK_BUF_READ_PTR( p, end, versions_len );
XiaokangQian4080a7f2022-04-11 09:55:18 +0000733 versions_end = p + versions_len;
734 while( p < versions_end )
XiaokangQian7807f9f2022-02-15 10:04:37 +0000735 {
XiaokangQiancfd925f2022-04-14 07:10:37 +0000736 MBEDTLS_SSL_CHK_BUF_READ_PTR( p, versions_end, 2 );
XiaokangQiande333912022-04-20 08:49:42 +0000737 tls_version = mbedtls_ssl_read_version( p, ssl->conf->transport );
XiaokangQianb67384d2022-04-19 00:02:38 +0000738 p += 2;
XiaokangQian7807f9f2022-02-15 10:04:37 +0000739
740 /* In this implementation we only support TLS 1.3 and DTLS 1.3. */
XiaokangQiande333912022-04-20 08:49:42 +0000741 if( tls_version == MBEDTLS_SSL_VERSION_TLS1_3 )
XiaokangQian7807f9f2022-02-15 10:04:37 +0000742 {
743 tls13_supported = 1;
744 break;
745 }
XiaokangQian7807f9f2022-02-15 10:04:37 +0000746 }
747
XiaokangQianb67384d2022-04-19 00:02:38 +0000748 if( !tls13_supported )
XiaokangQian7807f9f2022-02-15 10:04:37 +0000749 {
XiaokangQian7807f9f2022-02-15 10:04:37 +0000750 MBEDTLS_SSL_DEBUG_MSG( 1, ( "TLS 1.3 is not supported by the client" ) );
751
752 MBEDTLS_SSL_PEND_FATAL_ALERT( MBEDTLS_SSL_ALERT_MSG_PROTOCOL_VERSION,
753 MBEDTLS_ERR_SSL_BAD_PROTOCOL_VERSION );
754 return( MBEDTLS_ERR_SSL_BAD_PROTOCOL_VERSION );
755 }
756
XiaokangQiande333912022-04-20 08:49:42 +0000757 MBEDTLS_SSL_DEBUG_MSG( 1, ( "Negotiated version. Supported is [%04x]",
XiaokangQian0a1b54e2022-04-21 03:01:38 +0000758 (unsigned int)tls_version ) );
XiaokangQian7807f9f2022-02-15 10:04:37 +0000759
XiaokangQian7807f9f2022-02-15 10:04:37 +0000760 return( 0 );
761}
762
XiaokangQian8f9dfe42022-04-15 02:52:39 +0000763#if defined(MBEDTLS_ECDH_C)
XiaokangQiane8ff3502022-04-22 02:34:40 +0000764/*
XiaokangQian7807f9f2022-02-15 10:04:37 +0000765 *
766 * From RFC 8446:
767 * enum {
768 * ... (0xFFFF)
769 * } NamedGroup;
770 * struct {
771 * NamedGroup named_group_list<2..2^16-1>;
772 * } NamedGroupList;
773 */
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +0200774MBEDTLS_CHECK_RETURN_CRITICAL
Jerry Yuc1be19f2022-04-23 16:11:39 +0800775static int ssl_tls13_parse_supported_groups_ext( mbedtls_ssl_context *ssl,
776 const unsigned char *buf,
777 const unsigned char *end )
XiaokangQian7807f9f2022-02-15 10:04:37 +0000778{
XiaokangQian7807f9f2022-02-15 10:04:37 +0000779 const unsigned char *p = buf;
XiaokangQian84823772022-04-19 07:57:30 +0000780 size_t named_group_list_len;
XiaokangQian8f9dfe42022-04-15 02:52:39 +0000781 const unsigned char *named_group_list_end;
XiaokangQian7807f9f2022-02-15 10:04:37 +0000782
783 MBEDTLS_SSL_DEBUG_BUF( 3, "supported_groups extension", p, end - buf );
XiaokangQian8f9dfe42022-04-15 02:52:39 +0000784 MBEDTLS_SSL_CHK_BUF_READ_PTR( p, end, 2 );
XiaokangQian4080a7f2022-04-11 09:55:18 +0000785 named_group_list_len = MBEDTLS_GET_UINT16_BE( p, 0 );
XiaokangQian7807f9f2022-02-15 10:04:37 +0000786 p += 2;
XiaokangQian4080a7f2022-04-11 09:55:18 +0000787 MBEDTLS_SSL_CHK_BUF_READ_PTR( p, end, named_group_list_len );
XiaokangQian8f9dfe42022-04-15 02:52:39 +0000788 named_group_list_end = p + named_group_list_len;
XiaokangQian4e8cd7b2022-04-21 09:48:09 +0000789 ssl->handshake->hrr_selected_group = 0;
XiaokangQian7807f9f2022-02-15 10:04:37 +0000790
XiaokangQian08037552022-04-20 07:16:41 +0000791 while( p < named_group_list_end )
XiaokangQian7807f9f2022-02-15 10:04:37 +0000792 {
XiaokangQian08037552022-04-20 07:16:41 +0000793 uint16_t named_group;
XiaokangQian8f9dfe42022-04-15 02:52:39 +0000794 MBEDTLS_SSL_CHK_BUF_READ_PTR( p, named_group_list_end, 2 );
XiaokangQian08037552022-04-20 07:16:41 +0000795 named_group = MBEDTLS_GET_UINT16_BE( p, 0 );
796 p += 2;
XiaokangQian7807f9f2022-02-15 10:04:37 +0000797
Jerry Yuc1be19f2022-04-23 16:11:39 +0800798 MBEDTLS_SSL_DEBUG_MSG( 2,
799 ( "got named group: %s(%04x)",
800 mbedtls_ssl_named_group_to_str( named_group ),
801 named_group ) );
XiaokangQian08037552022-04-20 07:16:41 +0000802
803 if( ! mbedtls_ssl_named_group_is_offered( ssl, named_group ) ||
804 ! mbedtls_ssl_named_group_is_supported( named_group ) ||
XiaokangQian4e8cd7b2022-04-21 09:48:09 +0000805 ssl->handshake->hrr_selected_group != 0 )
XiaokangQian7807f9f2022-02-15 10:04:37 +0000806 {
XiaokangQian08037552022-04-20 07:16:41 +0000807 continue;
XiaokangQian7807f9f2022-02-15 10:04:37 +0000808 }
809
Jerry Yuc1be19f2022-04-23 16:11:39 +0800810 MBEDTLS_SSL_DEBUG_MSG( 2,
811 ( "add named group %s(%04x) into received list.",
812 mbedtls_ssl_named_group_to_str( named_group ),
813 named_group ) );
814
XiaokangQian4e8cd7b2022-04-21 09:48:09 +0000815 ssl->handshake->hrr_selected_group = named_group;
XiaokangQian7807f9f2022-02-15 10:04:37 +0000816 }
817
818 return( 0 );
819
820}
XiaokangQian8f9dfe42022-04-15 02:52:39 +0000821#endif /* MBEDTLS_ECDH_C */
XiaokangQian7807f9f2022-02-15 10:04:37 +0000822
XiaokangQian08037552022-04-20 07:16:41 +0000823#define SSL_TLS1_3_PARSE_KEY_SHARES_EXT_NO_MATCH 1
824
XiaokangQian88408882022-04-02 10:15:03 +0000825#if defined(MBEDTLS_ECDH_C)
XiaokangQian7807f9f2022-02-15 10:04:37 +0000826/*
827 * ssl_tls13_parse_key_shares_ext() verifies whether the information in the
XiaokangQiane8ff3502022-04-22 02:34:40 +0000828 * extension is correct and stores the first acceptable key share and its associated group.
XiaokangQian7807f9f2022-02-15 10:04:37 +0000829 *
830 * Possible return values are:
831 * - 0: Successful processing of the client provided key share extension.
XiaokangQian08037552022-04-20 07:16:41 +0000832 * - SSL_TLS1_3_PARSE_KEY_SHARES_EXT_NO_MATCH: The key shares provided by the client
XiaokangQian7807f9f2022-02-15 10:04:37 +0000833 * does not match a group supported by the server. A HelloRetryRequest will
834 * be needed.
XiaokangQiane8ff3502022-04-22 02:34:40 +0000835 * - A negative value for fatal errors.
Jerry Yuc1be19f2022-04-23 16:11:39 +0800836 */
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +0200837MBEDTLS_CHECK_RETURN_CRITICAL
XiaokangQian7807f9f2022-02-15 10:04:37 +0000838static int ssl_tls13_parse_key_shares_ext( mbedtls_ssl_context *ssl,
839 const unsigned char *buf,
840 const unsigned char *end )
841{
XiaokangQianb67384d2022-04-19 00:02:38 +0000842 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
XiaokangQian7807f9f2022-02-15 10:04:37 +0000843 unsigned char const *p = buf;
XiaokangQian8f9dfe42022-04-15 02:52:39 +0000844 unsigned char const *client_shares_end;
Jerry Yuc1be19f2022-04-23 16:11:39 +0800845 size_t client_shares_len;
XiaokangQian7807f9f2022-02-15 10:04:37 +0000846
847 /* From RFC 8446:
848 *
849 * struct {
850 * KeyShareEntry client_shares<0..2^16-1>;
851 * } KeyShareClientHello;
852 *
853 */
854
XiaokangQian7807f9f2022-02-15 10:04:37 +0000855 MBEDTLS_SSL_CHK_BUF_READ_PTR( p, end, 2 );
XiaokangQian8f9dfe42022-04-15 02:52:39 +0000856 client_shares_len = MBEDTLS_GET_UINT16_BE( p, 0 );
XiaokangQian7807f9f2022-02-15 10:04:37 +0000857 p += 2;
XiaokangQian8f9dfe42022-04-15 02:52:39 +0000858 MBEDTLS_SSL_CHK_BUF_READ_PTR( p, end, client_shares_len );
XiaokangQian7807f9f2022-02-15 10:04:37 +0000859
860 ssl->handshake->offered_group_id = 0;
XiaokangQian8f9dfe42022-04-15 02:52:39 +0000861 client_shares_end = p + client_shares_len;
XiaokangQian7807f9f2022-02-15 10:04:37 +0000862
863 /* We try to find a suitable key share entry and copy it to the
864 * handshake context. Later, we have to find out whether we can do
865 * something with the provided key share or whether we have to
XiaokangQianc5763b52022-04-02 03:34:37 +0000866 * dismiss it and send a HelloRetryRequest message.
867 */
XiaokangQian7807f9f2022-02-15 10:04:37 +0000868
Jerry Yuc1be19f2022-04-23 16:11:39 +0800869 while( p < client_shares_end )
XiaokangQian7807f9f2022-02-15 10:04:37 +0000870 {
XiaokangQian9b5d04b2022-04-10 10:20:43 +0000871 uint16_t group;
Jerry Yuc1be19f2022-04-23 16:11:39 +0800872 size_t key_exchange_len;
Jerry Yu086edc22022-05-05 10:50:38 +0800873 const unsigned char *key_exchange;
XiaokangQian7807f9f2022-02-15 10:04:37 +0000874
875 /*
876 * struct {
877 * NamedGroup group;
878 * opaque key_exchange<1..2^16-1>;
879 * } KeyShareEntry;
880 */
XiaokangQian8f9dfe42022-04-15 02:52:39 +0000881 MBEDTLS_SSL_CHK_BUF_READ_PTR( p, client_shares_end, 4 );
XiaokangQian9b5d04b2022-04-10 10:20:43 +0000882 group = MBEDTLS_GET_UINT16_BE( p, 0 );
Jerry Yuc1be19f2022-04-23 16:11:39 +0800883 key_exchange_len = MBEDTLS_GET_UINT16_BE( p, 2 );
884 p += 4;
Jerry Yu086edc22022-05-05 10:50:38 +0800885 key_exchange = p;
XiaokangQianb67384d2022-04-19 00:02:38 +0000886 MBEDTLS_SSL_CHK_BUF_READ_PTR( p, client_shares_end, key_exchange_len );
Jerry Yu086edc22022-05-05 10:50:38 +0800887 p += key_exchange_len;
XiaokangQian7807f9f2022-02-15 10:04:37 +0000888
889 /* Continue parsing even if we have already found a match,
XiaokangQianc5763b52022-04-02 03:34:37 +0000890 * for input validation purposes.
891 */
XiaokangQian060d8672022-04-21 09:24:56 +0000892 if( ! mbedtls_ssl_named_group_is_offered( ssl, group ) ||
Jerry Yuc1be19f2022-04-23 16:11:39 +0800893 ! mbedtls_ssl_named_group_is_supported( group ) ||
894 ssl->handshake->offered_group_id != 0 )
XiaokangQian060d8672022-04-21 09:24:56 +0000895 {
896 continue;
897 }
XiaokangQian060d8672022-04-21 09:24:56 +0000898
XiaokangQian7807f9f2022-02-15 10:04:37 +0000899 /*
XiaokangQian8f9dfe42022-04-15 02:52:39 +0000900 * For now, we only support ECDHE groups.
XiaokangQian7807f9f2022-02-15 10:04:37 +0000901 */
XiaokangQian9b5d04b2022-04-10 10:20:43 +0000902 if( mbedtls_ssl_tls13_named_group_is_ecdhe( group ) )
903 {
Jerry Yuc1be19f2022-04-23 16:11:39 +0800904 MBEDTLS_SSL_DEBUG_MSG( 2, ( "ECDH group: %s (%04x)",
905 mbedtls_ssl_named_group_to_str( group ),
906 group ) );
XiaokangQian318dc762022-04-20 09:43:51 +0000907 ret = mbedtls_ssl_tls13_read_public_ecdhe_share(
Jerry Yu086edc22022-05-05 10:50:38 +0800908 ssl, key_exchange - 2, key_exchange_len + 2 );
XiaokangQian9b5d04b2022-04-10 10:20:43 +0000909 if( ret != 0 )
910 return( ret );
XiaokangQian4e8cd7b2022-04-21 09:48:09 +0000911
XiaokangQian9b5d04b2022-04-10 10:20:43 +0000912 }
913 else
XiaokangQian7807f9f2022-02-15 10:04:37 +0000914 {
915 MBEDTLS_SSL_DEBUG_MSG( 4, ( "Unrecognized NamedGroup %u",
XiaokangQian9b5d04b2022-04-10 10:20:43 +0000916 (unsigned) group ) );
XiaokangQian7807f9f2022-02-15 10:04:37 +0000917 continue;
918 }
919
XiaokangQian9b5d04b2022-04-10 10:20:43 +0000920 ssl->handshake->offered_group_id = group;
XiaokangQian7807f9f2022-02-15 10:04:37 +0000921 }
922
Jerry Yuc1be19f2022-04-23 16:11:39 +0800923
924 if( ssl->handshake->offered_group_id == 0 )
XiaokangQian7807f9f2022-02-15 10:04:37 +0000925 {
926 MBEDTLS_SSL_DEBUG_MSG( 1, ( "no matching key share" ) );
XiaokangQian08037552022-04-20 07:16:41 +0000927 return( SSL_TLS1_3_PARSE_KEY_SHARES_EXT_NO_MATCH );
XiaokangQian7807f9f2022-02-15 10:04:37 +0000928 }
929 return( 0 );
930}
XiaokangQian88408882022-04-02 10:15:03 +0000931#endif /* MBEDTLS_ECDH_C */
XiaokangQian7807f9f2022-02-15 10:04:37 +0000932
XiaokangQian8f9dfe42022-04-15 02:52:39 +0000933#if defined(MBEDTLS_DEBUG_C)
XiaokangQian4080a7f2022-04-11 09:55:18 +0000934static void ssl_tls13_debug_print_client_hello_exts( mbedtls_ssl_context *ssl )
XiaokangQian7807f9f2022-02-15 10:04:37 +0000935{
XiaokangQian3207a322022-02-23 03:15:27 +0000936 ((void) ssl);
937
XiaokangQian7807f9f2022-02-15 10:04:37 +0000938 MBEDTLS_SSL_DEBUG_MSG( 3, ( "Supported Extensions:" ) );
XiaokangQianb67384d2022-04-19 00:02:38 +0000939 MBEDTLS_SSL_DEBUG_MSG( 3,
940 ( "- KEY_SHARE_EXTENSION ( %s )",
941 ( ( ssl->handshake->extensions_present
942 & MBEDTLS_SSL_EXT_KEY_SHARE ) > 0 ) ? "TRUE" : "FALSE" ) );
943 MBEDTLS_SSL_DEBUG_MSG( 3,
944 ( "- PSK_KEY_EXCHANGE_MODES_EXTENSION ( %s )",
945 ( ( ssl->handshake->extensions_present
946 & MBEDTLS_SSL_EXT_PSK_KEY_EXCHANGE_MODES ) > 0 ) ?
947 "TRUE" : "FALSE" ) );
948 MBEDTLS_SSL_DEBUG_MSG( 3,
949 ( "- PRE_SHARED_KEY_EXTENSION ( %s )",
950 ( ( ssl->handshake->extensions_present
951 & MBEDTLS_SSL_EXT_PRE_SHARED_KEY ) > 0 ) ? "TRUE" : "FALSE" ) );
952 MBEDTLS_SSL_DEBUG_MSG( 3,
953 ( "- SIGNATURE_ALGORITHM_EXTENSION ( %s )",
954 ( ( ssl->handshake->extensions_present
955 & MBEDTLS_SSL_EXT_SIG_ALG ) > 0 ) ? "TRUE" : "FALSE" ) );
956 MBEDTLS_SSL_DEBUG_MSG( 3,
957 ( "- SUPPORTED_GROUPS_EXTENSION ( %s )",
958 ( ( ssl->handshake->extensions_present
959 & MBEDTLS_SSL_EXT_SUPPORTED_GROUPS ) >0 ) ?
960 "TRUE" : "FALSE" ) );
961 MBEDTLS_SSL_DEBUG_MSG( 3,
962 ( "- SUPPORTED_VERSION_EXTENSION ( %s )",
963 ( ( ssl->handshake->extensions_present
964 & MBEDTLS_SSL_EXT_SUPPORTED_VERSIONS ) > 0 ) ?
965 "TRUE" : "FALSE" ) );
XiaokangQian7807f9f2022-02-15 10:04:37 +0000966#if defined ( MBEDTLS_SSL_SERVER_NAME_INDICATION )
XiaokangQianb67384d2022-04-19 00:02:38 +0000967 MBEDTLS_SSL_DEBUG_MSG( 3,
968 ( "- SERVERNAME_EXTENSION ( %s )",
969 ( ( ssl->handshake->extensions_present
970 & MBEDTLS_SSL_EXT_SERVERNAME ) > 0 ) ?
971 "TRUE" : "FALSE" ) );
XiaokangQian7807f9f2022-02-15 10:04:37 +0000972#endif /* MBEDTLS_SSL_SERVER_NAME_INDICATION */
XiaokangQianacb39922022-06-17 10:18:48 +0000973#if defined ( MBEDTLS_SSL_ALPN )
974 MBEDTLS_SSL_DEBUG_MSG( 3,
975 ( "- ALPN_EXTENSION ( %s )",
976 ( ( ssl->handshake->extensions_present
977 & MBEDTLS_SSL_EXT_ALPN ) > 0 ) ?
978 "TRUE" : "FALSE" ) );
979#endif /* MBEDTLS_SSL_ALPN */
XiaokangQian7807f9f2022-02-15 10:04:37 +0000980}
XiaokangQian8f9dfe42022-04-15 02:52:39 +0000981#endif /* MBEDTLS_DEBUG_C */
XiaokangQian7807f9f2022-02-15 10:04:37 +0000982
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +0200983MBEDTLS_CHECK_RETURN_CRITICAL
XiaokangQian4080a7f2022-04-11 09:55:18 +0000984static int ssl_tls13_client_hello_has_exts( mbedtls_ssl_context *ssl,
XiaokangQian8f9dfe42022-04-15 02:52:39 +0000985 int exts_mask )
XiaokangQian7807f9f2022-02-15 10:04:37 +0000986{
XiaokangQian8f9dfe42022-04-15 02:52:39 +0000987 int masked = ssl->handshake->extensions_present & exts_mask;
988 return( masked == exts_mask );
XiaokangQian7807f9f2022-02-15 10:04:37 +0000989}
990
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +0200991MBEDTLS_CHECK_RETURN_CRITICAL
XiaokangQianb67384d2022-04-19 00:02:38 +0000992static int ssl_tls13_client_hello_has_exts_for_ephemeral_key_exchange(
993 mbedtls_ssl_context *ssl )
XiaokangQian7807f9f2022-02-15 10:04:37 +0000994{
Jerry Yu77f01482022-07-11 07:03:24 +0000995 return( ssl_tls13_client_hello_has_exts(
996 ssl,
997 MBEDTLS_SSL_EXT_SUPPORTED_GROUPS |
998 MBEDTLS_SSL_EXT_KEY_SHARE |
999 MBEDTLS_SSL_EXT_SIG_ALG ) );
XiaokangQian7807f9f2022-02-15 10:04:37 +00001000}
1001
Jerry Yu77f01482022-07-11 07:03:24 +00001002#if defined(MBEDTLS_KEY_EXCHANGE_SOME_PSK_ENABLED)
1003MBEDTLS_CHECK_RETURN_CRITICAL
1004static int ssl_tls13_client_hello_has_exts_for_psk_key_exchange(
1005 mbedtls_ssl_context *ssl )
1006{
1007 return( ssl_tls13_client_hello_has_exts(
1008 ssl,
1009 MBEDTLS_SSL_EXT_PRE_SHARED_KEY |
1010 MBEDTLS_SSL_EXT_PSK_KEY_EXCHANGE_MODES ) );
1011}
1012
1013MBEDTLS_CHECK_RETURN_CRITICAL
1014static int ssl_tls13_client_hello_has_exts_for_psk_ephemeral_key_exchange(
1015 mbedtls_ssl_context *ssl )
1016{
1017 return( ssl_tls13_client_hello_has_exts(
1018 ssl,
1019 MBEDTLS_SSL_EXT_SUPPORTED_GROUPS |
1020 MBEDTLS_SSL_EXT_KEY_SHARE |
1021 MBEDTLS_SSL_EXT_PRE_SHARED_KEY |
1022 MBEDTLS_SSL_EXT_PSK_KEY_EXCHANGE_MODES ) );
1023}
1024#endif /* MBEDTLS_KEY_EXCHANGE_SOME_PSK_ENABLED */
1025
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +02001026MBEDTLS_CHECK_RETURN_CRITICAL
XiaokangQianb67384d2022-04-19 00:02:38 +00001027static int ssl_tls13_check_ephemeral_key_exchange( mbedtls_ssl_context *ssl )
XiaokangQian7807f9f2022-02-15 10:04:37 +00001028{
Jerry Yu77f01482022-07-11 07:03:24 +00001029 return( mbedtls_ssl_conf_tls13_ephemeral_enabled( ssl ) &&
1030 ssl_tls13_client_hello_has_exts_for_ephemeral_key_exchange( ssl ) );
1031}
XiaokangQian7807f9f2022-02-15 10:04:37 +00001032
Jerry Yu77f01482022-07-11 07:03:24 +00001033MBEDTLS_CHECK_RETURN_CRITICAL
1034static int ssl_tls13_check_psk_key_exchange( mbedtls_ssl_context *ssl )
1035{
1036#if defined(MBEDTLS_KEY_EXCHANGE_SOME_PSK_ENABLED)
1037 return( mbedtls_ssl_conf_tls13_psk_enabled( ssl ) &&
1038 mbedtls_ssl_tls13_psk_enabled( ssl ) &&
1039 ssl_tls13_client_hello_has_exts_for_psk_key_exchange( ssl ) );
1040#else
1041 ((void) ssl);
1042 return( 0 );
1043#endif
1044}
XiaokangQian7807f9f2022-02-15 10:04:37 +00001045
Jerry Yu77f01482022-07-11 07:03:24 +00001046MBEDTLS_CHECK_RETURN_CRITICAL
1047static int ssl_tls13_check_psk_ephemeral_key_exchange( mbedtls_ssl_context *ssl )
1048{
1049#if defined(MBEDTLS_KEY_EXCHANGE_SOME_PSK_ENABLED)
1050 return( mbedtls_ssl_conf_tls13_psk_ephemeral_enabled( ssl ) &&
1051 mbedtls_ssl_tls13_psk_ephemeral_enabled( ssl ) &&
1052 ssl_tls13_client_hello_has_exts_for_psk_ephemeral_key_exchange( ssl ) );
1053#else
1054 ((void) ssl);
1055 return( 0 );
1056#endif
1057}
1058
1059static int ssl_tls13_determine_key_exchange_mode( mbedtls_ssl_context *ssl )
1060{
1061 /*
1062 * Determine the key exchange algorithm to use.
1063 * There are three types of key exchanges supported in TLS 1.3:
1064 * - (EC)DH with ECDSA,
1065 * - (EC)DH with PSK,
1066 * - plain PSK.
1067 *
1068 * The PSK-based key exchanges may additionally be used with 0-RTT.
1069 *
1070 * Our built-in order of preference is
Jerry Yuce6ed702022-07-22 21:49:53 +08001071 * 1 ) (EC)DHE-PSK Mode ( psk_ephemeral )
1072 * 2 ) Certificate Mode ( ephemeral )
1073 * 3 ) Plain PSK Mode ( psk )
Jerry Yu77f01482022-07-11 07:03:24 +00001074 */
1075
1076 ssl->handshake->key_exchange_mode = MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_NONE;
1077
Jerry Yu77f01482022-07-11 07:03:24 +00001078 if( ssl_tls13_check_psk_ephemeral_key_exchange( ssl ) )
1079 {
1080 ssl->handshake->key_exchange_mode =
1081 MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_PSK_EPHEMERAL;
1082 MBEDTLS_SSL_DEBUG_MSG( 2, ( "key exchange mode: psk_ephemeral" ) );
1083 }
1084 else
1085 if( ssl_tls13_check_ephemeral_key_exchange( ssl ) )
1086 {
1087 ssl->handshake->key_exchange_mode =
1088 MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_EPHEMERAL;
1089 MBEDTLS_SSL_DEBUG_MSG( 2, ( "key exchange mode: ephemeral" ) );
1090 }
1091 else
Jerry Yuce6ed702022-07-22 21:49:53 +08001092 if( ssl_tls13_check_psk_key_exchange( ssl ) )
1093 {
1094 ssl->handshake->key_exchange_mode =
1095 MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_PSK;
1096 MBEDTLS_SSL_DEBUG_MSG( 2, ( "key exchange mode: psk" ) );
1097 }
1098 else
Jerry Yu77f01482022-07-11 07:03:24 +00001099 {
1100 MBEDTLS_SSL_DEBUG_MSG(
1101 1,
1102 ( "ClientHello message misses mandatory extensions." ) );
1103 MBEDTLS_SSL_PEND_FATAL_ALERT( MBEDTLS_SSL_ALERT_MSG_MISSING_EXTENSION ,
1104 MBEDTLS_ERR_SSL_ILLEGAL_PARAMETER );
1105 return( MBEDTLS_ERR_SSL_ILLEGAL_PARAMETER );
1106 }
1107
1108 return( 0 );
1109
XiaokangQian7807f9f2022-02-15 10:04:37 +00001110}
1111
XiaokangQian81802f42022-06-10 13:25:22 +00001112#if defined(MBEDTLS_X509_CRT_PARSE_C) && \
1113 defined(MBEDTLS_KEY_EXCHANGE_WITH_CERT_ENABLED)
XiaokangQian23c5be62022-06-07 02:04:34 +00001114/*
XiaokangQianfb665a82022-06-15 03:57:21 +00001115 * Pick best ( private key, certificate chain ) pair based on the signature
1116 * algorithms supported by the client.
XiaokangQian23c5be62022-06-07 02:04:34 +00001117 */
Ronald Cronce7d76e2022-07-08 18:56:49 +02001118MBEDTLS_CHECK_RETURN_CRITICAL
XiaokangQian07aad072022-06-14 05:35:09 +00001119static int ssl_tls13_pick_key_cert( mbedtls_ssl_context *ssl )
XiaokangQian23c5be62022-06-07 02:04:34 +00001120{
XiaokangQianfb665a82022-06-15 03:57:21 +00001121 mbedtls_ssl_key_cert *key_cert, *key_cert_list;
XiaokangQian81802f42022-06-10 13:25:22 +00001122 const uint16_t *sig_alg = ssl->handshake->received_sig_algs;
XiaokangQian23c5be62022-06-07 02:04:34 +00001123
1124#if defined(MBEDTLS_SSL_SERVER_NAME_INDICATION)
1125 if( ssl->handshake->sni_key_cert != NULL )
XiaokangQianfb665a82022-06-15 03:57:21 +00001126 key_cert_list = ssl->handshake->sni_key_cert;
XiaokangQian23c5be62022-06-07 02:04:34 +00001127 else
1128#endif /* MBEDTLS_SSL_SERVER_NAME_INDICATION */
XiaokangQianfb665a82022-06-15 03:57:21 +00001129 key_cert_list = ssl->conf->key_cert;
XiaokangQian23c5be62022-06-07 02:04:34 +00001130
XiaokangQianfb665a82022-06-15 03:57:21 +00001131 if( key_cert_list == NULL )
XiaokangQian23c5be62022-06-07 02:04:34 +00001132 {
1133 MBEDTLS_SSL_DEBUG_MSG( 3, ( "server has no certificate" ) );
1134 return( -1 );
1135 }
1136
XiaokangQian81802f42022-06-10 13:25:22 +00001137 for( ; *sig_alg != MBEDTLS_TLS1_3_SIG_NONE; sig_alg++ )
XiaokangQian23c5be62022-06-07 02:04:34 +00001138 {
XiaokangQianfb665a82022-06-15 03:57:21 +00001139 for( key_cert = key_cert_list; key_cert != NULL;
1140 key_cert = key_cert->next )
XiaokangQian23c5be62022-06-07 02:04:34 +00001141 {
XiaokangQianfb665a82022-06-15 03:57:21 +00001142 MBEDTLS_SSL_DEBUG_CRT( 3, "certificate (chain) candidate",
1143 key_cert->cert );
XiaokangQian81802f42022-06-10 13:25:22 +00001144
1145 /*
1146 * This avoids sending the client a cert it'll reject based on
1147 * keyUsage or other extensions.
1148 */
1149 if( mbedtls_x509_crt_check_key_usage(
XiaokangQianfb665a82022-06-15 03:57:21 +00001150 key_cert->cert, MBEDTLS_X509_KU_DIGITAL_SIGNATURE ) != 0 ||
XiaokangQian81802f42022-06-10 13:25:22 +00001151 mbedtls_x509_crt_check_extended_key_usage(
XiaokangQianfb665a82022-06-15 03:57:21 +00001152 key_cert->cert, MBEDTLS_OID_SERVER_AUTH,
1153 MBEDTLS_OID_SIZE( MBEDTLS_OID_SERVER_AUTH ) ) != 0 )
XiaokangQian81802f42022-06-10 13:25:22 +00001154 {
1155 MBEDTLS_SSL_DEBUG_MSG( 3, ( "certificate mismatch: "
XiaokangQianfb665a82022-06-15 03:57:21 +00001156 "(extended) key usage extension" ) );
XiaokangQian81802f42022-06-10 13:25:22 +00001157 continue;
1158 }
XiaokangQian23c5be62022-06-07 02:04:34 +00001159
Jerry Yucc539102022-06-27 16:27:35 +08001160 MBEDTLS_SSL_DEBUG_MSG( 3,
1161 ( "ssl_tls13_pick_key_cert:"
1162 "check signature algorithm %s [%04x]",
1163 mbedtls_ssl_sig_alg_to_str( *sig_alg ),
1164 *sig_alg ) );
Jerry Yufb526692022-06-19 11:22:49 +08001165 if( mbedtls_ssl_tls13_check_sig_alg_cert_key_match(
Jerry Yud099cf02022-06-19 13:47:00 +08001166 *sig_alg, &key_cert->cert->pk ) )
XiaokangQian81802f42022-06-10 13:25:22 +00001167 {
XiaokangQianfb665a82022-06-15 03:57:21 +00001168 ssl->handshake->key_cert = key_cert;
Jerry Yucc539102022-06-27 16:27:35 +08001169 MBEDTLS_SSL_DEBUG_MSG( 3,
1170 ( "ssl_tls13_pick_key_cert:"
1171 "selected signature algorithm"
1172 " %s [%04x]",
1173 mbedtls_ssl_sig_alg_to_str( *sig_alg ),
1174 *sig_alg ) );
XiaokangQianfb665a82022-06-15 03:57:21 +00001175 MBEDTLS_SSL_DEBUG_CRT(
XiaokangQian75fe8c72022-06-15 09:42:45 +00001176 3, "selected certificate (chain)",
XiaokangQianfb665a82022-06-15 03:57:21 +00001177 ssl->handshake->key_cert->cert );
XiaokangQian81802f42022-06-10 13:25:22 +00001178 return( 0 );
1179 }
XiaokangQian81802f42022-06-10 13:25:22 +00001180 }
XiaokangQian23c5be62022-06-07 02:04:34 +00001181 }
1182
Jerry Yu9d3e2fa2022-06-27 22:14:01 +08001183 MBEDTLS_SSL_DEBUG_MSG( 2, ( "ssl_tls13_pick_key_cert:"
1184 "no suitable certificate found" ) );
XiaokangQian23c5be62022-06-07 02:04:34 +00001185 return( -1 );
1186}
XiaokangQian81802f42022-06-10 13:25:22 +00001187#endif /* MBEDTLS_X509_CRT_PARSE_C &&
1188 MBEDTLS_KEY_EXCHANGE_WITH_CERT_ENABLED */
XiaokangQian23c5be62022-06-07 02:04:34 +00001189
XiaokangQian4080a7f2022-04-11 09:55:18 +00001190/*
XiaokangQianed582dd2022-04-13 08:21:05 +00001191 *
1192 * STATE HANDLING: ClientHello
1193 *
XiaokangQianb67384d2022-04-19 00:02:38 +00001194 * There are three possible classes of outcomes when parsing the ClientHello:
XiaokangQianed582dd2022-04-13 08:21:05 +00001195 *
XiaokangQianb67384d2022-04-19 00:02:38 +00001196 * 1) The ClientHello was well-formed and matched the server's configuration.
XiaokangQianed582dd2022-04-13 08:21:05 +00001197 *
1198 * In this case, the server progresses to sending its ServerHello.
1199 *
XiaokangQianb67384d2022-04-19 00:02:38 +00001200 * 2) The ClientHello was well-formed but didn't match the server's
1201 * configuration.
XiaokangQianed582dd2022-04-13 08:21:05 +00001202 *
1203 * For example, the client might not have offered a key share which
1204 * the server supports, or the server might require a cookie.
1205 *
1206 * In this case, the server sends a HelloRetryRequest.
1207 *
XiaokangQianb67384d2022-04-19 00:02:38 +00001208 * 3) The ClientHello was ill-formed
XiaokangQianed582dd2022-04-13 08:21:05 +00001209 *
1210 * In this case, we abort the handshake.
1211 *
1212 */
1213
1214/*
XiaokangQian4080a7f2022-04-11 09:55:18 +00001215 * Structure of this message:
1216 *
XiaokangQiane8ff3502022-04-22 02:34:40 +00001217 * uint16 ProtocolVersion;
1218 * opaque Random[32];
1219 * uint8 CipherSuite[2]; // Cryptographic suite selector
XiaokangQian4080a7f2022-04-11 09:55:18 +00001220 *
XiaokangQiane8ff3502022-04-22 02:34:40 +00001221 * struct {
1222 * ProtocolVersion legacy_version = 0x0303; // TLS v1.2
1223 * Random random;
1224 * opaque legacy_session_id<0..32>;
1225 * CipherSuite cipher_suites<2..2^16-2>;
1226 * opaque legacy_compression_methods<1..2^8-1>;
1227 * Extension extensions<8..2^16-1>;
1228 * } ClientHello;
XiaokangQian4080a7f2022-04-11 09:55:18 +00001229 */
XiaokangQianed582dd2022-04-13 08:21:05 +00001230
1231#define SSL_CLIENT_HELLO_OK 0
1232#define SSL_CLIENT_HELLO_HRR_REQUIRED 1
1233
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +02001234MBEDTLS_CHECK_RETURN_CRITICAL
XiaokangQian4080a7f2022-04-11 09:55:18 +00001235static int ssl_tls13_parse_client_hello( mbedtls_ssl_context *ssl,
1236 const unsigned char *buf,
1237 const unsigned char *end )
XiaokangQian7807f9f2022-02-15 10:04:37 +00001238{
XiaokangQianb67384d2022-04-19 00:02:38 +00001239 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
1240 const unsigned char *p = buf;
XiaokangQian4080a7f2022-04-11 09:55:18 +00001241 size_t legacy_session_id_len;
XiaokangQian318dc762022-04-20 09:43:51 +00001242 size_t cipher_suites_len;
XiaokangQian060d8672022-04-21 09:24:56 +00001243 const unsigned char *cipher_suites_end;
XiaokangQianb67384d2022-04-19 00:02:38 +00001244 size_t extensions_len;
XiaokangQian7807f9f2022-02-15 10:04:37 +00001245 const unsigned char *extensions_end;
Jerry Yu49ca9282022-05-05 11:05:22 +08001246 int hrr_required = 0;
XiaokangQian7807f9f2022-02-15 10:04:37 +00001247
Jerry Yu1c105562022-07-10 06:32:38 +00001248#if defined(MBEDTLS_KEY_EXCHANGE_SOME_PSK_ENABLED)
Jerry Yu5725f1c2022-08-21 17:27:16 +08001249 const unsigned char *cipher_suites;
Jerry Yu29d9faa2022-08-23 17:52:45 +08001250 const unsigned char *pre_shared_key_ext = NULL;
Jerry Yu1c105562022-07-10 06:32:38 +00001251 const unsigned char *pre_shared_key_ext_end = NULL;
1252#endif /* MBEDTLS_KEY_EXCHANGE_SOME_PSK_ENABLED */
XiaokangQian7807f9f2022-02-15 10:04:37 +00001253
1254 ssl->handshake->extensions_present = MBEDTLS_SSL_EXT_NONE;
1255
1256 /*
XiaokangQianb67384d2022-04-19 00:02:38 +00001257 * ClientHello layout:
XiaokangQian7807f9f2022-02-15 10:04:37 +00001258 * 0 . 1 protocol version
XiaokangQiane8ff3502022-04-22 02:34:40 +00001259 * 2 . 33 random bytes
XiaokangQianc5763b52022-04-02 03:34:37 +00001260 * 34 . 34 session id length ( 1 byte )
XiaokangQian7807f9f2022-02-15 10:04:37 +00001261 * 35 . 34+x session id
XiaokangQian7807f9f2022-02-15 10:04:37 +00001262 * .. . .. ciphersuite list length ( 2 bytes )
1263 * .. . .. ciphersuite list
1264 * .. . .. compression alg. list length ( 1 byte )
1265 * .. . .. compression alg. list
1266 * .. . .. extensions length ( 2 bytes, optional )
1267 * .. . .. extensions ( optional )
1268 */
1269
XiaokangQianb67384d2022-04-19 00:02:38 +00001270 /*
bootstrap-prime6dbbf442022-05-17 19:30:44 -04001271 * Minimal length ( with everything empty and extensions omitted ) is
XiaokangQian7807f9f2022-02-15 10:04:37 +00001272 * 2 + 32 + 1 + 2 + 1 = 38 bytes. Check that first, so that we can
1273 * read at least up to session id length without worrying.
1274 */
1275 MBEDTLS_SSL_CHK_BUF_READ_PTR( p, end, 38 );
1276
1277 /* ...
1278 * ProtocolVersion legacy_version = 0x0303; // TLS 1.2
1279 * ...
1280 * with ProtocolVersion defined as:
1281 * uint16 ProtocolVersion;
1282 */
XiaokangQiande333912022-04-20 08:49:42 +00001283 if( mbedtls_ssl_read_version( p, ssl->conf->transport ) !=
1284 MBEDTLS_SSL_VERSION_TLS1_2 )
XiaokangQian7807f9f2022-02-15 10:04:37 +00001285 {
1286 MBEDTLS_SSL_DEBUG_MSG( 1, ( "Unsupported version of TLS." ) );
1287 MBEDTLS_SSL_PEND_FATAL_ALERT( MBEDTLS_SSL_ALERT_MSG_PROTOCOL_VERSION,
1288 MBEDTLS_ERR_SSL_BAD_PROTOCOL_VERSION );
XiaokangQianb67384d2022-04-19 00:02:38 +00001289 return ( MBEDTLS_ERR_SSL_BAD_PROTOCOL_VERSION );
XiaokangQian7807f9f2022-02-15 10:04:37 +00001290 }
1291 p += 2;
1292
1293 /*
XiaokangQianf8ceb942022-04-15 11:43:27 +00001294 * Only support TLS 1.3 currently, temporarily set the version.
1295 */
XiaokangQiande333912022-04-20 08:49:42 +00001296 ssl->tls_version = MBEDTLS_SSL_VERSION_TLS1_3;
XiaokangQianf8ceb942022-04-15 11:43:27 +00001297
Jerry Yue67bef42022-07-07 07:29:42 +00001298#if defined(MBEDTLS_SSL_SESSION_TICKETS)
1299 /* Store minor version for later use with ticket serialization. */
1300 ssl->session_negotiate->tls_version = MBEDTLS_SSL_VERSION_TLS1_3;
Jerry Yua66fece2022-07-13 14:30:29 +08001301 ssl->session_negotiate->endpoint = ssl->conf->endpoint;
Jerry Yufca4d572022-07-21 10:37:48 +08001302#endif
Jerry Yue67bef42022-07-07 07:29:42 +00001303
Jerry Yuc1be19f2022-04-23 16:11:39 +08001304 /* ...
1305 * Random random;
1306 * ...
XiaokangQianb67384d2022-04-19 00:02:38 +00001307 * with Random defined as:
1308 * opaque Random[32];
XiaokangQian7807f9f2022-02-15 10:04:37 +00001309 */
XiaokangQian4080a7f2022-04-11 09:55:18 +00001310 MBEDTLS_SSL_DEBUG_BUF( 3, "client hello, random bytes",
XiaokangQian08037552022-04-20 07:16:41 +00001311 p, MBEDTLS_CLIENT_HELLO_RANDOM_LEN );
XiaokangQian7807f9f2022-02-15 10:04:37 +00001312
XiaokangQian08037552022-04-20 07:16:41 +00001313 memcpy( &ssl->handshake->randbytes[0], p, MBEDTLS_CLIENT_HELLO_RANDOM_LEN );
1314 p += MBEDTLS_CLIENT_HELLO_RANDOM_LEN;
XiaokangQian7807f9f2022-02-15 10:04:37 +00001315
Jerry Yuc1be19f2022-04-23 16:11:39 +08001316 /* ...
XiaokangQianb67384d2022-04-19 00:02:38 +00001317 * opaque legacy_session_id<0..32>;
Jerry Yuc1be19f2022-04-23 16:11:39 +08001318 * ...
XiaokangQian7807f9f2022-02-15 10:04:37 +00001319 */
XiaokangQian4080a7f2022-04-11 09:55:18 +00001320 legacy_session_id_len = p[0];
XiaokangQianc5763b52022-04-02 03:34:37 +00001321 p++;
XiaokangQian7807f9f2022-02-15 10:04:37 +00001322
XiaokangQianb67384d2022-04-19 00:02:38 +00001323 if( legacy_session_id_len > sizeof( ssl->session_negotiate->id ) )
XiaokangQian7807f9f2022-02-15 10:04:37 +00001324 {
1325 MBEDTLS_SSL_DEBUG_MSG( 1, ( "bad client hello message" ) );
1326 return( MBEDTLS_ERR_SSL_DECODE_ERROR );
1327 }
1328
XiaokangQian4080a7f2022-04-11 09:55:18 +00001329 ssl->session_negotiate->id_len = legacy_session_id_len;
XiaokangQianed582dd2022-04-13 08:21:05 +00001330 MBEDTLS_SSL_DEBUG_BUF( 3, "client hello, session id",
XiaokangQiane8ff3502022-04-22 02:34:40 +00001331 p, legacy_session_id_len );
XiaokangQianb67384d2022-04-19 00:02:38 +00001332 /*
1333 * Check we have enough data for the legacy session identifier
Jerry Yue95c8af2022-07-26 15:48:20 +08001334 * and the ciphersuite list length.
XiaokangQianb67384d2022-04-19 00:02:38 +00001335 */
1336 MBEDTLS_SSL_CHK_BUF_READ_PTR( p, end, legacy_session_id_len + 2 );
XiaokangQian7807f9f2022-02-15 10:04:37 +00001337
XiaokangQianed582dd2022-04-13 08:21:05 +00001338 memcpy( &ssl->session_negotiate->id[0], p, legacy_session_id_len );
XiaokangQian4080a7f2022-04-11 09:55:18 +00001339 p += legacy_session_id_len;
XiaokangQian7807f9f2022-02-15 10:04:37 +00001340
XiaokangQian7807f9f2022-02-15 10:04:37 +00001341 cipher_suites_len = MBEDTLS_GET_UINT16_BE( p, 0 );
1342 p += 2;
1343
XiaokangQianb67384d2022-04-19 00:02:38 +00001344 /* Check we have enough data for the ciphersuite list, the legacy
1345 * compression methods and the length of the extensions.
Jerry Yue95c8af2022-07-26 15:48:20 +08001346 *
1347 * cipher_suites cipher_suites_len bytes
1348 * legacy_compression_methods 2 bytes
1349 * extensions_len 2 bytes
XiaokangQianb67384d2022-04-19 00:02:38 +00001350 */
1351 MBEDTLS_SSL_CHK_BUF_READ_PTR( p, end, cipher_suites_len + 2 + 2 );
XiaokangQian7807f9f2022-02-15 10:04:37 +00001352
Jerry Yu24b8c812022-08-20 19:06:56 +08001353 /* ...
1354 * CipherSuite cipher_suites<2..2^16-2>;
1355 * ...
1356 * with CipherSuite defined as:
1357 * uint8 CipherSuite[2];
XiaokangQian08037552022-04-20 07:16:41 +00001358 */
Jerry Yu5725f1c2022-08-21 17:27:16 +08001359#if defined(MBEDTLS_KEY_EXCHANGE_SOME_PSK_ENABLED)
XiaokangQian060d8672022-04-21 09:24:56 +00001360 cipher_suites = p;
Jerry Yu5725f1c2022-08-21 17:27:16 +08001361#endif
XiaokangQian060d8672022-04-21 09:24:56 +00001362 cipher_suites_end = p + cipher_suites_len;
XiaokangQian7807f9f2022-02-15 10:04:37 +00001363 MBEDTLS_SSL_DEBUG_BUF( 3, "client hello, ciphersuitelist",
1364 p, cipher_suites_len );
Jerry Yu5725f1c2022-08-21 17:27:16 +08001365
1366 /*
1367 * Search for a matching ciphersuite
1368 */
XiaokangQian060d8672022-04-21 09:24:56 +00001369 for ( ; p < cipher_suites_end; p += 2 )
XiaokangQian17f974c2022-04-19 09:57:41 +00001370 {
XiaokangQiane8ff3502022-04-22 02:34:40 +00001371 uint16_t cipher_suite;
Jerry Yue95c8af2022-07-26 15:48:20 +08001372 const mbedtls_ssl_ciphersuite_t* ciphersuite_info;
Jerry Yu5725f1c2022-08-21 17:27:16 +08001373
XiaokangQiane8ff3502022-04-22 02:34:40 +00001374 MBEDTLS_SSL_CHK_BUF_READ_PTR( p, cipher_suites_end, 2 );
Jerry Yu5725f1c2022-08-21 17:27:16 +08001375
XiaokangQiane8ff3502022-04-22 02:34:40 +00001376 cipher_suite = MBEDTLS_GET_UINT16_BE( p, 0 );
Jerry Yuc5a23a02022-08-25 10:51:44 +08001377 ciphersuite_info = ssl_tls13_validate_peer_ciphersuite(
Jerry Yudd1bef72022-08-23 17:57:02 +08001378 ssl,cipher_suite );
1379 if( ciphersuite_info == NULL )
Jerry Yu5725f1c2022-08-21 17:27:16 +08001380 continue;
1381
Jerry Yu5725f1c2022-08-21 17:27:16 +08001382 ssl->session_negotiate->ciphersuite = cipher_suite;
1383 ssl->handshake->ciphersuite_info = ciphersuite_info;
1384 MBEDTLS_SSL_DEBUG_MSG( 2, ( "selected ciphersuite: %04x - %s",
Jerry Yue95c8af2022-07-26 15:48:20 +08001385 cipher_suite,
Jerry Yu5725f1c2022-08-21 17:27:16 +08001386 ciphersuite_info->name ) );
XiaokangQian17f974c2022-04-19 09:57:41 +00001387 }
Jerry Yu5725f1c2022-08-21 17:27:16 +08001388
1389 if( ssl->handshake->ciphersuite_info == NULL )
1390 {
1391 MBEDTLS_SSL_PEND_FATAL_ALERT( MBEDTLS_SSL_ALERT_MSG_HANDSHAKE_FAILURE,
1392 MBEDTLS_ERR_SSL_HANDSHAKE_FAILURE );
1393 return ( MBEDTLS_ERR_SSL_HANDSHAKE_FAILURE );
1394 }
Jerry Yuc1be19f2022-04-23 16:11:39 +08001395
XiaokangQian4080a7f2022-04-11 09:55:18 +00001396 /* ...
XiaokangQianb67384d2022-04-19 00:02:38 +00001397 * opaque legacy_compression_methods<1..2^8-1>;
XiaokangQian4080a7f2022-04-11 09:55:18 +00001398 * ...
XiaokangQian7807f9f2022-02-15 10:04:37 +00001399 */
XiaokangQian0a1b54e2022-04-21 03:01:38 +00001400 if( p[0] != 1 || p[1] != MBEDTLS_SSL_COMPRESS_NULL )
XiaokangQian7807f9f2022-02-15 10:04:37 +00001401 {
XiaokangQian4080a7f2022-04-11 09:55:18 +00001402 MBEDTLS_SSL_DEBUG_MSG( 1, ( "bad legacy compression method" ) );
1403 MBEDTLS_SSL_PEND_FATAL_ALERT( MBEDTLS_SSL_ALERT_MSG_ILLEGAL_PARAMETER,
1404 MBEDTLS_ERR_SSL_ILLEGAL_PARAMETER );
1405 return ( MBEDTLS_ERR_SSL_ILLEGAL_PARAMETER );
XiaokangQian7807f9f2022-02-15 10:04:37 +00001406 }
XiaokangQianb67384d2022-04-19 00:02:38 +00001407 p += 2;
XiaokangQian7807f9f2022-02-15 10:04:37 +00001408
Jerry Yuc1be19f2022-04-23 16:11:39 +08001409 /* ...
XiaokangQianb67384d2022-04-19 00:02:38 +00001410 * Extension extensions<8..2^16-1>;
Jerry Yuc1be19f2022-04-23 16:11:39 +08001411 * ...
XiaokangQianb67384d2022-04-19 00:02:38 +00001412 * with Extension defined as:
1413 * struct {
1414 * ExtensionType extension_type;
1415 * opaque extension_data<0..2^16-1>;
1416 * } Extension;
XiaokangQian7807f9f2022-02-15 10:04:37 +00001417 */
XiaokangQian4080a7f2022-04-11 09:55:18 +00001418 extensions_len = MBEDTLS_GET_UINT16_BE( p, 0 );
XiaokangQian7807f9f2022-02-15 10:04:37 +00001419 p += 2;
XiaokangQian4080a7f2022-04-11 09:55:18 +00001420 MBEDTLS_SSL_CHK_BUF_READ_PTR( p, end, extensions_len );
XiaokangQiane8ff3502022-04-22 02:34:40 +00001421 extensions_end = p + extensions_len;
XiaokangQian7807f9f2022-02-15 10:04:37 +00001422
XiaokangQian4080a7f2022-04-11 09:55:18 +00001423 MBEDTLS_SSL_DEBUG_BUF( 3, "client hello extensions", p, extensions_len );
XiaokangQian7807f9f2022-02-15 10:04:37 +00001424
1425 while( p < extensions_end )
1426 {
1427 unsigned int extension_type;
1428 size_t extension_data_len;
1429 const unsigned char *extension_data_end;
1430
Jerry Yu1c9247c2022-07-21 12:37:39 +08001431 /* RFC 8446, page 57
1432 *
1433 * The "pre_shared_key" extension MUST be the last extension in the
1434 * ClientHello (this facilitates implementation as described below).
1435 * Servers MUST check that it is the last extension and otherwise fail
1436 * the handshake with an "illegal_parameter" alert.
1437 */
1438 if( ssl->handshake->extensions_present & MBEDTLS_SSL_EXT_PRE_SHARED_KEY )
1439 {
1440 MBEDTLS_SSL_DEBUG_MSG(
1441 3, ( "pre_shared_key is not last extension." ) );
1442 MBEDTLS_SSL_PEND_FATAL_ALERT(
1443 MBEDTLS_SSL_ALERT_MSG_ILLEGAL_PARAMETER,
1444 MBEDTLS_ERR_SSL_HANDSHAKE_FAILURE );
1445 return( MBEDTLS_ERR_SSL_HANDSHAKE_FAILURE );
1446 }
1447
XiaokangQian318dc762022-04-20 09:43:51 +00001448 MBEDTLS_SSL_CHK_BUF_READ_PTR( p, extensions_end, 4 );
XiaokangQian7807f9f2022-02-15 10:04:37 +00001449 extension_type = MBEDTLS_GET_UINT16_BE( p, 0 );
1450 extension_data_len = MBEDTLS_GET_UINT16_BE( p, 2 );
1451 p += 4;
1452
1453 MBEDTLS_SSL_CHK_BUF_READ_PTR( p, extensions_end, extension_data_len );
1454 extension_data_end = p + extension_data_len;
1455
1456 switch( extension_type )
1457 {
XiaokangQian40a35232022-05-07 09:02:40 +00001458#if defined(MBEDTLS_SSL_SERVER_NAME_INDICATION)
1459 case MBEDTLS_TLS_EXT_SERVERNAME:
1460 MBEDTLS_SSL_DEBUG_MSG( 3, ( "found ServerName extension" ) );
XiaokangQian9b2b7712022-05-17 02:57:00 +00001461 ret = mbedtls_ssl_parse_server_name_ext( ssl, p,
1462 extension_data_end );
XiaokangQian40a35232022-05-07 09:02:40 +00001463 if( ret != 0 )
1464 {
1465 MBEDTLS_SSL_DEBUG_RET(
1466 1, "mbedtls_ssl_parse_servername_ext", ret );
1467 return( ret );
1468 }
1469 ssl->handshake->extensions_present |= MBEDTLS_SSL_EXT_SERVERNAME;
1470 break;
1471#endif /* MBEDTLS_SSL_SERVER_NAME_INDICATION */
1472
XiaokangQianb67384d2022-04-19 00:02:38 +00001473#if defined(MBEDTLS_ECDH_C)
XiaokangQian7807f9f2022-02-15 10:04:37 +00001474 case MBEDTLS_TLS_EXT_SUPPORTED_GROUPS:
1475 MBEDTLS_SSL_DEBUG_MSG( 3, ( "found supported group extension" ) );
1476
1477 /* Supported Groups Extension
1478 *
1479 * When sent by the client, the "supported_groups" extension
1480 * indicates the named groups which the client supports,
1481 * ordered from most preferred to least preferred.
1482 */
Jerry Yuc1be19f2022-04-23 16:11:39 +08001483 ret = ssl_tls13_parse_supported_groups_ext(
1484 ssl, p, extension_data_end );
XiaokangQian7807f9f2022-02-15 10:04:37 +00001485 if( ret != 0 )
1486 {
1487 MBEDTLS_SSL_DEBUG_RET( 1,
1488 "mbedtls_ssl_parse_supported_groups_ext", ret );
1489 return( ret );
1490 }
1491
1492 ssl->handshake->extensions_present |= MBEDTLS_SSL_EXT_SUPPORTED_GROUPS;
1493 break;
XiaokangQianb67384d2022-04-19 00:02:38 +00001494#endif /* MBEDTLS_ECDH_C */
XiaokangQian7807f9f2022-02-15 10:04:37 +00001495
XiaokangQian88408882022-04-02 10:15:03 +00001496#if defined(MBEDTLS_ECDH_C)
XiaokangQian7807f9f2022-02-15 10:04:37 +00001497 case MBEDTLS_TLS_EXT_KEY_SHARE:
1498 MBEDTLS_SSL_DEBUG_MSG( 3, ( "found key share extension" ) );
1499
1500 /*
1501 * Key Share Extension
1502 *
1503 * When sent by the client, the "key_share" extension
1504 * contains the endpoint's cryptographic parameters for
1505 * ECDHE/DHE key establishment methods.
1506 */
Jerry Yuc1be19f2022-04-23 16:11:39 +08001507 ret = ssl_tls13_parse_key_shares_ext(
1508 ssl, p, extension_data_end );
XiaokangQian08037552022-04-20 07:16:41 +00001509 if( ret == SSL_TLS1_3_PARSE_KEY_SHARES_EXT_NO_MATCH )
XiaokangQian7807f9f2022-02-15 10:04:37 +00001510 {
XiaokangQianed582dd2022-04-13 08:21:05 +00001511 MBEDTLS_SSL_DEBUG_MSG( 2, ( "HRR needed " ) );
Jerry Yu49ca9282022-05-05 11:05:22 +08001512 hrr_required = 1;
XiaokangQian7807f9f2022-02-15 10:04:37 +00001513 }
1514
Jerry Yu582dd062022-04-22 21:59:01 +08001515 if( ret < 0 )
1516 {
1517 MBEDTLS_SSL_DEBUG_RET(
1518 1, "ssl_tls13_parse_key_shares_ext", ret );
XiaokangQian7807f9f2022-02-15 10:04:37 +00001519 return( ret );
Jerry Yu582dd062022-04-22 21:59:01 +08001520 }
XiaokangQian7807f9f2022-02-15 10:04:37 +00001521
1522 ssl->handshake->extensions_present |= MBEDTLS_SSL_EXT_KEY_SHARE;
1523 break;
XiaokangQian88408882022-04-02 10:15:03 +00001524#endif /* MBEDTLS_ECDH_C */
XiaokangQian7807f9f2022-02-15 10:04:37 +00001525
1526 case MBEDTLS_TLS_EXT_SUPPORTED_VERSIONS:
1527 MBEDTLS_SSL_DEBUG_MSG( 3, ( "found supported versions extension" ) );
1528
1529 ret = ssl_tls13_parse_supported_versions_ext(
Jerry Yuc1be19f2022-04-23 16:11:39 +08001530 ssl, p, extension_data_end );
XiaokangQian7807f9f2022-02-15 10:04:37 +00001531 if( ret != 0 )
1532 {
1533 MBEDTLS_SSL_DEBUG_RET( 1,
1534 ( "ssl_tls13_parse_supported_versions_ext" ), ret );
1535 return( ret );
1536 }
1537 ssl->handshake->extensions_present |= MBEDTLS_SSL_EXT_SUPPORTED_VERSIONS;
1538 break;
1539
Jerry Yue19e3b92022-07-08 12:04:51 +00001540#if defined(MBEDTLS_KEY_EXCHANGE_SOME_PSK_ENABLED)
1541 case MBEDTLS_TLS_EXT_PSK_KEY_EXCHANGE_MODES:
1542 MBEDTLS_SSL_DEBUG_MSG( 3, ( "found psk key exchange modes extension" ) );
1543
1544 ret = ssl_tls13_parse_key_exchange_modes_ext(
1545 ssl, p, extension_data_end );
1546 if( ret != 0 )
1547 {
1548 MBEDTLS_SSL_DEBUG_RET(
1549 1, "ssl_tls13_parse_key_exchange_modes_ext", ret );
1550 return( ret );
1551 }
1552
1553 ssl->handshake->extensions_present |= MBEDTLS_SSL_EXT_PSK_KEY_EXCHANGE_MODES;
1554 break;
1555#endif /* MBEDTLS_KEY_EXCHANGE_SOME_PSK_ENABLED */
1556
Jerry Yu1c105562022-07-10 06:32:38 +00001557 case MBEDTLS_TLS_EXT_PRE_SHARED_KEY:
1558 MBEDTLS_SSL_DEBUG_MSG( 3, ( "found pre_shared_key extension" ) );
Jerry Yu13ab81d2022-07-22 23:17:11 +08001559 if( ( ssl->handshake->extensions_present &
1560 MBEDTLS_SSL_EXT_PSK_KEY_EXCHANGE_MODES ) == 0 )
1561 {
1562 MBEDTLS_SSL_PEND_FATAL_ALERT(
1563 MBEDTLS_SSL_ALERT_MSG_ILLEGAL_PARAMETER,
1564 MBEDTLS_ERR_SSL_HANDSHAKE_FAILURE );
1565 return( MBEDTLS_ERR_SSL_HANDSHAKE_FAILURE );
1566 }
Jerry Yu1c9247c2022-07-21 12:37:39 +08001567#if defined(MBEDTLS_KEY_EXCHANGE_SOME_PSK_ENABLED)
Jerry Yu1c105562022-07-10 06:32:38 +00001568 /* Delay processing of the PSK identity once we have
1569 * found out which algorithms to use. We keep a pointer
1570 * to the buffer and the size for later processing.
1571 */
Jerry Yu29d9faa2022-08-23 17:52:45 +08001572 pre_shared_key_ext = p;
Jerry Yu1c105562022-07-10 06:32:38 +00001573 pre_shared_key_ext_end = extension_data_end;
Jerry Yu1c9247c2022-07-21 12:37:39 +08001574#endif /* MBEDTLS_KEY_EXCHANGE_SOME_PSK_ENABLED */
Jerry Yu1c105562022-07-10 06:32:38 +00001575 ssl->handshake->extensions_present |= MBEDTLS_SSL_EXT_PRE_SHARED_KEY;
1576 break;
Jerry Yu1c105562022-07-10 06:32:38 +00001577
XiaokangQianacb39922022-06-17 10:18:48 +00001578#if defined(MBEDTLS_SSL_ALPN)
1579 case MBEDTLS_TLS_EXT_ALPN:
1580 MBEDTLS_SSL_DEBUG_MSG( 3, ( "found alpn extension" ) );
1581
1582 ret = mbedtls_ssl_parse_alpn_ext( ssl, p, extension_data_end );
1583 if( ret != 0 )
1584 {
1585 MBEDTLS_SSL_DEBUG_RET(
1586 1, ( "mbedtls_ssl_parse_alpn_ext" ), ret );
1587 return( ret );
1588 }
1589 ssl->handshake->extensions_present |= MBEDTLS_SSL_EXT_ALPN;
1590 break;
1591#endif /* MBEDTLS_SSL_ALPN */
1592
XiaokangQian7807f9f2022-02-15 10:04:37 +00001593#if defined(MBEDTLS_KEY_EXCHANGE_WITH_CERT_ENABLED)
1594 case MBEDTLS_TLS_EXT_SIG_ALG:
1595 MBEDTLS_SSL_DEBUG_MSG( 3, ( "found signature_algorithms extension" ) );
1596
Gabor Mezei078e8032022-04-27 21:17:56 +02001597 ret = mbedtls_ssl_parse_sig_alg_ext(
Jerry Yuc1be19f2022-04-23 16:11:39 +08001598 ssl, p, extension_data_end );
XiaokangQian7807f9f2022-02-15 10:04:37 +00001599 if( ret != 0 )
1600 {
1601 MBEDTLS_SSL_DEBUG_MSG( 1,
1602 ( "ssl_parse_supported_signature_algorithms_server_ext ( %d )",
1603 ret ) );
1604 return( ret );
1605 }
1606 ssl->handshake->extensions_present |= MBEDTLS_SSL_EXT_SIG_ALG;
1607 break;
1608#endif /* MBEDTLS_KEY_EXCHANGE_WITH_CERT_ENABLED */
1609
1610 default:
1611 MBEDTLS_SSL_DEBUG_MSG( 3,
1612 ( "unknown extension found: %ud ( ignoring )",
1613 extension_type ) );
1614 }
1615
1616 p += extension_data_len;
1617 }
1618
Jerry Yu1c105562022-07-10 06:32:38 +00001619#if defined(MBEDTLS_DEBUG_C)
1620 /* List all the extensions we have received */
1621 ssl_tls13_debug_print_client_hello_exts( ssl );
1622#endif /* MBEDTLS_DEBUG_C */
1623
1624 mbedtls_ssl_add_hs_hdr_to_checksum( ssl,
1625 MBEDTLS_SSL_HS_CLIENT_HELLO,
1626 p - buf );
Jerry Yu032b15ce2022-07-11 06:10:03 +00001627
Jerry Yu1c105562022-07-10 06:32:38 +00001628#if defined(MBEDTLS_KEY_EXCHANGE_SOME_PSK_ENABLED)
XiaokangQian7807f9f2022-02-15 10:04:37 +00001629 /* Update checksum with either
1630 * - The entire content of the CH message, if no PSK extension is present
1631 * - The content up to but excluding the PSK extension, if present.
1632 */
Jerry Yu1c105562022-07-10 06:32:38 +00001633 /* If we've settled on a PSK-based exchange, parse PSK identity ext */
Jerry Yuba9b6e92022-07-22 21:35:18 +08001634 if( mbedtls_ssl_tls13_some_psk_enabled( ssl ) &&
Jerry Yu32e13702022-07-29 13:04:08 +08001635 mbedtls_ssl_conf_tls13_some_psk_enabled( ssl ) &&
Jerry Yuba9b6e92022-07-22 21:35:18 +08001636 ( ssl->handshake->extensions_present & MBEDTLS_SSL_EXT_PRE_SHARED_KEY ) )
Jerry Yu1c105562022-07-10 06:32:38 +00001637 {
1638 ssl->handshake->update_checksum( ssl, buf,
Jerry Yu29d9faa2022-08-23 17:52:45 +08001639 pre_shared_key_ext - buf );
Jerry Yubb852022022-07-20 21:10:44 +08001640 ret = ssl_tls13_parse_pre_shared_key_ext( ssl,
Jerry Yu29d9faa2022-08-23 17:52:45 +08001641 pre_shared_key_ext,
Jerry Yue95c8af2022-07-26 15:48:20 +08001642 pre_shared_key_ext_end,
Jerry Yu5725f1c2022-08-21 17:27:16 +08001643 cipher_suites,
1644 cipher_suites_end );
Jerry Yue9d4fc02022-08-20 19:21:15 +08001645 if( ret == MBEDTLS_ERR_SSL_UNKNOWN_IDENTITY )
Jerry Yuba9b6e92022-07-22 21:35:18 +08001646 {
1647 ssl->handshake->extensions_present &= ~MBEDTLS_SSL_EXT_PRE_SHARED_KEY;
Jerry Yu6f1db3f2022-07-22 23:05:59 +08001648 }
1649 else if( ret != 0 )
Jerry Yu1c105562022-07-10 06:32:38 +00001650 {
Jerry Yubb852022022-07-20 21:10:44 +08001651 MBEDTLS_SSL_DEBUG_RET( 1, ( "ssl_tls13_parse_pre_shared_key_ext" ),
Jerry Yu1c105562022-07-10 06:32:38 +00001652 ret );
1653 return( ret );
1654 }
Jerry Yu1c105562022-07-10 06:32:38 +00001655 }
1656 else
1657#endif /* MBEDTLS_KEY_EXCHANGE_SOME_PSK_ENABLED */
1658 {
1659 ssl->handshake->update_checksum( ssl, buf, p - buf );
1660 }
XiaokangQian7807f9f2022-02-15 10:04:37 +00001661
Jerry Yuba9b6e92022-07-22 21:35:18 +08001662 ret = ssl_tls13_determine_key_exchange_mode( ssl );
1663 if( ret < 0 )
1664 return( ret );
XiaokangQian7807f9f2022-02-15 10:04:37 +00001665
Jerry Yue5834fd2022-08-29 20:16:09 +08001666 mbedtls_ssl_optimize_checksum( ssl, ssl->handshake->ciphersuite_info );
1667
XiaokangQian75fe8c72022-06-15 09:42:45 +00001668 return( hrr_required ? SSL_CLIENT_HELLO_HRR_REQUIRED : SSL_CLIENT_HELLO_OK );
1669}
1670
1671/* Update the handshake state machine */
1672
Ronald Cronce7d76e2022-07-08 18:56:49 +02001673MBEDTLS_CHECK_RETURN_CRITICAL
XiaokangQian75fe8c72022-06-15 09:42:45 +00001674static int ssl_tls13_postprocess_client_hello( mbedtls_ssl_context* ssl )
1675{
1676 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
1677
XiaokangQian7807f9f2022-02-15 10:04:37 +00001678 /*
XiaokangQianfb665a82022-06-15 03:57:21 +00001679 * Server certificate selection
1680 */
1681 if( ssl->conf->f_cert_cb && ( ret = ssl->conf->f_cert_cb( ssl ) ) != 0 )
1682 {
1683 MBEDTLS_SSL_DEBUG_RET( 1, "f_cert_cb", ret );
1684 return( ret );
1685 }
1686#if defined(MBEDTLS_SSL_SERVER_NAME_INDICATION)
1687 ssl->handshake->sni_name = NULL;
1688 ssl->handshake->sni_name_len = 0;
1689#endif /* MBEDTLS_SSL_SERVER_NAME_INDICATION */
XiaokangQian7807f9f2022-02-15 10:04:37 +00001690
XiaokangQian7807f9f2022-02-15 10:04:37 +00001691 ret = mbedtls_ssl_tls13_key_schedule_stage_early( ssl );
1692 if( ret != 0 )
1693 {
1694 MBEDTLS_SSL_DEBUG_RET( 1,
1695 "mbedtls_ssl_tls1_3_key_schedule_stage_early", ret );
1696 return( ret );
1697 }
1698
XiaokangQian7807f9f2022-02-15 10:04:37 +00001699 return( 0 );
1700
1701}
1702
1703/*
XiaokangQianed582dd2022-04-13 08:21:05 +00001704 * Main entry point from the state machine; orchestrates the otherfunctions.
1705 */
1706
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +02001707MBEDTLS_CHECK_RETURN_CRITICAL
XiaokangQianed582dd2022-04-13 08:21:05 +00001708static int ssl_tls13_process_client_hello( mbedtls_ssl_context *ssl )
1709{
1710
XiaokangQian08037552022-04-20 07:16:41 +00001711 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
XiaokangQianed582dd2022-04-13 08:21:05 +00001712 unsigned char* buf = NULL;
1713 size_t buflen = 0;
Jerry Yu4ca91402022-05-09 15:50:57 +08001714 int parse_client_hello_ret;
1715
XiaokangQianed582dd2022-04-13 08:21:05 +00001716 MBEDTLS_SSL_DEBUG_MSG( 2, ( "=> parse client hello" ) );
1717
XiaokangQianed582dd2022-04-13 08:21:05 +00001718 MBEDTLS_SSL_PROC_CHK( mbedtls_ssl_tls13_fetch_handshake_msg(
1719 ssl, MBEDTLS_SSL_HS_CLIENT_HELLO,
1720 &buf, &buflen ) );
1721
1722 MBEDTLS_SSL_PROC_CHK_NEG( ssl_tls13_parse_client_hello( ssl, buf,
1723 buf + buflen ) );
Jerry Yuf41553b2022-05-09 22:20:30 +08001724 parse_client_hello_ret = ret; /* Store return value of parse_client_hello,
1725 * only SSL_CLIENT_HELLO_OK or
1726 * SSL_CLIENT_HELLO_HRR_REQUIRED at this
1727 * stage as negative error codes are handled
1728 * by MBEDTLS_SSL_PROC_CHK_NEG. */
Jerry Yu4ca91402022-05-09 15:50:57 +08001729
XiaokangQiancfd925f2022-04-14 07:10:37 +00001730 MBEDTLS_SSL_PROC_CHK( ssl_tls13_postprocess_client_hello( ssl ) );
Jerry Yu582dd062022-04-22 21:59:01 +08001731
Jerry Yu4ca91402022-05-09 15:50:57 +08001732 if( parse_client_hello_ret == SSL_CLIENT_HELLO_OK )
1733 mbedtls_ssl_handshake_set_state( ssl, MBEDTLS_SSL_SERVER_HELLO );
1734 else
1735 mbedtls_ssl_handshake_set_state( ssl, MBEDTLS_SSL_HELLO_RETRY_REQUEST );
XiaokangQianed582dd2022-04-13 08:21:05 +00001736
1737cleanup:
1738
1739 MBEDTLS_SSL_DEBUG_MSG( 2, ( "<= parse client hello" ) );
1740 return( ret );
1741}
1742
1743/*
Jerry Yu1c3e6882022-04-20 21:23:40 +08001744 * Handler for MBEDTLS_SSL_SERVER_HELLO
Jerry Yu5b64ae92022-03-30 17:15:02 +08001745 */
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +02001746MBEDTLS_CHECK_RETURN_CRITICAL
Jerry Yuf4b27e42022-03-30 17:32:21 +08001747static int ssl_tls13_prepare_server_hello( mbedtls_ssl_context *ssl )
1748{
Jerry Yu637a3f12022-04-20 21:37:58 +08001749 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
1750 unsigned char *server_randbytes =
Jerry Yu3bf2c642022-03-30 22:02:12 +08001751 ssl->handshake->randbytes + MBEDTLS_CLIENT_HELLO_RANDOM_LEN;
Jerry Yuf4b27e42022-03-30 17:32:21 +08001752 if( ssl->conf->f_rng == NULL )
1753 {
1754 MBEDTLS_SSL_DEBUG_MSG( 1, ( "no RNG provided" ) );
1755 return( MBEDTLS_ERR_SSL_NO_RNG );
1756 }
1757
Jerry Yu637a3f12022-04-20 21:37:58 +08001758 if( ( ret = ssl->conf->f_rng( ssl->conf->p_rng, server_randbytes,
Jerry Yuf4b27e42022-03-30 17:32:21 +08001759 MBEDTLS_SERVER_HELLO_RANDOM_LEN ) ) != 0 )
1760 {
1761 MBEDTLS_SSL_DEBUG_RET( 1, "f_rng", ret );
1762 return( ret );
1763 }
1764
Jerry Yu637a3f12022-04-20 21:37:58 +08001765 MBEDTLS_SSL_DEBUG_BUF( 3, "server hello, random bytes", server_randbytes,
Jerry Yuf4b27e42022-03-30 17:32:21 +08001766 MBEDTLS_SERVER_HELLO_RANDOM_LEN );
1767
1768#if defined(MBEDTLS_HAVE_TIME)
1769 ssl->session_negotiate->start = time( NULL );
1770#endif /* MBEDTLS_HAVE_TIME */
1771
1772 return( ret );
1773}
1774
Jerry Yu3bf2c642022-03-30 22:02:12 +08001775/*
Jerry Yue74e04a2022-04-21 09:23:16 +08001776 * ssl_tls13_write_server_hello_supported_versions_ext ():
Jerry Yu3bf2c642022-03-30 22:02:12 +08001777 *
1778 * struct {
Jerry Yufb9f54d2022-04-06 10:08:34 +08001779 * ProtocolVersion selected_version;
Jerry Yu3bf2c642022-03-30 22:02:12 +08001780 * } SupportedVersions;
1781 */
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +02001782MBEDTLS_CHECK_RETURN_CRITICAL
Jerry Yue74e04a2022-04-21 09:23:16 +08001783static int ssl_tls13_write_server_hello_supported_versions_ext(
1784 mbedtls_ssl_context *ssl,
1785 unsigned char *buf,
1786 unsigned char *end,
1787 size_t *out_len )
Jerry Yu3bf2c642022-03-30 22:02:12 +08001788{
Jerry Yu3bf2c642022-03-30 22:02:12 +08001789 *out_len = 0;
1790
Jerry Yu955ddd72022-04-22 22:27:33 +08001791 MBEDTLS_SSL_DEBUG_MSG( 3, ( "server hello, write selected version" ) );
Jerry Yu3bf2c642022-03-30 22:02:12 +08001792
1793 /* Check if we have space to write the extension:
1794 * - extension_type (2 bytes)
1795 * - extension_data_length (2 bytes)
Jerry Yu349a6132022-04-14 20:52:56 +08001796 * - selected_version (2 bytes)
Jerry Yu3bf2c642022-03-30 22:02:12 +08001797 */
Jerry Yu349a6132022-04-14 20:52:56 +08001798 MBEDTLS_SSL_CHK_BUF_PTR( buf, end, 6 );
Jerry Yu3bf2c642022-03-30 22:02:12 +08001799
Jerry Yu349a6132022-04-14 20:52:56 +08001800 MBEDTLS_PUT_UINT16_BE( MBEDTLS_TLS_EXT_SUPPORTED_VERSIONS, buf, 0 );
Jerry Yu3bf2c642022-03-30 22:02:12 +08001801
Jerry Yu349a6132022-04-14 20:52:56 +08001802 MBEDTLS_PUT_UINT16_BE( 2, buf, 2 );
Jerry Yu3bf2c642022-03-30 22:02:12 +08001803
Jerry Yu349a6132022-04-14 20:52:56 +08001804 mbedtls_ssl_write_version( buf + 4,
1805 ssl->conf->transport,
1806 ssl->tls_version );
Jerry Yu3bf2c642022-03-30 22:02:12 +08001807
1808 MBEDTLS_SSL_DEBUG_MSG( 3, ( "supported version: [%04x]",
1809 ssl->tls_version ) );
1810
Jerry Yu349a6132022-04-14 20:52:56 +08001811 *out_len = 6;
Jerry Yu3bf2c642022-03-30 22:02:12 +08001812
1813 return( 0 );
1814}
1815
Jerry Yud9436a12022-04-20 22:28:09 +08001816
Jerry Yu3bf2c642022-03-30 22:02:12 +08001817
1818/* Generate and export a single key share. For hybrid KEMs, this can
1819 * be called multiple times with the different components of the hybrid. */
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +02001820MBEDTLS_CHECK_RETURN_CRITICAL
Jerry Yu955ddd72022-04-22 22:27:33 +08001821static int ssl_tls13_generate_and_write_key_share( mbedtls_ssl_context *ssl,
1822 uint16_t named_group,
1823 unsigned char *buf,
1824 unsigned char *end,
1825 size_t *out_len )
Jerry Yu3bf2c642022-03-30 22:02:12 +08001826{
1827 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Jerry Yu955ddd72022-04-22 22:27:33 +08001828
1829 *out_len = 0;
1830
Jerry Yu89e103c2022-03-30 22:43:29 +08001831#if defined(MBEDTLS_ECDH_C)
Jerry Yu3bf2c642022-03-30 22:02:12 +08001832 if( mbedtls_ssl_tls13_named_group_is_ecdhe( named_group ) )
1833 {
Jerry Yu89e103c2022-03-30 22:43:29 +08001834 ret = mbedtls_ssl_tls13_generate_and_write_ecdh_key_exchange(
1835 ssl, named_group, buf, end, out_len );
Jerry Yu3bf2c642022-03-30 22:02:12 +08001836 if( ret != 0 )
1837 {
Jerry Yu89e103c2022-03-30 22:43:29 +08001838 MBEDTLS_SSL_DEBUG_RET(
1839 1, "mbedtls_ssl_tls13_generate_and_write_ecdh_key_exchange",
1840 ret );
Jerry Yu3bf2c642022-03-30 22:02:12 +08001841 return( ret );
1842 }
Jerry Yu3bf2c642022-03-30 22:02:12 +08001843 }
Jerry Yu89e103c2022-03-30 22:43:29 +08001844 else
1845#endif /* MBEDTLS_ECDH_C */
1846 if( 0 /* Other kinds of KEMs */ )
Jerry Yu3bf2c642022-03-30 22:02:12 +08001847 {
1848 }
1849 else
1850 {
Jerry Yu955ddd72022-04-22 22:27:33 +08001851 ((void) ssl);
1852 ((void) named_group);
1853 ((void) buf);
1854 ((void) end);
Jerry Yu3bf2c642022-03-30 22:02:12 +08001855 ret = MBEDTLS_ERR_SSL_INTERNAL_ERROR;
1856 }
1857
1858 return( ret );
1859}
1860
1861/*
1862 * ssl_tls13_write_key_share_ext
1863 *
1864 * Structure of key_share extension in ServerHello:
1865 *
Jerry Yu1c3e6882022-04-20 21:23:40 +08001866 * struct {
1867 * NamedGroup group;
1868 * opaque key_exchange<1..2^16-1>;
1869 * } KeyShareEntry;
1870 * struct {
1871 * KeyShareEntry server_share;
1872 * } KeyShareServerHello;
Jerry Yu3bf2c642022-03-30 22:02:12 +08001873 */
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +02001874MBEDTLS_CHECK_RETURN_CRITICAL
Jerry Yu3bf2c642022-03-30 22:02:12 +08001875static int ssl_tls13_write_key_share_ext( mbedtls_ssl_context *ssl,
1876 unsigned char *buf,
1877 unsigned char *end,
1878 size_t *out_len )
1879{
Jerry Yu955ddd72022-04-22 22:27:33 +08001880 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Jerry Yu3bf2c642022-03-30 22:02:12 +08001881 unsigned char *p = buf;
Jerry Yu57d48412022-04-20 21:50:42 +08001882 uint16_t group = ssl->handshake->offered_group_id;
Jerry Yu3bf2c642022-03-30 22:02:12 +08001883 unsigned char *server_share = buf + 4;
Jerry Yu3bf2c642022-03-30 22:02:12 +08001884 size_t key_exchange_length;
Jerry Yu3bf2c642022-03-30 22:02:12 +08001885
1886 *out_len = 0;
1887
1888 MBEDTLS_SSL_DEBUG_MSG( 3, ( "server hello, adding key share extension" ) );
1889
Jerry Yu58af2332022-09-06 11:19:31 +08001890 MBEDTLS_SSL_DEBUG_MSG( 2, ( "server hello, write selected_group: %s (%04x)",
1891 mbedtls_ssl_named_group_to_str( group ),
1892 group ) );
1893
Jerry Yu3bf2c642022-03-30 22:02:12 +08001894 /* Check if we have space for header and length fields:
1895 * - extension_type (2 bytes)
1896 * - extension_data_length (2 bytes)
1897 * - group (2 bytes)
1898 * - key_exchange_length (2 bytes)
1899 */
1900 MBEDTLS_SSL_CHK_BUF_PTR( p, end, 8 );
Jerry Yu57d48412022-04-20 21:50:42 +08001901 MBEDTLS_PUT_UINT16_BE( MBEDTLS_TLS_EXT_KEY_SHARE, p, 0 );
1902 MBEDTLS_PUT_UINT16_BE( group, server_share, 0 );
Jerry Yu3bf2c642022-03-30 22:02:12 +08001903 p += 8;
Jerry Yu57d48412022-04-20 21:50:42 +08001904
Jerry Yu3bf2c642022-03-30 22:02:12 +08001905 /* When we introduce PQC-ECDHE hybrids, we'll want to call this
1906 * function multiple times. */
Jerry Yu955ddd72022-04-22 22:27:33 +08001907 ret = ssl_tls13_generate_and_write_key_share(
Jerry Yue65d8012022-04-23 10:34:35 +08001908 ssl, group, server_share + 4, end, &key_exchange_length );
Jerry Yu3bf2c642022-03-30 22:02:12 +08001909 if( ret != 0 )
1910 return( ret );
1911 p += key_exchange_length;
Jerry Yuc1be19f2022-04-23 16:11:39 +08001912
Jerry Yu955ddd72022-04-22 22:27:33 +08001913 MBEDTLS_PUT_UINT16_BE( key_exchange_length, server_share + 2, 0 );
Jerry Yu3bf2c642022-03-30 22:02:12 +08001914
Jerry Yu57d48412022-04-20 21:50:42 +08001915 MBEDTLS_PUT_UINT16_BE( p - server_share, buf, 2 );
Jerry Yu3bf2c642022-03-30 22:02:12 +08001916
Jerry Yu57d48412022-04-20 21:50:42 +08001917 *out_len = p - buf;
Jerry Yu955ddd72022-04-22 22:27:33 +08001918
Jerry Yu3bf2c642022-03-30 22:02:12 +08001919 return( 0 );
1920}
Jerry Yud9436a12022-04-20 22:28:09 +08001921
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +02001922MBEDTLS_CHECK_RETURN_CRITICAL
Jerry Yu23f7a6f2022-04-23 15:16:45 +08001923static int ssl_tls13_write_hrr_key_share_ext( mbedtls_ssl_context *ssl,
1924 unsigned char *buf,
1925 unsigned char *end,
1926 size_t *out_len )
1927{
1928 uint16_t selected_group = ssl->handshake->hrr_selected_group;
1929 /* key_share Extension
1930 *
1931 * struct {
1932 * select (Handshake.msg_type) {
1933 * ...
1934 * case hello_retry_request:
1935 * NamedGroup selected_group;
1936 * ...
1937 * };
1938 * } KeyShare;
1939 */
1940
1941 *out_len = 0;
1942
Jerry Yub0ac10b2022-05-05 11:10:08 +08001943 /*
1944 * For a pure PSK key exchange, there is no group to agree upon. The purpose
1945 * of the HRR is then to transmit a cookie to force the client to demonstrate
1946 * reachability at their apparent network address (primarily useful for DTLS).
1947 */
Ronald Cron79907712022-07-20 17:05:29 +02001948 if( ! mbedtls_ssl_tls13_key_exchange_mode_with_ephemeral( ssl ) )
Jerry Yu23f7a6f2022-04-23 15:16:45 +08001949 return( 0 );
1950
1951 /* We should only send the key_share extension if the client's initial
1952 * key share was not acceptable. */
1953 if( ssl->handshake->offered_group_id != 0 )
1954 {
1955 MBEDTLS_SSL_DEBUG_MSG( 4, ( "Skip key_share extension in HRR" ) );
1956 return( 0 );
1957 }
1958
1959 if( selected_group == 0 )
1960 {
1961 MBEDTLS_SSL_DEBUG_MSG( 1, ( "no matching named group found" ) );
1962 return( MBEDTLS_ERR_SSL_HANDSHAKE_FAILURE );
1963 }
1964
Jerry Yub0ac10b2022-05-05 11:10:08 +08001965 /* Check if we have enough space:
1966 * - extension_type (2 bytes)
1967 * - extension_data_length (2 bytes)
1968 * - selected_group (2 bytes)
1969 */
Ronald Cron154d1b62022-06-01 15:33:26 +02001970 MBEDTLS_SSL_CHK_BUF_PTR( buf, end, 6 );
Jerry Yu23f7a6f2022-04-23 15:16:45 +08001971
Jerry Yu23f7a6f2022-04-23 15:16:45 +08001972 MBEDTLS_PUT_UINT16_BE( MBEDTLS_TLS_EXT_KEY_SHARE, buf, 0 );
Jerry Yu23f7a6f2022-04-23 15:16:45 +08001973 MBEDTLS_PUT_UINT16_BE( 2, buf, 2 );
Jerry Yu23f7a6f2022-04-23 15:16:45 +08001974 MBEDTLS_PUT_UINT16_BE( selected_group, buf, 4 );
1975
1976 MBEDTLS_SSL_DEBUG_MSG( 3,
1977 ( "HRR selected_group: %s (%x)",
1978 mbedtls_ssl_named_group_to_str( selected_group ),
1979 selected_group ) );
1980
1981 *out_len = 6;
Jerry Yu23f7a6f2022-04-23 15:16:45 +08001982
Jerry Yub0ac10b2022-05-05 11:10:08 +08001983 return( 0 );
Jerry Yu23f7a6f2022-04-23 15:16:45 +08001984}
Jerry Yu3bf2c642022-03-30 22:02:12 +08001985
1986/*
1987 * Structure of ServerHello message:
1988 *
1989 * struct {
1990 * ProtocolVersion legacy_version = 0x0303; // TLS v1.2
1991 * Random random;
1992 * opaque legacy_session_id_echo<0..32>;
1993 * CipherSuite cipher_suite;
1994 * uint8 legacy_compression_method = 0;
1995 * Extension extensions<6..2^16-1>;
1996 * } ServerHello;
1997 */
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +02001998MBEDTLS_CHECK_RETURN_CRITICAL
Jerry Yu3bf2c642022-03-30 22:02:12 +08001999static int ssl_tls13_write_server_hello_body( mbedtls_ssl_context *ssl,
Jerry Yu56404d72022-03-30 17:36:13 +08002000 unsigned char *buf,
2001 unsigned char *end,
Jerry Yu23f7a6f2022-04-23 15:16:45 +08002002 size_t *out_len,
2003 int is_hrr )
Jerry Yu56404d72022-03-30 17:36:13 +08002004{
Jerry Yu955ddd72022-04-22 22:27:33 +08002005 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Jerry Yu3bf2c642022-03-30 22:02:12 +08002006 unsigned char *p = buf;
Jerry Yud9436a12022-04-20 22:28:09 +08002007 unsigned char *p_extensions_len;
Jerry Yufbe3e642022-04-25 19:31:51 +08002008 size_t output_len;
Jerry Yu3bf2c642022-03-30 22:02:12 +08002009
2010 *out_len = 0;
2011
Jerry Yucfc04b32022-04-21 09:31:58 +08002012 /* ...
2013 * ProtocolVersion legacy_version = 0x0303; // TLS 1.2
2014 * ...
2015 * with ProtocolVersion defined as:
2016 * uint16 ProtocolVersion;
Jerry Yu3bf2c642022-03-30 22:02:12 +08002017 */
2018 MBEDTLS_SSL_CHK_BUF_PTR( p, end, 2 );
2019 MBEDTLS_PUT_UINT16_BE( 0x0303, p, 0 );
2020 p += 2;
2021
Jerry Yu1c3e6882022-04-20 21:23:40 +08002022 /* ...
2023 * Random random;
2024 * ...
Jerry Yucfc04b32022-04-21 09:31:58 +08002025 * with Random defined as:
2026 * opaque Random[MBEDTLS_SERVER_HELLO_RANDOM_LEN];
Jerry Yu1c3e6882022-04-20 21:23:40 +08002027 */
Jerry Yu3bf2c642022-03-30 22:02:12 +08002028 MBEDTLS_SSL_CHK_BUF_PTR( p, end, MBEDTLS_SERVER_HELLO_RANDOM_LEN );
Jerry Yu23f7a6f2022-04-23 15:16:45 +08002029 if( is_hrr )
2030 {
2031 memcpy( p, mbedtls_ssl_tls13_hello_retry_request_magic,
Jerry Yufbe3e642022-04-25 19:31:51 +08002032 MBEDTLS_SERVER_HELLO_RANDOM_LEN );
Jerry Yu23f7a6f2022-04-23 15:16:45 +08002033 }
2034 else
2035 {
2036 memcpy( p, &ssl->handshake->randbytes[MBEDTLS_CLIENT_HELLO_RANDOM_LEN],
Jerry Yufbe3e642022-04-25 19:31:51 +08002037 MBEDTLS_SERVER_HELLO_RANDOM_LEN );
Jerry Yu23f7a6f2022-04-23 15:16:45 +08002038 }
Jerry Yu955ddd72022-04-22 22:27:33 +08002039 MBEDTLS_SSL_DEBUG_BUF( 3, "server hello, random bytes",
Jerry Yu3bf2c642022-03-30 22:02:12 +08002040 p, MBEDTLS_SERVER_HELLO_RANDOM_LEN );
2041 p += MBEDTLS_SERVER_HELLO_RANDOM_LEN;
2042
Jerry Yucfc04b32022-04-21 09:31:58 +08002043 /* ...
2044 * opaque legacy_session_id_echo<0..32>;
2045 * ...
Jerry Yu3bf2c642022-03-30 22:02:12 +08002046 */
2047 MBEDTLS_SSL_CHK_BUF_PTR( p, end, 1 + ssl->session_negotiate->id_len );
2048 *p++ = (unsigned char)ssl->session_negotiate->id_len;
2049 if( ssl->session_negotiate->id_len > 0 )
2050 {
2051 memcpy( p, &ssl->session_negotiate->id[0],
2052 ssl->session_negotiate->id_len );
2053 p += ssl->session_negotiate->id_len;
Jerry Yu955ddd72022-04-22 22:27:33 +08002054
Jerry Yu3bf2c642022-03-30 22:02:12 +08002055 MBEDTLS_SSL_DEBUG_BUF( 3, "session id", ssl->session_negotiate->id,
2056 ssl->session_negotiate->id_len );
2057 }
2058
Jerry Yucfc04b32022-04-21 09:31:58 +08002059 /* ...
2060 * CipherSuite cipher_suite;
2061 * ...
2062 * with CipherSuite defined as:
2063 * uint8 CipherSuite[2];
Jerry Yu3bf2c642022-03-30 22:02:12 +08002064 */
2065 MBEDTLS_SSL_CHK_BUF_PTR( p, end, 2 );
2066 MBEDTLS_PUT_UINT16_BE( ssl->session_negotiate->ciphersuite, p, 0 );
2067 p += 2;
2068 MBEDTLS_SSL_DEBUG_MSG( 3,
2069 ( "server hello, chosen ciphersuite: %s ( id=%d )",
2070 mbedtls_ssl_get_ciphersuite_name(
2071 ssl->session_negotiate->ciphersuite ),
2072 ssl->session_negotiate->ciphersuite ) );
2073
Jerry Yucfc04b32022-04-21 09:31:58 +08002074 /* ...
2075 * uint8 legacy_compression_method = 0;
2076 * ...
2077 */
Jerry Yu3bf2c642022-03-30 22:02:12 +08002078 MBEDTLS_SSL_CHK_BUF_PTR( p, end, 1 );
Thomas Daubney31e03a82022-07-25 15:59:25 +01002079 *p++ = MBEDTLS_SSL_COMPRESS_NULL;
Jerry Yu3bf2c642022-03-30 22:02:12 +08002080
Jerry Yucfc04b32022-04-21 09:31:58 +08002081 /* ...
2082 * Extension extensions<6..2^16-1>;
2083 * ...
2084 * struct {
2085 * ExtensionType extension_type; (2 bytes)
2086 * opaque extension_data<0..2^16-1>;
2087 * } Extension;
2088 */
Jerry Yu3bf2c642022-03-30 22:02:12 +08002089 MBEDTLS_SSL_CHK_BUF_PTR( p, end, 2 );
Jerry Yud9436a12022-04-20 22:28:09 +08002090 p_extensions_len = p;
Jerry Yu3bf2c642022-03-30 22:02:12 +08002091 p += 2;
2092
Jerry Yue74e04a2022-04-21 09:23:16 +08002093 if( ( ret = ssl_tls13_write_server_hello_supported_versions_ext(
Jerry Yu3bf2c642022-03-30 22:02:12 +08002094 ssl, p, end, &output_len ) ) != 0 )
2095 {
Jerry Yu955ddd72022-04-22 22:27:33 +08002096 MBEDTLS_SSL_DEBUG_RET(
2097 1, "ssl_tls13_write_server_hello_supported_versions_ext", ret );
Jerry Yu3bf2c642022-03-30 22:02:12 +08002098 return( ret );
2099 }
2100 p += output_len;
2101
Jerry Yu56acc942022-07-30 23:02:36 +08002102 if( mbedtls_ssl_tls13_key_exchange_mode_with_ephemeral( ssl ) )
Jerry Yu3bf2c642022-03-30 22:02:12 +08002103 {
Jerry Yu23f7a6f2022-04-23 15:16:45 +08002104 if( is_hrr )
2105 ret = ssl_tls13_write_hrr_key_share_ext( ssl, p, end, &output_len );
2106 else
2107 ret = ssl_tls13_write_key_share_ext( ssl, p, end, &output_len );
Jerry Yu3bf2c642022-03-30 22:02:12 +08002108 if( ret != 0 )
2109 return( ret );
2110 p += output_len;
2111 }
Jerry Yu3bf2c642022-03-30 22:02:12 +08002112
Jerry Yu032b15ce2022-07-11 06:10:03 +00002113#if defined(MBEDTLS_KEY_EXCHANGE_SOME_PSK_ENABLED)
Jerry Yu96a2e362022-07-21 15:11:34 +08002114 if( mbedtls_ssl_tls13_key_exchange_mode_with_psk( ssl ) )
Jerry Yu032b15ce2022-07-11 06:10:03 +00002115 {
Jerry Yubb852022022-07-20 21:10:44 +08002116 ret = ssl_tls13_write_server_pre_shared_key_ext( ssl, p, end, &output_len );
Jerry Yu032b15ce2022-07-11 06:10:03 +00002117 if( ret != 0 )
2118 {
Jerry Yubb852022022-07-20 21:10:44 +08002119 MBEDTLS_SSL_DEBUG_RET( 1, "ssl_tls13_write_server_pre_shared_key_ext",
Jerry Yu032b15ce2022-07-11 06:10:03 +00002120 ret );
2121 return( ret );
2122 }
2123 p += output_len;
2124 }
2125#endif /* MBEDTLS_KEY_EXCHANGE_SOME_PSK_ENABLED */
2126
Jerry Yud9436a12022-04-20 22:28:09 +08002127 MBEDTLS_PUT_UINT16_BE( p - p_extensions_len - 2, p_extensions_len, 0 );
Jerry Yu3bf2c642022-03-30 22:02:12 +08002128
Jerry Yud9436a12022-04-20 22:28:09 +08002129 MBEDTLS_SSL_DEBUG_BUF( 4, "server hello extensions",
2130 p_extensions_len, p - p_extensions_len );
Jerry Yu3bf2c642022-03-30 22:02:12 +08002131
Jerry Yud9436a12022-04-20 22:28:09 +08002132 *out_len = p - buf;
Jerry Yu3bf2c642022-03-30 22:02:12 +08002133
Jerry Yud9436a12022-04-20 22:28:09 +08002134 MBEDTLS_SSL_DEBUG_BUF( 3, "server hello", buf, *out_len );
Jerry Yu3bf2c642022-03-30 22:02:12 +08002135
2136 return( ret );
Jerry Yu56404d72022-03-30 17:36:13 +08002137}
2138
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +02002139MBEDTLS_CHECK_RETURN_CRITICAL
Jerry Yue110d252022-05-05 10:19:22 +08002140static int ssl_tls13_finalize_write_server_hello( mbedtls_ssl_context *ssl )
2141{
2142 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Jerry Yuf86eb752022-05-06 11:16:55 +08002143 ret = mbedtls_ssl_tls13_compute_handshake_transform( ssl );
Jerry Yue110d252022-05-05 10:19:22 +08002144 if( ret != 0 )
2145 {
Jerry Yuf86eb752022-05-06 11:16:55 +08002146 MBEDTLS_SSL_DEBUG_RET( 1,
2147 "mbedtls_ssl_tls13_compute_handshake_transform",
Jerry Yue110d252022-05-05 10:19:22 +08002148 ret );
2149 return( ret );
2150 }
2151
Jerry Yue110d252022-05-05 10:19:22 +08002152 return( ret );
2153}
2154
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +02002155MBEDTLS_CHECK_RETURN_CRITICAL
Jerry Yu5b64ae92022-03-30 17:15:02 +08002156static int ssl_tls13_write_server_hello( mbedtls_ssl_context *ssl )
2157{
Jerry Yu637a3f12022-04-20 21:37:58 +08002158 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Jerry Yuf4b27e42022-03-30 17:32:21 +08002159 unsigned char *buf;
2160 size_t buf_len, msg_len;
2161
2162 MBEDTLS_SSL_DEBUG_MSG( 2, ( "=> write server hello" ) );
2163
Jerry Yuf4b27e42022-03-30 17:32:21 +08002164 MBEDTLS_SSL_PROC_CHK( ssl_tls13_prepare_server_hello( ssl ) );
2165
Jerry Yu3bf2c642022-03-30 22:02:12 +08002166 MBEDTLS_SSL_PROC_CHK( mbedtls_ssl_start_handshake_msg( ssl,
Jerry Yuf4b27e42022-03-30 17:32:21 +08002167 MBEDTLS_SSL_HS_SERVER_HELLO, &buf, &buf_len ) );
2168
Jerry Yu3bf2c642022-03-30 22:02:12 +08002169 MBEDTLS_SSL_PROC_CHK( ssl_tls13_write_server_hello_body( ssl, buf,
2170 buf + buf_len,
Jerry Yu23f7a6f2022-04-23 15:16:45 +08002171 &msg_len,
2172 0 ) );
Jerry Yuf4b27e42022-03-30 17:32:21 +08002173
Jerry Yu3bf2c642022-03-30 22:02:12 +08002174 mbedtls_ssl_add_hs_msg_to_checksum(
Jerry Yuf4b27e42022-03-30 17:32:21 +08002175 ssl, MBEDTLS_SSL_HS_SERVER_HELLO, buf, msg_len );
2176
Jerry Yu3bf2c642022-03-30 22:02:12 +08002177 MBEDTLS_SSL_PROC_CHK( mbedtls_ssl_finish_handshake_msg(
Jerry Yuf4b27e42022-03-30 17:32:21 +08002178 ssl, buf_len, msg_len ) );
Jerry Yu637a3f12022-04-20 21:37:58 +08002179
Jerry Yue110d252022-05-05 10:19:22 +08002180 MBEDTLS_SSL_PROC_CHK( ssl_tls13_finalize_write_server_hello( ssl ) );
2181
Gabor Mezei7b39bf12022-05-24 16:04:14 +02002182#if defined(MBEDTLS_SSL_TLS1_3_COMPATIBILITY_MODE)
2183 /* The server sends a dummy change_cipher_spec record immediately
2184 * after its first handshake message. This may either be after
2185 * a ServerHello or a HelloRetryRequest.
2186 */
Gabor Mezei96ae9262022-06-28 11:45:18 +02002187 mbedtls_ssl_handshake_set_state(
2188 ssl, MBEDTLS_SSL_SERVER_CCS_AFTER_SERVER_HELLO );
Gabor Mezei7b39bf12022-05-24 16:04:14 +02002189#else
Jerry Yu637a3f12022-04-20 21:37:58 +08002190 mbedtls_ssl_handshake_set_state( ssl, MBEDTLS_SSL_ENCRYPTED_EXTENSIONS );
Gabor Mezei7b39bf12022-05-24 16:04:14 +02002191#endif /* MBEDTLS_SSL_TLS1_3_COMPATIBILITY_MODE */
Jerry Yue110d252022-05-05 10:19:22 +08002192
Jerry Yuf4b27e42022-03-30 17:32:21 +08002193cleanup:
2194
2195 MBEDTLS_SSL_DEBUG_MSG( 2, ( "<= write server hello" ) );
2196 return( ret );
Jerry Yu5b64ae92022-03-30 17:15:02 +08002197}
2198
Jerry Yu23d1a252022-05-12 18:08:59 +08002199
2200/*
2201 * Handler for MBEDTLS_SSL_HELLO_RETRY_REQUEST
2202 */
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +02002203MBEDTLS_CHECK_RETURN_CRITICAL
Ronald Cron7b840462022-06-01 17:05:53 +02002204static int ssl_tls13_prepare_hello_retry_request( mbedtls_ssl_context *ssl )
Jerry Yu23d1a252022-05-12 18:08:59 +08002205{
2206 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
2207 if( ssl->handshake->hello_retry_request_count > 0 )
2208 {
2209 MBEDTLS_SSL_DEBUG_MSG( 1, ( "Too many HRRs" ) );
2210 MBEDTLS_SSL_PEND_FATAL_ALERT( MBEDTLS_SSL_ALERT_MSG_HANDSHAKE_FAILURE,
2211 MBEDTLS_ERR_SSL_HANDSHAKE_FAILURE );
2212 return( MBEDTLS_ERR_SSL_HANDSHAKE_FAILURE );
2213 }
2214
2215 /*
2216 * Create stateless transcript hash for HRR
2217 */
2218 MBEDTLS_SSL_DEBUG_MSG( 4, ( "Reset transcript for HRR" ) );
2219 ret = mbedtls_ssl_reset_transcript_for_hrr( ssl );
2220 if( ret != 0 )
2221 {
2222 MBEDTLS_SSL_DEBUG_RET( 1, "mbedtls_ssl_reset_transcript_for_hrr", ret );
2223 return( ret );
2224 }
2225 mbedtls_ssl_session_reset_msg_layer( ssl, 0 );
2226
2227 return( 0 );
2228}
2229
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +02002230MBEDTLS_CHECK_RETURN_CRITICAL
Jerry Yu23d1a252022-05-12 18:08:59 +08002231static int ssl_tls13_write_hello_retry_request( mbedtls_ssl_context *ssl )
2232{
2233 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
2234 unsigned char *buf;
2235 size_t buf_len, msg_len;
2236
2237 MBEDTLS_SSL_DEBUG_MSG( 2, ( "=> write hello retry request" ) );
2238
Ronald Cron7b840462022-06-01 17:05:53 +02002239 MBEDTLS_SSL_PROC_CHK( ssl_tls13_prepare_hello_retry_request( ssl ) );
Jerry Yu23d1a252022-05-12 18:08:59 +08002240
2241 MBEDTLS_SSL_PROC_CHK( mbedtls_ssl_start_handshake_msg(
2242 ssl, MBEDTLS_SSL_HS_SERVER_HELLO,
2243 &buf, &buf_len ) );
2244
2245 MBEDTLS_SSL_PROC_CHK( ssl_tls13_write_server_hello_body( ssl, buf,
2246 buf + buf_len,
2247 &msg_len,
2248 1 ) );
2249 mbedtls_ssl_add_hs_msg_to_checksum(
2250 ssl, MBEDTLS_SSL_HS_SERVER_HELLO, buf, msg_len );
2251
2252
2253 MBEDTLS_SSL_PROC_CHK( mbedtls_ssl_finish_handshake_msg( ssl, buf_len,
2254 msg_len ) );
2255
2256 ssl->handshake->hello_retry_request_count++;
2257
Gabor Mezei7b39bf12022-05-24 16:04:14 +02002258#if defined(MBEDTLS_SSL_TLS1_3_COMPATIBILITY_MODE)
2259 /* The server sends a dummy change_cipher_spec record immediately
2260 * after its first handshake message. This may either be after
2261 * a ServerHello or a HelloRetryRequest.
2262 */
Gabor Mezei96ae9262022-06-28 11:45:18 +02002263 mbedtls_ssl_handshake_set_state(
Gabor Mezeif7044ea2022-06-28 16:01:49 +02002264 ssl, MBEDTLS_SSL_SERVER_CCS_AFTER_HELLO_RETRY_REQUEST );
Gabor Mezei7b39bf12022-05-24 16:04:14 +02002265#else
Jerry Yu23d1a252022-05-12 18:08:59 +08002266 mbedtls_ssl_handshake_set_state( ssl, MBEDTLS_SSL_CLIENT_HELLO );
Gabor Mezei7b39bf12022-05-24 16:04:14 +02002267#endif /* MBEDTLS_SSL_TLS1_3_COMPATIBILITY_MODE */
Jerry Yu23d1a252022-05-12 18:08:59 +08002268
2269cleanup:
2270 MBEDTLS_SSL_DEBUG_MSG( 2, ( "<= write hello retry request" ) );
2271 return( ret );
2272}
2273
Jerry Yu5b64ae92022-03-30 17:15:02 +08002274/*
Jerry Yu4d3841a2022-04-16 12:37:19 +08002275 * Handler for MBEDTLS_SSL_ENCRYPTED_EXTENSIONS
2276 */
Jerry Yu4d3841a2022-04-16 12:37:19 +08002277
2278/*
2279 * struct {
2280 * Extension extensions<0..2 ^ 16 - 1>;
2281 * } EncryptedExtensions;
2282 *
2283 */
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +02002284MBEDTLS_CHECK_RETURN_CRITICAL
Jerry Yu4d3841a2022-04-16 12:37:19 +08002285static int ssl_tls13_write_encrypted_extensions_body( mbedtls_ssl_context *ssl,
2286 unsigned char *buf,
2287 unsigned char *end,
2288 size_t *out_len )
2289{
XiaokangQianacb39922022-06-17 10:18:48 +00002290 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Jerry Yu4d3841a2022-04-16 12:37:19 +08002291 unsigned char *p = buf;
2292 size_t extensions_len = 0;
Jerry Yu8937eb42022-05-03 12:12:14 +08002293 unsigned char *p_extensions_len;
XiaokangQianacb39922022-06-17 10:18:48 +00002294 size_t output_len;
Jerry Yu9da5e5a2022-05-03 15:46:09 +08002295
Jerry Yu4d3841a2022-04-16 12:37:19 +08002296 *out_len = 0;
2297
2298 MBEDTLS_SSL_CHK_BUF_PTR( p, end, 2 );
Jerry Yu8937eb42022-05-03 12:12:14 +08002299 p_extensions_len = p;
Jerry Yu4d3841a2022-04-16 12:37:19 +08002300 p += 2;
2301
Jerry Yu8937eb42022-05-03 12:12:14 +08002302 ((void) ssl);
XiaokangQianacb39922022-06-17 10:18:48 +00002303 ((void) ret);
2304 ((void) output_len);
2305
2306#if defined(MBEDTLS_SSL_ALPN)
2307 ret = mbedtls_ssl_write_alpn_ext( ssl, p, end, &output_len );
2308 if( ret != 0 )
2309 return( ret );
XiaokangQian95d5f542022-06-24 02:29:26 +00002310 p += output_len;
XiaokangQianacb39922022-06-17 10:18:48 +00002311#endif /* MBEDTLS_SSL_ALPN */
Jerry Yu4d3841a2022-04-16 12:37:19 +08002312
Jerry Yu8937eb42022-05-03 12:12:14 +08002313 extensions_len = ( p - p_extensions_len ) - 2;
2314 MBEDTLS_PUT_UINT16_BE( extensions_len, p_extensions_len, 0 );
2315
2316 *out_len = p - buf;
Jerry Yu4d3841a2022-04-16 12:37:19 +08002317
2318 MBEDTLS_SSL_DEBUG_BUF( 4, "encrypted extensions", buf, *out_len );
2319
2320 return( 0 );
2321}
2322
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +02002323MBEDTLS_CHECK_RETURN_CRITICAL
Jerry Yu4d3841a2022-04-16 12:37:19 +08002324static int ssl_tls13_write_encrypted_extensions( mbedtls_ssl_context *ssl )
2325{
2326 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
2327 unsigned char *buf;
Jerry Yu39730a72022-05-03 12:14:04 +08002328 size_t buf_len, msg_len;
Jerry Yu4d3841a2022-04-16 12:37:19 +08002329
Gabor Mezei54719122022-06-28 11:34:56 +02002330 mbedtls_ssl_set_outbound_transform( ssl,
2331 ssl->handshake->transform_handshake );
2332 MBEDTLS_SSL_DEBUG_MSG(
2333 3, ( "switching to handshake transform for outbound data" ) );
2334
Jerry Yuab452cc2022-04-28 15:27:08 +08002335 MBEDTLS_SSL_DEBUG_MSG( 2, ( "=> write encrypted extensions" ) );
Jerry Yu4d3841a2022-04-16 12:37:19 +08002336
Jerry Yu4d3841a2022-04-16 12:37:19 +08002337 MBEDTLS_SSL_PROC_CHK( mbedtls_ssl_start_handshake_msg( ssl,
2338 MBEDTLS_SSL_HS_ENCRYPTED_EXTENSIONS, &buf, &buf_len ) );
2339
2340 MBEDTLS_SSL_PROC_CHK( ssl_tls13_write_encrypted_extensions_body(
2341 ssl, buf, buf + buf_len, &msg_len ) );
2342
2343 mbedtls_ssl_add_hs_msg_to_checksum(
2344 ssl, MBEDTLS_SSL_HS_ENCRYPTED_EXTENSIONS, buf, msg_len );
2345
Jerry Yu4d3841a2022-04-16 12:37:19 +08002346 MBEDTLS_SSL_PROC_CHK( mbedtls_ssl_finish_handshake_msg(
2347 ssl, buf_len, msg_len ) );
2348
Jerry Yu8937eb42022-05-03 12:12:14 +08002349#if defined(MBEDTLS_KEY_EXCHANGE_WITH_CERT_ENABLED)
Ronald Cron79907712022-07-20 17:05:29 +02002350 if( mbedtls_ssl_tls13_key_exchange_mode_with_psk( ssl ) )
Jerry Yu8937eb42022-05-03 12:12:14 +08002351 mbedtls_ssl_handshake_set_state( ssl, MBEDTLS_SSL_SERVER_FINISHED );
2352 else
XiaokangQiana987e1d2022-05-07 01:25:58 +00002353 mbedtls_ssl_handshake_set_state( ssl, MBEDTLS_SSL_CERTIFICATE_REQUEST );
Jerry Yu8937eb42022-05-03 12:12:14 +08002354#else
2355 mbedtls_ssl_handshake_set_state( ssl, MBEDTLS_SSL_SERVER_FINISHED );
2356#endif
2357
Jerry Yu4d3841a2022-04-16 12:37:19 +08002358cleanup:
2359
Jerry Yuab452cc2022-04-28 15:27:08 +08002360 MBEDTLS_SSL_DEBUG_MSG( 2, ( "<= write encrypted extensions" ) );
Jerry Yu4d3841a2022-04-16 12:37:19 +08002361 return( ret );
2362}
2363
XiaokangQiancec9ae62022-05-06 07:28:50 +00002364#if defined(MBEDTLS_KEY_EXCHANGE_WITH_CERT_ENABLED)
XiaokangQiana987e1d2022-05-07 01:25:58 +00002365#define SSL_CERTIFICATE_REQUEST_SEND_REQUEST 0
2366#define SSL_CERTIFICATE_REQUEST_SKIP 1
2367/* Coordination:
2368 * Check whether a CertificateRequest message should be written.
2369 * Returns a negative code on failure, or
2370 * - SSL_CERTIFICATE_REQUEST_SEND_REQUEST
2371 * - SSL_CERTIFICATE_REQUEST_SKIP
2372 * indicating if the writing of the CertificateRequest
2373 * should be skipped or not.
2374 */
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +02002375MBEDTLS_CHECK_RETURN_CRITICAL
XiaokangQiana987e1d2022-05-07 01:25:58 +00002376static int ssl_tls13_certificate_request_coordinate( mbedtls_ssl_context *ssl )
2377{
2378 int authmode;
2379
XiaokangQian40a35232022-05-07 09:02:40 +00002380#if defined(MBEDTLS_SSL_SERVER_NAME_INDICATION)
2381 if( ssl->handshake->sni_authmode != MBEDTLS_SSL_VERIFY_UNSET )
2382 authmode = ssl->handshake->sni_authmode;
2383 else
2384#endif
XiaokangQiana987e1d2022-05-07 01:25:58 +00002385 authmode = ssl->conf->authmode;
2386
2387 if( authmode == MBEDTLS_SSL_VERIFY_NONE )
2388 return( SSL_CERTIFICATE_REQUEST_SKIP );
2389
XiaokangQianc3017f62022-05-13 05:55:41 +00002390 ssl->handshake->certificate_request_sent = 1;
XiaokangQian189ded22022-05-10 08:12:17 +00002391
XiaokangQiana987e1d2022-05-07 01:25:58 +00002392 return( SSL_CERTIFICATE_REQUEST_SEND_REQUEST );
2393}
2394
XiaokangQiancec9ae62022-05-06 07:28:50 +00002395/*
2396 * struct {
2397 * opaque certificate_request_context<0..2^8-1>;
2398 * Extension extensions<2..2^16-1>;
2399 * } CertificateRequest;
2400 *
2401 */
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +02002402MBEDTLS_CHECK_RETURN_CRITICAL
XiaokangQiancec9ae62022-05-06 07:28:50 +00002403static int ssl_tls13_write_certificate_request_body( mbedtls_ssl_context *ssl,
2404 unsigned char *buf,
2405 const unsigned char *end,
2406 size_t *out_len )
2407{
2408 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
2409 unsigned char *p = buf;
XiaokangQianec6efb92022-05-06 09:53:10 +00002410 size_t output_len = 0;
XiaokangQiancec9ae62022-05-06 07:28:50 +00002411 unsigned char *p_extensions_len;
2412
2413 *out_len = 0;
2414
2415 /* Check if we have enough space:
2416 * - certificate_request_context (1 byte)
2417 * - extensions length (2 bytes)
2418 */
2419 MBEDTLS_SSL_CHK_BUF_PTR( p, end, 3 );
2420
2421 /*
2422 * Write certificate_request_context
2423 */
2424 /*
2425 * We use a zero length context for the normal handshake
2426 * messages. For post-authentication handshake messages
2427 * this request context would be set to a non-zero value.
2428 */
2429 *p++ = 0x0;
2430
2431 /*
2432 * Write extensions
2433 */
2434 /* The extensions must contain the signature_algorithms. */
2435 p_extensions_len = p;
2436 p += 2;
XiaokangQianec6efb92022-05-06 09:53:10 +00002437 ret = mbedtls_ssl_write_sig_alg_ext( ssl, p, end, &output_len );
XiaokangQiancec9ae62022-05-06 07:28:50 +00002438 if( ret != 0 )
2439 return( ret );
2440
XiaokangQianec6efb92022-05-06 09:53:10 +00002441 p += output_len;
XiaokangQianaad9b0a2022-05-09 01:11:21 +00002442 MBEDTLS_PUT_UINT16_BE( p - p_extensions_len - 2, p_extensions_len, 0 );
XiaokangQiancec9ae62022-05-06 07:28:50 +00002443
2444 *out_len = p - buf;
2445
2446 return( 0 );
2447}
2448
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +02002449MBEDTLS_CHECK_RETURN_CRITICAL
XiaokangQiancec9ae62022-05-06 07:28:50 +00002450static int ssl_tls13_write_certificate_request( mbedtls_ssl_context *ssl )
2451{
2452 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
2453
2454 MBEDTLS_SSL_DEBUG_MSG( 2, ( "=> write certificate request" ) );
2455
2456 MBEDTLS_SSL_PROC_CHK_NEG( ssl_tls13_certificate_request_coordinate( ssl ) );
2457
2458 if( ret == SSL_CERTIFICATE_REQUEST_SEND_REQUEST )
2459 {
2460 unsigned char *buf;
2461 size_t buf_len, msg_len;
2462
2463 MBEDTLS_SSL_PROC_CHK( mbedtls_ssl_start_handshake_msg( ssl,
2464 MBEDTLS_SSL_HS_CERTIFICATE_REQUEST, &buf, &buf_len ) );
2465
2466 MBEDTLS_SSL_PROC_CHK( ssl_tls13_write_certificate_request_body(
2467 ssl, buf, buf + buf_len, &msg_len ) );
2468
2469 mbedtls_ssl_add_hs_msg_to_checksum(
2470 ssl, MBEDTLS_SSL_HS_CERTIFICATE_REQUEST, buf, msg_len );
2471
2472 MBEDTLS_SSL_PROC_CHK( mbedtls_ssl_finish_handshake_msg(
2473 ssl, buf_len, msg_len ) );
2474 }
2475 else if( ret == SSL_CERTIFICATE_REQUEST_SKIP )
2476 {
2477 MBEDTLS_SSL_DEBUG_MSG( 2, ( "<= skip write certificate request" ) );
2478 ret = 0;
2479 }
2480 else
2481 {
2482 MBEDTLS_SSL_DEBUG_MSG( 1, ( "should never happen" ) );
2483 ret = MBEDTLS_ERR_SSL_INTERNAL_ERROR;
2484 goto cleanup;
2485 }
2486
2487 mbedtls_ssl_handshake_set_state( ssl, MBEDTLS_SSL_SERVER_CERTIFICATE );
2488cleanup:
2489
2490 MBEDTLS_SSL_DEBUG_MSG( 2, ( "<= write certificate request" ) );
2491 return( ret );
2492}
XiaokangQiancec9ae62022-05-06 07:28:50 +00002493
Jerry Yu4d3841a2022-04-16 12:37:19 +08002494/*
Jerry Yuc6e6dbf2022-04-16 19:42:57 +08002495 * Handler for MBEDTLS_SSL_SERVER_CERTIFICATE
Jerry Yu83da34e2022-04-16 13:59:52 +08002496 */
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +02002497MBEDTLS_CHECK_RETURN_CRITICAL
Jerry Yuc6e6dbf2022-04-16 19:42:57 +08002498static int ssl_tls13_write_server_certificate( mbedtls_ssl_context *ssl )
Jerry Yu83da34e2022-04-16 13:59:52 +08002499{
Jerry Yu5a26f302022-05-10 20:46:40 +08002500 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
XiaokangQianfb665a82022-06-15 03:57:21 +00002501
2502#if defined(MBEDTLS_X509_CRT_PARSE_C)
2503 if( ( ssl_tls13_pick_key_cert( ssl ) != 0 ) ||
2504 mbedtls_ssl_own_cert( ssl ) == NULL )
Jerry Yu5a26f302022-05-10 20:46:40 +08002505 {
Jerry Yub89125b2022-05-13 15:45:49 +08002506 MBEDTLS_SSL_DEBUG_MSG( 2, ( "No certificate available." ) );
Jerry Yu5a26f302022-05-10 20:46:40 +08002507 MBEDTLS_SSL_PEND_FATAL_ALERT( MBEDTLS_SSL_ALERT_MSG_HANDSHAKE_FAILURE,
2508 MBEDTLS_ERR_SSL_HANDSHAKE_FAILURE);
Jerry Yuf1c3c4e2022-05-10 11:36:35 +08002509 return( MBEDTLS_ERR_SSL_HANDSHAKE_FAILURE );
Jerry Yu5a26f302022-05-10 20:46:40 +08002510 }
XiaokangQianfb665a82022-06-15 03:57:21 +00002511#endif /* MBEDTLS_X509_CRT_PARSE_C */
Jerry Yu5a26f302022-05-10 20:46:40 +08002512
Jerry Yuf1c3c4e2022-05-10 11:36:35 +08002513 ret = mbedtls_ssl_tls13_write_certificate( ssl );
2514 if( ret != 0 )
Jerry Yu1bff7112022-04-16 14:29:11 +08002515 return( ret );
Jerry Yu1bff7112022-04-16 14:29:11 +08002516 mbedtls_ssl_handshake_set_state( ssl, MBEDTLS_SSL_CERTIFICATE_VERIFY );
2517 return( 0 );
Jerry Yu83da34e2022-04-16 13:59:52 +08002518}
2519
2520/*
Jerry Yuc6e6dbf2022-04-16 19:42:57 +08002521 * Handler for MBEDTLS_SSL_CERTIFICATE_VERIFY
Jerry Yu83da34e2022-04-16 13:59:52 +08002522 */
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +02002523MBEDTLS_CHECK_RETURN_CRITICAL
Jerry Yuc6e6dbf2022-04-16 19:42:57 +08002524static int ssl_tls13_write_certificate_verify( mbedtls_ssl_context *ssl )
Jerry Yu83da34e2022-04-16 13:59:52 +08002525{
Jerry Yu4ff9e142022-04-16 14:57:49 +08002526 int ret = mbedtls_ssl_tls13_write_certificate_verify( ssl );
Jerry Yuf1c3c4e2022-05-10 11:36:35 +08002527 if( ret != 0 )
Jerry Yu4ff9e142022-04-16 14:57:49 +08002528 return( ret );
Jerry Yu4ff9e142022-04-16 14:57:49 +08002529 mbedtls_ssl_handshake_set_state( ssl, MBEDTLS_SSL_SERVER_FINISHED );
2530 return( 0 );
Jerry Yu83da34e2022-04-16 13:59:52 +08002531}
Jerry Yu5a26f302022-05-10 20:46:40 +08002532#endif /* MBEDTLS_KEY_EXCHANGE_WITH_CERT_ENABLED */
Jerry Yu83da34e2022-04-16 13:59:52 +08002533
2534/*
Jerry Yud6e253d2022-05-18 13:59:24 +08002535 * Handler for MBEDTLS_SSL_SERVER_FINISHED
Jerry Yu69dd8d42022-04-16 12:51:26 +08002536 */
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +02002537MBEDTLS_CHECK_RETURN_CRITICAL
Jerry Yu4d8567f2022-04-17 10:57:57 +08002538static int ssl_tls13_write_server_finished( mbedtls_ssl_context *ssl )
Jerry Yu69dd8d42022-04-16 12:51:26 +08002539{
Jerry Yud6e253d2022-05-18 13:59:24 +08002540 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Jerry Yu27bdc7c2022-04-16 13:33:27 +08002541
2542 ret = mbedtls_ssl_tls13_write_finished_message( ssl );
2543 if( ret != 0 )
2544 return( ret );
2545
Jerry Yue3d67cb2022-05-19 15:33:10 +08002546 ret = mbedtls_ssl_tls13_compute_application_transform( ssl );
2547 if( ret != 0 )
2548 {
2549 MBEDTLS_SSL_PEND_FATAL_ALERT(
2550 MBEDTLS_SSL_ALERT_MSG_HANDSHAKE_FAILURE,
2551 MBEDTLS_ERR_SSL_HANDSHAKE_FAILURE );
2552 return( ret );
2553 }
XiaokangQianc3017f62022-05-13 05:55:41 +00002554
Ronald Cron63dc4632022-05-31 14:41:53 +02002555 MBEDTLS_SSL_DEBUG_MSG( 1, ( "Switch to handshake keys for inbound traffic" ) );
2556 mbedtls_ssl_set_inbound_transform( ssl, ssl->handshake->transform_handshake );
XiaokangQian189ded22022-05-10 08:12:17 +00002557
Ronald Cron63dc4632022-05-31 14:41:53 +02002558 if( ssl->handshake->certificate_request_sent )
2559 mbedtls_ssl_handshake_set_state( ssl, MBEDTLS_SSL_CLIENT_CERTIFICATE );
XiaokangQian189ded22022-05-10 08:12:17 +00002560 else
Ronald Cron19385882022-06-15 16:26:13 +02002561 {
2562 MBEDTLS_SSL_DEBUG_MSG( 2, ( "skip parse certificate" ) );
2563 MBEDTLS_SSL_DEBUG_MSG( 2, ( "skip parse certificate verify" ) );
XiaokangQian189ded22022-05-10 08:12:17 +00002564 mbedtls_ssl_handshake_set_state( ssl, MBEDTLS_SSL_CLIENT_FINISHED );
Ronald Cron19385882022-06-15 16:26:13 +02002565 }
Ronald Cron63dc4632022-05-31 14:41:53 +02002566
Jerry Yu27bdc7c2022-04-16 13:33:27 +08002567 return( 0 );
Jerry Yu69dd8d42022-04-16 12:51:26 +08002568}
2569
2570/*
Jerry Yud6e253d2022-05-18 13:59:24 +08002571 * Handler for MBEDTLS_SSL_CLIENT_FINISHED
Jerry Yu69dd8d42022-04-16 12:51:26 +08002572 */
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +02002573MBEDTLS_CHECK_RETURN_CRITICAL
Jerry Yu4d8567f2022-04-17 10:57:57 +08002574static int ssl_tls13_process_client_finished( mbedtls_ssl_context *ssl )
Jerry Yu69dd8d42022-04-16 12:51:26 +08002575{
Jerry Yud6e253d2022-05-18 13:59:24 +08002576 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
2577
Jerry Yuff226982022-04-16 16:52:57 +08002578 ret = mbedtls_ssl_tls13_process_finished_message( ssl );
2579 if( ret != 0 )
2580 return( ret );
2581
Jerry Yu466dda82022-09-13 11:20:20 +08002582 ret = mbedtls_ssl_tls13_compute_resumption_master_secret( ssl );
Jerry Yue3d67cb2022-05-19 15:33:10 +08002583 if( ret != 0 )
2584 {
2585 MBEDTLS_SSL_DEBUG_RET( 1,
Jerry Yu466dda82022-09-13 11:20:20 +08002586 "mbedtls_ssl_tls13_compute_resumption_master_secret", ret );
Jerry Yue3d67cb2022-05-19 15:33:10 +08002587 }
2588
Jerry Yu03ed50b2022-04-16 17:13:30 +08002589 mbedtls_ssl_handshake_set_state( ssl, MBEDTLS_SSL_HANDSHAKE_WRAPUP );
Jerry Yuff226982022-04-16 16:52:57 +08002590 return( 0 );
Jerry Yu69dd8d42022-04-16 12:51:26 +08002591}
2592
2593/*
Jerry Yud6e253d2022-05-18 13:59:24 +08002594 * Handler for MBEDTLS_SSL_HANDSHAKE_WRAPUP
Jerry Yu69dd8d42022-04-16 12:51:26 +08002595 */
Manuel Pégourié-Gonnarda3115dc2022-06-17 10:52:54 +02002596MBEDTLS_CHECK_RETURN_CRITICAL
Jerry Yu4d8567f2022-04-17 10:57:57 +08002597static int ssl_tls13_handshake_wrapup( mbedtls_ssl_context *ssl )
Jerry Yu69dd8d42022-04-16 12:51:26 +08002598{
Jerry Yu03ed50b2022-04-16 17:13:30 +08002599 MBEDTLS_SSL_DEBUG_MSG( 2, ( "handshake: done" ) );
2600
Jerry Yu03ed50b2022-04-16 17:13:30 +08002601 mbedtls_ssl_tls13_handshake_wrapup( ssl );
Jerry Yue67bef42022-07-07 07:29:42 +00002602
2603#if defined(MBEDTLS_SSL_SESSION_TICKETS)
Jerry Yufca4d572022-07-21 10:37:48 +08002604 mbedtls_ssl_handshake_set_state( ssl, MBEDTLS_SSL_NEW_SESSION_TICKET );
2605#else
Jerry Yu03ed50b2022-04-16 17:13:30 +08002606 mbedtls_ssl_handshake_set_state( ssl, MBEDTLS_SSL_HANDSHAKE_OVER );
Jerry Yufca4d572022-07-21 10:37:48 +08002607#endif
Jerry Yu03ed50b2022-04-16 17:13:30 +08002608 return( 0 );
Jerry Yu69dd8d42022-04-16 12:51:26 +08002609}
2610
2611/*
Jerry Yue67bef42022-07-07 07:29:42 +00002612 * Handler for MBEDTLS_SSL_NEW_SESSION_TICKET
2613 */
2614#define SSL_NEW_SESSION_TICKET_SKIP 0
2615#define SSL_NEW_SESSION_TICKET_WRITE 1
2616MBEDTLS_CHECK_RETURN_CRITICAL
2617static int ssl_tls13_write_new_session_ticket_coordinate( mbedtls_ssl_context *ssl )
2618{
2619 /* Check whether the use of session tickets is enabled */
Jerry Yud0766ec2022-09-22 10:46:57 +08002620 if( ssl->conf->f_ticket_write == NULL )
Jerry Yue67bef42022-07-07 07:29:42 +00002621 {
Jerry Yud0766ec2022-09-22 10:46:57 +08002622 MBEDTLS_SSL_DEBUG_MSG( 2, ( "NewSessionTicket: disabled,"
2623 " callback is not set" ) );
2624 return( SSL_NEW_SESSION_TICKET_SKIP );
2625 }
2626 if( ssl->conf->new_session_tickets_count == 0 )
2627 {
2628 MBEDTLS_SSL_DEBUG_MSG( 2, ( "NewSessionTicket: disabled,"
2629 " configured count is zero" ) );
2630 return( SSL_NEW_SESSION_TICKET_SKIP );
2631 }
2632
2633 if( ssl->handshake->new_session_tickets_count == 0 )
2634 {
2635 MBEDTLS_SSL_DEBUG_MSG( 2, ( "NewSessionTicket: all tickets have "
2636 "been sent." ) );
Jerry Yue67bef42022-07-07 07:29:42 +00002637 return( SSL_NEW_SESSION_TICKET_SKIP );
2638 }
2639
Jerry Yue67bef42022-07-07 07:29:42 +00002640 return( SSL_NEW_SESSION_TICKET_WRITE );
2641}
2642
2643#if defined(MBEDTLS_SSL_SESSION_TICKETS)
2644MBEDTLS_CHECK_RETURN_CRITICAL
2645static int ssl_tls13_prepare_new_session_ticket( mbedtls_ssl_context *ssl,
2646 unsigned char *ticket_nonce,
2647 size_t ticket_nonce_size )
2648{
2649 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
2650 mbedtls_ssl_session *session = ssl->session;
2651 mbedtls_ssl_ciphersuite_t *ciphersuite_info;
2652 psa_algorithm_t psa_hash_alg;
2653 int hash_length;
2654
2655 MBEDTLS_SSL_DEBUG_MSG( 2, ( "=> prepare NewSessionTicket msg" ) );
2656
2657#if defined(MBEDTLS_HAVE_TIME)
2658 session->start = mbedtls_time( NULL );
2659#endif
2660
2661 /* Generate ticket_age_add */
2662 if( ( ret = ssl->conf->f_rng( ssl->conf->p_rng,
Jerry Yufca4d572022-07-21 10:37:48 +08002663 (unsigned char *) &session->ticket_age_add,
Jerry Yue67bef42022-07-07 07:29:42 +00002664 sizeof( session->ticket_age_add ) ) != 0 ) )
2665 {
2666 MBEDTLS_SSL_DEBUG_RET( 1, "generate_ticket_age_add", ret );
2667 return( ret );
2668 }
2669 MBEDTLS_SSL_DEBUG_MSG( 3, ( "ticket_age_add: %u",
Jerry Yufca4d572022-07-21 10:37:48 +08002670 (unsigned int)session->ticket_age_add ) );
Jerry Yue67bef42022-07-07 07:29:42 +00002671
2672 /* Generate ticket_nonce */
2673 ret = ssl->conf->f_rng( ssl->conf->p_rng, ticket_nonce, ticket_nonce_size );
2674 if( ret != 0 )
2675 {
2676 MBEDTLS_SSL_DEBUG_RET( 1, "generate_ticket_nonce", ret );
2677 return( ret );
2678 }
2679 MBEDTLS_SSL_DEBUG_BUF( 3, "ticket_nonce:",
2680 ticket_nonce, ticket_nonce_size );
2681
2682 ciphersuite_info =
2683 (mbedtls_ssl_ciphersuite_t *) ssl->handshake->ciphersuite_info;
2684 psa_hash_alg = mbedtls_psa_translate_md( ciphersuite_info->mac );
2685 hash_length = PSA_HASH_LENGTH( psa_hash_alg );
Jerry Yufca4d572022-07-21 10:37:48 +08002686 if( hash_length == -1 ||
Jerry Yu61197152022-07-21 16:28:02 +08002687 (size_t)hash_length > sizeof( session->resumption_key ) )
Jerry Yufca4d572022-07-21 10:37:48 +08002688 {
Jerry Yue67bef42022-07-07 07:29:42 +00002689 return( MBEDTLS_ERR_SSL_INTERNAL_ERROR );
Jerry Yufca4d572022-07-21 10:37:48 +08002690 }
2691
Jerry Yue67bef42022-07-07 07:29:42 +00002692 /* In this code the psk key length equals the length of the hash */
2693 session->resumption_key_len = hash_length;
2694 session->ciphersuite = ciphersuite_info->id;
2695
2696 /* Compute resumption key
2697 *
2698 * HKDF-Expand-Label( resumption_master_secret,
2699 * "resumption", ticket_nonce, Hash.length )
2700 */
2701 ret = mbedtls_ssl_tls13_hkdf_expand_label(
2702 psa_hash_alg,
2703 session->app_secrets.resumption_master_secret,
2704 hash_length,
2705 MBEDTLS_SSL_TLS1_3_LBL_WITH_LEN( resumption ),
2706 ticket_nonce,
2707 ticket_nonce_size,
2708 session->resumption_key,
2709 hash_length );
2710
2711 if( ret != 0 )
2712 {
2713 MBEDTLS_SSL_DEBUG_RET( 2,
2714 "Creating the ticket-resumed PSK failed",
2715 ret );
2716 return ( ret );
2717 }
2718 MBEDTLS_SSL_DEBUG_BUF( 3, "Ticket-resumed PSK",
2719 session->resumption_key,
2720 session->resumption_key_len );
2721
2722 MBEDTLS_SSL_DEBUG_BUF( 3, "resumption_master_secret",
2723 session->app_secrets.resumption_master_secret,
2724 hash_length );
2725
2726 return( 0 );
2727}
2728
2729/* This function creates a NewSessionTicket message in the following format:
2730 *
2731 * struct {
2732 * uint32 ticket_lifetime;
2733 * uint32 ticket_age_add;
2734 * opaque ticket_nonce<0..255>;
2735 * opaque ticket<1..2^16-1>;
2736 * Extension extensions<0..2^16-2>;
2737 * } NewSessionTicket;
2738 *
2739 * The ticket inside the NewSessionTicket message is an encrypted container
2740 * carrying the necessary information so that the server is later able to
2741 * re-start the communication.
2742 *
2743 * The following fields are placed inside the ticket by the
2744 * f_ticket_write() function:
2745 *
2746 * - creation time (start)
2747 * - flags (flags)
2748 * - age add (ticket_age_add)
2749 * - key (key)
2750 * - key length (key_len)
2751 * - ciphersuite (ciphersuite)
2752 */
2753MBEDTLS_CHECK_RETURN_CRITICAL
2754static int ssl_tls13_write_new_session_ticket_body( mbedtls_ssl_context *ssl,
2755 unsigned char *buf,
2756 unsigned char *end,
2757 size_t *out_len,
2758 unsigned char *ticket_nonce,
2759 size_t ticket_nonce_size )
2760{
2761 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
2762 unsigned char *p = buf;
2763 mbedtls_ssl_session *session = ssl->session;
2764 size_t ticket_len;
2765 uint32_t ticket_lifetime;
2766
2767 *out_len = 0;
2768 MBEDTLS_SSL_DEBUG_MSG( 2, ( "=> write NewSessionTicket msg" ) );
2769
2770 /*
2771 * ticket_lifetime 4 bytes
2772 * ticket_age_add 4 bytes
2773 * ticket_nonce 1 + ticket_nonce_size bytes
2774 * ticket >=2 bytes
2775 */
2776 MBEDTLS_SSL_CHK_BUF_PTR( p, end, 4 + 4 + 1 + ticket_nonce_size + 2 );
2777
2778 /* Generate ticket and ticket_lifetime */
2779 ret = ssl->conf->f_ticket_write( ssl->conf->p_ticket,
2780 session,
2781 p + 9 + ticket_nonce_size + 2,
2782 end,
2783 &ticket_len,
2784 &ticket_lifetime);
2785 if( ret != 0 )
2786 {
2787 MBEDTLS_SSL_DEBUG_RET( 1, "write_ticket", ret );
2788 return( ret );
2789 }
2790 /* RFC 8446 4.6.1
2791 * ticket_lifetime: Indicates the lifetime in seconds as a 32-bit
2792 * unsigned integer in network byte order from the time of ticket
2793 * issuance. Servers MUST NOT use any value greater than
2794 * 604800 seconds (7 days). The value of zero indicates that the
2795 * ticket should be discarded immediately. Clients MUST NOT cache
2796 * tickets for longer than 7 days, regardless of the ticket_lifetime,
2797 * and MAY delete tickets earlier based on local policy. A server
2798 * MAY treat a ticket as valid for a shorter period of time than what
2799 * is stated in the ticket_lifetime.
2800 */
2801 ticket_lifetime %= 604800;
2802 MBEDTLS_PUT_UINT32_BE( ticket_lifetime, p, 0 );
2803 MBEDTLS_SSL_DEBUG_MSG( 3, ( "ticket_lifetime: %u",
2804 ( unsigned int )ticket_lifetime ) );
2805
2806 /* Write ticket_age_add */
2807 MBEDTLS_PUT_UINT32_BE( session->ticket_age_add, p, 4 );
2808 MBEDTLS_SSL_DEBUG_MSG( 3, ( "ticket_age_add: %u",
2809 ( unsigned int )session->ticket_age_add ) );
2810
2811 /* Write ticket_nonce */
2812 p[8] = ( unsigned char )ticket_nonce_size;
2813 if( ticket_nonce_size > 0 )
2814 {
2815 memcpy( p + 9, ticket_nonce, ticket_nonce_size );
2816 }
2817 p += 9 + ticket_nonce_size;
2818
2819 /* Write ticket */
2820 MBEDTLS_PUT_UINT16_BE( ticket_len, p, 0 );
2821 p += 2;
2822 MBEDTLS_SSL_DEBUG_BUF( 4, "ticket", p, ticket_len);
2823 p += ticket_len;
2824
2825 /* Ticket Extensions
2826 *
2827 * Note: We currently don't have any extensions.
2828 * Set length to zero.
2829 */
2830 MBEDTLS_SSL_CHK_BUF_PTR( p, end, 2 );
2831 MBEDTLS_PUT_UINT16_BE( 0, p, 0 );
2832 p += 2;
2833
2834 *out_len = p - buf;
2835 MBEDTLS_SSL_DEBUG_BUF( 4, "ticket", buf, *out_len );
2836 MBEDTLS_SSL_DEBUG_MSG( 2, ( "<= write new session ticket" ) );
2837
2838 return( 0 );
2839}
2840
2841/*
2842 * Handler for MBEDTLS_SSL_NEW_SESSION_TICKET
2843 */
2844static int ssl_tls13_write_new_session_ticket( mbedtls_ssl_context *ssl )
2845{
2846 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
2847
2848 MBEDTLS_SSL_PROC_CHK_NEG( ssl_tls13_write_new_session_ticket_coordinate( ssl ) );
2849
2850 if( ret == SSL_NEW_SESSION_TICKET_WRITE )
2851 {
2852 unsigned char ticket_nonce[MBEDTLS_SSL_TLS1_3_TICKET_NONCE_LENGTH];
2853 unsigned char *buf;
2854 size_t buf_len, msg_len;
2855
2856 MBEDTLS_SSL_PROC_CHK( ssl_tls13_prepare_new_session_ticket(
2857 ssl, ticket_nonce, sizeof( ticket_nonce ) ) );
2858
2859 MBEDTLS_SSL_PROC_CHK( mbedtls_ssl_start_handshake_msg( ssl,
2860 MBEDTLS_SSL_HS_NEW_SESSION_TICKET, &buf, &buf_len ) );
2861
2862 MBEDTLS_SSL_PROC_CHK( ssl_tls13_write_new_session_ticket_body(
2863 ssl, buf, buf + buf_len, &msg_len,
2864 ticket_nonce, sizeof( ticket_nonce ) ) );
2865
Jerry Yue67bef42022-07-07 07:29:42 +00002866 MBEDTLS_SSL_PROC_CHK( mbedtls_ssl_finish_handshake_msg(
2867 ssl, buf_len, msg_len ) );
Jerry Yufca4d572022-07-21 10:37:48 +08002868
Jerry Yub7e3fa72022-09-22 11:07:18 +08002869 ssl->handshake->new_session_tickets_count--;
2870
Jerry Yufca4d572022-07-21 10:37:48 +08002871 mbedtls_ssl_handshake_set_state( ssl,
2872 MBEDTLS_SSL_NEW_SESSION_TICKET_FLUSH );
Jerry Yue67bef42022-07-07 07:29:42 +00002873 }
2874 else
2875 {
2876 mbedtls_ssl_handshake_set_state( ssl, MBEDTLS_SSL_HANDSHAKE_OVER );
2877 }
2878
Jerry Yue67bef42022-07-07 07:29:42 +00002879cleanup:
2880
2881 return( ret );
2882}
2883#endif /* MBEDTLS_SSL_SESSION_TICKETS */
2884
2885/*
XiaokangQiane8ff3502022-04-22 02:34:40 +00002886 * TLS 1.3 State Machine -- server side
XiaokangQian7807f9f2022-02-15 10:04:37 +00002887 */
Jerry Yu27561932021-08-27 17:07:38 +08002888int mbedtls_ssl_tls13_handshake_server_step( mbedtls_ssl_context *ssl )
Jerry Yub9930e72021-08-06 17:11:51 +08002889{
XiaokangQian08037552022-04-20 07:16:41 +00002890 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
XiaokangQian7807f9f2022-02-15 10:04:37 +00002891
2892 if( ssl->state == MBEDTLS_SSL_HANDSHAKE_OVER || ssl->handshake == NULL )
2893 return( MBEDTLS_ERR_SSL_BAD_INPUT_DATA );
2894
Jerry Yue3b34122021-09-28 17:53:35 +08002895 MBEDTLS_SSL_DEBUG_MSG( 2, ( "tls13 server state: %s(%d)",
2896 mbedtls_ssl_states_str( ssl->state ),
2897 ssl->state ) );
Jerry Yu6e81b272021-09-27 11:16:17 +08002898
XiaokangQian7807f9f2022-02-15 10:04:37 +00002899 switch( ssl->state )
2900 {
2901 /* start state */
2902 case MBEDTLS_SSL_HELLO_REQUEST:
XiaokangQian7807f9f2022-02-15 10:04:37 +00002903 mbedtls_ssl_handshake_set_state( ssl, MBEDTLS_SSL_CLIENT_HELLO );
XiaokangQian08037552022-04-20 07:16:41 +00002904 ret = 0;
XiaokangQian7807f9f2022-02-15 10:04:37 +00002905 break;
2906
XiaokangQian7807f9f2022-02-15 10:04:37 +00002907 case MBEDTLS_SSL_CLIENT_HELLO:
XiaokangQian4080a7f2022-04-11 09:55:18 +00002908 ret = ssl_tls13_process_client_hello( ssl );
XiaokangQian7807f9f2022-02-15 10:04:37 +00002909 if( ret != 0 )
XiaokangQian4080a7f2022-04-11 09:55:18 +00002910 MBEDTLS_SSL_DEBUG_RET( 1, "ssl_tls13_process_client_hello", ret );
Jerry Yuf41553b2022-05-09 22:20:30 +08002911 break;
XiaokangQian7807f9f2022-02-15 10:04:37 +00002912
Jerry Yuf41553b2022-05-09 22:20:30 +08002913 case MBEDTLS_SSL_HELLO_RETRY_REQUEST:
2914 ret = ssl_tls13_write_hello_retry_request( ssl );
2915 if( ret != 0 )
2916 {
2917 MBEDTLS_SSL_DEBUG_RET( 1, "ssl_tls13_write_hello_retry_request", ret );
2918 return( ret );
2919 }
XiaokangQian7807f9f2022-02-15 10:04:37 +00002920 break;
2921
Jerry Yu5b64ae92022-03-30 17:15:02 +08002922 case MBEDTLS_SSL_SERVER_HELLO:
2923 ret = ssl_tls13_write_server_hello( ssl );
2924 break;
2925
Xiaofei Baicba64af2022-02-15 10:00:56 +00002926 case MBEDTLS_SSL_ENCRYPTED_EXTENSIONS:
Jerry Yu4d3841a2022-04-16 12:37:19 +08002927 ret = ssl_tls13_write_encrypted_extensions( ssl );
Xiaofei Baicba64af2022-02-15 10:00:56 +00002928 if( ret != 0 )
2929 {
Jerry Yu4d3841a2022-04-16 12:37:19 +08002930 MBEDTLS_SSL_DEBUG_RET( 1, "ssl_tls13_write_encrypted_extensions", ret );
2931 return( ret );
Xiaofei Baicba64af2022-02-15 10:00:56 +00002932 }
Jerry Yu48330562022-05-06 21:35:44 +08002933 break;
Jerry Yu6a2cd9e2022-05-05 11:14:19 +08002934
Xiaofei Bai9ca09d42022-02-14 12:57:18 +00002935#if defined(MBEDTLS_KEY_EXCHANGE_WITH_CERT_ENABLED)
2936 case MBEDTLS_SSL_CERTIFICATE_REQUEST:
Xiaofei Bai5ee73d82022-03-14 02:48:30 +00002937 ret = ssl_tls13_write_certificate_request( ssl );
Xiaofei Bai9ca09d42022-02-14 12:57:18 +00002938 break;
Xiaofei Bai9ca09d42022-02-14 12:57:18 +00002939
Jerry Yu83da34e2022-04-16 13:59:52 +08002940 case MBEDTLS_SSL_SERVER_CERTIFICATE:
2941 ret = ssl_tls13_write_server_certificate( ssl );
2942 break;
2943
2944 case MBEDTLS_SSL_CERTIFICATE_VERIFY:
2945 ret = ssl_tls13_write_certificate_verify( ssl );
2946 break;
Jerry Yu5a26f302022-05-10 20:46:40 +08002947#endif /* MBEDTLS_KEY_EXCHANGE_WITH_CERT_ENABLED */
Jerry Yu83da34e2022-04-16 13:59:52 +08002948
Gabor Mezei7b39bf12022-05-24 16:04:14 +02002949 /*
2950 * Injection of dummy-CCS's for middlebox compatibility
2951 */
2952#if defined(MBEDTLS_SSL_TLS1_3_COMPATIBILITY_MODE)
Gabor Mezeif7044ea2022-06-28 16:01:49 +02002953 case MBEDTLS_SSL_SERVER_CCS_AFTER_HELLO_RETRY_REQUEST:
Gabor Mezei7b39bf12022-05-24 16:04:14 +02002954 ret = mbedtls_ssl_tls13_write_change_cipher_spec( ssl );
2955 if( ret == 0 )
2956 mbedtls_ssl_handshake_set_state( ssl, MBEDTLS_SSL_CLIENT_HELLO );
2957 break;
2958
2959 case MBEDTLS_SSL_SERVER_CCS_AFTER_SERVER_HELLO:
2960 ret = mbedtls_ssl_tls13_write_change_cipher_spec( ssl );
2961 if( ret == 0 )
2962 mbedtls_ssl_handshake_set_state( ssl, MBEDTLS_SSL_ENCRYPTED_EXTENSIONS );
2963 break;
2964#endif /* MBEDTLS_SSL_TLS1_3_COMPATIBILITY_MODE */
2965
Jerry Yu69dd8d42022-04-16 12:51:26 +08002966 case MBEDTLS_SSL_SERVER_FINISHED:
2967 ret = ssl_tls13_write_server_finished( ssl );
2968 break;
2969
2970 case MBEDTLS_SSL_CLIENT_FINISHED:
2971 ret = ssl_tls13_process_client_finished( ssl );
2972 break;
2973
Jerry Yu69dd8d42022-04-16 12:51:26 +08002974 case MBEDTLS_SSL_HANDSHAKE_WRAPUP:
2975 ret = ssl_tls13_handshake_wrapup( ssl );
2976 break;
2977
XiaokangQian6b916b12022-04-25 07:29:34 +00002978 case MBEDTLS_SSL_CLIENT_CERTIFICATE:
2979 ret = mbedtls_ssl_tls13_process_certificate( ssl );
Ronald Cron209cae92022-06-07 10:30:19 +02002980 if( ret == 0 )
XiaokangQian6b916b12022-04-25 07:29:34 +00002981 {
Ronald Cron209cae92022-06-07 10:30:19 +02002982 if( ssl->session_negotiate->peer_cert != NULL )
2983 {
2984 mbedtls_ssl_handshake_set_state(
2985 ssl, MBEDTLS_SSL_CLIENT_CERTIFICATE_VERIFY );
2986 }
2987 else
Ronald Cron19385882022-06-15 16:26:13 +02002988 {
2989 MBEDTLS_SSL_DEBUG_MSG( 2, ( "skip parse certificate verify" ) );
Ronald Cron209cae92022-06-07 10:30:19 +02002990 mbedtls_ssl_handshake_set_state(
2991 ssl, MBEDTLS_SSL_CLIENT_FINISHED );
Ronald Cron19385882022-06-15 16:26:13 +02002992 }
XiaokangQian6b916b12022-04-25 07:29:34 +00002993 }
2994 break;
2995
2996 case MBEDTLS_SSL_CLIENT_CERTIFICATE_VERIFY:
2997 ret = mbedtls_ssl_tls13_process_certificate_verify( ssl );
2998 if( ret == 0 )
2999 {
3000 mbedtls_ssl_handshake_set_state(
3001 ssl, MBEDTLS_SSL_CLIENT_FINISHED );
3002 }
3003 break;
3004
Jerry Yue67bef42022-07-07 07:29:42 +00003005#if defined(MBEDTLS_SSL_SESSION_TICKETS)
3006 case MBEDTLS_SSL_NEW_SESSION_TICKET:
3007 ret = ssl_tls13_write_new_session_ticket( ssl );
3008 if( ret != 0 )
3009 {
3010 MBEDTLS_SSL_DEBUG_RET( 1,
3011 "ssl_tls13_write_new_session_ticket ",
3012 ret );
3013 }
3014 break;
3015 case MBEDTLS_SSL_NEW_SESSION_TICKET_FLUSH:
3016 /* This state is necessary to do the flush of the New Session
3017 * Ticket message written in MBEDTLS_SSL_NEW_SESSION_TICKET
3018 * as part of ssl_prepare_handshake_step.
3019 */
3020 ret = 0;
Jerry Yud4e75002022-08-09 13:33:50 +08003021
Jerry Yud0766ec2022-09-22 10:46:57 +08003022 if( ssl->handshake->new_session_tickets_count == 0 )
Jerry Yud4e75002022-08-09 13:33:50 +08003023 mbedtls_ssl_handshake_set_state( ssl, MBEDTLS_SSL_HANDSHAKE_OVER );
3024 else
3025 mbedtls_ssl_handshake_set_state( ssl, MBEDTLS_SSL_NEW_SESSION_TICKET );
Jerry Yue67bef42022-07-07 07:29:42 +00003026 break;
3027
3028#endif /* MBEDTLS_SSL_SESSION_TICKETS */
3029
XiaokangQian7807f9f2022-02-15 10:04:37 +00003030 default:
3031 MBEDTLS_SSL_DEBUG_MSG( 1, ( "invalid state %d", ssl->state ) );
XiaokangQian060d8672022-04-21 09:24:56 +00003032 return( MBEDTLS_ERR_SSL_FEATURE_UNAVAILABLE );
XiaokangQian7807f9f2022-02-15 10:04:37 +00003033 }
3034
3035 return( ret );
Jerry Yub9930e72021-08-06 17:11:51 +08003036}
Jerry Yu3cc4c2a2021-08-06 16:29:08 +08003037
Jerry Yufb4b6472022-01-27 15:03:26 +08003038#endif /* MBEDTLS_SSL_SRV_C && MBEDTLS_SSL_PROTO_TLS1_3 */