Coverage Report

Created: 2025-06-13 06:58

/src/openssl31/crypto/rsa/rsa_ameth.c
Line
Count
Source (jump to first uncovered line)
1
/*
2
 * Copyright 2006-2023 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 <stdio.h>
17
#include "internal/cryptlib.h"
18
#include <openssl/asn1t.h>
19
#include <openssl/x509.h>
20
#include <openssl/bn.h>
21
#include <openssl/core_names.h>
22
#include <openssl/param_build.h>
23
#include "crypto/asn1.h"
24
#include "crypto/evp.h"
25
#include "crypto/rsa.h"
26
#include "rsa_local.h"
27
28
/* Set any parameters associated with pkey */
29
static int rsa_param_encode(const EVP_PKEY *pkey,
30
                            ASN1_STRING **pstr, int *pstrtype)
31
2
{
32
2
    const RSA *rsa = pkey->pkey.rsa;
33
34
2
    *pstr = NULL;
35
    /* If RSA it's just NULL type */
36
2
    if (RSA_test_flags(rsa, RSA_FLAG_TYPE_MASK) != RSA_FLAG_TYPE_RSASSAPSS) {
37
0
        *pstrtype = V_ASN1_NULL;
38
0
        return 1;
39
0
    }
40
    /* If no PSS parameters we omit parameters entirely */
41
2
    if (rsa->pss == NULL) {
42
0
        *pstrtype = V_ASN1_UNDEF;
43
0
        return 1;
44
0
    }
45
    /* Encode PSS parameters */
46
2
    if (ASN1_item_pack(rsa->pss, ASN1_ITEM_rptr(RSA_PSS_PARAMS), pstr) == NULL)
47
0
        return 0;
48
49
2
    *pstrtype = V_ASN1_SEQUENCE;
50
2
    return 1;
51
2
}
52
/* Decode any parameters and set them in RSA structure */
53
static int rsa_pub_encode(X509_PUBKEY *pk, const EVP_PKEY *pkey)
54
0
{
55
0
    unsigned char *penc = NULL;
56
0
    int penclen;
57
0
    ASN1_STRING *str;
58
0
    int strtype;
59
60
0
    if (!rsa_param_encode(pkey, &str, &strtype))
61
0
        return 0;
62
0
    penclen = i2d_RSAPublicKey(pkey->pkey.rsa, &penc);
63
0
    if (penclen <= 0) {
64
0
        ASN1_STRING_free(str);
65
0
        return 0;
66
0
    }
67
0
    if (X509_PUBKEY_set0_param(pk, OBJ_nid2obj(pkey->ameth->pkey_id),
68
0
                               strtype, str, penc, penclen))
69
0
        return 1;
70
71
0
    OPENSSL_free(penc);
72
0
    ASN1_STRING_free(str);
73
0
    return 0;
74
0
}
75
76
static int rsa_pub_decode(EVP_PKEY *pkey, const X509_PUBKEY *pubkey)
77
115k
{
78
115k
    const unsigned char *p;
79
115k
    int pklen;
80
115k
    X509_ALGOR *alg;
81
115k
    RSA *rsa = NULL;
82
83
115k
    if (!X509_PUBKEY_get0_param(NULL, &p, &pklen, &alg, pubkey))
84
0
        return 0;
85
115k
    if ((rsa = d2i_RSAPublicKey(NULL, &p, pklen)) == NULL)
86
15.2k
        return 0;
87
100k
    if (!ossl_rsa_param_decode(rsa, alg)) {
88
3.02k
        RSA_free(rsa);
89
3.02k
        return 0;
90
3.02k
    }
91
92
97.0k
    RSA_clear_flags(rsa, RSA_FLAG_TYPE_MASK);
93
97.0k
    switch (pkey->ameth->pkey_id) {
94
57.3k
    case EVP_PKEY_RSA:
95
57.3k
        RSA_set_flags(rsa, RSA_FLAG_TYPE_RSA);
96
57.3k
        break;
97
39.6k
    case EVP_PKEY_RSA_PSS:
98
39.6k
        RSA_set_flags(rsa, RSA_FLAG_TYPE_RSASSAPSS);
99
39.6k
        break;
100
0
    default:
101
        /* Leave the type bits zero */
102
0
        break;
103
97.0k
    }
104
105
97.0k
    if (!EVP_PKEY_assign(pkey, pkey->ameth->pkey_id, rsa)) {
106
0
        RSA_free(rsa);
107
0
        return 0;
108
0
    }
109
97.0k
    return 1;
110
97.0k
}
111
112
static int rsa_pub_cmp(const EVP_PKEY *a, const EVP_PKEY *b)
113
0
{
114
    /*
115
     * Don't check the public/private key, this is mostly for smart
116
     * cards.
117
     */
118
0
    if (((RSA_flags(a->pkey.rsa) & RSA_METHOD_FLAG_NO_CHECK))
119
0
            || (RSA_flags(b->pkey.rsa) & RSA_METHOD_FLAG_NO_CHECK)) {
120
0
        return 1;
121
0
    }
122
123
0
    if (BN_cmp(b->pkey.rsa->n, a->pkey.rsa->n) != 0
124
0
        || BN_cmp(b->pkey.rsa->e, a->pkey.rsa->e) != 0)
125
0
        return 0;
126
0
    return 1;
127
0
}
128
129
static int old_rsa_priv_decode(EVP_PKEY *pkey,
130
                               const unsigned char **pder, int derlen)
131
39.0k
{
132
39.0k
    RSA *rsa;
133
134
39.0k
    if ((rsa = d2i_RSAPrivateKey(NULL, pder, derlen)) == NULL)
135
38.5k
        return 0;
136
476
    EVP_PKEY_assign(pkey, pkey->ameth->pkey_id, rsa);
137
476
    return 1;
138
39.0k
}
139
140
static int old_rsa_priv_encode(const EVP_PKEY *pkey, unsigned char **pder)
141
479
{
142
479
    return i2d_RSAPrivateKey(pkey->pkey.rsa, pder);
143
479
}
144
145
static int rsa_priv_encode(PKCS8_PRIV_KEY_INFO *p8, const EVP_PKEY *pkey)
146
2
{
147
2
    unsigned char *rk = NULL;
148
2
    int rklen;
149
2
    ASN1_STRING *str;
150
2
    int strtype;
151
152
2
    if (!rsa_param_encode(pkey, &str, &strtype))
153
0
        return 0;
154
2
    rklen = i2d_RSAPrivateKey(pkey->pkey.rsa, &rk);
155
156
2
    if (rklen <= 0) {
157
0
        ERR_raise(ERR_LIB_RSA, ERR_R_MALLOC_FAILURE);
158
0
        ASN1_STRING_free(str);
159
0
        return 0;
160
0
    }
161
162
2
    if (!PKCS8_pkey_set0(p8, OBJ_nid2obj(pkey->ameth->pkey_id), 0,
163
2
                         strtype, str, rk, rklen)) {
164
0
        ERR_raise(ERR_LIB_RSA, ERR_R_MALLOC_FAILURE);
165
0
        ASN1_STRING_free(str);
166
0
        OPENSSL_clear_free(rk, rklen);
167
0
        return 0;
168
0
    }
169
170
2
    return 1;
171
2
}
172
173
static int rsa_priv_decode(EVP_PKEY *pkey, const PKCS8_PRIV_KEY_INFO *p8)
174
20
{
175
20
    int ret = 0;
176
20
    RSA *rsa = ossl_rsa_key_from_pkcs8(p8, NULL, NULL);
177
178
20
    if (rsa != NULL) {
179
5
        ret = 1;
180
5
        EVP_PKEY_assign(pkey, pkey->ameth->pkey_id, rsa);
181
5
    }
182
20
    return ret;
183
20
}
184
185
static int int_rsa_size(const EVP_PKEY *pkey)
186
1.09k
{
187
1.09k
    return RSA_size(pkey->pkey.rsa);
188
1.09k
}
189
190
static int rsa_bits(const EVP_PKEY *pkey)
191
0
{
192
0
    return BN_num_bits(pkey->pkey.rsa->n);
193
0
}
194
195
static int rsa_security_bits(const EVP_PKEY *pkey)
196
0
{
197
0
    return RSA_security_bits(pkey->pkey.rsa);
198
0
}
199
200
static void int_rsa_free(EVP_PKEY *pkey)
201
188k
{
202
188k
    RSA_free(pkey->pkey.rsa);
203
188k
}
204
205
static int rsa_pss_param_print(BIO *bp, int pss_key, RSA_PSS_PARAMS *pss,
206
                               int indent)
207
3.10k
{
208
3.10k
    int rv = 0;
209
3.10k
    X509_ALGOR *maskHash = NULL;
210
211
3.10k
    if (!BIO_indent(bp, indent, 128))
212
0
        goto err;
213
3.10k
    if (pss_key) {
214
2
        if (pss == NULL) {
215
0
            if (BIO_puts(bp, "No PSS parameter restrictions\n") <= 0)
216
0
                return 0;
217
0
            return 1;
218
2
        } else {
219
2
            if (BIO_puts(bp, "PSS parameter restrictions:") <= 0)
220
0
                return 0;
221
2
        }
222
3.10k
    } else if (pss == NULL) {
223
2.17k
        if (BIO_puts(bp,"(INVALID PSS PARAMETERS)\n") <= 0)
224
0
            return 0;
225
2.17k
        return 1;
226
2.17k
    }
227
931
    if (BIO_puts(bp, "\n") <= 0)
228
0
        goto err;
229
931
    if (pss_key)
230
2
        indent += 2;
231
931
    if (!BIO_indent(bp, indent, 128))
232
0
        goto err;
233
931
    if (BIO_puts(bp, "Hash Algorithm: ") <= 0)
234
0
        goto err;
235
236
931
    if (pss->hashAlgorithm) {
237
133
        if (i2a_ASN1_OBJECT(bp, pss->hashAlgorithm->algorithm) <= 0)
238
0
            goto err;
239
798
    } else if (BIO_puts(bp, "sha1 (default)") <= 0) {
240
0
        goto err;
241
0
    }
242
243
931
    if (BIO_puts(bp, "\n") <= 0)
244
0
        goto err;
245
246
931
    if (!BIO_indent(bp, indent, 128))
247
0
        goto err;
248
249
931
    if (BIO_puts(bp, "Mask Algorithm: ") <= 0)
250
0
        goto err;
251
931
    if (pss->maskGenAlgorithm) {
252
303
        if (i2a_ASN1_OBJECT(bp, pss->maskGenAlgorithm->algorithm) <= 0)
253
0
            goto err;
254
303
        if (BIO_puts(bp, " with ") <= 0)
255
0
            goto err;
256
303
        maskHash = ossl_x509_algor_mgf1_decode(pss->maskGenAlgorithm);
257
303
        if (maskHash != NULL) {
258
303
            if (i2a_ASN1_OBJECT(bp, maskHash->algorithm) <= 0)
259
0
                goto err;
260
303
        } else if (BIO_puts(bp, "INVALID") <= 0) {
261
0
            goto err;
262
0
        }
263
628
    } else if (BIO_puts(bp, "mgf1 with sha1 (default)") <= 0) {
264
0
        goto err;
265
0
    }
266
931
    BIO_puts(bp, "\n");
267
268
931
    if (!BIO_indent(bp, indent, 128))
269
0
        goto err;
270
931
    if (BIO_printf(bp, "%s Salt Length: 0x", pss_key ? "Minimum" : "") <= 0)
271
0
        goto err;
272
931
    if (pss->saltLength) {
273
87
        if (i2a_ASN1_INTEGER(bp, pss->saltLength) <= 0)
274
0
            goto err;
275
844
    } else if (BIO_puts(bp, "14 (default)") <= 0) {
276
0
        goto err;
277
0
    }
278
931
    BIO_puts(bp, "\n");
279
280
931
    if (!BIO_indent(bp, indent, 128))
281
0
        goto err;
282
931
    if (BIO_puts(bp, "Trailer Field: 0x") <= 0)
283
0
        goto err;
284
931
    if (pss->trailerField) {
285
38
        if (i2a_ASN1_INTEGER(bp, pss->trailerField) <= 0)
286
0
            goto err;
287
893
    } else if (BIO_puts(bp, "01 (default)") <= 0) {
288
0
        goto err;
289
0
    }
290
931
    BIO_puts(bp, "\n");
291
292
931
    rv = 1;
293
294
931
 err:
295
931
    X509_ALGOR_free(maskHash);
296
931
    return rv;
297
298
931
}
299
300
static int pkey_rsa_print(BIO *bp, const EVP_PKEY *pkey, int off, int priv)
301
481
{
302
481
    const RSA *x = pkey->pkey.rsa;
303
481
    char *str;
304
481
    const char *s;
305
481
    int ret = 0, mod_len = 0, ex_primes;
306
307
481
    if (x->n != NULL)
308
481
        mod_len = BN_num_bits(x->n);
309
481
    ex_primes = sk_RSA_PRIME_INFO_num(x->prime_infos);
310
311
481
    if (!BIO_indent(bp, off, 128))
312
0
        goto err;
313
314
481
    if (BIO_printf(bp, "%s ", pkey_is_pss(pkey) ?  "RSA-PSS" : "RSA") <= 0)
315
0
        goto err;
316
317
481
    if (priv && x->d) {
318
481
        if (BIO_printf(bp, "Private-Key: (%d bit, %d primes)\n",
319
481
                       mod_len, ex_primes <= 0 ? 2 : ex_primes + 2) <= 0)
320
0
            goto err;
321
481
        str = "modulus:";
322
481
        s = "publicExponent:";
323
481
    } else {
324
0
        if (BIO_printf(bp, "Public-Key: (%d bit)\n", mod_len) <= 0)
325
0
            goto err;
326
0
        str = "Modulus:";
327
0
        s = "Exponent:";
328
0
    }
329
481
    if (!ASN1_bn_print(bp, str, x->n, NULL, off))
330
0
        goto err;
331
481
    if (!ASN1_bn_print(bp, s, x->e, NULL, off))
332
0
        goto err;
333
481
    if (priv) {
334
481
        int i;
335
336
481
        if (!ASN1_bn_print(bp, "privateExponent:", x->d, NULL, off))
337
0
            goto err;
338
481
        if (!ASN1_bn_print(bp, "prime1:", x->p, NULL, off))
339
0
            goto err;
340
481
        if (!ASN1_bn_print(bp, "prime2:", x->q, NULL, off))
341
0
            goto err;
342
481
        if (!ASN1_bn_print(bp, "exponent1:", x->dmp1, NULL, off))
343
0
            goto err;
344
481
        if (!ASN1_bn_print(bp, "exponent2:", x->dmq1, NULL, off))
345
0
            goto err;
346
481
        if (!ASN1_bn_print(bp, "coefficient:", x->iqmp, NULL, off))
347
0
            goto err;
348
29.4k
        for (i = 0; i < sk_RSA_PRIME_INFO_num(x->prime_infos); i++) {
349
            /* print multi-prime info */
350
28.9k
            BIGNUM *bn = NULL;
351
28.9k
            RSA_PRIME_INFO *pinfo;
352
28.9k
            int j;
353
354
28.9k
            pinfo = sk_RSA_PRIME_INFO_value(x->prime_infos, i);
355
115k
            for (j = 0; j < 3; j++) {
356
86.8k
                if (!BIO_indent(bp, off, 128))
357
0
                    goto err;
358
86.8k
                switch (j) {
359
28.9k
                case 0:
360
28.9k
                    if (BIO_printf(bp, "prime%d:", i + 3) <= 0)
361
0
                        goto err;
362
28.9k
                    bn = pinfo->r;
363
28.9k
                    break;
364
28.9k
                case 1:
365
28.9k
                    if (BIO_printf(bp, "exponent%d:", i + 3) <= 0)
366
0
                        goto err;
367
28.9k
                    bn = pinfo->d;
368
28.9k
                    break;
369
28.9k
                case 2:
370
28.9k
                    if (BIO_printf(bp, "coefficient%d:", i + 3) <= 0)
371
0
                        goto err;
372
28.9k
                    bn = pinfo->t;
373
28.9k
                    break;
374
0
                default:
375
0
                    break;
376
86.8k
                }
377
86.8k
                if (!ASN1_bn_print(bp, "", bn, NULL, off))
378
0
                    goto err;
379
86.8k
            }
380
28.9k
        }
381
481
    }
382
481
    if (pkey_is_pss(pkey) && !rsa_pss_param_print(bp, 1, x->pss, off))
383
0
        goto err;
384
481
    ret = 1;
385
481
 err:
386
481
    return ret;
387
481
}
388
389
static int rsa_pub_print(BIO *bp, const EVP_PKEY *pkey, int indent,
390
                         ASN1_PCTX *ctx)
391
0
{
392
0
    return pkey_rsa_print(bp, pkey, indent, 0);
393
0
}
394
395
static int rsa_priv_print(BIO *bp, const EVP_PKEY *pkey, int indent,
396
                          ASN1_PCTX *ctx)
397
481
{
398
481
    return pkey_rsa_print(bp, pkey, indent, 1);
399
481
}
400
401
static int rsa_sig_print(BIO *bp, const X509_ALGOR *sigalg,
402
                         const ASN1_STRING *sig, int indent, ASN1_PCTX *pctx)
403
7.22k
{
404
7.22k
    if (OBJ_obj2nid(sigalg->algorithm) == EVP_PKEY_RSA_PSS) {
405
3.10k
        int rv;
406
3.10k
        RSA_PSS_PARAMS *pss = ossl_rsa_pss_decode(sigalg);
407
408
3.10k
        rv = rsa_pss_param_print(bp, 0, pss, indent);
409
3.10k
        RSA_PSS_PARAMS_free(pss);
410
3.10k
        if (!rv)
411
0
            return 0;
412
4.12k
    } else if (BIO_puts(bp, "\n") <= 0) {
413
0
        return 0;
414
0
    }
415
7.22k
    if (sig)
416
3.10k
        return X509_signature_dump(bp, sig, indent);
417
4.11k
    return 1;
418
7.22k
}
419
420
static int rsa_pkey_ctrl(EVP_PKEY *pkey, int op, long arg1, void *arg2)
421
0
{
422
0
    const EVP_MD *md;
423
0
    const EVP_MD *mgf1md;
424
0
    int min_saltlen;
425
426
0
    switch (op) {
427
0
    case ASN1_PKEY_CTRL_DEFAULT_MD_NID:
428
0
        if (pkey->pkey.rsa->pss != NULL) {
429
0
            if (!ossl_rsa_pss_get_param(pkey->pkey.rsa->pss, &md, &mgf1md,
430
0
                                        &min_saltlen)) {
431
0
                ERR_raise(ERR_LIB_RSA, ERR_R_INTERNAL_ERROR);
432
0
                return 0;
433
0
            }
434
0
            *(int *)arg2 = EVP_MD_get_type(md);
435
            /* Return of 2 indicates this MD is mandatory */
436
0
            return 2;
437
0
        }
438
0
        *(int *)arg2 = NID_sha256;
439
0
        return 1;
440
441
0
    default:
442
0
        return -2;
443
0
    }
444
0
}
445
446
/*
447
 * Convert EVP_PKEY_CTX in PSS mode into corresponding algorithm parameter,
448
 * suitable for setting an AlgorithmIdentifier.
449
 */
450
451
static RSA_PSS_PARAMS *rsa_ctx_to_pss(EVP_PKEY_CTX *pkctx)
452
0
{
453
0
    const EVP_MD *sigmd, *mgf1md;
454
0
    EVP_PKEY *pk = EVP_PKEY_CTX_get0_pkey(pkctx);
455
0
    int saltlen;
456
0
    int saltlenMax = -1;
457
458
0
    if (EVP_PKEY_CTX_get_signature_md(pkctx, &sigmd) <= 0)
459
0
        return NULL;
460
0
    if (EVP_PKEY_CTX_get_rsa_mgf1_md(pkctx, &mgf1md) <= 0)
461
0
        return NULL;
462
0
    if (EVP_PKEY_CTX_get_rsa_pss_saltlen(pkctx, &saltlen) <= 0)
463
0
        return NULL;
464
0
    if (saltlen == RSA_PSS_SALTLEN_DIGEST) {
465
0
        saltlen = EVP_MD_get_size(sigmd);
466
0
    } else if (saltlen == RSA_PSS_SALTLEN_AUTO_DIGEST_MAX) {
467
        /* FIPS 186-4 section 5 "The RSA Digital Signature Algorithm",
468
         * subsection 5.5 "PKCS #1" says: "For RSASSA-PSS […] the length (in
469
         * bytes) of the salt (sLen) shall satisfy 0 <= sLen <= hLen, where
470
         * hLen is the length of the hash function output block (in bytes)."
471
         *
472
         * Provide a way to use at most the digest length, so that the default
473
         * does not violate FIPS 186-4. */
474
0
        saltlen = RSA_PSS_SALTLEN_MAX;
475
0
        saltlenMax = EVP_MD_get_size(sigmd);
476
0
    }
477
0
    if (saltlen == RSA_PSS_SALTLEN_MAX || saltlen == RSA_PSS_SALTLEN_AUTO) {
478
0
        saltlen = EVP_PKEY_get_size(pk) - EVP_MD_get_size(sigmd) - 2;
479
0
        if ((EVP_PKEY_get_bits(pk) & 0x7) == 1)
480
0
            saltlen--;
481
0
        if (saltlen < 0)
482
0
            return NULL;
483
0
        if (saltlenMax >= 0 && saltlen > saltlenMax)
484
0
            saltlen = saltlenMax;
485
0
    }
486
487
0
    return ossl_rsa_pss_params_create(sigmd, mgf1md, saltlen);
488
0
}
489
490
RSA_PSS_PARAMS *ossl_rsa_pss_params_create(const EVP_MD *sigmd,
491
                                           const EVP_MD *mgf1md, int saltlen)
492
0
{
493
0
    RSA_PSS_PARAMS *pss = RSA_PSS_PARAMS_new();
494
495
0
    if (pss == NULL)
496
0
        goto err;
497
0
    if (saltlen != 20) {
498
0
        pss->saltLength = ASN1_INTEGER_new();
499
0
        if (pss->saltLength == NULL)
500
0
            goto err;
501
0
        if (!ASN1_INTEGER_set(pss->saltLength, saltlen))
502
0
            goto err;
503
0
    }
504
0
    if (!ossl_x509_algor_new_from_md(&pss->hashAlgorithm, sigmd))
505
0
        goto err;
506
0
    if (mgf1md == NULL)
507
0
        mgf1md = sigmd;
508
0
    if (!ossl_x509_algor_md_to_mgf1(&pss->maskGenAlgorithm, mgf1md))
509
0
        goto err;
510
0
    if (!ossl_x509_algor_new_from_md(&pss->maskHash, mgf1md))
511
0
        goto err;
512
0
    return pss;
513
0
 err:
514
0
    RSA_PSS_PARAMS_free(pss);
515
0
    return NULL;
516
0
}
517
518
ASN1_STRING *ossl_rsa_ctx_to_pss_string(EVP_PKEY_CTX *pkctx)
519
0
{
520
0
    RSA_PSS_PARAMS *pss = rsa_ctx_to_pss(pkctx);
521
0
    ASN1_STRING *os;
522
523
0
    if (pss == NULL)
524
0
        return NULL;
525
526
0
    os = ASN1_item_pack(pss, ASN1_ITEM_rptr(RSA_PSS_PARAMS), NULL);
527
0
    RSA_PSS_PARAMS_free(pss);
528
0
    return os;
529
0
}
530
531
/*
532
 * From PSS AlgorithmIdentifier set public key parameters. If pkey isn't NULL
533
 * then the EVP_MD_CTX is setup and initialised. If it is NULL parameters are
534
 * passed to pkctx instead.
535
 */
536
537
int ossl_rsa_pss_to_ctx(EVP_MD_CTX *ctx, EVP_PKEY_CTX *pkctx,
538
                        const X509_ALGOR *sigalg, EVP_PKEY *pkey)
539
4.10k
{
540
4.10k
    int rv = -1;
541
4.10k
    int saltlen;
542
4.10k
    const EVP_MD *mgf1md = NULL, *md = NULL;
543
4.10k
    RSA_PSS_PARAMS *pss;
544
545
    /* Sanity check: make sure it is PSS */
546
4.10k
    if (OBJ_obj2nid(sigalg->algorithm) != EVP_PKEY_RSA_PSS) {
547
0
        ERR_raise(ERR_LIB_RSA, RSA_R_UNSUPPORTED_SIGNATURE_TYPE);
548
0
        return -1;
549
0
    }
550
    /* Decode PSS parameters */
551
4.10k
    pss = ossl_rsa_pss_decode(sigalg);
552
553
4.10k
    if (!ossl_rsa_pss_get_param(pss, &md, &mgf1md, &saltlen)) {
554
153
        ERR_raise(ERR_LIB_RSA, RSA_R_INVALID_PSS_PARAMETERS);
555
153
        goto err;
556
153
    }
557
558
    /* We have all parameters now set up context */
559
3.95k
    if (pkey) {
560
3.95k
        if (!EVP_DigestVerifyInit(ctx, &pkctx, md, NULL, pkey))
561
13
            goto err;
562
3.95k
    } else {
563
0
        const EVP_MD *checkmd;
564
0
        if (EVP_PKEY_CTX_get_signature_md(pkctx, &checkmd) <= 0)
565
0
            goto err;
566
0
        if (EVP_MD_get_type(md) != EVP_MD_get_type(checkmd)) {
567
0
            ERR_raise(ERR_LIB_RSA, RSA_R_DIGEST_DOES_NOT_MATCH);
568
0
            goto err;
569
0
        }
570
0
    }
571
572
3.94k
    if (EVP_PKEY_CTX_set_rsa_padding(pkctx, RSA_PKCS1_PSS_PADDING) <= 0)
573
0
        goto err;
574
575
3.94k
    if (EVP_PKEY_CTX_set_rsa_pss_saltlen(pkctx, saltlen) <= 0)
576
0
        goto err;
577
578
3.94k
    if (EVP_PKEY_CTX_set_rsa_mgf1_md(pkctx, mgf1md) <= 0)
579
0
        goto err;
580
    /* Carry on */
581
3.94k
    rv = 1;
582
583
4.10k
 err:
584
4.10k
    RSA_PSS_PARAMS_free(pss);
585
4.10k
    return rv;
586
3.94k
}
587
588
static int rsa_pss_verify_param(const EVP_MD **pmd, const EVP_MD **pmgf1md,
589
                                int *psaltlen, int *ptrailerField)
590
4.32k
{
591
4.32k
    if (psaltlen != NULL && *psaltlen < 0) {
592
10
        ERR_raise(ERR_LIB_RSA, RSA_R_INVALID_SALT_LENGTH);
593
10
        return 0;
594
10
    }
595
    /*
596
     * low-level routines support only trailer field 0xbc (value 1) and
597
     * PKCS#1 says we should reject any other value anyway.
598
     */
599
4.31k
    if (ptrailerField != NULL && *ptrailerField != 1) {
600
7
        ERR_raise(ERR_LIB_RSA, RSA_R_INVALID_TRAILER);
601
7
        return 0;
602
7
    }
603
4.30k
    return 1;
604
4.31k
}
605
606
int ossl_rsa_pss_get_param(const RSA_PSS_PARAMS *pss, const EVP_MD **pmd,
607
                           const EVP_MD **pmgf1md, int *psaltlen)
608
5.14k
{
609
    /*
610
     * Callers do not care about the trailer field, and yet, we must
611
     * pass it from get_param to verify_param, since the latter checks
612
     * its value.
613
     *
614
     * When callers start caring, it's a simple thing to add another
615
     * argument to this function.
616
     */
617
5.14k
    int trailerField = 0;
618
619
5.14k
    return ossl_rsa_pss_get_param_unverified(pss, pmd, pmgf1md, psaltlen,
620
5.14k
                                             &trailerField)
621
5.14k
        && rsa_pss_verify_param(pmd, pmgf1md, psaltlen, &trailerField);
622
5.14k
}
623
624
/*
625
 * Customised RSA item verification routine. This is called when a signature
626
 * is encountered requiring special handling. We currently only handle PSS.
627
 */
628
629
static int rsa_item_verify(EVP_MD_CTX *ctx, const ASN1_ITEM *it,
630
                           const void *asn, const X509_ALGOR *sigalg,
631
                           const ASN1_BIT_STRING *sig, EVP_PKEY *pkey)
632
0
{
633
    /* Sanity check: make sure it is PSS */
634
0
    if (OBJ_obj2nid(sigalg->algorithm) != EVP_PKEY_RSA_PSS) {
635
0
        ERR_raise(ERR_LIB_RSA, RSA_R_UNSUPPORTED_SIGNATURE_TYPE);
636
0
        return -1;
637
0
    }
638
0
    if (ossl_rsa_pss_to_ctx(ctx, NULL, sigalg, pkey) > 0) {
639
        /* Carry on */
640
0
        return 2;
641
0
    }
642
0
    return -1;
643
0
}
644
645
static int rsa_item_sign(EVP_MD_CTX *ctx, const ASN1_ITEM *it, const void *asn,
646
                         X509_ALGOR *alg1, X509_ALGOR *alg2,
647
                         ASN1_BIT_STRING *sig)
648
0
{
649
0
    int pad_mode;
650
0
    EVP_PKEY_CTX *pkctx = EVP_MD_CTX_get_pkey_ctx(ctx);
651
652
0
    if (EVP_PKEY_CTX_get_rsa_padding(pkctx, &pad_mode) <= 0)
653
0
        return 0;
654
0
    if (pad_mode == RSA_PKCS1_PADDING)
655
0
        return 2;
656
0
    if (pad_mode == RSA_PKCS1_PSS_PADDING) {
657
0
        unsigned char aid[128];
658
0
        size_t aid_len = 0;
659
0
        OSSL_PARAM params[2];
660
661
0
        if (evp_pkey_ctx_is_legacy(pkctx)) {
662
            /* No provider -> we cannot query it for algorithm ID. */
663
0
            ASN1_STRING *os1 = NULL;
664
665
0
            os1 = ossl_rsa_ctx_to_pss_string(pkctx);
666
0
            if (os1 == NULL)
667
0
                return 0;
668
            /* Duplicate parameters if we have to */
669
0
            if (alg2 != NULL) {
670
0
                ASN1_STRING *os2 = ASN1_STRING_dup(os1);
671
672
0
                if (os2 == NULL) {
673
0
                    ASN1_STRING_free(os1);
674
0
                    return 0;
675
0
                }
676
0
                if (!X509_ALGOR_set0(alg2, OBJ_nid2obj(EVP_PKEY_RSA_PSS),
677
0
                                     V_ASN1_SEQUENCE, os2)) {
678
0
                    ASN1_STRING_free(os1);
679
0
                    ASN1_STRING_free(os2);
680
0
                    return 0;
681
0
                }
682
0
            }
683
0
            if (!X509_ALGOR_set0(alg1, OBJ_nid2obj(EVP_PKEY_RSA_PSS),
684
0
                                 V_ASN1_SEQUENCE, os1)) {
685
0
                    ASN1_STRING_free(os1);
686
0
                    return 0;
687
0
            }
688
0
            return 3;
689
0
        }
690
691
0
        params[0] = OSSL_PARAM_construct_octet_string(
692
0
            OSSL_SIGNATURE_PARAM_ALGORITHM_ID, aid, sizeof(aid));
693
0
        params[1] = OSSL_PARAM_construct_end();
694
695
0
        if (EVP_PKEY_CTX_get_params(pkctx, params) <= 0)
696
0
            return 0;
697
0
        if ((aid_len = params[0].return_size) == 0)
698
0
            return 0;
699
700
0
        if (alg1 != NULL) {
701
0
            const unsigned char *pp = aid;
702
703
0
            if (d2i_X509_ALGOR(&alg1, &pp, aid_len) == NULL)
704
0
                return 0;
705
0
        }
706
0
        if (alg2 != NULL) {
707
0
            const unsigned char *pp = aid;
708
709
0
            if (d2i_X509_ALGOR(&alg2, &pp, aid_len) == NULL)
710
0
                return 0;
711
0
        }
712
713
0
        return 3;
714
0
    }
715
0
    return 2;
716
0
}
717
718
static int rsa_sig_info_set(X509_SIG_INFO *siginf, const X509_ALGOR *sigalg,
719
                            const ASN1_STRING *sig)
720
552
{
721
552
    int rv = 0;
722
552
    int mdnid, saltlen;
723
552
    uint32_t flags;
724
552
    const EVP_MD *mgf1md = NULL, *md = NULL;
725
552
    RSA_PSS_PARAMS *pss;
726
552
    int secbits;
727
728
    /* Sanity check: make sure it is PSS */
729
552
    if (OBJ_obj2nid(sigalg->algorithm) != EVP_PKEY_RSA_PSS)
730
0
        return 0;
731
    /* Decode PSS parameters */
732
552
    pss = ossl_rsa_pss_decode(sigalg);
733
552
    if (!ossl_rsa_pss_get_param(pss, &md, &mgf1md, &saltlen))
734
436
        goto err;
735
116
    mdnid = EVP_MD_get_type(md);
736
    /*
737
     * For TLS need SHA256, SHA384 or SHA512, digest and MGF1 digest must
738
     * match and salt length must equal digest size
739
     */
740
116
    if ((mdnid == NID_sha256 || mdnid == NID_sha384 || mdnid == NID_sha512)
741
116
            && mdnid == EVP_MD_get_type(mgf1md)
742
116
            && saltlen == EVP_MD_get_size(md))
743
3
        flags = X509_SIG_INFO_TLS;
744
113
    else
745
113
        flags = 0;
746
    /* Note: security bits half number of digest bits */
747
116
    secbits = EVP_MD_get_size(md) * 4;
748
    /*
749
     * SHA1 and MD5 are known to be broken. Reduce security bits so that
750
     * they're no longer accepted at security level 1. The real values don't
751
     * really matter as long as they're lower than 80, which is our security
752
     * level 1.
753
     * https://eprint.iacr.org/2020/014 puts a chosen-prefix attack for SHA1 at
754
     * 2^63.4
755
     * https://documents.epfl.ch/users/l/le/lenstra/public/papers/lat.pdf
756
     * puts a chosen-prefix attack for MD5 at 2^39.
757
     */
758
116
    if (mdnid == NID_sha1)
759
97
        secbits = 64;
760
19
    else if (mdnid == NID_md5_sha1)
761
0
        secbits = 68;
762
19
    else if (mdnid == NID_md5)
763
2
        secbits = 39;
764
116
    X509_SIG_INFO_set(siginf, mdnid, EVP_PKEY_RSA_PSS, secbits,
765
116
                      flags);
766
116
    rv = 1;
767
552
    err:
768
552
    RSA_PSS_PARAMS_free(pss);
769
552
    return rv;
770
116
}
771
772
static int rsa_pkey_check(const EVP_PKEY *pkey)
773
0
{
774
0
    return RSA_check_key_ex(pkey->pkey.rsa, NULL);
775
0
}
776
777
static size_t rsa_pkey_dirty_cnt(const EVP_PKEY *pkey)
778
148k
{
779
148k
    return pkey->pkey.rsa->dirty_cnt;
780
148k
}
781
782
/*
783
 * There is no need to do RSA_test_flags(rsa, RSA_FLAG_TYPE_RSASSAPSS)
784
 * checks in this method since the caller tests EVP_KEYMGMT_is_a() first.
785
 */
786
static int rsa_int_export_to(const EVP_PKEY *from, int rsa_type,
787
                             void *to_keydata,
788
                             OSSL_FUNC_keymgmt_import_fn *importer,
789
                             OSSL_LIB_CTX *libctx, const char *propq)
790
25.4k
{
791
25.4k
    RSA *rsa = from->pkey.rsa;
792
25.4k
    OSSL_PARAM_BLD *tmpl = OSSL_PARAM_BLD_new();
793
25.4k
    OSSL_PARAM *params = NULL;
794
25.4k
    int selection = 0;
795
25.4k
    int rv = 0;
796
797
25.4k
    if (tmpl == NULL)
798
0
        return 0;
799
    /* Public parameters must always be present */
800
25.4k
    if (RSA_get0_n(rsa) == NULL || RSA_get0_e(rsa) == NULL)
801
0
        goto err;
802
803
25.4k
    if (!ossl_rsa_todata(rsa, tmpl, NULL, 1))
804
0
        goto err;
805
806
25.4k
    selection |= OSSL_KEYMGMT_SELECT_PUBLIC_KEY;
807
25.4k
    if (RSA_get0_d(rsa) != NULL)
808
25.4k
        selection |= OSSL_KEYMGMT_SELECT_PRIVATE_KEY;
809
810
25.4k
    if (rsa->pss != NULL) {
811
0
        const EVP_MD *md = NULL, *mgf1md = NULL;
812
0
        int md_nid, mgf1md_nid, saltlen, trailerfield;
813
0
        RSA_PSS_PARAMS_30 pss_params;
814
815
0
        if (!ossl_rsa_pss_get_param_unverified(rsa->pss, &md, &mgf1md,
816
0
                                               &saltlen, &trailerfield))
817
0
            goto err;
818
0
        md_nid = EVP_MD_get_type(md);
819
0
        mgf1md_nid = EVP_MD_get_type(mgf1md);
820
0
        if (!ossl_rsa_pss_params_30_set_defaults(&pss_params)
821
0
            || !ossl_rsa_pss_params_30_set_hashalg(&pss_params, md_nid)
822
0
            || !ossl_rsa_pss_params_30_set_maskgenhashalg(&pss_params,
823
0
                                                          mgf1md_nid)
824
0
            || !ossl_rsa_pss_params_30_set_saltlen(&pss_params, saltlen)
825
0
            || !ossl_rsa_pss_params_30_todata(&pss_params, tmpl, NULL))
826
0
            goto err;
827
0
        selection |= OSSL_KEYMGMT_SELECT_OTHER_PARAMETERS;
828
0
    }
829
830
25.4k
    if ((params = OSSL_PARAM_BLD_to_param(tmpl)) == NULL)
831
0
        goto err;
832
833
    /* We export, the provider imports */
834
25.4k
    rv = importer(to_keydata, selection, params);
835
836
25.4k
 err:
837
25.4k
    OSSL_PARAM_free(params);
838
25.4k
    OSSL_PARAM_BLD_free(tmpl);
839
25.4k
    return rv;
840
25.4k
}
841
842
static int rsa_int_import_from(const OSSL_PARAM params[], void *vpctx,
843
                               int rsa_type)
844
4.54k
{
845
4.54k
    EVP_PKEY_CTX *pctx = vpctx;
846
4.54k
    EVP_PKEY *pkey = EVP_PKEY_CTX_get0_pkey(pctx);
847
4.54k
    RSA *rsa = ossl_rsa_new_with_ctx(pctx->libctx);
848
4.54k
    RSA_PSS_PARAMS_30 rsa_pss_params = { 0, };
849
4.54k
    int pss_defaults_set = 0;
850
4.54k
    int ok = 0;
851
852
4.54k
    if (rsa == NULL) {
853
0
        ERR_raise(ERR_LIB_DH, ERR_R_MALLOC_FAILURE);
854
0
        return 0;
855
0
    }
856
857
4.54k
    RSA_clear_flags(rsa, RSA_FLAG_TYPE_MASK);
858
4.54k
    RSA_set_flags(rsa, rsa_type);
859
860
4.54k
    if (!ossl_rsa_pss_params_30_fromdata(&rsa_pss_params, &pss_defaults_set,
861
4.54k
                                         params, pctx->libctx))
862
0
        goto err;
863
864
4.54k
    switch (rsa_type) {
865
4.54k
    case RSA_FLAG_TYPE_RSA:
866
        /*
867
         * Were PSS parameters filled in?
868
         * In that case, something's wrong
869
         */
870
4.54k
        if (!ossl_rsa_pss_params_30_is_unrestricted(&rsa_pss_params))
871
0
            goto err;
872
4.54k
        break;
873
4.54k
    case RSA_FLAG_TYPE_RSASSAPSS:
874
        /*
875
         * Were PSS parameters filled in?  In that case, create the old
876
         * RSA_PSS_PARAMS structure.  Otherwise, this is an unrestricted key.
877
         */
878
0
        if (!ossl_rsa_pss_params_30_is_unrestricted(&rsa_pss_params)) {
879
            /* Create the older RSA_PSS_PARAMS from RSA_PSS_PARAMS_30 data */
880
0
            int mdnid = ossl_rsa_pss_params_30_hashalg(&rsa_pss_params);
881
0
            int mgf1mdnid = ossl_rsa_pss_params_30_maskgenhashalg(&rsa_pss_params);
882
0
            int saltlen = ossl_rsa_pss_params_30_saltlen(&rsa_pss_params);
883
0
            const EVP_MD *md = EVP_get_digestbynid(mdnid);
884
0
            const EVP_MD *mgf1md = EVP_get_digestbynid(mgf1mdnid);
885
886
0
            if ((rsa->pss = ossl_rsa_pss_params_create(md, mgf1md,
887
0
                                                       saltlen)) == NULL)
888
0
                goto err;
889
0
        }
890
0
        break;
891
0
    default:
892
        /* RSA key sub-types we don't know how to handle yet */
893
0
        goto err;
894
4.54k
    }
895
896
4.54k
    if (!ossl_rsa_fromdata(rsa, params, 1))
897
0
        goto err;
898
899
4.54k
    switch (rsa_type) {
900
4.54k
    case RSA_FLAG_TYPE_RSA:
901
4.54k
        ok = EVP_PKEY_assign_RSA(pkey, rsa);
902
4.54k
        break;
903
0
    case RSA_FLAG_TYPE_RSASSAPSS:
904
0
        ok = EVP_PKEY_assign(pkey, EVP_PKEY_RSA_PSS, rsa);
905
0
        break;
906
4.54k
    }
907
908
4.54k
 err:
909
4.54k
    if (!ok)
910
0
        RSA_free(rsa);
911
4.54k
    return ok;
912
4.54k
}
913
914
static int rsa_pkey_export_to(const EVP_PKEY *from, void *to_keydata,
915
                              OSSL_FUNC_keymgmt_import_fn *importer,
916
                              OSSL_LIB_CTX *libctx, const char *propq)
917
25.4k
{
918
25.4k
    return rsa_int_export_to(from, RSA_FLAG_TYPE_RSA, to_keydata,
919
25.4k
                             importer, libctx, propq);
920
25.4k
}
921
922
static int rsa_pss_pkey_export_to(const EVP_PKEY *from, void *to_keydata,
923
                                  OSSL_FUNC_keymgmt_import_fn *importer,
924
                                  OSSL_LIB_CTX *libctx, const char *propq)
925
0
{
926
0
    return rsa_int_export_to(from, RSA_FLAG_TYPE_RSASSAPSS, to_keydata,
927
0
                             importer, libctx, propq);
928
0
}
929
930
static int rsa_pkey_import_from(const OSSL_PARAM params[], void *vpctx)
931
4.54k
{
932
4.54k
    return rsa_int_import_from(params, vpctx, RSA_FLAG_TYPE_RSA);
933
4.54k
}
934
935
static int rsa_pss_pkey_import_from(const OSSL_PARAM params[], void *vpctx)
936
0
{
937
0
    return rsa_int_import_from(params, vpctx, RSA_FLAG_TYPE_RSASSAPSS);
938
0
}
939
940
static int rsa_pkey_copy(EVP_PKEY *to, EVP_PKEY *from)
941
0
{
942
0
    RSA *rsa = from->pkey.rsa;
943
0
    RSA *dupkey = NULL;
944
0
    int ret;
945
946
0
    if (rsa != NULL) {
947
0
        dupkey = ossl_rsa_dup(rsa, OSSL_KEYMGMT_SELECT_ALL);
948
0
        if (dupkey == NULL)
949
0
            return 0;
950
0
    }
951
952
0
    ret = EVP_PKEY_assign(to, from->type, dupkey);
953
0
    if (!ret)
954
0
        RSA_free(dupkey);
955
0
    return ret;
956
0
}
957
958
const EVP_PKEY_ASN1_METHOD ossl_rsa_asn1_meths[2] = {
959
    {
960
     EVP_PKEY_RSA,
961
     EVP_PKEY_RSA,
962
     ASN1_PKEY_SIGPARAM_NULL,
963
964
     "RSA",
965
     "OpenSSL RSA method",
966
967
     rsa_pub_decode,
968
     rsa_pub_encode,
969
     rsa_pub_cmp,
970
     rsa_pub_print,
971
972
     rsa_priv_decode,
973
     rsa_priv_encode,
974
     rsa_priv_print,
975
976
     int_rsa_size,
977
     rsa_bits,
978
     rsa_security_bits,
979
980
     0, 0, 0, 0, 0, 0,
981
982
     rsa_sig_print,
983
     int_rsa_free,
984
     rsa_pkey_ctrl,
985
     old_rsa_priv_decode,
986
     old_rsa_priv_encode,
987
     rsa_item_verify,
988
     rsa_item_sign,
989
     rsa_sig_info_set,
990
     rsa_pkey_check,
991
992
     0, 0,
993
     0, 0, 0, 0,
994
995
     rsa_pkey_dirty_cnt,
996
     rsa_pkey_export_to,
997
     rsa_pkey_import_from,
998
     rsa_pkey_copy
999
    },
1000
1001
    {
1002
     EVP_PKEY_RSA2,
1003
     EVP_PKEY_RSA,
1004
     ASN1_PKEY_ALIAS}
1005
};
1006
1007
const EVP_PKEY_ASN1_METHOD ossl_rsa_pss_asn1_meth = {
1008
     EVP_PKEY_RSA_PSS,
1009
     EVP_PKEY_RSA_PSS,
1010
     ASN1_PKEY_SIGPARAM_NULL,
1011
1012
     "RSA-PSS",
1013
     "OpenSSL RSA-PSS method",
1014
1015
     rsa_pub_decode,
1016
     rsa_pub_encode,
1017
     rsa_pub_cmp,
1018
     rsa_pub_print,
1019
1020
     rsa_priv_decode,
1021
     rsa_priv_encode,
1022
     rsa_priv_print,
1023
1024
     int_rsa_size,
1025
     rsa_bits,
1026
     rsa_security_bits,
1027
1028
     0, 0, 0, 0, 0, 0,
1029
1030
     rsa_sig_print,
1031
     int_rsa_free,
1032
     rsa_pkey_ctrl,
1033
     0, 0,
1034
     rsa_item_verify,
1035
     rsa_item_sign,
1036
     rsa_sig_info_set,
1037
     rsa_pkey_check,
1038
1039
     0, 0,
1040
     0, 0, 0, 0,
1041
1042
     rsa_pkey_dirty_cnt,
1043
     rsa_pss_pkey_export_to,
1044
     rsa_pss_pkey_import_from,
1045
     rsa_pkey_copy
1046
};