Home | History | Annotate | Line # | Download | only in kdfs
      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 #include "prov/securitycheck.h"
     47 #include "internal/e_os.h"
     48 #include "internal/params.h"
     49 
     50 #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     OSSL_FIPS_IND_DECLARE
     77 } KBKDF;
     78 
     79 /* Definitions needed for typechecking. */
     80 static OSSL_FUNC_kdf_newctx_fn kbkdf_new;
     81 static OSSL_FUNC_kdf_dupctx_fn kbkdf_dup;
     82 static OSSL_FUNC_kdf_freectx_fn kbkdf_free;
     83 static OSSL_FUNC_kdf_reset_fn kbkdf_reset;
     84 static OSSL_FUNC_kdf_derive_fn kbkdf_derive;
     85 static OSSL_FUNC_kdf_settable_ctx_params_fn kbkdf_settable_ctx_params;
     86 static OSSL_FUNC_kdf_set_ctx_params_fn kbkdf_set_ctx_params;
     87 static OSSL_FUNC_kdf_gettable_ctx_params_fn kbkdf_gettable_ctx_params;
     88 static OSSL_FUNC_kdf_get_ctx_params_fn kbkdf_get_ctx_params;
     89 
     90 /* Not all platforms have htobe32(). */
     91 static uint32_t be32(uint32_t host)
     92 {
     93     uint32_t big = 0;
     94     DECLARE_IS_ENDIAN;
     95 
     96     if (!IS_LITTLE_ENDIAN)
     97         return host;
     98 
     99     big |= (host & 0xff000000) >> 24;
    100     big |= (host & 0x00ff0000) >> 8;
    101     big |= (host & 0x0000ff00) << 8;
    102     big |= (host & 0x000000ff) << 24;
    103     return big;
    104 }
    105 
    106 static void init(KBKDF *ctx)
    107 {
    108     ctx->r = 32;
    109     ctx->use_l = 1;
    110     ctx->use_separator = 1;
    111     ctx->is_kmac = 0;
    112 }
    113 
    114 static void *kbkdf_new(void *provctx)
    115 {
    116     KBKDF *ctx;
    117 
    118     if (!ossl_prov_is_running())
    119         return NULL;
    120 
    121     ctx = OPENSSL_zalloc(sizeof(*ctx));
    122     if (ctx == NULL)
    123         return NULL;
    124 
    125     ctx->provctx = provctx;
    126     OSSL_FIPS_IND_INIT(ctx)
    127     init(ctx);
    128     return ctx;
    129 }
    130 
    131 static void kbkdf_free(void *vctx)
    132 {
    133     KBKDF *ctx = (KBKDF *)vctx;
    134 
    135     if (ctx != NULL) {
    136         kbkdf_reset(ctx);
    137         OPENSSL_free(ctx);
    138     }
    139 }
    140 
    141 static void kbkdf_reset(void *vctx)
    142 {
    143     KBKDF *ctx = (KBKDF *)vctx;
    144     void *provctx = ctx->provctx;
    145 
    146     EVP_MAC_CTX_free(ctx->ctx_init);
    147     OPENSSL_clear_free(ctx->context, ctx->context_len);
    148     OPENSSL_clear_free(ctx->label, ctx->label_len);
    149     OPENSSL_clear_free(ctx->ki, ctx->ki_len);
    150     OPENSSL_clear_free(ctx->iv, ctx->iv_len);
    151     memset(ctx, 0, sizeof(*ctx));
    152     ctx->provctx = provctx;
    153     init(ctx);
    154 }
    155 
    156 static void *kbkdf_dup(void *vctx)
    157 {
    158     const KBKDF *src = (const KBKDF *)vctx;
    159     KBKDF *dest;
    160 
    161     dest = kbkdf_new(src->provctx);
    162     if (dest != NULL) {
    163         dest->ctx_init = EVP_MAC_CTX_dup(src->ctx_init);
    164         if (dest->ctx_init == NULL
    165             || !ossl_prov_memdup(src->ki, src->ki_len,
    166                 &dest->ki, &dest->ki_len)
    167             || !ossl_prov_memdup(src->label, src->label_len,
    168                 &dest->label, &dest->label_len)
    169             || !ossl_prov_memdup(src->context, src->context_len,
    170                 &dest->context, &dest->context_len)
    171             || !ossl_prov_memdup(src->iv, src->iv_len,
    172                 &dest->iv, &dest->iv_len))
    173             goto err;
    174         dest->mode = src->mode;
    175         dest->r = src->r;
    176         dest->use_l = src->use_l;
    177         dest->use_separator = src->use_separator;
    178         dest->is_kmac = src->is_kmac;
    179         OSSL_FIPS_IND_COPY(dest, src)
    180     }
    181     return dest;
    182 
    183 err:
    184     kbkdf_free(dest);
    185     return NULL;
    186 }
    187 
    188 #ifdef FIPS_MODULE
    189 static int fips_kbkdf_key_check_passed(KBKDF *ctx)
    190 {
    191     OSSL_LIB_CTX *libctx = PROV_LIBCTX_OF(ctx->provctx);
    192     int key_approved = ossl_kdf_check_key_size(ctx->ki_len);
    193 
    194     if (!key_approved) {
    195         if (!OSSL_FIPS_IND_ON_UNAPPROVED(ctx, OSSL_FIPS_IND_SETTABLE0,
    196                 libctx, "KBKDF", "Key size",
    197                 ossl_fips_config_kbkdf_key_check)) {
    198             ERR_raise(ERR_LIB_PROV, PROV_R_INVALID_KEY_LENGTH);
    199             return 0;
    200         }
    201     }
    202     return 1;
    203 }
    204 #endif
    205 
    206 /* SP800-108 section 5.1 or section 5.2 depending on mode. */
    207 static int derive(EVP_MAC_CTX *ctx_init, kbkdf_mode mode, unsigned char *iv,
    208     size_t iv_len, unsigned char *label, size_t label_len,
    209     unsigned char *context, size_t context_len,
    210     unsigned char *k_i, size_t h, uint32_t l, int has_separator,
    211     unsigned char *ko, size_t ko_len, int r)
    212 {
    213     int ret = 0;
    214     EVP_MAC_CTX *ctx = NULL;
    215     size_t written = 0, to_write, k_i_len = iv_len;
    216     const unsigned char zero = 0;
    217     uint32_t counter, i;
    218     /*
    219      * From SP800-108:
    220      * The fixed input data is a concatenation of a Label,
    221      * a separation indicator 0x00, the Context, and L.
    222      * One or more of these fixed input data fields may be omitted.
    223      *
    224      * has_separator == 0 means that the separator is omitted.
    225      * Passing a value of l == 0 means that L is omitted.
    226      * The Context and L are omitted automatically if a NULL buffer is passed.
    227      */
    228     int has_l = (l != 0);
    229 
    230     /* Setup K(0) for feedback mode. */
    231     if (iv_len > 0)
    232         memcpy(k_i, iv, iv_len);
    233 
    234     for (counter = 1; written < ko_len; counter++) {
    235         i = be32(counter);
    236 
    237         ctx = EVP_MAC_CTX_dup(ctx_init);
    238         if (ctx == NULL)
    239             goto done;
    240 
    241         /* Perform feedback, if appropriate. */
    242         if (mode == FEEDBACK && !EVP_MAC_update(ctx, k_i, k_i_len))
    243             goto done;
    244 
    245         if (!EVP_MAC_update(ctx, 4 - (r / 8) + (unsigned char *)&i, r / 8)
    246             || !EVP_MAC_update(ctx, label, label_len)
    247             || (has_separator && !EVP_MAC_update(ctx, &zero, 1))
    248             || !EVP_MAC_update(ctx, context, context_len)
    249             || (has_l && !EVP_MAC_update(ctx, (unsigned char *)&l, 4))
    250             || !EVP_MAC_final(ctx, k_i, NULL, h))
    251             goto done;
    252 
    253         to_write = ko_len - written;
    254         memcpy(ko + written, k_i, ossl_min(to_write, h));
    255         written += h;
    256 
    257         k_i_len = h;
    258         EVP_MAC_CTX_free(ctx);
    259         ctx = NULL;
    260     }
    261 
    262     ret = 1;
    263 done:
    264     EVP_MAC_CTX_free(ctx);
    265     return ret;
    266 }
    267 
    268 /* This must be run before the key is set */
    269 static int kmac_init(EVP_MAC_CTX *ctx, const unsigned char *custom, size_t customlen)
    270 {
    271     OSSL_PARAM params[2];
    272 
    273     if (custom == NULL || customlen == 0)
    274         return 1;
    275     params[0] = OSSL_PARAM_construct_octet_string(OSSL_MAC_PARAM_CUSTOM,
    276         (void *)custom, customlen);
    277     params[1] = OSSL_PARAM_construct_end();
    278     return EVP_MAC_CTX_set_params(ctx, params) > 0;
    279 }
    280 
    281 static int kmac_derive(EVP_MAC_CTX *ctx, unsigned char *out, size_t outlen,
    282     const unsigned char *context, size_t contextlen)
    283 {
    284     OSSL_PARAM params[2];
    285 
    286     params[0] = OSSL_PARAM_construct_size_t(OSSL_MAC_PARAM_SIZE, &outlen);
    287     params[1] = OSSL_PARAM_construct_end();
    288     return EVP_MAC_CTX_set_params(ctx, params) > 0
    289         && EVP_MAC_update(ctx, context, contextlen)
    290         && EVP_MAC_final(ctx, out, NULL, outlen);
    291 }
    292 
    293 static int kbkdf_derive(void *vctx, unsigned char *key, size_t keylen,
    294     const OSSL_PARAM params[])
    295 {
    296     KBKDF *ctx = (KBKDF *)vctx;
    297     int ret = 0;
    298     unsigned char *k_i = NULL;
    299     uint32_t l = 0;
    300     size_t h = 0;
    301     uint64_t counter_max;
    302 
    303     if (!ossl_prov_is_running() || !kbkdf_set_ctx_params(ctx, params))
    304         return 0;
    305 
    306     /* label, context, and iv are permitted to be empty.  Check everything
    307      * else. */
    308     if (ctx->ctx_init == NULL) {
    309         if (ctx->ki_len == 0 || ctx->ki == NULL) {
    310             ERR_raise(ERR_LIB_PROV, PROV_R_NO_KEY_SET);
    311             return 0;
    312         }
    313         /* Could either be missing MAC or missing message digest or missing
    314          * cipher - arbitrarily, I pick this one. */
    315         ERR_raise(ERR_LIB_PROV, PROV_R_MISSING_MAC);
    316         return 0;
    317     }
    318 
    319     /* Fail if the output length is zero */
    320     if (keylen == 0) {
    321         ERR_raise(ERR_LIB_PROV, PROV_R_INVALID_KEY_LENGTH);
    322         return 0;
    323     }
    324 
    325     if (ctx->is_kmac) {
    326         ret = kmac_derive(ctx->ctx_init, key, keylen,
    327             ctx->context, ctx->context_len);
    328         goto done;
    329     }
    330 
    331     h = EVP_MAC_CTX_get_mac_size(ctx->ctx_init);
    332     if (h == 0)
    333         goto done;
    334 
    335     if (ctx->iv_len != 0 && ctx->iv_len != h) {
    336         ERR_raise(ERR_LIB_PROV, PROV_R_INVALID_SEED_LENGTH);
    337         goto done;
    338     }
    339 
    340     if (ctx->mode == COUNTER) {
    341         /* Fail if keylen is too large for r */
    342         counter_max = (uint64_t)1 << (uint64_t)ctx->r;
    343         if ((uint64_t)(keylen / h) >= counter_max) {
    344             ERR_raise(ERR_LIB_PROV, PROV_R_INVALID_KEY_LENGTH);
    345             goto done;
    346         }
    347     }
    348 
    349     if (ctx->use_l != 0)
    350         l = be32(keylen * 8);
    351 
    352     k_i = OPENSSL_zalloc(h);
    353     if (k_i == NULL)
    354         goto done;
    355 
    356     ret = derive(ctx->ctx_init, ctx->mode, ctx->iv, ctx->iv_len, ctx->label,
    357         ctx->label_len, ctx->context, ctx->context_len, k_i, h, l,
    358         ctx->use_separator, key, keylen, ctx->r);
    359 done:
    360     if (ret != 1)
    361         OPENSSL_cleanse(key, keylen);
    362     OPENSSL_clear_free(k_i, h);
    363     return ret;
    364 }
    365 
    366 static int kbkdf_set_ctx_params(void *vctx, const OSSL_PARAM params[])
    367 {
    368     KBKDF *ctx = (KBKDF *)vctx;
    369     OSSL_LIB_CTX *libctx = PROV_LIBCTX_OF(ctx->provctx);
    370     const OSSL_PARAM *p;
    371 
    372     if (ossl_param_is_empty(params))
    373         return 1;
    374 
    375     if (!OSSL_FIPS_IND_SET_CTX_PARAM(ctx, OSSL_FIPS_IND_SETTABLE0, params,
    376             OSSL_KDF_PARAM_FIPS_KEY_CHECK))
    377         return 0;
    378 
    379     if (!ossl_prov_macctx_load_from_params(&ctx->ctx_init, params, NULL,
    380             NULL, NULL, libctx))
    381         return 0;
    382     if (ctx->ctx_init != NULL) {
    383         ctx->is_kmac = 0;
    384         if (EVP_MAC_is_a(EVP_MAC_CTX_get0_mac(ctx->ctx_init),
    385                 OSSL_MAC_NAME_KMAC128)
    386             || EVP_MAC_is_a(EVP_MAC_CTX_get0_mac(ctx->ctx_init),
    387                 OSSL_MAC_NAME_KMAC256)) {
    388             ctx->is_kmac = 1;
    389         } else if (!EVP_MAC_is_a(EVP_MAC_CTX_get0_mac(ctx->ctx_init),
    390                        OSSL_MAC_NAME_HMAC)
    391             && !EVP_MAC_is_a(EVP_MAC_CTX_get0_mac(ctx->ctx_init),
    392                 OSSL_MAC_NAME_CMAC)) {
    393             ERR_raise(ERR_LIB_PROV, PROV_R_INVALID_MAC);
    394             return 0;
    395         }
    396     }
    397 
    398     p = OSSL_PARAM_locate_const(params, OSSL_KDF_PARAM_MODE);
    399     if (p != NULL
    400         && OPENSSL_strncasecmp("counter", p->data, p->data_size) == 0) {
    401         ctx->mode = COUNTER;
    402     } else if (p != NULL
    403         && OPENSSL_strncasecmp("feedback", p->data, p->data_size) == 0) {
    404         ctx->mode = FEEDBACK;
    405     } else if (p != NULL) {
    406         ERR_raise(ERR_LIB_PROV, PROV_R_INVALID_MODE);
    407         return 0;
    408     }
    409 
    410     p = OSSL_PARAM_locate_const(params, OSSL_KDF_PARAM_KEY);
    411     if (p != NULL) {
    412         if (ossl_param_get1_octet_string(p, OSSL_KDF_PARAM_KEY,
    413                 &ctx->ki, &ctx->ki_len)
    414             == 0)
    415             return 0;
    416 #ifdef FIPS_MODULE
    417         if (!fips_kbkdf_key_check_passed(ctx))
    418             return 0;
    419 #endif
    420     }
    421 
    422     if (ossl_param_get1_octet_string(params, OSSL_KDF_PARAM_SALT,
    423             &ctx->label, &ctx->label_len)
    424         == 0)
    425         return 0;
    426 
    427     if (ossl_param_get1_concat_octet_string(params, OSSL_KDF_PARAM_INFO,
    428             &ctx->context, &ctx->context_len,
    429             0)
    430         == 0)
    431         return 0;
    432 
    433     if (ossl_param_get1_octet_string(params, OSSL_KDF_PARAM_SEED,
    434             &ctx->iv, &ctx->iv_len)
    435         == 0)
    436         return 0;
    437 
    438     p = OSSL_PARAM_locate_const(params, OSSL_KDF_PARAM_KBKDF_USE_L);
    439     if (p != NULL && !OSSL_PARAM_get_int(p, &ctx->use_l))
    440         return 0;
    441 
    442     p = OSSL_PARAM_locate_const(params, OSSL_KDF_PARAM_KBKDF_R);
    443     if (p != NULL) {
    444         int new_r = 0;
    445 
    446         if (!OSSL_PARAM_get_int(p, &new_r))
    447             return 0;
    448         if (new_r != 8 && new_r != 16 && new_r != 24 && new_r != 32)
    449             return 0;
    450         ctx->r = new_r;
    451     }
    452 
    453     p = OSSL_PARAM_locate_const(params, OSSL_KDF_PARAM_KBKDF_USE_SEPARATOR);
    454     if (p != NULL && !OSSL_PARAM_get_int(p, &ctx->use_separator))
    455         return 0;
    456 
    457     /* Set up digest context, if we can. */
    458     if (ctx->ctx_init != NULL && ctx->ki_len != 0) {
    459         if ((ctx->is_kmac && !kmac_init(ctx->ctx_init, ctx->label, ctx->label_len))
    460             || !EVP_MAC_init(ctx->ctx_init, ctx->ki, ctx->ki_len, NULL))
    461             return 0;
    462     }
    463     return 1;
    464 }
    465 
    466 static const OSSL_PARAM *kbkdf_settable_ctx_params(ossl_unused void *ctx,
    467     ossl_unused void *provctx)
    468 {
    469     static const OSSL_PARAM known_settable_ctx_params[] = {
    470         OSSL_PARAM_octet_string(OSSL_KDF_PARAM_INFO, NULL, 0),
    471         OSSL_PARAM_octet_string(OSSL_KDF_PARAM_SALT, NULL, 0),
    472         OSSL_PARAM_octet_string(OSSL_KDF_PARAM_KEY, NULL, 0),
    473         OSSL_PARAM_octet_string(OSSL_KDF_PARAM_SEED, NULL, 0),
    474         OSSL_PARAM_utf8_string(OSSL_KDF_PARAM_DIGEST, NULL, 0),
    475         OSSL_PARAM_utf8_string(OSSL_KDF_PARAM_CIPHER, NULL, 0),
    476         OSSL_PARAM_utf8_string(OSSL_KDF_PARAM_MAC, NULL, 0),
    477         OSSL_PARAM_utf8_string(OSSL_KDF_PARAM_MODE, NULL, 0),
    478         OSSL_PARAM_utf8_string(OSSL_KDF_PARAM_PROPERTIES, NULL, 0),
    479         OSSL_PARAM_int(OSSL_KDF_PARAM_KBKDF_USE_L, NULL),
    480         OSSL_PARAM_int(OSSL_KDF_PARAM_KBKDF_USE_SEPARATOR, NULL),
    481         OSSL_PARAM_int(OSSL_KDF_PARAM_KBKDF_R, NULL),
    482         OSSL_FIPS_IND_SETTABLE_CTX_PARAM(OSSL_KDF_PARAM_FIPS_KEY_CHECK)
    483             OSSL_PARAM_END,
    484     };
    485     return known_settable_ctx_params;
    486 }
    487 
    488 static int kbkdf_get_ctx_params(void *vctx, OSSL_PARAM params[])
    489 {
    490 #ifdef FIPS_MODULE
    491     KBKDF *ctx = (KBKDF *)vctx;
    492 #endif
    493     OSSL_PARAM *p;
    494 
    495     /* KBKDF can produce results as large as you like. */
    496     p = OSSL_PARAM_locate(params, OSSL_KDF_PARAM_SIZE);
    497     if (p != NULL && !OSSL_PARAM_set_size_t(p, SIZE_MAX))
    498         return 0;
    499 
    500     if (!OSSL_FIPS_IND_GET_CTX_PARAM(ctx, params))
    501         return 0;
    502     return 1;
    503 }
    504 
    505 static const OSSL_PARAM *kbkdf_gettable_ctx_params(ossl_unused void *ctx,
    506     ossl_unused void *provctx)
    507 {
    508     static const OSSL_PARAM known_gettable_ctx_params[] = {
    509         OSSL_PARAM_size_t(OSSL_KDF_PARAM_SIZE, NULL),
    510         OSSL_FIPS_IND_GETTABLE_CTX_PARAM()
    511             OSSL_PARAM_END
    512     };
    513     return known_gettable_ctx_params;
    514 }
    515 
    516 const OSSL_DISPATCH ossl_kdf_kbkdf_functions[] = {
    517     { OSSL_FUNC_KDF_NEWCTX, (void (*)(void))kbkdf_new },
    518     { OSSL_FUNC_KDF_DUPCTX, (void (*)(void))kbkdf_dup },
    519     { OSSL_FUNC_KDF_FREECTX, (void (*)(void))kbkdf_free },
    520     { OSSL_FUNC_KDF_RESET, (void (*)(void))kbkdf_reset },
    521     { OSSL_FUNC_KDF_DERIVE, (void (*)(void))kbkdf_derive },
    522     { OSSL_FUNC_KDF_SETTABLE_CTX_PARAMS,
    523         (void (*)(void))kbkdf_settable_ctx_params },
    524     { OSSL_FUNC_KDF_SET_CTX_PARAMS, (void (*)(void))kbkdf_set_ctx_params },
    525     { OSSL_FUNC_KDF_GETTABLE_CTX_PARAMS,
    526         (void (*)(void))kbkdf_gettable_ctx_params },
    527     { OSSL_FUNC_KDF_GET_CTX_PARAMS, (void (*)(void))kbkdf_get_ctx_params },
    528     OSSL_DISPATCH_END,
    529 };
    530