blob: 01778f899e45dd46022b144e11ad655d8e0a2489 [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 *
Steven Cooreman863470a2021-02-15 14:03:19 +010018 * The last #MBEDTLS_PSA_KEY_SLOT_COUNT identifiers of the implementation
19 * range of key identifiers are reserved for volatile key identifiers.
Ronald Cron96783552020-10-19 12:06:30 +020020 * A volatile key identifier is equal to #PSA_KEY_ID_VOLATILE_MIN plus the
Ronald Cron2a993152020-07-17 14:13:26 +020021 * index of the key slot containing the volatile key definition.
22 */
23
24/** The minimum value for a volatile key identifier.
25 */
Gilles Peskine449bd832023-01-11 14:50:10 +010026#define PSA_KEY_ID_VOLATILE_MIN (PSA_KEY_ID_VENDOR_MAX - \
27 MBEDTLS_PSA_KEY_SLOT_COUNT + 1)
Ronald Cron2a993152020-07-17 14:13:26 +020028
29/** The maximum value for a volatile key identifier.
30 */
31#define PSA_KEY_ID_VOLATILE_MAX PSA_KEY_ID_VENDOR_MAX
32
Ronald Cron97c8ad52020-10-15 11:17:11 +020033/** Test whether a key identifier is a volatile key identifier.
34 *
35 * \param key_id Key identifier to test.
36 *
37 * \retval 1
38 * The key identifier is a volatile key identifier.
39 * \retval 0
40 * The key identifier is not a volatile key identifier.
41 */
Gilles Peskine449bd832023-01-11 14:50:10 +010042static inline int psa_key_id_is_volatile(psa_key_id_t key_id)
Ronald Cron97c8ad52020-10-15 11:17:11 +020043{
Gilles Peskine449bd832023-01-11 14:50:10 +010044 return (key_id >= PSA_KEY_ID_VOLATILE_MIN) &&
45 (key_id <= PSA_KEY_ID_VOLATILE_MAX);
Ronald Cron97c8ad52020-10-15 11:17:11 +020046}
47
Ronald Cron5c522922020-11-14 16:35:34 +010048/** Get the description of a key given its identifier and lock it.
Gilles Peskine09829032018-12-10 17:00:38 +010049 *
Ronald Cron5c522922020-11-14 16:35:34 +010050 * The descriptions of volatile keys and loaded persistent keys are stored in
51 * key slots. This function returns a pointer to the key slot containing the
52 * description of a key given its identifier.
Ronald Cronc4d1b512020-07-31 11:26:37 +020053 *
Ronald Cron5c522922020-11-14 16:35:34 +010054 * In case of a persistent key, the function loads the description of the key
55 * into a key slot if not already done.
Ronald Cronc4d1b512020-07-31 11:26:37 +020056 *
Ryan Everett098c6652024-01-03 13:03:36 +000057 * On success, the returned key slot has been registered for reading.
58 * It is the responsibility of the caller to call psa_unregister_read(slot)
59 * when they have finished reading the contents of the slot.
Ronald Cronf95a2b12020-10-22 15:24:49 +020060 *
Ronald Cronc4d1b512020-07-31 11:26:37 +020061 * \param key Key identifier to query.
Gilles Peskine09829032018-12-10 17:00:38 +010062 * \param[out] p_slot On success, `*p_slot` contains a pointer to the
Ronald Cronc4d1b512020-07-31 11:26:37 +020063 * key slot containing the description of the key
64 * identified by \p key.
Gilles Peskine09829032018-12-10 17:00:38 +010065 *
Ronald Cronc4d1b512020-07-31 11:26:37 +020066 * \retval #PSA_SUCCESS
Ronald Cron1d12d872020-11-18 17:21:22 +010067 * \p *p_slot contains a pointer to the key slot containing the
68 * description of the key identified by \p key.
69 * The key slot counter has been incremented.
Ronald Cronc4d1b512020-07-31 11:26:37 +020070 * \retval #PSA_ERROR_BAD_STATE
Ryan Everettdfe8bf82024-01-12 17:45:05 +000071 * The library has not been initialized.
Ronald Cronc4d1b512020-07-31 11:26:37 +020072 * \retval #PSA_ERROR_INVALID_HANDLE
73 * \p key is not a valid key identifier.
74 * \retval #PSA_ERROR_INSUFFICIENT_MEMORY
75 * \p key is a persistent key identifier. The implementation does not
76 * have sufficient resources to load the persistent key. This can be
77 * due to a lack of empty key slot, or available memory.
78 * \retval #PSA_ERROR_DOES_NOT_EXIST
79 * There is no key with key identifier \p key.
Gilles Peskineed733552023-02-14 19:21:09 +010080 * \retval #PSA_ERROR_CORRUPTION_DETECTED \emptydescription
81 * \retval #PSA_ERROR_STORAGE_FAILURE \emptydescription
82 * \retval #PSA_ERROR_DATA_CORRUPT \emptydescription
Gilles Peskine09829032018-12-10 17:00:38 +010083 */
Gilles Peskine449bd832023-01-11 14:50:10 +010084psa_status_t psa_get_and_lock_key_slot(mbedtls_svc_key_id_t key,
85 psa_key_slot_t **p_slot);
Gilles Peskine66fb1262018-12-10 16:29:04 +010086
Gilles Peskine09829032018-12-10 17:00:38 +010087/** Initialize the key slot structures.
Ryan Everett84688932024-01-08 11:10:03 +000088 * If multi-threading is enabled then initialize the key slot mutex.
89 * This function is not thread-safe,
90 * if called by competing threads the key slot mutex may be initialized
91 * more than once.
Gilles Peskine09829032018-12-10 17:00:38 +010092 *
Ronald Cron96783552020-10-19 12:06:30 +020093 * \retval #PSA_SUCCESS
Gilles Peskine09829032018-12-10 17:00:38 +010094 * Currently this function always succeeds.
95 */
Gilles Peskine449bd832023-01-11 14:50:10 +010096psa_status_t psa_initialize_key_slots(void);
Gilles Peskine66fb1262018-12-10 16:29:04 +010097
Gilles Peskine09829032018-12-10 17:00:38 +010098/** Delete all data from key slots in memory.
Ryan Everett84688932024-01-08 11:10:03 +000099 * If multi-threading is enabled then free the key slot mutex.
100 * This function is not thread-safe,
101 * if called by competing threads the key slot mutex may be freed
102 * more than once.
Gilles Peskine09829032018-12-10 17:00:38 +0100103 *
104 * This does not affect persistent storage. */
Gilles Peskine449bd832023-01-11 14:50:10 +0100105void psa_wipe_all_key_slots(void);
Gilles Peskine66fb1262018-12-10 16:29:04 +0100106
Ryan Everett2afb5162023-12-22 15:59:45 +0000107/** Find a free key slot and reserve it to be filled with a key.
Gilles Peskine41e50d22019-07-31 15:01:55 +0200108 *
Ryan Everett2afb5162023-12-22 15:59:45 +0000109 * This function finds a key slot that is free,
110 * sets its state to PSA_SLOT_FILLING and then returns the slot.
111 *
112 * On success, the key slot's state is PSA_SLOT_FILLING.
113 * It is the responsibility of the caller to change the slot's state to
114 * PSA_SLOT_EMPTY/FULL once key creation has finished.
Gilles Peskinef46f81c2019-05-27 14:53:10 +0200115 *
Ronald Cron2a993152020-07-17 14:13:26 +0200116 * \param[out] volatile_key_id On success, volatile key identifier
117 * associated to the returned slot.
118 * \param[out] p_slot On success, a pointer to the slot.
Gilles Peskinef46f81c2019-05-27 14:53:10 +0200119 *
Gilles Peskineed733552023-02-14 19:21:09 +0100120 * \retval #PSA_SUCCESS \emptydescription
Ryan Everett2afb5162023-12-22 15:59:45 +0000121 * \retval #PSA_ERROR_INSUFFICIENT_MEMORY
122 * There were no free key slots.
Ryan Everettdfe8bf82024-01-12 17:45:05 +0000123 * \retval #PSA_ERROR_BAD_STATE \emptydescription
124 * \retval #PSA_ERROR_CORRUPTION_DETECTED
Ryan Everett2afb5162023-12-22 15:59:45 +0000125 * This function attempted to operate on a key slot which was in an
126 * unexpected state.
Gilles Peskinef46f81c2019-05-27 14:53:10 +0200127 */
Ryan Everett2afb5162023-12-22 15:59:45 +0000128psa_status_t psa_reserve_free_key_slot(psa_key_id_t *volatile_key_id,
129 psa_key_slot_t **p_slot);
130
Ryan Everett4a782772024-01-04 10:53:26 +0000131/** Change the state of a key slot.
132 *
133 * This function changes the state of the key slot from expected_state to
134 * new state. If the state of the slot was not expected_state, the state is
135 * unchanged.
136 *
137 * \param[in] slot The key slot.
138 * \param[in] expected_state The current state of the slot.
139 * \param[in] new_state The new state of the slot.
140 *
141 * \retval #PSA_SUCCESS
142 The key slot's state variable is new_state.
Ryan Everettdfe8bf82024-01-12 17:45:05 +0000143 * \retval #PSA_ERROR_CORRUPTION_DETECTED
Ryan Everett4a782772024-01-04 10:53:26 +0000144 * The slot's state was not expected_state.
145 */
146static inline psa_status_t psa_key_slot_state_transition(
147 psa_key_slot_t *slot, psa_key_slot_state_t expected_state,
148 psa_key_slot_state_t new_state)
149{
150 if (slot->state != expected_state) {
Ryan Everettdfe8bf82024-01-12 17:45:05 +0000151 return PSA_ERROR_CORRUPTION_DETECTED;
Ryan Everett4a782772024-01-04 10:53:26 +0000152 }
153 slot->state = new_state;
154 return PSA_SUCCESS;
155}
Gilles Peskinef46f81c2019-05-27 14:53:10 +0200156
Ryan Everett39cc9d72023-12-21 17:57:14 +0000157/** Register as a reader of a key slot.
Ronald Cronf95a2b12020-10-22 15:24:49 +0200158 *
Ryan Everett39cc9d72023-12-21 17:57:14 +0000159 * This function increments the key slot registered reader counter by one.
Ronald Cronf95a2b12020-10-22 15:24:49 +0200160 *
161 * \param[in] slot The key slot.
Ronald Croncbf6a1d2020-11-13 15:59:59 +0100162 *
163 * \retval #PSA_SUCCESS
Ryan Everett39cc9d72023-12-21 17:57:14 +0000164 The key slot registered reader counter was incremented.
Ronald Croncbf6a1d2020-11-13 15:59:59 +0100165 * \retval #PSA_ERROR_CORRUPTION_DETECTED
Ryan Everett39cc9d72023-12-21 17:57:14 +0000166 * The reader counter already reached its maximum value and was not
Ryan Everettdfe8bf82024-01-12 17:45:05 +0000167 * increased, or the slot's state was not PSA_SLOT_FULL.
Ronald Cronf95a2b12020-10-22 15:24:49 +0200168 */
Ryan Everett39cc9d72023-12-21 17:57:14 +0000169static inline psa_status_t psa_register_read(psa_key_slot_t *slot)
Ronald Cronf95a2b12020-10-22 15:24:49 +0200170{
Ryan Everettdfe8bf82024-01-12 17:45:05 +0000171 if ((slot->state != PSA_SLOT_FULL) ||
172 (slot->registered_readers >= SIZE_MAX)) {
Gilles Peskine449bd832023-01-11 14:50:10 +0100173 return PSA_ERROR_CORRUPTION_DETECTED;
174 }
Ryan Everett39cc9d72023-12-21 17:57:14 +0000175 slot->registered_readers++;
Ronald Croncbf6a1d2020-11-13 15:59:59 +0100176
Gilles Peskine449bd832023-01-11 14:50:10 +0100177 return PSA_SUCCESS;
Ronald Cronf95a2b12020-10-22 15:24:49 +0200178}
179
Ryan Everett39cc9d72023-12-21 17:57:14 +0000180/** Unregister from reading a key slot.
Ronald Cronf95a2b12020-10-22 15:24:49 +0200181 *
Ryan Everett39cc9d72023-12-21 17:57:14 +0000182 * This function decrements the key slot registered reader counter by one.
183 * If the state of the slot is PSA_SLOT_PENDING_DELETION,
184 * and there is only one registered reader (the caller),
Ryan Everett4755e6b2024-01-12 16:35:59 +0000185 * this function will call psa_wipe_key_slot().
Ronald Cronf95a2b12020-10-22 15:24:49 +0200186 *
187 * \note To ease the handling of errors in retrieving a key slot
188 * a NULL input pointer is valid, and the function returns
189 * successfully without doing anything in that case.
190 *
191 * \param[in] slot The key slot.
192 * \retval #PSA_SUCCESS
Ryan Everett39cc9d72023-12-21 17:57:14 +0000193 * \p slot is NULL or the key slot reader counter has been
194 * decremented (and potentially wiped) successfully.
Ronald Cronf95a2b12020-10-22 15:24:49 +0200195 * \retval #PSA_ERROR_CORRUPTION_DETECTED
Ryan Everett39cc9d72023-12-21 17:57:14 +0000196 * The slot's state was neither PSA_SLOT_FULL nor
Ryan Everettdfe8bf82024-01-12 17:45:05 +0000197 * PSA_SLOT_PENDING_DELETION.
198 * Or a wipe was attempted and the slot's state was not
199 * PSA_SLOT_PENDING_DELETION.
200 * Or registered_readers was equal to 0.
Ronald Cronf95a2b12020-10-22 15:24:49 +0200201 */
Ryan Everett39cc9d72023-12-21 17:57:14 +0000202psa_status_t psa_unregister_read(psa_key_slot_t *slot);
Ronald Cronf95a2b12020-10-22 15:24:49 +0200203
Gilles Peskine011e4282019-06-26 18:34:38 +0200204/** Test whether a lifetime designates a key in an external cryptoprocessor.
205 *
206 * \param lifetime The lifetime to test.
207 *
208 * \retval 1
209 * The lifetime designates an external key. There should be a
210 * registered driver for this lifetime, otherwise the key cannot
211 * be created or manipulated.
212 * \retval 0
213 * The lifetime designates a key that is volatile or in internal
214 * storage.
215 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100216static inline int psa_key_lifetime_is_external(psa_key_lifetime_t lifetime)
Gilles Peskine011e4282019-06-26 18:34:38 +0200217{
Gilles Peskine449bd832023-01-11 14:50:10 +0100218 return PSA_KEY_LIFETIME_GET_LOCATION(lifetime)
219 != PSA_KEY_LOCATION_LOCAL_STORAGE;
Gilles Peskine011e4282019-06-26 18:34:38 +0200220}
221
Steven Cooreman8c1e7592020-06-17 14:52:05 +0200222/** Validate a key's location.
Gilles Peskined167b942019-04-19 18:19:40 +0200223 *
Steven Cooreman81fe7c32020-06-08 18:37:19 +0200224 * This function checks whether the key's attributes point to a location that
225 * is known to the PSA Core, and returns the driver function table if the key
226 * is to be found in an external location.
Gilles Peskined167b942019-04-19 18:19:40 +0200227 *
Steven Cooreman8c1e7592020-06-17 14:52:05 +0200228 * \param[in] lifetime The key lifetime attribute.
Steven Cooreman81fe7c32020-06-08 18:37:19 +0200229 * \param[out] p_drv On success, when a key is located in external
230 * storage, returns a pointer to the driver table
231 * associated with the key's storage location.
Gilles Peskine011e4282019-06-26 18:34:38 +0200232 *
Gilles Peskineed733552023-02-14 19:21:09 +0100233 * \retval #PSA_SUCCESS \emptydescription
234 * \retval #PSA_ERROR_INVALID_ARGUMENT \emptydescription
Gilles Peskined167b942019-04-19 18:19:40 +0200235 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100236psa_status_t psa_validate_key_location(psa_key_lifetime_t lifetime,
237 psa_se_drv_table_entry_t **p_drv);
Steven Cooreman81fe7c32020-06-08 18:37:19 +0200238
Ronald Crond2ed4812020-07-17 16:11:30 +0200239/** Validate the persistence of a key.
Steven Cooreman81fe7c32020-06-08 18:37:19 +0200240 *
Ronald Cron27238fc2020-07-23 12:30:41 +0200241 * \param[in] lifetime The key lifetime attribute.
Steven Cooreman81fe7c32020-06-08 18:37:19 +0200242 *
Gilles Peskineed733552023-02-14 19:21:09 +0100243 * \retval #PSA_SUCCESS \emptydescription
Ronald Cronde825e62021-04-01 13:59:10 +0200244 * \retval #PSA_ERROR_NOT_SUPPORTED The key is persistent but persistent keys
245 * are not supported.
Steven Cooreman81fe7c32020-06-08 18:37:19 +0200246 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100247psa_status_t psa_validate_key_persistence(psa_key_lifetime_t lifetime);
Ronald Crond2ed4812020-07-17 16:11:30 +0200248
249/** Validate a key identifier.
250 *
Ronald Cronfc9c5562020-10-15 19:24:49 +0200251 * \param[in] key The key identifier.
252 * \param[in] vendor_ok Non-zero to indicate that key identifiers in the
253 * vendor range are allowed, volatile key identifiers
254 * excepted \c 0 otherwise.
Ronald Crond2ed4812020-07-17 16:11:30 +0200255 *
Ronald Cron77e412c2021-03-31 17:36:31 +0200256 * \retval <> 0 if the key identifier is valid, 0 otherwise.
Ronald Crond2ed4812020-07-17 16:11:30 +0200257 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100258int psa_is_valid_key_id(mbedtls_svc_key_id_t key, int vendor_ok);
Gilles Peskined167b942019-04-19 18:19:40 +0200259
Gilles Peskine961849f2018-11-30 18:54:54 +0100260#endif /* PSA_CRYPTO_SLOT_MANAGEMENT_H */