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_FIPSEVP
62 #include <openssl/evp.h>
63 #include <openssl/rsa.h>
64 #include <openssl/err.h>
65 #include <openssl/sha.h>
69 /* FIPS versions of RSA_sign() and RSA_verify().
70 * These will only have to deal with SHA* signatures and by including
71 * pregenerated encodings all ASN1 dependencies can be avoided
74 /* Standard encodings including NULL parameter */
76 static const unsigned char sha1_bin[] = {
77 0x30, 0x21, 0x30, 0x09, 0x06, 0x05, 0x2b, 0x0e, 0x03, 0x02, 0x1a, 0x05,
81 static const unsigned char sha224_bin[] = {
82 0x30, 0x2d, 0x30, 0x0d, 0x06, 0x09, 0x60, 0x86, 0x48, 0x01, 0x65, 0x03,
83 0x04, 0x02, 0x04, 0x05, 0x00, 0x04, 0x1c
86 static const unsigned char sha256_bin[] = {
87 0x30, 0x31, 0x30, 0x0d, 0x06, 0x09, 0x60, 0x86, 0x48, 0x01, 0x65, 0x03,
88 0x04, 0x02, 0x01, 0x05, 0x00, 0x04, 0x20
91 static const unsigned char sha384_bin[] = {
92 0x30, 0x41, 0x30, 0x0d, 0x06, 0x09, 0x60, 0x86, 0x48, 0x01, 0x65, 0x03,
93 0x04, 0x02, 0x02, 0x05, 0x00, 0x04, 0x30
96 static const unsigned char sha512_bin[] = {
97 0x30, 0x51, 0x30, 0x0d, 0x06, 0x09, 0x60, 0x86, 0x48, 0x01, 0x65, 0x03,
98 0x04, 0x02, 0x03, 0x05, 0x00, 0x04, 0x40
101 /* Alternate encodings with absent parameters. We don't generate signature
102 * using this format but do tolerate received signatures of this form.
105 static unsigned char sha1_nn_bin[] = {
106 0x30, 0x1f, 0x30, 0x07, 0x06, 0x05, 0x2b, 0x0e, 0x03, 0x02, 0x1a, 0x04,
110 static unsigned char sha224_nn_bin[] = {
111 0x30, 0x2b, 0x30, 0x0b, 0x06, 0x09, 0x60, 0x86, 0x48, 0x01, 0x65, 0x03,
112 0x04, 0x02, 0x04, 0x04, 0x1c
115 static unsigned char sha256_nn_bin[] = {
116 0x30, 0x2f, 0x30, 0x0b, 0x06, 0x09, 0x60, 0x86, 0x48, 0x01, 0x65, 0x03,
117 0x04, 0x02, 0x01, 0x04, 0x20
120 static unsigned char sha384_nn_bin[] = {
121 0x30, 0x3f, 0x30, 0x0b, 0x06, 0x09, 0x60, 0x86, 0x48, 0x01, 0x65, 0x03,
122 0x04, 0x02, 0x02, 0x04, 0x30
125 static unsigned char sha512_nn_bin[] = {
126 0x30, 0x4f, 0x30, 0x0b, 0x06, 0x09, 0x60, 0x86, 0x48, 0x01, 0x65, 0x03,
127 0x04, 0x02, 0x03, 0x04, 0x40
131 static const unsigned char *fips_digestinfo_encoding(int nid, unsigned int *len)
137 *len = sizeof(sha1_bin);
141 *len = sizeof(sha224_bin);
145 *len = sizeof(sha256_bin);
149 *len = sizeof(sha384_bin);
153 *len = sizeof(sha512_bin);
162 static const unsigned char *fips_digestinfo_nn_encoding(int nid, unsigned int *len)
168 *len = sizeof(sha1_nn_bin);
172 *len = sizeof(sha224_nn_bin);
173 return sha224_nn_bin;
176 *len = sizeof(sha256_nn_bin);
177 return sha256_nn_bin;
180 *len = sizeof(sha384_nn_bin);
181 return sha384_nn_bin;
184 *len = sizeof(sha512_nn_bin);
185 return sha512_nn_bin;
194 int FIPS_rsa_sign_ctx(RSA *rsa, EVP_MD_CTX *ctx,
195 int rsa_pad_mode, int saltlen, const EVP_MD *mgf1Hash,
196 unsigned char *sigret, unsigned int *siglen)
200 const unsigned char *der;
204 /* Largest DigestInfo: 19 (max encoding) + max MD */
205 unsigned char tmpdinfo[19 + EVP_MAX_MD_SIZE];
206 unsigned char md[EVP_MAX_MD_SIZE + 1];
208 EVP_DigestFinal_ex(ctx, md, &m_len);
210 mhash = M_EVP_MD_CTX_md(ctx);
211 md_type = M_EVP_MD_type(mhash);
213 if (rsa_pad_mode == RSA_X931_PADDING)
216 memcpy(tmpdinfo, md, m_len);
217 hash_id = RSA_X931_hash_id(md_type);
220 RSAerr(RSA_F_FIPS_RSA_SIGN,RSA_R_UNKNOWN_ALGORITHM_TYPE);
223 tmpdinfo[m_len] = (unsigned char)hash_id;
226 else if (rsa_pad_mode == RSA_PKCS1_PADDING)
229 der = fips_digestinfo_encoding(md_type, &dlen);
233 RSAerr(RSA_F_FIPS_RSA_SIGN,RSA_R_UNKNOWN_ALGORITHM_TYPE);
236 memcpy(tmpdinfo, der, dlen);
237 memcpy(tmpdinfo + dlen, md, m_len);
242 else if (rsa_pad_mode == RSA_PKCS1_PSS_PADDING)
246 sbuf = OPENSSL_malloc(RSA_size(rsa));
249 RSAerr(RSA_F_FIPS_RSA_SIGN,ERR_R_MALLOC_FAILURE);
252 if (!RSA_padding_add_PKCS1_PSS_mgf1(rsa, sbuf, md, mhash,
255 j=rsa->meth->rsa_priv_enc(i,sbuf,sigret,rsa,RSA_NO_PADDING);
262 OPENSSL_cleanse(md,m_len);
263 OPENSSL_cleanse(sbuf, i);
269 if (i > (j-RSA_PKCS1_PADDING_SIZE))
271 RSAerr(RSA_F_FIPS_RSA_SIGN,RSA_R_DIGEST_TOO_BIG_FOR_RSA_KEY);
274 /* NB: call underlying method directly to avoid FIPS blocking */
275 j=rsa->meth->rsa_priv_enc(i,tmpdinfo,sigret,rsa,rsa_pad_mode);
283 OPENSSL_cleanse(tmpdinfo,i);
284 OPENSSL_cleanse(md,m_len);
288 int FIPS_rsa_verify_ctx(RSA *rsa, EVP_MD_CTX *ctx,
289 int rsa_pad_mode, int saltlen, const EVP_MD *mgf1Hash,
290 unsigned char *sigbuf, unsigned int siglen)
293 unsigned int dlen, diglen;
295 const unsigned char *der;
296 unsigned char dig[EVP_MAX_MD_SIZE];
299 int rsa_dec_pad_mode;
301 if (siglen != (unsigned int)RSA_size(rsa))
303 RSAerr(RSA_F_FIPS_RSA_VERIFY,RSA_R_WRONG_SIGNATURE_LENGTH);
307 mhash = M_EVP_MD_CTX_md(ctx);
308 md_type = M_EVP_MD_type(mhash);
310 EVP_DigestFinal_ex(ctx, dig, &diglen);
312 s= OPENSSL_malloc((unsigned int)siglen);
315 RSAerr(RSA_F_FIPS_RSA_VERIFY,ERR_R_MALLOC_FAILURE);
319 if (rsa_pad_mode == RSA_PKCS1_PSS_PADDING)
320 rsa_dec_pad_mode = RSA_NO_PADDING;
322 rsa_dec_pad_mode = rsa_pad_mode;
324 /* NB: call underlying method directly to avoid FIPS blocking */
325 i=rsa->meth->rsa_pub_dec((int)siglen,sigbuf,s, rsa, rsa_dec_pad_mode);
327 if (i <= 0) goto err;
329 if (rsa_pad_mode == RSA_X931_PADDING)
332 if (i != (int)(diglen + 1))
334 RSAerr(RSA_F_FIPS_RSA_VERIFY,RSA_R_BAD_SIGNATURE);
337 hash_id = RSA_X931_hash_id(md_type);
340 RSAerr(RSA_F_FIPS_RSA_VERIFY,RSA_R_UNKNOWN_ALGORITHM_TYPE);
343 if (s[diglen] != (unsigned char)hash_id)
345 RSAerr(RSA_F_FIPS_RSA_VERIFY,RSA_R_BAD_SIGNATURE);
348 if (memcmp(s, dig, diglen))
350 RSAerr(RSA_F_FIPS_RSA_VERIFY,RSA_R_BAD_SIGNATURE);
355 else if (rsa_pad_mode == RSA_PKCS1_PADDING)
358 der = fips_digestinfo_encoding(md_type, &dlen);
362 RSAerr(RSA_F_FIPS_RSA_VERIFY,RSA_R_UNKNOWN_ALGORITHM_TYPE);
366 /* Compare, DigestInfo length, DigestInfo header and finally
367 * digest value itself
370 /* If length mismatch try alternate encoding */
371 if (i != (int)(dlen + diglen))
372 der = fips_digestinfo_nn_encoding(md_type, &dlen);
374 if ((i != (int)(dlen + diglen)) || memcmp(der, s, dlen)
375 || memcmp(s + dlen, dig, diglen))
377 RSAerr(RSA_F_FIPS_RSA_VERIFY,RSA_R_BAD_SIGNATURE);
383 else if (rsa_pad_mode == RSA_PKCS1_PSS_PADDING)
385 ret = RSA_verify_PKCS1_PSS_mgf1(rsa, dig, mhash, mgf1Hash,
393 OPENSSL_cleanse(s, siglen);