rsa_ameth.c@ 107835

Last change on this file since 107835 was 104078, checked in by vboxsync, 11 months ago
openssl-3.1.5: Applied and adjusted our OpenSSL changes to 3.1.4. bugref:10638
File size: 29.4 KB

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

Note: See TracBrowser for help on using the repository browser.

source: vbox/trunk/src/libs/openssl-3.1.7/crypto/rsa/rsa_ameth.c@ 107835

Download in other formats: