blob: 483e1a666d7ca94333276e392c3cb736516ffab7 [file] [log] [blame]
Gilles Peskinee59236f2018-01-27 23:32:46 +01001/*
2 * PSA crypto layer on top of Mbed TLS crypto
3 */
4/* Copyright (C) 2018, ARM Limited, All Rights Reserved
5 * SPDX-License-Identifier: Apache-2.0
6 *
7 * Licensed under the Apache License, Version 2.0 (the "License"); you may
8 * not use this file except in compliance with the License.
9 * You may obtain a copy of the License at
10 *
11 * http://www.apache.org/licenses/LICENSE-2.0
12 *
13 * Unless required by applicable law or agreed to in writing, software
14 * distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
15 * WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
16 * See the License for the specific language governing permissions and
17 * limitations under the License.
18 *
19 * This file is part of mbed TLS (https://tls.mbed.org)
20 */
21
22#if !defined(MBEDTLS_CONFIG_FILE)
23#include "mbedtls/config.h"
24#else
25#include MBEDTLS_CONFIG_FILE
26#endif
27
28#if defined(MBEDTLS_PSA_CRYPTO_C)
29
30#include "psa/crypto.h"
31
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +010032#include <stdlib.h>
33#include <string.h>
34#if defined(MBEDTLS_PLATFORM_C)
35#include "mbedtls/platform.h"
36#else
37#define mbedtls_calloc calloc
38#define mbedtls_free free
39#endif
40
Gilles Peskinea5905292018-02-07 20:59:33 +010041#include "mbedtls/arc4.h"
42#include "mbedtls/blowfish.h"
43#include "mbedtls/camellia.h"
44#include "mbedtls/cipher.h"
45#include "mbedtls/ccm.h"
46#include "mbedtls/cmac.h"
Gilles Peskinee59236f2018-01-27 23:32:46 +010047#include "mbedtls/ctr_drbg.h"
Gilles Peskinea5905292018-02-07 20:59:33 +010048#include "mbedtls/des.h"
Gilles Peskine969ac722018-01-28 18:16:59 +010049#include "mbedtls/ecp.h"
Gilles Peskinee59236f2018-01-27 23:32:46 +010050#include "mbedtls/entropy.h"
Gilles Peskinea5905292018-02-07 20:59:33 +010051#include "mbedtls/error.h"
52#include "mbedtls/gcm.h"
53#include "mbedtls/md2.h"
54#include "mbedtls/md4.h"
55#include "mbedtls/md5.h"
Gilles Peskine20035e32018-02-03 22:44:14 +010056#include "mbedtls/md.h"
57#include "mbedtls/md_internal.h"
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +010058#include "mbedtls/pk.h"
Gilles Peskine969ac722018-01-28 18:16:59 +010059#include "mbedtls/pk_internal.h"
Gilles Peskinea5905292018-02-07 20:59:33 +010060#include "mbedtls/ripemd160.h"
Gilles Peskine969ac722018-01-28 18:16:59 +010061#include "mbedtls/rsa.h"
Gilles Peskinea5905292018-02-07 20:59:33 +010062#include "mbedtls/sha1.h"
63#include "mbedtls/sha256.h"
64#include "mbedtls/sha512.h"
65#include "mbedtls/xtea.h"
66
Gilles Peskinee59236f2018-01-27 23:32:46 +010067
68
69/* Implementation that should never be optimized out by the compiler */
70static void mbedtls_zeroize( void *v, size_t n )
71{
72 volatile unsigned char *p = v; while( n-- ) *p++ = 0;
73}
74
Gilles Peskine9ef733f2018-02-07 21:05:37 +010075/* constant-time buffer comparison */
76static inline int safer_memcmp( const uint8_t *a, const uint8_t *b, size_t n )
77{
78 size_t i;
79 unsigned char diff = 0;
80
81 for( i = 0; i < n; i++ )
82 diff |= a[i] ^ b[i];
83
84 return( diff );
85}
86
87
88
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +010089/****************************************************************/
90/* Global data, support functions and library management */
91/****************************************************************/
92
93/* Number of key slots (plus one because 0 is not used).
94 * The value is a compile-time constant for now, for simplicity. */
95#define MBEDTLS_PSA_KEY_SLOT_COUNT 32
96
97typedef struct {
98 psa_key_type_t type;
mohammad16038cc1cee2018-03-28 01:21:33 +030099 psa_key_policy_t policy;
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100100 union {
101 struct raw_data {
102 uint8_t *data;
103 size_t bytes;
104 } raw;
Gilles Peskine969ac722018-01-28 18:16:59 +0100105#if defined(MBEDTLS_RSA_C)
106 mbedtls_rsa_context *rsa;
107#endif /* MBEDTLS_RSA_C */
108#if defined(MBEDTLS_ECP_C)
109 mbedtls_ecp_keypair *ecp;
110#endif /* MBEDTLS_ECP_C */
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100111 } data;
112} key_slot_t;
113
Gilles Peskinee59236f2018-01-27 23:32:46 +0100114typedef struct {
115 int initialized;
116 mbedtls_entropy_context entropy;
117 mbedtls_ctr_drbg_context ctr_drbg;
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100118 key_slot_t key_slots[MBEDTLS_PSA_KEY_SLOT_COUNT];
Gilles Peskinee59236f2018-01-27 23:32:46 +0100119} psa_global_data_t;
120
121static psa_global_data_t global_data;
122
123static psa_status_t mbedtls_to_psa_error( int ret )
124{
Gilles Peskinea5905292018-02-07 20:59:33 +0100125 /* If there's both a high-level code and low-level code, dispatch on
126 * the high-level code. */
127 switch( ret < -0x7f ? - ( -ret & 0x7f80 ) : ret )
Gilles Peskinee59236f2018-01-27 23:32:46 +0100128 {
129 case 0:
130 return( PSA_SUCCESS );
Gilles Peskinea5905292018-02-07 20:59:33 +0100131
132 case MBEDTLS_ERR_AES_INVALID_KEY_LENGTH:
133 case MBEDTLS_ERR_AES_INVALID_INPUT_LENGTH:
134 case MBEDTLS_ERR_AES_FEATURE_UNAVAILABLE:
135 return( PSA_ERROR_NOT_SUPPORTED );
136 case MBEDTLS_ERR_AES_HW_ACCEL_FAILED:
137 return( PSA_ERROR_HARDWARE_FAILURE );
138
139 case MBEDTLS_ERR_ARC4_HW_ACCEL_FAILED:
140 return( PSA_ERROR_HARDWARE_FAILURE );
141
142 case MBEDTLS_ERR_BLOWFISH_INVALID_KEY_LENGTH:
143 case MBEDTLS_ERR_BLOWFISH_INVALID_INPUT_LENGTH:
144 return( PSA_ERROR_NOT_SUPPORTED );
145 case MBEDTLS_ERR_BLOWFISH_HW_ACCEL_FAILED:
146 return( PSA_ERROR_HARDWARE_FAILURE );
147
148 case MBEDTLS_ERR_CAMELLIA_INVALID_KEY_LENGTH:
149 case MBEDTLS_ERR_CAMELLIA_INVALID_INPUT_LENGTH:
150 return( PSA_ERROR_NOT_SUPPORTED );
151 case MBEDTLS_ERR_CAMELLIA_HW_ACCEL_FAILED:
152 return( PSA_ERROR_HARDWARE_FAILURE );
153
154 case MBEDTLS_ERR_CCM_BAD_INPUT:
155 return( PSA_ERROR_INVALID_ARGUMENT );
156 case MBEDTLS_ERR_CCM_AUTH_FAILED:
157 return( PSA_ERROR_INVALID_SIGNATURE );
158 case MBEDTLS_ERR_CCM_HW_ACCEL_FAILED:
159 return( PSA_ERROR_HARDWARE_FAILURE );
160
161 case MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE:
162 return( PSA_ERROR_NOT_SUPPORTED );
163 case MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA:
164 return( PSA_ERROR_INVALID_ARGUMENT );
165 case MBEDTLS_ERR_CIPHER_ALLOC_FAILED:
166 return( PSA_ERROR_INSUFFICIENT_MEMORY );
167 case MBEDTLS_ERR_CIPHER_INVALID_PADDING:
168 return( PSA_ERROR_INVALID_PADDING );
169 case MBEDTLS_ERR_CIPHER_FULL_BLOCK_EXPECTED:
170 return( PSA_ERROR_BAD_STATE );
171 case MBEDTLS_ERR_CIPHER_AUTH_FAILED:
172 return( PSA_ERROR_INVALID_SIGNATURE );
173 case MBEDTLS_ERR_CIPHER_INVALID_CONTEXT:
174 return( PSA_ERROR_TAMPERING_DETECTED );
175 case MBEDTLS_ERR_CIPHER_HW_ACCEL_FAILED:
176 return( PSA_ERROR_HARDWARE_FAILURE );
177
178 case MBEDTLS_ERR_CMAC_HW_ACCEL_FAILED:
179 return( PSA_ERROR_HARDWARE_FAILURE );
180
181 case MBEDTLS_ERR_CTR_DRBG_ENTROPY_SOURCE_FAILED:
182 return( PSA_ERROR_INSUFFICIENT_ENTROPY );
183 case MBEDTLS_ERR_CTR_DRBG_REQUEST_TOO_BIG:
184 case MBEDTLS_ERR_CTR_DRBG_INPUT_TOO_BIG:
185 return( PSA_ERROR_NOT_SUPPORTED );
186 case MBEDTLS_ERR_CTR_DRBG_FILE_IO_ERROR:
187 return( PSA_ERROR_INSUFFICIENT_ENTROPY );
188
189 case MBEDTLS_ERR_DES_INVALID_INPUT_LENGTH:
190 return( PSA_ERROR_NOT_SUPPORTED );
191 case MBEDTLS_ERR_DES_HW_ACCEL_FAILED:
192 return( PSA_ERROR_HARDWARE_FAILURE );
193
Gilles Peskinee59236f2018-01-27 23:32:46 +0100194 case MBEDTLS_ERR_ENTROPY_NO_SOURCES_DEFINED:
195 case MBEDTLS_ERR_ENTROPY_NO_STRONG_SOURCE:
196 case MBEDTLS_ERR_ENTROPY_SOURCE_FAILED:
197 return( PSA_ERROR_INSUFFICIENT_ENTROPY );
Gilles Peskinea5905292018-02-07 20:59:33 +0100198
199 case MBEDTLS_ERR_GCM_AUTH_FAILED:
200 return( PSA_ERROR_INVALID_SIGNATURE );
201 case MBEDTLS_ERR_GCM_BAD_INPUT:
202 return( PSA_ERROR_NOT_SUPPORTED );
203 case MBEDTLS_ERR_GCM_HW_ACCEL_FAILED:
204 return( PSA_ERROR_HARDWARE_FAILURE );
205
206 case MBEDTLS_ERR_MD2_HW_ACCEL_FAILED:
207 case MBEDTLS_ERR_MD4_HW_ACCEL_FAILED:
208 case MBEDTLS_ERR_MD5_HW_ACCEL_FAILED:
209 return( PSA_ERROR_HARDWARE_FAILURE );
210
211 case MBEDTLS_ERR_MD_FEATURE_UNAVAILABLE:
212 return( PSA_ERROR_NOT_SUPPORTED );
213 case MBEDTLS_ERR_MD_BAD_INPUT_DATA:
214 return( PSA_ERROR_INVALID_ARGUMENT );
215 case MBEDTLS_ERR_MD_ALLOC_FAILED:
216 return( PSA_ERROR_INSUFFICIENT_MEMORY );
217 case MBEDTLS_ERR_MD_FILE_IO_ERROR:
218 return( PSA_ERROR_STORAGE_FAILURE );
219 case MBEDTLS_ERR_MD_HW_ACCEL_FAILED:
220 return( PSA_ERROR_HARDWARE_FAILURE );
221
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100222 case MBEDTLS_ERR_PK_ALLOC_FAILED:
223 return( PSA_ERROR_INSUFFICIENT_MEMORY );
224 case MBEDTLS_ERR_PK_TYPE_MISMATCH:
225 case MBEDTLS_ERR_PK_BAD_INPUT_DATA:
226 return( PSA_ERROR_INVALID_ARGUMENT );
227 case MBEDTLS_ERR_PK_FILE_IO_ERROR:
Gilles Peskinea5905292018-02-07 20:59:33 +0100228 return( PSA_ERROR_STORAGE_FAILURE );
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100229 case MBEDTLS_ERR_PK_KEY_INVALID_VERSION:
230 case MBEDTLS_ERR_PK_KEY_INVALID_FORMAT:
231 return( PSA_ERROR_INVALID_ARGUMENT );
232 case MBEDTLS_ERR_PK_UNKNOWN_PK_ALG:
233 return( PSA_ERROR_NOT_SUPPORTED );
234 case MBEDTLS_ERR_PK_PASSWORD_REQUIRED:
235 case MBEDTLS_ERR_PK_PASSWORD_MISMATCH:
236 return( PSA_ERROR_NOT_PERMITTED );
237 case MBEDTLS_ERR_PK_INVALID_PUBKEY:
238 return( PSA_ERROR_INVALID_ARGUMENT );
239 case MBEDTLS_ERR_PK_INVALID_ALG:
240 case MBEDTLS_ERR_PK_UNKNOWN_NAMED_CURVE:
241 case MBEDTLS_ERR_PK_FEATURE_UNAVAILABLE:
242 return( PSA_ERROR_NOT_SUPPORTED );
243 case MBEDTLS_ERR_PK_SIG_LEN_MISMATCH:
244 return( PSA_ERROR_INVALID_SIGNATURE );
Gilles Peskinea5905292018-02-07 20:59:33 +0100245 case MBEDTLS_ERR_PK_HW_ACCEL_FAILED:
246 return( PSA_ERROR_HARDWARE_FAILURE );
247
248 case MBEDTLS_ERR_RIPEMD160_HW_ACCEL_FAILED:
249 return( PSA_ERROR_HARDWARE_FAILURE );
250
251 case MBEDTLS_ERR_RSA_BAD_INPUT_DATA:
252 return( PSA_ERROR_INVALID_ARGUMENT );
253 case MBEDTLS_ERR_RSA_INVALID_PADDING:
254 return( PSA_ERROR_INVALID_PADDING );
255 case MBEDTLS_ERR_RSA_KEY_GEN_FAILED:
256 return( PSA_ERROR_HARDWARE_FAILURE );
257 case MBEDTLS_ERR_RSA_KEY_CHECK_FAILED:
258 return( PSA_ERROR_INVALID_ARGUMENT );
259 case MBEDTLS_ERR_RSA_PUBLIC_FAILED:
260 case MBEDTLS_ERR_RSA_PRIVATE_FAILED:
261 return( PSA_ERROR_TAMPERING_DETECTED );
262 case MBEDTLS_ERR_RSA_VERIFY_FAILED:
263 return( PSA_ERROR_INVALID_SIGNATURE );
264 case MBEDTLS_ERR_RSA_OUTPUT_TOO_LARGE:
265 return( PSA_ERROR_BUFFER_TOO_SMALL );
266 case MBEDTLS_ERR_RSA_RNG_FAILED:
267 return( PSA_ERROR_INSUFFICIENT_MEMORY );
268 case MBEDTLS_ERR_RSA_UNSUPPORTED_OPERATION:
269 return( PSA_ERROR_NOT_SUPPORTED );
270 case MBEDTLS_ERR_RSA_HW_ACCEL_FAILED:
271 return( PSA_ERROR_HARDWARE_FAILURE );
272
273 case MBEDTLS_ERR_SHA1_HW_ACCEL_FAILED:
274 case MBEDTLS_ERR_SHA256_HW_ACCEL_FAILED:
275 case MBEDTLS_ERR_SHA512_HW_ACCEL_FAILED:
276 return( PSA_ERROR_HARDWARE_FAILURE );
277
278 case MBEDTLS_ERR_XTEA_INVALID_INPUT_LENGTH:
279 return( PSA_ERROR_INVALID_ARGUMENT );
280 case MBEDTLS_ERR_XTEA_HW_ACCEL_FAILED:
281 return( PSA_ERROR_HARDWARE_FAILURE );
282
Gilles Peskinee59236f2018-01-27 23:32:46 +0100283 default:
284 return( PSA_ERROR_UNKNOWN_ERROR );
285 }
286}
287
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100288
289
290/****************************************************************/
291/* Key management */
292/****************************************************************/
293
294psa_status_t psa_import_key(psa_key_slot_t key,
295 psa_key_type_t type,
296 const uint8_t *data,
297 size_t data_length)
298{
299 key_slot_t *slot;
300
301 if( key == 0 || key > MBEDTLS_PSA_KEY_SLOT_COUNT )
302 return( PSA_ERROR_INVALID_ARGUMENT );
303 slot = &global_data.key_slots[key];
304 if( slot->type != PSA_KEY_TYPE_NONE )
305 return( PSA_ERROR_OCCUPIED_SLOT );
306
Gilles Peskine8c9def32018-02-08 10:02:12 +0100307 if( PSA_KEY_TYPE_IS_RAW_BYTES( type ) )
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100308 {
Gilles Peskine6d912132018-03-07 16:41:37 +0100309 /* Ensure that a bytes-to-bit conversion won't overflow. */
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100310 if( data_length > SIZE_MAX / 8 )
311 return( PSA_ERROR_NOT_SUPPORTED );
312 slot->data.raw.data = mbedtls_calloc( 1, data_length );
313 if( slot->data.raw.data == NULL )
314 return( PSA_ERROR_INSUFFICIENT_MEMORY );
315 memcpy( slot->data.raw.data, data, data_length );
316 slot->data.raw.bytes = data_length;
317 }
318 else
Gilles Peskine969ac722018-01-28 18:16:59 +0100319#if defined(MBEDTLS_PK_PARSE_C)
Gilles Peskinec66ea6a2018-02-03 22:43:28 +0100320 if( type == PSA_KEY_TYPE_RSA_PUBLIC_KEY ||
321 type == PSA_KEY_TYPE_RSA_KEYPAIR ||
322 PSA_KEY_TYPE_IS_ECC( type ) )
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100323 {
324 int ret;
Gilles Peskine969ac722018-01-28 18:16:59 +0100325 mbedtls_pk_context pk;
326 mbedtls_pk_init( &pk );
Gilles Peskinec66ea6a2018-02-03 22:43:28 +0100327 if( PSA_KEY_TYPE_IS_KEYPAIR( type ) )
328 ret = mbedtls_pk_parse_key( &pk, data, data_length, NULL, 0 );
329 else
330 ret = mbedtls_pk_parse_public_key( &pk, data, data_length );
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100331 if( ret != 0 )
332 return( mbedtls_to_psa_error( ret ) );
Gilles Peskine969ac722018-01-28 18:16:59 +0100333 switch( mbedtls_pk_get_type( &pk ) )
334 {
335#if defined(MBEDTLS_RSA_C)
336 case MBEDTLS_PK_RSA:
Gilles Peskinec66ea6a2018-02-03 22:43:28 +0100337 if( type == PSA_KEY_TYPE_RSA_PUBLIC_KEY ||
338 type == PSA_KEY_TYPE_RSA_KEYPAIR )
Gilles Peskine969ac722018-01-28 18:16:59 +0100339 slot->data.rsa = pk.pk_ctx;
340 else
341 return( PSA_ERROR_INVALID_ARGUMENT );
342 break;
343#endif /* MBEDTLS_RSA_C */
344#if defined(MBEDTLS_ECP_C)
345 case MBEDTLS_PK_ECKEY:
346 if( PSA_KEY_TYPE_IS_ECC( type ) )
347 {
348 // TODO: check curve
349 slot->data.ecp = pk.pk_ctx;
350 }
351 else
352 return( PSA_ERROR_INVALID_ARGUMENT );
353 break;
354#endif /* MBEDTLS_ECP_C */
355 default:
356 return( PSA_ERROR_INVALID_ARGUMENT );
357 }
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100358 }
359 else
Gilles Peskine969ac722018-01-28 18:16:59 +0100360#endif /* defined(MBEDTLS_PK_PARSE_C) */
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100361 {
362 return( PSA_ERROR_NOT_SUPPORTED );
363 }
364
365 slot->type = type;
366 return( PSA_SUCCESS );
367}
368
369psa_status_t psa_destroy_key(psa_key_slot_t key)
370{
371 key_slot_t *slot;
372
373 if( key == 0 || key > MBEDTLS_PSA_KEY_SLOT_COUNT )
374 return( PSA_ERROR_INVALID_ARGUMENT );
375 slot = &global_data.key_slots[key];
376 if( slot->type == PSA_KEY_TYPE_NONE )
377 return( PSA_ERROR_EMPTY_SLOT );
378
Gilles Peskine8c9def32018-02-08 10:02:12 +0100379 if( PSA_KEY_TYPE_IS_RAW_BYTES( slot->type ) )
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100380 {
381 mbedtls_free( slot->data.raw.data );
382 }
383 else
Gilles Peskine969ac722018-01-28 18:16:59 +0100384#if defined(MBEDTLS_RSA_C)
Gilles Peskinec66ea6a2018-02-03 22:43:28 +0100385 if( slot->type == PSA_KEY_TYPE_RSA_PUBLIC_KEY ||
386 slot->type == PSA_KEY_TYPE_RSA_KEYPAIR )
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100387 {
Gilles Peskine969ac722018-01-28 18:16:59 +0100388 mbedtls_rsa_free( slot->data.rsa );
Gilles Peskine3c6e9702018-03-07 16:42:44 +0100389 mbedtls_free( slot->data.rsa );
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100390 }
391 else
Gilles Peskine969ac722018-01-28 18:16:59 +0100392#endif /* defined(MBEDTLS_RSA_C) */
393#if defined(MBEDTLS_ECP_C)
394 if( PSA_KEY_TYPE_IS_ECC( slot->type ) )
395 {
396 mbedtls_ecp_keypair_free( slot->data.ecp );
Gilles Peskine3c6e9702018-03-07 16:42:44 +0100397 mbedtls_free( slot->data.ecp );
Gilles Peskine969ac722018-01-28 18:16:59 +0100398 }
399 else
400#endif /* defined(MBEDTLS_ECP_C) */
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100401 {
402 /* Shouldn't happen: the key type is not any type that we
Gilles Peskine6d912132018-03-07 16:41:37 +0100403 * put in. */
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100404 return( PSA_ERROR_TAMPERING_DETECTED );
405 }
406
407 mbedtls_zeroize( slot, sizeof( *slot ) );
408 return( PSA_SUCCESS );
409}
410
411psa_status_t psa_get_key_information(psa_key_slot_t key,
412 psa_key_type_t *type,
413 size_t *bits)
414{
415 key_slot_t *slot;
416
417 if( key == 0 || key > MBEDTLS_PSA_KEY_SLOT_COUNT )
Gilles Peskinec66ea6a2018-02-03 22:43:28 +0100418 return( PSA_ERROR_EMPTY_SLOT );
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100419 slot = &global_data.key_slots[key];
420 if( type != NULL )
421 *type = slot->type;
422 if( bits != NULL )
423 *bits = 0;
424 if( slot->type == PSA_KEY_TYPE_NONE )
425 return( PSA_ERROR_EMPTY_SLOT );
426
Gilles Peskine8c9def32018-02-08 10:02:12 +0100427 if( PSA_KEY_TYPE_IS_RAW_BYTES( slot->type ) )
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100428 {
429 if( bits != NULL )
430 *bits = slot->data.raw.bytes * 8;
431 }
432 else
Gilles Peskine969ac722018-01-28 18:16:59 +0100433#if defined(MBEDTLS_RSA_C)
Gilles Peskinec66ea6a2018-02-03 22:43:28 +0100434 if( slot->type == PSA_KEY_TYPE_RSA_PUBLIC_KEY ||
435 slot->type == PSA_KEY_TYPE_RSA_KEYPAIR )
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100436 {
437 if( bits != NULL )
Gilles Peskine969ac722018-01-28 18:16:59 +0100438 *bits = mbedtls_rsa_get_bitlen( slot->data.rsa );
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100439 }
440 else
Gilles Peskine969ac722018-01-28 18:16:59 +0100441#endif /* defined(MBEDTLS_RSA_C) */
442#if defined(MBEDTLS_ECP_C)
443 if( PSA_KEY_TYPE_IS_ECC( slot->type ) )
444 {
445 if( bits != NULL )
446 *bits = slot->data.ecp->grp.pbits;
447 }
448 else
449#endif /* defined(MBEDTLS_ECP_C) */
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100450 {
451 /* Shouldn't happen: the key type is not any type that we
Gilles Peskine6d912132018-03-07 16:41:37 +0100452 * put in. */
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100453 return( PSA_ERROR_TAMPERING_DETECTED );
454 }
455
456 return( PSA_SUCCESS );
457}
458
459psa_status_t psa_export_key(psa_key_slot_t key,
460 uint8_t *data,
461 size_t data_size,
462 size_t *data_length)
463{
464 key_slot_t *slot;
465
466 if( key == 0 || key > MBEDTLS_PSA_KEY_SLOT_COUNT )
Gilles Peskinec66ea6a2018-02-03 22:43:28 +0100467 return( PSA_ERROR_EMPTY_SLOT );
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100468 slot = &global_data.key_slots[key];
469 if( slot->type == PSA_KEY_TYPE_NONE )
470 return( PSA_ERROR_EMPTY_SLOT );
471
mohammad160306e79202018-03-28 13:17:44 +0300472 if( !( slot->policy.usage & PSA_KEY_USAGE_EXPORT ) )
473 return( PSA_ERROR_NOT_PERMITTED );
474
Gilles Peskine8c9def32018-02-08 10:02:12 +0100475 if( PSA_KEY_TYPE_IS_RAW_BYTES( slot->type ) )
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100476 {
477 if( slot->data.raw.bytes > data_size )
478 return( PSA_ERROR_BUFFER_TOO_SMALL );
479 memcpy( data, slot->data.raw.data, slot->data.raw.bytes );
480 *data_length = slot->data.raw.bytes;
481 return( PSA_SUCCESS );
482 }
483 else
Gilles Peskine969ac722018-01-28 18:16:59 +0100484#if defined(MBEDTLS_PK_WRITE_C)
Gilles Peskinec66ea6a2018-02-03 22:43:28 +0100485 if( slot->type == PSA_KEY_TYPE_RSA_PUBLIC_KEY ||
486 slot->type == PSA_KEY_TYPE_RSA_KEYPAIR ||
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100487 PSA_KEY_TYPE_IS_ECC( slot->type ) )
488 {
Gilles Peskine969ac722018-01-28 18:16:59 +0100489 mbedtls_pk_context pk;
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100490 int ret;
Gilles Peskine969ac722018-01-28 18:16:59 +0100491 mbedtls_pk_init( &pk );
Gilles Peskinec66ea6a2018-02-03 22:43:28 +0100492 if( slot->type == PSA_KEY_TYPE_RSA_PUBLIC_KEY ||
493 slot->type == PSA_KEY_TYPE_RSA_KEYPAIR )
Gilles Peskine969ac722018-01-28 18:16:59 +0100494 {
495 pk.pk_info = &mbedtls_rsa_info;
496 pk.pk_ctx = slot->data.rsa;
497 }
498 else
499 {
500 pk.pk_info = &mbedtls_eckey_info;
501 pk.pk_ctx = slot->data.ecp;
502 }
Gilles Peskinec66ea6a2018-02-03 22:43:28 +0100503 if( PSA_KEY_TYPE_IS_KEYPAIR( slot->type ) )
504 ret = mbedtls_pk_write_key_der( &pk, data, data_size );
505 else
506 ret = mbedtls_pk_write_pubkey_der( &pk, data, data_size );
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100507 if( ret < 0 )
508 return( mbedtls_to_psa_error( ret ) );
509 *data_length = ret;
510 return( PSA_SUCCESS );
511 }
512 else
Gilles Peskine6d912132018-03-07 16:41:37 +0100513#endif /* defined(MBEDTLS_PK_WRITE_C) */
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100514 {
Gilles Peskine6d912132018-03-07 16:41:37 +0100515 /* This shouldn't happen in the reference implementation, but
516 it is valid for a special-purpose implementation to omit
517 support for exporting certain key types. */
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100518 return( PSA_ERROR_NOT_SUPPORTED );
519 }
520}
521
522
523
524/****************************************************************/
Gilles Peskine20035e32018-02-03 22:44:14 +0100525/* Message digests */
526/****************************************************************/
527
Gilles Peskinedc2fc842018-03-07 16:42:59 +0100528static const mbedtls_md_info_t *mbedtls_md_info_from_psa( psa_algorithm_t alg )
Gilles Peskine20035e32018-02-03 22:44:14 +0100529{
530 switch( alg )
531 {
532#if defined(MBEDTLS_MD2_C)
533 case PSA_ALG_MD2:
534 return( &mbedtls_md2_info );
535#endif
536#if defined(MBEDTLS_MD4_C)
537 case PSA_ALG_MD4:
538 return( &mbedtls_md4_info );
539#endif
540#if defined(MBEDTLS_MD5_C)
541 case PSA_ALG_MD5:
542 return( &mbedtls_md5_info );
543#endif
544#if defined(MBEDTLS_RIPEMD160_C)
545 case PSA_ALG_RIPEMD160:
546 return( &mbedtls_ripemd160_info );
547#endif
548#if defined(MBEDTLS_SHA1_C)
549 case PSA_ALG_SHA_1:
550 return( &mbedtls_sha1_info );
551#endif
552#if defined(MBEDTLS_SHA256_C)
553 case PSA_ALG_SHA_224:
554 return( &mbedtls_sha224_info );
555 case PSA_ALG_SHA_256:
556 return( &mbedtls_sha256_info );
557#endif
558#if defined(MBEDTLS_SHA512_C)
559 case PSA_ALG_SHA_384:
560 return( &mbedtls_sha384_info );
561 case PSA_ALG_SHA_512:
562 return( &mbedtls_sha512_info );
563#endif
564 default:
565 return( NULL );
566 }
567}
568
569#if 0
570static psa_algorithm_t mbedtls_md_alg_to_psa( mbedtls_md_type_t md_alg )
571{
572 switch( md_alg )
573 {
574 case MBEDTLS_MD_NONE:
575 return( 0 );
576 case MBEDTLS_MD_MD2:
577 return( PSA_ALG_MD2 );
578 case MBEDTLS_MD_MD4:
579 return( PSA_ALG_MD4 );
580 case MBEDTLS_MD_MD5:
581 return( PSA_ALG_MD5 );
582 case MBEDTLS_MD_SHA1:
583 return( PSA_ALG_SHA_1 );
584 case MBEDTLS_MD_SHA224:
585 return( PSA_ALG_SHA_224 );
586 case MBEDTLS_MD_SHA256:
587 return( PSA_ALG_SHA_256 );
588 case MBEDTLS_MD_SHA384:
589 return( PSA_ALG_SHA_384 );
590 case MBEDTLS_MD_SHA512:
591 return( PSA_ALG_SHA_512 );
592 case MBEDTLS_MD_RIPEMD160:
593 return( PSA_ALG_RIPEMD160 );
594 default:
Gilles Peskine47c1bc02018-03-20 17:55:04 +0100595 return( 0 );
Gilles Peskine20035e32018-02-03 22:44:14 +0100596 }
597}
598#endif
599
Gilles Peskine9ef733f2018-02-07 21:05:37 +0100600psa_status_t psa_hash_abort( psa_hash_operation_t *operation )
601{
602 switch( operation->alg )
603 {
604#if defined(MBEDTLS_MD2_C)
605 case PSA_ALG_MD2:
606 mbedtls_md2_free( &operation->ctx.md2 );
607 break;
608#endif
609#if defined(MBEDTLS_MD4_C)
610 case PSA_ALG_MD4:
611 mbedtls_md4_free( &operation->ctx.md4 );
612 break;
613#endif
614#if defined(MBEDTLS_MD5_C)
615 case PSA_ALG_MD5:
616 mbedtls_md5_free( &operation->ctx.md5 );
617 break;
618#endif
619#if defined(MBEDTLS_RIPEMD160_C)
620 case PSA_ALG_RIPEMD160:
621 mbedtls_ripemd160_free( &operation->ctx.ripemd160 );
622 break;
623#endif
624#if defined(MBEDTLS_SHA1_C)
625 case PSA_ALG_SHA_1:
626 mbedtls_sha1_free( &operation->ctx.sha1 );
627 break;
628#endif
629#if defined(MBEDTLS_SHA256_C)
630 case PSA_ALG_SHA_224:
631 case PSA_ALG_SHA_256:
632 mbedtls_sha256_free( &operation->ctx.sha256 );
633 break;
634#endif
635#if defined(MBEDTLS_SHA512_C)
636 case PSA_ALG_SHA_384:
637 case PSA_ALG_SHA_512:
638 mbedtls_sha512_free( &operation->ctx.sha512 );
639 break;
640#endif
641 default:
642 return( PSA_ERROR_NOT_SUPPORTED );
643 }
644 operation->alg = 0;
645 return( PSA_SUCCESS );
646}
647
648psa_status_t psa_hash_start( psa_hash_operation_t *operation,
649 psa_algorithm_t alg )
650{
651 int ret;
652 operation->alg = 0;
653 switch( alg )
654 {
655#if defined(MBEDTLS_MD2_C)
656 case PSA_ALG_MD2:
657 mbedtls_md2_init( &operation->ctx.md2 );
658 ret = mbedtls_md2_starts_ret( &operation->ctx.md2 );
659 break;
660#endif
661#if defined(MBEDTLS_MD4_C)
662 case PSA_ALG_MD4:
663 mbedtls_md4_init( &operation->ctx.md4 );
664 ret = mbedtls_md4_starts_ret( &operation->ctx.md4 );
665 break;
666#endif
667#if defined(MBEDTLS_MD5_C)
668 case PSA_ALG_MD5:
669 mbedtls_md5_init( &operation->ctx.md5 );
670 ret = mbedtls_md5_starts_ret( &operation->ctx.md5 );
671 break;
672#endif
673#if defined(MBEDTLS_RIPEMD160_C)
674 case PSA_ALG_RIPEMD160:
675 mbedtls_ripemd160_init( &operation->ctx.ripemd160 );
676 ret = mbedtls_ripemd160_starts_ret( &operation->ctx.ripemd160 );
677 break;
678#endif
679#if defined(MBEDTLS_SHA1_C)
680 case PSA_ALG_SHA_1:
681 mbedtls_sha1_init( &operation->ctx.sha1 );
682 ret = mbedtls_sha1_starts_ret( &operation->ctx.sha1 );
683 break;
684#endif
685#if defined(MBEDTLS_SHA256_C)
686 case PSA_ALG_SHA_224:
687 mbedtls_sha256_init( &operation->ctx.sha256 );
688 ret = mbedtls_sha256_starts_ret( &operation->ctx.sha256, 1 );
689 break;
690 case PSA_ALG_SHA_256:
691 mbedtls_sha256_init( &operation->ctx.sha256 );
692 ret = mbedtls_sha256_starts_ret( &operation->ctx.sha256, 0 );
693 break;
694#endif
695#if defined(MBEDTLS_SHA512_C)
696 case PSA_ALG_SHA_384:
697 mbedtls_sha512_init( &operation->ctx.sha512 );
698 ret = mbedtls_sha512_starts_ret( &operation->ctx.sha512, 1 );
699 break;
700 case PSA_ALG_SHA_512:
701 mbedtls_sha512_init( &operation->ctx.sha512 );
702 ret = mbedtls_sha512_starts_ret( &operation->ctx.sha512, 0 );
703 break;
704#endif
705 default:
706 return( PSA_ERROR_NOT_SUPPORTED );
707 }
708 if( ret == 0 )
709 operation->alg = alg;
710 else
711 psa_hash_abort( operation );
712 return( mbedtls_to_psa_error( ret ) );
713}
714
715psa_status_t psa_hash_update( psa_hash_operation_t *operation,
716 const uint8_t *input,
717 size_t input_length )
718{
719 int ret;
720 switch( operation->alg )
721 {
722#if defined(MBEDTLS_MD2_C)
723 case PSA_ALG_MD2:
724 ret = mbedtls_md2_update_ret( &operation->ctx.md2,
725 input, input_length );
726 break;
727#endif
728#if defined(MBEDTLS_MD4_C)
729 case PSA_ALG_MD4:
730 ret = mbedtls_md4_update_ret( &operation->ctx.md4,
731 input, input_length );
732 break;
733#endif
734#if defined(MBEDTLS_MD5_C)
735 case PSA_ALG_MD5:
736 ret = mbedtls_md5_update_ret( &operation->ctx.md5,
737 input, input_length );
738 break;
739#endif
740#if defined(MBEDTLS_RIPEMD160_C)
741 case PSA_ALG_RIPEMD160:
742 ret = mbedtls_ripemd160_update_ret( &operation->ctx.ripemd160,
743 input, input_length );
744 break;
745#endif
746#if defined(MBEDTLS_SHA1_C)
747 case PSA_ALG_SHA_1:
748 ret = mbedtls_sha1_update_ret( &operation->ctx.sha1,
749 input, input_length );
750 break;
751#endif
752#if defined(MBEDTLS_SHA256_C)
753 case PSA_ALG_SHA_224:
754 case PSA_ALG_SHA_256:
755 ret = mbedtls_sha256_update_ret( &operation->ctx.sha256,
756 input, input_length );
757 break;
758#endif
759#if defined(MBEDTLS_SHA512_C)
760 case PSA_ALG_SHA_384:
761 case PSA_ALG_SHA_512:
762 ret = mbedtls_sha512_update_ret( &operation->ctx.sha512,
763 input, input_length );
764 break;
765#endif
766 default:
767 ret = MBEDTLS_ERR_MD_BAD_INPUT_DATA;
768 break;
769 }
770 if( ret != 0 )
771 psa_hash_abort( operation );
772 return( mbedtls_to_psa_error( ret ) );
773}
774
775psa_status_t psa_hash_finish( psa_hash_operation_t *operation,
776 uint8_t *hash,
777 size_t hash_size,
778 size_t *hash_length )
779{
780 int ret;
781 size_t actual_hash_length = PSA_HASH_FINAL_SIZE( operation->alg );
782
783 /* Fill the output buffer with something that isn't a valid hash
784 * (barring an attack on the hash and deliberately-crafted input),
785 * in case the caller doesn't check the return status properly. */
786 *hash_length = actual_hash_length;
787 memset( hash, '!', hash_size );
788
789 if( hash_size < actual_hash_length )
790 return( PSA_ERROR_BUFFER_TOO_SMALL );
791
792 switch( operation->alg )
793 {
794#if defined(MBEDTLS_MD2_C)
795 case PSA_ALG_MD2:
796 ret = mbedtls_md2_finish_ret( &operation->ctx.md2, hash );
797 break;
798#endif
799#if defined(MBEDTLS_MD4_C)
800 case PSA_ALG_MD4:
801 ret = mbedtls_md4_finish_ret( &operation->ctx.md4, hash );
802 break;
803#endif
804#if defined(MBEDTLS_MD5_C)
805 case PSA_ALG_MD5:
806 ret = mbedtls_md5_finish_ret( &operation->ctx.md5, hash );
807 break;
808#endif
809#if defined(MBEDTLS_RIPEMD160_C)
810 case PSA_ALG_RIPEMD160:
811 ret = mbedtls_ripemd160_finish_ret( &operation->ctx.ripemd160, hash );
812 break;
813#endif
814#if defined(MBEDTLS_SHA1_C)
815 case PSA_ALG_SHA_1:
816 ret = mbedtls_sha1_finish_ret( &operation->ctx.sha1, hash );
817 break;
818#endif
819#if defined(MBEDTLS_SHA256_C)
820 case PSA_ALG_SHA_224:
821 case PSA_ALG_SHA_256:
822 ret = mbedtls_sha256_finish_ret( &operation->ctx.sha256, hash );
823 break;
824#endif
825#if defined(MBEDTLS_SHA512_C)
826 case PSA_ALG_SHA_384:
827 case PSA_ALG_SHA_512:
828 ret = mbedtls_sha512_finish_ret( &operation->ctx.sha512, hash );
829 break;
830#endif
831 default:
832 ret = MBEDTLS_ERR_MD_BAD_INPUT_DATA;
833 break;
834 }
835
836 if( ret == 0 )
837 {
838 return( psa_hash_abort( operation ) );
839 }
840 else
841 {
842 psa_hash_abort( operation );
843 return( mbedtls_to_psa_error( ret ) );
844 }
845}
846
847psa_status_t psa_hash_verify(psa_hash_operation_t *operation,
848 const uint8_t *hash,
849 size_t hash_length)
850{
851 uint8_t actual_hash[MBEDTLS_MD_MAX_SIZE];
852 size_t actual_hash_length;
853 psa_status_t status = psa_hash_finish( operation,
854 actual_hash, sizeof( actual_hash ),
855 &actual_hash_length );
856 if( status != PSA_SUCCESS )
857 return( status );
858 if( actual_hash_length != hash_length )
859 return( PSA_ERROR_INVALID_SIGNATURE );
860 if( safer_memcmp( hash, actual_hash, actual_hash_length ) != 0 )
861 return( PSA_ERROR_INVALID_SIGNATURE );
862 return( PSA_SUCCESS );
863}
864
865
866
867
868/****************************************************************/
Gilles Peskine8c9def32018-02-08 10:02:12 +0100869/* MAC */
870/****************************************************************/
871
Gilles Peskinedc2fc842018-03-07 16:42:59 +0100872static const mbedtls_cipher_info_t *mbedtls_cipher_info_from_psa(
Gilles Peskine8c9def32018-02-08 10:02:12 +0100873 psa_algorithm_t alg,
874 psa_key_type_t key_type,
875 size_t key_bits )
876{
877 mbedtls_cipher_id_t cipher_id;
878 mbedtls_cipher_mode_t mode;
879
880 if( PSA_ALG_IS_CIPHER( alg ) || PSA_ALG_IS_AEAD( alg ) )
881 {
882 if( PSA_ALG_IS_BLOCK_CIPHER( alg ) )
883 alg &= ~PSA_ALG_BLOCK_CIPHER_MODE_MASK;
884 switch( alg )
885 {
886 case PSA_ALG_STREAM_CIPHER:
887 mode = MBEDTLS_MODE_STREAM;
888 break;
889 case PSA_ALG_CBC_BASE:
890 mode = MBEDTLS_MODE_CBC;
891 break;
892 case PSA_ALG_CFB_BASE:
893 mode = MBEDTLS_MODE_CFB;
894 break;
895 case PSA_ALG_OFB_BASE:
896 mode = MBEDTLS_MODE_OFB;
897 break;
898 case PSA_ALG_CTR:
899 mode = MBEDTLS_MODE_CTR;
900 break;
901 case PSA_ALG_CCM:
902 mode = MBEDTLS_MODE_CCM;
903 break;
904 case PSA_ALG_GCM:
905 mode = MBEDTLS_MODE_GCM;
906 break;
907 default:
908 return( NULL );
909 }
910 }
911 else if( alg == PSA_ALG_CMAC )
912 mode = MBEDTLS_MODE_ECB;
913 else if( alg == PSA_ALG_GMAC )
914 mode = MBEDTLS_MODE_GCM;
915 else
916 return( NULL );
917
918 switch( key_type )
919 {
920 case PSA_KEY_TYPE_AES:
921 cipher_id = MBEDTLS_CIPHER_ID_AES;
922 break;
923 case PSA_KEY_TYPE_DES:
924 if( key_bits == 64 )
925 cipher_id = MBEDTLS_CIPHER_ID_DES;
926 else
927 cipher_id = MBEDTLS_CIPHER_ID_3DES;
928 break;
929 case PSA_KEY_TYPE_CAMELLIA:
930 cipher_id = MBEDTLS_CIPHER_ID_CAMELLIA;
931 break;
932 case PSA_KEY_TYPE_ARC4:
933 cipher_id = MBEDTLS_CIPHER_ID_ARC4;
934 break;
935 default:
936 return( NULL );
937 }
938
939 return( mbedtls_cipher_info_from_values( cipher_id, key_bits, mode ) );
940}
941
942psa_status_t psa_mac_abort( psa_mac_operation_t *operation )
943{
944 switch( operation->alg )
945 {
946#if defined(MBEDTLS_CMAC_C)
947 case PSA_ALG_CMAC:
948 mbedtls_cipher_free( &operation->ctx.cmac );
949 break;
950#endif /* MBEDTLS_CMAC_C */
951 default:
952#if defined(MBEDTLS_MD_C)
953 if( PSA_ALG_IS_HMAC( operation->alg ) )
954 mbedtls_md_free( &operation->ctx.hmac );
955 else
956#endif /* MBEDTLS_MD_C */
957 return( PSA_ERROR_NOT_SUPPORTED );
958 }
959 operation->alg = 0;
960 operation->key_set = 0;
961 operation->iv_set = 0;
962 operation->iv_required = 0;
963 operation->has_input = 0;
964 return( PSA_SUCCESS );
965}
966
967psa_status_t psa_mac_start( psa_mac_operation_t *operation,
968 psa_key_slot_t key,
969 psa_algorithm_t alg )
970{
971 int ret = MBEDTLS_ERR_MD_FEATURE_UNAVAILABLE;
972 psa_status_t status;
973 key_slot_t *slot;
974 psa_key_type_t key_type;
975 size_t key_bits;
976 const mbedtls_cipher_info_t *cipher_info = NULL;
977
978 operation->alg = 0;
979 operation->key_set = 0;
980 operation->iv_set = 0;
981 operation->iv_required = 1;
982 operation->has_input = 0;
983
984 status = psa_get_key_information( key, &key_type, &key_bits );
985 if( status != PSA_SUCCESS )
986 return( status );
987 slot = &global_data.key_slots[key];
988
mohammad16036df908f2018-04-02 08:34:15 -0700989 if ( ( slot->policy.usage & PSA_KEY_USAGE_SIGN ) != 0 )
990 operation->key_usage_sign = 1;
991
992 if ( ( slot->policy.usage & PSA_KEY_USAGE_VERIFY ) != 0 )
993 operation->key_usage_verify = 1;
994
Gilles Peskine8c9def32018-02-08 10:02:12 +0100995 if( ! PSA_ALG_IS_HMAC( alg ) )
996 {
Gilles Peskinedc2fc842018-03-07 16:42:59 +0100997 cipher_info = mbedtls_cipher_info_from_psa( alg, key_type, key_bits );
Gilles Peskine8c9def32018-02-08 10:02:12 +0100998 if( cipher_info == NULL )
999 return( PSA_ERROR_NOT_SUPPORTED );
1000 operation->mac_size = cipher_info->block_size;
1001 }
1002 switch( alg )
1003 {
1004#if defined(MBEDTLS_CMAC_C)
1005 case PSA_ALG_CMAC:
1006 operation->iv_required = 0;
1007 mbedtls_cipher_init( &operation->ctx.cmac );
1008 ret = mbedtls_cipher_setup( &operation->ctx.cmac, cipher_info );
1009 if( ret != 0 )
1010 break;
1011 ret = mbedtls_cipher_cmac_starts( &operation->ctx.cmac,
1012 slot->data.raw.data,
1013 key_bits );
1014 break;
1015#endif /* MBEDTLS_CMAC_C */
1016 default:
1017#if defined(MBEDTLS_MD_C)
1018 if( PSA_ALG_IS_HMAC( alg ) )
1019 {
1020 const mbedtls_md_info_t *md_info =
Gilles Peskinedc2fc842018-03-07 16:42:59 +01001021 mbedtls_md_info_from_psa( PSA_ALG_HMAC_HASH( alg ) );
Gilles Peskine8c9def32018-02-08 10:02:12 +01001022 if( md_info == NULL )
1023 return( PSA_ERROR_NOT_SUPPORTED );
1024 if( key_type != PSA_KEY_TYPE_HMAC )
1025 return( PSA_ERROR_INVALID_ARGUMENT );
1026 operation->iv_required = 0;
1027 operation->mac_size = mbedtls_md_get_size( md_info );
1028 mbedtls_md_init( &operation->ctx.hmac );
1029 ret = mbedtls_md_setup( &operation->ctx.hmac, md_info, 1 );
1030 if( ret != 0 )
1031 break;
1032 ret = mbedtls_md_hmac_starts( &operation->ctx.hmac,
1033 slot->data.raw.data,
1034 slot->data.raw.bytes );
1035 break;
1036 }
1037 else
1038#endif /* MBEDTLS_MD_C */
1039 return( PSA_ERROR_NOT_SUPPORTED );
1040 }
1041
1042 /* If we reach this point, then the algorithm-specific part of the
1043 * context has at least been initialized, and may contain data that
1044 * needs to be wiped on error. */
1045 operation->alg = alg;
1046 if( ret != 0 )
1047 {
1048 psa_mac_abort( operation );
1049 return( mbedtls_to_psa_error( ret ) );
1050 }
1051 operation->key_set = 1;
Gilles Peskine47c1bc02018-03-20 17:55:04 +01001052 return( PSA_SUCCESS );
Gilles Peskine8c9def32018-02-08 10:02:12 +01001053}
1054
1055psa_status_t psa_mac_update( psa_mac_operation_t *operation,
1056 const uint8_t *input,
1057 size_t input_length )
1058{
1059 int ret;
1060 if( ! operation->key_set )
1061 return( PSA_ERROR_BAD_STATE );
1062 if( operation->iv_required && ! operation->iv_set )
1063 return( PSA_ERROR_BAD_STATE );
1064 operation->has_input = 1;
1065
1066 switch( operation->alg )
1067 {
1068#if defined(MBEDTLS_CMAC_C)
1069 case PSA_ALG_CMAC:
1070 ret = mbedtls_cipher_cmac_update( &operation->ctx.cmac,
1071 input, input_length );
1072 break;
1073#endif /* MBEDTLS_CMAC_C */
1074 default:
1075#if defined(MBEDTLS_MD_C)
1076 if( PSA_ALG_IS_HMAC( operation->alg ) )
1077 {
1078 ret = mbedtls_md_hmac_update( &operation->ctx.hmac,
1079 input, input_length );
1080 }
1081 else
1082#endif /* MBEDTLS_MD_C */
1083 {
1084 ret = MBEDTLS_ERR_MD_BAD_INPUT_DATA;
1085 }
1086 break;
1087 }
1088 if( ret != 0 )
1089 psa_mac_abort( operation );
1090 return( mbedtls_to_psa_error( ret ) );
1091}
1092
mohammad16036df908f2018-04-02 08:34:15 -07001093static psa_status_t psa_mac_finish_internal( psa_mac_operation_t *operation,
Gilles Peskine8c9def32018-02-08 10:02:12 +01001094 uint8_t *mac,
1095 size_t mac_size,
1096 size_t *mac_length )
1097{
1098 int ret;
1099 if( ! operation->key_set )
1100 return( PSA_ERROR_BAD_STATE );
1101 if( operation->iv_required && ! operation->iv_set )
1102 return( PSA_ERROR_BAD_STATE );
1103
1104 /* Fill the output buffer with something that isn't a valid mac
1105 * (barring an attack on the mac and deliberately-crafted input),
1106 * in case the caller doesn't check the return status properly. */
1107 *mac_length = operation->mac_size;
1108 memset( mac, '!', mac_size );
1109
1110 if( mac_size < operation->mac_size )
1111 return( PSA_ERROR_BUFFER_TOO_SMALL );
1112
1113 switch( operation->alg )
1114 {
1115#if defined(MBEDTLS_CMAC_C)
1116 case PSA_ALG_CMAC:
1117 ret = mbedtls_cipher_cmac_finish( &operation->ctx.cmac, mac );
1118 break;
1119#endif /* MBEDTLS_CMAC_C */
1120 default:
1121#if defined(MBEDTLS_MD_C)
1122 if( PSA_ALG_IS_HMAC( operation->alg ) )
1123 {
1124 ret = mbedtls_md_hmac_finish( &operation->ctx.hmac, mac );
1125 }
1126 else
1127#endif /* MBEDTLS_MD_C */
1128 {
1129 ret = MBEDTLS_ERR_MD_BAD_INPUT_DATA;
1130 }
1131 break;
1132 }
1133
1134 if( ret == 0 )
1135 {
1136 return( psa_mac_abort( operation ) );
1137 }
1138 else
1139 {
1140 psa_mac_abort( operation );
1141 return( mbedtls_to_psa_error( ret ) );
1142 }
1143}
1144
mohammad16036df908f2018-04-02 08:34:15 -07001145psa_status_t psa_mac_finish( psa_mac_operation_t *operation,
1146 uint8_t *mac,
1147 size_t mac_size,
1148 size_t *mac_length )
1149{
1150 if( !( operation->key_usage_sign ) )
1151 return( PSA_ERROR_NOT_PERMITTED );
1152
1153 return( psa_mac_finish_internal(operation, mac, mac_size, mac_length ) );
1154}
1155
Gilles Peskine8c9def32018-02-08 10:02:12 +01001156#define MBEDTLS_PSA_MAC_MAX_SIZE \
1157 ( MBEDTLS_MD_MAX_SIZE > MBEDTLS_MAX_BLOCK_LENGTH ? \
1158 MBEDTLS_MD_MAX_SIZE : \
1159 MBEDTLS_MAX_BLOCK_LENGTH )
1160psa_status_t psa_mac_verify( psa_mac_operation_t *operation,
1161 const uint8_t *mac,
1162 size_t mac_length )
1163{
1164 uint8_t actual_mac[MBEDTLS_PSA_MAC_MAX_SIZE];
1165 size_t actual_mac_length;
mohammad16036df908f2018-04-02 08:34:15 -07001166 psa_status_t status;
1167
1168 if( !( operation->key_usage_verify ) )
1169 return( PSA_ERROR_NOT_PERMITTED );
1170
1171 status = psa_mac_finish_internal( operation,
1172 actual_mac, sizeof( actual_mac ),
1173 &actual_mac_length );
Gilles Peskine8c9def32018-02-08 10:02:12 +01001174 if( status != PSA_SUCCESS )
1175 return( status );
1176 if( actual_mac_length != mac_length )
1177 return( PSA_ERROR_INVALID_SIGNATURE );
1178 if( safer_memcmp( mac, actual_mac, actual_mac_length ) != 0 )
1179 return( PSA_ERROR_INVALID_SIGNATURE );
1180 return( PSA_SUCCESS );
1181}
1182
1183
Gilles Peskine20035e32018-02-03 22:44:14 +01001184
1185
1186/****************************************************************/
1187/* Asymmetric cryptography */
1188/****************************************************************/
1189
1190psa_status_t psa_asymmetric_sign(psa_key_slot_t key,
1191 psa_algorithm_t alg,
1192 const uint8_t *hash,
1193 size_t hash_length,
1194 const uint8_t *salt,
1195 size_t salt_length,
1196 uint8_t *signature,
1197 size_t signature_size,
1198 size_t *signature_length)
1199{
1200 key_slot_t *slot;
1201
Gilles Peskine93aa0332018-02-03 23:58:03 +01001202 *signature_length = 0;
1203 (void) salt;
1204 (void) salt_length;
1205
Gilles Peskine20035e32018-02-03 22:44:14 +01001206 if( key == 0 || key > MBEDTLS_PSA_KEY_SLOT_COUNT )
1207 return( PSA_ERROR_EMPTY_SLOT );
1208 slot = &global_data.key_slots[key];
1209 if( slot->type == PSA_KEY_TYPE_NONE )
1210 return( PSA_ERROR_EMPTY_SLOT );
1211 if( ! PSA_KEY_TYPE_IS_KEYPAIR( slot->type ) )
1212 return( PSA_ERROR_INVALID_ARGUMENT );
mohammad160306e79202018-03-28 13:17:44 +03001213 if( !( slot->policy.usage & PSA_KEY_USAGE_SIGN ) )
1214 return( PSA_ERROR_NOT_PERMITTED );
Gilles Peskine20035e32018-02-03 22:44:14 +01001215
Gilles Peskine20035e32018-02-03 22:44:14 +01001216#if defined(MBEDTLS_RSA_C)
1217 if( slot->type == PSA_KEY_TYPE_RSA_KEYPAIR )
1218 {
1219 mbedtls_rsa_context *rsa = slot->data.rsa;
1220 int ret;
1221 psa_algorithm_t hash_alg = PSA_ALG_RSA_GET_HASH( alg );
Gilles Peskinedc2fc842018-03-07 16:42:59 +01001222 const mbedtls_md_info_t *md_info = mbedtls_md_info_from_psa( hash_alg );
Gilles Peskine20035e32018-02-03 22:44:14 +01001223 mbedtls_md_type_t md_alg =
1224 hash_alg == 0 ? MBEDTLS_MD_NONE : mbedtls_md_get_type( md_info );
1225 if( md_alg == MBEDTLS_MD_NONE )
1226 {
1227#if SIZE_MAX > UINT_MAX
1228 if( hash_length > UINT_MAX )
1229 return( PSA_ERROR_INVALID_ARGUMENT );
1230#endif
1231 }
1232 else
1233 {
1234 if( mbedtls_md_get_size( md_info ) != hash_length )
1235 return( PSA_ERROR_INVALID_ARGUMENT );
1236 if( md_info == NULL )
1237 return( PSA_ERROR_NOT_SUPPORTED );
1238 }
1239 if( signature_size < rsa->len )
1240 return( PSA_ERROR_BUFFER_TOO_SMALL );
1241#if defined(MBEDTLS_PKCS1_V15)
Gilles Peskinea5926232018-03-28 14:16:50 +02001242 if( PSA_ALG_IS_RSA_PKCS1V15_SIGN( alg ) )
Gilles Peskine20035e32018-02-03 22:44:14 +01001243 {
1244 mbedtls_rsa_set_padding( rsa, MBEDTLS_RSA_PKCS_V15,
1245 MBEDTLS_MD_NONE );
1246 ret = mbedtls_rsa_pkcs1_sign( rsa,
1247 mbedtls_ctr_drbg_random,
1248 &global_data.ctr_drbg,
1249 MBEDTLS_RSA_PRIVATE,
1250 md_alg, hash_length, hash,
1251 signature );
1252 }
1253 else
1254#endif /* MBEDTLS_PKCS1_V15 */
1255#if defined(MBEDTLS_PKCS1_V21)
1256 if( alg == PSA_ALG_RSA_PSS_MGF1 )
1257 {
1258 mbedtls_rsa_set_padding( rsa, MBEDTLS_RSA_PKCS_V21, md_alg );
1259 ret = mbedtls_rsa_rsassa_pss_sign( rsa,
1260 mbedtls_ctr_drbg_random,
1261 &global_data.ctr_drbg,
1262 MBEDTLS_RSA_PRIVATE,
1263 md_alg, hash_length, hash,
1264 signature );
1265 }
1266 else
1267#endif /* MBEDTLS_PKCS1_V21 */
1268 {
1269 return( PSA_ERROR_INVALID_ARGUMENT );
1270 }
Gilles Peskine93aa0332018-02-03 23:58:03 +01001271 if( ret == 0 )
1272 *signature_length = rsa->len;
Gilles Peskine20035e32018-02-03 22:44:14 +01001273 return( mbedtls_to_psa_error( ret ) );
1274 }
1275 else
1276#endif /* defined(MBEDTLS_RSA_C) */
1277#if defined(MBEDTLS_ECP_C)
1278 if( PSA_KEY_TYPE_IS_ECC( slot->type ) )
1279 {
1280 // TODO
1281 return( PSA_ERROR_NOT_SUPPORTED );
1282 }
1283 else
1284#endif /* defined(MBEDTLS_ECP_C) */
1285 {
1286 return( PSA_ERROR_NOT_SUPPORTED );
1287 }
1288}
1289
1290
mohammad16038cc1cee2018-03-28 01:21:33 +03001291/****************************************************************/
1292/* Key Policy */
1293/****************************************************************/
1294
1295void psa_key_policy_init(psa_key_policy_t *policy)
1296{
mohammad16036df908f2018-04-02 08:34:15 -07001297 memset( policy, 0, sizeof( psa_key_policy_t ) );
mohammad16038cc1cee2018-03-28 01:21:33 +03001298}
1299
1300void psa_key_policy_set_usage(psa_key_policy_t *policy,
1301 psa_key_usage_t usage,
1302 psa_algorithm_t alg)
1303{
mohammad16034eed7572018-03-28 05:14:59 -07001304 policy->usage = usage;
1305 policy->alg = alg;
mohammad16038cc1cee2018-03-28 01:21:33 +03001306}
1307
1308psa_key_usage_t psa_key_policy_get_usage(psa_key_policy_t *policy)
1309{
mohammad16036df908f2018-04-02 08:34:15 -07001310 return( policy->usage );
mohammad16038cc1cee2018-03-28 01:21:33 +03001311}
1312
1313psa_algorithm_t psa_key_policy_get_algorithm(psa_key_policy_t *policy)
1314{
mohammad16036df908f2018-04-02 08:34:15 -07001315 return( policy->alg );
mohammad16038cc1cee2018-03-28 01:21:33 +03001316}
1317
1318psa_status_t psa_set_key_policy(psa_key_slot_t key,
1319 const psa_key_policy_t *policy)
1320{
1321 key_slot_t *slot;
mohammad16038cc1cee2018-03-28 01:21:33 +03001322
1323 if( key == 0 || key > MBEDTLS_PSA_KEY_SLOT_COUNT || policy == NULL )
1324 return( PSA_ERROR_INVALID_ARGUMENT );
1325
1326 slot = &global_data.key_slots[key];
1327 if( slot->type != PSA_KEY_TYPE_NONE )
1328 return( PSA_ERROR_OCCUPIED_SLOT );
1329
mohammad16036df908f2018-04-02 08:34:15 -07001330 if( ( policy->usage & ~( PSA_KEY_USAGE_EXPORT | PSA_KEY_USAGE_ENCRYPT
1331 | PSA_KEY_USAGE_DECRYPT | PSA_KEY_USAGE_SIGN
1332 | PSA_KEY_USAGE_VERIFY ) ) != 0 )
mohammad16035feda722018-04-16 04:38:57 -07001333 return( PSA_ERROR_INVALID_ARGUMENT );
mohammad16038cc1cee2018-03-28 01:21:33 +03001334
mohammad16036df908f2018-04-02 08:34:15 -07001335 slot->policy = *policy;
mohammad16038cc1cee2018-03-28 01:21:33 +03001336
1337 return( PSA_SUCCESS );
1338}
1339
1340psa_status_t psa_get_key_policy(psa_key_slot_t key,
1341 psa_key_policy_t *policy)
1342{
1343 key_slot_t *slot;
1344
1345 if( key == 0 || key > MBEDTLS_PSA_KEY_SLOT_COUNT || policy == NULL )
1346 return( PSA_ERROR_INVALID_ARGUMENT );
1347
1348 slot = &global_data.key_slots[key];
mohammad16038cc1cee2018-03-28 01:21:33 +03001349
mohammad16036df908f2018-04-02 08:34:15 -07001350 *policy = slot->policy;
mohammad16038cc1cee2018-03-28 01:21:33 +03001351
1352 return( PSA_SUCCESS );
1353}
Gilles Peskine20035e32018-02-03 22:44:14 +01001354
1355/****************************************************************/
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +01001356/* Module setup */
1357/****************************************************************/
1358
Gilles Peskinee59236f2018-01-27 23:32:46 +01001359void mbedtls_psa_crypto_free( void )
1360{
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +01001361 size_t key;
1362 for( key = 1; key < MBEDTLS_PSA_KEY_SLOT_COUNT; key++ )
1363 psa_destroy_key( key );
Gilles Peskinee59236f2018-01-27 23:32:46 +01001364 mbedtls_ctr_drbg_free( &global_data.ctr_drbg );
1365 mbedtls_entropy_free( &global_data.entropy );
1366 mbedtls_zeroize( &global_data, sizeof( global_data ) );
1367}
1368
1369psa_status_t psa_crypto_init( void )
1370{
1371 int ret;
1372 const unsigned char drbg_seed[] = "PSA";
1373
1374 if( global_data.initialized != 0 )
1375 return( PSA_SUCCESS );
1376
1377 mbedtls_zeroize( &global_data, sizeof( global_data ) );
1378 mbedtls_entropy_init( &global_data.entropy );
1379 mbedtls_ctr_drbg_init( &global_data.ctr_drbg );
1380
1381 ret = mbedtls_ctr_drbg_seed( &global_data.ctr_drbg,
1382 mbedtls_entropy_func,
1383 &global_data.entropy,
1384 drbg_seed, sizeof( drbg_seed ) - 1 );
1385 if( ret != 0 )
1386 goto exit;
1387
Gilles Peskinee4ebc122018-03-07 14:16:44 +01001388 global_data.initialized = 1;
1389
Gilles Peskinee59236f2018-01-27 23:32:46 +01001390exit:
1391 if( ret != 0 )
1392 mbedtls_psa_crypto_free( );
1393 return( mbedtls_to_psa_error( ret ) );
1394}
1395
1396#endif /* MBEDTLS_PSA_CRYPTO_C */