Jerry Yu | 3cc4c2a | 2021-08-06 16:29:08 +0800 | [diff] [blame] | 1 | /* |
| 2 | * TLS 1.3 client-side functions |
| 3 | * |
| 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 | * This file is part of mbed TLS ( https://tls.mbed.org ) |
| 20 | */ |
| 21 | |
| 22 | #include "common.h" |
| 23 | |
Ronald Cron | 6f135e1 | 2021-12-08 16:57:54 +0100 | [diff] [blame] | 24 | #if defined(MBEDTLS_SSL_PROTO_TLS1_3) |
Jerry Yu | 3cc4c2a | 2021-08-06 16:29:08 +0800 | [diff] [blame] | 25 | |
| 26 | #if defined(MBEDTLS_SSL_CLI_C) |
| 27 | |
Jerry Yu | bc20bdd | 2021-08-24 15:59:48 +0800 | [diff] [blame] | 28 | #include <string.h> |
| 29 | |
Jerry Yu | 56fc07f | 2021-09-01 17:48:49 +0800 | [diff] [blame] | 30 | #include "mbedtls/debug.h" |
| 31 | #include "mbedtls/error.h" |
Jerry Yu | e1b9c29 | 2021-09-10 10:08:31 +0800 | [diff] [blame] | 32 | #include "mbedtls/platform.h" |
Jerry Yu | a13c7e7 | 2021-08-17 10:44:40 +0800 | [diff] [blame] | 33 | |
Jerry Yu | bdc7188 | 2021-09-14 19:30:36 +0800 | [diff] [blame] | 34 | #include "ssl_misc.h" |
| 35 | #include "ecdh_misc.h" |
Jerry Yu | e1b9c29 | 2021-09-10 10:08:31 +0800 | [diff] [blame] | 36 | #include "ssl_tls13_keys.h" |
Gilles Peskine | 923d5c9 | 2021-12-15 12:56:54 +0100 | [diff] [blame] | 37 | #include "ssl_debug_helpers.h" |
Jerry Yu | bdc7188 | 2021-09-14 19:30:36 +0800 | [diff] [blame] | 38 | |
Jerry Yu | bc20bdd | 2021-08-24 15:59:48 +0800 | [diff] [blame] | 39 | /* Write extensions */ |
| 40 | |
Jerry Yu | 92c6b40 | 2021-08-27 16:59:09 +0800 | [diff] [blame] | 41 | /* |
| 42 | * ssl_tls13_write_supported_versions_ext(): |
| 43 | * |
| 44 | * struct { |
| 45 | * ProtocolVersion versions<2..254>; |
| 46 | * } SupportedVersions; |
| 47 | */ |
Jerry Yu | f443681 | 2021-08-26 22:59:56 +0800 | [diff] [blame] | 48 | static int ssl_tls13_write_supported_versions_ext( mbedtls_ssl_context *ssl, |
Jerry Yu | eecfbf0 | 2021-08-30 18:32:07 +0800 | [diff] [blame] | 49 | unsigned char *buf, |
| 50 | unsigned char *end, |
Xiaofei Bai | d25fab6 | 2021-12-02 06:36:27 +0000 | [diff] [blame] | 51 | size_t *out_len ) |
Jerry Yu | 92c6b40 | 2021-08-27 16:59:09 +0800 | [diff] [blame] | 52 | { |
| 53 | unsigned char *p = buf; |
| 54 | |
Xiaofei Bai | d25fab6 | 2021-12-02 06:36:27 +0000 | [diff] [blame] | 55 | *out_len = 0; |
Jerry Yu | 92c6b40 | 2021-08-27 16:59:09 +0800 | [diff] [blame] | 56 | |
Jerry Yu | 159c5a0 | 2021-08-31 12:51:25 +0800 | [diff] [blame] | 57 | MBEDTLS_SSL_DEBUG_MSG( 3, ( "client hello, adding supported versions extension" ) ); |
Jerry Yu | 92c6b40 | 2021-08-27 16:59:09 +0800 | [diff] [blame] | 58 | |
Jerry Yu | 388bd0d | 2021-09-15 18:41:02 +0800 | [diff] [blame] | 59 | /* Check if we have space to write the extension: |
Jerry Yu | b60e3cf | 2021-09-08 16:41:02 +0800 | [diff] [blame] | 60 | * - extension_type (2 bytes) |
| 61 | * - extension_data_length (2 bytes) |
| 62 | * - versions_length (1 byte ) |
| 63 | * - versions (2 bytes) |
Jerry Yu | 159c5a0 | 2021-08-31 12:51:25 +0800 | [diff] [blame] | 64 | */ |
Jerry Yu | 92c6b40 | 2021-08-27 16:59:09 +0800 | [diff] [blame] | 65 | MBEDTLS_SSL_CHK_BUF_PTR( p, end, 7 ); |
| 66 | |
Jerry Yu | 1bc2c1f | 2021-09-01 12:57:29 +0800 | [diff] [blame] | 67 | /* Write extension_type */ |
Jerry Yu | eecfbf0 | 2021-08-30 18:32:07 +0800 | [diff] [blame] | 68 | MBEDTLS_PUT_UINT16_BE( MBEDTLS_TLS_EXT_SUPPORTED_VERSIONS, p, 0 ); |
Jerry Yu | 92c6b40 | 2021-08-27 16:59:09 +0800 | [diff] [blame] | 69 | |
Jerry Yu | 1bc2c1f | 2021-09-01 12:57:29 +0800 | [diff] [blame] | 70 | /* Write extension_data_length */ |
Jerry Yu | b7ab336 | 2021-08-31 16:16:19 +0800 | [diff] [blame] | 71 | MBEDTLS_PUT_UINT16_BE( 3, p, 2 ); |
Jerry Yu | eecfbf0 | 2021-08-30 18:32:07 +0800 | [diff] [blame] | 72 | p += 4; |
Jerry Yu | 92c6b40 | 2021-08-27 16:59:09 +0800 | [diff] [blame] | 73 | |
Jerry Yu | 1bc2c1f | 2021-09-01 12:57:29 +0800 | [diff] [blame] | 74 | /* Length of versions */ |
Jerry Yu | 92c6b40 | 2021-08-27 16:59:09 +0800 | [diff] [blame] | 75 | *p++ = 0x2; |
| 76 | |
Jerry Yu | 0c63af6 | 2021-09-02 12:59:12 +0800 | [diff] [blame] | 77 | /* Write values of supported versions. |
Jerry Yu | 1bc2c1f | 2021-09-01 12:57:29 +0800 | [diff] [blame] | 78 | * |
Jerry Yu | 0c63af6 | 2021-09-02 12:59:12 +0800 | [diff] [blame] | 79 | * They are defined by the configuration. |
Jerry Yu | 1bc2c1f | 2021-09-01 12:57:29 +0800 | [diff] [blame] | 80 | * |
Jerry Yu | 0c63af6 | 2021-09-02 12:59:12 +0800 | [diff] [blame] | 81 | * Currently, only one version is advertised. |
Jerry Yu | 92c6b40 | 2021-08-27 16:59:09 +0800 | [diff] [blame] | 82 | */ |
Jerry Yu | eecfbf0 | 2021-08-30 18:32:07 +0800 | [diff] [blame] | 83 | mbedtls_ssl_write_version( ssl->conf->max_major_ver, |
| 84 | ssl->conf->max_minor_ver, |
| 85 | ssl->conf->transport, p ); |
Jerry Yu | 92c6b40 | 2021-08-27 16:59:09 +0800 | [diff] [blame] | 86 | |
| 87 | MBEDTLS_SSL_DEBUG_MSG( 3, ( "supported version: [%d:%d]", |
Jerry Yu | eecfbf0 | 2021-08-30 18:32:07 +0800 | [diff] [blame] | 88 | ssl->conf->max_major_ver, |
| 89 | ssl->conf->max_minor_ver ) ); |
Jerry Yu | 92c6b40 | 2021-08-27 16:59:09 +0800 | [diff] [blame] | 90 | |
Xiaofei Bai | d25fab6 | 2021-12-02 06:36:27 +0000 | [diff] [blame] | 91 | *out_len = 7; |
Jerry Yu | 92c6b40 | 2021-08-27 16:59:09 +0800 | [diff] [blame] | 92 | |
| 93 | return( 0 ); |
| 94 | } |
Jerry Yu | bc20bdd | 2021-08-24 15:59:48 +0800 | [diff] [blame] | 95 | |
Jerry Yu | c068b66 | 2021-10-11 22:30:19 +0800 | [diff] [blame] | 96 | static int ssl_tls13_parse_supported_versions_ext( mbedtls_ssl_context *ssl, |
| 97 | const unsigned char *buf, |
Jerry Yu | b85277e | 2021-10-13 13:36:05 +0800 | [diff] [blame] | 98 | const unsigned char *end ) |
Jerry Yu | e1b9c29 | 2021-09-10 10:08:31 +0800 | [diff] [blame] | 99 | { |
Jerry Yu | e1b9c29 | 2021-09-10 10:08:31 +0800 | [diff] [blame] | 100 | ((void) ssl); |
| 101 | |
Jerry Yu | b85277e | 2021-10-13 13:36:05 +0800 | [diff] [blame] | 102 | MBEDTLS_SSL_CHK_BUF_READ_PTR( buf, end, 2); |
| 103 | if( buf[0] != MBEDTLS_SSL_MAJOR_VERSION_3 || |
Jerry Yu | e1b9c29 | 2021-09-10 10:08:31 +0800 | [diff] [blame] | 104 | buf[1] != MBEDTLS_SSL_MINOR_VERSION_4 ) |
| 105 | { |
| 106 | MBEDTLS_SSL_DEBUG_MSG( 1, ( "unexpected version" ) ); |
Jerry Yu | 4a17338 | 2021-10-11 21:45:31 +0800 | [diff] [blame] | 107 | |
| 108 | MBEDTLS_SSL_PEND_FATAL_ALERT( MBEDTLS_SSL_ALERT_MSG_ILLEGAL_PARAMETER, |
| 109 | MBEDTLS_ERR_SSL_ILLEGAL_PARAMETER); |
| 110 | return( MBEDTLS_ERR_SSL_ILLEGAL_PARAMETER ); |
Jerry Yu | e1b9c29 | 2021-09-10 10:08:31 +0800 | [diff] [blame] | 111 | } |
| 112 | |
| 113 | return( 0 ); |
| 114 | } |
| 115 | |
Jerry Yu | bc20bdd | 2021-08-24 15:59:48 +0800 | [diff] [blame] | 116 | #if defined(MBEDTLS_KEY_EXCHANGE_WITH_CERT_ENABLED) |
| 117 | |
XiaokangQian | 16acd4b | 2022-01-14 07:35:47 +0000 | [diff] [blame] | 118 | static int ssl_tls13_reset_key_share( mbedtls_ssl_context *ssl ) |
XiaokangQian | 647719a | 2021-12-07 09:16:29 +0000 | [diff] [blame] | 119 | { |
| 120 | uint16_t group_id = ssl->handshake->offered_group_id; |
| 121 | if( group_id == 0 ) |
| 122 | return( MBEDTLS_ERR_SSL_INTERNAL_ERROR ); |
| 123 | |
XiaokangQian | 355e09a | 2022-01-20 11:14:50 +0000 | [diff] [blame] | 124 | #if defined(MBEDTLS_ECDH_C) |
XiaokangQian | 647719a | 2021-12-07 09:16:29 +0000 | [diff] [blame] | 125 | if( mbedtls_ssl_tls13_named_group_is_ecdhe( group_id ) ) |
XiaokangQian | 78b1fa7 | 2022-01-19 06:56:30 +0000 | [diff] [blame] | 126 | { |
| 127 | mbedtls_ecdh_free( &ssl->handshake->ecdh_ctx ); |
| 128 | return( 0 ); |
| 129 | } |
XiaokangQian | 355e09a | 2022-01-20 11:14:50 +0000 | [diff] [blame] | 130 | else |
| 131 | #endif /* MBEDTLS_ECDH_C */ |
| 132 | if( 0 /* other KEMs? */ ) |
XiaokangQian | 647719a | 2021-12-07 09:16:29 +0000 | [diff] [blame] | 133 | { |
| 134 | /* Do something */ |
| 135 | } |
| 136 | |
| 137 | return( MBEDTLS_ERR_SSL_INTERNAL_ERROR ); |
| 138 | } |
| 139 | |
| 140 | /* |
Jerry Yu | 56fc07f | 2021-09-01 17:48:49 +0800 | [diff] [blame] | 141 | * Functions for writing key_share extension. |
| 142 | */ |
| 143 | #if defined(MBEDTLS_ECDH_C) |
Jerry Yu | 7c522d4 | 2021-09-08 17:55:09 +0800 | [diff] [blame] | 144 | static int ssl_tls13_generate_and_write_ecdh_key_exchange( |
Jerry Yu | b60e3cf | 2021-09-08 16:41:02 +0800 | [diff] [blame] | 145 | mbedtls_ssl_context *ssl, |
| 146 | uint16_t named_group, |
| 147 | unsigned char *buf, |
| 148 | unsigned char *end, |
Xiaofei Bai | d25fab6 | 2021-12-02 06:36:27 +0000 | [diff] [blame] | 149 | size_t *out_len ) |
Jerry Yu | 92c6b40 | 2021-08-27 16:59:09 +0800 | [diff] [blame] | 150 | { |
Przemyslaw Stekiel | ea859c2 | 2022-02-10 10:19:46 +0100 | [diff] [blame^] | 151 | psa_status_t status = PSA_ERROR_GENERIC_ERROR; |
| 152 | int ret = MBEDTLS_ERR_SSL_FEATURE_UNAVAILABLE; |
| 153 | psa_key_attributes_t key_attributes; |
| 154 | unsigned char own_pubkey[MBEDTLS_PSA_MAX_EC_PUBKEY_LENGTH]; |
| 155 | size_t own_pubkey_len; |
| 156 | mbedtls_ssl_handshake_params *handshake = ssl->handshake; |
| 157 | size_t ecdh_bits = 0; |
Jerry Yu | 56fc07f | 2021-09-01 17:48:49 +0800 | [diff] [blame] | 158 | |
Przemyslaw Stekiel | ea859c2 | 2022-02-10 10:19:46 +0100 | [diff] [blame^] | 159 | MBEDTLS_SSL_DEBUG_MSG( 1, ( "Perform PSA-based ECDH computation." ) ); |
Jerry Yu | 56fc07f | 2021-09-01 17:48:49 +0800 | [diff] [blame] | 160 | |
Przemyslaw Stekiel | ea859c2 | 2022-02-10 10:19:46 +0100 | [diff] [blame^] | 161 | // --- Just for now --- !!! |
| 162 | psa_crypto_init(); |
Jerry Yu | 56fc07f | 2021-09-01 17:48:49 +0800 | [diff] [blame] | 163 | |
Przemyslaw Stekiel | ea859c2 | 2022-02-10 10:19:46 +0100 | [diff] [blame^] | 164 | /* Convert EC group to PSA key type. */ |
| 165 | if( ( handshake->ecdh_psa_type = |
| 166 | mbedtls_psa_parse_tls_ecc_group( named_group, &ecdh_bits ) ) == 0 ) |
| 167 | return( MBEDTLS_ERR_SSL_HANDSHAKE_FAILURE ); |
Jerry Yu | 56fc07f | 2021-09-01 17:48:49 +0800 | [diff] [blame] | 168 | |
Przemyslaw Stekiel | ea859c2 | 2022-02-10 10:19:46 +0100 | [diff] [blame^] | 169 | if( ecdh_bits > 0xffff ) |
| 170 | return( MBEDTLS_ERR_SSL_ILLEGAL_PARAMETER ); |
| 171 | ssl->handshake->ecdh_bits = (uint16_t) ecdh_bits; |
Jerry Yu | 56fc07f | 2021-09-01 17:48:49 +0800 | [diff] [blame] | 172 | |
Przemyslaw Stekiel | ea859c2 | 2022-02-10 10:19:46 +0100 | [diff] [blame^] | 173 | key_attributes = psa_key_attributes_init(); |
| 174 | psa_set_key_usage_flags( &key_attributes, PSA_KEY_USAGE_DERIVE ); |
| 175 | psa_set_key_algorithm( &key_attributes, PSA_ALG_ECDH ); |
| 176 | psa_set_key_type( &key_attributes, handshake->ecdh_psa_type ); |
| 177 | psa_set_key_bits( &key_attributes, handshake->ecdh_bits ); |
| 178 | |
| 179 | /* Generate ECDH private key. */ |
| 180 | status = psa_generate_key( &key_attributes, |
| 181 | &handshake->ecdh_psa_privkey ); |
| 182 | if( status != PSA_SUCCESS ) |
| 183 | { |
| 184 | ret = psa_ssl_status_to_mbedtls( status ); |
| 185 | MBEDTLS_SSL_DEBUG_RET( 1, "psa_generate_key", ret ); |
| 186 | return( ret ); |
| 187 | |
| 188 | } |
| 189 | |
| 190 | /* Export the public part of the ECDH private key from PSA. */ |
| 191 | status = psa_export_public_key( handshake->ecdh_psa_privkey, |
| 192 | own_pubkey, sizeof( own_pubkey ), |
| 193 | &own_pubkey_len ); |
| 194 | if( status != PSA_SUCCESS ) |
| 195 | { |
| 196 | ret = psa_ssl_status_to_mbedtls( status ); |
| 197 | MBEDTLS_SSL_DEBUG_RET( 1, "psa_export_public_key", ret ); |
| 198 | return( ret ); |
| 199 | |
| 200 | } |
| 201 | |
| 202 | if( own_pubkey_len > (size_t)( end - buf ) ) |
| 203 | { |
| 204 | MBEDTLS_SSL_DEBUG_MSG( 1, ( "No space in the buffer for ECDH public key." ) ); |
| 205 | return( MBEDTLS_ERR_SSL_BUFFER_TOO_SMALL ); |
| 206 | } |
| 207 | |
| 208 | *out_len = own_pubkey_len; |
| 209 | |
| 210 | memcpy( buf, &own_pubkey, own_pubkey_len ); |
| 211 | |
Jerry Yu | 7533635 | 2021-09-01 15:59:36 +0800 | [diff] [blame] | 212 | return( 0 ); |
Jerry Yu | 92c6b40 | 2021-08-27 16:59:09 +0800 | [diff] [blame] | 213 | } |
Jerry Yu | 56fc07f | 2021-09-01 17:48:49 +0800 | [diff] [blame] | 214 | #endif /* MBEDTLS_ECDH_C */ |
| 215 | |
Jerry Yu | b60e3cf | 2021-09-08 16:41:02 +0800 | [diff] [blame] | 216 | static int ssl_tls13_get_default_group_id( mbedtls_ssl_context *ssl, |
| 217 | uint16_t *group_id ) |
Jerry Yu | 56fc07f | 2021-09-01 17:48:49 +0800 | [diff] [blame] | 218 | { |
| 219 | int ret = MBEDTLS_ERR_SSL_FEATURE_UNAVAILABLE; |
| 220 | |
Jerry Yu | 56fc07f | 2021-09-01 17:48:49 +0800 | [diff] [blame] | 221 | |
Jerry Yu | 56fc07f | 2021-09-01 17:48:49 +0800 | [diff] [blame] | 222 | #if defined(MBEDTLS_ECDH_C) |
Brett Warren | 14efd33 | 2021-10-06 09:32:11 +0100 | [diff] [blame] | 223 | const uint16_t *group_list = mbedtls_ssl_get_groups( ssl ); |
Jerry Yu | 388bd0d | 2021-09-15 18:41:02 +0800 | [diff] [blame] | 224 | /* Pick first available ECDHE group compatible with TLS 1.3 */ |
Brett Warren | 14efd33 | 2021-10-06 09:32:11 +0100 | [diff] [blame] | 225 | if( group_list == NULL ) |
Jerry Yu | 388bd0d | 2021-09-15 18:41:02 +0800 | [diff] [blame] | 226 | return( MBEDTLS_ERR_SSL_BAD_CONFIG ); |
| 227 | |
Brett Warren | 14efd33 | 2021-10-06 09:32:11 +0100 | [diff] [blame] | 228 | for ( ; *group_list != 0; group_list++ ) |
Jerry Yu | 56fc07f | 2021-09-01 17:48:49 +0800 | [diff] [blame] | 229 | { |
Xiaofei Bai | eef1504 | 2021-11-18 07:29:56 +0000 | [diff] [blame] | 230 | const mbedtls_ecp_curve_info *curve_info; |
| 231 | curve_info = mbedtls_ecp_curve_info_from_tls_id( *group_list ); |
| 232 | if( curve_info != NULL && |
Brett Warren | 14efd33 | 2021-10-06 09:32:11 +0100 | [diff] [blame] | 233 | mbedtls_ssl_tls13_named_group_is_ecdhe( *group_list ) ) |
Jerry Yu | 56fc07f | 2021-09-01 17:48:49 +0800 | [diff] [blame] | 234 | { |
Brett Warren | 14efd33 | 2021-10-06 09:32:11 +0100 | [diff] [blame] | 235 | *group_id = *group_list; |
Jerry Yu | 56fc07f | 2021-09-01 17:48:49 +0800 | [diff] [blame] | 236 | return( 0 ); |
| 237 | } |
| 238 | } |
| 239 | #else |
| 240 | ((void) ssl); |
Jerry Yu | b60e3cf | 2021-09-08 16:41:02 +0800 | [diff] [blame] | 241 | ((void) group_id); |
Jerry Yu | 56fc07f | 2021-09-01 17:48:49 +0800 | [diff] [blame] | 242 | #endif /* MBEDTLS_ECDH_C */ |
| 243 | |
| 244 | /* |
| 245 | * Add DHE named groups here. |
Jerry Yu | 388bd0d | 2021-09-15 18:41:02 +0800 | [diff] [blame] | 246 | * Pick first available DHE group compatible with TLS 1.3 |
Jerry Yu | 56fc07f | 2021-09-01 17:48:49 +0800 | [diff] [blame] | 247 | */ |
| 248 | |
| 249 | return( ret ); |
| 250 | } |
| 251 | |
| 252 | /* |
| 253 | * ssl_tls13_write_key_share_ext |
| 254 | * |
Jerry Yu | 388bd0d | 2021-09-15 18:41:02 +0800 | [diff] [blame] | 255 | * Structure of key_share extension in ClientHello: |
Jerry Yu | 56fc07f | 2021-09-01 17:48:49 +0800 | [diff] [blame] | 256 | * |
| 257 | * struct { |
| 258 | * NamedGroup group; |
| 259 | * opaque key_exchange<1..2^16-1>; |
| 260 | * } KeyShareEntry; |
| 261 | * struct { |
| 262 | * KeyShareEntry client_shares<0..2^16-1>; |
| 263 | * } KeyShareClientHello; |
| 264 | */ |
| 265 | static int ssl_tls13_write_key_share_ext( mbedtls_ssl_context *ssl, |
| 266 | unsigned char *buf, |
| 267 | unsigned char *end, |
Xiaofei Bai | d25fab6 | 2021-12-02 06:36:27 +0000 | [diff] [blame] | 268 | size_t *out_len ) |
Jerry Yu | 56fc07f | 2021-09-01 17:48:49 +0800 | [diff] [blame] | 269 | { |
| 270 | unsigned char *p = buf; |
Xiaofei Bai | eef1504 | 2021-11-18 07:29:56 +0000 | [diff] [blame] | 271 | unsigned char *client_shares; /* Start of client_shares */ |
| 272 | size_t client_shares_len; /* Length of client_shares */ |
Jerry Yu | 56fc07f | 2021-09-01 17:48:49 +0800 | [diff] [blame] | 273 | uint16_t group_id; |
Jerry Yu | 56fc07f | 2021-09-01 17:48:49 +0800 | [diff] [blame] | 274 | int ret = MBEDTLS_ERR_SSL_FEATURE_UNAVAILABLE; |
| 275 | |
Xiaofei Bai | d25fab6 | 2021-12-02 06:36:27 +0000 | [diff] [blame] | 276 | *out_len = 0; |
Jerry Yu | 56fc07f | 2021-09-01 17:48:49 +0800 | [diff] [blame] | 277 | |
Jerry Yu | b60e3cf | 2021-09-08 16:41:02 +0800 | [diff] [blame] | 278 | /* Check if we have space for header and length fields: |
Jerry Yu | 56fc07f | 2021-09-01 17:48:49 +0800 | [diff] [blame] | 279 | * - extension_type (2 bytes) |
| 280 | * - extension_data_length (2 bytes) |
| 281 | * - client_shares_length (2 bytes) |
| 282 | */ |
| 283 | MBEDTLS_SSL_CHK_BUF_PTR( p, end, 6 ); |
| 284 | p += 6; |
| 285 | |
| 286 | MBEDTLS_SSL_DEBUG_MSG( 3, ( "client hello: adding key share extension" ) ); |
| 287 | |
| 288 | /* HRR could already have requested something else. */ |
| 289 | group_id = ssl->handshake->offered_group_id; |
Jerry Yu | b60e3cf | 2021-09-08 16:41:02 +0800 | [diff] [blame] | 290 | if( !mbedtls_ssl_tls13_named_group_is_ecdhe( group_id ) && |
| 291 | !mbedtls_ssl_tls13_named_group_is_dhe( group_id ) ) |
Jerry Yu | 56fc07f | 2021-09-01 17:48:49 +0800 | [diff] [blame] | 292 | { |
Jerry Yu | b60e3cf | 2021-09-08 16:41:02 +0800 | [diff] [blame] | 293 | MBEDTLS_SSL_PROC_CHK( ssl_tls13_get_default_group_id( ssl, |
Jerry Yu | 56fc07f | 2021-09-01 17:48:49 +0800 | [diff] [blame] | 294 | &group_id ) ); |
| 295 | } |
| 296 | |
| 297 | /* |
| 298 | * Dispatch to type-specific key generation function. |
| 299 | * |
| 300 | * So far, we're only supporting ECDHE. With the introduction |
| 301 | * of PQC KEMs, we'll want to have multiple branches, one per |
| 302 | * type of KEM, and dispatch to the corresponding crypto. And |
| 303 | * only one key share entry is allowed. |
| 304 | */ |
Xiaofei Bai | eef1504 | 2021-11-18 07:29:56 +0000 | [diff] [blame] | 305 | client_shares = p; |
Jerry Yu | 56fc07f | 2021-09-01 17:48:49 +0800 | [diff] [blame] | 306 | #if defined(MBEDTLS_ECDH_C) |
Jerry Yu | b60e3cf | 2021-09-08 16:41:02 +0800 | [diff] [blame] | 307 | if( mbedtls_ssl_tls13_named_group_is_ecdhe( group_id ) ) |
Jerry Yu | 56fc07f | 2021-09-01 17:48:49 +0800 | [diff] [blame] | 308 | { |
Jerry Yu | 388bd0d | 2021-09-15 18:41:02 +0800 | [diff] [blame] | 309 | /* Pointer to group */ |
Xiaofei Bai | eef1504 | 2021-11-18 07:29:56 +0000 | [diff] [blame] | 310 | unsigned char *group = p; |
Jerry Yu | 56fc07f | 2021-09-01 17:48:49 +0800 | [diff] [blame] | 311 | /* Length of key_exchange */ |
| 312 | size_t key_exchange_len; |
| 313 | |
| 314 | /* Check there is space for header of KeyShareEntry |
| 315 | * - group (2 bytes) |
| 316 | * - key_exchange_length (2 bytes) |
| 317 | */ |
| 318 | MBEDTLS_SSL_CHK_BUF_PTR( p, end, 4 ); |
| 319 | p += 4; |
Przemyslaw Stekiel | ea859c2 | 2022-02-10 10:19:46 +0100 | [diff] [blame^] | 320 | ret = ssl_tls13_generate_and_write_ecdh_key_exchange( ssl, group_id, p, end, |
Jerry Yu | b60e3cf | 2021-09-08 16:41:02 +0800 | [diff] [blame] | 321 | &key_exchange_len ); |
Jerry Yu | 56fc07f | 2021-09-01 17:48:49 +0800 | [diff] [blame] | 322 | p += key_exchange_len; |
| 323 | if( ret != 0 ) |
| 324 | return( ret ); |
| 325 | |
| 326 | /* Write group */ |
Xiaofei Bai | eef1504 | 2021-11-18 07:29:56 +0000 | [diff] [blame] | 327 | MBEDTLS_PUT_UINT16_BE( group_id, group, 0 ); |
Jerry Yu | 56fc07f | 2021-09-01 17:48:49 +0800 | [diff] [blame] | 328 | /* Write key_exchange_length */ |
Xiaofei Bai | eef1504 | 2021-11-18 07:29:56 +0000 | [diff] [blame] | 329 | MBEDTLS_PUT_UINT16_BE( key_exchange_len, group, 2 ); |
Jerry Yu | 56fc07f | 2021-09-01 17:48:49 +0800 | [diff] [blame] | 330 | } |
| 331 | else |
| 332 | #endif /* MBEDTLS_ECDH_C */ |
| 333 | if( 0 /* other KEMs? */ ) |
| 334 | { |
| 335 | /* Do something */ |
| 336 | } |
| 337 | else |
| 338 | return( MBEDTLS_ERR_SSL_INTERNAL_ERROR ); |
| 339 | |
Jerry Yu | b60e3cf | 2021-09-08 16:41:02 +0800 | [diff] [blame] | 340 | /* Length of client_shares */ |
Xiaofei Bai | eef1504 | 2021-11-18 07:29:56 +0000 | [diff] [blame] | 341 | client_shares_len = p - client_shares; |
Jerry Yu | b60e3cf | 2021-09-08 16:41:02 +0800 | [diff] [blame] | 342 | if( client_shares_len == 0) |
| 343 | { |
| 344 | MBEDTLS_SSL_DEBUG_MSG( 1, ( "No key share defined." ) ); |
| 345 | return( MBEDTLS_ERR_SSL_INTERNAL_ERROR ); |
Jerry Yu | 7c522d4 | 2021-09-08 17:55:09 +0800 | [diff] [blame] | 346 | } |
Jerry Yu | 56fc07f | 2021-09-01 17:48:49 +0800 | [diff] [blame] | 347 | /* Write extension_type */ |
| 348 | MBEDTLS_PUT_UINT16_BE( MBEDTLS_TLS_EXT_KEY_SHARE, buf, 0 ); |
| 349 | /* Write extension_data_length */ |
Jerry Yu | b60e3cf | 2021-09-08 16:41:02 +0800 | [diff] [blame] | 350 | MBEDTLS_PUT_UINT16_BE( client_shares_len + 2, buf, 2 ); |
Jerry Yu | 56fc07f | 2021-09-01 17:48:49 +0800 | [diff] [blame] | 351 | /* Write client_shares_length */ |
Jerry Yu | b60e3cf | 2021-09-08 16:41:02 +0800 | [diff] [blame] | 352 | MBEDTLS_PUT_UINT16_BE( client_shares_len, buf, 4 ); |
Jerry Yu | 56fc07f | 2021-09-01 17:48:49 +0800 | [diff] [blame] | 353 | |
| 354 | /* Update offered_group_id field */ |
| 355 | ssl->handshake->offered_group_id = group_id; |
| 356 | |
| 357 | /* Output the total length of key_share extension. */ |
Xiaofei Bai | d25fab6 | 2021-12-02 06:36:27 +0000 | [diff] [blame] | 358 | *out_len = p - buf; |
Jerry Yu | 56fc07f | 2021-09-01 17:48:49 +0800 | [diff] [blame] | 359 | |
Xiaofei Bai | d25fab6 | 2021-12-02 06:36:27 +0000 | [diff] [blame] | 360 | MBEDTLS_SSL_DEBUG_BUF( 3, "client hello, key_share extension", buf, *out_len ); |
Jerry Yu | 56fc07f | 2021-09-01 17:48:49 +0800 | [diff] [blame] | 361 | |
| 362 | ssl->handshake->extensions_present |= MBEDTLS_SSL_EXT_KEY_SHARE; |
| 363 | |
| 364 | cleanup: |
| 365 | |
| 366 | return( ret ); |
| 367 | } |
Jerry Yu | bc20bdd | 2021-08-24 15:59:48 +0800 | [diff] [blame] | 368 | |
Jerry Yu | e1b9c29 | 2021-09-10 10:08:31 +0800 | [diff] [blame] | 369 | #if defined(MBEDTLS_ECDH_C) |
| 370 | |
Jerry Yu | c068b66 | 2021-10-11 22:30:19 +0800 | [diff] [blame] | 371 | static int ssl_tls13_check_ecdh_params( const mbedtls_ssl_context *ssl ) |
Jerry Yu | e1b9c29 | 2021-09-10 10:08:31 +0800 | [diff] [blame] | 372 | { |
| 373 | const mbedtls_ecp_curve_info *curve_info; |
| 374 | mbedtls_ecp_group_id grp_id; |
| 375 | #if defined(MBEDTLS_ECDH_LEGACY_CONTEXT) |
| 376 | grp_id = ssl->handshake->ecdh_ctx.grp.id; |
| 377 | #else |
| 378 | grp_id = ssl->handshake->ecdh_ctx.grp_id; |
| 379 | #endif |
| 380 | |
| 381 | curve_info = mbedtls_ecp_curve_info_from_grp_id( grp_id ); |
| 382 | if( curve_info == NULL ) |
| 383 | { |
| 384 | MBEDTLS_SSL_DEBUG_MSG( 1, ( "should never happen" ) ); |
| 385 | return( MBEDTLS_ERR_SSL_INTERNAL_ERROR ); |
| 386 | } |
| 387 | |
| 388 | MBEDTLS_SSL_DEBUG_MSG( 2, ( "ECDH curve: %s", curve_info->name ) ); |
| 389 | |
Jerry Yu | e1b9c29 | 2021-09-10 10:08:31 +0800 | [diff] [blame] | 390 | if( mbedtls_ssl_check_curve( ssl, grp_id ) != 0 ) |
Jerry Yu | b85277e | 2021-10-13 13:36:05 +0800 | [diff] [blame] | 391 | return( -1 ); |
Jerry Yu | e1b9c29 | 2021-09-10 10:08:31 +0800 | [diff] [blame] | 392 | |
| 393 | MBEDTLS_SSL_DEBUG_ECDH( 3, &ssl->handshake->ecdh_ctx, |
| 394 | MBEDTLS_DEBUG_ECDH_QP ); |
| 395 | |
| 396 | return( 0 ); |
| 397 | } |
| 398 | |
Jerry Yu | c068b66 | 2021-10-11 22:30:19 +0800 | [diff] [blame] | 399 | static int ssl_tls13_read_public_ecdhe_share( mbedtls_ssl_context *ssl, |
| 400 | const unsigned char *buf, |
| 401 | size_t buf_len ) |
Jerry Yu | e1b9c29 | 2021-09-10 10:08:31 +0800 | [diff] [blame] | 402 | { |
| 403 | int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED; |
| 404 | |
Jerry Yu | c068b66 | 2021-10-11 22:30:19 +0800 | [diff] [blame] | 405 | ret = mbedtls_ecdh_tls13_read_public( &ssl->handshake->ecdh_ctx, |
Jerry Yu | 4a17338 | 2021-10-11 21:45:31 +0800 | [diff] [blame] | 406 | buf, buf_len ); |
Jerry Yu | e1b9c29 | 2021-09-10 10:08:31 +0800 | [diff] [blame] | 407 | if( ret != 0 ) |
| 408 | { |
| 409 | MBEDTLS_SSL_DEBUG_RET( 1, ( "mbedtls_ecdh_tls13_read_public" ), ret ); |
Jerry Yu | b85277e | 2021-10-13 13:36:05 +0800 | [diff] [blame] | 410 | |
| 411 | MBEDTLS_SSL_PEND_FATAL_ALERT( MBEDTLS_SSL_ALERT_MSG_ILLEGAL_PARAMETER, |
| 412 | MBEDTLS_ERR_SSL_ILLEGAL_PARAMETER ); |
| 413 | return( MBEDTLS_ERR_SSL_ILLEGAL_PARAMETER ); |
Jerry Yu | e1b9c29 | 2021-09-10 10:08:31 +0800 | [diff] [blame] | 414 | } |
| 415 | |
Jerry Yu | c068b66 | 2021-10-11 22:30:19 +0800 | [diff] [blame] | 416 | if( ssl_tls13_check_ecdh_params( ssl ) != 0 ) |
Jerry Yu | e1b9c29 | 2021-09-10 10:08:31 +0800 | [diff] [blame] | 417 | { |
Jerry Yu | c068b66 | 2021-10-11 22:30:19 +0800 | [diff] [blame] | 418 | MBEDTLS_SSL_DEBUG_MSG( 1, ( "ssl_tls13_check_ecdh_params() failed!" ) ); |
Jerry Yu | b85277e | 2021-10-13 13:36:05 +0800 | [diff] [blame] | 419 | |
Jerry Yu | 4a17338 | 2021-10-11 21:45:31 +0800 | [diff] [blame] | 420 | MBEDTLS_SSL_PEND_FATAL_ALERT( MBEDTLS_SSL_ALERT_MSG_ILLEGAL_PARAMETER, |
| 421 | MBEDTLS_ERR_SSL_ILLEGAL_PARAMETER ); |
| 422 | return( MBEDTLS_ERR_SSL_ILLEGAL_PARAMETER ); |
Jerry Yu | e1b9c29 | 2021-09-10 10:08:31 +0800 | [diff] [blame] | 423 | } |
| 424 | |
| 425 | return( 0 ); |
| 426 | } |
Jerry Yu | 4a17338 | 2021-10-11 21:45:31 +0800 | [diff] [blame] | 427 | #endif /* MBEDTLS_ECDH_C */ |
Jerry Yu | e1b9c29 | 2021-09-10 10:08:31 +0800 | [diff] [blame] | 428 | |
XiaokangQian | d59be77 | 2022-01-24 10:12:51 +0000 | [diff] [blame] | 429 | /* |
| 430 | * ssl_tls13_parse_hrr_key_share_ext() |
| 431 | * Parse key_share extension in Hello Retry Request |
| 432 | * |
| 433 | * struct { |
| 434 | * NamedGroup selected_group; |
| 435 | * } KeyShareHelloRetryRequest; |
| 436 | */ |
XiaokangQian | d9e068e | 2022-01-18 06:23:32 +0000 | [diff] [blame] | 437 | static int ssl_tls13_parse_hrr_key_share_ext( mbedtls_ssl_context *ssl, |
XiaokangQian | b851da8 | 2022-01-14 04:03:11 +0000 | [diff] [blame] | 438 | const unsigned char *buf, |
| 439 | const unsigned char *end ) |
| 440 | { |
XiaokangQian | b851da8 | 2022-01-14 04:03:11 +0000 | [diff] [blame] | 441 | const mbedtls_ecp_curve_info *curve_info = NULL; |
| 442 | const unsigned char *p = buf; |
XiaokangQian | d59be77 | 2022-01-24 10:12:51 +0000 | [diff] [blame] | 443 | int selected_group; |
XiaokangQian | b851da8 | 2022-01-14 04:03:11 +0000 | [diff] [blame] | 444 | int found = 0; |
| 445 | |
| 446 | const uint16_t *group_list = mbedtls_ssl_get_groups( ssl ); |
| 447 | if( group_list == NULL ) |
| 448 | return( MBEDTLS_ERR_SSL_BAD_CONFIG ); |
| 449 | |
| 450 | MBEDTLS_SSL_DEBUG_BUF( 3, "key_share extension", p, end - buf ); |
| 451 | |
| 452 | /* Read selected_group */ |
XiaokangQian | b48894e | 2022-01-17 02:05:52 +0000 | [diff] [blame] | 453 | MBEDTLS_SSL_CHK_BUF_READ_PTR( p, end, 2 ); |
XiaokangQian | d59be77 | 2022-01-24 10:12:51 +0000 | [diff] [blame] | 454 | selected_group = MBEDTLS_GET_UINT16_BE( p, 0 ); |
| 455 | MBEDTLS_SSL_DEBUG_MSG( 3, ( "selected_group ( %d )", selected_group ) ); |
XiaokangQian | b851da8 | 2022-01-14 04:03:11 +0000 | [diff] [blame] | 456 | |
| 457 | /* Upon receipt of this extension in a HelloRetryRequest, the client |
| 458 | * MUST first verify that the selected_group field corresponds to a |
| 459 | * group which was provided in the "supported_groups" extension in the |
| 460 | * original ClientHello. |
| 461 | * The supported_group was based on the info in ssl->conf->group_list. |
| 462 | * |
| 463 | * If the server provided a key share that was not sent in the ClientHello |
| 464 | * then the client MUST abort the handshake with an "illegal_parameter" alert. |
| 465 | */ |
XiaokangQian | d9e068e | 2022-01-18 06:23:32 +0000 | [diff] [blame] | 466 | for( ; *group_list != 0; group_list++ ) |
XiaokangQian | b851da8 | 2022-01-14 04:03:11 +0000 | [diff] [blame] | 467 | { |
| 468 | curve_info = mbedtls_ecp_curve_info_from_tls_id( *group_list ); |
XiaokangQian | d59be77 | 2022-01-24 10:12:51 +0000 | [diff] [blame] | 469 | if( curve_info == NULL || curve_info->tls_id != selected_group ) |
XiaokangQian | b851da8 | 2022-01-14 04:03:11 +0000 | [diff] [blame] | 470 | continue; |
| 471 | |
| 472 | /* We found a match */ |
| 473 | found = 1; |
| 474 | break; |
| 475 | } |
| 476 | |
| 477 | /* Client MUST verify that the selected_group field does not |
| 478 | * correspond to a group which was provided in the "key_share" |
| 479 | * extension in the original ClientHello. If the server sent an |
| 480 | * HRR message with a key share already provided in the |
| 481 | * ClientHello then the client MUST abort the handshake with |
| 482 | * an "illegal_parameter" alert. |
| 483 | */ |
XiaokangQian | d59be77 | 2022-01-24 10:12:51 +0000 | [diff] [blame] | 484 | if( found == 0 || selected_group == ssl->handshake->offered_group_id ) |
XiaokangQian | b851da8 | 2022-01-14 04:03:11 +0000 | [diff] [blame] | 485 | { |
| 486 | MBEDTLS_SSL_DEBUG_MSG( 1, ( "Invalid key share in HRR" ) ); |
| 487 | MBEDTLS_SSL_PEND_FATAL_ALERT( |
| 488 | MBEDTLS_SSL_ALERT_MSG_ILLEGAL_PARAMETER, |
| 489 | MBEDTLS_ERR_SSL_ILLEGAL_PARAMETER ); |
| 490 | return( MBEDTLS_ERR_SSL_ILLEGAL_PARAMETER ); |
| 491 | } |
| 492 | |
| 493 | /* Remember server's preference for next ClientHello */ |
XiaokangQian | d59be77 | 2022-01-24 10:12:51 +0000 | [diff] [blame] | 494 | ssl->handshake->offered_group_id = selected_group; |
XiaokangQian | b851da8 | 2022-01-14 04:03:11 +0000 | [diff] [blame] | 495 | |
| 496 | return( 0 ); |
| 497 | } |
| 498 | |
Jerry Yu | e1b9c29 | 2021-09-10 10:08:31 +0800 | [diff] [blame] | 499 | /* |
Jerry Yu | b85277e | 2021-10-13 13:36:05 +0800 | [diff] [blame] | 500 | * ssl_tls13_parse_key_share_ext() |
| 501 | * Parse key_share extension in Server Hello |
| 502 | * |
Jerry Yu | e1b9c29 | 2021-09-10 10:08:31 +0800 | [diff] [blame] | 503 | * struct { |
| 504 | * KeyShareEntry server_share; |
| 505 | * } KeyShareServerHello; |
| 506 | * struct { |
| 507 | * NamedGroup group; |
| 508 | * opaque key_exchange<1..2^16-1>; |
| 509 | * } KeyShareEntry; |
| 510 | */ |
Jerry Yu | 4a17338 | 2021-10-11 21:45:31 +0800 | [diff] [blame] | 511 | static int ssl_tls13_parse_key_share_ext( mbedtls_ssl_context *ssl, |
Jerry Yu | e1b9c29 | 2021-09-10 10:08:31 +0800 | [diff] [blame] | 512 | const unsigned char *buf, |
| 513 | const unsigned char *end ) |
| 514 | { |
Jerry Yu | b85277e | 2021-10-13 13:36:05 +0800 | [diff] [blame] | 515 | int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED; |
Jerry Yu | e1b9c29 | 2021-09-10 10:08:31 +0800 | [diff] [blame] | 516 | const unsigned char *p = buf; |
Jerry Yu | 4a17338 | 2021-10-11 21:45:31 +0800 | [diff] [blame] | 517 | uint16_t group, offered_group; |
Jerry Yu | e1b9c29 | 2021-09-10 10:08:31 +0800 | [diff] [blame] | 518 | |
Jerry Yu | 4a17338 | 2021-10-11 21:45:31 +0800 | [diff] [blame] | 519 | /* ... |
| 520 | * NamedGroup group; (2 bytes) |
| 521 | * ... |
| 522 | */ |
| 523 | MBEDTLS_SSL_CHK_BUF_READ_PTR( p, end, 2 ); |
| 524 | group = MBEDTLS_GET_UINT16_BE( p, 0 ); |
Jerry Yu | e1b9c29 | 2021-09-10 10:08:31 +0800 | [diff] [blame] | 525 | p += 2; |
| 526 | |
Jerry Yu | 4a17338 | 2021-10-11 21:45:31 +0800 | [diff] [blame] | 527 | /* Check that the chosen group matches the one we offered. */ |
Jerry Yu | e1b9c29 | 2021-09-10 10:08:31 +0800 | [diff] [blame] | 528 | offered_group = ssl->handshake->offered_group_id; |
Jerry Yu | 4a17338 | 2021-10-11 21:45:31 +0800 | [diff] [blame] | 529 | if( offered_group != group ) |
Jerry Yu | e1b9c29 | 2021-09-10 10:08:31 +0800 | [diff] [blame] | 530 | { |
| 531 | MBEDTLS_SSL_DEBUG_MSG( 1, |
| 532 | ( "Invalid server key share, our group %u, their group %u", |
Jerry Yu | 4a17338 | 2021-10-11 21:45:31 +0800 | [diff] [blame] | 533 | (unsigned) offered_group, (unsigned) group ) ); |
| 534 | MBEDTLS_SSL_PEND_FATAL_ALERT( MBEDTLS_SSL_ALERT_MSG_HANDSHAKE_FAILURE, |
| 535 | MBEDTLS_ERR_SSL_HANDSHAKE_FAILURE ); |
| 536 | return( MBEDTLS_ERR_SSL_HANDSHAKE_FAILURE ); |
Jerry Yu | e1b9c29 | 2021-09-10 10:08:31 +0800 | [diff] [blame] | 537 | } |
| 538 | |
| 539 | #if defined(MBEDTLS_ECDH_C) |
Jerry Yu | 4a17338 | 2021-10-11 21:45:31 +0800 | [diff] [blame] | 540 | if( mbedtls_ssl_tls13_named_group_is_ecdhe( group ) ) |
Jerry Yu | e1b9c29 | 2021-09-10 10:08:31 +0800 | [diff] [blame] | 541 | { |
| 542 | /* Complete ECDHE key agreement */ |
Jerry Yu | c068b66 | 2021-10-11 22:30:19 +0800 | [diff] [blame] | 543 | ret = ssl_tls13_read_public_ecdhe_share( ssl, p, end - p ); |
Jerry Yu | e1b9c29 | 2021-09-10 10:08:31 +0800 | [diff] [blame] | 544 | if( ret != 0 ) |
| 545 | return( ret ); |
| 546 | } |
Jerry Yu | b85277e | 2021-10-13 13:36:05 +0800 | [diff] [blame] | 547 | else |
Jerry Yu | e1b9c29 | 2021-09-10 10:08:31 +0800 | [diff] [blame] | 548 | #endif /* MBEDTLS_ECDH_C */ |
Jerry Yu | b85277e | 2021-10-13 13:36:05 +0800 | [diff] [blame] | 549 | if( 0 /* other KEMs? */ ) |
Jerry Yu | e1b9c29 | 2021-09-10 10:08:31 +0800 | [diff] [blame] | 550 | { |
| 551 | /* Do something */ |
| 552 | } |
| 553 | else |
| 554 | return( MBEDTLS_ERR_SSL_INTERNAL_ERROR ); |
| 555 | |
| 556 | ssl->handshake->extensions_present |= MBEDTLS_SSL_EXT_KEY_SHARE; |
| 557 | return( ret ); |
| 558 | } |
| 559 | |
Jerry Yu | bc20bdd | 2021-08-24 15:59:48 +0800 | [diff] [blame] | 560 | #endif /* MBEDTLS_KEY_EXCHANGE_WITH_CERT_ENABLED */ |
| 561 | |
XiaokangQian | d59be77 | 2022-01-24 10:12:51 +0000 | [diff] [blame] | 562 | /* |
| 563 | * ssl_tls13_parse_cookie_ext() |
| 564 | * Parse cookie extension in Hello Retry Request |
| 565 | * |
| 566 | * struct { |
| 567 | * opaque cookie<1..2^16-1>; |
| 568 | * } Cookie; |
| 569 | * |
| 570 | * When sending a HelloRetryRequest, the server MAY provide a "cookie" |
| 571 | * extension to the client (this is an exception to the usual rule that |
| 572 | * the only extensions that may be sent are those that appear in the |
| 573 | * ClientHello). When sending the new ClientHello, the client MUST copy |
| 574 | * the contents of the extension received in the HelloRetryRequest into |
| 575 | * a "cookie" extension in the new ClientHello. Clients MUST NOT use |
| 576 | * cookies in their initial ClientHello in subsequent connections. |
| 577 | */ |
XiaokangQian | 43550bd | 2022-01-21 04:32:58 +0000 | [diff] [blame] | 578 | static int ssl_tls13_parse_cookie_ext( mbedtls_ssl_context *ssl, |
| 579 | const unsigned char *buf, |
| 580 | const unsigned char *end ) |
| 581 | { |
| 582 | size_t cookie_len; |
| 583 | const unsigned char *p = buf; |
| 584 | mbedtls_ssl_handshake_params *handshake = ssl->handshake; |
| 585 | |
| 586 | /* Retrieve length field of cookie */ |
| 587 | MBEDTLS_SSL_CHK_BUF_READ_PTR( p, end, 2 ); |
| 588 | cookie_len = MBEDTLS_GET_UINT16_BE( p, 0 ); |
| 589 | p += 2; |
| 590 | |
| 591 | MBEDTLS_SSL_CHK_BUF_READ_PTR( p, end, cookie_len ); |
| 592 | MBEDTLS_SSL_DEBUG_BUF( 3, "cookie extension", p, cookie_len ); |
| 593 | |
| 594 | mbedtls_free( handshake->verify_cookie ); |
XiaokangQian | 3490974 | 2022-01-27 02:25:04 +0000 | [diff] [blame] | 595 | handshake->verify_cookie_len = 0; |
XiaokangQian | 43550bd | 2022-01-21 04:32:58 +0000 | [diff] [blame] | 596 | handshake->verify_cookie = mbedtls_calloc( 1, cookie_len ); |
| 597 | if( handshake->verify_cookie == NULL ) |
| 598 | { |
| 599 | MBEDTLS_SSL_DEBUG_MSG( 1, |
| 600 | ( "alloc failed ( %" MBEDTLS_PRINTF_SIZET " bytes )", |
| 601 | cookie_len ) ); |
| 602 | return( MBEDTLS_ERR_SSL_ALLOC_FAILED ); |
| 603 | } |
| 604 | |
| 605 | memcpy( handshake->verify_cookie, p, cookie_len ); |
| 606 | handshake->verify_cookie_len = (unsigned char) cookie_len; |
| 607 | |
| 608 | return( 0 ); |
| 609 | } |
XiaokangQian | 43550bd | 2022-01-21 04:32:58 +0000 | [diff] [blame] | 610 | |
Jerry Yu | 1bc2c1f | 2021-09-01 12:57:29 +0800 | [diff] [blame] | 611 | /* Write cipher_suites |
Jerry Yu | 6a64310 | 2021-08-31 14:40:36 +0800 | [diff] [blame] | 612 | * CipherSuite cipher_suites<2..2^16-2>; |
| 613 | */ |
Jerry Yu | 1bc2c1f | 2021-09-01 12:57:29 +0800 | [diff] [blame] | 614 | static int ssl_tls13_write_client_hello_cipher_suites( |
Jerry Yu | 6a64310 | 2021-08-31 14:40:36 +0800 | [diff] [blame] | 615 | mbedtls_ssl_context *ssl, |
| 616 | unsigned char *buf, |
| 617 | unsigned char *end, |
Xiaofei Bai | d25fab6 | 2021-12-02 06:36:27 +0000 | [diff] [blame] | 618 | size_t *out_len ) |
Jerry Yu | 6a64310 | 2021-08-31 14:40:36 +0800 | [diff] [blame] | 619 | { |
Jerry Yu | fec982e | 2021-09-07 17:26:06 +0800 | [diff] [blame] | 620 | unsigned char *p = buf; |
Jerry Yu | 0c63af6 | 2021-09-02 12:59:12 +0800 | [diff] [blame] | 621 | const int *ciphersuite_list; |
Xiaofei Bai | eef1504 | 2021-11-18 07:29:56 +0000 | [diff] [blame] | 622 | unsigned char *cipher_suites; /* Start of the cipher_suites list */ |
Jerry Yu | 1bc2c1f | 2021-09-01 12:57:29 +0800 | [diff] [blame] | 623 | size_t cipher_suites_len; |
Jerry Yu | 92c6b40 | 2021-08-27 16:59:09 +0800 | [diff] [blame] | 624 | |
Xiaofei Bai | d25fab6 | 2021-12-02 06:36:27 +0000 | [diff] [blame] | 625 | *out_len = 0 ; |
Jerry Yu | 6a64310 | 2021-08-31 14:40:36 +0800 | [diff] [blame] | 626 | |
| 627 | /* |
| 628 | * Ciphersuite list |
| 629 | * |
| 630 | * This is a list of the symmetric cipher options supported by |
| 631 | * the client, specifically the record protection algorithm |
| 632 | * ( including secret key length ) and a hash to be used with |
| 633 | * HKDF, in descending order of client preference. |
| 634 | */ |
Jerry Yu | 0c63af6 | 2021-09-02 12:59:12 +0800 | [diff] [blame] | 635 | ciphersuite_list = ssl->conf->ciphersuite_list; |
Jerry Yu | 6a64310 | 2021-08-31 14:40:36 +0800 | [diff] [blame] | 636 | |
Jerry Yu | 1bc2c1f | 2021-09-01 12:57:29 +0800 | [diff] [blame] | 637 | /* Check there is space for the cipher suite list length (2 bytes). */ |
Jerry Yu | 4e38828 | 2021-09-06 21:28:08 +0800 | [diff] [blame] | 638 | MBEDTLS_SSL_CHK_BUF_PTR( p, end, 2 ); |
| 639 | p += 2; |
Jerry Yu | 6a64310 | 2021-08-31 14:40:36 +0800 | [diff] [blame] | 640 | |
Jerry Yu | 0c63af6 | 2021-09-02 12:59:12 +0800 | [diff] [blame] | 641 | /* Write cipher_suites */ |
Xiaofei Bai | eef1504 | 2021-11-18 07:29:56 +0000 | [diff] [blame] | 642 | cipher_suites = p; |
Jerry Yu | 0c63af6 | 2021-09-02 12:59:12 +0800 | [diff] [blame] | 643 | for ( size_t i = 0; ciphersuite_list[i] != 0; i++ ) |
Jerry Yu | 6a64310 | 2021-08-31 14:40:36 +0800 | [diff] [blame] | 644 | { |
Jerry Yu | 0c63af6 | 2021-09-02 12:59:12 +0800 | [diff] [blame] | 645 | int cipher_suite = ciphersuite_list[i]; |
Jerry Yu | 1bc2c1f | 2021-09-01 12:57:29 +0800 | [diff] [blame] | 646 | const mbedtls_ssl_ciphersuite_t *ciphersuite_info; |
Jerry Yu | 6a64310 | 2021-08-31 14:40:36 +0800 | [diff] [blame] | 647 | |
Jerry Yu | 1bc2c1f | 2021-09-01 12:57:29 +0800 | [diff] [blame] | 648 | ciphersuite_info = mbedtls_ssl_ciphersuite_from_id( cipher_suite ); |
Jerry Yu | 6a64310 | 2021-08-31 14:40:36 +0800 | [diff] [blame] | 649 | if( ciphersuite_info == NULL ) |
| 650 | continue; |
Jerry Yu | dbfb7bd | 2021-09-04 09:58:58 +0800 | [diff] [blame] | 651 | if( !( MBEDTLS_SSL_MINOR_VERSION_4 >= ciphersuite_info->min_minor_ver && |
| 652 | MBEDTLS_SSL_MINOR_VERSION_4 <= ciphersuite_info->max_minor_ver ) ) |
Jerry Yu | 6a64310 | 2021-08-31 14:40:36 +0800 | [diff] [blame] | 653 | continue; |
| 654 | |
| 655 | MBEDTLS_SSL_DEBUG_MSG( 3, ( "client hello, add ciphersuite: %04x, %s", |
Jerry Yu | 1bc2c1f | 2021-09-01 12:57:29 +0800 | [diff] [blame] | 656 | (unsigned int) cipher_suite, |
Jerry Yu | 6a64310 | 2021-08-31 14:40:36 +0800 | [diff] [blame] | 657 | ciphersuite_info->name ) ); |
| 658 | |
Jerry Yu | 1bc2c1f | 2021-09-01 12:57:29 +0800 | [diff] [blame] | 659 | /* Check there is space for the cipher suite identifier (2 bytes). */ |
Jerry Yu | bbe0952 | 2021-09-06 21:17:54 +0800 | [diff] [blame] | 660 | MBEDTLS_SSL_CHK_BUF_PTR( p, end, 2 ); |
| 661 | MBEDTLS_PUT_UINT16_BE( cipher_suite, p, 0 ); |
| 662 | p += 2; |
Jerry Yu | 6a64310 | 2021-08-31 14:40:36 +0800 | [diff] [blame] | 663 | } |
| 664 | |
Jerry Yu | 0c63af6 | 2021-09-02 12:59:12 +0800 | [diff] [blame] | 665 | /* Write the cipher_suites length in number of bytes */ |
Xiaofei Bai | eef1504 | 2021-11-18 07:29:56 +0000 | [diff] [blame] | 666 | cipher_suites_len = p - cipher_suites; |
Jerry Yu | 1bc2c1f | 2021-09-01 12:57:29 +0800 | [diff] [blame] | 667 | MBEDTLS_PUT_UINT16_BE( cipher_suites_len, buf, 0 ); |
Jerry Yu | 6a64310 | 2021-08-31 14:40:36 +0800 | [diff] [blame] | 668 | MBEDTLS_SSL_DEBUG_MSG( 3, |
Jerry Yu | 1bc2c1f | 2021-09-01 12:57:29 +0800 | [diff] [blame] | 669 | ( "client hello, got %" MBEDTLS_PRINTF_SIZET " cipher suites", |
| 670 | cipher_suites_len/2 ) ); |
Jerry Yu | 6a64310 | 2021-08-31 14:40:36 +0800 | [diff] [blame] | 671 | |
Jerry Yu | 1bc2c1f | 2021-09-01 12:57:29 +0800 | [diff] [blame] | 672 | /* Output the total length of cipher_suites field. */ |
Xiaofei Bai | d25fab6 | 2021-12-02 06:36:27 +0000 | [diff] [blame] | 673 | *out_len = p - buf; |
Jerry Yu | f171e83 | 2021-08-31 18:31:09 +0800 | [diff] [blame] | 674 | |
Jerry Yu | 6a64310 | 2021-08-31 14:40:36 +0800 | [diff] [blame] | 675 | return( 0 ); |
| 676 | } |
| 677 | |
Jerry Yu | 1bc2c1f | 2021-09-01 12:57:29 +0800 | [diff] [blame] | 678 | /* |
| 679 | * Structure of ClientHello message: |
| 680 | * |
| 681 | * struct { |
| 682 | * ProtocolVersion legacy_version = 0x0303; // TLS v1.2 |
| 683 | * Random random; |
| 684 | * opaque legacy_session_id<0..32>; |
| 685 | * CipherSuite cipher_suites<2..2^16-2>; |
| 686 | * opaque legacy_compression_methods<1..2^8-1>; |
| 687 | * Extension extensions<8..2^16-1>; |
| 688 | * } ClientHello; |
| 689 | */ |
Jerry Yu | 08906d0 | 2021-08-31 11:05:27 +0800 | [diff] [blame] | 690 | static int ssl_tls13_write_client_hello_body( mbedtls_ssl_context *ssl, |
Jerry Yu | eecfbf0 | 2021-08-30 18:32:07 +0800 | [diff] [blame] | 691 | unsigned char *buf, |
Jerry Yu | ef387d7 | 2021-09-02 13:59:41 +0800 | [diff] [blame] | 692 | unsigned char *end, |
Xiaofei Bai | d25fab6 | 2021-12-02 06:36:27 +0000 | [diff] [blame] | 693 | size_t *out_len ) |
Jerry Yu | 65dd2cc | 2021-08-18 16:38:40 +0800 | [diff] [blame] | 694 | { |
Jerry Yu | bc20bdd | 2021-08-24 15:59:48 +0800 | [diff] [blame] | 695 | |
Jerry Yu | bc20bdd | 2021-08-24 15:59:48 +0800 | [diff] [blame] | 696 | int ret; |
Xiaofei Bai | eef1504 | 2021-11-18 07:29:56 +0000 | [diff] [blame] | 697 | unsigned char *p_extensions_len; /* Pointer to extensions length */ |
| 698 | size_t output_len; /* Length of buffer used by function */ |
| 699 | size_t extensions_len; /* Length of the list of extensions*/ |
Jerry Yu | bc20bdd | 2021-08-24 15:59:48 +0800 | [diff] [blame] | 700 | |
Jerry Yu | bc20bdd | 2021-08-24 15:59:48 +0800 | [diff] [blame] | 701 | /* Buffer management */ |
Jerry Yu | bbe0952 | 2021-09-06 21:17:54 +0800 | [diff] [blame] | 702 | unsigned char *p = buf; |
Jerry Yu | bc20bdd | 2021-08-24 15:59:48 +0800 | [diff] [blame] | 703 | |
Xiaofei Bai | d25fab6 | 2021-12-02 06:36:27 +0000 | [diff] [blame] | 704 | *out_len = 0; |
Jerry Yu | bc20bdd | 2021-08-24 15:59:48 +0800 | [diff] [blame] | 705 | |
Jerry Yu | 1bc2c1f | 2021-09-01 12:57:29 +0800 | [diff] [blame] | 706 | /* No validation needed here. It has been done by ssl_conf_check() */ |
Jerry Yu | bc20bdd | 2021-08-24 15:59:48 +0800 | [diff] [blame] | 707 | ssl->major_ver = ssl->conf->min_major_ver; |
| 708 | ssl->minor_ver = ssl->conf->min_minor_ver; |
| 709 | |
Jerry Yu | 1bc2c1f | 2021-09-01 12:57:29 +0800 | [diff] [blame] | 710 | /* |
| 711 | * Write legacy_version |
Jerry Yu | 6a64310 | 2021-08-31 14:40:36 +0800 | [diff] [blame] | 712 | * ProtocolVersion legacy_version = 0x0303; // TLS v1.2 |
Jerry Yu | 1bc2c1f | 2021-09-01 12:57:29 +0800 | [diff] [blame] | 713 | * |
| 714 | * For TLS 1.3 we use the legacy version number {0x03, 0x03} |
Jerry Yu | bc20bdd | 2021-08-24 15:59:48 +0800 | [diff] [blame] | 715 | * instead of the true version number. |
Jerry Yu | bc20bdd | 2021-08-24 15:59:48 +0800 | [diff] [blame] | 716 | */ |
Jerry Yu | fec982e | 2021-09-07 17:26:06 +0800 | [diff] [blame] | 717 | MBEDTLS_SSL_CHK_BUF_PTR( p, end, 2 ); |
Jerry Yu | bbe0952 | 2021-09-06 21:17:54 +0800 | [diff] [blame] | 718 | MBEDTLS_PUT_UINT16_BE( 0x0303, p, 0 ); |
Jerry Yu | fec982e | 2021-09-07 17:26:06 +0800 | [diff] [blame] | 719 | p += 2; |
Jerry Yu | bc20bdd | 2021-08-24 15:59:48 +0800 | [diff] [blame] | 720 | |
Jerry Yu | 1bc2c1f | 2021-09-01 12:57:29 +0800 | [diff] [blame] | 721 | /* Write the random bytes ( random ).*/ |
Jerry Yu | e6d7e5c | 2021-10-26 10:44:32 +0800 | [diff] [blame] | 722 | MBEDTLS_SSL_CHK_BUF_PTR( p, end, MBEDTLS_CLIENT_HELLO_RANDOM_LEN ); |
| 723 | memcpy( p, ssl->handshake->randbytes, MBEDTLS_CLIENT_HELLO_RANDOM_LEN ); |
Jerry Yu | e885b76 | 2021-08-26 17:32:34 +0800 | [diff] [blame] | 724 | MBEDTLS_SSL_DEBUG_BUF( 3, "client hello, random bytes", |
Jerry Yu | e6d7e5c | 2021-10-26 10:44:32 +0800 | [diff] [blame] | 725 | p, MBEDTLS_CLIENT_HELLO_RANDOM_LEN ); |
| 726 | p += MBEDTLS_CLIENT_HELLO_RANDOM_LEN; |
Jerry Yu | bc20bdd | 2021-08-24 15:59:48 +0800 | [diff] [blame] | 727 | |
Jerry Yu | 1bc2c1f | 2021-09-01 12:57:29 +0800 | [diff] [blame] | 728 | /* |
| 729 | * Write legacy_session_id |
| 730 | * |
| 731 | * Versions of TLS before TLS 1.3 supported a "session resumption" feature |
| 732 | * which has been merged with pre-shared keys in this version. A client |
| 733 | * which has a cached session ID set by a pre-TLS 1.3 server SHOULD set |
| 734 | * this field to that value. In compatibility mode, this field MUST be |
| 735 | * non-empty, so a client not offering a pre-TLS 1.3 session MUST generate |
| 736 | * a new 32-byte value. This value need not be random but SHOULD be |
| 737 | * unpredictable to avoid implementations fixating on a specific value |
| 738 | * ( also known as ossification ). Otherwise, it MUST be set as a zero-length |
| 739 | * vector ( i.e., a zero-valued single byte length field ). |
Jerry Yu | bc20bdd | 2021-08-24 15:59:48 +0800 | [diff] [blame] | 740 | */ |
Ronald Cron | 49ad619 | 2021-11-24 16:25:31 +0100 | [diff] [blame] | 741 | #if defined(MBEDTLS_SSL_TLS1_3_COMPATIBILITY_MODE) |
| 742 | MBEDTLS_SSL_CHK_BUF_PTR( p, end, ssl->session_negotiate->id_len + 1 ); |
| 743 | *p++ = (unsigned char)ssl->session_negotiate->id_len; |
| 744 | memcpy( p, ssl->session_negotiate->id, ssl->session_negotiate->id_len ); |
| 745 | p += ssl->session_negotiate->id_len; |
| 746 | |
| 747 | MBEDTLS_SSL_DEBUG_BUF( 3, "session id", ssl->session_negotiate->id, |
| 748 | ssl->session_negotiate->id_len ); |
| 749 | #else |
Jerry Yu | bbe0952 | 2021-09-06 21:17:54 +0800 | [diff] [blame] | 750 | MBEDTLS_SSL_CHK_BUF_PTR( p, end, 1 ); |
| 751 | *p++ = 0; /* session id length set to zero */ |
Ronald Cron | 49ad619 | 2021-11-24 16:25:31 +0100 | [diff] [blame] | 752 | #endif /* MBEDTLS_SSL_TLS1_3_COMPATIBILITY_MODE */ |
Jerry Yu | bc20bdd | 2021-08-24 15:59:48 +0800 | [diff] [blame] | 753 | |
Jerry Yu | 1bc2c1f | 2021-09-01 12:57:29 +0800 | [diff] [blame] | 754 | /* Write cipher_suites */ |
Jerry Yu | bbe0952 | 2021-09-06 21:17:54 +0800 | [diff] [blame] | 755 | ret = ssl_tls13_write_client_hello_cipher_suites( ssl, p, end, &output_len ); |
Jerry Yu | dbfb7bd | 2021-09-04 09:58:58 +0800 | [diff] [blame] | 756 | if( ret != 0 ) |
Jerry Yu | 6a64310 | 2021-08-31 14:40:36 +0800 | [diff] [blame] | 757 | return( ret ); |
Jerry Yu | bbe0952 | 2021-09-06 21:17:54 +0800 | [diff] [blame] | 758 | p += output_len; |
Jerry Yu | bc20bdd | 2021-08-24 15:59:48 +0800 | [diff] [blame] | 759 | |
Jerry Yu | 1bc2c1f | 2021-09-01 12:57:29 +0800 | [diff] [blame] | 760 | /* Write legacy_compression_methods |
| 761 | * |
| 762 | * For every TLS 1.3 ClientHello, this vector MUST contain exactly |
Jerry Yu | bc20bdd | 2021-08-24 15:59:48 +0800 | [diff] [blame] | 763 | * one byte set to zero, which corresponds to the 'null' compression |
| 764 | * method in prior versions of TLS. |
Jerry Yu | bc20bdd | 2021-08-24 15:59:48 +0800 | [diff] [blame] | 765 | */ |
Jerry Yu | bbe0952 | 2021-09-06 21:17:54 +0800 | [diff] [blame] | 766 | MBEDTLS_SSL_CHK_BUF_PTR( p, end, 2 ); |
| 767 | *p++ = 1; |
| 768 | *p++ = MBEDTLS_SSL_COMPRESS_NULL; |
Jerry Yu | bc20bdd | 2021-08-24 15:59:48 +0800 | [diff] [blame] | 769 | |
Jerry Yu | 1bc2c1f | 2021-09-01 12:57:29 +0800 | [diff] [blame] | 770 | /* Write extensions */ |
| 771 | |
| 772 | /* Keeping track of the included extensions */ |
| 773 | ssl->handshake->extensions_present = MBEDTLS_SSL_EXT_NONE; |
Jerry Yu | bc20bdd | 2021-08-24 15:59:48 +0800 | [diff] [blame] | 774 | |
| 775 | /* First write extensions, then the total length */ |
Jerry Yu | bbe0952 | 2021-09-06 21:17:54 +0800 | [diff] [blame] | 776 | MBEDTLS_SSL_CHK_BUF_PTR( p, end, 2 ); |
Xiaofei Bai | eef1504 | 2021-11-18 07:29:56 +0000 | [diff] [blame] | 777 | p_extensions_len = p; |
Jerry Yu | bbe0952 | 2021-09-06 21:17:54 +0800 | [diff] [blame] | 778 | p += 2; |
Jerry Yu | bc20bdd | 2021-08-24 15:59:48 +0800 | [diff] [blame] | 779 | |
Jerry Yu | 1bc2c1f | 2021-09-01 12:57:29 +0800 | [diff] [blame] | 780 | /* Write supported_versions extension |
Jerry Yu | bc20bdd | 2021-08-24 15:59:48 +0800 | [diff] [blame] | 781 | * |
Jerry Yu | 1bc2c1f | 2021-09-01 12:57:29 +0800 | [diff] [blame] | 782 | * Supported Versions Extension is mandatory with TLS 1.3. |
Jerry Yu | bc20bdd | 2021-08-24 15:59:48 +0800 | [diff] [blame] | 783 | */ |
Jerry Yu | bbe0952 | 2021-09-06 21:17:54 +0800 | [diff] [blame] | 784 | ret = ssl_tls13_write_supported_versions_ext( ssl, p, end, &output_len ); |
Jerry Yu | 92c6b40 | 2021-08-27 16:59:09 +0800 | [diff] [blame] | 785 | if( ret != 0 ) |
| 786 | return( ret ); |
Jerry Yu | bbe0952 | 2021-09-06 21:17:54 +0800 | [diff] [blame] | 787 | p += output_len; |
Jerry Yu | bc20bdd | 2021-08-24 15:59:48 +0800 | [diff] [blame] | 788 | |
| 789 | #if defined(MBEDTLS_KEY_EXCHANGE_WITH_CERT_ENABLED) |
Jerry Yu | bc20bdd | 2021-08-24 15:59:48 +0800 | [diff] [blame] | 790 | |
Jerry Yu | b925f21 | 2022-01-12 11:17:02 +0800 | [diff] [blame] | 791 | /* |
| 792 | * Add the extensions related to (EC)DHE ephemeral key establishment only if |
| 793 | * enabled as per the configuration. |
Jerry Yu | bc20bdd | 2021-08-24 15:59:48 +0800 | [diff] [blame] | 794 | */ |
Jerry Yu | f46b016 | 2022-01-11 16:28:00 +0800 | [diff] [blame] | 795 | if( mbedtls_ssl_conf_tls13_some_ephemeral_enabled( ssl ) ) |
| 796 | { |
| 797 | ret = mbedtls_ssl_write_supported_groups_ext( ssl, p, end, &output_len ); |
| 798 | if( ret != 0 ) |
| 799 | return( ret ); |
| 800 | p += output_len; |
Jerry Yu | 6a64310 | 2021-08-31 14:40:36 +0800 | [diff] [blame] | 801 | |
Jerry Yu | f46b016 | 2022-01-11 16:28:00 +0800 | [diff] [blame] | 802 | ret = ssl_tls13_write_key_share_ext( ssl, p, end, &output_len ); |
| 803 | if( ret != 0 ) |
| 804 | return( ret ); |
| 805 | p += output_len; |
Jerry Yu | 1bc2c1f | 2021-09-01 12:57:29 +0800 | [diff] [blame] | 806 | |
Jerry Yu | f017ee4 | 2022-01-12 15:49:48 +0800 | [diff] [blame] | 807 | ret = mbedtls_ssl_write_sig_alg_ext( ssl, p, end, &output_len ); |
Jerry Yu | f46b016 | 2022-01-11 16:28:00 +0800 | [diff] [blame] | 808 | if( ret != 0 ) |
| 809 | return( ret ); |
| 810 | p += output_len; |
| 811 | } |
Jerry Yu | bc20bdd | 2021-08-24 15:59:48 +0800 | [diff] [blame] | 812 | #endif /* MBEDTLS_KEY_EXCHANGE_WITH_CERT_ENABLED */ |
| 813 | |
Xiaofei Bai | 15a5681 | 2021-11-05 10:52:12 +0000 | [diff] [blame] | 814 | #if defined(MBEDTLS_SSL_SERVER_NAME_INDICATION) |
Xiaofei Bai | 58afdba | 2021-11-09 03:10:05 +0000 | [diff] [blame] | 815 | /* Write server name extension */ |
Xiaofei Bai | 15a5681 | 2021-11-05 10:52:12 +0000 | [diff] [blame] | 816 | ret = mbedtls_ssl_write_hostname_ext( ssl, p, end, &output_len ); |
| 817 | if( ret != 0 ) |
| 818 | return( ret ); |
| 819 | p += output_len; |
| 820 | #endif /* MBEDTLS_SSL_SERVER_NAME_INDICATION */ |
| 821 | |
Jerry Yu | bc20bdd | 2021-08-24 15:59:48 +0800 | [diff] [blame] | 822 | /* Add more extensions here */ |
| 823 | |
Jerry Yu | 1bc2c1f | 2021-09-01 12:57:29 +0800 | [diff] [blame] | 824 | /* Write the length of the list of extensions. */ |
Xiaofei Bai | eef1504 | 2021-11-18 07:29:56 +0000 | [diff] [blame] | 825 | extensions_len = p - p_extensions_len - 2; |
| 826 | MBEDTLS_PUT_UINT16_BE( extensions_len, p_extensions_len, 0 ); |
Jerry Yu | bc20bdd | 2021-08-24 15:59:48 +0800 | [diff] [blame] | 827 | MBEDTLS_SSL_DEBUG_MSG( 3, ( "client hello, total extension length: %" MBEDTLS_PRINTF_SIZET , |
Jerry Yu | 790656a | 2021-09-01 15:51:48 +0800 | [diff] [blame] | 828 | extensions_len ) ); |
Xiaofei Bai | eef1504 | 2021-11-18 07:29:56 +0000 | [diff] [blame] | 829 | MBEDTLS_SSL_DEBUG_BUF( 3, "client hello extensions", p_extensions_len, extensions_len ); |
Jerry Yu | bc20bdd | 2021-08-24 15:59:48 +0800 | [diff] [blame] | 830 | |
Xiaofei Bai | d25fab6 | 2021-12-02 06:36:27 +0000 | [diff] [blame] | 831 | *out_len = p - buf; |
Jerry Yu | bc20bdd | 2021-08-24 15:59:48 +0800 | [diff] [blame] | 832 | return( 0 ); |
| 833 | } |
| 834 | |
Jerry Yu | 335aca9 | 2021-09-12 20:18:56 +0800 | [diff] [blame] | 835 | static int ssl_tls13_finalize_client_hello( mbedtls_ssl_context *ssl ) |
Jerry Yu | bc20bdd | 2021-08-24 15:59:48 +0800 | [diff] [blame] | 836 | { |
Jerry Yu | 92c6b40 | 2021-08-27 16:59:09 +0800 | [diff] [blame] | 837 | mbedtls_ssl_handshake_set_state( ssl, MBEDTLS_SSL_SERVER_HELLO ); |
| 838 | return( 0 ); |
| 839 | } |
Jerry Yu | ef6b36b | 2021-08-24 16:29:02 +0800 | [diff] [blame] | 840 | |
Jerry Yu | 92c6b40 | 2021-08-27 16:59:09 +0800 | [diff] [blame] | 841 | static int ssl_tls13_prepare_client_hello( mbedtls_ssl_context *ssl ) |
| 842 | { |
| 843 | int ret; |
Jerry Yu | ef6b36b | 2021-08-24 16:29:02 +0800 | [diff] [blame] | 844 | |
Jerry Yu | 92c6b40 | 2021-08-27 16:59:09 +0800 | [diff] [blame] | 845 | if( ssl->conf->f_rng == NULL ) |
| 846 | { |
| 847 | MBEDTLS_SSL_DEBUG_MSG( 1, ( "no RNG provided" ) ); |
| 848 | return( MBEDTLS_ERR_SSL_NO_RNG ); |
| 849 | } |
Jerry Yu | ef6b36b | 2021-08-24 16:29:02 +0800 | [diff] [blame] | 850 | |
Jerry Yu | 92c6b40 | 2021-08-27 16:59:09 +0800 | [diff] [blame] | 851 | if( ( ret = ssl->conf->f_rng( ssl->conf->p_rng, |
| 852 | ssl->handshake->randbytes, |
Jerry Yu | e6d7e5c | 2021-10-26 10:44:32 +0800 | [diff] [blame] | 853 | MBEDTLS_CLIENT_HELLO_RANDOM_LEN ) ) != 0 ) |
Jerry Yu | 92c6b40 | 2021-08-27 16:59:09 +0800 | [diff] [blame] | 854 | { |
Jerry Yu | 8c02bb4 | 2021-09-03 21:09:22 +0800 | [diff] [blame] | 855 | MBEDTLS_SSL_DEBUG_RET( 1, "f_rng", ret ); |
Jerry Yu | 92c6b40 | 2021-08-27 16:59:09 +0800 | [diff] [blame] | 856 | return( ret ); |
| 857 | } |
Jerry Yu | 6f13f64 | 2021-08-26 17:18:15 +0800 | [diff] [blame] | 858 | |
Ronald Cron | 49ad619 | 2021-11-24 16:25:31 +0100 | [diff] [blame] | 859 | #if defined(MBEDTLS_SSL_TLS1_3_COMPATIBILITY_MODE) |
| 860 | /* |
| 861 | * Create a session identifier for the purpose of middlebox compatibility |
| 862 | * only if one has not been created already. |
| 863 | */ |
| 864 | if( ssl->session_negotiate->id_len == 0 ) |
| 865 | { |
| 866 | /* Creating a session id with 32 byte length */ |
| 867 | if( ( ret = ssl->conf->f_rng( ssl->conf->p_rng, |
| 868 | ssl->session_negotiate->id, 32 ) ) != 0 ) |
| 869 | { |
| 870 | MBEDTLS_SSL_DEBUG_RET( 1, "creating session id failed", ret ); |
| 871 | return( ret ); |
| 872 | } |
| 873 | ssl->session_negotiate->id_len = 32; |
| 874 | } |
| 875 | #endif /* MBEDTLS_SSL_TLS1_3_COMPATIBILITY_MODE */ |
| 876 | |
Jerry Yu | 6f13f64 | 2021-08-26 17:18:15 +0800 | [diff] [blame] | 877 | return( 0 ); |
Jerry Yu | bc20bdd | 2021-08-24 15:59:48 +0800 | [diff] [blame] | 878 | } |
| 879 | |
Jerry Yu | 92c6b40 | 2021-08-27 16:59:09 +0800 | [diff] [blame] | 880 | /* |
Jerry Yu | 159c5a0 | 2021-08-31 12:51:25 +0800 | [diff] [blame] | 881 | * Write ClientHello handshake message. |
Jerry Yu | 687101b | 2021-09-14 16:03:56 +0800 | [diff] [blame] | 882 | * Handler for MBEDTLS_SSL_CLIENT_HELLO |
Jerry Yu | 92c6b40 | 2021-08-27 16:59:09 +0800 | [diff] [blame] | 883 | */ |
| 884 | static int ssl_tls13_write_client_hello( mbedtls_ssl_context *ssl ) |
Jerry Yu | bc20bdd | 2021-08-24 15:59:48 +0800 | [diff] [blame] | 885 | { |
Jerry Yu | 92c6b40 | 2021-08-27 16:59:09 +0800 | [diff] [blame] | 886 | int ret = 0; |
| 887 | unsigned char *buf; |
| 888 | size_t buf_len, msg_len; |
| 889 | |
| 890 | MBEDTLS_SSL_DEBUG_MSG( 2, ( "=> write client hello" ) ); |
| 891 | |
Jerry Yu | 2c0fbf3 | 2021-09-02 13:53:46 +0800 | [diff] [blame] | 892 | MBEDTLS_SSL_PROC_CHK( ssl_tls13_prepare_client_hello( ssl ) ); |
Jerry Yu | 92c6b40 | 2021-08-27 16:59:09 +0800 | [diff] [blame] | 893 | |
Jerry Yu | 2c0fbf3 | 2021-09-02 13:53:46 +0800 | [diff] [blame] | 894 | MBEDTLS_SSL_PROC_CHK( mbedtls_ssl_tls13_start_handshake_msg( |
| 895 | ssl, MBEDTLS_SSL_HS_CLIENT_HELLO, |
| 896 | &buf, &buf_len ) ); |
Jerry Yu | 92c6b40 | 2021-08-27 16:59:09 +0800 | [diff] [blame] | 897 | |
Jerry Yu | 2c0fbf3 | 2021-09-02 13:53:46 +0800 | [diff] [blame] | 898 | MBEDTLS_SSL_PROC_CHK( ssl_tls13_write_client_hello_body( ssl, buf, |
Jerry Yu | ef387d7 | 2021-09-02 13:59:41 +0800 | [diff] [blame] | 899 | buf + buf_len, |
Jerry Yu | 2c0fbf3 | 2021-09-02 13:53:46 +0800 | [diff] [blame] | 900 | &msg_len ) ); |
Jerry Yu | 92c6b40 | 2021-08-27 16:59:09 +0800 | [diff] [blame] | 901 | |
Jerry Yu | 2c0fbf3 | 2021-09-02 13:53:46 +0800 | [diff] [blame] | 902 | mbedtls_ssl_tls13_add_hs_hdr_to_checksum( ssl, |
| 903 | MBEDTLS_SSL_HS_CLIENT_HELLO, |
Jerry Yu | 0c63af6 | 2021-09-02 12:59:12 +0800 | [diff] [blame] | 904 | msg_len ); |
| 905 | ssl->handshake->update_checksum( ssl, buf, msg_len ); |
Jerry Yu | 92c6b40 | 2021-08-27 16:59:09 +0800 | [diff] [blame] | 906 | |
Jerry Yu | 2c0fbf3 | 2021-09-02 13:53:46 +0800 | [diff] [blame] | 907 | MBEDTLS_SSL_PROC_CHK( ssl_tls13_finalize_client_hello( ssl ) ); |
| 908 | MBEDTLS_SSL_PROC_CHK( mbedtls_ssl_tls13_finish_handshake_msg( ssl, |
| 909 | buf_len, |
| 910 | msg_len ) ); |
Jerry Yu | 92c6b40 | 2021-08-27 16:59:09 +0800 | [diff] [blame] | 911 | |
| 912 | cleanup: |
| 913 | |
| 914 | MBEDTLS_SSL_DEBUG_MSG( 2, ( "<= write client hello" ) ); |
| 915 | return ret; |
Jerry Yu | 65dd2cc | 2021-08-18 16:38:40 +0800 | [diff] [blame] | 916 | } |
| 917 | |
Jerry Yu | 687101b | 2021-09-14 16:03:56 +0800 | [diff] [blame] | 918 | /* |
Jerry Yu | 4a17338 | 2021-10-11 21:45:31 +0800 | [diff] [blame] | 919 | * Functions for parsing and processing Server Hello |
Jerry Yu | e1b9c29 | 2021-09-10 10:08:31 +0800 | [diff] [blame] | 920 | */ |
Jerry Yu | 7a186a0 | 2021-10-15 18:46:14 +0800 | [diff] [blame] | 921 | /* Returns a negative value on failure, and otherwise |
Jerry Yu | b85277e | 2021-10-13 13:36:05 +0800 | [diff] [blame] | 922 | * - SSL_SERVER_HELLO_COORDINATE_HELLO or |
| 923 | * - SSL_SERVER_HELLO_COORDINATE_HRR |
XiaokangQian | 51eff22 | 2021-12-10 10:33:56 +0000 | [diff] [blame] | 924 | * to indicate which message is expected and to be parsed next. |
| 925 | */ |
Jerry Yu | b85277e | 2021-10-13 13:36:05 +0800 | [diff] [blame] | 926 | #define SSL_SERVER_HELLO_COORDINATE_HELLO 0 |
| 927 | #define SSL_SERVER_HELLO_COORDINATE_HRR 1 |
| 928 | static int ssl_server_hello_is_hrr( mbedtls_ssl_context *ssl, |
| 929 | const unsigned char *buf, |
| 930 | const unsigned char *end ) |
Jerry Yu | e1b9c29 | 2021-09-10 10:08:31 +0800 | [diff] [blame] | 931 | { |
Jerry Yu | e6d7e5c | 2021-10-26 10:44:32 +0800 | [diff] [blame] | 932 | static const unsigned char magic_hrr_string[MBEDTLS_SERVER_HELLO_RANDOM_LEN] = |
Jerry Yu | e1b9c29 | 2021-09-10 10:08:31 +0800 | [diff] [blame] | 933 | { 0xCF, 0x21, 0xAD, 0x74, 0xE5, 0x9A, 0x61, 0x11, |
| 934 | 0xBE, 0x1D, 0x8C, 0x02, 0x1E, 0x65, 0xB8, 0x91, |
| 935 | 0xC2, 0xA2, 0x11, 0x16, 0x7A, 0xBB, 0x8C, 0x5E, |
| 936 | 0x07, 0x9E, 0x09, 0xE2, 0xC8, 0xA8, 0x33 ,0x9C }; |
| 937 | |
| 938 | /* Check whether this message is a HelloRetryRequest ( HRR ) message. |
| 939 | * |
Jerry Yu | 4a17338 | 2021-10-11 21:45:31 +0800 | [diff] [blame] | 940 | * Server Hello and HRR are only distinguished by Random set to the |
Jerry Yu | e1b9c29 | 2021-09-10 10:08:31 +0800 | [diff] [blame] | 941 | * special value of the SHA-256 of "HelloRetryRequest". |
| 942 | * |
| 943 | * struct { |
| 944 | * ProtocolVersion legacy_version = 0x0303; |
| 945 | * Random random; |
| 946 | * opaque legacy_session_id_echo<0..32>; |
| 947 | * CipherSuite cipher_suite; |
| 948 | * uint8 legacy_compression_method = 0; |
Jerry Yu | b85277e | 2021-10-13 13:36:05 +0800 | [diff] [blame] | 949 | * Extension extensions<6..2^16-1>; |
Jerry Yu | e1b9c29 | 2021-09-10 10:08:31 +0800 | [diff] [blame] | 950 | * } ServerHello; |
| 951 | * |
| 952 | */ |
Jerry Yu | b85277e | 2021-10-13 13:36:05 +0800 | [diff] [blame] | 953 | MBEDTLS_SSL_CHK_BUF_READ_PTR( buf, end, 2 + sizeof( magic_hrr_string ) ); |
Jerry Yu | 4a17338 | 2021-10-11 21:45:31 +0800 | [diff] [blame] | 954 | |
| 955 | if( memcmp( buf + 2, magic_hrr_string, sizeof( magic_hrr_string ) ) == 0 ) |
Jerry Yu | e1b9c29 | 2021-09-10 10:08:31 +0800 | [diff] [blame] | 956 | { |
Jerry Yu | b85277e | 2021-10-13 13:36:05 +0800 | [diff] [blame] | 957 | return( SSL_SERVER_HELLO_COORDINATE_HRR ); |
Jerry Yu | e1b9c29 | 2021-09-10 10:08:31 +0800 | [diff] [blame] | 958 | } |
| 959 | |
Jerry Yu | b85277e | 2021-10-13 13:36:05 +0800 | [diff] [blame] | 960 | return( SSL_SERVER_HELLO_COORDINATE_HELLO ); |
Jerry Yu | e1b9c29 | 2021-09-10 10:08:31 +0800 | [diff] [blame] | 961 | } |
| 962 | |
Jerry Yu | 745bb61 | 2021-10-13 22:01:04 +0800 | [diff] [blame] | 963 | /* Fetch and preprocess |
| 964 | * Returns a negative value on failure, and otherwise |
| 965 | * - SSL_SERVER_HELLO_COORDINATE_HELLO or |
| 966 | * - SSL_SERVER_HELLO_COORDINATE_HRR |
| 967 | */ |
Jerry Yu | b85277e | 2021-10-13 13:36:05 +0800 | [diff] [blame] | 968 | static int ssl_tls13_server_hello_coordinate( mbedtls_ssl_context *ssl, |
| 969 | unsigned char **buf, |
| 970 | size_t *buf_len ) |
Jerry Yu | e1b9c29 | 2021-09-10 10:08:31 +0800 | [diff] [blame] | 971 | { |
Jerry Yu | 4a17338 | 2021-10-11 21:45:31 +0800 | [diff] [blame] | 972 | int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED; |
Jerry Yu | e1b9c29 | 2021-09-10 10:08:31 +0800 | [diff] [blame] | 973 | |
XiaokangQian | 355e09a | 2022-01-20 11:14:50 +0000 | [diff] [blame] | 974 | MBEDTLS_SSL_PROC_CHK( mbedtls_ssl_tls13_fetch_handshake_msg( ssl, |
| 975 | MBEDTLS_SSL_HS_SERVER_HELLO, |
| 976 | buf, buf_len ) ); |
Jerry Yu | e1b9c29 | 2021-09-10 10:08:31 +0800 | [diff] [blame] | 977 | |
Jerry Yu | b85277e | 2021-10-13 13:36:05 +0800 | [diff] [blame] | 978 | ret = ssl_server_hello_is_hrr( ssl, *buf, *buf + *buf_len ); |
| 979 | switch( ret ) |
Jerry Yu | e1b9c29 | 2021-09-10 10:08:31 +0800 | [diff] [blame] | 980 | { |
Jerry Yu | 745bb61 | 2021-10-13 22:01:04 +0800 | [diff] [blame] | 981 | case SSL_SERVER_HELLO_COORDINATE_HELLO: |
| 982 | MBEDTLS_SSL_DEBUG_MSG( 2, ( "received ServerHello message" ) ); |
| 983 | break; |
| 984 | case SSL_SERVER_HELLO_COORDINATE_HRR: |
| 985 | MBEDTLS_SSL_DEBUG_MSG( 2, ( "received HelloRetryRequest message" ) ); |
XiaokangQian | 16acd4b | 2022-01-14 07:35:47 +0000 | [diff] [blame] | 986 | /* If a client receives a second |
| 987 | * HelloRetryRequest in the same connection (i.e., where the ClientHello |
| 988 | * was itself in response to a HelloRetryRequest), it MUST abort the |
| 989 | * handshake with an "unexpected_message" alert. |
| 990 | */ |
XiaokangQian | d9e068e | 2022-01-18 06:23:32 +0000 | [diff] [blame] | 991 | if( ssl->handshake->hello_retry_request_count > 0 ) |
XiaokangQian | 16acd4b | 2022-01-14 07:35:47 +0000 | [diff] [blame] | 992 | { |
| 993 | MBEDTLS_SSL_DEBUG_MSG( 1, ( "Multiple HRRs received" ) ); |
| 994 | MBEDTLS_SSL_PEND_FATAL_ALERT( MBEDTLS_SSL_ALERT_MSG_UNEXPECTED_MESSAGE, |
| 995 | MBEDTLS_ERR_SSL_UNEXPECTED_MESSAGE ); |
| 996 | return( MBEDTLS_ERR_SSL_UNEXPECTED_MESSAGE ); |
| 997 | } |
XiaokangQian | 2b01dc3 | 2022-01-21 02:53:13 +0000 | [diff] [blame] | 998 | /* |
| 999 | * Clients must abort the handshake with an "illegal_parameter" |
| 1000 | * alert if the HelloRetryRequest would not result in any change |
| 1001 | * in the ClientHello. |
| 1002 | * In a PSK only key exchange that what we expect. |
| 1003 | */ |
| 1004 | if( ! mbedtls_ssl_conf_tls13_some_ephemeral_enabled( ssl ) ) |
| 1005 | { |
| 1006 | MBEDTLS_SSL_DEBUG_MSG( 1, |
| 1007 | ( "Unexpected HRR in pure PSK key exchange." ) ); |
| 1008 | MBEDTLS_SSL_PEND_FATAL_ALERT( |
| 1009 | MBEDTLS_SSL_ALERT_MSG_ILLEGAL_PARAMETER, |
| 1010 | MBEDTLS_ERR_SSL_ILLEGAL_PARAMETER); |
| 1011 | return( MBEDTLS_ERR_SSL_ILLEGAL_PARAMETER ); |
| 1012 | } |
XiaokangQian | 16acd4b | 2022-01-14 07:35:47 +0000 | [diff] [blame] | 1013 | |
XiaokangQian | d9e068e | 2022-01-18 06:23:32 +0000 | [diff] [blame] | 1014 | ssl->handshake->hello_retry_request_count++; |
XiaokangQian | 16acd4b | 2022-01-14 07:35:47 +0000 | [diff] [blame] | 1015 | |
Jerry Yu | 745bb61 | 2021-10-13 22:01:04 +0800 | [diff] [blame] | 1016 | break; |
Jerry Yu | e1b9c29 | 2021-09-10 10:08:31 +0800 | [diff] [blame] | 1017 | } |
| 1018 | |
| 1019 | cleanup: |
| 1020 | |
| 1021 | return( ret ); |
| 1022 | } |
| 1023 | |
Jerry Yu | 4a17338 | 2021-10-11 21:45:31 +0800 | [diff] [blame] | 1024 | static int ssl_tls13_check_server_hello_session_id_echo( mbedtls_ssl_context *ssl, |
| 1025 | const unsigned char **buf, |
| 1026 | const unsigned char *end ) |
Jerry Yu | e1b9c29 | 2021-09-10 10:08:31 +0800 | [diff] [blame] | 1027 | { |
| 1028 | const unsigned char *p = *buf; |
Jerry Yu | 4a17338 | 2021-10-11 21:45:31 +0800 | [diff] [blame] | 1029 | size_t legacy_session_id_echo_len; |
Jerry Yu | e1b9c29 | 2021-09-10 10:08:31 +0800 | [diff] [blame] | 1030 | |
Jerry Yu | de4fb2c | 2021-09-19 18:05:08 +0800 | [diff] [blame] | 1031 | MBEDTLS_SSL_CHK_BUF_READ_PTR( p, end, 1 ); |
Jerry Yu | 4a17338 | 2021-10-11 21:45:31 +0800 | [diff] [blame] | 1032 | legacy_session_id_echo_len = *p++ ; |
Jerry Yu | e1b9c29 | 2021-09-10 10:08:31 +0800 | [diff] [blame] | 1033 | |
Jerry Yu | 4a17338 | 2021-10-11 21:45:31 +0800 | [diff] [blame] | 1034 | MBEDTLS_SSL_CHK_BUF_READ_PTR( p, end, legacy_session_id_echo_len ); |
Jerry Yu | e1b9c29 | 2021-09-10 10:08:31 +0800 | [diff] [blame] | 1035 | |
| 1036 | /* legacy_session_id_echo */ |
Jerry Yu | 4a17338 | 2021-10-11 21:45:31 +0800 | [diff] [blame] | 1037 | if( ssl->session_negotiate->id_len != legacy_session_id_echo_len || |
| 1038 | memcmp( ssl->session_negotiate->id, p , legacy_session_id_echo_len ) != 0 ) |
Jerry Yu | e1b9c29 | 2021-09-10 10:08:31 +0800 | [diff] [blame] | 1039 | { |
Jerry Yu | e1b9c29 | 2021-09-10 10:08:31 +0800 | [diff] [blame] | 1040 | MBEDTLS_SSL_DEBUG_BUF( 3, "Expected Session ID", |
| 1041 | ssl->session_negotiate->id, |
| 1042 | ssl->session_negotiate->id_len ); |
| 1043 | MBEDTLS_SSL_DEBUG_BUF( 3, "Received Session ID", p, |
Jerry Yu | 4a17338 | 2021-10-11 21:45:31 +0800 | [diff] [blame] | 1044 | legacy_session_id_echo_len ); |
| 1045 | |
| 1046 | MBEDTLS_SSL_PEND_FATAL_ALERT( MBEDTLS_SSL_ALERT_MSG_ILLEGAL_PARAMETER, |
| 1047 | MBEDTLS_ERR_SSL_ILLEGAL_PARAMETER); |
| 1048 | |
Jerry Yu | e1b9c29 | 2021-09-10 10:08:31 +0800 | [diff] [blame] | 1049 | return( MBEDTLS_ERR_SSL_ILLEGAL_PARAMETER ); |
| 1050 | } |
| 1051 | |
Jerry Yu | 4a17338 | 2021-10-11 21:45:31 +0800 | [diff] [blame] | 1052 | p += legacy_session_id_echo_len; |
Jerry Yu | e1b9c29 | 2021-09-10 10:08:31 +0800 | [diff] [blame] | 1053 | *buf = p; |
| 1054 | |
| 1055 | MBEDTLS_SSL_DEBUG_BUF( 3, "Session ID", ssl->session_negotiate->id, |
Jerry Yu | 4a17338 | 2021-10-11 21:45:31 +0800 | [diff] [blame] | 1056 | ssl->session_negotiate->id_len ); |
Jerry Yu | e1b9c29 | 2021-09-10 10:08:31 +0800 | [diff] [blame] | 1057 | return( 0 ); |
| 1058 | } |
| 1059 | |
Jerry Yu | 4a17338 | 2021-10-11 21:45:31 +0800 | [diff] [blame] | 1060 | static int ssl_tls13_cipher_suite_is_offered( mbedtls_ssl_context *ssl, |
| 1061 | int cipher_suite ) |
Jerry Yu | e1b9c29 | 2021-09-10 10:08:31 +0800 | [diff] [blame] | 1062 | { |
Jerry Yu | 4a17338 | 2021-10-11 21:45:31 +0800 | [diff] [blame] | 1063 | const int *ciphersuite_list = ssl->conf->ciphersuite_list; |
| 1064 | |
Jerry Yu | e1b9c29 | 2021-09-10 10:08:31 +0800 | [diff] [blame] | 1065 | /* Check whether we have offered this ciphersuite */ |
Jerry Yu | 4a17338 | 2021-10-11 21:45:31 +0800 | [diff] [blame] | 1066 | for ( size_t i = 0; ciphersuite_list[i] != 0; i++ ) |
Jerry Yu | e1b9c29 | 2021-09-10 10:08:31 +0800 | [diff] [blame] | 1067 | { |
Jerry Yu | 4a17338 | 2021-10-11 21:45:31 +0800 | [diff] [blame] | 1068 | if( ciphersuite_list[i] == cipher_suite ) |
Jerry Yu | e1b9c29 | 2021-09-10 10:08:31 +0800 | [diff] [blame] | 1069 | { |
| 1070 | return( 1 ); |
| 1071 | } |
| 1072 | } |
| 1073 | return( 0 ); |
| 1074 | } |
| 1075 | |
| 1076 | /* Parse ServerHello message and configure context |
| 1077 | * |
| 1078 | * struct { |
| 1079 | * ProtocolVersion legacy_version = 0x0303; // TLS 1.2 |
| 1080 | * Random random; |
| 1081 | * opaque legacy_session_id_echo<0..32>; |
| 1082 | * CipherSuite cipher_suite; |
| 1083 | * uint8 legacy_compression_method = 0; |
Jerry Yu | b85277e | 2021-10-13 13:36:05 +0800 | [diff] [blame] | 1084 | * Extension extensions<6..2^16-1>; |
Jerry Yu | e1b9c29 | 2021-09-10 10:08:31 +0800 | [diff] [blame] | 1085 | * } ServerHello; |
| 1086 | */ |
Jerry Yu | c068b66 | 2021-10-11 22:30:19 +0800 | [diff] [blame] | 1087 | static int ssl_tls13_parse_server_hello( mbedtls_ssl_context *ssl, |
| 1088 | const unsigned char *buf, |
XiaokangQian | d9e068e | 2022-01-18 06:23:32 +0000 | [diff] [blame] | 1089 | const unsigned char *end, |
| 1090 | int is_hrr ) |
Jerry Yu | e1b9c29 | 2021-09-10 10:08:31 +0800 | [diff] [blame] | 1091 | { |
Jerry Yu | b85277e | 2021-10-13 13:36:05 +0800 | [diff] [blame] | 1092 | int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED; |
Jerry Yu | e1b9c29 | 2021-09-10 10:08:31 +0800 | [diff] [blame] | 1093 | const unsigned char *p = buf; |
XiaokangQian | 355e09a | 2022-01-20 11:14:50 +0000 | [diff] [blame] | 1094 | mbedtls_ssl_handshake_params *handshake = ssl->handshake; |
Jerry Yu | b85277e | 2021-10-13 13:36:05 +0800 | [diff] [blame] | 1095 | size_t extensions_len; |
| 1096 | const unsigned char *extensions_end; |
Jerry Yu | e1b9c29 | 2021-09-10 10:08:31 +0800 | [diff] [blame] | 1097 | uint16_t cipher_suite; |
Jerry Yu | de4fb2c | 2021-09-19 18:05:08 +0800 | [diff] [blame] | 1098 | const mbedtls_ssl_ciphersuite_t *ciphersuite_info; |
XiaokangQian | 78b1fa7 | 2022-01-19 06:56:30 +0000 | [diff] [blame] | 1099 | int supported_versions_ext_found = 0; |
XiaokangQian | b119a35 | 2022-01-26 03:29:10 +0000 | [diff] [blame] | 1100 | int fatal_alert = 0; |
Jerry Yu | e1b9c29 | 2021-09-10 10:08:31 +0800 | [diff] [blame] | 1101 | |
| 1102 | /* |
| 1103 | * Check there is space for minimal fields |
| 1104 | * |
| 1105 | * - legacy_version ( 2 bytes) |
Jerry Yu | e6d7e5c | 2021-10-26 10:44:32 +0800 | [diff] [blame] | 1106 | * - random (MBEDTLS_SERVER_HELLO_RANDOM_LEN bytes) |
Jerry Yu | e1b9c29 | 2021-09-10 10:08:31 +0800 | [diff] [blame] | 1107 | * - legacy_session_id_echo ( 1 byte ), minimum size |
| 1108 | * - cipher_suite ( 2 bytes) |
| 1109 | * - legacy_compression_method ( 1 byte ) |
| 1110 | */ |
Jerry Yu | e6d7e5c | 2021-10-26 10:44:32 +0800 | [diff] [blame] | 1111 | MBEDTLS_SSL_CHK_BUF_READ_PTR( p, end, MBEDTLS_SERVER_HELLO_RANDOM_LEN + 6 ); |
Jerry Yu | e1b9c29 | 2021-09-10 10:08:31 +0800 | [diff] [blame] | 1112 | |
| 1113 | MBEDTLS_SSL_DEBUG_BUF( 4, "server hello", p, end - p ); |
Jerry Yu | e1b9c29 | 2021-09-10 10:08:31 +0800 | [diff] [blame] | 1114 | MBEDTLS_SSL_DEBUG_BUF( 3, "server hello, version", p, 2 ); |
| 1115 | |
Jerry Yu | 4a17338 | 2021-10-11 21:45:31 +0800 | [diff] [blame] | 1116 | /* ... |
Jerry Yu | b85277e | 2021-10-13 13:36:05 +0800 | [diff] [blame] | 1117 | * ProtocolVersion legacy_version = 0x0303; // TLS 1.2 |
Jerry Yu | 4a17338 | 2021-10-11 21:45:31 +0800 | [diff] [blame] | 1118 | * ... |
| 1119 | * with ProtocolVersion defined as: |
| 1120 | * uint16 ProtocolVersion; |
| 1121 | */ |
Jerry Yu | e1b9c29 | 2021-09-10 10:08:31 +0800 | [diff] [blame] | 1122 | if( !( p[0] == MBEDTLS_SSL_MAJOR_VERSION_3 && |
| 1123 | p[1] == MBEDTLS_SSL_MINOR_VERSION_3 ) ) |
| 1124 | { |
| 1125 | MBEDTLS_SSL_DEBUG_MSG( 1, ( "Unsupported version of TLS." ) ); |
| 1126 | MBEDTLS_SSL_PEND_FATAL_ALERT( MBEDTLS_SSL_ALERT_MSG_PROTOCOL_VERSION, |
| 1127 | MBEDTLS_ERR_SSL_BAD_PROTOCOL_VERSION ); |
XiaokangQian | d59be77 | 2022-01-24 10:12:51 +0000 | [diff] [blame] | 1128 | ret = MBEDTLS_ERR_SSL_BAD_PROTOCOL_VERSION; |
| 1129 | goto cleanup; |
Jerry Yu | e1b9c29 | 2021-09-10 10:08:31 +0800 | [diff] [blame] | 1130 | } |
| 1131 | p += 2; |
Jerry Yu | e1b9c29 | 2021-09-10 10:08:31 +0800 | [diff] [blame] | 1132 | |
Jerry Yu | e6d7e5c | 2021-10-26 10:44:32 +0800 | [diff] [blame] | 1133 | /* ... |
Jerry Yu | 4a17338 | 2021-10-11 21:45:31 +0800 | [diff] [blame] | 1134 | * Random random; |
| 1135 | * ... |
| 1136 | * with Random defined as: |
Jerry Yu | e6d7e5c | 2021-10-26 10:44:32 +0800 | [diff] [blame] | 1137 | * opaque Random[MBEDTLS_SERVER_HELLO_RANDOM_LEN]; |
Jerry Yu | 4a17338 | 2021-10-11 21:45:31 +0800 | [diff] [blame] | 1138 | */ |
XiaokangQian | 53f20b7 | 2022-01-18 10:47:33 +0000 | [diff] [blame] | 1139 | if( !is_hrr ) |
| 1140 | { |
XiaokangQian | 355e09a | 2022-01-20 11:14:50 +0000 | [diff] [blame] | 1141 | memcpy( &handshake->randbytes[MBEDTLS_CLIENT_HELLO_RANDOM_LEN], p, |
XiaokangQian | 53f20b7 | 2022-01-18 10:47:33 +0000 | [diff] [blame] | 1142 | MBEDTLS_SERVER_HELLO_RANDOM_LEN ); |
| 1143 | MBEDTLS_SSL_DEBUG_BUF( 3, "server hello, random bytes", |
| 1144 | p, MBEDTLS_SERVER_HELLO_RANDOM_LEN ); |
| 1145 | } |
Jerry Yu | e6d7e5c | 2021-10-26 10:44:32 +0800 | [diff] [blame] | 1146 | p += MBEDTLS_SERVER_HELLO_RANDOM_LEN; |
Jerry Yu | e1b9c29 | 2021-09-10 10:08:31 +0800 | [diff] [blame] | 1147 | |
Jerry Yu | 4a17338 | 2021-10-11 21:45:31 +0800 | [diff] [blame] | 1148 | /* ... |
| 1149 | * opaque legacy_session_id_echo<0..32>; |
| 1150 | * ... |
| 1151 | */ |
| 1152 | if( ssl_tls13_check_server_hello_session_id_echo( ssl, &p, end ) != 0 ) |
Jerry Yu | e1b9c29 | 2021-09-10 10:08:31 +0800 | [diff] [blame] | 1153 | { |
XiaokangQian | 52da558 | 2022-01-26 09:49:29 +0000 | [diff] [blame] | 1154 | fatal_alert = MBEDTLS_SSL_ALERT_MSG_ILLEGAL_PARAMETER; |
XiaokangQian | d59be77 | 2022-01-24 10:12:51 +0000 | [diff] [blame] | 1155 | goto cleanup; |
Jerry Yu | e1b9c29 | 2021-09-10 10:08:31 +0800 | [diff] [blame] | 1156 | } |
| 1157 | |
Jerry Yu | 4a17338 | 2021-10-11 21:45:31 +0800 | [diff] [blame] | 1158 | /* ... |
| 1159 | * CipherSuite cipher_suite; |
| 1160 | * ... |
| 1161 | * with CipherSuite defined as: |
| 1162 | * uint8 CipherSuite[2]; |
| 1163 | */ |
| 1164 | MBEDTLS_SSL_CHK_BUF_READ_PTR( p, end, 2 ); |
Jerry Yu | e1b9c29 | 2021-09-10 10:08:31 +0800 | [diff] [blame] | 1165 | cipher_suite = MBEDTLS_GET_UINT16_BE( p, 0 ); |
| 1166 | p += 2; |
| 1167 | |
Jerry Yu | 4a17338 | 2021-10-11 21:45:31 +0800 | [diff] [blame] | 1168 | |
XiaokangQian | 355e09a | 2022-01-20 11:14:50 +0000 | [diff] [blame] | 1169 | ciphersuite_info = mbedtls_ssl_ciphersuite_from_id( cipher_suite ); |
Jerry Yu | 4a17338 | 2021-10-11 21:45:31 +0800 | [diff] [blame] | 1170 | /* |
| 1171 | * Check whether this ciphersuite is supported and offered. |
| 1172 | * Via the force_ciphersuite version we may have instructed the client |
| 1173 | * to use a different ciphersuite. |
| 1174 | */ |
Jerry Yu | 4a17338 | 2021-10-11 21:45:31 +0800 | [diff] [blame] | 1175 | if( ciphersuite_info == NULL || |
| 1176 | ssl_tls13_cipher_suite_is_offered( ssl, cipher_suite ) == 0 ) |
Jerry Yu | e1b9c29 | 2021-09-10 10:08:31 +0800 | [diff] [blame] | 1177 | { |
XiaokangQian | 52da558 | 2022-01-26 09:49:29 +0000 | [diff] [blame] | 1178 | fatal_alert = MBEDTLS_SSL_ALERT_MSG_ILLEGAL_PARAMETER; |
Jerry Yu | e1b9c29 | 2021-09-10 10:08:31 +0800 | [diff] [blame] | 1179 | } |
XiaokangQian | 53f20b7 | 2022-01-18 10:47:33 +0000 | [diff] [blame] | 1180 | /* |
XiaokangQian | 355e09a | 2022-01-20 11:14:50 +0000 | [diff] [blame] | 1181 | * If we received an HRR before and that the proposed selected |
| 1182 | * ciphersuite in this server hello is not the same as the one |
| 1183 | * proposed in the HRR, we abort the handshake and send an |
| 1184 | * "illegal_parameter" alert. |
XiaokangQian | 53f20b7 | 2022-01-18 10:47:33 +0000 | [diff] [blame] | 1185 | */ |
XiaokangQian | 355e09a | 2022-01-20 11:14:50 +0000 | [diff] [blame] | 1186 | else if( ( !is_hrr ) && ( handshake->hello_retry_request_count > 0 ) && |
| 1187 | ( cipher_suite != ssl->session_negotiate->ciphersuite ) ) |
XiaokangQian | 53f20b7 | 2022-01-18 10:47:33 +0000 | [diff] [blame] | 1188 | { |
XiaokangQian | 52da558 | 2022-01-26 09:49:29 +0000 | [diff] [blame] | 1189 | fatal_alert = MBEDTLS_SSL_ALERT_MSG_ILLEGAL_PARAMETER; |
XiaokangQian | 355e09a | 2022-01-20 11:14:50 +0000 | [diff] [blame] | 1190 | } |
XiaokangQian | 53f20b7 | 2022-01-18 10:47:33 +0000 | [diff] [blame] | 1191 | |
XiaokangQian | 52da558 | 2022-01-26 09:49:29 +0000 | [diff] [blame] | 1192 | if( fatal_alert == MBEDTLS_SSL_ALERT_MSG_ILLEGAL_PARAMETER ) |
XiaokangQian | 355e09a | 2022-01-20 11:14:50 +0000 | [diff] [blame] | 1193 | { |
| 1194 | MBEDTLS_SSL_DEBUG_MSG( 1, ( "invalid ciphersuite(%04x) parameter", |
| 1195 | cipher_suite ) ); |
XiaokangQian | d59be77 | 2022-01-24 10:12:51 +0000 | [diff] [blame] | 1196 | goto cleanup; |
XiaokangQian | 53f20b7 | 2022-01-18 10:47:33 +0000 | [diff] [blame] | 1197 | } |
Jerry Yu | e1b9c29 | 2021-09-10 10:08:31 +0800 | [diff] [blame] | 1198 | |
Jerry Yu | 4a17338 | 2021-10-11 21:45:31 +0800 | [diff] [blame] | 1199 | /* Configure ciphersuites */ |
| 1200 | mbedtls_ssl_optimize_checksum( ssl, ciphersuite_info ); |
| 1201 | |
XiaokangQian | 355e09a | 2022-01-20 11:14:50 +0000 | [diff] [blame] | 1202 | handshake->ciphersuite_info = ciphersuite_info; |
Jerry Yu | e1b9c29 | 2021-09-10 10:08:31 +0800 | [diff] [blame] | 1203 | ssl->session_negotiate->ciphersuite = cipher_suite; |
| 1204 | |
Jerry Yu | e1b9c29 | 2021-09-10 10:08:31 +0800 | [diff] [blame] | 1205 | MBEDTLS_SSL_DEBUG_MSG( 3, ( "server hello, chosen ciphersuite: ( %04x ) - %s", |
| 1206 | cipher_suite, ciphersuite_info->name ) ); |
| 1207 | |
| 1208 | #if defined(MBEDTLS_HAVE_TIME) |
| 1209 | ssl->session_negotiate->start = time( NULL ); |
| 1210 | #endif /* MBEDTLS_HAVE_TIME */ |
| 1211 | |
Jerry Yu | 4a17338 | 2021-10-11 21:45:31 +0800 | [diff] [blame] | 1212 | /* ... |
| 1213 | * uint8 legacy_compression_method = 0; |
| 1214 | * ... |
Jerry Yu | e1b9c29 | 2021-09-10 10:08:31 +0800 | [diff] [blame] | 1215 | */ |
Jerry Yu | de4fb2c | 2021-09-19 18:05:08 +0800 | [diff] [blame] | 1216 | MBEDTLS_SSL_CHK_BUF_READ_PTR( p, end, 1 ); |
Jerry Yu | e1b9c29 | 2021-09-10 10:08:31 +0800 | [diff] [blame] | 1217 | if( p[0] != 0 ) |
| 1218 | { |
Jerry Yu | b85277e | 2021-10-13 13:36:05 +0800 | [diff] [blame] | 1219 | MBEDTLS_SSL_DEBUG_MSG( 1, ( "bad legacy compression method" ) ); |
XiaokangQian | 52da558 | 2022-01-26 09:49:29 +0000 | [diff] [blame] | 1220 | fatal_alert = MBEDTLS_SSL_ALERT_MSG_ILLEGAL_PARAMETER; |
XiaokangQian | d59be77 | 2022-01-24 10:12:51 +0000 | [diff] [blame] | 1221 | goto cleanup; |
Jerry Yu | e1b9c29 | 2021-09-10 10:08:31 +0800 | [diff] [blame] | 1222 | } |
| 1223 | p++; |
| 1224 | |
Jerry Yu | b85277e | 2021-10-13 13:36:05 +0800 | [diff] [blame] | 1225 | /* ... |
| 1226 | * Extension extensions<6..2^16-1>; |
| 1227 | * ... |
Jerry Yu | 4a17338 | 2021-10-11 21:45:31 +0800 | [diff] [blame] | 1228 | * struct { |
| 1229 | * ExtensionType extension_type; (2 bytes) |
| 1230 | * opaque extension_data<0..2^16-1>; |
| 1231 | * } Extension; |
| 1232 | */ |
Jerry Yu | de4fb2c | 2021-09-19 18:05:08 +0800 | [diff] [blame] | 1233 | MBEDTLS_SSL_CHK_BUF_READ_PTR( p, end, 2 ); |
Jerry Yu | 4a17338 | 2021-10-11 21:45:31 +0800 | [diff] [blame] | 1234 | extensions_len = MBEDTLS_GET_UINT16_BE( p, 0 ); |
Jerry Yu | e1b9c29 | 2021-09-10 10:08:31 +0800 | [diff] [blame] | 1235 | p += 2; |
Jerry Yu | de4fb2c | 2021-09-19 18:05:08 +0800 | [diff] [blame] | 1236 | |
Jerry Yu | 4a17338 | 2021-10-11 21:45:31 +0800 | [diff] [blame] | 1237 | /* Check extensions do not go beyond the buffer of data. */ |
| 1238 | MBEDTLS_SSL_CHK_BUF_READ_PTR( p, end, extensions_len ); |
| 1239 | extensions_end = p + extensions_len; |
Jerry Yu | e1b9c29 | 2021-09-10 10:08:31 +0800 | [diff] [blame] | 1240 | |
Jerry Yu | 4a17338 | 2021-10-11 21:45:31 +0800 | [diff] [blame] | 1241 | MBEDTLS_SSL_DEBUG_BUF( 3, "server hello extensions", p, extensions_len ); |
Jerry Yu | e1b9c29 | 2021-09-10 10:08:31 +0800 | [diff] [blame] | 1242 | |
Jerry Yu | 4a17338 | 2021-10-11 21:45:31 +0800 | [diff] [blame] | 1243 | while( p < extensions_end ) |
Jerry Yu | e1b9c29 | 2021-09-10 10:08:31 +0800 | [diff] [blame] | 1244 | { |
| 1245 | unsigned int extension_type; |
| 1246 | size_t extension_data_len; |
XiaokangQian | 43550bd | 2022-01-21 04:32:58 +0000 | [diff] [blame] | 1247 | const unsigned char *extension_data_end; |
Jerry Yu | e1b9c29 | 2021-09-10 10:08:31 +0800 | [diff] [blame] | 1248 | |
Jerry Yu | 4a17338 | 2021-10-11 21:45:31 +0800 | [diff] [blame] | 1249 | MBEDTLS_SSL_CHK_BUF_READ_PTR( p, extensions_end, 4 ); |
Jerry Yu | e1b9c29 | 2021-09-10 10:08:31 +0800 | [diff] [blame] | 1250 | extension_type = MBEDTLS_GET_UINT16_BE( p, 0 ); |
| 1251 | extension_data_len = MBEDTLS_GET_UINT16_BE( p, 2 ); |
| 1252 | p += 4; |
| 1253 | |
Jerry Yu | 4a17338 | 2021-10-11 21:45:31 +0800 | [diff] [blame] | 1254 | MBEDTLS_SSL_CHK_BUF_READ_PTR( p, extensions_end, extension_data_len ); |
XiaokangQian | 43550bd | 2022-01-21 04:32:58 +0000 | [diff] [blame] | 1255 | extension_data_end = p + extension_data_len; |
Jerry Yu | e1b9c29 | 2021-09-10 10:08:31 +0800 | [diff] [blame] | 1256 | |
| 1257 | switch( extension_type ) |
| 1258 | { |
XiaokangQian | b851da8 | 2022-01-14 04:03:11 +0000 | [diff] [blame] | 1259 | case MBEDTLS_TLS_EXT_COOKIE: |
| 1260 | |
XiaokangQian | d9e068e | 2022-01-18 06:23:32 +0000 | [diff] [blame] | 1261 | if( !is_hrr ) |
| 1262 | { |
XiaokangQian | 52da558 | 2022-01-26 09:49:29 +0000 | [diff] [blame] | 1263 | fatal_alert = MBEDTLS_SSL_ALERT_MSG_UNSUPPORTED_EXT; |
XiaokangQian | d59be77 | 2022-01-24 10:12:51 +0000 | [diff] [blame] | 1264 | goto cleanup; |
XiaokangQian | d9e068e | 2022-01-18 06:23:32 +0000 | [diff] [blame] | 1265 | } |
| 1266 | |
XiaokangQian | 43550bd | 2022-01-21 04:32:58 +0000 | [diff] [blame] | 1267 | ret = ssl_tls13_parse_cookie_ext( ssl, |
| 1268 | p, extension_data_end ); |
| 1269 | if( ret != 0 ) |
XiaokangQian | b851da8 | 2022-01-14 04:03:11 +0000 | [diff] [blame] | 1270 | { |
XiaokangQian | 43550bd | 2022-01-21 04:32:58 +0000 | [diff] [blame] | 1271 | MBEDTLS_SSL_DEBUG_RET( 1, |
| 1272 | "ssl_tls13_parse_cookie_ext", |
| 1273 | ret ); |
XiaokangQian | d59be77 | 2022-01-24 10:12:51 +0000 | [diff] [blame] | 1274 | goto cleanup; |
XiaokangQian | b851da8 | 2022-01-14 04:03:11 +0000 | [diff] [blame] | 1275 | } |
XiaokangQian | b851da8 | 2022-01-14 04:03:11 +0000 | [diff] [blame] | 1276 | break; |
XiaokangQian | b851da8 | 2022-01-14 04:03:11 +0000 | [diff] [blame] | 1277 | |
Jerry Yu | e1b9c29 | 2021-09-10 10:08:31 +0800 | [diff] [blame] | 1278 | case MBEDTLS_TLS_EXT_SUPPORTED_VERSIONS: |
XiaokangQian | 78b1fa7 | 2022-01-19 06:56:30 +0000 | [diff] [blame] | 1279 | supported_versions_ext_found = 1; |
Jerry Yu | e1b9c29 | 2021-09-10 10:08:31 +0800 | [diff] [blame] | 1280 | MBEDTLS_SSL_DEBUG_MSG( 3, |
| 1281 | ( "found supported_versions extension" ) ); |
| 1282 | |
Jerry Yu | c068b66 | 2021-10-11 22:30:19 +0800 | [diff] [blame] | 1283 | ret = ssl_tls13_parse_supported_versions_ext( ssl, |
Jerry Yu | b85277e | 2021-10-13 13:36:05 +0800 | [diff] [blame] | 1284 | p, |
XiaokangQian | 43550bd | 2022-01-21 04:32:58 +0000 | [diff] [blame] | 1285 | extension_data_end ); |
Jerry Yu | e1b9c29 | 2021-09-10 10:08:31 +0800 | [diff] [blame] | 1286 | if( ret != 0 ) |
XiaokangQian | d59be77 | 2022-01-24 10:12:51 +0000 | [diff] [blame] | 1287 | goto cleanup; |
Jerry Yu | e1b9c29 | 2021-09-10 10:08:31 +0800 | [diff] [blame] | 1288 | break; |
| 1289 | |
| 1290 | case MBEDTLS_TLS_EXT_PRE_SHARED_KEY: |
| 1291 | MBEDTLS_SSL_DEBUG_MSG( 3, ( "found pre_shared_key extension." ) ); |
| 1292 | MBEDTLS_SSL_DEBUG_MSG( 3, ( "pre_shared_key:Not supported yet" ) ); |
Jerry Yu | 4a17338 | 2021-10-11 21:45:31 +0800 | [diff] [blame] | 1293 | |
XiaokangQian | 52da558 | 2022-01-26 09:49:29 +0000 | [diff] [blame] | 1294 | fatal_alert = MBEDTLS_SSL_ALERT_MSG_UNSUPPORTED_EXT; |
XiaokangQian | d59be77 | 2022-01-24 10:12:51 +0000 | [diff] [blame] | 1295 | goto cleanup; |
Jerry Yu | e1b9c29 | 2021-09-10 10:08:31 +0800 | [diff] [blame] | 1296 | |
| 1297 | #if defined(MBEDTLS_KEY_EXCHANGE_WITH_CERT_ENABLED) |
| 1298 | case MBEDTLS_TLS_EXT_KEY_SHARE: |
| 1299 | MBEDTLS_SSL_DEBUG_MSG( 3, ( "found key_shares extension" ) ); |
XiaokangQian | d59be77 | 2022-01-24 10:12:51 +0000 | [diff] [blame] | 1300 | if( ! mbedtls_ssl_conf_tls13_some_ephemeral_enabled( ssl ) ) |
| 1301 | { |
XiaokangQian | 52da558 | 2022-01-26 09:49:29 +0000 | [diff] [blame] | 1302 | fatal_alert = MBEDTLS_SSL_ALERT_MSG_UNSUPPORTED_EXT; |
XiaokangQian | d59be77 | 2022-01-24 10:12:51 +0000 | [diff] [blame] | 1303 | goto cleanup; |
| 1304 | } |
| 1305 | |
XiaokangQian | 53f20b7 | 2022-01-18 10:47:33 +0000 | [diff] [blame] | 1306 | if( is_hrr ) |
XiaokangQian | d9e068e | 2022-01-18 06:23:32 +0000 | [diff] [blame] | 1307 | ret = ssl_tls13_parse_hrr_key_share_ext( ssl, |
XiaokangQian | 43550bd | 2022-01-21 04:32:58 +0000 | [diff] [blame] | 1308 | p, extension_data_end ); |
XiaokangQian | 53f20b7 | 2022-01-18 10:47:33 +0000 | [diff] [blame] | 1309 | else |
XiaokangQian | b851da8 | 2022-01-14 04:03:11 +0000 | [diff] [blame] | 1310 | ret = ssl_tls13_parse_key_share_ext( ssl, |
XiaokangQian | 43550bd | 2022-01-21 04:32:58 +0000 | [diff] [blame] | 1311 | p, extension_data_end ); |
XiaokangQian | b851da8 | 2022-01-14 04:03:11 +0000 | [diff] [blame] | 1312 | if( ret != 0 ) |
Jerry Yu | e1b9c29 | 2021-09-10 10:08:31 +0800 | [diff] [blame] | 1313 | { |
| 1314 | MBEDTLS_SSL_DEBUG_RET( 1, |
Jerry Yu | 4a17338 | 2021-10-11 21:45:31 +0800 | [diff] [blame] | 1315 | "ssl_tls13_parse_key_share_ext", |
Jerry Yu | e1b9c29 | 2021-09-10 10:08:31 +0800 | [diff] [blame] | 1316 | ret ); |
XiaokangQian | d59be77 | 2022-01-24 10:12:51 +0000 | [diff] [blame] | 1317 | goto cleanup; |
Jerry Yu | e1b9c29 | 2021-09-10 10:08:31 +0800 | [diff] [blame] | 1318 | } |
| 1319 | break; |
| 1320 | #endif /* MBEDTLS_KEY_EXCHANGE_WITH_CERT_ENABLED */ |
| 1321 | |
| 1322 | default: |
Jerry Yu | 4a17338 | 2021-10-11 21:45:31 +0800 | [diff] [blame] | 1323 | MBEDTLS_SSL_DEBUG_MSG( |
| 1324 | 3, |
| 1325 | ( "unknown extension found: %u ( ignoring )", |
| 1326 | extension_type ) ); |
| 1327 | |
XiaokangQian | 52da558 | 2022-01-26 09:49:29 +0000 | [diff] [blame] | 1328 | fatal_alert = MBEDTLS_SSL_ALERT_MSG_UNSUPPORTED_EXT; |
XiaokangQian | d59be77 | 2022-01-24 10:12:51 +0000 | [diff] [blame] | 1329 | goto cleanup; |
Jerry Yu | e1b9c29 | 2021-09-10 10:08:31 +0800 | [diff] [blame] | 1330 | } |
| 1331 | |
| 1332 | p += extension_data_len; |
| 1333 | } |
| 1334 | |
XiaokangQian | 78b1fa7 | 2022-01-19 06:56:30 +0000 | [diff] [blame] | 1335 | if( !supported_versions_ext_found ) |
XiaokangQian | 53f20b7 | 2022-01-18 10:47:33 +0000 | [diff] [blame] | 1336 | { |
XiaokangQian | 78b1fa7 | 2022-01-19 06:56:30 +0000 | [diff] [blame] | 1337 | MBEDTLS_SSL_DEBUG_MSG( 1, ( "supported_versions not found" ) ); |
XiaokangQian | 52da558 | 2022-01-26 09:49:29 +0000 | [diff] [blame] | 1338 | fatal_alert = MBEDTLS_SSL_ALERT_MSG_ILLEGAL_PARAMETER; |
XiaokangQian | d59be77 | 2022-01-24 10:12:51 +0000 | [diff] [blame] | 1339 | goto cleanup; |
XiaokangQian | 53f20b7 | 2022-01-18 10:47:33 +0000 | [diff] [blame] | 1340 | } |
| 1341 | |
XiaokangQian | d59be77 | 2022-01-24 10:12:51 +0000 | [diff] [blame] | 1342 | cleanup: |
| 1343 | |
XiaokangQian | 52da558 | 2022-01-26 09:49:29 +0000 | [diff] [blame] | 1344 | if( fatal_alert == MBEDTLS_SSL_ALERT_MSG_UNSUPPORTED_EXT ) |
XiaokangQian | d59be77 | 2022-01-24 10:12:51 +0000 | [diff] [blame] | 1345 | { |
| 1346 | MBEDTLS_SSL_PEND_FATAL_ALERT( MBEDTLS_SSL_ALERT_MSG_UNSUPPORTED_EXT, |
| 1347 | MBEDTLS_ERR_SSL_UNSUPPORTED_EXTENSION ); |
| 1348 | ret = MBEDTLS_ERR_SSL_UNSUPPORTED_EXTENSION; |
| 1349 | } |
XiaokangQian | 52da558 | 2022-01-26 09:49:29 +0000 | [diff] [blame] | 1350 | else if ( fatal_alert == MBEDTLS_SSL_ALERT_MSG_ILLEGAL_PARAMETER ) |
XiaokangQian | d59be77 | 2022-01-24 10:12:51 +0000 | [diff] [blame] | 1351 | { |
| 1352 | MBEDTLS_SSL_PEND_FATAL_ALERT( MBEDTLS_SSL_ALERT_MSG_ILLEGAL_PARAMETER, |
| 1353 | MBEDTLS_ERR_SSL_ILLEGAL_PARAMETER ); |
| 1354 | ret = MBEDTLS_ERR_SSL_ILLEGAL_PARAMETER; |
| 1355 | } |
| 1356 | return( ret ); |
Jerry Yu | e1b9c29 | 2021-09-10 10:08:31 +0800 | [diff] [blame] | 1357 | } |
| 1358 | |
XiaokangQian | 355e09a | 2022-01-20 11:14:50 +0000 | [diff] [blame] | 1359 | static int ssl_tls13_postprocess_server_hello( mbedtls_ssl_context *ssl ) |
Jerry Yu | e1b9c29 | 2021-09-10 10:08:31 +0800 | [diff] [blame] | 1360 | { |
Jerry Yu | b85277e | 2021-10-13 13:36:05 +0800 | [diff] [blame] | 1361 | int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED; |
Jerry Yu | 0b17784 | 2021-09-05 19:41:30 +0800 | [diff] [blame] | 1362 | mbedtls_ssl_key_set traffic_keys; |
Jerry Yu | 4a17338 | 2021-10-11 21:45:31 +0800 | [diff] [blame] | 1363 | mbedtls_ssl_transform *transform_handshake = NULL; |
Jerry Yu | b85277e | 2021-10-13 13:36:05 +0800 | [diff] [blame] | 1364 | mbedtls_ssl_handshake_params *handshake = ssl->handshake; |
Jerry Yu | 0b17784 | 2021-09-05 19:41:30 +0800 | [diff] [blame] | 1365 | |
Jerry Yu | b85277e | 2021-10-13 13:36:05 +0800 | [diff] [blame] | 1366 | /* Determine the key exchange mode: |
| 1367 | * 1) If both the pre_shared_key and key_share extensions were received |
| 1368 | * then the key exchange mode is PSK with EPHEMERAL. |
| 1369 | * 2) If only the pre_shared_key extension was received then the key |
| 1370 | * exchange mode is PSK-only. |
| 1371 | * 3) If only the key_share extension was received then the key |
| 1372 | * exchange mode is EPHEMERAL-only. |
Jerry Yu | 0b17784 | 2021-09-05 19:41:30 +0800 | [diff] [blame] | 1373 | */ |
Jerry Yu | b85277e | 2021-10-13 13:36:05 +0800 | [diff] [blame] | 1374 | switch( handshake->extensions_present & |
| 1375 | ( MBEDTLS_SSL_EXT_PRE_SHARED_KEY | MBEDTLS_SSL_EXT_KEY_SHARE ) ) |
Jerry Yu | 0b17784 | 2021-09-05 19:41:30 +0800 | [diff] [blame] | 1376 | { |
Jerry Yu | 745bb61 | 2021-10-13 22:01:04 +0800 | [diff] [blame] | 1377 | /* Only the pre_shared_key extension was received */ |
| 1378 | case MBEDTLS_SSL_EXT_PRE_SHARED_KEY: |
Xiaofei Bai | d25fab6 | 2021-12-02 06:36:27 +0000 | [diff] [blame] | 1379 | handshake->tls13_kex_modes = MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_PSK; |
Jerry Yu | 745bb61 | 2021-10-13 22:01:04 +0800 | [diff] [blame] | 1380 | break; |
Jerry Yu | b85277e | 2021-10-13 13:36:05 +0800 | [diff] [blame] | 1381 | |
Jerry Yu | 745bb61 | 2021-10-13 22:01:04 +0800 | [diff] [blame] | 1382 | /* Only the key_share extension was received */ |
| 1383 | case MBEDTLS_SSL_EXT_KEY_SHARE: |
Xiaofei Bai | d25fab6 | 2021-12-02 06:36:27 +0000 | [diff] [blame] | 1384 | handshake->tls13_kex_modes = MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_EPHEMERAL; |
Jerry Yu | 745bb61 | 2021-10-13 22:01:04 +0800 | [diff] [blame] | 1385 | break; |
Jerry Yu | b85277e | 2021-10-13 13:36:05 +0800 | [diff] [blame] | 1386 | |
Jerry Yu | 745bb61 | 2021-10-13 22:01:04 +0800 | [diff] [blame] | 1387 | /* Both the pre_shared_key and key_share extensions were received */ |
| 1388 | case ( MBEDTLS_SSL_EXT_PRE_SHARED_KEY | MBEDTLS_SSL_EXT_KEY_SHARE ): |
Xiaofei Bai | d25fab6 | 2021-12-02 06:36:27 +0000 | [diff] [blame] | 1389 | handshake->tls13_kex_modes = MBEDTLS_SSL_TLS1_3_KEY_EXCHANGE_MODE_PSK_EPHEMERAL; |
Jerry Yu | 745bb61 | 2021-10-13 22:01:04 +0800 | [diff] [blame] | 1390 | break; |
Jerry Yu | b85277e | 2021-10-13 13:36:05 +0800 | [diff] [blame] | 1391 | |
Jerry Yu | 745bb61 | 2021-10-13 22:01:04 +0800 | [diff] [blame] | 1392 | /* Neither pre_shared_key nor key_share extension was received */ |
| 1393 | default: |
| 1394 | MBEDTLS_SSL_DEBUG_MSG( 1, ( "Unknown key exchange." ) ); |
| 1395 | ret = MBEDTLS_ERR_SSL_HANDSHAKE_FAILURE; |
| 1396 | goto cleanup; |
Jerry Yu | 0b17784 | 2021-09-05 19:41:30 +0800 | [diff] [blame] | 1397 | } |
| 1398 | |
| 1399 | /* Start the TLS 1.3 key schedule: Set the PSK and derive early secret. |
| 1400 | * |
| 1401 | * TODO: We don't have to do this in case we offered 0-RTT and the |
| 1402 | * server accepted it. In this case, we could skip generating |
| 1403 | * the early secret. */ |
Xiaofei Bai | 746f948 | 2021-11-12 08:53:56 +0000 | [diff] [blame] | 1404 | ret = mbedtls_ssl_tls13_key_schedule_stage_early( ssl ); |
Jerry Yu | 0b17784 | 2021-09-05 19:41:30 +0800 | [diff] [blame] | 1405 | if( ret != 0 ) |
| 1406 | { |
Xiaofei Bai | 746f948 | 2021-11-12 08:53:56 +0000 | [diff] [blame] | 1407 | MBEDTLS_SSL_DEBUG_RET( 1, "mbedtls_ssl_tls13_key_schedule_stage_early_data", |
Jerry Yu | 0b17784 | 2021-09-05 19:41:30 +0800 | [diff] [blame] | 1408 | ret ); |
Jerry Yu | 4a17338 | 2021-10-11 21:45:31 +0800 | [diff] [blame] | 1409 | goto cleanup; |
Jerry Yu | 0b17784 | 2021-09-05 19:41:30 +0800 | [diff] [blame] | 1410 | } |
| 1411 | |
| 1412 | /* Compute handshake secret */ |
Jerry Yu | f0ac235 | 2021-10-11 17:47:07 +0800 | [diff] [blame] | 1413 | ret = mbedtls_ssl_tls13_key_schedule_stage_handshake( ssl ); |
Jerry Yu | 0b17784 | 2021-09-05 19:41:30 +0800 | [diff] [blame] | 1414 | if( ret != 0 ) |
| 1415 | { |
Xiaofei Bai | 746f948 | 2021-11-12 08:53:56 +0000 | [diff] [blame] | 1416 | MBEDTLS_SSL_DEBUG_RET( 1, "mbedtls_ssl_tls13_derive_master_secret", ret ); |
Jerry Yu | 4a17338 | 2021-10-11 21:45:31 +0800 | [diff] [blame] | 1417 | goto cleanup; |
Jerry Yu | 0b17784 | 2021-09-05 19:41:30 +0800 | [diff] [blame] | 1418 | } |
| 1419 | |
| 1420 | /* Next evolution in key schedule: Establish handshake secret and |
| 1421 | * key material. */ |
Jerry Yu | c068b66 | 2021-10-11 22:30:19 +0800 | [diff] [blame] | 1422 | ret = mbedtls_ssl_tls13_generate_handshake_keys( ssl, &traffic_keys ); |
Jerry Yu | 0b17784 | 2021-09-05 19:41:30 +0800 | [diff] [blame] | 1423 | if( ret != 0 ) |
| 1424 | { |
Jerry Yu | c068b66 | 2021-10-11 22:30:19 +0800 | [diff] [blame] | 1425 | MBEDTLS_SSL_DEBUG_RET( 1, "mbedtls_ssl_tls13_generate_handshake_keys", |
| 1426 | ret ); |
Jerry Yu | 4a17338 | 2021-10-11 21:45:31 +0800 | [diff] [blame] | 1427 | goto cleanup; |
Jerry Yu | 0b17784 | 2021-09-05 19:41:30 +0800 | [diff] [blame] | 1428 | } |
| 1429 | |
Jerry Yu | b85277e | 2021-10-13 13:36:05 +0800 | [diff] [blame] | 1430 | transform_handshake = mbedtls_calloc( 1, sizeof( mbedtls_ssl_transform ) ); |
Jerry Yu | 0b17784 | 2021-09-05 19:41:30 +0800 | [diff] [blame] | 1431 | if( transform_handshake == NULL ) |
Jerry Yu | 4a17338 | 2021-10-11 21:45:31 +0800 | [diff] [blame] | 1432 | { |
| 1433 | ret = MBEDTLS_ERR_SSL_ALLOC_FAILED; |
| 1434 | goto cleanup; |
| 1435 | } |
Jerry Yu | 0b17784 | 2021-09-05 19:41:30 +0800 | [diff] [blame] | 1436 | |
| 1437 | ret = mbedtls_ssl_tls13_populate_transform( transform_handshake, |
| 1438 | ssl->conf->endpoint, |
| 1439 | ssl->session_negotiate->ciphersuite, |
| 1440 | &traffic_keys, |
| 1441 | ssl ); |
| 1442 | if( ret != 0 ) |
| 1443 | { |
| 1444 | MBEDTLS_SSL_DEBUG_RET( 1, "mbedtls_ssl_tls13_populate_transform", ret ); |
Jerry Yu | 4a17338 | 2021-10-11 21:45:31 +0800 | [diff] [blame] | 1445 | goto cleanup; |
Jerry Yu | 0b17784 | 2021-09-05 19:41:30 +0800 | [diff] [blame] | 1446 | } |
| 1447 | |
Jerry Yu | b85277e | 2021-10-13 13:36:05 +0800 | [diff] [blame] | 1448 | handshake->transform_handshake = transform_handshake; |
| 1449 | mbedtls_ssl_set_inbound_transform( ssl, transform_handshake ); |
Jerry Yu | 0b17784 | 2021-09-05 19:41:30 +0800 | [diff] [blame] | 1450 | |
| 1451 | MBEDTLS_SSL_DEBUG_MSG( 1, ( "Switch to handshake keys for inbound traffic" ) ); |
| 1452 | ssl->session_in = ssl->session_negotiate; |
| 1453 | |
| 1454 | /* |
| 1455 | * State machine update |
| 1456 | */ |
| 1457 | mbedtls_ssl_handshake_set_state( ssl, MBEDTLS_SSL_ENCRYPTED_EXTENSIONS ); |
| 1458 | |
Jerry Yu | 4a17338 | 2021-10-11 21:45:31 +0800 | [diff] [blame] | 1459 | cleanup: |
| 1460 | |
Jerry Yu | 0b17784 | 2021-09-05 19:41:30 +0800 | [diff] [blame] | 1461 | mbedtls_platform_zeroize( &traffic_keys, sizeof( traffic_keys ) ); |
Jerry Yu | 4a17338 | 2021-10-11 21:45:31 +0800 | [diff] [blame] | 1462 | if( ret != 0 ) |
| 1463 | { |
Jerry Yu | b85277e | 2021-10-13 13:36:05 +0800 | [diff] [blame] | 1464 | mbedtls_free( transform_handshake ); |
Jerry Yu | c068b66 | 2021-10-11 22:30:19 +0800 | [diff] [blame] | 1465 | |
Jerry Yu | 4a17338 | 2021-10-11 21:45:31 +0800 | [diff] [blame] | 1466 | MBEDTLS_SSL_PEND_FATAL_ALERT( |
| 1467 | MBEDTLS_SSL_ALERT_MSG_HANDSHAKE_FAILURE, |
| 1468 | MBEDTLS_ERR_SSL_HANDSHAKE_FAILURE ); |
| 1469 | } |
| 1470 | return( ret ); |
Jerry Yu | e1b9c29 | 2021-09-10 10:08:31 +0800 | [diff] [blame] | 1471 | } |
| 1472 | |
XiaokangQian | 355e09a | 2022-01-20 11:14:50 +0000 | [diff] [blame] | 1473 | static int ssl_tls13_postprocess_hrr( mbedtls_ssl_context *ssl ) |
XiaokangQian | 647719a | 2021-12-07 09:16:29 +0000 | [diff] [blame] | 1474 | { |
XiaokangQian | 0b56a8f | 2021-12-22 02:39:32 +0000 | [diff] [blame] | 1475 | #if defined(MBEDTLS_KEY_EXCHANGE_WITH_CERT_ENABLED) |
XiaokangQian | 647719a | 2021-12-07 09:16:29 +0000 | [diff] [blame] | 1476 | int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED; |
| 1477 | |
XiaokangQian | 647719a | 2021-12-07 09:16:29 +0000 | [diff] [blame] | 1478 | #if defined(MBEDTLS_SSL_TLS1_3_COMPATIBILITY_MODE) |
| 1479 | /* If not offering early data, the client sends a dummy CCS record |
| 1480 | * immediately before its second flight. This may either be before |
XiaokangQian | 51eff22 | 2021-12-10 10:33:56 +0000 | [diff] [blame] | 1481 | * its second ClientHello or before its encrypted handshake flight. |
| 1482 | */ |
XiaokangQian | 647719a | 2021-12-07 09:16:29 +0000 | [diff] [blame] | 1483 | mbedtls_ssl_handshake_set_state( ssl, |
| 1484 | MBEDTLS_SSL_CLIENT_CCS_BEFORE_2ND_CLIENT_HELLO ); |
| 1485 | #else |
| 1486 | mbedtls_ssl_handshake_set_state( ssl, MBEDTLS_SSL_CLIENT_HELLO ); |
| 1487 | #endif /* MBEDTLS_SSL_TLS1_3_COMPATIBILITY_MODE */ |
| 1488 | |
XiaokangQian | 78b1fa7 | 2022-01-19 06:56:30 +0000 | [diff] [blame] | 1489 | mbedtls_ssl_session_reset_msg_layer( ssl, 0 ); |
XiaokangQian | 647719a | 2021-12-07 09:16:29 +0000 | [diff] [blame] | 1490 | |
XiaokangQian | 78b1fa7 | 2022-01-19 06:56:30 +0000 | [diff] [blame] | 1491 | /* |
XiaokangQian | 355e09a | 2022-01-20 11:14:50 +0000 | [diff] [blame] | 1492 | * We are going to re-generate a shared secret corresponding to the group |
| 1493 | * selected by the server, which is different from the group for which we |
| 1494 | * generated a shared secret in the first client hello. |
| 1495 | * Thus, reset the shared secret. |
XiaokangQian | 51eff22 | 2021-12-10 10:33:56 +0000 | [diff] [blame] | 1496 | */ |
XiaokangQian | 16acd4b | 2022-01-14 07:35:47 +0000 | [diff] [blame] | 1497 | ret = ssl_tls13_reset_key_share( ssl ); |
XiaokangQian | 647719a | 2021-12-07 09:16:29 +0000 | [diff] [blame] | 1498 | if( ret != 0 ) |
| 1499 | return( ret ); |
XiaokangQian | 43550bd | 2022-01-21 04:32:58 +0000 | [diff] [blame] | 1500 | #else |
| 1501 | ((void) ssl); |
XiaokangQian | 0b56a8f | 2021-12-22 02:39:32 +0000 | [diff] [blame] | 1502 | #endif /* MBEDTLS_KEY_EXCHANGE_WITH_CERT_ENABLED */ |
XiaokangQian | 647719a | 2021-12-07 09:16:29 +0000 | [diff] [blame] | 1503 | |
| 1504 | return( 0 ); |
| 1505 | } |
| 1506 | |
Jerry Yu | e1b9c29 | 2021-09-10 10:08:31 +0800 | [diff] [blame] | 1507 | /* |
Jerry Yu | 4a17338 | 2021-10-11 21:45:31 +0800 | [diff] [blame] | 1508 | * Wait and parse ServerHello handshake message. |
Jerry Yu | 687101b | 2021-09-14 16:03:56 +0800 | [diff] [blame] | 1509 | * Handler for MBEDTLS_SSL_SERVER_HELLO |
| 1510 | */ |
Xiaofei Bai | 746f948 | 2021-11-12 08:53:56 +0000 | [diff] [blame] | 1511 | static int ssl_tls13_process_server_hello( mbedtls_ssl_context *ssl ) |
Jerry Yu | 687101b | 2021-09-14 16:03:56 +0800 | [diff] [blame] | 1512 | { |
Jerry Yu | 4a17338 | 2021-10-11 21:45:31 +0800 | [diff] [blame] | 1513 | int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED; |
XiaokangQian | 647719a | 2021-12-07 09:16:29 +0000 | [diff] [blame] | 1514 | unsigned char *buf = NULL; |
| 1515 | size_t buf_len = 0; |
XiaokangQian | 78b1fa7 | 2022-01-19 06:56:30 +0000 | [diff] [blame] | 1516 | int is_hrr = 0; |
Jerry Yu | e1b9c29 | 2021-09-10 10:08:31 +0800 | [diff] [blame] | 1517 | |
| 1518 | MBEDTLS_SSL_DEBUG_MSG( 2, ( "=> %s", __func__ ) ); |
| 1519 | |
| 1520 | /* Coordination step |
| 1521 | * - Fetch record |
| 1522 | * - Make sure it's either a ServerHello or a HRR. |
| 1523 | * - Switch processing routine in case of HRR |
| 1524 | */ |
Jerry Yu | e1b9c29 | 2021-09-10 10:08:31 +0800 | [diff] [blame] | 1525 | ssl->major_ver = MBEDTLS_SSL_MAJOR_VERSION_3; |
| 1526 | ssl->handshake->extensions_present = MBEDTLS_SSL_EXT_NONE; |
| 1527 | |
XiaokangQian | 16acd4b | 2022-01-14 07:35:47 +0000 | [diff] [blame] | 1528 | ret = ssl_tls13_server_hello_coordinate( ssl, &buf, &buf_len ); |
XiaokangQian | d9e068e | 2022-01-18 06:23:32 +0000 | [diff] [blame] | 1529 | if( ret < 0 ) |
XiaokangQian | 16acd4b | 2022-01-14 07:35:47 +0000 | [diff] [blame] | 1530 | goto cleanup; |
| 1531 | else |
XiaokangQian | d9e068e | 2022-01-18 06:23:32 +0000 | [diff] [blame] | 1532 | is_hrr = ( ret == SSL_SERVER_HELLO_COORDINATE_HRR ); |
XiaokangQian | d59be77 | 2022-01-24 10:12:51 +0000 | [diff] [blame] | 1533 | |
XiaokangQian | b851da8 | 2022-01-14 04:03:11 +0000 | [diff] [blame] | 1534 | MBEDTLS_SSL_PROC_CHK( ssl_tls13_parse_server_hello( ssl, buf, |
XiaokangQian | d9e068e | 2022-01-18 06:23:32 +0000 | [diff] [blame] | 1535 | buf + buf_len, |
| 1536 | is_hrr ) ); |
| 1537 | if( is_hrr ) |
XiaokangQian | 647719a | 2021-12-07 09:16:29 +0000 | [diff] [blame] | 1538 | MBEDTLS_SSL_PROC_CHK( mbedtls_ssl_reset_transcript_for_hrr( ssl ) ); |
| 1539 | |
XiaokangQian | b851da8 | 2022-01-14 04:03:11 +0000 | [diff] [blame] | 1540 | mbedtls_ssl_tls13_add_hs_msg_to_checksum( ssl, |
| 1541 | MBEDTLS_SSL_HS_SERVER_HELLO, |
| 1542 | buf, buf_len ); |
XiaokangQian | 647719a | 2021-12-07 09:16:29 +0000 | [diff] [blame] | 1543 | |
XiaokangQian | d9e068e | 2022-01-18 06:23:32 +0000 | [diff] [blame] | 1544 | if( is_hrr ) |
XiaokangQian | 355e09a | 2022-01-20 11:14:50 +0000 | [diff] [blame] | 1545 | MBEDTLS_SSL_PROC_CHK( ssl_tls13_postprocess_hrr( ssl ) ); |
XiaokangQian | d9e068e | 2022-01-18 06:23:32 +0000 | [diff] [blame] | 1546 | else |
XiaokangQian | 355e09a | 2022-01-20 11:14:50 +0000 | [diff] [blame] | 1547 | MBEDTLS_SSL_PROC_CHK( ssl_tls13_postprocess_server_hello( ssl ) ); |
Jerry Yu | e1b9c29 | 2021-09-10 10:08:31 +0800 | [diff] [blame] | 1548 | |
| 1549 | cleanup: |
XiaokangQian | a909061 | 2022-01-27 03:48:27 +0000 | [diff] [blame] | 1550 | MBEDTLS_SSL_DEBUG_MSG( 2, ( "<= %s ( %s )", __func__, |
| 1551 | is_hrr?"HelloRetryRequest":"ServerHello" ) ); |
Jerry Yu | e1b9c29 | 2021-09-10 10:08:31 +0800 | [diff] [blame] | 1552 | return( ret ); |
Jerry Yu | 687101b | 2021-09-14 16:03:56 +0800 | [diff] [blame] | 1553 | } |
| 1554 | |
| 1555 | /* |
XiaokangQian | 2d5c72b | 2021-09-13 07:30:09 +0000 | [diff] [blame] | 1556 | * |
| 1557 | * EncryptedExtensions message |
| 1558 | * |
| 1559 | * The EncryptedExtensions message contains any extensions which |
| 1560 | * should be protected, i.e., any which are not needed to establish |
| 1561 | * the cryptographic context. |
Jerry Yu | 687101b | 2021-09-14 16:03:56 +0800 | [diff] [blame] | 1562 | */ |
XiaokangQian | 2d5c72b | 2021-09-13 07:30:09 +0000 | [diff] [blame] | 1563 | |
| 1564 | /* |
| 1565 | * Overview |
| 1566 | */ |
XiaokangQian | 2d5c72b | 2021-09-13 07:30:09 +0000 | [diff] [blame] | 1567 | |
| 1568 | /* Main entry point; orchestrates the other functions */ |
XiaokangQian | 97799ac | 2021-10-11 10:05:54 +0000 | [diff] [blame] | 1569 | static int ssl_tls13_process_encrypted_extensions( mbedtls_ssl_context *ssl ); |
XiaokangQian | 2d5c72b | 2021-09-13 07:30:09 +0000 | [diff] [blame] | 1570 | |
XiaokangQian | 97799ac | 2021-10-11 10:05:54 +0000 | [diff] [blame] | 1571 | static int ssl_tls13_parse_encrypted_extensions( mbedtls_ssl_context *ssl, |
| 1572 | const unsigned char *buf, |
| 1573 | const unsigned char *end ); |
| 1574 | static int ssl_tls13_postprocess_encrypted_extensions( mbedtls_ssl_context *ssl ); |
XiaokangQian | 2d5c72b | 2021-09-13 07:30:09 +0000 | [diff] [blame] | 1575 | |
| 1576 | /* |
XiaokangQian | c1fe000 | 2021-09-16 03:02:14 +0000 | [diff] [blame] | 1577 | * Handler for MBEDTLS_SSL_ENCRYPTED_EXTENSIONS |
XiaokangQian | 2d5c72b | 2021-09-13 07:30:09 +0000 | [diff] [blame] | 1578 | */ |
XiaokangQian | 97799ac | 2021-10-11 10:05:54 +0000 | [diff] [blame] | 1579 | static int ssl_tls13_process_encrypted_extensions( mbedtls_ssl_context *ssl ) |
Jerry Yu | 687101b | 2021-09-14 16:03:56 +0800 | [diff] [blame] | 1580 | { |
XiaokangQian | 2d5c72b | 2021-09-13 07:30:09 +0000 | [diff] [blame] | 1581 | int ret; |
| 1582 | unsigned char *buf; |
| 1583 | size_t buf_len; |
| 1584 | |
| 1585 | MBEDTLS_SSL_DEBUG_MSG( 2, ( "=> parse encrypted extensions" ) ); |
| 1586 | |
Xiaofei Bai | 746f948 | 2021-11-12 08:53:56 +0000 | [diff] [blame] | 1587 | MBEDTLS_SSL_PROC_CHK( mbedtls_ssl_tls13_fetch_handshake_msg( ssl, |
XiaokangQian | ab7f50d | 2021-10-21 06:23:29 +0000 | [diff] [blame] | 1588 | MBEDTLS_SSL_HS_ENCRYPTED_EXTENSIONS, |
XiaokangQian | 2d5c72b | 2021-09-13 07:30:09 +0000 | [diff] [blame] | 1589 | &buf, &buf_len ) ); |
| 1590 | |
| 1591 | /* Process the message contents */ |
XiaokangQian | 97799ac | 2021-10-11 10:05:54 +0000 | [diff] [blame] | 1592 | MBEDTLS_SSL_PROC_CHK( |
XiaokangQian | 8db25ff | 2021-10-13 05:56:18 +0000 | [diff] [blame] | 1593 | ssl_tls13_parse_encrypted_extensions( ssl, buf, buf + buf_len ) ); |
XiaokangQian | 2d5c72b | 2021-09-13 07:30:09 +0000 | [diff] [blame] | 1594 | |
Xiaofei Bai | 746f948 | 2021-11-12 08:53:56 +0000 | [diff] [blame] | 1595 | mbedtls_ssl_tls13_add_hs_msg_to_checksum( |
XiaokangQian | ab7f50d | 2021-10-21 06:23:29 +0000 | [diff] [blame] | 1596 | ssl, MBEDTLS_SSL_HS_ENCRYPTED_EXTENSIONS, buf, buf_len ); |
XiaokangQian | 2d5c72b | 2021-09-13 07:30:09 +0000 | [diff] [blame] | 1597 | |
XiaokangQian | 97799ac | 2021-10-11 10:05:54 +0000 | [diff] [blame] | 1598 | MBEDTLS_SSL_PROC_CHK( ssl_tls13_postprocess_encrypted_extensions( ssl ) ); |
XiaokangQian | 2d5c72b | 2021-09-13 07:30:09 +0000 | [diff] [blame] | 1599 | |
| 1600 | cleanup: |
| 1601 | |
| 1602 | MBEDTLS_SSL_DEBUG_MSG( 2, ( "<= parse encrypted extensions" ) ); |
| 1603 | return( ret ); |
| 1604 | |
| 1605 | } |
| 1606 | |
XiaokangQian | 08da26c | 2021-10-09 10:12:11 +0000 | [diff] [blame] | 1607 | /* Parse EncryptedExtensions message |
| 1608 | * struct { |
XiaokangQian | 97799ac | 2021-10-11 10:05:54 +0000 | [diff] [blame] | 1609 | * Extension extensions<0..2^16-1>; |
XiaokangQian | 08da26c | 2021-10-09 10:12:11 +0000 | [diff] [blame] | 1610 | * } EncryptedExtensions; |
| 1611 | */ |
XiaokangQian | 97799ac | 2021-10-11 10:05:54 +0000 | [diff] [blame] | 1612 | static int ssl_tls13_parse_encrypted_extensions( mbedtls_ssl_context *ssl, |
| 1613 | const unsigned char *buf, |
| 1614 | const unsigned char *end ) |
XiaokangQian | 2d5c72b | 2021-09-13 07:30:09 +0000 | [diff] [blame] | 1615 | { |
| 1616 | int ret = 0; |
XiaokangQian | 08da26c | 2021-10-09 10:12:11 +0000 | [diff] [blame] | 1617 | size_t extensions_len; |
XiaokangQian | 140f045 | 2021-10-08 08:05:53 +0000 | [diff] [blame] | 1618 | const unsigned char *p = buf; |
XiaokangQian | 8db25ff | 2021-10-13 05:56:18 +0000 | [diff] [blame] | 1619 | const unsigned char *extensions_end; |
XiaokangQian | 2d5c72b | 2021-09-13 07:30:09 +0000 | [diff] [blame] | 1620 | |
XiaokangQian | 08da26c | 2021-10-09 10:12:11 +0000 | [diff] [blame] | 1621 | MBEDTLS_SSL_CHK_BUF_READ_PTR( p, end, 2 ); |
XiaokangQian | 97799ac | 2021-10-11 10:05:54 +0000 | [diff] [blame] | 1622 | extensions_len = MBEDTLS_GET_UINT16_BE( p, 0 ); |
XiaokangQian | 08da26c | 2021-10-09 10:12:11 +0000 | [diff] [blame] | 1623 | p += 2; |
XiaokangQian | 2d5c72b | 2021-09-13 07:30:09 +0000 | [diff] [blame] | 1624 | |
XiaokangQian | 97799ac | 2021-10-11 10:05:54 +0000 | [diff] [blame] | 1625 | MBEDTLS_SSL_DEBUG_BUF( 3, "encrypted extensions", p, extensions_len ); |
XiaokangQian | 8db25ff | 2021-10-13 05:56:18 +0000 | [diff] [blame] | 1626 | extensions_end = p + extensions_len; |
| 1627 | MBEDTLS_SSL_CHK_BUF_READ_PTR( p, end, extensions_len ); |
XiaokangQian | 2d5c72b | 2021-09-13 07:30:09 +0000 | [diff] [blame] | 1628 | |
XiaokangQian | 8db25ff | 2021-10-13 05:56:18 +0000 | [diff] [blame] | 1629 | while( p < extensions_end ) |
XiaokangQian | 2d5c72b | 2021-09-13 07:30:09 +0000 | [diff] [blame] | 1630 | { |
XiaokangQian | 08da26c | 2021-10-09 10:12:11 +0000 | [diff] [blame] | 1631 | unsigned int extension_type; |
| 1632 | size_t extension_data_len; |
XiaokangQian | 2d5c72b | 2021-09-13 07:30:09 +0000 | [diff] [blame] | 1633 | |
XiaokangQian | 08da26c | 2021-10-09 10:12:11 +0000 | [diff] [blame] | 1634 | /* |
| 1635 | * struct { |
XiaokangQian | 97799ac | 2021-10-11 10:05:54 +0000 | [diff] [blame] | 1636 | * ExtensionType extension_type; (2 bytes) |
| 1637 | * opaque extension_data<0..2^16-1>; |
XiaokangQian | 08da26c | 2021-10-09 10:12:11 +0000 | [diff] [blame] | 1638 | * } Extension; |
| 1639 | */ |
XiaokangQian | 8db25ff | 2021-10-13 05:56:18 +0000 | [diff] [blame] | 1640 | MBEDTLS_SSL_CHK_BUF_READ_PTR( p, extensions_end, 4 ); |
XiaokangQian | 08da26c | 2021-10-09 10:12:11 +0000 | [diff] [blame] | 1641 | extension_type = MBEDTLS_GET_UINT16_BE( p, 0 ); |
| 1642 | extension_data_len = MBEDTLS_GET_UINT16_BE( p, 2 ); |
| 1643 | p += 4; |
| 1644 | |
XiaokangQian | 8db25ff | 2021-10-13 05:56:18 +0000 | [diff] [blame] | 1645 | MBEDTLS_SSL_CHK_BUF_READ_PTR( p, extensions_end, extension_data_len ); |
XiaokangQian | 2d5c72b | 2021-09-13 07:30:09 +0000 | [diff] [blame] | 1646 | |
XiaokangQian | 97799ac | 2021-10-11 10:05:54 +0000 | [diff] [blame] | 1647 | /* The client MUST check EncryptedExtensions for the |
XiaokangQian | 2d5c72b | 2021-09-13 07:30:09 +0000 | [diff] [blame] | 1648 | * presence of any forbidden extensions and if any are found MUST abort |
XiaokangQian | 08da26c | 2021-10-09 10:12:11 +0000 | [diff] [blame] | 1649 | * the handshake with an "unsupported_extension" alert. |
XiaokangQian | 2d5c72b | 2021-09-13 07:30:09 +0000 | [diff] [blame] | 1650 | */ |
XiaokangQian | 08da26c | 2021-10-09 10:12:11 +0000 | [diff] [blame] | 1651 | switch( extension_type ) |
| 1652 | { |
XiaokangQian | 2d5c72b | 2021-09-13 07:30:09 +0000 | [diff] [blame] | 1653 | |
XiaokangQian | 08da26c | 2021-10-09 10:12:11 +0000 | [diff] [blame] | 1654 | case MBEDTLS_TLS_EXT_SUPPORTED_GROUPS: |
| 1655 | MBEDTLS_SSL_DEBUG_MSG( 3, ( "found extensions supported groups" ) ); |
| 1656 | break; |
XiaokangQian | 2d5c72b | 2021-09-13 07:30:09 +0000 | [diff] [blame] | 1657 | |
XiaokangQian | 08da26c | 2021-10-09 10:12:11 +0000 | [diff] [blame] | 1658 | default: |
XiaokangQian | 97799ac | 2021-10-11 10:05:54 +0000 | [diff] [blame] | 1659 | MBEDTLS_SSL_DEBUG_MSG( |
| 1660 | 3, ( "unsupported extension found: %u ", extension_type) ); |
| 1661 | MBEDTLS_SSL_PEND_FATAL_ALERT( |
Jerry Yu | 7aa7186 | 2021-10-28 21:41:30 +0800 | [diff] [blame] | 1662 | MBEDTLS_SSL_ALERT_MSG_UNSUPPORTED_EXT, |
XiaokangQian | 97799ac | 2021-10-11 10:05:54 +0000 | [diff] [blame] | 1663 | MBEDTLS_ERR_SSL_UNSUPPORTED_EXTENSION ); |
| 1664 | return ( MBEDTLS_ERR_SSL_UNSUPPORTED_EXTENSION ); |
XiaokangQian | 08da26c | 2021-10-09 10:12:11 +0000 | [diff] [blame] | 1665 | } |
| 1666 | |
XiaokangQian | 08da26c | 2021-10-09 10:12:11 +0000 | [diff] [blame] | 1667 | p += extension_data_len; |
XiaokangQian | 97799ac | 2021-10-11 10:05:54 +0000 | [diff] [blame] | 1668 | } |
XiaokangQian | 08da26c | 2021-10-09 10:12:11 +0000 | [diff] [blame] | 1669 | |
XiaokangQian | 97799ac | 2021-10-11 10:05:54 +0000 | [diff] [blame] | 1670 | /* Check that we consumed all the message. */ |
XiaokangQian | 7b2d4ef | 2021-10-13 10:19:02 +0000 | [diff] [blame] | 1671 | if( p != end ) |
XiaokangQian | 97799ac | 2021-10-11 10:05:54 +0000 | [diff] [blame] | 1672 | { |
| 1673 | MBEDTLS_SSL_DEBUG_MSG( 1, ( "EncryptedExtension lengths misaligned" ) ); |
Jerry Yu | 7aa7186 | 2021-10-28 21:41:30 +0800 | [diff] [blame] | 1674 | MBEDTLS_SSL_PEND_FATAL_ALERT( MBEDTLS_SSL_ALERT_MSG_DECODE_ERROR, |
XiaokangQian | 7b2d4ef | 2021-10-13 10:19:02 +0000 | [diff] [blame] | 1675 | MBEDTLS_ERR_SSL_DECODE_ERROR ); |
XiaokangQian | 97799ac | 2021-10-11 10:05:54 +0000 | [diff] [blame] | 1676 | return( MBEDTLS_ERR_SSL_DECODE_ERROR ); |
XiaokangQian | 2d5c72b | 2021-09-13 07:30:09 +0000 | [diff] [blame] | 1677 | } |
| 1678 | |
| 1679 | return( ret ); |
| 1680 | } |
| 1681 | |
XiaokangQian | 97799ac | 2021-10-11 10:05:54 +0000 | [diff] [blame] | 1682 | static int ssl_tls13_postprocess_encrypted_extensions( mbedtls_ssl_context *ssl ) |
XiaokangQian | 2d5c72b | 2021-09-13 07:30:09 +0000 | [diff] [blame] | 1683 | { |
Jerry Yu | a93ac11 | 2021-10-27 16:31:48 +0800 | [diff] [blame] | 1684 | #if defined(MBEDTLS_KEY_EXCHANGE_WITH_CERT_ENABLED) |
Xiaofei Bai | 746f948 | 2021-11-12 08:53:56 +0000 | [diff] [blame] | 1685 | if( mbedtls_ssl_tls13_some_psk_enabled( ssl ) ) |
Jerry Yu | a93ac11 | 2021-10-27 16:31:48 +0800 | [diff] [blame] | 1686 | mbedtls_ssl_handshake_set_state( ssl, MBEDTLS_SSL_SERVER_FINISHED ); |
| 1687 | else |
Jerry Yu | d267431 | 2021-10-29 10:08:19 +0800 | [diff] [blame] | 1688 | mbedtls_ssl_handshake_set_state( ssl, MBEDTLS_SSL_CERTIFICATE_REQUEST ); |
Jerry Yu | a93ac11 | 2021-10-27 16:31:48 +0800 | [diff] [blame] | 1689 | #else |
| 1690 | ((void) ssl); |
| 1691 | mbedtls_ssl_handshake_set_state( ssl, MBEDTLS_SSL_SERVER_FINISHED ); |
| 1692 | #endif |
Jerry Yu | 687101b | 2021-09-14 16:03:56 +0800 | [diff] [blame] | 1693 | return( 0 ); |
| 1694 | } |
| 1695 | |
Jerry Yu | a93ac11 | 2021-10-27 16:31:48 +0800 | [diff] [blame] | 1696 | #if defined(MBEDTLS_KEY_EXCHANGE_WITH_CERT_ENABLED) |
Jerry Yu | 687101b | 2021-09-14 16:03:56 +0800 | [diff] [blame] | 1697 | /* |
Jerry Yu | d267431 | 2021-10-29 10:08:19 +0800 | [diff] [blame] | 1698 | * Handler for MBEDTLS_SSL_CERTIFICATE_REQUEST |
| 1699 | */ |
| 1700 | static int ssl_tls13_process_certificate_request( mbedtls_ssl_context *ssl ) |
| 1701 | { |
| 1702 | int ret = mbedtls_ssl_read_record( ssl, 0 ); |
| 1703 | |
| 1704 | if( ret != 0 ) |
| 1705 | { |
| 1706 | MBEDTLS_SSL_DEBUG_RET( 1, "mbedtls_ssl_read_record", ret ); |
| 1707 | return( ret ); |
| 1708 | } |
| 1709 | |
| 1710 | if( ( ssl->in_msgtype == MBEDTLS_SSL_MSG_HANDSHAKE ) && |
| 1711 | ( ssl->in_msg[0] == MBEDTLS_SSL_HS_CERTIFICATE_REQUEST ) ) |
| 1712 | { |
| 1713 | MBEDTLS_SSL_DEBUG_MSG( 1, ( "CertificateRequest not supported" ) ); |
| 1714 | MBEDTLS_SSL_PEND_FATAL_ALERT( MBEDTLS_SSL_ALERT_MSG_HANDSHAKE_FAILURE, |
| 1715 | MBEDTLS_ERR_SSL_HANDSHAKE_FAILURE ); |
| 1716 | return( MBEDTLS_ERR_SSL_HANDSHAKE_FAILURE ); |
| 1717 | } |
| 1718 | |
| 1719 | ssl->keep_current_message = 1; |
| 1720 | mbedtls_ssl_handshake_set_state( ssl, MBEDTLS_SSL_SERVER_CERTIFICATE ); |
| 1721 | |
| 1722 | return( 0 ); |
| 1723 | } |
| 1724 | |
| 1725 | /* |
Jerry Yu | 687101b | 2021-09-14 16:03:56 +0800 | [diff] [blame] | 1726 | * Handler for MBEDTLS_SSL_SERVER_CERTIFICATE |
| 1727 | */ |
Xiaofei Bai | 746f948 | 2021-11-12 08:53:56 +0000 | [diff] [blame] | 1728 | static int ssl_tls13_process_server_certificate( mbedtls_ssl_context *ssl ) |
Jerry Yu | 687101b | 2021-09-14 16:03:56 +0800 | [diff] [blame] | 1729 | { |
Xiaofei Bai | 947571e | 2021-09-29 09:12:03 +0000 | [diff] [blame] | 1730 | int ret; |
| 1731 | |
| 1732 | ret = mbedtls_ssl_tls13_process_certificate( ssl ); |
Xiaofei Bai | f93cbd2 | 2021-10-29 02:39:30 +0000 | [diff] [blame] | 1733 | if( ret != 0 ) |
Xiaofei Bai | 947571e | 2021-09-29 09:12:03 +0000 | [diff] [blame] | 1734 | return( ret ); |
| 1735 | |
Jerry Yu | 687101b | 2021-09-14 16:03:56 +0800 | [diff] [blame] | 1736 | mbedtls_ssl_handshake_set_state( ssl, MBEDTLS_SSL_CERTIFICATE_VERIFY ); |
| 1737 | return( 0 ); |
| 1738 | } |
| 1739 | |
| 1740 | /* |
| 1741 | * Handler for MBEDTLS_SSL_CERTIFICATE_VERIFY |
| 1742 | */ |
Xiaofei Bai | 746f948 | 2021-11-12 08:53:56 +0000 | [diff] [blame] | 1743 | static int ssl_tls13_process_certificate_verify( mbedtls_ssl_context *ssl ) |
Jerry Yu | 687101b | 2021-09-14 16:03:56 +0800 | [diff] [blame] | 1744 | { |
Jerry Yu | 30b071c | 2021-09-12 20:16:03 +0800 | [diff] [blame] | 1745 | int ret; |
| 1746 | |
| 1747 | ret = mbedtls_ssl_tls13_process_certificate_verify( ssl ); |
| 1748 | if( ret != 0 ) |
| 1749 | return( ret ); |
| 1750 | |
Jerry Yu | 687101b | 2021-09-14 16:03:56 +0800 | [diff] [blame] | 1751 | mbedtls_ssl_handshake_set_state( ssl, MBEDTLS_SSL_SERVER_FINISHED ); |
| 1752 | return( 0 ); |
| 1753 | } |
Jerry Yu | a93ac11 | 2021-10-27 16:31:48 +0800 | [diff] [blame] | 1754 | #endif /* MBEDTLS_KEY_EXCHANGE_WITH_CERT_ENABLED */ |
Ronald Cron | d4c6402 | 2021-12-06 09:06:46 +0100 | [diff] [blame] | 1755 | |
Jerry Yu | 687101b | 2021-09-14 16:03:56 +0800 | [diff] [blame] | 1756 | /* |
| 1757 | * Handler for MBEDTLS_SSL_SERVER_FINISHED |
| 1758 | */ |
Xiaofei Bai | 746f948 | 2021-11-12 08:53:56 +0000 | [diff] [blame] | 1759 | static int ssl_tls13_process_server_finished( mbedtls_ssl_context *ssl ) |
Jerry Yu | 687101b | 2021-09-14 16:03:56 +0800 | [diff] [blame] | 1760 | { |
XiaokangQian | ac0385c | 2021-11-03 06:40:11 +0000 | [diff] [blame] | 1761 | int ret; |
| 1762 | |
XiaokangQian | c5c39d5 | 2021-11-09 11:55:10 +0000 | [diff] [blame] | 1763 | ret = mbedtls_ssl_tls13_process_finished_message( ssl ); |
XiaokangQian | ac0385c | 2021-11-03 06:40:11 +0000 | [diff] [blame] | 1764 | if( ret != 0 ) |
| 1765 | return( ret ); |
| 1766 | |
Ronald Cron | 49ad619 | 2021-11-24 16:25:31 +0100 | [diff] [blame] | 1767 | #if defined(MBEDTLS_SSL_TLS1_3_COMPATIBILITY_MODE) |
| 1768 | mbedtls_ssl_handshake_set_state( |
| 1769 | ssl, |
| 1770 | MBEDTLS_SSL_CLIENT_CCS_AFTER_SERVER_FINISHED ); |
| 1771 | #else |
XiaokangQian | ac0385c | 2021-11-03 06:40:11 +0000 | [diff] [blame] | 1772 | mbedtls_ssl_handshake_set_state( ssl, MBEDTLS_SSL_CLIENT_FINISHED ); |
Ronald Cron | 49ad619 | 2021-11-24 16:25:31 +0100 | [diff] [blame] | 1773 | #endif |
| 1774 | |
XiaokangQian | ac0385c | 2021-11-03 06:40:11 +0000 | [diff] [blame] | 1775 | return( 0 ); |
Jerry Yu | 687101b | 2021-09-14 16:03:56 +0800 | [diff] [blame] | 1776 | } |
| 1777 | |
| 1778 | /* |
Ronald Cron | d4c6402 | 2021-12-06 09:06:46 +0100 | [diff] [blame] | 1779 | * Handler for MBEDTLS_SSL_CLIENT_CCS_AFTER_SERVER_FINISHED |
| 1780 | */ |
| 1781 | #if defined(MBEDTLS_SSL_TLS1_3_COMPATIBILITY_MODE) |
| 1782 | static int ssl_tls13_write_change_cipher_spec( mbedtls_ssl_context *ssl ) |
| 1783 | { |
| 1784 | int ret; |
| 1785 | |
| 1786 | ret = mbedtls_ssl_tls13_write_change_cipher_spec( ssl ); |
| 1787 | if( ret != 0 ) |
| 1788 | return( ret ); |
| 1789 | |
Ronald Cron | d4c6402 | 2021-12-06 09:06:46 +0100 | [diff] [blame] | 1790 | return( 0 ); |
| 1791 | } |
| 1792 | #endif /* MBEDTLS_SSL_TLS1_3_COMPATIBILITY_MODE */ |
| 1793 | |
| 1794 | /* |
Jerry Yu | 687101b | 2021-09-14 16:03:56 +0800 | [diff] [blame] | 1795 | * Handler for MBEDTLS_SSL_CLIENT_FINISHED |
| 1796 | */ |
XiaokangQian | 74af2a8 | 2021-09-22 07:40:30 +0000 | [diff] [blame] | 1797 | static int ssl_tls13_write_client_finished( mbedtls_ssl_context *ssl ) |
Jerry Yu | 687101b | 2021-09-14 16:03:56 +0800 | [diff] [blame] | 1798 | { |
XiaokangQian | 0fa6643 | 2021-11-15 03:33:57 +0000 | [diff] [blame] | 1799 | int ret; |
| 1800 | |
Ronald Cron | 49ad619 | 2021-11-24 16:25:31 +0100 | [diff] [blame] | 1801 | mbedtls_ssl_set_outbound_transform( ssl, ssl->handshake->transform_handshake ); |
| 1802 | |
XiaokangQian | 0fa6643 | 2021-11-15 03:33:57 +0000 | [diff] [blame] | 1803 | ret = mbedtls_ssl_tls13_write_finished_message( ssl ); |
| 1804 | if( ret != 0 ) |
| 1805 | return( ret ); |
| 1806 | |
| 1807 | mbedtls_ssl_handshake_set_state( ssl, MBEDTLS_SSL_FLUSH_BUFFERS ); |
| 1808 | return( 0 ); |
Jerry Yu | 687101b | 2021-09-14 16:03:56 +0800 | [diff] [blame] | 1809 | } |
| 1810 | |
| 1811 | /* |
| 1812 | * Handler for MBEDTLS_SSL_FLUSH_BUFFERS |
| 1813 | */ |
Xiaofei Bai | 746f948 | 2021-11-12 08:53:56 +0000 | [diff] [blame] | 1814 | static int ssl_tls13_flush_buffers( mbedtls_ssl_context *ssl ) |
Jerry Yu | 687101b | 2021-09-14 16:03:56 +0800 | [diff] [blame] | 1815 | { |
Jerry Yu | 378254d | 2021-10-30 21:44:47 +0800 | [diff] [blame] | 1816 | MBEDTLS_SSL_DEBUG_MSG( 2, ( "handshake: done" ) ); |
Jerry Yu | ad8d0ba | 2021-09-28 17:58:26 +0800 | [diff] [blame] | 1817 | mbedtls_ssl_handshake_set_state( ssl, MBEDTLS_SSL_HANDSHAKE_WRAPUP ); |
Jerry Yu | 687101b | 2021-09-14 16:03:56 +0800 | [diff] [blame] | 1818 | return( 0 ); |
| 1819 | } |
| 1820 | |
| 1821 | /* |
| 1822 | * Handler for MBEDTLS_SSL_HANDSHAKE_WRAPUP |
| 1823 | */ |
Xiaofei Bai | 746f948 | 2021-11-12 08:53:56 +0000 | [diff] [blame] | 1824 | static int ssl_tls13_handshake_wrapup( mbedtls_ssl_context *ssl ) |
Jerry Yu | 687101b | 2021-09-14 16:03:56 +0800 | [diff] [blame] | 1825 | { |
Jerry Yu | 378254d | 2021-10-30 21:44:47 +0800 | [diff] [blame] | 1826 | MBEDTLS_SSL_DEBUG_MSG( 1, ( "Switch to application keys for inbound traffic" ) ); |
| 1827 | mbedtls_ssl_set_inbound_transform ( ssl, ssl->transform_application ); |
| 1828 | |
| 1829 | MBEDTLS_SSL_DEBUG_MSG( 1, ( "Switch to application keys for outbound traffic" ) ); |
| 1830 | mbedtls_ssl_set_outbound_transform( ssl, ssl->transform_application ); |
| 1831 | |
| 1832 | mbedtls_ssl_tls13_handshake_wrapup( ssl ); |
| 1833 | |
| 1834 | mbedtls_ssl_handshake_set_state( ssl, MBEDTLS_SSL_HANDSHAKE_OVER ); |
| 1835 | return( 0 ); |
Jerry Yu | 687101b | 2021-09-14 16:03:56 +0800 | [diff] [blame] | 1836 | } |
| 1837 | |
Jerry Yu | 92c6b40 | 2021-08-27 16:59:09 +0800 | [diff] [blame] | 1838 | int mbedtls_ssl_tls13_handshake_client_step( mbedtls_ssl_context *ssl ) |
Jerry Yu | bc20bdd | 2021-08-24 15:59:48 +0800 | [diff] [blame] | 1839 | { |
Jerry Yu | 92c6b40 | 2021-08-27 16:59:09 +0800 | [diff] [blame] | 1840 | int ret = 0; |
Jerry Yu | c8a392c | 2021-08-18 16:46:28 +0800 | [diff] [blame] | 1841 | |
Jerry Yu | e3b3412 | 2021-09-28 17:53:35 +0800 | [diff] [blame] | 1842 | MBEDTLS_SSL_DEBUG_MSG( 2, ( "tls13 client state: %s(%d)", |
| 1843 | mbedtls_ssl_states_str( ssl->state ), |
| 1844 | ssl->state ) ); |
Jerry Yu | 92c6b40 | 2021-08-27 16:59:09 +0800 | [diff] [blame] | 1845 | |
| 1846 | switch( ssl->state ) |
| 1847 | { |
| 1848 | /* |
Jerry Yu | 0c63af6 | 2021-09-02 12:59:12 +0800 | [diff] [blame] | 1849 | * ssl->state is initialized as HELLO_REQUEST. It is the same |
| 1850 | * as CLIENT_HELLO state. |
Jerry Yu | 92c6b40 | 2021-08-27 16:59:09 +0800 | [diff] [blame] | 1851 | */ |
| 1852 | case MBEDTLS_SSL_HELLO_REQUEST: |
| 1853 | case MBEDTLS_SSL_CLIENT_HELLO: |
| 1854 | ret = ssl_tls13_write_client_hello( ssl ); |
| 1855 | break; |
| 1856 | |
| 1857 | case MBEDTLS_SSL_SERVER_HELLO: |
Xiaofei Bai | 746f948 | 2021-11-12 08:53:56 +0000 | [diff] [blame] | 1858 | ret = ssl_tls13_process_server_hello( ssl ); |
Jerry Yu | 687101b | 2021-09-14 16:03:56 +0800 | [diff] [blame] | 1859 | break; |
| 1860 | |
| 1861 | case MBEDTLS_SSL_ENCRYPTED_EXTENSIONS: |
XiaokangQian | 97799ac | 2021-10-11 10:05:54 +0000 | [diff] [blame] | 1862 | ret = ssl_tls13_process_encrypted_extensions( ssl ); |
Jerry Yu | 687101b | 2021-09-14 16:03:56 +0800 | [diff] [blame] | 1863 | break; |
| 1864 | |
Jerry Yu | a93ac11 | 2021-10-27 16:31:48 +0800 | [diff] [blame] | 1865 | #if defined(MBEDTLS_KEY_EXCHANGE_WITH_CERT_ENABLED) |
Jerry Yu | d267431 | 2021-10-29 10:08:19 +0800 | [diff] [blame] | 1866 | case MBEDTLS_SSL_CERTIFICATE_REQUEST: |
| 1867 | ret = ssl_tls13_process_certificate_request( ssl ); |
| 1868 | break; |
| 1869 | |
Jerry Yu | 687101b | 2021-09-14 16:03:56 +0800 | [diff] [blame] | 1870 | case MBEDTLS_SSL_SERVER_CERTIFICATE: |
Xiaofei Bai | 746f948 | 2021-11-12 08:53:56 +0000 | [diff] [blame] | 1871 | ret = ssl_tls13_process_server_certificate( ssl ); |
Jerry Yu | 687101b | 2021-09-14 16:03:56 +0800 | [diff] [blame] | 1872 | break; |
| 1873 | |
| 1874 | case MBEDTLS_SSL_CERTIFICATE_VERIFY: |
Xiaofei Bai | 746f948 | 2021-11-12 08:53:56 +0000 | [diff] [blame] | 1875 | ret = ssl_tls13_process_certificate_verify( ssl ); |
Jerry Yu | 687101b | 2021-09-14 16:03:56 +0800 | [diff] [blame] | 1876 | break; |
Jerry Yu | a93ac11 | 2021-10-27 16:31:48 +0800 | [diff] [blame] | 1877 | #endif /* MBEDTLS_KEY_EXCHANGE_WITH_CERT_ENABLED */ |
Jerry Yu | 687101b | 2021-09-14 16:03:56 +0800 | [diff] [blame] | 1878 | |
| 1879 | case MBEDTLS_SSL_SERVER_FINISHED: |
Xiaofei Bai | 746f948 | 2021-11-12 08:53:56 +0000 | [diff] [blame] | 1880 | ret = ssl_tls13_process_server_finished( ssl ); |
Jerry Yu | 687101b | 2021-09-14 16:03:56 +0800 | [diff] [blame] | 1881 | break; |
| 1882 | |
Jerry Yu | 687101b | 2021-09-14 16:03:56 +0800 | [diff] [blame] | 1883 | case MBEDTLS_SSL_CLIENT_FINISHED: |
XiaokangQian | 74af2a8 | 2021-09-22 07:40:30 +0000 | [diff] [blame] | 1884 | ret = ssl_tls13_write_client_finished( ssl ); |
Jerry Yu | 687101b | 2021-09-14 16:03:56 +0800 | [diff] [blame] | 1885 | break; |
| 1886 | |
| 1887 | case MBEDTLS_SSL_FLUSH_BUFFERS: |
Xiaofei Bai | 746f948 | 2021-11-12 08:53:56 +0000 | [diff] [blame] | 1888 | ret = ssl_tls13_flush_buffers( ssl ); |
Jerry Yu | 687101b | 2021-09-14 16:03:56 +0800 | [diff] [blame] | 1889 | break; |
| 1890 | |
| 1891 | case MBEDTLS_SSL_HANDSHAKE_WRAPUP: |
Xiaofei Bai | 746f948 | 2021-11-12 08:53:56 +0000 | [diff] [blame] | 1892 | ret = ssl_tls13_handshake_wrapup( ssl ); |
Jerry Yu | 92c6b40 | 2021-08-27 16:59:09 +0800 | [diff] [blame] | 1893 | break; |
| 1894 | |
Ronald Cron | 49ad619 | 2021-11-24 16:25:31 +0100 | [diff] [blame] | 1895 | /* |
| 1896 | * Injection of dummy-CCS's for middlebox compatibility |
| 1897 | */ |
| 1898 | #if defined(MBEDTLS_SSL_TLS1_3_COMPATIBILITY_MODE) |
| 1899 | case MBEDTLS_SSL_CLIENT_CCS_AFTER_SERVER_FINISHED: |
XiaokangQian | 0b56a8f | 2021-12-22 02:39:32 +0000 | [diff] [blame] | 1900 | case MBEDTLS_SSL_CLIENT_CCS_BEFORE_2ND_CLIENT_HELLO: |
Ronald Cron | d4c6402 | 2021-12-06 09:06:46 +0100 | [diff] [blame] | 1901 | ret = ssl_tls13_write_change_cipher_spec( ssl ); |
Ronald Cron | 49ad619 | 2021-11-24 16:25:31 +0100 | [diff] [blame] | 1902 | break; |
| 1903 | #endif /* MBEDTLS_SSL_TLS1_3_COMPATIBILITY_MODE */ |
| 1904 | |
Jerry Yu | 92c6b40 | 2021-08-27 16:59:09 +0800 | [diff] [blame] | 1905 | default: |
| 1906 | MBEDTLS_SSL_DEBUG_MSG( 1, ( "invalid state %d", ssl->state ) ); |
| 1907 | return( MBEDTLS_ERR_SSL_BAD_INPUT_DATA ); |
| 1908 | } |
| 1909 | |
| 1910 | return( ret ); |
| 1911 | } |
Jerry Yu | 65dd2cc | 2021-08-18 16:38:40 +0800 | [diff] [blame] | 1912 | |
Jerry Yu | 3cc4c2a | 2021-08-06 16:29:08 +0800 | [diff] [blame] | 1913 | #endif /* MBEDTLS_SSL_CLI_C */ |
| 1914 | |
Ronald Cron | 6f135e1 | 2021-12-08 16:57:54 +0100 | [diff] [blame] | 1915 | #endif /* MBEDTLS_SSL_PROTO_TLS1_3 */ |