blob: afd1e05d001145dfe11746a0fd004b5c9ca2e0de [file] [log] [blame]
Damien Miller874d77b2000-10-14 16:23:11 +11001/*
2 * Copyright (c) 2000 Niels Provos. All rights reserved.
3 *
4 * Redistribution and use in source and binary forms, with or without
5 * modification, are permitted provided that the following conditions
6 * are met:
7 * 1. Redistributions of source code must retain the above copyright
8 * notice, this list of conditions and the following disclaimer.
9 * 2. Redistributions in binary form must reproduce the above copyright
10 * notice, this list of conditions and the following disclaimer in the
11 * documentation and/or other materials provided with the distribution.
12 *
13 * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
14 * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
15 * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
16 * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
17 * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
18 * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
19 * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
20 * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
21 * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
22 * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
23 */
24
25#include "includes.h"
Darren Tuckereffc84c2004-02-29 20:15:08 +110026RCSID("$OpenBSD: dh.c,v 1.29 2004/02/27 22:49:27 dtucker Exp $");
Damien Miller874d77b2000-10-14 16:23:11 +110027
28#include "xmalloc.h"
29
30#include <openssl/bn.h>
31#include <openssl/dh.h>
32#include <openssl/evp.h>
33
Damien Miller874d77b2000-10-14 16:23:11 +110034#include "buffer.h"
Ben Lindstrom226cfa02001-01-22 05:34:40 +000035#include "cipher.h"
Damien Miller874d77b2000-10-14 16:23:11 +110036#include "kex.h"
37#include "dh.h"
Ben Lindstrom226cfa02001-01-22 05:34:40 +000038#include "pathnames.h"
39#include "log.h"
40#include "misc.h"
Damien Miller874d77b2000-10-14 16:23:11 +110041
Ben Lindstrombba81212001-06-25 05:01:22 +000042static int
Damien Miller874d77b2000-10-14 16:23:11 +110043parse_prime(int linenum, char *line, struct dhgroup *dhg)
44{
45 char *cp, *arg;
46 char *strsize, *gen, *prime;
47
48 cp = line;
49 arg = strdelim(&cp);
50 /* Ignore leading whitespace */
51 if (*arg == '\0')
52 arg = strdelim(&cp);
Ben Lindstrom04f9af72002-07-04 00:03:56 +000053 if (!arg || !*arg || *arg == '#')
Damien Miller874d77b2000-10-14 16:23:11 +110054 return 0;
55
56 /* time */
57 if (cp == NULL || *arg == '\0')
58 goto fail;
59 arg = strsep(&cp, " "); /* type */
60 if (cp == NULL || *arg == '\0')
61 goto fail;
62 arg = strsep(&cp, " "); /* tests */
63 if (cp == NULL || *arg == '\0')
64 goto fail;
65 arg = strsep(&cp, " "); /* tries */
66 if (cp == NULL || *arg == '\0')
67 goto fail;
68 strsize = strsep(&cp, " "); /* size */
69 if (cp == NULL || *strsize == '\0' ||
70 (dhg->size = atoi(strsize)) == 0)
71 goto fail;
Ben Lindstromdf221392001-03-29 00:36:16 +000072 /* The whole group is one bit larger */
73 dhg->size++;
Damien Miller874d77b2000-10-14 16:23:11 +110074 gen = strsep(&cp, " "); /* gen */
75 if (cp == NULL || *gen == '\0')
76 goto fail;
77 prime = strsep(&cp, " "); /* prime */
78 if (cp != NULL || *prime == '\0')
79 goto fail;
80
Damien Millerda755162002-01-22 23:09:22 +110081 if ((dhg->g = BN_new()) == NULL)
82 fatal("parse_prime: BN_new failed");
83 if ((dhg->p = BN_new()) == NULL)
84 fatal("parse_prime: BN_new failed");
Ben Lindstrom206941f2001-04-15 14:27:16 +000085 if (BN_hex2bn(&dhg->g, gen) == 0)
Damien Miller23e526e2001-03-30 10:47:43 +100086 goto failclean;
87
Ben Lindstrom206941f2001-04-15 14:27:16 +000088 if (BN_hex2bn(&dhg->p, prime) == 0)
Damien Miller23e526e2001-03-30 10:47:43 +100089 goto failclean;
90
91 if (BN_num_bits(dhg->p) != dhg->size)
92 goto failclean;
Damien Miller874d77b2000-10-14 16:23:11 +110093
Darren Tuckerfc113c92004-02-29 20:12:33 +110094 if (BN_is_zero(dhg->g) || BN_is_one(dhg->g))
95 goto failclean;
96
Damien Miller874d77b2000-10-14 16:23:11 +110097 return (1);
Damien Miller23e526e2001-03-30 10:47:43 +100098
99 failclean:
Damien Miller9ef95dd2002-01-22 23:10:33 +1100100 BN_clear_free(dhg->g);
101 BN_clear_free(dhg->p);
Damien Miller874d77b2000-10-14 16:23:11 +1100102 fail:
Ben Lindstrom6df8ef42001-03-05 07:47:23 +0000103 error("Bad prime description in line %d", linenum);
Damien Miller874d77b2000-10-14 16:23:11 +1100104 return (0);
105}
106
107DH *
Ben Lindstromdf221392001-03-29 00:36:16 +0000108choose_dh(int min, int wantbits, int max)
Damien Miller874d77b2000-10-14 16:23:11 +1100109{
110 FILE *f;
Darren Tuckerc56c7ef2004-02-29 20:13:34 +1100111 char line[4096];
Damien Miller874d77b2000-10-14 16:23:11 +1100112 int best, bestcount, which;
113 int linenum;
114 struct dhgroup dhg;
115
Ben Lindstrom93a29e02001-06-25 04:13:25 +0000116 if ((f = fopen(_PATH_DH_MODULI, "r")) == NULL &&
117 (f = fopen(_PATH_DH_PRIMES, "r")) == NULL) {
Damien Miller996acd22003-04-09 20:59:48 +1000118 logit("WARNING: %s does not exist, using old modulus", _PATH_DH_MODULI);
Damien Miller874d77b2000-10-14 16:23:11 +1100119 return (dh_new_group1());
120 }
121
122 linenum = 0;
123 best = bestcount = 0;
124 while (fgets(line, sizeof(line), f)) {
125 linenum++;
126 if (!parse_prime(linenum, line, &dhg))
127 continue;
Damien Miller9ef95dd2002-01-22 23:10:33 +1100128 BN_clear_free(dhg.g);
129 BN_clear_free(dhg.p);
Damien Miller874d77b2000-10-14 16:23:11 +1100130
Ben Lindstromdf221392001-03-29 00:36:16 +0000131 if (dhg.size > max || dhg.size < min)
132 continue;
133
134 if ((dhg.size > wantbits && dhg.size < best) ||
135 (dhg.size > best && best < wantbits)) {
Damien Miller874d77b2000-10-14 16:23:11 +1100136 best = dhg.size;
137 bestcount = 0;
138 }
139 if (dhg.size == best)
140 bestcount++;
141 }
Ben Lindstromaf738802001-06-25 04:18:59 +0000142 rewind(f);
Damien Miller874d77b2000-10-14 16:23:11 +1100143
144 if (bestcount == 0) {
Ben Lindstromaf738802001-06-25 04:18:59 +0000145 fclose(f);
Damien Miller996acd22003-04-09 20:59:48 +1000146 logit("WARNING: no suitable primes in %s", _PATH_DH_PRIMES);
Ben Lindstromdf221392001-03-29 00:36:16 +0000147 return (NULL);
Damien Miller874d77b2000-10-14 16:23:11 +1100148 }
149
Damien Miller874d77b2000-10-14 16:23:11 +1100150 linenum = 0;
151 which = arc4random() % bestcount;
152 while (fgets(line, sizeof(line), f)) {
153 if (!parse_prime(linenum, line, &dhg))
154 continue;
Ben Lindstrom5ba23b32001-04-05 02:05:21 +0000155 if ((dhg.size > max || dhg.size < min) ||
156 dhg.size != best ||
157 linenum++ != which) {
Damien Miller9ef95dd2002-01-22 23:10:33 +1100158 BN_clear_free(dhg.g);
159 BN_clear_free(dhg.p);
Damien Miller874d77b2000-10-14 16:23:11 +1100160 continue;
161 }
162 break;
163 }
164 fclose(f);
Ben Lindstrom5ba23b32001-04-05 02:05:21 +0000165 if (linenum != which+1)
166 fatal("WARNING: line %d disappeared in %s, giving up",
167 which, _PATH_DH_PRIMES);
Damien Miller874d77b2000-10-14 16:23:11 +1100168
169 return (dh_new_group(dhg.g, dhg.p));
170}
Damien Miller9709f902001-03-30 10:50:10 +1000171
172/* diffie-hellman-group1-sha1 */
173
174int
175dh_pub_is_valid(DH *dh, BIGNUM *dh_pub)
176{
177 int i;
178 int n = BN_num_bits(dh_pub);
179 int bits_set = 0;
180
181 if (dh_pub->neg) {
Damien Miller996acd22003-04-09 20:59:48 +1000182 logit("invalid public DH value: negativ");
Damien Miller9709f902001-03-30 10:50:10 +1000183 return 0;
184 }
185 for (i = 0; i <= n; i++)
186 if (BN_is_bit_set(dh_pub, i))
187 bits_set++;
Ben Lindstrom1f530832002-12-23 02:03:02 +0000188 debug2("bits set: %d/%d", bits_set, BN_num_bits(dh->p));
Damien Miller9709f902001-03-30 10:50:10 +1000189
190 /* if g==2 and bits_set==1 then computing log_g(dh_pub) is trivial */
191 if (bits_set > 1 && (BN_cmp(dh_pub, dh->p) == -1))
192 return 1;
Damien Miller996acd22003-04-09 20:59:48 +1000193 logit("invalid public DH value (%d/%d)", bits_set, BN_num_bits(dh->p));
Damien Miller9709f902001-03-30 10:50:10 +1000194 return 0;
195}
196
197void
198dh_gen_key(DH *dh, int need)
199{
Darren Tuckereffc84c2004-02-29 20:15:08 +1100200 int i, bits_set, tries = 0;
Damien Miller9709f902001-03-30 10:50:10 +1000201
202 if (dh->p == NULL)
203 fatal("dh_gen_key: dh->p == NULL");
Darren Tuckerc0815c92003-09-22 21:05:50 +1000204 if (need > INT_MAX / 2 || 2 * need >= BN_num_bits(dh->p))
Damien Miller9709f902001-03-30 10:50:10 +1000205 fatal("dh_gen_key: group too small: %d (2*need %d)",
206 BN_num_bits(dh->p), 2*need);
207 do {
208 if (dh->priv_key != NULL)
Damien Miller9ef95dd2002-01-22 23:10:33 +1100209 BN_clear_free(dh->priv_key);
Damien Millerda755162002-01-22 23:09:22 +1100210 if ((dh->priv_key = BN_new()) == NULL)
Damien Miller9709f902001-03-30 10:50:10 +1000211 fatal("dh_gen_key: BN_new failed");
212 /* generate a 2*need bits random private exponent */
Damien Miller6d6c5d22002-03-07 12:58:42 +1100213 if (!BN_rand(dh->priv_key, 2*need, 0, 0))
214 fatal("dh_gen_key: BN_rand failed");
Damien Miller9709f902001-03-30 10:50:10 +1000215 if (DH_generate_key(dh) == 0)
216 fatal("DH_generate_key");
Darren Tuckereffc84c2004-02-29 20:15:08 +1100217 for (i = 0, bits_set = 0; i <= BN_num_bits(dh->priv_key); i++)
Damien Miller9709f902001-03-30 10:50:10 +1000218 if (BN_is_bit_set(dh->priv_key, i))
219 bits_set++;
Ben Lindstrom1f530832002-12-23 02:03:02 +0000220 debug2("dh_gen_key: priv key bits set: %d/%d",
Damien Miller9709f902001-03-30 10:50:10 +1000221 bits_set, BN_num_bits(dh->priv_key));
222 if (tries++ > 10)
223 fatal("dh_gen_key: too many bad keys: giving up");
224 } while (!dh_pub_is_valid(dh, dh->pub_key));
225}
226
227DH *
228dh_new_group_asc(const char *gen, const char *modulus)
229{
230 DH *dh;
Damien Miller9709f902001-03-30 10:50:10 +1000231
Damien Millerda755162002-01-22 23:09:22 +1100232 if ((dh = DH_new()) == NULL)
233 fatal("dh_new_group_asc: DH_new");
Damien Miller9709f902001-03-30 10:50:10 +1000234
Ben Lindstrom206941f2001-04-15 14:27:16 +0000235 if (BN_hex2bn(&dh->p, modulus) == 0)
Damien Miller9709f902001-03-30 10:50:10 +1000236 fatal("BN_hex2bn p");
Ben Lindstrom206941f2001-04-15 14:27:16 +0000237 if (BN_hex2bn(&dh->g, gen) == 0)
Damien Miller9709f902001-03-30 10:50:10 +1000238 fatal("BN_hex2bn g");
239
240 return (dh);
241}
242
243/*
244 * This just returns the group, we still need to generate the exchange
245 * value.
246 */
247
248DH *
249dh_new_group(BIGNUM *gen, BIGNUM *modulus)
250{
251 DH *dh;
252
Damien Millerda755162002-01-22 23:09:22 +1100253 if ((dh = DH_new()) == NULL)
254 fatal("dh_new_group: DH_new");
Damien Miller9709f902001-03-30 10:50:10 +1000255 dh->p = modulus;
256 dh->g = gen;
257
258 return (dh);
259}
260
261DH *
262dh_new_group1(void)
263{
264 static char *gen = "2", *group1 =
265 "FFFFFFFF" "FFFFFFFF" "C90FDAA2" "2168C234" "C4C6628B" "80DC1CD1"
266 "29024E08" "8A67CC74" "020BBEA6" "3B139B22" "514A0879" "8E3404DD"
267 "EF9519B3" "CD3A431B" "302B0A6D" "F25F1437" "4FE1356D" "6D51C245"
268 "E485B576" "625E7EC6" "F44C42E9" "A637ED6B" "0BFF5CB6" "F406B7ED"
269 "EE386BFB" "5A899FA5" "AE9F2411" "7C4B1FE6" "49286651" "ECE65381"
270 "FFFFFFFF" "FFFFFFFF";
271
272 return (dh_new_group_asc(gen, group1));
273}
Ben Lindstrom20d7c7b2001-04-04 01:56:17 +0000274
275/*
276 * Estimates the group order for a Diffie-Hellman group that has an
277 * attack complexity approximately the same as O(2**bits). Estimate
278 * with: O(exp(1.9223 * (ln q)^(1/3) (ln ln q)^(2/3)))
279 */
280
281int
282dh_estimate(int bits)
283{
284
Damien Miller8975ddf2003-12-17 16:33:53 +1100285 if (bits <= 128)
Ben Lindstrom20d7c7b2001-04-04 01:56:17 +0000286 return (1024); /* O(2**86) */
Damien Miller8975ddf2003-12-17 16:33:53 +1100287 if (bits <= 192)
Ben Lindstrom20d7c7b2001-04-04 01:56:17 +0000288 return (2048); /* O(2**116) */
289 return (4096); /* O(2**156) */
290}