blob: fa2ec4af12b40c8714be688b4ead1108c11be96b [file] [log] [blame]
Rich Salz440e5d82016-05-17 14:20:24 -04001/*
Pauliad887412017-07-18 11:48:27 +10002 * Copyright 1995-2017 The OpenSSL Project Authors. All Rights Reserved.
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00003 *
Rich Salz440e5d82016-05-17 14:20:24 -04004 * Licensed under the OpenSSL license (the "License"). You may not use
5 * this file except in compliance with the License. You can obtain a copy
6 * in the file LICENSE in the source distribution or at
7 * https://www.openssl.org/source/license.html
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +00008 */
9
10#include <stdio.h>
11#include <stdlib.h>
12#include <string.h>
13#include <sys/types.h>
14#include <sys/stat.h>
Richard Levitte55f78ba2002-11-28 18:54:30 +000015
Bodo Möllerec577821999-04-23 22:13:45 +000016#include <openssl/crypto.h>
17#include <openssl/rand.h>
Nils Larsch3eeaab42005-07-16 12:37:36 +000018#include <openssl/bn.h>
Rich Salz93d02982017-04-12 20:25:53 -040019#include <openssl/dsa.h>
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +000020
Rich Salz93d02982017-04-12 20:25:53 -040021#include "testutil.h"
Rich Salz176db6d2017-08-22 08:35:43 -040022#include "internal/nelem.h"
Ulf Möllerf5d7a031999-04-27 01:14:46 +000023
Benjamin Kaduk81813772017-04-27 10:32:30 -050024#ifndef OPENSSL_NO_DSA
Rich Salz6d23cf92015-01-12 17:29:26 -050025static int dsa_cb(int p, int n, BN_GENCB *arg);
Bodo Möllera87030a2000-01-30 02:23:03 +000026
Matt Caswell0f113f32015-01-22 03:40:55 +000027/*
28 * seed, out_p, out_q, out_g are taken from the updated Appendix 5 to FIPS
29 * PUB 186 and also appear in Appendix 5 to FIPS PIB 186-1
30 */
31static unsigned char seed[20] = {
32 0xd5, 0x01, 0x4e, 0x4b, 0x60, 0xef, 0x2b, 0xa8, 0xb6, 0x21, 0x1b, 0x40,
33 0x62, 0xba, 0x32, 0x24, 0xe0, 0x42, 0x7d, 0xd3,
34};
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +000035
Matt Caswell0f113f32015-01-22 03:40:55 +000036static unsigned char out_p[] = {
37 0x8d, 0xf2, 0xa4, 0x94, 0x49, 0x22, 0x76, 0xaa,
38 0x3d, 0x25, 0x75, 0x9b, 0xb0, 0x68, 0x69, 0xcb,
39 0xea, 0xc0, 0xd8, 0x3a, 0xfb, 0x8d, 0x0c, 0xf7,
40 0xcb, 0xb8, 0x32, 0x4f, 0x0d, 0x78, 0x82, 0xe5,
41 0xd0, 0x76, 0x2f, 0xc5, 0xb7, 0x21, 0x0e, 0xaf,
42 0xc2, 0xe9, 0xad, 0xac, 0x32, 0xab, 0x7a, 0xac,
43 0x49, 0x69, 0x3d, 0xfb, 0xf8, 0x37, 0x24, 0xc2,
44 0xec, 0x07, 0x36, 0xee, 0x31, 0xc8, 0x02, 0x91,
45};
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +000046
Matt Caswell0f113f32015-01-22 03:40:55 +000047static unsigned char out_q[] = {
48 0xc7, 0x73, 0x21, 0x8c, 0x73, 0x7e, 0xc8, 0xee,
49 0x99, 0x3b, 0x4f, 0x2d, 0xed, 0x30, 0xf4, 0x8e,
50 0xda, 0xce, 0x91, 0x5f,
51};
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +000052
Matt Caswell0f113f32015-01-22 03:40:55 +000053static unsigned char out_g[] = {
54 0x62, 0x6d, 0x02, 0x78, 0x39, 0xea, 0x0a, 0x13,
55 0x41, 0x31, 0x63, 0xa5, 0x5b, 0x4c, 0xb5, 0x00,
56 0x29, 0x9d, 0x55, 0x22, 0x95, 0x6c, 0xef, 0xcb,
57 0x3b, 0xff, 0x10, 0xf3, 0x99, 0xce, 0x2c, 0x2e,
58 0x71, 0xcb, 0x9d, 0xe5, 0xfa, 0x24, 0xba, 0xbf,
59 0x58, 0xe5, 0xb7, 0x95, 0x21, 0x92, 0x5c, 0x9c,
60 0xc4, 0x2e, 0x9f, 0x6f, 0x46, 0x4b, 0x08, 0x8c,
61 0xc5, 0x72, 0xaf, 0x53, 0xe6, 0xd7, 0x88, 0x02,
62};
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +000063
Matt Caswell0f113f32015-01-22 03:40:55 +000064static const unsigned char str1[] = "12345678901234567890";
Ben Laurie61f5b6f1999-04-23 15:01:15 +000065
Rich Salz93d02982017-04-12 20:25:53 -040066static int dsa_test(void)
Matt Caswell0f113f32015-01-22 03:40:55 +000067{
68 BN_GENCB *cb;
69 DSA *dsa = NULL;
70 int counter, ret = 0, i, j;
71 unsigned char buf[256];
72 unsigned long h;
73 unsigned char sig[256];
74 unsigned int siglen;
Matt Caswellb84e1222016-06-16 10:07:32 +010075 const BIGNUM *p = NULL, *q = NULL, *g = NULL;
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +000076
Rich Salz93d02982017-04-12 20:25:53 -040077 if (!TEST_ptr(cb = BN_GENCB_new()))
Matt Caswell0f113f32015-01-22 03:40:55 +000078 goto end;
Matt Caswellc0d43902014-10-28 22:56:18 +000079
Rich Salz93d02982017-04-12 20:25:53 -040080 BN_GENCB_set(cb, dsa_cb, NULL);
81 if (!TEST_ptr(dsa = DSA_new())
82 || !TEST_true(DSA_generate_parameters_ex(dsa, 512, seed, 20,
83 &counter, &h, cb)))
Matt Caswell0f113f32015-01-22 03:40:55 +000084 goto end;
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +000085
Rich Salz93d02982017-04-12 20:25:53 -040086 if (!TEST_int_eq(counter, 105))
Matt Caswell0f113f32015-01-22 03:40:55 +000087 goto end;
Rich Salz93d02982017-04-12 20:25:53 -040088 if (!TEST_int_eq(h, 2))
Matt Caswell0f113f32015-01-22 03:40:55 +000089 goto end;
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +000090
Matt Caswell6e9fa572016-03-30 17:18:55 +010091 DSA_get0_pqg(dsa, &p, &q, &g);
92 i = BN_bn2bin(q, buf);
Matt Caswell0f113f32015-01-22 03:40:55 +000093 j = sizeof(out_q);
Rich Salz93d02982017-04-12 20:25:53 -040094 if (!TEST_int_eq(i, j) || !TEST_mem_eq(buf, i, out_q, i))
Matt Caswell0f113f32015-01-22 03:40:55 +000095 goto end;
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +000096
Matt Caswell6e9fa572016-03-30 17:18:55 +010097 i = BN_bn2bin(p, buf);
Matt Caswell0f113f32015-01-22 03:40:55 +000098 j = sizeof(out_p);
Rich Salz93d02982017-04-12 20:25:53 -040099 if (!TEST_int_eq(i, j) || !TEST_mem_eq(buf, i, out_p, i))
Matt Caswell0f113f32015-01-22 03:40:55 +0000100 goto end;
Bodo Möller46a64372005-05-16 01:43:31 +0000101
Matt Caswell6e9fa572016-03-30 17:18:55 +0100102 i = BN_bn2bin(g, buf);
Matt Caswell0f113f32015-01-22 03:40:55 +0000103 j = sizeof(out_g);
Rich Salz93d02982017-04-12 20:25:53 -0400104 if (!TEST_int_eq(i, j) || !TEST_mem_eq(buf, i, out_g, i))
Matt Caswell0f113f32015-01-22 03:40:55 +0000105 goto end;
Bodo Möller46a64372005-05-16 01:43:31 +0000106
Matt Caswell0f113f32015-01-22 03:40:55 +0000107 DSA_generate_key(dsa);
108 DSA_sign(0, str1, 20, sig, &siglen, dsa);
Rich Salz93d02982017-04-12 20:25:53 -0400109 if (TEST_true(DSA_verify(0, str1, 20, sig, siglen, dsa)))
Matt Caswell0f113f32015-01-22 03:40:55 +0000110 ret = 1;
111
112 end:
Rich Salzd6407082015-03-24 10:17:37 -0400113 DSA_free(dsa);
Rich Salz23a1d5e2015-04-30 21:37:06 -0400114 BN_GENCB_free(cb);
Rich Salz93d02982017-04-12 20:25:53 -0400115 return ret;
Matt Caswell0f113f32015-01-22 03:40:55 +0000116}
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +0000117
Rich Salz6d23cf92015-01-12 17:29:26 -0500118static int dsa_cb(int p, int n, BN_GENCB *arg)
Matt Caswell0f113f32015-01-22 03:40:55 +0000119{
Matt Caswell0f113f32015-01-22 03:40:55 +0000120 static int ok = 0, num = 0;
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +0000121
Rich Salz93d02982017-04-12 20:25:53 -0400122 if (p == 0)
Matt Caswell0f113f32015-01-22 03:40:55 +0000123 num++;
Rich Salz93d02982017-04-12 20:25:53 -0400124 if (p == 2)
Matt Caswell0f113f32015-01-22 03:40:55 +0000125 ok++;
Ralf S. Engelschalld02b48c1998-12-21 10:52:47 +0000126
Matt Caswell0f113f32015-01-22 03:40:55 +0000127 if (!ok && (p == 0) && (num > 1)) {
Rich Salz93d02982017-04-12 20:25:53 -0400128 TEST_error("dsa_cb error");
Matt Caswell0f113f32015-01-22 03:40:55 +0000129 return 0;
130 }
131 return 1;
132}
Benjamin Kaduk81813772017-04-27 10:32:30 -0500133#endif /* OPENSSL_NO_DSA */
Rich Salz93d02982017-04-12 20:25:53 -0400134
Pauliad887412017-07-18 11:48:27 +1000135int setup_tests(void)
Rich Salz93d02982017-04-12 20:25:53 -0400136{
137#ifndef OPENSSL_NO_DSA
138 ADD_TEST(dsa_test);
Ulf Möllerf5d7a031999-04-27 01:14:46 +0000139#endif
Pauliad887412017-07-18 11:48:27 +1000140 return 1;
Rich Salz93d02982017-04-12 20:25:53 -0400141}