blob: 34eb614f92e7d399407c762fe671c2c9e9761407 [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"
Steven Cooreman2a1664c2020-07-20 15:33:08 +020030#include "mbedtls/ecp.h"
31#include "mbedtls/error.h"
32
Steven Cooremanc4813a62020-10-23 11:45:43 +020033#include "test/drivers/key_management.h"
Steven Cooreman2a1664c2020-07-20 15:33:08 +020034
35#include "test/random.h"
36
37#include <string.h>
38
Steven Cooremanc4813a62020-10-23 11:45:43 +020039test_driver_key_management_hooks_t test_driver_key_management_hooks =
40 TEST_DRIVER_KEY_MANAGEMENT_INIT;
Steven Cooreman2a1664c2020-07-20 15:33:08 +020041
42psa_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 Durkop0e005192020-10-31 22:06:54 -070046#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 Cooremanc4813a62020-10-23 11:45:43 +020049 ++test_driver_key_management_hooks.hits;
Steven Cooreman2a1664c2020-07-20 15:33:08 +020050
Steven Cooremanc4813a62020-10-23 11:45:43 +020051 if( test_driver_key_management_hooks.forced_status != PSA_SUCCESS )
52 return( test_driver_key_management_hooks.forced_status );
Steven Cooreman2a1664c2020-07-20 15:33:08 +020053
Steven Cooremanc4813a62020-10-23 11:45:43 +020054 if( test_driver_key_management_hooks.forced_output != NULL )
Steven Cooreman2a1664c2020-07-20 15:33:08 +020055 {
Steven Cooremanc4813a62020-10-23 11:45:43 +020056 if( test_driver_key_management_hooks.forced_output_length > key_size )
Steven Cooreman2a1664c2020-07-20 15:33:08 +020057 return( PSA_ERROR_BUFFER_TOO_SMALL );
Steven Cooremanc4813a62020-10-23 11:45:43 +020058 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 Cooreman2a1664c2020-07-20 15:33:08 +020061 return( PSA_SUCCESS );
62 }
63
64 /* Copied from psa_crypto.c */
John Durkop0e005192020-10-31 22:06:54 -070065#if defined(MBEDTLS_PSA_BUILTIN_ECC_KEY_PAIR) || defined(MBEDTLS_PSA_BUILTIN_ECC_PUBLIC_KEY)
Steven Cooreman56250fd2020-09-04 13:07:15 +020066 if ( PSA_KEY_TYPE_IS_ECC( psa_get_key_type( attributes ) )
67 && PSA_KEY_TYPE_IS_KEY_PAIR( psa_get_key_type( attributes ) ) )
Steven Cooreman2a1664c2020-07-20 15:33:08 +020068 {
Steven Cooremanc4813a62020-10-23 11:45:43 +020069 psa_ecc_family_t curve = PSA_KEY_TYPE_ECC_GET_FAMILY(
70 psa_get_key_type( attributes ) );
Steven Cooreman2a1664c2020-07-20 15:33:08 +020071 mbedtls_ecp_group_id grp_id =
Steven Cooremanc4813a62020-10-23 11:45:43 +020072 mbedtls_ecc_group_of_psa(
73 curve,
74 PSA_BITS_TO_BYTES( psa_get_key_bits( attributes ) ) );
Steven Cooreman2a1664c2020-07-20 15:33:08 +020075 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 Cooreman56250fd2020-09-04 13:07:15 +020086 if( curve_info->bit_size != psa_get_key_bits( attributes ) )
Steven Cooreman2a1664c2020-07-20 15:33:08 +020087 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 Cooreman56250fd2020-09-04 13:07:15 +020099 size_t bytes = PSA_BITS_TO_BYTES( psa_get_key_bits( attributes ) );
Steven Cooreman2a1664c2020-07-20 15:33:08 +0200100 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 Cooreman40120f62020-10-29 11:42:22 +0100112 else
113 {
114 memset( key, 0, bytes );
115 }
Steven Cooreman2a1664c2020-07-20 15:33:08 +0200116
117 mbedtls_ecp_keypair_free( &ecp );
118 return( status );
119 }
120 else
John Durkop0e005192020-10-31 22:06:54 -0700121#endif /* MBEDTLS_PSA_BUILTIN_ECC_KEY_PAIR || MBEDTLS_PSA_BUILTIN_ECC_PUBLIC_KEY */
Steven Cooreman2a1664c2020-07-20 15:33:08 +0200122 return( PSA_ERROR_NOT_SUPPORTED );
123}
124
125psa_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 Cooreman04524762020-10-13 17:43:44 +0200136psa_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 Cooremanc4813a62020-10-23 11:45:43 +0200141 ++test_driver_key_management_hooks.hits;
Steven Cooreman04524762020-10-13 17:43:44 +0200142
Steven Cooremanc4813a62020-10-23 11:45:43 +0200143 if( test_driver_key_management_hooks.forced_status != PSA_SUCCESS )
144 return( test_driver_key_management_hooks.forced_status );
Steven Cooreman04524762020-10-13 17:43:44 +0200145
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 Cooreman40120f62020-10-29 11:42:22 +0100156 if( psa_get_key_bits( attributes ) == 0 )
Steven Cooreman04524762020-10-13 17:43:44 +0200157 {
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 Cooremanc4813a62020-10-23 11:45:43 +0200168 * So its data length is 2m+1 where m is the curve size in bits.
Steven Cooreman04524762020-10-13 17:43:44 +0200169 */
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
231ecp_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 Cooremanf1720ea2020-07-24 18:41:58 +0200244#endif /* MBEDTLS_PSA_CRYPTO_DRIVERS && PSA_CRYPTO_DRIVER_TEST */