blob: 938cc4f89eb33b3df976bdd84468df037fa145af [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/*
7 * Copyright (C) 2018, ARM Limited, All Rights Reserved
8 * 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.
21 *
22 * This file is part of mbed TLS (https://tls.mbed.org)
23 */
24
25#ifndef PSA_CRYPTO_STORAGE_H
26#define PSA_CRYPTO_STORAGE_H
27
28#ifdef __cplusplus
29extern "C" {
30#endif
31
Darryl Greendb2b8db2018-06-15 13:06:04 +010032#include "psa/crypto.h"
Gilles Peskinefc762652019-07-22 19:30:34 +020033#include "psa/crypto_se_driver.h"
34
Darryl Greendb2b8db2018-06-15 13:06:04 +010035#include <stdint.h>
Gilles Peskinec8336cb2019-07-22 19:26:12 +020036#include <string.h>
Darryl Greendb2b8db2018-06-15 13:06:04 +010037
Gilles Peskinec744d992019-07-30 17:26:54 +020038/* Limit the maximum key size in storage. This should have no effect
39 * since the key size is limited in memory. */
40#define PSA_CRYPTO_MAX_STORAGE_SIZE ( PSA_BITS_TO_BYTES( PSA_MAX_KEY_BITS ) )
41/* Sanity check: a file size must fit in 32 bits. Allow a generous
42 * 64kB of metadata. */
43#if PSA_CRYPTO_MAX_STORAGE_SIZE > 0xffff0000
44#error PSA_CRYPTO_MAX_STORAGE_SIZE > 0xffff0000
45#endif
Darryl Greendb2b8db2018-06-15 13:06:04 +010046
Gilles Peskine48868122018-12-10 17:30:29 +010047/** The maximum permitted persistent slot number.
48 *
49 * In Mbed Crypto 0.1.0b:
50 * - Using the file backend, all key ids are ok except 0.
51 * - Using the ITS backend, all key ids are ok except 0xFFFFFF52
52 * (#PSA_CRYPTO_ITS_RANDOM_SEED_UID) for which the file contains the
53 * device's random seed (if this feature is enabled).
54 * - Only key ids from 1 to #PSA_KEY_SLOT_COUNT are actually used.
55 *
56 * Since we need to preserve the random seed, avoid using that key slot.
57 * Reserve a whole range of key slots just in case something else comes up.
58 *
59 * This limitation will probably become moot when we implement client
60 * separation for key storage.
61 */
Gilles Peskinef9666592019-05-06 18:56:30 +020062#define PSA_MAX_PERSISTENT_KEY_IDENTIFIER PSA_KEY_ID_VENDOR_MAX
Gilles Peskine48868122018-12-10 17:30:29 +010063
Darryl Greendb2b8db2018-06-15 13:06:04 +010064/**
Gilles Peskine5e80d912019-02-24 17:10:18 +010065 * \brief Checks if persistent data is stored for the given key slot number
66 *
67 * This function checks if any key data or metadata exists for the key slot in
68 * the persistent storage.
69 *
70 * \param key Persistent identifier to check.
71 *
72 * \retval 0
73 * No persistent data present for slot number
74 * \retval 1
75 * Persistent data present for slot number
76 */
77int psa_is_key_present_in_storage( const psa_key_file_id_t key );
78
79/**
Darryl Greendb2b8db2018-06-15 13:06:04 +010080 * \brief Format key data and metadata and save to a location for given key
81 * slot.
82 *
83 * This function formats the key data and metadata and saves it to a
84 * persistent storage backend. The storage location corresponding to the
85 * key slot must be empty, otherwise this function will fail. This function
86 * should be called after psa_import_key_into_slot() to ensure the
87 * persistent key is not saved into a storage location corresponding to an
88 * already occupied non-persistent key, as well as validating the key data.
89 *
90 *
Gilles Peskinebfd322f2019-07-23 11:58:03 +020091 * \param[in] attributes The attributes of the key to save.
92 * The key identifier field in the attributes
93 * determines the key's location.
94 * \param[in] data Buffer containing the key data.
95 * \param data_length The number of bytes that make up the key data.
Darryl Greendb2b8db2018-06-15 13:06:04 +010096 *
97 * \retval PSA_SUCCESS
Gilles Peskine8d4919b2018-12-03 16:48:09 +010098 * \retval PSA_ERROR_INSUFFICIENT_MEMORY
Darryl Greendb2b8db2018-06-15 13:06:04 +010099 * \retval PSA_ERROR_INSUFFICIENT_STORAGE
100 * \retval PSA_ERROR_STORAGE_FAILURE
David Saadab4ecc272019-02-14 13:48:10 +0200101 * \retval PSA_ERROR_ALREADY_EXISTS
Darryl Greendb2b8db2018-06-15 13:06:04 +0100102 */
Gilles Peskinebfd322f2019-07-23 11:58:03 +0200103psa_status_t psa_save_persistent_key( const psa_key_attributes_t *attributes,
Darryl Greendb2b8db2018-06-15 13:06:04 +0100104 const uint8_t *data,
105 const size_t data_length );
106
107/**
108 * \brief Parses key data and metadata and load persistent key for given
109 * key slot number.
110 *
111 * This function reads from a storage backend, parses the key data and
112 * metadata and writes them to the appropriate output parameters.
113 *
114 * Note: This function allocates a buffer and returns a pointer to it through
115 * the data parameter. psa_free_persistent_key_data() must be called after
116 * this function to zeroize and free this buffer, regardless of whether this
117 * function succeeds or fails.
118 *
Gilles Peskinebfd322f2019-07-23 11:58:03 +0200119 * \param[in,out] attributes
120 * On input, the key identifier field identifies
121 * the key to load. Other fields are ignored.
122 * On success, the attribute structure contains
123 * the key metadata that was loaded from storage.
Darryl Greendb2b8db2018-06-15 13:06:04 +0100124 * \param[out] data Pointer to an allocated key data buffer on return.
125 * \param[out] data_length The number of bytes that make up the key data.
126 *
127 * \retval PSA_SUCCESS
128 * \retval PSA_ERROR_INSUFFICIENT_MEMORY
129 * \retval PSA_ERROR_STORAGE_FAILURE
David Saadab4ecc272019-02-14 13:48:10 +0200130 * \retval PSA_ERROR_DOES_NOT_EXIST
Darryl Greendb2b8db2018-06-15 13:06:04 +0100131 */
Gilles Peskinebfd322f2019-07-23 11:58:03 +0200132psa_status_t psa_load_persistent_key( psa_key_attributes_t *attributes,
Darryl Greendb2b8db2018-06-15 13:06:04 +0100133 uint8_t **data,
134 size_t *data_length );
135
136/**
137 * \brief Remove persistent data for the given key slot number.
138 *
Gilles Peskine8d4919b2018-12-03 16:48:09 +0100139 * \param key Persistent identifier of the key to remove
Darryl Greendb2b8db2018-06-15 13:06:04 +0100140 * from persistent storage.
141 *
142 * \retval PSA_SUCCESS
Gilles Peskine8d4919b2018-12-03 16:48:09 +0100143 * The key was successfully removed,
144 * or the key did not exist.
Darryl Greendb2b8db2018-06-15 13:06:04 +0100145 * \retval PSA_ERROR_STORAGE_FAILURE
146 */
Gilles Peskine5b229a02019-02-19 13:24:37 +0100147psa_status_t psa_destroy_persistent_key( const psa_key_file_id_t key );
Darryl Greendb2b8db2018-06-15 13:06:04 +0100148
149/**
Gilles Peskine8d4919b2018-12-03 16:48:09 +0100150 * \brief Free the temporary buffer allocated by psa_load_persistent_key().
Darryl Greendb2b8db2018-06-15 13:06:04 +0100151 *
152 * This function must be called at some point after psa_load_persistent_key()
153 * to zeroize and free the memory allocated to the buffer in that function.
154 *
155 * \param key_data Buffer for the key data.
156 * \param key_data_length Size of the key data buffer.
157 *
158 */
159void psa_free_persistent_key_data( uint8_t *key_data, size_t key_data_length );
160
161/**
162 * \brief Formats key data and metadata for persistent storage
163 *
Gilles Peskinebfd322f2019-07-23 11:58:03 +0200164 * \param[in] data Buffer containing the key data.
Darryl Greendb2b8db2018-06-15 13:06:04 +0100165 * \param data_length Length of the key data buffer.
Gilles Peskinebfd322f2019-07-23 11:58:03 +0200166 * \param[in] attributes The attributes of the key.
Darryl Greendb2b8db2018-06-15 13:06:04 +0100167 * \param[out] storage_data Output buffer for the formatted data.
168 *
169 */
170void psa_format_key_data_for_storage( const uint8_t *data,
171 const size_t data_length,
Gilles Peskinebfd322f2019-07-23 11:58:03 +0200172 const psa_key_attributes_t *attributes,
Darryl Greendb2b8db2018-06-15 13:06:04 +0100173 uint8_t *storage_data );
174
175/**
176 * \brief Parses persistent storage data into key data and metadata
177 *
178 * \param[in] storage_data Buffer for the storage data.
179 * \param storage_data_length Length of the storage data buffer
180 * \param[out] key_data On output, pointer to a newly allocated buffer
181 * containing the key data. This must be freed
182 * using psa_free_persistent_key_data()
183 * \param[out] key_data_length Length of the key data buffer
Gilles Peskinebfd322f2019-07-23 11:58:03 +0200184 * \param[out] attributes On success, the attribute structure is filled
185 * with the loaded key metadata.
Darryl Greendb2b8db2018-06-15 13:06:04 +0100186 *
187 * \retval PSA_SUCCESS
188 * \retval PSA_ERROR_INSUFFICIENT_STORAGE
189 * \retval PSA_ERROR_INSUFFICIENT_MEMORY
190 * \retval PSA_ERROR_STORAGE_FAILURE
191 */
192psa_status_t psa_parse_key_data_from_storage( const uint8_t *storage_data,
193 size_t storage_data_length,
194 uint8_t **key_data,
195 size_t *key_data_length,
Gilles Peskinebfd322f2019-07-23 11:58:03 +0200196 psa_key_attributes_t *attributes );
Darryl Greendb2b8db2018-06-15 13:06:04 +0100197
Gilles Peskinec8336cb2019-07-22 19:26:12 +0200198#if defined(MBEDTLS_PSA_CRYPTO_SE_C)
199/** This symbol is defined if transaction support is required. */
200#define PSA_CRYPTO_STORAGE_HAS_TRANSACTIONS
201#endif
202
203#if defined(PSA_CRYPTO_STORAGE_HAS_TRANSACTIONS)
204
205/** The type of transaction that is in progress.
206 */
207/* This is an integer type rather than an enum for two reasons: to support
208 * unknown values when loading a transaction file, and to ensure that the
209 * type has a known size.
210 */
211typedef uint16_t psa_crypto_transaction_type_t;
212
213/** No transaction is in progress.
Gilles Peskine2ea06fd2019-07-25 17:53:16 +0200214 *
215 * This has the value 0, so zero-initialization sets a transaction's type to
216 * this value.
Gilles Peskinec8336cb2019-07-22 19:26:12 +0200217 */
218#define PSA_CRYPTO_TRANSACTION_NONE ( (psa_crypto_transaction_type_t) 0x0000 )
219
Gilles Peskinefc762652019-07-22 19:30:34 +0200220/** A key creation transaction.
221 *
222 * This is only used for keys in an external cryptoprocessor (secure element).
223 * Keys in RAM or in internal storage are created atomically in storage
224 * (simple file creation), so they do not need a transaction mechanism.
225 */
226#define PSA_CRYPTO_TRANSACTION_CREATE_KEY ( (psa_crypto_transaction_type_t) 0x0001 )
227
228/** A key destruction transaction.
229 *
230 * This is only used for keys in an external cryptoprocessor (secure element).
231 * Keys in RAM or in internal storage are destroyed atomically in storage
232 * (simple file deletion), so they do not need a transaction mechanism.
233 */
234#define PSA_CRYPTO_TRANSACTION_DESTROY_KEY ( (psa_crypto_transaction_type_t) 0x0002 )
235
Gilles Peskinec8336cb2019-07-22 19:26:12 +0200236/** Transaction data.
237 *
238 * This type is designed to be serialized by writing the memory representation
239 * and reading it back on the same device.
240 *
241 * \note The transaction mechanism is designed for a single active transaction
242 * at a time. The transaction object is #psa_crypto_transaction.
243 *
244 * \note If an API call starts a transaction, it must complete this transaction
245 * before returning to the application.
246 *
247 * The lifetime of a transaction is the following (note that only one
248 * transaction may be active at a time):
249 *
250 * -# Call psa_crypto_prepare_transaction() to initialize the transaction
251 * object in memory and declare the type of transaction that is starting.
252 * -# Fill in the type-specific fields of #psa_crypto_transaction.
253 * -# Call psa_crypto_save_transaction() to start the transaction. This
254 * saves the transaction data to internal storage.
Gilles Peskine2ea06fd2019-07-25 17:53:16 +0200255 * -# Perform the work of the transaction by modifying files, contacting
256 * external entities, or whatever needs doing. Note that the transaction
257 * may be interrupted by a power failure, so you need to have a way
258 * recover from interruptions either by undoing what has been done
259 * so far or by resuming where you left off.
Gilles Peskinec8336cb2019-07-22 19:26:12 +0200260 * -# If there are intermediate stages in the transaction, update
261 * the fields of #psa_crypto_transaction and call
262 * psa_crypto_save_transaction() again when each stage is reached.
Gilles Peskine2ea06fd2019-07-25 17:53:16 +0200263 * -# When the transaction is over, call psa_crypto_stop_transaction() to
264 * remove the transaction data in storage and in memory.
Gilles Peskinec8336cb2019-07-22 19:26:12 +0200265 *
266 * If the system crashes while a transaction is in progress, psa_crypto_init()
267 * calls psa_crypto_load_transaction() and takes care of completing or
Gilles Peskine2ea06fd2019-07-25 17:53:16 +0200268 * rewinding the transaction. This is done in psa_crypto_recover_transaction()
269 * in psa_crypto.c. If you add a new type of transaction, be
270 * sure to add code for it in psa_crypto_recover_transaction().
Gilles Peskinec8336cb2019-07-22 19:26:12 +0200271 */
272typedef union
273{
274 /* Each element of this union must have the following properties
275 * to facilitate serialization and deserialization:
276 *
277 * - The element is a struct.
278 * - The first field of the struct is `psa_crypto_transaction_type_t type`.
279 * - Elements of the struct are arranged such a way that there is
280 * no padding.
281 */
282 struct psa_crypto_transaction_unknown_s
283 {
284 psa_crypto_transaction_type_t type;
Gilles Peskinefc762652019-07-22 19:30:34 +0200285 uint16_t unused1;
286 uint32_t unused2;
287 uint64_t unused3;
288 uint64_t unused4;
Gilles Peskinec8336cb2019-07-22 19:26:12 +0200289 } unknown;
Gilles Peskinefc762652019-07-22 19:30:34 +0200290 /* ::type is #PSA_CRYPTO_TRANSACTION_CREATE_KEY or
291 * #PSA_CRYPTO_TRANSACTION_DESTROY_KEY. */
292 struct psa_crypto_transaction_key_s
293 {
294 psa_crypto_transaction_type_t type;
295 uint16_t unused1;
296 psa_key_lifetime_t lifetime;
297 psa_key_slot_number_t slot;
298 psa_key_id_t id;
299 } key;
Gilles Peskinec8336cb2019-07-22 19:26:12 +0200300} psa_crypto_transaction_t;
301
302/** The single active transaction.
303 */
304extern psa_crypto_transaction_t psa_crypto_transaction;
305
306/** Prepare for a transaction.
307 *
308 * There must not be an ongoing transaction.
309 *
310 * \param type The type of transaction to start.
311 */
312static inline void psa_crypto_prepare_transaction(
313 psa_crypto_transaction_type_t type )
314{
315 psa_crypto_transaction.unknown.type = type;
316}
317
318/** Save the transaction data to storage.
319 *
320 * You may call this function multiple times during a transaction to
321 * atomically update the transaction state.
322 *
323 * \retval #PSA_SUCCESS
324 * \retval #PSA_ERROR_INSUFFICIENT_STORAGE
325 * \retval #PSA_ERROR_STORAGE_FAILURE
326 */
327psa_status_t psa_crypto_save_transaction( void );
328
329/** Load the transaction data from storage, if any.
330 *
331 * This function is meant to be called from psa_crypto_init() to recover
332 * in case a transaction was interrupted by a system crash.
333 *
334 * \retval #PSA_SUCCESS
335 * The data about the ongoing transaction has been loaded to
336 * #psa_crypto_transaction.
337 * \retval #PSA_ERROR_DOES_NOT_EXIST
338 * There is no ongoing transaction.
339 * \retval #PSA_ERROR_STORAGE_FAILURE
340 */
341psa_status_t psa_crypto_load_transaction( void );
342
343/** Indicate that the current transaction is finished.
344 *
Gilles Peskine2ea06fd2019-07-25 17:53:16 +0200345 * Call this function at the very end of transaction processing.
346 * This function does not "commit" or "abort" the transaction: the storage
347 * subsystem has no concept of "commit" and "abort", just saving and
348 * removing the transaction information in storage.
Gilles Peskinec8336cb2019-07-22 19:26:12 +0200349 *
350 * This function erases the transaction data in storage (if any) and
351 * resets the transaction data in memory.
352 *
353 * \retval #PSA_SUCCESS
354 * There was transaction data in storage.
355 * \retval #PSA_ERROR_DOES_NOT_EXIST
356 * There was no transaction data in storage.
357 * \retval #PSA_ERROR_STORAGE_FAILURE
358 * It was impossible to determine whether there was transaction data
359 * in storage, or the transaction data could not be erased.
360 */
361psa_status_t psa_crypto_stop_transaction( void );
362
363/** The ITS file identifier for the transaction data.
364 *
365 * 0xffffffNN = special file; 0x74 = 't' for transaction.
366 */
367#define PSA_CRYPTO_ITS_TRANSACTION_UID ( (psa_key_id_t) 0xffffff74 )
368
369#endif /* PSA_CRYPTO_STORAGE_HAS_TRANSACTIONS */
370
Gilles Peskinee3dbdd82019-02-25 11:04:06 +0100371#if defined(MBEDTLS_PSA_INJECT_ENTROPY)
372/** Backend side of mbedtls_psa_inject_entropy().
373 *
374 * This function stores the supplied data into the entropy seed file.
375 *
376 * \retval #PSA_SUCCESS
377 * Success
378 * \retval #PSA_ERROR_STORAGE_FAILURE
379 * \retval #PSA_ERROR_INSUFFICIENT_STORAGE
380 * \retval #PSA_ERROR_NOT_PERMITTED
381 * The entropy seed file already exists.
382 */
383psa_status_t mbedtls_psa_storage_inject_entropy( const unsigned char *seed,
384 size_t seed_size );
385#endif /* MBEDTLS_PSA_INJECT_ENTROPY */
386
Darryl Greendb2b8db2018-06-15 13:06:04 +0100387#ifdef __cplusplus
388}
389#endif
390
391#endif /* PSA_CRYPTO_STORAGE_H */