blob: 26894156c5f9cc67089a2590d9fbf4aa83b7418c [file] [log] [blame]
Gilles Peskine9ef733f2018-02-07 21:05:37 +01001/**
2 * \file psa/crypto_struct.h
3 *
4 * \brief PSA cryptography module: Mbed TLS structured type implementations
Gilles Peskine07c91f52018-06-28 18:02:53 +02005 *
6 * \note This file may not be included directly. Applications must
7 * include psa/crypto.h.
8 *
9 * This file contains the definitions of some data structures with
10 * implementation-specific definitions.
11 *
12 * In implementations with isolation between the application and the
13 * cryptography module, it is expected that the front-end and the back-end
14 * would have different versions of this file.
Gilles Peskineb4e73e92019-08-13 15:00:57 +020015 *
16 * <h3>Design notes about multipart operation structures</h3>
17 *
Ronald Cron980230e2021-04-01 15:37:49 +020018 * For multipart operations without driver delegation support, each multipart
19 * operation structure contains a `psa_algorithm_t alg` field which indicates
20 * which specific algorithm the structure is for. When the structure is not in
21 * use, `alg` is 0. Most of the structure consists of a union which is
22 * discriminated by `alg`.
Gilles Peskineb4e73e92019-08-13 15:00:57 +020023 *
Ronald Cron980230e2021-04-01 15:37:49 +020024 * For multipart operations with driver delegation support, each multipart
25 * operation structure contains an `unsigned int id` field indicating which
26 * driver got assigned to do the operation. When the structure is not in use,
27 * 'id' is 0. The structure contains also a driver context which is the union
28 * of the contexts of all drivers able to handle the type of multipart
29 * operation.
30 *
31 * Note that when `alg` or `id` is 0, the content of other fields is undefined.
Gilles Peskineb4e73e92019-08-13 15:00:57 +020032 * In particular, it is not guaranteed that a freshly-initialized structure
33 * is all-zero: we initialize structures to something like `{0, 0}`, which
34 * is only guaranteed to initializes the first member of the union;
35 * GCC and Clang initialize the whole structure to 0 (at the time of writing),
36 * but MSVC and CompCert don't.
37 *
38 * In Mbed Crypto, multipart operation structures live independently from
39 * the key. This allows Mbed Crypto to free the key objects when destroying
40 * a key slot. If a multipart operation needs to remember the key after
41 * the setup function returns, the operation structure needs to contain a
42 * copy of the key.
Gilles Peskine9ef733f2018-02-07 21:05:37 +010043 */
44/*
Bence Szépkúti1e148272020-08-07 13:07:28 +020045 * Copyright The Mbed TLS Contributors
Gilles Peskine9ef733f2018-02-07 21:05:37 +010046 * SPDX-License-Identifier: Apache-2.0
47 *
48 * Licensed under the Apache License, Version 2.0 (the "License"); you may
49 * not use this file except in compliance with the License.
50 * You may obtain a copy of the License at
51 *
52 * http://www.apache.org/licenses/LICENSE-2.0
53 *
54 * Unless required by applicable law or agreed to in writing, software
55 * distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
56 * WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
57 * See the License for the specific language governing permissions and
58 * limitations under the License.
Gilles Peskine9ef733f2018-02-07 21:05:37 +010059 */
60
61#ifndef PSA_CRYPTO_STRUCT_H
62#define PSA_CRYPTO_STRUCT_H
Mateusz Starzyk846f0212021-05-19 19:44:07 +020063#include "mbedtls/private_access.h"
Gilles Peskine9ef733f2018-02-07 21:05:37 +010064
Jaeden Amero8013f442019-08-16 16:13:51 +010065#ifdef __cplusplus
66extern "C" {
67#endif
68
Gilles Peskine9ef733f2018-02-07 21:05:37 +010069/* Include the Mbed TLS configuration file, the way Mbed TLS does it
70 * in each of its header files. */
Bence Szépkútic662b362021-05-27 11:25:03 +020071#include "mbedtls/build_info.h"
Gilles Peskine9ef733f2018-02-07 21:05:37 +010072
Gilles Peskine9ef733f2018-02-07 21:05:37 +010073#include "mbedtls/cmac.h"
74#include "mbedtls/gcm.h"
Paul Elliott07a30c42021-04-20 14:13:23 +010075#include "mbedtls/ccm.h"
76#include "mbedtls/chachapoly.h"
Steven Cooremandbf8ced2021-03-04 13:01:18 +010077
Steven Cooreman61398ec2021-04-26 12:04:53 +020078/* Include the context definition for the compiled-in drivers for the primitive
79 * algorithms. */
Steven Cooreman675501d2021-04-26 11:54:58 +020080#include "psa/crypto_driver_contexts_primitives.h"
Gilles Peskine9ef733f2018-02-07 21:05:37 +010081
82struct psa_hash_operation_s
83{
Steven Cooremandbf8ced2021-03-04 13:01:18 +010084 /** Unique ID indicating which driver got assigned to do the
85 * operation. Since driver contexts are driver-specific, swapping
86 * drivers halfway through the operation is not supported.
Ronald Cron980230e2021-04-01 15:37:49 +020087 * ID values are auto-generated in psa_driver_wrappers.h.
Steven Cooremandbf8ced2021-03-04 13:01:18 +010088 * ID value zero means the context is not valid or not assigned to
Ronald Cron980230e2021-04-01 15:37:49 +020089 * any driver (i.e. the driver context is not active, in use). */
Mateusz Starzyk846f0212021-05-19 19:44:07 +020090 unsigned int MBEDTLS_PRIVATE(id);
91 psa_driver_hash_context_t MBEDTLS_PRIVATE(ctx);
Gilles Peskine9ef733f2018-02-07 21:05:37 +010092};
93
Janos Follath33434a92021-05-26 09:25:33 +010094#define PSA_HASH_OPERATION_INIT { 0, { 0 } }
Jaeden Amero6a25b412019-01-04 11:47:44 +000095static inline struct psa_hash_operation_s psa_hash_operation_init( void )
96{
97 const struct psa_hash_operation_s v = PSA_HASH_OPERATION_INIT;
98 return( v );
99}
100
Steven Cooreman61398ec2021-04-26 12:04:53 +0200101struct psa_cipher_operation_s
102{
103 /** Unique ID indicating which driver got assigned to do the
104 * operation. Since driver contexts are driver-specific, swapping
105 * drivers halfway through the operation is not supported.
106 * ID values are auto-generated in psa_crypto_driver_wrappers.h
107 * ID value zero means the context is not valid or not assigned to
108 * any driver (i.e. none of the driver contexts are active). */
Mateusz Starzyk846f0212021-05-19 19:44:07 +0200109 unsigned int MBEDTLS_PRIVATE(id);
Steven Cooreman61398ec2021-04-26 12:04:53 +0200110
Mateusz Starzyk846f0212021-05-19 19:44:07 +0200111 unsigned int MBEDTLS_PRIVATE(iv_required) : 1;
112 unsigned int MBEDTLS_PRIVATE(iv_set) : 1;
Steven Cooreman61398ec2021-04-26 12:04:53 +0200113
Mateusz Starzyk846f0212021-05-19 19:44:07 +0200114 uint8_t MBEDTLS_PRIVATE(default_iv_length);
Steven Cooreman61398ec2021-04-26 12:04:53 +0200115
Mateusz Starzyk846f0212021-05-19 19:44:07 +0200116 psa_driver_cipher_context_t MBEDTLS_PRIVATE(ctx);
Steven Cooreman61398ec2021-04-26 12:04:53 +0200117};
118
Janos Follath33434a92021-05-26 09:25:33 +0100119#define PSA_CIPHER_OPERATION_INIT { 0, 0, 0, 0, { 0 } }
Steven Cooreman61398ec2021-04-26 12:04:53 +0200120static inline struct psa_cipher_operation_s psa_cipher_operation_init( void )
121{
122 const struct psa_cipher_operation_s v = PSA_CIPHER_OPERATION_INIT;
123 return( v );
124}
125
Steven Cooreman3c8dd632021-04-26 12:16:27 +0200126/* Include the context definition for the compiled-in drivers for the composite
127 * algorithms. */
128#include "psa/crypto_driver_contexts_composites.h"
Nir Sonnenscheindcd636a2018-06-04 16:03:32 +0300129
Gilles Peskine9ef733f2018-02-07 21:05:37 +0100130struct psa_mac_operation_s
131{
Steven Cooreman77e2cc52021-03-19 17:05:52 +0100132 /** Unique ID indicating which driver got assigned to do the
133 * operation. Since driver contexts are driver-specific, swapping
134 * drivers halfway through the operation is not supported.
135 * ID values are auto-generated in psa_driver_wrappers.h
136 * ID value zero means the context is not valid or not assigned to
137 * any driver (i.e. none of the driver contexts are active). */
Mateusz Starzyk846f0212021-05-19 19:44:07 +0200138 unsigned int MBEDTLS_PRIVATE(id);
139 uint8_t MBEDTLS_PRIVATE(mac_size);
140 unsigned int MBEDTLS_PRIVATE(is_sign) : 1;
141 psa_driver_mac_context_t MBEDTLS_PRIVATE(ctx);
Gilles Peskine9ef733f2018-02-07 21:05:37 +0100142};
143
Janos Follath33434a92021-05-26 09:25:33 +0100144#define PSA_MAC_OPERATION_INIT { 0, 0, 0, { 0 } }
Jaeden Amero769ce272019-01-04 11:48:03 +0000145static inline struct psa_mac_operation_s psa_mac_operation_init( void )
146{
147 const struct psa_mac_operation_s v = PSA_MAC_OPERATION_INIT;
148 return( v );
149}
150
Gilles Peskine30a9e412019-01-14 18:36:12 +0100151struct psa_aead_operation_s
152{
Paul Elliottadb8b162021-04-20 16:06:57 +0100153
Paul Elliott6504aa62021-04-20 17:09:36 +0100154 /** Unique ID indicating which driver got assigned to do the
155 * operation. Since driver contexts are driver-specific, swapping
156 * drivers halfway through the operation is not supported.
157 * ID values are auto-generated in psa_crypto_driver_wrappers.h
158 * ID value zero means the context is not valid or not assigned to
159 * any driver (i.e. none of the driver contexts are active). */
Paul Elliottc7e7fe52021-09-27 09:23:40 +0100160 unsigned int MBEDTLS_PRIVATE(id);
Paul Elliott6504aa62021-04-20 17:09:36 +0100161
Mateusz Starzyk846f0212021-05-19 19:44:07 +0200162 psa_algorithm_t MBEDTLS_PRIVATE(alg);
Paul Elliott71b05672021-09-24 11:18:13 +0100163 psa_key_type_t MBEDTLS_PRIVATE(key_type);
Paul Elliottcbbde5f2021-05-10 18:19:46 +0100164
Paul Elliott71b05672021-09-24 11:18:13 +0100165 size_t MBEDTLS_PRIVATE(ad_remaining);
166 size_t MBEDTLS_PRIVATE(body_remaining);
Paul Elliottee4ffe02021-05-20 17:25:06 +0100167
Paul Elliott71b05672021-09-24 11:18:13 +0100168 unsigned int MBEDTLS_PRIVATE(nonce_set) : 1;
169 unsigned int MBEDTLS_PRIVATE(lengths_set) : 1;
170 unsigned int MBEDTLS_PRIVATE(ad_started) : 1;
171 unsigned int MBEDTLS_PRIVATE(body_started) : 1;
172 unsigned int MBEDTLS_PRIVATE(is_encrypt) : 1;
Paul Elliott07a30c42021-04-20 14:13:23 +0100173
Paul Elliott71b05672021-09-24 11:18:13 +0100174 psa_driver_aead_context_t MBEDTLS_PRIVATE(ctx);
Gilles Peskine30a9e412019-01-14 18:36:12 +0100175};
176
Paul Elliott7220cae2021-06-22 17:25:57 +0100177#define PSA_AEAD_OPERATION_INIT {0, 0, 0, 0, 0, 0, 0, 0, 0, 0, {0}}
Gilles Peskine30a9e412019-01-14 18:36:12 +0100178static inline struct psa_aead_operation_s psa_aead_operation_init( void )
179{
180 const struct psa_aead_operation_s v = PSA_AEAD_OPERATION_INIT;
181 return( v );
182}
183
Steven Cooremanac8d82a2021-04-29 18:01:53 +0200184#if defined(MBEDTLS_PSA_BUILTIN_ALG_HKDF)
Gilles Peskinebef7f142018-07-12 17:22:21 +0200185typedef struct
186{
Mateusz Starzyk846f0212021-05-19 19:44:07 +0200187 uint8_t *MBEDTLS_PRIVATE(info);
188 size_t MBEDTLS_PRIVATE(info_length);
189 psa_mac_operation_t MBEDTLS_PRIVATE(hmac);
190 uint8_t MBEDTLS_PRIVATE(prk)[PSA_HASH_MAX_SIZE];
191 uint8_t MBEDTLS_PRIVATE(output_block)[PSA_HASH_MAX_SIZE];
Gilles Peskinebef7f142018-07-12 17:22:21 +0200192#if PSA_HASH_MAX_SIZE > 0xff
193#error "PSA_HASH_MAX_SIZE does not fit in uint8_t"
194#endif
Mateusz Starzyk846f0212021-05-19 19:44:07 +0200195 uint8_t MBEDTLS_PRIVATE(offset_in_block);
196 uint8_t MBEDTLS_PRIVATE(block_number);
197 unsigned int MBEDTLS_PRIVATE(state) : 2;
198 unsigned int MBEDTLS_PRIVATE(info_set) : 1;
Gilles Peskinecbe66502019-05-16 16:59:18 +0200199} psa_hkdf_key_derivation_t;
Steven Cooremanac8d82a2021-04-29 18:01:53 +0200200#endif /* MBEDTLS_PSA_BUILTIN_ALG_HKDF */
Gilles Peskinebef7f142018-07-12 17:22:21 +0200201
Steven Cooremanac8d82a2021-04-29 18:01:53 +0200202#if defined(MBEDTLS_PSA_BUILTIN_ALG_TLS12_PRF) || \
203 defined(MBEDTLS_PSA_BUILTIN_ALG_TLS12_PSK_TO_MS)
Janos Follath999f6482019-06-11 12:04:10 +0100204typedef enum
205{
Gilles Peskine43f958b2020-12-13 14:55:14 +0100206 PSA_TLS12_PRF_STATE_INIT, /* no input provided */
207 PSA_TLS12_PRF_STATE_SEED_SET, /* seed has been set */
208 PSA_TLS12_PRF_STATE_KEY_SET, /* key has been set */
209 PSA_TLS12_PRF_STATE_LABEL_SET, /* label has been set */
210 PSA_TLS12_PRF_STATE_OUTPUT /* output has been started */
Janos Follath999f6482019-06-11 12:04:10 +0100211} psa_tls12_prf_key_derivation_state_t;
212
213typedef struct psa_tls12_prf_key_derivation_s
214{
215#if PSA_HASH_MAX_SIZE > 0xff
216#error "PSA_HASH_MAX_SIZE does not fit in uint8_t"
217#endif
218
219 /* Indicates how many bytes in the current HMAC block have
Janos Follath844eb0e2019-06-19 12:10:49 +0100220 * not yet been read by the user. */
Mateusz Starzyk846f0212021-05-19 19:44:07 +0200221 uint8_t MBEDTLS_PRIVATE(left_in_block);
Janos Follath999f6482019-06-11 12:04:10 +0100222
223 /* The 1-based number of the block. */
Mateusz Starzyk846f0212021-05-19 19:44:07 +0200224 uint8_t MBEDTLS_PRIVATE(block_number);
Janos Follath999f6482019-06-11 12:04:10 +0100225
Mateusz Starzyk846f0212021-05-19 19:44:07 +0200226 psa_tls12_prf_key_derivation_state_t MBEDTLS_PRIVATE(state);
Janos Follath999f6482019-06-11 12:04:10 +0100227
Mateusz Starzyk846f0212021-05-19 19:44:07 +0200228 uint8_t *MBEDTLS_PRIVATE(secret);
229 size_t MBEDTLS_PRIVATE(secret_length);
230 uint8_t *MBEDTLS_PRIVATE(seed);
231 size_t MBEDTLS_PRIVATE(seed_length);
232 uint8_t *MBEDTLS_PRIVATE(label);
233 size_t MBEDTLS_PRIVATE(label_length);
Steven Cooremana6df6042021-04-29 19:32:25 +0200234
Mateusz Starzyk846f0212021-05-19 19:44:07 +0200235 uint8_t MBEDTLS_PRIVATE(Ai)[PSA_HASH_MAX_SIZE];
Janos Follath999f6482019-06-11 12:04:10 +0100236
Janos Follath33434a92021-05-26 09:25:33 +0100237 /* `HMAC_hash( prk, A( i ) + seed )` in the notation of RFC 5246, Sect. 5. */
Mateusz Starzyk846f0212021-05-19 19:44:07 +0200238 uint8_t MBEDTLS_PRIVATE(output_block)[PSA_HASH_MAX_SIZE];
Janos Follath999f6482019-06-11 12:04:10 +0100239} psa_tls12_prf_key_derivation_t;
Steven Cooremanac8d82a2021-04-29 18:01:53 +0200240#endif /* MBEDTLS_PSA_BUILTIN_ALG_TLS12_PRF) ||
241 * MBEDTLS_PSA_BUILTIN_ALG_TLS12_PSK_TO_MS */
Hanno Beckerc8a41d72018-10-09 17:33:01 +0100242
Gilles Peskinecbe66502019-05-16 16:59:18 +0200243struct psa_key_derivation_s
Gilles Peskineeab56e42018-07-12 17:12:33 +0200244{
Mateusz Starzyk846f0212021-05-19 19:44:07 +0200245 psa_algorithm_t MBEDTLS_PRIVATE(alg);
246 unsigned int MBEDTLS_PRIVATE(can_output_key) : 1;
247 size_t MBEDTLS_PRIVATE(capacity);
Gilles Peskineeab56e42018-07-12 17:12:33 +0200248 union
249 {
Janos Follathadbec812019-06-14 11:05:39 +0100250 /* Make the union non-empty even with no supported algorithms. */
Mateusz Starzyk846f0212021-05-19 19:44:07 +0200251 uint8_t MBEDTLS_PRIVATE(dummy);
Steven Cooremanac8d82a2021-04-29 18:01:53 +0200252#if defined(MBEDTLS_PSA_BUILTIN_ALG_HKDF)
Mateusz Starzyk846f0212021-05-19 19:44:07 +0200253 psa_hkdf_key_derivation_t MBEDTLS_PRIVATE(hkdf);
Steven Cooremanac8d82a2021-04-29 18:01:53 +0200254#endif
255#if defined(MBEDTLS_PSA_BUILTIN_ALG_TLS12_PRF) || \
256 defined(MBEDTLS_PSA_BUILTIN_ALG_TLS12_PSK_TO_MS)
Mateusz Starzyk846f0212021-05-19 19:44:07 +0200257 psa_tls12_prf_key_derivation_t MBEDTLS_PRIVATE(tls12_prf);
Gilles Peskinebef7f142018-07-12 17:22:21 +0200258#endif
Mateusz Starzyk846f0212021-05-19 19:44:07 +0200259 } MBEDTLS_PRIVATE(ctx);
Gilles Peskineeab56e42018-07-12 17:12:33 +0200260};
261
Janos Follathadbec812019-06-14 11:05:39 +0100262/* This only zeroes out the first byte in the union, the rest is unspecified. */
Janos Follath33434a92021-05-26 09:25:33 +0100263#define PSA_KEY_DERIVATION_OPERATION_INIT { 0, 0, 0, { 0 } }
Janos Follath0dcda952021-06-07 14:52:13 +0100264static inline struct psa_key_derivation_s psa_key_derivation_operation_init(
265 void )
Gilles Peskineeab56e42018-07-12 17:12:33 +0200266{
Gilles Peskinecbe66502019-05-16 16:59:18 +0200267 const struct psa_key_derivation_s v = PSA_KEY_DERIVATION_OPERATION_INIT;
Gilles Peskineeab56e42018-07-12 17:12:33 +0200268 return( v );
269}
270
Gilles Peskine7698bcf2018-03-03 21:30:44 +0100271struct psa_key_policy_s
272{
Mateusz Starzyk846f0212021-05-19 19:44:07 +0200273 psa_key_usage_t MBEDTLS_PRIVATE(usage);
274 psa_algorithm_t MBEDTLS_PRIVATE(alg);
275 psa_algorithm_t MBEDTLS_PRIVATE(alg2);
Gilles Peskine7698bcf2018-03-03 21:30:44 +0100276};
Gilles Peskinea3dd7372019-04-19 19:42:26 +0200277typedef struct psa_key_policy_s psa_key_policy_t;
Gilles Peskine7698bcf2018-03-03 21:30:44 +0100278
Janos Follath33434a92021-05-26 09:25:33 +0100279#define PSA_KEY_POLICY_INIT { 0, 0, 0 }
Jaeden Amero70261c52019-01-04 11:47:20 +0000280static inline struct psa_key_policy_s psa_key_policy_init( void )
281{
282 const struct psa_key_policy_s v = PSA_KEY_POLICY_INIT;
283 return( v );
284}
285
Gilles Peskine68cc433b2019-07-30 17:42:47 +0200286/* The type used internally for key sizes.
287 * Public interfaces use size_t, but internally we use a smaller type. */
288typedef uint16_t psa_key_bits_t;
289/* The maximum value of the type used to represent bit-sizes.
290 * This is used to mark an invalid key size. */
Janos Follath33434a92021-05-26 09:25:33 +0100291#define PSA_KEY_BITS_TOO_LARGE ( ( psa_key_bits_t ) -1 )
Gilles Peskinec744d992019-07-30 17:26:54 +0200292/* The maximum size of a key in bits.
Gilles Peskine68cc433b2019-07-30 17:42:47 +0200293 * Currently defined as the maximum that can be represented, rounded down
294 * to a whole number of bytes.
295 * This is an uncast value so that it can be used in preprocessor
296 * conditionals. */
Gilles Peskinec744d992019-07-30 17:26:54 +0200297#define PSA_MAX_KEY_BITS 0xfff8
298
Gilles Peskine91e8c332019-08-02 19:19:39 +0200299/** A mask of flags that can be stored in key attributes.
300 *
301 * This type is also used internally to store flags in slots. Internal
302 * flags are defined in library/psa_crypto_core.h. Internal flags may have
303 * the same value as external flags if they are properly handled during
304 * key creation and in psa_get_key_attributes.
305 */
306typedef uint16_t psa_key_attributes_flag_t;
307
Gilles Peskinec8000c02019-08-02 20:15:51 +0200308#define MBEDTLS_PSA_KA_FLAG_HAS_SLOT_NUMBER \
309 ( (psa_key_attributes_flag_t) 0x0001 )
Gilles Peskine91e8c332019-08-02 19:19:39 +0200310
311/* A mask of key attribute flags used externally only.
312 * Only meant for internal checks inside the library. */
313#define MBEDTLS_PSA_KA_MASK_EXTERNAL_ONLY ( \
Gilles Peskinec8000c02019-08-02 20:15:51 +0200314 MBEDTLS_PSA_KA_FLAG_HAS_SLOT_NUMBER | \
Gilles Peskine91e8c332019-08-02 19:19:39 +0200315 0 )
316
317/* A mask of key attribute flags used both internally and externally.
318 * Currently there aren't any. */
319#define MBEDTLS_PSA_KA_MASK_DUAL_USE ( \
320 0 )
321
Gilles Peskine7e0cff92019-07-30 13:48:52 +0200322typedef struct
323{
Mateusz Starzyk846f0212021-05-19 19:44:07 +0200324 psa_key_type_t MBEDTLS_PRIVATE(type);
325 psa_key_bits_t MBEDTLS_PRIVATE(bits);
326 psa_key_lifetime_t MBEDTLS_PRIVATE(lifetime);
327 mbedtls_svc_key_id_t MBEDTLS_PRIVATE(id);
328 psa_key_policy_t MBEDTLS_PRIVATE(policy);
329 psa_key_attributes_flag_t MBEDTLS_PRIVATE(flags);
Gilles Peskine7e0cff92019-07-30 13:48:52 +0200330} psa_core_key_attributes_t;
331
Janos Follath33434a92021-05-26 09:25:33 +0100332#define PSA_CORE_KEY_ATTRIBUTES_INIT { PSA_KEY_TYPE_NONE, 0, \
333 PSA_KEY_LIFETIME_VOLATILE, \
334 MBEDTLS_SVC_KEY_ID_INIT, \
335 PSA_KEY_POLICY_INIT, 0 }
Gilles Peskine7e0cff92019-07-30 13:48:52 +0200336
Gilles Peskine4747d192019-04-17 15:05:45 +0200337struct psa_key_attributes_s
338{
Mateusz Starzyk846f0212021-05-19 19:44:07 +0200339 psa_core_key_attributes_t MBEDTLS_PRIVATE(core);
Gilles Peskinec8000c02019-08-02 20:15:51 +0200340#if defined(MBEDTLS_PSA_CRYPTO_SE_C)
Mateusz Starzyk846f0212021-05-19 19:44:07 +0200341 psa_key_slot_number_t MBEDTLS_PRIVATE(slot_number);
Gilles Peskinec8000c02019-08-02 20:15:51 +0200342#endif /* MBEDTLS_PSA_CRYPTO_SE_C */
Mateusz Starzyk846f0212021-05-19 19:44:07 +0200343 void *MBEDTLS_PRIVATE(domain_parameters);
344 size_t MBEDTLS_PRIVATE(domain_parameters_size);
Gilles Peskine4747d192019-04-17 15:05:45 +0200345};
346
Gilles Peskinec8000c02019-08-02 20:15:51 +0200347#if defined(MBEDTLS_PSA_CRYPTO_SE_C)
Janos Follath33434a92021-05-26 09:25:33 +0100348#define PSA_KEY_ATTRIBUTES_INIT { PSA_CORE_KEY_ATTRIBUTES_INIT, 0, NULL, 0 }
Gilles Peskinec8000c02019-08-02 20:15:51 +0200349#else
Janos Follath33434a92021-05-26 09:25:33 +0100350#define PSA_KEY_ATTRIBUTES_INIT { PSA_CORE_KEY_ATTRIBUTES_INIT, NULL, 0 }
Gilles Peskinec8000c02019-08-02 20:15:51 +0200351#endif
352
Gilles Peskine4747d192019-04-17 15:05:45 +0200353static inline struct psa_key_attributes_s psa_key_attributes_init( void )
354{
355 const struct psa_key_attributes_s v = PSA_KEY_ATTRIBUTES_INIT;
356 return( v );
357}
358
Ronald Cron71016a92020-08-28 19:01:50 +0200359static inline void psa_set_key_id( psa_key_attributes_t *attributes,
360 mbedtls_svc_key_id_t key )
Gilles Peskinedc8219a2019-05-15 16:11:15 +0200361{
Mateusz Starzyk363eb292021-05-19 17:32:44 +0200362 psa_key_lifetime_t lifetime = attributes->MBEDTLS_PRIVATE(core).MBEDTLS_PRIVATE(lifetime);
Ronald Crond98059d2020-10-23 18:00:55 +0200363
Mateusz Starzyk846f0212021-05-19 19:44:07 +0200364 attributes->MBEDTLS_PRIVATE(core).MBEDTLS_PRIVATE(id) = key;
Ronald Crond98059d2020-10-23 18:00:55 +0200365
366 if( PSA_KEY_LIFETIME_IS_VOLATILE( lifetime ) )
367 {
Mateusz Starzyk846f0212021-05-19 19:44:07 +0200368 attributes->MBEDTLS_PRIVATE(core).MBEDTLS_PRIVATE(lifetime) =
Ronald Crond98059d2020-10-23 18:00:55 +0200369 PSA_KEY_LIFETIME_FROM_PERSISTENCE_AND_LOCATION(
370 PSA_KEY_LIFETIME_PERSISTENT,
371 PSA_KEY_LIFETIME_GET_LOCATION( lifetime ) );
372 }
Gilles Peskinedc8219a2019-05-15 16:11:15 +0200373}
374
Ronald Cron71016a92020-08-28 19:01:50 +0200375static inline mbedtls_svc_key_id_t psa_get_key_id(
Janos Follath33434a92021-05-26 09:25:33 +0100376 const psa_key_attributes_t *attributes )
Gilles Peskinedb4b3ab2019-04-18 12:53:01 +0200377{
Mateusz Starzyk846f0212021-05-19 19:44:07 +0200378 return( attributes->MBEDTLS_PRIVATE(core).MBEDTLS_PRIVATE(id) );
Gilles Peskinedb4b3ab2019-04-18 12:53:01 +0200379}
380
Ronald Cron6b5ff532020-10-16 14:38:19 +0200381#ifdef MBEDTLS_PSA_CRYPTO_KEY_ID_ENCODES_OWNER
382static inline void mbedtls_set_key_owner_id( psa_key_attributes_t *attributes,
383 mbedtls_key_owner_id_t owner )
384{
Mateusz Starzyk363eb292021-05-19 17:32:44 +0200385 attributes->MBEDTLS_PRIVATE(core).MBEDTLS_PRIVATE(id).MBEDTLS_PRIVATE(owner) = owner;
Ronald Cron6b5ff532020-10-16 14:38:19 +0200386}
387#endif
388
Janos Follath33434a92021-05-26 09:25:33 +0100389static inline void psa_set_key_lifetime( psa_key_attributes_t *attributes,
390 psa_key_lifetime_t lifetime )
Gilles Peskinedc8219a2019-05-15 16:11:15 +0200391{
Mateusz Starzyk846f0212021-05-19 19:44:07 +0200392 attributes->MBEDTLS_PRIVATE(core).MBEDTLS_PRIVATE(lifetime) = lifetime;
Ronald Crond98059d2020-10-23 18:00:55 +0200393 if( PSA_KEY_LIFETIME_IS_VOLATILE( lifetime ) )
Jaeden Ameroe3cdf282019-08-20 12:58:20 +0100394 {
Ronald Cron71016a92020-08-28 19:01:50 +0200395#ifdef MBEDTLS_PSA_CRYPTO_KEY_ID_ENCODES_OWNER
Mateusz Starzyk363eb292021-05-19 17:32:44 +0200396 attributes->MBEDTLS_PRIVATE(core).MBEDTLS_PRIVATE(id).MBEDTLS_PRIVATE(key_id) = 0;
Jaeden Ameroe3cdf282019-08-20 12:58:20 +0100397#else
Mateusz Starzyk846f0212021-05-19 19:44:07 +0200398 attributes->MBEDTLS_PRIVATE(core).MBEDTLS_PRIVATE(id) = 0;
Jaeden Ameroe3cdf282019-08-20 12:58:20 +0100399#endif
400 }
Gilles Peskinedc8219a2019-05-15 16:11:15 +0200401}
402
Gilles Peskinedb4b3ab2019-04-18 12:53:01 +0200403static inline psa_key_lifetime_t psa_get_key_lifetime(
Janos Follath33434a92021-05-26 09:25:33 +0100404 const psa_key_attributes_t *attributes )
Gilles Peskinedb4b3ab2019-04-18 12:53:01 +0200405{
Mateusz Starzyk846f0212021-05-19 19:44:07 +0200406 return( attributes->MBEDTLS_PRIVATE(core).MBEDTLS_PRIVATE(lifetime) );
Gilles Peskinedb4b3ab2019-04-18 12:53:01 +0200407}
408
gabor-mezei-arm43110b62021-06-23 16:48:08 +0200409static inline void psa_extend_key_usage_flags( psa_key_usage_t *usage_flags )
Gilles Peskine4747d192019-04-17 15:05:45 +0200410{
gabor-mezei-arm43110b62021-06-23 16:48:08 +0200411 if( *usage_flags & PSA_KEY_USAGE_SIGN_HASH )
412 *usage_flags |= PSA_KEY_USAGE_SIGN_MESSAGE;
gabor-mezei-arm86bf0082021-04-29 15:57:57 +0200413
gabor-mezei-arm43110b62021-06-23 16:48:08 +0200414 if( *usage_flags & PSA_KEY_USAGE_VERIFY_HASH )
415 *usage_flags |= PSA_KEY_USAGE_VERIFY_MESSAGE;
Gilles Peskine4747d192019-04-17 15:05:45 +0200416}
417
418static inline void psa_set_key_usage_flags(psa_key_attributes_t *attributes,
419 psa_key_usage_t usage_flags)
420{
gabor-mezei-arm43110b62021-06-23 16:48:08 +0200421 psa_extend_key_usage_flags( &usage_flags );
Mateusz Starzyk846f0212021-05-19 19:44:07 +0200422 attributes->MBEDTLS_PRIVATE(core).MBEDTLS_PRIVATE(policy).MBEDTLS_PRIVATE(usage) = usage_flags;
Gilles Peskine4747d192019-04-17 15:05:45 +0200423}
424
425static inline psa_key_usage_t psa_get_key_usage_flags(
Janos Follath33434a92021-05-26 09:25:33 +0100426 const psa_key_attributes_t *attributes )
Gilles Peskine4747d192019-04-17 15:05:45 +0200427{
Mateusz Starzyk846f0212021-05-19 19:44:07 +0200428 return( attributes->MBEDTLS_PRIVATE(core).MBEDTLS_PRIVATE(policy).MBEDTLS_PRIVATE(usage) );
Gilles Peskine4747d192019-04-17 15:05:45 +0200429}
430
Janos Follath33434a92021-05-26 09:25:33 +0100431static inline void psa_set_key_algorithm( psa_key_attributes_t *attributes,
432 psa_algorithm_t alg )
Gilles Peskine4747d192019-04-17 15:05:45 +0200433{
Mateusz Starzyk846f0212021-05-19 19:44:07 +0200434 attributes->MBEDTLS_PRIVATE(core).MBEDTLS_PRIVATE(policy).MBEDTLS_PRIVATE(alg) = alg;
Gilles Peskine4747d192019-04-17 15:05:45 +0200435}
436
437static inline psa_algorithm_t psa_get_key_algorithm(
Janos Follath33434a92021-05-26 09:25:33 +0100438 const psa_key_attributes_t *attributes )
Gilles Peskine4747d192019-04-17 15:05:45 +0200439{
Mateusz Starzyk846f0212021-05-19 19:44:07 +0200440 return( attributes->MBEDTLS_PRIVATE(core).MBEDTLS_PRIVATE(policy).MBEDTLS_PRIVATE(alg) );
Gilles Peskine4747d192019-04-17 15:05:45 +0200441}
442
Gilles Peskine24f10f82019-05-16 12:18:32 +0200443/* This function is declared in crypto_extra.h, which comes after this
444 * header file, but we need the function here, so repeat the declaration. */
Janos Follath33434a92021-05-26 09:25:33 +0100445psa_status_t psa_set_key_domain_parameters( psa_key_attributes_t *attributes,
Gilles Peskine24f10f82019-05-16 12:18:32 +0200446 psa_key_type_t type,
447 const uint8_t *data,
Janos Follath33434a92021-05-26 09:25:33 +0100448 size_t data_length );
Gilles Peskine24f10f82019-05-16 12:18:32 +0200449
Janos Follath33434a92021-05-26 09:25:33 +0100450static inline void psa_set_key_type( psa_key_attributes_t *attributes,
451 psa_key_type_t type )
Gilles Peskine4747d192019-04-17 15:05:45 +0200452{
Mateusz Starzyk846f0212021-05-19 19:44:07 +0200453 if( attributes->MBEDTLS_PRIVATE(domain_parameters) == NULL )
Gilles Peskineb699f072019-04-26 16:06:02 +0200454 {
455 /* Common case: quick path */
Mateusz Starzyk846f0212021-05-19 19:44:07 +0200456 attributes->MBEDTLS_PRIVATE(core).MBEDTLS_PRIVATE(type) = type;
Gilles Peskineb699f072019-04-26 16:06:02 +0200457 }
458 else
459 {
460 /* Call the bigger function to free the old domain paramteres.
461 * Ignore any errors which may arise due to type requiring
462 * non-default domain parameters, since this function can't
463 * report errors. */
464 (void) psa_set_key_domain_parameters( attributes, type, NULL, 0 );
465 }
Gilles Peskine4747d192019-04-17 15:05:45 +0200466}
467
468static inline psa_key_type_t psa_get_key_type(
Janos Follath33434a92021-05-26 09:25:33 +0100469 const psa_key_attributes_t *attributes )
Gilles Peskine4747d192019-04-17 15:05:45 +0200470{
Mateusz Starzyk846f0212021-05-19 19:44:07 +0200471 return( attributes->MBEDTLS_PRIVATE(core).MBEDTLS_PRIVATE(type) );
Gilles Peskine4747d192019-04-17 15:05:45 +0200472}
473
Janos Follath33434a92021-05-26 09:25:33 +0100474static inline void psa_set_key_bits( psa_key_attributes_t *attributes,
475 size_t bits )
Gilles Peskine3a4f1f82019-04-26 13:49:28 +0200476{
Gilles Peskine68cc433b2019-07-30 17:42:47 +0200477 if( bits > PSA_MAX_KEY_BITS )
Mateusz Starzyk846f0212021-05-19 19:44:07 +0200478 attributes->MBEDTLS_PRIVATE(core).MBEDTLS_PRIVATE(bits) = PSA_KEY_BITS_TOO_LARGE;
Gilles Peskine68cc433b2019-07-30 17:42:47 +0200479 else
Mateusz Starzyk846f0212021-05-19 19:44:07 +0200480 attributes->MBEDTLS_PRIVATE(core).MBEDTLS_PRIVATE(bits) = (psa_key_bits_t) bits;
Gilles Peskine3a4f1f82019-04-26 13:49:28 +0200481}
482
Gilles Peskinedb4b3ab2019-04-18 12:53:01 +0200483static inline size_t psa_get_key_bits(
Janos Follath33434a92021-05-26 09:25:33 +0100484 const psa_key_attributes_t *attributes )
Gilles Peskinedb4b3ab2019-04-18 12:53:01 +0200485{
Mateusz Starzyk846f0212021-05-19 19:44:07 +0200486 return( attributes->MBEDTLS_PRIVATE(core).MBEDTLS_PRIVATE(bits) );
Gilles Peskinedb4b3ab2019-04-18 12:53:01 +0200487}
488
Jaeden Amero8013f442019-08-16 16:13:51 +0100489#ifdef __cplusplus
490}
491#endif
492
Gilles Peskine9ef733f2018-02-07 21:05:37 +0100493#endif /* PSA_CRYPTO_STRUCT_H */