Annotation of src/usr.bin/ssh/ssh-rsa.c, Revision 1.43
1.43 ! djm 1: /* $OpenBSD: ssh-rsa.c,v 1.42 2010/07/13 11:52:06 djm Exp $ */
1.1 markus 2: /*
1.30 markus 3: * Copyright (c) 2000, 2003 Markus Friedl <markus@openbsd.org>
1.1 markus 4: *
1.30 markus 5: * Permission to use, copy, modify, and distribute this software for any
6: * purpose with or without fee is hereby granted, provided that the above
7: * copyright notice and this permission notice appear in all copies.
1.1 markus 8: *
1.30 markus 9: * THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
10: * WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
11: * MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR
12: * ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
13: * WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
14: * ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
15: * OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
1.1 markus 16: */
1.39 deraadt 17:
18: #include <sys/types.h>
1.5 markus 19:
20: #include <openssl/evp.h>
21: #include <openssl/err.h>
1.38 stevesk 22:
23: #include <string.h>
1.1 markus 24:
25: #include "xmalloc.h"
1.5 markus 26: #include "log.h"
1.1 markus 27: #include "buffer.h"
28: #include "key.h"
1.8 markus 29: #include "compat.h"
1.42 djm 30: #include "misc.h"
1.17 stevesk 31: #include "ssh.h"
1.1 markus 32:
1.27 deraadt 33: static int openssh_RSA_verify(int, u_char *, u_int, u_char *, u_int, RSA *);
1.25 markus 34:
1.1 markus 35: /* RSASSA-PKCS1-v1_5 (PKCS #1 v2.0 signature) with SHA1 */
36: int
1.31 jakob 37: ssh_rsa_sign(const Key *key, u_char **sigp, u_int *lenp,
38: const u_char *data, u_int datalen)
1.1 markus 39: {
1.7 markus 40: const EVP_MD *evp_md;
1.1 markus 41: EVP_MD_CTX md;
1.23 markus 42: u_char digest[EVP_MAX_MD_SIZE], *sig;
1.2 markus 43: u_int slen, dlen, len;
1.7 markus 44: int ok, nid;
1.1 markus 45: Buffer b;
46:
1.41 djm 47: if (key == NULL || key->rsa == NULL || (key->type != KEY_RSA &&
48: key->type != KEY_RSA_CERT && key->type != KEY_RSA_CERT_V00)) {
1.1 markus 49: error("ssh_rsa_sign: no RSA key");
50: return -1;
51: }
1.8 markus 52: nid = (datafellows & SSH_BUG_RSASIGMD5) ? NID_md5 : NID_sha1;
1.7 markus 53: if ((evp_md = EVP_get_digestbynid(nid)) == NULL) {
54: error("ssh_rsa_sign: EVP_get_digestbynid %d failed", nid);
55: return -1;
56: }
1.1 markus 57: EVP_DigestInit(&md, evp_md);
58: EVP_DigestUpdate(&md, data, datalen);
1.15 markus 59: EVP_DigestFinal(&md, digest, &dlen);
1.1 markus 60:
1.7 markus 61: slen = RSA_size(key->rsa);
62: sig = xmalloc(slen);
63:
64: ok = RSA_sign(nid, digest, dlen, sig, &len, key->rsa);
1.15 markus 65: memset(digest, 'd', sizeof(digest));
1.1 markus 66:
67: if (ok != 1) {
68: int ecode = ERR_get_error();
1.35 deraadt 69:
1.21 deraadt 70: error("ssh_rsa_sign: RSA_sign failed: %s",
71: ERR_error_string(ecode, NULL));
1.1 markus 72: xfree(sig);
73: return -1;
74: }
75: if (len < slen) {
1.24 markus 76: u_int diff = slen - len;
1.21 deraadt 77: debug("slen %u > len %u", slen, len);
1.1 markus 78: memmove(sig + diff, sig, len);
79: memset(sig, 0, diff);
80: } else if (len > slen) {
1.21 deraadt 81: error("ssh_rsa_sign: slen %u slen2 %u", slen, len);
1.1 markus 82: xfree(sig);
83: return -1;
84: }
85: /* encode signature */
86: buffer_init(&b);
87: buffer_put_cstring(&b, "ssh-rsa");
88: buffer_put_string(&b, sig, slen);
89: len = buffer_len(&b);
1.23 markus 90: if (lenp != NULL)
91: *lenp = len;
92: if (sigp != NULL) {
93: *sigp = xmalloc(len);
94: memcpy(*sigp, buffer_ptr(&b), len);
95: }
1.1 markus 96: buffer_free(&b);
97: memset(sig, 's', slen);
98: xfree(sig);
99:
100: return 0;
101: }
102:
103: int
1.31 jakob 104: ssh_rsa_verify(const Key *key, const u_char *signature, u_int signaturelen,
105: const u_char *data, u_int datalen)
1.1 markus 106: {
107: Buffer b;
1.7 markus 108: const EVP_MD *evp_md;
1.1 markus 109: EVP_MD_CTX md;
110: char *ktype;
1.15 markus 111: u_char digest[EVP_MAX_MD_SIZE], *sigblob;
1.19 markus 112: u_int len, dlen, modlen;
1.7 markus 113: int rlen, ret, nid;
1.1 markus 114:
1.41 djm 115: if (key == NULL || key->rsa == NULL || (key->type != KEY_RSA &&
116: key->type != KEY_RSA_CERT && key->type != KEY_RSA_CERT_V00)) {
1.1 markus 117: error("ssh_rsa_verify: no RSA key");
1.4 markus 118: return -1;
119: }
1.17 stevesk 120: if (BN_num_bits(key->rsa->n) < SSH_RSA_MINIMUM_MODULUS_SIZE) {
1.20 stevesk 121: error("ssh_rsa_verify: RSA modulus too small: %d < minimum %d bits",
122: BN_num_bits(key->rsa->n), SSH_RSA_MINIMUM_MODULUS_SIZE);
1.1 markus 123: return -1;
124: }
125: buffer_init(&b);
1.10 stevesk 126: buffer_append(&b, signature, signaturelen);
1.1 markus 127: ktype = buffer_get_string(&b, NULL);
128: if (strcmp("ssh-rsa", ktype) != 0) {
129: error("ssh_rsa_verify: cannot handle type %s", ktype);
130: buffer_free(&b);
131: xfree(ktype);
132: return -1;
133: }
134: xfree(ktype);
1.10 stevesk 135: sigblob = buffer_get_string(&b, &len);
1.1 markus 136: rlen = buffer_len(&b);
137: buffer_free(&b);
1.14 deraadt 138: if (rlen != 0) {
1.12 markus 139: error("ssh_rsa_verify: remaining bytes in signature %d", rlen);
1.7 markus 140: xfree(sigblob);
1.1 markus 141: return -1;
1.19 markus 142: }
143: /* RSA_verify expects a signature of RSA_size */
144: modlen = RSA_size(key->rsa);
145: if (len > modlen) {
1.21 deraadt 146: error("ssh_rsa_verify: len %u > modlen %u", len, modlen);
1.19 markus 147: xfree(sigblob);
148: return -1;
149: } else if (len < modlen) {
1.24 markus 150: u_int diff = modlen - len;
1.21 deraadt 151: debug("ssh_rsa_verify: add padding: modlen %u > len %u",
1.19 markus 152: modlen, len);
1.36 djm 153: sigblob = xrealloc(sigblob, 1, modlen);
1.19 markus 154: memmove(sigblob + diff, sigblob, len);
155: memset(sigblob, 0, diff);
156: len = modlen;
1.1 markus 157: }
1.8 markus 158: nid = (datafellows & SSH_BUG_RSASIGMD5) ? NID_md5 : NID_sha1;
1.7 markus 159: if ((evp_md = EVP_get_digestbynid(nid)) == NULL) {
1.12 markus 160: error("ssh_rsa_verify: EVP_get_digestbynid %d failed", nid);
1.7 markus 161: xfree(sigblob);
162: return -1;
163: }
1.1 markus 164: EVP_DigestInit(&md, evp_md);
165: EVP_DigestUpdate(&md, data, datalen);
1.15 markus 166: EVP_DigestFinal(&md, digest, &dlen);
1.1 markus 167:
1.25 markus 168: ret = openssh_RSA_verify(nid, digest, dlen, sigblob, len, key->rsa);
1.15 markus 169: memset(digest, 'd', sizeof(digest));
1.1 markus 170: memset(sigblob, 's', len);
171: xfree(sigblob);
172: debug("ssh_rsa_verify: signature %scorrect", (ret==0) ? "in" : "");
1.25 markus 173: return ret;
174: }
175:
176: /*
177: * See:
178: * http://www.rsasecurity.com/rsalabs/pkcs/pkcs-1/
179: * ftp://ftp.rsasecurity.com/pub/pkcs/pkcs-1/pkcs-1v2-1.asn
180: */
181: /*
182: * id-sha1 OBJECT IDENTIFIER ::= { iso(1) identified-organization(3)
183: * oiw(14) secsig(3) algorithms(2) 26 }
184: */
185: static const u_char id_sha1[] = {
186: 0x30, 0x21, /* type Sequence, length 0x21 (33) */
187: 0x30, 0x09, /* type Sequence, length 0x09 */
188: 0x06, 0x05, /* type OID, length 0x05 */
189: 0x2b, 0x0e, 0x03, 0x02, 0x1a, /* id-sha1 OID */
190: 0x05, 0x00, /* NULL */
191: 0x04, 0x14 /* Octet string, length 0x14 (20), followed by sha1 hash */
192: };
193: /*
194: * id-md5 OBJECT IDENTIFIER ::= { iso(1) member-body(2) us(840)
195: * rsadsi(113549) digestAlgorithm(2) 5 }
196: */
197: static const u_char id_md5[] = {
198: 0x30, 0x20, /* type Sequence, length 0x20 (32) */
199: 0x30, 0x0c, /* type Sequence, length 0x09 */
200: 0x06, 0x08, /* type OID, length 0x05 */
201: 0x2a, 0x86, 0x48, 0x86, 0xF7, 0x0D, 0x02, 0x05, /* id-md5 */
202: 0x05, 0x00, /* NULL */
203: 0x04, 0x10 /* Octet string, length 0x10 (16), followed by md5 hash */
204: };
205:
206: static int
207: openssh_RSA_verify(int type, u_char *hash, u_int hashlen,
208: u_char *sigbuf, u_int siglen, RSA *rsa)
209: {
1.26 stevesk 210: u_int ret, rsasize, oidlen = 0, hlen = 0;
211: int len;
1.25 markus 212: const u_char *oid = NULL;
213: u_char *decrypted = NULL;
214:
215: ret = 0;
216: switch (type) {
217: case NID_sha1:
218: oid = id_sha1;
219: oidlen = sizeof(id_sha1);
220: hlen = 20;
221: break;
222: case NID_md5:
223: oid = id_md5;
224: oidlen = sizeof(id_md5);
225: hlen = 16;
226: break;
227: default:
228: goto done;
229: }
230: if (hashlen != hlen) {
231: error("bad hashlen");
232: goto done;
233: }
234: rsasize = RSA_size(rsa);
235: if (siglen == 0 || siglen > rsasize) {
236: error("bad siglen");
237: goto done;
238: }
239: decrypted = xmalloc(rsasize);
240: if ((len = RSA_public_decrypt(siglen, sigbuf, decrypted, rsa,
241: RSA_PKCS1_PADDING)) < 0) {
242: error("RSA_public_decrypt failed: %s",
243: ERR_error_string(ERR_get_error(), NULL));
244: goto done;
245: }
1.32 djm 246: if (len < 0 || (u_int)len != hlen + oidlen) {
1.30 markus 247: error("bad decrypted len: %d != %d + %d", len, hlen, oidlen);
1.25 markus 248: goto done;
249: }
1.43 ! djm 250: if (timingsafe_bcmp(decrypted, oid, oidlen) != 0) {
1.25 markus 251: error("oid mismatch");
252: goto done;
253: }
1.43 ! djm 254: if (timingsafe_bcmp(decrypted + oidlen, hash, hlen) != 0) {
1.25 markus 255: error("hash mismatch");
256: goto done;
257: }
258: ret = 1;
259: done:
260: if (decrypted)
261: xfree(decrypted);
1.1 markus 262: return ret;
263: }