1 /* Copyright (C) 1995-1998 Eric Young (eay@cryptsoft.com)
2 * All rights reserved.
3 *
4 * This package is an SSL implementation written
5 * by Eric Young (eay@cryptsoft.com).
6 * The implementation was written so as to conform with Netscapes SSL.
7 *
8 * This library is free for commercial and non-commercial use as long as
9 * the following conditions are aheared to. The following conditions
10 * apply to all code found in this distribution, be it the RC4, RSA,
11 * lhash, DES, etc., code; not just the SSL code. The SSL documentation
12 * included with this distribution is covered by the same copyright terms
13 * except that the holder is Tim Hudson (tjh@cryptsoft.com).
14 *
15 * Copyright remains Eric Young's, and as such any Copyright notices in
16 * the code are not to be removed.
17 * If this package is used in a product, Eric Young should be given attribution
18 * as the author of the parts of the library used.
19 * This can be in the form of a textual message at program startup or
20 * in documentation (online or textual) provided with the package.
21 *
22 * Redistribution and use in source and binary forms, with or without
23 * modification, are permitted provided that the following conditions
24 * are met:
25 * 1. Redistributions of source code must retain the copyright
26 * notice, this list of conditions and the following disclaimer.
27 * 2. Redistributions in binary form must reproduce the above copyright
28 * notice, this list of conditions and the following disclaimer in the
29 * documentation and/or other materials provided with the distribution.
30 * 3. All advertising materials mentioning features or use of this software
31 * must display the following acknowledgement:
32 * "This product includes cryptographic software written by
33 * Eric Young (eay@cryptsoft.com)"
34 * The word 'cryptographic' can be left out if the rouines from the library
35 * being used are not cryptographic related :-).
36 * 4. If you include any Windows specific code (or a derivative thereof) from
37 * the apps directory (application code) you must include an acknowledgement:
38 * "This product includes software written by Tim Hudson (tjh@cryptsoft.com)"
39 *
40 * THIS SOFTWARE IS PROVIDED BY ERIC YOUNG ``AS IS'' AND
41 * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
42 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
43 * ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
44 * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
45 * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
46 * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
47 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
48 * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
49 * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
50 * SUCH DAMAGE.
51 *
52 * The licence and distribution terms for any publically available version or
53 * derivative of this code cannot be changed. i.e. this code cannot simply be
54 * copied and put under another distribution licence
55 * [including the GNU Public Licence.]
56 *
57 * The DSS routines are based on patches supplied by
58 * Steven Schoch <schoch@sheba.arc.nasa.gov>. */
59
60 #include <openssl/dsa.h>
61
62 #include <stdio.h>
63 #include <string.h>
64
65 #include <gtest/gtest.h>
66
67 #include <openssl/bn.h>
68 #include <openssl/crypto.h>
69 #include <openssl/err.h>
70
71 #include "../internal.h"
72
73
74 // The following values are taken from the updated Appendix 5 to FIPS PUB 186
75 // and also appear in Appendix 5 to FIPS PUB 186-1.
76
77 static const uint8_t seed[20] = {
78 0xd5, 0x01, 0x4e, 0x4b, 0x60, 0xef, 0x2b, 0xa8, 0xb6, 0x21, 0x1b,
79 0x40, 0x62, 0xba, 0x32, 0x24, 0xe0, 0x42, 0x7d, 0xd3,
80 };
81
82 static const uint8_t fips_p[] = {
83 0x8d, 0xf2, 0xa4, 0x94, 0x49, 0x22, 0x76, 0xaa, 0x3d, 0x25, 0x75,
84 0x9b, 0xb0, 0x68, 0x69, 0xcb, 0xea, 0xc0, 0xd8, 0x3a, 0xfb, 0x8d,
85 0x0c, 0xf7, 0xcb, 0xb8, 0x32, 0x4f, 0x0d, 0x78, 0x82, 0xe5, 0xd0,
86 0x76, 0x2f, 0xc5, 0xb7, 0x21, 0x0e, 0xaf, 0xc2, 0xe9, 0xad, 0xac,
87 0x32, 0xab, 0x7a, 0xac, 0x49, 0x69, 0x3d, 0xfb, 0xf8, 0x37, 0x24,
88 0xc2, 0xec, 0x07, 0x36, 0xee, 0x31, 0xc8, 0x02, 0x91,
89 };
90
91 static const uint8_t fips_q[] = {
92 0xc7, 0x73, 0x21, 0x8c, 0x73, 0x7e, 0xc8, 0xee, 0x99, 0x3b, 0x4f,
93 0x2d, 0xed, 0x30, 0xf4, 0x8e, 0xda, 0xce, 0x91, 0x5f,
94 };
95
96 static const uint8_t fips_g[] = {
97 0x62, 0x6d, 0x02, 0x78, 0x39, 0xea, 0x0a, 0x13, 0x41, 0x31, 0x63,
98 0xa5, 0x5b, 0x4c, 0xb5, 0x00, 0x29, 0x9d, 0x55, 0x22, 0x95, 0x6c,
99 0xef, 0xcb, 0x3b, 0xff, 0x10, 0xf3, 0x99, 0xce, 0x2c, 0x2e, 0x71,
100 0xcb, 0x9d, 0xe5, 0xfa, 0x24, 0xba, 0xbf, 0x58, 0xe5, 0xb7, 0x95,
101 0x21, 0x92, 0x5c, 0x9c, 0xc4, 0x2e, 0x9f, 0x6f, 0x46, 0x4b, 0x08,
102 0x8c, 0xc5, 0x72, 0xaf, 0x53, 0xe6, 0xd7, 0x88, 0x02,
103 };
104
105 static const uint8_t fips_x[] = {
106 0x20, 0x70, 0xb3, 0x22, 0x3d, 0xba, 0x37, 0x2f, 0xde, 0x1c, 0x0f,
107 0xfc, 0x7b, 0x2e, 0x3b, 0x49, 0x8b, 0x26, 0x06, 0x14,
108 };
109
110 static const uint8_t fips_y[] = {
111 0x19, 0x13, 0x18, 0x71, 0xd7, 0x5b, 0x16, 0x12, 0xa8, 0x19, 0xf2,
112 0x9d, 0x78, 0xd1, 0xb0, 0xd7, 0x34, 0x6f, 0x7a, 0xa7, 0x7b, 0xb6,
113 0x2a, 0x85, 0x9b, 0xfd, 0x6c, 0x56, 0x75, 0xda, 0x9d, 0x21, 0x2d,
114 0x3a, 0x36, 0xef, 0x16, 0x72, 0xef, 0x66, 0x0b, 0x8c, 0x7c, 0x25,
115 0x5c, 0xc0, 0xec, 0x74, 0x85, 0x8f, 0xba, 0x33, 0xf4, 0x4c, 0x06,
116 0x69, 0x96, 0x30, 0xa7, 0x6b, 0x03, 0x0e, 0xe3, 0x33,
117 };
118
119 static const uint8_t fips_digest[] = {
120 0xa9, 0x99, 0x3e, 0x36, 0x47, 0x06, 0x81, 0x6a, 0xba, 0x3e, 0x25,
121 0x71, 0x78, 0x50, 0xc2, 0x6c, 0x9c, 0xd0, 0xd8, 0x9d,
122 };
123
124 // fips_sig is a DER-encoded version of the r and s values in FIPS PUB 186-1.
125 static const uint8_t fips_sig[] = {
126 0x30, 0x2d, 0x02, 0x15, 0x00, 0x8b, 0xac, 0x1a, 0xb6, 0x64, 0x10,
127 0x43, 0x5c, 0xb7, 0x18, 0x1f, 0x95, 0xb1, 0x6a, 0xb9, 0x7c, 0x92,
128 0xb3, 0x41, 0xc0, 0x02, 0x14, 0x41, 0xe2, 0x34, 0x5f, 0x1f, 0x56,
129 0xdf, 0x24, 0x58, 0xf4, 0x26, 0xd1, 0x55, 0xb4, 0xba, 0x2d, 0xb6,
130 0xdc, 0xd8, 0xc8,
131 };
132
133 // fips_sig_negative is fips_sig with r encoded as a negative number.
134 static const uint8_t fips_sig_negative[] = {
135 0x30, 0x2c, 0x02, 0x14, 0x8b, 0xac, 0x1a, 0xb6, 0x64, 0x10, 0x43,
136 0x5c, 0xb7, 0x18, 0x1f, 0x95, 0xb1, 0x6a, 0xb9, 0x7c, 0x92, 0xb3,
137 0x41, 0xc0, 0x02, 0x14, 0x41, 0xe2, 0x34, 0x5f, 0x1f, 0x56, 0xdf,
138 0x24, 0x58, 0xf4, 0x26, 0xd1, 0x55, 0xb4, 0xba, 0x2d, 0xb6, 0xdc,
139 0xd8, 0xc8,
140 };
141
142 // fip_sig_extra is fips_sig with trailing data.
143 static const uint8_t fips_sig_extra[] = {
144 0x30, 0x2d, 0x02, 0x15, 0x00, 0x8b, 0xac, 0x1a, 0xb6, 0x64, 0x10,
145 0x43, 0x5c, 0xb7, 0x18, 0x1f, 0x95, 0xb1, 0x6a, 0xb9, 0x7c, 0x92,
146 0xb3, 0x41, 0xc0, 0x02, 0x14, 0x41, 0xe2, 0x34, 0x5f, 0x1f, 0x56,
147 0xdf, 0x24, 0x58, 0xf4, 0x26, 0xd1, 0x55, 0xb4, 0xba, 0x2d, 0xb6,
148 0xdc, 0xd8, 0xc8, 0x00,
149 };
150
151 // fips_sig_lengths is fips_sig with a non-minimally encoded length.
152 static const uint8_t fips_sig_bad_length[] = {
153 0x30, 0x81, 0x2d, 0x02, 0x15, 0x00, 0x8b, 0xac, 0x1a, 0xb6, 0x64,
154 0x10, 0x43, 0x5c, 0xb7, 0x18, 0x1f, 0x95, 0xb1, 0x6a, 0xb9, 0x7c,
155 0x92, 0xb3, 0x41, 0xc0, 0x02, 0x14, 0x41, 0xe2, 0x34, 0x5f, 0x1f,
156 0x56, 0xdf, 0x24, 0x58, 0xf4, 0x26, 0xd1, 0x55, 0xb4, 0xba, 0x2d,
157 0xb6, 0xdc, 0xd8, 0xc8, 0x00,
158 };
159
160 // fips_sig_bad_r is fips_sig with a bad r value.
161 static const uint8_t fips_sig_bad_r[] = {
162 0x30, 0x2d, 0x02, 0x15, 0x00, 0x8c, 0xac, 0x1a, 0xb6, 0x64, 0x10,
163 0x43, 0x5c, 0xb7, 0x18, 0x1f, 0x95, 0xb1, 0x6a, 0xb9, 0x7c, 0x92,
164 0xb3, 0x41, 0xc0, 0x02, 0x14, 0x41, 0xe2, 0x34, 0x5f, 0x1f, 0x56,
165 0xdf, 0x24, 0x58, 0xf4, 0x26, 0xd1, 0x55, 0xb4, 0xba, 0x2d, 0xb6,
166 0xdc, 0xd8, 0xc8,
167 };
168
GetFIPSDSA(void)169 static bssl::UniquePtr<DSA> GetFIPSDSA(void) {
170 bssl::UniquePtr<DSA> dsa(DSA_new());
171 if (!dsa) {
172 return nullptr;
173 }
174 dsa->p = BN_bin2bn(fips_p, sizeof(fips_p), nullptr);
175 dsa->q = BN_bin2bn(fips_q, sizeof(fips_q), nullptr);
176 dsa->g = BN_bin2bn(fips_g, sizeof(fips_g), nullptr);
177 dsa->pub_key = BN_bin2bn(fips_y, sizeof(fips_y), nullptr);
178 dsa->priv_key = BN_bin2bn(fips_x, sizeof(fips_x), nullptr);
179 if (dsa->p == nullptr || dsa->q == nullptr || dsa->g == nullptr ||
180 dsa->pub_key == nullptr || dsa->priv_key == nullptr) {
181 return nullptr;
182 }
183 return dsa;
184 }
185
186 struct GenerateContext {
187 FILE *out = nullptr;
188 int ok = 0;
189 int num = 0;
190 };
191
GenerateCallback(int p,int n,BN_GENCB * arg)192 static int GenerateCallback(int p, int n, BN_GENCB *arg) {
193 GenerateContext *ctx = reinterpret_cast<GenerateContext *>(arg->arg);
194 char c = '*';
195 switch (p) {
196 case 0:
197 c = '.';
198 ctx->num++;
199 break;
200 case 1:
201 c = '+';
202 break;
203 case 2:
204 c = '*';
205 ctx->ok++;
206 break;
207 case 3:
208 c = '\n';
209 }
210 fputc(c, ctx->out);
211 fflush(ctx->out);
212 if (!ctx->ok && p == 0 && ctx->num > 1) {
213 fprintf(stderr, "error in dsatest\n");
214 return 0;
215 }
216 return 1;
217 }
218
TestGenerate(FILE * out)219 static int TestGenerate(FILE *out) {
220 BN_GENCB cb;
221 int counter, i, j;
222 uint8_t buf[256];
223 unsigned long h;
224 uint8_t sig[256];
225 unsigned int siglen;
226
227 fprintf(out, "test generation of DSA parameters\n");
228
229 GenerateContext ctx;
230 ctx.out = out;
231 BN_GENCB_set(&cb, GenerateCallback, &ctx);
232 bssl::UniquePtr<DSA> dsa(DSA_new());
233 if (!dsa ||
234 !DSA_generate_parameters_ex(dsa.get(), 512, seed, 20, &counter, &h,
235 &cb)) {
236 return false;
237 }
238
239 fprintf(out, "seed\n");
240 for (i = 0; i < 20; i += 4) {
241 fprintf(out, "%02X%02X%02X%02X ", seed[i], seed[i + 1], seed[i + 2],
242 seed[i + 3]);
243 }
244 fprintf(out, "\ncounter=%d h=%ld\n", counter, h);
245
246 if (counter != 105) {
247 fprintf(stderr, "counter should be 105\n");
248 return false;
249 }
250 if (h != 2) {
251 fprintf(stderr, "h should be 2\n");
252 return false;
253 }
254
255 i = BN_bn2bin(dsa->q, buf);
256 j = sizeof(fips_q);
257 if (i != j || OPENSSL_memcmp(buf, fips_q, i) != 0) {
258 fprintf(stderr, "q value is wrong\n");
259 return false;
260 }
261
262 i = BN_bn2bin(dsa->p, buf);
263 j = sizeof(fips_p);
264 if (i != j || OPENSSL_memcmp(buf, fips_p, i) != 0) {
265 fprintf(stderr, "p value is wrong\n");
266 return false;
267 }
268
269 i = BN_bn2bin(dsa->g, buf);
270 j = sizeof(fips_g);
271 if (i != j || OPENSSL_memcmp(buf, fips_g, i) != 0) {
272 fprintf(stderr, "g value is wrong\n");
273 return false;
274 }
275
276 if (!DSA_generate_key(dsa.get()) ||
277 !DSA_sign(0, fips_digest, sizeof(fips_digest), sig, &siglen, dsa.get())) {
278 return false;
279 }
280 if (DSA_verify(0, fips_digest, sizeof(fips_digest), sig, siglen, dsa.get()) !=
281 1) {
282 fprintf(stderr, "verification failure\n");
283 return false;
284 }
285
286 return true;
287 }
288
TestVerify(const uint8_t * sig,size_t sig_len,int expect)289 static bool TestVerify(const uint8_t *sig, size_t sig_len, int expect) {
290 bssl::UniquePtr<DSA> dsa = GetFIPSDSA();
291 if (!dsa) {
292 return false;
293 }
294
295 int ret =
296 DSA_verify(0, fips_digest, sizeof(fips_digest), sig, sig_len, dsa.get());
297 if (ret != expect) {
298 fprintf(stderr, "DSA_verify returned %d, want %d\n", ret, expect);
299 return false;
300 }
301
302 // Clear any errors from a test with expected failure.
303 ERR_clear_error();
304 return true;
305 }
306
307 // TODO(davidben): Convert this file to GTest properly.
TEST(DSATest,AllTests)308 TEST(DSATest, AllTests) {
309 if (!TestGenerate(stdout) ||
310 !TestVerify(fips_sig, sizeof(fips_sig), 1) ||
311 !TestVerify(fips_sig_negative, sizeof(fips_sig_negative), -1) ||
312 !TestVerify(fips_sig_extra, sizeof(fips_sig_extra), -1) ||
313 !TestVerify(fips_sig_bad_length, sizeof(fips_sig_bad_length), -1) ||
314 !TestVerify(fips_sig_bad_r, sizeof(fips_sig_bad_r), 0)) {
315 ADD_FAILURE() << "Tests failed";
316 }
317 }
318