blob: 781e06f3a869cf1a6a0bc79614ccfb0f2f27e0b5 [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;
mohammad1603804cd712018-03-20 22:44:08 +0200100 psa_key_lifetime_t lifetime;
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100101 union {
102 struct raw_data {
103 uint8_t *data;
104 size_t bytes;
105 } raw;
Gilles Peskine969ac722018-01-28 18:16:59 +0100106#if defined(MBEDTLS_RSA_C)
107 mbedtls_rsa_context *rsa;
108#endif /* MBEDTLS_RSA_C */
109#if defined(MBEDTLS_ECP_C)
110 mbedtls_ecp_keypair *ecp;
111#endif /* MBEDTLS_ECP_C */
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100112 } data;
113} key_slot_t;
114
Gilles Peskinee59236f2018-01-27 23:32:46 +0100115typedef struct {
116 int initialized;
117 mbedtls_entropy_context entropy;
118 mbedtls_ctr_drbg_context ctr_drbg;
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100119 key_slot_t key_slots[MBEDTLS_PSA_KEY_SLOT_COUNT];
Gilles Peskinee59236f2018-01-27 23:32:46 +0100120} psa_global_data_t;
121
122static psa_global_data_t global_data;
123
124static psa_status_t mbedtls_to_psa_error( int ret )
125{
Gilles Peskinea5905292018-02-07 20:59:33 +0100126 /* If there's both a high-level code and low-level code, dispatch on
127 * the high-level code. */
128 switch( ret < -0x7f ? - ( -ret & 0x7f80 ) : ret )
Gilles Peskinee59236f2018-01-27 23:32:46 +0100129 {
130 case 0:
131 return( PSA_SUCCESS );
Gilles Peskinea5905292018-02-07 20:59:33 +0100132
133 case MBEDTLS_ERR_AES_INVALID_KEY_LENGTH:
134 case MBEDTLS_ERR_AES_INVALID_INPUT_LENGTH:
135 case MBEDTLS_ERR_AES_FEATURE_UNAVAILABLE:
136 return( PSA_ERROR_NOT_SUPPORTED );
137 case MBEDTLS_ERR_AES_HW_ACCEL_FAILED:
138 return( PSA_ERROR_HARDWARE_FAILURE );
139
140 case MBEDTLS_ERR_ARC4_HW_ACCEL_FAILED:
141 return( PSA_ERROR_HARDWARE_FAILURE );
142
143 case MBEDTLS_ERR_BLOWFISH_INVALID_KEY_LENGTH:
144 case MBEDTLS_ERR_BLOWFISH_INVALID_INPUT_LENGTH:
145 return( PSA_ERROR_NOT_SUPPORTED );
146 case MBEDTLS_ERR_BLOWFISH_HW_ACCEL_FAILED:
147 return( PSA_ERROR_HARDWARE_FAILURE );
148
149 case MBEDTLS_ERR_CAMELLIA_INVALID_KEY_LENGTH:
150 case MBEDTLS_ERR_CAMELLIA_INVALID_INPUT_LENGTH:
151 return( PSA_ERROR_NOT_SUPPORTED );
152 case MBEDTLS_ERR_CAMELLIA_HW_ACCEL_FAILED:
153 return( PSA_ERROR_HARDWARE_FAILURE );
154
155 case MBEDTLS_ERR_CCM_BAD_INPUT:
156 return( PSA_ERROR_INVALID_ARGUMENT );
157 case MBEDTLS_ERR_CCM_AUTH_FAILED:
158 return( PSA_ERROR_INVALID_SIGNATURE );
159 case MBEDTLS_ERR_CCM_HW_ACCEL_FAILED:
160 return( PSA_ERROR_HARDWARE_FAILURE );
161
162 case MBEDTLS_ERR_CIPHER_FEATURE_UNAVAILABLE:
163 return( PSA_ERROR_NOT_SUPPORTED );
164 case MBEDTLS_ERR_CIPHER_BAD_INPUT_DATA:
165 return( PSA_ERROR_INVALID_ARGUMENT );
166 case MBEDTLS_ERR_CIPHER_ALLOC_FAILED:
167 return( PSA_ERROR_INSUFFICIENT_MEMORY );
168 case MBEDTLS_ERR_CIPHER_INVALID_PADDING:
169 return( PSA_ERROR_INVALID_PADDING );
170 case MBEDTLS_ERR_CIPHER_FULL_BLOCK_EXPECTED:
171 return( PSA_ERROR_BAD_STATE );
172 case MBEDTLS_ERR_CIPHER_AUTH_FAILED:
173 return( PSA_ERROR_INVALID_SIGNATURE );
174 case MBEDTLS_ERR_CIPHER_INVALID_CONTEXT:
175 return( PSA_ERROR_TAMPERING_DETECTED );
176 case MBEDTLS_ERR_CIPHER_HW_ACCEL_FAILED:
177 return( PSA_ERROR_HARDWARE_FAILURE );
178
179 case MBEDTLS_ERR_CMAC_HW_ACCEL_FAILED:
180 return( PSA_ERROR_HARDWARE_FAILURE );
181
182 case MBEDTLS_ERR_CTR_DRBG_ENTROPY_SOURCE_FAILED:
183 return( PSA_ERROR_INSUFFICIENT_ENTROPY );
184 case MBEDTLS_ERR_CTR_DRBG_REQUEST_TOO_BIG:
185 case MBEDTLS_ERR_CTR_DRBG_INPUT_TOO_BIG:
186 return( PSA_ERROR_NOT_SUPPORTED );
187 case MBEDTLS_ERR_CTR_DRBG_FILE_IO_ERROR:
188 return( PSA_ERROR_INSUFFICIENT_ENTROPY );
189
190 case MBEDTLS_ERR_DES_INVALID_INPUT_LENGTH:
191 return( PSA_ERROR_NOT_SUPPORTED );
192 case MBEDTLS_ERR_DES_HW_ACCEL_FAILED:
193 return( PSA_ERROR_HARDWARE_FAILURE );
194
Gilles Peskinee59236f2018-01-27 23:32:46 +0100195 case MBEDTLS_ERR_ENTROPY_NO_SOURCES_DEFINED:
196 case MBEDTLS_ERR_ENTROPY_NO_STRONG_SOURCE:
197 case MBEDTLS_ERR_ENTROPY_SOURCE_FAILED:
198 return( PSA_ERROR_INSUFFICIENT_ENTROPY );
Gilles Peskinea5905292018-02-07 20:59:33 +0100199
200 case MBEDTLS_ERR_GCM_AUTH_FAILED:
201 return( PSA_ERROR_INVALID_SIGNATURE );
202 case MBEDTLS_ERR_GCM_BAD_INPUT:
203 return( PSA_ERROR_NOT_SUPPORTED );
204 case MBEDTLS_ERR_GCM_HW_ACCEL_FAILED:
205 return( PSA_ERROR_HARDWARE_FAILURE );
206
207 case MBEDTLS_ERR_MD2_HW_ACCEL_FAILED:
208 case MBEDTLS_ERR_MD4_HW_ACCEL_FAILED:
209 case MBEDTLS_ERR_MD5_HW_ACCEL_FAILED:
210 return( PSA_ERROR_HARDWARE_FAILURE );
211
212 case MBEDTLS_ERR_MD_FEATURE_UNAVAILABLE:
213 return( PSA_ERROR_NOT_SUPPORTED );
214 case MBEDTLS_ERR_MD_BAD_INPUT_DATA:
215 return( PSA_ERROR_INVALID_ARGUMENT );
216 case MBEDTLS_ERR_MD_ALLOC_FAILED:
217 return( PSA_ERROR_INSUFFICIENT_MEMORY );
218 case MBEDTLS_ERR_MD_FILE_IO_ERROR:
219 return( PSA_ERROR_STORAGE_FAILURE );
220 case MBEDTLS_ERR_MD_HW_ACCEL_FAILED:
221 return( PSA_ERROR_HARDWARE_FAILURE );
222
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100223 case MBEDTLS_ERR_PK_ALLOC_FAILED:
224 return( PSA_ERROR_INSUFFICIENT_MEMORY );
225 case MBEDTLS_ERR_PK_TYPE_MISMATCH:
226 case MBEDTLS_ERR_PK_BAD_INPUT_DATA:
227 return( PSA_ERROR_INVALID_ARGUMENT );
228 case MBEDTLS_ERR_PK_FILE_IO_ERROR:
Gilles Peskinea5905292018-02-07 20:59:33 +0100229 return( PSA_ERROR_STORAGE_FAILURE );
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100230 case MBEDTLS_ERR_PK_KEY_INVALID_VERSION:
231 case MBEDTLS_ERR_PK_KEY_INVALID_FORMAT:
232 return( PSA_ERROR_INVALID_ARGUMENT );
233 case MBEDTLS_ERR_PK_UNKNOWN_PK_ALG:
234 return( PSA_ERROR_NOT_SUPPORTED );
235 case MBEDTLS_ERR_PK_PASSWORD_REQUIRED:
236 case MBEDTLS_ERR_PK_PASSWORD_MISMATCH:
237 return( PSA_ERROR_NOT_PERMITTED );
238 case MBEDTLS_ERR_PK_INVALID_PUBKEY:
239 return( PSA_ERROR_INVALID_ARGUMENT );
240 case MBEDTLS_ERR_PK_INVALID_ALG:
241 case MBEDTLS_ERR_PK_UNKNOWN_NAMED_CURVE:
242 case MBEDTLS_ERR_PK_FEATURE_UNAVAILABLE:
243 return( PSA_ERROR_NOT_SUPPORTED );
244 case MBEDTLS_ERR_PK_SIG_LEN_MISMATCH:
245 return( PSA_ERROR_INVALID_SIGNATURE );
Gilles Peskinea5905292018-02-07 20:59:33 +0100246 case MBEDTLS_ERR_PK_HW_ACCEL_FAILED:
247 return( PSA_ERROR_HARDWARE_FAILURE );
248
249 case MBEDTLS_ERR_RIPEMD160_HW_ACCEL_FAILED:
250 return( PSA_ERROR_HARDWARE_FAILURE );
251
252 case MBEDTLS_ERR_RSA_BAD_INPUT_DATA:
253 return( PSA_ERROR_INVALID_ARGUMENT );
254 case MBEDTLS_ERR_RSA_INVALID_PADDING:
255 return( PSA_ERROR_INVALID_PADDING );
256 case MBEDTLS_ERR_RSA_KEY_GEN_FAILED:
257 return( PSA_ERROR_HARDWARE_FAILURE );
258 case MBEDTLS_ERR_RSA_KEY_CHECK_FAILED:
259 return( PSA_ERROR_INVALID_ARGUMENT );
260 case MBEDTLS_ERR_RSA_PUBLIC_FAILED:
261 case MBEDTLS_ERR_RSA_PRIVATE_FAILED:
262 return( PSA_ERROR_TAMPERING_DETECTED );
263 case MBEDTLS_ERR_RSA_VERIFY_FAILED:
264 return( PSA_ERROR_INVALID_SIGNATURE );
265 case MBEDTLS_ERR_RSA_OUTPUT_TOO_LARGE:
266 return( PSA_ERROR_BUFFER_TOO_SMALL );
267 case MBEDTLS_ERR_RSA_RNG_FAILED:
268 return( PSA_ERROR_INSUFFICIENT_MEMORY );
269 case MBEDTLS_ERR_RSA_UNSUPPORTED_OPERATION:
270 return( PSA_ERROR_NOT_SUPPORTED );
271 case MBEDTLS_ERR_RSA_HW_ACCEL_FAILED:
272 return( PSA_ERROR_HARDWARE_FAILURE );
273
274 case MBEDTLS_ERR_SHA1_HW_ACCEL_FAILED:
275 case MBEDTLS_ERR_SHA256_HW_ACCEL_FAILED:
276 case MBEDTLS_ERR_SHA512_HW_ACCEL_FAILED:
277 return( PSA_ERROR_HARDWARE_FAILURE );
278
279 case MBEDTLS_ERR_XTEA_INVALID_INPUT_LENGTH:
280 return( PSA_ERROR_INVALID_ARGUMENT );
281 case MBEDTLS_ERR_XTEA_HW_ACCEL_FAILED:
282 return( PSA_ERROR_HARDWARE_FAILURE );
283
itayzafrir5c753392018-05-08 11:18:38 +0300284 case MBEDTLS_ERR_ECP_BAD_INPUT_DATA:
285 return( PSA_ERROR_INVALID_ARGUMENT );
286
Gilles Peskinee59236f2018-01-27 23:32:46 +0100287 default:
288 return( PSA_ERROR_UNKNOWN_ERROR );
289 }
290}
291
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100292
293
294/****************************************************************/
295/* Key management */
296/****************************************************************/
297
298psa_status_t psa_import_key(psa_key_slot_t key,
299 psa_key_type_t type,
300 const uint8_t *data,
301 size_t data_length)
302{
303 key_slot_t *slot;
304
305 if( key == 0 || key > MBEDTLS_PSA_KEY_SLOT_COUNT )
306 return( PSA_ERROR_INVALID_ARGUMENT );
307 slot = &global_data.key_slots[key];
308 if( slot->type != PSA_KEY_TYPE_NONE )
309 return( PSA_ERROR_OCCUPIED_SLOT );
310
Gilles Peskine8c9def32018-02-08 10:02:12 +0100311 if( PSA_KEY_TYPE_IS_RAW_BYTES( type ) )
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100312 {
Gilles Peskine6d912132018-03-07 16:41:37 +0100313 /* Ensure that a bytes-to-bit conversion won't overflow. */
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100314 if( data_length > SIZE_MAX / 8 )
315 return( PSA_ERROR_NOT_SUPPORTED );
316 slot->data.raw.data = mbedtls_calloc( 1, data_length );
317 if( slot->data.raw.data == NULL )
318 return( PSA_ERROR_INSUFFICIENT_MEMORY );
319 memcpy( slot->data.raw.data, data, data_length );
320 slot->data.raw.bytes = data_length;
321 }
322 else
Gilles Peskine969ac722018-01-28 18:16:59 +0100323#if defined(MBEDTLS_PK_PARSE_C)
Gilles Peskinec66ea6a2018-02-03 22:43:28 +0100324 if( type == PSA_KEY_TYPE_RSA_PUBLIC_KEY ||
325 type == PSA_KEY_TYPE_RSA_KEYPAIR ||
326 PSA_KEY_TYPE_IS_ECC( type ) )
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100327 {
328 int ret;
Gilles Peskine969ac722018-01-28 18:16:59 +0100329 mbedtls_pk_context pk;
330 mbedtls_pk_init( &pk );
Gilles Peskinec66ea6a2018-02-03 22:43:28 +0100331 if( PSA_KEY_TYPE_IS_KEYPAIR( type ) )
332 ret = mbedtls_pk_parse_key( &pk, data, data_length, NULL, 0 );
333 else
334 ret = mbedtls_pk_parse_public_key( &pk, data, data_length );
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100335 if( ret != 0 )
336 return( mbedtls_to_psa_error( ret ) );
Gilles Peskine969ac722018-01-28 18:16:59 +0100337 switch( mbedtls_pk_get_type( &pk ) )
338 {
339#if defined(MBEDTLS_RSA_C)
340 case MBEDTLS_PK_RSA:
Gilles Peskinec66ea6a2018-02-03 22:43:28 +0100341 if( type == PSA_KEY_TYPE_RSA_PUBLIC_KEY ||
342 type == PSA_KEY_TYPE_RSA_KEYPAIR )
Gilles Peskine969ac722018-01-28 18:16:59 +0100343 slot->data.rsa = pk.pk_ctx;
344 else
345 return( PSA_ERROR_INVALID_ARGUMENT );
346 break;
347#endif /* MBEDTLS_RSA_C */
348#if defined(MBEDTLS_ECP_C)
349 case MBEDTLS_PK_ECKEY:
350 if( PSA_KEY_TYPE_IS_ECC( type ) )
351 {
352 // TODO: check curve
353 slot->data.ecp = pk.pk_ctx;
354 }
355 else
356 return( PSA_ERROR_INVALID_ARGUMENT );
357 break;
358#endif /* MBEDTLS_ECP_C */
359 default:
360 return( PSA_ERROR_INVALID_ARGUMENT );
361 }
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100362 }
363 else
Gilles Peskine969ac722018-01-28 18:16:59 +0100364#endif /* defined(MBEDTLS_PK_PARSE_C) */
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100365 {
366 return( PSA_ERROR_NOT_SUPPORTED );
367 }
368
369 slot->type = type;
370 return( PSA_SUCCESS );
371}
372
373psa_status_t psa_destroy_key(psa_key_slot_t key)
374{
375 key_slot_t *slot;
376
377 if( key == 0 || key > MBEDTLS_PSA_KEY_SLOT_COUNT )
378 return( PSA_ERROR_INVALID_ARGUMENT );
379 slot = &global_data.key_slots[key];
380 if( slot->type == PSA_KEY_TYPE_NONE )
381 return( PSA_ERROR_EMPTY_SLOT );
382
Gilles Peskine8c9def32018-02-08 10:02:12 +0100383 if( PSA_KEY_TYPE_IS_RAW_BYTES( slot->type ) )
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100384 {
385 mbedtls_free( slot->data.raw.data );
386 }
387 else
Gilles Peskine969ac722018-01-28 18:16:59 +0100388#if defined(MBEDTLS_RSA_C)
Gilles Peskinec66ea6a2018-02-03 22:43:28 +0100389 if( slot->type == PSA_KEY_TYPE_RSA_PUBLIC_KEY ||
390 slot->type == PSA_KEY_TYPE_RSA_KEYPAIR )
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100391 {
Gilles Peskine969ac722018-01-28 18:16:59 +0100392 mbedtls_rsa_free( slot->data.rsa );
Gilles Peskine3c6e9702018-03-07 16:42:44 +0100393 mbedtls_free( slot->data.rsa );
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100394 }
395 else
Gilles Peskine969ac722018-01-28 18:16:59 +0100396#endif /* defined(MBEDTLS_RSA_C) */
397#if defined(MBEDTLS_ECP_C)
398 if( PSA_KEY_TYPE_IS_ECC( slot->type ) )
399 {
400 mbedtls_ecp_keypair_free( slot->data.ecp );
Gilles Peskine3c6e9702018-03-07 16:42:44 +0100401 mbedtls_free( slot->data.ecp );
Gilles Peskine969ac722018-01-28 18:16:59 +0100402 }
403 else
404#endif /* defined(MBEDTLS_ECP_C) */
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100405 {
406 /* Shouldn't happen: the key type is not any type that we
Gilles Peskine6d912132018-03-07 16:41:37 +0100407 * put in. */
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100408 return( PSA_ERROR_TAMPERING_DETECTED );
409 }
410
411 mbedtls_zeroize( slot, sizeof( *slot ) );
412 return( PSA_SUCCESS );
413}
414
415psa_status_t psa_get_key_information(psa_key_slot_t key,
416 psa_key_type_t *type,
417 size_t *bits)
418{
419 key_slot_t *slot;
420
421 if( key == 0 || key > MBEDTLS_PSA_KEY_SLOT_COUNT )
Gilles Peskinec66ea6a2018-02-03 22:43:28 +0100422 return( PSA_ERROR_EMPTY_SLOT );
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100423 slot = &global_data.key_slots[key];
424 if( type != NULL )
425 *type = slot->type;
426 if( bits != NULL )
427 *bits = 0;
428 if( slot->type == PSA_KEY_TYPE_NONE )
429 return( PSA_ERROR_EMPTY_SLOT );
430
Gilles Peskine8c9def32018-02-08 10:02:12 +0100431 if( PSA_KEY_TYPE_IS_RAW_BYTES( slot->type ) )
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100432 {
433 if( bits != NULL )
434 *bits = slot->data.raw.bytes * 8;
435 }
436 else
Gilles Peskine969ac722018-01-28 18:16:59 +0100437#if defined(MBEDTLS_RSA_C)
Gilles Peskinec66ea6a2018-02-03 22:43:28 +0100438 if( slot->type == PSA_KEY_TYPE_RSA_PUBLIC_KEY ||
439 slot->type == PSA_KEY_TYPE_RSA_KEYPAIR )
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100440 {
441 if( bits != NULL )
Gilles Peskine969ac722018-01-28 18:16:59 +0100442 *bits = mbedtls_rsa_get_bitlen( slot->data.rsa );
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100443 }
444 else
Gilles Peskine969ac722018-01-28 18:16:59 +0100445#endif /* defined(MBEDTLS_RSA_C) */
446#if defined(MBEDTLS_ECP_C)
447 if( PSA_KEY_TYPE_IS_ECC( slot->type ) )
448 {
449 if( bits != NULL )
450 *bits = slot->data.ecp->grp.pbits;
451 }
452 else
453#endif /* defined(MBEDTLS_ECP_C) */
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100454 {
455 /* Shouldn't happen: the key type is not any type that we
Gilles Peskine6d912132018-03-07 16:41:37 +0100456 * put in. */
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100457 return( PSA_ERROR_TAMPERING_DETECTED );
458 }
459
460 return( PSA_SUCCESS );
461}
462
463psa_status_t psa_export_key(psa_key_slot_t key,
464 uint8_t *data,
465 size_t data_size,
466 size_t *data_length)
467{
468 key_slot_t *slot;
469
470 if( key == 0 || key > MBEDTLS_PSA_KEY_SLOT_COUNT )
Gilles Peskinec66ea6a2018-02-03 22:43:28 +0100471 return( PSA_ERROR_EMPTY_SLOT );
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100472 slot = &global_data.key_slots[key];
473 if( slot->type == PSA_KEY_TYPE_NONE )
474 return( PSA_ERROR_EMPTY_SLOT );
475
mohammad160306e79202018-03-28 13:17:44 +0300476 if( !( slot->policy.usage & PSA_KEY_USAGE_EXPORT ) )
477 return( PSA_ERROR_NOT_PERMITTED );
478
Gilles Peskine8c9def32018-02-08 10:02:12 +0100479 if( PSA_KEY_TYPE_IS_RAW_BYTES( slot->type ) )
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100480 {
481 if( slot->data.raw.bytes > data_size )
482 return( PSA_ERROR_BUFFER_TOO_SMALL );
483 memcpy( data, slot->data.raw.data, slot->data.raw.bytes );
484 *data_length = slot->data.raw.bytes;
485 return( PSA_SUCCESS );
486 }
487 else
Gilles Peskine969ac722018-01-28 18:16:59 +0100488#if defined(MBEDTLS_PK_WRITE_C)
Gilles Peskinec66ea6a2018-02-03 22:43:28 +0100489 if( slot->type == PSA_KEY_TYPE_RSA_PUBLIC_KEY ||
490 slot->type == PSA_KEY_TYPE_RSA_KEYPAIR ||
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100491 PSA_KEY_TYPE_IS_ECC( slot->type ) )
492 {
Gilles Peskine969ac722018-01-28 18:16:59 +0100493 mbedtls_pk_context pk;
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100494 int ret;
Gilles Peskine969ac722018-01-28 18:16:59 +0100495 mbedtls_pk_init( &pk );
Gilles Peskinec66ea6a2018-02-03 22:43:28 +0100496 if( slot->type == PSA_KEY_TYPE_RSA_PUBLIC_KEY ||
497 slot->type == PSA_KEY_TYPE_RSA_KEYPAIR )
Gilles Peskine969ac722018-01-28 18:16:59 +0100498 {
499 pk.pk_info = &mbedtls_rsa_info;
500 pk.pk_ctx = slot->data.rsa;
501 }
502 else
503 {
504 pk.pk_info = &mbedtls_eckey_info;
505 pk.pk_ctx = slot->data.ecp;
506 }
Gilles Peskinec66ea6a2018-02-03 22:43:28 +0100507 if( PSA_KEY_TYPE_IS_KEYPAIR( slot->type ) )
508 ret = mbedtls_pk_write_key_der( &pk, data, data_size );
509 else
510 ret = mbedtls_pk_write_pubkey_der( &pk, data, data_size );
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100511 if( ret < 0 )
512 return( mbedtls_to_psa_error( ret ) );
513 *data_length = ret;
514 return( PSA_SUCCESS );
515 }
516 else
Gilles Peskine6d912132018-03-07 16:41:37 +0100517#endif /* defined(MBEDTLS_PK_WRITE_C) */
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100518 {
Gilles Peskine6d912132018-03-07 16:41:37 +0100519 /* This shouldn't happen in the reference implementation, but
520 it is valid for a special-purpose implementation to omit
521 support for exporting certain key types. */
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +0100522 return( PSA_ERROR_NOT_SUPPORTED );
523 }
524}
525
526
527
528/****************************************************************/
Gilles Peskine20035e32018-02-03 22:44:14 +0100529/* Message digests */
530/****************************************************************/
531
Gilles Peskinedc2fc842018-03-07 16:42:59 +0100532static const mbedtls_md_info_t *mbedtls_md_info_from_psa( psa_algorithm_t alg )
Gilles Peskine20035e32018-02-03 22:44:14 +0100533{
534 switch( alg )
535 {
536#if defined(MBEDTLS_MD2_C)
537 case PSA_ALG_MD2:
538 return( &mbedtls_md2_info );
539#endif
540#if defined(MBEDTLS_MD4_C)
541 case PSA_ALG_MD4:
542 return( &mbedtls_md4_info );
543#endif
544#if defined(MBEDTLS_MD5_C)
545 case PSA_ALG_MD5:
546 return( &mbedtls_md5_info );
547#endif
548#if defined(MBEDTLS_RIPEMD160_C)
549 case PSA_ALG_RIPEMD160:
550 return( &mbedtls_ripemd160_info );
551#endif
552#if defined(MBEDTLS_SHA1_C)
553 case PSA_ALG_SHA_1:
554 return( &mbedtls_sha1_info );
555#endif
556#if defined(MBEDTLS_SHA256_C)
557 case PSA_ALG_SHA_224:
558 return( &mbedtls_sha224_info );
559 case PSA_ALG_SHA_256:
560 return( &mbedtls_sha256_info );
561#endif
562#if defined(MBEDTLS_SHA512_C)
563 case PSA_ALG_SHA_384:
564 return( &mbedtls_sha384_info );
565 case PSA_ALG_SHA_512:
566 return( &mbedtls_sha512_info );
567#endif
568 default:
569 return( NULL );
570 }
571}
572
573#if 0
574static psa_algorithm_t mbedtls_md_alg_to_psa( mbedtls_md_type_t md_alg )
575{
576 switch( md_alg )
577 {
578 case MBEDTLS_MD_NONE:
579 return( 0 );
580 case MBEDTLS_MD_MD2:
581 return( PSA_ALG_MD2 );
582 case MBEDTLS_MD_MD4:
583 return( PSA_ALG_MD4 );
584 case MBEDTLS_MD_MD5:
585 return( PSA_ALG_MD5 );
586 case MBEDTLS_MD_SHA1:
587 return( PSA_ALG_SHA_1 );
588 case MBEDTLS_MD_SHA224:
589 return( PSA_ALG_SHA_224 );
590 case MBEDTLS_MD_SHA256:
591 return( PSA_ALG_SHA_256 );
592 case MBEDTLS_MD_SHA384:
593 return( PSA_ALG_SHA_384 );
594 case MBEDTLS_MD_SHA512:
595 return( PSA_ALG_SHA_512 );
596 case MBEDTLS_MD_RIPEMD160:
597 return( PSA_ALG_RIPEMD160 );
598 default:
Gilles Peskine47c1bc02018-03-20 17:55:04 +0100599 return( 0 );
Gilles Peskine20035e32018-02-03 22:44:14 +0100600 }
601}
602#endif
603
Gilles Peskine9ef733f2018-02-07 21:05:37 +0100604psa_status_t psa_hash_abort( psa_hash_operation_t *operation )
605{
606 switch( operation->alg )
607 {
608#if defined(MBEDTLS_MD2_C)
609 case PSA_ALG_MD2:
610 mbedtls_md2_free( &operation->ctx.md2 );
611 break;
612#endif
613#if defined(MBEDTLS_MD4_C)
614 case PSA_ALG_MD4:
615 mbedtls_md4_free( &operation->ctx.md4 );
616 break;
617#endif
618#if defined(MBEDTLS_MD5_C)
619 case PSA_ALG_MD5:
620 mbedtls_md5_free( &operation->ctx.md5 );
621 break;
622#endif
623#if defined(MBEDTLS_RIPEMD160_C)
624 case PSA_ALG_RIPEMD160:
625 mbedtls_ripemd160_free( &operation->ctx.ripemd160 );
626 break;
627#endif
628#if defined(MBEDTLS_SHA1_C)
629 case PSA_ALG_SHA_1:
630 mbedtls_sha1_free( &operation->ctx.sha1 );
631 break;
632#endif
633#if defined(MBEDTLS_SHA256_C)
634 case PSA_ALG_SHA_224:
635 case PSA_ALG_SHA_256:
636 mbedtls_sha256_free( &operation->ctx.sha256 );
637 break;
638#endif
639#if defined(MBEDTLS_SHA512_C)
640 case PSA_ALG_SHA_384:
641 case PSA_ALG_SHA_512:
642 mbedtls_sha512_free( &operation->ctx.sha512 );
643 break;
644#endif
645 default:
646 return( PSA_ERROR_NOT_SUPPORTED );
647 }
648 operation->alg = 0;
649 return( PSA_SUCCESS );
650}
651
652psa_status_t psa_hash_start( psa_hash_operation_t *operation,
653 psa_algorithm_t alg )
654{
655 int ret;
656 operation->alg = 0;
657 switch( alg )
658 {
659#if defined(MBEDTLS_MD2_C)
660 case PSA_ALG_MD2:
661 mbedtls_md2_init( &operation->ctx.md2 );
662 ret = mbedtls_md2_starts_ret( &operation->ctx.md2 );
663 break;
664#endif
665#if defined(MBEDTLS_MD4_C)
666 case PSA_ALG_MD4:
667 mbedtls_md4_init( &operation->ctx.md4 );
668 ret = mbedtls_md4_starts_ret( &operation->ctx.md4 );
669 break;
670#endif
671#if defined(MBEDTLS_MD5_C)
672 case PSA_ALG_MD5:
673 mbedtls_md5_init( &operation->ctx.md5 );
674 ret = mbedtls_md5_starts_ret( &operation->ctx.md5 );
675 break;
676#endif
677#if defined(MBEDTLS_RIPEMD160_C)
678 case PSA_ALG_RIPEMD160:
679 mbedtls_ripemd160_init( &operation->ctx.ripemd160 );
680 ret = mbedtls_ripemd160_starts_ret( &operation->ctx.ripemd160 );
681 break;
682#endif
683#if defined(MBEDTLS_SHA1_C)
684 case PSA_ALG_SHA_1:
685 mbedtls_sha1_init( &operation->ctx.sha1 );
686 ret = mbedtls_sha1_starts_ret( &operation->ctx.sha1 );
687 break;
688#endif
689#if defined(MBEDTLS_SHA256_C)
690 case PSA_ALG_SHA_224:
691 mbedtls_sha256_init( &operation->ctx.sha256 );
692 ret = mbedtls_sha256_starts_ret( &operation->ctx.sha256, 1 );
693 break;
694 case PSA_ALG_SHA_256:
695 mbedtls_sha256_init( &operation->ctx.sha256 );
696 ret = mbedtls_sha256_starts_ret( &operation->ctx.sha256, 0 );
697 break;
698#endif
699#if defined(MBEDTLS_SHA512_C)
700 case PSA_ALG_SHA_384:
701 mbedtls_sha512_init( &operation->ctx.sha512 );
702 ret = mbedtls_sha512_starts_ret( &operation->ctx.sha512, 1 );
703 break;
704 case PSA_ALG_SHA_512:
705 mbedtls_sha512_init( &operation->ctx.sha512 );
706 ret = mbedtls_sha512_starts_ret( &operation->ctx.sha512, 0 );
707 break;
708#endif
709 default:
710 return( PSA_ERROR_NOT_SUPPORTED );
711 }
712 if( ret == 0 )
713 operation->alg = alg;
714 else
715 psa_hash_abort( operation );
716 return( mbedtls_to_psa_error( ret ) );
717}
718
719psa_status_t psa_hash_update( psa_hash_operation_t *operation,
720 const uint8_t *input,
721 size_t input_length )
722{
723 int ret;
724 switch( operation->alg )
725 {
726#if defined(MBEDTLS_MD2_C)
727 case PSA_ALG_MD2:
728 ret = mbedtls_md2_update_ret( &operation->ctx.md2,
729 input, input_length );
730 break;
731#endif
732#if defined(MBEDTLS_MD4_C)
733 case PSA_ALG_MD4:
734 ret = mbedtls_md4_update_ret( &operation->ctx.md4,
735 input, input_length );
736 break;
737#endif
738#if defined(MBEDTLS_MD5_C)
739 case PSA_ALG_MD5:
740 ret = mbedtls_md5_update_ret( &operation->ctx.md5,
741 input, input_length );
742 break;
743#endif
744#if defined(MBEDTLS_RIPEMD160_C)
745 case PSA_ALG_RIPEMD160:
746 ret = mbedtls_ripemd160_update_ret( &operation->ctx.ripemd160,
747 input, input_length );
748 break;
749#endif
750#if defined(MBEDTLS_SHA1_C)
751 case PSA_ALG_SHA_1:
752 ret = mbedtls_sha1_update_ret( &operation->ctx.sha1,
753 input, input_length );
754 break;
755#endif
756#if defined(MBEDTLS_SHA256_C)
757 case PSA_ALG_SHA_224:
758 case PSA_ALG_SHA_256:
759 ret = mbedtls_sha256_update_ret( &operation->ctx.sha256,
760 input, input_length );
761 break;
762#endif
763#if defined(MBEDTLS_SHA512_C)
764 case PSA_ALG_SHA_384:
765 case PSA_ALG_SHA_512:
766 ret = mbedtls_sha512_update_ret( &operation->ctx.sha512,
767 input, input_length );
768 break;
769#endif
770 default:
771 ret = MBEDTLS_ERR_MD_BAD_INPUT_DATA;
772 break;
773 }
774 if( ret != 0 )
775 psa_hash_abort( operation );
776 return( mbedtls_to_psa_error( ret ) );
777}
778
779psa_status_t psa_hash_finish( psa_hash_operation_t *operation,
780 uint8_t *hash,
781 size_t hash_size,
782 size_t *hash_length )
783{
784 int ret;
785 size_t actual_hash_length = PSA_HASH_FINAL_SIZE( operation->alg );
786
787 /* Fill the output buffer with something that isn't a valid hash
788 * (barring an attack on the hash and deliberately-crafted input),
789 * in case the caller doesn't check the return status properly. */
790 *hash_length = actual_hash_length;
791 memset( hash, '!', hash_size );
792
793 if( hash_size < actual_hash_length )
794 return( PSA_ERROR_BUFFER_TOO_SMALL );
795
796 switch( operation->alg )
797 {
798#if defined(MBEDTLS_MD2_C)
799 case PSA_ALG_MD2:
800 ret = mbedtls_md2_finish_ret( &operation->ctx.md2, hash );
801 break;
802#endif
803#if defined(MBEDTLS_MD4_C)
804 case PSA_ALG_MD4:
805 ret = mbedtls_md4_finish_ret( &operation->ctx.md4, hash );
806 break;
807#endif
808#if defined(MBEDTLS_MD5_C)
809 case PSA_ALG_MD5:
810 ret = mbedtls_md5_finish_ret( &operation->ctx.md5, hash );
811 break;
812#endif
813#if defined(MBEDTLS_RIPEMD160_C)
814 case PSA_ALG_RIPEMD160:
815 ret = mbedtls_ripemd160_finish_ret( &operation->ctx.ripemd160, hash );
816 break;
817#endif
818#if defined(MBEDTLS_SHA1_C)
819 case PSA_ALG_SHA_1:
820 ret = mbedtls_sha1_finish_ret( &operation->ctx.sha1, hash );
821 break;
822#endif
823#if defined(MBEDTLS_SHA256_C)
824 case PSA_ALG_SHA_224:
825 case PSA_ALG_SHA_256:
826 ret = mbedtls_sha256_finish_ret( &operation->ctx.sha256, hash );
827 break;
828#endif
829#if defined(MBEDTLS_SHA512_C)
830 case PSA_ALG_SHA_384:
831 case PSA_ALG_SHA_512:
832 ret = mbedtls_sha512_finish_ret( &operation->ctx.sha512, hash );
833 break;
834#endif
835 default:
836 ret = MBEDTLS_ERR_MD_BAD_INPUT_DATA;
837 break;
838 }
839
840 if( ret == 0 )
841 {
842 return( psa_hash_abort( operation ) );
843 }
844 else
845 {
846 psa_hash_abort( operation );
847 return( mbedtls_to_psa_error( ret ) );
848 }
849}
850
851psa_status_t psa_hash_verify(psa_hash_operation_t *operation,
852 const uint8_t *hash,
853 size_t hash_length)
854{
855 uint8_t actual_hash[MBEDTLS_MD_MAX_SIZE];
856 size_t actual_hash_length;
857 psa_status_t status = psa_hash_finish( operation,
858 actual_hash, sizeof( actual_hash ),
859 &actual_hash_length );
860 if( status != PSA_SUCCESS )
861 return( status );
862 if( actual_hash_length != hash_length )
863 return( PSA_ERROR_INVALID_SIGNATURE );
864 if( safer_memcmp( hash, actual_hash, actual_hash_length ) != 0 )
865 return( PSA_ERROR_INVALID_SIGNATURE );
866 return( PSA_SUCCESS );
867}
868
869
870
871
872/****************************************************************/
Gilles Peskine8c9def32018-02-08 10:02:12 +0100873/* MAC */
874/****************************************************************/
875
Gilles Peskinedc2fc842018-03-07 16:42:59 +0100876static const mbedtls_cipher_info_t *mbedtls_cipher_info_from_psa(
Gilles Peskine8c9def32018-02-08 10:02:12 +0100877 psa_algorithm_t alg,
878 psa_key_type_t key_type,
879 size_t key_bits )
880{
881 mbedtls_cipher_id_t cipher_id;
882 mbedtls_cipher_mode_t mode;
883
884 if( PSA_ALG_IS_CIPHER( alg ) || PSA_ALG_IS_AEAD( alg ) )
885 {
886 if( PSA_ALG_IS_BLOCK_CIPHER( alg ) )
887 alg &= ~PSA_ALG_BLOCK_CIPHER_MODE_MASK;
888 switch( alg )
889 {
890 case PSA_ALG_STREAM_CIPHER:
891 mode = MBEDTLS_MODE_STREAM;
892 break;
893 case PSA_ALG_CBC_BASE:
894 mode = MBEDTLS_MODE_CBC;
895 break;
896 case PSA_ALG_CFB_BASE:
897 mode = MBEDTLS_MODE_CFB;
898 break;
899 case PSA_ALG_OFB_BASE:
900 mode = MBEDTLS_MODE_OFB;
901 break;
902 case PSA_ALG_CTR:
903 mode = MBEDTLS_MODE_CTR;
904 break;
905 case PSA_ALG_CCM:
906 mode = MBEDTLS_MODE_CCM;
907 break;
908 case PSA_ALG_GCM:
909 mode = MBEDTLS_MODE_GCM;
910 break;
911 default:
912 return( NULL );
913 }
914 }
915 else if( alg == PSA_ALG_CMAC )
916 mode = MBEDTLS_MODE_ECB;
917 else if( alg == PSA_ALG_GMAC )
918 mode = MBEDTLS_MODE_GCM;
919 else
920 return( NULL );
921
922 switch( key_type )
923 {
924 case PSA_KEY_TYPE_AES:
925 cipher_id = MBEDTLS_CIPHER_ID_AES;
926 break;
927 case PSA_KEY_TYPE_DES:
928 if( key_bits == 64 )
929 cipher_id = MBEDTLS_CIPHER_ID_DES;
930 else
931 cipher_id = MBEDTLS_CIPHER_ID_3DES;
932 break;
933 case PSA_KEY_TYPE_CAMELLIA:
934 cipher_id = MBEDTLS_CIPHER_ID_CAMELLIA;
935 break;
936 case PSA_KEY_TYPE_ARC4:
937 cipher_id = MBEDTLS_CIPHER_ID_ARC4;
938 break;
939 default:
940 return( NULL );
941 }
942
943 return( mbedtls_cipher_info_from_values( cipher_id, key_bits, mode ) );
944}
945
946psa_status_t psa_mac_abort( psa_mac_operation_t *operation )
947{
948 switch( operation->alg )
949 {
950#if defined(MBEDTLS_CMAC_C)
951 case PSA_ALG_CMAC:
952 mbedtls_cipher_free( &operation->ctx.cmac );
953 break;
954#endif /* MBEDTLS_CMAC_C */
955 default:
956#if defined(MBEDTLS_MD_C)
957 if( PSA_ALG_IS_HMAC( operation->alg ) )
958 mbedtls_md_free( &operation->ctx.hmac );
959 else
960#endif /* MBEDTLS_MD_C */
961 return( PSA_ERROR_NOT_SUPPORTED );
962 }
963 operation->alg = 0;
964 operation->key_set = 0;
965 operation->iv_set = 0;
966 operation->iv_required = 0;
967 operation->has_input = 0;
968 return( PSA_SUCCESS );
969}
970
971psa_status_t psa_mac_start( psa_mac_operation_t *operation,
972 psa_key_slot_t key,
973 psa_algorithm_t alg )
974{
975 int ret = MBEDTLS_ERR_MD_FEATURE_UNAVAILABLE;
976 psa_status_t status;
977 key_slot_t *slot;
978 psa_key_type_t key_type;
979 size_t key_bits;
980 const mbedtls_cipher_info_t *cipher_info = NULL;
981
982 operation->alg = 0;
983 operation->key_set = 0;
984 operation->iv_set = 0;
985 operation->iv_required = 1;
986 operation->has_input = 0;
987
988 status = psa_get_key_information( key, &key_type, &key_bits );
989 if( status != PSA_SUCCESS )
990 return( status );
991 slot = &global_data.key_slots[key];
992
mohammad16036df908f2018-04-02 08:34:15 -0700993 if ( ( slot->policy.usage & PSA_KEY_USAGE_SIGN ) != 0 )
994 operation->key_usage_sign = 1;
995
996 if ( ( slot->policy.usage & PSA_KEY_USAGE_VERIFY ) != 0 )
997 operation->key_usage_verify = 1;
998
Gilles Peskine8c9def32018-02-08 10:02:12 +0100999 if( ! PSA_ALG_IS_HMAC( alg ) )
1000 {
Gilles Peskinedc2fc842018-03-07 16:42:59 +01001001 cipher_info = mbedtls_cipher_info_from_psa( alg, key_type, key_bits );
Gilles Peskine8c9def32018-02-08 10:02:12 +01001002 if( cipher_info == NULL )
1003 return( PSA_ERROR_NOT_SUPPORTED );
1004 operation->mac_size = cipher_info->block_size;
1005 }
1006 switch( alg )
1007 {
1008#if defined(MBEDTLS_CMAC_C)
1009 case PSA_ALG_CMAC:
1010 operation->iv_required = 0;
1011 mbedtls_cipher_init( &operation->ctx.cmac );
1012 ret = mbedtls_cipher_setup( &operation->ctx.cmac, cipher_info );
1013 if( ret != 0 )
1014 break;
1015 ret = mbedtls_cipher_cmac_starts( &operation->ctx.cmac,
1016 slot->data.raw.data,
1017 key_bits );
1018 break;
1019#endif /* MBEDTLS_CMAC_C */
1020 default:
1021#if defined(MBEDTLS_MD_C)
1022 if( PSA_ALG_IS_HMAC( alg ) )
1023 {
1024 const mbedtls_md_info_t *md_info =
Gilles Peskinedc2fc842018-03-07 16:42:59 +01001025 mbedtls_md_info_from_psa( PSA_ALG_HMAC_HASH( alg ) );
Gilles Peskine8c9def32018-02-08 10:02:12 +01001026 if( md_info == NULL )
1027 return( PSA_ERROR_NOT_SUPPORTED );
1028 if( key_type != PSA_KEY_TYPE_HMAC )
1029 return( PSA_ERROR_INVALID_ARGUMENT );
1030 operation->iv_required = 0;
1031 operation->mac_size = mbedtls_md_get_size( md_info );
1032 mbedtls_md_init( &operation->ctx.hmac );
1033 ret = mbedtls_md_setup( &operation->ctx.hmac, md_info, 1 );
1034 if( ret != 0 )
1035 break;
1036 ret = mbedtls_md_hmac_starts( &operation->ctx.hmac,
1037 slot->data.raw.data,
1038 slot->data.raw.bytes );
1039 break;
1040 }
1041 else
1042#endif /* MBEDTLS_MD_C */
1043 return( PSA_ERROR_NOT_SUPPORTED );
1044 }
1045
1046 /* If we reach this point, then the algorithm-specific part of the
1047 * context has at least been initialized, and may contain data that
1048 * needs to be wiped on error. */
1049 operation->alg = alg;
1050 if( ret != 0 )
1051 {
1052 psa_mac_abort( operation );
1053 return( mbedtls_to_psa_error( ret ) );
1054 }
1055 operation->key_set = 1;
Gilles Peskine47c1bc02018-03-20 17:55:04 +01001056 return( PSA_SUCCESS );
Gilles Peskine8c9def32018-02-08 10:02:12 +01001057}
1058
1059psa_status_t psa_mac_update( psa_mac_operation_t *operation,
1060 const uint8_t *input,
1061 size_t input_length )
1062{
1063 int ret;
1064 if( ! operation->key_set )
1065 return( PSA_ERROR_BAD_STATE );
1066 if( operation->iv_required && ! operation->iv_set )
1067 return( PSA_ERROR_BAD_STATE );
1068 operation->has_input = 1;
1069
1070 switch( operation->alg )
1071 {
1072#if defined(MBEDTLS_CMAC_C)
1073 case PSA_ALG_CMAC:
1074 ret = mbedtls_cipher_cmac_update( &operation->ctx.cmac,
1075 input, input_length );
1076 break;
1077#endif /* MBEDTLS_CMAC_C */
1078 default:
1079#if defined(MBEDTLS_MD_C)
1080 if( PSA_ALG_IS_HMAC( operation->alg ) )
1081 {
1082 ret = mbedtls_md_hmac_update( &operation->ctx.hmac,
1083 input, input_length );
1084 }
1085 else
1086#endif /* MBEDTLS_MD_C */
1087 {
1088 ret = MBEDTLS_ERR_MD_BAD_INPUT_DATA;
1089 }
1090 break;
1091 }
1092 if( ret != 0 )
1093 psa_mac_abort( operation );
1094 return( mbedtls_to_psa_error( ret ) );
1095}
1096
mohammad16036df908f2018-04-02 08:34:15 -07001097static psa_status_t psa_mac_finish_internal( psa_mac_operation_t *operation,
Gilles Peskine8c9def32018-02-08 10:02:12 +01001098 uint8_t *mac,
1099 size_t mac_size,
1100 size_t *mac_length )
1101{
1102 int ret;
1103 if( ! operation->key_set )
1104 return( PSA_ERROR_BAD_STATE );
1105 if( operation->iv_required && ! operation->iv_set )
1106 return( PSA_ERROR_BAD_STATE );
1107
1108 /* Fill the output buffer with something that isn't a valid mac
1109 * (barring an attack on the mac and deliberately-crafted input),
1110 * in case the caller doesn't check the return status properly. */
1111 *mac_length = operation->mac_size;
1112 memset( mac, '!', mac_size );
1113
1114 if( mac_size < operation->mac_size )
1115 return( PSA_ERROR_BUFFER_TOO_SMALL );
1116
1117 switch( operation->alg )
1118 {
1119#if defined(MBEDTLS_CMAC_C)
1120 case PSA_ALG_CMAC:
1121 ret = mbedtls_cipher_cmac_finish( &operation->ctx.cmac, mac );
1122 break;
1123#endif /* MBEDTLS_CMAC_C */
1124 default:
1125#if defined(MBEDTLS_MD_C)
1126 if( PSA_ALG_IS_HMAC( operation->alg ) )
1127 {
1128 ret = mbedtls_md_hmac_finish( &operation->ctx.hmac, mac );
1129 }
1130 else
1131#endif /* MBEDTLS_MD_C */
1132 {
1133 ret = MBEDTLS_ERR_MD_BAD_INPUT_DATA;
1134 }
1135 break;
1136 }
1137
1138 if( ret == 0 )
1139 {
1140 return( psa_mac_abort( operation ) );
1141 }
1142 else
1143 {
1144 psa_mac_abort( operation );
1145 return( mbedtls_to_psa_error( ret ) );
1146 }
1147}
1148
mohammad16036df908f2018-04-02 08:34:15 -07001149psa_status_t psa_mac_finish( psa_mac_operation_t *operation,
1150 uint8_t *mac,
1151 size_t mac_size,
1152 size_t *mac_length )
1153{
1154 if( !( operation->key_usage_sign ) )
1155 return( PSA_ERROR_NOT_PERMITTED );
1156
1157 return( psa_mac_finish_internal(operation, mac, mac_size, mac_length ) );
1158}
1159
Gilles Peskine8c9def32018-02-08 10:02:12 +01001160#define MBEDTLS_PSA_MAC_MAX_SIZE \
1161 ( MBEDTLS_MD_MAX_SIZE > MBEDTLS_MAX_BLOCK_LENGTH ? \
1162 MBEDTLS_MD_MAX_SIZE : \
1163 MBEDTLS_MAX_BLOCK_LENGTH )
1164psa_status_t psa_mac_verify( psa_mac_operation_t *operation,
1165 const uint8_t *mac,
1166 size_t mac_length )
1167{
1168 uint8_t actual_mac[MBEDTLS_PSA_MAC_MAX_SIZE];
1169 size_t actual_mac_length;
mohammad16036df908f2018-04-02 08:34:15 -07001170 psa_status_t status;
1171
1172 if( !( operation->key_usage_verify ) )
1173 return( PSA_ERROR_NOT_PERMITTED );
1174
1175 status = psa_mac_finish_internal( operation,
1176 actual_mac, sizeof( actual_mac ),
1177 &actual_mac_length );
Gilles Peskine8c9def32018-02-08 10:02:12 +01001178 if( status != PSA_SUCCESS )
1179 return( status );
1180 if( actual_mac_length != mac_length )
1181 return( PSA_ERROR_INVALID_SIGNATURE );
1182 if( safer_memcmp( mac, actual_mac, actual_mac_length ) != 0 )
1183 return( PSA_ERROR_INVALID_SIGNATURE );
1184 return( PSA_SUCCESS );
1185}
1186
1187
Gilles Peskine20035e32018-02-03 22:44:14 +01001188
1189
1190/****************************************************************/
1191/* Asymmetric cryptography */
1192/****************************************************************/
1193
1194psa_status_t psa_asymmetric_sign(psa_key_slot_t key,
1195 psa_algorithm_t alg,
1196 const uint8_t *hash,
1197 size_t hash_length,
1198 const uint8_t *salt,
1199 size_t salt_length,
1200 uint8_t *signature,
1201 size_t signature_size,
1202 size_t *signature_length)
1203{
1204 key_slot_t *slot;
1205
Gilles Peskine93aa0332018-02-03 23:58:03 +01001206 *signature_length = 0;
1207 (void) salt;
1208 (void) salt_length;
1209
Gilles Peskine20035e32018-02-03 22:44:14 +01001210 if( key == 0 || key > MBEDTLS_PSA_KEY_SLOT_COUNT )
1211 return( PSA_ERROR_EMPTY_SLOT );
1212 slot = &global_data.key_slots[key];
1213 if( slot->type == PSA_KEY_TYPE_NONE )
1214 return( PSA_ERROR_EMPTY_SLOT );
1215 if( ! PSA_KEY_TYPE_IS_KEYPAIR( slot->type ) )
1216 return( PSA_ERROR_INVALID_ARGUMENT );
mohammad160306e79202018-03-28 13:17:44 +03001217 if( !( slot->policy.usage & PSA_KEY_USAGE_SIGN ) )
1218 return( PSA_ERROR_NOT_PERMITTED );
Gilles Peskine20035e32018-02-03 22:44:14 +01001219
Gilles Peskine20035e32018-02-03 22:44:14 +01001220#if defined(MBEDTLS_RSA_C)
1221 if( slot->type == PSA_KEY_TYPE_RSA_KEYPAIR )
1222 {
1223 mbedtls_rsa_context *rsa = slot->data.rsa;
1224 int ret;
1225 psa_algorithm_t hash_alg = PSA_ALG_RSA_GET_HASH( alg );
Gilles Peskinedc2fc842018-03-07 16:42:59 +01001226 const mbedtls_md_info_t *md_info = mbedtls_md_info_from_psa( hash_alg );
Gilles Peskine20035e32018-02-03 22:44:14 +01001227 mbedtls_md_type_t md_alg =
1228 hash_alg == 0 ? MBEDTLS_MD_NONE : mbedtls_md_get_type( md_info );
1229 if( md_alg == MBEDTLS_MD_NONE )
1230 {
1231#if SIZE_MAX > UINT_MAX
1232 if( hash_length > UINT_MAX )
1233 return( PSA_ERROR_INVALID_ARGUMENT );
1234#endif
1235 }
1236 else
1237 {
1238 if( mbedtls_md_get_size( md_info ) != hash_length )
1239 return( PSA_ERROR_INVALID_ARGUMENT );
1240 if( md_info == NULL )
1241 return( PSA_ERROR_NOT_SUPPORTED );
1242 }
1243 if( signature_size < rsa->len )
1244 return( PSA_ERROR_BUFFER_TOO_SMALL );
1245#if defined(MBEDTLS_PKCS1_V15)
Gilles Peskinea5926232018-03-28 14:16:50 +02001246 if( PSA_ALG_IS_RSA_PKCS1V15_SIGN( alg ) )
Gilles Peskine20035e32018-02-03 22:44:14 +01001247 {
1248 mbedtls_rsa_set_padding( rsa, MBEDTLS_RSA_PKCS_V15,
1249 MBEDTLS_MD_NONE );
1250 ret = mbedtls_rsa_pkcs1_sign( rsa,
1251 mbedtls_ctr_drbg_random,
1252 &global_data.ctr_drbg,
1253 MBEDTLS_RSA_PRIVATE,
1254 md_alg, hash_length, hash,
1255 signature );
1256 }
1257 else
1258#endif /* MBEDTLS_PKCS1_V15 */
1259#if defined(MBEDTLS_PKCS1_V21)
1260 if( alg == PSA_ALG_RSA_PSS_MGF1 )
1261 {
1262 mbedtls_rsa_set_padding( rsa, MBEDTLS_RSA_PKCS_V21, md_alg );
1263 ret = mbedtls_rsa_rsassa_pss_sign( rsa,
1264 mbedtls_ctr_drbg_random,
1265 &global_data.ctr_drbg,
1266 MBEDTLS_RSA_PRIVATE,
1267 md_alg, hash_length, hash,
1268 signature );
1269 }
1270 else
1271#endif /* MBEDTLS_PKCS1_V21 */
1272 {
1273 return( PSA_ERROR_INVALID_ARGUMENT );
1274 }
Gilles Peskine93aa0332018-02-03 23:58:03 +01001275 if( ret == 0 )
1276 *signature_length = rsa->len;
Gilles Peskine20035e32018-02-03 22:44:14 +01001277 return( mbedtls_to_psa_error( ret ) );
1278 }
1279 else
1280#endif /* defined(MBEDTLS_RSA_C) */
1281#if defined(MBEDTLS_ECP_C)
1282 if( PSA_KEY_TYPE_IS_ECC( slot->type ) )
1283 {
itayzafrir5c753392018-05-08 11:18:38 +03001284 mbedtls_ecp_keypair *ecdsa = slot->data.ecp;
1285 int ret;
1286 const mbedtls_md_info_t *md_info;
1287 mbedtls_md_type_t md_alg;
1288 if( signature_size < PSA_ECDSA_SIGNATURE_SIZE( ecdsa->grp.pbits ) )
1289 return( PSA_ERROR_BUFFER_TOO_SMALL );
1290 md_info = mbedtls_md_info_from_psa( alg );
1291 md_alg = mbedtls_md_get_type( md_info );
1292 ret = mbedtls_ecdsa_write_signature( ecdsa, md_alg, hash, hash_length,
1293 signature, signature_length, mbedtls_ctr_drbg_random,
1294 &global_data.ctr_drbg );
1295 return( mbedtls_to_psa_error( ret ) );
1296 }
1297 else
1298#endif /* defined(MBEDTLS_ECP_C) */
1299 {
Gilles Peskine20035e32018-02-03 22:44:14 +01001300 return( PSA_ERROR_NOT_SUPPORTED );
1301 }
itayzafrir5c753392018-05-08 11:18:38 +03001302}
1303
1304psa_status_t psa_asymmetric_verify( psa_key_slot_t key,
1305 psa_algorithm_t alg,
1306 const uint8_t *hash,
1307 size_t hash_length,
1308 const uint8_t *salt,
1309 size_t salt_length,
1310 uint8_t *signature,
1311 size_t signature_size )
1312{
1313 key_slot_t *slot;
1314 (void) salt;
1315 (void) salt_length;
1316
1317 if( key == 0 || key > MBEDTLS_PSA_KEY_SLOT_COUNT )
1318 return( PSA_ERROR_INVALID_ARGUMENT );
1319 slot = &global_data.key_slots[key];
1320 if( slot->type == PSA_KEY_TYPE_NONE )
1321 return( PSA_ERROR_EMPTY_SLOT );
1322 if( ! PSA_KEY_TYPE_IS_KEYPAIR( slot->type ) )
1323 return( PSA_ERROR_INVALID_ARGUMENT );
1324 if( !( slot->policy.usage & PSA_KEY_USAGE_VERIFY ) )
1325 return( PSA_ERROR_NOT_PERMITTED );
1326
1327#if defined(MBEDTLS_ECP_C)
1328 if( PSA_KEY_TYPE_IS_ECC( slot->type ) )
1329 {
1330 mbedtls_ecp_keypair *ecdsa = slot->data.ecp;
1331 int ret;
1332 (void) alg;
1333 ret = mbedtls_ecdsa_read_signature( ecdsa, hash, hash_length, signature,
1334 signature_size );
1335 return( mbedtls_to_psa_error( ret ) );
1336 }
Gilles Peskine20035e32018-02-03 22:44:14 +01001337 else
1338#endif /* defined(MBEDTLS_ECP_C) */
1339 {
1340 return( PSA_ERROR_NOT_SUPPORTED );
1341 }
1342}
1343
1344
Gilles Peskinea0655c32018-04-30 17:06:50 +02001345
mohammad16038cc1cee2018-03-28 01:21:33 +03001346/****************************************************************/
1347/* Key Policy */
1348/****************************************************************/
1349
1350void psa_key_policy_init(psa_key_policy_t *policy)
1351{
mohammad16036df908f2018-04-02 08:34:15 -07001352 memset( policy, 0, sizeof( psa_key_policy_t ) );
mohammad16038cc1cee2018-03-28 01:21:33 +03001353}
1354
1355void psa_key_policy_set_usage(psa_key_policy_t *policy,
1356 psa_key_usage_t usage,
1357 psa_algorithm_t alg)
1358{
mohammad16034eed7572018-03-28 05:14:59 -07001359 policy->usage = usage;
1360 policy->alg = alg;
mohammad16038cc1cee2018-03-28 01:21:33 +03001361}
1362
1363psa_key_usage_t psa_key_policy_get_usage(psa_key_policy_t *policy)
1364{
mohammad16036df908f2018-04-02 08:34:15 -07001365 return( policy->usage );
mohammad16038cc1cee2018-03-28 01:21:33 +03001366}
1367
1368psa_algorithm_t psa_key_policy_get_algorithm(psa_key_policy_t *policy)
1369{
mohammad16036df908f2018-04-02 08:34:15 -07001370 return( policy->alg );
mohammad16038cc1cee2018-03-28 01:21:33 +03001371}
1372
1373psa_status_t psa_set_key_policy(psa_key_slot_t key,
1374 const psa_key_policy_t *policy)
1375{
1376 key_slot_t *slot;
mohammad16038cc1cee2018-03-28 01:21:33 +03001377
1378 if( key == 0 || key > MBEDTLS_PSA_KEY_SLOT_COUNT || policy == NULL )
1379 return( PSA_ERROR_INVALID_ARGUMENT );
1380
1381 slot = &global_data.key_slots[key];
1382 if( slot->type != PSA_KEY_TYPE_NONE )
1383 return( PSA_ERROR_OCCUPIED_SLOT );
1384
mohammad16036df908f2018-04-02 08:34:15 -07001385 if( ( policy->usage & ~( PSA_KEY_USAGE_EXPORT | PSA_KEY_USAGE_ENCRYPT
1386 | PSA_KEY_USAGE_DECRYPT | PSA_KEY_USAGE_SIGN
1387 | PSA_KEY_USAGE_VERIFY ) ) != 0 )
mohammad16035feda722018-04-16 04:38:57 -07001388 return( PSA_ERROR_INVALID_ARGUMENT );
mohammad16038cc1cee2018-03-28 01:21:33 +03001389
mohammad16036df908f2018-04-02 08:34:15 -07001390 slot->policy = *policy;
mohammad16038cc1cee2018-03-28 01:21:33 +03001391
1392 return( PSA_SUCCESS );
1393}
1394
1395psa_status_t psa_get_key_policy(psa_key_slot_t key,
1396 psa_key_policy_t *policy)
1397{
1398 key_slot_t *slot;
1399
1400 if( key == 0 || key > MBEDTLS_PSA_KEY_SLOT_COUNT || policy == NULL )
1401 return( PSA_ERROR_INVALID_ARGUMENT );
1402
1403 slot = &global_data.key_slots[key];
mohammad16038cc1cee2018-03-28 01:21:33 +03001404
mohammad16036df908f2018-04-02 08:34:15 -07001405 *policy = slot->policy;
mohammad16038cc1cee2018-03-28 01:21:33 +03001406
1407 return( PSA_SUCCESS );
1408}
Gilles Peskine20035e32018-02-03 22:44:14 +01001409
Gilles Peskinea0655c32018-04-30 17:06:50 +02001410
1411
mohammad1603804cd712018-03-20 22:44:08 +02001412/****************************************************************/
1413/* Key Lifetime */
1414/****************************************************************/
1415
1416psa_status_t psa_get_key_lifetime(psa_key_slot_t key,
1417 psa_key_lifetime_t *lifetime)
1418{
1419 key_slot_t *slot;
1420
1421 if( key == 0 || key > MBEDTLS_PSA_KEY_SLOT_COUNT )
1422 return( PSA_ERROR_INVALID_ARGUMENT );
1423
1424 slot = &global_data.key_slots[key];
mohammad1603804cd712018-03-20 22:44:08 +02001425
1426 *lifetime = slot->lifetime;
1427
1428 return( PSA_SUCCESS );
1429}
1430
1431psa_status_t psa_set_key_lifetime(psa_key_slot_t key,
1432 const psa_key_lifetime_t lifetime)
1433{
1434 key_slot_t *slot;
1435
1436 if( key == 0 || key > MBEDTLS_PSA_KEY_SLOT_COUNT )
1437 return( PSA_ERROR_INVALID_ARGUMENT );
1438
mohammad1603ba178512018-03-21 04:35:20 -07001439 if( lifetime != PSA_KEY_LIFETIME_VOLATILE &&
1440 lifetime != PSA_KEY_LIFETIME_PERSISTENT &&
1441 lifetime != PSA_KEY_LIFETIME_WRITE_ONCE)
1442 return( PSA_ERROR_INVALID_ARGUMENT );
1443
mohammad1603804cd712018-03-20 22:44:08 +02001444 slot = &global_data.key_slots[key];
mohammad16035d7ec202018-03-28 01:29:41 +03001445 if( slot->type != PSA_KEY_TYPE_NONE )
1446 return( PSA_ERROR_OCCUPIED_SLOT );
mohammad1603804cd712018-03-20 22:44:08 +02001447
mohammad1603ba178512018-03-21 04:35:20 -07001448 if ( lifetime != PSA_KEY_LIFETIME_VOLATILE )
1449 return( PSA_ERROR_NOT_SUPPORTED );
mohammad1603804cd712018-03-20 22:44:08 +02001450
mohammad1603060ad8a2018-03-20 14:28:38 -07001451 slot->lifetime = lifetime;
mohammad1603804cd712018-03-20 22:44:08 +02001452
1453 return( PSA_SUCCESS );
1454}
1455
Gilles Peskine20035e32018-02-03 22:44:14 +01001456
Gilles Peskinea0655c32018-04-30 17:06:50 +02001457
Gilles Peskine20035e32018-02-03 22:44:14 +01001458/****************************************************************/
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +01001459/* Module setup */
1460/****************************************************************/
1461
Gilles Peskinee59236f2018-01-27 23:32:46 +01001462void mbedtls_psa_crypto_free( void )
1463{
Gilles Peskine2f9c4dc2018-01-28 13:16:24 +01001464 size_t key;
1465 for( key = 1; key < MBEDTLS_PSA_KEY_SLOT_COUNT; key++ )
1466 psa_destroy_key( key );
Gilles Peskinee59236f2018-01-27 23:32:46 +01001467 mbedtls_ctr_drbg_free( &global_data.ctr_drbg );
1468 mbedtls_entropy_free( &global_data.entropy );
1469 mbedtls_zeroize( &global_data, sizeof( global_data ) );
1470}
1471
1472psa_status_t psa_crypto_init( void )
1473{
1474 int ret;
1475 const unsigned char drbg_seed[] = "PSA";
1476
1477 if( global_data.initialized != 0 )
1478 return( PSA_SUCCESS );
1479
1480 mbedtls_zeroize( &global_data, sizeof( global_data ) );
1481 mbedtls_entropy_init( &global_data.entropy );
1482 mbedtls_ctr_drbg_init( &global_data.ctr_drbg );
1483
1484 ret = mbedtls_ctr_drbg_seed( &global_data.ctr_drbg,
1485 mbedtls_entropy_func,
1486 &global_data.entropy,
1487 drbg_seed, sizeof( drbg_seed ) - 1 );
1488 if( ret != 0 )
1489 goto exit;
1490
Gilles Peskinee4ebc122018-03-07 14:16:44 +01001491 global_data.initialized = 1;
1492
Gilles Peskinee59236f2018-01-27 23:32:46 +01001493exit:
1494 if( ret != 0 )
1495 mbedtls_psa_crypto_free( );
1496 return( mbedtls_to_psa_error( ret ) );
1497}
1498
1499#endif /* MBEDTLS_PSA_CRYPTO_C */