Gilles Peskine | 9ef733f | 2018-02-07 21:05:37 +0100 | [diff] [blame] | 1 | /** |
| 2 | * \file psa/crypto_struct.h |
| 3 | * |
| 4 | * \brief PSA cryptography module: Mbed TLS structured type implementations |
Gilles Peskine | 07c91f5 | 2018-06-28 18:02:53 +0200 | [diff] [blame] | 5 | * |
| 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 Peskine | 9ef733f | 2018-02-07 21:05:37 +0100 | [diff] [blame] | 15 | */ |
| 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 | |
| 58 | struct psa_hash_operation_s |
| 59 | { |
| 60 | psa_algorithm_t alg; |
| 61 | union |
| 62 | { |
Gilles Peskine | 058e0b9 | 2018-03-22 16:20:19 +0100 | [diff] [blame] | 63 | unsigned dummy; /* Make the union non-empty even with no supported algorithms. */ |
Gilles Peskine | 9ef733f | 2018-02-07 21:05:37 +0100 | [diff] [blame] | 64 | #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 Amero | 6a25b41 | 2019-01-04 11:47:44 +0000 | [diff] [blame] | 88 | #define PSA_HASH_OPERATION_INIT {0, {0}} |
| 89 | static 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 Peskine | a05219c | 2018-11-16 16:02:56 +0100 | [diff] [blame] | 95 | #if defined(MBEDTLS_MD_C) |
Gilles Peskine | 2d27786 | 2018-06-18 15:41:12 +0200 | [diff] [blame] | 96 | typedef struct |
| 97 | { |
Nir Sonnenschein | dcd636a | 2018-06-04 16:03:32 +0300 | [diff] [blame] | 98 | /** The hash context. */ |
| 99 | struct psa_hash_operation_s hash_ctx; |
| 100 | /** The HMAC part of the context. */ |
Gilles Peskine | b3e6e5d | 2018-06-18 22:16:43 +0200 | [diff] [blame] | 101 | uint8_t opad[PSA_HMAC_MAX_HASH_BLOCK_SIZE]; |
Nir Sonnenschein | dcd636a | 2018-06-04 16:03:32 +0300 | [diff] [blame] | 102 | } psa_hmac_internal_data; |
Gilles Peskine | a05219c | 2018-11-16 16:02:56 +0100 | [diff] [blame] | 103 | #endif /* MBEDTLS_MD_C */ |
Nir Sonnenschein | dcd636a | 2018-06-04 16:03:32 +0300 | [diff] [blame] | 104 | |
Gilles Peskine | 9ef733f | 2018-02-07 21:05:37 +0100 | [diff] [blame] | 105 | struct psa_mac_operation_s |
| 106 | { |
| 107 | psa_algorithm_t alg; |
Darryl Green | 80bed23 | 2018-07-26 13:03:38 +0100 | [diff] [blame] | 108 | 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 Peskine | 9ef733f | 2018-02-07 21:05:37 +0100 | [diff] [blame] | 113 | uint8_t mac_size; |
| 114 | union |
| 115 | { |
Gilles Peskine | 058e0b9 | 2018-03-22 16:20:19 +0100 | [diff] [blame] | 116 | unsigned dummy; /* Make the union non-empty even with no supported algorithms. */ |
Gilles Peskine | 9ef733f | 2018-02-07 21:05:37 +0100 | [diff] [blame] | 117 | #if defined(MBEDTLS_MD_C) |
Nir Sonnenschein | dcd636a | 2018-06-04 16:03:32 +0300 | [diff] [blame] | 118 | psa_hmac_internal_data hmac; |
Gilles Peskine | 9ef733f | 2018-02-07 21:05:37 +0100 | [diff] [blame] | 119 | #endif |
| 120 | #if defined(MBEDTLS_CMAC_C) |
| 121 | mbedtls_cipher_context_t cmac; |
| 122 | #endif |
| 123 | } ctx; |
| 124 | }; |
| 125 | |
Jaeden Amero | 769ce27 | 2019-01-04 11:48:03 +0000 | [diff] [blame] | 126 | #define PSA_MAC_OPERATION_INIT {0, 0, 0, 0, 0, 0, 0, {0}} |
| 127 | static 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 Peskine | 428dc5a | 2018-03-03 21:27:18 +0100 | [diff] [blame] | 133 | struct psa_cipher_operation_s |
| 134 | { |
| 135 | psa_algorithm_t alg; |
Darryl Green | 80bed23 | 2018-07-26 13:03:38 +0100 | [diff] [blame] | 136 | unsigned int key_set : 1; |
| 137 | unsigned int iv_required : 1; |
| 138 | unsigned int iv_set : 1; |
Gilles Peskine | 428dc5a | 2018-03-03 21:27:18 +0100 | [diff] [blame] | 139 | uint8_t iv_size; |
| 140 | uint8_t block_size; |
| 141 | union |
| 142 | { |
Jaeden Amero | 5a5dc77 | 2019-01-04 15:33:37 +0000 | [diff] [blame] | 143 | unsigned dummy; /* Enable easier initializing of the union. */ |
mohammad1603 | 503973b | 2018-03-12 15:59:30 +0200 | [diff] [blame] | 144 | mbedtls_cipher_context_t cipher; |
Gilles Peskine | 428dc5a | 2018-03-03 21:27:18 +0100 | [diff] [blame] | 145 | } ctx; |
| 146 | }; |
| 147 | |
Jaeden Amero | 5bae227 | 2019-01-04 11:48:27 +0000 | [diff] [blame] | 148 | #define PSA_CIPHER_OPERATION_INIT {0, 0, 0, 0, 0, 0, {0}} |
| 149 | static 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 Peskine | 30a9e41 | 2019-01-14 18:36:12 +0100 | [diff] [blame] | 155 | struct 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}} |
| 170 | static 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 Peskine | a05219c | 2018-11-16 16:02:56 +0100 | [diff] [blame] | 176 | #if defined(MBEDTLS_MD_C) |
Gilles Peskine | bef7f14 | 2018-07-12 17:22:21 +0200 | [diff] [blame] | 177 | typedef 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 Peskine | 22c5151 | 2019-04-12 15:07:32 +0200 | [diff] [blame] | 189 | unsigned int state : 2; |
| 190 | unsigned int info_set : 1; |
Gilles Peskine | bef7f14 | 2018-07-12 17:22:21 +0200 | [diff] [blame] | 191 | } psa_hkdf_generator_t; |
Gilles Peskine | a05219c | 2018-11-16 16:02:56 +0100 | [diff] [blame] | 192 | #endif /* MBEDTLS_MD_C */ |
Gilles Peskine | bef7f14 | 2018-07-12 17:22:21 +0200 | [diff] [blame] | 193 | |
Gilles Peskine | a05219c | 2018-11-16 16:02:56 +0100 | [diff] [blame] | 194 | #if defined(MBEDTLS_MD_C) |
Hanno Becker | c8a41d7 | 2018-10-09 17:33:01 +0100 | [diff] [blame] | 195 | typedef struct psa_tls12_prf_generator_s |
| 196 | { |
| 197 | /* The TLS 1.2 PRF uses the key for each HMAC iteration, |
| 198 | * hence we must store it for the lifetime of the generator. |
| 199 | * This is different from HKDF, where the key is only used |
| 200 | * in the extraction phase, but not during expansion. */ |
| 201 | unsigned char *key; |
| 202 | size_t key_len; |
| 203 | |
| 204 | /* `A(i) + seed` in the notation of RFC 5246, Sect. 5 */ |
Hanno Becker | 580fba1 | 2018-11-13 20:50:45 +0000 | [diff] [blame] | 205 | uint8_t *Ai_with_seed; |
| 206 | size_t Ai_with_seed_len; |
Hanno Becker | c8a41d7 | 2018-10-09 17:33:01 +0100 | [diff] [blame] | 207 | |
| 208 | /* `HMAC_hash( prk, A(i) + seed )` in the notation of RFC 5246, Sect. 5. */ |
| 209 | uint8_t output_block[PSA_HASH_MAX_SIZE]; |
| 210 | |
| 211 | #if PSA_HASH_MAX_SIZE > 0xff |
| 212 | #error "PSA_HASH_MAX_SIZE does not fit in uint8_t" |
| 213 | #endif |
| 214 | |
| 215 | /* Indicates how many bytes in the current HMAC block have |
| 216 | * already been read by the user. */ |
| 217 | uint8_t offset_in_block; |
| 218 | |
| 219 | /* The 1-based number of the block. */ |
| 220 | uint8_t block_number; |
| 221 | |
| 222 | } psa_tls12_prf_generator_t; |
Gilles Peskine | a05219c | 2018-11-16 16:02:56 +0100 | [diff] [blame] | 223 | #endif /* MBEDTLS_MD_C */ |
Hanno Becker | c8a41d7 | 2018-10-09 17:33:01 +0100 | [diff] [blame] | 224 | |
Gilles Peskine | eab56e4 | 2018-07-12 17:12:33 +0200 | [diff] [blame] | 225 | struct psa_crypto_generator_s |
| 226 | { |
| 227 | psa_algorithm_t alg; |
| 228 | size_t capacity; |
| 229 | union |
| 230 | { |
| 231 | struct |
| 232 | { |
| 233 | uint8_t *data; |
| 234 | size_t size; |
| 235 | } buffer; |
Gilles Peskine | bef7f14 | 2018-07-12 17:22:21 +0200 | [diff] [blame] | 236 | #if defined(MBEDTLS_MD_C) |
| 237 | psa_hkdf_generator_t hkdf; |
Hanno Becker | c8a41d7 | 2018-10-09 17:33:01 +0100 | [diff] [blame] | 238 | psa_tls12_prf_generator_t tls12_prf; |
Gilles Peskine | bef7f14 | 2018-07-12 17:22:21 +0200 | [diff] [blame] | 239 | #endif |
Gilles Peskine | eab56e4 | 2018-07-12 17:12:33 +0200 | [diff] [blame] | 240 | } ctx; |
| 241 | }; |
| 242 | |
| 243 | #define PSA_CRYPTO_GENERATOR_INIT {0, 0, {{0, 0}}} |
| 244 | static inline struct psa_crypto_generator_s psa_crypto_generator_init( void ) |
| 245 | { |
| 246 | const struct psa_crypto_generator_s v = PSA_CRYPTO_GENERATOR_INIT; |
| 247 | return( v ); |
| 248 | } |
| 249 | |
Gilles Peskine | 7698bcf | 2018-03-03 21:30:44 +0100 | [diff] [blame] | 250 | struct psa_key_policy_s |
| 251 | { |
| 252 | psa_key_usage_t usage; |
| 253 | psa_algorithm_t alg; |
| 254 | }; |
| 255 | |
Jaeden Amero | 70261c5 | 2019-01-04 11:47:20 +0000 | [diff] [blame] | 256 | #define PSA_KEY_POLICY_INIT {0, 0} |
| 257 | static inline struct psa_key_policy_s psa_key_policy_init( void ) |
| 258 | { |
| 259 | const struct psa_key_policy_s v = PSA_KEY_POLICY_INIT; |
| 260 | return( v ); |
| 261 | } |
| 262 | |
Gilles Peskine | 9ef733f | 2018-02-07 21:05:37 +0100 | [diff] [blame] | 263 | #endif /* PSA_CRYPTO_STRUCT_H */ |