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" |
Steven Cooreman | 2a1664c | 2020-07-20 15:33:08 +0200 | [diff] [blame] | 30 | #include "mbedtls/ecp.h" |
| 31 | #include "mbedtls/error.h" |
| 32 | |
Steven Cooreman | c4813a6 | 2020-10-23 11:45:43 +0200 | [diff] [blame] | 33 | #include "test/drivers/key_management.h" |
Steven Cooreman | 2a1664c | 2020-07-20 15:33:08 +0200 | [diff] [blame] | 34 | |
| 35 | #include "test/random.h" |
| 36 | |
| 37 | #include <string.h> |
| 38 | |
Steven Cooreman | c4813a6 | 2020-10-23 11:45:43 +0200 | [diff] [blame] | 39 | test_driver_key_management_hooks_t test_driver_key_management_hooks = |
| 40 | TEST_DRIVER_KEY_MANAGEMENT_INIT; |
Steven Cooreman | 2a1664c | 2020-07-20 15:33:08 +0200 | [diff] [blame] | 41 | |
| 42 | psa_status_t test_transparent_generate_key( |
| 43 | const psa_key_attributes_t *attributes, |
| 44 | uint8_t *key, size_t key_size, size_t *key_length ) |
| 45 | { |
John Durkop | 0e00519 | 2020-10-31 22:06:54 -0700 | [diff] [blame] | 46 | #if !defined(MBEDTLS_PSA_BUILTIN_ECC_KEY_PAIR) && !defined(MBEDTLS_PSA_BUILTIN_ECC_PUBLIC_KEY) |
| 47 | (void)attributes; |
| 48 | #endif /* !MBEDTLS_PSA_BUILTIN_ECC_KEY_PAIR && !MBEDTLS_PSA_BUILTIN_ECC_PUBLIC_KEY */ |
Steven Cooreman | c4813a6 | 2020-10-23 11:45:43 +0200 | [diff] [blame] | 49 | ++test_driver_key_management_hooks.hits; |
Steven Cooreman | 2a1664c | 2020-07-20 15:33:08 +0200 | [diff] [blame] | 50 | |
Steven Cooreman | c4813a6 | 2020-10-23 11:45:43 +0200 | [diff] [blame] | 51 | if( test_driver_key_management_hooks.forced_status != PSA_SUCCESS ) |
| 52 | return( test_driver_key_management_hooks.forced_status ); |
Steven Cooreman | 2a1664c | 2020-07-20 15:33:08 +0200 | [diff] [blame] | 53 | |
Steven Cooreman | c4813a6 | 2020-10-23 11:45:43 +0200 | [diff] [blame] | 54 | if( test_driver_key_management_hooks.forced_output != NULL ) |
Steven Cooreman | 2a1664c | 2020-07-20 15:33:08 +0200 | [diff] [blame] | 55 | { |
Steven Cooreman | c4813a6 | 2020-10-23 11:45:43 +0200 | [diff] [blame] | 56 | if( test_driver_key_management_hooks.forced_output_length > key_size ) |
Steven Cooreman | 2a1664c | 2020-07-20 15:33:08 +0200 | [diff] [blame] | 57 | return( PSA_ERROR_BUFFER_TOO_SMALL ); |
Steven Cooreman | c4813a6 | 2020-10-23 11:45:43 +0200 | [diff] [blame] | 58 | memcpy( key, test_driver_key_management_hooks.forced_output, |
| 59 | test_driver_key_management_hooks.forced_output_length ); |
| 60 | *key_length = test_driver_key_management_hooks.forced_output_length; |
Steven Cooreman | 2a1664c | 2020-07-20 15:33:08 +0200 | [diff] [blame] | 61 | return( PSA_SUCCESS ); |
| 62 | } |
| 63 | |
| 64 | /* Copied from psa_crypto.c */ |
John Durkop | 0e00519 | 2020-10-31 22:06:54 -0700 | [diff] [blame] | 65 | #if defined(MBEDTLS_PSA_BUILTIN_ECC_KEY_PAIR) || defined(MBEDTLS_PSA_BUILTIN_ECC_PUBLIC_KEY) |
Steven Cooreman | 56250fd | 2020-09-04 13:07:15 +0200 | [diff] [blame] | 66 | if ( PSA_KEY_TYPE_IS_ECC( psa_get_key_type( attributes ) ) |
| 67 | && PSA_KEY_TYPE_IS_KEY_PAIR( psa_get_key_type( attributes ) ) ) |
Steven Cooreman | 2a1664c | 2020-07-20 15:33:08 +0200 | [diff] [blame] | 68 | { |
Steven Cooreman | c4813a6 | 2020-10-23 11:45:43 +0200 | [diff] [blame] | 69 | psa_ecc_family_t curve = PSA_KEY_TYPE_ECC_GET_FAMILY( |
| 70 | psa_get_key_type( attributes ) ); |
Steven Cooreman | 2a1664c | 2020-07-20 15:33:08 +0200 | [diff] [blame] | 71 | mbedtls_ecp_group_id grp_id = |
Steven Cooreman | c4813a6 | 2020-10-23 11:45:43 +0200 | [diff] [blame] | 72 | mbedtls_ecc_group_of_psa( |
| 73 | curve, |
| 74 | PSA_BITS_TO_BYTES( psa_get_key_bits( attributes ) ) ); |
Steven Cooreman | 2a1664c | 2020-07-20 15:33:08 +0200 | [diff] [blame] | 75 | const mbedtls_ecp_curve_info *curve_info = |
| 76 | mbedtls_ecp_curve_info_from_grp_id( grp_id ); |
| 77 | mbedtls_ecp_keypair ecp; |
| 78 | mbedtls_test_rnd_pseudo_info rnd_info; |
| 79 | memset( &rnd_info, 0x5A, sizeof( mbedtls_test_rnd_pseudo_info ) ); |
| 80 | |
| 81 | int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED; |
| 82 | if( attributes->domain_parameters_size != 0 ) |
| 83 | return( PSA_ERROR_NOT_SUPPORTED ); |
| 84 | if( grp_id == MBEDTLS_ECP_DP_NONE || curve_info == NULL ) |
| 85 | return( PSA_ERROR_NOT_SUPPORTED ); |
Steven Cooreman | 56250fd | 2020-09-04 13:07:15 +0200 | [diff] [blame] | 86 | if( curve_info->bit_size != psa_get_key_bits( attributes ) ) |
Steven Cooreman | 2a1664c | 2020-07-20 15:33:08 +0200 | [diff] [blame] | 87 | return( PSA_ERROR_INVALID_ARGUMENT ); |
| 88 | mbedtls_ecp_keypair_init( &ecp ); |
| 89 | ret = mbedtls_ecp_gen_key( grp_id, &ecp, |
| 90 | &mbedtls_test_rnd_pseudo_rand, |
| 91 | &rnd_info ); |
| 92 | if( ret != 0 ) |
| 93 | { |
| 94 | mbedtls_ecp_keypair_free( &ecp ); |
| 95 | return( mbedtls_to_psa_error( ret ) ); |
| 96 | } |
| 97 | |
| 98 | /* Make sure to use export representation */ |
Steven Cooreman | 56250fd | 2020-09-04 13:07:15 +0200 | [diff] [blame] | 99 | size_t bytes = PSA_BITS_TO_BYTES( psa_get_key_bits( attributes ) ); |
Steven Cooreman | 2a1664c | 2020-07-20 15:33:08 +0200 | [diff] [blame] | 100 | if( key_size < bytes ) |
| 101 | { |
| 102 | mbedtls_ecp_keypair_free( &ecp ); |
| 103 | return( PSA_ERROR_BUFFER_TOO_SMALL ); |
| 104 | } |
| 105 | psa_status_t status = mbedtls_to_psa_error( |
| 106 | mbedtls_mpi_write_binary( &ecp.d, key, bytes ) ); |
| 107 | |
| 108 | if( status == PSA_SUCCESS ) |
| 109 | { |
| 110 | *key_length = bytes; |
| 111 | } |
Steven Cooreman | 40120f6 | 2020-10-29 11:42:22 +0100 | [diff] [blame] | 112 | else |
| 113 | { |
| 114 | memset( key, 0, bytes ); |
| 115 | } |
Steven Cooreman | 2a1664c | 2020-07-20 15:33:08 +0200 | [diff] [blame] | 116 | |
| 117 | mbedtls_ecp_keypair_free( &ecp ); |
| 118 | return( status ); |
| 119 | } |
| 120 | else |
John Durkop | 0e00519 | 2020-10-31 22:06:54 -0700 | [diff] [blame] | 121 | #endif /* MBEDTLS_PSA_BUILTIN_ECC_KEY_PAIR || MBEDTLS_PSA_BUILTIN_ECC_PUBLIC_KEY */ |
Steven Cooreman | 2a1664c | 2020-07-20 15:33:08 +0200 | [diff] [blame] | 122 | return( PSA_ERROR_NOT_SUPPORTED ); |
| 123 | } |
| 124 | |
| 125 | psa_status_t test_opaque_generate_key( |
| 126 | const psa_key_attributes_t *attributes, |
| 127 | uint8_t *key, size_t key_size, size_t *key_length ) |
| 128 | { |
| 129 | (void) attributes; |
| 130 | (void) key; |
| 131 | (void) key_size; |
| 132 | (void) key_length; |
| 133 | return( PSA_ERROR_NOT_SUPPORTED ); |
| 134 | } |
| 135 | |
Steven Cooreman | 0452476 | 2020-10-13 17:43:44 +0200 | [diff] [blame] | 136 | psa_status_t test_transparent_validate_key(const psa_key_attributes_t *attributes, |
| 137 | const uint8_t *data, |
| 138 | size_t data_length, |
| 139 | size_t *bits) |
| 140 | { |
Steven Cooreman | c4813a6 | 2020-10-23 11:45:43 +0200 | [diff] [blame] | 141 | ++test_driver_key_management_hooks.hits; |
Steven Cooreman | 0452476 | 2020-10-13 17:43:44 +0200 | [diff] [blame] | 142 | |
Steven Cooreman | c4813a6 | 2020-10-23 11:45:43 +0200 | [diff] [blame] | 143 | if( test_driver_key_management_hooks.forced_status != PSA_SUCCESS ) |
| 144 | return( test_driver_key_management_hooks.forced_status ); |
Steven Cooreman | 0452476 | 2020-10-13 17:43:44 +0200 | [diff] [blame] | 145 | |
| 146 | #if defined(MBEDTLS_ECP_C) |
| 147 | psa_key_type_t type = psa_get_key_type( attributes ); |
| 148 | if ( PSA_KEY_TYPE_IS_ECC( type ) ) |
| 149 | { |
| 150 | // Code mostly copied from psa_load_ecp_representation |
| 151 | psa_ecc_family_t curve = PSA_KEY_TYPE_ECC_GET_FAMILY( type ); |
| 152 | mbedtls_ecp_group_id grp_id; |
| 153 | mbedtls_ecp_keypair ecp; |
| 154 | psa_status_t status = PSA_ERROR_CORRUPTION_DETECTED; |
| 155 | |
Steven Cooreman | 40120f6 | 2020-10-29 11:42:22 +0100 | [diff] [blame] | 156 | if( psa_get_key_bits( attributes ) == 0 ) |
Steven Cooreman | 0452476 | 2020-10-13 17:43:44 +0200 | [diff] [blame] | 157 | { |
| 158 | // Attempt auto-detect of curve bit size |
| 159 | size_t curve_size = data_length; |
| 160 | |
| 161 | if( PSA_KEY_TYPE_IS_PUBLIC_KEY( type ) && |
| 162 | PSA_KEY_TYPE_ECC_GET_FAMILY( type ) != PSA_ECC_FAMILY_MONTGOMERY ) |
| 163 | { |
| 164 | /* A Weierstrass public key is represented as: |
| 165 | * - The byte 0x04; |
| 166 | * - `x_P` as a `ceiling(m/8)`-byte string, big-endian; |
| 167 | * - `y_P` as a `ceiling(m/8)`-byte string, big-endian. |
Steven Cooreman | c4813a6 | 2020-10-23 11:45:43 +0200 | [diff] [blame] | 168 | * So its data length is 2m+1 where m is the curve size in bits. |
Steven Cooreman | 0452476 | 2020-10-13 17:43:44 +0200 | [diff] [blame] | 169 | */ |
| 170 | if( ( data_length & 1 ) == 0 ) |
| 171 | return( PSA_ERROR_INVALID_ARGUMENT ); |
| 172 | curve_size = data_length / 2; |
| 173 | |
| 174 | /* Montgomery public keys are represented in compressed format, meaning |
| 175 | * their curve_size is equal to the amount of input. */ |
| 176 | |
| 177 | /* Private keys are represented in uncompressed private random integer |
| 178 | * format, meaning their curve_size is equal to the amount of input. */ |
| 179 | } |
| 180 | |
| 181 | grp_id = mbedtls_ecc_group_of_psa( curve, curve_size ); |
| 182 | } |
| 183 | else |
| 184 | { |
| 185 | grp_id = mbedtls_ecc_group_of_psa( curve, |
| 186 | PSA_BITS_TO_BYTES( psa_get_key_bits( attributes ) ) ); |
| 187 | } |
| 188 | |
| 189 | const mbedtls_ecp_curve_info *curve_info = |
| 190 | mbedtls_ecp_curve_info_from_grp_id( grp_id ); |
| 191 | |
| 192 | if( attributes->domain_parameters_size != 0 ) |
| 193 | return( PSA_ERROR_NOT_SUPPORTED ); |
| 194 | if( grp_id == MBEDTLS_ECP_DP_NONE || curve_info == NULL ) |
| 195 | return( PSA_ERROR_NOT_SUPPORTED ); |
| 196 | |
| 197 | *bits = curve_info->bit_size; |
| 198 | |
| 199 | mbedtls_ecp_keypair_init( &ecp ); |
| 200 | |
| 201 | status = mbedtls_to_psa_error( |
| 202 | mbedtls_ecp_group_load( &ecp.grp, grp_id ) ); |
| 203 | if( status != PSA_SUCCESS ) |
| 204 | goto ecp_exit; |
| 205 | |
| 206 | /* Load the key material. */ |
| 207 | if( PSA_KEY_TYPE_IS_PUBLIC_KEY( type ) ) |
| 208 | { |
| 209 | /* Load the public value. */ |
| 210 | status = mbedtls_to_psa_error( |
| 211 | mbedtls_ecp_point_read_binary( &ecp.grp, &ecp.Q, |
| 212 | data, |
| 213 | data_length ) ); |
| 214 | if( status != PSA_SUCCESS ) |
| 215 | goto ecp_exit; |
| 216 | |
| 217 | /* Check that the point is on the curve. */ |
| 218 | status = mbedtls_to_psa_error( |
| 219 | mbedtls_ecp_check_pubkey( &ecp.grp, &ecp.Q ) ); |
| 220 | } |
| 221 | else |
| 222 | { |
| 223 | /* Load and validate the secret value. */ |
| 224 | status = mbedtls_to_psa_error( |
| 225 | mbedtls_ecp_read_key( ecp.grp.id, |
| 226 | &ecp, |
| 227 | data, |
| 228 | data_length ) ); |
| 229 | } |
| 230 | |
| 231 | ecp_exit: |
| 232 | mbedtls_ecp_keypair_free( &ecp ); |
| 233 | return( status ); |
| 234 | } |
| 235 | return( PSA_ERROR_NOT_SUPPORTED ); |
| 236 | #else |
| 237 | (void) data; |
| 238 | (void) data_length; |
| 239 | (void) bits; |
| 240 | return( PSA_ERROR_NOT_SUPPORTED ); |
| 241 | #endif /* MBEDTLS_ECP_C */ |
| 242 | } |
| 243 | |
Steven Cooreman | f1720ea | 2020-07-24 18:41:58 +0200 | [diff] [blame] | 244 | #endif /* MBEDTLS_PSA_CRYPTO_DRIVERS && PSA_CRYPTO_DRIVER_TEST */ |