blob: 6de464d9dbbbe4e73d4e41eb0154ca7154fbbcef [file] [log] [blame]
Gilles Peskinee59236f2018-01-27 23:32:46 +01001/**
2 * \file psa/crypto_extra.h
3 *
4 * \brief PSA cryptography module: Mbed TLS vendor extensions
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 is reserved for vendor-specific definitions.
Gilles Peskinee59236f2018-01-27 23:32:46 +010010 */
11/*
Bence Szépkúti1e148272020-08-07 13:07:28 +020012 * Copyright The Mbed TLS Contributors
Gilles Peskinee59236f2018-01-27 23:32:46 +010013 * SPDX-License-Identifier: Apache-2.0
14 *
15 * Licensed under the Apache License, Version 2.0 (the "License"); you may
16 * not use this file except in compliance with the License.
17 * You may obtain a copy of the License at
18 *
19 * http://www.apache.org/licenses/LICENSE-2.0
20 *
21 * Unless required by applicable law or agreed to in writing, software
22 * distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
23 * WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
24 * See the License for the specific language governing permissions and
25 * limitations under the License.
Gilles Peskinee59236f2018-01-27 23:32:46 +010026 */
27
28#ifndef PSA_CRYPTO_EXTRA_H
29#define PSA_CRYPTO_EXTRA_H
Mateusz Starzyk846f0212021-05-19 19:44:07 +020030#include "mbedtls/private_access.h"
Gilles Peskinee59236f2018-01-27 23:32:46 +010031
Jaeden Amero81cefed2019-02-25 08:51:27 +000032#include "mbedtls/platform_util.h"
33
Gilles Peskine09c02ee2021-11-25 20:30:47 +010034#include "crypto_types.h"
Gilles Peskine7a894f22019-11-26 16:06:46 +010035#include "crypto_compat.h"
36
Gilles Peskinee59236f2018-01-27 23:32:46 +010037#ifdef __cplusplus
38extern "C" {
39#endif
40
Netanel Gonen2bcd3122018-11-19 11:53:02 +020041/* UID for secure storage seed */
avolinski0d2c2662018-11-21 17:31:07 +020042#define PSA_CRYPTO_ITS_RANDOM_SEED_UID 0xFFFFFF52
Netanel Gonen2bcd3122018-11-19 11:53:02 +020043
Bence Szépkútibb0cfeb2021-05-28 09:42:25 +020044/* See mbedtls_config.h for definition */
Steven Cooreman863470a2021-02-15 14:03:19 +010045#if !defined(MBEDTLS_PSA_KEY_SLOT_COUNT)
46#define MBEDTLS_PSA_KEY_SLOT_COUNT 32
Steven Cooreman1f968fd2021-02-15 14:00:24 +010047#endif
Jaeden Amero5e6d24c2019-02-21 10:41:29 +000048
Gilles Peskine96f0b3b2019-05-10 19:33:38 +020049/** \addtogroup attributes
50 * @{
51 */
52
53/** \brief Declare the enrollment algorithm for a key.
54 *
55 * An operation on a key may indifferently use the algorithm set with
56 * psa_set_key_algorithm() or with this function.
57 *
58 * \param[out] attributes The attribute structure to write to.
59 * \param alg2 A second algorithm that the key may be used
60 * for, in addition to the algorithm set with
61 * psa_set_key_algorithm().
62 *
63 * \warning Setting an enrollment algorithm is not recommended, because
64 * using the same key with different algorithms can allow some
65 * attacks based on arithmetic relations between different
66 * computations made with the same key, or can escalate harmless
67 * side channels into exploitable ones. Use this function only
Gilles Peskinef25c9ec2019-05-22 11:45:59 +020068 * if it is necessary to support a protocol for which it has been
Gilles Peskine96f0b3b2019-05-10 19:33:38 +020069 * verified that the usage of the key with multiple algorithms
70 * is safe.
71 */
72static inline void psa_set_key_enrollment_algorithm(
73 psa_key_attributes_t *attributes,
74 psa_algorithm_t alg2)
75{
Mateusz Starzyk846f0212021-05-19 19:44:07 +020076 attributes->MBEDTLS_PRIVATE(core).MBEDTLS_PRIVATE(policy).MBEDTLS_PRIVATE(alg2) = alg2;
Gilles Peskine96f0b3b2019-05-10 19:33:38 +020077}
78
79/** Retrieve the enrollment algorithm policy from key attributes.
80 *
81 * \param[in] attributes The key attribute structure to query.
82 *
83 * \return The enrollment algorithm stored in the attribute structure.
84 */
85static inline psa_algorithm_t psa_get_key_enrollment_algorithm(
86 const psa_key_attributes_t *attributes)
87{
Mateusz Starzyk846f0212021-05-19 19:44:07 +020088 return( attributes->MBEDTLS_PRIVATE(core).MBEDTLS_PRIVATE(policy).MBEDTLS_PRIVATE(alg2) );
Gilles Peskine96f0b3b2019-05-10 19:33:38 +020089}
90
Gilles Peskinec8000c02019-08-02 20:15:51 +020091#if defined(MBEDTLS_PSA_CRYPTO_SE_C)
92
93/** Retrieve the slot number where a key is stored.
94 *
95 * A slot number is only defined for keys that are stored in a secure
96 * element.
97 *
98 * This information is only useful if the secure element is not entirely
99 * managed through the PSA Cryptography API. It is up to the secure
100 * element driver to decide how PSA slot numbers map to any other interface
101 * that the secure element may have.
102 *
103 * \param[in] attributes The key attribute structure to query.
104 * \param[out] slot_number On success, the slot number containing the key.
105 *
106 * \retval #PSA_SUCCESS
107 * The key is located in a secure element, and \p *slot_number
108 * indicates the slot number that contains it.
109 * \retval #PSA_ERROR_NOT_PERMITTED
110 * The caller is not permitted to query the slot number.
111 * Mbed Crypto currently does not return this error.
112 * \retval #PSA_ERROR_INVALID_ARGUMENT
113 * The key is not located in a secure element.
114 */
115psa_status_t psa_get_key_slot_number(
116 const psa_key_attributes_t *attributes,
117 psa_key_slot_number_t *slot_number );
118
119/** Choose the slot number where a key is stored.
120 *
121 * This function declares a slot number in the specified attribute
122 * structure.
123 *
124 * A slot number is only meaningful for keys that are stored in a secure
125 * element. It is up to the secure element driver to decide how PSA slot
126 * numbers map to any other interface that the secure element may have.
127 *
128 * \note Setting a slot number in key attributes for a key creation can
129 * cause the following errors when creating the key:
130 * - #PSA_ERROR_NOT_SUPPORTED if the selected secure element does
131 * not support choosing a specific slot number.
132 * - #PSA_ERROR_NOT_PERMITTED if the caller is not permitted to
133 * choose slot numbers in general or to choose this specific slot.
134 * - #PSA_ERROR_INVALID_ARGUMENT if the chosen slot number is not
135 * valid in general or not valid for this specific key.
136 * - #PSA_ERROR_ALREADY_EXISTS if there is already a key in the
137 * selected slot.
138 *
139 * \param[out] attributes The attribute structure to write to.
140 * \param slot_number The slot number to set.
141 */
142static inline void psa_set_key_slot_number(
143 psa_key_attributes_t *attributes,
144 psa_key_slot_number_t slot_number )
145{
Mateusz Starzyk846f0212021-05-19 19:44:07 +0200146 attributes->MBEDTLS_PRIVATE(core).MBEDTLS_PRIVATE(flags) |= MBEDTLS_PSA_KA_FLAG_HAS_SLOT_NUMBER;
147 attributes->MBEDTLS_PRIVATE(slot_number) = slot_number;
Gilles Peskinec8000c02019-08-02 20:15:51 +0200148}
149
Gilles Peskine5fe5e272019-08-02 20:30:01 +0200150/** Remove the slot number attribute from a key attribute structure.
151 *
152 * This function undoes the action of psa_set_key_slot_number().
153 *
154 * \param[out] attributes The attribute structure to write to.
155 */
156static inline void psa_clear_key_slot_number(
157 psa_key_attributes_t *attributes )
158{
Mateusz Starzyk846f0212021-05-19 19:44:07 +0200159 attributes->MBEDTLS_PRIVATE(core).MBEDTLS_PRIVATE(flags) &= ~MBEDTLS_PSA_KA_FLAG_HAS_SLOT_NUMBER;
Gilles Peskine5fe5e272019-08-02 20:30:01 +0200160}
161
Gilles Peskined7729582019-08-05 15:55:54 +0200162/** Register a key that is already present in a secure element.
163 *
164 * The key must be located in a secure element designated by the
165 * lifetime field in \p attributes, in the slot set with
166 * psa_set_key_slot_number() in the attribute structure.
167 * This function makes the key available through the key identifier
168 * specified in \p attributes.
169 *
170 * \param[in] attributes The attributes of the existing key.
171 *
172 * \retval #PSA_SUCCESS
173 * The key was successfully registered.
174 * Note that depending on the design of the driver, this may or may
175 * not guarantee that a key actually exists in the designated slot
176 * and is compatible with the specified attributes.
177 * \retval #PSA_ERROR_ALREADY_EXISTS
178 * There is already a key with the identifier specified in
179 * \p attributes.
Gilles Peskine3efcebb2019-10-01 14:18:35 +0200180 * \retval #PSA_ERROR_NOT_SUPPORTED
181 * The secure element driver for the specified lifetime does not
182 * support registering a key.
Gilles Peskined7729582019-08-05 15:55:54 +0200183 * \retval #PSA_ERROR_INVALID_ARGUMENT
Ronald Crond3b458c2021-03-31 17:51:29 +0200184 * The identifier in \p attributes is invalid, namely the identifier is
Andrzej Kurekf7c1f742022-02-03 11:30:54 -0500185 * not in the user range, or
Gilles Peskined7729582019-08-05 15:55:54 +0200186 * \p attributes specifies a lifetime which is not located
Andrzej Kurekf7c1f742022-02-03 11:30:54 -0500187 * in a secure element, or no slot number is specified in \p attributes,
Gilles Peskined7729582019-08-05 15:55:54 +0200188 * or the specified slot number is not valid.
189 * \retval #PSA_ERROR_NOT_PERMITTED
190 * The caller is not authorized to register the specified key slot.
191 * \retval #PSA_ERROR_INSUFFICIENT_MEMORY
gabor-mezei-arm452b0a32020-11-09 17:42:55 +0100192 * \retval #PSA_ERROR_INSUFFICIENT_STORAGE
Gilles Peskined7729582019-08-05 15:55:54 +0200193 * \retval #PSA_ERROR_COMMUNICATION_FAILURE
gabor-mezei-arm452b0a32020-11-09 17:42:55 +0100194 * \retval #PSA_ERROR_DATA_INVALID
195 * \retval #PSA_ERROR_DATA_CORRUPT
Gilles Peskined7729582019-08-05 15:55:54 +0200196 * \retval #PSA_ERROR_CORRUPTION_DETECTED
197 * \retval #PSA_ERROR_BAD_STATE
198 * The library has not been previously initialized by psa_crypto_init().
199 * It is implementation-dependent whether a failure to initialize
200 * results in this error code.
201 */
202psa_status_t mbedtls_psa_register_se_key(
203 const psa_key_attributes_t *attributes);
204
Gilles Peskinec8000c02019-08-02 20:15:51 +0200205#endif /* MBEDTLS_PSA_CRYPTO_SE_C */
206
Gilles Peskine96f0b3b2019-05-10 19:33:38 +0200207/**@}*/
208
Gilles Peskinee59236f2018-01-27 23:32:46 +0100209/**
210 * \brief Library deinitialization.
211 *
212 * This function clears all data associated with the PSA layer,
213 * including the whole key store.
214 *
215 * This is an Mbed TLS extension.
216 */
217void mbedtls_psa_crypto_free( void );
218
Gilles Peskine4bac9a42019-05-23 20:32:30 +0200219/** \brief Statistics about
220 * resource consumption related to the PSA keystore.
221 *
222 * \note The content of this structure is not part of the stable API and ABI
223 * of Mbed Crypto and may change arbitrarily from version to version.
224 */
225typedef struct mbedtls_psa_stats_s
226{
227 /** Number of slots containing key material for a volatile key. */
Mateusz Starzyk846f0212021-05-19 19:44:07 +0200228 size_t MBEDTLS_PRIVATE(volatile_slots);
Gilles Peskine4bac9a42019-05-23 20:32:30 +0200229 /** Number of slots containing key material for a key which is in
230 * internal persistent storage. */
Mateusz Starzyk846f0212021-05-19 19:44:07 +0200231 size_t MBEDTLS_PRIVATE(persistent_slots);
Gilles Peskine4bac9a42019-05-23 20:32:30 +0200232 /** Number of slots containing a reference to a key in a
233 * secure element. */
Mateusz Starzyk846f0212021-05-19 19:44:07 +0200234 size_t MBEDTLS_PRIVATE(external_slots);
Gilles Peskine4bac9a42019-05-23 20:32:30 +0200235 /** Number of slots which are occupied, but do not contain
236 * key material yet. */
Mateusz Starzyk846f0212021-05-19 19:44:07 +0200237 size_t MBEDTLS_PRIVATE(half_filled_slots);
Gilles Peskine4bac9a42019-05-23 20:32:30 +0200238 /** Number of slots that contain cache data. */
Mateusz Starzyk846f0212021-05-19 19:44:07 +0200239 size_t MBEDTLS_PRIVATE(cache_slots);
Gilles Peskine4bac9a42019-05-23 20:32:30 +0200240 /** Number of slots that are not used for anything. */
Mateusz Starzyk846f0212021-05-19 19:44:07 +0200241 size_t MBEDTLS_PRIVATE(empty_slots);
Ronald Cron1ad1eee2020-11-15 14:21:04 +0100242 /** Number of slots that are locked. */
Mateusz Starzyk846f0212021-05-19 19:44:07 +0200243 size_t MBEDTLS_PRIVATE(locked_slots);
Gilles Peskine4bac9a42019-05-23 20:32:30 +0200244 /** Largest key id value among open keys in internal persistent storage. */
Mateusz Starzyk846f0212021-05-19 19:44:07 +0200245 psa_key_id_t MBEDTLS_PRIVATE(max_open_internal_key_id);
Gilles Peskine4bac9a42019-05-23 20:32:30 +0200246 /** Largest key id value among open keys in secure elements. */
Mateusz Starzyk846f0212021-05-19 19:44:07 +0200247 psa_key_id_t MBEDTLS_PRIVATE(max_open_external_key_id);
Gilles Peskine4bac9a42019-05-23 20:32:30 +0200248} mbedtls_psa_stats_t;
249
250/** \brief Get statistics about
251 * resource consumption related to the PSA keystore.
252 *
253 * \note When Mbed Crypto is built as part of a service, with isolation
254 * between the application and the keystore, the service may or
255 * may not expose this function.
256 */
257void mbedtls_psa_get_stats( mbedtls_psa_stats_t *stats );
Netanel Gonen2bcd3122018-11-19 11:53:02 +0200258
Netanel Gonen2bcd3122018-11-19 11:53:02 +0200259/**
Gilles Peskineee2ffd32018-11-16 11:02:49 +0100260 * \brief Inject an initial entropy seed for the random generator into
261 * secure storage.
Gilles Peskine0338ded2018-11-15 18:19:27 +0100262 *
263 * This function injects data to be used as a seed for the random generator
264 * used by the PSA Crypto implementation. On devices that lack a trusted
265 * entropy source (preferably a hardware random number generator),
266 * the Mbed PSA Crypto implementation uses this value to seed its
267 * random generator.
268 *
269 * On devices without a trusted entropy source, this function must be
270 * called exactly once in the lifetime of the device. On devices with
271 * a trusted entropy source, calling this function is optional.
272 * In all cases, this function may only be called before calling any
273 * other function in the PSA Crypto API, including psa_crypto_init().
274 *
275 * When this function returns successfully, it populates a file in
276 * persistent storage. Once the file has been created, this function
277 * can no longer succeed.
Gilles Peskineee2ffd32018-11-16 11:02:49 +0100278 *
279 * If any error occurs, this function does not change the system state.
280 * You can call this function again after correcting the reason for the
281 * error if possible.
Netanel Gonen2bcd3122018-11-19 11:53:02 +0200282 *
283 * \warning This function **can** fail! Callers MUST check the return status.
284 *
Gilles Peskine0338ded2018-11-15 18:19:27 +0100285 * \warning If you use this function, you should use it as part of a
286 * factory provisioning process. The value of the injected seed
287 * is critical to the security of the device. It must be
288 * *secret*, *unpredictable* and (statistically) *unique per device*.
289 * You should be generate it randomly using a cryptographically
290 * secure random generator seeded from trusted entropy sources.
291 * You should transmit it securely to the device and ensure
292 * that its value is not leaked or stored anywhere beyond the
293 * needs of transmitting it from the point of generation to
294 * the call of this function, and erase all copies of the value
295 * once this function returns.
Netanel Gonen2bcd3122018-11-19 11:53:02 +0200296 *
Gilles Peskine0338ded2018-11-15 18:19:27 +0100297 * This is an Mbed TLS extension.
298 *
Netanel Gonen1d7195f2018-11-22 16:24:48 +0200299 * \note This function is only available on the following platforms:
Gilles Peskinee3dbdd82019-02-25 11:04:06 +0100300 * * If the compile-time option MBEDTLS_PSA_INJECT_ENTROPY is enabled.
301 * Note that you must provide compatible implementations of
302 * mbedtls_nv_seed_read and mbedtls_nv_seed_write.
Gilles Peskine0cfaed12018-11-22 17:11:45 +0200303 * * In a client-server integration of PSA Cryptography, on the client side,
Netanel Gonen1d7195f2018-11-22 16:24:48 +0200304 * if the server supports this feature.
Netanel Gonen596e65e2018-11-22 18:41:43 +0200305 * \param[in] seed Buffer containing the seed value to inject.
Gilles Peskine0cfaed12018-11-22 17:11:45 +0200306 * \param[in] seed_size Size of the \p seed buffer.
Netanel Gonen596e65e2018-11-22 18:41:43 +0200307 * The size of the seed in bytes must be greater
Chris Jones3848e312021-03-11 16:17:59 +0000308 * or equal to both #MBEDTLS_ENTROPY_BLOCK_SIZE
309 * and the value of \c MBEDTLS_ENTROPY_MIN_PLATFORM
310 * in `library/entropy_poll.h` in the Mbed TLS source
311 * code.
Netanel Gonen596e65e2018-11-22 18:41:43 +0200312 * It must be less or equal to
313 * #MBEDTLS_ENTROPY_MAX_SEED_SIZE.
Netanel Gonen2bcd3122018-11-19 11:53:02 +0200314 *
315 * \retval #PSA_SUCCESS
Gilles Peskine0338ded2018-11-15 18:19:27 +0100316 * The seed value was injected successfully. The random generator
317 * of the PSA Crypto implementation is now ready for use.
318 * You may now call psa_crypto_init() and use the PSA Crypto
319 * implementation.
Netanel Gonen2bcd3122018-11-19 11:53:02 +0200320 * \retval #PSA_ERROR_INVALID_ARGUMENT
Gilles Peskineee2ffd32018-11-16 11:02:49 +0100321 * \p seed_size is out of range.
Netanel Gonen2bcd3122018-11-19 11:53:02 +0200322 * \retval #PSA_ERROR_STORAGE_FAILURE
Gilles Peskine0338ded2018-11-15 18:19:27 +0100323 * There was a failure reading or writing from storage.
Netanel Gonen2bcd3122018-11-19 11:53:02 +0200324 * \retval #PSA_ERROR_NOT_PERMITTED
Gilles Peskine0338ded2018-11-15 18:19:27 +0100325 * The library has already been initialized. It is no longer
326 * possible to call this function.
Netanel Gonen2bcd3122018-11-19 11:53:02 +0200327 */
Jaeden Ameroc7529c92019-08-19 11:08:04 +0100328psa_status_t mbedtls_psa_inject_entropy(const uint8_t *seed,
Netanel Gonen2bcd3122018-11-19 11:53:02 +0200329 size_t seed_size);
330
Gilles Peskinee38ab1a2019-05-16 13:51:50 +0200331/** \addtogroup crypto_types
332 * @{
333 */
334
Gilles Peskinea1302192019-05-16 13:58:24 +0200335/** DSA public key.
336 *
337 * The import and export format is the
338 * representation of the public key `y = g^x mod p` as a big-endian byte
339 * string. The length of the byte string is the length of the base prime `p`
340 * in bytes.
341 */
Gilles Peskine7cfcb3f2019-12-04 18:58:44 +0100342#define PSA_KEY_TYPE_DSA_PUBLIC_KEY ((psa_key_type_t)0x4002)
Gilles Peskinea1302192019-05-16 13:58:24 +0200343
344/** DSA key pair (private and public key).
345 *
346 * The import and export format is the
347 * representation of the private key `x` as a big-endian byte string. The
348 * length of the byte string is the private key size in bytes (leading zeroes
349 * are not stripped).
350 *
Shaun Case8b0ecbc2021-12-20 21:14:10 -0800351 * Deterministic DSA key derivation with psa_generate_derived_key follows
Gilles Peskinea1302192019-05-16 13:58:24 +0200352 * FIPS 186-4 §B.1.2: interpret the byte string as integer
353 * in big-endian order. Discard it if it is not in the range
354 * [0, *N* - 2] where *N* is the boundary of the private key domain
355 * (the prime *p* for Diffie-Hellman, the subprime *q* for DSA,
356 * or the order of the curve's base point for ECC).
357 * Add 1 to the resulting integer and use this as the private key *x*.
358 *
359 */
Gilles Peskine7cfcb3f2019-12-04 18:58:44 +0100360#define PSA_KEY_TYPE_DSA_KEY_PAIR ((psa_key_type_t)0x7002)
Gilles Peskinea1302192019-05-16 13:58:24 +0200361
Tom Cosgrovece7f18c2022-07-28 05:50:56 +0100362/** Whether a key type is a DSA key (pair or public-only). */
Gilles Peskinee38ab1a2019-05-16 13:51:50 +0200363#define PSA_KEY_TYPE_IS_DSA(type) \
Gilles Peskinec93b80c2019-05-16 19:39:54 +0200364 (PSA_KEY_TYPE_PUBLIC_KEY_OF_KEY_PAIR(type) == PSA_KEY_TYPE_DSA_PUBLIC_KEY)
Gilles Peskinee38ab1a2019-05-16 13:51:50 +0200365
Bence Szépkútia2945512020-12-03 21:40:17 +0100366#define PSA_ALG_DSA_BASE ((psa_algorithm_t)0x06000400)
Gilles Peskinee38ab1a2019-05-16 13:51:50 +0200367/** DSA signature with hashing.
368 *
369 * This is the signature scheme defined by FIPS 186-4,
370 * with a random per-message secret number (*k*).
371 *
372 * \param hash_alg A hash algorithm (\c PSA_ALG_XXX value such that
373 * #PSA_ALG_IS_HASH(\p hash_alg) is true).
374 * This includes #PSA_ALG_ANY_HASH
375 * when specifying the algorithm in a usage policy.
376 *
377 * \return The corresponding DSA signature algorithm.
378 * \return Unspecified if \p hash_alg is not a supported
379 * hash algorithm.
380 */
381#define PSA_ALG_DSA(hash_alg) \
382 (PSA_ALG_DSA_BASE | ((hash_alg) & PSA_ALG_HASH_MASK))
Bence Szépkútia2945512020-12-03 21:40:17 +0100383#define PSA_ALG_DETERMINISTIC_DSA_BASE ((psa_algorithm_t)0x06000500)
Gilles Peskine972630e2019-11-29 11:55:48 +0100384#define PSA_ALG_DSA_DETERMINISTIC_FLAG PSA_ALG_ECDSA_DETERMINISTIC_FLAG
Gilles Peskinee38ab1a2019-05-16 13:51:50 +0200385/** Deterministic DSA signature with hashing.
386 *
387 * This is the deterministic variant defined by RFC 6979 of
388 * the signature scheme defined by FIPS 186-4.
389 *
390 * \param hash_alg A hash algorithm (\c PSA_ALG_XXX value such that
391 * #PSA_ALG_IS_HASH(\p hash_alg) is true).
392 * This includes #PSA_ALG_ANY_HASH
393 * when specifying the algorithm in a usage policy.
394 *
395 * \return The corresponding DSA signature algorithm.
396 * \return Unspecified if \p hash_alg is not a supported
397 * hash algorithm.
398 */
399#define PSA_ALG_DETERMINISTIC_DSA(hash_alg) \
400 (PSA_ALG_DETERMINISTIC_DSA_BASE | ((hash_alg) & PSA_ALG_HASH_MASK))
401#define PSA_ALG_IS_DSA(alg) \
402 (((alg) & ~PSA_ALG_HASH_MASK & ~PSA_ALG_DSA_DETERMINISTIC_FLAG) == \
403 PSA_ALG_DSA_BASE)
404#define PSA_ALG_DSA_IS_DETERMINISTIC(alg) \
405 (((alg) & PSA_ALG_DSA_DETERMINISTIC_FLAG) != 0)
406#define PSA_ALG_IS_DETERMINISTIC_DSA(alg) \
407 (PSA_ALG_IS_DSA(alg) && PSA_ALG_DSA_IS_DETERMINISTIC(alg))
408#define PSA_ALG_IS_RANDOMIZED_DSA(alg) \
409 (PSA_ALG_IS_DSA(alg) && !PSA_ALG_DSA_IS_DETERMINISTIC(alg))
410
411
412/* We need to expand the sample definition of this macro from
413 * the API definition. */
Gilles Peskine6d400852021-02-24 21:39:52 +0100414#undef PSA_ALG_IS_VENDOR_HASH_AND_SIGN
415#define PSA_ALG_IS_VENDOR_HASH_AND_SIGN(alg) \
416 PSA_ALG_IS_DSA(alg)
Gilles Peskinee38ab1a2019-05-16 13:51:50 +0200417
418/**@}*/
419
Gilles Peskine24f10f82019-05-16 12:18:32 +0200420/** \addtogroup attributes
421 * @{
422 */
423
Gilles Peskinedcaefae2019-05-16 12:55:35 +0200424/** Custom Diffie-Hellman group.
425 *
Paul Elliott75e27032020-06-03 15:17:39 +0100426 * For keys of type #PSA_KEY_TYPE_DH_PUBLIC_KEY(#PSA_DH_FAMILY_CUSTOM) or
427 * #PSA_KEY_TYPE_DH_KEY_PAIR(#PSA_DH_FAMILY_CUSTOM), the group data comes
Gilles Peskinedcaefae2019-05-16 12:55:35 +0200428 * from domain parameters set by psa_set_key_domain_parameters().
429 */
Paul Elliott75e27032020-06-03 15:17:39 +0100430#define PSA_DH_FAMILY_CUSTOM ((psa_dh_family_t) 0x7e)
Gilles Peskinedcaefae2019-05-16 12:55:35 +0200431
432
Gilles Peskine24f10f82019-05-16 12:18:32 +0200433/**
434 * \brief Set domain parameters for a key.
435 *
436 * Some key types require additional domain parameters in addition to
437 * the key type identifier and the key size. Use this function instead
438 * of psa_set_key_type() when you need to specify domain parameters.
439 *
440 * The format for the required domain parameters varies based on the key type.
441 *
Gilles Peskinec93b80c2019-05-16 19:39:54 +0200442 * - For RSA keys (#PSA_KEY_TYPE_RSA_PUBLIC_KEY or #PSA_KEY_TYPE_RSA_KEY_PAIR),
Gilles Peskine24f10f82019-05-16 12:18:32 +0200443 * the domain parameter data consists of the public exponent,
444 * represented as a big-endian integer with no leading zeros.
445 * This information is used when generating an RSA key pair.
446 * When importing a key, the public exponent is read from the imported
447 * key data and the exponent recorded in the attribute structure is ignored.
448 * As an exception, the public exponent 65537 is represented by an empty
449 * byte string.
Gilles Peskinec93b80c2019-05-16 19:39:54 +0200450 * - For DSA keys (#PSA_KEY_TYPE_DSA_PUBLIC_KEY or #PSA_KEY_TYPE_DSA_KEY_PAIR),
bootstrap-prime6dbbf442022-05-17 19:30:44 -0400451 * the `Dss-Params` format as defined by RFC 3279 §2.3.2.
Gilles Peskine24f10f82019-05-16 12:18:32 +0200452 * ```
bootstrap-prime6dbbf442022-05-17 19:30:44 -0400453 * Dss-Params ::= SEQUENCE {
Gilles Peskine24f10f82019-05-16 12:18:32 +0200454 * p INTEGER,
455 * q INTEGER,
456 * g INTEGER
457 * }
458 * ```
Gilles Peskinedcaefae2019-05-16 12:55:35 +0200459 * - For Diffie-Hellman key exchange keys
Paul Elliott75e27032020-06-03 15:17:39 +0100460 * (#PSA_KEY_TYPE_DH_PUBLIC_KEY(#PSA_DH_FAMILY_CUSTOM) or
461 * #PSA_KEY_TYPE_DH_KEY_PAIR(#PSA_DH_FAMILY_CUSTOM)), the
Gilles Peskine24f10f82019-05-16 12:18:32 +0200462 * `DomainParameters` format as defined by RFC 3279 §2.3.3.
463 * ```
464 * DomainParameters ::= SEQUENCE {
465 * p INTEGER, -- odd prime, p=jq +1
466 * g INTEGER, -- generator, g
467 * q INTEGER, -- factor of p-1
468 * j INTEGER OPTIONAL, -- subgroup factor
bootstrap-prime6dbbf442022-05-17 19:30:44 -0400469 * validationParams ValidationParams OPTIONAL
Gilles Peskine24f10f82019-05-16 12:18:32 +0200470 * }
bootstrap-prime6dbbf442022-05-17 19:30:44 -0400471 * ValidationParams ::= SEQUENCE {
Gilles Peskine24f10f82019-05-16 12:18:32 +0200472 * seed BIT STRING,
473 * pgenCounter INTEGER
474 * }
475 * ```
476 *
477 * \note This function may allocate memory or other resources.
478 * Once you have called this function on an attribute structure,
479 * you must call psa_reset_key_attributes() to free these resources.
480 *
481 * \note This is an experimental extension to the interface. It may change
482 * in future versions of the library.
483 *
484 * \param[in,out] attributes Attribute structure where the specified domain
485 * parameters will be stored.
486 * If this function fails, the content of
487 * \p attributes is not modified.
488 * \param type Key type (a \c PSA_KEY_TYPE_XXX value).
489 * \param[in] data Buffer containing the key domain parameters.
490 * The content of this buffer is interpreted
491 * according to \p type as described above.
492 * \param data_length Size of the \p data buffer in bytes.
493 *
494 * \retval #PSA_SUCCESS
495 * \retval #PSA_ERROR_INVALID_ARGUMENT
496 * \retval #PSA_ERROR_NOT_SUPPORTED
497 * \retval #PSA_ERROR_INSUFFICIENT_MEMORY
498 */
499psa_status_t psa_set_key_domain_parameters(psa_key_attributes_t *attributes,
500 psa_key_type_t type,
501 const uint8_t *data,
502 size_t data_length);
503
504/**
505 * \brief Get domain parameters for a key.
506 *
507 * Get the domain parameters for a key with this function, if any. The format
508 * of the domain parameters written to \p data is specified in the
509 * documentation for psa_set_key_domain_parameters().
510 *
511 * \note This is an experimental extension to the interface. It may change
512 * in future versions of the library.
513 *
514 * \param[in] attributes The key attribute structure to query.
515 * \param[out] data On success, the key domain parameters.
516 * \param data_size Size of the \p data buffer in bytes.
517 * The buffer is guaranteed to be large
518 * enough if its size in bytes is at least
519 * the value given by
520 * PSA_KEY_DOMAIN_PARAMETERS_SIZE().
521 * \param[out] data_length On success, the number of bytes
522 * that make up the key domain parameters data.
523 *
524 * \retval #PSA_SUCCESS
525 * \retval #PSA_ERROR_BUFFER_TOO_SMALL
526 */
527psa_status_t psa_get_key_domain_parameters(
528 const psa_key_attributes_t *attributes,
529 uint8_t *data,
530 size_t data_size,
531 size_t *data_length);
532
533/** Safe output buffer size for psa_get_key_domain_parameters().
534 *
535 * This macro returns a compile-time constant if its arguments are
536 * compile-time constants.
537 *
538 * \warning This function may call its arguments multiple times or
539 * zero times, so you should not pass arguments that contain
540 * side effects.
541 *
542 * \note This is an experimental extension to the interface. It may change
543 * in future versions of the library.
544 *
545 * \param key_type A supported key type.
546 * \param key_bits The size of the key in bits.
547 *
548 * \return If the parameters are valid and supported, return
549 * a buffer size in bytes that guarantees that
550 * psa_get_key_domain_parameters() will not fail with
551 * #PSA_ERROR_BUFFER_TOO_SMALL.
552 * If the parameters are a valid combination that is not supported
Gilles Peskine27a983d2019-05-16 17:24:53 +0200553 * by the implementation, this macro shall return either a
Gilles Peskine24f10f82019-05-16 12:18:32 +0200554 * sensible size or 0.
555 * If the parameters are not valid, the
556 * return value is unspecified.
557 */
558#define PSA_KEY_DOMAIN_PARAMETERS_SIZE(key_type, key_bits) \
559 (PSA_KEY_TYPE_IS_RSA(key_type) ? sizeof(int) : \
560 PSA_KEY_TYPE_IS_DH(key_type) ? PSA_DH_KEY_DOMAIN_PARAMETERS_SIZE(key_bits) : \
561 PSA_KEY_TYPE_IS_DSA(key_type) ? PSA_DSA_KEY_DOMAIN_PARAMETERS_SIZE(key_bits) : \
562 0)
563#define PSA_DH_KEY_DOMAIN_PARAMETERS_SIZE(key_bits) \
564 (4 + (PSA_BITS_TO_BYTES(key_bits) + 5) * 3 /*without optional parts*/)
565#define PSA_DSA_KEY_DOMAIN_PARAMETERS_SIZE(key_bits) \
566 (4 + (PSA_BITS_TO_BYTES(key_bits) + 5) * 2 /*p, g*/ + 34 /*q*/)
567
568/**@}*/
569
Gilles Peskine5055b232019-12-12 17:49:31 +0100570/** \defgroup psa_tls_helpers TLS helper functions
571 * @{
572 */
573
574#if defined(MBEDTLS_ECP_C)
575#include <mbedtls/ecp.h>
576
577/** Convert an ECC curve identifier from the Mbed TLS encoding to PSA.
578 *
579 * \note This function is provided solely for the convenience of
580 * Mbed TLS and may be removed at any time without notice.
581 *
582 * \param grpid An Mbed TLS elliptic curve identifier
583 * (`MBEDTLS_ECP_DP_xxx`).
584 * \param[out] bits On success, the bit size of the curve.
585 *
586 * \return The corresponding PSA elliptic curve identifier
Paul Elliott8ff510a2020-06-02 17:19:28 +0100587 * (`PSA_ECC_FAMILY_xxx`).
Gilles Peskine5055b232019-12-12 17:49:31 +0100588 * \return \c 0 on failure (\p grpid is not recognized).
589 */
Paul Elliott8ff510a2020-06-02 17:19:28 +0100590static inline psa_ecc_family_t mbedtls_ecc_group_to_psa( mbedtls_ecp_group_id grpid,
Darryl Green2f0eb512020-04-24 15:21:14 +0100591 size_t *bits )
592{
593 switch( grpid )
594 {
595 case MBEDTLS_ECP_DP_SECP192R1:
596 *bits = 192;
Paul Elliott8ff510a2020-06-02 17:19:28 +0100597 return( PSA_ECC_FAMILY_SECP_R1 );
Darryl Green2f0eb512020-04-24 15:21:14 +0100598 case MBEDTLS_ECP_DP_SECP224R1:
599 *bits = 224;
Paul Elliott8ff510a2020-06-02 17:19:28 +0100600 return( PSA_ECC_FAMILY_SECP_R1 );
Darryl Green2f0eb512020-04-24 15:21:14 +0100601 case MBEDTLS_ECP_DP_SECP256R1:
602 *bits = 256;
Paul Elliott8ff510a2020-06-02 17:19:28 +0100603 return( PSA_ECC_FAMILY_SECP_R1 );
Darryl Green2f0eb512020-04-24 15:21:14 +0100604 case MBEDTLS_ECP_DP_SECP384R1:
605 *bits = 384;
Paul Elliott8ff510a2020-06-02 17:19:28 +0100606 return( PSA_ECC_FAMILY_SECP_R1 );
Darryl Green2f0eb512020-04-24 15:21:14 +0100607 case MBEDTLS_ECP_DP_SECP521R1:
608 *bits = 521;
Paul Elliott8ff510a2020-06-02 17:19:28 +0100609 return( PSA_ECC_FAMILY_SECP_R1 );
Darryl Green2f0eb512020-04-24 15:21:14 +0100610 case MBEDTLS_ECP_DP_BP256R1:
611 *bits = 256;
Paul Elliott8ff510a2020-06-02 17:19:28 +0100612 return( PSA_ECC_FAMILY_BRAINPOOL_P_R1 );
Darryl Green2f0eb512020-04-24 15:21:14 +0100613 case MBEDTLS_ECP_DP_BP384R1:
614 *bits = 384;
Paul Elliott8ff510a2020-06-02 17:19:28 +0100615 return( PSA_ECC_FAMILY_BRAINPOOL_P_R1 );
Darryl Green2f0eb512020-04-24 15:21:14 +0100616 case MBEDTLS_ECP_DP_BP512R1:
617 *bits = 512;
Paul Elliott8ff510a2020-06-02 17:19:28 +0100618 return( PSA_ECC_FAMILY_BRAINPOOL_P_R1 );
Darryl Green2f0eb512020-04-24 15:21:14 +0100619 case MBEDTLS_ECP_DP_CURVE25519:
620 *bits = 255;
Paul Elliott8ff510a2020-06-02 17:19:28 +0100621 return( PSA_ECC_FAMILY_MONTGOMERY );
Darryl Green2f0eb512020-04-24 15:21:14 +0100622 case MBEDTLS_ECP_DP_SECP192K1:
623 *bits = 192;
Paul Elliott8ff510a2020-06-02 17:19:28 +0100624 return( PSA_ECC_FAMILY_SECP_K1 );
Darryl Green2f0eb512020-04-24 15:21:14 +0100625 case MBEDTLS_ECP_DP_SECP224K1:
626 *bits = 224;
Paul Elliott8ff510a2020-06-02 17:19:28 +0100627 return( PSA_ECC_FAMILY_SECP_K1 );
Darryl Green2f0eb512020-04-24 15:21:14 +0100628 case MBEDTLS_ECP_DP_SECP256K1:
629 *bits = 256;
Paul Elliott8ff510a2020-06-02 17:19:28 +0100630 return( PSA_ECC_FAMILY_SECP_K1 );
Darryl Green2f0eb512020-04-24 15:21:14 +0100631 case MBEDTLS_ECP_DP_CURVE448:
632 *bits = 448;
Paul Elliott8ff510a2020-06-02 17:19:28 +0100633 return( PSA_ECC_FAMILY_MONTGOMERY );
Darryl Green2f0eb512020-04-24 15:21:14 +0100634 default:
635 *bits = 0;
636 return( 0 );
637 }
638}
Gilles Peskine5055b232019-12-12 17:49:31 +0100639
640/** Convert an ECC curve identifier from the PSA encoding to Mbed TLS.
641 *
642 * \note This function is provided solely for the convenience of
643 * Mbed TLS and may be removed at any time without notice.
644 *
645 * \param curve A PSA elliptic curve identifier
Paul Elliott8ff510a2020-06-02 17:19:28 +0100646 * (`PSA_ECC_FAMILY_xxx`).
Gilles Peskine2fa6b5f2021-01-27 15:44:45 +0100647 * \param bits The bit-length of a private key on \p curve.
648 * \param bits_is_sloppy If true, \p bits may be the bit-length rounded up
649 * to the nearest multiple of 8. This allows the caller
650 * to infer the exact curve from the length of a key
651 * which is supplied as a byte string.
Gilles Peskine5055b232019-12-12 17:49:31 +0100652 *
653 * \return The corresponding Mbed TLS elliptic curve identifier
654 * (`MBEDTLS_ECP_DP_xxx`).
655 * \return #MBEDTLS_ECP_DP_NONE if \c curve is not recognized.
Gilles Peskine2fa6b5f2021-01-27 15:44:45 +0100656 * \return #MBEDTLS_ECP_DP_NONE if \p bits is not
Gilles Peskine5055b232019-12-12 17:49:31 +0100657 * correct for \p curve.
658 */
Paul Elliott8ff510a2020-06-02 17:19:28 +0100659mbedtls_ecp_group_id mbedtls_ecc_group_of_psa( psa_ecc_family_t curve,
Gilles Peskine2fa6b5f2021-01-27 15:44:45 +0100660 size_t bits,
661 int bits_is_sloppy );
Gilles Peskine5055b232019-12-12 17:49:31 +0100662#endif /* MBEDTLS_ECP_C */
663
664/**@}*/
665
Gilles Peskineb8af2282020-11-13 18:00:34 +0100666/** \defgroup psa_external_rng External random generator
667 * @{
668 */
669
670#if defined(MBEDTLS_PSA_CRYPTO_EXTERNAL_RNG)
671/** External random generator function, implemented by the platform.
672 *
673 * When the compile-time option #MBEDTLS_PSA_CRYPTO_EXTERNAL_RNG is enabled,
674 * this function replaces Mbed TLS's entropy and DRBG modules for all
675 * random generation triggered via PSA crypto interfaces.
676 *
Gilles Peskineb663a602020-11-18 15:27:37 +0100677 * \note This random generator must deliver random numbers with cryptographic
678 * quality and high performance. It must supply unpredictable numbers
679 * with a uniform distribution. The implementation of this function
680 * is responsible for ensuring that the random generator is seeded
681 * with sufficient entropy. If you have a hardware TRNG which is slow
682 * or delivers non-uniform output, declare it as an entropy source
683 * with mbedtls_entropy_add_source() instead of enabling this option.
684 *
Gilles Peskineb8af2282020-11-13 18:00:34 +0100685 * \param[in,out] context Pointer to the random generator context.
686 * This is all-bits-zero on the first call
687 * and preserved between successive calls.
688 * \param[out] output Output buffer. On success, this buffer
689 * contains random data with a uniform
690 * distribution.
691 * \param output_size The size of the \p output buffer in bytes.
692 * \param[out] output_length On success, set this value to \p output_size.
693 *
694 * \retval #PSA_SUCCESS
Gilles Peskinee995b9b2020-11-30 12:08:00 +0100695 * Success. The output buffer contains \p output_size bytes of
696 * cryptographic-quality random data, and \c *output_length is
697 * set to \p output_size.
698 * \retval #PSA_ERROR_INSUFFICIENT_ENTROPY
699 * The random generator requires extra entropy and there is no
700 * way to obtain entropy under current environment conditions.
701 * This error should not happen under normal circumstances since
702 * this function is responsible for obtaining as much entropy as
703 * it needs. However implementations of this function may return
704 * #PSA_ERROR_INSUFFICIENT_ENTROPY if there is no way to obtain
705 * entropy without blocking indefinitely.
Gilles Peskineb8af2282020-11-13 18:00:34 +0100706 * \retval #PSA_ERROR_HARDWARE_FAILURE
Gilles Peskinee995b9b2020-11-30 12:08:00 +0100707 * A failure of the random generator hardware that isn't covered
708 * by #PSA_ERROR_INSUFFICIENT_ENTROPY.
Gilles Peskineb8af2282020-11-13 18:00:34 +0100709 */
710psa_status_t mbedtls_psa_external_get_random(
711 mbedtls_psa_external_random_context_t *context,
712 uint8_t *output, size_t output_size, size_t *output_length );
713#endif /* MBEDTLS_PSA_CRYPTO_EXTERNAL_RNG */
714
715/**@}*/
716
Steven Cooreman6801f082021-02-19 17:21:22 +0100717/** \defgroup psa_builtin_keys Built-in keys
718 * @{
719 */
720
721/** The minimum value for a key identifier that is built into the
722 * implementation.
723 *
724 * The range of key identifiers from #MBEDTLS_PSA_KEY_ID_BUILTIN_MIN
725 * to #MBEDTLS_PSA_KEY_ID_BUILTIN_MAX within the range from
726 * #PSA_KEY_ID_VENDOR_MIN and #PSA_KEY_ID_VENDOR_MAX and must not intersect
727 * with any other set of implementation-chosen key identifiers.
728 *
729 * This value is part of the library's ABI since changing it would invalidate
730 * the values of built-in key identifiers in applications.
731 */
732#define MBEDTLS_PSA_KEY_ID_BUILTIN_MIN ((psa_key_id_t)0x7fff0000)
733
734/** The maximum value for a key identifier that is built into the
735 * implementation.
736 *
737 * See #MBEDTLS_PSA_KEY_ID_BUILTIN_MIN for more information.
738 */
739#define MBEDTLS_PSA_KEY_ID_BUILTIN_MAX ((psa_key_id_t)0x7fffefff)
740
741/** A slot number identifying a key in a driver.
742 *
743 * Values of this type are used to identify built-in keys.
744 */
745typedef uint64_t psa_drv_slot_number_t;
746
747#if defined(MBEDTLS_PSA_CRYPTO_BUILTIN_KEYS)
748/** Test whether a key identifier belongs to the builtin key range.
749 *
750 * \param key_id Key identifier to test.
751 *
752 * \retval 1
753 * The key identifier is a builtin key identifier.
754 * \retval 0
755 * The key identifier is not a builtin key identifier.
756 */
757static inline int psa_key_id_is_builtin( psa_key_id_t key_id )
758{
759 return( ( key_id >= MBEDTLS_PSA_KEY_ID_BUILTIN_MIN ) &&
760 ( key_id <= MBEDTLS_PSA_KEY_ID_BUILTIN_MAX ) );
761}
762
Steven Cooremanb938b0b2021-04-06 13:08:42 +0200763/** Platform function to obtain the location and slot number of a built-in key.
Steven Cooreman6801f082021-02-19 17:21:22 +0100764 *
765 * An application-specific implementation of this function must be provided if
Steven Cooreman203bcbb2021-03-18 17:17:40 +0100766 * #MBEDTLS_PSA_CRYPTO_BUILTIN_KEYS is enabled. This would typically be provided
Steven Cooreman6801f082021-02-19 17:21:22 +0100767 * as part of a platform's system image.
768 *
Steven Cooremanc8b95342021-03-18 20:48:06 +0100769 * #MBEDTLS_SVC_KEY_ID_GET_KEY_ID(\p key_id) needs to be in the range from
Steven Cooreman6801f082021-02-19 17:21:22 +0100770 * #MBEDTLS_PSA_KEY_ID_BUILTIN_MIN to #MBEDTLS_PSA_KEY_ID_BUILTIN_MAX.
771 *
772 * In a multi-application configuration
773 * (\c MBEDTLS_PSA_CRYPTO_KEY_ID_ENCODES_OWNER is defined),
774 * this function should check that #MBEDTLS_SVC_KEY_ID_GET_OWNER_ID(\p key_id)
775 * is allowed to use the given key.
776 *
Steven Cooremanc8b95342021-03-18 20:48:06 +0100777 * \param key_id The key ID for which to retrieve the
778 * location and slot attributes.
779 * \param[out] lifetime On success, the lifetime associated with the key
780 * corresponding to \p key_id. Lifetime is a
781 * combination of which driver contains the key,
Steven Cooreman31e27af2021-04-14 10:32:05 +0200782 * and with what persistence level the key is
783 * intended to be used. If the platform
784 * implementation does not contain specific
785 * information about the intended key persistence
786 * level, the persistence level may be reported as
787 * #PSA_KEY_PERSISTENCE_DEFAULT.
Steven Cooremanc8b95342021-03-18 20:48:06 +0100788 * \param[out] slot_number On success, the slot number known to the driver
789 * registered at the lifetime location reported
Steven Cooremanb938b0b2021-04-06 13:08:42 +0200790 * through \p lifetime which corresponds to the
Steven Cooreman6801f082021-02-19 17:21:22 +0100791 * requested built-in key.
792 *
793 * \retval #PSA_SUCCESS
794 * The requested key identifier designates a built-in key.
795 * In a multi-application configuration, the requested owner
796 * is allowed to access it.
797 * \retval #PSA_ERROR_DOES_NOT_EXIST
798 * The requested key identifier is not a built-in key which is known
799 * to this function. If a key exists in the key storage with this
800 * identifier, the data from the storage will be used.
Steven Cooreman203bcbb2021-03-18 17:17:40 +0100801 * \return (any other error)
Steven Cooreman6801f082021-02-19 17:21:22 +0100802 * Any other error is propagated to the function that requested the key.
803 * Common errors include:
804 * - #PSA_ERROR_NOT_PERMITTED: the key exists but the requested owner
805 * is not allowed to access it.
806 */
807psa_status_t mbedtls_psa_platform_get_builtin_key(
Steven Cooremanc8b95342021-03-18 20:48:06 +0100808 mbedtls_svc_key_id_t key_id,
809 psa_key_lifetime_t *lifetime,
810 psa_drv_slot_number_t *slot_number );
Steven Cooreman6801f082021-02-19 17:21:22 +0100811#endif /* MBEDTLS_PSA_CRYPTO_BUILTIN_KEYS */
812
813/** @} */
814
Janos Follath702cf092021-05-26 12:58:23 +0100815/** \addtogroup crypto_types
816 * @{
817 */
818
819#define PSA_ALG_CATEGORY_PAKE ((psa_algorithm_t)0x0a000000)
820
821/** Whether the specified algorithm is a password-authenticated key exchange.
822 *
823 * \param alg An algorithm identifier (value of type #psa_algorithm_t).
824 *
825 * \return 1 if \p alg is a password-authenticated key exchange (PAKE)
826 * algorithm, 0 otherwise.
827 * This macro may return either 0 or 1 if \p alg is not a supported
828 * algorithm identifier.
829 */
830#define PSA_ALG_IS_PAKE(alg) \
831 (((alg) & PSA_ALG_CATEGORY_MASK) == PSA_ALG_CATEGORY_PAKE)
832
833/** The Password-authenticated key exchange by juggling (J-PAKE) algorithm.
834 *
835 * This is J-PAKE as defined by RFC 8236, instantiated with the following
836 * parameters:
837 *
838 * - The group can be either an elliptic curve or defined over a finite field.
839 * - Schnorr NIZK proof as defined by RFC 8235 and using the same group as the
840 * J-PAKE algorithm.
Janos Follath46c02372021-06-08 15:22:51 +0100841 * - A cryptographic hash function.
Janos Follath702cf092021-05-26 12:58:23 +0100842 *
Janos Follath46c02372021-06-08 15:22:51 +0100843 * To select these parameters and set up the cipher suite, call these functions
844 * in any order:
Janos Follathb384ec12021-06-03 14:48:51 +0100845 *
846 * \code
847 * psa_pake_cs_set_algorithm(cipher_suite, PSA_ALG_JPAKE);
848 * psa_pake_cs_set_primitive(cipher_suite,
849 * PSA_PAKE_PRIMITIVE(type, family, bits));
850 * psa_pake_cs_set_hash(cipher_suite, hash);
851 * \endcode
Janos Follath702cf092021-05-26 12:58:23 +0100852 *
853 * For more information on how to set a specific curve or field, refer to the
854 * documentation of the individual \c PSA_PAKE_PRIMITIVE_TYPE_XXX constants.
855 *
856 * After initializing a J-PAKE operation, call
Janos Follathb384ec12021-06-03 14:48:51 +0100857 *
858 * \code
859 * psa_pake_setup(operation, cipher_suite);
860 * psa_pake_set_user(operation, ...);
861 * psa_pake_set_peer(operation, ...);
862 * psa_pake_set_password_key(operation, ...);
863 * \endcode
Janos Follath702cf092021-05-26 12:58:23 +0100864 *
Neil Armstrong16145372022-05-20 10:42:36 +0200865 * The password is provided as a key. This can be the password text itself,
866 * in an agreed character encoding, or some value derived from the password
867 * as required by a higher level protocol.
Janos Follath702cf092021-05-26 12:58:23 +0100868 *
Neil Armstrong16145372022-05-20 10:42:36 +0200869 * (The implementation converts the key material to a number as described in
Janos Follath702cf092021-05-26 12:58:23 +0100870 * Section 2.3.8 of _SEC 1: Elliptic Curve Cryptography_
871 * (https://www.secg.org/sec1-v2.pdf), before reducing it modulo \c q. Here
872 * \c q is order of the group defined by the primitive set in the cipher suite.
Neil Armstrong5892aa62022-05-27 09:44:47 +0200873 * The \c psa_pake_set_password_key() function returns an error if the result
Janos Follath702cf092021-05-26 12:58:23 +0100874 * of the reduction is 0.)
875 *
876 * The key exchange flow for J-PAKE is as follows:
877 * -# To get the first round data that needs to be sent to the peer, call
Janos Follathb384ec12021-06-03 14:48:51 +0100878 * \code
879 * // Get g1
880 * psa_pake_output(operation, #PSA_PAKE_STEP_KEY_SHARE, ...);
881 * // Get the ZKP public key for x1
882 * psa_pake_output(operation, #PSA_PAKE_STEP_ZK_PUBLIC, ...);
883 * // Get the ZKP proof for x1
884 * psa_pake_output(operation, #PSA_PAKE_STEP_ZK_PROOF, ...);
885 * // Get g2
886 * psa_pake_output(operation, #PSA_PAKE_STEP_KEY_SHARE, ...);
887 * // Get the ZKP public key for x2
888 * psa_pake_output(operation, #PSA_PAKE_STEP_ZK_PUBLIC, ...);
889 * // Get the ZKP proof for x2
890 * psa_pake_output(operation, #PSA_PAKE_STEP_ZK_PROOF, ...);
891 * \endcode
Janos Follath702cf092021-05-26 12:58:23 +0100892 * -# To provide the first round data received from the peer to the operation,
893 * call
Janos Follathb384ec12021-06-03 14:48:51 +0100894 * \code
895 * // Set g3
896 * psa_pake_input(operation, #PSA_PAKE_STEP_KEY_SHARE, ...);
897 * // Set the ZKP public key for x3
898 * psa_pake_input(operation, #PSA_PAKE_STEP_ZK_PUBLIC, ...);
899 * // Set the ZKP proof for x3
900 * psa_pake_input(operation, #PSA_PAKE_STEP_ZK_PROOF, ...);
901 * // Set g4
902 * psa_pake_input(operation, #PSA_PAKE_STEP_KEY_SHARE, ...);
903 * // Set the ZKP public key for x4
904 * psa_pake_input(operation, #PSA_PAKE_STEP_ZK_PUBLIC, ...);
905 * // Set the ZKP proof for x4
906 * psa_pake_input(operation, #PSA_PAKE_STEP_ZK_PROOF, ...);
907 * \endcode
Janos Follath702cf092021-05-26 12:58:23 +0100908 * -# To get the second round data that needs to be sent to the peer, call
Janos Follathb384ec12021-06-03 14:48:51 +0100909 * \code
910 * // Get A
911 * psa_pake_output(operation, #PSA_PAKE_STEP_KEY_SHARE, ...);
912 * // Get ZKP public key for x2*s
913 * psa_pake_output(operation, #PSA_PAKE_STEP_ZK_PUBLIC, ...);
914 * // Get ZKP proof for x2*s
915 * psa_pake_output(operation, #PSA_PAKE_STEP_ZK_PROOF, ...);
916 * \endcode
Janos Follath702cf092021-05-26 12:58:23 +0100917 * -# To provide the second round data received from the peer to the operation,
918 * call
Janos Follathb384ec12021-06-03 14:48:51 +0100919 * \code
920 * // Set B
921 * psa_pake_input(operation, #PSA_PAKE_STEP_KEY_SHARE, ...);
922 * // Set ZKP public key for x4*s
923 * psa_pake_input(operation, #PSA_PAKE_STEP_ZK_PUBLIC, ...);
924 * // Set ZKP proof for x4*s
925 * psa_pake_input(operation, #PSA_PAKE_STEP_ZK_PROOF, ...);
926 * \endcode
Janos Follath702cf092021-05-26 12:58:23 +0100927 * -# To access the shared secret call
Janos Follathb384ec12021-06-03 14:48:51 +0100928 * \code
929 * // Get Ka=Kb=K
930 * psa_pake_get_implicit_key()
931 * \endcode
Janos Follath702cf092021-05-26 12:58:23 +0100932 *
933 * For more information consult the documentation of the individual
934 * \c PSA_PAKE_STEP_XXX constants.
935 *
936 * At this point there is a cryptographic guarantee that only the authenticated
937 * party who used the same password is able to compute the key. But there is no
Janos Follatha46e28f2021-06-03 13:07:03 +0100938 * guarantee that the peer is the party it claims to be and was able to do so.
Janos Follath702cf092021-05-26 12:58:23 +0100939 *
940 * That is, the authentication is only implicit (the peer is not authenticated
941 * at this point, and no action should be taken that assume that they are - like
942 * for example accessing restricted files).
943 *
944 * To make the authentication explicit there are various methods, see Section 5
945 * of RFC 8236 for two examples.
946 *
947 */
948#define PSA_ALG_JPAKE ((psa_algorithm_t)0x0a000100)
949
950/** @} */
951
952/** \defgroup pake Password-authenticated key exchange (PAKE)
Janos Follath7d69b3a2021-05-26 13:10:56 +0100953 *
954 * This is a proposed PAKE interface for the PSA Crypto API. It is not part of
955 * the official PSA Crypto API yet.
956 *
957 * \note The content of this section is not part of the stable API and ABI
958 * of Mbed Crypto and may change arbitrarily from version to version.
959 * Same holds for the corresponding macros #PSA_ALG_CATEGORY_PAKE and
960 * #PSA_ALG_JPAKE.
Janos Follath702cf092021-05-26 12:58:23 +0100961 * @{
962 */
963
Neil Armstrong2a6dd9c2022-05-20 11:17:10 +0200964/** \brief Encoding of the application role of PAKE
Janos Follath702cf092021-05-26 12:58:23 +0100965 *
Neil Armstrong2a6dd9c2022-05-20 11:17:10 +0200966 * Encodes the application's role in the algorithm is being executed. For more
967 * information see the documentation of individual \c PSA_PAKE_ROLE_XXX
968 * constants.
Janos Follath702cf092021-05-26 12:58:23 +0100969 */
Neil Armstrong2a6dd9c2022-05-20 11:17:10 +0200970typedef uint8_t psa_pake_role_t;
Janos Follath702cf092021-05-26 12:58:23 +0100971
972/** Encoding of input and output indicators for PAKE.
973 *
974 * Some PAKE algorithms need to exchange more data than just a single key share.
975 * This type is for encoding additional input and output data for such
976 * algorithms.
977 */
978typedef uint8_t psa_pake_step_t;
979
980/** Encoding of the type of the PAKE's primitive.
981 *
982 * Values defined by this standard will never be in the range 0x80-0xff.
983 * Vendors who define additional types must use an encoding in this range.
984 *
985 * For more information see the documentation of individual
986 * \c PSA_PAKE_PRIMITIVE_TYPE_XXX constants.
987 */
988typedef uint8_t psa_pake_primitive_type_t;
989
990/** \brief Encoding of the family of the primitive associated with the PAKE.
991 *
992 * For more information see the documentation of individual
993 * \c PSA_PAKE_PRIMITIVE_TYPE_XXX constants.
994 */
995typedef uint8_t psa_pake_family_t;
996
997/** \brief Encoding of the primitive associated with the PAKE.
998 *
999 * For more information see the documentation of the #PSA_PAKE_PRIMITIVE macro.
1000 */
1001typedef uint32_t psa_pake_primitive_t;
1002
Neil Armstrong2a6dd9c2022-05-20 11:17:10 +02001003/** A value to indicate no role in a PAKE algorithm.
1004 * This value can be used in a call to psa_pake_set_role() for symmetric PAKE
1005 * algorithms which do not assign roles.
1006 */
1007#define PSA_PAKE_ROLE_NONE ((psa_pake_role_t)0x00)
1008
Janos Follath702cf092021-05-26 12:58:23 +01001009/** The first peer in a balanced PAKE.
1010 *
1011 * Although balanced PAKE algorithms are symmetric, some of them needs an
1012 * ordering of peers for the transcript calculations. If the algorithm does not
Neil Armstrong2a6dd9c2022-05-20 11:17:10 +02001013 * need this, both #PSA_PAKE_ROLE_FIRST and #PSA_PAKE_ROLE_SECOND are
Janos Follath702cf092021-05-26 12:58:23 +01001014 * accepted.
1015 */
Neil Armstrong2a6dd9c2022-05-20 11:17:10 +02001016#define PSA_PAKE_ROLE_FIRST ((psa_pake_role_t)0x01)
Janos Follath702cf092021-05-26 12:58:23 +01001017
1018/** The second peer in a balanced PAKE.
1019 *
1020 * Although balanced PAKE algorithms are symmetric, some of them needs an
1021 * ordering of peers for the transcript calculations. If the algorithm does not
Neil Armstrong2a6dd9c2022-05-20 11:17:10 +02001022 * need this, either #PSA_PAKE_ROLE_FIRST or #PSA_PAKE_ROLE_SECOND are
Janos Follath702cf092021-05-26 12:58:23 +01001023 * accepted.
1024 */
Neil Armstrong2a6dd9c2022-05-20 11:17:10 +02001025#define PSA_PAKE_ROLE_SECOND ((psa_pake_role_t)0x02)
Janos Follath702cf092021-05-26 12:58:23 +01001026
1027/** The client in an augmented PAKE.
1028 *
1029 * Augmented PAKE algorithms need to differentiate between client and server.
1030 */
Neil Armstrong2a6dd9c2022-05-20 11:17:10 +02001031#define PSA_PAKE_ROLE_CLIENT ((psa_pake_role_t)0x11)
Janos Follath702cf092021-05-26 12:58:23 +01001032
1033/** The server in an augmented PAKE.
1034 *
1035 * Augmented PAKE algorithms need to differentiate between client and server.
1036 */
Neil Armstrong2a6dd9c2022-05-20 11:17:10 +02001037#define PSA_PAKE_ROLE_SERVER ((psa_pake_role_t)0x12)
Janos Follath702cf092021-05-26 12:58:23 +01001038
1039/** The PAKE primitive type indicating the use of elliptic curves.
1040 *
1041 * The values of the \c family and \c bits fields of the cipher suite identify a
1042 * specific elliptic curve, using the same mapping that is used for ECC
1043 * (::psa_ecc_family_t) keys.
1044 *
1045 * (Here \c family means the value returned by psa_pake_cs_get_family() and
1046 * \c bits means the value returned by psa_pake_cs_get_bits().)
1047 *
1048 * Input and output during the operation can involve group elements and scalar
1049 * values:
1050 * -# The format for group elements is the same as for public keys on the
1051 * specific curve would be. For more information, consult the documentation of
1052 * psa_export_public_key().
1053 * -# The format for scalars is the same as for private keys on the specific
1054 * curve would be. For more information, consult the documentation of
1055 * psa_export_key().
1056 */
1057#define PSA_PAKE_PRIMITIVE_TYPE_ECC ((psa_pake_primitive_type_t)0x01)
1058
1059/** The PAKE primitive type indicating the use of Diffie-Hellman groups.
1060 *
1061 * The values of the \c family and \c bits fields of the cipher suite identify
1062 * a specific Diffie-Hellman group, using the same mapping that is used for
1063 * Diffie-Hellman (::psa_dh_family_t) keys.
1064 *
1065 * (Here \c family means the value returned by psa_pake_cs_get_family() and
1066 * \c bits means the value returned by psa_pake_cs_get_bits().)
1067 *
1068 * Input and output during the operation can involve group elements and scalar
1069 * values:
1070 * -# The format for group elements is the same as for public keys on the
1071 * specific group would be. For more information, consult the documentation of
1072 * psa_export_public_key().
1073 * -# The format for scalars is the same as for private keys on the specific
1074 * group would be. For more information, consult the documentation of
1075 * psa_export_key().
1076 */
1077#define PSA_PAKE_PRIMITIVE_TYPE_DH ((psa_pake_primitive_type_t)0x02)
1078
1079/** Construct a PAKE primitive from type, family and bit-size.
1080 *
1081 * \param pake_type The type of the primitive
1082 * (value of type ::psa_pake_primitive_type_t).
1083 * \param pake_family The family of the primitive
1084 * (the type and interpretation of this parameter depends
1085 * on \p type, for more information consult the
1086 * documentation of individual ::psa_pake_primitive_type_t
1087 * constants).
1088 * \param pake_bits The bit-size of the primitive
1089 * (Value of type \c size_t. The interpretation
1090 * of this parameter depends on \p family, for more
1091 * information consult the documentation of individual
1092 * ::psa_pake_primitive_type_t constants).
1093 *
1094 * \return The constructed primitive value of type ::psa_pake_primitive_t.
1095 * Return 0 if the requested primitive can't be encoded as
1096 * ::psa_pake_primitive_t.
1097 */
1098#define PSA_PAKE_PRIMITIVE(pake_type, pake_family, pake_bits) \
1099 ((pake_bits & 0xFFFF) != pake_bits) ? 0 : \
1100 ((psa_pake_primitive_t) (((pake_type) << 24 | \
1101 (pake_family) << 16) | (pake_bits)))
1102
1103/** The key share being sent to or received from the peer.
1104 *
1105 * The format for both input and output at this step is the same as for public
1106 * keys on the group determined by the primitive (::psa_pake_primitive_t) would
1107 * be.
1108 *
1109 * For more information on the format, consult the documentation of
1110 * psa_export_public_key().
1111 *
1112 * For information regarding how the group is determined, consult the
1113 * documentation #PSA_PAKE_PRIMITIVE.
1114 */
1115#define PSA_PAKE_STEP_KEY_SHARE ((psa_pake_step_t)0x01)
1116
1117/** A Schnorr NIZKP public key.
1118 *
Janos Follath55dd5dc2021-06-03 15:51:09 +01001119 * This is the ephemeral public key in the Schnorr Non-Interactive
1120 * Zero-Knowledge Proof (the value denoted by the letter 'V' in RFC 8235).
1121 *
Janos Follath702cf092021-05-26 12:58:23 +01001122 * The format for both input and output at this step is the same as for public
1123 * keys on the group determined by the primitive (::psa_pake_primitive_t) would
1124 * be.
1125 *
1126 * For more information on the format, consult the documentation of
1127 * psa_export_public_key().
1128 *
1129 * For information regarding how the group is determined, consult the
1130 * documentation #PSA_PAKE_PRIMITIVE.
1131 */
1132#define PSA_PAKE_STEP_ZK_PUBLIC ((psa_pake_step_t)0x02)
1133
1134/** A Schnorr NIZKP proof.
1135 *
Janos Follath55dd5dc2021-06-03 15:51:09 +01001136 * This is the proof in the Schnorr Non-Interactive Zero-Knowledge Proof (the
1137 * value denoted by the letter 'r' in RFC 8235).
Janos Follath702cf092021-05-26 12:58:23 +01001138 *
Janos Follath1f013182021-06-08 15:30:48 +01001139 * Both for input and output, the value at this step is an integer less than
1140 * the order of the group selected in the cipher suite. The format depends on
1141 * the group as well:
Janos Follath702cf092021-05-26 12:58:23 +01001142 *
Janos Follath1f013182021-06-08 15:30:48 +01001143 * - For Montgomery curves, the encoding is little endian.
Janos Follath55dd5dc2021-06-03 15:51:09 +01001144 * - For everything else the encoding is big endian (see Section 2.3.8 of
1145 * _SEC 1: Elliptic Curve Cryptography_ at https://www.secg.org/sec1-v2.pdf).
Janos Follath702cf092021-05-26 12:58:23 +01001146 *
Janos Follath1f013182021-06-08 15:30:48 +01001147 * In both cases leading zeroes are allowed as long as the length in bytes does
1148 * not exceed the byte length of the group order.
1149 *
Janos Follath702cf092021-05-26 12:58:23 +01001150 * For information regarding how the group is determined, consult the
1151 * documentation #PSA_PAKE_PRIMITIVE.
1152 */
1153#define PSA_PAKE_STEP_ZK_PROOF ((psa_pake_step_t)0x03)
1154
Shaun Case8b0ecbc2021-12-20 21:14:10 -08001155/** The type of the data structure for PAKE cipher suites.
Janos Follath702cf092021-05-26 12:58:23 +01001156 *
1157 * This is an implementation-defined \c struct. Applications should not
1158 * make any assumptions about the content of this structure.
1159 * Implementation details can change in future versions without notice.
1160 */
1161typedef struct psa_pake_cipher_suite_s psa_pake_cipher_suite_t;
1162
Neil Armstrong5ff6a7f2022-05-20 10:12:01 +02001163/** Return an initial value for a PAKE cipher suite object.
1164 */
Neil Armstrong72ab56a2022-05-25 11:48:37 +02001165static psa_pake_cipher_suite_t psa_pake_cipher_suite_init( void );
Neil Armstrong5ff6a7f2022-05-20 10:12:01 +02001166
Janos Follath702cf092021-05-26 12:58:23 +01001167/** Retrieve the PAKE algorithm from a PAKE cipher suite.
1168 *
Janos Follath702cf092021-05-26 12:58:23 +01001169 * \param[in] cipher_suite The cipher suite structure to query.
1170 *
1171 * \return The PAKE algorithm stored in the cipher suite structure.
1172 */
1173static psa_algorithm_t psa_pake_cs_get_algorithm(
Neil Armstrong72ab56a2022-05-25 11:48:37 +02001174 const psa_pake_cipher_suite_t *cipher_suite );
Janos Follath702cf092021-05-26 12:58:23 +01001175
1176/** Declare the PAKE algorithm for the cipher suite.
1177 *
1178 * This function overwrites any PAKE algorithm
1179 * previously set in \p cipher_suite.
1180 *
Janos Follath702cf092021-05-26 12:58:23 +01001181 * \param[out] cipher_suite The cipher suite structure to write to.
1182 * \param algorithm The PAKE algorithm to write.
1183 * (`PSA_ALG_XXX` values of type ::psa_algorithm_t
1184 * such that #PSA_ALG_IS_PAKE(\c alg) is true.)
1185 * If this is 0, the PAKE algorithm in
1186 * \p cipher_suite becomes unspecified.
1187 */
Neil Armstrong72ab56a2022-05-25 11:48:37 +02001188static void psa_pake_cs_set_algorithm( psa_pake_cipher_suite_t *cipher_suite,
1189 psa_algorithm_t algorithm );
Janos Follath702cf092021-05-26 12:58:23 +01001190
1191/** Retrieve the primitive from a PAKE cipher suite.
1192 *
Janos Follath702cf092021-05-26 12:58:23 +01001193 * \param[in] cipher_suite The cipher suite structure to query.
1194 *
1195 * \return The primitive stored in the cipher suite structure.
1196 */
1197static psa_pake_primitive_t psa_pake_cs_get_primitive(
Neil Armstrong72ab56a2022-05-25 11:48:37 +02001198 const psa_pake_cipher_suite_t *cipher_suite );
Janos Follath702cf092021-05-26 12:58:23 +01001199
1200/** Declare the primitive for a PAKE cipher suite.
1201 *
1202 * This function overwrites any primitive previously set in \p cipher_suite.
1203 *
Janos Follath702cf092021-05-26 12:58:23 +01001204 * \param[out] cipher_suite The cipher suite structure to write to.
1205 * \param primitive The primitive to write. If this is 0, the
1206 * primitive type in \p cipher_suite becomes
1207 * unspecified.
1208 */
Neil Armstrong72ab56a2022-05-25 11:48:37 +02001209static void psa_pake_cs_set_primitive( psa_pake_cipher_suite_t *cipher_suite,
1210 psa_pake_primitive_t primitive );
Janos Follath702cf092021-05-26 12:58:23 +01001211
Neil Armstrongff9cac72022-05-20 10:25:15 +02001212/** Retrieve the PAKE family from a PAKE cipher suite.
1213 *
Neil Armstrongff9cac72022-05-20 10:25:15 +02001214 * \param[in] cipher_suite The cipher suite structure to query.
1215 *
1216 * \return The PAKE family stored in the cipher suite structure.
1217 */
1218static psa_pake_family_t psa_pake_cs_get_family(
Neil Armstrong72ab56a2022-05-25 11:48:37 +02001219 const psa_pake_cipher_suite_t *cipher_suite );
Neil Armstrongff9cac72022-05-20 10:25:15 +02001220
Neil Armstrongd5a48252022-05-20 10:26:36 +02001221/** Retrieve the PAKE primitive bit-size from a PAKE cipher suite.
1222 *
Neil Armstrongd5a48252022-05-20 10:26:36 +02001223 * \param[in] cipher_suite The cipher suite structure to query.
1224 *
1225 * \return The PAKE primitive bit-size stored in the cipher suite structure.
1226 */
1227static uint16_t psa_pake_cs_get_bits(
Neil Armstrong72ab56a2022-05-25 11:48:37 +02001228 const psa_pake_cipher_suite_t *cipher_suite );
Neil Armstrongd5a48252022-05-20 10:26:36 +02001229
Janos Follath702cf092021-05-26 12:58:23 +01001230/** Retrieve the hash algorithm from a PAKE cipher suite.
1231 *
Janos Follath702cf092021-05-26 12:58:23 +01001232 * \param[in] cipher_suite The cipher suite structure to query.
1233 *
1234 * \return The hash algorithm stored in the cipher suite structure. The return
1235 * value is 0 if the PAKE is not parametrised by a hash algorithm or if
1236 * the hash algorithm is not set.
1237 */
1238static psa_algorithm_t psa_pake_cs_get_hash(
Neil Armstrong72ab56a2022-05-25 11:48:37 +02001239 const psa_pake_cipher_suite_t *cipher_suite );
Janos Follath702cf092021-05-26 12:58:23 +01001240
1241/** Declare the hash algorithm for a PAKE cipher suite.
1242 *
1243 * This function overwrites any hash algorithm
1244 * previously set in \p cipher_suite.
1245 *
Janos Follath702cf092021-05-26 12:58:23 +01001246 * Refer to the documentation of individual PAKE algorithm types (`PSA_ALG_XXX`
1247 * values of type ::psa_algorithm_t such that #PSA_ALG_IS_PAKE(\c alg) is true)
1248 * for more information.
1249 *
1250 * \param[out] cipher_suite The cipher suite structure to write to.
1251 * \param hash The hash involved in the cipher suite.
1252 * (`PSA_ALG_XXX` values of type ::psa_algorithm_t
1253 * such that #PSA_ALG_IS_HASH(\c alg) is true.)
1254 * If this is 0, the hash algorithm in
1255 * \p cipher_suite becomes unspecified.
1256 */
Neil Armstrong72ab56a2022-05-25 11:48:37 +02001257static void psa_pake_cs_set_hash( psa_pake_cipher_suite_t *cipher_suite,
1258 psa_algorithm_t hash );
Janos Follath702cf092021-05-26 12:58:23 +01001259
1260/** The type of the state data structure for PAKE operations.
1261 *
1262 * Before calling any function on a PAKE operation object, the application
1263 * must initialize it by any of the following means:
1264 * - Set the structure to all-bits-zero, for example:
1265 * \code
1266 * psa_pake_operation_t operation;
1267 * memset(&operation, 0, sizeof(operation));
1268 * \endcode
1269 * - Initialize the structure to logical zero values, for example:
1270 * \code
1271 * psa_pake_operation_t operation = {0};
1272 * \endcode
1273 * - Initialize the structure to the initializer #PSA_PAKE_OPERATION_INIT,
1274 * for example:
1275 * \code
1276 * psa_pake_operation_t operation = PSA_PAKE_OPERATION_INIT;
1277 * \endcode
1278 * - Assign the result of the function psa_pake_operation_init()
1279 * to the structure, for example:
1280 * \code
1281 * psa_pake_operation_t operation;
1282 * operation = psa_pake_operation_init();
1283 * \endcode
1284 *
1285 * This is an implementation-defined \c struct. Applications should not
1286 * make any assumptions about the content of this structure.
1287 * Implementation details can change in future versions without notice. */
1288typedef struct psa_pake_operation_s psa_pake_operation_t;
1289
Tom Cosgrovece7f18c2022-07-28 05:50:56 +01001290/** Return an initial value for a PAKE operation object.
Janos Follath702cf092021-05-26 12:58:23 +01001291 */
Neil Armstrong72ab56a2022-05-25 11:48:37 +02001292static psa_pake_operation_t psa_pake_operation_init( void );
Janos Follath702cf092021-05-26 12:58:23 +01001293
1294/** Set the session information for a password-authenticated key exchange.
1295 *
1296 * The sequence of operations to set up a password-authenticated key exchange
1297 * is as follows:
1298 * -# Allocate an operation object which will be passed to all the functions
1299 * listed here.
1300 * -# Initialize the operation object with one of the methods described in the
1301 * documentation for #psa_pake_operation_t, e.g.
1302 * #PSA_PAKE_OPERATION_INIT.
1303 * -# Call psa_pake_setup() to specify the cipher suite.
1304 * -# Call \c psa_pake_set_xxx() functions on the operation to complete the
1305 * setup. The exact sequence of \c psa_pake_set_xxx() functions that needs
1306 * to be called depends on the algorithm in use.
1307 *
1308 * Refer to the documentation of individual PAKE algorithm types (`PSA_ALG_XXX`
1309 * values of type ::psa_algorithm_t such that #PSA_ALG_IS_PAKE(\c alg) is true)
1310 * for more information.
1311 *
1312 * A typical sequence of calls to perform a password-authenticated key
1313 * exchange:
1314 * -# Call psa_pake_output(operation, #PSA_PAKE_STEP_KEY_SHARE, ...) to get the
1315 * key share that needs to be sent to the peer.
1316 * -# Call psa_pake_input(operation, #PSA_PAKE_STEP_KEY_SHARE, ...) to provide
1317 * the key share that was received from the peer.
1318 * -# Depending on the algorithm additional calls to psa_pake_output() and
1319 * psa_pake_input() might be necessary.
1320 * -# Call psa_pake_get_implicit_key() for accessing the shared secret.
1321 *
1322 * Refer to the documentation of individual PAKE algorithm types (`PSA_ALG_XXX`
1323 * values of type ::psa_algorithm_t such that #PSA_ALG_IS_PAKE(\c alg) is true)
1324 * for more information.
1325 *
1326 * If an error occurs at any step after a call to psa_pake_setup(),
1327 * the operation will need to be reset by a call to psa_pake_abort(). The
1328 * application may call psa_pake_abort() at any time after the operation
1329 * has been initialized.
1330 *
1331 * After a successful call to psa_pake_setup(), the application must
1332 * eventually terminate the operation. The following events terminate an
1333 * operation:
1334 * - A call to psa_pake_abort().
1335 * - A successful call to psa_pake_get_implicit_key().
1336 *
1337 * \param[in,out] operation The operation object to set up. It must have
Janos Follath3293dae2021-06-03 13:21:33 +01001338 * been initialized but not set up yet.
Neil Armstrong47e700e2022-05-20 10:16:41 +02001339 * \param[in] cipher_suite The cipher suite to use. (A cipher suite fully
Janos Follath702cf092021-05-26 12:58:23 +01001340 * characterizes a PAKE algorithm and determines
1341 * the algorithm as well.)
1342 *
1343 * \retval #PSA_SUCCESS
1344 * Success.
Neil Armstrong4721a6f2022-05-20 10:53:00 +02001345 * \retval #PSA_ERROR_INVALID_ARGUMENT
1346 * The algorithm in \p cipher_suite is not a PAKE algorithm, or the
1347 * PAKE primitive in \p cipher_suite is not compatible with the
1348 * PAKE algorithm, or the hash algorithm in \p cipher_suite is invalid
1349 * or not compatible with the PAKE algorithm and primitive.
Janos Follath702cf092021-05-26 12:58:23 +01001350 * \retval #PSA_ERROR_NOT_SUPPORTED
Neil Armstrong4721a6f2022-05-20 10:53:00 +02001351 * The algorithm in \p cipher_suite is not a supported PAKE algorithm,
1352 * or the PAKE primitive in \p cipher_suite is not supported or not
1353 * compatible with the PAKE algorithm, or the hash algorithm in
1354 * \p cipher_suite is not supported or not compatible with the PAKE
1355 * algorithm and primitive.
Janos Follath702cf092021-05-26 12:58:23 +01001356 * \retval #PSA_ERROR_COMMUNICATION_FAILURE
Janos Follath702cf092021-05-26 12:58:23 +01001357 * \retval #PSA_ERROR_CORRUPTION_DETECTED
1358 * \retval #PSA_ERROR_BAD_STATE
Andrzej Kurekf7c1f742022-02-03 11:30:54 -05001359 * The operation state is not valid, or
1360 * the library has not been previously initialized by psa_crypto_init().
Janos Follath702cf092021-05-26 12:58:23 +01001361 * It is implementation-dependent whether a failure to initialize
1362 * results in this error code.
1363 */
Neil Armstrong72ab56a2022-05-25 11:48:37 +02001364psa_status_t psa_pake_setup( psa_pake_operation_t *operation,
1365 const psa_pake_cipher_suite_t *cipher_suite );
Janos Follath702cf092021-05-26 12:58:23 +01001366
1367/** Set the password for a password-authenticated key exchange from key ID.
1368 *
1369 * Call this function when the password, or a value derived from the password,
Janos Follath52f9efa2021-05-27 08:40:16 +01001370 * is already present in the key store.
Janos Follath702cf092021-05-26 12:58:23 +01001371 *
1372 * \param[in,out] operation The operation object to set the password for. It
1373 * must have been set up by psa_pake_setup() and
1374 * not yet in use (neither psa_pake_output() nor
1375 * psa_pake_input() has been called yet). It must
1376 * be on operation for which the password hasn't
Janos Follath52f9efa2021-05-27 08:40:16 +01001377 * been set yet (psa_pake_set_password_key()
Janos Follath559f05e2021-05-26 15:44:30 +01001378 * hasn't been called yet).
Janos Follath702cf092021-05-26 12:58:23 +01001379 * \param password Identifier of the key holding the password or a
1380 * value derived from the password (eg. by a
1381 * memory-hard function). It must remain valid
1382 * until the operation terminates. It must be of
1383 * type #PSA_KEY_TYPE_PASSWORD or
1384 * #PSA_KEY_TYPE_PASSWORD_HASH. It has to allow
1385 * the usage #PSA_KEY_USAGE_DERIVE.
1386 *
1387 * \retval #PSA_SUCCESS
1388 * Success.
Janos Follath702cf092021-05-26 12:58:23 +01001389 * \retval #PSA_ERROR_INVALID_HANDLE
Neil Armstrong71cae612022-05-20 11:00:49 +02001390 * \p password is not a valid key identifier.
Janos Follath702cf092021-05-26 12:58:23 +01001391 * \retval #PSA_ERROR_NOT_PERMITTED
Neil Armstrong71cae612022-05-20 11:00:49 +02001392 * The key does not have the #PSA_KEY_USAGE_DERIVE flag, or it does not
1393 * permit the \p operation's algorithm.
1394 * \retval #PSA_ERROR_INVALID_ARGUMENT
1395 * The key type for \p password is not #PSA_KEY_TYPE_PASSWORD or
1396 * #PSA_KEY_TYPE_PASSWORD_HASH, or \p password is not compatible with
1397 * the \p operation's cipher suite.
1398 * \retval #PSA_ERROR_NOT_SUPPORTED
1399 * The key type or key size of \p password is not supported with the
1400 * \p operation's cipher suite.
1401 * \retval #PSA_ERROR_COMMUNICATION_FAILURE
1402 * \retval #PSA_ERROR_CORRUPTION_DETECTED
1403 * \retval #PSA_ERROR_STORAGE_FAILURE
1404 * \retval #PSA_ERROR_DATA_CORRUPT
1405 * \retval #PSA_ERROR_DATA_INVALID
Janos Follath702cf092021-05-26 12:58:23 +01001406 * \retval #PSA_ERROR_BAD_STATE
Andrzej Kurekf7c1f742022-02-03 11:30:54 -05001407 * The operation state is not valid (it must have been set up.), or
1408 * the library has not been previously initialized by psa_crypto_init().
Janos Follath702cf092021-05-26 12:58:23 +01001409 * It is implementation-dependent whether a failure to initialize
1410 * results in this error code.
1411 */
Neil Armstrong72ab56a2022-05-25 11:48:37 +02001412psa_status_t psa_pake_set_password_key( psa_pake_operation_t *operation,
1413 mbedtls_svc_key_id_t password );
Janos Follath702cf092021-05-26 12:58:23 +01001414
Janos Follath702cf092021-05-26 12:58:23 +01001415/** Set the user ID for a password-authenticated key exchange.
1416 *
1417 * Call this function to set the user ID. For PAKE algorithms that associate a
1418 * user identifier with each side of the session you need to call
1419 * psa_pake_set_peer() as well. For PAKE algorithms that associate a single
1420 * user identifier with the session, call psa_pake_set_user() only.
1421 *
1422 * Refer to the documentation of individual PAKE algorithm types (`PSA_ALG_XXX`
1423 * values of type ::psa_algorithm_t such that #PSA_ALG_IS_PAKE(\c alg) is true)
1424 * for more information.
1425 *
1426 * \param[in,out] operation The operation object to set the user ID for. It
1427 * must have been set up by psa_pake_setup() and
1428 * not yet in use (neither psa_pake_output() nor
1429 * psa_pake_input() has been called yet). It must
1430 * be on operation for which the user ID hasn't
1431 * been set (psa_pake_set_user() hasn't been
1432 * called yet).
1433 * \param[in] user_id The user ID to authenticate with.
1434 * \param user_id_len Size of the \p user_id buffer in bytes.
1435 *
1436 * \retval #PSA_SUCCESS
1437 * Success.
Andrzej Kurekf7c1f742022-02-03 11:30:54 -05001438 * \retval #PSA_ERROR_INVALID_ARGUMENT
Neil Armstrong35851682022-05-20 11:02:37 +02001439 * \p user_id is not valid for the \p operation's algorithm and cipher
1440 * suite.
1441 * \retval #PSA_ERROR_NOT_SUPPORTED
1442 * The value of \p user_id is not supported by the implementation.
Janos Follath702cf092021-05-26 12:58:23 +01001443 * \retval #PSA_ERROR_INSUFFICIENT_MEMORY
1444 * \retval #PSA_ERROR_COMMUNICATION_FAILURE
Janos Follath702cf092021-05-26 12:58:23 +01001445 * \retval #PSA_ERROR_CORRUPTION_DETECTED
Janos Follath702cf092021-05-26 12:58:23 +01001446 * \retval #PSA_ERROR_BAD_STATE
Andrzej Kurekf7c1f742022-02-03 11:30:54 -05001447 * The operation state is not valid, or
1448 * the library has not been previously initialized by psa_crypto_init().
Janos Follath702cf092021-05-26 12:58:23 +01001449 * It is implementation-dependent whether a failure to initialize
1450 * results in this error code.
1451 */
Neil Armstrong72ab56a2022-05-25 11:48:37 +02001452psa_status_t psa_pake_set_user( psa_pake_operation_t *operation,
1453 const uint8_t *user_id,
1454 size_t user_id_len );
Janos Follath702cf092021-05-26 12:58:23 +01001455
1456/** Set the peer ID for a password-authenticated key exchange.
1457 *
1458 * Call this function in addition to psa_pake_set_user() for PAKE algorithms
1459 * that associate a user identifier with each side of the session. For PAKE
1460 * algorithms that associate a single user identifier with the session, call
1461 * psa_pake_set_user() only.
1462 *
1463 * Refer to the documentation of individual PAKE algorithm types (`PSA_ALG_XXX`
1464 * values of type ::psa_algorithm_t such that #PSA_ALG_IS_PAKE(\c alg) is true)
1465 * for more information.
1466 *
1467 * \param[in,out] operation The operation object to set the peer ID for. It
1468 * must have been set up by psa_pake_setup() and
1469 * not yet in use (neither psa_pake_output() nor
1470 * psa_pake_input() has been called yet). It must
1471 * be on operation for which the peer ID hasn't
1472 * been set (psa_pake_set_peer() hasn't been
1473 * called yet).
1474 * \param[in] peer_id The peer's ID to authenticate.
1475 * \param peer_id_len Size of the \p peer_id buffer in bytes.
1476 *
1477 * \retval #PSA_SUCCESS
1478 * Success.
Neil Armstrong16ff7882022-05-20 11:04:20 +02001479 * \retval #PSA_ERROR_INVALID_ARGUMENT
1480 * \p user_id is not valid for the \p operation's algorithm and cipher
1481 * suite.
Janos Follath702cf092021-05-26 12:58:23 +01001482 * \retval #PSA_ERROR_NOT_SUPPORTED
1483 * The algorithm doesn't associate a second identity with the session.
1484 * \retval #PSA_ERROR_INSUFFICIENT_MEMORY
1485 * \retval #PSA_ERROR_COMMUNICATION_FAILURE
Janos Follath702cf092021-05-26 12:58:23 +01001486 * \retval #PSA_ERROR_CORRUPTION_DETECTED
Janos Follath702cf092021-05-26 12:58:23 +01001487 * \retval #PSA_ERROR_BAD_STATE
Neil Armstrong0d245752022-05-20 11:35:40 +02001488 * Calling psa_pake_set_peer() is invalid with the \p operation's
1489 * algorithm, the operation state is not valid, or the library has not
Andrzej Kurekf7c1f742022-02-03 11:30:54 -05001490 * been previously initialized by psa_crypto_init().
Janos Follath702cf092021-05-26 12:58:23 +01001491 * It is implementation-dependent whether a failure to initialize
1492 * results in this error code.
1493 */
Neil Armstrong72ab56a2022-05-25 11:48:37 +02001494psa_status_t psa_pake_set_peer( psa_pake_operation_t *operation,
1495 const uint8_t *peer_id,
1496 size_t peer_id_len );
Janos Follath702cf092021-05-26 12:58:23 +01001497
Neil Armstrong2a6dd9c2022-05-20 11:17:10 +02001498/** Set the application role for a password-authenticated key exchange.
Janos Follath702cf092021-05-26 12:58:23 +01001499 *
1500 * Not all PAKE algorithms need to differentiate the communicating entities.
Neil Armstrong2a6dd9c2022-05-20 11:17:10 +02001501 * It is optional to call this function for PAKEs that don't require a role
1502 * to be specified. For such PAKEs the application role parameter is ignored,
1503 * or #PSA_PAKE_ROLE_NONE can be passed as \c role.
Janos Follath702cf092021-05-26 12:58:23 +01001504 *
1505 * Refer to the documentation of individual PAKE algorithm types (`PSA_ALG_XXX`
1506 * values of type ::psa_algorithm_t such that #PSA_ALG_IS_PAKE(\c alg) is true)
1507 * for more information.
1508 *
Neil Armstrongef157512022-05-25 11:49:45 +02001509 * \param[in,out] operation The operation object to specify the
Neil Armstrong2a6dd9c2022-05-20 11:17:10 +02001510 * application's role for. It must have been set up
1511 * by psa_pake_setup() and not yet in use (neither
1512 * psa_pake_output() nor psa_pake_input() has been
1513 * called yet). It must be on operation for which
1514 * the application's role hasn't been specified
1515 * (psa_pake_set_role() hasn't been called yet).
1516 * \param role A value of type ::psa_pake_role_t indicating the
1517 * application's role in the PAKE the algorithm
1518 * that is being set up. For more information see
1519 * the documentation of \c PSA_PAKE_ROLE_XXX
1520 * constants.
Janos Follath702cf092021-05-26 12:58:23 +01001521 *
1522 * \retval #PSA_SUCCESS
1523 * Success.
Neil Armstrong2a6dd9c2022-05-20 11:17:10 +02001524 * \retval #PSA_ERROR_INVALID_ARGUMENT
1525 * The \p role is not a valid PAKE role in the \p operation’s algorithm.
Janos Follath702cf092021-05-26 12:58:23 +01001526 * \retval #PSA_ERROR_NOT_SUPPORTED
Neil Armstrong2a6dd9c2022-05-20 11:17:10 +02001527 * The \p role for this algorithm is not supported or is not valid.
Janos Follath702cf092021-05-26 12:58:23 +01001528 * \retval #PSA_ERROR_COMMUNICATION_FAILURE
Janos Follath702cf092021-05-26 12:58:23 +01001529 * \retval #PSA_ERROR_CORRUPTION_DETECTED
1530 * \retval #PSA_ERROR_BAD_STATE
Andrzej Kurekf7c1f742022-02-03 11:30:54 -05001531 * The operation state is not valid, or
1532 * the library has not been previously initialized by psa_crypto_init().
Janos Follath702cf092021-05-26 12:58:23 +01001533 * It is implementation-dependent whether a failure to initialize
1534 * results in this error code.
1535 */
Neil Armstrong72ab56a2022-05-25 11:48:37 +02001536psa_status_t psa_pake_set_role( psa_pake_operation_t *operation,
1537 psa_pake_role_t role );
Janos Follath702cf092021-05-26 12:58:23 +01001538
1539/** Get output for a step of a password-authenticated key exchange.
1540 *
1541 * Depending on the algorithm being executed, you might need to call this
1542 * function several times or you might not need to call this at all.
1543 *
1544 * The exact sequence of calls to perform a password-authenticated key
1545 * exchange depends on the algorithm in use. Refer to the documentation of
1546 * individual PAKE algorithm types (`PSA_ALG_XXX` values of type
1547 * ::psa_algorithm_t such that #PSA_ALG_IS_PAKE(\c alg) is true) for more
1548 * information.
1549 *
1550 * If this function returns an error status, the operation enters an error
1551 * state and must be aborted by calling psa_pake_abort().
1552 *
1553 * \param[in,out] operation Active PAKE operation.
1554 * \param step The step of the algorithm for which the output is
1555 * requested.
1556 * \param[out] output Buffer where the output is to be written in the
1557 * format appropriate for this \p step. Refer to
1558 * the documentation of the individual
1559 * \c PSA_PAKE_STEP_XXX constants for more
1560 * information.
1561 * \param output_size Size of the \p output buffer in bytes. This must
Neil Armstrong7bc71e92022-05-20 10:36:14 +02001562 * be at least #PSA_PAKE_OUTPUT_SIZE(\p alg, \p
1563 * primitive, \p step) where \p alg and
1564 * \p primitive are the PAKE algorithm and primitive
1565 * in the operation's cipher suite, and \p step is
1566 * the output step.
Janos Follath702cf092021-05-26 12:58:23 +01001567 *
1568 * \param[out] output_length On success, the number of bytes of the returned
1569 * output.
1570 *
1571 * \retval #PSA_SUCCESS
1572 * Success.
Janos Follath702cf092021-05-26 12:58:23 +01001573 * \retval #PSA_ERROR_BUFFER_TOO_SMALL
1574 * The size of the \p output buffer is too small.
Neil Armstrong664077e2022-05-20 11:24:41 +02001575 * \retval #PSA_ERROR_INVALID_ARGUMENT
1576 * \p step is not compatible with the operation's algorithm.
1577 * \retval #PSA_ERROR_NOT_SUPPORTED
1578 * \p step is not supported with the operation's algorithm.
1579 * \retval #PSA_ERROR_INSUFFICIENT_ENTROPY
Janos Follath702cf092021-05-26 12:58:23 +01001580 * \retval #PSA_ERROR_INSUFFICIENT_MEMORY
1581 * \retval #PSA_ERROR_COMMUNICATION_FAILURE
Janos Follath702cf092021-05-26 12:58:23 +01001582 * \retval #PSA_ERROR_CORRUPTION_DETECTED
1583 * \retval #PSA_ERROR_STORAGE_FAILURE
Neil Armstrong664077e2022-05-20 11:24:41 +02001584 * \retval #PSA_ERROR_DATA_CORRUPT
1585 * \retval #PSA_ERROR_DATA_INVALID
Janos Follath702cf092021-05-26 12:58:23 +01001586 * \retval #PSA_ERROR_BAD_STATE
Neil Armstronge9b45812022-05-20 11:39:09 +02001587 * The operation state is not valid (it must be active, and fully set
1588 * up, and this call must conform to the algorithm's requirements
1589 * for ordering of input and output steps), or
Andrzej Kurekf7c1f742022-02-03 11:30:54 -05001590 * the library has not been previously initialized by psa_crypto_init().
Janos Follath702cf092021-05-26 12:58:23 +01001591 * It is implementation-dependent whether a failure to initialize
1592 * results in this error code.
1593 */
Neil Armstrong72ab56a2022-05-25 11:48:37 +02001594psa_status_t psa_pake_output( psa_pake_operation_t *operation,
1595 psa_pake_step_t step,
1596 uint8_t *output,
1597 size_t output_size,
1598 size_t *output_length );
Janos Follath702cf092021-05-26 12:58:23 +01001599
1600/** Provide input for a step of a password-authenticated key exchange.
1601 *
1602 * Depending on the algorithm being executed, you might need to call this
1603 * function several times or you might not need to call this at all.
1604 *
1605 * The exact sequence of calls to perform a password-authenticated key
1606 * exchange depends on the algorithm in use. Refer to the documentation of
1607 * individual PAKE algorithm types (`PSA_ALG_XXX` values of type
1608 * ::psa_algorithm_t such that #PSA_ALG_IS_PAKE(\c alg) is true) for more
1609 * information.
1610 *
1611 * If this function returns an error status, the operation enters an error
1612 * state and must be aborted by calling psa_pake_abort().
1613 *
1614 * \param[in,out] operation Active PAKE operation.
1615 * \param step The step for which the input is provided.
Neil Armstrong799106b2022-05-20 10:18:53 +02001616 * \param[in] input Buffer containing the input in the format
Janos Follath702cf092021-05-26 12:58:23 +01001617 * appropriate for this \p step. Refer to the
1618 * documentation of the individual
1619 * \c PSA_PAKE_STEP_XXX constants for more
1620 * information.
Neil Armstrong799106b2022-05-20 10:18:53 +02001621 * \param input_length Size of the \p input buffer in bytes.
Janos Follath702cf092021-05-26 12:58:23 +01001622 *
1623 * \retval #PSA_SUCCESS
1624 * Success.
Neil Armstrong407b27b2022-05-20 11:28:23 +02001625 * \retval #PSA_ERROR_INVALID_SIGNATURE
1626 * The verification fails for a #PSA_PAKE_STEP_ZK_PROOF input step.
Andrzej Kurekf7c1f742022-02-03 11:30:54 -05001627 * \retval #PSA_ERROR_INVALID_ARGUMENT
Neil Armstrong407b27b2022-05-20 11:28:23 +02001628 * \p is not compatible with the \p operation’s algorithm, or the
1629 * \p input is not valid for the \p operation's algorithm, cipher suite
1630 * or \p step.
1631 * \retval #PSA_ERROR_NOT_SUPPORTED
1632 * \p step p is not supported with the \p operation's algorithm, or the
1633 * \p input is not supported for the \p operation's algorithm, cipher
1634 * suite or \p step.
Janos Follath702cf092021-05-26 12:58:23 +01001635 * \retval #PSA_ERROR_INSUFFICIENT_MEMORY
1636 * \retval #PSA_ERROR_COMMUNICATION_FAILURE
Janos Follath702cf092021-05-26 12:58:23 +01001637 * \retval #PSA_ERROR_CORRUPTION_DETECTED
1638 * \retval #PSA_ERROR_STORAGE_FAILURE
Neil Armstrong407b27b2022-05-20 11:28:23 +02001639 * \retval #PSA_ERROR_DATA_CORRUPT
1640 * \retval #PSA_ERROR_DATA_INVALID
Janos Follath702cf092021-05-26 12:58:23 +01001641 * \retval #PSA_ERROR_BAD_STATE
Neil Armstronge9b45812022-05-20 11:39:09 +02001642 * The operation state is not valid (it must be active, and fully set
1643 * up, and this call must conform to the algorithm's requirements
1644 * for ordering of input and output steps), or
Andrzej Kurekf7c1f742022-02-03 11:30:54 -05001645 * the library has not been previously initialized by psa_crypto_init().
Janos Follath702cf092021-05-26 12:58:23 +01001646 * It is implementation-dependent whether a failure to initialize
1647 * results in this error code.
1648 */
Neil Armstrong72ab56a2022-05-25 11:48:37 +02001649psa_status_t psa_pake_input( psa_pake_operation_t *operation,
1650 psa_pake_step_t step,
1651 const uint8_t *input,
1652 size_t input_length );
Janos Follath702cf092021-05-26 12:58:23 +01001653
1654/** Get implicitly confirmed shared secret from a PAKE.
1655 *
1656 * At this point there is a cryptographic guarantee that only the authenticated
1657 * party who used the same password is able to compute the key. But there is no
Janos Follatha46e28f2021-06-03 13:07:03 +01001658 * guarantee that the peer is the party it claims to be and was able to do so.
Janos Follath702cf092021-05-26 12:58:23 +01001659 *
Janos Follathb4db90f2021-06-03 13:17:09 +01001660 * That is, the authentication is only implicit. Since the peer is not
1661 * authenticated yet, no action should be taken yet that assumes that the peer
1662 * is who it claims to be. For example, do not access restricted files on the
1663 * peer's behalf until an explicit authentication has succeeded.
Janos Follath702cf092021-05-26 12:58:23 +01001664 *
1665 * This function can be called after the key exchange phase of the operation
1666 * has completed. It imports the shared secret output of the PAKE into the
1667 * provided derivation operation. The input step
1668 * #PSA_KEY_DERIVATION_INPUT_SECRET is used when placing the shared key
1669 * material in the key derivation operation.
1670 *
1671 * The exact sequence of calls to perform a password-authenticated key
1672 * exchange depends on the algorithm in use. Refer to the documentation of
1673 * individual PAKE algorithm types (`PSA_ALG_XXX` values of type
1674 * ::psa_algorithm_t such that #PSA_ALG_IS_PAKE(\c alg) is true) for more
1675 * information.
1676 *
1677 * When this function returns successfully, \p operation becomes inactive.
1678 * If this function returns an error status, both \p operation
1679 * and \p key_derivation operations enter an error state and must be aborted by
1680 * calling psa_pake_abort() and psa_key_derivation_abort() respectively.
1681 *
1682 * \param[in,out] operation Active PAKE operation.
1683 * \param[out] output A key derivation operation that is ready
1684 * for an input step of type
1685 * #PSA_KEY_DERIVATION_INPUT_SECRET.
1686 *
1687 * \retval #PSA_SUCCESS
1688 * Success.
Janos Follath702cf092021-05-26 12:58:23 +01001689 * \retval #PSA_ERROR_INVALID_ARGUMENT
Neil Armstrong97d74b82022-05-20 11:30:31 +02001690 * #PSA_KEY_DERIVATION_INPUT_SECRET is not compatible with the
1691 * algorithm in the \p output key derivation operation.
1692 * \retval #PSA_ERROR_NOT_SUPPORTED
1693 * Input from a PAKE is not supported by the algorithm in the \p output
1694 * key derivation operation.
Janos Follath702cf092021-05-26 12:58:23 +01001695 * \retval #PSA_ERROR_INSUFFICIENT_MEMORY
1696 * \retval #PSA_ERROR_COMMUNICATION_FAILURE
Janos Follath702cf092021-05-26 12:58:23 +01001697 * \retval #PSA_ERROR_CORRUPTION_DETECTED
1698 * \retval #PSA_ERROR_STORAGE_FAILURE
Neil Armstrong97d74b82022-05-20 11:30:31 +02001699 * \retval #PSA_ERROR_DATA_CORRUPT
1700 * \retval #PSA_ERROR_DATA_INVALID
Janos Follath702cf092021-05-26 12:58:23 +01001701 * \retval #PSA_ERROR_BAD_STATE
Andrzej Kurekf7c1f742022-02-03 11:30:54 -05001702 * The PAKE operation state is not valid (it must be active, but beyond
1703 * that validity is specific to the algorithm), or
1704 * the library has not been previously initialized by psa_crypto_init(),
1705 * or the state of \p output is not valid for
1706 * the #PSA_KEY_DERIVATION_INPUT_SECRET step. This can happen if the
1707 * step is out of order or the application has done this step already
1708 * and it may not be repeated.
Janos Follath702cf092021-05-26 12:58:23 +01001709 * It is implementation-dependent whether a failure to initialize
1710 * results in this error code.
1711 */
Neil Armstrong72ab56a2022-05-25 11:48:37 +02001712psa_status_t psa_pake_get_implicit_key( psa_pake_operation_t *operation,
1713 psa_key_derivation_operation_t *output );
Janos Follath702cf092021-05-26 12:58:23 +01001714
Neil Armstrong0c8ef932022-05-20 10:23:51 +02001715/** Abort a PAKE operation.
1716 *
1717 * Aborting an operation frees all associated resources except for the \c
1718 * operation structure itself. Once aborted, the operation object can be reused
1719 * for another operation by calling psa_pake_setup() again.
1720 *
1721 * This function may be called at any time after the operation
1722 * object has been initialized as described in #psa_pake_operation_t.
1723 *
1724 * In particular, calling psa_pake_abort() after the operation has been
1725 * terminated by a call to psa_pake_abort() or psa_pake_get_implicit_key()
1726 * is safe and has no effect.
1727 *
1728 * \param[in,out] operation The operation to abort.
1729 *
1730 * \retval #PSA_SUCCESS
Neil Armstrong59fa8ee2022-05-20 11:31:04 +02001731 * Success.
Neil Armstrong0c8ef932022-05-20 10:23:51 +02001732 * \retval #PSA_ERROR_COMMUNICATION_FAILURE
1733 * \retval #PSA_ERROR_CORRUPTION_DETECTED
1734 * \retval #PSA_ERROR_BAD_STATE
1735 * The library has not been previously initialized by psa_crypto_init().
1736 * It is implementation-dependent whether a failure to initialize
1737 * results in this error code.
1738 */
Neil Armstrong72ab56a2022-05-25 11:48:37 +02001739psa_status_t psa_pake_abort( psa_pake_operation_t * operation );
Neil Armstrong0c8ef932022-05-20 10:23:51 +02001740
Janos Follath702cf092021-05-26 12:58:23 +01001741/**@}*/
1742
1743/** A sufficient output buffer size for psa_pake_output().
1744 *
1745 * If the size of the output buffer is at least this large, it is guaranteed
1746 * that psa_pake_output() will not fail due to an insufficient output buffer
1747 * size. The actual size of the output might be smaller in any given call.
1748 *
1749 * See also #PSA_PAKE_OUTPUT_MAX_SIZE
1750 *
Janos Follath46c02372021-06-08 15:22:51 +01001751 * \param alg A PAKE algorithm (\c PSA_ALG_XXX value such that
Janos Follath702cf092021-05-26 12:58:23 +01001752 * #PSA_ALG_IS_PAKE(\p alg) is true).
1753 * \param primitive A primitive of type ::psa_pake_primitive_t that is
1754 * compatible with algorithm \p alg.
1755 * \param output_step A value of type ::psa_pake_step_t that is valid for the
1756 * algorithm \p alg.
1757 * \return A sufficient output buffer size for the specified
Neil Armstrongcd974d52022-05-20 10:30:12 +02001758 * PAKE algorithm, primitive, and output step. If the
1759 * PAKE algorithm, primitive, or output step is not
1760 * recognized, or the parameters are incompatible,
1761 * return 0.
Janos Follath702cf092021-05-26 12:58:23 +01001762 */
1763#define PSA_PAKE_OUTPUT_SIZE(alg, primitive, output_step) 0
1764
1765/** A sufficient input buffer size for psa_pake_input().
1766 *
Janos Follathb4db90f2021-06-03 13:17:09 +01001767 * The value returned by this macro is guaranteed to be large enough for any
1768 * valid input to psa_pake_input() in an operation with the specified
1769 * parameters.
Janos Follath702cf092021-05-26 12:58:23 +01001770 *
1771 * See also #PSA_PAKE_INPUT_MAX_SIZE
1772 *
Janos Follath46c02372021-06-08 15:22:51 +01001773 * \param alg A PAKE algorithm (\c PSA_ALG_XXX value such that
Janos Follath702cf092021-05-26 12:58:23 +01001774 * #PSA_ALG_IS_PAKE(\p alg) is true).
1775 * \param primitive A primitive of type ::psa_pake_primitive_t that is
1776 * compatible with algorithm \p alg.
Janos Follathec83eb62021-05-27 08:41:59 +01001777 * \param input_step A value of type ::psa_pake_step_t that is valid for the
Janos Follath702cf092021-05-26 12:58:23 +01001778 * algorithm \p alg.
Janos Follath38d29db2021-06-03 13:14:42 +01001779 * \return A sufficient input buffer size for the specified
1780 * input, cipher suite and algorithm. If the cipher suite,
1781 * the input type or PAKE algorithm is not recognized, or
Janos Follath702cf092021-05-26 12:58:23 +01001782 * the parameters are incompatible, return 0.
1783 */
1784#define PSA_PAKE_INPUT_SIZE(alg, primitive, input_step) 0
1785
Neil Armstrong2056ce52022-05-25 11:38:15 +02001786/** Output buffer size for psa_pake_output() for any of the supported PAKE
1787 * algorithm and primitive suites and output step.
Janos Follath702cf092021-05-26 12:58:23 +01001788 *
1789 * This macro must expand to a compile-time constant integer.
1790 *
Neil Armstrong2056ce52022-05-25 11:38:15 +02001791 * See also #PSA_PAKE_OUTPUT_SIZE(\p alg, \p primitive, \p step).
Janos Follath702cf092021-05-26 12:58:23 +01001792 */
1793#define PSA_PAKE_OUTPUT_MAX_SIZE 0
1794
Neil Armstrong2056ce52022-05-25 11:38:15 +02001795/** Input buffer size for psa_pake_input() for any of the supported PAKE
1796 * algorithm and primitive suites and input step.
Janos Follath702cf092021-05-26 12:58:23 +01001797 *
1798 * This macro must expand to a compile-time constant integer.
1799 *
Neil Armstrong2056ce52022-05-25 11:38:15 +02001800 * See also #PSA_PAKE_INPUT_SIZE(\p alg, \p primitive, \p step).
Janos Follath702cf092021-05-26 12:58:23 +01001801 */
1802#define PSA_PAKE_INPUT_MAX_SIZE 0
1803
Neil Armstrongfb993022022-05-20 10:08:58 +02001804/** Returns a suitable initializer for a PAKE cipher suite object of type
1805 * psa_pake_cipher_suite_t.
1806 */
1807#define PSA_PAKE_CIPHER_SUITE_INIT {PSA_ALG_NONE, 0, 0, 0, PSA_ALG_NONE}
1808
Neil Armstrong0151c552022-05-20 10:13:53 +02001809/** Returns a suitable initializer for a PAKE operation object of type
1810 * psa_pake_operation_t.
1811 */
Neil Armstrongeb93a6f2022-05-25 11:41:05 +02001812#define PSA_PAKE_OPERATION_INIT {PSA_ALG_NONE, {0}}
Neil Armstrong0151c552022-05-20 10:13:53 +02001813
Janos Follath702cf092021-05-26 12:58:23 +01001814struct psa_pake_cipher_suite_s
1815{
1816 psa_algorithm_t algorithm;
1817 psa_pake_primitive_type_t type;
1818 psa_pake_family_t family;
1819 uint16_t bits;
1820 psa_algorithm_t hash;
1821};
1822
1823static inline psa_algorithm_t psa_pake_cs_get_algorithm(
Neil Armstrong72ab56a2022-05-25 11:48:37 +02001824 const psa_pake_cipher_suite_t *cipher_suite )
Janos Follath702cf092021-05-26 12:58:23 +01001825{
Neil Armstrong72ab56a2022-05-25 11:48:37 +02001826 return( cipher_suite->algorithm );
Janos Follath702cf092021-05-26 12:58:23 +01001827}
1828
1829static inline void psa_pake_cs_set_algorithm(
1830 psa_pake_cipher_suite_t *cipher_suite,
1831 psa_algorithm_t algorithm)
1832{
Neil Armstrong5ed8a0e2022-05-27 09:47:53 +02001833 if( !PSA_ALG_IS_PAKE( algorithm ) )
Janos Follath702cf092021-05-26 12:58:23 +01001834 cipher_suite->algorithm = 0;
1835 else
1836 cipher_suite->algorithm = algorithm;
1837}
1838
1839static inline psa_pake_primitive_t psa_pake_cs_get_primitive(
Neil Armstrong72ab56a2022-05-25 11:48:37 +02001840 const psa_pake_cipher_suite_t *cipher_suite )
Janos Follath702cf092021-05-26 12:58:23 +01001841{
Neil Armstrong5ed8a0e2022-05-27 09:47:53 +02001842 return( PSA_PAKE_PRIMITIVE( cipher_suite->type, cipher_suite->family,
1843 cipher_suite->bits ) );
Janos Follath702cf092021-05-26 12:58:23 +01001844}
1845
1846static inline void psa_pake_cs_set_primitive(
Neil Armstrong72ab56a2022-05-25 11:48:37 +02001847 psa_pake_cipher_suite_t *cipher_suite,
1848 psa_pake_primitive_t primitive )
Janos Follath702cf092021-05-26 12:58:23 +01001849{
1850 cipher_suite->type = (psa_pake_primitive_type_t) (primitive >> 24);
1851 cipher_suite->family = (psa_pake_family_t) (0xFF & (primitive >> 16));
1852 cipher_suite->bits = (uint16_t) (0xFFFF & primitive);
1853}
1854
Neil Armstrongff9cac72022-05-20 10:25:15 +02001855static inline psa_pake_family_t psa_pake_cs_get_family(
Neil Armstrong72ab56a2022-05-25 11:48:37 +02001856 const psa_pake_cipher_suite_t *cipher_suite )
Neil Armstrongff9cac72022-05-20 10:25:15 +02001857{
Neil Armstrong72ab56a2022-05-25 11:48:37 +02001858 return( cipher_suite->family );
Neil Armstrongff9cac72022-05-20 10:25:15 +02001859}
1860
Neil Armstrongd5a48252022-05-20 10:26:36 +02001861static inline uint16_t psa_pake_cs_get_bits(
Neil Armstrong72ab56a2022-05-25 11:48:37 +02001862 const psa_pake_cipher_suite_t *cipher_suite )
Neil Armstrongd5a48252022-05-20 10:26:36 +02001863{
Neil Armstrong72ab56a2022-05-25 11:48:37 +02001864 return( cipher_suite->bits );
Neil Armstrongd5a48252022-05-20 10:26:36 +02001865}
1866
Janos Follath702cf092021-05-26 12:58:23 +01001867static inline psa_algorithm_t psa_pake_cs_get_hash(
Neil Armstrong72ab56a2022-05-25 11:48:37 +02001868 const psa_pake_cipher_suite_t *cipher_suite )
Janos Follath702cf092021-05-26 12:58:23 +01001869{
Neil Armstrong72ab56a2022-05-25 11:48:37 +02001870 return( cipher_suite->hash );
Janos Follath702cf092021-05-26 12:58:23 +01001871}
1872
Neil Armstrong72ab56a2022-05-25 11:48:37 +02001873static inline void psa_pake_cs_set_hash( psa_pake_cipher_suite_t *cipher_suite,
1874 psa_algorithm_t hash )
Janos Follath702cf092021-05-26 12:58:23 +01001875{
Neil Armstrong5ed8a0e2022-05-27 09:47:53 +02001876 if( !PSA_ALG_IS_HASH( hash ) )
Janos Follath702cf092021-05-26 12:58:23 +01001877 cipher_suite->hash = 0;
1878 else
1879 cipher_suite->hash = hash;
1880}
1881
1882struct psa_pake_operation_s
1883{
1884 psa_algorithm_t alg;
1885 union
1886 {
1887 /* Make the union non-empty even with no supported algorithms. */
1888 uint8_t dummy;
1889 } ctx;
1890};
1891
Neil Armstrong72ab56a2022-05-25 11:48:37 +02001892static inline struct psa_pake_cipher_suite_s psa_pake_cipher_suite_init( void )
Neil Armstrong5ff6a7f2022-05-20 10:12:01 +02001893{
1894 const struct psa_pake_cipher_suite_s v = PSA_PAKE_CIPHER_SUITE_INIT;
Neil Armstrong72ab56a2022-05-25 11:48:37 +02001895 return( v );
Neil Armstrong5ff6a7f2022-05-20 10:12:01 +02001896}
1897
Neil Armstrong72ab56a2022-05-25 11:48:37 +02001898static inline struct psa_pake_operation_s psa_pake_operation_init( void )
Janos Follath702cf092021-05-26 12:58:23 +01001899{
1900 const struct psa_pake_operation_s v = PSA_PAKE_OPERATION_INIT;
Neil Armstrong72ab56a2022-05-25 11:48:37 +02001901 return( v );
Janos Follath702cf092021-05-26 12:58:23 +01001902}
1903
Gilles Peskinee59236f2018-01-27 23:32:46 +01001904#ifdef __cplusplus
1905}
1906#endif
1907
1908#endif /* PSA_CRYPTO_EXTRA_H */