2 /* Written by Dr Stephen N Henson (steve@openssl.org) for the OpenSSL
5 /* ====================================================================
6 * Copyright (c) 2007 The OpenSSL Project. All rights reserved.
8 * Redistribution and use in source and binary forms, with or without
9 * modification, are permitted provided that the following conditions
12 * 1. Redistributions of source code must retain the above copyright
13 * notice, this list of conditions and the following disclaimer.
15 * 2. Redistributions in binary form must reproduce the above copyright
16 * notice, this list of conditions and the following disclaimer in
17 * the documentation and/or other materials provided with the
20 * 3. All advertising materials mentioning features or use of this
21 * software must display the following acknowledgment:
22 * "This product includes software developed by the OpenSSL Project
23 * for use in the OpenSSL Toolkit. (http://www.OpenSSL.org/)"
25 * 4. The names "OpenSSL Toolkit" and "OpenSSL Project" must not be used to
26 * endorse or promote products derived from this software without
27 * prior written permission. For written permission, please contact
28 * licensing@OpenSSL.org.
30 * 5. Products derived from this software may not be called "OpenSSL"
31 * nor may "OpenSSL" appear in their names without prior written
32 * permission of the OpenSSL Project.
34 * 6. Redistributions of any form whatsoever must retain the following
36 * "This product includes software developed by the OpenSSL Project
37 * for use in the OpenSSL Toolkit (http://www.OpenSSL.org/)"
39 * THIS SOFTWARE IS PROVIDED BY THE OpenSSL PROJECT ``AS IS'' AND ANY
40 * EXPRESSED OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
41 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
42 * PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE OpenSSL PROJECT OR
43 * ITS CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
44 * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
45 * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
46 * LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
47 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT,
48 * STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
49 * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED
50 * OF THE POSSIBILITY OF SUCH DAMAGE.
51 * ====================================================================
53 * This product includes cryptographic software written by Eric Young
54 * (eay@cryptsoft.com). This product includes software written by Tim
55 * Hudson (tjh@cryptsoft.com).
59 #define OPENSSL_FIPSAPI
62 #include <openssl/evp.h>
63 #include <openssl/rsa.h>
64 #include <openssl/err.h>
65 #include <openssl/sha.h>
66 #include <openssl/fips.h>
70 /* FIPS versions of RSA_sign() and RSA_verify().
71 * These will only have to deal with SHA* signatures and by including
72 * pregenerated encodings all ASN1 dependencies can be avoided
75 /* Standard encodings including NULL parameter */
78 static const unsigned char sha1_bin[] = {
79 0x30, 0x21, 0x30, 0x09, 0x06, 0x05, 0x2b, 0x0e, 0x03, 0x02, 0x1a, 0x05,
84 static const unsigned char sha224_bin[] = {
85 0x30, 0x2d, 0x30, 0x0d, 0x06, 0x09, 0x60, 0x86, 0x48, 0x01, 0x65, 0x03,
86 0x04, 0x02, 0x04, 0x05, 0x00, 0x04, 0x1c
90 static const unsigned char sha256_bin[] = {
91 0x30, 0x31, 0x30, 0x0d, 0x06, 0x09, 0x60, 0x86, 0x48, 0x01, 0x65, 0x03,
92 0x04, 0x02, 0x01, 0x05, 0x00, 0x04, 0x20
96 static const unsigned char sha384_bin[] = {
97 0x30, 0x41, 0x30, 0x0d, 0x06, 0x09, 0x60, 0x86, 0x48, 0x01, 0x65, 0x03,
98 0x04, 0x02, 0x02, 0x05, 0x00, 0x04, 0x30
102 static const unsigned char sha512_bin[] = {
103 0x30, 0x51, 0x30, 0x0d, 0x06, 0x09, 0x60, 0x86, 0x48, 0x01, 0x65, 0x03,
104 0x04, 0x02, 0x03, 0x05, 0x00, 0x04, 0x40
107 /* Alternate encodings with absent parameters. We don't generate signature
108 * using this format but do tolerate received signatures of this form.
112 static const unsigned char sha1_nn_bin[] = {
113 0x30, 0x1f, 0x30, 0x07, 0x06, 0x05, 0x2b, 0x0e, 0x03, 0x02, 0x1a, 0x04,
118 static const unsigned char sha224_nn_bin[] = {
119 0x30, 0x2b, 0x30, 0x0b, 0x06, 0x09, 0x60, 0x86, 0x48, 0x01, 0x65, 0x03,
120 0x04, 0x02, 0x04, 0x04, 0x1c
124 static const unsigned char sha256_nn_bin[] = {
125 0x30, 0x2f, 0x30, 0x0b, 0x06, 0x09, 0x60, 0x86, 0x48, 0x01, 0x65, 0x03,
126 0x04, 0x02, 0x01, 0x04, 0x20
130 static const unsigned char sha384_nn_bin[] = {
131 0x30, 0x3f, 0x30, 0x0b, 0x06, 0x09, 0x60, 0x86, 0x48, 0x01, 0x65, 0x03,
132 0x04, 0x02, 0x02, 0x04, 0x30
136 static const unsigned char sha512_nn_bin[] = {
137 0x30, 0x4f, 0x30, 0x0b, 0x06, 0x09, 0x60, 0x86, 0x48, 0x01, 0x65, 0x03,
138 0x04, 0x02, 0x03, 0x04, 0x40
142 static const unsigned char *fips_digestinfo_encoding(int nid, unsigned int *len)
148 *len = sizeof(sha1_bin);
152 *len = sizeof(sha224_bin);
156 *len = sizeof(sha256_bin);
160 *len = sizeof(sha384_bin);
164 *len = sizeof(sha512_bin);
173 static const unsigned char *fips_digestinfo_nn_encoding(int nid, unsigned int *len)
179 *len = sizeof(sha1_nn_bin);
183 *len = sizeof(sha224_nn_bin);
184 return sha224_nn_bin;
187 *len = sizeof(sha256_nn_bin);
188 return sha256_nn_bin;
191 *len = sizeof(sha384_nn_bin);
192 return sha384_nn_bin;
195 *len = sizeof(sha512_nn_bin);
196 return sha512_nn_bin;
204 int FIPS_rsa_sign_ctx(RSA *rsa, EVP_MD_CTX *ctx,
205 int rsa_pad_mode, int saltlen, const EVP_MD *mgf1Hash,
206 unsigned char *sigret, unsigned int *siglen)
208 unsigned int md_len, rv;
209 unsigned char md[EVP_MAX_MD_SIZE];
210 FIPS_digestfinal(ctx, md, &md_len);
211 rv = FIPS_rsa_sign_digest(rsa, md, md_len,
212 M_EVP_MD_CTX_md(ctx),
213 rsa_pad_mode, saltlen,
214 mgf1Hash, sigret, siglen);
215 OPENSSL_cleanse(md, md_len);
220 int FIPS_rsa_sign_digest(RSA *rsa, const unsigned char *md, int md_len,
221 const EVP_MD *mhash, int rsa_pad_mode, int saltlen,
222 const EVP_MD *mgf1Hash,
223 unsigned char *sigret, unsigned int *siglen)
227 const unsigned char *der;
229 /* Largest DigestInfo: 19 (max encoding) + max MD */
230 unsigned char tmpdinfo[19 + EVP_MAX_MD_SIZE];
232 if (FIPS_selftest_failed())
234 FIPSerr(FIPS_F_FIPS_RSA_SIGN_DIGEST, FIPS_R_SELFTEST_FAILED);
237 if (!mhash && rsa_pad_mode == RSA_PKCS1_PADDING)
240 md_type = M_EVP_MD_type(mhash);
242 if (rsa_pad_mode == RSA_X931_PADDING)
245 memcpy(tmpdinfo, md, md_len);
246 hash_id = RSA_X931_hash_id(md_type);
249 RSAerr(RSA_F_FIPS_RSA_SIGN_DIGEST,RSA_R_UNKNOWN_ALGORITHM_TYPE);
252 tmpdinfo[md_len] = (unsigned char)hash_id;
255 else if (rsa_pad_mode == RSA_PKCS1_PADDING)
258 der = fips_digestinfo_encoding(md_type, &dlen);
262 RSAerr(RSA_F_FIPS_RSA_SIGN_DIGEST,RSA_R_UNKNOWN_ALGORITHM_TYPE);
265 memcpy(tmpdinfo, der, dlen);
266 memcpy(tmpdinfo + dlen, md, md_len);
271 else if (rsa_pad_mode == RSA_PKCS1_PSS_PADDING)
275 sbuf = OPENSSL_malloc(RSA_size(rsa));
278 RSAerr(RSA_F_FIPS_RSA_SIGN_DIGEST,ERR_R_MALLOC_FAILURE);
281 if (!RSA_padding_add_PKCS1_PSS_mgf1(rsa, sbuf, md, mhash,
284 j=rsa->meth->rsa_priv_enc(i,sbuf,sigret,rsa,RSA_NO_PADDING);
291 OPENSSL_cleanse(sbuf, i);
297 if (i > (j-RSA_PKCS1_PADDING_SIZE))
299 RSAerr(RSA_F_FIPS_RSA_SIGN_DIGEST,RSA_R_DIGEST_TOO_BIG_FOR_RSA_KEY);
302 /* NB: call underlying method directly to avoid FIPS blocking */
303 j=rsa->meth->rsa_priv_enc(i,tmpdinfo,sigret,rsa,rsa_pad_mode);
311 OPENSSL_cleanse(tmpdinfo,i);
315 int FIPS_rsa_verify_ctx(RSA *rsa, EVP_MD_CTX *ctx,
316 int rsa_pad_mode, int saltlen, const EVP_MD *mgf1Hash,
317 const unsigned char *sigbuf, unsigned int siglen)
319 unsigned int md_len, rv;
320 unsigned char md[EVP_MAX_MD_SIZE];
321 FIPS_digestfinal(ctx, md, &md_len);
322 rv = FIPS_rsa_verify_digest(rsa, md, md_len, M_EVP_MD_CTX_md(ctx),
323 rsa_pad_mode, saltlen, mgf1Hash,
325 OPENSSL_cleanse(md, md_len);
329 int FIPS_rsa_verify_digest(RSA *rsa, const unsigned char *dig, int diglen,
330 const EVP_MD *mhash, int rsa_pad_mode, int saltlen,
331 const EVP_MD *mgf1Hash,
332 const unsigned char *sigbuf, unsigned int siglen)
337 const unsigned char *der;
339 int rsa_dec_pad_mode;
341 if (FIPS_selftest_failed())
343 FIPSerr(FIPS_F_FIPS_RSA_VERIFY_DIGEST, FIPS_R_SELFTEST_FAILED);
347 if (siglen != (unsigned int)RSA_size(rsa))
349 RSAerr(RSA_F_FIPS_RSA_VERIFY_DIGEST,RSA_R_WRONG_SIGNATURE_LENGTH);
353 if (!mhash && rsa_pad_mode == RSA_PKCS1_PADDING)
356 md_type = M_EVP_MD_type(mhash);
358 s= OPENSSL_malloc((unsigned int)siglen);
361 RSAerr(RSA_F_FIPS_RSA_VERIFY_DIGEST,ERR_R_MALLOC_FAILURE);
365 if (rsa_pad_mode == RSA_PKCS1_PSS_PADDING)
366 rsa_dec_pad_mode = RSA_NO_PADDING;
368 rsa_dec_pad_mode = rsa_pad_mode;
370 /* NB: call underlying method directly to avoid FIPS blocking */
371 i=rsa->meth->rsa_pub_dec((int)siglen,sigbuf,s, rsa, rsa_dec_pad_mode);
373 if (i <= 0) goto err;
375 if (rsa_pad_mode == RSA_X931_PADDING)
378 if (i != (int)(diglen + 1))
380 RSAerr(RSA_F_FIPS_RSA_VERIFY_DIGEST,RSA_R_BAD_SIGNATURE);
383 hash_id = RSA_X931_hash_id(md_type);
386 RSAerr(RSA_F_FIPS_RSA_VERIFY_DIGEST,RSA_R_UNKNOWN_ALGORITHM_TYPE);
389 if (s[diglen] != (unsigned char)hash_id)
391 RSAerr(RSA_F_FIPS_RSA_VERIFY_DIGEST,RSA_R_BAD_SIGNATURE);
394 if (memcmp(s, dig, diglen))
396 RSAerr(RSA_F_FIPS_RSA_VERIFY_DIGEST,RSA_R_BAD_SIGNATURE);
401 else if (rsa_pad_mode == RSA_PKCS1_PADDING)
404 der = fips_digestinfo_encoding(md_type, &dlen);
408 RSAerr(RSA_F_FIPS_RSA_VERIFY_DIGEST,RSA_R_UNKNOWN_ALGORITHM_TYPE);
412 /* Compare, DigestInfo length, DigestInfo header and finally
413 * digest value itself
416 /* If length mismatch try alternate encoding */
417 if (i != (int)(dlen + diglen))
418 der = fips_digestinfo_nn_encoding(md_type, &dlen);
420 if ((i != (int)(dlen + diglen)) || memcmp(der, s, dlen)
421 || memcmp(s + dlen, dig, diglen))
423 RSAerr(RSA_F_FIPS_RSA_VERIFY_DIGEST,RSA_R_BAD_SIGNATURE);
429 else if (rsa_pad_mode == RSA_PKCS1_PSS_PADDING)
431 ret = RSA_verify_PKCS1_PSS_mgf1(rsa, dig, mhash, mgf1Hash,
439 OPENSSL_cleanse(s, siglen);
445 int FIPS_rsa_sign(RSA *rsa, const unsigned char *msg, int msglen,
446 const EVP_MD *mhash, int rsa_pad_mode, int saltlen,
447 const EVP_MD *mgf1Hash,
448 unsigned char *sigret, unsigned int *siglen)
450 unsigned int md_len, rv;
451 unsigned char md[EVP_MAX_MD_SIZE];
452 FIPS_digest(msg, msglen, md, &md_len, mhash);
453 rv = FIPS_rsa_sign_digest(rsa, md, md_len, mhash, rsa_pad_mode,
454 saltlen, mgf1Hash, sigret, siglen);
455 OPENSSL_cleanse(md, md_len);
460 int FIPS_rsa_verify(RSA *rsa, const unsigned char *msg, int msglen,
461 const EVP_MD *mhash, int rsa_pad_mode, int saltlen,
462 const EVP_MD *mgf1Hash,
463 const unsigned char *sigbuf, unsigned int siglen)
465 unsigned int md_len, rv;
466 unsigned char md[EVP_MAX_MD_SIZE];
467 FIPS_digest(msg, msglen, md, &md_len, mhash);
468 rv = FIPS_rsa_verify_digest(rsa, md, md_len, mhash, rsa_pad_mode,
469 saltlen, mgf1Hash, sigbuf, siglen);
470 OPENSSL_cleanse(md, md_len);