blob: afba32502228b5450443b7625cca2c57f7a3b27f [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
Przemek Stekiel3e8249c2022-06-03 14:05:07 +0200184#if defined(MBEDTLS_PSA_BUILTIN_ALG_HKDF) || \
185 defined(MBEDTLS_PSA_BUILTIN_ALG_HKDF_EXTRACT) || \
186 defined(MBEDTLS_PSA_BUILTIN_ALG_HKDF_EXPAND)
Gilles Peskinebef7f142018-07-12 17:22:21 +0200187typedef struct
188{
Mateusz Starzyk846f0212021-05-19 19:44:07 +0200189 uint8_t *MBEDTLS_PRIVATE(info);
190 size_t MBEDTLS_PRIVATE(info_length);
Gilles Peskinebef7f142018-07-12 17:22:21 +0200191#if PSA_HASH_MAX_SIZE > 0xff
192#error "PSA_HASH_MAX_SIZE does not fit in uint8_t"
193#endif
Mateusz Starzyk846f0212021-05-19 19:44:07 +0200194 uint8_t MBEDTLS_PRIVATE(offset_in_block);
195 uint8_t MBEDTLS_PRIVATE(block_number);
196 unsigned int MBEDTLS_PRIVATE(state) : 2;
197 unsigned int MBEDTLS_PRIVATE(info_set) : 1;
Gilles Peskinee3d9c9d2021-11-08 22:12:47 +0100198 uint8_t MBEDTLS_PRIVATE(output_block)[PSA_HASH_MAX_SIZE];
199 uint8_t MBEDTLS_PRIVATE(prk)[PSA_HASH_MAX_SIZE];
200 struct psa_mac_operation_s MBEDTLS_PRIVATE(hmac);
Gilles Peskinecbe66502019-05-16 16:59:18 +0200201} psa_hkdf_key_derivation_t;
Przemek Stekiel3e8249c2022-06-03 14:05:07 +0200202#endif /* MBEDTLS_PSA_BUILTIN_ALG_HKDF ||
203 MBEDTLS_PSA_BUILTIN_ALG_HKDF_EXTRACT ||
204 MBEDTLS_PSA_BUILTIN_ALG_HKDF_EXPAND */
Andrzej Kurek08d34b82022-07-29 10:00:16 -0400205#if defined(MBEDTLS_PSA_BUILTIN_ALG_TLS12_ECJPAKE_TO_PMS)
206typedef struct
207{
208 uint8_t MBEDTLS_PRIVATE(data)[PSA_TLS12_ECJPAKE_TO_PMS_DATA_SIZE];
209} psa_tls12_ecjpake_to_pms_t;
210#endif /* MBEDTLS_PSA_BUILTIN_ALG_TLS12_ECJPAKE_TO_PMS */
Gilles Peskinebef7f142018-07-12 17:22:21 +0200211
Steven Cooremanac8d82a2021-04-29 18:01:53 +0200212#if defined(MBEDTLS_PSA_BUILTIN_ALG_TLS12_PRF) || \
213 defined(MBEDTLS_PSA_BUILTIN_ALG_TLS12_PSK_TO_MS)
Janos Follath999f6482019-06-11 12:04:10 +0100214typedef enum
215{
Przemek Stekielc4b814a2022-04-07 12:28:08 +0200216 PSA_TLS12_PRF_STATE_INIT, /* no input provided */
217 PSA_TLS12_PRF_STATE_SEED_SET, /* seed has been set */
218 PSA_TLS12_PRF_STATE_OTHER_KEY_SET, /* other key has been set - optional */
219 PSA_TLS12_PRF_STATE_KEY_SET, /* key has been set */
220 PSA_TLS12_PRF_STATE_LABEL_SET, /* label has been set */
221 PSA_TLS12_PRF_STATE_OUTPUT /* output has been started */
Janos Follath999f6482019-06-11 12:04:10 +0100222} psa_tls12_prf_key_derivation_state_t;
223
224typedef struct psa_tls12_prf_key_derivation_s
225{
226#if PSA_HASH_MAX_SIZE > 0xff
227#error "PSA_HASH_MAX_SIZE does not fit in uint8_t"
228#endif
229
230 /* Indicates how many bytes in the current HMAC block have
Janos Follath844eb0e2019-06-19 12:10:49 +0100231 * not yet been read by the user. */
Mateusz Starzyk846f0212021-05-19 19:44:07 +0200232 uint8_t MBEDTLS_PRIVATE(left_in_block);
Janos Follath999f6482019-06-11 12:04:10 +0100233
234 /* The 1-based number of the block. */
Mateusz Starzyk846f0212021-05-19 19:44:07 +0200235 uint8_t MBEDTLS_PRIVATE(block_number);
Janos Follath999f6482019-06-11 12:04:10 +0100236
Mateusz Starzyk846f0212021-05-19 19:44:07 +0200237 psa_tls12_prf_key_derivation_state_t MBEDTLS_PRIVATE(state);
Janos Follath999f6482019-06-11 12:04:10 +0100238
Mateusz Starzyk846f0212021-05-19 19:44:07 +0200239 uint8_t *MBEDTLS_PRIVATE(secret);
240 size_t MBEDTLS_PRIVATE(secret_length);
241 uint8_t *MBEDTLS_PRIVATE(seed);
242 size_t MBEDTLS_PRIVATE(seed_length);
243 uint8_t *MBEDTLS_PRIVATE(label);
244 size_t MBEDTLS_PRIVATE(label_length);
Przemek Stekiel7f1c89d2022-04-19 14:00:37 +0200245#if defined(MBEDTLS_PSA_BUILTIN_ALG_TLS12_PSK_TO_MS)
Przemek Stekielf4e8f012022-04-07 12:23:31 +0200246 uint8_t *MBEDTLS_PRIVATE(other_secret);
247 size_t MBEDTLS_PRIVATE(other_secret_length);
Przemek Stekiel7f1c89d2022-04-19 14:00:37 +0200248#endif /* MBEDTLS_PSA_BUILTIN_ALG_TLS12_PSK_TO_MS */
Steven Cooremana6df6042021-04-29 19:32:25 +0200249
Mateusz Starzyk846f0212021-05-19 19:44:07 +0200250 uint8_t MBEDTLS_PRIVATE(Ai)[PSA_HASH_MAX_SIZE];
Janos Follath999f6482019-06-11 12:04:10 +0100251
Janos Follath33434a92021-05-26 09:25:33 +0100252 /* `HMAC_hash( prk, A( i ) + seed )` in the notation of RFC 5246, Sect. 5. */
Mateusz Starzyk846f0212021-05-19 19:44:07 +0200253 uint8_t MBEDTLS_PRIVATE(output_block)[PSA_HASH_MAX_SIZE];
Janos Follath999f6482019-06-11 12:04:10 +0100254} psa_tls12_prf_key_derivation_t;
Steven Cooremanac8d82a2021-04-29 18:01:53 +0200255#endif /* MBEDTLS_PSA_BUILTIN_ALG_TLS12_PRF) ||
256 * MBEDTLS_PSA_BUILTIN_ALG_TLS12_PSK_TO_MS */
Hanno Beckerc8a41d72018-10-09 17:33:01 +0100257
Gilles Peskinecbe66502019-05-16 16:59:18 +0200258struct psa_key_derivation_s
Gilles Peskineeab56e42018-07-12 17:12:33 +0200259{
Mateusz Starzyk846f0212021-05-19 19:44:07 +0200260 psa_algorithm_t MBEDTLS_PRIVATE(alg);
261 unsigned int MBEDTLS_PRIVATE(can_output_key) : 1;
262 size_t MBEDTLS_PRIVATE(capacity);
Gilles Peskineeab56e42018-07-12 17:12:33 +0200263 union
264 {
Janos Follathadbec812019-06-14 11:05:39 +0100265 /* Make the union non-empty even with no supported algorithms. */
Mateusz Starzyk846f0212021-05-19 19:44:07 +0200266 uint8_t MBEDTLS_PRIVATE(dummy);
Przemek Stekiel3e8249c2022-06-03 14:05:07 +0200267#if defined(MBEDTLS_PSA_BUILTIN_ALG_HKDF) || \
268 defined(MBEDTLS_PSA_BUILTIN_ALG_HKDF_EXTRACT) || \
269 defined(MBEDTLS_PSA_BUILTIN_ALG_HKDF_EXPAND)
Mateusz Starzyk846f0212021-05-19 19:44:07 +0200270 psa_hkdf_key_derivation_t MBEDTLS_PRIVATE(hkdf);
Steven Cooremanac8d82a2021-04-29 18:01:53 +0200271#endif
272#if defined(MBEDTLS_PSA_BUILTIN_ALG_TLS12_PRF) || \
273 defined(MBEDTLS_PSA_BUILTIN_ALG_TLS12_PSK_TO_MS)
Mateusz Starzyk846f0212021-05-19 19:44:07 +0200274 psa_tls12_prf_key_derivation_t MBEDTLS_PRIVATE(tls12_prf);
Gilles Peskinebef7f142018-07-12 17:22:21 +0200275#endif
Andrzej Kurek08d34b82022-07-29 10:00:16 -0400276#if defined(MBEDTLS_PSA_BUILTIN_ALG_TLS12_ECJPAKE_TO_PMS)
277 psa_tls12_ecjpake_to_pms_t MBEDTLS_PRIVATE(tls12_ecjpake_to_pms);
278#endif
Mateusz Starzyk846f0212021-05-19 19:44:07 +0200279 } MBEDTLS_PRIVATE(ctx);
Gilles Peskineeab56e42018-07-12 17:12:33 +0200280};
281
Janos Follathadbec812019-06-14 11:05:39 +0100282/* This only zeroes out the first byte in the union, the rest is unspecified. */
Janos Follath33434a92021-05-26 09:25:33 +0100283#define PSA_KEY_DERIVATION_OPERATION_INIT { 0, 0, 0, { 0 } }
Janos Follath0dcda952021-06-07 14:52:13 +0100284static inline struct psa_key_derivation_s psa_key_derivation_operation_init(
285 void )
Gilles Peskineeab56e42018-07-12 17:12:33 +0200286{
Gilles Peskinecbe66502019-05-16 16:59:18 +0200287 const struct psa_key_derivation_s v = PSA_KEY_DERIVATION_OPERATION_INIT;
Gilles Peskineeab56e42018-07-12 17:12:33 +0200288 return( v );
289}
290
Gilles Peskine7698bcf2018-03-03 21:30:44 +0100291struct psa_key_policy_s
292{
Mateusz Starzyk846f0212021-05-19 19:44:07 +0200293 psa_key_usage_t MBEDTLS_PRIVATE(usage);
294 psa_algorithm_t MBEDTLS_PRIVATE(alg);
295 psa_algorithm_t MBEDTLS_PRIVATE(alg2);
Gilles Peskine7698bcf2018-03-03 21:30:44 +0100296};
Gilles Peskinea3dd7372019-04-19 19:42:26 +0200297typedef struct psa_key_policy_s psa_key_policy_t;
Gilles Peskine7698bcf2018-03-03 21:30:44 +0100298
Janos Follath33434a92021-05-26 09:25:33 +0100299#define PSA_KEY_POLICY_INIT { 0, 0, 0 }
Jaeden Amero70261c52019-01-04 11:47:20 +0000300static inline struct psa_key_policy_s psa_key_policy_init( void )
301{
302 const struct psa_key_policy_s v = PSA_KEY_POLICY_INIT;
303 return( v );
304}
305
Gilles Peskine68cc433b2019-07-30 17:42:47 +0200306/* The type used internally for key sizes.
307 * Public interfaces use size_t, but internally we use a smaller type. */
308typedef uint16_t psa_key_bits_t;
309/* The maximum value of the type used to represent bit-sizes.
310 * This is used to mark an invalid key size. */
Janos Follath33434a92021-05-26 09:25:33 +0100311#define PSA_KEY_BITS_TOO_LARGE ( ( psa_key_bits_t ) -1 )
Gilles Peskinec744d992019-07-30 17:26:54 +0200312/* The maximum size of a key in bits.
Gilles Peskine68cc433b2019-07-30 17:42:47 +0200313 * Currently defined as the maximum that can be represented, rounded down
314 * to a whole number of bytes.
315 * This is an uncast value so that it can be used in preprocessor
316 * conditionals. */
Gilles Peskinec744d992019-07-30 17:26:54 +0200317#define PSA_MAX_KEY_BITS 0xfff8
318
Gilles Peskine91e8c332019-08-02 19:19:39 +0200319/** A mask of flags that can be stored in key attributes.
320 *
321 * This type is also used internally to store flags in slots. Internal
322 * flags are defined in library/psa_crypto_core.h. Internal flags may have
323 * the same value as external flags if they are properly handled during
324 * key creation and in psa_get_key_attributes.
325 */
326typedef uint16_t psa_key_attributes_flag_t;
327
Gilles Peskinec8000c02019-08-02 20:15:51 +0200328#define MBEDTLS_PSA_KA_FLAG_HAS_SLOT_NUMBER \
329 ( (psa_key_attributes_flag_t) 0x0001 )
Gilles Peskine91e8c332019-08-02 19:19:39 +0200330
331/* A mask of key attribute flags used externally only.
332 * Only meant for internal checks inside the library. */
333#define MBEDTLS_PSA_KA_MASK_EXTERNAL_ONLY ( \
Gilles Peskinec8000c02019-08-02 20:15:51 +0200334 MBEDTLS_PSA_KA_FLAG_HAS_SLOT_NUMBER | \
Gilles Peskine91e8c332019-08-02 19:19:39 +0200335 0 )
336
337/* A mask of key attribute flags used both internally and externally.
338 * Currently there aren't any. */
339#define MBEDTLS_PSA_KA_MASK_DUAL_USE ( \
340 0 )
341
Gilles Peskine7e0cff92019-07-30 13:48:52 +0200342typedef struct
343{
Mateusz Starzyk846f0212021-05-19 19:44:07 +0200344 psa_key_type_t MBEDTLS_PRIVATE(type);
345 psa_key_bits_t MBEDTLS_PRIVATE(bits);
346 psa_key_lifetime_t MBEDTLS_PRIVATE(lifetime);
347 mbedtls_svc_key_id_t MBEDTLS_PRIVATE(id);
348 psa_key_policy_t MBEDTLS_PRIVATE(policy);
349 psa_key_attributes_flag_t MBEDTLS_PRIVATE(flags);
Gilles Peskine7e0cff92019-07-30 13:48:52 +0200350} psa_core_key_attributes_t;
351
Janos Follath33434a92021-05-26 09:25:33 +0100352#define PSA_CORE_KEY_ATTRIBUTES_INIT { PSA_KEY_TYPE_NONE, 0, \
353 PSA_KEY_LIFETIME_VOLATILE, \
354 MBEDTLS_SVC_KEY_ID_INIT, \
355 PSA_KEY_POLICY_INIT, 0 }
Gilles Peskine7e0cff92019-07-30 13:48:52 +0200356
Gilles Peskine4747d192019-04-17 15:05:45 +0200357struct psa_key_attributes_s
358{
Mateusz Starzyk846f0212021-05-19 19:44:07 +0200359 psa_core_key_attributes_t MBEDTLS_PRIVATE(core);
Gilles Peskinec8000c02019-08-02 20:15:51 +0200360#if defined(MBEDTLS_PSA_CRYPTO_SE_C)
Mateusz Starzyk846f0212021-05-19 19:44:07 +0200361 psa_key_slot_number_t MBEDTLS_PRIVATE(slot_number);
Gilles Peskinec8000c02019-08-02 20:15:51 +0200362#endif /* MBEDTLS_PSA_CRYPTO_SE_C */
Mateusz Starzyk846f0212021-05-19 19:44:07 +0200363 void *MBEDTLS_PRIVATE(domain_parameters);
364 size_t MBEDTLS_PRIVATE(domain_parameters_size);
Gilles Peskine4747d192019-04-17 15:05:45 +0200365};
366
Gilles Peskinec8000c02019-08-02 20:15:51 +0200367#if defined(MBEDTLS_PSA_CRYPTO_SE_C)
Janos Follath33434a92021-05-26 09:25:33 +0100368#define PSA_KEY_ATTRIBUTES_INIT { PSA_CORE_KEY_ATTRIBUTES_INIT, 0, NULL, 0 }
Gilles Peskinec8000c02019-08-02 20:15:51 +0200369#else
Janos Follath33434a92021-05-26 09:25:33 +0100370#define PSA_KEY_ATTRIBUTES_INIT { PSA_CORE_KEY_ATTRIBUTES_INIT, NULL, 0 }
Gilles Peskinec8000c02019-08-02 20:15:51 +0200371#endif
372
Gilles Peskine4747d192019-04-17 15:05:45 +0200373static inline struct psa_key_attributes_s psa_key_attributes_init( void )
374{
375 const struct psa_key_attributes_s v = PSA_KEY_ATTRIBUTES_INIT;
376 return( v );
377}
378
Ronald Cron71016a92020-08-28 19:01:50 +0200379static inline void psa_set_key_id( psa_key_attributes_t *attributes,
380 mbedtls_svc_key_id_t key )
Gilles Peskinedc8219a2019-05-15 16:11:15 +0200381{
Mateusz Starzyk363eb292021-05-19 17:32:44 +0200382 psa_key_lifetime_t lifetime = attributes->MBEDTLS_PRIVATE(core).MBEDTLS_PRIVATE(lifetime);
Ronald Crond98059d2020-10-23 18:00:55 +0200383
Mateusz Starzyk846f0212021-05-19 19:44:07 +0200384 attributes->MBEDTLS_PRIVATE(core).MBEDTLS_PRIVATE(id) = key;
Ronald Crond98059d2020-10-23 18:00:55 +0200385
386 if( PSA_KEY_LIFETIME_IS_VOLATILE( lifetime ) )
387 {
Mateusz Starzyk846f0212021-05-19 19:44:07 +0200388 attributes->MBEDTLS_PRIVATE(core).MBEDTLS_PRIVATE(lifetime) =
Ronald Crond98059d2020-10-23 18:00:55 +0200389 PSA_KEY_LIFETIME_FROM_PERSISTENCE_AND_LOCATION(
390 PSA_KEY_LIFETIME_PERSISTENT,
391 PSA_KEY_LIFETIME_GET_LOCATION( lifetime ) );
392 }
Gilles Peskinedc8219a2019-05-15 16:11:15 +0200393}
394
Ronald Cron71016a92020-08-28 19:01:50 +0200395static inline mbedtls_svc_key_id_t psa_get_key_id(
Janos Follath33434a92021-05-26 09:25:33 +0100396 const psa_key_attributes_t *attributes )
Gilles Peskinedb4b3ab2019-04-18 12:53:01 +0200397{
Mateusz Starzyk846f0212021-05-19 19:44:07 +0200398 return( attributes->MBEDTLS_PRIVATE(core).MBEDTLS_PRIVATE(id) );
Gilles Peskinedb4b3ab2019-04-18 12:53:01 +0200399}
400
Ronald Cron6b5ff532020-10-16 14:38:19 +0200401#ifdef MBEDTLS_PSA_CRYPTO_KEY_ID_ENCODES_OWNER
402static inline void mbedtls_set_key_owner_id( psa_key_attributes_t *attributes,
403 mbedtls_key_owner_id_t owner )
404{
Mateusz Starzyk363eb292021-05-19 17:32:44 +0200405 attributes->MBEDTLS_PRIVATE(core).MBEDTLS_PRIVATE(id).MBEDTLS_PRIVATE(owner) = owner;
Ronald Cron6b5ff532020-10-16 14:38:19 +0200406}
407#endif
408
Janos Follath33434a92021-05-26 09:25:33 +0100409static inline void psa_set_key_lifetime( psa_key_attributes_t *attributes,
410 psa_key_lifetime_t lifetime )
Gilles Peskinedc8219a2019-05-15 16:11:15 +0200411{
Mateusz Starzyk846f0212021-05-19 19:44:07 +0200412 attributes->MBEDTLS_PRIVATE(core).MBEDTLS_PRIVATE(lifetime) = lifetime;
Ronald Crond98059d2020-10-23 18:00:55 +0200413 if( PSA_KEY_LIFETIME_IS_VOLATILE( lifetime ) )
Jaeden Ameroe3cdf282019-08-20 12:58:20 +0100414 {
Ronald Cron71016a92020-08-28 19:01:50 +0200415#ifdef MBEDTLS_PSA_CRYPTO_KEY_ID_ENCODES_OWNER
Mateusz Starzyk363eb292021-05-19 17:32:44 +0200416 attributes->MBEDTLS_PRIVATE(core).MBEDTLS_PRIVATE(id).MBEDTLS_PRIVATE(key_id) = 0;
Jaeden Ameroe3cdf282019-08-20 12:58:20 +0100417#else
Mateusz Starzyk846f0212021-05-19 19:44:07 +0200418 attributes->MBEDTLS_PRIVATE(core).MBEDTLS_PRIVATE(id) = 0;
Jaeden Ameroe3cdf282019-08-20 12:58:20 +0100419#endif
420 }
Gilles Peskinedc8219a2019-05-15 16:11:15 +0200421}
422
Gilles Peskinedb4b3ab2019-04-18 12:53:01 +0200423static inline psa_key_lifetime_t psa_get_key_lifetime(
Janos Follath33434a92021-05-26 09:25:33 +0100424 const psa_key_attributes_t *attributes )
Gilles Peskinedb4b3ab2019-04-18 12:53:01 +0200425{
Mateusz Starzyk846f0212021-05-19 19:44:07 +0200426 return( attributes->MBEDTLS_PRIVATE(core).MBEDTLS_PRIVATE(lifetime) );
Gilles Peskinedb4b3ab2019-04-18 12:53:01 +0200427}
428
gabor-mezei-arm43110b62021-06-23 16:48:08 +0200429static inline void psa_extend_key_usage_flags( psa_key_usage_t *usage_flags )
Gilles Peskine4747d192019-04-17 15:05:45 +0200430{
gabor-mezei-arm43110b62021-06-23 16:48:08 +0200431 if( *usage_flags & PSA_KEY_USAGE_SIGN_HASH )
432 *usage_flags |= PSA_KEY_USAGE_SIGN_MESSAGE;
gabor-mezei-arm86bf0082021-04-29 15:57:57 +0200433
gabor-mezei-arm43110b62021-06-23 16:48:08 +0200434 if( *usage_flags & PSA_KEY_USAGE_VERIFY_HASH )
435 *usage_flags |= PSA_KEY_USAGE_VERIFY_MESSAGE;
Gilles Peskine4747d192019-04-17 15:05:45 +0200436}
437
438static inline void psa_set_key_usage_flags(psa_key_attributes_t *attributes,
439 psa_key_usage_t usage_flags)
440{
gabor-mezei-arm43110b62021-06-23 16:48:08 +0200441 psa_extend_key_usage_flags( &usage_flags );
Mateusz Starzyk846f0212021-05-19 19:44:07 +0200442 attributes->MBEDTLS_PRIVATE(core).MBEDTLS_PRIVATE(policy).MBEDTLS_PRIVATE(usage) = usage_flags;
Gilles Peskine4747d192019-04-17 15:05:45 +0200443}
444
445static inline psa_key_usage_t psa_get_key_usage_flags(
Janos Follath33434a92021-05-26 09:25:33 +0100446 const psa_key_attributes_t *attributes )
Gilles Peskine4747d192019-04-17 15:05:45 +0200447{
Mateusz Starzyk846f0212021-05-19 19:44:07 +0200448 return( attributes->MBEDTLS_PRIVATE(core).MBEDTLS_PRIVATE(policy).MBEDTLS_PRIVATE(usage) );
Gilles Peskine4747d192019-04-17 15:05:45 +0200449}
450
Janos Follath33434a92021-05-26 09:25:33 +0100451static inline void psa_set_key_algorithm( psa_key_attributes_t *attributes,
452 psa_algorithm_t alg )
Gilles Peskine4747d192019-04-17 15:05:45 +0200453{
Mateusz Starzyk846f0212021-05-19 19:44:07 +0200454 attributes->MBEDTLS_PRIVATE(core).MBEDTLS_PRIVATE(policy).MBEDTLS_PRIVATE(alg) = alg;
Gilles Peskine4747d192019-04-17 15:05:45 +0200455}
456
457static inline psa_algorithm_t psa_get_key_algorithm(
Janos Follath33434a92021-05-26 09:25:33 +0100458 const psa_key_attributes_t *attributes )
Gilles Peskine4747d192019-04-17 15:05:45 +0200459{
Mateusz Starzyk846f0212021-05-19 19:44:07 +0200460 return( attributes->MBEDTLS_PRIVATE(core).MBEDTLS_PRIVATE(policy).MBEDTLS_PRIVATE(alg) );
Gilles Peskine4747d192019-04-17 15:05:45 +0200461}
462
Gilles Peskine24f10f82019-05-16 12:18:32 +0200463/* This function is declared in crypto_extra.h, which comes after this
464 * header file, but we need the function here, so repeat the declaration. */
Janos Follath33434a92021-05-26 09:25:33 +0100465psa_status_t psa_set_key_domain_parameters( psa_key_attributes_t *attributes,
Gilles Peskine24f10f82019-05-16 12:18:32 +0200466 psa_key_type_t type,
467 const uint8_t *data,
Janos Follath33434a92021-05-26 09:25:33 +0100468 size_t data_length );
Gilles Peskine24f10f82019-05-16 12:18:32 +0200469
Janos Follath33434a92021-05-26 09:25:33 +0100470static inline void psa_set_key_type( psa_key_attributes_t *attributes,
471 psa_key_type_t type )
Gilles Peskine4747d192019-04-17 15:05:45 +0200472{
Mateusz Starzyk846f0212021-05-19 19:44:07 +0200473 if( attributes->MBEDTLS_PRIVATE(domain_parameters) == NULL )
Gilles Peskineb699f072019-04-26 16:06:02 +0200474 {
475 /* Common case: quick path */
Mateusz Starzyk846f0212021-05-19 19:44:07 +0200476 attributes->MBEDTLS_PRIVATE(core).MBEDTLS_PRIVATE(type) = type;
Gilles Peskineb699f072019-04-26 16:06:02 +0200477 }
478 else
479 {
Shaun Case8b0ecbc2021-12-20 21:14:10 -0800480 /* Call the bigger function to free the old domain parameters.
Gilles Peskineb699f072019-04-26 16:06:02 +0200481 * Ignore any errors which may arise due to type requiring
482 * non-default domain parameters, since this function can't
483 * report errors. */
484 (void) psa_set_key_domain_parameters( attributes, type, NULL, 0 );
485 }
Gilles Peskine4747d192019-04-17 15:05:45 +0200486}
487
488static inline psa_key_type_t psa_get_key_type(
Janos Follath33434a92021-05-26 09:25:33 +0100489 const psa_key_attributes_t *attributes )
Gilles Peskine4747d192019-04-17 15:05:45 +0200490{
Mateusz Starzyk846f0212021-05-19 19:44:07 +0200491 return( attributes->MBEDTLS_PRIVATE(core).MBEDTLS_PRIVATE(type) );
Gilles Peskine4747d192019-04-17 15:05:45 +0200492}
493
Janos Follath33434a92021-05-26 09:25:33 +0100494static inline void psa_set_key_bits( psa_key_attributes_t *attributes,
495 size_t bits )
Gilles Peskine3a4f1f82019-04-26 13:49:28 +0200496{
Gilles Peskine68cc433b2019-07-30 17:42:47 +0200497 if( bits > PSA_MAX_KEY_BITS )
Mateusz Starzyk846f0212021-05-19 19:44:07 +0200498 attributes->MBEDTLS_PRIVATE(core).MBEDTLS_PRIVATE(bits) = PSA_KEY_BITS_TOO_LARGE;
Gilles Peskine68cc433b2019-07-30 17:42:47 +0200499 else
Mateusz Starzyk846f0212021-05-19 19:44:07 +0200500 attributes->MBEDTLS_PRIVATE(core).MBEDTLS_PRIVATE(bits) = (psa_key_bits_t) bits;
Gilles Peskine3a4f1f82019-04-26 13:49:28 +0200501}
502
Gilles Peskinedb4b3ab2019-04-18 12:53:01 +0200503static inline size_t psa_get_key_bits(
Janos Follath33434a92021-05-26 09:25:33 +0100504 const psa_key_attributes_t *attributes )
Gilles Peskinedb4b3ab2019-04-18 12:53:01 +0200505{
Mateusz Starzyk846f0212021-05-19 19:44:07 +0200506 return( attributes->MBEDTLS_PRIVATE(core).MBEDTLS_PRIVATE(bits) );
Gilles Peskinedb4b3ab2019-04-18 12:53:01 +0200507}
508
Jaeden Amero8013f442019-08-16 16:13:51 +0100509#ifdef __cplusplus
510}
511#endif
512
Gilles Peskine9ef733f2018-02-07 21:05:37 +0100513#endif /* PSA_CRYPTO_STRUCT_H */