Coverage Report

Created: 2025-08-03 07:12

/src/openssl/providers/implementations/kdfs/hkdf.c
Line
Count
Source (jump to first uncovered line)
1
/*
2
 * Copyright 2016-2024 The OpenSSL Project Authors. All Rights Reserved.
3
 *
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
8
 */
9
10
11
/*
12
 * HMAC low level APIs are deprecated for public use, but still ok for internal
13
 * use.
14
 */
15
#include "internal/deprecated.h"
16
17
#include <stdlib.h>
18
#include <stdarg.h>
19
#include <string.h>
20
#include <openssl/hmac.h>
21
#include <openssl/evp.h>
22
#include <openssl/kdf.h>
23
#include <openssl/core_names.h>
24
#include <openssl/proverr.h>
25
#include "internal/cryptlib.h"
26
#include "internal/numbers.h"
27
#include "internal/packet.h"
28
#include "crypto/evp.h"
29
#include "prov/provider_ctx.h"
30
#include "prov/providercommon.h"
31
#include "prov/implementations.h"
32
#include "prov/provider_util.h"
33
#include "prov/securitycheck.h"
34
#include "internal/e_os.h"
35
#include "internal/params.h"
36
#include "internal/sizes.h"
37
38
#define HKDF_MAXBUF 2048
39
#define HKDF_MAXINFO (32*1024)
40
0
#define HKDF_MAX_INFOS    5
41
42
static OSSL_FUNC_kdf_newctx_fn kdf_hkdf_new;
43
static OSSL_FUNC_kdf_dupctx_fn kdf_hkdf_dup;
44
static OSSL_FUNC_kdf_freectx_fn kdf_hkdf_free;
45
static OSSL_FUNC_kdf_reset_fn kdf_hkdf_reset;
46
static OSSL_FUNC_kdf_derive_fn kdf_hkdf_derive;
47
static OSSL_FUNC_kdf_settable_ctx_params_fn kdf_hkdf_settable_ctx_params;
48
static OSSL_FUNC_kdf_set_ctx_params_fn kdf_hkdf_set_ctx_params;
49
static OSSL_FUNC_kdf_gettable_ctx_params_fn hkdf_gettable_ctx_params;
50
static OSSL_FUNC_kdf_get_ctx_params_fn hkdf_common_get_ctx_params;
51
static OSSL_FUNC_kdf_derive_fn kdf_tls1_3_derive;
52
static OSSL_FUNC_kdf_settable_ctx_params_fn kdf_tls1_3_settable_ctx_params;
53
static OSSL_FUNC_kdf_set_ctx_params_fn kdf_tls1_3_set_ctx_params;
54
static OSSL_FUNC_kdf_newctx_fn kdf_hkdf_sha256_new;
55
static OSSL_FUNC_kdf_newctx_fn kdf_hkdf_sha384_new;
56
static OSSL_FUNC_kdf_newctx_fn kdf_hkdf_sha512_new;
57
static OSSL_FUNC_kdf_settable_ctx_params_fn kdf_hkdf_fixed_digest_settable_ctx_params;
58
static OSSL_FUNC_kdf_set_ctx_params_fn kdf_hkdf_fixed_digest_set_ctx_params;
59
60
static void *kdf_hkdf_fixed_digest_new(void *provctx, const char *digest);
61
static void kdf_hkdf_reset_ex(void *vctx, int on_free);
62
63
static int HKDF(OSSL_LIB_CTX *libctx, const EVP_MD *evp_md,
64
                const unsigned char *salt, size_t salt_len,
65
                const unsigned char *key, size_t key_len,
66
                const unsigned char *info, size_t info_len,
67
                unsigned char *okm, size_t okm_len);
68
static int HKDF_Extract(OSSL_LIB_CTX *libctx, const EVP_MD *evp_md,
69
                        const unsigned char *salt, size_t salt_len,
70
                        const unsigned char *ikm, size_t ikm_len,
71
                        unsigned char *prk, size_t prk_len);
72
static int HKDF_Expand(const EVP_MD *evp_md,
73
                       const unsigned char *prk, size_t prk_len,
74
                       const unsigned char *info, size_t info_len,
75
                       unsigned char *okm, size_t okm_len);
76
77
typedef struct {
78
    void *provctx;
79
    int mode;
80
    PROV_DIGEST digest;
81
    unsigned char *salt;
82
    size_t salt_len;
83
    unsigned char *key;
84
    size_t key_len;
85
    unsigned char *prefix;
86
    size_t prefix_len;
87
    unsigned char *label;
88
    size_t label_len;
89
    unsigned char *data;
90
    size_t data_len;
91
    unsigned char *info;
92
    size_t info_len;
93
    int fixed_digest;
94
    OSSL_FIPS_IND_DECLARE
95
} KDF_HKDF;
96
97
static void *kdf_hkdf_new(void *provctx)
98
0
{
99
0
    KDF_HKDF *ctx;
100
101
0
    if (!ossl_prov_is_running())
102
0
        return NULL;
103
104
0
    if ((ctx = OPENSSL_zalloc(sizeof(*ctx))) != NULL) {
105
0
        ctx->provctx = provctx;
106
0
        OSSL_FIPS_IND_INIT(ctx)
107
0
    }
108
0
    return ctx;
109
0
}
110
111
static void kdf_hkdf_free(void *vctx)
112
0
{
113
0
    KDF_HKDF *ctx = (KDF_HKDF *)vctx;
114
115
0
    if (ctx != NULL) {
116
0
        kdf_hkdf_reset_ex(vctx, 1);
117
0
        OPENSSL_free(ctx);
118
0
    }
119
0
}
120
121
static void kdf_hkdf_reset(void *vctx)
122
0
{
123
0
    kdf_hkdf_reset_ex(vctx, 0);
124
0
}
125
126
static void kdf_hkdf_reset_ex(void *vctx, int on_free)
127
0
{
128
0
    KDF_HKDF *ctx = (KDF_HKDF *)vctx;
129
0
    void *provctx = ctx->provctx;
130
0
    int preserve_digest = on_free ? 0 : ctx->fixed_digest;
131
0
    PROV_DIGEST save_prov_digest = { 0 };
132
133
    /* For fixed digests just save and restore the PROV_DIGEST object */
134
0
    if (preserve_digest)
135
0
        save_prov_digest = ctx->digest;
136
0
    else
137
0
        ossl_prov_digest_reset(&ctx->digest);
138
#ifdef OPENSSL_PEDANTIC_ZEROIZATION
139
    OPENSSL_clear_free(ctx->salt, ctx->salt_len);
140
#else
141
0
    OPENSSL_free(ctx->salt);
142
0
#endif
143
0
    OPENSSL_free(ctx->prefix);
144
0
    OPENSSL_free(ctx->label);
145
0
    OPENSSL_clear_free(ctx->data, ctx->data_len);
146
0
    OPENSSL_clear_free(ctx->key, ctx->key_len);
147
0
    OPENSSL_clear_free(ctx->info, ctx->info_len);
148
0
    memset(ctx, 0, sizeof(*ctx));
149
0
    ctx->provctx = provctx;
150
0
    if (preserve_digest) {
151
0
        ctx->fixed_digest = preserve_digest;
152
0
        ctx->digest = save_prov_digest;
153
0
    }
154
0
}
155
156
static void *kdf_hkdf_dup(void *vctx)
157
0
{
158
0
    const KDF_HKDF *src = (const KDF_HKDF *)vctx;
159
0
    KDF_HKDF *dest;
160
161
0
    dest = kdf_hkdf_new(src->provctx);
162
0
    if (dest != NULL) {
163
0
        if (!ossl_prov_memdup(src->salt, src->salt_len, &dest->salt,
164
0
                              &dest->salt_len)
165
0
                || !ossl_prov_memdup(src->key, src->key_len,
166
0
                                     &dest->key , &dest->key_len)
167
0
                || !ossl_prov_memdup(src->prefix, src->prefix_len,
168
0
                                     &dest->prefix, &dest->prefix_len)
169
0
                || !ossl_prov_memdup(src->label, src->label_len,
170
0
                                     &dest->label, &dest->label_len)
171
0
                || !ossl_prov_memdup(src->data, src->data_len,
172
0
                                     &dest->data, &dest->data_len)
173
0
                || !ossl_prov_memdup(src->info, src->info_len,
174
0
                                     &dest->info, &dest->info_len)
175
0
                || !ossl_prov_digest_copy(&dest->digest, &src->digest))
176
0
            goto err;
177
0
        dest->mode = src->mode;
178
0
        dest->fixed_digest = src->fixed_digest;
179
0
        OSSL_FIPS_IND_COPY(dest, src)
180
0
    }
181
0
    return dest;
182
183
0
 err:
184
0
    kdf_hkdf_free(dest);
185
0
    return NULL;
186
0
}
187
188
static size_t kdf_hkdf_size(KDF_HKDF *ctx)
189
0
{
190
0
    int sz;
191
0
    const EVP_MD *md = ossl_prov_digest_md(&ctx->digest);
192
193
0
    if (ctx->mode != EVP_KDF_HKDF_MODE_EXTRACT_ONLY)
194
0
        return SIZE_MAX;
195
196
0
    if (md == NULL) {
197
0
        ERR_raise(ERR_LIB_PROV, PROV_R_MISSING_MESSAGE_DIGEST);
198
0
        return 0;
199
0
    }
200
0
    sz = EVP_MD_get_size(md);
201
0
    if (sz <= 0)
202
0
        return 0;
203
204
0
    return sz;
205
0
}
206
207
#ifdef FIPS_MODULE
208
static int fips_hkdf_key_check_passed(KDF_HKDF *ctx)
209
{
210
    OSSL_LIB_CTX *libctx = PROV_LIBCTX_OF(ctx->provctx);
211
    int key_approved = ossl_kdf_check_key_size(ctx->key_len);
212
213
    if (!key_approved) {
214
        if (!OSSL_FIPS_IND_ON_UNAPPROVED(ctx, OSSL_FIPS_IND_SETTABLE0,
215
                                         libctx, "HKDF", "Key size",
216
                                         ossl_fips_config_hkdf_key_check)) {
217
            ERR_raise(ERR_LIB_PROV, PROV_R_INVALID_KEY_LENGTH);
218
            return 0;
219
        }
220
    }
221
    return 1;
222
}
223
#endif
224
225
static int kdf_hkdf_derive(void *vctx, unsigned char *key, size_t keylen,
226
                           const OSSL_PARAM params[])
227
0
{
228
0
    KDF_HKDF *ctx = (KDF_HKDF *)vctx;
229
0
    OSSL_LIB_CTX *libctx = PROV_LIBCTX_OF(ctx->provctx);
230
0
    const EVP_MD *md;
231
232
0
    if (!ossl_prov_is_running() || !kdf_hkdf_set_ctx_params(ctx, params))
233
0
        return 0;
234
235
0
    md = ossl_prov_digest_md(&ctx->digest);
236
0
    if (md == NULL) {
237
0
        ERR_raise(ERR_LIB_PROV, PROV_R_MISSING_MESSAGE_DIGEST);
238
0
        return 0;
239
0
    }
240
0
    if (ctx->key == NULL) {
241
0
        ERR_raise(ERR_LIB_PROV, PROV_R_MISSING_KEY);
242
0
        return 0;
243
0
    }
244
0
    if (keylen == 0) {
245
0
        ERR_raise(ERR_LIB_PROV, PROV_R_INVALID_KEY_LENGTH);
246
0
        return 0;
247
0
    }
248
249
0
    switch (ctx->mode) {
250
0
    case EVP_KDF_HKDF_MODE_EXTRACT_AND_EXPAND:
251
0
    default:
252
0
        return HKDF(libctx, md, ctx->salt, ctx->salt_len,
253
0
                    ctx->key, ctx->key_len, ctx->info, ctx->info_len, key, keylen);
254
255
0
    case EVP_KDF_HKDF_MODE_EXTRACT_ONLY:
256
0
        return HKDF_Extract(libctx, md, ctx->salt, ctx->salt_len,
257
0
                            ctx->key, ctx->key_len, key, keylen);
258
259
0
    case EVP_KDF_HKDF_MODE_EXPAND_ONLY:
260
0
        return HKDF_Expand(md, ctx->key, ctx->key_len, ctx->info,
261
0
                           ctx->info_len, key, keylen);
262
0
    }
263
0
}
264
265
struct hkdf_all_set_ctx_params_st {
266
    OSSL_PARAM *mode;
267
    OSSL_PARAM *propq;
268
    OSSL_PARAM *engine;
269
    OSSL_PARAM *digest;
270
    OSSL_PARAM *key;
271
    OSSL_PARAM *salt;
272
    OSSL_PARAM *ind_k;
273
    OSSL_PARAM *ind_d;
274
    OSSL_PARAM *prefix;
275
    OSSL_PARAM *label;
276
    OSSL_PARAM *data;
277
    OSSL_PARAM *info[HKDF_MAX_INFOS];
278
    int num_info;
279
};
280
281
static int hkdf_common_set_ctx_params
282
        (KDF_HKDF *ctx, struct hkdf_all_set_ctx_params_st *p)
283
0
{
284
0
    OSSL_LIB_CTX *libctx = PROV_LIBCTX_OF(ctx->provctx);
285
0
    int n;
286
287
0
    if (p->digest != NULL) {
288
0
        const EVP_MD *md = NULL;
289
290
0
        if (!ossl_prov_digest_load(&ctx->digest, p->digest,
291
0
                                   p->propq, p->engine, libctx))
292
0
            return 0;
293
294
0
        md = ossl_prov_digest_md(&ctx->digest);
295
0
        if (EVP_MD_xof(md)) {
296
0
            ERR_raise(ERR_LIB_PROV, PROV_R_XOF_DIGESTS_NOT_ALLOWED);
297
0
            return 0;
298
0
        }
299
0
    }
300
301
0
    if (p->mode != NULL) {
302
0
        if (p->mode->data_type == OSSL_PARAM_UTF8_STRING) {
303
0
            if (OPENSSL_strcasecmp(p->mode->data, "EXTRACT_AND_EXPAND") == 0) {
304
0
                ctx->mode = EVP_KDF_HKDF_MODE_EXTRACT_AND_EXPAND;
305
0
            } else if (OPENSSL_strcasecmp(p->mode->data, "EXTRACT_ONLY") == 0) {
306
0
                ctx->mode = EVP_KDF_HKDF_MODE_EXTRACT_ONLY;
307
0
            } else if (OPENSSL_strcasecmp(p->mode->data, "EXPAND_ONLY") == 0) {
308
0
                ctx->mode = EVP_KDF_HKDF_MODE_EXPAND_ONLY;
309
0
            } else {
310
0
                ERR_raise(ERR_LIB_PROV, PROV_R_INVALID_MODE);
311
0
                return 0;
312
0
            }
313
0
        } else if (OSSL_PARAM_get_int(p->mode, &n)) {
314
0
            if (n != EVP_KDF_HKDF_MODE_EXTRACT_AND_EXPAND
315
0
                && n != EVP_KDF_HKDF_MODE_EXTRACT_ONLY
316
0
                && n != EVP_KDF_HKDF_MODE_EXPAND_ONLY) {
317
0
                ERR_raise(ERR_LIB_PROV, PROV_R_INVALID_MODE);
318
0
                return 0;
319
0
            }
320
0
            ctx->mode = n;
321
0
        } else {
322
0
            ERR_raise(ERR_LIB_PROV, PROV_R_INVALID_MODE);
323
0
            return 0;
324
0
        }
325
0
    }
326
327
0
    if (p->key != NULL) {
328
0
        OPENSSL_clear_free(ctx->key, ctx->key_len);
329
0
        ctx->key = NULL;
330
0
        if (!OSSL_PARAM_get_octet_string(p->key, (void **)&ctx->key, 0,
331
0
                                         &ctx->key_len))
332
0
            return 0;
333
0
    }
334
335
0
    if (p->salt != NULL) {
336
0
        OPENSSL_free(ctx->salt);
337
0
        ctx->salt = NULL;
338
0
        if (!OSSL_PARAM_get_octet_string(p->salt, (void **)&ctx->salt, 0,
339
0
                                         &ctx->salt_len))
340
0
            return 0;
341
0
    }
342
343
    /* Only relevant for HKDF not to the TLS 1.3 KDF */
344
0
    if (ossl_param_get1_concat_octet_string(p->num_info, p->info,
345
0
                                        &ctx->info, &ctx->info_len) == 0)
346
0
        return 0;
347
348
0
    return 1;
349
0
}
350
351
#define hkdf_set_ctx_params_st  hkdf_all_set_ctx_params_st
352
353
/* Machine generated by util/perl/OpenSSL/paramnames.pm */
354
#ifndef hkdf_set_ctx_params_list
355
static const OSSL_PARAM hkdf_set_ctx_params_list[] = {
356
    OSSL_PARAM_utf8_string(OSSL_KDF_PARAM_MODE, NULL, 0),
357
    OSSL_PARAM_int(OSSL_KDF_PARAM_MODE, NULL),
358
    OSSL_PARAM_utf8_string(OSSL_KDF_PARAM_PROPERTIES, NULL, 0),
359
    OSSL_PARAM_utf8_string(OSSL_KDF_PARAM_DIGEST, NULL, 0),
360
    OSSL_PARAM_octet_string(OSSL_KDF_PARAM_KEY, NULL, 0),
361
    OSSL_PARAM_octet_string(OSSL_KDF_PARAM_SALT, NULL, 0),
362
    OSSL_PARAM_int(OSSL_KDF_PARAM_FIPS_KEY_CHECK, NULL),
363
    OSSL_PARAM_octet_string(OSSL_KDF_PARAM_INFO, NULL, 0),
364
    OSSL_PARAM_END
365
};
366
#endif
367
368
#ifndef hkdf_set_ctx_params_st
369
struct hkdf_set_ctx_params_st {
370
    OSSL_PARAM *digest;
371
    OSSL_PARAM *engine;
372
    OSSL_PARAM *ind_k;
373
    OSSL_PARAM *info[HKDF_MAX_INFOS];
374
    int num_info;
375
    OSSL_PARAM *key;
376
    OSSL_PARAM *mode;
377
    OSSL_PARAM *propq;
378
    OSSL_PARAM *salt;
379
};
380
#endif
381
382
#ifndef hkdf_set_ctx_params_decoder
383
static int hkdf_set_ctx_params_decoder
384
    (const OSSL_PARAM *p, struct hkdf_set_ctx_params_st *r)
385
0
{
386
0
    const char *s;
387
388
0
    memset(r, 0, sizeof(*r));
389
0
    if (p != NULL)
390
0
        for (; (s = p->key) != NULL; p++)
391
0
            switch(s[0]) {
392
0
            default:
393
0
                break;
394
0
            case 'd':
395
0
                if (ossl_likely(strcmp("igest", s + 1) == 0)) {
396
0
                    if (ossl_likely(r->digest == NULL))
397
0
                        r->digest = (OSSL_PARAM *)p;
398
0
                }
399
0
                break;
400
0
            case 'e':
401
0
                if (ossl_likely(strcmp("ngine", s + 1) == 0)) {
402
0
                    if (ossl_likely(r->engine == NULL))
403
0
                        r->engine = (OSSL_PARAM *)p;
404
0
                }
405
0
                break;
406
0
            case 'i':
407
0
                if (ossl_likely(strcmp("nfo", s + 1) == 0)) {
408
0
                    if (ossl_unlikely(r->num_info >= HKDF_MAX_INFOS)) {
409
0
                        ERR_raise_data(ERR_LIB_PROV, PROV_R_TOO_MANY_RECORDS,
410
0
                                       "param %s present >%d times", s, HKDF_MAX_INFOS);
411
0
                        return 0;
412
0
                    }
413
0
                    r->info[r->num_info++] = (OSSL_PARAM *)p;
414
0
                }
415
0
                break;
416
0
            case 'k':
417
0
                switch(s[1]) {
418
0
                default:
419
0
                    break;
420
0
                case 'e':
421
0
                    switch(s[2]) {
422
0
                    default:
423
0
                        break;
424
0
                    case 'y':
425
0
                        switch(s[3]) {
426
0
                        default:
427
0
                            break;
428
0
                        case '-':
429
0
                            if (ossl_likely(strcmp("check", s + 4) == 0)) {
430
0
                                if (ossl_likely(r->ind_k == NULL))
431
0
                                    r->ind_k = (OSSL_PARAM *)p;
432
0
                            }
433
0
                            break;
434
0
                        case '\0':
435
0
                            if (ossl_likely(r->key == NULL))
436
0
                                r->key = (OSSL_PARAM *)p;
437
0
                        }
438
0
                    }
439
0
                }
440
0
                break;
441
0
            case 'm':
442
0
                if (ossl_likely(strcmp("ode", s + 1) == 0)) {
443
0
                    if (ossl_likely(r->mode == NULL))
444
0
                        r->mode = (OSSL_PARAM *)p;
445
0
                }
446
0
                break;
447
0
            case 'p':
448
0
                if (ossl_likely(strcmp("roperties", s + 1) == 0)) {
449
0
                    if (ossl_likely(r->propq == NULL))
450
0
                        r->propq = (OSSL_PARAM *)p;
451
0
                }
452
0
                break;
453
0
            case 's':
454
0
                if (ossl_likely(strcmp("alt", s + 1) == 0)) {
455
0
                    if (ossl_likely(r->salt == NULL))
456
0
                        r->salt = (OSSL_PARAM *)p;
457
0
                }
458
0
            }
459
0
    return 1;
460
0
}
461
#endif
462
/* End of machine generated */
463
464
static int kdf_hkdf_set_ctx_params(void *vctx, const OSSL_PARAM params[])
465
0
{
466
0
    struct hkdf_all_set_ctx_params_st p;
467
0
    KDF_HKDF *ctx = vctx;
468
469
0
    if (ctx == NULL || !hkdf_set_ctx_params_decoder(params, &p))
470
0
        return 0;
471
472
0
    if (!OSSL_FIPS_IND_SET_CTX_FROM_PARAM(ctx, OSSL_FIPS_IND_SETTABLE0, p.ind_k))
473
0
        return 0;
474
475
0
    if (!hkdf_common_set_ctx_params(ctx, &p))
476
0
        return 0;
477
478
#ifdef FIPS_MODULE
479
    if (p.key != NULL)
480
        if (!fips_hkdf_key_check_passed(ctx))
481
            return 0;
482
#endif
483
484
0
    return 1;
485
0
}
486
487
static const OSSL_PARAM *kdf_hkdf_settable_ctx_params(ossl_unused void *ctx,
488
                                                      ossl_unused void *provctx)
489
0
{
490
0
    return hkdf_set_ctx_params_list;
491
0
}
492
493
/* Machine generated by util/perl/OpenSSL/paramnames.pm */
494
#ifndef hkdf_get_ctx_params_list
495
static const OSSL_PARAM hkdf_get_ctx_params_list[] = {
496
    OSSL_PARAM_size_t(OSSL_KDF_PARAM_SIZE, NULL),
497
    OSSL_PARAM_utf8_string(OSSL_KDF_PARAM_DIGEST, NULL, 0),
498
    OSSL_PARAM_utf8_string(OSSL_KDF_PARAM_MODE, NULL, 0),
499
    OSSL_PARAM_int(OSSL_KDF_PARAM_MODE, NULL),
500
    OSSL_PARAM_octet_string(OSSL_KDF_PARAM_SALT, NULL, 0),
501
    OSSL_PARAM_octet_string(OSSL_KDF_PARAM_INFO, NULL, 0),
502
    OSSL_PARAM_int(OSSL_KDF_PARAM_FIPS_APPROVED_INDICATOR, NULL),
503
    OSSL_PARAM_END
504
};
505
#endif
506
507
#ifndef hkdf_get_ctx_params_st
508
struct hkdf_get_ctx_params_st {
509
    OSSL_PARAM *digest;
510
    OSSL_PARAM *ind;
511
    OSSL_PARAM *info;
512
    OSSL_PARAM *mode;
513
    OSSL_PARAM *salt;
514
    OSSL_PARAM *size;
515
};
516
#endif
517
518
#ifndef hkdf_get_ctx_params_decoder
519
static int hkdf_get_ctx_params_decoder
520
    (const OSSL_PARAM *p, struct hkdf_get_ctx_params_st *r)
521
0
{
522
0
    const char *s;
523
524
0
    memset(r, 0, sizeof(*r));
525
0
    if (p != NULL)
526
0
        for (; (s = p->key) != NULL; p++)
527
0
            switch(s[0]) {
528
0
            default:
529
0
                break;
530
0
            case 'd':
531
0
                if (ossl_likely(strcmp("igest", s + 1) == 0)) {
532
0
                    if (ossl_likely(r->digest == NULL))
533
0
                        r->digest = (OSSL_PARAM *)p;
534
0
                }
535
0
                break;
536
0
            case 'f':
537
0
                if (ossl_likely(strcmp("ips-indicator", s + 1) == 0)) {
538
0
                    if (ossl_likely(r->ind == NULL))
539
0
                        r->ind = (OSSL_PARAM *)p;
540
0
                }
541
0
                break;
542
0
            case 'i':
543
0
                if (ossl_likely(strcmp("nfo", s + 1) == 0)) {
544
0
                    if (ossl_likely(r->info == NULL))
545
0
                        r->info = (OSSL_PARAM *)p;
546
0
                }
547
0
                break;
548
0
            case 'm':
549
0
                if (ossl_likely(strcmp("ode", s + 1) == 0)) {
550
0
                    if (ossl_likely(r->mode == NULL))
551
0
                        r->mode = (OSSL_PARAM *)p;
552
0
                }
553
0
                break;
554
0
            case 's':
555
0
                switch(s[1]) {
556
0
                default:
557
0
                    break;
558
0
                case 'a':
559
0
                    if (ossl_likely(strcmp("lt", s + 2) == 0)) {
560
0
                        if (ossl_likely(r->salt == NULL))
561
0
                            r->salt = (OSSL_PARAM *)p;
562
0
                    }
563
0
                    break;
564
0
                case 'i':
565
0
                    if (ossl_likely(strcmp("ze", s + 2) == 0)) {
566
0
                        if (ossl_likely(r->size == NULL))
567
0
                            r->size = (OSSL_PARAM *)p;
568
0
                    }
569
0
                }
570
0
            }
571
0
    return 1;
572
0
}
573
#endif
574
/* End of machine generated */
575
576
static const OSSL_PARAM *hkdf_gettable_ctx_params(ossl_unused void *ctx,
577
                                                  ossl_unused void *provctx)
578
0
{
579
0
    return hkdf_get_ctx_params_list;
580
0
}
581
582
static int hkdf_common_get_ctx_params(void *vctx, OSSL_PARAM params[])
583
0
{
584
0
    KDF_HKDF *ctx = (KDF_HKDF *)vctx;
585
0
    struct hkdf_get_ctx_params_st p;
586
587
0
    if (ctx == NULL || !hkdf_get_ctx_params_decoder(params, &p))
588
0
        return 0;
589
590
0
    if (p.size != NULL) {
591
0
        size_t sz = kdf_hkdf_size(ctx);
592
593
0
        if (sz == 0)
594
0
            return 0;
595
0
        if (!OSSL_PARAM_set_size_t(p.size, sz))
596
0
            return 0;
597
0
    }
598
599
0
    if (p.digest != NULL) {
600
0
        const EVP_MD *md = ossl_prov_digest_md(&ctx->digest);
601
602
0
        if (md == NULL)
603
0
            return 0;
604
0
        else if (!OSSL_PARAM_set_utf8_string(p.digest, EVP_MD_get0_name(md)))
605
0
            return 0;
606
0
    }
607
608
    /* OSSL_KDF_PARAM_MODE has multiple parameter types, so look for all instances */
609
0
    if (p.mode != NULL) {
610
0
        if (p.mode->data_type == OSSL_PARAM_UTF8_STRING) {
611
0
            switch (ctx->mode) {
612
0
            case EVP_KDF_HKDF_MODE_EXTRACT_AND_EXPAND:
613
0
                if (!OSSL_PARAM_set_utf8_string(p.mode, "EXTRACT_AND_EXPAND"))
614
0
                    return 0;
615
0
                break;
616
0
            case EVP_KDF_HKDF_MODE_EXTRACT_ONLY:
617
0
                if (!OSSL_PARAM_set_utf8_string(p.mode, "EXTRACT_ONLY"))
618
0
                    return 0;
619
0
                break;
620
0
            case EVP_KDF_HKDF_MODE_EXPAND_ONLY:
621
0
                if (!OSSL_PARAM_set_utf8_string(p.mode, "EXPAND_ONLY"))
622
0
                    return 0;
623
0
                break;
624
0
            default:
625
0
                return 0;
626
0
            }
627
0
        } else if (p.mode->data_type == OSSL_PARAM_INTEGER) {
628
0
            if (!OSSL_PARAM_set_int(p.mode, ctx->mode))
629
0
                return 0;
630
0
        }
631
0
    }
632
633
0
    if (p.salt != NULL) {
634
0
        if (ctx->salt == NULL || ctx->salt_len == 0)
635
0
            p.salt->return_size = 0;
636
0
        else if (!OSSL_PARAM_set_octet_string(p.salt, ctx->salt, ctx->salt_len))
637
0
            return 0;
638
0
    }
639
640
0
    if (p.info != NULL) {
641
0
        if (ctx->info == NULL || ctx->info_len == 0)
642
0
            p.info->return_size = 0;
643
0
        else if (!OSSL_PARAM_set_octet_string(p.info, ctx->info, ctx->info_len))
644
0
            return 0;
645
0
    }
646
647
0
    if (!OSSL_FIPS_IND_GET_CTX_FROM_PARAM(ctx, p.ind))
648
0
        return 0;
649
650
0
    return 1;
651
0
}
652
653
const OSSL_DISPATCH ossl_kdf_hkdf_functions[] = {
654
    { OSSL_FUNC_KDF_NEWCTX, (void(*)(void))kdf_hkdf_new },
655
    { OSSL_FUNC_KDF_DUPCTX, (void(*)(void))kdf_hkdf_dup },
656
    { OSSL_FUNC_KDF_FREECTX, (void(*)(void))kdf_hkdf_free },
657
    { OSSL_FUNC_KDF_RESET, (void(*)(void))kdf_hkdf_reset },
658
    { OSSL_FUNC_KDF_DERIVE, (void(*)(void))kdf_hkdf_derive },
659
    { OSSL_FUNC_KDF_SETTABLE_CTX_PARAMS,
660
      (void(*)(void))kdf_hkdf_settable_ctx_params },
661
    { OSSL_FUNC_KDF_SET_CTX_PARAMS, (void(*)(void))kdf_hkdf_set_ctx_params },
662
    { OSSL_FUNC_KDF_GETTABLE_CTX_PARAMS,
663
      (void(*)(void))hkdf_gettable_ctx_params },
664
    { OSSL_FUNC_KDF_GET_CTX_PARAMS, (void(*)(void))hkdf_common_get_ctx_params },
665
    OSSL_DISPATCH_END
666
};
667
668
static void *kdf_hkdf_fixed_digest_new(void *provctx, const char *digest)
669
0
{
670
0
    OSSL_LIB_CTX *libctx = PROV_LIBCTX_OF(provctx);
671
0
    KDF_HKDF *ctx;
672
0
    OSSL_PARAM params[2];
673
674
0
    ctx = kdf_hkdf_new(provctx);
675
0
    if (ctx == NULL)
676
0
        return NULL;
677
678
0
    params[0] = OSSL_PARAM_construct_utf8_string(OSSL_ALG_PARAM_DIGEST,
679
0
                                                 (char *)digest, 0);
680
0
    params[1] = OSSL_PARAM_construct_end();
681
0
    if (!ossl_prov_digest_load_from_params(&ctx->digest, params, libctx)) {
682
0
        kdf_hkdf_free(ctx);
683
0
        return NULL;
684
0
    }
685
686
    /* Now the digest can no longer be changed */
687
0
    ctx->fixed_digest = 1;
688
689
0
    return ctx;
690
0
}
691
692
#define hkdf_fixed_digest_set_ctx_params_st  hkdf_all_set_ctx_params_st
693
694
/* Machine generated by util/perl/OpenSSL/paramnames.pm */
695
#ifndef hkdf_fixed_digest_set_ctx_params_list
696
static const OSSL_PARAM hkdf_fixed_digest_set_ctx_params_list[] = {
697
    OSSL_PARAM_utf8_string(OSSL_KDF_PARAM_MODE, NULL, 0),
698
    OSSL_PARAM_int(OSSL_KDF_PARAM_MODE, NULL),
699
    OSSL_PARAM_octet_string(OSSL_KDF_PARAM_KEY, NULL, 0),
700
    OSSL_PARAM_octet_string(OSSL_KDF_PARAM_SALT, NULL, 0),
701
    OSSL_PARAM_int(OSSL_KDF_PARAM_FIPS_KEY_CHECK, NULL),
702
    OSSL_PARAM_octet_string(OSSL_KDF_PARAM_INFO, NULL, 0),
703
    OSSL_PARAM_END
704
};
705
#endif
706
707
#ifndef hkdf_fixed_digest_set_ctx_params_st
708
struct hkdf_fixed_digest_set_ctx_params_st {
709
    OSSL_PARAM *digest;
710
    OSSL_PARAM *ind_k;
711
    OSSL_PARAM *info[HKDF_MAX_INFOS];
712
    int num_info;
713
    OSSL_PARAM *key;
714
    OSSL_PARAM *mode;
715
    OSSL_PARAM *salt;
716
};
717
#endif
718
719
#ifndef hkdf_fixed_digest_set_ctx_params_decoder
720
static int hkdf_fixed_digest_set_ctx_params_decoder
721
    (const OSSL_PARAM *p, struct hkdf_fixed_digest_set_ctx_params_st *r)
722
0
{
723
0
    const char *s;
724
725
0
    memset(r, 0, sizeof(*r));
726
0
    if (p != NULL)
727
0
        for (; (s = p->key) != NULL; p++)
728
0
            switch(s[0]) {
729
0
            default:
730
0
                break;
731
0
            case 'd':
732
0
                if (ossl_likely(strcmp("igest", s + 1) == 0)) {
733
0
                    if (ossl_likely(r->digest == NULL))
734
0
                        r->digest = (OSSL_PARAM *)p;
735
0
                }
736
0
                break;
737
0
            case 'i':
738
0
                if (ossl_likely(strcmp("nfo", s + 1) == 0)) {
739
0
                    if (ossl_unlikely(r->num_info >= HKDF_MAX_INFOS)) {
740
0
                        ERR_raise_data(ERR_LIB_PROV, PROV_R_TOO_MANY_RECORDS,
741
0
                                       "param %s present >%d times", s, HKDF_MAX_INFOS);
742
0
                        return 0;
743
0
                    }
744
0
                    r->info[r->num_info++] = (OSSL_PARAM *)p;
745
0
                }
746
0
                break;
747
0
            case 'k':
748
0
                switch(s[1]) {
749
0
                default:
750
0
                    break;
751
0
                case 'e':
752
0
                    switch(s[2]) {
753
0
                    default:
754
0
                        break;
755
0
                    case 'y':
756
0
                        switch(s[3]) {
757
0
                        default:
758
0
                            break;
759
0
                        case '-':
760
0
                            if (ossl_likely(strcmp("check", s + 4) == 0)) {
761
0
                                if (ossl_likely(r->ind_k == NULL))
762
0
                                    r->ind_k = (OSSL_PARAM *)p;
763
0
                            }
764
0
                            break;
765
0
                        case '\0':
766
0
                            if (ossl_likely(r->key == NULL))
767
0
                                r->key = (OSSL_PARAM *)p;
768
0
                        }
769
0
                    }
770
0
                }
771
0
                break;
772
0
            case 'm':
773
0
                if (ossl_likely(strcmp("ode", s + 1) == 0)) {
774
0
                    if (ossl_likely(r->mode == NULL))
775
0
                        r->mode = (OSSL_PARAM *)p;
776
0
                }
777
0
                break;
778
0
            case 's':
779
0
                if (ossl_likely(strcmp("alt", s + 1) == 0)) {
780
0
                    if (ossl_likely(r->salt == NULL))
781
0
                        r->salt = (OSSL_PARAM *)p;
782
0
                }
783
0
            }
784
0
    return 1;
785
0
}
786
#endif
787
/* End of machine generated */
788
789
static int kdf_hkdf_fixed_digest_set_ctx_params(void *vctx, const OSSL_PARAM params[])
790
0
{
791
0
    struct hkdf_all_set_ctx_params_st p;
792
0
    KDF_HKDF *ctx = vctx;
793
794
0
    if (ctx == NULL || !hkdf_fixed_digest_set_ctx_params_decoder(params, &p))
795
0
        return 0;
796
797
0
    if (p.digest != NULL) {
798
0
        ERR_raise_data(ERR_LIB_PROV, PROV_R_DIGEST_NOT_ALLOWED,
799
0
                       "Setting the digest is not supported for fixed-digest HKDFs");
800
0
        return 0;
801
0
    }
802
803
0
    if (!OSSL_FIPS_IND_SET_CTX_FROM_PARAM(ctx, OSSL_FIPS_IND_SETTABLE0, p.ind_k))
804
0
        return 0;
805
806
0
    if (!hkdf_common_set_ctx_params(ctx, &p))
807
0
        return 0;
808
809
#ifdef FIPS_MODULE
810
    if (p.key != NULL)
811
        if (!fips_hkdf_key_check_passed(ctx))
812
            return 0;
813
#endif
814
815
0
    return 1;
816
0
}
817
818
static const OSSL_PARAM *kdf_hkdf_fixed_digest_settable_ctx_params
819
        (ossl_unused void *ctx, ossl_unused void *provctx)
820
0
{
821
0
    return hkdf_fixed_digest_set_ctx_params_list;
822
0
}
823
824
825
#define KDF_HKDF_FIXED_DIGEST_NEW(hashname, hashstring) \
826
    static void *kdf_hkdf_##hashname##_new(void *provctx) \
827
0
    { \
828
0
        return kdf_hkdf_fixed_digest_new(provctx, hashstring); \
829
0
    }
Unexecuted instantiation: hkdf.c:kdf_hkdf_sha256_new
Unexecuted instantiation: hkdf.c:kdf_hkdf_sha384_new
Unexecuted instantiation: hkdf.c:kdf_hkdf_sha512_new
830
831
KDF_HKDF_FIXED_DIGEST_NEW(sha256, "SHA256")
832
KDF_HKDF_FIXED_DIGEST_NEW(sha384, "SHA384")
833
KDF_HKDF_FIXED_DIGEST_NEW(sha512, "SHA512")
834
835
#define MAKE_KDF_HKDF_FIXED_DIGEST_FUNCTIONS(hashname) \
836
    const OSSL_DISPATCH ossl_kdf_hkdf_##hashname##_functions[] = { \
837
        { OSSL_FUNC_KDF_NEWCTX, (void(*)(void))kdf_hkdf_##hashname##_new }, \
838
        { OSSL_FUNC_KDF_DUPCTX, (void(*)(void))kdf_hkdf_dup }, \
839
        { OSSL_FUNC_KDF_FREECTX, (void(*)(void))kdf_hkdf_free }, \
840
        { OSSL_FUNC_KDF_RESET, (void(*)(void))kdf_hkdf_reset }, \
841
        { OSSL_FUNC_KDF_DERIVE, (void(*)(void))kdf_hkdf_derive }, \
842
        { OSSL_FUNC_KDF_SETTABLE_CTX_PARAMS, (void(*)(void))kdf_hkdf_fixed_digest_settable_ctx_params }, \
843
        { OSSL_FUNC_KDF_SET_CTX_PARAMS, (void(*)(void))kdf_hkdf_fixed_digest_set_ctx_params }, \
844
        { OSSL_FUNC_KDF_GETTABLE_CTX_PARAMS, (void(*)(void))hkdf_gettable_ctx_params }, \
845
        { OSSL_FUNC_KDF_GET_CTX_PARAMS, (void(*)(void))hkdf_common_get_ctx_params }, \
846
        OSSL_DISPATCH_END \
847
    };
848
849
MAKE_KDF_HKDF_FIXED_DIGEST_FUNCTIONS(sha256)
850
MAKE_KDF_HKDF_FIXED_DIGEST_FUNCTIONS(sha384)
851
MAKE_KDF_HKDF_FIXED_DIGEST_FUNCTIONS(sha512)
852
853
/*
854
 * Refer to "HMAC-based Extract-and-Expand Key Derivation Function (HKDF)"
855
 * Section 2 (https://tools.ietf.org/html/rfc5869#section-2) and
856
 * "Cryptographic Extraction and Key Derivation: The HKDF Scheme"
857
 * Section 4.2 (https://eprint.iacr.org/2010/264.pdf).
858
 *
859
 * From the paper:
860
 *   The scheme HKDF is specified as:
861
 *     HKDF(XTS, SKM, CTXinfo, L) = K(1) | K(2) | ... | K(t)
862
 *
863
 *     where:
864
 *       SKM is source key material
865
 *       XTS is extractor salt (which may be null or constant)
866
 *       CTXinfo is context information (may be null)
867
 *       L is the number of key bits to be produced by KDF
868
 *       k is the output length in bits of the hash function used with HMAC
869
 *       t = ceil(L/k)
870
 *       the value K(t) is truncated to its first d = L mod k bits.
871
 *
872
 * From RFC 5869:
873
 *   2.2.  Step 1: Extract
874
 *     HKDF-Extract(salt, IKM) -> PRK
875
 *   2.3.  Step 2: Expand
876
 *     HKDF-Expand(PRK, info, L) -> OKM
877
 */
878
static int HKDF(OSSL_LIB_CTX *libctx, const EVP_MD *evp_md,
879
                const unsigned char *salt, size_t salt_len,
880
                const unsigned char *ikm, size_t ikm_len,
881
                const unsigned char *info, size_t info_len,
882
                unsigned char *okm, size_t okm_len)
883
0
{
884
0
    unsigned char prk[EVP_MAX_MD_SIZE];
885
0
    int ret, sz;
886
0
    size_t prk_len;
887
888
0
    sz = EVP_MD_get_size(evp_md);
889
0
    if (sz <= 0)
890
0
        return 0;
891
0
    prk_len = (size_t)sz;
892
893
    /* Step 1: HKDF-Extract(salt, IKM) -> PRK */
894
0
    if (!HKDF_Extract(libctx, evp_md,
895
0
                      salt, salt_len, ikm, ikm_len, prk, prk_len))
896
0
        return 0;
897
898
    /* Step 2: HKDF-Expand(PRK, info, L) -> OKM */
899
0
    ret = HKDF_Expand(evp_md, prk, prk_len, info, info_len, okm, okm_len);
900
0
    OPENSSL_cleanse(prk, sizeof(prk));
901
902
0
    return ret;
903
0
}
904
905
/*
906
 * Refer to "HMAC-based Extract-and-Expand Key Derivation Function (HKDF)"
907
 * Section 2.2 (https://tools.ietf.org/html/rfc5869#section-2.2).
908
 *
909
 * 2.2.  Step 1: Extract
910
 *
911
 *   HKDF-Extract(salt, IKM) -> PRK
912
 *
913
 *   Options:
914
 *      Hash     a hash function; HashLen denotes the length of the
915
 *               hash function output in octets
916
 *
917
 *   Inputs:
918
 *      salt     optional salt value (a non-secret random value);
919
 *               if not provided, it is set to a string of HashLen zeros.
920
 *      IKM      input keying material
921
 *
922
 *   Output:
923
 *      PRK      a pseudorandom key (of HashLen octets)
924
 *
925
 *   The output PRK is calculated as follows:
926
 *
927
 *   PRK = HMAC-Hash(salt, IKM)
928
 */
929
static int HKDF_Extract(OSSL_LIB_CTX *libctx, const EVP_MD *evp_md,
930
                        const unsigned char *salt, size_t salt_len,
931
                        const unsigned char *ikm, size_t ikm_len,
932
                        unsigned char *prk, size_t prk_len)
933
0
{
934
0
    int sz = EVP_MD_get_size(evp_md);
935
936
0
    if (sz <= 0)
937
0
        return 0;
938
0
    if (prk_len != (size_t)sz) {
939
0
        ERR_raise(ERR_LIB_PROV, PROV_R_WRONG_OUTPUT_BUFFER_SIZE);
940
0
        return 0;
941
0
    }
942
    /* calc: PRK = HMAC-Hash(salt, IKM) */
943
0
    return
944
0
        EVP_Q_mac(libctx, "HMAC", NULL, EVP_MD_get0_name(evp_md), NULL, salt,
945
0
                  salt_len, ikm, ikm_len, prk, EVP_MD_get_size(evp_md), NULL)
946
0
        != NULL;
947
0
}
948
949
/*
950
 * Refer to "HMAC-based Extract-and-Expand Key Derivation Function (HKDF)"
951
 * Section 2.3 (https://tools.ietf.org/html/rfc5869#section-2.3).
952
 *
953
 * 2.3.  Step 2: Expand
954
 *
955
 *   HKDF-Expand(PRK, info, L) -> OKM
956
 *
957
 *   Options:
958
 *      Hash     a hash function; HashLen denotes the length of the
959
 *               hash function output in octets
960
 *
961
 *   Inputs:
962
 *      PRK      a pseudorandom key of at least HashLen octets
963
 *               (usually, the output from the extract step)
964
 *      info     optional context and application specific information
965
 *               (can be a zero-length string)
966
 *      L        length of output keying material in octets
967
 *               (<= 255*HashLen)
968
 *
969
 *   Output:
970
 *      OKM      output keying material (of L octets)
971
 *
972
 *   The output OKM is calculated as follows:
973
 *
974
 *   N = ceil(L/HashLen)
975
 *   T = T(1) | T(2) | T(3) | ... | T(N)
976
 *   OKM = first L octets of T
977
 *
978
 *   where:
979
 *   T(0) = empty string (zero length)
980
 *   T(1) = HMAC-Hash(PRK, T(0) | info | 0x01)
981
 *   T(2) = HMAC-Hash(PRK, T(1) | info | 0x02)
982
 *   T(3) = HMAC-Hash(PRK, T(2) | info | 0x03)
983
 *   ...
984
 *
985
 *   (where the constant concatenated to the end of each T(n) is a
986
 *   single octet.)
987
 */
988
static int HKDF_Expand(const EVP_MD *evp_md,
989
                       const unsigned char *prk, size_t prk_len,
990
                       const unsigned char *info, size_t info_len,
991
                       unsigned char *okm, size_t okm_len)
992
0
{
993
0
    HMAC_CTX *hmac;
994
0
    int ret = 0, sz;
995
0
    unsigned int i;
996
0
    unsigned char prev[EVP_MAX_MD_SIZE];
997
0
    size_t done_len = 0, dig_len, n;
998
999
0
    sz = EVP_MD_get_size(evp_md);
1000
0
    if (sz <= 0)
1001
0
        return 0;
1002
0
    dig_len = (size_t)sz;
1003
1004
    /* calc: N = ceil(L/HashLen) */
1005
0
    n = okm_len / dig_len;
1006
0
    if (okm_len % dig_len)
1007
0
        n++;
1008
1009
0
    if (n > 255 || okm == NULL)
1010
0
        return 0;
1011
1012
0
    if ((hmac = HMAC_CTX_new()) == NULL)
1013
0
        return 0;
1014
1015
0
    if (!HMAC_Init_ex(hmac, prk, (int)prk_len, evp_md, NULL))
1016
0
        goto err;
1017
1018
0
    for (i = 1; i <= n; i++) {
1019
0
        size_t copy_len;
1020
0
        const unsigned char ctr = i;
1021
1022
        /* calc: T(i) = HMAC-Hash(PRK, T(i - 1) | info | i) */
1023
0
        if (i > 1) {
1024
0
            if (!HMAC_Init_ex(hmac, NULL, 0, NULL, NULL))
1025
0
                goto err;
1026
1027
0
            if (!HMAC_Update(hmac, prev, dig_len))
1028
0
                goto err;
1029
0
        }
1030
1031
0
        if (!HMAC_Update(hmac, info, info_len))
1032
0
            goto err;
1033
1034
0
        if (!HMAC_Update(hmac, &ctr, 1))
1035
0
            goto err;
1036
1037
0
        if (!HMAC_Final(hmac, prev, NULL))
1038
0
            goto err;
1039
1040
0
        copy_len = (dig_len > okm_len - done_len) ?
1041
0
                       okm_len - done_len :
1042
0
                       dig_len;
1043
1044
0
        memcpy(okm + done_len, prev, copy_len);
1045
1046
0
        done_len += copy_len;
1047
0
    }
1048
0
    ret = 1;
1049
1050
0
 err:
1051
0
    OPENSSL_cleanse(prev, sizeof(prev));
1052
0
    HMAC_CTX_free(hmac);
1053
0
    return ret;
1054
0
}
1055
1056
/*
1057
 * TLS uses slight variations of the above and for FIPS validation purposes,
1058
 * they need to be present here.
1059
 * Refer to RFC 8446 section 7 for specific details.
1060
 */
1061
1062
/*
1063
 * Given a |secret|; a |label| of length |labellen|; and |data| of length
1064
 * |datalen| (e.g. typically a hash of the handshake messages), derive a new
1065
 * secret |outlen| bytes long and store it in the location pointed to be |out|.
1066
 * The |data| value may be zero length. Returns 1 on success and 0 on failure.
1067
 */
1068
static int prov_tls13_hkdf_expand(const EVP_MD *md,
1069
                                  const unsigned char *key, size_t keylen,
1070
                                  const unsigned char *prefix, size_t prefixlen,
1071
                                  const unsigned char *label, size_t labellen,
1072
                                  const unsigned char *data, size_t datalen,
1073
                                  unsigned char *out, size_t outlen)
1074
0
{
1075
0
    size_t hkdflabellen;
1076
0
    unsigned char hkdflabel[HKDF_MAXBUF];
1077
0
    WPACKET pkt;
1078
1079
    /*
1080
     * 2 bytes for length of derived secret + 1 byte for length of combined
1081
     * prefix and label + bytes for the label itself + 1 byte length of hash
1082
     * + bytes for the hash itself.  We've got the maximum the KDF can handle
1083
     * which should always be sufficient.
1084
     */
1085
0
    if (!WPACKET_init_static_len(&pkt, hkdflabel, sizeof(hkdflabel), 0)
1086
0
            || !WPACKET_put_bytes_u16(&pkt, outlen)
1087
0
            || !WPACKET_start_sub_packet_u8(&pkt)
1088
0
            || !WPACKET_memcpy(&pkt, prefix, prefixlen)
1089
0
            || !WPACKET_memcpy(&pkt, label, labellen)
1090
0
            || !WPACKET_close(&pkt)
1091
0
            || !WPACKET_sub_memcpy_u8(&pkt, data, (data == NULL) ? 0 : datalen)
1092
0
            || !WPACKET_get_total_written(&pkt, &hkdflabellen)
1093
0
            || !WPACKET_finish(&pkt)) {
1094
0
        WPACKET_cleanup(&pkt);
1095
0
        return 0;
1096
0
    }
1097
1098
0
    return HKDF_Expand(md, key, keylen, hkdflabel, hkdflabellen,
1099
0
                       out, outlen);
1100
0
}
1101
1102
static int prov_tls13_hkdf_generate_secret(OSSL_LIB_CTX *libctx,
1103
                                           const EVP_MD *md,
1104
                                           const unsigned char *prevsecret,
1105
                                           size_t prevsecretlen,
1106
                                           const unsigned char *insecret,
1107
                                           size_t insecretlen,
1108
                                           const unsigned char *prefix,
1109
                                           size_t prefixlen,
1110
                                           const unsigned char *label,
1111
                                           size_t labellen,
1112
                                           unsigned char *out, size_t outlen)
1113
0
{
1114
0
    size_t mdlen;
1115
0
    int ret;
1116
0
    unsigned char preextractsec[EVP_MAX_MD_SIZE];
1117
    /* Always filled with zeros */
1118
0
    static const unsigned char default_zeros[EVP_MAX_MD_SIZE];
1119
1120
0
    ret = EVP_MD_get_size(md);
1121
    /* Ensure cast to size_t is safe */
1122
0
    if (ret <= 0)
1123
0
        return 0;
1124
0
    mdlen = (size_t)ret;
1125
1126
0
    if (insecret == NULL) {
1127
0
        insecret = default_zeros;
1128
0
        insecretlen = mdlen;
1129
0
    }
1130
0
    if (prevsecret == NULL) {
1131
0
        prevsecret = default_zeros;
1132
0
        prevsecretlen = mdlen;
1133
0
    } else {
1134
0
        EVP_MD_CTX *mctx = EVP_MD_CTX_new();
1135
0
        unsigned char hash[EVP_MAX_MD_SIZE];
1136
1137
        /* The pre-extract derive step uses a hash of no messages */
1138
0
        if (mctx == NULL
1139
0
                || EVP_DigestInit_ex(mctx, md, NULL) <= 0
1140
0
                || EVP_DigestFinal_ex(mctx, hash, NULL) <= 0) {
1141
0
            EVP_MD_CTX_free(mctx);
1142
0
            return 0;
1143
0
        }
1144
0
        EVP_MD_CTX_free(mctx);
1145
1146
        /* Generate the pre-extract secret */
1147
0
        if (!prov_tls13_hkdf_expand(md, prevsecret, prevsecretlen,
1148
0
                                    prefix, prefixlen, label, labellen,
1149
0
                                    hash, mdlen, preextractsec, mdlen))
1150
0
            return 0;
1151
0
        prevsecret = preextractsec;
1152
0
        prevsecretlen = mdlen;
1153
0
    }
1154
1155
0
    ret = HKDF_Extract(libctx, md, prevsecret, prevsecretlen,
1156
0
                       insecret, insecretlen, out, outlen);
1157
1158
0
    if (prevsecret == preextractsec)
1159
0
        OPENSSL_cleanse(preextractsec, mdlen);
1160
0
    return ret;
1161
0
}
1162
1163
#ifdef FIPS_MODULE
1164
static int fips_tls1_3_digest_check_passed(KDF_HKDF *ctx, const EVP_MD *md)
1165
{
1166
    OSSL_LIB_CTX *libctx = PROV_LIBCTX_OF(ctx->provctx);
1167
    /*
1168
     * Perform digest check
1169
     *
1170
     * According to RFC 8446 appendix B.4, the valid hash functions are
1171
     * specified in FIPS 180-4. However, it only lists SHA2-256 and SHA2-384 in
1172
     * the table. ACVP also only lists the same set of hash functions.
1173
     */
1174
    int digest_unapproved = !EVP_MD_is_a(md, SN_sha256)
1175
        && !EVP_MD_is_a(md, SN_sha384);
1176
1177
    if (digest_unapproved) {
1178
        if (!OSSL_FIPS_IND_ON_UNAPPROVED(ctx, OSSL_FIPS_IND_SETTABLE0,
1179
                                         libctx, "TLS13 KDF", "Digest",
1180
                                         ossl_fips_config_tls13_kdf_digest_check)) {
1181
            ERR_raise(ERR_LIB_PROV, PROV_R_DIGEST_NOT_ALLOWED);
1182
            return 0;
1183
        }
1184
    }
1185
    return 1;
1186
}
1187
1188
/*
1189
 * Calculate the correct length of the secret key.
1190
 *
1191
 * RFC 8446:
1192
 *   If a given secret is not available, then the 0-value consisting of a
1193
 *   string of Hash.length bytes set to zeros is used.
1194
 */
1195
static size_t fips_tls1_3_key_size(KDF_HKDF *ctx)
1196
{
1197
    const EVP_MD *md = ossl_prov_digest_md(&ctx->digest);
1198
    size_t key_size = 0;
1199
1200
    if (ctx->key != NULL)
1201
        key_size = ctx->key_len;
1202
    else if (md != NULL)
1203
        key_size = EVP_MD_size(md);
1204
1205
    return key_size;
1206
}
1207
1208
static int fips_tls1_3_key_check_passed(KDF_HKDF *ctx)
1209
{
1210
    OSSL_LIB_CTX *libctx = PROV_LIBCTX_OF(ctx->provctx);
1211
    int key_approved = ossl_kdf_check_key_size(fips_tls1_3_key_size(ctx));
1212
1213
    if (!key_approved) {
1214
        if (!OSSL_FIPS_IND_ON_UNAPPROVED(ctx, OSSL_FIPS_IND_SETTABLE1,
1215
                                         libctx, "TLS13 KDF", "Key size",
1216
                                         ossl_fips_config_tls13_kdf_key_check)) {
1217
            ERR_raise(ERR_LIB_PROV, PROV_R_INVALID_KEY_LENGTH);
1218
            return 0;
1219
        }
1220
    }
1221
    return 1;
1222
}
1223
#endif
1224
1225
static int kdf_tls1_3_derive(void *vctx, unsigned char *key, size_t keylen,
1226
                             const OSSL_PARAM params[])
1227
0
{
1228
0
    KDF_HKDF *ctx = (KDF_HKDF *)vctx;
1229
0
    const EVP_MD *md;
1230
1231
0
    if (!ossl_prov_is_running() || !kdf_tls1_3_set_ctx_params(ctx, params))
1232
0
        return 0;
1233
1234
0
    md = ossl_prov_digest_md(&ctx->digest);
1235
0
    if (md == NULL) {
1236
0
        ERR_raise(ERR_LIB_PROV, PROV_R_MISSING_MESSAGE_DIGEST);
1237
0
        return 0;
1238
0
    }
1239
1240
0
    switch (ctx->mode) {
1241
0
    default:
1242
0
        return 0;
1243
1244
0
    case EVP_KDF_HKDF_MODE_EXTRACT_ONLY:
1245
0
        return prov_tls13_hkdf_generate_secret(PROV_LIBCTX_OF(ctx->provctx),
1246
0
                                               md,
1247
0
                                               ctx->salt, ctx->salt_len,
1248
0
                                               ctx->key, ctx->key_len,
1249
0
                                               ctx->prefix, ctx->prefix_len,
1250
0
                                               ctx->label, ctx->label_len,
1251
0
                                               key, keylen);
1252
1253
0
    case EVP_KDF_HKDF_MODE_EXPAND_ONLY:
1254
0
        return prov_tls13_hkdf_expand(md, ctx->key, ctx->key_len,
1255
0
                                      ctx->prefix, ctx->prefix_len,
1256
0
                                      ctx->label, ctx->label_len,
1257
0
                                      ctx->data, ctx->data_len,
1258
0
                                      key, keylen);
1259
0
    }
1260
0
}
1261
1262
#define kdf_tls1_3_set_ctx_params_st    hkdf_all_set_ctx_params_st
1263
1264
/* Machine generated by util/perl/OpenSSL/paramnames.pm */
1265
#ifndef kdf_tls1_3_set_ctx_params_list
1266
static const OSSL_PARAM kdf_tls1_3_set_ctx_params_list[] = {
1267
    OSSL_PARAM_utf8_string(OSSL_KDF_PARAM_MODE, NULL, 0),
1268
    OSSL_PARAM_int(OSSL_KDF_PARAM_MODE, NULL),
1269
    OSSL_PARAM_utf8_string(OSSL_KDF_PARAM_PROPERTIES, NULL, 0),
1270
    OSSL_PARAM_utf8_string(OSSL_KDF_PARAM_DIGEST, NULL, 0),
1271
    OSSL_PARAM_octet_string(OSSL_KDF_PARAM_KEY, NULL, 0),
1272
    OSSL_PARAM_octet_string(OSSL_KDF_PARAM_SALT, NULL, 0),
1273
    OSSL_PARAM_int(OSSL_KDF_PARAM_FIPS_KEY_CHECK, NULL),
1274
    OSSL_PARAM_int(OSSL_KDF_PARAM_FIPS_DIGEST_CHECK, NULL),
1275
    OSSL_PARAM_octet_string(OSSL_KDF_PARAM_PREFIX, NULL, 0),
1276
    OSSL_PARAM_octet_string(OSSL_KDF_PARAM_LABEL, NULL, 0),
1277
    OSSL_PARAM_octet_string(OSSL_KDF_PARAM_DATA, NULL, 0),
1278
    OSSL_PARAM_END
1279
};
1280
#endif
1281
1282
#ifndef kdf_tls1_3_set_ctx_params_st
1283
struct kdf_tls1_3_set_ctx_params_st {
1284
    OSSL_PARAM *data;
1285
    OSSL_PARAM *digest;
1286
    OSSL_PARAM *engine;
1287
    OSSL_PARAM *ind_d;
1288
    OSSL_PARAM *ind_k;
1289
    OSSL_PARAM *key;
1290
    OSSL_PARAM *label;
1291
    OSSL_PARAM *mode;
1292
    OSSL_PARAM *prefix;
1293
    OSSL_PARAM *propq;
1294
    OSSL_PARAM *salt;
1295
};
1296
#endif
1297
1298
#ifndef kdf_tls1_3_set_ctx_params_decoder
1299
static int kdf_tls1_3_set_ctx_params_decoder
1300
    (const OSSL_PARAM *p, struct kdf_tls1_3_set_ctx_params_st *r)
1301
0
{
1302
0
    const char *s;
1303
1304
0
    memset(r, 0, sizeof(*r));
1305
0
    if (p != NULL)
1306
0
        for (; (s = p->key) != NULL; p++)
1307
0
            switch(s[0]) {
1308
0
            default:
1309
0
                break;
1310
0
            case 'd':
1311
0
                switch(s[1]) {
1312
0
                default:
1313
0
                    break;
1314
0
                case 'a':
1315
0
                    if (ossl_likely(strcmp("ta", s + 2) == 0)) {
1316
0
                        if (ossl_likely(r->data == NULL))
1317
0
                            r->data = (OSSL_PARAM *)p;
1318
0
                    }
1319
0
                    break;
1320
0
                case 'i':
1321
0
                    switch(s[2]) {
1322
0
                    default:
1323
0
                        break;
1324
0
                    case 'g':
1325
0
                        switch(s[3]) {
1326
0
                        default:
1327
0
                            break;
1328
0
                        case 'e':
1329
0
                            switch(s[4]) {
1330
0
                            default:
1331
0
                                break;
1332
0
                            case 's':
1333
0
                                switch(s[5]) {
1334
0
                                default:
1335
0
                                    break;
1336
0
                                case 't':
1337
0
                                    switch(s[6]) {
1338
0
                                    default:
1339
0
                                        break;
1340
0
                                    case '-':
1341
0
                                        if (ossl_likely(strcmp("check", s + 7) == 0)) {
1342
0
                                            if (ossl_likely(r->ind_d == NULL))
1343
0
                                                r->ind_d = (OSSL_PARAM *)p;
1344
0
                                        }
1345
0
                                        break;
1346
0
                                    case '\0':
1347
0
                                        if (ossl_likely(r->digest == NULL))
1348
0
                                            r->digest = (OSSL_PARAM *)p;
1349
0
                                    }
1350
0
                                }
1351
0
                            }
1352
0
                        }
1353
0
                    }
1354
0
                }
1355
0
                break;
1356
0
            case 'e':
1357
0
                if (ossl_likely(strcmp("ngine", s + 1) == 0)) {
1358
0
                    if (ossl_likely(r->engine == NULL))
1359
0
                        r->engine = (OSSL_PARAM *)p;
1360
0
                }
1361
0
                break;
1362
0
            case 'k':
1363
0
                switch(s[1]) {
1364
0
                default:
1365
0
                    break;
1366
0
                case 'e':
1367
0
                    switch(s[2]) {
1368
0
                    default:
1369
0
                        break;
1370
0
                    case 'y':
1371
0
                        switch(s[3]) {
1372
0
                        default:
1373
0
                            break;
1374
0
                        case '-':
1375
0
                            if (ossl_likely(strcmp("check", s + 4) == 0)) {
1376
0
                                if (ossl_likely(r->ind_k == NULL))
1377
0
                                    r->ind_k = (OSSL_PARAM *)p;
1378
0
                            }
1379
0
                            break;
1380
0
                        case '\0':
1381
0
                            if (ossl_likely(r->key == NULL))
1382
0
                                r->key = (OSSL_PARAM *)p;
1383
0
                        }
1384
0
                    }
1385
0
                }
1386
0
                break;
1387
0
            case 'l':
1388
0
                if (ossl_likely(strcmp("abel", s + 1) == 0)) {
1389
0
                    if (ossl_likely(r->label == NULL))
1390
0
                        r->label = (OSSL_PARAM *)p;
1391
0
                }
1392
0
                break;
1393
0
            case 'm':
1394
0
                if (ossl_likely(strcmp("ode", s + 1) == 0)) {
1395
0
                    if (ossl_likely(r->mode == NULL))
1396
0
                        r->mode = (OSSL_PARAM *)p;
1397
0
                }
1398
0
                break;
1399
0
            case 'p':
1400
0
                switch(s[1]) {
1401
0
                default:
1402
0
                    break;
1403
0
                case 'r':
1404
0
                    switch(s[2]) {
1405
0
                    default:
1406
0
                        break;
1407
0
                    case 'e':
1408
0
                        if (ossl_likely(strcmp("fix", s + 3) == 0)) {
1409
0
                            if (ossl_likely(r->prefix == NULL))
1410
0
                                r->prefix = (OSSL_PARAM *)p;
1411
0
                        }
1412
0
                        break;
1413
0
                    case 'o':
1414
0
                        if (ossl_likely(strcmp("perties", s + 3) == 0)) {
1415
0
                            if (ossl_likely(r->propq == NULL))
1416
0
                                r->propq = (OSSL_PARAM *)p;
1417
0
                        }
1418
0
                    }
1419
0
                }
1420
0
                break;
1421
0
            case 's':
1422
0
                if (ossl_likely(strcmp("alt", s + 1) == 0)) {
1423
0
                    if (ossl_likely(r->salt == NULL))
1424
0
                        r->salt = (OSSL_PARAM *)p;
1425
0
                }
1426
0
            }
1427
0
    return 1;
1428
0
}
1429
#endif
1430
/* End of machine generated */
1431
1432
static int kdf_tls1_3_set_ctx_params(void *vctx, const OSSL_PARAM params[])
1433
0
{
1434
0
    struct hkdf_all_set_ctx_params_st p;
1435
0
    KDF_HKDF *ctx = vctx;
1436
1437
0
    if (ctx == NULL || !kdf_tls1_3_set_ctx_params_decoder(params, &p))
1438
0
        return 0;
1439
1440
0
    if (!OSSL_FIPS_IND_SET_CTX_FROM_PARAM(ctx, OSSL_FIPS_IND_SETTABLE0, p.ind_d))
1441
0
        return 0;
1442
0
    if (!OSSL_FIPS_IND_SET_CTX_FROM_PARAM(ctx, OSSL_FIPS_IND_SETTABLE1, p.ind_k))
1443
0
        return 0;
1444
1445
0
    if (!hkdf_common_set_ctx_params(ctx, &p))
1446
0
        return 0;
1447
1448
0
    if (ctx->mode == EVP_KDF_HKDF_MODE_EXTRACT_AND_EXPAND) {
1449
0
        ERR_raise(ERR_LIB_PROV, PROV_R_INVALID_MODE);
1450
0
        return 0;
1451
0
    }
1452
1453
0
    if (p.prefix != NULL) {
1454
0
        OPENSSL_free(ctx->prefix);
1455
0
        ctx->prefix = NULL;
1456
0
        if (!OSSL_PARAM_get_octet_string(p.prefix, (void **)&ctx->prefix, 0,
1457
0
                                         &ctx->prefix_len))
1458
0
            return 0;
1459
0
    }
1460
1461
0
    if (p.label != NULL) {
1462
0
        OPENSSL_free(ctx->label);
1463
0
        ctx->label = NULL;
1464
0
        if (!OSSL_PARAM_get_octet_string(p.label, (void **)&ctx->label, 0,
1465
0
                                         &ctx->label_len))
1466
0
            return 0;
1467
0
    }
1468
1469
0
    if (p.data != NULL) {
1470
0
        OPENSSL_clear_free(ctx->data, ctx->data_len);
1471
0
        ctx->data = NULL;
1472
0
        if (!OSSL_PARAM_get_octet_string(p.data, (void **)&ctx->data, 0,
1473
0
                                         &ctx->data_len))
1474
0
            return 0;
1475
0
    }
1476
1477
#ifdef FIPS_MODULE
1478
    if (p.digest != NULL) {
1479
        const EVP_MD *md = ossl_prov_digest_md(&ctx->digest);
1480
1481
        if (!fips_tls1_3_digest_check_passed(ctx, md))
1482
            return 0;
1483
    }
1484
1485
    if (p.key != NULL)
1486
        if (!fips_tls1_3_key_check_passed(ctx))
1487
            return 0;
1488
#endif
1489
1490
0
    return 1;
1491
0
}
1492
1493
static const OSSL_PARAM *kdf_tls1_3_settable_ctx_params(ossl_unused void *ctx,
1494
                                                        ossl_unused void *provctx)
1495
0
{
1496
0
    return kdf_tls1_3_set_ctx_params_list;
1497
0
}
1498
1499
const OSSL_DISPATCH ossl_kdf_tls1_3_kdf_functions[] = {
1500
    { OSSL_FUNC_KDF_NEWCTX, (void(*)(void))kdf_hkdf_new },
1501
    { OSSL_FUNC_KDF_DUPCTX, (void(*)(void))kdf_hkdf_dup },
1502
    { OSSL_FUNC_KDF_FREECTX, (void(*)(void))kdf_hkdf_free },
1503
    { OSSL_FUNC_KDF_RESET, (void(*)(void))kdf_hkdf_reset },
1504
    { OSSL_FUNC_KDF_DERIVE, (void(*)(void))kdf_tls1_3_derive },
1505
    { OSSL_FUNC_KDF_SETTABLE_CTX_PARAMS,
1506
      (void(*)(void))kdf_tls1_3_settable_ctx_params },
1507
    { OSSL_FUNC_KDF_SET_CTX_PARAMS, (void(*)(void))kdf_tls1_3_set_ctx_params },
1508
    { OSSL_FUNC_KDF_GETTABLE_CTX_PARAMS,
1509
      (void(*)(void))hkdf_gettable_ctx_params },
1510
    { OSSL_FUNC_KDF_GET_CTX_PARAMS, (void(*)(void))hkdf_common_get_ctx_params },
1511
    OSSL_DISPATCH_END
1512
};