blob: ff31ca9918cafb17ec3174e189b15dd29d7f8e0c [file] [log] [blame]
Damien Millerf757d222006-07-24 14:05:24 +10001/* $OpenBSD: dh.c,v 1.37 2006/07/18 22:27:55 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 Miller874d77b2000-10-14 16:23:11 +110031#include "dh.h"
Ben Lindstrom226cfa02001-01-22 05:34:40 +000032#include "pathnames.h"
33#include "log.h"
34#include "misc.h"
Damien Miller874d77b2000-10-14 16:23:11 +110035
Ben Lindstrombba81212001-06-25 05:01:22 +000036static int
Damien Miller874d77b2000-10-14 16:23:11 +110037parse_prime(int linenum, char *line, struct dhgroup *dhg)
38{
39 char *cp, *arg;
40 char *strsize, *gen, *prime;
Damien Miller5a73c1a2006-03-31 23:09:41 +110041 const char *errstr = NULL;
Damien Miller874d77b2000-10-14 16:23:11 +110042
43 cp = line;
Damien Miller928b2362006-03-26 13:53:32 +110044 if ((arg = strdelim(&cp)) == NULL)
45 return 0;
Damien Miller874d77b2000-10-14 16:23:11 +110046 /* Ignore leading whitespace */
47 if (*arg == '\0')
48 arg = strdelim(&cp);
Ben Lindstrom04f9af72002-07-04 00:03:56 +000049 if (!arg || !*arg || *arg == '#')
Damien Miller874d77b2000-10-14 16:23:11 +110050 return 0;
51
52 /* time */
53 if (cp == NULL || *arg == '\0')
54 goto fail;
55 arg = strsep(&cp, " "); /* type */
56 if (cp == NULL || *arg == '\0')
57 goto fail;
58 arg = strsep(&cp, " "); /* tests */
59 if (cp == NULL || *arg == '\0')
60 goto fail;
61 arg = strsep(&cp, " "); /* tries */
62 if (cp == NULL || *arg == '\0')
63 goto fail;
64 strsize = strsep(&cp, " "); /* size */
65 if (cp == NULL || *strsize == '\0' ||
Damien Miller5a73c1a2006-03-31 23:09:41 +110066 (dhg->size = (u_int)strtonum(strsize, 0, 64*1024, &errstr)) == 0 ||
67 errstr)
Damien Miller874d77b2000-10-14 16:23:11 +110068 goto fail;
Ben Lindstromdf221392001-03-29 00:36:16 +000069 /* The whole group is one bit larger */
70 dhg->size++;
Damien Miller874d77b2000-10-14 16:23:11 +110071 gen = strsep(&cp, " "); /* gen */
72 if (cp == NULL || *gen == '\0')
73 goto fail;
74 prime = strsep(&cp, " "); /* prime */
75 if (cp != NULL || *prime == '\0')
76 goto fail;
77
Damien Millerda755162002-01-22 23:09:22 +110078 if ((dhg->g = BN_new()) == NULL)
79 fatal("parse_prime: BN_new failed");
80 if ((dhg->p = BN_new()) == NULL)
81 fatal("parse_prime: BN_new failed");
Ben Lindstrom206941f2001-04-15 14:27:16 +000082 if (BN_hex2bn(&dhg->g, gen) == 0)
Damien Miller23e526e2001-03-30 10:47:43 +100083 goto failclean;
84
Ben Lindstrom206941f2001-04-15 14:27:16 +000085 if (BN_hex2bn(&dhg->p, prime) == 0)
Damien Miller23e526e2001-03-30 10:47:43 +100086 goto failclean;
87
88 if (BN_num_bits(dhg->p) != dhg->size)
89 goto failclean;
Damien Miller874d77b2000-10-14 16:23:11 +110090
Darren Tuckerfc113c92004-02-29 20:12:33 +110091 if (BN_is_zero(dhg->g) || BN_is_one(dhg->g))
92 goto failclean;
93
Damien Miller874d77b2000-10-14 16:23:11 +110094 return (1);
Damien Miller23e526e2001-03-30 10:47:43 +100095
96 failclean:
Damien Miller9ef95dd2002-01-22 23:10:33 +110097 BN_clear_free(dhg->g);
98 BN_clear_free(dhg->p);
Damien Miller874d77b2000-10-14 16:23:11 +110099 fail:
Ben Lindstrom6df8ef42001-03-05 07:47:23 +0000100 error("Bad prime description in line %d", linenum);
Damien Miller874d77b2000-10-14 16:23:11 +1100101 return (0);
102}
103
104DH *
Ben Lindstromdf221392001-03-29 00:36:16 +0000105choose_dh(int min, int wantbits, int max)
Damien Miller874d77b2000-10-14 16:23:11 +1100106{
107 FILE *f;
Darren Tuckerc56c7ef2004-02-29 20:13:34 +1100108 char line[4096];
Damien Miller874d77b2000-10-14 16:23:11 +1100109 int best, bestcount, which;
110 int linenum;
111 struct dhgroup dhg;
112
Ben Lindstrom93a29e02001-06-25 04:13:25 +0000113 if ((f = fopen(_PATH_DH_MODULI, "r")) == NULL &&
114 (f = fopen(_PATH_DH_PRIMES, "r")) == NULL) {
Damien Millerf675fc42004-06-15 10:30:09 +1000115 logit("WARNING: %s does not exist, using fixed modulus",
116 _PATH_DH_MODULI);
117 return (dh_new_group14());
Damien Miller874d77b2000-10-14 16:23:11 +1100118 }
119
120 linenum = 0;
121 best = bestcount = 0;
122 while (fgets(line, sizeof(line), f)) {
123 linenum++;
124 if (!parse_prime(linenum, line, &dhg))
125 continue;
Damien Miller9ef95dd2002-01-22 23:10:33 +1100126 BN_clear_free(dhg.g);
127 BN_clear_free(dhg.p);
Damien Miller874d77b2000-10-14 16:23:11 +1100128
Ben Lindstromdf221392001-03-29 00:36:16 +0000129 if (dhg.size > max || dhg.size < min)
130 continue;
131
132 if ((dhg.size > wantbits && dhg.size < best) ||
133 (dhg.size > best && best < wantbits)) {
Damien Miller874d77b2000-10-14 16:23:11 +1100134 best = dhg.size;
135 bestcount = 0;
136 }
137 if (dhg.size == best)
138 bestcount++;
139 }
Ben Lindstromaf738802001-06-25 04:18:59 +0000140 rewind(f);
Damien Miller874d77b2000-10-14 16:23:11 +1100141
142 if (bestcount == 0) {
Ben Lindstromaf738802001-06-25 04:18:59 +0000143 fclose(f);
Damien Miller996acd22003-04-09 20:59:48 +1000144 logit("WARNING: no suitable primes in %s", _PATH_DH_PRIMES);
Darren Tucker9a2bd112004-08-12 22:40:59 +1000145 return (dh_new_group14());
Damien Miller874d77b2000-10-14 16:23:11 +1100146 }
147
Damien Miller874d77b2000-10-14 16:23:11 +1100148 linenum = 0;
149 which = arc4random() % bestcount;
150 while (fgets(line, sizeof(line), f)) {
151 if (!parse_prime(linenum, line, &dhg))
152 continue;
Ben Lindstrom5ba23b32001-04-05 02:05:21 +0000153 if ((dhg.size > max || dhg.size < min) ||
154 dhg.size != best ||
155 linenum++ != which) {
Damien Miller9ef95dd2002-01-22 23:10:33 +1100156 BN_clear_free(dhg.g);
157 BN_clear_free(dhg.p);
Damien Miller874d77b2000-10-14 16:23:11 +1100158 continue;
159 }
160 break;
161 }
162 fclose(f);
Ben Lindstrom5ba23b32001-04-05 02:05:21 +0000163 if (linenum != which+1)
164 fatal("WARNING: line %d disappeared in %s, giving up",
165 which, _PATH_DH_PRIMES);
Damien Miller874d77b2000-10-14 16:23:11 +1100166
167 return (dh_new_group(dhg.g, dhg.p));
168}
Damien Miller9709f902001-03-30 10:50:10 +1000169
Damien Millerf675fc42004-06-15 10:30:09 +1000170/* diffie-hellman-groupN-sha1 */
Damien Miller9709f902001-03-30 10:50:10 +1000171
172int
173dh_pub_is_valid(DH *dh, BIGNUM *dh_pub)
174{
175 int i;
176 int n = BN_num_bits(dh_pub);
177 int bits_set = 0;
Darren Tucker31cde682006-05-06 17:43:33 +1000178 BIGNUM *tmp;
Damien Miller9709f902001-03-30 10:50:10 +1000179
180 if (dh_pub->neg) {
Damien Miller996acd22003-04-09 20:59:48 +1000181 logit("invalid public DH value: negativ");
Damien Miller9709f902001-03-30 10:50:10 +1000182 return 0;
183 }
Darren Tucker31cde682006-05-06 17:43:33 +1000184 if (BN_cmp(dh_pub, BN_value_one()) != 1) { /* pub_exp <= 1 */
185 logit("invalid public DH value: <= 1");
186 return 0;
187 }
188
189 if ((tmp = BN_new()) == NULL)
190 return (-1);
191 if (!BN_sub(tmp, dh->p, BN_value_one()) ||
192 BN_cmp(dh_pub, tmp) != -1) { /* pub_exp > p-2 */
193 BN_clear_free(tmp);
194 logit("invalid public DH value: >= p-1");
195 return 0;
196 }
197 BN_clear_free(tmp);
198
Damien Miller9709f902001-03-30 10:50:10 +1000199 for (i = 0; i <= n; i++)
200 if (BN_is_bit_set(dh_pub, i))
201 bits_set++;
Ben Lindstrom1f530832002-12-23 02:03:02 +0000202 debug2("bits set: %d/%d", bits_set, BN_num_bits(dh->p));
Damien Miller9709f902001-03-30 10:50:10 +1000203
204 /* if g==2 and bits_set==1 then computing log_g(dh_pub) is trivial */
Darren Tucker31cde682006-05-06 17:43:33 +1000205 if (bits_set > 1)
Damien Miller9709f902001-03-30 10:50:10 +1000206 return 1;
Darren Tucker31cde682006-05-06 17:43:33 +1000207
Damien Miller996acd22003-04-09 20:59:48 +1000208 logit("invalid public DH value (%d/%d)", bits_set, BN_num_bits(dh->p));
Damien Miller9709f902001-03-30 10:50:10 +1000209 return 0;
210}
211
212void
213dh_gen_key(DH *dh, int need)
214{
Darren Tuckereffc84c2004-02-29 20:15:08 +1100215 int i, bits_set, tries = 0;
Damien Miller9709f902001-03-30 10:50:10 +1000216
217 if (dh->p == NULL)
218 fatal("dh_gen_key: dh->p == NULL");
Darren Tuckerc0815c92003-09-22 21:05:50 +1000219 if (need > INT_MAX / 2 || 2 * need >= BN_num_bits(dh->p))
Damien Miller9709f902001-03-30 10:50:10 +1000220 fatal("dh_gen_key: group too small: %d (2*need %d)",
221 BN_num_bits(dh->p), 2*need);
222 do {
223 if (dh->priv_key != NULL)
Damien Miller9ef95dd2002-01-22 23:10:33 +1100224 BN_clear_free(dh->priv_key);
Damien Millerda755162002-01-22 23:09:22 +1100225 if ((dh->priv_key = BN_new()) == NULL)
Damien Miller9709f902001-03-30 10:50:10 +1000226 fatal("dh_gen_key: BN_new failed");
227 /* generate a 2*need bits random private exponent */
Damien Miller6d6c5d22002-03-07 12:58:42 +1100228 if (!BN_rand(dh->priv_key, 2*need, 0, 0))
229 fatal("dh_gen_key: BN_rand failed");
Damien Miller9709f902001-03-30 10:50:10 +1000230 if (DH_generate_key(dh) == 0)
231 fatal("DH_generate_key");
Darren Tuckereffc84c2004-02-29 20:15:08 +1100232 for (i = 0, bits_set = 0; i <= BN_num_bits(dh->priv_key); i++)
Damien Miller9709f902001-03-30 10:50:10 +1000233 if (BN_is_bit_set(dh->priv_key, i))
234 bits_set++;
Ben Lindstrom1f530832002-12-23 02:03:02 +0000235 debug2("dh_gen_key: priv key bits set: %d/%d",
Damien Miller9709f902001-03-30 10:50:10 +1000236 bits_set, BN_num_bits(dh->priv_key));
237 if (tries++ > 10)
238 fatal("dh_gen_key: too many bad keys: giving up");
239 } while (!dh_pub_is_valid(dh, dh->pub_key));
240}
241
242DH *
243dh_new_group_asc(const char *gen, const char *modulus)
244{
245 DH *dh;
Damien Miller9709f902001-03-30 10:50:10 +1000246
Damien Millerda755162002-01-22 23:09:22 +1100247 if ((dh = DH_new()) == NULL)
248 fatal("dh_new_group_asc: DH_new");
Damien Miller9709f902001-03-30 10:50:10 +1000249
Ben Lindstrom206941f2001-04-15 14:27:16 +0000250 if (BN_hex2bn(&dh->p, modulus) == 0)
Damien Miller9709f902001-03-30 10:50:10 +1000251 fatal("BN_hex2bn p");
Ben Lindstrom206941f2001-04-15 14:27:16 +0000252 if (BN_hex2bn(&dh->g, gen) == 0)
Damien Miller9709f902001-03-30 10:50:10 +1000253 fatal("BN_hex2bn g");
254
255 return (dh);
256}
257
258/*
259 * This just returns the group, we still need to generate the exchange
260 * value.
261 */
262
263DH *
264dh_new_group(BIGNUM *gen, BIGNUM *modulus)
265{
266 DH *dh;
267
Damien Millerda755162002-01-22 23:09:22 +1100268 if ((dh = DH_new()) == NULL)
269 fatal("dh_new_group: DH_new");
Damien Miller9709f902001-03-30 10:50:10 +1000270 dh->p = modulus;
271 dh->g = gen;
272
273 return (dh);
274}
275
276DH *
277dh_new_group1(void)
278{
279 static char *gen = "2", *group1 =
280 "FFFFFFFF" "FFFFFFFF" "C90FDAA2" "2168C234" "C4C6628B" "80DC1CD1"
281 "29024E08" "8A67CC74" "020BBEA6" "3B139B22" "514A0879" "8E3404DD"
282 "EF9519B3" "CD3A431B" "302B0A6D" "F25F1437" "4FE1356D" "6D51C245"
283 "E485B576" "625E7EC6" "F44C42E9" "A637ED6B" "0BFF5CB6" "F406B7ED"
284 "EE386BFB" "5A899FA5" "AE9F2411" "7C4B1FE6" "49286651" "ECE65381"
285 "FFFFFFFF" "FFFFFFFF";
286
287 return (dh_new_group_asc(gen, group1));
288}
Ben Lindstrom20d7c7b2001-04-04 01:56:17 +0000289
Damien Millerf675fc42004-06-15 10:30:09 +1000290DH *
291dh_new_group14(void)
292{
293 static char *gen = "2", *group14 =
294 "FFFFFFFF" "FFFFFFFF" "C90FDAA2" "2168C234" "C4C6628B" "80DC1CD1"
295 "29024E08" "8A67CC74" "020BBEA6" "3B139B22" "514A0879" "8E3404DD"
296 "EF9519B3" "CD3A431B" "302B0A6D" "F25F1437" "4FE1356D" "6D51C245"
297 "E485B576" "625E7EC6" "F44C42E9" "A637ED6B" "0BFF5CB6" "F406B7ED"
298 "EE386BFB" "5A899FA5" "AE9F2411" "7C4B1FE6" "49286651" "ECE45B3D"
299 "C2007CB8" "A163BF05" "98DA4836" "1C55D39A" "69163FA8" "FD24CF5F"
300 "83655D23" "DCA3AD96" "1C62F356" "208552BB" "9ED52907" "7096966D"
301 "670C354E" "4ABC9804" "F1746C08" "CA18217C" "32905E46" "2E36CE3B"
302 "E39E772C" "180E8603" "9B2783A2" "EC07A28F" "B5C55DF0" "6F4C52C9"
303 "DE2BCBF6" "95581718" "3995497C" "EA956AE5" "15D22618" "98FA0510"
304 "15728E5A" "8AACAA68" "FFFFFFFF" "FFFFFFFF";
305
306 return (dh_new_group_asc(gen, group14));
307}
308
Ben Lindstrom20d7c7b2001-04-04 01:56:17 +0000309/*
310 * Estimates the group order for a Diffie-Hellman group that has an
311 * attack complexity approximately the same as O(2**bits). Estimate
312 * with: O(exp(1.9223 * (ln q)^(1/3) (ln ln q)^(2/3)))
313 */
314
315int
316dh_estimate(int bits)
317{
318
Damien Miller8975ddf2003-12-17 16:33:53 +1100319 if (bits <= 128)
Ben Lindstrom20d7c7b2001-04-04 01:56:17 +0000320 return (1024); /* O(2**86) */
Damien Miller8975ddf2003-12-17 16:33:53 +1100321 if (bits <= 192)
Ben Lindstrom20d7c7b2001-04-04 01:56:17 +0000322 return (2048); /* O(2**116) */
323 return (4096); /* O(2**156) */
324}