2 * Copyright 2018-2020 The OpenSSL Project Authors. All Rights Reserved.
4 * Licensed under the Apache License 2.0 (the "License"). You may not use
5 * this file except in compliance with the License. You can obtain a copy
6 * in the file LICENSE in the source distribution or at
7 * https://www.openssl.org/source/license.html
11 * HMAC low level APIs are deprecated for public use, but still ok for internal
14 #include "internal/deprecated.h"
19 #include <openssl/hmac.h>
20 #include <openssl/evp.h>
21 #include <openssl/kdf.h>
22 #include <openssl/core_names.h>
23 #include "internal/cryptlib.h"
24 #include "internal/numbers.h"
25 #include "crypto/evp.h"
26 #include "prov/provider_ctx.h"
27 #include "prov/providercommonerr.h"
28 #include "prov/implementations.h"
29 #include "prov/provider_util.h"
32 /* Constants specified in SP800-132 */
33 #define KDF_PBKDF2_MIN_KEY_LEN_BITS 112
34 #define KDF_PBKDF2_MAX_KEY_LEN_DIGEST_RATIO 0xFFFFFFFF
35 #define KDF_PBKDF2_MIN_ITERATIONS 1000
36 #define KDF_PBKDF2_MIN_SALT_LEN (128 / 8)
38 static OSSL_FUNC_kdf_newctx_fn kdf_pbkdf2_new;
39 static OSSL_FUNC_kdf_freectx_fn kdf_pbkdf2_free;
40 static OSSL_FUNC_kdf_reset_fn kdf_pbkdf2_reset;
41 static OSSL_FUNC_kdf_derive_fn kdf_pbkdf2_derive;
42 static OSSL_FUNC_kdf_settable_ctx_params_fn kdf_pbkdf2_settable_ctx_params;
43 static OSSL_FUNC_kdf_set_ctx_params_fn kdf_pbkdf2_set_ctx_params;
45 static int pbkdf2_derive(const char *pass, size_t passlen,
46 const unsigned char *salt, int saltlen, uint64_t iter,
47 const EVP_MD *digest, unsigned char *key,
48 size_t keylen, int extra_checks);
58 int lower_bound_checks;
61 static void kdf_pbkdf2_init(KDF_PBKDF2 *ctx);
63 static void *kdf_pbkdf2_new(void *provctx)
67 ctx = OPENSSL_zalloc(sizeof(*ctx));
69 ERR_raise(ERR_LIB_PROV, ERR_R_MALLOC_FAILURE);
72 ctx->provctx = provctx;
77 static void kdf_pbkdf2_cleanup(KDF_PBKDF2 *ctx)
79 ossl_prov_digest_reset(&ctx->digest);
80 OPENSSL_free(ctx->salt);
81 OPENSSL_clear_free(ctx->pass, ctx->pass_len);
82 memset(ctx, 0, sizeof(*ctx));
85 static void kdf_pbkdf2_free(void *vctx)
87 KDF_PBKDF2 *ctx = (KDF_PBKDF2 *)vctx;
90 kdf_pbkdf2_cleanup(ctx);
95 static void kdf_pbkdf2_reset(void *vctx)
97 KDF_PBKDF2 *ctx = (KDF_PBKDF2 *)vctx;
98 void *provctx = ctx->provctx;
100 kdf_pbkdf2_cleanup(ctx);
101 ctx->provctx = provctx;
102 kdf_pbkdf2_init(ctx);
105 static void kdf_pbkdf2_init(KDF_PBKDF2 *ctx)
107 OSSL_PARAM params[2] = { OSSL_PARAM_END, OSSL_PARAM_END };
108 OPENSSL_CTX *provctx = PROV_LIBRARY_CONTEXT_OF(ctx->provctx);
110 params[0] = OSSL_PARAM_construct_utf8_string(OSSL_KDF_PARAM_DIGEST,
112 if (!ossl_prov_digest_load_from_params(&ctx->digest, params, provctx))
113 /* This is an error, but there is no way to indicate such directly */
114 ossl_prov_digest_reset(&ctx->digest);
115 ctx->iter = PKCS5_DEFAULT_ITER;
116 ctx->lower_bound_checks = kdf_pbkdf2_default_checks;
119 static int pbkdf2_set_membuf(unsigned char **buffer, size_t *buflen,
122 OPENSSL_clear_free(*buffer, *buflen);
123 if (p->data_size == 0) {
124 if ((*buffer = OPENSSL_malloc(1)) == NULL) {
125 ERR_raise(ERR_LIB_PROV, ERR_R_MALLOC_FAILURE);
128 } else if (p->data != NULL) {
130 if (!OSSL_PARAM_get_octet_string(p, (void **)buffer, 0, buflen))
136 static int kdf_pbkdf2_derive(void *vctx, unsigned char *key,
139 KDF_PBKDF2 *ctx = (KDF_PBKDF2 *)vctx;
140 const EVP_MD *md = ossl_prov_digest_md(&ctx->digest);
142 if (ctx->pass == NULL) {
143 ERR_raise(ERR_LIB_PROV, PROV_R_MISSING_PASS);
147 if (ctx->salt == NULL) {
148 ERR_raise(ERR_LIB_PROV, PROV_R_MISSING_SALT);
152 return pbkdf2_derive((char *)ctx->pass, ctx->pass_len,
153 ctx->salt, ctx->salt_len, ctx->iter,
154 md, key, keylen, ctx->lower_bound_checks);
157 static int kdf_pbkdf2_set_ctx_params(void *vctx, const OSSL_PARAM params[])
160 KDF_PBKDF2 *ctx = vctx;
161 OPENSSL_CTX *provctx = PROV_LIBRARY_CONTEXT_OF(ctx->provctx);
163 uint64_t iter, min_iter;
165 if (!ossl_prov_digest_load_from_params(&ctx->digest, params, provctx))
168 if ((p = OSSL_PARAM_locate_const(params, OSSL_KDF_PARAM_PKCS5)) != NULL) {
169 if (!OSSL_PARAM_get_int(p, &pkcs5))
171 ctx->lower_bound_checks = pkcs5 == 0;
174 if ((p = OSSL_PARAM_locate_const(params, OSSL_KDF_PARAM_PASSWORD)) != NULL)
175 if (!pbkdf2_set_membuf(&ctx->pass, &ctx->pass_len, p))
178 if ((p = OSSL_PARAM_locate_const(params, OSSL_KDF_PARAM_SALT)) != NULL) {
179 if (ctx->lower_bound_checks != 0
180 && p->data_size < KDF_PBKDF2_MIN_SALT_LEN) {
181 ERR_raise(ERR_LIB_PROV, PROV_R_INVALID_SALT_LENGTH);
184 if (!pbkdf2_set_membuf(&ctx->salt, &ctx->salt_len,p))
188 if ((p = OSSL_PARAM_locate_const(params, OSSL_KDF_PARAM_ITER)) != NULL) {
189 if (!OSSL_PARAM_get_uint64(p, &iter))
191 min_iter = ctx->lower_bound_checks != 0 ? KDF_PBKDF2_MIN_ITERATIONS : 1;
192 if (iter < min_iter) {
193 ERR_raise(ERR_LIB_PROV, PROV_R_INVALID_ITERATION_COUNT);
201 static const OSSL_PARAM *kdf_pbkdf2_settable_ctx_params(void)
203 static const OSSL_PARAM known_settable_ctx_params[] = {
204 OSSL_PARAM_utf8_string(OSSL_KDF_PARAM_PROPERTIES, NULL, 0),
205 OSSL_PARAM_utf8_string(OSSL_KDF_PARAM_DIGEST, NULL, 0),
206 OSSL_PARAM_octet_string(OSSL_KDF_PARAM_PASSWORD, NULL, 0),
207 OSSL_PARAM_octet_string(OSSL_KDF_PARAM_SALT, NULL, 0),
208 OSSL_PARAM_uint64(OSSL_KDF_PARAM_ITER, NULL),
209 OSSL_PARAM_int(OSSL_KDF_PARAM_PKCS5, NULL),
212 return known_settable_ctx_params;
215 static int kdf_pbkdf2_get_ctx_params(void *vctx, OSSL_PARAM params[])
219 if ((p = OSSL_PARAM_locate(params, OSSL_KDF_PARAM_SIZE)) != NULL)
220 return OSSL_PARAM_set_size_t(p, SIZE_MAX);
224 static const OSSL_PARAM *kdf_pbkdf2_gettable_ctx_params(void)
226 static const OSSL_PARAM known_gettable_ctx_params[] = {
227 OSSL_PARAM_size_t(OSSL_KDF_PARAM_SIZE, NULL),
230 return known_gettable_ctx_params;
233 const OSSL_DISPATCH kdf_pbkdf2_functions[] = {
234 { OSSL_FUNC_KDF_NEWCTX, (void(*)(void))kdf_pbkdf2_new },
235 { OSSL_FUNC_KDF_FREECTX, (void(*)(void))kdf_pbkdf2_free },
236 { OSSL_FUNC_KDF_RESET, (void(*)(void))kdf_pbkdf2_reset },
237 { OSSL_FUNC_KDF_DERIVE, (void(*)(void))kdf_pbkdf2_derive },
238 { OSSL_FUNC_KDF_SETTABLE_CTX_PARAMS,
239 (void(*)(void))kdf_pbkdf2_settable_ctx_params },
240 { OSSL_FUNC_KDF_SET_CTX_PARAMS, (void(*)(void))kdf_pbkdf2_set_ctx_params },
241 { OSSL_FUNC_KDF_GETTABLE_CTX_PARAMS,
242 (void(*)(void))kdf_pbkdf2_gettable_ctx_params },
243 { OSSL_FUNC_KDF_GET_CTX_PARAMS, (void(*)(void))kdf_pbkdf2_get_ctx_params },
248 * This is an implementation of PKCS#5 v2.0 password based encryption key
249 * derivation function PBKDF2. SHA1 version verified against test vectors
250 * posted by Peter Gutmann to the PKCS-TNG mailing list.
252 * The constraints specified by SP800-132 have been added i.e.
253 * - Check the range of the key length.
254 * - Minimum iteration count of 1000.
255 * - Randomly-generated portion of the salt shall be at least 128 bits.
257 static int pbkdf2_derive(const char *pass, size_t passlen,
258 const unsigned char *salt, int saltlen, uint64_t iter,
259 const EVP_MD *digest, unsigned char *key,
260 size_t keylen, int lower_bound_checks)
263 unsigned char digtmp[EVP_MAX_MD_SIZE], *p, itmp[4];
264 int cplen, k, tkeylen, mdlen;
267 HMAC_CTX *hctx_tpl = NULL, *hctx = NULL;
269 mdlen = EVP_MD_size(digest);
274 * This check should always be done because keylen / mdlen >= (2^32 - 1)
275 * results in an overflow of the loop counter 'i'.
277 if ((keylen / mdlen) >= KDF_PBKDF2_MAX_KEY_LEN_DIGEST_RATIO) {
278 ERR_raise(ERR_LIB_PROV, PROV_R_INVALID_KEY_LEN);
282 if (lower_bound_checks) {
283 if ((keylen * 8) < KDF_PBKDF2_MIN_KEY_LEN_BITS) {
284 ERR_raise(ERR_LIB_PROV, PROV_R_INVALID_KEY_LEN);
287 if (saltlen < KDF_PBKDF2_MIN_SALT_LEN) {
288 ERR_raise(ERR_LIB_PROV, PROV_R_INVALID_SALT_LENGTH);
291 if (iter < KDF_PBKDF2_MIN_ITERATIONS) {
292 ERR_raise(ERR_LIB_PROV, PROV_R_INVALID_ITERATION_COUNT);
297 hctx_tpl = HMAC_CTX_new();
298 if (hctx_tpl == NULL)
302 if (!HMAC_Init_ex(hctx_tpl, pass, passlen, digest, NULL))
304 hctx = HMAC_CTX_new();
313 * We are unlikely to ever use more than 256 blocks (5120 bits!) but
316 itmp[0] = (unsigned char)((i >> 24) & 0xff);
317 itmp[1] = (unsigned char)((i >> 16) & 0xff);
318 itmp[2] = (unsigned char)((i >> 8) & 0xff);
319 itmp[3] = (unsigned char)(i & 0xff);
320 if (!HMAC_CTX_copy(hctx, hctx_tpl))
322 if (!HMAC_Update(hctx, salt, saltlen)
323 || !HMAC_Update(hctx, itmp, 4)
324 || !HMAC_Final(hctx, digtmp, NULL))
326 memcpy(p, digtmp, cplen);
327 for (j = 1; j < iter; j++) {
328 if (!HMAC_CTX_copy(hctx, hctx_tpl))
330 if (!HMAC_Update(hctx, digtmp, mdlen)
331 || !HMAC_Final(hctx, digtmp, NULL))
333 for (k = 0; k < cplen; k++)
344 HMAC_CTX_free(hctx_tpl);