blob: aef3b89399d62485e0592c58653b7c1fd9e7275a [file] [log] [blame]
Steven Cooreman2a1664c2020-07-20 15:33:08 +02001/*
Steven Cooreman04524762020-10-13 17:43:44 +02002 * Test driver for generating and verifying keys.
3 * Currently only supports generating and verifying ECC keys.
Steven Cooreman2a1664c2020-07-20 15:33:08 +02004 */
Steven Cooreman2c7b2f82020-09-02 13:43:46 +02005/* Copyright The Mbed TLS Contributors
Steven Cooreman2a1664c2020-07-20 15:33:08 +02006 * 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 Cooreman2a1664c2020-07-20 15:33:08 +020019 */
20
21#if !defined(MBEDTLS_CONFIG_FILE)
22#include "mbedtls/config.h"
23#else
24#include MBEDTLS_CONFIG_FILE
25#endif
26
Steven Cooremanf1720ea2020-07-24 18:41:58 +020027#if defined(MBEDTLS_PSA_CRYPTO_DRIVERS) && defined(PSA_CRYPTO_DRIVER_TEST)
Steven Cooreman2a1664c2020-07-20 15:33:08 +020028#include "psa/crypto.h"
Steven Cooreman15f58d22020-09-04 13:05:23 +020029#include "psa_crypto_core.h"
Ronald Cronf1057d32020-11-26 19:19:10 +010030#include "psa_crypto_ecp.h"
31#include "psa_crypto_rsa.h"
Steven Cooreman2a1664c2020-07-20 15:33:08 +020032#include "mbedtls/ecp.h"
33#include "mbedtls/error.h"
34
Steven Cooremanc4813a62020-10-23 11:45:43 +020035#include "test/drivers/key_management.h"
Steven Cooreman2a1664c2020-07-20 15:33:08 +020036
37#include "test/random.h"
38
39#include <string.h>
40
Steven Cooremanc4813a62020-10-23 11:45:43 +020041test_driver_key_management_hooks_t test_driver_key_management_hooks =
42 TEST_DRIVER_KEY_MANAGEMENT_INIT;
Steven Cooreman2a1664c2020-07-20 15:33:08 +020043
44psa_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 Durkop6ba40d12020-11-10 08:50:04 -080048#if !defined(MBEDTLS_PSA_ACCEL_KEY_TYPE_ECC_KEY_PAIR) && \
49 !defined(MBEDTLS_PSA_ACCEL_KEY_TYPE_ECC_PUBLIC_KEY)
John Durkop0e005192020-10-31 22:06:54 -070050 (void)attributes;
John Durkop6ba40d12020-11-10 08:50:04 -080051#endif /* !MBEDTLS_PSA_ACCEL_KEY_TYPE_ECC_KEY_PAIR &&
52 * !MBEDTLS_PSA_ACCEL_KEY_TYPE_ECC_PUBLIC_KEY */
Steven Cooremanc4813a62020-10-23 11:45:43 +020053 ++test_driver_key_management_hooks.hits;
Steven Cooreman2a1664c2020-07-20 15:33:08 +020054
Steven Cooremanc4813a62020-10-23 11:45:43 +020055 if( test_driver_key_management_hooks.forced_status != PSA_SUCCESS )
56 return( test_driver_key_management_hooks.forced_status );
Steven Cooreman2a1664c2020-07-20 15:33:08 +020057
Steven Cooremanc4813a62020-10-23 11:45:43 +020058 if( test_driver_key_management_hooks.forced_output != NULL )
Steven Cooreman2a1664c2020-07-20 15:33:08 +020059 {
Steven Cooremanc4813a62020-10-23 11:45:43 +020060 if( test_driver_key_management_hooks.forced_output_length > key_size )
Steven Cooreman2a1664c2020-07-20 15:33:08 +020061 return( PSA_ERROR_BUFFER_TOO_SMALL );
Steven Cooremanc4813a62020-10-23 11:45:43 +020062 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 Cooreman2a1664c2020-07-20 15:33:08 +020065 return( PSA_SUCCESS );
66 }
67
68 /* Copied from psa_crypto.c */
John Durkop6ba40d12020-11-10 08:50:04 -080069#if defined(MBEDTLS_PSA_ACCEL_KEY_TYPE_ECC_KEY_PAIR) || \
70 defined(MBEDTLS_PSA_ACCEL_KEY_TYPE_ECC_PUBLIC_KEY)
Steven Cooreman56250fd2020-09-04 13:07:15 +020071 if ( PSA_KEY_TYPE_IS_ECC( psa_get_key_type( attributes ) )
72 && PSA_KEY_TYPE_IS_KEY_PAIR( psa_get_key_type( attributes ) ) )
Steven Cooreman2a1664c2020-07-20 15:33:08 +020073 {
Steven Cooremanc4813a62020-10-23 11:45:43 +020074 psa_ecc_family_t curve = PSA_KEY_TYPE_ECC_GET_FAMILY(
75 psa_get_key_type( attributes ) );
Steven Cooreman2a1664c2020-07-20 15:33:08 +020076 mbedtls_ecp_group_id grp_id =
Steven Cooremanc4813a62020-10-23 11:45:43 +020077 mbedtls_ecc_group_of_psa(
78 curve,
79 PSA_BITS_TO_BYTES( psa_get_key_bits( attributes ) ) );
Steven Cooreman2a1664c2020-07-20 15:33:08 +020080 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 Cooreman56250fd2020-09-04 13:07:15 +020091 if( curve_info->bit_size != psa_get_key_bits( attributes ) )
Steven Cooreman2a1664c2020-07-20 15:33:08 +020092 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 Cooreman56250fd2020-09-04 13:07:15 +0200104 size_t bytes = PSA_BITS_TO_BYTES( psa_get_key_bits( attributes ) );
Steven Cooreman2a1664c2020-07-20 15:33:08 +0200105 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 Cooreman40120f62020-10-29 11:42:22 +0100117 else
118 {
119 memset( key, 0, bytes );
120 }
Steven Cooreman2a1664c2020-07-20 15:33:08 +0200121
122 mbedtls_ecp_keypair_free( &ecp );
123 return( status );
124 }
125 else
John Durkop6ba40d12020-11-10 08:50:04 -0800126#endif /* MBEDTLS_PSA_ACCEL_KEY_TYPE_ECC_KEY_PAIR ||
127 * MBEDTLS_PSA_ACCEL_KEY_TYPE_ECC_PUBLIC_KEY */
Steven Cooreman2a1664c2020-07-20 15:33:08 +0200128 return( PSA_ERROR_NOT_SUPPORTED );
129}
130
131psa_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 Cron83282872020-11-22 14:02:39 +0100142psa_status_t test_transparent_import_key(
Steven Cooremanb9b84422020-10-14 14:39:20 +0200143 const psa_key_attributes_t *attributes,
144 const uint8_t *data,
145 size_t data_length,
Ronald Cron83282872020-11-22 14:02:39 +0100146 uint8_t *key_buffer,
147 size_t key_buffer_size,
148 size_t *key_buffer_length,
149 size_t *bits)
Steven Cooreman04524762020-10-13 17:43:44 +0200150{
Steven Cooremanc4813a62020-10-23 11:45:43 +0200151 ++test_driver_key_management_hooks.hits;
Steven Cooreman04524762020-10-13 17:43:44 +0200152
Steven Cooremanc4813a62020-10-23 11:45:43 +0200153 if( test_driver_key_management_hooks.forced_status != PSA_SUCCESS )
154 return( test_driver_key_management_hooks.forced_status );
Steven Cooreman04524762020-10-13 17:43:44 +0200155
John Durkop6ba40d12020-11-10 08:50:04 -0800156#if defined(MBEDTLS_PSA_ACCEL_KEY_TYPE_ECC_KEY_PAIR) || \
157 defined(MBEDTLS_PSA_ACCEL_KEY_TYPE_ECC_PUBLIC_KEY)
Steven Cooreman04524762020-10-13 17:43:44 +0200158 psa_key_type_t type = psa_get_key_type( attributes );
159 if ( PSA_KEY_TYPE_IS_ECC( type ) )
160 {
161 // Code mostly copied from psa_load_ecp_representation
162 psa_ecc_family_t curve = PSA_KEY_TYPE_ECC_GET_FAMILY( type );
163 mbedtls_ecp_group_id grp_id;
164 mbedtls_ecp_keypair ecp;
165 psa_status_t status = PSA_ERROR_CORRUPTION_DETECTED;
166
Steven Cooreman40120f62020-10-29 11:42:22 +0100167 if( psa_get_key_bits( attributes ) == 0 )
Steven Cooreman04524762020-10-13 17:43:44 +0200168 {
169 // Attempt auto-detect of curve bit size
170 size_t curve_size = data_length;
171
172 if( PSA_KEY_TYPE_IS_PUBLIC_KEY( type ) &&
173 PSA_KEY_TYPE_ECC_GET_FAMILY( type ) != PSA_ECC_FAMILY_MONTGOMERY )
174 {
175 /* A Weierstrass public key is represented as:
176 * - The byte 0x04;
177 * - `x_P` as a `ceiling(m/8)`-byte string, big-endian;
178 * - `y_P` as a `ceiling(m/8)`-byte string, big-endian.
Steven Cooremanc4813a62020-10-23 11:45:43 +0200179 * So its data length is 2m+1 where m is the curve size in bits.
Steven Cooreman04524762020-10-13 17:43:44 +0200180 */
181 if( ( data_length & 1 ) == 0 )
182 return( PSA_ERROR_INVALID_ARGUMENT );
183 curve_size = data_length / 2;
184
185 /* Montgomery public keys are represented in compressed format, meaning
186 * their curve_size is equal to the amount of input. */
187
188 /* Private keys are represented in uncompressed private random integer
189 * format, meaning their curve_size is equal to the amount of input. */
190 }
191
192 grp_id = mbedtls_ecc_group_of_psa( curve, curve_size );
193 }
194 else
195 {
196 grp_id = mbedtls_ecc_group_of_psa( curve,
197 PSA_BITS_TO_BYTES( psa_get_key_bits( attributes ) ) );
198 }
199
200 const mbedtls_ecp_curve_info *curve_info =
201 mbedtls_ecp_curve_info_from_grp_id( grp_id );
202
203 if( attributes->domain_parameters_size != 0 )
204 return( PSA_ERROR_NOT_SUPPORTED );
205 if( grp_id == MBEDTLS_ECP_DP_NONE || curve_info == NULL )
206 return( PSA_ERROR_NOT_SUPPORTED );
207
208 *bits = curve_info->bit_size;
209
210 mbedtls_ecp_keypair_init( &ecp );
211
212 status = mbedtls_to_psa_error(
213 mbedtls_ecp_group_load( &ecp.grp, grp_id ) );
214 if( status != PSA_SUCCESS )
215 goto ecp_exit;
216
217 /* Load the key material. */
218 if( PSA_KEY_TYPE_IS_PUBLIC_KEY( type ) )
219 {
220 /* Load the public value. */
221 status = mbedtls_to_psa_error(
222 mbedtls_ecp_point_read_binary( &ecp.grp, &ecp.Q,
223 data,
224 data_length ) );
225 if( status != PSA_SUCCESS )
226 goto ecp_exit;
227
228 /* Check that the point is on the curve. */
229 status = mbedtls_to_psa_error(
230 mbedtls_ecp_check_pubkey( &ecp.grp, &ecp.Q ) );
231 }
232 else
233 {
234 /* Load and validate the secret value. */
235 status = mbedtls_to_psa_error(
236 mbedtls_ecp_read_key( ecp.grp.id,
237 &ecp,
238 data,
239 data_length ) );
240 }
241
242ecp_exit:
243 mbedtls_ecp_keypair_free( &ecp );
244 return( status );
245 }
246 return( PSA_ERROR_NOT_SUPPORTED );
247#else
John Durkop9814fa22020-11-04 12:28:15 -0800248 (void) attributes;
Steven Cooreman04524762020-10-13 17:43:44 +0200249 (void) data;
250 (void) data_length;
251 (void) bits;
252 return( PSA_ERROR_NOT_SUPPORTED );
John Durkop6ba40d12020-11-10 08:50:04 -0800253#endif /* MBEDTLS_PSA_ACCEL_KEY_TYPE_ECC_KEY_PAIR ||
254 * MBEDTLS_PSA_ACCEL_KEY_TYPE_ECC_PUBLIC_KEY */
Steven Cooreman04524762020-10-13 17:43:44 +0200255}
256
Ronald Cron67227982020-11-26 15:16:05 +0100257psa_status_t test_opaque_export_key(
258 const psa_key_attributes_t *attributes,
259 const uint8_t *key, size_t key_length,
260 uint8_t *data, size_t data_size, size_t *data_length )
261{
262 (void) attributes;
263 (void) key;
264 (void) key_length;
265 (void) data;
266 (void) data_size;
267 (void) data_length;
268 return( PSA_ERROR_NOT_SUPPORTED );
269}
Ronald Cronf1057d32020-11-26 19:19:10 +0100270
Steven Cooremanb9b84422020-10-14 14:39:20 +0200271psa_status_t test_transparent_export_public_key(
272 const psa_key_attributes_t *attributes,
Ronald Cronf1057d32020-11-26 19:19:10 +0100273 const uint8_t *key_buffer, size_t key_buffer_size,
Steven Cooremanb9b84422020-10-14 14:39:20 +0200274 uint8_t *data, size_t data_size, size_t *data_length )
275{
Gilles Peskinec2402362020-11-22 18:47:43 +0100276 ++test_driver_key_management_hooks.hits;
Steven Cooremanb9b84422020-10-14 14:39:20 +0200277
Gilles Peskinec2402362020-11-22 18:47:43 +0100278 if( test_driver_key_management_hooks.forced_status != PSA_SUCCESS )
279 return( test_driver_key_management_hooks.forced_status );
Steven Cooremanb9b84422020-10-14 14:39:20 +0200280
Gilles Peskinec2402362020-11-22 18:47:43 +0100281 if( test_driver_key_management_hooks.forced_output != NULL )
Steven Cooremanb9b84422020-10-14 14:39:20 +0200282 {
Gilles Peskinec2402362020-11-22 18:47:43 +0100283 if( test_driver_key_management_hooks.forced_output_length > data_size )
Steven Cooremanb9b84422020-10-14 14:39:20 +0200284 return( PSA_ERROR_BUFFER_TOO_SMALL );
Gilles Peskinec2402362020-11-22 18:47:43 +0100285 memcpy( data, test_driver_key_management_hooks.forced_output,
286 test_driver_key_management_hooks.forced_output_length );
287 *data_length = test_driver_key_management_hooks.forced_output_length;
Steven Cooremanb9b84422020-10-14 14:39:20 +0200288 return( PSA_SUCCESS );
289 }
290
Ronald Cronf1057d32020-11-26 19:19:10 +0100291 psa_status_t status = PSA_ERROR_CORRUPTION_DETECTED;
292 psa_key_type_t key_type = psa_get_key_type( attributes );
Steven Cooremanb9b84422020-10-14 14:39:20 +0200293
294#if defined(MBEDTLS_PSA_ACCEL_KEY_TYPE_ECC_KEY_PAIR) || \
295 defined(MBEDTLS_PSA_ACCEL_KEY_TYPE_ECC_PUBLIC_KEY)
Ronald Cronf1057d32020-11-26 19:19:10 +0100296 if( PSA_KEY_TYPE_IS_ECC( key_type ) )
Steven Cooremanb9b84422020-10-14 14:39:20 +0200297 {
Ronald Cronf1057d32020-11-26 19:19:10 +0100298 status = mbedtls_transparent_test_driver_ecp_export_public_key(
299 attributes,
300 key_buffer, key_buffer_size,
301 data, data_size, data_length );
Steven Cooremanb9b84422020-10-14 14:39:20 +0200302 }
Ronald Cronf1057d32020-11-26 19:19:10 +0100303 else
304#endif
305#if defined(MBEDTLS_PSA_ACCEL_KEY_TYPE_RSA_KEY_PAIR) || \
306 defined(MBEDTLS_PSA_ACCEL_KEY_TYPE_RSA_PUBLIC_KEY)
307 if( PSA_KEY_TYPE_IS_RSA( key_type ) )
308 {
309 status = mbedtls_transparent_test_driver_rsa_export_public_key(
310 attributes,
311 key_buffer, key_buffer_size,
312 data, data_size, data_length );
313 }
314 else
315#endif
316 {
317 status = PSA_ERROR_NOT_SUPPORTED;
318 (void)key_buffer;
319 (void)key_buffer_size;
320 (void)key_type;
321 }
Steven Cooremanb9b84422020-10-14 14:39:20 +0200322
Ronald Cronf1057d32020-11-26 19:19:10 +0100323 return( status );
Steven Cooremanb9b84422020-10-14 14:39:20 +0200324}
325
326psa_status_t test_opaque_export_public_key(
327 const psa_key_attributes_t *attributes,
328 const uint8_t *key, size_t key_length,
329 uint8_t *data, size_t data_size, size_t *data_length )
330{
331 (void) attributes;
332 (void) key;
333 (void) key_length;
334 (void) data;
335 (void) data_size;
336 (void) data_length;
337 return( PSA_ERROR_NOT_SUPPORTED );
338}
339
Steven Cooremanf1720ea2020-07-24 18:41:58 +0200340#endif /* MBEDTLS_PSA_CRYPTO_DRIVERS && PSA_CRYPTO_DRIVER_TEST */