Coverage Report

Created: 2025-08-28 07:07

/src/openssl33/crypto/rsa/rsa_sp800_56b_gen.c
Line
Count
Source (jump to first uncovered line)
1
/*
2
 * Copyright 2018-2024 The OpenSSL Project Authors. All Rights Reserved.
3
 * Copyright (c) 2018-2019, Oracle and/or its affiliates.  All rights reserved.
4
 *
5
 * Licensed under the Apache License 2.0 (the "License").  You may not use
6
 * this file except in compliance with the License.  You can obtain a copy
7
 * in the file LICENSE in the source distribution or at
8
 * https://www.openssl.org/source/license.html
9
 */
10
11
#include <openssl/err.h>
12
#include <openssl/bn.h>
13
#include <openssl/core.h>
14
#include <openssl/evp.h>
15
#include <openssl/rand.h>
16
#include "crypto/bn.h"
17
#include "crypto/security_bits.h"
18
#include "rsa_local.h"
19
20
0
#define RSA_FIPS1864_MIN_KEYGEN_KEYSIZE 2048
21
#define RSA_FIPS1864_MIN_KEYGEN_STRENGTH 112
22
23
/*
24
 * Generate probable primes 'p' & 'q'. See FIPS 186-4 Section B.3.6
25
 * "Generation of Probable Primes with Conditions Based on Auxiliary Probable
26
 * Primes".
27
 *
28
 * Params:
29
 *     rsa  Object used to store primes p & q.
30
 *     test Object used for CAVS testing only.that contains..
31
 *       p1, p2 The returned auxiliary primes for p.
32
 *              If NULL they are not returned.
33
 *       Xp An optional passed in value (that is random number used during
34
 *          generation of p).
35
 *       Xp1, Xp2 Optionally passed in randomly generated numbers from which
36
 *                auxiliary primes p1 & p2 are calculated. If NULL these values
37
 *                are generated internally.
38
 *       q1, q2 The returned auxiliary primes for q.
39
 *              If NULL they are not returned.
40
 *       Xq An optional passed in value (that is random number used during
41
 *          generation of q).
42
 *       Xq1, Xq2 Optionally passed in randomly generated numbers from which
43
 *                auxiliary primes q1 & q2 are calculated. If NULL these values
44
 *                are generated internally.
45
 *     nbits The key size in bits (The size of the modulus n).
46
 *     e The public exponent.
47
 *     ctx A BN_CTX object.
48
 *     cb An optional BIGNUM callback.
49
 * Returns: 1 if successful, or  0 otherwise.
50
 * Notes:
51
 *     p1, p2, q1, q2 are returned if they are not NULL.
52
 *     Xp, Xp1, Xp2, Xq, Xq1, Xq2 are optionally passed in.
53
 *     (Required for CAVS testing).
54
 */
55
int ossl_rsa_fips186_4_gen_prob_primes(RSA *rsa, RSA_ACVP_TEST *test,
56
                                       int nbits, const BIGNUM *e, BN_CTX *ctx,
57
                                       BN_GENCB *cb)
58
0
{
59
0
    int ret = 0, ok;
60
    /* Temp allocated BIGNUMS */
61
0
    BIGNUM *Xpo = NULL, *Xqo = NULL, *tmp = NULL;
62
    /* Intermediate BIGNUMS that can be returned for testing */
63
0
    BIGNUM *p1 = NULL, *p2 = NULL;
64
0
    BIGNUM *q1 = NULL, *q2 = NULL;
65
    /* Intermediate BIGNUMS that can be input for testing */
66
0
    BIGNUM *Xp = NULL, *Xp1 = NULL, *Xp2 = NULL;
67
0
    BIGNUM *Xq = NULL, *Xq1 = NULL, *Xq2 = NULL;
68
69
#if defined(FIPS_MODULE) && !defined(OPENSSL_NO_ACVP_TESTS)
70
    if (test != NULL) {
71
        Xp1 = test->Xp1;
72
        Xp2 = test->Xp2;
73
        Xq1 = test->Xq1;
74
        Xq2 = test->Xq2;
75
        Xp = test->Xp;
76
        Xq = test->Xq;
77
        p1 = test->p1;
78
        p2 = test->p2;
79
        q1 = test->q1;
80
        q2 = test->q2;
81
    }
82
#endif
83
84
    /* (Step 1) Check key length
85
     * NOTE: SP800-131A Rev1 Disallows key lengths of < 2048 bits for RSA
86
     * Signature Generation and Key Agree/Transport.
87
     */
88
0
    if (nbits < RSA_FIPS1864_MIN_KEYGEN_KEYSIZE) {
89
0
        ERR_raise(ERR_LIB_RSA, RSA_R_KEY_SIZE_TOO_SMALL);
90
0
        return 0;
91
0
    }
92
93
0
    if (!ossl_rsa_check_public_exponent(e)) {
94
0
        ERR_raise(ERR_LIB_RSA, RSA_R_PUB_EXPONENT_OUT_OF_RANGE);
95
0
        return 0;
96
0
    }
97
98
    /* (Step 3) Determine strength and check rand generator strength is ok -
99
     * this step is redundant because the generator always returns a higher
100
     * strength than is required.
101
     */
102
103
0
    BN_CTX_start(ctx);
104
0
    tmp = BN_CTX_get(ctx);
105
0
    Xpo = BN_CTX_get(ctx);
106
0
    Xqo = BN_CTX_get(ctx);
107
0
    if (tmp == NULL || Xpo == NULL || Xqo == NULL)
108
0
        goto err;
109
0
    BN_set_flags(Xpo, BN_FLG_CONSTTIME);
110
0
    BN_set_flags(Xqo, BN_FLG_CONSTTIME);
111
112
0
    if (rsa->p == NULL)
113
0
        rsa->p = BN_secure_new();
114
0
    if (rsa->q == NULL)
115
0
        rsa->q = BN_secure_new();
116
0
    if (rsa->p == NULL || rsa->q == NULL)
117
0
        goto err;
118
0
    BN_set_flags(rsa->p, BN_FLG_CONSTTIME);
119
0
    BN_set_flags(rsa->q, BN_FLG_CONSTTIME);
120
121
    /* (Step 4) Generate p, Xp */
122
0
    if (!ossl_bn_rsa_fips186_4_gen_prob_primes(rsa->p, Xpo, p1, p2, Xp, Xp1, Xp2,
123
0
                                               nbits, e, ctx, cb))
124
0
        goto err;
125
0
    for (;;) {
126
        /* (Step 5) Generate q, Xq*/
127
0
        if (!ossl_bn_rsa_fips186_4_gen_prob_primes(rsa->q, Xqo, q1, q2, Xq, Xq1,
128
0
                                                   Xq2, nbits, e, ctx, cb))
129
0
            goto err;
130
131
        /* (Step 6) |Xp - Xq| > 2^(nbitlen/2 - 100) */
132
0
        ok = ossl_rsa_check_pminusq_diff(tmp, Xpo, Xqo, nbits);
133
0
        if (ok < 0)
134
0
            goto err;
135
0
        if (ok == 0)
136
0
            continue;
137
138
        /* (Step 6) |p - q| > 2^(nbitlen/2 - 100) */
139
0
        ok = ossl_rsa_check_pminusq_diff(tmp, rsa->p, rsa->q, nbits);
140
0
        if (ok < 0)
141
0
            goto err;
142
0
        if (ok == 0)
143
0
            continue;
144
0
        break; /* successfully finished */
145
0
    }
146
0
    rsa->dirty_cnt++;
147
0
    ret = 1;
148
0
err:
149
    /* Zeroize any internally generated values that are not returned */
150
0
    if (Xpo != NULL)
151
0
        BN_clear(Xpo);
152
0
    if (Xqo != NULL)
153
0
        BN_clear(Xqo);
154
0
    BN_clear(tmp);
155
156
0
    BN_CTX_end(ctx);
157
0
    return ret;
158
0
}
159
160
/*
161
 * Validates the RSA key size based on the target strength.
162
 * See SP800-56Br1 6.3.1.1 (Steps 1a-1b)
163
 *
164
 * Params:
165
 *     nbits The key size in bits.
166
 *     strength The target strength in bits. -1 means the target
167
 *              strength is unknown.
168
 * Returns: 1 if the key size matches the target strength, or 0 otherwise.
169
 */
170
int ossl_rsa_sp800_56b_validate_strength(int nbits, int strength)
171
0
{
172
0
    int s = (int)ossl_ifc_ffc_compute_security_bits(nbits);
173
174
#ifdef FIPS_MODULE
175
    if (s < RSA_FIPS1864_MIN_KEYGEN_STRENGTH) {
176
        ERR_raise(ERR_LIB_RSA, RSA_R_INVALID_MODULUS);
177
        return 0;
178
    }
179
#endif
180
0
    if (strength != -1 && s != strength) {
181
0
        ERR_raise(ERR_LIB_RSA, RSA_R_INVALID_STRENGTH);
182
0
        return 0;
183
0
    }
184
0
    return 1;
185
0
}
186
187
/*
188
 * Validate that the random bit generator is of sufficient strength to generate
189
 * a key of the specified length.
190
 */
191
static int rsa_validate_rng_strength(EVP_RAND_CTX *rng, int nbits)
192
0
{
193
0
    if (rng == NULL)
194
0
        return 0;
195
#ifdef FIPS_MODULE
196
    /*
197
     * This should become mainstream once similar tests are added to the other
198
     * key generations and once there is a way to disable these checks.
199
     */
200
    if (EVP_RAND_get_strength(rng) < ossl_ifc_ffc_compute_security_bits(nbits)) {
201
        ERR_raise(ERR_LIB_RSA,
202
                  RSA_R_RANDOMNESS_SOURCE_STRENGTH_INSUFFICIENT);
203
        return 0;
204
    }
205
#endif
206
0
    return 1;
207
0
}
208
209
/*
210
 *
211
 * Using p & q, calculate other required parameters such as n, d.
212
 * as well as the CRT parameters dP, dQ, qInv.
213
 *
214
 * See SP800-56Br1
215
 *   6.3.1.1 rsakpg1 - basic (Steps 3-4)
216
 *   6.3.1.3 rsakpg1 - crt   (Step 5)
217
 *
218
 * Params:
219
 *     rsa An rsa object.
220
 *     nbits The key size.
221
 *     e The public exponent.
222
 *     ctx A BN_CTX object.
223
 * Notes:
224
 *   There is a small chance that the generated d will be too small.
225
 * Returns: -1 = error,
226
 *           0 = d is too small,
227
 *           1 = success.
228
 *
229
 * SP800-56b key generation always passes a non NULL value for e.
230
 * For other purposes, if e is NULL then it is assumed that e, n and d are
231
 * already set in the RSA key and do not need to be recalculated.
232
 */
233
int ossl_rsa_sp800_56b_derive_params_from_pq(RSA *rsa, int nbits,
234
                                             const BIGNUM *e, BN_CTX *ctx)
235
0
{
236
0
    int ret = -1;
237
0
    BIGNUM *p1, *q1, *lcm, *p1q1, *gcd;
238
0
    BN_CTX_start(ctx);
239
0
    p1 = BN_CTX_get(ctx);
240
0
    q1 = BN_CTX_get(ctx);
241
0
    lcm = BN_CTX_get(ctx);
242
0
    p1q1 = BN_CTX_get(ctx);
243
0
    gcd = BN_CTX_get(ctx);
244
0
    if (gcd == NULL)
245
0
        goto err;
246
247
0
    BN_set_flags(p1, BN_FLG_CONSTTIME);
248
0
    BN_set_flags(q1, BN_FLG_CONSTTIME);
249
0
    BN_set_flags(lcm, BN_FLG_CONSTTIME);
250
0
    BN_set_flags(p1q1, BN_FLG_CONSTTIME);
251
0
    BN_set_flags(gcd, BN_FLG_CONSTTIME);
252
253
    /* LCM((p-1, q-1)) */
254
0
    if (ossl_rsa_get_lcm(ctx, rsa->p, rsa->q, lcm, gcd, p1, q1, p1q1) != 1)
255
0
        goto err;
256
257
    /*
258
     * if e is provided as a parameter, don't recompute e, d or n
259
     */
260
0
    if (e != NULL) {
261
        /* copy e */
262
0
        BN_free(rsa->e);
263
0
        rsa->e = BN_dup(e);
264
0
        if (rsa->e == NULL)
265
0
            goto err;
266
267
0
        BN_clear_free(rsa->d);
268
        /* (Step 3) d = (e^-1) mod (LCM(p-1, q-1)) */
269
0
        rsa->d = BN_secure_new();
270
0
        if (rsa->d == NULL)
271
0
            goto err;
272
0
        BN_set_flags(rsa->d, BN_FLG_CONSTTIME);
273
0
        if (BN_mod_inverse(rsa->d, e, lcm, ctx) == NULL)
274
0
            goto err;
275
276
        /* (Step 3) return an error if d is too small */
277
0
        if (BN_num_bits(rsa->d) <= (nbits >> 1)) {
278
0
            ret = 0;
279
0
            goto err;
280
0
        }
281
282
        /* (Step 4) n = pq */
283
0
        if (rsa->n == NULL)
284
0
            rsa->n = BN_new();
285
0
        if (rsa->n == NULL || !BN_mul(rsa->n, rsa->p, rsa->q, ctx))
286
0
            goto err;
287
0
    }
288
289
    /* (Step 5a) dP = d mod (p-1) */
290
0
    if (rsa->dmp1 == NULL)
291
0
        rsa->dmp1 = BN_secure_new();
292
0
    if (rsa->dmp1 == NULL)
293
0
        goto err;
294
0
    BN_set_flags(rsa->dmp1, BN_FLG_CONSTTIME);
295
0
    if (!BN_mod(rsa->dmp1, rsa->d, p1, ctx))
296
0
        goto err;
297
298
    /* (Step 5b) dQ = d mod (q-1) */
299
0
    if (rsa->dmq1 == NULL)
300
0
        rsa->dmq1 = BN_secure_new();
301
0
    if (rsa->dmq1 == NULL)
302
0
        goto err;
303
0
    BN_set_flags(rsa->dmq1, BN_FLG_CONSTTIME);
304
0
    if (!BN_mod(rsa->dmq1, rsa->d, q1, ctx))
305
0
        goto err;
306
307
    /* (Step 5c) qInv = (inverse of q) mod p */
308
0
    BN_free(rsa->iqmp);
309
0
    rsa->iqmp = BN_secure_new();
310
0
    if (rsa->iqmp == NULL)
311
0
        goto err;
312
0
    BN_set_flags(rsa->iqmp, BN_FLG_CONSTTIME);
313
0
    if (BN_mod_inverse(rsa->iqmp, rsa->q, rsa->p, ctx) == NULL)
314
0
        goto err;
315
316
0
    rsa->dirty_cnt++;
317
0
    ret = 1;
318
0
err:
319
0
    if (ret != 1) {
320
0
        BN_free(rsa->e);
321
0
        rsa->e = NULL;
322
0
        BN_free(rsa->d);
323
0
        rsa->d = NULL;
324
0
        BN_free(rsa->n);
325
0
        rsa->n = NULL;
326
0
        BN_free(rsa->iqmp);
327
0
        rsa->iqmp = NULL;
328
0
        BN_free(rsa->dmq1);
329
0
        rsa->dmq1 = NULL;
330
0
        BN_free(rsa->dmp1);
331
0
        rsa->dmp1 = NULL;
332
0
    }
333
0
    BN_clear(p1);
334
0
    BN_clear(q1);
335
0
    BN_clear(lcm);
336
0
    BN_clear(p1q1);
337
0
    BN_clear(gcd);
338
339
0
    BN_CTX_end(ctx);
340
0
    return ret;
341
0
}
342
343
/*
344
 * Generate a SP800-56B RSA key.
345
 *
346
 * See SP800-56Br1 6.3.1 "RSA Key-Pair Generation with a Fixed Public Exponent"
347
 *    6.3.1.1 rsakpg1 - basic
348
 *    6.3.1.3 rsakpg1 - crt
349
 *
350
 * See also FIPS 186-4 Section B.3.6
351
 * "Generation of Probable Primes with Conditions Based on Auxiliary
352
 * Probable Primes."
353
 *
354
 * Params:
355
 *     rsa The rsa object.
356
 *     nbits The intended key size in bits.
357
 *     efixed The public exponent. If NULL a default of 65537 is used.
358
 *     cb An optional BIGNUM callback.
359
 * Returns: 1 if successfully generated otherwise it returns 0.
360
 */
361
int ossl_rsa_sp800_56b_generate_key(RSA *rsa, int nbits, const BIGNUM *efixed,
362
                                    BN_GENCB *cb)
363
0
{
364
0
    int ret = 0;
365
0
    int ok;
366
0
    BN_CTX *ctx = NULL;
367
0
    BIGNUM *e = NULL;
368
0
    RSA_ACVP_TEST *info = NULL;
369
0
    BIGNUM *tmp;
370
371
#if defined(FIPS_MODULE) && !defined(OPENSSL_NO_ACVP_TESTS)
372
    info = rsa->acvp_test;
373
#endif
374
375
    /* (Steps 1a-1b) : Currently ignores the strength check */
376
0
    if (!ossl_rsa_sp800_56b_validate_strength(nbits, -1))
377
0
        return 0;
378
379
    /* Check that the RNG is capable of generating a key this large */
380
0
   if (!rsa_validate_rng_strength(RAND_get0_private(rsa->libctx), nbits))
381
0
        return 0;
382
383
0
    ctx = BN_CTX_new_ex(rsa->libctx);
384
0
    if (ctx == NULL)
385
0
        return 0;
386
387
    /* Set default if e is not passed in */
388
0
    if (efixed == NULL) {
389
0
        e = BN_new();
390
0
        if (e == NULL || !BN_set_word(e, 65537))
391
0
            goto err;
392
0
    } else {
393
0
        e = (BIGNUM *)efixed;
394
0
    }
395
    /* (Step 1c) fixed exponent is checked later .*/
396
397
0
    for (;;) {
398
        /* (Step 2) Generate prime factors */
399
0
        if (!ossl_rsa_fips186_4_gen_prob_primes(rsa, info, nbits, e, ctx, cb))
400
0
            goto err;
401
402
        /* p>q check and skipping in case of acvp test */
403
0
        if (info == NULL && BN_cmp(rsa->p, rsa->q) < 0) {
404
0
            tmp = rsa->p;
405
0
            rsa->p = rsa->q;
406
0
            rsa->q = tmp;
407
0
        }
408
409
        /* (Steps 3-5) Compute params d, n, dP, dQ, qInv */
410
0
        ok = ossl_rsa_sp800_56b_derive_params_from_pq(rsa, nbits, e, ctx);
411
0
        if (ok < 0)
412
0
            goto err;
413
0
        if (ok > 0)
414
0
            break;
415
        /* Gets here if computed d is too small - so try again */
416
0
    }
417
418
    /* (Step 6) Do pairwise test - optional validity test has been omitted */
419
0
    ret = ossl_rsa_sp800_56b_pairwise_test(rsa, ctx);
420
0
err:
421
0
    if (efixed == NULL)
422
0
        BN_free(e);
423
0
    BN_CTX_free(ctx);
424
0
    return ret;
425
0
}
426
427
/*
428
 * See SP800-56Br1 6.3.1.3 (Step 6) Perform a pair-wise consistency test by
429
 * verifying that: k = (k^e)^d mod n for some integer k where 1 < k < n-1.
430
 *
431
 * Returns 1 if the RSA key passes the pairwise test or 0 if it fails.
432
 */
433
int ossl_rsa_sp800_56b_pairwise_test(RSA *rsa, BN_CTX *ctx)
434
0
{
435
0
    int ret = 0;
436
0
    BIGNUM *k, *tmp;
437
438
0
    BN_CTX_start(ctx);
439
0
    tmp = BN_CTX_get(ctx);
440
0
    k = BN_CTX_get(ctx);
441
0
    if (k == NULL)
442
0
        goto err;
443
0
    BN_set_flags(k, BN_FLG_CONSTTIME);
444
445
0
    ret = (BN_set_word(k, 2)
446
0
           && BN_mod_exp(tmp, k, rsa->e, rsa->n, ctx)
447
0
           && BN_mod_exp(tmp, tmp, rsa->d, rsa->n, ctx)
448
0
           && BN_cmp(k, tmp) == 0);
449
0
    if (ret == 0)
450
0
        ERR_raise(ERR_LIB_RSA, RSA_R_PAIRWISE_TEST_FAILURE);
451
0
err:
452
0
    BN_CTX_end(ctx);
453
0
    return ret;
454
0
}