blob: 160dc476847e8616d95b3ba7454b82cc25a5ddaf [file] [log] [blame]
Paul Bakkerf1f21fe2013-06-24 19:17:19 +02001/*
2 * PKCS#12 Personal Information Exchange Syntax
3 *
Bence Szépkúti1e148272020-08-07 13:07:28 +02004 * Copyright The Mbed TLS Contributors
Dave Rodgman16799db2023-11-02 19:47:20 +00005 * SPDX-License-Identifier: Apache-2.0 OR GPL-2.0-or-later
Paul Bakkerf1f21fe2013-06-24 19:17:19 +02006 */
7/*
8 * The PKCS #12 Personal Information Exchange Syntax Standard v1.1
9 *
10 * http://www.rsa.com/rsalabs/pkcs/files/h11301-wp-pkcs-12v1-1-personal-information-exchange-syntax.pdf
11 * ftp://ftp.rsasecurity.com/pub/pkcs/pkcs-12/pkcs-12v1-1.asn
12 */
13
Gilles Peskinedb09ef62020-06-03 01:43:33 +020014#include "common.h"
Paul Bakkerf1f21fe2013-06-24 19:17:19 +020015
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020016#if defined(MBEDTLS_PKCS12_C)
Paul Bakkerf1f21fe2013-06-24 19:17:19 +020017
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000018#include "mbedtls/pkcs12.h"
19#include "mbedtls/asn1.h"
20#include "mbedtls/cipher.h"
Andres Amaya Garcia1f6301b2018-04-17 09:51:09 -050021#include "mbedtls/platform_util.h"
Janos Follath24eed8d2019-11-22 13:21:35 +000022#include "mbedtls/error.h"
Paul Bakkerf1f21fe2013-06-24 19:17:19 +020023
Rich Evans00ab4702015-02-06 13:43:58 +000024#include <string.h>
25
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020026#if defined(MBEDTLS_DES_C)
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +000027#include "mbedtls/des.h"
Paul Bakkerf1f21fe2013-06-24 19:17:19 +020028#endif
29
Manuel Pégourié-Gonnard2be8c632023-06-07 13:07:21 +020030#include "psa_util_internal.h"
Andrzej Kurek7bd12c52022-08-24 10:47:10 -040031
Hanno Becker8a89f9f2018-10-12 10:46:32 +010032#if defined(MBEDTLS_ASN1_PARSE_C)
33
Gilles Peskine449bd832023-01-11 14:50:10 +010034static int pkcs12_parse_pbe_params(mbedtls_asn1_buf *params,
35 mbedtls_asn1_buf *salt, int *iterations)
Paul Bakkerf1f21fe2013-06-24 19:17:19 +020036{
Janos Follath24eed8d2019-11-22 13:21:35 +000037 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Waleed Elmelegy57d09b72023-09-12 14:05:10 +010038 unsigned char **p = &params->p;
Paul Bakkerf8d018a2013-06-29 12:16:17 +020039 const unsigned char *end = params->p + params->len;
Paul Bakkerf1f21fe2013-06-24 19:17:19 +020040
41 /*
42 * pkcs-12PbeParams ::= SEQUENCE {
43 * salt OCTET STRING,
44 * iterations INTEGER
45 * }
46 *
47 */
Gilles Peskine449bd832023-01-11 14:50:10 +010048 if (params->tag != (MBEDTLS_ASN1_CONSTRUCTED | MBEDTLS_ASN1_SEQUENCE)) {
49 return MBEDTLS_ERROR_ADD(MBEDTLS_ERR_PKCS12_PBE_INVALID_FORMAT,
50 MBEDTLS_ERR_ASN1_UNEXPECTED_TAG);
51 }
Paul Bakkerf1f21fe2013-06-24 19:17:19 +020052
Waleed Elmelegy57d09b72023-09-12 14:05:10 +010053 if ((ret = mbedtls_asn1_get_tag(p, end, &salt->len, MBEDTLS_ASN1_OCTET_STRING)) != 0) {
Gilles Peskine449bd832023-01-11 14:50:10 +010054 return MBEDTLS_ERROR_ADD(MBEDTLS_ERR_PKCS12_PBE_INVALID_FORMAT, ret);
55 }
Paul Bakkerf1f21fe2013-06-24 19:17:19 +020056
Waleed Elmelegy57d09b72023-09-12 14:05:10 +010057 salt->p = *p;
58 *p += salt->len;
Paul Bakkerf1f21fe2013-06-24 19:17:19 +020059
Waleed Elmelegy57d09b72023-09-12 14:05:10 +010060 if ((ret = mbedtls_asn1_get_int(p, end, iterations)) != 0) {
Gilles Peskine449bd832023-01-11 14:50:10 +010061 return MBEDTLS_ERROR_ADD(MBEDTLS_ERR_PKCS12_PBE_INVALID_FORMAT, ret);
62 }
Paul Bakkerf1f21fe2013-06-24 19:17:19 +020063
Waleed Elmelegy57d09b72023-09-12 14:05:10 +010064 if (*p != end) {
Gilles Peskine449bd832023-01-11 14:50:10 +010065 return MBEDTLS_ERROR_ADD(MBEDTLS_ERR_PKCS12_PBE_INVALID_FORMAT,
66 MBEDTLS_ERR_ASN1_LENGTH_MISMATCH);
67 }
Paul Bakkerf1f21fe2013-06-24 19:17:19 +020068
Gilles Peskine449bd832023-01-11 14:50:10 +010069 return 0;
Paul Bakkerf1f21fe2013-06-24 19:17:19 +020070}
71
Manuel Pégourié-Gonnardd02a1da2015-09-28 18:34:48 +020072#define PKCS12_MAX_PWDLEN 128
73
Gilles Peskine449bd832023-01-11 14:50:10 +010074static int pkcs12_pbe_derive_key_iv(mbedtls_asn1_buf *pbe_params, mbedtls_md_type_t md_type,
75 const unsigned char *pwd, size_t pwdlen,
76 unsigned char *key, size_t keylen,
77 unsigned char *iv, size_t ivlen)
Paul Bakkerf1f21fe2013-06-24 19:17:19 +020078{
Nicholas Wilson409401c2016-04-13 11:48:25 +010079 int ret, iterations = 0;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020080 mbedtls_asn1_buf salt;
Paul Bakkerf1f21fe2013-06-24 19:17:19 +020081 size_t i;
Manuel Pégourié-Gonnardd02a1da2015-09-28 18:34:48 +020082 unsigned char unipwd[PKCS12_MAX_PWDLEN * 2 + 2];
83
Gilles Peskine449bd832023-01-11 14:50:10 +010084 if (pwdlen > PKCS12_MAX_PWDLEN) {
85 return MBEDTLS_ERR_PKCS12_BAD_INPUT_DATA;
86 }
Paul Bakkerf1f21fe2013-06-24 19:17:19 +020087
Gilles Peskine449bd832023-01-11 14:50:10 +010088 memset(&salt, 0, sizeof(mbedtls_asn1_buf));
89 memset(&unipwd, 0, sizeof(unipwd));
Paul Bakkerf1f21fe2013-06-24 19:17:19 +020090
Gilles Peskine449bd832023-01-11 14:50:10 +010091 if ((ret = pkcs12_parse_pbe_params(pbe_params, &salt,
92 &iterations)) != 0) {
93 return ret;
94 }
Paul Bakkerf1f21fe2013-06-24 19:17:19 +020095
Gilles Peskine449bd832023-01-11 14:50:10 +010096 for (i = 0; i < pwdlen; i++) {
Paul Bakkerf1f21fe2013-06-24 19:17:19 +020097 unipwd[i * 2 + 1] = pwd[i];
Paul Bakkerf1f21fe2013-06-24 19:17:19 +020098 }
99
Gilles Peskine449bd832023-01-11 14:50:10 +0100100 if ((ret = mbedtls_pkcs12_derivation(key, keylen, unipwd, pwdlen * 2 + 2,
101 salt.p, salt.len, md_type,
102 MBEDTLS_PKCS12_DERIVE_KEY, iterations)) != 0) {
103 return ret;
Paul Bakkerf1f21fe2013-06-24 19:17:19 +0200104 }
Gilles Peskine449bd832023-01-11 14:50:10 +0100105
106 if (iv == NULL || ivlen == 0) {
107 return 0;
108 }
109
110 if ((ret = mbedtls_pkcs12_derivation(iv, ivlen, unipwd, pwdlen * 2 + 2,
111 salt.p, salt.len, md_type,
112 MBEDTLS_PKCS12_DERIVE_IV, iterations)) != 0) {
113 return ret;
114 }
115 return 0;
Paul Bakkerf1f21fe2013-06-24 19:17:19 +0200116}
117
Manuel Pégourié-Gonnardd02a1da2015-09-28 18:34:48 +0200118#undef PKCS12_MAX_PWDLEN
119
Waleed Elmelegye1cb35b2023-09-06 15:48:08 +0100120#if !defined(MBEDTLS_CIPHER_PADDING_PKCS7)
121int mbedtls_pkcs12_pbe_ext(mbedtls_asn1_buf *pbe_params, int mode,
122 mbedtls_cipher_type_t cipher_type, mbedtls_md_type_t md_type,
123 const unsigned char *pwd, size_t pwdlen,
124 const unsigned char *data, size_t len,
125 unsigned char *output, size_t output_size,
126 size_t *output_len);
127#endif
128
Waleed Elmelegyd5278962023-09-12 14:42:49 +0100129#if !defined(MBEDTLS_DEPRECATED_REMOVED)
Gilles Peskine449bd832023-01-11 14:50:10 +0100130int mbedtls_pkcs12_pbe(mbedtls_asn1_buf *pbe_params, int mode,
131 mbedtls_cipher_type_t cipher_type, mbedtls_md_type_t md_type,
132 const unsigned char *pwd, size_t pwdlen,
133 const unsigned char *data, size_t len,
134 unsigned char *output)
Paul Bakkerf1f21fe2013-06-24 19:17:19 +0200135{
Waleed Elmelegye1cb35b2023-09-06 15:48:08 +0100136 size_t output_len = 0;
137
138 /* We assume caller of the function is providing a big enough output buffer
139 * so we pass output_size as SIZE_MAX to pass checks, However, no guarantees
140 * for the output size actually being correct.
141 */
142 return mbedtls_pkcs12_pbe_ext(pbe_params, mode, cipher_type, md_type,
143 pwd, pwdlen, data, len, output, SIZE_MAX,
144 &output_len);
145}
Waleed Elmelegyd5278962023-09-12 14:42:49 +0100146#endif
Waleed Elmelegye1cb35b2023-09-06 15:48:08 +0100147
148int mbedtls_pkcs12_pbe_ext(mbedtls_asn1_buf *pbe_params, int mode,
149 mbedtls_cipher_type_t cipher_type, mbedtls_md_type_t md_type,
150 const unsigned char *pwd, size_t pwdlen,
151 const unsigned char *data, size_t len,
152 unsigned char *output, size_t output_size,
153 size_t *output_len)
154{
Paul Bakker38b50d72013-06-24 19:33:27 +0200155 int ret, keylen = 0;
156 unsigned char key[32];
157 unsigned char iv[16];
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200158 const mbedtls_cipher_info_t *cipher_info;
159 mbedtls_cipher_context_t cipher_ctx;
Valerio Settif4848842023-10-05 06:24:06 +0200160 size_t iv_len = 0;
Waleed Elmelegye1cb35b2023-09-06 15:48:08 +0100161 size_t finish_olen = 0;
162 unsigned int padlen = 0;
Paul Bakkerf1f21fe2013-06-24 19:17:19 +0200163
Gilles Peskine449bd832023-01-11 14:50:10 +0100164 if (pwd == NULL && pwdlen != 0) {
165 return MBEDTLS_ERR_PKCS12_BAD_INPUT_DATA;
166 }
Paul Elliott853c0da2021-11-11 19:00:38 +0000167
Gilles Peskine449bd832023-01-11 14:50:10 +0100168 cipher_info = mbedtls_cipher_info_from_type(cipher_type);
169 if (cipher_info == NULL) {
170 return MBEDTLS_ERR_PKCS12_FEATURE_UNAVAILABLE;
171 }
Paul Bakker38b50d72013-06-24 19:33:27 +0200172
Dave Rodgmane59b9d42023-06-24 16:53:13 +0100173 keylen = (int) mbedtls_cipher_info_get_key_bitlen(cipher_info) / 8;
Paul Bakker38b50d72013-06-24 19:33:27 +0200174
Waleed Elmelegye1cb35b2023-09-06 15:48:08 +0100175 if (mode == MBEDTLS_PKCS12_PBE_DECRYPT) {
176 if (output_size < len) {
177 return MBEDTLS_ERR_ASN1_BUF_TOO_SMALL;
178 }
179 }
180
181 if (mode == MBEDTLS_PKCS12_PBE_ENCRYPT) {
182 padlen = cipher_info->block_size - (len % cipher_info->block_size);
183 if (output_size < (len + padlen)) {
184 return MBEDTLS_ERR_ASN1_BUF_TOO_SMALL;
185 }
186 }
187
Valerio Settif4848842023-10-05 06:24:06 +0200188 iv_len = mbedtls_cipher_info_get_iv_size(cipher_info);
Gilles Peskine449bd832023-01-11 14:50:10 +0100189 if ((ret = pkcs12_pbe_derive_key_iv(pbe_params, md_type, pwd, pwdlen,
190 key, keylen,
Valerio Settif4848842023-10-05 06:24:06 +0200191 iv, iv_len)) != 0) {
Gilles Peskine449bd832023-01-11 14:50:10 +0100192 return ret;
Paul Bakkerf1f21fe2013-06-24 19:17:19 +0200193 }
194
Gilles Peskine449bd832023-01-11 14:50:10 +0100195 mbedtls_cipher_init(&cipher_ctx);
Paul Bakker84bbeb52014-07-01 14:53:22 +0200196
Gilles Peskine449bd832023-01-11 14:50:10 +0100197 if ((ret = mbedtls_cipher_setup(&cipher_ctx, cipher_info)) != 0) {
Paul Bakkerbd552442013-07-03 14:44:40 +0200198 goto exit;
Paul Bakkerf1f21fe2013-06-24 19:17:19 +0200199 }
200
Valerio Settif4848842023-10-05 06:24:06 +0200201 if ((ret = mbedtls_cipher_setkey(&cipher_ctx, key, 8 * keylen,
202 (mbedtls_operation_t) mode)) != 0) {
Gilles Peskine449bd832023-01-11 14:50:10 +0100203 goto exit;
204 }
205
Waleed Elmelegy255db802023-09-04 15:11:22 +0100206#if defined(MBEDTLS_CIPHER_MODE_WITH_PADDING)
Dave Rodgman515af1d2023-10-13 14:40:14 +0100207 {
208 /* PKCS12 uses CBC with PKCS7 padding */
209 mbedtls_cipher_padding_t padding = MBEDTLS_PADDING_PKCS7;
Waleed Elmelegy255db802023-09-04 15:11:22 +0100210#if !defined(MBEDTLS_CIPHER_PADDING_PKCS7)
Dave Rodgman515af1d2023-10-13 14:40:14 +0100211 /* For historical reasons, when decrypting, this function works when
212 * decrypting even when support for PKCS7 padding is disabled. In this
213 * case, it ignores the padding, and so will never report a
214 * password mismatch.
215 */
216 if (mode == MBEDTLS_PKCS12_PBE_DECRYPT) {
217 padding = MBEDTLS_PADDING_NONE;
218 }
Waleed Elmelegy255db802023-09-04 15:11:22 +0100219#endif
Dave Rodgman515af1d2023-10-13 14:40:14 +0100220 if ((ret = mbedtls_cipher_set_padding_mode(&cipher_ctx, padding)) != 0) {
221 goto exit;
222 }
Waleed Elmelegy255db802023-09-04 15:11:22 +0100223 }
224#endif /* MBEDTLS_CIPHER_MODE_WITH_PADDING */
225
Valerio Settif4848842023-10-05 06:24:06 +0200226 ret = mbedtls_cipher_crypt(&cipher_ctx, iv, iv_len, data, len, output, &finish_olen);
227 if (ret == MBEDTLS_ERR_CIPHER_INVALID_PADDING) {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200228 ret = MBEDTLS_ERR_PKCS12_PASSWORD_MISMATCH;
Gilles Peskine449bd832023-01-11 14:50:10 +0100229 }
Paul Bakkerf1f21fe2013-06-24 19:17:19 +0200230
Waleed Elmelegye1cb35b2023-09-06 15:48:08 +0100231 *output_len += finish_olen;
232
Paul Bakkerbd552442013-07-03 14:44:40 +0200233exit:
Gilles Peskine449bd832023-01-11 14:50:10 +0100234 mbedtls_platform_zeroize(key, sizeof(key));
235 mbedtls_platform_zeroize(iv, sizeof(iv));
236 mbedtls_cipher_free(&cipher_ctx);
Paul Bakkerbd552442013-07-03 14:44:40 +0200237
Gilles Peskine449bd832023-01-11 14:50:10 +0100238 return ret;
Paul Bakker531e2942013-06-24 19:23:12 +0200239}
Paul Bakkerf1f21fe2013-06-24 19:17:19 +0200240
Hanno Becker8a89f9f2018-10-12 10:46:32 +0100241#endif /* MBEDTLS_ASN1_PARSE_C */
242
Gilles Peskine449bd832023-01-11 14:50:10 +0100243static void pkcs12_fill_buffer(unsigned char *data, size_t data_len,
244 const unsigned char *filler, size_t fill_len)
Paul Bakkerf1f21fe2013-06-24 19:17:19 +0200245{
246 unsigned char *p = data;
247 size_t use_len;
248
Gilles Peskine449bd832023-01-11 14:50:10 +0100249 if (filler != NULL && fill_len != 0) {
250 while (data_len > 0) {
251 use_len = (data_len > fill_len) ? fill_len : data_len;
252 memcpy(p, filler, use_len);
Paul Elliott853c0da2021-11-11 19:00:38 +0000253 p += use_len;
254 data_len -= use_len;
255 }
Gilles Peskine449bd832023-01-11 14:50:10 +0100256 } else {
Paul Elliott7298bef2021-12-02 17:51:34 +0000257 /* If either of the above are not true then clearly there is nothing
258 * that this function can do. The function should *not* be called
259 * under either of those circumstances, as you could end up with an
260 * incorrect output but for safety's sake, leaving the check in as
261 * otherwise we could end up with memory corruption.*/
262 }
Paul Bakkerf1f21fe2013-06-24 19:17:19 +0200263}
264
Andrzej Kurek7bd12c52022-08-24 10:47:10 -0400265
Gilles Peskine449bd832023-01-11 14:50:10 +0100266static int calculate_hashes(mbedtls_md_type_t md_type, int iterations,
267 unsigned char *diversifier, unsigned char *salt_block,
268 unsigned char *pwd_block, unsigned char *hash_output, int use_salt,
269 int use_password, size_t hlen, size_t v)
Andrzej Kurek7bd12c52022-08-24 10:47:10 -0400270{
Andrzej Kurek7bd12c52022-08-24 10:47:10 -0400271 int ret = -1;
272 size_t i;
273 const mbedtls_md_info_t *md_info;
274 mbedtls_md_context_t md_ctx;
Gilles Peskine449bd832023-01-11 14:50:10 +0100275 md_info = mbedtls_md_info_from_type(md_type);
276 if (md_info == NULL) {
277 return MBEDTLS_ERR_PKCS12_FEATURE_UNAVAILABLE;
278 }
Andrzej Kurek7bd12c52022-08-24 10:47:10 -0400279
Gilles Peskine449bd832023-01-11 14:50:10 +0100280 mbedtls_md_init(&md_ctx);
Andrzej Kurek7bd12c52022-08-24 10:47:10 -0400281
Gilles Peskine449bd832023-01-11 14:50:10 +0100282 if ((ret = mbedtls_md_setup(&md_ctx, md_info, 0)) != 0) {
283 return ret;
284 }
Andrzej Kurek7bd12c52022-08-24 10:47:10 -0400285 // Calculate hash( diversifier || salt_block || pwd_block )
Gilles Peskine449bd832023-01-11 14:50:10 +0100286 if ((ret = mbedtls_md_starts(&md_ctx)) != 0) {
Andrzej Kurek7bd12c52022-08-24 10:47:10 -0400287 goto exit;
Andrzej Kurek7bd12c52022-08-24 10:47:10 -0400288 }
289
Gilles Peskine449bd832023-01-11 14:50:10 +0100290 if ((ret = mbedtls_md_update(&md_ctx, diversifier, v)) != 0) {
291 goto exit;
Andrzej Kurek7bd12c52022-08-24 10:47:10 -0400292 }
293
Gilles Peskine449bd832023-01-11 14:50:10 +0100294 if (use_salt != 0) {
295 if ((ret = mbedtls_md_update(&md_ctx, salt_block, v)) != 0) {
296 goto exit;
297 }
298 }
299
300 if (use_password != 0) {
301 if ((ret = mbedtls_md_update(&md_ctx, pwd_block, v)) != 0) {
302 goto exit;
303 }
304 }
305
306 if ((ret = mbedtls_md_finish(&md_ctx, hash_output)) != 0) {
Andrzej Kurek7bd12c52022-08-24 10:47:10 -0400307 goto exit;
Gilles Peskine449bd832023-01-11 14:50:10 +0100308 }
Andrzej Kurek7bd12c52022-08-24 10:47:10 -0400309
310 // Perform remaining ( iterations - 1 ) recursive hash calculations
Gilles Peskine449bd832023-01-11 14:50:10 +0100311 for (i = 1; i < (size_t) iterations; i++) {
312 if ((ret = mbedtls_md(md_info, hash_output, hlen, hash_output))
313 != 0) {
Andrzej Kurek7bd12c52022-08-24 10:47:10 -0400314 goto exit;
Gilles Peskine449bd832023-01-11 14:50:10 +0100315 }
Andrzej Kurek7bd12c52022-08-24 10:47:10 -0400316 }
317
318exit:
Gilles Peskine449bd832023-01-11 14:50:10 +0100319 mbedtls_md_free(&md_ctx);
Andrzej Kurek7bd12c52022-08-24 10:47:10 -0400320 return ret;
Andrzej Kurek7bd12c52022-08-24 10:47:10 -0400321}
322
323
Gilles Peskine449bd832023-01-11 14:50:10 +0100324int mbedtls_pkcs12_derivation(unsigned char *data, size_t datalen,
325 const unsigned char *pwd, size_t pwdlen,
326 const unsigned char *salt, size_t saltlen,
327 mbedtls_md_type_t md_type, int id, int iterations)
Paul Bakkerf1f21fe2013-06-24 19:17:19 +0200328{
Janos Follath24eed8d2019-11-22 13:21:35 +0000329 int ret = MBEDTLS_ERR_ERROR_CORRUPTION_DETECTED;
Paul Bakkerf1f21fe2013-06-24 19:17:19 +0200330 unsigned int j;
331
332 unsigned char diversifier[128];
Gilles Peskine449bd832023-01-11 14:50:10 +0100333 unsigned char salt_block[128], pwd_block[128], hash_block[128] = { 0 };
Manuel Pégourié-Gonnard88579842023-03-28 11:20:23 +0200334 unsigned char hash_output[MBEDTLS_MD_MAX_SIZE];
Paul Bakkerf1f21fe2013-06-24 19:17:19 +0200335 unsigned char *p;
336 unsigned char c;
Paul Elliott4086bdb2021-11-18 14:02:21 +0000337 int use_password = 0;
338 int use_salt = 0;
Paul Bakkerf1f21fe2013-06-24 19:17:19 +0200339
Paul Bakkerb9cfaa02013-10-11 18:58:55 +0200340 size_t hlen, use_len, v, i;
Paul Bakkerf1f21fe2013-06-24 19:17:19 +0200341
Paul Bakkerf1f21fe2013-06-24 19:17:19 +0200342 // This version only allows max of 64 bytes of password or salt
Gilles Peskine449bd832023-01-11 14:50:10 +0100343 if (datalen > 128 || pwdlen > 64 || saltlen > 64) {
344 return MBEDTLS_ERR_PKCS12_BAD_INPUT_DATA;
Paul Elliott4086bdb2021-11-18 14:02:21 +0000345 }
346
Gilles Peskine449bd832023-01-11 14:50:10 +0100347 if (pwd == NULL && pwdlen != 0) {
348 return MBEDTLS_ERR_PKCS12_BAD_INPUT_DATA;
349 }
350
351 if (salt == NULL && saltlen != 0) {
352 return MBEDTLS_ERR_PKCS12_BAD_INPUT_DATA;
353 }
354
355 use_password = (pwd && pwdlen != 0);
356 use_salt = (salt && saltlen != 0);
357
Manuel Pégourié-Gonnard9b41eb82023-03-28 11:14:24 +0200358 hlen = mbedtls_md_get_size_from_type(md_type);
Gilles Peskine449bd832023-01-11 14:50:10 +0100359
360 if (hlen <= 32) {
361 v = 64;
362 } else {
363 v = 128;
364 }
365
366 memset(diversifier, (unsigned char) id, v);
367
368 if (use_salt != 0) {
369 pkcs12_fill_buffer(salt_block, v, salt, saltlen);
370 }
371
372 if (use_password != 0) {
373 pkcs12_fill_buffer(pwd_block, v, pwd, pwdlen);
Paul Elliott4086bdb2021-11-18 14:02:21 +0000374 }
Paul Bakkerf1f21fe2013-06-24 19:17:19 +0200375
376 p = data;
Gilles Peskine449bd832023-01-11 14:50:10 +0100377 while (datalen > 0) {
378 if (calculate_hashes(md_type, iterations, diversifier, salt_block,
379 pwd_block, hash_output, use_salt, use_password, hlen,
380 v) != 0) {
Paul Bakkerbd552442013-07-03 14:44:40 +0200381 goto exit;
Paul Bakkerf1f21fe2013-06-24 19:17:19 +0200382 }
383
Gilles Peskine449bd832023-01-11 14:50:10 +0100384 use_len = (datalen > hlen) ? hlen : datalen;
385 memcpy(p, hash_output, use_len);
Paul Bakkerf1f21fe2013-06-24 19:17:19 +0200386 datalen -= use_len;
387 p += use_len;
388
Gilles Peskine449bd832023-01-11 14:50:10 +0100389 if (datalen == 0) {
Paul Bakkerf1f21fe2013-06-24 19:17:19 +0200390 break;
Gilles Peskine449bd832023-01-11 14:50:10 +0100391 }
Paul Bakkerf1f21fe2013-06-24 19:17:19 +0200392
393 // Concatenating copies of hash_output into hash_block (B)
Gilles Peskine449bd832023-01-11 14:50:10 +0100394 pkcs12_fill_buffer(hash_block, v, hash_output, hlen);
Paul Bakkerf1f21fe2013-06-24 19:17:19 +0200395
396 // B += 1
Gilles Peskine449bd832023-01-11 14:50:10 +0100397 for (i = v; i > 0; i--) {
398 if (++hash_block[i - 1] != 0) {
Paul Bakkerf1f21fe2013-06-24 19:17:19 +0200399 break;
Paul Elliott4086bdb2021-11-18 14:02:21 +0000400 }
Paul Bakkerf1f21fe2013-06-24 19:17:19 +0200401 }
402
Gilles Peskine449bd832023-01-11 14:50:10 +0100403 if (use_salt != 0) {
404 // salt_block += B
405 c = 0;
406 for (i = v; i > 0; i--) {
407 j = salt_block[i - 1] + hash_block[i - 1] + c;
408 c = MBEDTLS_BYTE_1(j);
409 salt_block[i - 1] = MBEDTLS_BYTE_0(j);
410 }
411 }
412
413 if (use_password != 0) {
Paul Elliott4086bdb2021-11-18 14:02:21 +0000414 // pwd_block += B
415 c = 0;
Gilles Peskine449bd832023-01-11 14:50:10 +0100416 for (i = v; i > 0; i--) {
Paul Elliott4086bdb2021-11-18 14:02:21 +0000417 j = pwd_block[i - 1] + hash_block[i - 1] + c;
Gilles Peskine449bd832023-01-11 14:50:10 +0100418 c = MBEDTLS_BYTE_1(j);
419 pwd_block[i - 1] = MBEDTLS_BYTE_0(j);
Paul Elliott4086bdb2021-11-18 14:02:21 +0000420 }
Paul Bakkerf1f21fe2013-06-24 19:17:19 +0200421 }
422 }
423
Paul Bakkerbd552442013-07-03 14:44:40 +0200424 ret = 0;
425
426exit:
Gilles Peskine449bd832023-01-11 14:50:10 +0100427 mbedtls_platform_zeroize(salt_block, sizeof(salt_block));
428 mbedtls_platform_zeroize(pwd_block, sizeof(pwd_block));
429 mbedtls_platform_zeroize(hash_block, sizeof(hash_block));
430 mbedtls_platform_zeroize(hash_output, sizeof(hash_output));
Paul Bakker91c301a2014-06-18 13:59:38 +0200431
Gilles Peskine449bd832023-01-11 14:50:10 +0100432 return ret;
Paul Bakkerf1f21fe2013-06-24 19:17:19 +0200433}
434
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200435#endif /* MBEDTLS_PKCS12_C */