crypto/rsa/rsa_backend.c

   1 /*
   2  * Copyright 2020-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  * RSA low level APIs are deprecated for public use, but still ok for
  12  * internal use.
  13  */
  14 #include "internal/deprecated.h"
  15
  16 #include <string.h>
  17 #include <openssl/core_names.h>
  18 #include <openssl/params.h>
  19 #include <openssl/err.h>
  20 #include <openssl/evp.h>
  21 #ifndef FIPS_MODULE
  22 # include <openssl/x509.h>
  23 # include "crypto/asn1.h"
  24 #endif
  25 #include "internal/sizes.h"
  26 #include "internal/param_build_set.h"
  27 #include "crypto/rsa.h"
  28 #include "rsa_local.h"
  29
  30 /*
  31  * The intention with the "backend" source file is to offer backend support
  32  * for legacy backends (EVP_PKEY_ASN1_METHOD and EVP_PKEY_METHOD) and provider
  33  * implementations alike.
  34  */
  35
  36 DEFINE_STACK_OF(BIGNUM)
  37
  38 static int collect_numbers(STACK_OF(BIGNUM) *numbers,
  39                            const OSSL_PARAM params[], const char *names[])
  40 {
  41     const OSSL_PARAM *p = NULL;
  42     int i;
  43
  44     if (numbers == NULL)
  45         return 0;
  46
  47     for (i = 0; names[i] != NULL; i++) {
  48         p = OSSL_PARAM_locate_const(params, names[i]);
  49         if (p != NULL) {
  50             BIGNUM *tmp = NULL;
  51
  52             if (!OSSL_PARAM_get_BN(p, &tmp))
  53                 return 0;
  54             if (sk_BIGNUM_push(numbers, tmp) == 0) {
  55                 BN_clear_free(tmp);
  56                 return 0;
  57             }
  58         }
  59     }
  60
  61     return 1;
  62 }
  63
  64 int ossl_rsa_fromdata(RSA *rsa, const OSSL_PARAM params[], int include_private)
  65 {
  66     const OSSL_PARAM *param_n, *param_e,  *param_d = NULL;
  67     const OSSL_PARAM *param_p, *param_q = NULL;
  68     const OSSL_PARAM *param_derive = NULL;
  69     BIGNUM *p = NULL, *q = NULL, *n = NULL, *e = NULL, *d = NULL;
  70     STACK_OF(BIGNUM) *factors = NULL, *exps = NULL, *coeffs = NULL;
  71     int is_private = 0;
  72     int derive_from_pq = 0;
  73     BN_CTX *ctx = NULL;
  74
  75     if (rsa == NULL)
  76         return 0;
  77
  78     param_n = OSSL_PARAM_locate_const(params, OSSL_PKEY_PARAM_RSA_N);
  79     param_e = OSSL_PARAM_locate_const(params, OSSL_PKEY_PARAM_RSA_E);
  80
  81     if ((param_n == NULL || !OSSL_PARAM_get_BN(param_n, &n))
  82         || (param_e == NULL || !OSSL_PARAM_get_BN(param_e, &e))) {
  83         ERR_raise(ERR_LIB_RSA, ERR_R_PASSED_NULL_PARAMETER);
  84         goto err;
  85     }
  86
  87     if (include_private) {
  88
  89         param_derive = OSSL_PARAM_locate_const(params,
  90                                            OSSL_PKEY_PARAM_RSA_DERIVE_FROM_PQ);
  91         if ((param_derive != NULL)
  92             && !OSSL_PARAM_get_int(param_derive, &derive_from_pq))
  93             goto err;
  94
  95         param_d = OSSL_PARAM_locate_const(params, OSSL_PKEY_PARAM_RSA_D);
  96         if (param_d != NULL && !OSSL_PARAM_get_BN(param_d, &d)) {
  97             ERR_raise(ERR_LIB_RSA, ERR_R_PASSED_NULL_PARAMETER);
  98             goto err;
  99         }
 100
 101         if (derive_from_pq) {
 102             ctx = BN_CTX_new_ex(rsa->libctx);
 103             if (ctx == NULL)
 104                 goto err;
 105
 106             /* we need at minimum p, q */
 107             param_p = OSSL_PARAM_locate_const(params, OSSL_PKEY_PARAM_RSA_FACTOR1);
 108             param_q = OSSL_PARAM_locate_const(params, OSSL_PKEY_PARAM_RSA_FACTOR2);
 109             if ((param_p == NULL || !OSSL_PARAM_get_BN(param_p, &p))
 110                 || (param_q == NULL || !OSSL_PARAM_get_BN(param_q, &q))) {
 111                 ERR_raise(ERR_LIB_RSA, ERR_R_PASSED_NULL_PARAMETER);
 112                 goto err;
 113             }
 114
 115         }
 116     }
 117
 118     is_private = (d != NULL);
 119
 120     if (!RSA_set0_key(rsa, n, e, d))
 121         goto err;
 122     n = e = d = NULL;
 123
 124     if (is_private) {
 125         if (!collect_numbers(factors = sk_BIGNUM_new_null(), params,
 126                              ossl_rsa_mp_factor_names)
 127             || !collect_numbers(exps = sk_BIGNUM_new_null(), params,
 128                                 ossl_rsa_mp_exp_names)
 129             || !collect_numbers(coeffs = sk_BIGNUM_new_null(), params,
 130                                 ossl_rsa_mp_coeff_names))
 131             goto err;
 132
 133         if (derive_from_pq && sk_BIGNUM_num(exps) == 0
 134             && sk_BIGNUM_num(coeffs) == 0) {
 135             /*
 136              * If we want to use crt to derive our exponents/coefficients, we
 137              * need to have at least 2 factors
 138              */
 139             if (sk_BIGNUM_num(factors) < 2) {
 140                 ERR_raise(ERR_LIB_RSA, ERR_R_PASSED_NULL_PARAMETER);
 141                 goto err;
 142             }
 143
 144             /*
 145              * if we have more than two factors, n and d must also have
 146              * been provided
 147              */
 148             if (sk_BIGNUM_num(factors) > 2
 149                 && (param_n == NULL || param_d == NULL)) {
 150                 ERR_raise(ERR_LIB_RSA, ERR_R_PASSED_NULL_PARAMETER);
 151                 goto err;
 152             }
 153
 154             /* build our exponents and coefficients here */
 155             if (sk_BIGNUM_num(factors) == 2) {
 156                 /* for 2 factors we can use the sp800 functions to do this */
 157                 if (!RSA_set0_factors(rsa, sk_BIGNUM_value(factors, 0),
 158                                       sk_BIGNUM_value(factors, 1))) {
 159                     ERR_raise(ERR_LIB_RSA, ERR_R_INTERNAL_ERROR);
 160                     goto err;
 161                 }
 162                 /*
 163                  * once consumed by RSA_set0_factors, pop those off the stack
 164                  * so we don't free them below
 165                  */
 166                 sk_BIGNUM_pop(factors);
 167                 sk_BIGNUM_pop(factors);
 168
 169                 /*
 170                  * Note: Because we only have 2 factors here, there will be no
 171                  * additional pinfo fields to hold additional factors, and
 172                  * since we set our key and 2 factors above we can skip
 173                  * the call to ossl_rsa_set0_all_params
 174                  */
 175                 if (!ossl_rsa_sp800_56b_derive_params_from_pq(rsa,
 176                                                               RSA_bits(rsa),
 177                                                               NULL, ctx)) {
 178                     ERR_raise(ERR_LIB_RSA, ERR_R_INTERNAL_ERROR);
 179                     goto err;
 180                 }
 181             } else {
 182 #ifndef FIPS_MODULE
 183                 /*
 184                  * in the multiprime case we have to generate exps/coeffs here
 185                  * for each additional prime
 186                  */
 187                 if (!ossl_rsa_multiprime_derive(rsa, RSA_bits(rsa),
 188                                                 sk_BIGNUM_num(factors),
 189                                                 rsa->e, factors, exps,
 190                                                 coeffs)) {
 191                     ERR_raise(ERR_LIB_RSA, ERR_R_INTERNAL_ERROR);
 192                     goto err;
 193                 }
 194
 195                 /*
 196                  * Now we should have all our factors, exponents and
 197                  * coefficients
 198                  */
 199                 if (!ossl_rsa_set0_all_params(rsa, factors, exps, coeffs)) {
 200                     ERR_raise(ERR_LIB_RSA, ERR_R_INTERNAL_ERROR);
 201                     goto err;
 202                 }
 203
 204 #else
 205                 /* multiprime case is disallowed in FIPS mode, raise an error */
 206                 ERR_raise(ERR_LIB_RSA, ERR_R_UNSUPPORTED);
 207                 goto err;
 208 #endif
 209             }
 210
 211         } else {
 212             /*
 213              * It's ok if this private key just has n, e and d
 214              * but only if we're not using derive_from_pq
 215              */
 216             if (sk_BIGNUM_num(factors) != 0
 217                 && !ossl_rsa_set0_all_params(rsa, factors, exps, coeffs))
 218                 goto err;
 219         }
 220         /* sanity check to ensure we used everything in our stacks */
 221         if (sk_BIGNUM_num(factors) != 0
 222             || sk_BIGNUM_num(exps) != 0
 223             || sk_BIGNUM_num(coeffs) != 0) {
 224             ERR_raise_data(ERR_LIB_RSA, ERR_R_INTERNAL_ERROR,
 225                            "There are %d, %d, %d elements left on our factors, exps, coeffs stacks\n",
 226                            sk_BIGNUM_num(factors), sk_BIGNUM_num(exps),
 227                            sk_BIGNUM_num(coeffs));
 228             goto err;
 229         }
 230     }
 231
 232     BN_clear_free(p);
 233     BN_clear_free(q);
 234     sk_BIGNUM_free(factors);
 235     sk_BIGNUM_free(exps);
 236     sk_BIGNUM_free(coeffs);
 237     BN_CTX_free(ctx);
 238     return 1;
 239
 240  err:
 241     BN_free(n);
 242     BN_free(e);
 243     BN_free(d);
 244     sk_BIGNUM_pop_free(factors, BN_clear_free);
 245     sk_BIGNUM_pop_free(exps, BN_clear_free);
 246     sk_BIGNUM_pop_free(coeffs, BN_clear_free);
 247     BN_CTX_free(ctx);
 248     return 0;
 249 }
 250
 251 DEFINE_SPECIAL_STACK_OF_CONST(BIGNUM_const, BIGNUM)
 252
 253 int ossl_rsa_todata(RSA *rsa, OSSL_PARAM_BLD *bld, OSSL_PARAM params[],
 254                     int include_private)
 255 {
 256     int ret = 0;
 257     const BIGNUM *rsa_d = NULL, *rsa_n = NULL, *rsa_e = NULL;
 258     STACK_OF(BIGNUM_const) *factors = sk_BIGNUM_const_new_null();
 259     STACK_OF(BIGNUM_const) *exps = sk_BIGNUM_const_new_null();
 260     STACK_OF(BIGNUM_const) *coeffs = sk_BIGNUM_const_new_null();
 261
 262     if (rsa == NULL || factors == NULL || exps == NULL || coeffs == NULL)
 263         goto err;
 264
 265     RSA_get0_key(rsa, &rsa_n, &rsa_e, &rsa_d);
 266     ossl_rsa_get0_all_params(rsa, factors, exps, coeffs);
 267
 268     if (!ossl_param_build_set_bn(bld, params, OSSL_PKEY_PARAM_RSA_N, rsa_n)
 269         || !ossl_param_build_set_bn(bld, params, OSSL_PKEY_PARAM_RSA_E, rsa_e))
 270         goto err;
 271
 272     /* Check private key data integrity */
 273     if (include_private && rsa_d != NULL) {
 274
 275         if (!ossl_param_build_set_bn(bld, params, OSSL_PKEY_PARAM_RSA_D,
 276                                      rsa_d)
 277             || !ossl_param_build_set_multi_key_bn(bld, params,
 278                                                   ossl_rsa_mp_factor_names,
 279                                                   factors)
 280             || !ossl_param_build_set_multi_key_bn(bld, params,
 281                                                   ossl_rsa_mp_exp_names, exps)
 282             || !ossl_param_build_set_multi_key_bn(bld, params,
 283                                                   ossl_rsa_mp_coeff_names,
 284                                                   coeffs))
 285             goto err;
 286     }
 287
 288 #if defined(FIPS_MODULE) && !defined(OPENSSL_NO_ACVP_TESTS)
 289     /* The acvp test results are not meant for export so check for bld == NULL */
 290     if (bld == NULL)
 291         ossl_rsa_acvp_test_get_params(rsa, params);
 292 #endif
 293     ret = 1;
 294  err:
 295     sk_BIGNUM_const_free(factors);
 296     sk_BIGNUM_const_free(exps);
 297     sk_BIGNUM_const_free(coeffs);
 298     return ret;
 299 }
 300
 301 int ossl_rsa_pss_params_30_todata(const RSA_PSS_PARAMS_30 *pss,
 302                                   OSSL_PARAM_BLD *bld, OSSL_PARAM params[])
 303 {
 304     if (!ossl_rsa_pss_params_30_is_unrestricted(pss)) {
 305         int hashalg_nid = ossl_rsa_pss_params_30_hashalg(pss);
 306         int maskgenalg_nid = ossl_rsa_pss_params_30_maskgenalg(pss);
 307         int maskgenhashalg_nid = ossl_rsa_pss_params_30_maskgenhashalg(pss);
 308         int saltlen = ossl_rsa_pss_params_30_saltlen(pss);
 309         int default_hashalg_nid = ossl_rsa_pss_params_30_hashalg(NULL);
 310         int default_maskgenalg_nid = ossl_rsa_pss_params_30_maskgenalg(NULL);
 311         int default_maskgenhashalg_nid =
 312                 ossl_rsa_pss_params_30_maskgenhashalg(NULL);
 313         const char *mdname =
 314             (hashalg_nid == default_hashalg_nid
 315              ? NULL : ossl_rsa_oaeppss_nid2name(hashalg_nid));
 316         const char *mgfname =
 317             (maskgenalg_nid == default_maskgenalg_nid
 318              ? NULL : ossl_rsa_oaeppss_nid2name(maskgenalg_nid));
 319         const char *mgf1mdname =
 320             (maskgenhashalg_nid == default_maskgenhashalg_nid
 321              ? NULL : ossl_rsa_oaeppss_nid2name(maskgenhashalg_nid));
 322         const char *key_md = OSSL_PKEY_PARAM_RSA_DIGEST;
 323         const char *key_mgf = OSSL_PKEY_PARAM_RSA_MASKGENFUNC;
 324         const char *key_mgf1_md = OSSL_PKEY_PARAM_RSA_MGF1_DIGEST;
 325         const char *key_saltlen = OSSL_PKEY_PARAM_RSA_PSS_SALTLEN;
 326
 327         /*
 328          * To ensure that the key isn't seen as unrestricted by the recipient,
 329          * we make sure that at least one PSS-related parameter is passed, even
 330          * if it has a default value; saltlen.
 331          */
 332         if ((mdname != NULL
 333              && !ossl_param_build_set_utf8_string(bld, params, key_md, mdname))
 334             || (mgfname != NULL
 335                 && !ossl_param_build_set_utf8_string(bld, params,
 336                                                      key_mgf, mgfname))
 337             || (mgf1mdname != NULL
 338                 && !ossl_param_build_set_utf8_string(bld, params,
 339                                                      key_mgf1_md, mgf1mdname))
 340             || (!ossl_param_build_set_int(bld, params, key_saltlen, saltlen)))
 341             return 0;
 342     }
 343     return 1;
 344 }
 345
 346 int ossl_rsa_pss_params_30_fromdata(RSA_PSS_PARAMS_30 *pss_params,
 347                                     int *defaults_set,
 348                                     const OSSL_PARAM params[],
 349                                     OSSL_LIB_CTX *libctx)
 350 {
 351     const OSSL_PARAM *param_md, *param_mgf, *param_mgf1md,  *param_saltlen;
 352     const OSSL_PARAM *param_propq;
 353     const char *propq = NULL;
 354     EVP_MD *md = NULL, *mgf1md = NULL;
 355     int saltlen;
 356     int ret = 0;
 357
 358     if (pss_params == NULL)
 359         return 0;
 360     param_propq =
 361         OSSL_PARAM_locate_const(params, OSSL_PKEY_PARAM_RSA_DIGEST_PROPS);
 362     param_md =
 363         OSSL_PARAM_locate_const(params, OSSL_PKEY_PARAM_RSA_DIGEST);
 364     param_mgf =
 365         OSSL_PARAM_locate_const(params, OSSL_PKEY_PARAM_RSA_MASKGENFUNC);
 366     param_mgf1md =
 367         OSSL_PARAM_locate_const(params, OSSL_PKEY_PARAM_RSA_MGF1_DIGEST);
 368     param_saltlen =
 369         OSSL_PARAM_locate_const(params, OSSL_PKEY_PARAM_RSA_PSS_SALTLEN);
 370
 371     if (param_propq != NULL) {
 372         if (param_propq->data_type == OSSL_PARAM_UTF8_STRING)
 373             propq = param_propq->data;
 374     }
 375     /*
 376      * If we get any of the parameters, we know we have at least some
 377      * restrictions, so we start by setting default values, and let each
 378      * parameter override their specific restriction data.
 379      */
 380     if (!*defaults_set
 381         && (param_md != NULL || param_mgf != NULL || param_mgf1md != NULL
 382             || param_saltlen != NULL)) {
 383         if (!ossl_rsa_pss_params_30_set_defaults(pss_params))
 384             return 0;
 385         *defaults_set = 1;
 386     }
 387
 388     if (param_mgf != NULL) {
 389         int default_maskgenalg_nid = ossl_rsa_pss_params_30_maskgenalg(NULL);
 390         const char *mgfname = NULL;
 391
 392         if (param_mgf->data_type == OSSL_PARAM_UTF8_STRING)
 393             mgfname = param_mgf->data;
 394         else if (!OSSL_PARAM_get_utf8_ptr(param_mgf, &mgfname))
 395             return 0;
 396
 397         if (OPENSSL_strcasecmp(param_mgf->data,
 398                                ossl_rsa_mgf_nid2name(default_maskgenalg_nid)) != 0)
 399             return 0;
 400     }
 401
 402     /*
 403      * We're only interested in the NIDs that correspond to the MDs, so the
 404      * exact propquery is unimportant in the EVP_MD_fetch() calls below.
 405      */
 406
 407     if (param_md != NULL) {
 408         const char *mdname = NULL;
 409
 410         if (param_md->data_type == OSSL_PARAM_UTF8_STRING)
 411             mdname = param_md->data;
 412         else if (!OSSL_PARAM_get_utf8_ptr(param_mgf, &mdname))
 413             goto err;
 414
 415         if ((md = EVP_MD_fetch(libctx, mdname, propq)) == NULL
 416             || !ossl_rsa_pss_params_30_set_hashalg(pss_params,
 417                                                    ossl_rsa_oaeppss_md2nid(md)))
 418             goto err;
 419     }
 420
 421     if (param_mgf1md != NULL) {
 422         const char *mgf1mdname = NULL;
 423
 424         if (param_mgf1md->data_type == OSSL_PARAM_UTF8_STRING)
 425             mgf1mdname = param_mgf1md->data;
 426         else if (!OSSL_PARAM_get_utf8_ptr(param_mgf, &mgf1mdname))
 427             goto err;
 428
 429         if ((mgf1md = EVP_MD_fetch(libctx, mgf1mdname, propq)) == NULL
 430             || !ossl_rsa_pss_params_30_set_maskgenhashalg(
 431                     pss_params, ossl_rsa_oaeppss_md2nid(mgf1md)))
 432             goto err;
 433     }
 434
 435     if (param_saltlen != NULL) {
 436         if (!OSSL_PARAM_get_int(param_saltlen, &saltlen)
 437             || !ossl_rsa_pss_params_30_set_saltlen(pss_params, saltlen))
 438             goto err;
 439     }
 440
 441     ret = 1;
 442
 443  err:
 444     EVP_MD_free(md);
 445     EVP_MD_free(mgf1md);
 446     return ret;
 447 }
 448
 449 int ossl_rsa_is_foreign(const RSA *rsa)
 450 {
 451 #ifndef FIPS_MODULE
 452     if (rsa->engine != NULL || RSA_get_method(rsa) != RSA_PKCS1_OpenSSL())
 453         return 1;
 454 #endif
 455     return 0;
 456 }
 457
 458 static ossl_inline int rsa_bn_dup_check(BIGNUM **out, const BIGNUM *f)
 459 {
 460     if (f != NULL && (*out = BN_dup(f)) == NULL)
 461         return 0;
 462     return 1;
 463 }
 464
 465 RSA *ossl_rsa_dup(const RSA *rsa, int selection)
 466 {
 467     RSA *dupkey = NULL;
 468 #ifndef FIPS_MODULE
 469     int pnum, i;
 470 #endif
 471
 472     /* Do not try to duplicate foreign RSA keys */
 473     if (ossl_rsa_is_foreign(rsa))
 474         return NULL;
 475
 476     if ((dupkey = ossl_rsa_new_with_ctx(rsa->libctx)) == NULL)
 477         return NULL;
 478
 479     /* public key */
 480     if ((selection & OSSL_KEYMGMT_SELECT_KEYPAIR) != 0) {
 481         if (!rsa_bn_dup_check(&dupkey->n, rsa->n))
 482             goto err;
 483         if (!rsa_bn_dup_check(&dupkey->e, rsa->e))
 484             goto err;
 485     }
 486
 487     if ((selection & OSSL_KEYMGMT_SELECT_PRIVATE_KEY) != 0) {
 488
 489         /* private key */
 490         if (!rsa_bn_dup_check(&dupkey->d, rsa->d))
 491             goto err;
 492
 493         /* factors and crt params */
 494         if (!rsa_bn_dup_check(&dupkey->p, rsa->p))
 495             goto err;
 496         if (!rsa_bn_dup_check(&dupkey->q, rsa->q))
 497             goto err;
 498         if (!rsa_bn_dup_check(&dupkey->dmp1, rsa->dmp1))
 499             goto err;
 500         if (!rsa_bn_dup_check(&dupkey->dmq1, rsa->dmq1))
 501             goto err;
 502         if (!rsa_bn_dup_check(&dupkey->iqmp, rsa->iqmp))
 503             goto err;
 504     }
 505
 506     dupkey->version = rsa->version;
 507     dupkey->flags = rsa->flags;
 508     /* we always copy the PSS parameters regardless of selection */
 509     dupkey->pss_params = rsa->pss_params;
 510
 511 #ifndef FIPS_MODULE
 512     /* multiprime */
 513     if ((selection & OSSL_KEYMGMT_SELECT_PRIVATE_KEY) != 0
 514         && (pnum = sk_RSA_PRIME_INFO_num(rsa->prime_infos)) > 0) {
 515         dupkey->prime_infos = sk_RSA_PRIME_INFO_new_reserve(NULL, pnum);
 516         if (dupkey->prime_infos == NULL)
 517             goto err;
 518         for (i = 0; i < pnum; i++) {
 519             const RSA_PRIME_INFO *pinfo = NULL;
 520             RSA_PRIME_INFO *duppinfo = NULL;
 521
 522             if ((duppinfo = OPENSSL_zalloc(sizeof(*duppinfo))) == NULL)
 523                 goto err;
 524             /* push first so cleanup in error case works */
 525             (void)sk_RSA_PRIME_INFO_push(dupkey->prime_infos, duppinfo);
 526
 527             pinfo = sk_RSA_PRIME_INFO_value(rsa->prime_infos, i);
 528             if (!rsa_bn_dup_check(&duppinfo->r, pinfo->r))
 529                 goto err;
 530             if (!rsa_bn_dup_check(&duppinfo->d, pinfo->d))
 531                 goto err;
 532             if (!rsa_bn_dup_check(&duppinfo->t, pinfo->t))
 533                 goto err;
 534         }
 535         if (!ossl_rsa_multip_calc_product(dupkey))
 536             goto err;
 537     }
 538
 539     if (rsa->pss != NULL) {
 540         dupkey->pss = RSA_PSS_PARAMS_dup(rsa->pss);
 541         if (rsa->pss->maskGenAlgorithm != NULL
 542             && dupkey->pss->maskGenAlgorithm == NULL) {
 543             dupkey->pss->maskHash = ossl_x509_algor_mgf1_decode(rsa->pss->maskGenAlgorithm);
 544             if (dupkey->pss->maskHash == NULL)
 545                 goto err;
 546         }
 547     }
 548     if (!CRYPTO_dup_ex_data(CRYPTO_EX_INDEX_RSA,
 549                             &dupkey->ex_data, &rsa->ex_data))
 550         goto err;
 551 #endif
 552
 553     return dupkey;
 554
 555  err:
 556     RSA_free(dupkey);
 557     return NULL;
 558 }
 559
 560 #ifndef FIPS_MODULE
 561 RSA_PSS_PARAMS *ossl_rsa_pss_decode(const X509_ALGOR *alg)
 562 {
 563     RSA_PSS_PARAMS *pss;
 564
 565     pss = ASN1_TYPE_unpack_sequence(ASN1_ITEM_rptr(RSA_PSS_PARAMS),
 566                                     alg->parameter);
 567
 568     if (pss == NULL)
 569         return NULL;
 570
 571     if (pss->maskGenAlgorithm != NULL) {
 572         pss->maskHash = ossl_x509_algor_mgf1_decode(pss->maskGenAlgorithm);
 573         if (pss->maskHash == NULL) {
 574             RSA_PSS_PARAMS_free(pss);
 575             return NULL;
 576         }
 577     }
 578
 579     return pss;
 580 }
 581
 582 static int ossl_rsa_sync_to_pss_params_30(RSA *rsa)
 583 {
 584     const RSA_PSS_PARAMS *legacy_pss = NULL;
 585     RSA_PSS_PARAMS_30 *pss = NULL;
 586
 587     if (rsa != NULL
 588         && (legacy_pss = RSA_get0_pss_params(rsa)) != NULL
 589         && (pss = ossl_rsa_get0_pss_params_30(rsa)) != NULL) {
 590         const EVP_MD *md = NULL, *mgf1md = NULL;
 591         int md_nid, mgf1md_nid, saltlen, trailerField;
 592         RSA_PSS_PARAMS_30 pss_params;
 593
 594         /*
 595          * We don't care about the validity of the fields here, we just
 596          * want to synchronise values.  Verifying here makes it impossible
 597          * to even read a key with invalid values, making it hard to test
 598          * a bad situation.
 599          *
 600          * Other routines use ossl_rsa_pss_get_param(), so the values will
 601          * be checked, eventually.
 602          */
 603         if (!ossl_rsa_pss_get_param_unverified(legacy_pss, &md, &mgf1md,
 604                                                &saltlen, &trailerField))
 605             return 0;
 606         md_nid = EVP_MD_get_type(md);
 607         mgf1md_nid = EVP_MD_get_type(mgf1md);
 608         if (!ossl_rsa_pss_params_30_set_defaults(&pss_params)
 609             || !ossl_rsa_pss_params_30_set_hashalg(&pss_params, md_nid)
 610             || !ossl_rsa_pss_params_30_set_maskgenhashalg(&pss_params,
 611                                                           mgf1md_nid)
 612             || !ossl_rsa_pss_params_30_set_saltlen(&pss_params, saltlen)
 613             || !ossl_rsa_pss_params_30_set_trailerfield(&pss_params,
 614                                                         trailerField))
 615             return 0;
 616         *pss = pss_params;
 617     }
 618     return 1;
 619 }
 620
 621 int ossl_rsa_pss_get_param_unverified(const RSA_PSS_PARAMS *pss,
 622                                       const EVP_MD **pmd, const EVP_MD **pmgf1md,
 623                                       int *psaltlen, int *ptrailerField)
 624 {
 625     RSA_PSS_PARAMS_30 pss_params;
 626
 627     /* Get the defaults from the ONE place */
 628     (void)ossl_rsa_pss_params_30_set_defaults(&pss_params);
 629
 630     if (pss == NULL)
 631         return 0;
 632     *pmd = ossl_x509_algor_get_md(pss->hashAlgorithm);
 633     if (*pmd == NULL)
 634         return 0;
 635     *pmgf1md = ossl_x509_algor_get_md(pss->maskHash);
 636     if (*pmgf1md == NULL)
 637         return 0;
 638     if (pss->saltLength)
 639         *psaltlen = ASN1_INTEGER_get(pss->saltLength);
 640     else
 641         *psaltlen = ossl_rsa_pss_params_30_saltlen(&pss_params);
 642     if (pss->trailerField)
 643         *ptrailerField = ASN1_INTEGER_get(pss->trailerField);
 644     else
 645         *ptrailerField = ossl_rsa_pss_params_30_trailerfield(&pss_params);
 646
 647     return 1;
 648 }
 649
 650 int ossl_rsa_param_decode(RSA *rsa, const X509_ALGOR *alg)
 651 {
 652     RSA_PSS_PARAMS *pss;
 653     const ASN1_OBJECT *algoid;
 654     const void *algp;
 655     int algptype;
 656
 657     X509_ALGOR_get0(&algoid, &algptype, &algp, alg);
 658     if (OBJ_obj2nid(algoid) != EVP_PKEY_RSA_PSS)
 659         return 1;
 660     if (algptype == V_ASN1_UNDEF)
 661         return 1;
 662     if (algptype != V_ASN1_SEQUENCE) {
 663         ERR_raise(ERR_LIB_RSA, RSA_R_INVALID_PSS_PARAMETERS);
 664         return 0;
 665     }
 666     if ((pss = ossl_rsa_pss_decode(alg)) == NULL
 667         || !ossl_rsa_set0_pss_params(rsa, pss)) {
 668         RSA_PSS_PARAMS_free(pss);
 669         return 0;
 670     }
 671     if (!ossl_rsa_sync_to_pss_params_30(rsa))
 672         return 0;
 673     return 1;
 674 }
 675
 676 RSA *ossl_rsa_key_from_pkcs8(const PKCS8_PRIV_KEY_INFO *p8inf,
 677                              OSSL_LIB_CTX *libctx, const char *propq)
 678 {
 679     const unsigned char *p;
 680     RSA *rsa;
 681     int pklen;
 682     const X509_ALGOR *alg;
 683
 684     if (!PKCS8_pkey_get0(NULL, &p, &pklen, &alg, p8inf))
 685         return 0;
 686     rsa = d2i_RSAPrivateKey(NULL, &p, pklen);
 687     if (rsa == NULL) {
 688         ERR_raise(ERR_LIB_RSA, ERR_R_RSA_LIB);
 689         return NULL;
 690     }
 691     if (!ossl_rsa_param_decode(rsa, alg)) {
 692         RSA_free(rsa);
 693         return NULL;
 694     }
 695
 696     RSA_clear_flags(rsa, RSA_FLAG_TYPE_MASK);
 697     switch (OBJ_obj2nid(alg->algorithm)) {
 698     case EVP_PKEY_RSA:
 699         RSA_set_flags(rsa, RSA_FLAG_TYPE_RSA);
 700         break;
 701     case EVP_PKEY_RSA_PSS:
 702         RSA_set_flags(rsa, RSA_FLAG_TYPE_RSASSAPSS);
 703         break;
 704     default:
 705         /* Leave the type bits zero */
 706         break;
 707     }
 708
 709     return rsa;
 710 }
 711 #endif