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
DEFINE_STACK_OF(BIGNUM)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
ossl_rsa_fromdata(RSA * rsa,const OSSL_PARAM params[],int include_private)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 is_private = (d != NULL);
118
119 if (!RSA_set0_key(rsa, n, e, d))
120 goto err;
121 n = e = d = NULL;
122
123 if (is_private) {
124 if (!collect_numbers(factors = sk_BIGNUM_new_null(), params,
125 ossl_rsa_mp_factor_names)
126 || !collect_numbers(exps = sk_BIGNUM_new_null(), params,
127 ossl_rsa_mp_exp_names)
128 || !collect_numbers(coeffs = sk_BIGNUM_new_null(), params,
129 ossl_rsa_mp_coeff_names))
130 goto err;
131
132 if (derive_from_pq && sk_BIGNUM_num(exps) == 0
133 && sk_BIGNUM_num(coeffs) == 0) {
134 /*
135 * If we want to use crt to derive our exponents/coefficients, we
136 * need to have at least 2 factors
137 */
138 if (sk_BIGNUM_num(factors) < 2) {
139 ERR_raise(ERR_LIB_RSA, ERR_R_PASSED_NULL_PARAMETER);
140 goto err;
141 }
142
143 /*
144 * if we have more than two factors, n and d must also have
145 * been provided
146 */
147 if (sk_BIGNUM_num(factors) > 2
148 && (param_n == NULL || param_d == NULL)) {
149 ERR_raise(ERR_LIB_RSA, ERR_R_PASSED_NULL_PARAMETER);
150 goto err;
151 }
152
153 /* build our exponents and coefficients here */
154 if (sk_BIGNUM_num(factors) == 2) {
155 /* for 2 factors we can use the sp800 functions to do this */
156 if (!RSA_set0_factors(rsa, sk_BIGNUM_value(factors, 0),
157 sk_BIGNUM_value(factors, 1))) {
158 ERR_raise(ERR_LIB_RSA, ERR_R_INTERNAL_ERROR);
159 goto err;
160 }
161 /*
162 * once consumed by RSA_set0_factors, pop those off the stack
163 * so we don't free them below
164 */
165 sk_BIGNUM_pop(factors);
166 sk_BIGNUM_pop(factors);
167
168 /*
169 * Note: Because we only have 2 factors here, there will be no
170 * additional pinfo fields to hold additional factors, and
171 * since we set our key and 2 factors above we can skip
172 * the call to ossl_rsa_set0_all_params
173 */
174 if (!ossl_rsa_sp800_56b_derive_params_from_pq(rsa,
175 RSA_bits(rsa),
176 NULL, ctx)) {
177 ERR_raise(ERR_LIB_RSA, ERR_R_INTERNAL_ERROR);
178 goto err;
179 }
180 } else {
181 #ifndef FIPS_MODULE
182 /*
183 * in the multiprime case we have to generate exps/coeffs here
184 * for each additional prime
185 */
186 if (!ossl_rsa_multiprime_derive(rsa, RSA_bits(rsa),
187 sk_BIGNUM_num(factors),
188 rsa->e, factors, exps,
189 coeffs)) {
190 ERR_raise(ERR_LIB_RSA, ERR_R_INTERNAL_ERROR);
191 goto err;
192 }
193
194 /*
195 * Now we should have all our factors, exponents and
196 * coefficients
197 */
198 if (!ossl_rsa_set0_all_params(rsa, factors, exps, coeffs)) {
199 ERR_raise(ERR_LIB_RSA, ERR_R_INTERNAL_ERROR);
200 goto err;
201 }
202
203 #else
204 /* multiprime case is disallowed in FIPS mode, raise an error */
205 ERR_raise(ERR_LIB_RSA, ERR_R_UNSUPPORTED);
206 goto err;
207 #endif
208 }
209
210 } else {
211 /*
212 * It's ok if this private key just has n, e and d
213 * but only if we're not using derive_from_pq
214 */
215 if (sk_BIGNUM_num(factors) != 0
216 && !ossl_rsa_set0_all_params(rsa, factors, exps, coeffs))
217 goto err;
218 }
219 /* sanity check to ensure we used everything in our stacks */
220 if (sk_BIGNUM_num(factors) != 0
221 || sk_BIGNUM_num(exps) != 0
222 || sk_BIGNUM_num(coeffs) != 0) {
223 ERR_raise_data(ERR_LIB_RSA, ERR_R_INTERNAL_ERROR,
224 "There are %d, %d, %d elements left on our factors, exps, coeffs stacks\n",
225 sk_BIGNUM_num(factors), sk_BIGNUM_num(exps),
226 sk_BIGNUM_num(coeffs));
227 goto err;
228 }
229 }
230
231 if (!ossl_rsa_check_factors(rsa)) {
232 ERR_raise_data(ERR_LIB_RSA, RSA_R_INVALID_KEYPAIR,
233 "RSA factors/exponents are too big for for n-modulus\n");
234 goto err;
235 }
236
237 BN_clear_free(p);
238 BN_clear_free(q);
239 sk_BIGNUM_free(factors);
240 sk_BIGNUM_free(exps);
241 sk_BIGNUM_free(coeffs);
242 BN_CTX_free(ctx);
243 return 1;
244
245 err:
246 BN_free(n);
247 BN_free(e);
248 BN_free(d);
249 sk_BIGNUM_pop_free(factors, BN_clear_free);
250 sk_BIGNUM_pop_free(exps, BN_clear_free);
251 sk_BIGNUM_pop_free(coeffs, BN_clear_free);
252 BN_CTX_free(ctx);
253 return 0;
254 }
255
DEFINE_SPECIAL_STACK_OF_CONST(BIGNUM_const,BIGNUM)256 DEFINE_SPECIAL_STACK_OF_CONST(BIGNUM_const, BIGNUM)
257
258 int ossl_rsa_todata(RSA *rsa, OSSL_PARAM_BLD *bld, OSSL_PARAM params[],
259 int include_private)
260 {
261 int ret = 0;
262 const BIGNUM *rsa_d = NULL, *rsa_n = NULL, *rsa_e = NULL;
263 STACK_OF(BIGNUM_const) *factors = sk_BIGNUM_const_new_null();
264 STACK_OF(BIGNUM_const) *exps = sk_BIGNUM_const_new_null();
265 STACK_OF(BIGNUM_const) *coeffs = sk_BIGNUM_const_new_null();
266
267 if (rsa == NULL || factors == NULL || exps == NULL || coeffs == NULL)
268 goto err;
269
270 RSA_get0_key(rsa, &rsa_n, &rsa_e, &rsa_d);
271 ossl_rsa_get0_all_params(rsa, factors, exps, coeffs);
272
273 if (!ossl_param_build_set_bn(bld, params, OSSL_PKEY_PARAM_RSA_N, rsa_n)
274 || !ossl_param_build_set_bn(bld, params, OSSL_PKEY_PARAM_RSA_E, rsa_e))
275 goto err;
276
277 /* Check private key data integrity */
278 if (include_private && rsa_d != NULL) {
279
280 if (!ossl_param_build_set_bn(bld, params, OSSL_PKEY_PARAM_RSA_D,
281 rsa_d)
282 || !ossl_param_build_set_multi_key_bn(bld, params,
283 ossl_rsa_mp_factor_names,
284 factors)
285 || !ossl_param_build_set_multi_key_bn(bld, params,
286 ossl_rsa_mp_exp_names, exps)
287 || !ossl_param_build_set_multi_key_bn(bld, params,
288 ossl_rsa_mp_coeff_names,
289 coeffs))
290 goto err;
291 }
292
293 #if defined(FIPS_MODULE) && !defined(OPENSSL_NO_ACVP_TESTS)
294 /* The acvp test results are not meant for export so check for bld == NULL */
295 if (bld == NULL)
296 ossl_rsa_acvp_test_get_params(rsa, params);
297 #endif
298 ret = 1;
299 err:
300 sk_BIGNUM_const_free(factors);
301 sk_BIGNUM_const_free(exps);
302 sk_BIGNUM_const_free(coeffs);
303 return ret;
304 }
305
ossl_rsa_pss_params_30_todata(const RSA_PSS_PARAMS_30 * pss,OSSL_PARAM_BLD * bld,OSSL_PARAM params[])306 int ossl_rsa_pss_params_30_todata(const RSA_PSS_PARAMS_30 *pss,
307 OSSL_PARAM_BLD *bld, OSSL_PARAM params[])
308 {
309 if (!ossl_rsa_pss_params_30_is_unrestricted(pss)) {
310 int hashalg_nid = ossl_rsa_pss_params_30_hashalg(pss);
311 int maskgenalg_nid = ossl_rsa_pss_params_30_maskgenalg(pss);
312 int maskgenhashalg_nid = ossl_rsa_pss_params_30_maskgenhashalg(pss);
313 int saltlen = ossl_rsa_pss_params_30_saltlen(pss);
314 int default_hashalg_nid = ossl_rsa_pss_params_30_hashalg(NULL);
315 int default_maskgenalg_nid = ossl_rsa_pss_params_30_maskgenalg(NULL);
316 int default_maskgenhashalg_nid = ossl_rsa_pss_params_30_maskgenhashalg(NULL);
317 const char *mdname = (hashalg_nid == default_hashalg_nid
318 ? NULL
319 : ossl_rsa_oaeppss_nid2name(hashalg_nid));
320 const char *mgfname = (maskgenalg_nid == default_maskgenalg_nid
321 ? NULL
322 : ossl_rsa_oaeppss_nid2name(maskgenalg_nid));
323 const char *mgf1mdname = (maskgenhashalg_nid == default_maskgenhashalg_nid
324 ? NULL
325 : ossl_rsa_oaeppss_nid2name(maskgenhashalg_nid));
326 const char *key_md = OSSL_PKEY_PARAM_RSA_DIGEST;
327 const char *key_mgf = OSSL_PKEY_PARAM_RSA_MASKGENFUNC;
328 const char *key_mgf1_md = OSSL_PKEY_PARAM_RSA_MGF1_DIGEST;
329 const char *key_saltlen = OSSL_PKEY_PARAM_RSA_PSS_SALTLEN;
330
331 /*
332 * To ensure that the key isn't seen as unrestricted by the recipient,
333 * we make sure that at least one PSS-related parameter is passed, even
334 * if it has a default value; saltlen.
335 */
336 if ((mdname != NULL
337 && !ossl_param_build_set_utf8_string(bld, params, key_md, mdname))
338 || (mgfname != NULL
339 && !ossl_param_build_set_utf8_string(bld, params,
340 key_mgf, mgfname))
341 || (mgf1mdname != NULL
342 && !ossl_param_build_set_utf8_string(bld, params,
343 key_mgf1_md, mgf1mdname))
344 || (!ossl_param_build_set_int(bld, params, key_saltlen, saltlen)))
345 return 0;
346 }
347 return 1;
348 }
349
ossl_rsa_pss_params_30_fromdata(RSA_PSS_PARAMS_30 * pss_params,int * defaults_set,const OSSL_PARAM params[],OSSL_LIB_CTX * libctx)350 int ossl_rsa_pss_params_30_fromdata(RSA_PSS_PARAMS_30 *pss_params,
351 int *defaults_set,
352 const OSSL_PARAM params[],
353 OSSL_LIB_CTX *libctx)
354 {
355 const OSSL_PARAM *param_md, *param_mgf, *param_mgf1md, *param_saltlen;
356 const OSSL_PARAM *param_propq;
357 const char *propq = NULL;
358 EVP_MD *md = NULL, *mgf1md = NULL;
359 int saltlen;
360 int ret = 0;
361
362 if (pss_params == NULL)
363 return 0;
364 param_propq = OSSL_PARAM_locate_const(params, OSSL_PKEY_PARAM_RSA_DIGEST_PROPS);
365 param_md = OSSL_PARAM_locate_const(params, OSSL_PKEY_PARAM_RSA_DIGEST);
366 param_mgf = OSSL_PARAM_locate_const(params, OSSL_PKEY_PARAM_RSA_MASKGENFUNC);
367 param_mgf1md = OSSL_PARAM_locate_const(params, OSSL_PKEY_PARAM_RSA_MGF1_DIGEST);
368 param_saltlen = OSSL_PARAM_locate_const(params, OSSL_PKEY_PARAM_RSA_PSS_SALTLEN);
369
370 if (param_propq != NULL) {
371 if (param_propq->data_type == OSSL_PARAM_UTF8_STRING)
372 propq = param_propq->data;
373 }
374 /*
375 * If we get any of the parameters, we know we have at least some
376 * restrictions, so we start by setting default values, and let each
377 * parameter override their specific restriction data.
378 */
379 if (!*defaults_set
380 && (param_md != NULL || param_mgf != NULL || param_mgf1md != NULL
381 || param_saltlen != NULL)) {
382 if (!ossl_rsa_pss_params_30_set_defaults(pss_params))
383 return 0;
384 *defaults_set = 1;
385 }
386
387 if (param_mgf != NULL) {
388 int default_maskgenalg_nid = ossl_rsa_pss_params_30_maskgenalg(NULL);
389 const char *mgfname = NULL;
390
391 if (param_mgf->data_type == OSSL_PARAM_UTF8_STRING)
392 mgfname = param_mgf->data;
393 else if (!OSSL_PARAM_get_utf8_ptr(param_mgf, &mgfname))
394 return 0;
395
396 if (OPENSSL_strcasecmp(param_mgf->data,
397 ossl_rsa_mgf_nid2name(default_maskgenalg_nid))
398 != 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
ossl_rsa_is_foreign(const RSA * rsa)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
rsa_bn_dup_check(BIGNUM ** out,const BIGNUM * f)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
ossl_rsa_dup(const RSA * rsa,int selection)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
ossl_rsa_pss_decode(const X509_ALGOR * alg)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
ossl_rsa_sync_to_pss_params_30(RSA * rsa)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
ossl_rsa_pss_get_param_unverified(const RSA_PSS_PARAMS * pss,const EVP_MD ** pmd,const EVP_MD ** pmgf1md,int * psaltlen,int * ptrailerField)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
ossl_rsa_param_decode(RSA * rsa,const X509_ALGOR * alg)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
ossl_rsa_key_from_pkcs8(const PKCS8_PRIV_KEY_INFO * p8inf,OSSL_LIB_CTX * libctx,const char * propq)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
712