blob: b37b0b5cc2cacbe5a10261606a9315e1c921e4ab [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 Peskine9ef733f2018-02-07 21:05:37 +010015 */
16/*
17 * Copyright (C) 2018, ARM Limited, All Rights Reserved
18 * SPDX-License-Identifier: Apache-2.0
19 *
20 * Licensed under the Apache License, Version 2.0 (the "License"); you may
21 * not use this file except in compliance with the License.
22 * You may obtain a copy of the License at
23 *
24 * http://www.apache.org/licenses/LICENSE-2.0
25 *
26 * Unless required by applicable law or agreed to in writing, software
27 * distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
28 * WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
29 * See the License for the specific language governing permissions and
30 * limitations under the License.
31 *
32 * This file is part of mbed TLS (https://tls.mbed.org)
33 */
34
35#ifndef PSA_CRYPTO_STRUCT_H
36#define PSA_CRYPTO_STRUCT_H
37
38/* Include the Mbed TLS configuration file, the way Mbed TLS does it
39 * in each of its header files. */
40#if !defined(MBEDTLS_CONFIG_FILE)
41#include "../mbedtls/config.h"
42#else
43#include MBEDTLS_CONFIG_FILE
44#endif
45
46#include "mbedtls/cipher.h"
47#include "mbedtls/cmac.h"
48#include "mbedtls/gcm.h"
49#include "mbedtls/md.h"
50#include "mbedtls/md2.h"
51#include "mbedtls/md4.h"
52#include "mbedtls/md5.h"
53#include "mbedtls/ripemd160.h"
54#include "mbedtls/sha1.h"
55#include "mbedtls/sha256.h"
56#include "mbedtls/sha512.h"
57
58struct psa_hash_operation_s
59{
60 psa_algorithm_t alg;
61 union
62 {
Gilles Peskine058e0b92018-03-22 16:20:19 +010063 unsigned dummy; /* Make the union non-empty even with no supported algorithms. */
Gilles Peskine9ef733f2018-02-07 21:05:37 +010064#if defined(MBEDTLS_MD2_C)
65 mbedtls_md2_context md2;
66#endif
67#if defined(MBEDTLS_MD4_C)
68 mbedtls_md4_context md4;
69#endif
70#if defined(MBEDTLS_MD5_C)
71 mbedtls_md5_context md5;
72#endif
73#if defined(MBEDTLS_RIPEMD160_C)
74 mbedtls_ripemd160_context ripemd160;
75#endif
76#if defined(MBEDTLS_SHA1_C)
77 mbedtls_sha1_context sha1;
78#endif
79#if defined(MBEDTLS_SHA256_C)
80 mbedtls_sha256_context sha256;
81#endif
82#if defined(MBEDTLS_SHA512_C)
83 mbedtls_sha512_context sha512;
84#endif
85 } ctx;
86};
87
Jaeden Amero6a25b412019-01-04 11:47:44 +000088#define PSA_HASH_OPERATION_INIT {0, {0}}
89static inline struct psa_hash_operation_s psa_hash_operation_init( void )
90{
91 const struct psa_hash_operation_s v = PSA_HASH_OPERATION_INIT;
92 return( v );
93}
94
Gilles Peskinea05219c2018-11-16 16:02:56 +010095#if defined(MBEDTLS_MD_C)
Gilles Peskine2d277862018-06-18 15:41:12 +020096typedef struct
97{
Nir Sonnenscheindcd636a2018-06-04 16:03:32 +030098 /** The hash context. */
99 struct psa_hash_operation_s hash_ctx;
100 /** The HMAC part of the context. */
Gilles Peskineb3e6e5d2018-06-18 22:16:43 +0200101 uint8_t opad[PSA_HMAC_MAX_HASH_BLOCK_SIZE];
Nir Sonnenscheindcd636a2018-06-04 16:03:32 +0300102} psa_hmac_internal_data;
Gilles Peskinea05219c2018-11-16 16:02:56 +0100103#endif /* MBEDTLS_MD_C */
Nir Sonnenscheindcd636a2018-06-04 16:03:32 +0300104
Gilles Peskine9ef733f2018-02-07 21:05:37 +0100105struct psa_mac_operation_s
106{
107 psa_algorithm_t alg;
Darryl Green80bed232018-07-26 13:03:38 +0100108 unsigned int key_set : 1;
109 unsigned int iv_required : 1;
110 unsigned int iv_set : 1;
111 unsigned int has_input : 1;
112 unsigned int is_sign : 1;
Gilles Peskine9ef733f2018-02-07 21:05:37 +0100113 uint8_t mac_size;
114 union
115 {
Gilles Peskine058e0b92018-03-22 16:20:19 +0100116 unsigned dummy; /* Make the union non-empty even with no supported algorithms. */
Gilles Peskine9ef733f2018-02-07 21:05:37 +0100117#if defined(MBEDTLS_MD_C)
Nir Sonnenscheindcd636a2018-06-04 16:03:32 +0300118 psa_hmac_internal_data hmac;
Gilles Peskine9ef733f2018-02-07 21:05:37 +0100119#endif
120#if defined(MBEDTLS_CMAC_C)
121 mbedtls_cipher_context_t cmac;
122#endif
123 } ctx;
124};
125
Jaeden Amero769ce272019-01-04 11:48:03 +0000126#define PSA_MAC_OPERATION_INIT {0, 0, 0, 0, 0, 0, 0, {0}}
127static inline struct psa_mac_operation_s psa_mac_operation_init( void )
128{
129 const struct psa_mac_operation_s v = PSA_MAC_OPERATION_INIT;
130 return( v );
131}
132
Gilles Peskine428dc5a2018-03-03 21:27:18 +0100133struct psa_cipher_operation_s
134{
135 psa_algorithm_t alg;
Darryl Green80bed232018-07-26 13:03:38 +0100136 unsigned int key_set : 1;
137 unsigned int iv_required : 1;
138 unsigned int iv_set : 1;
Gilles Peskine428dc5a2018-03-03 21:27:18 +0100139 uint8_t iv_size;
140 uint8_t block_size;
141 union
142 {
Jaeden Amero5a5dc772019-01-04 15:33:37 +0000143 unsigned dummy; /* Enable easier initializing of the union. */
mohammad1603503973b2018-03-12 15:59:30 +0200144 mbedtls_cipher_context_t cipher;
Gilles Peskine428dc5a2018-03-03 21:27:18 +0100145 } ctx;
146};
147
Jaeden Amero5bae2272019-01-04 11:48:27 +0000148#define PSA_CIPHER_OPERATION_INIT {0, 0, 0, 0, 0, 0, {0}}
149static inline struct psa_cipher_operation_s psa_cipher_operation_init( void )
150{
151 const struct psa_cipher_operation_s v = PSA_CIPHER_OPERATION_INIT;
152 return( v );
153}
154
Gilles Peskine30a9e412019-01-14 18:36:12 +0100155struct psa_aead_operation_s
156{
157 psa_algorithm_t alg;
158 unsigned int key_set : 1;
159 unsigned int iv_set : 1;
160 uint8_t iv_size;
161 uint8_t block_size;
162 union
163 {
164 unsigned dummy; /* Enable easier initializing of the union. */
165 mbedtls_cipher_context_t cipher;
166 } ctx;
167};
168
169#define PSA_AEAD_OPERATION_INIT {0, 0, 0, 0, 0, {0}}
170static inline struct psa_aead_operation_s psa_aead_operation_init( void )
171{
172 const struct psa_aead_operation_s v = PSA_AEAD_OPERATION_INIT;
173 return( v );
174}
175
Gilles Peskinea05219c2018-11-16 16:02:56 +0100176#if defined(MBEDTLS_MD_C)
Gilles Peskinebef7f142018-07-12 17:22:21 +0200177typedef struct
178{
179 uint8_t *info;
180 size_t info_length;
181 psa_hmac_internal_data hmac;
182 uint8_t prk[PSA_HASH_MAX_SIZE];
183 uint8_t output_block[PSA_HASH_MAX_SIZE];
184#if PSA_HASH_MAX_SIZE > 0xff
185#error "PSA_HASH_MAX_SIZE does not fit in uint8_t"
186#endif
187 uint8_t offset_in_block;
188 uint8_t block_number;
Gilles Peskine22c51512019-04-12 15:07:32 +0200189 unsigned int state : 2;
190 unsigned int info_set : 1;
Gilles Peskinecbe66502019-05-16 16:59:18 +0200191} psa_hkdf_key_derivation_t;
Gilles Peskinea05219c2018-11-16 16:02:56 +0100192#endif /* MBEDTLS_MD_C */
Gilles Peskinebef7f142018-07-12 17:22:21 +0200193
Janos Follathe3e81662019-06-11 14:07:27 +0100194/*
195 * If this option is not turned on, then the function `psa_key_derivation()`
196 * is removed. And the new psa_tls12_prf_key_derivation_t context is used along
197 * with the corresponding new API.
198 *
199 * The sole purpose of this option is to make the transition to the new API
200 * smoother. Once the transition is complete it can and should be removed
201 * along with the old API and its implementation.
202 */
203#define PSA_PRE_1_0_KEY_DERIVATION
204
Gilles Peskinea05219c2018-11-16 16:02:56 +0100205#if defined(MBEDTLS_MD_C)
Janos Follath999f6482019-06-11 12:04:10 +0100206#if defined(PSA_PRE_1_0_KEY_DERIVATION)
Gilles Peskinecbe66502019-05-16 16:59:18 +0200207typedef struct psa_tls12_prf_key_derivation_s
Hanno Beckerc8a41d72018-10-09 17:33:01 +0100208{
209 /* The TLS 1.2 PRF uses the key for each HMAC iteration,
Gilles Peskine35675b62019-05-16 17:26:11 +0200210 * hence we must store it for the lifetime of the operation.
Hanno Beckerc8a41d72018-10-09 17:33:01 +0100211 * This is different from HKDF, where the key is only used
212 * in the extraction phase, but not during expansion. */
Gilles Peskinec11c4dc2019-07-15 11:06:38 +0200213 uint8_t *key;
Hanno Beckerc8a41d72018-10-09 17:33:01 +0100214 size_t key_len;
215
216 /* `A(i) + seed` in the notation of RFC 5246, Sect. 5 */
Hanno Becker580fba12018-11-13 20:50:45 +0000217 uint8_t *Ai_with_seed;
218 size_t Ai_with_seed_len;
Hanno Beckerc8a41d72018-10-09 17:33:01 +0100219
220 /* `HMAC_hash( prk, A(i) + seed )` in the notation of RFC 5246, Sect. 5. */
221 uint8_t output_block[PSA_HASH_MAX_SIZE];
222
223#if PSA_HASH_MAX_SIZE > 0xff
224#error "PSA_HASH_MAX_SIZE does not fit in uint8_t"
225#endif
226
227 /* Indicates how many bytes in the current HMAC block have
228 * already been read by the user. */
229 uint8_t offset_in_block;
230
231 /* The 1-based number of the block. */
232 uint8_t block_number;
233
Gilles Peskinecbe66502019-05-16 16:59:18 +0200234} psa_tls12_prf_key_derivation_t;
Janos Follath999f6482019-06-11 12:04:10 +0100235#else
236
237typedef enum
238{
239 TLS12_PRF_STATE_INIT, /* no input provided */
240 TLS12_PRF_STATE_SEED_SET, /* seed has been set */
241 TLS12_PRF_STATE_KEY_SET, /* key has been set */
242 TLS12_PRF_STATE_LABEL_SET, /* label has been set */
243 TLS12_PRF_STATE_OUTPUT /* output has been started */
244} psa_tls12_prf_key_derivation_state_t;
245
246typedef struct psa_tls12_prf_key_derivation_s
247{
248#if PSA_HASH_MAX_SIZE > 0xff
249#error "PSA_HASH_MAX_SIZE does not fit in uint8_t"
250#endif
251
252 /* Indicates how many bytes in the current HMAC block have
Janos Follath844eb0e2019-06-19 12:10:49 +0100253 * not yet been read by the user. */
254 uint8_t left_in_block;
Janos Follath999f6482019-06-11 12:04:10 +0100255
256 /* The 1-based number of the block. */
257 uint8_t block_number;
258
259 psa_tls12_prf_key_derivation_state_t state;
260
261 uint8_t *seed;
262 size_t seed_length;
263 uint8_t *label;
264 size_t label_length;
265 psa_hmac_internal_data hmac;
266 uint8_t Ai[PSA_HASH_MAX_SIZE];
267
268 /* `HMAC_hash( prk, A(i) + seed )` in the notation of RFC 5246, Sect. 5. */
269 uint8_t output_block[PSA_HASH_MAX_SIZE];
270} psa_tls12_prf_key_derivation_t;
271#endif /* PSA_PRE_1_0_KEY_DERIVATION */
Gilles Peskinea05219c2018-11-16 16:02:56 +0100272#endif /* MBEDTLS_MD_C */
Hanno Beckerc8a41d72018-10-09 17:33:01 +0100273
Gilles Peskinecbe66502019-05-16 16:59:18 +0200274struct psa_key_derivation_s
Gilles Peskineeab56e42018-07-12 17:12:33 +0200275{
276 psa_algorithm_t alg;
277 size_t capacity;
278 union
279 {
Janos Follathadbec812019-06-14 11:05:39 +0100280 /* Make the union non-empty even with no supported algorithms. */
281 uint8_t dummy;
Gilles Peskinebef7f142018-07-12 17:22:21 +0200282#if defined(MBEDTLS_MD_C)
Gilles Peskinecbe66502019-05-16 16:59:18 +0200283 psa_hkdf_key_derivation_t hkdf;
284 psa_tls12_prf_key_derivation_t tls12_prf;
Gilles Peskinebef7f142018-07-12 17:22:21 +0200285#endif
Gilles Peskineeab56e42018-07-12 17:12:33 +0200286 } ctx;
287};
288
Janos Follathadbec812019-06-14 11:05:39 +0100289/* This only zeroes out the first byte in the union, the rest is unspecified. */
290#define PSA_KEY_DERIVATION_OPERATION_INIT {0, 0, {0}}
Gilles Peskinecbe66502019-05-16 16:59:18 +0200291static inline struct psa_key_derivation_s psa_key_derivation_operation_init( void )
Gilles Peskineeab56e42018-07-12 17:12:33 +0200292{
Gilles Peskinecbe66502019-05-16 16:59:18 +0200293 const struct psa_key_derivation_s v = PSA_KEY_DERIVATION_OPERATION_INIT;
Gilles Peskineeab56e42018-07-12 17:12:33 +0200294 return( v );
295}
296
Gilles Peskine7698bcf2018-03-03 21:30:44 +0100297struct psa_key_policy_s
298{
299 psa_key_usage_t usage;
300 psa_algorithm_t alg;
Gilles Peskine96f0b3b2019-05-10 19:33:38 +0200301 psa_algorithm_t alg2;
Gilles Peskine7698bcf2018-03-03 21:30:44 +0100302};
Gilles Peskinea3dd7372019-04-19 19:42:26 +0200303typedef struct psa_key_policy_s psa_key_policy_t;
Gilles Peskine7698bcf2018-03-03 21:30:44 +0100304
Gilles Peskine96f0b3b2019-05-10 19:33:38 +0200305#define PSA_KEY_POLICY_INIT {0, 0, 0}
Jaeden Amero70261c52019-01-04 11:47:20 +0000306static inline struct psa_key_policy_s psa_key_policy_init( void )
307{
308 const struct psa_key_policy_s v = PSA_KEY_POLICY_INIT;
309 return( v );
310}
311
Gilles Peskinec744d992019-07-30 17:26:54 +0200312/* The maximum size of a key in bits.
313 * This is a whole number of bytes, to facilitate some calculations
314 * such as the maximum size of key data in storage.
315 */
316#define PSA_MAX_KEY_BITS 0xfff8
317
Gilles Peskine7e0cff92019-07-30 13:48:52 +0200318typedef struct
319{
320 psa_key_type_t type;
321 psa_key_lifetime_t lifetime;
322 psa_key_id_t id;
323 psa_key_policy_t policy;
324 size_t bits;
325} psa_core_key_attributes_t;
326
327#define PSA_CORE_KEY_ATTRIBUTES_INIT {0, 0, 0, {0, 0, 0}, 0}
328
Gilles Peskine4747d192019-04-17 15:05:45 +0200329struct psa_key_attributes_s
330{
Gilles Peskine7e0cff92019-07-30 13:48:52 +0200331 psa_core_key_attributes_t core;
Gilles Peskineb699f072019-04-26 16:06:02 +0200332 void *domain_parameters;
333 size_t domain_parameters_size;
Gilles Peskine4747d192019-04-17 15:05:45 +0200334};
335
Gilles Peskine7e0cff92019-07-30 13:48:52 +0200336#define PSA_KEY_ATTRIBUTES_INIT {PSA_CORE_KEY_ATTRIBUTES_INIT, NULL, 0}
Gilles Peskine4747d192019-04-17 15:05:45 +0200337static inline struct psa_key_attributes_s psa_key_attributes_init( void )
338{
339 const struct psa_key_attributes_s v = PSA_KEY_ATTRIBUTES_INIT;
340 return( v );
341}
342
Gilles Peskinedc8219a2019-05-15 16:11:15 +0200343static inline void psa_set_key_id(psa_key_attributes_t *attributes,
344 psa_key_id_t id)
345{
Gilles Peskine7e0cff92019-07-30 13:48:52 +0200346 attributes->core.id = id;
347 if( attributes->core.lifetime == PSA_KEY_LIFETIME_VOLATILE )
348 attributes->core.lifetime = PSA_KEY_LIFETIME_PERSISTENT;
Gilles Peskinedc8219a2019-05-15 16:11:15 +0200349}
350
Gilles Peskinedb4b3ab2019-04-18 12:53:01 +0200351static inline psa_key_id_t psa_get_key_id(
352 const psa_key_attributes_t *attributes)
353{
Gilles Peskine7e0cff92019-07-30 13:48:52 +0200354 return( attributes->core.id );
Gilles Peskinedb4b3ab2019-04-18 12:53:01 +0200355}
356
Gilles Peskinedc8219a2019-05-15 16:11:15 +0200357static inline void psa_set_key_lifetime(psa_key_attributes_t *attributes,
358 psa_key_lifetime_t lifetime)
359{
Gilles Peskine7e0cff92019-07-30 13:48:52 +0200360 attributes->core.lifetime = lifetime;
Gilles Peskinedc8219a2019-05-15 16:11:15 +0200361 if( lifetime == PSA_KEY_LIFETIME_VOLATILE )
Gilles Peskine7e0cff92019-07-30 13:48:52 +0200362 attributes->core.id = 0;
Gilles Peskinedc8219a2019-05-15 16:11:15 +0200363}
364
Gilles Peskinedb4b3ab2019-04-18 12:53:01 +0200365static inline psa_key_lifetime_t psa_get_key_lifetime(
366 const psa_key_attributes_t *attributes)
367{
Gilles Peskine7e0cff92019-07-30 13:48:52 +0200368 return( attributes->core.lifetime );
Gilles Peskinedb4b3ab2019-04-18 12:53:01 +0200369}
370
Gilles Peskine4747d192019-04-17 15:05:45 +0200371static inline void psa_set_key_usage_flags(psa_key_attributes_t *attributes,
372 psa_key_usage_t usage_flags)
373{
Gilles Peskine7e0cff92019-07-30 13:48:52 +0200374 attributes->core.policy.usage = usage_flags;
Gilles Peskine4747d192019-04-17 15:05:45 +0200375}
376
377static inline psa_key_usage_t psa_get_key_usage_flags(
378 const psa_key_attributes_t *attributes)
379{
Gilles Peskine7e0cff92019-07-30 13:48:52 +0200380 return( attributes->core.policy.usage );
Gilles Peskine4747d192019-04-17 15:05:45 +0200381}
382
383static inline void psa_set_key_algorithm(psa_key_attributes_t *attributes,
384 psa_algorithm_t alg)
385{
Gilles Peskine7e0cff92019-07-30 13:48:52 +0200386 attributes->core.policy.alg = alg;
Gilles Peskine4747d192019-04-17 15:05:45 +0200387}
388
389static inline psa_algorithm_t psa_get_key_algorithm(
390 const psa_key_attributes_t *attributes)
391{
Gilles Peskine7e0cff92019-07-30 13:48:52 +0200392 return( attributes->core.policy.alg );
Gilles Peskine4747d192019-04-17 15:05:45 +0200393}
394
Gilles Peskine24f10f82019-05-16 12:18:32 +0200395/* This function is declared in crypto_extra.h, which comes after this
396 * header file, but we need the function here, so repeat the declaration. */
397psa_status_t psa_set_key_domain_parameters(psa_key_attributes_t *attributes,
398 psa_key_type_t type,
399 const uint8_t *data,
400 size_t data_length);
401
Gilles Peskine4747d192019-04-17 15:05:45 +0200402static inline void psa_set_key_type(psa_key_attributes_t *attributes,
403 psa_key_type_t type)
404{
Gilles Peskineb699f072019-04-26 16:06:02 +0200405 if( attributes->domain_parameters == NULL )
406 {
407 /* Common case: quick path */
Gilles Peskine7e0cff92019-07-30 13:48:52 +0200408 attributes->core.type = type;
Gilles Peskineb699f072019-04-26 16:06:02 +0200409 }
410 else
411 {
412 /* Call the bigger function to free the old domain paramteres.
413 * Ignore any errors which may arise due to type requiring
414 * non-default domain parameters, since this function can't
415 * report errors. */
416 (void) psa_set_key_domain_parameters( attributes, type, NULL, 0 );
417 }
Gilles Peskine4747d192019-04-17 15:05:45 +0200418}
419
420static inline psa_key_type_t psa_get_key_type(
421 const psa_key_attributes_t *attributes)
422{
Gilles Peskine7e0cff92019-07-30 13:48:52 +0200423 return( attributes->core.type );
Gilles Peskine4747d192019-04-17 15:05:45 +0200424}
425
Gilles Peskine3a4f1f82019-04-26 13:49:28 +0200426static inline void psa_set_key_bits(psa_key_attributes_t *attributes,
427 size_t bits)
428{
Gilles Peskine7e0cff92019-07-30 13:48:52 +0200429 attributes->core.bits = bits;
Gilles Peskine3a4f1f82019-04-26 13:49:28 +0200430}
431
Gilles Peskinedb4b3ab2019-04-18 12:53:01 +0200432static inline size_t psa_get_key_bits(
433 const psa_key_attributes_t *attributes)
434{
Gilles Peskine7e0cff92019-07-30 13:48:52 +0200435 return( attributes->core.bits );
Gilles Peskinedb4b3ab2019-04-18 12:53:01 +0200436}
437
Gilles Peskine9ef733f2018-02-07 21:05:37 +0100438#endif /* PSA_CRYPTO_STRUCT_H */