blob: 816454992c822c0144c4a44f6cae7d6bbfff9dcc [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)
Jaeden Amerod58a00d2019-06-07 11:49:59 +010041#include "mbedtls/config.h"
Gilles Peskine9ef733f2018-02-07 21:05:37 +010042#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
Gilles Peskinea05219c2018-11-16 16:02:56 +0100194#if defined(MBEDTLS_MD_C)
Janos Follath999f6482019-06-11 12:04:10 +0100195typedef enum
196{
197 TLS12_PRF_STATE_INIT, /* no input provided */
198 TLS12_PRF_STATE_SEED_SET, /* seed has been set */
199 TLS12_PRF_STATE_KEY_SET, /* key has been set */
200 TLS12_PRF_STATE_LABEL_SET, /* label has been set */
201 TLS12_PRF_STATE_OUTPUT /* output has been started */
202} psa_tls12_prf_key_derivation_state_t;
203
204typedef struct psa_tls12_prf_key_derivation_s
205{
206#if PSA_HASH_MAX_SIZE > 0xff
207#error "PSA_HASH_MAX_SIZE does not fit in uint8_t"
208#endif
209
210 /* Indicates how many bytes in the current HMAC block have
Janos Follath844eb0e2019-06-19 12:10:49 +0100211 * not yet been read by the user. */
212 uint8_t left_in_block;
Janos Follath999f6482019-06-11 12:04:10 +0100213
214 /* The 1-based number of the block. */
215 uint8_t block_number;
216
217 psa_tls12_prf_key_derivation_state_t state;
218
219 uint8_t *seed;
220 size_t seed_length;
221 uint8_t *label;
222 size_t label_length;
223 psa_hmac_internal_data hmac;
224 uint8_t Ai[PSA_HASH_MAX_SIZE];
225
226 /* `HMAC_hash( prk, A(i) + seed )` in the notation of RFC 5246, Sect. 5. */
227 uint8_t output_block[PSA_HASH_MAX_SIZE];
228} psa_tls12_prf_key_derivation_t;
Gilles Peskinea05219c2018-11-16 16:02:56 +0100229#endif /* MBEDTLS_MD_C */
Hanno Beckerc8a41d72018-10-09 17:33:01 +0100230
Gilles Peskinecbe66502019-05-16 16:59:18 +0200231struct psa_key_derivation_s
Gilles Peskineeab56e42018-07-12 17:12:33 +0200232{
233 psa_algorithm_t alg;
234 size_t capacity;
235 union
236 {
Janos Follathadbec812019-06-14 11:05:39 +0100237 /* Make the union non-empty even with no supported algorithms. */
238 uint8_t dummy;
Gilles Peskinebef7f142018-07-12 17:22:21 +0200239#if defined(MBEDTLS_MD_C)
Gilles Peskinecbe66502019-05-16 16:59:18 +0200240 psa_hkdf_key_derivation_t hkdf;
241 psa_tls12_prf_key_derivation_t tls12_prf;
Gilles Peskinebef7f142018-07-12 17:22:21 +0200242#endif
Gilles Peskineeab56e42018-07-12 17:12:33 +0200243 } ctx;
244};
245
Janos Follathadbec812019-06-14 11:05:39 +0100246/* This only zeroes out the first byte in the union, the rest is unspecified. */
247#define PSA_KEY_DERIVATION_OPERATION_INIT {0, 0, {0}}
Gilles Peskinecbe66502019-05-16 16:59:18 +0200248static inline struct psa_key_derivation_s psa_key_derivation_operation_init( void )
Gilles Peskineeab56e42018-07-12 17:12:33 +0200249{
Gilles Peskinecbe66502019-05-16 16:59:18 +0200250 const struct psa_key_derivation_s v = PSA_KEY_DERIVATION_OPERATION_INIT;
Gilles Peskineeab56e42018-07-12 17:12:33 +0200251 return( v );
252}
253
Gilles Peskine7698bcf2018-03-03 21:30:44 +0100254struct psa_key_policy_s
255{
256 psa_key_usage_t usage;
257 psa_algorithm_t alg;
Gilles Peskine96f0b3b2019-05-10 19:33:38 +0200258 psa_algorithm_t alg2;
Gilles Peskine7698bcf2018-03-03 21:30:44 +0100259};
Gilles Peskinea3dd7372019-04-19 19:42:26 +0200260typedef struct psa_key_policy_s psa_key_policy_t;
Gilles Peskine7698bcf2018-03-03 21:30:44 +0100261
Gilles Peskine96f0b3b2019-05-10 19:33:38 +0200262#define PSA_KEY_POLICY_INIT {0, 0, 0}
Jaeden Amero70261c52019-01-04 11:47:20 +0000263static inline struct psa_key_policy_s psa_key_policy_init( void )
264{
265 const struct psa_key_policy_s v = PSA_KEY_POLICY_INIT;
266 return( v );
267}
268
Gilles Peskine68cc433b2019-07-30 17:42:47 +0200269/* The type used internally for key sizes.
270 * Public interfaces use size_t, but internally we use a smaller type. */
271typedef uint16_t psa_key_bits_t;
272/* The maximum value of the type used to represent bit-sizes.
273 * This is used to mark an invalid key size. */
274#define PSA_KEY_BITS_TOO_LARGE ( (psa_key_bits_t) ( -1 ) )
Gilles Peskinec744d992019-07-30 17:26:54 +0200275/* The maximum size of a key in bits.
Gilles Peskine68cc433b2019-07-30 17:42:47 +0200276 * Currently defined as the maximum that can be represented, rounded down
277 * to a whole number of bytes.
278 * This is an uncast value so that it can be used in preprocessor
279 * conditionals. */
Gilles Peskinec744d992019-07-30 17:26:54 +0200280#define PSA_MAX_KEY_BITS 0xfff8
281
Gilles Peskine7e0cff92019-07-30 13:48:52 +0200282typedef struct
283{
284 psa_key_type_t type;
285 psa_key_lifetime_t lifetime;
286 psa_key_id_t id;
287 psa_key_policy_t policy;
Gilles Peskine68cc433b2019-07-30 17:42:47 +0200288 psa_key_bits_t bits;
289 uint16_t flags;
Gilles Peskine7e0cff92019-07-30 13:48:52 +0200290} psa_core_key_attributes_t;
291
Gilles Peskine68cc433b2019-07-30 17:42:47 +0200292#define PSA_CORE_KEY_ATTRIBUTES_INIT {0, 0, 0, {0, 0, 0}, 0, 0}
Gilles Peskine7e0cff92019-07-30 13:48:52 +0200293
Gilles Peskine4747d192019-04-17 15:05:45 +0200294struct psa_key_attributes_s
295{
Gilles Peskine7e0cff92019-07-30 13:48:52 +0200296 psa_core_key_attributes_t core;
Gilles Peskineb699f072019-04-26 16:06:02 +0200297 void *domain_parameters;
298 size_t domain_parameters_size;
Gilles Peskine4747d192019-04-17 15:05:45 +0200299};
300
Gilles Peskine7e0cff92019-07-30 13:48:52 +0200301#define PSA_KEY_ATTRIBUTES_INIT {PSA_CORE_KEY_ATTRIBUTES_INIT, NULL, 0}
Gilles Peskine4747d192019-04-17 15:05:45 +0200302static inline struct psa_key_attributes_s psa_key_attributes_init( void )
303{
304 const struct psa_key_attributes_s v = PSA_KEY_ATTRIBUTES_INIT;
305 return( v );
306}
307
Gilles Peskinedc8219a2019-05-15 16:11:15 +0200308static inline void psa_set_key_id(psa_key_attributes_t *attributes,
309 psa_key_id_t id)
310{
Gilles Peskine7e0cff92019-07-30 13:48:52 +0200311 attributes->core.id = id;
312 if( attributes->core.lifetime == PSA_KEY_LIFETIME_VOLATILE )
313 attributes->core.lifetime = PSA_KEY_LIFETIME_PERSISTENT;
Gilles Peskinedc8219a2019-05-15 16:11:15 +0200314}
315
Gilles Peskinedb4b3ab2019-04-18 12:53:01 +0200316static inline psa_key_id_t psa_get_key_id(
317 const psa_key_attributes_t *attributes)
318{
Gilles Peskine7e0cff92019-07-30 13:48:52 +0200319 return( attributes->core.id );
Gilles Peskinedb4b3ab2019-04-18 12:53:01 +0200320}
321
Gilles Peskinedc8219a2019-05-15 16:11:15 +0200322static inline void psa_set_key_lifetime(psa_key_attributes_t *attributes,
323 psa_key_lifetime_t lifetime)
324{
Gilles Peskine7e0cff92019-07-30 13:48:52 +0200325 attributes->core.lifetime = lifetime;
Gilles Peskinedc8219a2019-05-15 16:11:15 +0200326 if( lifetime == PSA_KEY_LIFETIME_VOLATILE )
Gilles Peskine7e0cff92019-07-30 13:48:52 +0200327 attributes->core.id = 0;
Gilles Peskinedc8219a2019-05-15 16:11:15 +0200328}
329
Gilles Peskinedb4b3ab2019-04-18 12:53:01 +0200330static inline psa_key_lifetime_t psa_get_key_lifetime(
331 const psa_key_attributes_t *attributes)
332{
Gilles Peskine7e0cff92019-07-30 13:48:52 +0200333 return( attributes->core.lifetime );
Gilles Peskinedb4b3ab2019-04-18 12:53:01 +0200334}
335
Gilles Peskine4747d192019-04-17 15:05:45 +0200336static inline void psa_set_key_usage_flags(psa_key_attributes_t *attributes,
337 psa_key_usage_t usage_flags)
338{
Gilles Peskine7e0cff92019-07-30 13:48:52 +0200339 attributes->core.policy.usage = usage_flags;
Gilles Peskine4747d192019-04-17 15:05:45 +0200340}
341
342static inline psa_key_usage_t psa_get_key_usage_flags(
343 const psa_key_attributes_t *attributes)
344{
Gilles Peskine7e0cff92019-07-30 13:48:52 +0200345 return( attributes->core.policy.usage );
Gilles Peskine4747d192019-04-17 15:05:45 +0200346}
347
348static inline void psa_set_key_algorithm(psa_key_attributes_t *attributes,
349 psa_algorithm_t alg)
350{
Gilles Peskine7e0cff92019-07-30 13:48:52 +0200351 attributes->core.policy.alg = alg;
Gilles Peskine4747d192019-04-17 15:05:45 +0200352}
353
354static inline psa_algorithm_t psa_get_key_algorithm(
355 const psa_key_attributes_t *attributes)
356{
Gilles Peskine7e0cff92019-07-30 13:48:52 +0200357 return( attributes->core.policy.alg );
Gilles Peskine4747d192019-04-17 15:05:45 +0200358}
359
Gilles Peskine24f10f82019-05-16 12:18:32 +0200360/* This function is declared in crypto_extra.h, which comes after this
361 * header file, but we need the function here, so repeat the declaration. */
362psa_status_t psa_set_key_domain_parameters(psa_key_attributes_t *attributes,
363 psa_key_type_t type,
364 const uint8_t *data,
365 size_t data_length);
366
Gilles Peskine4747d192019-04-17 15:05:45 +0200367static inline void psa_set_key_type(psa_key_attributes_t *attributes,
368 psa_key_type_t type)
369{
Gilles Peskineb699f072019-04-26 16:06:02 +0200370 if( attributes->domain_parameters == NULL )
371 {
372 /* Common case: quick path */
Gilles Peskine7e0cff92019-07-30 13:48:52 +0200373 attributes->core.type = type;
Gilles Peskineb699f072019-04-26 16:06:02 +0200374 }
375 else
376 {
377 /* Call the bigger function to free the old domain paramteres.
378 * Ignore any errors which may arise due to type requiring
379 * non-default domain parameters, since this function can't
380 * report errors. */
381 (void) psa_set_key_domain_parameters( attributes, type, NULL, 0 );
382 }
Gilles Peskine4747d192019-04-17 15:05:45 +0200383}
384
385static inline psa_key_type_t psa_get_key_type(
386 const psa_key_attributes_t *attributes)
387{
Gilles Peskine7e0cff92019-07-30 13:48:52 +0200388 return( attributes->core.type );
Gilles Peskine4747d192019-04-17 15:05:45 +0200389}
390
Gilles Peskine3a4f1f82019-04-26 13:49:28 +0200391static inline void psa_set_key_bits(psa_key_attributes_t *attributes,
392 size_t bits)
393{
Gilles Peskine68cc433b2019-07-30 17:42:47 +0200394 if( bits > PSA_MAX_KEY_BITS )
395 attributes->core.bits = PSA_KEY_BITS_TOO_LARGE;
396 else
397 attributes->core.bits = (psa_key_bits_t) bits;
Gilles Peskine3a4f1f82019-04-26 13:49:28 +0200398}
399
Gilles Peskinedb4b3ab2019-04-18 12:53:01 +0200400static inline size_t psa_get_key_bits(
401 const psa_key_attributes_t *attributes)
402{
Gilles Peskine7e0cff92019-07-30 13:48:52 +0200403 return( attributes->core.bits );
Gilles Peskinedb4b3ab2019-04-18 12:53:01 +0200404}
405
Gilles Peskine9ef733f2018-02-07 21:05:37 +0100406#endif /* PSA_CRYPTO_STRUCT_H */