blob: e8acc01fa8a8a82eafbb7f1279f66851c55aad2d [file] [log] [blame]
djm@openbsd.orgbd636f42017-05-07 23:15:59 +00001/* $OpenBSD: ssh-rsa.c,v 1.61 2017/05/07 23:15:59 djm Exp $ */
Damien Miller0bc1bd82000-11-13 22:57:25 +11002/*
Darren Tuckera251f802003-06-22 20:45:15 +10003 * Copyright (c) 2000, 2003 Markus Friedl <markus@openbsd.org>
Damien Miller0bc1bd82000-11-13 22:57:25 +11004 *
Darren Tuckera251f802003-06-22 20:45:15 +10005 * 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.
Damien Miller0bc1bd82000-11-13 22:57:25 +11008 *
Darren Tuckera251f802003-06-22 20:45:15 +10009 * 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.
Damien Miller0bc1bd82000-11-13 22:57:25 +110016 */
Damien Millerd7834352006-08-05 12:39:39 +100017
Damien Miller0bc1bd82000-11-13 22:57:25 +110018#include "includes.h"
Damien Miller0bc1bd82000-11-13 22:57:25 +110019
Damien Miller72ef7c12015-01-15 02:21:31 +110020#ifdef WITH_OPENSSL
21
Damien Millerd7834352006-08-05 12:39:39 +100022#include <sys/types.h>
23
Damien Miller0bc1bd82000-11-13 22:57:25 +110024#include <openssl/evp.h>
Damien Miller0bc1bd82000-11-13 22:57:25 +110025#include <openssl/err.h>
26
Damien Millerded319c2006-09-01 15:38:36 +100027#include <stdarg.h>
Damien Millere3476ed2006-07-24 14:13:33 +100028#include <string.h>
29
Damien Miller86687062014-07-02 15:28:02 +100030#include "sshbuf.h"
Ben Lindstrom60a43812001-03-29 00:32:56 +000031#include "compat.h"
Damien Miller86687062014-07-02 15:28:02 +100032#include "ssherr.h"
33#define SSHKEY_INTERNAL
34#include "sshkey.h"
Damien Millerb3051d02014-01-10 10:58:53 +110035#include "digest.h"
Damien Miller0bc1bd82000-11-13 22:57:25 +110036
Damien Miller86687062014-07-02 15:28:02 +100037static int openssh_RSA_verify(int, u_char *, size_t, u_char *, size_t, RSA *);
Ben Lindstrom0deb5d92002-08-20 18:40:03 +000038
markus@openbsd.org76c9fbb2015-12-04 16:41:28 +000039static const char *
40rsa_hash_alg_ident(int hash_alg)
41{
42 switch (hash_alg) {
43 case SSH_DIGEST_SHA1:
44 return "ssh-rsa";
45 case SSH_DIGEST_SHA256:
46 return "rsa-sha2-256";
47 case SSH_DIGEST_SHA512:
48 return "rsa-sha2-512";
49 }
50 return NULL;
51}
52
53static int
54rsa_hash_alg_from_ident(const char *ident)
55{
djm@openbsd.org445e2182016-09-12 23:39:34 +000056 if (strcmp(ident, "ssh-rsa") == 0 ||
57 strcmp(ident, "ssh-rsa-cert-v01@openssh.com") == 0)
markus@openbsd.org76c9fbb2015-12-04 16:41:28 +000058 return SSH_DIGEST_SHA1;
59 if (strcmp(ident, "rsa-sha2-256") == 0)
60 return SSH_DIGEST_SHA256;
61 if (strcmp(ident, "rsa-sha2-512") == 0)
62 return SSH_DIGEST_SHA512;
markus@openbsd.org76c9fbb2015-12-04 16:41:28 +000063 return -1;
64}
65
66static int
67rsa_hash_alg_nid(int type)
68{
69 switch (type) {
70 case SSH_DIGEST_SHA1:
71 return NID_sha1;
72 case SSH_DIGEST_SHA256:
73 return NID_sha256;
74 case SSH_DIGEST_SHA512:
75 return NID_sha512;
76 default:
77 return -1;
78 }
79}
80
Damien Miller0bc1bd82000-11-13 22:57:25 +110081/* RSASSA-PKCS1-v1_5 (PKCS #1 v2.0 signature) with SHA1 */
82int
Damien Miller86687062014-07-02 15:28:02 +100083ssh_rsa_sign(const struct sshkey *key, u_char **sigp, size_t *lenp,
markus@openbsd.org76c9fbb2015-12-04 16:41:28 +000084 const u_char *data, size_t datalen, const char *alg_ident)
Damien Miller0bc1bd82000-11-13 22:57:25 +110085{
Damien Miller86687062014-07-02 15:28:02 +100086 u_char digest[SSH_DIGEST_MAX_LENGTH], *sig = NULL;
87 size_t slen;
88 u_int dlen, len;
markus@openbsd.org76c9fbb2015-12-04 16:41:28 +000089 int nid, hash_alg, ret = SSH_ERR_INTERNAL_ERROR;
Damien Miller86687062014-07-02 15:28:02 +100090 struct sshbuf *b = NULL;
Damien Miller0bc1bd82000-11-13 22:57:25 +110091
Damien Miller86687062014-07-02 15:28:02 +100092 if (lenp != NULL)
93 *lenp = 0;
94 if (sigp != NULL)
95 *sigp = NULL;
96
djm@openbsd.org445e2182016-09-12 23:39:34 +000097 if (alg_ident == NULL || strlen(alg_ident) == 0)
markus@openbsd.org6262a052015-12-07 20:04:09 +000098 hash_alg = SSH_DIGEST_SHA1;
99 else
100 hash_alg = rsa_hash_alg_from_ident(alg_ident);
markus@openbsd.org76c9fbb2015-12-04 16:41:28 +0000101 if (key == NULL || key->rsa == NULL || hash_alg == -1 ||
djm@openbsd.orgbd636f42017-05-07 23:15:59 +0000102 sshkey_type_plain(key->type) != KEY_RSA)
Damien Miller86687062014-07-02 15:28:02 +1000103 return SSH_ERR_INVALID_ARGUMENT;
djm@openbsd.orgbd636f42017-05-07 23:15:59 +0000104 if (BN_num_bits(key->rsa->n) < SSH_RSA_MINIMUM_MODULUS_SIZE)
105 return SSH_ERR_KEY_LENGTH;
Damien Miller86687062014-07-02 15:28:02 +1000106 slen = RSA_size(key->rsa);
107 if (slen <= 0 || slen > SSHBUF_MAX_BIGNUM)
108 return SSH_ERR_INVALID_ARGUMENT;
Damien Miller3e192952013-12-29 17:47:50 +1100109
Damien Millerb3051d02014-01-10 10:58:53 +1100110 /* hash the data */
markus@openbsd.org76c9fbb2015-12-04 16:41:28 +0000111 nid = rsa_hash_alg_nid(hash_alg);
Damien Miller86687062014-07-02 15:28:02 +1000112 if ((dlen = ssh_digest_bytes(hash_alg)) == 0)
113 return SSH_ERR_INTERNAL_ERROR;
114 if ((ret = ssh_digest_memory(hash_alg, data, datalen,
115 digest, sizeof(digest))) != 0)
116 goto out;
117
118 if ((sig = malloc(slen)) == NULL) {
119 ret = SSH_ERR_ALLOC_FAIL;
120 goto out;
Damien Millerb3051d02014-01-10 10:58:53 +1100121 }
Damien Miller0bc1bd82000-11-13 22:57:25 +1100122
Damien Miller86687062014-07-02 15:28:02 +1000123 if (RSA_sign(nid, digest, dlen, sig, &len, key->rsa) != 1) {
124 ret = SSH_ERR_LIBCRYPTO_ERROR;
125 goto out;
Damien Miller0bc1bd82000-11-13 22:57:25 +1100126 }
127 if (len < slen) {
Damien Miller86687062014-07-02 15:28:02 +1000128 size_t diff = slen - len;
Damien Miller0bc1bd82000-11-13 22:57:25 +1100129 memmove(sig + diff, sig, len);
Damien Millera5103f42014-02-04 11:20:14 +1100130 explicit_bzero(sig, diff);
Damien Miller0bc1bd82000-11-13 22:57:25 +1100131 } else if (len > slen) {
Damien Miller86687062014-07-02 15:28:02 +1000132 ret = SSH_ERR_INTERNAL_ERROR;
133 goto out;
Damien Miller0bc1bd82000-11-13 22:57:25 +1100134 }
135 /* encode signature */
Damien Miller86687062014-07-02 15:28:02 +1000136 if ((b = sshbuf_new()) == NULL) {
137 ret = SSH_ERR_ALLOC_FAIL;
138 goto out;
139 }
markus@openbsd.org76c9fbb2015-12-04 16:41:28 +0000140 if ((ret = sshbuf_put_cstring(b, rsa_hash_alg_ident(hash_alg))) != 0 ||
Damien Miller86687062014-07-02 15:28:02 +1000141 (ret = sshbuf_put_string(b, sig, slen)) != 0)
142 goto out;
143 len = sshbuf_len(b);
144 if (sigp != NULL) {
145 if ((*sigp = malloc(len)) == NULL) {
146 ret = SSH_ERR_ALLOC_FAIL;
147 goto out;
148 }
149 memcpy(*sigp, sshbuf_ptr(b), len);
150 }
Ben Lindstrom2bf759c2002-07-07 22:13:31 +0000151 if (lenp != NULL)
152 *lenp = len;
Damien Miller86687062014-07-02 15:28:02 +1000153 ret = 0;
154 out:
155 explicit_bzero(digest, sizeof(digest));
156 if (sig != NULL) {
157 explicit_bzero(sig, slen);
158 free(sig);
Ben Lindstrom2bf759c2002-07-07 22:13:31 +0000159 }
mmcc@openbsd.org52d70782015-12-11 04:21:11 +0000160 sshbuf_free(b);
djm@openbsd.org4ef702e2015-06-15 01:32:50 +0000161 return ret;
Damien Miller0bc1bd82000-11-13 22:57:25 +1100162}
163
164int
Damien Miller86687062014-07-02 15:28:02 +1000165ssh_rsa_verify(const struct sshkey *key,
markus@openbsd.org76c9fbb2015-12-04 16:41:28 +0000166 const u_char *sig, size_t siglen, const u_char *data, size_t datalen)
Damien Miller0bc1bd82000-11-13 22:57:25 +1100167{
Damien Miller86687062014-07-02 15:28:02 +1000168 char *ktype = NULL;
169 int hash_alg, ret = SSH_ERR_INTERNAL_ERROR;
170 size_t len, diff, modlen, dlen;
171 struct sshbuf *b = NULL;
172 u_char digest[SSH_DIGEST_MAX_LENGTH], *osigblob, *sigblob = NULL;
Damien Miller0bc1bd82000-11-13 22:57:25 +1100173
Damien Miller86687062014-07-02 15:28:02 +1000174 if (key == NULL || key->rsa == NULL ||
175 sshkey_type_plain(key->type) != KEY_RSA ||
djm@openbsd.orgb6e01402016-04-21 06:08:02 +0000176 sig == NULL || siglen == 0)
Damien Miller86687062014-07-02 15:28:02 +1000177 return SSH_ERR_INVALID_ARGUMENT;
djm@openbsd.orgbd636f42017-05-07 23:15:59 +0000178 if (BN_num_bits(key->rsa->n) < SSH_RSA_MINIMUM_MODULUS_SIZE)
179 return SSH_ERR_KEY_LENGTH;
Damien Miller3e192952013-12-29 17:47:50 +1100180
markus@openbsd.org76c9fbb2015-12-04 16:41:28 +0000181 if ((b = sshbuf_from(sig, siglen)) == NULL)
Damien Miller86687062014-07-02 15:28:02 +1000182 return SSH_ERR_ALLOC_FAIL;
183 if (sshbuf_get_cstring(b, &ktype, NULL) != 0) {
184 ret = SSH_ERR_INVALID_FORMAT;
185 goto out;
Ben Lindstrombf555ba2001-01-18 02:04:35 +0000186 }
markus@openbsd.org76c9fbb2015-12-04 16:41:28 +0000187 if ((hash_alg = rsa_hash_alg_from_ident(ktype)) == -1) {
Damien Miller86687062014-07-02 15:28:02 +1000188 ret = SSH_ERR_KEY_TYPE_MISMATCH;
189 goto out;
Damien Miller0bc1bd82000-11-13 22:57:25 +1100190 }
Damien Miller86687062014-07-02 15:28:02 +1000191 if (sshbuf_get_string(b, &sigblob, &len) != 0) {
192 ret = SSH_ERR_INVALID_FORMAT;
193 goto out;
194 }
195 if (sshbuf_len(b) != 0) {
196 ret = SSH_ERR_UNEXPECTED_TRAILING_DATA;
197 goto out;
Damien Miller0bc1bd82000-11-13 22:57:25 +1100198 }
Ben Lindstromceae9d12002-06-06 20:55:04 +0000199 /* RSA_verify expects a signature of RSA_size */
200 modlen = RSA_size(key->rsa);
201 if (len > modlen) {
Damien Miller86687062014-07-02 15:28:02 +1000202 ret = SSH_ERR_KEY_BITS_MISMATCH;
203 goto out;
Ben Lindstromceae9d12002-06-06 20:55:04 +0000204 } else if (len < modlen) {
Damien Miller86687062014-07-02 15:28:02 +1000205 diff = modlen - len;
206 osigblob = sigblob;
207 if ((sigblob = realloc(sigblob, modlen)) == NULL) {
208 sigblob = osigblob; /* put it back for clear/free */
209 ret = SSH_ERR_ALLOC_FAIL;
210 goto out;
211 }
Ben Lindstromceae9d12002-06-06 20:55:04 +0000212 memmove(sigblob + diff, sigblob, len);
Damien Millera5103f42014-02-04 11:20:14 +1100213 explicit_bzero(sigblob, diff);
Ben Lindstromceae9d12002-06-06 20:55:04 +0000214 len = modlen;
215 }
Damien Millerb3051d02014-01-10 10:58:53 +1100216 if ((dlen = ssh_digest_bytes(hash_alg)) == 0) {
Damien Miller86687062014-07-02 15:28:02 +1000217 ret = SSH_ERR_INTERNAL_ERROR;
218 goto out;
Ben Lindstrom425fb022001-03-29 00:31:20 +0000219 }
Damien Miller86687062014-07-02 15:28:02 +1000220 if ((ret = ssh_digest_memory(hash_alg, data, datalen,
221 digest, sizeof(digest))) != 0)
222 goto out;
Damien Miller0bc1bd82000-11-13 22:57:25 +1100223
Damien Millerb3051d02014-01-10 10:58:53 +1100224 ret = openssh_RSA_verify(hash_alg, digest, dlen, sigblob, len,
225 key->rsa);
Damien Miller86687062014-07-02 15:28:02 +1000226 out:
227 if (sigblob != NULL) {
228 explicit_bzero(sigblob, len);
229 free(sigblob);
230 }
mmcc@openbsd.orgd59ce082015-12-10 17:08:40 +0000231 free(ktype);
mmcc@openbsd.org52d70782015-12-11 04:21:11 +0000232 sshbuf_free(b);
Damien Millera5103f42014-02-04 11:20:14 +1100233 explicit_bzero(digest, sizeof(digest));
Damien Miller0bc1bd82000-11-13 22:57:25 +1100234 return ret;
235}
Ben Lindstrom0deb5d92002-08-20 18:40:03 +0000236
237/*
238 * See:
239 * http://www.rsasecurity.com/rsalabs/pkcs/pkcs-1/
240 * ftp://ftp.rsasecurity.com/pub/pkcs/pkcs-1/pkcs-1v2-1.asn
241 */
markus@openbsd.org76c9fbb2015-12-04 16:41:28 +0000242
Ben Lindstrom0deb5d92002-08-20 18:40:03 +0000243/*
244 * id-sha1 OBJECT IDENTIFIER ::= { iso(1) identified-organization(3)
245 * oiw(14) secsig(3) algorithms(2) 26 }
246 */
247static const u_char id_sha1[] = {
248 0x30, 0x21, /* type Sequence, length 0x21 (33) */
249 0x30, 0x09, /* type Sequence, length 0x09 */
250 0x06, 0x05, /* type OID, length 0x05 */
251 0x2b, 0x0e, 0x03, 0x02, 0x1a, /* id-sha1 OID */
252 0x05, 0x00, /* NULL */
253 0x04, 0x14 /* Octet string, length 0x14 (20), followed by sha1 hash */
254};
Ben Lindstrom0deb5d92002-08-20 18:40:03 +0000255
markus@openbsd.org76c9fbb2015-12-04 16:41:28 +0000256/*
257 * See http://csrc.nist.gov/groups/ST/crypto_apps_infra/csor/algorithms.html
258 * id-sha256 OBJECT IDENTIFIER ::= { joint-iso-itu-t(2) country(16) us(840)
259 * organization(1) gov(101) csor(3) nistAlgorithm(4) hashAlgs(2)
260 * id-sha256(1) }
261 */
262static const u_char id_sha256[] = {
263 0x30, 0x31, /* type Sequence, length 0x31 (49) */
264 0x30, 0x0d, /* type Sequence, length 0x0d (13) */
265 0x06, 0x09, /* type OID, length 0x09 */
266 0x60, 0x86, 0x48, 0x01, 0x65, 0x03, 0x04, 0x02, 0x01, /* id-sha256 */
267 0x05, 0x00, /* NULL */
268 0x04, 0x20 /* Octet string, length 0x20 (32), followed by sha256 hash */
269};
270
271/*
272 * See http://csrc.nist.gov/groups/ST/crypto_apps_infra/csor/algorithms.html
273 * id-sha512 OBJECT IDENTIFIER ::= { joint-iso-itu-t(2) country(16) us(840)
274 * organization(1) gov(101) csor(3) nistAlgorithm(4) hashAlgs(2)
275 * id-sha256(3) }
276 */
277static const u_char id_sha512[] = {
278 0x30, 0x51, /* type Sequence, length 0x51 (81) */
279 0x30, 0x0d, /* type Sequence, length 0x0d (13) */
280 0x06, 0x09, /* type OID, length 0x09 */
281 0x60, 0x86, 0x48, 0x01, 0x65, 0x03, 0x04, 0x02, 0x03, /* id-sha512 */
282 0x05, 0x00, /* NULL */
283 0x04, 0x40 /* Octet string, length 0x40 (64), followed by sha512 hash */
284};
285
286static int
287rsa_hash_alg_oid(int hash_alg, const u_char **oidp, size_t *oidlenp)
288{
289 switch (hash_alg) {
290 case SSH_DIGEST_SHA1:
291 *oidp = id_sha1;
292 *oidlenp = sizeof(id_sha1);
293 break;
294 case SSH_DIGEST_SHA256:
295 *oidp = id_sha256;
296 *oidlenp = sizeof(id_sha256);
297 break;
298 case SSH_DIGEST_SHA512:
299 *oidp = id_sha512;
300 *oidlenp = sizeof(id_sha512);
301 break;
302 default:
303 return SSH_ERR_INVALID_ARGUMENT;
304 }
305 return 0;
306}
307
Ben Lindstrom0deb5d92002-08-20 18:40:03 +0000308static int
Damien Miller86687062014-07-02 15:28:02 +1000309openssh_RSA_verify(int hash_alg, u_char *hash, size_t hashlen,
310 u_char *sigbuf, size_t siglen, RSA *rsa)
Ben Lindstrom0deb5d92002-08-20 18:40:03 +0000311{
djm@openbsd.org61942ea2015-09-09 00:52:44 +0000312 size_t rsasize = 0, oidlen = 0, hlen = 0;
313 int ret, len, oidmatch, hashmatch;
Ben Lindstrom0deb5d92002-08-20 18:40:03 +0000314 const u_char *oid = NULL;
315 u_char *decrypted = NULL;
316
markus@openbsd.org76c9fbb2015-12-04 16:41:28 +0000317 if ((ret = rsa_hash_alg_oid(hash_alg, &oid, &oidlen)) != 0)
318 return ret;
Damien Miller86687062014-07-02 15:28:02 +1000319 ret = SSH_ERR_INTERNAL_ERROR;
markus@openbsd.org76c9fbb2015-12-04 16:41:28 +0000320 hlen = ssh_digest_bytes(hash_alg);
Ben Lindstrom0deb5d92002-08-20 18:40:03 +0000321 if (hashlen != hlen) {
Damien Miller86687062014-07-02 15:28:02 +1000322 ret = SSH_ERR_INVALID_ARGUMENT;
Ben Lindstrom0deb5d92002-08-20 18:40:03 +0000323 goto done;
324 }
325 rsasize = RSA_size(rsa);
Damien Miller86687062014-07-02 15:28:02 +1000326 if (rsasize <= 0 || rsasize > SSHBUF_MAX_BIGNUM ||
327 siglen == 0 || siglen > rsasize) {
328 ret = SSH_ERR_INVALID_ARGUMENT;
Ben Lindstrom0deb5d92002-08-20 18:40:03 +0000329 goto done;
330 }
Damien Miller86687062014-07-02 15:28:02 +1000331 if ((decrypted = malloc(rsasize)) == NULL) {
332 ret = SSH_ERR_ALLOC_FAIL;
333 goto done;
334 }
Ben Lindstrom0deb5d92002-08-20 18:40:03 +0000335 if ((len = RSA_public_decrypt(siglen, sigbuf, decrypted, rsa,
336 RSA_PKCS1_PADDING)) < 0) {
Damien Miller86687062014-07-02 15:28:02 +1000337 ret = SSH_ERR_LIBCRYPTO_ERROR;
Ben Lindstrom0deb5d92002-08-20 18:40:03 +0000338 goto done;
339 }
Damien Miller86687062014-07-02 15:28:02 +1000340 if (len < 0 || (size_t)len != hlen + oidlen) {
341 ret = SSH_ERR_INVALID_FORMAT;
Ben Lindstrom0deb5d92002-08-20 18:40:03 +0000342 goto done;
343 }
Damien Miller4e8285e2010-08-03 16:04:03 +1000344 oidmatch = timingsafe_bcmp(decrypted, oid, oidlen) == 0;
345 hashmatch = timingsafe_bcmp(decrypted + oidlen, hash, hlen) == 0;
Damien Miller86687062014-07-02 15:28:02 +1000346 if (!oidmatch || !hashmatch) {
347 ret = SSH_ERR_SIGNATURE_INVALID;
Ben Lindstrom0deb5d92002-08-20 18:40:03 +0000348 goto done;
349 }
Damien Miller86687062014-07-02 15:28:02 +1000350 ret = 0;
Ben Lindstrom0deb5d92002-08-20 18:40:03 +0000351done:
Damien Miller86687062014-07-02 15:28:02 +1000352 if (decrypted) {
353 explicit_bzero(decrypted, rsasize);
354 free(decrypted);
355 }
Ben Lindstrom0deb5d92002-08-20 18:40:03 +0000356 return ret;
357}
Damien Miller72ef7c12015-01-15 02:21:31 +1100358#endif /* WITH_OPENSSL */