Gilles Peskine | 66e7b90 | 2021-02-12 23:40:58 +0100 | [diff] [blame] | 1 | /** Code to exercise a PSA key object, i.e. validate that it seems well-formed |
| 2 | * and can do what it is supposed to do. |
| 3 | */ |
| 4 | |
| 5 | /* |
| 6 | * Copyright The Mbed TLS Contributors |
Dave Rodgman | 16799db | 2023-11-02 19:47:20 +0000 | [diff] [blame] | 7 | * SPDX-License-Identifier: Apache-2.0 OR GPL-2.0-or-later |
Gilles Peskine | 66e7b90 | 2021-02-12 23:40:58 +0100 | [diff] [blame] | 8 | */ |
| 9 | |
| 10 | #include <test/helpers.h> |
| 11 | #include <test/macros.h> |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 12 | #include <test/psa_exercise_key.h> |
Gilles Peskine | 66e7b90 | 2021-02-12 23:40:58 +0100 | [diff] [blame] | 13 | |
| 14 | #if defined(MBEDTLS_PSA_CRYPTO_C) |
| 15 | |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 16 | #include <mbedtls/asn1.h> |
Gilles Peskine | 66e7b90 | 2021-02-12 23:40:58 +0100 | [diff] [blame] | 17 | #include <psa/crypto.h> |
| 18 | |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 19 | #include <test/asn1_helpers.h> |
Przemyslaw Stekiel | 53de262 | 2021-11-03 09:35:35 +0100 | [diff] [blame] | 20 | #include <psa_crypto_slot_management.h> |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 21 | #include <test/psa_crypto_helpers.h> |
| 22 | |
Gilles Peskine | 6fe8a06 | 2024-02-15 17:21:17 +0100 | [diff] [blame] | 23 | #if defined(MBEDTLS_PK_C) |
| 24 | #include <pk_internal.h> |
| 25 | #endif |
| 26 | #if defined(MBEDTLS_ECP_C) |
| 27 | #include <mbedtls/ecp.h> |
| 28 | #endif |
| 29 | #if defined(MBEDTLS_RSA_C) |
| 30 | #include <rsa_internal.h> |
| 31 | #endif |
| 32 | |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 33 | #if defined(MBEDTLS_PSA_CRYPTO_SE_C) |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 34 | static int lifetime_is_dynamic_secure_element(psa_key_lifetime_t lifetime) |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 35 | { |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 36 | return PSA_KEY_LIFETIME_GET_LOCATION(lifetime) != |
| 37 | PSA_KEY_LOCATION_LOCAL_STORAGE; |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 38 | } |
| 39 | #endif |
| 40 | |
Ryan Everett | f08a93f | 2024-03-12 16:00:08 +0000 | [diff] [blame] | 41 | static int check_key_attributes_sanity(mbedtls_svc_key_id_t key, |
| 42 | int key_destroyable) |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 43 | { |
| 44 | int ok = 0; |
| 45 | psa_key_attributes_t attributes = PSA_KEY_ATTRIBUTES_INIT; |
| 46 | psa_key_lifetime_t lifetime; |
| 47 | mbedtls_svc_key_id_t id; |
| 48 | psa_key_type_t type; |
Gilles Peskine | 6b362e6 | 2021-02-15 12:03:16 +0100 | [diff] [blame] | 49 | size_t bits; |
Ryan Everett | f08a93f | 2024-03-12 16:00:08 +0000 | [diff] [blame] | 50 | psa_status_t status = psa_get_key_attributes(key, &attributes); |
| 51 | if (key_destroyable && status == PSA_ERROR_INVALID_HANDLE) { |
| 52 | /* The key has been destroyed. */ |
| 53 | psa_reset_key_attributes(&attributes); |
| 54 | return 1; |
| 55 | } |
| 56 | PSA_ASSERT(status); |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 57 | lifetime = psa_get_key_lifetime(&attributes); |
| 58 | id = psa_get_key_id(&attributes); |
| 59 | type = psa_get_key_type(&attributes); |
| 60 | bits = psa_get_key_bits(&attributes); |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 61 | |
| 62 | /* Persistence */ |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 63 | if (PSA_KEY_LIFETIME_IS_VOLATILE(lifetime)) { |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 64 | TEST_ASSERT( |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 65 | (PSA_KEY_ID_VOLATILE_MIN <= |
| 66 | MBEDTLS_SVC_KEY_ID_GET_KEY_ID(id)) && |
| 67 | (MBEDTLS_SVC_KEY_ID_GET_KEY_ID(id) <= |
| 68 | PSA_KEY_ID_VOLATILE_MAX)); |
| 69 | } else { |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 70 | TEST_ASSERT( |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 71 | (PSA_KEY_ID_USER_MIN <= MBEDTLS_SVC_KEY_ID_GET_KEY_ID(id)) && |
| 72 | (MBEDTLS_SVC_KEY_ID_GET_KEY_ID(id) <= PSA_KEY_ID_USER_MAX)); |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 73 | } |
| 74 | #if defined(MBEDTLS_PSA_CRYPTO_SE_C) |
Ryan Everett | f08a93f | 2024-03-12 16:00:08 +0000 | [diff] [blame] | 75 | /* MBEDTLS_PSA_CRYPTO_SE_C does not support thread safety. */ |
| 76 | if (key_destroyable == 0) { |
| 77 | /* randomly-generated 64-bit constant, should never appear in test data */ |
| 78 | psa_key_slot_number_t slot_number = 0xec94d4a5058a1a21; |
| 79 | status = psa_get_key_slot_number(&attributes, &slot_number); |
| 80 | if (lifetime_is_dynamic_secure_element(lifetime)) { |
| 81 | /* Mbed TLS currently always exposes the slot number to |
| 82 | * applications. This is not mandated by the PSA specification |
| 83 | * and may change in future versions. */ |
| 84 | TEST_EQUAL(status, 0); |
| 85 | TEST_ASSERT(slot_number != 0xec94d4a5058a1a21); |
| 86 | } else { |
| 87 | TEST_EQUAL(status, PSA_ERROR_INVALID_ARGUMENT); |
| 88 | } |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 89 | } |
| 90 | #endif |
| 91 | |
| 92 | /* Type and size */ |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 93 | TEST_ASSERT(type != 0); |
| 94 | TEST_ASSERT(bits != 0); |
| 95 | TEST_ASSERT(bits <= PSA_MAX_KEY_BITS); |
| 96 | if (PSA_KEY_TYPE_IS_UNSTRUCTURED(type)) { |
| 97 | TEST_ASSERT(bits % 8 == 0); |
| 98 | } |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 99 | |
| 100 | /* MAX macros concerning specific key types */ |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 101 | if (PSA_KEY_TYPE_IS_ECC(type)) { |
| 102 | TEST_ASSERT(bits <= PSA_VENDOR_ECC_MAX_CURVE_BITS); |
| 103 | } else if (PSA_KEY_TYPE_IS_RSA(type)) { |
| 104 | TEST_ASSERT(bits <= PSA_VENDOR_RSA_MAX_KEY_BITS); |
| 105 | } |
| 106 | TEST_ASSERT(PSA_BLOCK_CIPHER_BLOCK_LENGTH(type) <= PSA_BLOCK_CIPHER_BLOCK_MAX_SIZE); |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 107 | |
| 108 | ok = 1; |
| 109 | |
| 110 | exit: |
| 111 | /* |
| 112 | * Key attributes may have been returned by psa_get_key_attributes() |
| 113 | * thus reset them as required. |
| 114 | */ |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 115 | psa_reset_key_attributes(&attributes); |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 116 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 117 | return ok; |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 118 | } |
| 119 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 120 | static int exercise_mac_key(mbedtls_svc_key_id_t key, |
| 121 | psa_key_usage_t usage, |
Ryan Everett | 7763550 | 2024-03-12 16:02:23 +0000 | [diff] [blame] | 122 | psa_algorithm_t alg, |
| 123 | int key_destroyable) |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 124 | { |
| 125 | psa_mac_operation_t operation = PSA_MAC_OPERATION_INIT; |
| 126 | const unsigned char input[] = "foo"; |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 127 | unsigned char mac[PSA_MAC_MAX_SIZE] = { 0 }; |
| 128 | size_t mac_length = sizeof(mac); |
Ryan Everett | 7763550 | 2024-03-12 16:02:23 +0000 | [diff] [blame] | 129 | psa_status_t status = PSA_SUCCESS; |
Steven Cooreman | fb9cb92 | 2021-02-23 14:37:38 +0100 | [diff] [blame] | 130 | /* Convert wildcard algorithm to exercisable algorithm */ |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 131 | if (alg & PSA_ALG_MAC_AT_LEAST_THIS_LENGTH_FLAG) { |
| 132 | alg = PSA_ALG_TRUNCATED_MAC(alg, PSA_MAC_TRUNCATED_LENGTH(alg)); |
Steven Cooreman | fb9cb92 | 2021-02-23 14:37:38 +0100 | [diff] [blame] | 133 | } |
| 134 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 135 | if (usage & PSA_KEY_USAGE_SIGN_HASH) { |
Ryan Everett | 7763550 | 2024-03-12 16:02:23 +0000 | [diff] [blame] | 136 | status = psa_mac_sign_setup(&operation, key, alg); |
| 137 | if (key_destroyable && status == PSA_ERROR_INVALID_HANDLE) { |
| 138 | /* The key has been destroyed. */ |
| 139 | PSA_ASSERT(psa_mac_abort(&operation)); |
| 140 | return 1; |
| 141 | } |
| 142 | PSA_ASSERT(status); |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 143 | PSA_ASSERT(psa_mac_update(&operation, |
| 144 | input, sizeof(input))); |
| 145 | PSA_ASSERT(psa_mac_sign_finish(&operation, |
| 146 | mac, sizeof(mac), |
| 147 | &mac_length)); |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 148 | } |
| 149 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 150 | if (usage & PSA_KEY_USAGE_VERIFY_HASH) { |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 151 | psa_status_t verify_status = |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 152 | (usage & PSA_KEY_USAGE_SIGN_HASH ? |
| 153 | PSA_SUCCESS : |
| 154 | PSA_ERROR_INVALID_SIGNATURE); |
Ryan Everett | 7763550 | 2024-03-12 16:02:23 +0000 | [diff] [blame] | 155 | status = psa_mac_verify_setup(&operation, key, alg); |
| 156 | if (key_destroyable && status == PSA_ERROR_INVALID_HANDLE) { |
| 157 | /* The key has been destroyed. */ |
| 158 | PSA_ASSERT(psa_mac_abort(&operation)); |
| 159 | return 1; |
| 160 | } |
| 161 | PSA_ASSERT(status); |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 162 | PSA_ASSERT(psa_mac_update(&operation, |
| 163 | input, sizeof(input))); |
| 164 | TEST_EQUAL(psa_mac_verify_finish(&operation, mac, mac_length), |
| 165 | verify_status); |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 166 | } |
| 167 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 168 | return 1; |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 169 | |
| 170 | exit: |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 171 | psa_mac_abort(&operation); |
| 172 | return 0; |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 173 | } |
| 174 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 175 | static int exercise_cipher_key(mbedtls_svc_key_id_t key, |
| 176 | psa_key_usage_t usage, |
Ryan Everett | 70691f3 | 2024-03-12 16:04:45 +0000 | [diff] [blame^] | 177 | psa_algorithm_t alg, |
| 178 | int key_destroyable) |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 179 | { |
| 180 | psa_cipher_operation_t operation = PSA_CIPHER_OPERATION_INIT; |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 181 | unsigned char iv[PSA_CIPHER_IV_MAX_SIZE] = { 0 }; |
Gilles Peskine | 5eef11a | 2022-04-21 11:14:30 +0200 | [diff] [blame] | 182 | size_t iv_length; |
Gilles Peskine | bbf452c | 2022-03-18 18:40:47 +0100 | [diff] [blame] | 183 | psa_key_attributes_t attributes = PSA_KEY_ATTRIBUTES_INIT; |
| 184 | psa_key_type_t key_type; |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 185 | const unsigned char plaintext[16] = "Hello, world..."; |
| 186 | unsigned char ciphertext[32] = "(wabblewebblewibblewobblewubble)"; |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 187 | size_t ciphertext_length = sizeof(ciphertext); |
| 188 | unsigned char decrypted[sizeof(ciphertext)]; |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 189 | size_t part_length; |
Ryan Everett | 70691f3 | 2024-03-12 16:04:45 +0000 | [diff] [blame^] | 190 | psa_status_t status = PSA_SUCCESS; |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 191 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 192 | PSA_ASSERT(psa_get_key_attributes(key, &attributes)); |
| 193 | key_type = psa_get_key_type(&attributes); |
| 194 | iv_length = PSA_CIPHER_IV_LENGTH(key_type, alg); |
Gilles Peskine | bbf452c | 2022-03-18 18:40:47 +0100 | [diff] [blame] | 195 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 196 | if (usage & PSA_KEY_USAGE_ENCRYPT) { |
Ryan Everett | 70691f3 | 2024-03-12 16:04:45 +0000 | [diff] [blame^] | 197 | status = psa_cipher_encrypt_setup(&operation, key, alg); |
| 198 | if (key_destroyable && status == PSA_ERROR_INVALID_HANDLE) { |
| 199 | /* The key has been destroyed. */ |
| 200 | PSA_ASSERT(psa_cipher_abort(&operation)); |
| 201 | return 1; |
| 202 | } |
| 203 | PSA_ASSERT(status); |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 204 | if (iv_length != 0) { |
| 205 | PSA_ASSERT(psa_cipher_generate_iv(&operation, |
| 206 | iv, sizeof(iv), |
| 207 | &iv_length)); |
Gilles Peskine | bbf452c | 2022-03-18 18:40:47 +0100 | [diff] [blame] | 208 | } |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 209 | PSA_ASSERT(psa_cipher_update(&operation, |
| 210 | plaintext, sizeof(plaintext), |
| 211 | ciphertext, sizeof(ciphertext), |
| 212 | &ciphertext_length)); |
| 213 | PSA_ASSERT(psa_cipher_finish(&operation, |
| 214 | ciphertext + ciphertext_length, |
| 215 | sizeof(ciphertext) - ciphertext_length, |
| 216 | &part_length)); |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 217 | ciphertext_length += part_length; |
| 218 | } |
| 219 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 220 | if (usage & PSA_KEY_USAGE_DECRYPT) { |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 221 | int maybe_invalid_padding = 0; |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 222 | if (!(usage & PSA_KEY_USAGE_ENCRYPT)) { |
| 223 | maybe_invalid_padding = !PSA_ALG_IS_STREAM_CIPHER(alg); |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 224 | } |
Ryan Everett | 70691f3 | 2024-03-12 16:04:45 +0000 | [diff] [blame^] | 225 | status = psa_cipher_decrypt_setup(&operation, key, alg); |
| 226 | if (key_destroyable && status == PSA_ERROR_INVALID_HANDLE) { |
| 227 | /* The key has been destroyed. */ |
| 228 | PSA_ASSERT(psa_cipher_abort(&operation)); |
| 229 | return 1; |
| 230 | } |
| 231 | PSA_ASSERT(status); |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 232 | if (iv_length != 0) { |
| 233 | PSA_ASSERT(psa_cipher_set_iv(&operation, |
| 234 | iv, iv_length)); |
Gilles Peskine | bbf452c | 2022-03-18 18:40:47 +0100 | [diff] [blame] | 235 | } |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 236 | PSA_ASSERT(psa_cipher_update(&operation, |
| 237 | ciphertext, ciphertext_length, |
| 238 | decrypted, sizeof(decrypted), |
| 239 | &part_length)); |
| 240 | status = psa_cipher_finish(&operation, |
| 241 | decrypted + part_length, |
| 242 | sizeof(decrypted) - part_length, |
| 243 | &part_length); |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 244 | /* For a stream cipher, all inputs are valid. For a block cipher, |
Shaun Case | 8b0ecbc | 2021-12-20 21:14:10 -0800 | [diff] [blame] | 245 | * if the input is some arbitrary data rather than an actual |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 246 | ciphertext, a padding error is likely. */ |
| 247 | if (maybe_invalid_padding) { |
| 248 | TEST_ASSERT(status == PSA_SUCCESS || |
| 249 | status == PSA_ERROR_INVALID_PADDING); |
| 250 | } else { |
| 251 | PSA_ASSERT(status); |
| 252 | } |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 253 | } |
| 254 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 255 | return 1; |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 256 | |
| 257 | exit: |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 258 | psa_cipher_abort(&operation); |
| 259 | psa_reset_key_attributes(&attributes); |
| 260 | return 0; |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 261 | } |
| 262 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 263 | static int exercise_aead_key(mbedtls_svc_key_id_t key, |
| 264 | psa_key_usage_t usage, |
| 265 | psa_algorithm_t alg) |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 266 | { |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 267 | unsigned char nonce[PSA_AEAD_NONCE_MAX_SIZE] = { 0 }; |
Gilles Peskine | 7acb198 | 2022-03-19 11:03:32 +0100 | [diff] [blame] | 268 | size_t nonce_length; |
| 269 | psa_key_attributes_t attributes = PSA_KEY_ATTRIBUTES_INIT; |
| 270 | psa_key_type_t key_type; |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 271 | unsigned char plaintext[16] = "Hello, world..."; |
| 272 | unsigned char ciphertext[48] = "(wabblewebblewibblewobblewubble)"; |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 273 | size_t ciphertext_length = sizeof(ciphertext); |
| 274 | size_t plaintext_length = sizeof(ciphertext); |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 275 | |
Steven Cooreman | fb9cb92 | 2021-02-23 14:37:38 +0100 | [diff] [blame] | 276 | /* Convert wildcard algorithm to exercisable algorithm */ |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 277 | if (alg & PSA_ALG_AEAD_AT_LEAST_THIS_LENGTH_FLAG) { |
| 278 | alg = PSA_ALG_AEAD_WITH_SHORTENED_TAG(alg, PSA_ALG_AEAD_GET_TAG_LENGTH(alg)); |
Steven Cooreman | fb9cb92 | 2021-02-23 14:37:38 +0100 | [diff] [blame] | 279 | } |
| 280 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 281 | PSA_ASSERT(psa_get_key_attributes(key, &attributes)); |
| 282 | key_type = psa_get_key_type(&attributes); |
| 283 | nonce_length = PSA_AEAD_NONCE_LENGTH(key_type, alg); |
Steven Cooreman | aaec341 | 2021-02-18 13:30:34 +0100 | [diff] [blame] | 284 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 285 | if (usage & PSA_KEY_USAGE_ENCRYPT) { |
| 286 | PSA_ASSERT(psa_aead_encrypt(key, alg, |
| 287 | nonce, nonce_length, |
| 288 | NULL, 0, |
| 289 | plaintext, sizeof(plaintext), |
| 290 | ciphertext, sizeof(ciphertext), |
| 291 | &ciphertext_length)); |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 292 | } |
| 293 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 294 | if (usage & PSA_KEY_USAGE_DECRYPT) { |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 295 | psa_status_t verify_status = |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 296 | (usage & PSA_KEY_USAGE_ENCRYPT ? |
| 297 | PSA_SUCCESS : |
| 298 | PSA_ERROR_INVALID_SIGNATURE); |
| 299 | TEST_EQUAL(psa_aead_decrypt(key, alg, |
| 300 | nonce, nonce_length, |
| 301 | NULL, 0, |
| 302 | ciphertext, ciphertext_length, |
| 303 | plaintext, sizeof(plaintext), |
| 304 | &plaintext_length), |
| 305 | verify_status); |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 306 | } |
| 307 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 308 | return 1; |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 309 | |
| 310 | exit: |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 311 | psa_reset_key_attributes(&attributes); |
| 312 | return 0; |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 313 | } |
| 314 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 315 | static int can_sign_or_verify_message(psa_key_usage_t usage, |
| 316 | psa_algorithm_t alg) |
Gilles Peskine | d586b82 | 2022-03-19 11:15:41 +0100 | [diff] [blame] | 317 | { |
| 318 | /* Sign-the-unspecified-hash algorithms can only be used with |
| 319 | * {sign,verify}_hash, not with {sign,verify}_message. */ |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 320 | if (alg == PSA_ALG_ECDSA_ANY || alg == PSA_ALG_RSA_PKCS1V15_SIGN_RAW) { |
| 321 | return 0; |
| 322 | } |
| 323 | return usage & (PSA_KEY_USAGE_SIGN_MESSAGE | |
| 324 | PSA_KEY_USAGE_VERIFY_MESSAGE); |
Gilles Peskine | d586b82 | 2022-03-19 11:15:41 +0100 | [diff] [blame] | 325 | } |
| 326 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 327 | static int exercise_signature_key(mbedtls_svc_key_id_t key, |
| 328 | psa_key_usage_t usage, |
| 329 | psa_algorithm_t alg) |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 330 | { |
Gilles Peskine | 4781bd9 | 2024-02-09 17:32:45 +0100 | [diff] [blame] | 331 | /* If the policy allows signing with any hash, just pick one. */ |
| 332 | psa_algorithm_t hash_alg = PSA_ALG_SIGN_GET_HASH(alg); |
| 333 | if (PSA_ALG_IS_SIGN_HASH(alg) && hash_alg == PSA_ALG_ANY_HASH && |
| 334 | usage & (PSA_KEY_USAGE_SIGN_HASH | PSA_KEY_USAGE_VERIFY_HASH | |
| 335 | PSA_KEY_USAGE_SIGN_MESSAGE | PSA_KEY_USAGE_VERIFY_MESSAGE)) { |
| 336 | #if defined(KNOWN_SUPPORTED_HASH_ALG) |
| 337 | hash_alg = KNOWN_SUPPORTED_HASH_ALG; |
| 338 | alg ^= PSA_ALG_ANY_HASH ^ hash_alg; |
| 339 | #else |
| 340 | TEST_FAIL("No hash algorithm for hash-and-sign testing"); |
| 341 | #endif |
| 342 | } |
| 343 | |
oberon-sk | f7a824b | 2023-02-15 19:43:30 +0100 | [diff] [blame] | 344 | if (usage & (PSA_KEY_USAGE_SIGN_HASH | PSA_KEY_USAGE_VERIFY_HASH) && |
| 345 | PSA_ALG_IS_SIGN_HASH(alg)) { |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 346 | unsigned char payload[PSA_HASH_MAX_SIZE] = { 1 }; |
gabor-mezei-arm | 4c6a47a | 2021-04-26 20:12:17 +0200 | [diff] [blame] | 347 | size_t payload_length = 16; |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 348 | unsigned char signature[PSA_SIGNATURE_MAX_SIZE] = { 0 }; |
| 349 | size_t signature_length = sizeof(signature); |
gabor-mezei-arm | 4c6a47a | 2021-04-26 20:12:17 +0200 | [diff] [blame] | 350 | |
Janos Follath | 4c0b60e | 2021-06-14 12:34:30 +0100 | [diff] [blame] | 351 | /* Some algorithms require the payload to have the size of |
| 352 | * the hash encoded in the algorithm. Use this input size |
| 353 | * even for algorithms that allow other input sizes. */ |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 354 | if (hash_alg != 0) { |
| 355 | payload_length = PSA_HASH_LENGTH(hash_alg); |
| 356 | } |
Janos Follath | 4c0b60e | 2021-06-14 12:34:30 +0100 | [diff] [blame] | 357 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 358 | if (usage & PSA_KEY_USAGE_SIGN_HASH) { |
| 359 | PSA_ASSERT(psa_sign_hash(key, alg, |
| 360 | payload, payload_length, |
| 361 | signature, sizeof(signature), |
| 362 | &signature_length)); |
| 363 | } |
| 364 | |
| 365 | if (usage & PSA_KEY_USAGE_VERIFY_HASH) { |
| 366 | psa_status_t verify_status = |
| 367 | (usage & PSA_KEY_USAGE_SIGN_HASH ? |
| 368 | PSA_SUCCESS : |
| 369 | PSA_ERROR_INVALID_SIGNATURE); |
| 370 | TEST_EQUAL(psa_verify_hash(key, alg, |
gabor-mezei-arm | 4c6a47a | 2021-04-26 20:12:17 +0200 | [diff] [blame] | 371 | payload, payload_length, |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 372 | signature, signature_length), |
| 373 | verify_status); |
gabor-mezei-arm | 4c6a47a | 2021-04-26 20:12:17 +0200 | [diff] [blame] | 374 | } |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 375 | } |
| 376 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 377 | if (can_sign_or_verify_message(usage, alg)) { |
gabor-mezei-arm | 4c6a47a | 2021-04-26 20:12:17 +0200 | [diff] [blame] | 378 | unsigned char message[256] = "Hello, world..."; |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 379 | unsigned char signature[PSA_SIGNATURE_MAX_SIZE] = { 0 }; |
gabor-mezei-arm | 4c6a47a | 2021-04-26 20:12:17 +0200 | [diff] [blame] | 380 | size_t message_length = 16; |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 381 | size_t signature_length = sizeof(signature); |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 382 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 383 | if (usage & PSA_KEY_USAGE_SIGN_MESSAGE) { |
| 384 | PSA_ASSERT(psa_sign_message(key, alg, |
| 385 | message, message_length, |
| 386 | signature, sizeof(signature), |
| 387 | &signature_length)); |
gabor-mezei-arm | 4c6a47a | 2021-04-26 20:12:17 +0200 | [diff] [blame] | 388 | } |
| 389 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 390 | if (usage & PSA_KEY_USAGE_VERIFY_MESSAGE) { |
gabor-mezei-arm | 4c6a47a | 2021-04-26 20:12:17 +0200 | [diff] [blame] | 391 | psa_status_t verify_status = |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 392 | (usage & PSA_KEY_USAGE_SIGN_MESSAGE ? |
| 393 | PSA_SUCCESS : |
| 394 | PSA_ERROR_INVALID_SIGNATURE); |
| 395 | TEST_EQUAL(psa_verify_message(key, alg, |
| 396 | message, message_length, |
| 397 | signature, signature_length), |
| 398 | verify_status); |
gabor-mezei-arm | 4c6a47a | 2021-04-26 20:12:17 +0200 | [diff] [blame] | 399 | } |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 400 | } |
| 401 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 402 | return 1; |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 403 | |
| 404 | exit: |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 405 | return 0; |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 406 | } |
| 407 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 408 | static int exercise_asymmetric_encryption_key(mbedtls_svc_key_id_t key, |
| 409 | psa_key_usage_t usage, |
| 410 | psa_algorithm_t alg) |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 411 | { |
Gilles Peskine | f50cd59 | 2024-02-15 13:13:26 +0100 | [diff] [blame] | 412 | unsigned char plaintext[PSA_ASYMMETRIC_DECRYPT_OUTPUT_MAX_SIZE] = |
Gilles Peskine | fdb809e | 2024-02-09 19:22:30 +0100 | [diff] [blame] | 413 | "Hello, world..."; |
Gilles Peskine | f50cd59 | 2024-02-15 13:13:26 +0100 | [diff] [blame] | 414 | unsigned char ciphertext[PSA_ASYMMETRIC_ENCRYPT_OUTPUT_MAX_SIZE] = |
Gilles Peskine | fdb809e | 2024-02-09 19:22:30 +0100 | [diff] [blame] | 415 | "(wabblewebblewibblewobblewubble)"; |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 416 | size_t ciphertext_length = sizeof(ciphertext); |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 417 | size_t plaintext_length = 16; |
| 418 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 419 | if (usage & PSA_KEY_USAGE_ENCRYPT) { |
| 420 | PSA_ASSERT(psa_asymmetric_encrypt(key, alg, |
| 421 | plaintext, plaintext_length, |
| 422 | NULL, 0, |
| 423 | ciphertext, sizeof(ciphertext), |
| 424 | &ciphertext_length)); |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 425 | } |
| 426 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 427 | if (usage & PSA_KEY_USAGE_DECRYPT) { |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 428 | psa_status_t status = |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 429 | psa_asymmetric_decrypt(key, alg, |
| 430 | ciphertext, ciphertext_length, |
| 431 | NULL, 0, |
| 432 | plaintext, sizeof(plaintext), |
| 433 | &plaintext_length); |
| 434 | TEST_ASSERT(status == PSA_SUCCESS || |
| 435 | ((usage & PSA_KEY_USAGE_ENCRYPT) == 0 && |
| 436 | (status == PSA_ERROR_INVALID_ARGUMENT || |
| 437 | status == PSA_ERROR_INVALID_PADDING))); |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 438 | } |
| 439 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 440 | return 1; |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 441 | |
| 442 | exit: |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 443 | return 0; |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 444 | } |
| 445 | |
| 446 | int mbedtls_test_psa_setup_key_derivation_wrap( |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 447 | psa_key_derivation_operation_t *operation, |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 448 | mbedtls_svc_key_id_t key, |
| 449 | psa_algorithm_t alg, |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 450 | const unsigned char *input1, size_t input1_length, |
| 451 | const unsigned char *input2, size_t input2_length, |
| 452 | size_t capacity) |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 453 | { |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 454 | PSA_ASSERT(psa_key_derivation_setup(operation, alg)); |
| 455 | if (PSA_ALG_IS_HKDF(alg)) { |
| 456 | PSA_ASSERT(psa_key_derivation_input_bytes(operation, |
| 457 | PSA_KEY_DERIVATION_INPUT_SALT, |
| 458 | input1, input1_length)); |
| 459 | PSA_ASSERT(psa_key_derivation_input_key(operation, |
| 460 | PSA_KEY_DERIVATION_INPUT_SECRET, |
| 461 | key)); |
| 462 | PSA_ASSERT(psa_key_derivation_input_bytes(operation, |
| 463 | PSA_KEY_DERIVATION_INPUT_INFO, |
| 464 | input2, |
| 465 | input2_length)); |
Kusumit Ghoderao | 2c4264b | 2023-12-01 16:41:26 +0530 | [diff] [blame] | 466 | } else if (PSA_ALG_IS_HKDF_EXTRACT(alg)) { |
| 467 | PSA_ASSERT(psa_key_derivation_input_bytes(operation, |
| 468 | PSA_KEY_DERIVATION_INPUT_SALT, |
| 469 | input1, input1_length)); |
| 470 | PSA_ASSERT(psa_key_derivation_input_key(operation, |
| 471 | PSA_KEY_DERIVATION_INPUT_SECRET, |
| 472 | key)); |
| 473 | } else if (PSA_ALG_IS_HKDF_EXPAND(alg)) { |
| 474 | PSA_ASSERT(psa_key_derivation_input_key(operation, |
| 475 | PSA_KEY_DERIVATION_INPUT_SECRET, |
| 476 | key)); |
| 477 | PSA_ASSERT(psa_key_derivation_input_bytes(operation, |
| 478 | PSA_KEY_DERIVATION_INPUT_INFO, |
| 479 | input2, |
| 480 | input2_length)); |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 481 | } else if (PSA_ALG_IS_TLS12_PRF(alg) || |
| 482 | PSA_ALG_IS_TLS12_PSK_TO_MS(alg)) { |
| 483 | PSA_ASSERT(psa_key_derivation_input_bytes(operation, |
| 484 | PSA_KEY_DERIVATION_INPUT_SEED, |
| 485 | input1, input1_length)); |
| 486 | PSA_ASSERT(psa_key_derivation_input_key(operation, |
| 487 | PSA_KEY_DERIVATION_INPUT_SECRET, |
| 488 | key)); |
| 489 | PSA_ASSERT(psa_key_derivation_input_bytes(operation, |
| 490 | PSA_KEY_DERIVATION_INPUT_LABEL, |
| 491 | input2, input2_length)); |
Kusumit Ghoderao | ac7a04a | 2023-08-18 13:47:47 +0530 | [diff] [blame] | 492 | } else if (PSA_ALG_IS_PBKDF2(alg)) { |
Kusumit Ghoderao | ac7a04a | 2023-08-18 13:47:47 +0530 | [diff] [blame] | 493 | PSA_ASSERT(psa_key_derivation_input_integer(operation, |
| 494 | PSA_KEY_DERIVATION_INPUT_COST, |
Kusumit Ghoderao | 94d3190 | 2023-09-05 19:30:22 +0530 | [diff] [blame] | 495 | 1U)); |
Kusumit Ghoderao | ac7a04a | 2023-08-18 13:47:47 +0530 | [diff] [blame] | 496 | PSA_ASSERT(psa_key_derivation_input_bytes(operation, |
| 497 | PSA_KEY_DERIVATION_INPUT_SALT, |
| 498 | input2, |
| 499 | input2_length)); |
| 500 | PSA_ASSERT(psa_key_derivation_input_key(operation, |
| 501 | PSA_KEY_DERIVATION_INPUT_PASSWORD, |
| 502 | key)); |
Kusumit Ghoderao | 2c4264b | 2023-12-01 16:41:26 +0530 | [diff] [blame] | 503 | } else if (alg == PSA_ALG_TLS12_ECJPAKE_TO_PMS) { |
| 504 | PSA_ASSERT(psa_key_derivation_input_bytes(operation, |
| 505 | PSA_KEY_DERIVATION_INPUT_SECRET, |
| 506 | input1, input1_length)); |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 507 | } else { |
Agathiyan Bragadeesh | dc28a5a | 2023-07-18 11:45:28 +0100 | [diff] [blame] | 508 | TEST_FAIL("Key derivation algorithm not supported"); |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 509 | } |
| 510 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 511 | if (capacity != SIZE_MAX) { |
| 512 | PSA_ASSERT(psa_key_derivation_set_capacity(operation, capacity)); |
| 513 | } |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 514 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 515 | return 1; |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 516 | |
| 517 | exit: |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 518 | return 0; |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 519 | } |
| 520 | |
| 521 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 522 | static int exercise_key_derivation_key(mbedtls_svc_key_id_t key, |
| 523 | psa_key_usage_t usage, |
| 524 | psa_algorithm_t alg) |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 525 | { |
| 526 | psa_key_derivation_operation_t operation = PSA_KEY_DERIVATION_OPERATION_INIT; |
| 527 | unsigned char input1[] = "Input 1"; |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 528 | size_t input1_length = sizeof(input1); |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 529 | unsigned char input2[] = "Input 2"; |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 530 | size_t input2_length = sizeof(input2); |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 531 | unsigned char output[1]; |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 532 | size_t capacity = sizeof(output); |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 533 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 534 | if (usage & PSA_KEY_USAGE_DERIVE) { |
| 535 | if (!mbedtls_test_psa_setup_key_derivation_wrap(&operation, key, alg, |
| 536 | input1, input1_length, |
| 537 | input2, input2_length, |
| 538 | capacity)) { |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 539 | goto exit; |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 540 | } |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 541 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 542 | PSA_ASSERT(psa_key_derivation_output_bytes(&operation, |
| 543 | output, |
| 544 | capacity)); |
| 545 | PSA_ASSERT(psa_key_derivation_abort(&operation)); |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 546 | } |
| 547 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 548 | return 1; |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 549 | |
| 550 | exit: |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 551 | return 0; |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 552 | } |
| 553 | |
| 554 | /* We need two keys to exercise key agreement. Exercise the |
| 555 | * private key against its own public key. */ |
| 556 | psa_status_t mbedtls_test_psa_key_agreement_with_self( |
| 557 | psa_key_derivation_operation_t *operation, |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 558 | mbedtls_svc_key_id_t key) |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 559 | { |
| 560 | psa_key_type_t private_key_type; |
| 561 | psa_key_type_t public_key_type; |
| 562 | size_t key_bits; |
| 563 | uint8_t *public_key = NULL; |
| 564 | size_t public_key_length; |
| 565 | /* Return GENERIC_ERROR if something other than the final call to |
| 566 | * psa_key_derivation_key_agreement fails. This isn't fully satisfactory, |
| 567 | * but it's good enough: callers will report it as a failed test anyway. */ |
| 568 | psa_status_t status = PSA_ERROR_GENERIC_ERROR; |
| 569 | psa_key_attributes_t attributes = PSA_KEY_ATTRIBUTES_INIT; |
| 570 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 571 | PSA_ASSERT(psa_get_key_attributes(key, &attributes)); |
| 572 | private_key_type = psa_get_key_type(&attributes); |
| 573 | key_bits = psa_get_key_bits(&attributes); |
| 574 | public_key_type = PSA_KEY_TYPE_PUBLIC_KEY_OF_KEY_PAIR(private_key_type); |
| 575 | public_key_length = PSA_EXPORT_PUBLIC_KEY_OUTPUT_SIZE(public_key_type, key_bits); |
Tom Cosgrove | 05b2a87 | 2023-07-21 11:31:13 +0100 | [diff] [blame] | 576 | TEST_CALLOC(public_key, public_key_length); |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 577 | PSA_ASSERT(psa_export_public_key(key, public_key, public_key_length, |
| 578 | &public_key_length)); |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 579 | |
| 580 | status = psa_key_derivation_key_agreement( |
| 581 | operation, PSA_KEY_DERIVATION_INPUT_SECRET, key, |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 582 | public_key, public_key_length); |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 583 | exit: |
| 584 | /* |
| 585 | * Key attributes may have been returned by psa_get_key_attributes() |
| 586 | * thus reset them as required. |
| 587 | */ |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 588 | psa_reset_key_attributes(&attributes); |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 589 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 590 | mbedtls_free(public_key); |
| 591 | return status; |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 592 | } |
| 593 | |
| 594 | /* We need two keys to exercise key agreement. Exercise the |
| 595 | * private key against its own public key. */ |
| 596 | psa_status_t mbedtls_test_psa_raw_key_agreement_with_self( |
| 597 | psa_algorithm_t alg, |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 598 | mbedtls_svc_key_id_t key) |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 599 | { |
| 600 | psa_key_type_t private_key_type; |
| 601 | psa_key_type_t public_key_type; |
| 602 | size_t key_bits; |
| 603 | uint8_t *public_key = NULL; |
| 604 | size_t public_key_length; |
| 605 | uint8_t output[1024]; |
| 606 | size_t output_length; |
| 607 | /* Return GENERIC_ERROR if something other than the final call to |
| 608 | * psa_key_derivation_key_agreement fails. This isn't fully satisfactory, |
| 609 | * but it's good enough: callers will report it as a failed test anyway. */ |
| 610 | psa_status_t status = PSA_ERROR_GENERIC_ERROR; |
| 611 | psa_key_attributes_t attributes = PSA_KEY_ATTRIBUTES_INIT; |
| 612 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 613 | PSA_ASSERT(psa_get_key_attributes(key, &attributes)); |
| 614 | private_key_type = psa_get_key_type(&attributes); |
| 615 | key_bits = psa_get_key_bits(&attributes); |
| 616 | public_key_type = PSA_KEY_TYPE_PUBLIC_KEY_OF_KEY_PAIR(private_key_type); |
| 617 | public_key_length = PSA_EXPORT_PUBLIC_KEY_OUTPUT_SIZE(public_key_type, key_bits); |
Tom Cosgrove | 05b2a87 | 2023-07-21 11:31:13 +0100 | [diff] [blame] | 618 | TEST_CALLOC(public_key, public_key_length); |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 619 | PSA_ASSERT(psa_export_public_key(key, |
| 620 | public_key, public_key_length, |
| 621 | &public_key_length)); |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 622 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 623 | status = psa_raw_key_agreement(alg, key, |
| 624 | public_key, public_key_length, |
| 625 | output, sizeof(output), &output_length); |
| 626 | if (status == PSA_SUCCESS) { |
| 627 | TEST_ASSERT(output_length <= |
| 628 | PSA_RAW_KEY_AGREEMENT_OUTPUT_SIZE(private_key_type, |
| 629 | key_bits)); |
| 630 | TEST_ASSERT(output_length <= |
| 631 | PSA_RAW_KEY_AGREEMENT_OUTPUT_MAX_SIZE); |
gabor-mezei-arm | ceface2 | 2021-01-21 12:26:17 +0100 | [diff] [blame] | 632 | } |
| 633 | |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 634 | exit: |
| 635 | /* |
| 636 | * Key attributes may have been returned by psa_get_key_attributes() |
| 637 | * thus reset them as required. |
| 638 | */ |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 639 | psa_reset_key_attributes(&attributes); |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 640 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 641 | mbedtls_free(public_key); |
| 642 | return status; |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 643 | } |
| 644 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 645 | static int exercise_raw_key_agreement_key(mbedtls_svc_key_id_t key, |
| 646 | psa_key_usage_t usage, |
| 647 | psa_algorithm_t alg) |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 648 | { |
| 649 | int ok = 0; |
| 650 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 651 | if (usage & PSA_KEY_USAGE_DERIVE) { |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 652 | /* We need two keys to exercise key agreement. Exercise the |
| 653 | * private key against its own public key. */ |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 654 | PSA_ASSERT(mbedtls_test_psa_raw_key_agreement_with_self(alg, key)); |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 655 | } |
| 656 | ok = 1; |
| 657 | |
| 658 | exit: |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 659 | return ok; |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 660 | } |
| 661 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 662 | static int exercise_key_agreement_key(mbedtls_svc_key_id_t key, |
| 663 | psa_key_usage_t usage, |
| 664 | psa_algorithm_t alg) |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 665 | { |
| 666 | psa_key_derivation_operation_t operation = PSA_KEY_DERIVATION_OPERATION_INIT; |
Gabor Mezei | dc3f3bb | 2022-07-01 15:06:34 +0200 | [diff] [blame] | 667 | unsigned char input[1] = { 0 }; |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 668 | unsigned char output[1]; |
| 669 | int ok = 0; |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 670 | psa_algorithm_t kdf_alg = PSA_ALG_KEY_AGREEMENT_GET_KDF(alg); |
Przemek Stekiel | 6c9fd61 | 2022-06-14 14:41:42 +0200 | [diff] [blame] | 671 | psa_status_t expected_key_agreement_status = PSA_SUCCESS; |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 672 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 673 | if (usage & PSA_KEY_USAGE_DERIVE) { |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 674 | /* We need two keys to exercise key agreement. Exercise the |
| 675 | * private key against its own public key. */ |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 676 | PSA_ASSERT(psa_key_derivation_setup(&operation, alg)); |
| 677 | if (PSA_ALG_IS_TLS12_PRF(kdf_alg) || |
| 678 | PSA_ALG_IS_TLS12_PSK_TO_MS(kdf_alg)) { |
| 679 | PSA_ASSERT(psa_key_derivation_input_bytes( |
| 680 | &operation, PSA_KEY_DERIVATION_INPUT_SEED, |
| 681 | input, sizeof(input))); |
Gilles Peskine | aa3449d | 2022-03-19 16:04:30 +0100 | [diff] [blame] | 682 | } |
| 683 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 684 | if (PSA_ALG_IS_HKDF_EXTRACT(kdf_alg)) { |
| 685 | PSA_ASSERT(psa_key_derivation_input_bytes( |
| 686 | &operation, PSA_KEY_DERIVATION_INPUT_SALT, |
| 687 | input, sizeof(input))); |
Przemek Stekiel | d898745 | 2022-06-14 11:41:52 +0200 | [diff] [blame] | 688 | } |
| 689 | |
Przemek Stekiel | 6c9fd61 | 2022-06-14 14:41:42 +0200 | [diff] [blame] | 690 | /* For HKDF_EXPAND input secret may fail as secret size may not match |
| 691 | to expected PRK size. In practice it means that key bits must match |
| 692 | hash length. Otherwise test should fail with INVALID_ARGUMENT. */ |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 693 | if (PSA_ALG_IS_HKDF_EXPAND(kdf_alg)) { |
Przemek Stekiel | 6c9fd61 | 2022-06-14 14:41:42 +0200 | [diff] [blame] | 694 | psa_key_attributes_t attributes = PSA_KEY_ATTRIBUTES_INIT; |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 695 | PSA_ASSERT(psa_get_key_attributes(key, &attributes)); |
| 696 | size_t key_bits = psa_get_key_bits(&attributes); |
| 697 | psa_algorithm_t hash_alg = PSA_ALG_HKDF_GET_HASH(kdf_alg); |
Przemek Stekiel | 6c9fd61 | 2022-06-14 14:41:42 +0200 | [diff] [blame] | 698 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 699 | if (PSA_BITS_TO_BYTES(key_bits) != PSA_HASH_LENGTH(hash_alg)) { |
Przemek Stekiel | 6c9fd61 | 2022-06-14 14:41:42 +0200 | [diff] [blame] | 700 | expected_key_agreement_status = PSA_ERROR_INVALID_ARGUMENT; |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 701 | } |
Przemek Stekiel | 6c9fd61 | 2022-06-14 14:41:42 +0200 | [diff] [blame] | 702 | } |
| 703 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 704 | TEST_EQUAL(mbedtls_test_psa_key_agreement_with_self(&operation, key), |
| 705 | expected_key_agreement_status); |
Przemek Stekiel | 6c9fd61 | 2022-06-14 14:41:42 +0200 | [diff] [blame] | 706 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 707 | if (expected_key_agreement_status != PSA_SUCCESS) { |
| 708 | return 1; |
| 709 | } |
Gilles Peskine | aa3449d | 2022-03-19 16:04:30 +0100 | [diff] [blame] | 710 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 711 | if (PSA_ALG_IS_TLS12_PRF(kdf_alg) || |
| 712 | PSA_ALG_IS_TLS12_PSK_TO_MS(kdf_alg)) { |
| 713 | PSA_ASSERT(psa_key_derivation_input_bytes( |
| 714 | &operation, PSA_KEY_DERIVATION_INPUT_LABEL, |
| 715 | input, sizeof(input))); |
| 716 | } else if (PSA_ALG_IS_HKDF(kdf_alg) || PSA_ALG_IS_HKDF_EXPAND(kdf_alg)) { |
| 717 | PSA_ASSERT(psa_key_derivation_input_bytes( |
| 718 | &operation, PSA_KEY_DERIVATION_INPUT_INFO, |
| 719 | input, sizeof(input))); |
Gilles Peskine | aa3449d | 2022-03-19 16:04:30 +0100 | [diff] [blame] | 720 | } |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 721 | PSA_ASSERT(psa_key_derivation_output_bytes(&operation, |
| 722 | output, |
| 723 | sizeof(output))); |
| 724 | PSA_ASSERT(psa_key_derivation_abort(&operation)); |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 725 | } |
| 726 | ok = 1; |
| 727 | |
| 728 | exit: |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 729 | return ok; |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 730 | } |
| 731 | |
| 732 | int mbedtls_test_psa_exported_key_sanity_check( |
| 733 | psa_key_type_t type, size_t bits, |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 734 | const uint8_t *exported, size_t exported_length) |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 735 | { |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 736 | TEST_ASSERT(exported_length <= PSA_EXPORT_KEY_OUTPUT_SIZE(type, bits)); |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 737 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 738 | if (PSA_KEY_TYPE_IS_UNSTRUCTURED(type)) { |
| 739 | TEST_EQUAL(exported_length, PSA_BITS_TO_BYTES(bits)); |
| 740 | } else |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 741 | |
Ronald Cron | 64df738 | 2021-07-06 09:23:06 +0200 | [diff] [blame] | 742 | #if defined(MBEDTLS_ASN1_PARSE_C) |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 743 | if (type == PSA_KEY_TYPE_RSA_KEY_PAIR) { |
| 744 | uint8_t *p = (uint8_t *) exported; |
Gilles Peskine | 5c2665b | 2021-02-14 01:22:56 +0100 | [diff] [blame] | 745 | const uint8_t *end = exported + exported_length; |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 746 | size_t len; |
| 747 | /* RSAPrivateKey ::= SEQUENCE { |
| 748 | * version INTEGER, -- must be 0 |
| 749 | * modulus INTEGER, -- n |
| 750 | * publicExponent INTEGER, -- e |
| 751 | * privateExponent INTEGER, -- d |
| 752 | * prime1 INTEGER, -- p |
| 753 | * prime2 INTEGER, -- q |
| 754 | * exponent1 INTEGER, -- d mod (p-1) |
| 755 | * exponent2 INTEGER, -- d mod (q-1) |
| 756 | * coefficient INTEGER, -- (inverse of q) mod p |
| 757 | * } |
| 758 | */ |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 759 | TEST_EQUAL(mbedtls_asn1_get_tag(&p, end, &len, |
| 760 | MBEDTLS_ASN1_SEQUENCE | |
| 761 | MBEDTLS_ASN1_CONSTRUCTED), 0); |
| 762 | TEST_EQUAL(len, end - p); |
| 763 | if (!mbedtls_test_asn1_skip_integer(&p, end, 0, 0, 0)) { |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 764 | goto exit; |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 765 | } |
| 766 | if (!mbedtls_test_asn1_skip_integer(&p, end, bits, bits, 1)) { |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 767 | goto exit; |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 768 | } |
| 769 | if (!mbedtls_test_asn1_skip_integer(&p, end, 2, bits, 1)) { |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 770 | goto exit; |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 771 | } |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 772 | /* Require d to be at least half the size of n. */ |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 773 | if (!mbedtls_test_asn1_skip_integer(&p, end, bits / 2, bits, 1)) { |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 774 | goto exit; |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 775 | } |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 776 | /* Require p and q to be at most half the size of n, rounded up. */ |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 777 | if (!mbedtls_test_asn1_skip_integer(&p, end, bits / 2, bits / 2 + 1, 1)) { |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 778 | goto exit; |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 779 | } |
| 780 | if (!mbedtls_test_asn1_skip_integer(&p, end, bits / 2, bits / 2 + 1, 1)) { |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 781 | goto exit; |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 782 | } |
| 783 | if (!mbedtls_test_asn1_skip_integer(&p, end, 1, bits / 2 + 1, 0)) { |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 784 | goto exit; |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 785 | } |
| 786 | if (!mbedtls_test_asn1_skip_integer(&p, end, 1, bits / 2 + 1, 0)) { |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 787 | goto exit; |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 788 | } |
| 789 | if (!mbedtls_test_asn1_skip_integer(&p, end, 1, bits / 2 + 1, 0)) { |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 790 | goto exit; |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 791 | } |
| 792 | TEST_EQUAL(p - end, 0); |
gabor-mezei-arm | ceface2 | 2021-01-21 12:26:17 +0100 | [diff] [blame] | 793 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 794 | TEST_ASSERT(exported_length <= PSA_EXPORT_KEY_PAIR_MAX_SIZE); |
| 795 | } else |
Ronald Cron | 64df738 | 2021-07-06 09:23:06 +0200 | [diff] [blame] | 796 | #endif /* MBEDTLS_ASN1_PARSE_C */ |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 797 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 798 | if (PSA_KEY_TYPE_IS_ECC_KEY_PAIR(type)) { |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 799 | /* Just the secret value */ |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 800 | TEST_EQUAL(exported_length, PSA_BITS_TO_BYTES(bits)); |
gabor-mezei-arm | ceface2 | 2021-01-21 12:26:17 +0100 | [diff] [blame] | 801 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 802 | TEST_ASSERT(exported_length <= PSA_EXPORT_KEY_PAIR_MAX_SIZE); |
| 803 | } else |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 804 | |
Ronald Cron | 64df738 | 2021-07-06 09:23:06 +0200 | [diff] [blame] | 805 | #if defined(MBEDTLS_ASN1_PARSE_C) |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 806 | if (type == PSA_KEY_TYPE_RSA_PUBLIC_KEY) { |
| 807 | uint8_t *p = (uint8_t *) exported; |
Gilles Peskine | 5c2665b | 2021-02-14 01:22:56 +0100 | [diff] [blame] | 808 | const uint8_t *end = exported + exported_length; |
Gilles Peskine | ad557e5 | 2021-02-14 01:19:21 +0100 | [diff] [blame] | 809 | size_t len; |
| 810 | /* RSAPublicKey ::= SEQUENCE { |
| 811 | * modulus INTEGER, -- n |
| 812 | * publicExponent INTEGER } -- e |
| 813 | */ |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 814 | TEST_EQUAL(mbedtls_asn1_get_tag(&p, end, &len, |
| 815 | MBEDTLS_ASN1_SEQUENCE | |
| 816 | MBEDTLS_ASN1_CONSTRUCTED), |
| 817 | 0); |
| 818 | TEST_EQUAL(len, end - p); |
| 819 | if (!mbedtls_test_asn1_skip_integer(&p, end, bits, bits, 1)) { |
Gilles Peskine | ad557e5 | 2021-02-14 01:19:21 +0100 | [diff] [blame] | 820 | goto exit; |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 821 | } |
| 822 | if (!mbedtls_test_asn1_skip_integer(&p, end, 2, bits, 1)) { |
Gilles Peskine | ad557e5 | 2021-02-14 01:19:21 +0100 | [diff] [blame] | 823 | goto exit; |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 824 | } |
| 825 | TEST_EQUAL(p - end, 0); |
gabor-mezei-arm | ceface2 | 2021-01-21 12:26:17 +0100 | [diff] [blame] | 826 | |
| 827 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 828 | TEST_ASSERT(exported_length <= |
| 829 | PSA_EXPORT_PUBLIC_KEY_OUTPUT_SIZE(type, bits)); |
| 830 | TEST_ASSERT(exported_length <= |
| 831 | PSA_EXPORT_PUBLIC_KEY_MAX_SIZE); |
| 832 | } else |
Ronald Cron | 64df738 | 2021-07-06 09:23:06 +0200 | [diff] [blame] | 833 | #endif /* MBEDTLS_ASN1_PARSE_C */ |
Gilles Peskine | ad557e5 | 2021-02-14 01:19:21 +0100 | [diff] [blame] | 834 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 835 | if (PSA_KEY_TYPE_IS_ECC_PUBLIC_KEY(type)) { |
gabor-mezei-arm | ceface2 | 2021-01-21 12:26:17 +0100 | [diff] [blame] | 836 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 837 | TEST_ASSERT(exported_length <= |
| 838 | PSA_EXPORT_PUBLIC_KEY_OUTPUT_SIZE(type, bits)); |
| 839 | TEST_ASSERT(exported_length <= |
| 840 | PSA_EXPORT_PUBLIC_KEY_MAX_SIZE); |
gabor-mezei-arm | ceface2 | 2021-01-21 12:26:17 +0100 | [diff] [blame] | 841 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 842 | if (PSA_KEY_TYPE_ECC_GET_FAMILY(type) == PSA_ECC_FAMILY_MONTGOMERY) { |
Gilles Peskine | ad557e5 | 2021-02-14 01:19:21 +0100 | [diff] [blame] | 843 | /* The representation of an ECC Montgomery public key is |
| 844 | * the raw compressed point */ |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 845 | TEST_EQUAL(PSA_BITS_TO_BYTES(bits), exported_length); |
Stephan Koch | 6eb7311 | 2023-03-03 17:48:40 +0100 | [diff] [blame] | 846 | } else if (PSA_KEY_TYPE_ECC_GET_FAMILY(type) == PSA_ECC_FAMILY_TWISTED_EDWARDS) { |
oberon-sk | 6d50173 | 2023-02-13 12:13:20 +0100 | [diff] [blame] | 847 | /* The representation of an ECC Edwards public key is |
| 848 | * the raw compressed point */ |
Stephan Koch | 6eb7311 | 2023-03-03 17:48:40 +0100 | [diff] [blame] | 849 | TEST_EQUAL(PSA_BITS_TO_BYTES(bits + 1), exported_length); |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 850 | } else { |
Gilles Peskine | ad557e5 | 2021-02-14 01:19:21 +0100 | [diff] [blame] | 851 | /* The representation of an ECC Weierstrass public key is: |
| 852 | * - The byte 0x04; |
| 853 | * - `x_P` as a `ceiling(m/8)`-byte string, big-endian; |
| 854 | * - `y_P` as a `ceiling(m/8)`-byte string, big-endian; |
| 855 | * - where m is the bit size associated with the curve. |
| 856 | */ |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 857 | TEST_EQUAL(1 + 2 * PSA_BITS_TO_BYTES(bits), exported_length); |
| 858 | TEST_EQUAL(exported[0], 4); |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 859 | } |
Przemek Stekiel | 7cf26df | 2022-12-01 15:09:40 +0100 | [diff] [blame] | 860 | } else |
| 861 | if (PSA_KEY_TYPE_IS_DH_PUBLIC_KEY(type) || PSA_KEY_TYPE_IS_DH_KEY_PAIR(type)) { |
Przemek Stekiel | 4c0da51 | 2023-04-27 13:04:20 +0200 | [diff] [blame] | 862 | TEST_ASSERT(exported_length == |
Przemek Stekiel | 654bef0 | 2022-12-15 13:28:02 +0100 | [diff] [blame] | 863 | PSA_EXPORT_PUBLIC_KEY_OUTPUT_SIZE(type, bits)); |
| 864 | TEST_ASSERT(exported_length <= |
| 865 | PSA_EXPORT_PUBLIC_KEY_MAX_SIZE); |
Valerio Setti | 2dbc306 | 2023-04-13 12:19:57 +0200 | [diff] [blame] | 866 | } else { |
Andrzej Kurek | 57d2f13 | 2022-01-17 15:26:24 +0100 | [diff] [blame] | 867 | (void) exported; |
Agathiyan Bragadeesh | dc28a5a | 2023-07-18 11:45:28 +0100 | [diff] [blame] | 868 | TEST_FAIL("Sanity check not implemented for this key type"); |
Gilles Peskine | ad557e5 | 2021-02-14 01:19:21 +0100 | [diff] [blame] | 869 | } |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 870 | |
Gilles Peskine | cc9db30 | 2021-02-14 01:29:52 +0100 | [diff] [blame] | 871 | #if defined(MBEDTLS_DES_C) |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 872 | if (type == PSA_KEY_TYPE_DES) { |
Gilles Peskine | cc9db30 | 2021-02-14 01:29:52 +0100 | [diff] [blame] | 873 | /* Check the parity bits. */ |
| 874 | unsigned i; |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 875 | for (i = 0; i < bits / 8; i++) { |
Gilles Peskine | cc9db30 | 2021-02-14 01:29:52 +0100 | [diff] [blame] | 876 | unsigned bit_count = 0; |
| 877 | unsigned m; |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 878 | for (m = 1; m <= 0x100; m <<= 1) { |
| 879 | if (exported[i] & m) { |
Gilles Peskine | cc9db30 | 2021-02-14 01:29:52 +0100 | [diff] [blame] | 880 | ++bit_count; |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 881 | } |
Gilles Peskine | cc9db30 | 2021-02-14 01:29:52 +0100 | [diff] [blame] | 882 | } |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 883 | TEST_ASSERT(bit_count % 2 != 0); |
Gilles Peskine | cc9db30 | 2021-02-14 01:29:52 +0100 | [diff] [blame] | 884 | } |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 885 | } |
Gilles Peskine | cc9db30 | 2021-02-14 01:29:52 +0100 | [diff] [blame] | 886 | #endif |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 887 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 888 | return 1; |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 889 | |
| 890 | exit: |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 891 | return 0; |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 892 | } |
| 893 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 894 | static int exercise_export_key(mbedtls_svc_key_id_t key, |
| 895 | psa_key_usage_t usage) |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 896 | { |
| 897 | psa_key_attributes_t attributes = PSA_KEY_ATTRIBUTES_INIT; |
| 898 | uint8_t *exported = NULL; |
| 899 | size_t exported_size = 0; |
| 900 | size_t exported_length = 0; |
| 901 | int ok = 0; |
| 902 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 903 | PSA_ASSERT(psa_get_key_attributes(key, &attributes)); |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 904 | |
| 905 | exported_size = PSA_EXPORT_KEY_OUTPUT_SIZE( |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 906 | psa_get_key_type(&attributes), |
| 907 | psa_get_key_bits(&attributes)); |
Tom Cosgrove | 05b2a87 | 2023-07-21 11:31:13 +0100 | [diff] [blame] | 908 | TEST_CALLOC(exported, exported_size); |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 909 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 910 | if ((usage & PSA_KEY_USAGE_EXPORT) == 0 && |
| 911 | !PSA_KEY_TYPE_IS_PUBLIC_KEY(psa_get_key_type(&attributes))) { |
| 912 | TEST_EQUAL(psa_export_key(key, exported, |
| 913 | exported_size, &exported_length), |
| 914 | PSA_ERROR_NOT_PERMITTED); |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 915 | ok = 1; |
| 916 | goto exit; |
| 917 | } |
| 918 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 919 | PSA_ASSERT(psa_export_key(key, |
| 920 | exported, exported_size, |
| 921 | &exported_length)); |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 922 | ok = mbedtls_test_psa_exported_key_sanity_check( |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 923 | psa_get_key_type(&attributes), psa_get_key_bits(&attributes), |
| 924 | exported, exported_length); |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 925 | |
| 926 | exit: |
| 927 | /* |
| 928 | * Key attributes may have been returned by psa_get_key_attributes() |
| 929 | * thus reset them as required. |
| 930 | */ |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 931 | psa_reset_key_attributes(&attributes); |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 932 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 933 | mbedtls_free(exported); |
| 934 | return ok; |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 935 | } |
| 936 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 937 | static int exercise_export_public_key(mbedtls_svc_key_id_t key) |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 938 | { |
| 939 | psa_key_attributes_t attributes = PSA_KEY_ATTRIBUTES_INIT; |
| 940 | psa_key_type_t public_type; |
| 941 | uint8_t *exported = NULL; |
| 942 | size_t exported_size = 0; |
| 943 | size_t exported_length = 0; |
| 944 | int ok = 0; |
| 945 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 946 | PSA_ASSERT(psa_get_key_attributes(key, &attributes)); |
| 947 | if (!PSA_KEY_TYPE_IS_ASYMMETRIC(psa_get_key_type(&attributes))) { |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 948 | exported_size = PSA_EXPORT_KEY_OUTPUT_SIZE( |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 949 | psa_get_key_type(&attributes), |
| 950 | psa_get_key_bits(&attributes)); |
Tom Cosgrove | 05b2a87 | 2023-07-21 11:31:13 +0100 | [diff] [blame] | 951 | TEST_CALLOC(exported, exported_size); |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 952 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 953 | TEST_EQUAL(psa_export_public_key(key, exported, |
| 954 | exported_size, &exported_length), |
| 955 | PSA_ERROR_INVALID_ARGUMENT); |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 956 | ok = 1; |
| 957 | goto exit; |
| 958 | } |
| 959 | |
| 960 | public_type = PSA_KEY_TYPE_PUBLIC_KEY_OF_KEY_PAIR( |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 961 | psa_get_key_type(&attributes)); |
| 962 | exported_size = PSA_EXPORT_PUBLIC_KEY_OUTPUT_SIZE(public_type, |
| 963 | psa_get_key_bits(&attributes)); |
Tom Cosgrove | 05b2a87 | 2023-07-21 11:31:13 +0100 | [diff] [blame] | 964 | TEST_CALLOC(exported, exported_size); |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 965 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 966 | PSA_ASSERT(psa_export_public_key(key, |
| 967 | exported, exported_size, |
| 968 | &exported_length)); |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 969 | ok = mbedtls_test_psa_exported_key_sanity_check( |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 970 | public_type, psa_get_key_bits(&attributes), |
| 971 | exported, exported_length); |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 972 | |
| 973 | exit: |
| 974 | /* |
| 975 | * Key attributes may have been returned by psa_get_key_attributes() |
| 976 | * thus reset them as required. |
| 977 | */ |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 978 | psa_reset_key_attributes(&attributes); |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 979 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 980 | mbedtls_free(exported); |
| 981 | return ok; |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 982 | } |
| 983 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 984 | int mbedtls_test_psa_exercise_key(mbedtls_svc_key_id_t key, |
| 985 | psa_key_usage_t usage, |
Ryan Everett | 0a271fd | 2024-03-12 16:34:02 +0000 | [diff] [blame] | 986 | psa_algorithm_t alg, |
| 987 | int key_destroyable) |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 988 | { |
Gilles Peskine | 2385f71 | 2021-02-14 01:34:21 +0100 | [diff] [blame] | 989 | int ok = 0; |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 990 | |
Ryan Everett | 0a271fd | 2024-03-12 16:34:02 +0000 | [diff] [blame] | 991 | if (!check_key_attributes_sanity(key, key_destroyable)) { |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 992 | return 0; |
| 993 | } |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 994 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 995 | if (alg == 0) { |
Shaun Case | 8b0ecbc | 2021-12-20 21:14:10 -0800 | [diff] [blame] | 996 | ok = 1; /* If no algorithm, do nothing (used for raw data "keys"). */ |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 997 | } else if (PSA_ALG_IS_MAC(alg)) { |
Ryan Everett | 0a271fd | 2024-03-12 16:34:02 +0000 | [diff] [blame] | 998 | ok = exercise_mac_key(key, usage, alg, key_destroyable); |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 999 | } else if (PSA_ALG_IS_CIPHER(alg)) { |
Ryan Everett | 0a271fd | 2024-03-12 16:34:02 +0000 | [diff] [blame] | 1000 | ok = exercise_cipher_key(key, usage, alg, key_destroyable); |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 1001 | } else if (PSA_ALG_IS_AEAD(alg)) { |
Ryan Everett | 0a271fd | 2024-03-12 16:34:02 +0000 | [diff] [blame] | 1002 | ok = exercise_aead_key(key, usage, alg, key_destroyable); |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 1003 | } else if (PSA_ALG_IS_SIGN(alg)) { |
Ryan Everett | 0a271fd | 2024-03-12 16:34:02 +0000 | [diff] [blame] | 1004 | ok = exercise_signature_key(key, usage, alg, key_destroyable); |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 1005 | } else if (PSA_ALG_IS_ASYMMETRIC_ENCRYPTION(alg)) { |
Ryan Everett | 0a271fd | 2024-03-12 16:34:02 +0000 | [diff] [blame] | 1006 | ok = exercise_asymmetric_encryption_key(key, usage, alg, |
| 1007 | key_destroyable); |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 1008 | } else if (PSA_ALG_IS_KEY_DERIVATION(alg)) { |
Ryan Everett | 0a271fd | 2024-03-12 16:34:02 +0000 | [diff] [blame] | 1009 | ok = exercise_key_derivation_key(key, usage, alg, key_destroyable); |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 1010 | } else if (PSA_ALG_IS_RAW_KEY_AGREEMENT(alg)) { |
Ryan Everett | 0a271fd | 2024-03-12 16:34:02 +0000 | [diff] [blame] | 1011 | ok = exercise_raw_key_agreement_key(key, usage, alg, key_destroyable); |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 1012 | } else if (PSA_ALG_IS_KEY_AGREEMENT(alg)) { |
Ryan Everett | 0a271fd | 2024-03-12 16:34:02 +0000 | [diff] [blame] | 1013 | ok = exercise_key_agreement_key(key, usage, alg, key_destroyable); |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 1014 | } else { |
Agathiyan Bragadeesh | dc28a5a | 2023-07-18 11:45:28 +0100 | [diff] [blame] | 1015 | TEST_FAIL("No code to exercise this category of algorithm"); |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 1016 | } |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 1017 | |
Ryan Everett | 0a271fd | 2024-03-12 16:34:02 +0000 | [diff] [blame] | 1018 | ok = ok && exercise_export_key(key, |
| 1019 | usage, |
| 1020 | key_destroyable); |
| 1021 | ok = ok && exercise_export_public_key(key, |
| 1022 | key_destroyable); |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 1023 | |
Gilles Peskine | 2385f71 | 2021-02-14 01:34:21 +0100 | [diff] [blame] | 1024 | exit: |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 1025 | return ok; |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 1026 | } |
| 1027 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 1028 | psa_key_usage_t mbedtls_test_psa_usage_to_exercise(psa_key_type_t type, |
| 1029 | psa_algorithm_t alg) |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 1030 | { |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 1031 | if (PSA_ALG_IS_MAC(alg) || PSA_ALG_IS_SIGN(alg)) { |
| 1032 | if (PSA_ALG_IS_SIGN_HASH(alg)) { |
| 1033 | if (PSA_ALG_SIGN_GET_HASH(alg)) { |
| 1034 | return PSA_KEY_TYPE_IS_PUBLIC_KEY(type) ? |
| 1035 | PSA_KEY_USAGE_VERIFY_HASH | PSA_KEY_USAGE_VERIFY_MESSAGE : |
| 1036 | PSA_KEY_USAGE_SIGN_HASH | PSA_KEY_USAGE_VERIFY_HASH | |
| 1037 | PSA_KEY_USAGE_SIGN_MESSAGE | PSA_KEY_USAGE_VERIFY_MESSAGE; |
| 1038 | } |
| 1039 | } else if (PSA_ALG_IS_SIGN_MESSAGE(alg)) { |
| 1040 | return PSA_KEY_TYPE_IS_PUBLIC_KEY(type) ? |
| 1041 | PSA_KEY_USAGE_VERIFY_MESSAGE : |
| 1042 | PSA_KEY_USAGE_SIGN_MESSAGE | PSA_KEY_USAGE_VERIFY_MESSAGE; |
gabor-mezei-arm | 041887b | 2021-05-11 13:29:24 +0200 | [diff] [blame] | 1043 | } |
gabor-mezei-arm | 4c6a47a | 2021-04-26 20:12:17 +0200 | [diff] [blame] | 1044 | |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 1045 | return PSA_KEY_TYPE_IS_PUBLIC_KEY(type) ? |
| 1046 | PSA_KEY_USAGE_VERIFY_HASH : |
| 1047 | PSA_KEY_USAGE_SIGN_HASH | PSA_KEY_USAGE_VERIFY_HASH; |
| 1048 | } else if (PSA_ALG_IS_CIPHER(alg) || PSA_ALG_IS_AEAD(alg) || |
| 1049 | PSA_ALG_IS_ASYMMETRIC_ENCRYPTION(alg)) { |
| 1050 | return PSA_KEY_TYPE_IS_PUBLIC_KEY(type) ? |
| 1051 | PSA_KEY_USAGE_ENCRYPT : |
| 1052 | PSA_KEY_USAGE_ENCRYPT | PSA_KEY_USAGE_DECRYPT; |
| 1053 | } else if (PSA_ALG_IS_KEY_DERIVATION(alg) || |
| 1054 | PSA_ALG_IS_KEY_AGREEMENT(alg)) { |
| 1055 | return PSA_KEY_USAGE_DERIVE; |
| 1056 | } else { |
| 1057 | return 0; |
Gilles Peskine | e78b002 | 2021-02-13 00:41:11 +0100 | [diff] [blame] | 1058 | } |
| 1059 | |
| 1060 | } |
Gilles Peskine | 66e7b90 | 2021-02-12 23:40:58 +0100 | [diff] [blame] | 1061 | |
Gilles Peskine | 3495567 | 2024-02-12 14:19:24 +0100 | [diff] [blame] | 1062 | int mbedtls_test_can_exercise_psa_algorithm(psa_algorithm_t alg) |
| 1063 | { |
| 1064 | /* Reject algorithms that we know are not supported. Default to |
| 1065 | * attempting exercise, so that if an algorithm is missing from this |
| 1066 | * function, the result will be a test failure and not silently |
| 1067 | * omitting exercise. */ |
| 1068 | #if !defined(PSA_WANT_ALG_RSA_PKCS1V15_CRYPT) |
| 1069 | if (alg == PSA_ALG_RSA_PKCS1V15_CRYPT) { |
| 1070 | return 0; |
| 1071 | } |
| 1072 | #endif |
| 1073 | #if !defined(PSA_WANT_ALG_RSA_PKCS1V15_SIGN) |
| 1074 | if (PSA_ALG_IS_RSA_PKCS1V15_SIGN(alg)) { |
| 1075 | return 0; |
| 1076 | } |
| 1077 | #endif |
| 1078 | #if !defined(PSA_WANT_ALG_RSA_PSS) |
| 1079 | if (PSA_ALG_IS_RSA_PSS_STANDARD_SALT(alg)) { |
| 1080 | return 0; |
| 1081 | } |
| 1082 | #endif |
| 1083 | #if !defined(PSA_WANT_ALG_RSA_PSS_ANY_SALT) |
| 1084 | if (PSA_ALG_IS_RSA_PSS_ANY_SALT(alg)) { |
| 1085 | return 0; |
| 1086 | } |
| 1087 | #endif |
| 1088 | #if !defined(PSA_WANT_ALG_ECDSA) |
| 1089 | if (PSA_ALG_IS_ECDSA(alg)) { |
| 1090 | return 0; |
| 1091 | } |
| 1092 | #endif |
| 1093 | #if !defined(PSA_WANT_ALG_DETERMINISTIC_ECDSA) |
| 1094 | if (PSA_ALG_IS_DETERMINISTIC_ECDSA(alg)) { |
| 1095 | return 0; |
| 1096 | } |
| 1097 | #endif |
| 1098 | #if !defined(PSA_WANT_ALG_ECDH) |
| 1099 | if (PSA_ALG_IS_ECDH(alg)) { |
| 1100 | return 0; |
| 1101 | } |
| 1102 | #endif |
| 1103 | (void) alg; |
| 1104 | return 1; |
| 1105 | } |
| 1106 | |
Gilles Peskine | 6fe8a06 | 2024-02-15 17:21:17 +0100 | [diff] [blame] | 1107 | #if defined(MBEDTLS_PK_C) |
| 1108 | int mbedtls_test_key_consistency_psa_pk(mbedtls_svc_key_id_t psa_key, |
| 1109 | const mbedtls_pk_context *pk) |
| 1110 | { |
| 1111 | psa_key_attributes_t psa_attributes = PSA_KEY_ATTRIBUTES_INIT; |
| 1112 | psa_key_attributes_t pk_attributes = PSA_KEY_ATTRIBUTES_INIT; |
| 1113 | int ok = 0; |
| 1114 | |
| 1115 | PSA_ASSERT(psa_get_key_attributes(psa_key, &psa_attributes)); |
| 1116 | psa_key_type_t psa_type = psa_get_key_type(&psa_attributes); |
| 1117 | mbedtls_pk_type_t pk_type = mbedtls_pk_get_type(pk); |
| 1118 | |
| 1119 | TEST_ASSERT(PSA_KEY_TYPE_IS_PUBLIC_KEY(psa_type) || |
| 1120 | PSA_KEY_TYPE_IS_KEY_PAIR(psa_type)); |
| 1121 | TEST_EQUAL(psa_get_key_bits(&psa_attributes), mbedtls_pk_get_bitlen(pk)); |
| 1122 | |
| 1123 | uint8_t pk_public_buffer[PSA_EXPORT_PUBLIC_KEY_MAX_SIZE]; |
| 1124 | const uint8_t *pk_public = NULL; |
| 1125 | size_t pk_public_length = 0; |
| 1126 | |
| 1127 | switch (pk_type) { |
| 1128 | #if defined(MBEDTLS_RSA_C) |
| 1129 | case MBEDTLS_PK_RSA: |
| 1130 | TEST_ASSERT(PSA_KEY_TYPE_IS_RSA(psa_type)); |
| 1131 | const mbedtls_rsa_context *rsa = mbedtls_pk_rsa(*pk); |
| 1132 | uint8_t *const end = pk_public_buffer + sizeof(pk_public_buffer); |
| 1133 | uint8_t *cursor = end; |
| 1134 | TEST_LE_U(1, mbedtls_rsa_write_pubkey(rsa, |
| 1135 | pk_public_buffer, &cursor)); |
| 1136 | pk_public = cursor; |
| 1137 | pk_public_length = end - pk_public; |
| 1138 | break; |
| 1139 | #endif |
| 1140 | |
| 1141 | #if defined(MBEDTLS_PK_USE_PSA_EC_DATA) |
| 1142 | case MBEDTLS_PK_ECKEY: |
| 1143 | case MBEDTLS_PK_ECKEY_DH: |
| 1144 | case MBEDTLS_PK_ECDSA: |
| 1145 | TEST_ASSERT(PSA_KEY_TYPE_IS_ECC(psa_type)); |
| 1146 | TEST_EQUAL(PSA_KEY_TYPE_ECC_GET_FAMILY(psa_type), pk->ec_family); |
| 1147 | pk_public = pk->pub_raw; |
| 1148 | pk_public_length = pk->pub_raw_len; |
| 1149 | break; |
| 1150 | #endif /* MBEDTLS_PK_USE_PSA_EC_DATA */ |
| 1151 | |
| 1152 | #if defined(MBEDTLS_PK_HAVE_ECC_KEYS) && !defined(MBEDTLS_PK_USE_PSA_EC_DATA) |
| 1153 | case MBEDTLS_PK_ECKEY: |
| 1154 | case MBEDTLS_PK_ECKEY_DH: |
| 1155 | case MBEDTLS_PK_ECDSA: |
| 1156 | TEST_ASSERT(PSA_KEY_TYPE_IS_ECC(psa_get_key_type(&psa_attributes))); |
| 1157 | const mbedtls_ecp_keypair *ec = mbedtls_pk_ec_ro(*pk); |
| 1158 | TEST_EQUAL(mbedtls_ecp_write_public_key( |
| 1159 | ec, MBEDTLS_ECP_PF_UNCOMPRESSED, &pk_public_length, |
| 1160 | pk_public_buffer, sizeof(pk_public_buffer)), 0); |
| 1161 | pk_public = pk_public_buffer; |
| 1162 | break; |
| 1163 | #endif /* MBEDTLS_PK_HAVE_ECC_KEYS && !MBEDTLS_PK_USE_PSA_EC_DATA */ |
| 1164 | |
| 1165 | #if defined(MBEDTLS_USE_PSA_CRYPTO) |
| 1166 | case MBEDTLS_PK_OPAQUE: |
| 1167 | PSA_ASSERT(psa_get_key_attributes(pk->priv_id, &pk_attributes)); |
| 1168 | psa_key_type_t pk_psa_type = psa_get_key_type(&pk_attributes); |
| 1169 | TEST_EQUAL(PSA_KEY_TYPE_PUBLIC_KEY_OF_KEY_PAIR(psa_type), |
| 1170 | PSA_KEY_TYPE_PUBLIC_KEY_OF_KEY_PAIR(pk_psa_type)); |
| 1171 | PSA_ASSERT(psa_export_public_key(psa_key, |
| 1172 | pk_public_buffer, |
| 1173 | sizeof(pk_public_buffer), |
| 1174 | &pk_public_length)); |
| 1175 | pk_public = pk_public_buffer; |
| 1176 | break; |
| 1177 | #endif /* MBEDTLS_USE_PSA_CRYPTO */ |
| 1178 | |
| 1179 | default: |
| 1180 | TEST_FAIL("pk type not supported"); |
| 1181 | } |
| 1182 | |
| 1183 | uint8_t psa_public[PSA_EXPORT_PUBLIC_KEY_MAX_SIZE]; |
| 1184 | size_t psa_public_length = 0; |
| 1185 | PSA_ASSERT(psa_export_public_key(psa_key, |
| 1186 | psa_public, sizeof(psa_public), |
| 1187 | &psa_public_length)); |
| 1188 | TEST_MEMORY_COMPARE(pk_public, pk_public_length, |
| 1189 | psa_public, psa_public_length); |
| 1190 | |
| 1191 | ok = 1; |
| 1192 | |
| 1193 | exit: |
| 1194 | psa_reset_key_attributes(&psa_attributes); |
| 1195 | psa_reset_key_attributes(&pk_attributes); |
| 1196 | return ok; |
| 1197 | } |
| 1198 | #endif /* MBEDTLS_PK_C */ |
| 1199 | |
Gilles Peskine | 66e7b90 | 2021-02-12 23:40:58 +0100 | [diff] [blame] | 1200 | #endif /* MBEDTLS_PSA_CRYPTO_C */ |