Coverage Report

Created: 2025-08-28 07:07

/src/openssl32/providers/implementations/kdfs/kbkdf.c
Line
Count
Source (jump to first uncovered line)
1
/*
2
 * Copyright 2019-2024 The OpenSSL Project Authors. All Rights Reserved.
3
 * Copyright 2019 Red Hat, Inc.
4
 *
5
 * Licensed under the Apache License 2.0 (the "License").  You may not use
6
 * this file except in compliance with the License.  You can obtain a copy
7
 * in the file LICENSE in the source distribution or at
8
 * https://www.openssl.org/source/license.html
9
 */
10
11
/*
12
 * This implements https://csrc.nist.gov/publications/detail/sp/800-108/final
13
 * section 5.1 ("counter mode") and section 5.2 ("feedback mode") in both HMAC
14
 * and CMAC.  That document does not name the KDFs it defines; the name is
15
 * derived from
16
 * https://csrc.nist.gov/Projects/Cryptographic-Algorithm-Validation-Program/Key-Derivation
17
 *
18
 * Note that section 5.3 ("double-pipeline mode") is not implemented, though
19
 * it would be possible to do so in the future.
20
 *
21
 * These versions all assume the counter is used.  It would be relatively
22
 * straightforward to expose a configuration handle should the need arise.
23
 *
24
 * Variable names attempt to match those of SP800-108.
25
 */
26
27
#include <stdarg.h>
28
#include <stdlib.h>
29
#include <string.h>
30
31
#include <openssl/core_names.h>
32
#include <openssl/evp.h>
33
#include <openssl/hmac.h>
34
#include <openssl/kdf.h>
35
#include <openssl/params.h>
36
#include <openssl/proverr.h>
37
38
#include "internal/cryptlib.h"
39
#include "crypto/evp.h"
40
#include "internal/numbers.h"
41
#include "internal/endian.h"
42
#include "prov/implementations.h"
43
#include "prov/provider_ctx.h"
44
#include "prov/provider_util.h"
45
#include "prov/providercommon.h"
46
47
#include "internal/e_os.h"
48
#include "internal/params.h"
49
50
54
#define ossl_min(a, b) ((a) < (b)) ? (a) : (b)
51
52
typedef enum {
53
    COUNTER = 0,
54
    FEEDBACK
55
} kbkdf_mode;
56
57
/* Our context structure. */
58
typedef struct {
59
    void *provctx;
60
    kbkdf_mode mode;
61
    EVP_MAC_CTX *ctx_init;
62
63
    /* Names are lowercased versions of those found in SP800-108. */
64
    int r;
65
    unsigned char *ki;
66
    size_t ki_len;
67
    unsigned char *label;
68
    size_t label_len;
69
    unsigned char *context;
70
    size_t context_len;
71
    unsigned char *iv;
72
    size_t iv_len;
73
    int use_l;
74
    int is_kmac;
75
    int use_separator;
76
} KBKDF;
77
78
/* Definitions needed for typechecking. */
79
static OSSL_FUNC_kdf_newctx_fn kbkdf_new;
80
static OSSL_FUNC_kdf_dupctx_fn kbkdf_dup;
81
static OSSL_FUNC_kdf_freectx_fn kbkdf_free;
82
static OSSL_FUNC_kdf_reset_fn kbkdf_reset;
83
static OSSL_FUNC_kdf_derive_fn kbkdf_derive;
84
static OSSL_FUNC_kdf_settable_ctx_params_fn kbkdf_settable_ctx_params;
85
static OSSL_FUNC_kdf_set_ctx_params_fn kbkdf_set_ctx_params;
86
static OSSL_FUNC_kdf_gettable_ctx_params_fn kbkdf_gettable_ctx_params;
87
static OSSL_FUNC_kdf_get_ctx_params_fn kbkdf_get_ctx_params;
88
89
/* Not all platforms have htobe32(). */
90
static uint32_t be32(uint32_t host)
91
83
{
92
83
    uint32_t big = 0;
93
83
    DECLARE_IS_ENDIAN;
94
95
83
    if (!IS_LITTLE_ENDIAN)
96
0
        return host;
97
98
83
    big |= (host & 0xff000000) >> 24;
99
83
    big |= (host & 0x00ff0000) >> 8;
100
83
    big |= (host & 0x0000ff00) << 8;
101
83
    big |= (host & 0x000000ff) << 24;
102
83
    return big;
103
83
}
104
105
static void init(KBKDF *ctx)
106
386
{
107
386
    ctx->r = 32;
108
386
    ctx->use_l = 1;
109
386
    ctx->use_separator = 1;
110
386
    ctx->is_kmac = 0;
111
386
}
112
113
static void *kbkdf_new(void *provctx)
114
193
{
115
193
    KBKDF *ctx;
116
117
193
    if (!ossl_prov_is_running())
118
0
        return NULL;
119
120
193
    ctx = OPENSSL_zalloc(sizeof(*ctx));
121
193
    if (ctx == NULL)
122
0
        return NULL;
123
124
193
    ctx->provctx = provctx;
125
193
    init(ctx);
126
193
    return ctx;
127
193
}
128
129
static void kbkdf_free(void *vctx)
130
193
{
131
193
    KBKDF *ctx = (KBKDF *)vctx;
132
133
193
    if (ctx != NULL) {
134
193
        kbkdf_reset(ctx);
135
193
        OPENSSL_free(ctx);
136
193
    }
137
193
}
138
139
static void kbkdf_reset(void *vctx)
140
193
{
141
193
    KBKDF *ctx = (KBKDF *)vctx;
142
193
    void *provctx = ctx->provctx;
143
144
193
    EVP_MAC_CTX_free(ctx->ctx_init);
145
193
    OPENSSL_clear_free(ctx->context, ctx->context_len);
146
193
    OPENSSL_clear_free(ctx->label, ctx->label_len);
147
193
    OPENSSL_clear_free(ctx->ki, ctx->ki_len);
148
193
    OPENSSL_clear_free(ctx->iv, ctx->iv_len);
149
193
    memset(ctx, 0, sizeof(*ctx));
150
193
    ctx->provctx = provctx;
151
193
    init(ctx);
152
193
}
153
154
static void *kbkdf_dup(void *vctx)
155
0
{
156
0
    const KBKDF *src = (const KBKDF *)vctx;
157
0
    KBKDF *dest;
158
159
0
    dest = kbkdf_new(src->provctx);
160
0
    if (dest != NULL) {
161
0
        dest->ctx_init = EVP_MAC_CTX_dup(src->ctx_init);
162
0
        if (dest->ctx_init == NULL
163
0
                || !ossl_prov_memdup(src->ki, src->ki_len,
164
0
                                     &dest->ki, &dest->ki_len)
165
0
                || !ossl_prov_memdup(src->label, src->label_len,
166
0
                                     &dest->label, &dest->label_len)
167
0
                || !ossl_prov_memdup(src->context, src->context_len,
168
0
                                     &dest->context, &dest->context_len)
169
0
                || !ossl_prov_memdup(src->iv, src->iv_len,
170
0
                                     &dest->iv, &dest->iv_len))
171
0
            goto err;
172
0
        dest->mode = src->mode;
173
0
        dest->r = src->r;
174
0
        dest->use_l = src->use_l;
175
0
        dest->use_separator = src->use_separator;
176
0
        dest->is_kmac = src->is_kmac;
177
0
    }
178
0
    return dest;
179
180
0
 err:
181
0
    kbkdf_free(dest);
182
0
    return NULL;
183
0
}
184
185
/* SP800-108 section 5.1 or section 5.2 depending on mode. */
186
static int derive(EVP_MAC_CTX *ctx_init, kbkdf_mode mode, unsigned char *iv,
187
                  size_t iv_len, unsigned char *label, size_t label_len,
188
                  unsigned char *context, size_t context_len,
189
                  unsigned char *k_i, size_t h, uint32_t l, int has_separator,
190
                  unsigned char *ko, size_t ko_len, int r)
191
44
{
192
44
    int ret = 0;
193
44
    EVP_MAC_CTX *ctx = NULL;
194
44
    size_t written = 0, to_write, k_i_len = iv_len;
195
44
    const unsigned char zero = 0;
196
44
    uint32_t counter, i;
197
    /*
198
     * From SP800-108:
199
     * The fixed input data is a concatenation of a Label,
200
     * a separation indicator 0x00, the Context, and L.
201
     * One or more of these fixed input data fields may be omitted.
202
     *
203
     * has_separator == 0 means that the separator is omitted.
204
     * Passing a value of l == 0 means that L is omitted.
205
     * The Context and L are omitted automatically if a NULL buffer is passed.
206
     */
207
44
    int has_l = (l != 0);
208
209
    /* Setup K(0) for feedback mode. */
210
44
    if (iv_len > 0)
211
11
        memcpy(k_i, iv, iv_len);
212
213
98
    for (counter = 1; written < ko_len; counter++) {
214
54
        i = be32(counter);
215
216
54
        ctx = EVP_MAC_CTX_dup(ctx_init);
217
54
        if (ctx == NULL)
218
0
            goto done;
219
220
        /* Perform feedback, if appropriate. */
221
54
        if (mode == FEEDBACK && !EVP_MAC_update(ctx, k_i, k_i_len))
222
0
            goto done;
223
224
54
        if (!EVP_MAC_update(ctx, 4 - (r / 8) + (unsigned char *)&i, r / 8)
225
54
            || !EVP_MAC_update(ctx, label, label_len)
226
54
            || (has_separator && !EVP_MAC_update(ctx, &zero, 1))
227
54
            || !EVP_MAC_update(ctx, context, context_len)
228
54
            || (has_l && !EVP_MAC_update(ctx, (unsigned char *)&l, 4))
229
54
            || !EVP_MAC_final(ctx, k_i, NULL, h))
230
0
            goto done;
231
232
54
        to_write = ko_len - written;
233
54
        memcpy(ko + written, k_i, ossl_min(to_write, h));
234
54
        written += h;
235
236
54
        k_i_len = h;
237
54
        EVP_MAC_CTX_free(ctx);
238
54
        ctx = NULL;
239
54
    }
240
241
44
    ret = 1;
242
44
done:
243
44
    EVP_MAC_CTX_free(ctx);
244
44
    return ret;
245
44
}
246
247
/* This must be run before the key is set */
248
static int kmac_init(EVP_MAC_CTX *ctx, const unsigned char *custom, size_t customlen)
249
39
{
250
39
    OSSL_PARAM params[2];
251
252
39
    if (custom == NULL || customlen == 0)
253
6
        return 1;
254
33
    params[0] = OSSL_PARAM_construct_octet_string(OSSL_MAC_PARAM_CUSTOM,
255
33
                                                  (void *)custom, customlen);
256
33
    params[1] = OSSL_PARAM_construct_end();
257
33
    return EVP_MAC_CTX_set_params(ctx, params) > 0;
258
39
}
259
260
static int kmac_derive(EVP_MAC_CTX *ctx, unsigned char *out, size_t outlen,
261
                       const unsigned char *context, size_t contextlen)
262
25
{
263
25
    OSSL_PARAM params[2];
264
265
25
    params[0] = OSSL_PARAM_construct_size_t(OSSL_MAC_PARAM_SIZE, &outlen);
266
25
    params[1] = OSSL_PARAM_construct_end();
267
25
    return EVP_MAC_CTX_set_params(ctx, params) > 0
268
25
           && EVP_MAC_update(ctx, context, contextlen)
269
25
           && EVP_MAC_final(ctx, out, NULL, outlen);
270
25
}
271
272
static int kbkdf_derive(void *vctx, unsigned char *key, size_t keylen,
273
                        const OSSL_PARAM params[])
274
118
{
275
118
    KBKDF *ctx = (KBKDF *)vctx;
276
118
    int ret = 0;
277
118
    unsigned char *k_i = NULL;
278
118
    uint32_t l = 0;
279
118
    size_t h = 0;
280
118
    uint64_t counter_max;
281
282
118
    if (!ossl_prov_is_running() || !kbkdf_set_ctx_params(ctx, params))
283
0
        return 0;
284
285
    /* label, context, and iv are permitted to be empty.  Check everything
286
     * else. */
287
118
    if (ctx->ctx_init == NULL) {
288
0
        if (ctx->ki_len == 0 || ctx->ki == NULL) {
289
0
            ERR_raise(ERR_LIB_PROV, PROV_R_NO_KEY_SET);
290
0
            return 0;
291
0
        }
292
        /* Could either be missing MAC or missing message digest or missing
293
         * cipher - arbitrarily, I pick this one. */
294
0
        ERR_raise(ERR_LIB_PROV, PROV_R_MISSING_MAC);
295
0
        return 0;
296
0
    }
297
298
    /* Fail if the output length is zero */
299
118
    if (keylen == 0) {
300
0
        ERR_raise(ERR_LIB_PROV, PROV_R_INVALID_KEY_LENGTH);
301
0
        return 0;
302
0
    }
303
304
118
    if (ctx->is_kmac) {
305
25
        ret = kmac_derive(ctx->ctx_init, key, keylen,
306
25
                          ctx->context, ctx->context_len);
307
25
        goto done;
308
25
    }
309
310
93
    h = EVP_MAC_CTX_get_mac_size(ctx->ctx_init);
311
93
    if (h == 0)
312
4
        goto done;
313
314
89
    if (ctx->iv_len != 0 && ctx->iv_len != h) {
315
45
        ERR_raise(ERR_LIB_PROV, PROV_R_INVALID_SEED_LENGTH);
316
45
        goto done;
317
45
    }
318
319
44
    if (ctx->mode == COUNTER) {
320
        /* Fail if keylen is too large for r */
321
44
        counter_max = (uint64_t)1 << (uint64_t)ctx->r;
322
44
        if ((uint64_t)(keylen / h) >= counter_max) {
323
0
            ERR_raise(ERR_LIB_PROV, PROV_R_INVALID_KEY_LENGTH);
324
0
            goto done;
325
0
        }
326
44
    }
327
328
44
    if (ctx->use_l != 0)
329
29
        l = be32(keylen * 8);
330
331
44
    k_i = OPENSSL_zalloc(h);
332
44
    if (k_i == NULL)
333
0
        goto done;
334
335
44
    ret = derive(ctx->ctx_init, ctx->mode, ctx->iv, ctx->iv_len, ctx->label,
336
44
                 ctx->label_len, ctx->context, ctx->context_len, k_i, h, l,
337
44
                 ctx->use_separator, key, keylen, ctx->r);
338
118
done:
339
118
    if (ret != 1)
340
57
        OPENSSL_cleanse(key, keylen);
341
118
    OPENSSL_clear_free(k_i, h);
342
118
    return ret;
343
44
}
344
345
static int kbkdf_set_ctx_params(void *vctx, const OSSL_PARAM params[])
346
{
347
    KBKDF *ctx = (KBKDF *)vctx;
348
    OSSL_LIB_CTX *libctx = PROV_LIBCTX_OF(ctx->provctx);
349
    const OSSL_PARAM *p;
350
351
    if (params == NULL)
352
        return 1;
353
354
    if (!ossl_prov_macctx_load_from_params(&ctx->ctx_init, params, NULL,
355
                                           NULL, NULL, libctx))
356
        return 0;
357
    if (ctx->ctx_init != NULL) {
358
        ctx->is_kmac = 0;
359
        if (EVP_MAC_is_a(EVP_MAC_CTX_get0_mac(ctx->ctx_init),
360
                         OSSL_MAC_NAME_KMAC128)
361
            || EVP_MAC_is_a(EVP_MAC_CTX_get0_mac(ctx->ctx_init),
362
                            OSSL_MAC_NAME_KMAC256)) {
363
            ctx->is_kmac = 1;
364
        } else if (!EVP_MAC_is_a(EVP_MAC_CTX_get0_mac(ctx->ctx_init),
365
                                 OSSL_MAC_NAME_HMAC)
366
                   && !EVP_MAC_is_a(EVP_MAC_CTX_get0_mac(ctx->ctx_init),
367
                                    OSSL_MAC_NAME_CMAC)) {
368
            ERR_raise(ERR_LIB_PROV, PROV_R_INVALID_MAC);
369
            return 0;
370
        }
371
    }
372
373
    p = OSSL_PARAM_locate_const(params, OSSL_KDF_PARAM_MODE);
374
    if (p != NULL
375
        && OPENSSL_strncasecmp("counter", p->data, p->data_size) == 0) {
376
        ctx->mode = COUNTER;
377
    } else if (p != NULL
378
               && OPENSSL_strncasecmp("feedback", p->data, p->data_size) == 0) {
379
        ctx->mode = FEEDBACK;
380
    } else if (p != NULL) {
381
        ERR_raise(ERR_LIB_PROV, PROV_R_INVALID_MODE);
382
        return 0;
383
    }
384
385
    if (ossl_param_get1_octet_string(params, OSSL_KDF_PARAM_KEY,
386
                                     &ctx->ki, &ctx->ki_len) == 0)
387
            return 0;
388
389
    if (ossl_param_get1_octet_string(params, OSSL_KDF_PARAM_SALT,
390
                                     &ctx->label, &ctx->label_len) == 0)
391
            return 0;
392
393
    if (ossl_param_get1_concat_octet_string(params, OSSL_KDF_PARAM_INFO,
394
                                            &ctx->context, &ctx->context_len,
395
                                            0) == 0)
396
        return 0;
397
398
    if (ossl_param_get1_octet_string(params, OSSL_KDF_PARAM_SEED,
399
                                     &ctx->iv, &ctx->iv_len) == 0)
400
            return 0;
401
402
    p = OSSL_PARAM_locate_const(params, OSSL_KDF_PARAM_KBKDF_USE_L);
403
    if (p != NULL && !OSSL_PARAM_get_int(p, &ctx->use_l))
404
        return 0;
405
406
    p = OSSL_PARAM_locate_const(params, OSSL_KDF_PARAM_KBKDF_R);
407
    if (p != NULL) {
408
        int new_r = 0;
409
410
        if (!OSSL_PARAM_get_int(p, &new_r))
411
            return 0;
412
        if (new_r != 8 && new_r != 16 && new_r != 24 && new_r != 32)
413
            return 0;
414
        ctx->r = new_r;
415
    }
416
417
    p = OSSL_PARAM_locate_const(params, OSSL_KDF_PARAM_KBKDF_USE_SEPARATOR);
418
    if (p != NULL && !OSSL_PARAM_get_int(p, &ctx->use_separator))
419
        return 0;
420
421
    /* Set up digest context, if we can. */
422
    if (ctx->ctx_init != NULL && ctx->ki_len != 0) {
423
        if ((ctx->is_kmac && !kmac_init(ctx->ctx_init, ctx->label, ctx->label_len))
424
            || !EVP_MAC_init(ctx->ctx_init, ctx->ki, ctx->ki_len, NULL))
425
            return 0;
426
    }
427
    return 1;
428
}
429
430
static const OSSL_PARAM *kbkdf_settable_ctx_params(ossl_unused void *ctx,
431
                                                   ossl_unused void *provctx)
432
193
{
433
193
    static const OSSL_PARAM known_settable_ctx_params[] = {
434
193
        OSSL_PARAM_octet_string(OSSL_KDF_PARAM_INFO, NULL, 0),
435
193
        OSSL_PARAM_octet_string(OSSL_KDF_PARAM_SALT, NULL, 0),
436
193
        OSSL_PARAM_octet_string(OSSL_KDF_PARAM_KEY, NULL, 0),
437
193
        OSSL_PARAM_octet_string(OSSL_KDF_PARAM_SEED, NULL, 0),
438
193
        OSSL_PARAM_utf8_string(OSSL_KDF_PARAM_DIGEST, NULL, 0),
439
193
        OSSL_PARAM_utf8_string(OSSL_KDF_PARAM_CIPHER, NULL, 0),
440
193
        OSSL_PARAM_utf8_string(OSSL_KDF_PARAM_MAC, NULL, 0),
441
193
        OSSL_PARAM_utf8_string(OSSL_KDF_PARAM_MODE, NULL, 0),
442
193
        OSSL_PARAM_utf8_string(OSSL_KDF_PARAM_PROPERTIES, NULL, 0),
443
193
        OSSL_PARAM_int(OSSL_KDF_PARAM_KBKDF_USE_L, NULL),
444
193
        OSSL_PARAM_int(OSSL_KDF_PARAM_KBKDF_USE_SEPARATOR, NULL),
445
193
        OSSL_PARAM_int(OSSL_KDF_PARAM_KBKDF_R, NULL),
446
193
        OSSL_PARAM_END,
447
193
    };
448
193
    return known_settable_ctx_params;
449
193
}
450
451
static int kbkdf_get_ctx_params(void *vctx, OSSL_PARAM params[])
452
0
{
453
0
    OSSL_PARAM *p;
454
455
0
    p = OSSL_PARAM_locate(params, OSSL_KDF_PARAM_SIZE);
456
0
    if (p == NULL)
457
0
        return -2;
458
459
    /* KBKDF can produce results as large as you like. */
460
0
    return OSSL_PARAM_set_size_t(p, SIZE_MAX);
461
0
}
462
463
static const OSSL_PARAM *kbkdf_gettable_ctx_params(ossl_unused void *ctx,
464
                                                   ossl_unused void *provctx)
465
0
{
466
0
    static const OSSL_PARAM known_gettable_ctx_params[] =
467
0
        { OSSL_PARAM_size_t(OSSL_KDF_PARAM_SIZE, NULL), OSSL_PARAM_END };
468
0
    return known_gettable_ctx_params;
469
0
}
470
471
const OSSL_DISPATCH ossl_kdf_kbkdf_functions[] = {
472
    { OSSL_FUNC_KDF_NEWCTX, (void(*)(void))kbkdf_new },
473
    { OSSL_FUNC_KDF_DUPCTX, (void(*)(void))kbkdf_dup },
474
    { OSSL_FUNC_KDF_FREECTX, (void(*)(void))kbkdf_free },
475
    { OSSL_FUNC_KDF_RESET, (void(*)(void))kbkdf_reset },
476
    { OSSL_FUNC_KDF_DERIVE, (void(*)(void))kbkdf_derive },
477
    { OSSL_FUNC_KDF_SETTABLE_CTX_PARAMS,
478
      (void(*)(void))kbkdf_settable_ctx_params },
479
    { OSSL_FUNC_KDF_SET_CTX_PARAMS, (void(*)(void))kbkdf_set_ctx_params },
480
    { OSSL_FUNC_KDF_GETTABLE_CTX_PARAMS,
481
      (void(*)(void))kbkdf_gettable_ctx_params },
482
    { OSSL_FUNC_KDF_GET_CTX_PARAMS, (void(*)(void))kbkdf_get_ctx_params },
483
    OSSL_DISPATCH_END,
484
};