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 <string.h>
63
64#include <openssl/bn.h>
65#include <openssl/crypto.h>
66#include <openssl/err.h>
67
68#include "internal.h"
69
70
71static int dsa_cb(int p, int n, BN_GENCB *arg);
72
73/* The following values are taken from the updated Appendix 5 to FIPS PUB 186
74 * and also appear in Appendix 5 to FIPS PUB 186-1. */
75
76static const uint8_t seed[20] = {
77    0xd5, 0x01, 0x4e, 0x4b, 0x60, 0xef, 0x2b, 0xa8, 0xb6, 0x21, 0x1b,
78    0x40, 0x62, 0xba, 0x32, 0x24, 0xe0, 0x42, 0x7d, 0xd3,
79};
80
81static const uint8_t fips_p[] = {
82    0x8d, 0xf2, 0xa4, 0x94, 0x49, 0x22, 0x76, 0xaa, 0x3d, 0x25, 0x75,
83    0x9b, 0xb0, 0x68, 0x69, 0xcb, 0xea, 0xc0, 0xd8, 0x3a, 0xfb, 0x8d,
84    0x0c, 0xf7, 0xcb, 0xb8, 0x32, 0x4f, 0x0d, 0x78, 0x82, 0xe5, 0xd0,
85    0x76, 0x2f, 0xc5, 0xb7, 0x21, 0x0e, 0xaf, 0xc2, 0xe9, 0xad, 0xac,
86    0x32, 0xab, 0x7a, 0xac, 0x49, 0x69, 0x3d, 0xfb, 0xf8, 0x37, 0x24,
87    0xc2, 0xec, 0x07, 0x36, 0xee, 0x31, 0xc8, 0x02, 0x91,
88};
89
90static const uint8_t fips_q[] = {
91    0xc7, 0x73, 0x21, 0x8c, 0x73, 0x7e, 0xc8, 0xee, 0x99, 0x3b, 0x4f,
92    0x2d, 0xed, 0x30, 0xf4, 0x8e, 0xda, 0xce, 0x91, 0x5f,
93};
94
95static const uint8_t fips_g[] = {
96    0x62, 0x6d, 0x02, 0x78, 0x39, 0xea, 0x0a, 0x13, 0x41, 0x31, 0x63,
97    0xa5, 0x5b, 0x4c, 0xb5, 0x00, 0x29, 0x9d, 0x55, 0x22, 0x95, 0x6c,
98    0xef, 0xcb, 0x3b, 0xff, 0x10, 0xf3, 0x99, 0xce, 0x2c, 0x2e, 0x71,
99    0xcb, 0x9d, 0xe5, 0xfa, 0x24, 0xba, 0xbf, 0x58, 0xe5, 0xb7, 0x95,
100    0x21, 0x92, 0x5c, 0x9c, 0xc4, 0x2e, 0x9f, 0x6f, 0x46, 0x4b, 0x08,
101    0x8c, 0xc5, 0x72, 0xaf, 0x53, 0xe6, 0xd7, 0x88, 0x02,
102};
103
104static const uint8_t fips_x[] = {
105    0x20, 0x70, 0xb3, 0x22, 0x3d, 0xba, 0x37, 0x2f, 0xde, 0x1c, 0x0f,
106    0xfc, 0x7b, 0x2e, 0x3b, 0x49, 0x8b, 0x26, 0x06, 0x14,
107};
108
109static const uint8_t fips_y[] = {
110    0x19, 0x13, 0x18, 0x71, 0xd7, 0x5b, 0x16, 0x12, 0xa8, 0x19, 0xf2,
111    0x9d, 0x78, 0xd1, 0xb0, 0xd7, 0x34, 0x6f, 0x7a, 0xa7, 0x7b, 0xb6,
112    0x2a, 0x85, 0x9b, 0xfd, 0x6c, 0x56, 0x75, 0xda, 0x9d, 0x21, 0x2d,
113    0x3a, 0x36, 0xef, 0x16, 0x72, 0xef, 0x66, 0x0b, 0x8c, 0x7c, 0x25,
114    0x5c, 0xc0, 0xec, 0x74, 0x85, 0x8f, 0xba, 0x33, 0xf4, 0x4c, 0x06,
115    0x69, 0x96, 0x30, 0xa7, 0x6b, 0x03, 0x0e, 0xe3, 0x33,
116};
117
118static const uint8_t fips_digest[] = {
119    0xa9, 0x99, 0x3e, 0x36, 0x47, 0x06, 0x81, 0x6a, 0xba, 0x3e, 0x25,
120    0x71, 0x78, 0x50, 0xc2, 0x6c, 0x9c, 0xd0, 0xd8, 0x9d,
121};
122
123/* fips_sig is a DER-encoded version of the r and s values in FIPS PUB 186-1. */
124static const uint8_t fips_sig[] = {
125    0x30, 0x2d, 0x02, 0x15, 0x00, 0x8b, 0xac, 0x1a, 0xb6, 0x64, 0x10,
126    0x43, 0x5c, 0xb7, 0x18, 0x1f, 0x95, 0xb1, 0x6a, 0xb9, 0x7c, 0x92,
127    0xb3, 0x41, 0xc0, 0x02, 0x14, 0x41, 0xe2, 0x34, 0x5f, 0x1f, 0x56,
128    0xdf, 0x24, 0x58, 0xf4, 0x26, 0xd1, 0x55, 0xb4, 0xba, 0x2d, 0xb6,
129    0xdc, 0xd8, 0xc8,
130};
131
132/* fips_sig_negative is fips_sig with r encoded as a negative number. */
133static const uint8_t fips_sig_negative[] = {
134    0x30, 0x2c, 0x02, 0x14, 0x8b, 0xac, 0x1a, 0xb6, 0x64, 0x10, 0x43,
135    0x5c, 0xb7, 0x18, 0x1f, 0x95, 0xb1, 0x6a, 0xb9, 0x7c, 0x92, 0xb3,
136    0x41, 0xc0, 0x02, 0x14, 0x41, 0xe2, 0x34, 0x5f, 0x1f, 0x56, 0xdf,
137    0x24, 0x58, 0xf4, 0x26, 0xd1, 0x55, 0xb4, 0xba, 0x2d, 0xb6, 0xdc,
138    0xd8, 0xc8,
139};
140
141/* fip_sig_extra is fips_sig with trailing data. */
142static const uint8_t fips_sig_extra[] = {
143    0x30, 0x2d, 0x02, 0x15, 0x00, 0x8b, 0xac, 0x1a, 0xb6, 0x64, 0x10,
144    0x43, 0x5c, 0xb7, 0x18, 0x1f, 0x95, 0xb1, 0x6a, 0xb9, 0x7c, 0x92,
145    0xb3, 0x41, 0xc0, 0x02, 0x14, 0x41, 0xe2, 0x34, 0x5f, 0x1f, 0x56,
146    0xdf, 0x24, 0x58, 0xf4, 0x26, 0xd1, 0x55, 0xb4, 0xba, 0x2d, 0xb6,
147    0xdc, 0xd8, 0xc8, 0x00,
148};
149
150/* fips_sig_lengths is fips_sig with a non-minimally encoded length. */
151static const uint8_t fips_sig_bad_length[] = {
152    0x30, 0x81, 0x2d, 0x02, 0x15, 0x00, 0x8b, 0xac, 0x1a, 0xb6, 0x64,
153    0x10, 0x43, 0x5c, 0xb7, 0x18, 0x1f, 0x95, 0xb1, 0x6a, 0xb9, 0x7c,
154    0x92, 0xb3, 0x41, 0xc0, 0x02, 0x14, 0x41, 0xe2, 0x34, 0x5f, 0x1f,
155    0x56, 0xdf, 0x24, 0x58, 0xf4, 0x26, 0xd1, 0x55, 0xb4, 0xba, 0x2d,
156    0xb6, 0xdc, 0xd8, 0xc8, 0x00,
157};
158
159/* fips_sig_bad_r is fips_sig with a bad r value. */
160static const uint8_t fips_sig_bad_r[] = {
161    0x30, 0x2d, 0x02, 0x15, 0x00, 0x8c, 0xac, 0x1a, 0xb6, 0x64, 0x10,
162    0x43, 0x5c, 0xb7, 0x18, 0x1f, 0x95, 0xb1, 0x6a, 0xb9, 0x7c, 0x92,
163    0xb3, 0x41, 0xc0, 0x02, 0x14, 0x41, 0xe2, 0x34, 0x5f, 0x1f, 0x56,
164    0xdf, 0x24, 0x58, 0xf4, 0x26, 0xd1, 0x55, 0xb4, 0xba, 0x2d, 0xb6,
165    0xdc, 0xd8, 0xc8,
166};
167
168static DSA *get_fips_dsa(void) {
169  DSA *dsa = DSA_new();
170  if (!dsa) {
171    return NULL;
172  }
173  dsa->p = BN_bin2bn(fips_p, sizeof(fips_p), NULL);
174  dsa->q = BN_bin2bn(fips_q, sizeof(fips_q), NULL);
175  dsa->g = BN_bin2bn(fips_g, sizeof(fips_g), NULL);
176  dsa->pub_key = BN_bin2bn(fips_y, sizeof(fips_y), NULL);
177  dsa->priv_key = BN_bin2bn(fips_x, sizeof(fips_x), NULL);
178  if (dsa->p == NULL || dsa->q == NULL || dsa->g == NULL ||
179      dsa->pub_key == NULL || dsa->priv_key == NULL) {
180    DSA_free(dsa);
181    return NULL;
182  }
183  return dsa;
184}
185
186static int test_generate(FILE *out) {
187  BN_GENCB cb;
188  DSA *dsa = NULL;
189  int counter, ok = 0, i, j;
190  uint8_t buf[256];
191  unsigned long h;
192  uint8_t sig[256];
193  unsigned int siglen;
194
195  fprintf(out, "test generation of DSA parameters\n");
196
197  BN_GENCB_set(&cb, dsa_cb, out);
198  dsa = DSA_new();
199  if (dsa == NULL ||
200      !DSA_generate_parameters_ex(dsa, 512, seed, 20, &counter, &h, &cb)) {
201    goto end;
202  }
203
204  fprintf(out, "seed\n");
205  for (i = 0; i < 20; i += 4) {
206    fprintf(out, "%02X%02X%02X%02X ", seed[i], seed[i + 1], seed[i + 2],
207            seed[i + 3]);
208  }
209  fprintf(out, "\ncounter=%d h=%ld\n", counter, h);
210
211  if (counter != 105) {
212    fprintf(stderr, "counter should be 105\n");
213    goto end;
214  }
215  if (h != 2) {
216    fprintf(stderr, "h should be 2\n");
217    goto end;
218  }
219
220  i = BN_bn2bin(dsa->q, buf);
221  j = sizeof(fips_q);
222  if (i != j || memcmp(buf, fips_q, i) != 0) {
223    fprintf(stderr, "q value is wrong\n");
224    goto end;
225  }
226
227  i = BN_bn2bin(dsa->p, buf);
228  j = sizeof(fips_p);
229  if (i != j || memcmp(buf, fips_p, i) != 0) {
230    fprintf(stderr, "p value is wrong\n");
231    goto end;
232  }
233
234  i = BN_bn2bin(dsa->g, buf);
235  j = sizeof(fips_g);
236  if (i != j || memcmp(buf, fips_g, i) != 0) {
237    fprintf(stderr, "g value is wrong\n");
238    goto end;
239  }
240
241  if (!DSA_generate_key(dsa) ||
242      !DSA_sign(0, fips_digest, sizeof(fips_digest), sig, &siglen, dsa)) {
243    goto end;
244  }
245  if (DSA_verify(0, fips_digest, sizeof(fips_digest), sig, siglen, dsa) == 1) {
246    ok = 1;
247  } else {
248    fprintf(stderr, "verification failure\n");
249  }
250
251end:
252  DSA_free(dsa);
253
254  return ok;
255}
256
257static int test_verify(const uint8_t *sig, size_t sig_len, int expect) {
258  int ok = 0;
259  DSA *dsa = get_fips_dsa();
260  if (dsa == NULL) {
261    goto end;
262  }
263
264  int ret = DSA_verify(0, fips_digest, sizeof(fips_digest), sig, sig_len, dsa);
265  if (ret != expect) {
266    fprintf(stderr, "DSA_verify returned %d, want %d\n", ret, expect);
267    goto end;
268  }
269  ok = 1;
270  /* Clear any errorrs from a test with expected failure. */
271  ERR_clear_error();
272
273end:
274  DSA_free(dsa);
275
276  return ok;
277}
278
279int main(int argc, char **argv) {
280  CRYPTO_library_init();
281
282  if (!test_generate(stdout) ||
283      !test_verify(fips_sig, sizeof(fips_sig), 1) ||
284      !test_verify(fips_sig_negative, sizeof(fips_sig_negative), -1) ||
285      !test_verify(fips_sig_extra, sizeof(fips_sig_extra), -1) ||
286      !test_verify(fips_sig_bad_length, sizeof(fips_sig_bad_length), -1) ||
287      !test_verify(fips_sig_bad_r, sizeof(fips_sig_bad_r), 0)) {
288    ERR_print_errors_fp(stderr);
289    return 1;
290  }
291
292  printf("PASS\n");
293  return 0;
294}
295
296static int dsa_cb(int p, int n, BN_GENCB *arg) {
297  char c = '*';
298  static int ok = 0, num = 0;
299
300  switch (p) {
301  case 0:
302    c = '.';
303    num++;
304    break;
305  case 1:
306    c = '+';
307    break;
308  case 2:
309    c = '*';
310    ok++;
311    break;
312  case 3:
313    c = '\n';
314  }
315
316  fputc(c, arg->arg);
317  fflush(arg->arg);
318
319  if (!ok && p == 0 && num > 1) {
320    fprintf(stderr, "error in dsatest\n");
321    return 0;
322  }
323
324  return 1;
325}
326