Rich Salz | 440e5d8 | 2016-05-17 14:20:24 -0400 | [diff] [blame] | 1 | /* |
Pauli | ad88741 | 2017-07-18 11:48:27 +1000 | [diff] [blame] | 2 | * Copyright 1995-2017 The OpenSSL Project Authors. All Rights Reserved. |
Ralf S. Engelschall | d02b48c | 1998-12-21 10:52:47 +0000 | [diff] [blame] | 3 | * |
Rich Salz | 440e5d8 | 2016-05-17 14:20:24 -0400 | [diff] [blame] | 4 | * 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. Engelschall | d02b48c | 1998-12-21 10:52:47 +0000 | [diff] [blame] | 8 | */ |
| 9 | |
| 10 | #include <stdio.h> |
| 11 | #include <stdlib.h> |
| 12 | #include <string.h> |
| 13 | #include <sys/types.h> |
| 14 | #include <sys/stat.h> |
Richard Levitte | 55f78ba | 2002-11-28 18:54:30 +0000 | [diff] [blame] | 15 | |
Bodo Möller | ec57782 | 1999-04-23 22:13:45 +0000 | [diff] [blame] | 16 | #include <openssl/crypto.h> |
| 17 | #include <openssl/rand.h> |
Nils Larsch | 3eeaab4 | 2005-07-16 12:37:36 +0000 | [diff] [blame] | 18 | #include <openssl/bn.h> |
Rich Salz | 93d0298 | 2017-04-12 20:25:53 -0400 | [diff] [blame] | 19 | #include <openssl/dsa.h> |
Ralf S. Engelschall | d02b48c | 1998-12-21 10:52:47 +0000 | [diff] [blame] | 20 | |
Rich Salz | 93d0298 | 2017-04-12 20:25:53 -0400 | [diff] [blame] | 21 | #include "testutil.h" |
Rich Salz | 176db6d | 2017-08-22 08:35:43 -0400 | [diff] [blame] | 22 | #include "internal/nelem.h" |
Ulf Möller | f5d7a03 | 1999-04-27 01:14:46 +0000 | [diff] [blame] | 23 | |
Benjamin Kaduk | 8181377 | 2017-04-27 10:32:30 -0500 | [diff] [blame] | 24 | #ifndef OPENSSL_NO_DSA |
Rich Salz | 6d23cf9 | 2015-01-12 17:29:26 -0500 | [diff] [blame] | 25 | static int dsa_cb(int p, int n, BN_GENCB *arg); |
Bodo Möller | a87030a | 2000-01-30 02:23:03 +0000 | [diff] [blame] | 26 | |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 27 | /* |
| 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 | */ |
| 31 | static 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. Engelschall | d02b48c | 1998-12-21 10:52:47 +0000 | [diff] [blame] | 35 | |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 36 | static 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. Engelschall | d02b48c | 1998-12-21 10:52:47 +0000 | [diff] [blame] | 46 | |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 47 | static 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. Engelschall | d02b48c | 1998-12-21 10:52:47 +0000 | [diff] [blame] | 52 | |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 53 | static 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. Engelschall | d02b48c | 1998-12-21 10:52:47 +0000 | [diff] [blame] | 63 | |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 64 | static const unsigned char str1[] = "12345678901234567890"; |
Ben Laurie | 61f5b6f | 1999-04-23 15:01:15 +0000 | [diff] [blame] | 65 | |
Rich Salz | 93d0298 | 2017-04-12 20:25:53 -0400 | [diff] [blame] | 66 | static int dsa_test(void) |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 67 | { |
| 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 Caswell | b84e122 | 2016-06-16 10:07:32 +0100 | [diff] [blame] | 75 | const BIGNUM *p = NULL, *q = NULL, *g = NULL; |
Ralf S. Engelschall | d02b48c | 1998-12-21 10:52:47 +0000 | [diff] [blame] | 76 | |
Rich Salz | 93d0298 | 2017-04-12 20:25:53 -0400 | [diff] [blame] | 77 | if (!TEST_ptr(cb = BN_GENCB_new())) |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 78 | goto end; |
Matt Caswell | c0d4390 | 2014-10-28 22:56:18 +0000 | [diff] [blame] | 79 | |
Rich Salz | 93d0298 | 2017-04-12 20:25:53 -0400 | [diff] [blame] | 80 | 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 Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 84 | goto end; |
Ralf S. Engelschall | d02b48c | 1998-12-21 10:52:47 +0000 | [diff] [blame] | 85 | |
Rich Salz | 93d0298 | 2017-04-12 20:25:53 -0400 | [diff] [blame] | 86 | if (!TEST_int_eq(counter, 105)) |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 87 | goto end; |
Rich Salz | 93d0298 | 2017-04-12 20:25:53 -0400 | [diff] [blame] | 88 | if (!TEST_int_eq(h, 2)) |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 89 | goto end; |
Ralf S. Engelschall | d02b48c | 1998-12-21 10:52:47 +0000 | [diff] [blame] | 90 | |
Matt Caswell | 6e9fa57 | 2016-03-30 17:18:55 +0100 | [diff] [blame] | 91 | DSA_get0_pqg(dsa, &p, &q, &g); |
| 92 | i = BN_bn2bin(q, buf); |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 93 | j = sizeof(out_q); |
Rich Salz | 93d0298 | 2017-04-12 20:25:53 -0400 | [diff] [blame] | 94 | if (!TEST_int_eq(i, j) || !TEST_mem_eq(buf, i, out_q, i)) |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 95 | goto end; |
Ralf S. Engelschall | d02b48c | 1998-12-21 10:52:47 +0000 | [diff] [blame] | 96 | |
Matt Caswell | 6e9fa57 | 2016-03-30 17:18:55 +0100 | [diff] [blame] | 97 | i = BN_bn2bin(p, buf); |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 98 | j = sizeof(out_p); |
Rich Salz | 93d0298 | 2017-04-12 20:25:53 -0400 | [diff] [blame] | 99 | if (!TEST_int_eq(i, j) || !TEST_mem_eq(buf, i, out_p, i)) |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 100 | goto end; |
Bodo Möller | 46a6437 | 2005-05-16 01:43:31 +0000 | [diff] [blame] | 101 | |
Matt Caswell | 6e9fa57 | 2016-03-30 17:18:55 +0100 | [diff] [blame] | 102 | i = BN_bn2bin(g, buf); |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 103 | j = sizeof(out_g); |
Rich Salz | 93d0298 | 2017-04-12 20:25:53 -0400 | [diff] [blame] | 104 | if (!TEST_int_eq(i, j) || !TEST_mem_eq(buf, i, out_g, i)) |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 105 | goto end; |
Bodo Möller | 46a6437 | 2005-05-16 01:43:31 +0000 | [diff] [blame] | 106 | |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 107 | DSA_generate_key(dsa); |
| 108 | DSA_sign(0, str1, 20, sig, &siglen, dsa); |
Rich Salz | 93d0298 | 2017-04-12 20:25:53 -0400 | [diff] [blame] | 109 | if (TEST_true(DSA_verify(0, str1, 20, sig, siglen, dsa))) |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 110 | ret = 1; |
| 111 | |
| 112 | end: |
Rich Salz | d640708 | 2015-03-24 10:17:37 -0400 | [diff] [blame] | 113 | DSA_free(dsa); |
Rich Salz | 23a1d5e | 2015-04-30 21:37:06 -0400 | [diff] [blame] | 114 | BN_GENCB_free(cb); |
Rich Salz | 93d0298 | 2017-04-12 20:25:53 -0400 | [diff] [blame] | 115 | return ret; |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 116 | } |
Ralf S. Engelschall | d02b48c | 1998-12-21 10:52:47 +0000 | [diff] [blame] | 117 | |
Rich Salz | 6d23cf9 | 2015-01-12 17:29:26 -0500 | [diff] [blame] | 118 | static int dsa_cb(int p, int n, BN_GENCB *arg) |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 119 | { |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 120 | static int ok = 0, num = 0; |
Ralf S. Engelschall | d02b48c | 1998-12-21 10:52:47 +0000 | [diff] [blame] | 121 | |
Rich Salz | 93d0298 | 2017-04-12 20:25:53 -0400 | [diff] [blame] | 122 | if (p == 0) |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 123 | num++; |
Rich Salz | 93d0298 | 2017-04-12 20:25:53 -0400 | [diff] [blame] | 124 | if (p == 2) |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 125 | ok++; |
Ralf S. Engelschall | d02b48c | 1998-12-21 10:52:47 +0000 | [diff] [blame] | 126 | |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 127 | if (!ok && (p == 0) && (num > 1)) { |
Rich Salz | 93d0298 | 2017-04-12 20:25:53 -0400 | [diff] [blame] | 128 | TEST_error("dsa_cb error"); |
Matt Caswell | 0f113f3 | 2015-01-22 03:40:55 +0000 | [diff] [blame] | 129 | return 0; |
| 130 | } |
| 131 | return 1; |
| 132 | } |
Benjamin Kaduk | 8181377 | 2017-04-27 10:32:30 -0500 | [diff] [blame] | 133 | #endif /* OPENSSL_NO_DSA */ |
Rich Salz | 93d0298 | 2017-04-12 20:25:53 -0400 | [diff] [blame] | 134 | |
Pauli | ad88741 | 2017-07-18 11:48:27 +1000 | [diff] [blame] | 135 | int setup_tests(void) |
Rich Salz | 93d0298 | 2017-04-12 20:25:53 -0400 | [diff] [blame] | 136 | { |
| 137 | #ifndef OPENSSL_NO_DSA |
| 138 | ADD_TEST(dsa_test); |
Ulf Möller | f5d7a03 | 1999-04-27 01:14:46 +0000 | [diff] [blame] | 139 | #endif |
Pauli | ad88741 | 2017-07-18 11:48:27 +1000 | [diff] [blame] | 140 | return 1; |
Rich Salz | 93d0298 | 2017-04-12 20:25:53 -0400 | [diff] [blame] | 141 | } |