blob: b37195f418e9671899e2aad1508432249b5d7b1d [file] [log] [blame]
Damien Millere3476ed2006-07-24 14:13:33 +10001/* $OpenBSD: dh.c,v 1.38 2006/07/22 20:48:23 stevesk Exp $ */
Damien Miller874d77b2000-10-14 16:23:11 +11002/*
3 * Copyright (c) 2000 Niels Provos. All rights reserved.
4 *
5 * Redistribution and use in source and binary forms, with or without
6 * modification, are permitted provided that the following conditions
7 * are met:
8 * 1. Redistributions of source code must retain the above copyright
9 * notice, this list of conditions and the following disclaimer.
10 * 2. Redistributions in binary form must reproduce the above copyright
11 * notice, this list of conditions and the following disclaimer in the
12 * documentation and/or other materials provided with the distribution.
13 *
14 * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
15 * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
16 * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
17 * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
18 * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
19 * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
20 * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
21 * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
22 * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
23 * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
24 */
25
26#include "includes.h"
Damien Miller874d77b2000-10-14 16:23:11 +110027
Damien Miller874d77b2000-10-14 16:23:11 +110028#include <openssl/bn.h>
29#include <openssl/dh.h>
Damien Miller874d77b2000-10-14 16:23:11 +110030
Damien Millere3476ed2006-07-24 14:13:33 +100031#include <string.h>
32
Damien Miller874d77b2000-10-14 16:23:11 +110033#include "dh.h"
Ben Lindstrom226cfa02001-01-22 05:34:40 +000034#include "pathnames.h"
35#include "log.h"
36#include "misc.h"
Damien Miller874d77b2000-10-14 16:23:11 +110037
Ben Lindstrombba81212001-06-25 05:01:22 +000038static int
Damien Miller874d77b2000-10-14 16:23:11 +110039parse_prime(int linenum, char *line, struct dhgroup *dhg)
40{
41 char *cp, *arg;
42 char *strsize, *gen, *prime;
Damien Miller5a73c1a2006-03-31 23:09:41 +110043 const char *errstr = NULL;
Damien Miller874d77b2000-10-14 16:23:11 +110044
45 cp = line;
Damien Miller928b2362006-03-26 13:53:32 +110046 if ((arg = strdelim(&cp)) == NULL)
47 return 0;
Damien Miller874d77b2000-10-14 16:23:11 +110048 /* Ignore leading whitespace */
49 if (*arg == '\0')
50 arg = strdelim(&cp);
Ben Lindstrom04f9af72002-07-04 00:03:56 +000051 if (!arg || !*arg || *arg == '#')
Damien Miller874d77b2000-10-14 16:23:11 +110052 return 0;
53
54 /* time */
55 if (cp == NULL || *arg == '\0')
56 goto fail;
57 arg = strsep(&cp, " "); /* type */
58 if (cp == NULL || *arg == '\0')
59 goto fail;
60 arg = strsep(&cp, " "); /* tests */
61 if (cp == NULL || *arg == '\0')
62 goto fail;
63 arg = strsep(&cp, " "); /* tries */
64 if (cp == NULL || *arg == '\0')
65 goto fail;
66 strsize = strsep(&cp, " "); /* size */
67 if (cp == NULL || *strsize == '\0' ||
Damien Miller5a73c1a2006-03-31 23:09:41 +110068 (dhg->size = (u_int)strtonum(strsize, 0, 64*1024, &errstr)) == 0 ||
69 errstr)
Damien Miller874d77b2000-10-14 16:23:11 +110070 goto fail;
Ben Lindstromdf221392001-03-29 00:36:16 +000071 /* The whole group is one bit larger */
72 dhg->size++;
Damien Miller874d77b2000-10-14 16:23:11 +110073 gen = strsep(&cp, " "); /* gen */
74 if (cp == NULL || *gen == '\0')
75 goto fail;
76 prime = strsep(&cp, " "); /* prime */
77 if (cp != NULL || *prime == '\0')
78 goto fail;
79
Damien Millerda755162002-01-22 23:09:22 +110080 if ((dhg->g = BN_new()) == NULL)
81 fatal("parse_prime: BN_new failed");
82 if ((dhg->p = BN_new()) == NULL)
83 fatal("parse_prime: BN_new failed");
Ben Lindstrom206941f2001-04-15 14:27:16 +000084 if (BN_hex2bn(&dhg->g, gen) == 0)
Damien Miller23e526e2001-03-30 10:47:43 +100085 goto failclean;
86
Ben Lindstrom206941f2001-04-15 14:27:16 +000087 if (BN_hex2bn(&dhg->p, prime) == 0)
Damien Miller23e526e2001-03-30 10:47:43 +100088 goto failclean;
89
90 if (BN_num_bits(dhg->p) != dhg->size)
91 goto failclean;
Damien Miller874d77b2000-10-14 16:23:11 +110092
Darren Tuckerfc113c92004-02-29 20:12:33 +110093 if (BN_is_zero(dhg->g) || BN_is_one(dhg->g))
94 goto failclean;
95
Damien Miller874d77b2000-10-14 16:23:11 +110096 return (1);
Damien Miller23e526e2001-03-30 10:47:43 +100097
98 failclean:
Damien Miller9ef95dd2002-01-22 23:10:33 +110099 BN_clear_free(dhg->g);
100 BN_clear_free(dhg->p);
Damien Miller874d77b2000-10-14 16:23:11 +1100101 fail:
Ben Lindstrom6df8ef42001-03-05 07:47:23 +0000102 error("Bad prime description in line %d", linenum);
Damien Miller874d77b2000-10-14 16:23:11 +1100103 return (0);
104}
105
106DH *
Ben Lindstromdf221392001-03-29 00:36:16 +0000107choose_dh(int min, int wantbits, int max)
Damien Miller874d77b2000-10-14 16:23:11 +1100108{
109 FILE *f;
Darren Tuckerc56c7ef2004-02-29 20:13:34 +1100110 char line[4096];
Damien Miller874d77b2000-10-14 16:23:11 +1100111 int best, bestcount, which;
112 int linenum;
113 struct dhgroup dhg;
114
Ben Lindstrom93a29e02001-06-25 04:13:25 +0000115 if ((f = fopen(_PATH_DH_MODULI, "r")) == NULL &&
116 (f = fopen(_PATH_DH_PRIMES, "r")) == NULL) {
Damien Millerf675fc42004-06-15 10:30:09 +1000117 logit("WARNING: %s does not exist, using fixed modulus",
118 _PATH_DH_MODULI);
119 return (dh_new_group14());
Damien Miller874d77b2000-10-14 16:23:11 +1100120 }
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);
Darren Tucker9a2bd112004-08-12 22:40:59 +1000147 return (dh_new_group14());
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
Damien Millerf675fc42004-06-15 10:30:09 +1000172/* diffie-hellman-groupN-sha1 */
Damien Miller9709f902001-03-30 10:50:10 +1000173
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;
Darren Tucker31cde682006-05-06 17:43:33 +1000180 BIGNUM *tmp;
Damien Miller9709f902001-03-30 10:50:10 +1000181
182 if (dh_pub->neg) {
Damien Miller996acd22003-04-09 20:59:48 +1000183 logit("invalid public DH value: negativ");
Damien Miller9709f902001-03-30 10:50:10 +1000184 return 0;
185 }
Darren Tucker31cde682006-05-06 17:43:33 +1000186 if (BN_cmp(dh_pub, BN_value_one()) != 1) { /* pub_exp <= 1 */
187 logit("invalid public DH value: <= 1");
188 return 0;
189 }
190
191 if ((tmp = BN_new()) == NULL)
192 return (-1);
193 if (!BN_sub(tmp, dh->p, BN_value_one()) ||
194 BN_cmp(dh_pub, tmp) != -1) { /* pub_exp > p-2 */
195 BN_clear_free(tmp);
196 logit("invalid public DH value: >= p-1");
197 return 0;
198 }
199 BN_clear_free(tmp);
200
Damien Miller9709f902001-03-30 10:50:10 +1000201 for (i = 0; i <= n; i++)
202 if (BN_is_bit_set(dh_pub, i))
203 bits_set++;
Ben Lindstrom1f530832002-12-23 02:03:02 +0000204 debug2("bits set: %d/%d", bits_set, BN_num_bits(dh->p));
Damien Miller9709f902001-03-30 10:50:10 +1000205
206 /* if g==2 and bits_set==1 then computing log_g(dh_pub) is trivial */
Darren Tucker31cde682006-05-06 17:43:33 +1000207 if (bits_set > 1)
Damien Miller9709f902001-03-30 10:50:10 +1000208 return 1;
Darren Tucker31cde682006-05-06 17:43:33 +1000209
Damien Miller996acd22003-04-09 20:59:48 +1000210 logit("invalid public DH value (%d/%d)", bits_set, BN_num_bits(dh->p));
Damien Miller9709f902001-03-30 10:50:10 +1000211 return 0;
212}
213
214void
215dh_gen_key(DH *dh, int need)
216{
Darren Tuckereffc84c2004-02-29 20:15:08 +1100217 int i, bits_set, tries = 0;
Damien Miller9709f902001-03-30 10:50:10 +1000218
219 if (dh->p == NULL)
220 fatal("dh_gen_key: dh->p == NULL");
Darren Tuckerc0815c92003-09-22 21:05:50 +1000221 if (need > INT_MAX / 2 || 2 * need >= BN_num_bits(dh->p))
Damien Miller9709f902001-03-30 10:50:10 +1000222 fatal("dh_gen_key: group too small: %d (2*need %d)",
223 BN_num_bits(dh->p), 2*need);
224 do {
225 if (dh->priv_key != NULL)
Damien Miller9ef95dd2002-01-22 23:10:33 +1100226 BN_clear_free(dh->priv_key);
Damien Millerda755162002-01-22 23:09:22 +1100227 if ((dh->priv_key = BN_new()) == NULL)
Damien Miller9709f902001-03-30 10:50:10 +1000228 fatal("dh_gen_key: BN_new failed");
229 /* generate a 2*need bits random private exponent */
Damien Miller6d6c5d22002-03-07 12:58:42 +1100230 if (!BN_rand(dh->priv_key, 2*need, 0, 0))
231 fatal("dh_gen_key: BN_rand failed");
Damien Miller9709f902001-03-30 10:50:10 +1000232 if (DH_generate_key(dh) == 0)
233 fatal("DH_generate_key");
Darren Tuckereffc84c2004-02-29 20:15:08 +1100234 for (i = 0, bits_set = 0; i <= BN_num_bits(dh->priv_key); i++)
Damien Miller9709f902001-03-30 10:50:10 +1000235 if (BN_is_bit_set(dh->priv_key, i))
236 bits_set++;
Ben Lindstrom1f530832002-12-23 02:03:02 +0000237 debug2("dh_gen_key: priv key bits set: %d/%d",
Damien Miller9709f902001-03-30 10:50:10 +1000238 bits_set, BN_num_bits(dh->priv_key));
239 if (tries++ > 10)
240 fatal("dh_gen_key: too many bad keys: giving up");
241 } while (!dh_pub_is_valid(dh, dh->pub_key));
242}
243
244DH *
245dh_new_group_asc(const char *gen, const char *modulus)
246{
247 DH *dh;
Damien Miller9709f902001-03-30 10:50:10 +1000248
Damien Millerda755162002-01-22 23:09:22 +1100249 if ((dh = DH_new()) == NULL)
250 fatal("dh_new_group_asc: DH_new");
Damien Miller9709f902001-03-30 10:50:10 +1000251
Ben Lindstrom206941f2001-04-15 14:27:16 +0000252 if (BN_hex2bn(&dh->p, modulus) == 0)
Damien Miller9709f902001-03-30 10:50:10 +1000253 fatal("BN_hex2bn p");
Ben Lindstrom206941f2001-04-15 14:27:16 +0000254 if (BN_hex2bn(&dh->g, gen) == 0)
Damien Miller9709f902001-03-30 10:50:10 +1000255 fatal("BN_hex2bn g");
256
257 return (dh);
258}
259
260/*
261 * This just returns the group, we still need to generate the exchange
262 * value.
263 */
264
265DH *
266dh_new_group(BIGNUM *gen, BIGNUM *modulus)
267{
268 DH *dh;
269
Damien Millerda755162002-01-22 23:09:22 +1100270 if ((dh = DH_new()) == NULL)
271 fatal("dh_new_group: DH_new");
Damien Miller9709f902001-03-30 10:50:10 +1000272 dh->p = modulus;
273 dh->g = gen;
274
275 return (dh);
276}
277
278DH *
279dh_new_group1(void)
280{
281 static char *gen = "2", *group1 =
282 "FFFFFFFF" "FFFFFFFF" "C90FDAA2" "2168C234" "C4C6628B" "80DC1CD1"
283 "29024E08" "8A67CC74" "020BBEA6" "3B139B22" "514A0879" "8E3404DD"
284 "EF9519B3" "CD3A431B" "302B0A6D" "F25F1437" "4FE1356D" "6D51C245"
285 "E485B576" "625E7EC6" "F44C42E9" "A637ED6B" "0BFF5CB6" "F406B7ED"
286 "EE386BFB" "5A899FA5" "AE9F2411" "7C4B1FE6" "49286651" "ECE65381"
287 "FFFFFFFF" "FFFFFFFF";
288
289 return (dh_new_group_asc(gen, group1));
290}
Ben Lindstrom20d7c7b2001-04-04 01:56:17 +0000291
Damien Millerf675fc42004-06-15 10:30:09 +1000292DH *
293dh_new_group14(void)
294{
295 static char *gen = "2", *group14 =
296 "FFFFFFFF" "FFFFFFFF" "C90FDAA2" "2168C234" "C4C6628B" "80DC1CD1"
297 "29024E08" "8A67CC74" "020BBEA6" "3B139B22" "514A0879" "8E3404DD"
298 "EF9519B3" "CD3A431B" "302B0A6D" "F25F1437" "4FE1356D" "6D51C245"
299 "E485B576" "625E7EC6" "F44C42E9" "A637ED6B" "0BFF5CB6" "F406B7ED"
300 "EE386BFB" "5A899FA5" "AE9F2411" "7C4B1FE6" "49286651" "ECE45B3D"
301 "C2007CB8" "A163BF05" "98DA4836" "1C55D39A" "69163FA8" "FD24CF5F"
302 "83655D23" "DCA3AD96" "1C62F356" "208552BB" "9ED52907" "7096966D"
303 "670C354E" "4ABC9804" "F1746C08" "CA18217C" "32905E46" "2E36CE3B"
304 "E39E772C" "180E8603" "9B2783A2" "EC07A28F" "B5C55DF0" "6F4C52C9"
305 "DE2BCBF6" "95581718" "3995497C" "EA956AE5" "15D22618" "98FA0510"
306 "15728E5A" "8AACAA68" "FFFFFFFF" "FFFFFFFF";
307
308 return (dh_new_group_asc(gen, group14));
309}
310
Ben Lindstrom20d7c7b2001-04-04 01:56:17 +0000311/*
312 * Estimates the group order for a Diffie-Hellman group that has an
313 * attack complexity approximately the same as O(2**bits). Estimate
314 * with: O(exp(1.9223 * (ln q)^(1/3) (ln ln q)^(2/3)))
315 */
316
317int
318dh_estimate(int bits)
319{
320
Damien Miller8975ddf2003-12-17 16:33:53 +1100321 if (bits <= 128)
Ben Lindstrom20d7c7b2001-04-04 01:56:17 +0000322 return (1024); /* O(2**86) */
Damien Miller8975ddf2003-12-17 16:33:53 +1100323 if (bits <= 192)
Ben Lindstrom20d7c7b2001-04-04 01:56:17 +0000324 return (2048); /* O(2**116) */
325 return (4096); /* O(2**156) */
326}