/src/openssl/providers/implementations/kem/rsa_kem.c
Line | Count | Source |
1 | | /* |
2 | | * Copyright 2020-2025 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 | | #include "internal/nelem.h" |
16 | | #include <openssl/crypto.h> |
17 | | #include <openssl/evp.h> |
18 | | #include <openssl/core_dispatch.h> |
19 | | #include <openssl/core_names.h> |
20 | | #include <openssl/rsa.h> |
21 | | #include <openssl/params.h> |
22 | | #include <openssl/err.h> |
23 | | #include <openssl/proverr.h> |
24 | | #include "crypto/rsa.h" |
25 | | #include "internal/cryptlib.h" |
26 | | #include "prov/provider_ctx.h" |
27 | | #include "prov/providercommon.h" |
28 | | #include "prov/implementations.h" |
29 | | #include "prov/securitycheck.h" |
30 | | #include "providers/implementations/kem/rsa_kem.inc" |
31 | | |
32 | | static OSSL_FUNC_kem_newctx_fn rsakem_newctx; |
33 | | static OSSL_FUNC_kem_encapsulate_init_fn rsakem_encapsulate_init; |
34 | | static OSSL_FUNC_kem_encapsulate_fn rsakem_generate; |
35 | | static OSSL_FUNC_kem_decapsulate_init_fn rsakem_decapsulate_init; |
36 | | static OSSL_FUNC_kem_decapsulate_fn rsakem_recover; |
37 | | static OSSL_FUNC_kem_freectx_fn rsakem_freectx; |
38 | | static OSSL_FUNC_kem_dupctx_fn rsakem_dupctx; |
39 | | static OSSL_FUNC_kem_get_ctx_params_fn rsakem_get_ctx_params; |
40 | | static OSSL_FUNC_kem_gettable_ctx_params_fn rsakem_gettable_ctx_params; |
41 | | static OSSL_FUNC_kem_set_ctx_params_fn rsakem_set_ctx_params; |
42 | | static OSSL_FUNC_kem_settable_ctx_params_fn rsakem_settable_ctx_params; |
43 | | |
44 | | /* |
45 | | * Only the KEM for RSASVE as defined in SP800-56b r2 is implemented |
46 | | * currently. |
47 | | */ |
48 | | #define KEM_OP_UNDEFINED -1 |
49 | 0 | #define KEM_OP_RSASVE 0 |
50 | | |
51 | | /* |
52 | | * What's passed as an actual key is defined by the KEYMGMT interface. |
53 | | * We happen to know that our KEYMGMT simply passes RSA structures, so |
54 | | * we use that here too. |
55 | | */ |
56 | | typedef struct { |
57 | | OSSL_LIB_CTX *libctx; |
58 | | RSA *rsa; |
59 | | int op; |
60 | | OSSL_FIPS_IND_DECLARE |
61 | | } PROV_RSA_CTX; |
62 | | |
63 | | static const OSSL_ITEM rsakem_opname_id_map[] = { |
64 | | { KEM_OP_RSASVE, OSSL_KEM_PARAM_OPERATION_RSASVE }, |
65 | | }; |
66 | | |
67 | | static int name2id(const char *name, const OSSL_ITEM *map, size_t sz) |
68 | 0 | { |
69 | 0 | size_t i; |
70 | |
|
71 | 0 | if (name == NULL) |
72 | 0 | return -1; |
73 | | |
74 | 0 | for (i = 0; i < sz; ++i) { |
75 | 0 | if (OPENSSL_strcasecmp(map[i].ptr, name) == 0) |
76 | 0 | return map[i].id; |
77 | 0 | } |
78 | 0 | return -1; |
79 | 0 | } |
80 | | |
81 | | static int rsakem_opname2id(const char *name) |
82 | 0 | { |
83 | 0 | return name2id(name, rsakem_opname_id_map, OSSL_NELEM(rsakem_opname_id_map)); |
84 | 0 | } |
85 | | |
86 | | static void *rsakem_newctx(void *provctx) |
87 | 0 | { |
88 | 0 | PROV_RSA_CTX *prsactx; |
89 | |
|
90 | 0 | if (!ossl_prov_is_running()) |
91 | 0 | return NULL; |
92 | | |
93 | 0 | prsactx = OPENSSL_zalloc(sizeof(PROV_RSA_CTX)); |
94 | 0 | if (prsactx == NULL) |
95 | 0 | return NULL; |
96 | 0 | prsactx->libctx = PROV_LIBCTX_OF(provctx); |
97 | 0 | prsactx->op = KEM_OP_RSASVE; |
98 | 0 | OSSL_FIPS_IND_INIT(prsactx) |
99 | |
|
100 | 0 | return prsactx; |
101 | 0 | } |
102 | | |
103 | | static void rsakem_freectx(void *vprsactx) |
104 | 0 | { |
105 | 0 | PROV_RSA_CTX *prsactx = (PROV_RSA_CTX *)vprsactx; |
106 | |
|
107 | 0 | RSA_free(prsactx->rsa); |
108 | 0 | OPENSSL_free(prsactx); |
109 | 0 | } |
110 | | |
111 | | static void *rsakem_dupctx(void *vprsactx) |
112 | 0 | { |
113 | 0 | PROV_RSA_CTX *srcctx = (PROV_RSA_CTX *)vprsactx; |
114 | 0 | PROV_RSA_CTX *dstctx; |
115 | |
|
116 | 0 | if (!ossl_prov_is_running()) |
117 | 0 | return NULL; |
118 | | |
119 | 0 | dstctx = OPENSSL_zalloc(sizeof(*srcctx)); |
120 | 0 | if (dstctx == NULL) |
121 | 0 | return NULL; |
122 | | |
123 | 0 | *dstctx = *srcctx; |
124 | 0 | if (dstctx->rsa != NULL && !RSA_up_ref(dstctx->rsa)) { |
125 | 0 | OPENSSL_free(dstctx); |
126 | 0 | return NULL; |
127 | 0 | } |
128 | 0 | return dstctx; |
129 | 0 | } |
130 | | |
131 | | static int rsakem_init(void *vprsactx, void *vrsa, |
132 | | const OSSL_PARAM params[], int operation, |
133 | | const char *desc) |
134 | 0 | { |
135 | 0 | PROV_RSA_CTX *prsactx = (PROV_RSA_CTX *)vprsactx; |
136 | 0 | int protect = 0; |
137 | |
|
138 | 0 | if (!ossl_prov_is_running()) |
139 | 0 | return 0; |
140 | | |
141 | 0 | if (prsactx == NULL || vrsa == NULL) |
142 | 0 | return 0; |
143 | | |
144 | 0 | if (!ossl_rsa_key_op_get_protect(vrsa, operation, &protect)) |
145 | 0 | return 0; |
146 | 0 | if (!RSA_up_ref(vrsa)) |
147 | 0 | return 0; |
148 | 0 | RSA_free(prsactx->rsa); |
149 | 0 | prsactx->rsa = vrsa; |
150 | |
|
151 | 0 | OSSL_FIPS_IND_SET_APPROVED(prsactx) |
152 | 0 | if (!rsakem_set_ctx_params(prsactx, params)) |
153 | 0 | return 0; |
154 | | #ifdef FIPS_MODULE |
155 | | if (!ossl_fips_ind_rsa_key_check(OSSL_FIPS_IND_GET(prsactx), |
156 | | OSSL_FIPS_IND_SETTABLE0, prsactx->libctx, |
157 | | prsactx->rsa, desc, protect)) |
158 | | return 0; |
159 | | #endif |
160 | 0 | return 1; |
161 | 0 | } |
162 | | |
163 | | static int rsakem_encapsulate_init(void *vprsactx, void *vrsa, |
164 | | const OSSL_PARAM params[]) |
165 | 0 | { |
166 | 0 | return rsakem_init(vprsactx, vrsa, params, EVP_PKEY_OP_ENCAPSULATE, |
167 | 0 | "RSA Encapsulate Init"); |
168 | 0 | } |
169 | | |
170 | | static int rsakem_decapsulate_init(void *vprsactx, void *vrsa, |
171 | | const OSSL_PARAM params[]) |
172 | 0 | { |
173 | 0 | return rsakem_init(vprsactx, vrsa, params, EVP_PKEY_OP_DECAPSULATE, |
174 | 0 | "RSA Decapsulate Init"); |
175 | 0 | } |
176 | | |
177 | | static int rsakem_get_ctx_params(void *vprsactx, OSSL_PARAM *params) |
178 | 0 | { |
179 | 0 | PROV_RSA_CTX *ctx = (PROV_RSA_CTX *)vprsactx; |
180 | 0 | struct rsakem_get_ctx_params_st p; |
181 | |
|
182 | 0 | if (ctx == NULL || !rsakem_get_ctx_params_decoder(params, &p)) |
183 | 0 | return 0; |
184 | | |
185 | 0 | if (!OSSL_FIPS_IND_GET_CTX_FROM_PARAM(ctx, p.ind)) |
186 | 0 | return 0; |
187 | 0 | return 1; |
188 | 0 | } |
189 | | |
190 | | static const OSSL_PARAM *rsakem_gettable_ctx_params(ossl_unused void *vprsactx, |
191 | | ossl_unused void *provctx) |
192 | 0 | { |
193 | 0 | return rsakem_get_ctx_params_list; |
194 | 0 | } |
195 | | |
196 | | static int rsakem_set_ctx_params(void *vprsactx, const OSSL_PARAM params[]) |
197 | 0 | { |
198 | 0 | PROV_RSA_CTX *prsactx = (PROV_RSA_CTX *)vprsactx; |
199 | 0 | struct rsakem_set_ctx_params_st p; |
200 | 0 | int op; |
201 | |
|
202 | 0 | if (prsactx == NULL || !rsakem_set_ctx_params_decoder(params, &p)) |
203 | 0 | return 0; |
204 | | |
205 | 0 | if (!OSSL_FIPS_IND_SET_CTX_FROM_PARAM(prsactx, OSSL_FIPS_IND_SETTABLE0, |
206 | 0 | p.ind_k)) |
207 | 0 | return 0; |
208 | | |
209 | 0 | if (p.op != NULL) { |
210 | 0 | if (p.op->data_type != OSSL_PARAM_UTF8_STRING) |
211 | 0 | return 0; |
212 | 0 | op = rsakem_opname2id(p.op->data); |
213 | 0 | if (op < 0) |
214 | 0 | return 0; |
215 | 0 | prsactx->op = op; |
216 | 0 | } |
217 | 0 | return 1; |
218 | 0 | } |
219 | | |
220 | | static const OSSL_PARAM *rsakem_settable_ctx_params(ossl_unused void *vprsactx, |
221 | | ossl_unused void *provctx) |
222 | 0 | { |
223 | 0 | return rsakem_set_ctx_params_list; |
224 | 0 | } |
225 | | |
226 | | /* |
227 | | * NIST.SP.800-56Br2 |
228 | | * 7.2.1.2 RSASVE Generate Operation (RSASVE.GENERATE). |
229 | | * |
230 | | * Generate a random in the range 1 < z < (n – 1) |
231 | | */ |
232 | | static int rsasve_gen_rand_bytes(RSA *rsa_pub, |
233 | | unsigned char *out, int outlen) |
234 | 0 | { |
235 | 0 | int ret = 0; |
236 | 0 | BN_CTX *bnctx; |
237 | 0 | BIGNUM *z, *nminus3; |
238 | |
|
239 | 0 | bnctx = BN_CTX_secure_new_ex(ossl_rsa_get0_libctx(rsa_pub)); |
240 | 0 | if (bnctx == NULL) |
241 | 0 | return 0; |
242 | | |
243 | | /* |
244 | | * Generate a random in the range 1 < z < (n – 1). |
245 | | * Since BN_priv_rand_range_ex() returns a value in range 0 <= r < max |
246 | | * We can achieve this by adding 2.. but then we need to subtract 3 from |
247 | | * the upper bound i.e: 2 + (0 <= r < (n - 3)) |
248 | | */ |
249 | 0 | BN_CTX_start(bnctx); |
250 | 0 | nminus3 = BN_CTX_get(bnctx); |
251 | 0 | z = BN_CTX_get(bnctx); |
252 | 0 | ret = (z != NULL |
253 | 0 | && (BN_copy(nminus3, RSA_get0_n(rsa_pub)) != NULL) |
254 | 0 | && BN_sub_word(nminus3, 3) |
255 | 0 | && BN_priv_rand_range_ex(z, nminus3, 0, bnctx) |
256 | 0 | && BN_add_word(z, 2) |
257 | 0 | && (BN_bn2binpad(z, out, outlen) == outlen)); |
258 | 0 | BN_CTX_end(bnctx); |
259 | 0 | BN_CTX_free(bnctx); |
260 | 0 | return ret; |
261 | 0 | } |
262 | | |
263 | | /* |
264 | | * NIST.SP.800-56Br2 |
265 | | * 7.2.1.2 RSASVE Generate Operation (RSASVE.GENERATE). |
266 | | */ |
267 | | static int rsasve_generate(PROV_RSA_CTX *prsactx, |
268 | | unsigned char *out, size_t *outlen, |
269 | | unsigned char *secret, size_t *secretlen) |
270 | 0 | { |
271 | 0 | int ret; |
272 | 0 | size_t nlen; |
273 | | |
274 | | /* Step (1): nlen = Ceil(len(n)/8) */ |
275 | 0 | nlen = RSA_size(prsactx->rsa); |
276 | |
|
277 | 0 | if (out == NULL) { |
278 | 0 | if (nlen == 0) { |
279 | 0 | ERR_raise(ERR_LIB_PROV, PROV_R_INVALID_KEY); |
280 | 0 | return 0; |
281 | 0 | } |
282 | 0 | if (outlen == NULL && secretlen == NULL) |
283 | 0 | return 0; |
284 | 0 | if (outlen != NULL) |
285 | 0 | *outlen = nlen; |
286 | 0 | if (secretlen != NULL) |
287 | 0 | *secretlen = nlen; |
288 | 0 | return 1; |
289 | 0 | } |
290 | | |
291 | | /* |
292 | | * If outlen is specified, then it must report the length |
293 | | * of the out buffer on input so that we can confirm |
294 | | * its size is sufficient for encapsulation |
295 | | */ |
296 | 0 | if (outlen != NULL && *outlen < nlen) { |
297 | 0 | ERR_raise(ERR_LIB_PROV, PROV_R_INVALID_OUTPUT_LENGTH); |
298 | 0 | return 0; |
299 | 0 | } |
300 | | |
301 | | /* |
302 | | * Step (2): Generate a random byte string z of nlen bytes where |
303 | | * 1 < z < n - 1 |
304 | | */ |
305 | 0 | if (!rsasve_gen_rand_bytes(prsactx->rsa, secret, (int)nlen)) |
306 | 0 | return 0; |
307 | | |
308 | | /* Step(3): out = RSAEP((n,e), z) */ |
309 | 0 | ret = RSA_public_encrypt((int)nlen, secret, out, prsactx->rsa, |
310 | 0 | RSA_NO_PADDING); |
311 | 0 | if (ret) { |
312 | 0 | ret = 1; |
313 | 0 | if (outlen != NULL) |
314 | 0 | *outlen = nlen; |
315 | 0 | if (secretlen != NULL) |
316 | 0 | *secretlen = nlen; |
317 | 0 | } else { |
318 | 0 | OPENSSL_cleanse(secret, nlen); |
319 | 0 | } |
320 | 0 | return ret; |
321 | 0 | } |
322 | | |
323 | | /** |
324 | | * rsasve_recover - Recovers a secret value from ciphertext using an RSA |
325 | | * private key. Once, recovered, the secret value is considered to be a |
326 | | * shared secret. Algorithm is performed as per |
327 | | * NIST SP 800-56B Rev 2 |
328 | | * 7.2.1.3 RSASVE Recovery Operation (RSASVE.RECOVER). |
329 | | * |
330 | | * This function performs RSA decryption using the private key from the |
331 | | * provided RSA context (`prsactx`). It takes the input ciphertext, decrypts |
332 | | * it, and writes the decrypted message to the output buffer. |
333 | | * |
334 | | * @prsactx: The RSA context containing the private key. |
335 | | * @out: The output buffer to store the decrypted message. |
336 | | * @outlen: On input, the size of the output buffer. On successful |
337 | | * completion, the actual length of the decrypted message. |
338 | | * @in: The input buffer containing the ciphertext to be decrypted. |
339 | | * @inlen: The length of the input ciphertext in bytes. |
340 | | * |
341 | | * Returns 1 on success, or 0 on error. In case of error, appropriate |
342 | | * error messages are raised using the ERR_raise function. |
343 | | */ |
344 | | static int rsasve_recover(PROV_RSA_CTX *prsactx, |
345 | | unsigned char *out, size_t *outlen, |
346 | | const unsigned char *in, size_t inlen) |
347 | 0 | { |
348 | 0 | size_t nlen; |
349 | 0 | int ret; |
350 | | |
351 | | /* Step (1): get the byte length of n */ |
352 | 0 | nlen = RSA_size(prsactx->rsa); |
353 | |
|
354 | 0 | if (out == NULL) { |
355 | 0 | if (nlen == 0) { |
356 | 0 | ERR_raise(ERR_LIB_PROV, PROV_R_INVALID_KEY); |
357 | 0 | return 0; |
358 | 0 | } |
359 | 0 | *outlen = nlen; |
360 | 0 | return 1; |
361 | 0 | } |
362 | | |
363 | | /* |
364 | | * Step (2): check the input ciphertext 'inlen' matches the nlen |
365 | | * and that outlen is at least nlen bytes |
366 | | */ |
367 | 0 | if (inlen != nlen) { |
368 | 0 | ERR_raise(ERR_LIB_PROV, PROV_R_BAD_LENGTH); |
369 | 0 | return 0; |
370 | 0 | } |
371 | | |
372 | | /* |
373 | | * If outlen is specified, then it must report the length |
374 | | * of the out buffer, so that we can confirm that it is of |
375 | | * sufficient size to hold the output of decapsulation |
376 | | */ |
377 | 0 | if (outlen != NULL && *outlen < nlen) { |
378 | 0 | ERR_raise(ERR_LIB_PROV, PROV_R_INVALID_OUTPUT_LENGTH); |
379 | 0 | return 0; |
380 | 0 | } |
381 | | |
382 | | /* Step (3): out = RSADP((n,d), in) */ |
383 | 0 | ret = RSA_private_decrypt((int)inlen, in, out, prsactx->rsa, RSA_NO_PADDING); |
384 | 0 | if (ret > 0 && outlen != NULL) |
385 | 0 | *outlen = ret; |
386 | 0 | return ret > 0; |
387 | 0 | } |
388 | | |
389 | | static int rsakem_generate(void *vprsactx, unsigned char *out, size_t *outlen, |
390 | | unsigned char *secret, size_t *secretlen) |
391 | 0 | { |
392 | 0 | PROV_RSA_CTX *prsactx = (PROV_RSA_CTX *)vprsactx; |
393 | |
|
394 | 0 | if (!ossl_prov_is_running()) |
395 | 0 | return 0; |
396 | | |
397 | 0 | switch (prsactx->op) { |
398 | 0 | case KEM_OP_RSASVE: |
399 | 0 | return rsasve_generate(prsactx, out, outlen, secret, secretlen); |
400 | 0 | default: |
401 | 0 | return -2; |
402 | 0 | } |
403 | 0 | } |
404 | | |
405 | | static int rsakem_recover(void *vprsactx, unsigned char *out, size_t *outlen, |
406 | | const unsigned char *in, size_t inlen) |
407 | 0 | { |
408 | 0 | PROV_RSA_CTX *prsactx = (PROV_RSA_CTX *)vprsactx; |
409 | |
|
410 | 0 | if (!ossl_prov_is_running()) |
411 | 0 | return 0; |
412 | | |
413 | 0 | switch (prsactx->op) { |
414 | 0 | case KEM_OP_RSASVE: |
415 | 0 | return rsasve_recover(prsactx, out, outlen, in, inlen); |
416 | 0 | default: |
417 | 0 | return -2; |
418 | 0 | } |
419 | 0 | } |
420 | | |
421 | | const OSSL_DISPATCH ossl_rsa_asym_kem_functions[] = { |
422 | | { OSSL_FUNC_KEM_NEWCTX, (void (*)(void))rsakem_newctx }, |
423 | | { OSSL_FUNC_KEM_ENCAPSULATE_INIT, |
424 | | (void (*)(void))rsakem_encapsulate_init }, |
425 | | { OSSL_FUNC_KEM_ENCAPSULATE, (void (*)(void))rsakem_generate }, |
426 | | { OSSL_FUNC_KEM_DECAPSULATE_INIT, |
427 | | (void (*)(void))rsakem_decapsulate_init }, |
428 | | { OSSL_FUNC_KEM_DECAPSULATE, (void (*)(void))rsakem_recover }, |
429 | | { OSSL_FUNC_KEM_FREECTX, (void (*)(void))rsakem_freectx }, |
430 | | { OSSL_FUNC_KEM_DUPCTX, (void (*)(void))rsakem_dupctx }, |
431 | | { OSSL_FUNC_KEM_GET_CTX_PARAMS, |
432 | | (void (*)(void))rsakem_get_ctx_params }, |
433 | | { OSSL_FUNC_KEM_GETTABLE_CTX_PARAMS, |
434 | | (void (*)(void))rsakem_gettable_ctx_params }, |
435 | | { OSSL_FUNC_KEM_SET_CTX_PARAMS, |
436 | | (void (*)(void))rsakem_set_ctx_params }, |
437 | | { OSSL_FUNC_KEM_SETTABLE_CTX_PARAMS, |
438 | | (void (*)(void))rsakem_settable_ctx_params }, |
439 | | OSSL_DISPATCH_END |
440 | | }; |