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