(cp)[2] = (unsigned char)((value) >> 8); \
(cp)[3] = (unsigned char)(value); }
+#if 0
+/*
+ * Condition this section in for debugging of DSS.
+ */
+static void diagbn(char *prefix, Bignum md) {
+ int i, nibbles, morenibbles;
+ static const char hex[] = "0123456789ABCDEF";
+
+ printf("%s0x", prefix ? prefix : "");
+
+ nibbles = (3 + ssh1_bignum_bitcount(md))/4; if (nibbles<1) nibbles=1;
+ morenibbles = 4*md[0] - nibbles;
+ for (i=0; i<morenibbles; i++) putchar('-');
+ for (i=nibbles; i-- ;)
+ putchar(hex[(bignum_byte(md, i/2) >> (4*(i%2))) & 0xF]);
+
+ if (prefix) putchar('\n');
+}
+#define DEBUG_DSS
+#else
+#define diagbn(x,y)
+#endif
+
static void getstring(char **data, int *datalen, char **p, int *length) {
*p = NULL;
if (*datalen < 4)
else
b[j/2+1] |= ((unsigned char)p[i]);
}
+ while (b[0] > 1 && b[b[0]] == 0) b[0]--;
return b;
}
char *p;
int slen;
getstring(&data, &len, &p, &slen);
+
+#ifdef DEBUG_DSS
+ {
+ int i;
+ printf("key:");
+ for (i=0;i<len;i++)
+ printf(" %02x", (unsigned char)(data[i]));
+ printf("\n");
+ }
+#endif
+
if (!p || memcmp(p, "ssh-dss", 7)) {
dss_p = NULL;
return;
static int dss_verifysig(char *sig, int siglen, char *data, int datalen) {
char *p;
- int i, slen;
+ int slen;
char hash[20];
- Bignum qm2, r, s, w, i1, i2, i3, u1, u2, sha, v;
+ Bignum r, s, w, gu1p, yu2p, gu1yu2p, u1, u2, sha, v;
int ret;
if (!dss_p)
return 0;
- getstring(&sig, &siglen, &p, &slen);
- if (!p || memcmp(p, "ssh-dss", 7)) {
- return 0;
+#ifdef DEBUG_DSS
+ {
+ int i;
+ printf("sig:");
+ for (i=0;i<siglen;i++)
+ printf(" %02xf", (unsigned char)(sig[i]));
+ printf("\n");
}
- sig += 4, siglen -= 4; /* skip yet another length field */
+#endif
+ /*
+ * Commercial SSH (2.0.13) and OpenSSH disagree over the format
+ * of a DSA signature. OpenSSH is in line with the IETF drafts:
+ * it uses a string "ssh-dss", followed by a 40-byte string
+ * containing two 160-bit integers end-to-end. Commercial SSH
+ * can't be bothered with the header bit, and considers a DSA
+ * signature blob to be _just_ the 40-byte string containing
+ * the two 160-bit integers. We tell them apart by measuring
+ * the length: length 40 means the commercial-SSH bug, anything
+ * else is assumed to be IETF-compliant.
+ */
+ if (siglen != 40) { /* bug not present; read admin fields */
+ getstring(&sig, &siglen, &p, &slen);
+ if (!p || memcmp(p, "ssh-dss", 7)) {
+ return 0;
+ }
+ sig += 4, siglen -= 4; /* skip yet another length field */
+ }
+ diagbn("p=", dss_p);
+ diagbn("q=", dss_q);
+ diagbn("g=", dss_g);
+ diagbn("y=", dss_y);
r = get160(&sig, &siglen);
+ diagbn("r=", r);
s = get160(&sig, &siglen);
+ diagbn("s=", s);
if (!r || !s)
return 0;
/*
* Step 1. w <- s^-1 mod q.
*/
- w = newbn(dss_q[0]);
- qm2 = copybn(dss_q);
- decbn(qm2); decbn(qm2);
- /* Now qm2 is q-2, and by Fermat's Little Theorem, s^qm2 == s^-1 (mod q).
- * This is a silly way to do it; may fix it later. */
- modpow(s, qm2, dss_q, w);
+ w = modinv(s, dss_q);
+ diagbn("w=", w);
/*
* Step 2. u1 <- SHA(message) * w mod q.
*/
- u1 = newbn(dss_q[0]);
SHA_Simple(data, datalen, hash);
p = hash; slen = 20; sha = get160(&p, &slen);
- modmul(sha, w, dss_q, u1);
+ diagbn("sha=", sha);
+ u1 = modmul(sha, w, dss_q);
+ diagbn("u1=", u1);
/*
* Step 3. u2 <- r * w mod q.
*/
- u2 = newbn(dss_q[0]);
- modmul(r, w, dss_q, u2);
+ u2 = modmul(r, w, dss_q);
+ diagbn("u2=", u2);
/*
* Step 4. v <- (g^u1 * y^u2 mod p) mod q.
*/
- i1 = newbn(dss_p[0]);
- i2 = newbn(dss_p[0]);
- i3 = newbn(dss_p[0]);
- v = newbn(dss_q[0]);
- modpow(dss_g, u1, dss_p, i1);
- modpow(dss_y, u2, dss_p, i2);
- modmul(i1, i2, dss_p, i3);
- modmul(i3, One, dss_q, v);
+ gu1p = modpow(dss_g, u1, dss_p);
+ diagbn("gu1p=", gu1p);
+ yu2p = modpow(dss_y, u2, dss_p);
+ diagbn("yu2p=", yu2p);
+ gu1yu2p = modmul(gu1p, yu2p, dss_p);
+ diagbn("gu1yu2p=", gu1yu2p);
+ v = modmul(gu1yu2p, One, dss_q);
+ diagbn("gu1yu2q=v=", v);
+ diagbn("r=", r);
/*
* Step 5. v should now be equal to r.
*/
- ret = 1;
- for (i = 1; i <= v[0] || i <= r[0]; i++) {
- if ((i > v[0] && r[i] != 0) ||
- (i > r[0] && v[i] != 0) ||
- (i <= v[0] && i <= r[0] && r[i] != v[i]))
- ret = 0;
- }
+ ret = !bignum_cmp(v, r);
freebn(w);
- freebn(qm2);
freebn(sha);
- freebn(i1);
- freebn(i2);
- freebn(i3);
+ freebn(gu1p);
+ freebn(yu2p);
+ freebn(gu1yu2p);
freebn(v);
freebn(r);
freebn(s);