blob: af1208e3ae49470d1331059d66b0d60ad5090560 [file] [log] [blame]
Gilles Peskine961849f2018-11-30 18:54:54 +01001/*
2 * PSA crypto layer on top of Mbed TLS crypto
3 */
Bence Szépkúti86974652020-06-15 11:59:37 +02004/*
Bence Szépkúti1e148272020-08-07 13:07:28 +02005 * Copyright The Mbed TLS Contributors
Dave Rodgman16799db2023-11-02 19:47:20 +00006 * SPDX-License-Identifier: Apache-2.0 OR GPL-2.0-or-later
Gilles Peskine961849f2018-11-30 18:54:54 +01007 */
8
9#ifndef PSA_CRYPTO_SLOT_MANAGEMENT_H
10#define PSA_CRYPTO_SLOT_MANAGEMENT_H
11
Gilles Peskine011e4282019-06-26 18:34:38 +020012#include "psa/crypto.h"
Ronald Cronc4d1b512020-07-31 11:26:37 +020013#include "psa_crypto_core.h"
Gilles Peskine011e4282019-06-26 18:34:38 +020014#include "psa_crypto_se.h"
15
Ronald Cron2a993152020-07-17 14:13:26 +020016/** Range of volatile key identifiers.
17 *
Gilles Peskine7dea0962024-07-16 21:24:05 +020018 * The first #MBEDTLS_PSA_KEY_SLOT_COUNT identifiers of the implementation
Steven Cooreman863470a2021-02-15 14:03:19 +010019 * range of key identifiers are reserved for volatile key identifiers.
Gilles Peskinee8199f52024-06-10 11:53:33 +020020 *
21 * If \c id is a a volatile key identifier, #PSA_KEY_ID_VOLATILE_MIN - \c id
22 * indicates the key slot containing the volatile key definition. See
23 * psa_crypto_slot_management.c for details.
Ronald Cron2a993152020-07-17 14:13:26 +020024 */
25
26/** The minimum value for a volatile key identifier.
27 */
Gilles Peskine7dea0962024-07-16 21:24:05 +020028#define PSA_KEY_ID_VOLATILE_MIN PSA_KEY_ID_VENDOR_MIN
Ronald Cron2a993152020-07-17 14:13:26 +020029
30/** The maximum value for a volatile key identifier.
31 */
Gilles Peskinee8199f52024-06-10 11:53:33 +020032#if defined(MBEDTLS_PSA_KEY_STORE_DYNAMIC)
33#define PSA_KEY_ID_VOLATILE_MAX (MBEDTLS_PSA_KEY_ID_BUILTIN_MIN - 1)
34#else /* MBEDTLS_PSA_KEY_STORE_DYNAMIC */
Gilles Peskine7dea0962024-07-16 21:24:05 +020035#define PSA_KEY_ID_VOLATILE_MAX \
36 (PSA_KEY_ID_VOLATILE_MIN + MBEDTLS_PSA_KEY_SLOT_COUNT - 1)
Gilles Peskinee8199f52024-06-10 11:53:33 +020037#endif /* MBEDTLS_PSA_KEY_STORE_DYNAMIC */
Ronald Cron2a993152020-07-17 14:13:26 +020038
Ronald Cron97c8ad52020-10-15 11:17:11 +020039/** Test whether a key identifier is a volatile key identifier.
40 *
41 * \param key_id Key identifier to test.
42 *
43 * \retval 1
44 * The key identifier is a volatile key identifier.
45 * \retval 0
46 * The key identifier is not a volatile key identifier.
47 */
Gilles Peskine449bd832023-01-11 14:50:10 +010048static inline int psa_key_id_is_volatile(psa_key_id_t key_id)
Ronald Cron97c8ad52020-10-15 11:17:11 +020049{
Gilles Peskine449bd832023-01-11 14:50:10 +010050 return (key_id >= PSA_KEY_ID_VOLATILE_MIN) &&
51 (key_id <= PSA_KEY_ID_VOLATILE_MAX);
Ronald Cron97c8ad52020-10-15 11:17:11 +020052}
53
Ronald Cron5c522922020-11-14 16:35:34 +010054/** Get the description of a key given its identifier and lock it.
Gilles Peskine09829032018-12-10 17:00:38 +010055 *
Ronald Cron5c522922020-11-14 16:35:34 +010056 * The descriptions of volatile keys and loaded persistent keys are stored in
57 * key slots. This function returns a pointer to the key slot containing the
58 * description of a key given its identifier.
Ronald Cronc4d1b512020-07-31 11:26:37 +020059 *
Ronald Cron5c522922020-11-14 16:35:34 +010060 * In case of a persistent key, the function loads the description of the key
61 * into a key slot if not already done.
Ronald Cronc4d1b512020-07-31 11:26:37 +020062 *
Ryan Everett098c6652024-01-03 13:03:36 +000063 * On success, the returned key slot has been registered for reading.
64 * It is the responsibility of the caller to call psa_unregister_read(slot)
65 * when they have finished reading the contents of the slot.
Ronald Cronf95a2b12020-10-22 15:24:49 +020066 *
Ryan Everett231f15b2024-04-29 18:26:19 +010067 * On failure, `*p_slot` is set to NULL. This ensures that it is always valid
68 * to call psa_unregister_read on the returned slot.
69 *
Ronald Cronc4d1b512020-07-31 11:26:37 +020070 * \param key Key identifier to query.
Gilles Peskine09829032018-12-10 17:00:38 +010071 * \param[out] p_slot On success, `*p_slot` contains a pointer to the
Ronald Cronc4d1b512020-07-31 11:26:37 +020072 * key slot containing the description of the key
73 * identified by \p key.
Gilles Peskine09829032018-12-10 17:00:38 +010074 *
Ronald Cronc4d1b512020-07-31 11:26:37 +020075 * \retval #PSA_SUCCESS
Ronald Cron1d12d872020-11-18 17:21:22 +010076 * \p *p_slot contains a pointer to the key slot containing the
77 * description of the key identified by \p key.
78 * The key slot counter has been incremented.
Ronald Cronc4d1b512020-07-31 11:26:37 +020079 * \retval #PSA_ERROR_BAD_STATE
Ryan Everettdfe8bf82024-01-12 17:45:05 +000080 * The library has not been initialized.
Ronald Cronc4d1b512020-07-31 11:26:37 +020081 * \retval #PSA_ERROR_INVALID_HANDLE
82 * \p key is not a valid key identifier.
83 * \retval #PSA_ERROR_INSUFFICIENT_MEMORY
84 * \p key is a persistent key identifier. The implementation does not
85 * have sufficient resources to load the persistent key. This can be
86 * due to a lack of empty key slot, or available memory.
87 * \retval #PSA_ERROR_DOES_NOT_EXIST
88 * There is no key with key identifier \p key.
Gilles Peskineed733552023-02-14 19:21:09 +010089 * \retval #PSA_ERROR_CORRUPTION_DETECTED \emptydescription
90 * \retval #PSA_ERROR_STORAGE_FAILURE \emptydescription
91 * \retval #PSA_ERROR_DATA_CORRUPT \emptydescription
Gilles Peskine09829032018-12-10 17:00:38 +010092 */
Gilles Peskine449bd832023-01-11 14:50:10 +010093psa_status_t psa_get_and_lock_key_slot(mbedtls_svc_key_id_t key,
94 psa_key_slot_t **p_slot);
Gilles Peskine66fb1262018-12-10 16:29:04 +010095
Gilles Peskine09829032018-12-10 17:00:38 +010096/** Initialize the key slot structures.
97 *
Ronald Cron96783552020-10-19 12:06:30 +020098 * \retval #PSA_SUCCESS
Gilles Peskine09829032018-12-10 17:00:38 +010099 * Currently this function always succeeds.
100 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100101psa_status_t psa_initialize_key_slots(void);
Gilles Peskine66fb1262018-12-10 16:29:04 +0100102
Gilles Peskine3bc9d2b2024-06-21 00:09:07 +0200103#if defined(MBEDTLS_TEST_HOOKS) && defined(MBEDTLS_PSA_KEY_STORE_DYNAMIC)
104/* Allow test code to customize the key slice length. We use this in tests
105 * that exhaust the key store to reach a full key store in reasonable time
106 * and memory.
107 *
108 * The length of each slice must be between 1 and
109 * (1 << KEY_ID_SLOT_INDEX_WIDTH) inclusive.
110 *
111 * The length for a given slice index must not change while
112 * the key store is initialized.
113 */
114extern size_t (*mbedtls_test_hook_psa_volatile_key_slice_length)(
115 size_t slice_idx);
116
117/* The number of volatile key slices. */
118size_t psa_key_slot_volatile_slice_count(void);
119#endif
120
Gilles Peskine09829032018-12-10 17:00:38 +0100121/** Delete all data from key slots in memory.
Ryan Everett16abd592024-01-24 17:37:46 +0000122 * This function is not thread safe, it wipes every key slot regardless of
123 * state and reader count. It should only be called when no slot is in use.
Gilles Peskine09829032018-12-10 17:00:38 +0100124 *
125 * This does not affect persistent storage. */
Gilles Peskine449bd832023-01-11 14:50:10 +0100126void psa_wipe_all_key_slots(void);
Gilles Peskine66fb1262018-12-10 16:29:04 +0100127
Ryan Everett2afb5162023-12-22 15:59:45 +0000128/** Find a free key slot and reserve it to be filled with a key.
Gilles Peskine41e50d22019-07-31 15:01:55 +0200129 *
Ryan Everett2afb5162023-12-22 15:59:45 +0000130 * This function finds a key slot that is free,
131 * sets its state to PSA_SLOT_FILLING and then returns the slot.
132 *
133 * On success, the key slot's state is PSA_SLOT_FILLING.
134 * It is the responsibility of the caller to change the slot's state to
135 * PSA_SLOT_EMPTY/FULL once key creation has finished.
Gilles Peskinef46f81c2019-05-27 14:53:10 +0200136 *
Ryan Everett3d8118d2024-01-30 16:58:47 +0000137 * If multi-threading is enabled, the caller must hold the
138 * global key slot mutex.
139 *
Gilles Peskine1dfb6b52024-08-09 14:04:46 +0200140 * \param[out] volatile_key_id - If null, reserve a cache slot for
141 * a persistent or built-in key.
142 * - If non-null, allocate a slot for
143 * a volatile key. On success,
144 * \p *volatile_key_id is the
145 * identifier corresponding to the
146 * returned slot. It is the caller's
147 * responsibility to set this key identifier
148 * in the attributes.
Ronald Cron2a993152020-07-17 14:13:26 +0200149 * \param[out] p_slot On success, a pointer to the slot.
Gilles Peskinef46f81c2019-05-27 14:53:10 +0200150 *
Gilles Peskineed733552023-02-14 19:21:09 +0100151 * \retval #PSA_SUCCESS \emptydescription
Ryan Everett2afb5162023-12-22 15:59:45 +0000152 * \retval #PSA_ERROR_INSUFFICIENT_MEMORY
153 * There were no free key slots.
Gilles Peskinee8199f52024-06-10 11:53:33 +0200154 * When #MBEDTLS_PSA_KEY_STORE_DYNAMIC is enabled, there was not
155 * enough memory to allocate more slots.
Ryan Everettdfe8bf82024-01-12 17:45:05 +0000156 * \retval #PSA_ERROR_BAD_STATE \emptydescription
157 * \retval #PSA_ERROR_CORRUPTION_DETECTED
Ryan Everett2afb5162023-12-22 15:59:45 +0000158 * This function attempted to operate on a key slot which was in an
159 * unexpected state.
Gilles Peskinef46f81c2019-05-27 14:53:10 +0200160 */
Ryan Everett2afb5162023-12-22 15:59:45 +0000161psa_status_t psa_reserve_free_key_slot(psa_key_id_t *volatile_key_id,
162 psa_key_slot_t **p_slot);
163
Gilles Peskinee8199f52024-06-10 11:53:33 +0200164#if defined(MBEDTLS_PSA_KEY_STORE_DYNAMIC)
165/** Return a key slot to the free list.
166 *
167 * Call this function when a slot obtained from psa_reserve_free_key_slot()
168 * is no longer in use.
169 *
170 * If multi-threading is enabled, the caller must hold the
171 * global key slot mutex.
172 *
173 * \param slice_idx The slice containing the slot.
174 * This is `slot->slice_index` when the slot
175 * is obtained from psa_reserve_free_key_slot().
176 * \param slot The key slot.
177 *
178 * \retval #PSA_SUCCESS \emptydescription
179 * \retval #PSA_ERROR_CORRUPTION_DETECTED
180 * This function attempted to operate on a key slot which was in an
181 * unexpected state.
182 */
183psa_status_t psa_free_key_slot(size_t slice_idx,
184 psa_key_slot_t *slot);
185#endif /* MBEDTLS_PSA_KEY_STORE_DYNAMIC */
186
Ryan Everett4a782772024-01-04 10:53:26 +0000187/** Change the state of a key slot.
188 *
189 * This function changes the state of the key slot from expected_state to
190 * new state. If the state of the slot was not expected_state, the state is
191 * unchanged.
192 *
Ryan Everettfb02d572024-01-08 11:13:03 +0000193 * If multi-threading is enabled, the caller must hold the
194 * global key slot mutex.
195 *
Ryan Everett4a782772024-01-04 10:53:26 +0000196 * \param[in] slot The key slot.
197 * \param[in] expected_state The current state of the slot.
198 * \param[in] new_state The new state of the slot.
199 *
200 * \retval #PSA_SUCCESS
201 The key slot's state variable is new_state.
Ryan Everettdfe8bf82024-01-12 17:45:05 +0000202 * \retval #PSA_ERROR_CORRUPTION_DETECTED
Ryan Everett4a782772024-01-04 10:53:26 +0000203 * The slot's state was not expected_state.
204 */
205static inline psa_status_t psa_key_slot_state_transition(
206 psa_key_slot_t *slot, psa_key_slot_state_t expected_state,
207 psa_key_slot_state_t new_state)
208{
209 if (slot->state != expected_state) {
Ryan Everettdfe8bf82024-01-12 17:45:05 +0000210 return PSA_ERROR_CORRUPTION_DETECTED;
Ryan Everett4a782772024-01-04 10:53:26 +0000211 }
212 slot->state = new_state;
213 return PSA_SUCCESS;
214}
Gilles Peskinef46f81c2019-05-27 14:53:10 +0200215
Ryan Everett39cc9d72023-12-21 17:57:14 +0000216/** Register as a reader of a key slot.
Ronald Cronf95a2b12020-10-22 15:24:49 +0200217 *
Ryan Everett39cc9d72023-12-21 17:57:14 +0000218 * This function increments the key slot registered reader counter by one.
Ryan Everettfb02d572024-01-08 11:13:03 +0000219 * If multi-threading is enabled, the caller must hold the
220 * global key slot mutex.
Ryan Everett7aeacc12024-01-19 13:02:58 +0000221 *
Ronald Cronf95a2b12020-10-22 15:24:49 +0200222 * \param[in] slot The key slot.
Ronald Croncbf6a1d2020-11-13 15:59:59 +0100223 *
224 * \retval #PSA_SUCCESS
Ryan Everett39cc9d72023-12-21 17:57:14 +0000225 The key slot registered reader counter was incremented.
Ronald Croncbf6a1d2020-11-13 15:59:59 +0100226 * \retval #PSA_ERROR_CORRUPTION_DETECTED
Ryan Everett39cc9d72023-12-21 17:57:14 +0000227 * The reader counter already reached its maximum value and was not
Ryan Everettdfe8bf82024-01-12 17:45:05 +0000228 * increased, or the slot's state was not PSA_SLOT_FULL.
Ronald Cronf95a2b12020-10-22 15:24:49 +0200229 */
Ryan Everett39cc9d72023-12-21 17:57:14 +0000230static inline psa_status_t psa_register_read(psa_key_slot_t *slot)
Ronald Cronf95a2b12020-10-22 15:24:49 +0200231{
Ryan Everettdfe8bf82024-01-12 17:45:05 +0000232 if ((slot->state != PSA_SLOT_FULL) ||
Gilles Peskine47ad2f72024-06-10 11:42:41 +0200233 (slot->var.occupied.registered_readers >= SIZE_MAX)) {
Gilles Peskine449bd832023-01-11 14:50:10 +0100234 return PSA_ERROR_CORRUPTION_DETECTED;
235 }
Gilles Peskine47ad2f72024-06-10 11:42:41 +0200236 slot->var.occupied.registered_readers++;
Ronald Croncbf6a1d2020-11-13 15:59:59 +0100237
Gilles Peskine449bd832023-01-11 14:50:10 +0100238 return PSA_SUCCESS;
Ronald Cronf95a2b12020-10-22 15:24:49 +0200239}
240
Ryan Everett39cc9d72023-12-21 17:57:14 +0000241/** Unregister from reading a key slot.
Ronald Cronf95a2b12020-10-22 15:24:49 +0200242 *
Ryan Everett39cc9d72023-12-21 17:57:14 +0000243 * This function decrements the key slot registered reader counter by one.
244 * If the state of the slot is PSA_SLOT_PENDING_DELETION,
245 * and there is only one registered reader (the caller),
Ryan Everett558da2f2024-01-19 12:59:28 +0000246 * this function will call psa_wipe_key_slot().
Ryan Everettfb02d572024-01-08 11:13:03 +0000247 * If multi-threading is enabled, the caller must hold the
248 * global key slot mutex.
Ronald Cronf95a2b12020-10-22 15:24:49 +0200249 *
250 * \note To ease the handling of errors in retrieving a key slot
251 * a NULL input pointer is valid, and the function returns
252 * successfully without doing anything in that case.
253 *
254 * \param[in] slot The key slot.
255 * \retval #PSA_SUCCESS
Ryan Everett39cc9d72023-12-21 17:57:14 +0000256 * \p slot is NULL or the key slot reader counter has been
257 * decremented (and potentially wiped) successfully.
Ronald Cronf95a2b12020-10-22 15:24:49 +0200258 * \retval #PSA_ERROR_CORRUPTION_DETECTED
Ryan Everett39cc9d72023-12-21 17:57:14 +0000259 * The slot's state was neither PSA_SLOT_FULL nor
Ryan Everettdfe8bf82024-01-12 17:45:05 +0000260 * PSA_SLOT_PENDING_DELETION.
261 * Or a wipe was attempted and the slot's state was not
262 * PSA_SLOT_PENDING_DELETION.
263 * Or registered_readers was equal to 0.
Ronald Cronf95a2b12020-10-22 15:24:49 +0200264 */
Ryan Everett39cc9d72023-12-21 17:57:14 +0000265psa_status_t psa_unregister_read(psa_key_slot_t *slot);
Ronald Cronf95a2b12020-10-22 15:24:49 +0200266
Ryan Everetteb1722a2024-01-31 13:36:39 +0000267/** Wrap a call to psa_unregister_read in the global key slot mutex.
268 *
269 * If threading is disabled, this simply calls psa_unregister_read.
270 *
271 * \note To ease the handling of errors in retrieving a key slot
272 * a NULL input pointer is valid, and the function returns
273 * successfully without doing anything in that case.
274 *
275 * \param[in] slot The key slot.
276 * \retval #PSA_SUCCESS
277 * \p slot is NULL or the key slot reader counter has been
278 * decremented (and potentially wiped) successfully.
279 * \retval #PSA_ERROR_CORRUPTION_DETECTED
280 * The slot's state was neither PSA_SLOT_FULL nor
281 * PSA_SLOT_PENDING_DELETION.
282 * Or a wipe was attempted and the slot's state was not
283 * PSA_SLOT_PENDING_DELETION.
284 * Or registered_readers was equal to 0.
285 */
286psa_status_t psa_unregister_read_under_mutex(psa_key_slot_t *slot);
287
Gilles Peskine011e4282019-06-26 18:34:38 +0200288/** Test whether a lifetime designates a key in an external cryptoprocessor.
289 *
290 * \param lifetime The lifetime to test.
291 *
292 * \retval 1
293 * The lifetime designates an external key. There should be a
294 * registered driver for this lifetime, otherwise the key cannot
295 * be created or manipulated.
296 * \retval 0
297 * The lifetime designates a key that is volatile or in internal
298 * storage.
299 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100300static inline int psa_key_lifetime_is_external(psa_key_lifetime_t lifetime)
Gilles Peskine011e4282019-06-26 18:34:38 +0200301{
Gilles Peskine449bd832023-01-11 14:50:10 +0100302 return PSA_KEY_LIFETIME_GET_LOCATION(lifetime)
303 != PSA_KEY_LOCATION_LOCAL_STORAGE;
Gilles Peskine011e4282019-06-26 18:34:38 +0200304}
305
Steven Cooreman8c1e7592020-06-17 14:52:05 +0200306/** Validate a key's location.
Gilles Peskined167b942019-04-19 18:19:40 +0200307 *
Steven Cooreman81fe7c32020-06-08 18:37:19 +0200308 * This function checks whether the key's attributes point to a location that
309 * is known to the PSA Core, and returns the driver function table if the key
310 * is to be found in an external location.
Gilles Peskined167b942019-04-19 18:19:40 +0200311 *
Steven Cooreman8c1e7592020-06-17 14:52:05 +0200312 * \param[in] lifetime The key lifetime attribute.
Steven Cooreman81fe7c32020-06-08 18:37:19 +0200313 * \param[out] p_drv On success, when a key is located in external
314 * storage, returns a pointer to the driver table
315 * associated with the key's storage location.
Gilles Peskine011e4282019-06-26 18:34:38 +0200316 *
Gilles Peskineed733552023-02-14 19:21:09 +0100317 * \retval #PSA_SUCCESS \emptydescription
318 * \retval #PSA_ERROR_INVALID_ARGUMENT \emptydescription
Gilles Peskined167b942019-04-19 18:19:40 +0200319 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100320psa_status_t psa_validate_key_location(psa_key_lifetime_t lifetime,
321 psa_se_drv_table_entry_t **p_drv);
Steven Cooreman81fe7c32020-06-08 18:37:19 +0200322
Ronald Crond2ed4812020-07-17 16:11:30 +0200323/** Validate the persistence of a key.
Steven Cooreman81fe7c32020-06-08 18:37:19 +0200324 *
Ronald Cron27238fc2020-07-23 12:30:41 +0200325 * \param[in] lifetime The key lifetime attribute.
Steven Cooreman81fe7c32020-06-08 18:37:19 +0200326 *
Gilles Peskineed733552023-02-14 19:21:09 +0100327 * \retval #PSA_SUCCESS \emptydescription
Ronald Cronde825e62021-04-01 13:59:10 +0200328 * \retval #PSA_ERROR_NOT_SUPPORTED The key is persistent but persistent keys
329 * are not supported.
Steven Cooreman81fe7c32020-06-08 18:37:19 +0200330 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100331psa_status_t psa_validate_key_persistence(psa_key_lifetime_t lifetime);
Ronald Crond2ed4812020-07-17 16:11:30 +0200332
333/** Validate a key identifier.
334 *
Ronald Cronfc9c5562020-10-15 19:24:49 +0200335 * \param[in] key The key identifier.
336 * \param[in] vendor_ok Non-zero to indicate that key identifiers in the
337 * vendor range are allowed, volatile key identifiers
338 * excepted \c 0 otherwise.
Ronald Crond2ed4812020-07-17 16:11:30 +0200339 *
Ronald Cron77e412c2021-03-31 17:36:31 +0200340 * \retval <> 0 if the key identifier is valid, 0 otherwise.
Ronald Crond2ed4812020-07-17 16:11:30 +0200341 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100342int psa_is_valid_key_id(mbedtls_svc_key_id_t key, int vendor_ok);
Gilles Peskined167b942019-04-19 18:19:40 +0200343
Gilles Peskine961849f2018-11-30 18:54:54 +0100344#endif /* PSA_CRYPTO_SLOT_MANAGEMENT_H */