Update DSA selftest with data from NIST test vectors.
[oweals/openssl.git] / fips-1.0 / dsa / fips_dsa_selftest.c
1 /* crypto/dsa/dsatest.c */
2 /* Copyright (C) 1995-1998 Eric Young (eay@cryptsoft.com)
3  * All rights reserved.
4  *
5  * This package is an SSL implementation written
6  * by Eric Young (eay@cryptsoft.com).
7  * The implementation was written so as to conform with Netscapes SSL.
8  * 
9  * This library is free for commercial and non-commercial use as long as
10  * the following conditions are aheared to.  The following conditions
11  * apply to all code found in this distribution, be it the RC4, RSA,
12  * lhash, DES, etc., code; not just the SSL code.  The SSL documentation
13  * included with this distribution is covered by the same copyright terms
14  * except that the holder is Tim Hudson (tjh@cryptsoft.com).
15  * 
16  * Copyright remains Eric Young's, and as such any Copyright notices in
17  * the code are not to be removed.
18  * If this package is used in a product, Eric Young should be given attribution
19  * as the author of the parts of the library used.
20  * This can be in the form of a textual message at program startup or
21  * in documentation (online or textual) provided with the package.
22  * 
23  * Redistribution and use in source and binary forms, with or without
24  * modification, are permitted provided that the following conditions
25  * are met:
26  * 1. Redistributions of source code must retain the copyright
27  *    notice, this list of conditions and the following disclaimer.
28  * 2. Redistributions in binary form must reproduce the above copyright
29  *    notice, this list of conditions and the following disclaimer in the
30  *    documentation and/or other materials provided with the distribution.
31  * 3. All advertising materials mentioning features or use of this software
32  *    must display the following acknowledgement:
33  *    "This product includes cryptographic software written by
34  *     Eric Young (eay@cryptsoft.com)"
35  *    The word 'cryptographic' can be left out if the rouines from the library
36  *    being used are not cryptographic related :-).
37  * 4. If you include any Windows specific code (or a derivative thereof) from 
38  *    the apps directory (application code) you must include an acknowledgement:
39  *    "This product includes software written by Tim Hudson (tjh@cryptsoft.com)"
40  * 
41  * THIS SOFTWARE IS PROVIDED BY ERIC YOUNG ``AS IS'' AND
42  * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
43  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
44  * ARE DISCLAIMED.  IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
45  * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
46  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
47  * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
48  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
49  * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
50  * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
51  * SUCH DAMAGE.
52  * 
53  * The licence and distribution terms for any publically available version or
54  * derivative of this code cannot be changed.  i.e. this code cannot simply be
55  * copied and put under another distribution licence
56  * [including the GNU Public Licence.]
57  */
58
59 #include <string.h>
60 #include <openssl/crypto.h>
61 #include <openssl/dsa.h>
62 #include <openssl/fips.h>
63 #include <openssl/err.h>
64 #include <openssl/evp.h>
65
66 #ifdef OPENSSL_FIPS
67
68 /* seed, out_p, out_q, out_g are taken the NIST test vectors */
69
70 static unsigned char seed[20] = {
71         0x77, 0x8f, 0x40, 0x74, 0x6f, 0x66, 0xbe, 0x33, 0xce, 0xbe, 0x99, 0x34,
72         0x4c, 0xfc, 0xf3, 0x28, 0xaa, 0x70, 0x2d, 0x3a
73         };
74
75 static unsigned char out_p[] = {
76         0xf7, 0x7c, 0x1b, 0x83, 0xd8, 0xe8, 0x5c, 0x7f, 0x85, 0x30, 0x17, 0x57,
77         0x21, 0x95, 0xfe, 0x26, 0x04, 0xeb, 0x47, 0x4c, 0x3a, 0x4a, 0x81, 0x4b,
78         0x71, 0x2e, 0xed, 0x6e, 0x4f, 0x3d, 0x11, 0x0f, 0x7c, 0xfe, 0x36, 0x43,
79         0x51, 0xd9, 0x81, 0x39, 0x17, 0xdf, 0x62, 0xf6, 0x9c, 0x01, 0xa8, 0x69,
80         0x71, 0xdd, 0x29, 0x7f, 0x47, 0xe6, 0x65, 0xa6, 0x22, 0xe8, 0x6a, 0x12,
81         0x2b, 0xc2, 0x81, 0xff, 0x32, 0x70, 0x2f, 0x9e, 0xca, 0x53, 0x26, 0x47,
82         0x0f, 0x59, 0xd7, 0x9e, 0x2c, 0xa5, 0x07, 0xc4, 0x49, 0x52, 0xa3, 0xe4,
83         0x6b, 0x04, 0x00, 0x25, 0x49, 0xe2, 0xe6, 0x7f, 0x28, 0x78, 0x97, 0xb8,
84         0x3a, 0x32, 0x14, 0x38, 0xa2, 0x51, 0x33, 0x22, 0x44, 0x7e, 0xd7, 0xef,
85         0x45, 0xdb, 0x06, 0x4a, 0xd2, 0x82, 0x4a, 0x82, 0x2c, 0xb1, 0xd7, 0xd8,
86         0xb6, 0x73, 0x00, 0x4d, 0x94, 0x77, 0x94, 0xef
87         };
88
89 static unsigned char out_q[] = {
90         0xd4, 0x0a, 0xac, 0x9f, 0xbd, 0x8c, 0x80, 0xc2, 0x38, 0x7e, 0x2e, 0x0c,
91         0x52, 0x5c, 0xea, 0x34, 0xa1, 0x83, 0x32, 0xf3
92         };
93
94 static unsigned char out_g[] = {
95         0x34, 0x73, 0x8b, 0x57, 0x84, 0x8e, 0x55, 0xbf, 0x57, 0xcc, 0x41, 0xbb,
96         0x5e, 0x2b, 0xd5, 0x42, 0xdd, 0x24, 0x22, 0x2a, 0x09, 0xea, 0x26, 0x1e,
97         0x17, 0x65, 0xcb, 0x1a, 0xb3, 0x12, 0x44, 0xa3, 0x9e, 0x99, 0xe9, 0x63,
98         0xeb, 0x30, 0xb1, 0x78, 0x7b, 0x09, 0x40, 0x30, 0xfa, 0x83, 0xc2, 0x35,
99         0xe1, 0xc4, 0x2d, 0x74, 0x1a, 0xb1, 0x83, 0x54, 0xd8, 0x29, 0xf4, 0xcf,
100         0x7f, 0x6f, 0x67, 0x1c, 0x36, 0x49, 0xee, 0x6c, 0xa2, 0x3c, 0x2d, 0x6a,
101         0xe9, 0xd3, 0x9a, 0xf6, 0x57, 0x78, 0x6f, 0xfd, 0x33, 0xcd, 0x3c, 0xed,
102         0xfd, 0xd4, 0x41, 0xe6, 0x5c, 0x8b, 0xe0, 0x68, 0x31, 0x47, 0x47, 0xaf,
103         0x12, 0xa7, 0xf9, 0x32, 0x0d, 0x94, 0x15, 0x48, 0xd0, 0x54, 0x85, 0xb2,
104         0x04, 0xb5, 0x4d, 0xd4, 0x9d, 0x05, 0x22, 0x25, 0xd9, 0xfd, 0x6c, 0x36,
105         0xef, 0xbe, 0x69, 0x6c, 0x55, 0xf4, 0xee, 0xec
106         };
107
108 static const unsigned char str1[]="12345678901234567890";
109
110 void FIPS_corrupt_dsa()
111     {
112     ++seed[0];
113     }
114
115 int FIPS_selftest_dsa()
116     {
117     DSA *dsa=NULL;
118     int counter,i,j, ret = 0;
119     unsigned int slen;
120     unsigned char buf[256];
121     unsigned long h;
122     EVP_MD_CTX mctx;
123     EVP_PKEY pk;
124
125     EVP_MD_CTX_init(&mctx);
126
127     dsa = FIPS_dsa_new();
128
129     if(dsa == NULL)
130         goto err;
131     if(!DSA_generate_parameters_ex(dsa, 1024,seed,20,&counter,&h,NULL))
132         goto err;
133     if (counter != 378) 
134         goto err;
135     if (h != 2)
136         goto err;
137     i=BN_bn2bin(dsa->q,buf);
138     j=sizeof(out_q);
139     if (i != j || memcmp(buf,out_q,i) != 0)
140         goto err;
141
142     i=BN_bn2bin(dsa->p,buf);
143     j=sizeof(out_p);
144     if (i != j || memcmp(buf,out_p,i) != 0)
145         goto err;
146
147     i=BN_bn2bin(dsa->g,buf);
148     j=sizeof(out_g);
149     if (i != j || memcmp(buf,out_g,i) != 0)
150         goto err;
151     DSA_generate_key(dsa);
152     pk.type = EVP_PKEY_DSA;
153     pk.pkey.dsa = dsa;
154
155     if (!EVP_SignInit_ex(&mctx, EVP_dss1(), NULL))
156         goto err;
157     if (!EVP_SignUpdate(&mctx, str1, 20))
158         goto err;
159     if (!EVP_SignFinal(&mctx, buf, &slen, &pk))
160         goto err;
161
162     if (!EVP_VerifyInit_ex(&mctx, EVP_dss1(), NULL))
163         goto err;
164     if (!EVP_VerifyUpdate(&mctx, str1, 20))
165         goto err;
166     if (EVP_VerifyFinal(&mctx, buf, slen, &pk) != 1)
167         goto err;
168
169     ret = 1;
170
171     err:
172     EVP_MD_CTX_cleanup(&mctx);
173     if (dsa)
174         FIPS_dsa_free(dsa);
175     if (ret == 0)
176             FIPSerr(FIPS_F_FIPS_SELFTEST_DSA,FIPS_R_SELFTEST_FAILED);
177     return ret;
178     }
179 #endif