Coverage Report

Created: 2023-06-08 06:41

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