Fix a bug which was causing occasional failed-host-key-check
[u/mdw/putty] / sshdss.c
1 #include <stdio.h>
2 #include <stdlib.h>
3
4 #include "ssh.h"
5
6 #define GET_32BIT(cp) \
7 (((unsigned long)(unsigned char)(cp)[0] << 24) | \
8 ((unsigned long)(unsigned char)(cp)[1] << 16) | \
9 ((unsigned long)(unsigned char)(cp)[2] << 8) | \
10 ((unsigned long)(unsigned char)(cp)[3]))
11
12 #define PUT_32BIT(cp, value) { \
13 (cp)[0] = (unsigned char)((value) >> 24); \
14 (cp)[1] = (unsigned char)((value) >> 16); \
15 (cp)[2] = (unsigned char)((value) >> 8); \
16 (cp)[3] = (unsigned char)(value); }
17
18 #if 0
19 #define DEBUG_DSS
20 /*
21 * Condition this section in for debugging of DSS.
22 */
23 static void diagbn(char *prefix, Bignum md) {
24 int i, nibbles, morenibbles;
25 static const char hex[] = "0123456789ABCDEF";
26
27 printf("%s0x", prefix ? prefix : "");
28
29 nibbles = (3 + ssh1_bignum_bitcount(md))/4; if (nibbles<1) nibbles=1;
30 morenibbles = 4*md[0] - nibbles;
31 for (i=0; i<morenibbles; i++) putchar('-');
32 for (i=nibbles; i-- ;)
33 putchar(hex[(bignum_byte(md, i/2) >> (4*(i%2))) & 0xF]);
34
35 if (prefix) putchar('\n');
36 }
37 #else
38 #define diagbn(x,y)
39 #endif
40
41 static void getstring(char **data, int *datalen, char **p, int *length) {
42 *p = NULL;
43 if (*datalen < 4)
44 return;
45 *length = GET_32BIT(*data);
46 *datalen -= 4; *data += 4;
47 if (*datalen < *length)
48 return;
49 *p = *data;
50 *data += *length; *datalen -= *length;
51 }
52 static Bignum getmp(char **data, int *datalen) {
53 char *p;
54 int i, j, length;
55 Bignum b;
56
57 getstring(data, datalen, &p, &length);
58 if (!p)
59 return NULL;
60 if (p[0] & 0x80)
61 return NULL; /* negative mp */
62 b = newbn((length+1)/2);
63 for (i = 0; i < length; i++) {
64 j = length - 1 - i;
65 if (j & 1)
66 b[j/2+1] |= ((unsigned char)p[i]) << 8;
67 else
68 b[j/2+1] |= ((unsigned char)p[i]);
69 }
70 while (b[0] > 1 && b[b[0]] == 0) b[0]--;
71 return b;
72 }
73
74 static Bignum get160(char **data, int *datalen) {
75 char *p;
76 int i, j, length;
77 Bignum b;
78
79 p = *data;
80 *data += 20; *datalen -= 20;
81
82 length = 20;
83 while (length > 0 && !p[0])
84 p++, length--;
85 b = newbn((length+1)/2);
86 for (i = 0; i < length; i++) {
87 j = length - 1 - i;
88 if (j & 1)
89 b[j/2+1] |= ((unsigned char)p[i]) << 8;
90 else
91 b[j/2+1] |= ((unsigned char)p[i]);
92 }
93 return b;
94 }
95
96 static Bignum dss_p, dss_q, dss_g, dss_y;
97
98 static void dss_setkey(char *data, int len) {
99 char *p;
100 int slen;
101 getstring(&data, &len, &p, &slen);
102
103 #ifdef DEBUG_DSS
104 {
105 int i;
106 printf("key:");
107 for (i=0;i<len;i++)
108 printf(" %02x", (unsigned char)(data[i]));
109 printf("\n");
110 }
111 #endif
112
113 if (!p || memcmp(p, "ssh-dss", 7)) {
114 dss_p = NULL;
115 return;
116 }
117 dss_p = getmp(&data, &len);
118 dss_q = getmp(&data, &len);
119 dss_g = getmp(&data, &len);
120 dss_y = getmp(&data, &len);
121 }
122
123 static char *dss_fmtkey(void) {
124 char *p;
125 int len, i, pos, nibbles;
126 static const char hex[] = "0123456789abcdef";
127 if (!dss_p)
128 return NULL;
129 len = 8 + 4 + 1; /* 4 x "0x", punctuation, \0 */
130 len += 4 * (dss_p[0] + dss_q[0] + dss_g[0] + dss_y[0]); /* digits */
131 p = malloc(len);
132 if (!p) return NULL;
133
134 pos = 0;
135 pos += sprintf(p+pos, "0x");
136 nibbles = (3 + ssh1_bignum_bitcount(dss_p))/4; if (nibbles<1) nibbles=1;
137 for (i=nibbles; i-- ;)
138 p[pos++] = hex[(bignum_byte(dss_p, i/2) >> (4*(i%2))) & 0xF];
139 pos += sprintf(p+pos, ",0x");
140 nibbles = (3 + ssh1_bignum_bitcount(dss_q))/4; if (nibbles<1) nibbles=1;
141 for (i=nibbles; i-- ;)
142 p[pos++] = hex[(bignum_byte(dss_q, i/2) >> (4*(i%2))) & 0xF];
143 pos += sprintf(p+pos, ",0x");
144 nibbles = (3 + ssh1_bignum_bitcount(dss_g))/4; if (nibbles<1) nibbles=1;
145 for (i=nibbles; i-- ;)
146 p[pos++] = hex[(bignum_byte(dss_g, i/2) >> (4*(i%2))) & 0xF];
147 pos += sprintf(p+pos, ",0x");
148 nibbles = (3 + ssh1_bignum_bitcount(dss_y))/4; if (nibbles<1) nibbles=1;
149 for (i=nibbles; i-- ;)
150 p[pos++] = hex[(bignum_byte(dss_y, i/2) >> (4*(i%2))) & 0xF];
151 p[pos] = '\0';
152 return p;
153 }
154
155 static char *dss_fingerprint(void) {
156 struct MD5Context md5c;
157 unsigned char digest[16], lenbuf[4];
158 char buffer[16*3+40];
159 char *ret;
160 int numlen, i;
161
162 MD5Init(&md5c);
163 MD5Update(&md5c, "\0\0\0\7ssh-dss", 11);
164
165 #define ADD_BIGNUM(bignum) \
166 numlen = (ssh1_bignum_bitcount(bignum)+8)/8; \
167 PUT_32BIT(lenbuf, numlen); MD5Update(&md5c, lenbuf, 4); \
168 for (i = numlen; i-- ;) { \
169 unsigned char c = bignum_byte(bignum, i); \
170 MD5Update(&md5c, &c, 1); \
171 }
172 ADD_BIGNUM(dss_p);
173 ADD_BIGNUM(dss_q);
174 ADD_BIGNUM(dss_g);
175 ADD_BIGNUM(dss_y);
176 #undef ADD_BIGNUM
177
178 MD5Final(digest, &md5c);
179
180 sprintf(buffer, "%d ", ssh1_bignum_bitcount(dss_p));
181 for (i = 0; i < 16; i++)
182 sprintf(buffer+strlen(buffer), "%s%02x", i?":":"", digest[i]);
183 ret = malloc(strlen(buffer)+1);
184 if (ret)
185 strcpy(ret, buffer);
186 return ret;
187 }
188
189 static int dss_verifysig(char *sig, int siglen, char *data, int datalen) {
190 char *p;
191 int i, slen;
192 char hash[20];
193 Bignum qm2, r, s, w, i1, i2, i3, u1, u2, sha, v;
194 int ret;
195
196 if (!dss_p)
197 return 0;
198
199 #ifdef DEBUG_DSS
200 {
201 int i;
202 printf("sig:");
203 for (i=0;i<siglen;i++)
204 printf(" %02xf", (unsigned char)(sig[i]));
205 printf("\n");
206 }
207 #endif
208 /*
209 * Commercial SSH (2.0.13) and OpenSSH disagree over the format
210 * of a DSA signature. OpenSSH is in line with the IETF drafts:
211 * it uses a string "ssh-dss", followed by a 40-byte string
212 * containing two 160-bit integers end-to-end. Commercial SSH
213 * can't be bothered with the header bit, and considers a DSA
214 * signature blob to be _just_ the 40-byte string containing
215 * the two 160-bit integers. We tell them apart by measuring
216 * the length: length 40 means the commercial-SSH bug, anything
217 * else is assumed to be IETF-compliant.
218 */
219 if (siglen != 40) { /* bug not present; read admin fields */
220 getstring(&sig, &siglen, &p, &slen);
221 if (!p || memcmp(p, "ssh-dss", 7)) {
222 return 0;
223 }
224 sig += 4, siglen -= 4; /* skip yet another length field */
225 }
226 diagbn("p=", dss_p);
227 diagbn("q=", dss_q);
228 diagbn("g=", dss_g);
229 diagbn("y=", dss_y);
230 r = get160(&sig, &siglen);
231 diagbn("r=", r);
232 s = get160(&sig, &siglen);
233 diagbn("s=", s);
234 if (!r || !s)
235 return 0;
236
237 /*
238 * Step 1. w <- s^-1 mod q.
239 */
240 w = newbn(dss_q[0]);
241 qm2 = copybn(dss_q);
242 decbn(qm2); decbn(qm2);
243 diagbn("qm2=", qm2);
244 /* Now qm2 is q-2, and by Fermat's Little Theorem, s^qm2 == s^-1 (mod q).
245 * This is a silly way to do it; may fix it later. */
246 modpow(s, qm2, dss_q, w);
247 diagbn("w=", w);
248
249 /*
250 * Step 2. u1 <- SHA(message) * w mod q.
251 */
252 u1 = newbn(dss_q[0]);
253 SHA_Simple(data, datalen, hash);
254 p = hash; slen = 20; sha = get160(&p, &slen);
255 diagbn("sha=", sha);
256 modmul(sha, w, dss_q, u1);
257 diagbn("u1=", u1);
258
259 /*
260 * Step 3. u2 <- r * w mod q.
261 */
262 u2 = newbn(dss_q[0]);
263 modmul(r, w, dss_q, u2);
264 diagbn("u2=", u2);
265
266 /*
267 * Step 4. v <- (g^u1 * y^u2 mod p) mod q.
268 */
269 i1 = newbn(dss_p[0]);
270 i2 = newbn(dss_p[0]);
271 i3 = newbn(dss_p[0]);
272 v = newbn(dss_q[0]);
273 modpow(dss_g, u1, dss_p, i1);
274 diagbn("gu1p=", i1);
275 modpow(dss_y, u2, dss_p, i2);
276 diagbn("yu2p=", i2);
277 modmul(i1, i2, dss_p, i3);
278 diagbn("gu1yu2p=", i3);
279 modmul(i3, One, dss_q, v);
280 diagbn("gu1yu2q=v=", v);
281 diagbn("r=", r);
282
283 /*
284 * Step 5. v should now be equal to r.
285 */
286
287 ret = 1;
288 for (i = 1; i <= v[0] || i <= r[0]; i++) {
289 if ((i > v[0] && r[i] != 0) ||
290 (i > r[0] && v[i] != 0) ||
291 (i <= v[0] && i <= r[0] && r[i] != v[i]))
292 ret = 0;
293 }
294
295 freebn(w);
296 freebn(qm2);
297 freebn(sha);
298 freebn(i1);
299 freebn(i2);
300 freebn(i3);
301 freebn(v);
302 freebn(r);
303 freebn(s);
304
305 return ret;
306 }
307
308 struct ssh_hostkey ssh_dss = {
309 dss_setkey,
310 dss_fmtkey,
311 dss_fingerprint,
312 dss_verifysig,
313 "ssh-dss",
314 "dss"
315 };