blob: a681690a34c730015514be0690175b85dfc1adab [file] [log] [blame]
Darryl Greendb2b8db2018-06-15 13:06:04 +01001/**
2 * \file psa_crypto_storage.h
3 *
4 * \brief PSA cryptography module: Mbed TLS key storage
5 */
6/*
Bence Szépkúti1e148272020-08-07 13:07:28 +02007 * Copyright The Mbed TLS Contributors
Darryl Greendb2b8db2018-06-15 13:06:04 +01008 * SPDX-License-Identifier: Apache-2.0
9 *
10 * Licensed under the Apache License, Version 2.0 (the "License"); you may
11 * not use this file except in compliance with the License.
12 * You may obtain a copy of the License at
13 *
14 * http://www.apache.org/licenses/LICENSE-2.0
15 *
16 * Unless required by applicable law or agreed to in writing, software
17 * distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
18 * WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
19 * See the License for the specific language governing permissions and
20 * limitations under the License.
Darryl Greendb2b8db2018-06-15 13:06:04 +010021 */
22
23#ifndef PSA_CRYPTO_STORAGE_H
24#define PSA_CRYPTO_STORAGE_H
25
26#ifdef __cplusplus
27extern "C" {
28#endif
29
Darryl Greendb2b8db2018-06-15 13:06:04 +010030#include "psa/crypto.h"
Gilles Peskinefc762652019-07-22 19:30:34 +020031#include "psa/crypto_se_driver.h"
32
Darryl Greendb2b8db2018-06-15 13:06:04 +010033#include <stdint.h>
Gilles Peskinec8336cb2019-07-22 19:26:12 +020034#include <string.h>
Darryl Greendb2b8db2018-06-15 13:06:04 +010035
Gilles Peskinec744d992019-07-30 17:26:54 +020036/* Limit the maximum key size in storage. This should have no effect
37 * since the key size is limited in memory. */
38#define PSA_CRYPTO_MAX_STORAGE_SIZE ( PSA_BITS_TO_BYTES( PSA_MAX_KEY_BITS ) )
39/* Sanity check: a file size must fit in 32 bits. Allow a generous
40 * 64kB of metadata. */
41#if PSA_CRYPTO_MAX_STORAGE_SIZE > 0xffff0000
42#error PSA_CRYPTO_MAX_STORAGE_SIZE > 0xffff0000
43#endif
Darryl Greendb2b8db2018-06-15 13:06:04 +010044
Gilles Peskine48868122018-12-10 17:30:29 +010045/** The maximum permitted persistent slot number.
46 *
47 * In Mbed Crypto 0.1.0b:
48 * - Using the file backend, all key ids are ok except 0.
49 * - Using the ITS backend, all key ids are ok except 0xFFFFFF52
50 * (#PSA_CRYPTO_ITS_RANDOM_SEED_UID) for which the file contains the
51 * device's random seed (if this feature is enabled).
52 * - Only key ids from 1 to #PSA_KEY_SLOT_COUNT are actually used.
53 *
54 * Since we need to preserve the random seed, avoid using that key slot.
55 * Reserve a whole range of key slots just in case something else comes up.
56 *
57 * This limitation will probably become moot when we implement client
58 * separation for key storage.
59 */
Gilles Peskinef9666592019-05-06 18:56:30 +020060#define PSA_MAX_PERSISTENT_KEY_IDENTIFIER PSA_KEY_ID_VENDOR_MAX
Gilles Peskine48868122018-12-10 17:30:29 +010061
Darryl Greendb2b8db2018-06-15 13:06:04 +010062/**
Gilles Peskine5e80d912019-02-24 17:10:18 +010063 * \brief Checks if persistent data is stored for the given key slot number
64 *
65 * This function checks if any key data or metadata exists for the key slot in
66 * the persistent storage.
67 *
68 * \param key Persistent identifier to check.
69 *
70 * \retval 0
71 * No persistent data present for slot number
72 * \retval 1
73 * Persistent data present for slot number
74 */
Ronald Cron71016a92020-08-28 19:01:50 +020075int psa_is_key_present_in_storage( const mbedtls_svc_key_id_t key );
Gilles Peskine5e80d912019-02-24 17:10:18 +010076
77/**
Darryl Greendb2b8db2018-06-15 13:06:04 +010078 * \brief Format key data and metadata and save to a location for given key
79 * slot.
80 *
81 * This function formats the key data and metadata and saves it to a
82 * persistent storage backend. The storage location corresponding to the
83 * key slot must be empty, otherwise this function will fail. This function
Steven Cooreman40120f62020-10-29 11:42:22 +010084 * should be called after loading the key into an internal slot to ensure the
Darryl Greendb2b8db2018-06-15 13:06:04 +010085 * persistent key is not saved into a storage location corresponding to an
Steven Cooreman40120f62020-10-29 11:42:22 +010086 * already occupied non-persistent key, as well as ensuring the key data is
87 * validated.
Darryl Greendb2b8db2018-06-15 13:06:04 +010088 *
89 *
Gilles Peskine4ed0e6f2019-07-30 20:22:33 +020090 * \param[in] attr The attributes of the key to save.
Gilles Peskinebfd322f2019-07-23 11:58:03 +020091 * The key identifier field in the attributes
92 * determines the key's location.
93 * \param[in] data Buffer containing the key data.
94 * \param data_length The number of bytes that make up the key data.
Darryl Greendb2b8db2018-06-15 13:06:04 +010095 *
Ronald Cron96783552020-10-19 12:06:30 +020096 * \retval #PSA_SUCCESS
97 * \retval #PSA_ERROR_INSUFFICIENT_MEMORY
98 * \retval #PSA_ERROR_INSUFFICIENT_STORAGE
Ronald Cron96783552020-10-19 12:06:30 +020099 * \retval #PSA_ERROR_ALREADY_EXISTS
gabor-mezei-arm452b0a32020-11-09 17:42:55 +0100100 * \retval #PSA_ERROR_DATA_INVALID
101 * \retval #PSA_ERROR_DATA_CORRUPT
102 * \retval #PSA_ERROR_INVALID_ARGUMENT
103 * \retval #PSA_ERROR_DOES_NOT_EXIST
Darryl Greendb2b8db2018-06-15 13:06:04 +0100104 */
Gilles Peskine4ed0e6f2019-07-30 20:22:33 +0200105psa_status_t psa_save_persistent_key( const psa_core_key_attributes_t *attr,
Darryl Greendb2b8db2018-06-15 13:06:04 +0100106 const uint8_t *data,
107 const size_t data_length );
108
109/**
110 * \brief Parses key data and metadata and load persistent key for given
111 * key slot number.
112 *
113 * This function reads from a storage backend, parses the key data and
114 * metadata and writes them to the appropriate output parameters.
115 *
116 * Note: This function allocates a buffer and returns a pointer to it through
117 * the data parameter. psa_free_persistent_key_data() must be called after
118 * this function to zeroize and free this buffer, regardless of whether this
119 * function succeeds or fails.
120 *
Gilles Peskine4ed0e6f2019-07-30 20:22:33 +0200121 * \param[in,out] attr On input, the key identifier field identifies
Gilles Peskinebfd322f2019-07-23 11:58:03 +0200122 * the key to load. Other fields are ignored.
123 * On success, the attribute structure contains
124 * the key metadata that was loaded from storage.
Darryl Greendb2b8db2018-06-15 13:06:04 +0100125 * \param[out] data Pointer to an allocated key data buffer on return.
126 * \param[out] data_length The number of bytes that make up the key data.
127 *
Ronald Cron96783552020-10-19 12:06:30 +0200128 * \retval #PSA_SUCCESS
129 * \retval #PSA_ERROR_INSUFFICIENT_MEMORY
gabor-mezei-arm452b0a32020-11-09 17:42:55 +0100130 * \retval #PSA_ERROR_DATA_INVALID
131 * \retval #PSA_ERROR_DATA_CORRUPT
Ronald Cron96783552020-10-19 12:06:30 +0200132 * \retval #PSA_ERROR_DOES_NOT_EXIST
gabor-mezei-arm452b0a32020-11-09 17:42:55 +0100133 * \retval #PSA_ERROR_INVALID_ARGUMENT
Darryl Greendb2b8db2018-06-15 13:06:04 +0100134 */
Gilles Peskine4ed0e6f2019-07-30 20:22:33 +0200135psa_status_t psa_load_persistent_key( psa_core_key_attributes_t *attr,
Darryl Greendb2b8db2018-06-15 13:06:04 +0100136 uint8_t **data,
137 size_t *data_length );
138
139/**
140 * \brief Remove persistent data for the given key slot number.
141 *
Gilles Peskine8d4919b2018-12-03 16:48:09 +0100142 * \param key Persistent identifier of the key to remove
Darryl Greendb2b8db2018-06-15 13:06:04 +0100143 * from persistent storage.
144 *
Ronald Cron96783552020-10-19 12:06:30 +0200145 * \retval #PSA_SUCCESS
Gilles Peskine8d4919b2018-12-03 16:48:09 +0100146 * The key was successfully removed,
147 * or the key did not exist.
gabor-mezei-arm452b0a32020-11-09 17:42:55 +0100148 * \retval #PSA_ERROR_DATA_INVALID
Darryl Greendb2b8db2018-06-15 13:06:04 +0100149 */
Ronald Cron71016a92020-08-28 19:01:50 +0200150psa_status_t psa_destroy_persistent_key( const mbedtls_svc_key_id_t key );
Darryl Greendb2b8db2018-06-15 13:06:04 +0100151
152/**
Gilles Peskine8d4919b2018-12-03 16:48:09 +0100153 * \brief Free the temporary buffer allocated by psa_load_persistent_key().
Darryl Greendb2b8db2018-06-15 13:06:04 +0100154 *
155 * This function must be called at some point after psa_load_persistent_key()
156 * to zeroize and free the memory allocated to the buffer in that function.
157 *
158 * \param key_data Buffer for the key data.
159 * \param key_data_length Size of the key data buffer.
160 *
161 */
162void psa_free_persistent_key_data( uint8_t *key_data, size_t key_data_length );
163
164/**
165 * \brief Formats key data and metadata for persistent storage
166 *
Gilles Peskinebfd322f2019-07-23 11:58:03 +0200167 * \param[in] data Buffer containing the key data.
Darryl Greendb2b8db2018-06-15 13:06:04 +0100168 * \param data_length Length of the key data buffer.
Gilles Peskine4ed0e6f2019-07-30 20:22:33 +0200169 * \param[in] attr The core attributes of the key.
Darryl Greendb2b8db2018-06-15 13:06:04 +0100170 * \param[out] storage_data Output buffer for the formatted data.
171 *
172 */
173void psa_format_key_data_for_storage( const uint8_t *data,
174 const size_t data_length,
Gilles Peskine4ed0e6f2019-07-30 20:22:33 +0200175 const psa_core_key_attributes_t *attr,
Darryl Greendb2b8db2018-06-15 13:06:04 +0100176 uint8_t *storage_data );
177
178/**
179 * \brief Parses persistent storage data into key data and metadata
180 *
181 * \param[in] storage_data Buffer for the storage data.
182 * \param storage_data_length Length of the storage data buffer
183 * \param[out] key_data On output, pointer to a newly allocated buffer
184 * containing the key data. This must be freed
185 * using psa_free_persistent_key_data()
186 * \param[out] key_data_length Length of the key data buffer
Gilles Peskine4ed0e6f2019-07-30 20:22:33 +0200187 * \param[out] attr On success, the attribute structure is filled
Gilles Peskinebfd322f2019-07-23 11:58:03 +0200188 * with the loaded key metadata.
Darryl Greendb2b8db2018-06-15 13:06:04 +0100189 *
Ronald Cron96783552020-10-19 12:06:30 +0200190 * \retval #PSA_SUCCESS
Ronald Cron96783552020-10-19 12:06:30 +0200191 * \retval #PSA_ERROR_INSUFFICIENT_MEMORY
gabor-mezei-arm452b0a32020-11-09 17:42:55 +0100192 * \retval #PSA_ERROR_DATA_INVALID
Darryl Greendb2b8db2018-06-15 13:06:04 +0100193 */
194psa_status_t psa_parse_key_data_from_storage( const uint8_t *storage_data,
195 size_t storage_data_length,
196 uint8_t **key_data,
197 size_t *key_data_length,
Gilles Peskine4ed0e6f2019-07-30 20:22:33 +0200198 psa_core_key_attributes_t *attr );
Darryl Greendb2b8db2018-06-15 13:06:04 +0100199
Gilles Peskinec8336cb2019-07-22 19:26:12 +0200200#if defined(MBEDTLS_PSA_CRYPTO_SE_C)
201/** This symbol is defined if transaction support is required. */
202#define PSA_CRYPTO_STORAGE_HAS_TRANSACTIONS
203#endif
204
205#if defined(PSA_CRYPTO_STORAGE_HAS_TRANSACTIONS)
206
207/** The type of transaction that is in progress.
208 */
209/* This is an integer type rather than an enum for two reasons: to support
210 * unknown values when loading a transaction file, and to ensure that the
211 * type has a known size.
212 */
213typedef uint16_t psa_crypto_transaction_type_t;
214
215/** No transaction is in progress.
Gilles Peskine2ea06fd2019-07-25 17:53:16 +0200216 *
217 * This has the value 0, so zero-initialization sets a transaction's type to
218 * this value.
Gilles Peskinec8336cb2019-07-22 19:26:12 +0200219 */
220#define PSA_CRYPTO_TRANSACTION_NONE ( (psa_crypto_transaction_type_t) 0x0000 )
221
Gilles Peskinefc762652019-07-22 19:30:34 +0200222/** A key creation transaction.
223 *
224 * This is only used for keys in an external cryptoprocessor (secure element).
225 * Keys in RAM or in internal storage are created atomically in storage
226 * (simple file creation), so they do not need a transaction mechanism.
227 */
228#define PSA_CRYPTO_TRANSACTION_CREATE_KEY ( (psa_crypto_transaction_type_t) 0x0001 )
229
230/** A key destruction transaction.
231 *
232 * This is only used for keys in an external cryptoprocessor (secure element).
233 * Keys in RAM or in internal storage are destroyed atomically in storage
234 * (simple file deletion), so they do not need a transaction mechanism.
235 */
236#define PSA_CRYPTO_TRANSACTION_DESTROY_KEY ( (psa_crypto_transaction_type_t) 0x0002 )
237
Gilles Peskinec8336cb2019-07-22 19:26:12 +0200238/** Transaction data.
239 *
240 * This type is designed to be serialized by writing the memory representation
241 * and reading it back on the same device.
242 *
243 * \note The transaction mechanism is designed for a single active transaction
244 * at a time. The transaction object is #psa_crypto_transaction.
245 *
246 * \note If an API call starts a transaction, it must complete this transaction
247 * before returning to the application.
248 *
249 * The lifetime of a transaction is the following (note that only one
250 * transaction may be active at a time):
251 *
252 * -# Call psa_crypto_prepare_transaction() to initialize the transaction
253 * object in memory and declare the type of transaction that is starting.
254 * -# Fill in the type-specific fields of #psa_crypto_transaction.
255 * -# Call psa_crypto_save_transaction() to start the transaction. This
256 * saves the transaction data to internal storage.
Gilles Peskine2ea06fd2019-07-25 17:53:16 +0200257 * -# Perform the work of the transaction by modifying files, contacting
258 * external entities, or whatever needs doing. Note that the transaction
259 * may be interrupted by a power failure, so you need to have a way
260 * recover from interruptions either by undoing what has been done
261 * so far or by resuming where you left off.
Gilles Peskinec8336cb2019-07-22 19:26:12 +0200262 * -# If there are intermediate stages in the transaction, update
263 * the fields of #psa_crypto_transaction and call
264 * psa_crypto_save_transaction() again when each stage is reached.
Gilles Peskine2ea06fd2019-07-25 17:53:16 +0200265 * -# When the transaction is over, call psa_crypto_stop_transaction() to
266 * remove the transaction data in storage and in memory.
Gilles Peskinec8336cb2019-07-22 19:26:12 +0200267 *
268 * If the system crashes while a transaction is in progress, psa_crypto_init()
269 * calls psa_crypto_load_transaction() and takes care of completing or
Gilles Peskine2ea06fd2019-07-25 17:53:16 +0200270 * rewinding the transaction. This is done in psa_crypto_recover_transaction()
271 * in psa_crypto.c. If you add a new type of transaction, be
272 * sure to add code for it in psa_crypto_recover_transaction().
Gilles Peskinec8336cb2019-07-22 19:26:12 +0200273 */
274typedef union
275{
276 /* Each element of this union must have the following properties
277 * to facilitate serialization and deserialization:
278 *
279 * - The element is a struct.
280 * - The first field of the struct is `psa_crypto_transaction_type_t type`.
281 * - Elements of the struct are arranged such a way that there is
282 * no padding.
283 */
284 struct psa_crypto_transaction_unknown_s
285 {
286 psa_crypto_transaction_type_t type;
Gilles Peskinefc762652019-07-22 19:30:34 +0200287 uint16_t unused1;
288 uint32_t unused2;
289 uint64_t unused3;
290 uint64_t unused4;
Gilles Peskinec8336cb2019-07-22 19:26:12 +0200291 } unknown;
Gilles Peskinefc762652019-07-22 19:30:34 +0200292 /* ::type is #PSA_CRYPTO_TRANSACTION_CREATE_KEY or
293 * #PSA_CRYPTO_TRANSACTION_DESTROY_KEY. */
294 struct psa_crypto_transaction_key_s
295 {
296 psa_crypto_transaction_type_t type;
297 uint16_t unused1;
298 psa_key_lifetime_t lifetime;
299 psa_key_slot_number_t slot;
Ronald Cron71016a92020-08-28 19:01:50 +0200300 mbedtls_svc_key_id_t id;
Gilles Peskinefc762652019-07-22 19:30:34 +0200301 } key;
Gilles Peskinec8336cb2019-07-22 19:26:12 +0200302} psa_crypto_transaction_t;
303
304/** The single active transaction.
305 */
306extern psa_crypto_transaction_t psa_crypto_transaction;
307
308/** Prepare for a transaction.
309 *
310 * There must not be an ongoing transaction.
311 *
312 * \param type The type of transaction to start.
313 */
314static inline void psa_crypto_prepare_transaction(
315 psa_crypto_transaction_type_t type )
316{
317 psa_crypto_transaction.unknown.type = type;
318}
319
320/** Save the transaction data to storage.
321 *
322 * You may call this function multiple times during a transaction to
323 * atomically update the transaction state.
324 *
325 * \retval #PSA_SUCCESS
gabor-mezei-arm452b0a32020-11-09 17:42:55 +0100326 * \retval #PSA_ERROR_DATA_CORRUPT
Gilles Peskinec8336cb2019-07-22 19:26:12 +0200327 * \retval #PSA_ERROR_INSUFFICIENT_STORAGE
328 * \retval #PSA_ERROR_STORAGE_FAILURE
329 */
330psa_status_t psa_crypto_save_transaction( void );
331
332/** Load the transaction data from storage, if any.
333 *
334 * This function is meant to be called from psa_crypto_init() to recover
335 * in case a transaction was interrupted by a system crash.
336 *
337 * \retval #PSA_SUCCESS
338 * The data about the ongoing transaction has been loaded to
339 * #psa_crypto_transaction.
340 * \retval #PSA_ERROR_DOES_NOT_EXIST
341 * There is no ongoing transaction.
342 * \retval #PSA_ERROR_STORAGE_FAILURE
gabor-mezei-arm452b0a32020-11-09 17:42:55 +0100343 * \retval #PSA_ERROR_DATA_INVALID
344 * \retval #PSA_ERROR_DATA_CORRUPT
345 * \retval #PSA_ERROR_INVALID_ARGUMENT
Gilles Peskinec8336cb2019-07-22 19:26:12 +0200346 */
347psa_status_t psa_crypto_load_transaction( void );
348
349/** Indicate that the current transaction is finished.
350 *
Gilles Peskine2ea06fd2019-07-25 17:53:16 +0200351 * Call this function at the very end of transaction processing.
352 * This function does not "commit" or "abort" the transaction: the storage
353 * subsystem has no concept of "commit" and "abort", just saving and
354 * removing the transaction information in storage.
Gilles Peskinec8336cb2019-07-22 19:26:12 +0200355 *
356 * This function erases the transaction data in storage (if any) and
357 * resets the transaction data in memory.
358 *
359 * \retval #PSA_SUCCESS
360 * There was transaction data in storage.
361 * \retval #PSA_ERROR_DOES_NOT_EXIST
362 * There was no transaction data in storage.
363 * \retval #PSA_ERROR_STORAGE_FAILURE
364 * It was impossible to determine whether there was transaction data
365 * in storage, or the transaction data could not be erased.
366 */
367psa_status_t psa_crypto_stop_transaction( void );
368
369/** The ITS file identifier for the transaction data.
370 *
371 * 0xffffffNN = special file; 0x74 = 't' for transaction.
372 */
Ronald Cron039a98b2020-07-23 16:07:42 +0200373#define PSA_CRYPTO_ITS_TRANSACTION_UID ( (psa_key_id_t) 0xffffff74 )
Gilles Peskinec8336cb2019-07-22 19:26:12 +0200374
375#endif /* PSA_CRYPTO_STORAGE_HAS_TRANSACTIONS */
376
Gilles Peskinee3dbdd82019-02-25 11:04:06 +0100377#if defined(MBEDTLS_PSA_INJECT_ENTROPY)
378/** Backend side of mbedtls_psa_inject_entropy().
379 *
380 * This function stores the supplied data into the entropy seed file.
381 *
382 * \retval #PSA_SUCCESS
383 * Success
384 * \retval #PSA_ERROR_STORAGE_FAILURE
385 * \retval #PSA_ERROR_INSUFFICIENT_STORAGE
386 * \retval #PSA_ERROR_NOT_PERMITTED
387 * The entropy seed file already exists.
388 */
389psa_status_t mbedtls_psa_storage_inject_entropy( const unsigned char *seed,
390 size_t seed_size );
391#endif /* MBEDTLS_PSA_INJECT_ENTROPY */
392
Darryl Greendb2b8db2018-06-15 13:06:04 +0100393#ifdef __cplusplus
394}
395#endif
396
397#endif /* PSA_CRYPTO_STORAGE_H */