Steven Cooreman | 2a1664c | 2020-07-20 15:33:08 +0200 | [diff] [blame] | 1 | /* |
Steven Cooreman | 0452476 | 2020-10-13 17:43:44 +0200 | [diff] [blame] | 2 | * Test driver for generating and verifying keys. |
| 3 | * Currently only supports generating and verifying ECC keys. |
Steven Cooreman | 2a1664c | 2020-07-20 15:33:08 +0200 | [diff] [blame] | 4 | */ |
Steven Cooreman | 2c7b2f8 | 2020-09-02 13:43:46 +0200 | [diff] [blame] | 5 | /* Copyright The Mbed TLS Contributors |
Steven Cooreman | 2a1664c | 2020-07-20 15:33:08 +0200 | [diff] [blame] | 6 | * SPDX-License-Identifier: Apache-2.0 |
| 7 | * |
| 8 | * Licensed under the Apache License, Version 2.0 (the "License"); you may |
| 9 | * not use this file except in compliance with the License. |
| 10 | * You may obtain a copy of the License at |
| 11 | * |
| 12 | * http://www.apache.org/licenses/LICENSE-2.0 |
| 13 | * |
| 14 | * Unless required by applicable law or agreed to in writing, software |
| 15 | * distributed under the License is distributed on an "AS IS" BASIS, WITHOUT |
| 16 | * WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. |
| 17 | * See the License for the specific language governing permissions and |
| 18 | * limitations under the License. |
Steven Cooreman | 2a1664c | 2020-07-20 15:33:08 +0200 | [diff] [blame] | 19 | */ |
| 20 | |
| 21 | #if !defined(MBEDTLS_CONFIG_FILE) |
| 22 | #include "mbedtls/config.h" |
| 23 | #else |
| 24 | #include MBEDTLS_CONFIG_FILE |
| 25 | #endif |
| 26 | |
Steven Cooreman | f1720ea | 2020-07-24 18:41:58 +0200 | [diff] [blame] | 27 | #if defined(MBEDTLS_PSA_CRYPTO_DRIVERS) && defined(PSA_CRYPTO_DRIVER_TEST) |
Steven Cooreman | 2a1664c | 2020-07-20 15:33:08 +0200 | [diff] [blame] | 28 | #include "psa/crypto.h" |
Steven Cooreman | 15f58d2 | 2020-09-04 13:05:23 +0200 | [diff] [blame] | 29 | #include "psa_crypto_core.h" |
Ronald Cron | f1057d3 | 2020-11-26 19:19:10 +0100 | [diff] [blame] | 30 | #include "psa_crypto_ecp.h" |
| 31 | #include "psa_crypto_rsa.h" |
Steven Cooreman | 2a1664c | 2020-07-20 15:33:08 +0200 | [diff] [blame] | 32 | #include "mbedtls/ecp.h" |
| 33 | #include "mbedtls/error.h" |
| 34 | |
Steven Cooreman | c4813a6 | 2020-10-23 11:45:43 +0200 | [diff] [blame] | 35 | #include "test/drivers/key_management.h" |
Steven Cooreman | 2a1664c | 2020-07-20 15:33:08 +0200 | [diff] [blame] | 36 | |
| 37 | #include "test/random.h" |
| 38 | |
| 39 | #include <string.h> |
| 40 | |
Steven Cooreman | c4813a6 | 2020-10-23 11:45:43 +0200 | [diff] [blame] | 41 | test_driver_key_management_hooks_t test_driver_key_management_hooks = |
| 42 | TEST_DRIVER_KEY_MANAGEMENT_INIT; |
Steven Cooreman | 2a1664c | 2020-07-20 15:33:08 +0200 | [diff] [blame] | 43 | |
| 44 | psa_status_t test_transparent_generate_key( |
| 45 | const psa_key_attributes_t *attributes, |
| 46 | uint8_t *key, size_t key_size, size_t *key_length ) |
| 47 | { |
John Durkop | 6ba40d1 | 2020-11-10 08:50:04 -0800 | [diff] [blame] | 48 | #if !defined(MBEDTLS_PSA_ACCEL_KEY_TYPE_ECC_KEY_PAIR) && \ |
| 49 | !defined(MBEDTLS_PSA_ACCEL_KEY_TYPE_ECC_PUBLIC_KEY) |
John Durkop | 0e00519 | 2020-10-31 22:06:54 -0700 | [diff] [blame] | 50 | (void)attributes; |
John Durkop | 6ba40d1 | 2020-11-10 08:50:04 -0800 | [diff] [blame] | 51 | #endif /* !MBEDTLS_PSA_ACCEL_KEY_TYPE_ECC_KEY_PAIR && |
| 52 | * !MBEDTLS_PSA_ACCEL_KEY_TYPE_ECC_PUBLIC_KEY */ |
Steven Cooreman | c4813a6 | 2020-10-23 11:45:43 +0200 | [diff] [blame] | 53 | ++test_driver_key_management_hooks.hits; |
Steven Cooreman | 2a1664c | 2020-07-20 15:33:08 +0200 | [diff] [blame] | 54 | |
Steven Cooreman | c4813a6 | 2020-10-23 11:45:43 +0200 | [diff] [blame] | 55 | if( test_driver_key_management_hooks.forced_status != PSA_SUCCESS ) |
| 56 | return( test_driver_key_management_hooks.forced_status ); |
Steven Cooreman | 2a1664c | 2020-07-20 15:33:08 +0200 | [diff] [blame] | 57 | |
Steven Cooreman | c4813a6 | 2020-10-23 11:45:43 +0200 | [diff] [blame] | 58 | if( test_driver_key_management_hooks.forced_output != NULL ) |
Steven Cooreman | 2a1664c | 2020-07-20 15:33:08 +0200 | [diff] [blame] | 59 | { |
Steven Cooreman | c4813a6 | 2020-10-23 11:45:43 +0200 | [diff] [blame] | 60 | if( test_driver_key_management_hooks.forced_output_length > key_size ) |
Steven Cooreman | 2a1664c | 2020-07-20 15:33:08 +0200 | [diff] [blame] | 61 | return( PSA_ERROR_BUFFER_TOO_SMALL ); |
Steven Cooreman | c4813a6 | 2020-10-23 11:45:43 +0200 | [diff] [blame] | 62 | memcpy( key, test_driver_key_management_hooks.forced_output, |
| 63 | test_driver_key_management_hooks.forced_output_length ); |
| 64 | *key_length = test_driver_key_management_hooks.forced_output_length; |
Steven Cooreman | 2a1664c | 2020-07-20 15:33:08 +0200 | [diff] [blame] | 65 | return( PSA_SUCCESS ); |
| 66 | } |
| 67 | |
| 68 | /* Copied from psa_crypto.c */ |
John Durkop | 6ba40d1 | 2020-11-10 08:50:04 -0800 | [diff] [blame] | 69 | #if defined(MBEDTLS_PSA_ACCEL_KEY_TYPE_ECC_KEY_PAIR) || \ |
| 70 | defined(MBEDTLS_PSA_ACCEL_KEY_TYPE_ECC_PUBLIC_KEY) |
Steven Cooreman | 56250fd | 2020-09-04 13:07:15 +0200 | [diff] [blame] | 71 | if ( PSA_KEY_TYPE_IS_ECC( psa_get_key_type( attributes ) ) |
| 72 | && PSA_KEY_TYPE_IS_KEY_PAIR( psa_get_key_type( attributes ) ) ) |
Steven Cooreman | 2a1664c | 2020-07-20 15:33:08 +0200 | [diff] [blame] | 73 | { |
Steven Cooreman | c4813a6 | 2020-10-23 11:45:43 +0200 | [diff] [blame] | 74 | psa_ecc_family_t curve = PSA_KEY_TYPE_ECC_GET_FAMILY( |
| 75 | psa_get_key_type( attributes ) ); |
Steven Cooreman | 2a1664c | 2020-07-20 15:33:08 +0200 | [diff] [blame] | 76 | mbedtls_ecp_group_id grp_id = |
Steven Cooreman | c4813a6 | 2020-10-23 11:45:43 +0200 | [diff] [blame] | 77 | mbedtls_ecc_group_of_psa( |
| 78 | curve, |
Gilles Peskine | 2fa6b5f | 2021-01-27 15:44:45 +0100 | [diff] [blame^] | 79 | psa_get_key_bits( attributes ), 0 ); |
Steven Cooreman | 2a1664c | 2020-07-20 15:33:08 +0200 | [diff] [blame] | 80 | const mbedtls_ecp_curve_info *curve_info = |
| 81 | mbedtls_ecp_curve_info_from_grp_id( grp_id ); |
| 82 | mbedtls_ecp_keypair ecp; |
| 83 | mbedtls_test_rnd_pseudo_info rnd_info; |
| 84 | memset( &rnd_info, 0x5A, sizeof( mbedtls_test_rnd_pseudo_info ) ); |
| 85 | |
| 86 | int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED; |
| 87 | if( attributes->domain_parameters_size != 0 ) |
| 88 | return( PSA_ERROR_NOT_SUPPORTED ); |
| 89 | if( grp_id == MBEDTLS_ECP_DP_NONE || curve_info == NULL ) |
| 90 | return( PSA_ERROR_NOT_SUPPORTED ); |
Steven Cooreman | 56250fd | 2020-09-04 13:07:15 +0200 | [diff] [blame] | 91 | if( curve_info->bit_size != psa_get_key_bits( attributes ) ) |
Steven Cooreman | 2a1664c | 2020-07-20 15:33:08 +0200 | [diff] [blame] | 92 | return( PSA_ERROR_INVALID_ARGUMENT ); |
| 93 | mbedtls_ecp_keypair_init( &ecp ); |
| 94 | ret = mbedtls_ecp_gen_key( grp_id, &ecp, |
| 95 | &mbedtls_test_rnd_pseudo_rand, |
| 96 | &rnd_info ); |
| 97 | if( ret != 0 ) |
| 98 | { |
| 99 | mbedtls_ecp_keypair_free( &ecp ); |
| 100 | return( mbedtls_to_psa_error( ret ) ); |
| 101 | } |
| 102 | |
| 103 | /* Make sure to use export representation */ |
Steven Cooreman | 56250fd | 2020-09-04 13:07:15 +0200 | [diff] [blame] | 104 | size_t bytes = PSA_BITS_TO_BYTES( psa_get_key_bits( attributes ) ); |
Steven Cooreman | 2a1664c | 2020-07-20 15:33:08 +0200 | [diff] [blame] | 105 | if( key_size < bytes ) |
| 106 | { |
| 107 | mbedtls_ecp_keypair_free( &ecp ); |
| 108 | return( PSA_ERROR_BUFFER_TOO_SMALL ); |
| 109 | } |
| 110 | psa_status_t status = mbedtls_to_psa_error( |
| 111 | mbedtls_mpi_write_binary( &ecp.d, key, bytes ) ); |
| 112 | |
| 113 | if( status == PSA_SUCCESS ) |
| 114 | { |
| 115 | *key_length = bytes; |
| 116 | } |
Steven Cooreman | 40120f6 | 2020-10-29 11:42:22 +0100 | [diff] [blame] | 117 | else |
| 118 | { |
| 119 | memset( key, 0, bytes ); |
| 120 | } |
Steven Cooreman | 2a1664c | 2020-07-20 15:33:08 +0200 | [diff] [blame] | 121 | |
| 122 | mbedtls_ecp_keypair_free( &ecp ); |
| 123 | return( status ); |
| 124 | } |
| 125 | else |
John Durkop | 6ba40d1 | 2020-11-10 08:50:04 -0800 | [diff] [blame] | 126 | #endif /* MBEDTLS_PSA_ACCEL_KEY_TYPE_ECC_KEY_PAIR || |
| 127 | * MBEDTLS_PSA_ACCEL_KEY_TYPE_ECC_PUBLIC_KEY */ |
Steven Cooreman | 2a1664c | 2020-07-20 15:33:08 +0200 | [diff] [blame] | 128 | return( PSA_ERROR_NOT_SUPPORTED ); |
| 129 | } |
| 130 | |
| 131 | psa_status_t test_opaque_generate_key( |
| 132 | const psa_key_attributes_t *attributes, |
| 133 | uint8_t *key, size_t key_size, size_t *key_length ) |
| 134 | { |
| 135 | (void) attributes; |
| 136 | (void) key; |
| 137 | (void) key_size; |
| 138 | (void) key_length; |
| 139 | return( PSA_ERROR_NOT_SUPPORTED ); |
| 140 | } |
| 141 | |
Ronald Cron | 8328287 | 2020-11-22 14:02:39 +0100 | [diff] [blame] | 142 | psa_status_t test_transparent_import_key( |
Steven Cooreman | b9b8442 | 2020-10-14 14:39:20 +0200 | [diff] [blame] | 143 | const psa_key_attributes_t *attributes, |
| 144 | const uint8_t *data, |
| 145 | size_t data_length, |
Ronald Cron | 8328287 | 2020-11-22 14:02:39 +0100 | [diff] [blame] | 146 | uint8_t *key_buffer, |
| 147 | size_t key_buffer_size, |
| 148 | size_t *key_buffer_length, |
| 149 | size_t *bits) |
Steven Cooreman | 0452476 | 2020-10-13 17:43:44 +0200 | [diff] [blame] | 150 | { |
Steven Cooreman | c4813a6 | 2020-10-23 11:45:43 +0200 | [diff] [blame] | 151 | ++test_driver_key_management_hooks.hits; |
Steven Cooreman | 0452476 | 2020-10-13 17:43:44 +0200 | [diff] [blame] | 152 | |
Steven Cooreman | c4813a6 | 2020-10-23 11:45:43 +0200 | [diff] [blame] | 153 | if( test_driver_key_management_hooks.forced_status != PSA_SUCCESS ) |
| 154 | return( test_driver_key_management_hooks.forced_status ); |
Steven Cooreman | 0452476 | 2020-10-13 17:43:44 +0200 | [diff] [blame] | 155 | |
Ronald Cron | 784fb32 | 2020-11-30 13:55:05 +0100 | [diff] [blame] | 156 | psa_status_t status = PSA_ERROR_CORRUPTION_DETECTED; |
| 157 | psa_key_type_t type = psa_get_key_type( attributes ); |
| 158 | |
John Durkop | 6ba40d1 | 2020-11-10 08:50:04 -0800 | [diff] [blame] | 159 | #if defined(MBEDTLS_PSA_ACCEL_KEY_TYPE_ECC_KEY_PAIR) || \ |
| 160 | defined(MBEDTLS_PSA_ACCEL_KEY_TYPE_ECC_PUBLIC_KEY) |
Ronald Cron | 784fb32 | 2020-11-30 13:55:05 +0100 | [diff] [blame] | 161 | if( PSA_KEY_TYPE_IS_ECC( type ) ) |
Steven Cooreman | 0452476 | 2020-10-13 17:43:44 +0200 | [diff] [blame] | 162 | { |
Ronald Cron | 784fb32 | 2020-11-30 13:55:05 +0100 | [diff] [blame] | 163 | status = mbedtls_transparent_test_driver_ecp_import_key( |
| 164 | attributes, |
| 165 | data, data_length, |
| 166 | key_buffer, key_buffer_size, |
| 167 | key_buffer_length, bits ); |
Steven Cooreman | 0452476 | 2020-10-13 17:43:44 +0200 | [diff] [blame] | 168 | } |
Ronald Cron | 784fb32 | 2020-11-30 13:55:05 +0100 | [diff] [blame] | 169 | else |
| 170 | #endif |
| 171 | #if defined(MBEDTLS_PSA_ACCEL_KEY_TYPE_RSA_KEY_PAIR) || \ |
| 172 | defined(MBEDTLS_PSA_ACCEL_KEY_TYPE_RSA_PUBLIC_KEY) |
| 173 | if( PSA_KEY_TYPE_IS_RSA( type ) ) |
| 174 | { |
| 175 | status = mbedtls_transparent_test_driver_rsa_import_key( |
| 176 | attributes, |
| 177 | data, data_length, |
| 178 | key_buffer, key_buffer_size, |
| 179 | key_buffer_length, bits ); |
| 180 | } |
| 181 | else |
| 182 | #endif |
| 183 | { |
| 184 | status = PSA_ERROR_NOT_SUPPORTED; |
| 185 | (void)data; |
| 186 | (void)data_length; |
| 187 | (void)key_buffer; |
| 188 | (void)key_buffer_size; |
| 189 | (void)key_buffer_length; |
| 190 | (void)bits; |
| 191 | (void)type; |
| 192 | } |
| 193 | |
| 194 | return( status ); |
Steven Cooreman | 0452476 | 2020-10-13 17:43:44 +0200 | [diff] [blame] | 195 | } |
| 196 | |
Ronald Cron | 6722798 | 2020-11-26 15:16:05 +0100 | [diff] [blame] | 197 | psa_status_t test_opaque_export_key( |
| 198 | const psa_key_attributes_t *attributes, |
| 199 | const uint8_t *key, size_t key_length, |
| 200 | uint8_t *data, size_t data_size, size_t *data_length ) |
| 201 | { |
| 202 | (void) attributes; |
| 203 | (void) key; |
| 204 | (void) key_length; |
| 205 | (void) data; |
| 206 | (void) data_size; |
| 207 | (void) data_length; |
| 208 | return( PSA_ERROR_NOT_SUPPORTED ); |
| 209 | } |
Ronald Cron | f1057d3 | 2020-11-26 19:19:10 +0100 | [diff] [blame] | 210 | |
Steven Cooreman | b9b8442 | 2020-10-14 14:39:20 +0200 | [diff] [blame] | 211 | psa_status_t test_transparent_export_public_key( |
| 212 | const psa_key_attributes_t *attributes, |
Ronald Cron | f1057d3 | 2020-11-26 19:19:10 +0100 | [diff] [blame] | 213 | const uint8_t *key_buffer, size_t key_buffer_size, |
Steven Cooreman | b9b8442 | 2020-10-14 14:39:20 +0200 | [diff] [blame] | 214 | uint8_t *data, size_t data_size, size_t *data_length ) |
| 215 | { |
Gilles Peskine | c240236 | 2020-11-22 18:47:43 +0100 | [diff] [blame] | 216 | ++test_driver_key_management_hooks.hits; |
Steven Cooreman | b9b8442 | 2020-10-14 14:39:20 +0200 | [diff] [blame] | 217 | |
Gilles Peskine | c240236 | 2020-11-22 18:47:43 +0100 | [diff] [blame] | 218 | if( test_driver_key_management_hooks.forced_status != PSA_SUCCESS ) |
| 219 | return( test_driver_key_management_hooks.forced_status ); |
Steven Cooreman | b9b8442 | 2020-10-14 14:39:20 +0200 | [diff] [blame] | 220 | |
Gilles Peskine | c240236 | 2020-11-22 18:47:43 +0100 | [diff] [blame] | 221 | if( test_driver_key_management_hooks.forced_output != NULL ) |
Steven Cooreman | b9b8442 | 2020-10-14 14:39:20 +0200 | [diff] [blame] | 222 | { |
Gilles Peskine | c240236 | 2020-11-22 18:47:43 +0100 | [diff] [blame] | 223 | if( test_driver_key_management_hooks.forced_output_length > data_size ) |
Steven Cooreman | b9b8442 | 2020-10-14 14:39:20 +0200 | [diff] [blame] | 224 | return( PSA_ERROR_BUFFER_TOO_SMALL ); |
Gilles Peskine | c240236 | 2020-11-22 18:47:43 +0100 | [diff] [blame] | 225 | memcpy( data, test_driver_key_management_hooks.forced_output, |
| 226 | test_driver_key_management_hooks.forced_output_length ); |
| 227 | *data_length = test_driver_key_management_hooks.forced_output_length; |
Steven Cooreman | b9b8442 | 2020-10-14 14:39:20 +0200 | [diff] [blame] | 228 | return( PSA_SUCCESS ); |
| 229 | } |
| 230 | |
Ronald Cron | f1057d3 | 2020-11-26 19:19:10 +0100 | [diff] [blame] | 231 | psa_status_t status = PSA_ERROR_CORRUPTION_DETECTED; |
| 232 | psa_key_type_t key_type = psa_get_key_type( attributes ); |
Steven Cooreman | b9b8442 | 2020-10-14 14:39:20 +0200 | [diff] [blame] | 233 | |
| 234 | #if defined(MBEDTLS_PSA_ACCEL_KEY_TYPE_ECC_KEY_PAIR) || \ |
| 235 | defined(MBEDTLS_PSA_ACCEL_KEY_TYPE_ECC_PUBLIC_KEY) |
Ronald Cron | f1057d3 | 2020-11-26 19:19:10 +0100 | [diff] [blame] | 236 | if( PSA_KEY_TYPE_IS_ECC( key_type ) ) |
Steven Cooreman | b9b8442 | 2020-10-14 14:39:20 +0200 | [diff] [blame] | 237 | { |
Ronald Cron | f1057d3 | 2020-11-26 19:19:10 +0100 | [diff] [blame] | 238 | status = mbedtls_transparent_test_driver_ecp_export_public_key( |
| 239 | attributes, |
| 240 | key_buffer, key_buffer_size, |
| 241 | data, data_size, data_length ); |
Steven Cooreman | b9b8442 | 2020-10-14 14:39:20 +0200 | [diff] [blame] | 242 | } |
Ronald Cron | f1057d3 | 2020-11-26 19:19:10 +0100 | [diff] [blame] | 243 | else |
| 244 | #endif |
| 245 | #if defined(MBEDTLS_PSA_ACCEL_KEY_TYPE_RSA_KEY_PAIR) || \ |
| 246 | defined(MBEDTLS_PSA_ACCEL_KEY_TYPE_RSA_PUBLIC_KEY) |
| 247 | if( PSA_KEY_TYPE_IS_RSA( key_type ) ) |
| 248 | { |
| 249 | status = mbedtls_transparent_test_driver_rsa_export_public_key( |
| 250 | attributes, |
| 251 | key_buffer, key_buffer_size, |
| 252 | data, data_size, data_length ); |
| 253 | } |
| 254 | else |
| 255 | #endif |
| 256 | { |
| 257 | status = PSA_ERROR_NOT_SUPPORTED; |
| 258 | (void)key_buffer; |
| 259 | (void)key_buffer_size; |
| 260 | (void)key_type; |
| 261 | } |
Steven Cooreman | b9b8442 | 2020-10-14 14:39:20 +0200 | [diff] [blame] | 262 | |
Ronald Cron | f1057d3 | 2020-11-26 19:19:10 +0100 | [diff] [blame] | 263 | return( status ); |
Steven Cooreman | b9b8442 | 2020-10-14 14:39:20 +0200 | [diff] [blame] | 264 | } |
| 265 | |
| 266 | psa_status_t test_opaque_export_public_key( |
| 267 | const psa_key_attributes_t *attributes, |
| 268 | const uint8_t *key, size_t key_length, |
| 269 | uint8_t *data, size_t data_size, size_t *data_length ) |
| 270 | { |
| 271 | (void) attributes; |
| 272 | (void) key; |
| 273 | (void) key_length; |
| 274 | (void) data; |
| 275 | (void) data_size; |
| 276 | (void) data_length; |
| 277 | return( PSA_ERROR_NOT_SUPPORTED ); |
| 278 | } |
| 279 | |
Steven Cooreman | f1720ea | 2020-07-24 18:41:58 +0200 | [diff] [blame] | 280 | #endif /* MBEDTLS_PSA_CRYPTO_DRIVERS && PSA_CRYPTO_DRIVER_TEST */ |