Annotation of src/usr.bin/ssh/key.c, Revision 1.97
1.97 ! djm 1: /* $OpenBSD: key.c,v 1.96 2011/02/04 00:44:21 djm Exp $ */
1.1 markus 2: /*
1.11 deraadt 3: * read_bignum():
4: * Copyright (c) 1995 Tatu Ylonen <ylo@cs.hut.fi>, Espoo, Finland
5: *
6: * As far as I am concerned, the code I have written for this software
7: * can be used freely for any purpose. Any derived versions of this
8: * software must be clearly marked as such, and if the derived work is
9: * incompatible with the protocol description in the RFC file, it must be
10: * called by a name other than "ssh" or "Secure Shell".
11: *
12: *
1.28 markus 13: * Copyright (c) 2000, 2001 Markus Friedl. All rights reserved.
1.76 grunk 14: * Copyright (c) 2008 Alexander von Gernler. All rights reserved.
1.1 markus 15: *
16: * Redistribution and use in source and binary forms, with or without
17: * modification, are permitted provided that the following conditions
18: * are met:
19: * 1. Redistributions of source code must retain the above copyright
20: * notice, this list of conditions and the following disclaimer.
21: * 2. Redistributions in binary form must reproduce the above copyright
22: * notice, this list of conditions and the following disclaimer in the
23: * documentation and/or other materials provided with the distribution.
24: *
25: * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
26: * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
27: * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
28: * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
29: * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
30: * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
31: * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
32: * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
33: * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
34: * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
35: */
1.67 deraadt 36:
1.70 grunk 37: #include <sys/param.h>
1.67 deraadt 38: #include <sys/types.h>
1.1 markus 39:
1.2 markus 40: #include <openssl/evp.h>
1.65 stevesk 41:
1.66 stevesk 42: #include <stdio.h>
1.65 stevesk 43: #include <string.h>
1.15 markus 44:
1.1 markus 45: #include "xmalloc.h"
46: #include "key.h"
1.12 markus 47: #include "rsa.h"
1.3 markus 48: #include "uuencode.h"
1.12 markus 49: #include "buffer.h"
1.15 markus 50: #include "log.h"
1.89 djm 51: #include "misc.h"
1.83 djm 52: #include "ssh2.h"
53:
54: static struct KeyCert *
55: cert_new(void)
56: {
57: struct KeyCert *cert;
58:
59: cert = xcalloc(1, sizeof(*cert));
60: buffer_init(&cert->certblob);
1.87 djm 61: buffer_init(&cert->critical);
62: buffer_init(&cert->extensions);
1.83 djm 63: cert->key_id = NULL;
64: cert->principals = NULL;
65: cert->signature_key = NULL;
66: return cert;
67: }
1.1 markus 68:
69: Key *
70: key_new(int type)
71: {
72: Key *k;
73: RSA *rsa;
74: DSA *dsa;
1.63 djm 75: k = xcalloc(1, sizeof(*k));
1.1 markus 76: k->type = type;
1.92 djm 77: k->ecdsa = NULL;
78: k->ecdsa_nid = -1;
1.3 markus 79: k->dsa = NULL;
80: k->rsa = NULL;
1.83 djm 81: k->cert = NULL;
1.1 markus 82: switch (k->type) {
1.12 markus 83: case KEY_RSA1:
1.1 markus 84: case KEY_RSA:
1.87 djm 85: case KEY_RSA_CERT_V00:
1.83 djm 86: case KEY_RSA_CERT:
1.38 markus 87: if ((rsa = RSA_new()) == NULL)
88: fatal("key_new: RSA_new failed");
89: if ((rsa->n = BN_new()) == NULL)
90: fatal("key_new: BN_new failed");
91: if ((rsa->e = BN_new()) == NULL)
92: fatal("key_new: BN_new failed");
1.1 markus 93: k->rsa = rsa;
94: break;
95: case KEY_DSA:
1.87 djm 96: case KEY_DSA_CERT_V00:
1.83 djm 97: case KEY_DSA_CERT:
1.38 markus 98: if ((dsa = DSA_new()) == NULL)
99: fatal("key_new: DSA_new failed");
100: if ((dsa->p = BN_new()) == NULL)
101: fatal("key_new: BN_new failed");
102: if ((dsa->q = BN_new()) == NULL)
103: fatal("key_new: BN_new failed");
104: if ((dsa->g = BN_new()) == NULL)
105: fatal("key_new: BN_new failed");
106: if ((dsa->pub_key = BN_new()) == NULL)
107: fatal("key_new: BN_new failed");
1.1 markus 108: k->dsa = dsa;
109: break;
1.92 djm 110: case KEY_ECDSA:
111: case KEY_ECDSA_CERT:
112: /* Cannot do anything until we know the group */
113: break;
1.12 markus 114: case KEY_UNSPEC:
1.1 markus 115: break;
116: default:
117: fatal("key_new: bad key type %d", k->type);
118: break;
119: }
1.83 djm 120:
121: if (key_is_cert(k))
122: k->cert = cert_new();
123:
1.1 markus 124: return k;
125: }
1.45 deraadt 126:
1.83 djm 127: void
128: key_add_private(Key *k)
1.12 markus 129: {
130: switch (k->type) {
131: case KEY_RSA1:
132: case KEY_RSA:
1.87 djm 133: case KEY_RSA_CERT_V00:
1.83 djm 134: case KEY_RSA_CERT:
1.38 markus 135: if ((k->rsa->d = BN_new()) == NULL)
136: fatal("key_new_private: BN_new failed");
137: if ((k->rsa->iqmp = BN_new()) == NULL)
138: fatal("key_new_private: BN_new failed");
139: if ((k->rsa->q = BN_new()) == NULL)
140: fatal("key_new_private: BN_new failed");
141: if ((k->rsa->p = BN_new()) == NULL)
142: fatal("key_new_private: BN_new failed");
143: if ((k->rsa->dmq1 = BN_new()) == NULL)
144: fatal("key_new_private: BN_new failed");
145: if ((k->rsa->dmp1 = BN_new()) == NULL)
146: fatal("key_new_private: BN_new failed");
1.12 markus 147: break;
148: case KEY_DSA:
1.87 djm 149: case KEY_DSA_CERT_V00:
1.83 djm 150: case KEY_DSA_CERT:
1.38 markus 151: if ((k->dsa->priv_key = BN_new()) == NULL)
152: fatal("key_new_private: BN_new failed");
1.12 markus 153: break;
1.92 djm 154: case KEY_ECDSA:
155: case KEY_ECDSA_CERT:
156: /* Cannot do anything until we know the group */
157: break;
1.12 markus 158: case KEY_UNSPEC:
159: break;
160: default:
161: break;
162: }
1.83 djm 163: }
164:
165: Key *
166: key_new_private(int type)
167: {
168: Key *k = key_new(type);
169:
170: key_add_private(k);
1.12 markus 171: return k;
172: }
1.45 deraadt 173:
1.83 djm 174: static void
175: cert_free(struct KeyCert *cert)
176: {
177: u_int i;
178:
179: buffer_free(&cert->certblob);
1.87 djm 180: buffer_free(&cert->critical);
181: buffer_free(&cert->extensions);
1.83 djm 182: if (cert->key_id != NULL)
183: xfree(cert->key_id);
184: for (i = 0; i < cert->nprincipals; i++)
185: xfree(cert->principals[i]);
186: if (cert->principals != NULL)
187: xfree(cert->principals);
188: if (cert->signature_key != NULL)
189: key_free(cert->signature_key);
190: }
191:
1.1 markus 192: void
193: key_free(Key *k)
194: {
1.60 djm 195: if (k == NULL)
1.62 deraadt 196: fatal("key_free: key is NULL");
1.1 markus 197: switch (k->type) {
1.12 markus 198: case KEY_RSA1:
1.1 markus 199: case KEY_RSA:
1.87 djm 200: case KEY_RSA_CERT_V00:
1.83 djm 201: case KEY_RSA_CERT:
1.1 markus 202: if (k->rsa != NULL)
203: RSA_free(k->rsa);
204: k->rsa = NULL;
205: break;
206: case KEY_DSA:
1.87 djm 207: case KEY_DSA_CERT_V00:
1.83 djm 208: case KEY_DSA_CERT:
1.1 markus 209: if (k->dsa != NULL)
210: DSA_free(k->dsa);
211: k->dsa = NULL;
212: break;
1.92 djm 213: case KEY_ECDSA:
214: case KEY_ECDSA_CERT:
215: if (k->ecdsa != NULL)
216: EC_KEY_free(k->ecdsa);
217: k->ecdsa = NULL;
218: break;
1.12 markus 219: case KEY_UNSPEC:
220: break;
1.1 markus 221: default:
222: fatal("key_free: bad key type %d", k->type);
223: break;
224: }
1.83 djm 225: if (key_is_cert(k)) {
226: if (k->cert != NULL)
227: cert_free(k->cert);
228: k->cert = NULL;
229: }
230:
1.1 markus 231: xfree(k);
232: }
1.55 jakob 233:
1.83 djm 234: static int
235: cert_compare(struct KeyCert *a, struct KeyCert *b)
236: {
237: if (a == NULL && b == NULL)
238: return 1;
239: if (a == NULL || b == NULL)
240: return 0;
241: if (buffer_len(&a->certblob) != buffer_len(&b->certblob))
242: return 0;
1.90 djm 243: if (timingsafe_bcmp(buffer_ptr(&a->certblob), buffer_ptr(&b->certblob),
1.83 djm 244: buffer_len(&a->certblob)) != 0)
245: return 0;
246: return 1;
247: }
248:
249: /*
250: * Compare public portions of key only, allowing comparisons between
251: * certificates and plain keys too.
252: */
1.1 markus 253: int
1.83 djm 254: key_equal_public(const Key *a, const Key *b)
1.1 markus 255: {
1.92 djm 256: BN_CTX *bnctx;
257:
1.83 djm 258: if (a == NULL || b == NULL ||
259: key_type_plain(a->type) != key_type_plain(b->type))
1.1 markus 260: return 0;
1.83 djm 261:
1.1 markus 262: switch (a->type) {
1.12 markus 263: case KEY_RSA1:
1.87 djm 264: case KEY_RSA_CERT_V00:
1.83 djm 265: case KEY_RSA_CERT:
1.1 markus 266: case KEY_RSA:
267: return a->rsa != NULL && b->rsa != NULL &&
268: BN_cmp(a->rsa->e, b->rsa->e) == 0 &&
269: BN_cmp(a->rsa->n, b->rsa->n) == 0;
1.87 djm 270: case KEY_DSA_CERT_V00:
1.83 djm 271: case KEY_DSA_CERT:
1.1 markus 272: case KEY_DSA:
273: return a->dsa != NULL && b->dsa != NULL &&
274: BN_cmp(a->dsa->p, b->dsa->p) == 0 &&
275: BN_cmp(a->dsa->q, b->dsa->q) == 0 &&
276: BN_cmp(a->dsa->g, b->dsa->g) == 0 &&
277: BN_cmp(a->dsa->pub_key, b->dsa->pub_key) == 0;
1.92 djm 278: case KEY_ECDSA_CERT:
279: case KEY_ECDSA:
280: if (a->ecdsa == NULL || b->ecdsa == NULL ||
281: EC_KEY_get0_public_key(a->ecdsa) == NULL ||
282: EC_KEY_get0_public_key(b->ecdsa) == NULL)
283: return 0;
284: if ((bnctx = BN_CTX_new()) == NULL)
285: fatal("%s: BN_CTX_new failed", __func__);
286: if (EC_GROUP_cmp(EC_KEY_get0_group(a->ecdsa),
287: EC_KEY_get0_group(b->ecdsa), bnctx) != 0 ||
288: EC_POINT_cmp(EC_KEY_get0_group(a->ecdsa),
289: EC_KEY_get0_public_key(a->ecdsa),
290: EC_KEY_get0_public_key(b->ecdsa), bnctx) != 0) {
291: BN_CTX_free(bnctx);
292: return 0;
293: }
294: BN_CTX_free(bnctx);
295: return 1;
1.1 markus 296: default:
1.3 markus 297: fatal("key_equal: bad key type %d", a->type);
1.1 markus 298: }
1.78 stevesk 299: /* NOTREACHED */
1.1 markus 300: }
301:
1.83 djm 302: int
303: key_equal(const Key *a, const Key *b)
304: {
305: if (a == NULL || b == NULL || a->type != b->type)
306: return 0;
307: if (key_is_cert(a)) {
308: if (!cert_compare(a->cert, b->cert))
309: return 0;
310: }
311: return key_equal_public(a, b);
312: }
313:
1.52 jakob 314: u_char*
1.83 djm 315: key_fingerprint_raw(Key *k, enum fp_type dgst_type, u_int *dgst_raw_length)
1.1 markus 316: {
1.41 markus 317: const EVP_MD *md = NULL;
1.21 markus 318: EVP_MD_CTX ctx;
1.13 markus 319: u_char *blob = NULL;
1.19 jakob 320: u_char *retval = NULL;
1.40 markus 321: u_int len = 0;
1.83 djm 322: int nlen, elen, otype;
1.1 markus 323:
1.19 jakob 324: *dgst_raw_length = 0;
325:
1.21 markus 326: switch (dgst_type) {
327: case SSH_FP_MD5:
328: md = EVP_md5();
329: break;
330: case SSH_FP_SHA1:
331: md = EVP_sha1();
332: break;
333: default:
334: fatal("key_fingerprint_raw: bad digest type %d",
335: dgst_type);
336: }
1.1 markus 337: switch (k->type) {
1.12 markus 338: case KEY_RSA1:
1.1 markus 339: nlen = BN_num_bytes(k->rsa->n);
340: elen = BN_num_bytes(k->rsa->e);
341: len = nlen + elen;
1.3 markus 342: blob = xmalloc(len);
343: BN_bn2bin(k->rsa->n, blob);
344: BN_bn2bin(k->rsa->e, blob + nlen);
1.1 markus 345: break;
346: case KEY_DSA:
1.92 djm 347: case KEY_ECDSA:
1.12 markus 348: case KEY_RSA:
349: key_to_blob(k, &blob, &len);
350: break;
1.87 djm 351: case KEY_DSA_CERT_V00:
352: case KEY_RSA_CERT_V00:
1.83 djm 353: case KEY_DSA_CERT:
1.92 djm 354: case KEY_ECDSA_CERT:
1.83 djm 355: case KEY_RSA_CERT:
356: /* We want a fingerprint of the _key_ not of the cert */
357: otype = k->type;
358: k->type = key_type_plain(k->type);
359: key_to_blob(k, &blob, &len);
360: k->type = otype;
361: break;
1.12 markus 362: case KEY_UNSPEC:
363: return retval;
1.1 markus 364: default:
1.19 jakob 365: fatal("key_fingerprint_raw: bad key type %d", k->type);
1.1 markus 366: break;
367: }
1.3 markus 368: if (blob != NULL) {
1.19 jakob 369: retval = xmalloc(EVP_MAX_MD_SIZE);
1.8 markus 370: EVP_DigestInit(&ctx, md);
371: EVP_DigestUpdate(&ctx, blob, len);
1.39 markus 372: EVP_DigestFinal(&ctx, retval, dgst_raw_length);
1.3 markus 373: memset(blob, 0, len);
374: xfree(blob);
1.19 jakob 375: } else {
376: fatal("key_fingerprint_raw: blob is null");
1.1 markus 377: }
1.19 jakob 378: return retval;
379: }
380:
1.46 deraadt 381: static char *
382: key_fingerprint_hex(u_char *dgst_raw, u_int dgst_raw_len)
1.19 jakob 383: {
384: char *retval;
1.58 djm 385: u_int i;
1.19 jakob 386:
1.63 djm 387: retval = xcalloc(1, dgst_raw_len * 3 + 1);
1.36 deraadt 388: for (i = 0; i < dgst_raw_len; i++) {
1.19 jakob 389: char hex[4];
390: snprintf(hex, sizeof(hex), "%02x:", dgst_raw[i]);
1.54 avsm 391: strlcat(retval, hex, dgst_raw_len * 3 + 1);
1.19 jakob 392: }
1.54 avsm 393:
394: /* Remove the trailing ':' character */
1.19 jakob 395: retval[(dgst_raw_len * 3) - 1] = '\0';
396: return retval;
397: }
398:
1.46 deraadt 399: static char *
400: key_fingerprint_bubblebabble(u_char *dgst_raw, u_int dgst_raw_len)
1.19 jakob 401: {
402: char vowels[] = { 'a', 'e', 'i', 'o', 'u', 'y' };
403: char consonants[] = { 'b', 'c', 'd', 'f', 'g', 'h', 'k', 'l', 'm',
404: 'n', 'p', 'r', 's', 't', 'v', 'z', 'x' };
1.20 jakob 405: u_int i, j = 0, rounds, seed = 1;
1.19 jakob 406: char *retval;
407:
408: rounds = (dgst_raw_len / 2) + 1;
1.63 djm 409: retval = xcalloc((rounds * 6), sizeof(char));
1.20 jakob 410: retval[j++] = 'x';
411: for (i = 0; i < rounds; i++) {
1.19 jakob 412: u_int idx0, idx1, idx2, idx3, idx4;
1.20 jakob 413: if ((i + 1 < rounds) || (dgst_raw_len % 2 != 0)) {
414: idx0 = (((((u_int)(dgst_raw[2 * i])) >> 6) & 3) +
1.19 jakob 415: seed) % 6;
1.20 jakob 416: idx1 = (((u_int)(dgst_raw[2 * i])) >> 2) & 15;
417: idx2 = ((((u_int)(dgst_raw[2 * i])) & 3) +
1.19 jakob 418: (seed / 6)) % 6;
1.20 jakob 419: retval[j++] = vowels[idx0];
420: retval[j++] = consonants[idx1];
421: retval[j++] = vowels[idx2];
422: if ((i + 1) < rounds) {
423: idx3 = (((u_int)(dgst_raw[(2 * i) + 1])) >> 4) & 15;
424: idx4 = (((u_int)(dgst_raw[(2 * i) + 1]))) & 15;
425: retval[j++] = consonants[idx3];
426: retval[j++] = '-';
427: retval[j++] = consonants[idx4];
1.19 jakob 428: seed = ((seed * 5) +
1.20 jakob 429: ((((u_int)(dgst_raw[2 * i])) * 7) +
430: ((u_int)(dgst_raw[(2 * i) + 1])))) % 36;
1.19 jakob 431: }
432: } else {
433: idx0 = seed % 6;
434: idx1 = 16;
435: idx2 = seed / 6;
1.20 jakob 436: retval[j++] = vowels[idx0];
437: retval[j++] = consonants[idx1];
438: retval[j++] = vowels[idx2];
1.19 jakob 439: }
440: }
1.20 jakob 441: retval[j++] = 'x';
442: retval[j++] = '\0';
1.19 jakob 443: return retval;
444: }
445:
1.70 grunk 446: /*
447: * Draw an ASCII-Art representing the fingerprint so human brain can
448: * profit from its built-in pattern recognition ability.
449: * This technique is called "random art" and can be found in some
450: * scientific publications like this original paper:
451: *
452: * "Hash Visualization: a New Technique to improve Real-World Security",
453: * Perrig A. and Song D., 1999, International Workshop on Cryptographic
454: * Techniques and E-Commerce (CrypTEC '99)
455: * sparrow.ece.cmu.edu/~adrian/projects/validation/validation.pdf
456: *
457: * The subject came up in a talk by Dan Kaminsky, too.
458: *
459: * If you see the picture is different, the key is different.
460: * If the picture looks the same, you still know nothing.
461: *
462: * The algorithm used here is a worm crawling over a discrete plane,
463: * leaving a trace (augmenting the field) everywhere it goes.
464: * Movement is taken from dgst_raw 2bit-wise. Bumping into walls
465: * makes the respective movement vector be ignored for this turn.
466: * Graphs are not unambiguous, because circles in graphs can be
467: * walked in either direction.
468: */
1.74 grunk 469:
470: /*
471: * Field sizes for the random art. Have to be odd, so the starting point
472: * can be in the exact middle of the picture, and FLDBASE should be >=8 .
473: * Else pictures would be too dense, and drawing the frame would
474: * fail, too, because the key type would not fit in anymore.
475: */
476: #define FLDBASE 8
477: #define FLDSIZE_Y (FLDBASE + 1)
478: #define FLDSIZE_X (FLDBASE * 2 + 1)
1.70 grunk 479: static char *
1.74 grunk 480: key_fingerprint_randomart(u_char *dgst_raw, u_int dgst_raw_len, const Key *k)
1.70 grunk 481: {
482: /*
483: * Chars to be used after each other every time the worm
484: * intersects with itself. Matter of taste.
485: */
1.75 grunk 486: char *augmentation_string = " .o+=*BOX@%&#/^SE";
1.70 grunk 487: char *retval, *p;
1.71 otto 488: u_char field[FLDSIZE_X][FLDSIZE_Y];
1.70 grunk 489: u_int i, b;
490: int x, y;
1.72 grunk 491: size_t len = strlen(augmentation_string) - 1;
1.70 grunk 492:
493: retval = xcalloc(1, (FLDSIZE_X + 3) * (FLDSIZE_Y + 2));
494:
495: /* initialize field */
1.71 otto 496: memset(field, 0, FLDSIZE_X * FLDSIZE_Y * sizeof(char));
1.70 grunk 497: x = FLDSIZE_X / 2;
498: y = FLDSIZE_Y / 2;
499:
500: /* process raw key */
501: for (i = 0; i < dgst_raw_len; i++) {
502: int input;
503: /* each byte conveys four 2-bit move commands */
504: input = dgst_raw[i];
505: for (b = 0; b < 4; b++) {
506: /* evaluate 2 bit, rest is shifted later */
507: x += (input & 0x1) ? 1 : -1;
508: y += (input & 0x2) ? 1 : -1;
509:
510: /* assure we are still in bounds */
511: x = MAX(x, 0);
512: y = MAX(y, 0);
513: x = MIN(x, FLDSIZE_X - 1);
514: y = MIN(y, FLDSIZE_Y - 1);
515:
516: /* augment the field */
1.79 grunk 517: if (field[x][y] < len - 2)
518: field[x][y]++;
1.70 grunk 519: input = input >> 2;
520: }
521: }
1.75 grunk 522:
523: /* mark starting point and end point*/
524: field[FLDSIZE_X / 2][FLDSIZE_Y / 2] = len - 1;
525: field[x][y] = len;
1.70 grunk 526:
527: /* fill in retval */
1.77 otto 528: snprintf(retval, FLDSIZE_X, "+--[%4s %4u]", key_type(k), key_size(k));
1.74 grunk 529: p = strchr(retval, '\0');
1.70 grunk 530:
531: /* output upper border */
1.77 otto 532: for (i = p - retval - 1; i < FLDSIZE_X; i++)
1.70 grunk 533: *p++ = '-';
534: *p++ = '+';
535: *p++ = '\n';
536:
537: /* output content */
538: for (y = 0; y < FLDSIZE_Y; y++) {
539: *p++ = '|';
540: for (x = 0; x < FLDSIZE_X; x++)
1.72 grunk 541: *p++ = augmentation_string[MIN(field[x][y], len)];
1.70 grunk 542: *p++ = '|';
543: *p++ = '\n';
544: }
545:
546: /* output lower border */
547: *p++ = '+';
548: for (i = 0; i < FLDSIZE_X; i++)
549: *p++ = '-';
550: *p++ = '+';
551:
552: return retval;
553: }
554:
1.46 deraadt 555: char *
1.83 djm 556: key_fingerprint(Key *k, enum fp_type dgst_type, enum fp_rep dgst_rep)
1.19 jakob 557: {
1.23 markus 558: char *retval = NULL;
1.19 jakob 559: u_char *dgst_raw;
1.39 markus 560: u_int dgst_raw_len;
1.36 deraadt 561:
1.19 jakob 562: dgst_raw = key_fingerprint_raw(k, dgst_type, &dgst_raw_len);
563: if (!dgst_raw)
1.22 markus 564: fatal("key_fingerprint: null from key_fingerprint_raw()");
1.35 deraadt 565: switch (dgst_rep) {
1.19 jakob 566: case SSH_FP_HEX:
567: retval = key_fingerprint_hex(dgst_raw, dgst_raw_len);
568: break;
569: case SSH_FP_BUBBLEBABBLE:
570: retval = key_fingerprint_bubblebabble(dgst_raw, dgst_raw_len);
1.70 grunk 571: break;
572: case SSH_FP_RANDOMART:
1.74 grunk 573: retval = key_fingerprint_randomart(dgst_raw, dgst_raw_len, k);
1.19 jakob 574: break;
575: default:
1.80 stevesk 576: fatal("key_fingerprint: bad digest representation %d",
1.19 jakob 577: dgst_rep);
578: break;
579: }
580: memset(dgst_raw, 0, dgst_raw_len);
581: xfree(dgst_raw);
1.1 markus 582: return retval;
583: }
584:
585: /*
586: * Reads a multiple-precision integer in decimal from the buffer, and advances
587: * the pointer. The integer must already be initialized. This function is
588: * permitted to modify the buffer. This leaves *cpp to point just beyond the
589: * last processed (and maybe modified) character. Note that this may modify
590: * the buffer containing the number.
591: */
1.27 itojun 592: static int
1.1 markus 593: read_bignum(char **cpp, BIGNUM * value)
594: {
595: char *cp = *cpp;
596: int old;
597:
598: /* Skip any leading whitespace. */
599: for (; *cp == ' ' || *cp == '\t'; cp++)
600: ;
601:
602: /* Check that it begins with a decimal digit. */
603: if (*cp < '0' || *cp > '9')
604: return 0;
605:
606: /* Save starting position. */
607: *cpp = cp;
608:
609: /* Move forward until all decimal digits skipped. */
610: for (; *cp >= '0' && *cp <= '9'; cp++)
611: ;
612:
613: /* Save the old terminating character, and replace it by \0. */
614: old = *cp;
615: *cp = 0;
616:
617: /* Parse the number. */
618: if (BN_dec2bn(&value, *cpp) == 0)
619: return 0;
620:
621: /* Restore old terminating character. */
622: *cp = old;
623:
624: /* Move beyond the number and return success. */
625: *cpp = cp;
626: return 1;
627: }
1.45 deraadt 628:
1.27 itojun 629: static int
1.1 markus 630: write_bignum(FILE *f, BIGNUM *num)
631: {
632: char *buf = BN_bn2dec(num);
633: if (buf == NULL) {
634: error("write_bignum: BN_bn2dec() failed");
635: return 0;
636: }
637: fprintf(f, " %s", buf);
1.33 markus 638: OPENSSL_free(buf);
1.1 markus 639: return 1;
640: }
1.12 markus 641:
1.32 markus 642: /* returns 1 ok, -1 error */
1.12 markus 643: int
1.3 markus 644: key_read(Key *ret, char **cpp)
1.1 markus 645: {
1.3 markus 646: Key *k;
1.12 markus 647: int success = -1;
648: char *cp, *space;
1.92 djm 649: int len, n, type, curve_nid = -1;
1.12 markus 650: u_int bits;
1.13 markus 651: u_char *blob;
1.3 markus 652:
653: cp = *cpp;
654:
1.35 deraadt 655: switch (ret->type) {
1.12 markus 656: case KEY_RSA1:
1.3 markus 657: /* Get number of bits. */
658: if (*cp < '0' || *cp > '9')
1.12 markus 659: return -1; /* Bad bit count... */
1.3 markus 660: for (bits = 0; *cp >= '0' && *cp <= '9'; cp++)
661: bits = 10 * bits + *cp - '0';
1.1 markus 662: if (bits == 0)
1.12 markus 663: return -1;
1.3 markus 664: *cpp = cp;
1.1 markus 665: /* Get public exponent, public modulus. */
666: if (!read_bignum(cpp, ret->rsa->e))
1.12 markus 667: return -1;
1.1 markus 668: if (!read_bignum(cpp, ret->rsa->n))
1.12 markus 669: return -1;
1.82 dtucker 670: /* validate the claimed number of bits */
671: if ((u_int)BN_num_bits(ret->rsa->n) != bits) {
672: verbose("key_read: claimed key size %d does not match "
673: "actual %d", bits, BN_num_bits(ret->rsa->n));
674: return -1;
675: }
1.12 markus 676: success = 1;
1.1 markus 677: break;
1.12 markus 678: case KEY_UNSPEC:
679: case KEY_RSA:
1.1 markus 680: case KEY_DSA:
1.92 djm 681: case KEY_ECDSA:
1.87 djm 682: case KEY_DSA_CERT_V00:
683: case KEY_RSA_CERT_V00:
1.83 djm 684: case KEY_DSA_CERT:
1.92 djm 685: case KEY_ECDSA_CERT:
1.83 djm 686: case KEY_RSA_CERT:
1.12 markus 687: space = strchr(cp, ' ');
688: if (space == NULL) {
1.50 markus 689: debug3("key_read: missing whitespace");
1.12 markus 690: return -1;
691: }
692: *space = '\0';
693: type = key_type_from_name(cp);
1.92 djm 694: if (key_type_plain(type) == KEY_ECDSA &&
695: (curve_nid = key_ecdsa_nid_from_name(cp)) == -1) {
696: debug("key_read: invalid curve");
697: return -1;
698: }
1.12 markus 699: *space = ' ';
700: if (type == KEY_UNSPEC) {
1.50 markus 701: debug3("key_read: missing keytype");
1.12 markus 702: return -1;
703: }
704: cp = space+1;
705: if (*cp == '\0') {
706: debug3("key_read: short string");
707: return -1;
708: }
709: if (ret->type == KEY_UNSPEC) {
710: ret->type = type;
711: } else if (ret->type != type) {
712: /* is a key, but different type */
713: debug3("key_read: type mismatch");
1.32 markus 714: return -1;
1.12 markus 715: }
1.3 markus 716: len = 2*strlen(cp);
717: blob = xmalloc(len);
718: n = uudecode(cp, blob, len);
1.6 markus 719: if (n < 0) {
1.7 markus 720: error("key_read: uudecode %s failed", cp);
1.34 markus 721: xfree(blob);
1.12 markus 722: return -1;
1.6 markus 723: }
1.53 markus 724: k = key_from_blob(blob, (u_int)n);
1.34 markus 725: xfree(blob);
1.7 markus 726: if (k == NULL) {
1.12 markus 727: error("key_read: key_from_blob %s failed", cp);
728: return -1;
1.7 markus 729: }
1.12 markus 730: if (k->type != type) {
731: error("key_read: type mismatch: encoding error");
732: key_free(k);
733: return -1;
734: }
1.92 djm 735: if (key_type_plain(type) == KEY_ECDSA &&
736: curve_nid != k->ecdsa_nid) {
737: error("key_read: type mismatch: EC curve mismatch");
738: key_free(k);
739: return -1;
740: }
1.12 markus 741: /*XXXX*/
1.83 djm 742: if (key_is_cert(ret)) {
743: if (!key_is_cert(k)) {
744: error("key_read: loaded key is not a cert");
745: key_free(k);
746: return -1;
747: }
748: if (ret->cert != NULL)
749: cert_free(ret->cert);
750: ret->cert = k->cert;
751: k->cert = NULL;
752: }
753: if (key_type_plain(ret->type) == KEY_RSA) {
1.12 markus 754: if (ret->rsa != NULL)
755: RSA_free(ret->rsa);
756: ret->rsa = k->rsa;
757: k->rsa = NULL;
758: #ifdef DEBUG_PK
759: RSA_print_fp(stderr, ret->rsa, 8);
760: #endif
1.83 djm 761: }
762: if (key_type_plain(ret->type) == KEY_DSA) {
1.12 markus 763: if (ret->dsa != NULL)
764: DSA_free(ret->dsa);
765: ret->dsa = k->dsa;
766: k->dsa = NULL;
767: #ifdef DEBUG_PK
768: DSA_print_fp(stderr, ret->dsa, 8);
769: #endif
770: }
1.92 djm 771: if (key_type_plain(ret->type) == KEY_ECDSA) {
772: if (ret->ecdsa != NULL)
773: EC_KEY_free(ret->ecdsa);
774: ret->ecdsa = k->ecdsa;
775: ret->ecdsa_nid = k->ecdsa_nid;
776: k->ecdsa = NULL;
777: k->ecdsa_nid = -1;
778: #ifdef DEBUG_PK
779: key_dump_ec_key(ret->ecdsa);
780: #endif
781: }
1.83 djm 782: success = 1;
1.12 markus 783: /*XXXX*/
1.34 markus 784: key_free(k);
1.12 markus 785: if (success != 1)
786: break;
1.7 markus 787: /* advance cp: skip whitespace and data */
788: while (*cp == ' ' || *cp == '\t')
789: cp++;
790: while (*cp != '\0' && *cp != ' ' && *cp != '\t')
791: cp++;
792: *cpp = cp;
1.1 markus 793: break;
794: default:
1.3 markus 795: fatal("key_read: bad key type: %d", ret->type);
1.1 markus 796: break;
797: }
1.12 markus 798: return success;
1.1 markus 799: }
1.45 deraadt 800:
1.1 markus 801: int
1.55 jakob 802: key_write(const Key *key, FILE *f)
1.1 markus 803: {
1.40 markus 804: int n, success = 0;
805: u_int len, bits = 0;
1.49 markus 806: u_char *blob;
807: char *uu;
1.1 markus 808:
1.83 djm 809: if (key_is_cert(key)) {
810: if (key->cert == NULL) {
811: error("%s: no cert data", __func__);
812: return 0;
813: }
814: if (buffer_len(&key->cert->certblob) == 0) {
815: error("%s: no signed certificate blob", __func__);
816: return 0;
817: }
818: }
819:
820: switch (key->type) {
821: case KEY_RSA1:
822: if (key->rsa == NULL)
823: return 0;
1.1 markus 824: /* size of modulus 'n' */
825: bits = BN_num_bits(key->rsa->n);
826: fprintf(f, "%u", bits);
827: if (write_bignum(f, key->rsa->e) &&
1.83 djm 828: write_bignum(f, key->rsa->n))
829: return 1;
830: error("key_write: failed for RSA key");
831: return 0;
832: case KEY_DSA:
1.87 djm 833: case KEY_DSA_CERT_V00:
1.83 djm 834: case KEY_DSA_CERT:
835: if (key->dsa == NULL)
836: return 0;
837: break;
1.92 djm 838: case KEY_ECDSA:
839: case KEY_ECDSA_CERT:
840: if (key->ecdsa == NULL)
841: return 0;
842: break;
1.83 djm 843: case KEY_RSA:
1.87 djm 844: case KEY_RSA_CERT_V00:
1.83 djm 845: case KEY_RSA_CERT:
846: if (key->rsa == NULL)
847: return 0;
848: break;
849: default:
850: return 0;
851: }
852:
853: key_to_blob(key, &blob, &len);
854: uu = xmalloc(2*len);
855: n = uuencode(blob, len, uu, 2*len);
856: if (n > 0) {
857: fprintf(f, "%s %s", key_ssh_name(key), uu);
858: success = 1;
1.1 markus 859: }
1.83 djm 860: xfree(blob);
861: xfree(uu);
862:
1.1 markus 863: return success;
864: }
1.45 deraadt 865:
1.55 jakob 866: const char *
867: key_type(const Key *k)
1.4 markus 868: {
869: switch (k->type) {
1.12 markus 870: case KEY_RSA1:
871: return "RSA1";
1.4 markus 872: case KEY_RSA:
873: return "RSA";
874: case KEY_DSA:
875: return "DSA";
1.92 djm 876: case KEY_ECDSA:
877: return "ECDSA";
1.87 djm 878: case KEY_RSA_CERT_V00:
879: return "RSA-CERT-V00";
880: case KEY_DSA_CERT_V00:
881: return "DSA-CERT-V00";
1.83 djm 882: case KEY_RSA_CERT:
883: return "RSA-CERT";
884: case KEY_DSA_CERT:
885: return "DSA-CERT";
1.92 djm 886: case KEY_ECDSA_CERT:
887: return "ECDSA-CERT";
1.4 markus 888: }
889: return "unknown";
1.86 stevesk 890: }
891:
892: const char *
893: key_cert_type(const Key *k)
894: {
895: switch (k->cert->type) {
896: case SSH2_CERT_TYPE_USER:
897: return "user";
898: case SSH2_CERT_TYPE_HOST:
899: return "host";
900: default:
901: return "unknown";
902: }
1.10 markus 903: }
1.45 deraadt 904:
1.92 djm 905: static const char *
906: key_ssh_name_from_type_nid(int type, int nid)
1.12 markus 907: {
1.92 djm 908: switch (type) {
1.12 markus 909: case KEY_RSA:
910: return "ssh-rsa";
911: case KEY_DSA:
912: return "ssh-dss";
1.87 djm 913: case KEY_RSA_CERT_V00:
914: return "ssh-rsa-cert-v00@openssh.com";
915: case KEY_DSA_CERT_V00:
916: return "ssh-dss-cert-v00@openssh.com";
1.83 djm 917: case KEY_RSA_CERT:
1.87 djm 918: return "ssh-rsa-cert-v01@openssh.com";
1.83 djm 919: case KEY_DSA_CERT:
1.87 djm 920: return "ssh-dss-cert-v01@openssh.com";
1.92 djm 921: case KEY_ECDSA:
922: switch (nid) {
923: case NID_X9_62_prime256v1:
924: return "ecdsa-sha2-nistp256";
925: case NID_secp384r1:
926: return "ecdsa-sha2-nistp384";
927: case NID_secp521r1:
928: return "ecdsa-sha2-nistp521";
929: default:
930: break;
931: }
932: break;
933: case KEY_ECDSA_CERT:
934: switch (nid) {
935: case NID_X9_62_prime256v1:
936: return "ecdsa-sha2-nistp256-cert-v01@openssh.com";
937: case NID_secp384r1:
938: return "ecdsa-sha2-nistp384-cert-v01@openssh.com";
939: case NID_secp521r1:
940: return "ecdsa-sha2-nistp521-cert-v01@openssh.com";
941: default:
942: break;
943: }
944: break;
1.12 markus 945: }
946: return "ssh-unknown";
947: }
1.45 deraadt 948:
1.92 djm 949: const char *
950: key_ssh_name(const Key *k)
951: {
952: return key_ssh_name_from_type_nid(k->type, k->ecdsa_nid);
953: }
954:
955: const char *
956: key_ssh_name_plain(const Key *k)
957: {
958: return key_ssh_name_from_type_nid(key_type_plain(k->type),
959: k->ecdsa_nid);
960: }
961:
1.12 markus 962: u_int
1.55 jakob 963: key_size(const Key *k)
1.35 deraadt 964: {
1.10 markus 965: switch (k->type) {
1.12 markus 966: case KEY_RSA1:
1.10 markus 967: case KEY_RSA:
1.87 djm 968: case KEY_RSA_CERT_V00:
1.83 djm 969: case KEY_RSA_CERT:
1.10 markus 970: return BN_num_bits(k->rsa->n);
971: case KEY_DSA:
1.87 djm 972: case KEY_DSA_CERT_V00:
1.83 djm 973: case KEY_DSA_CERT:
1.10 markus 974: return BN_num_bits(k->dsa->p);
1.92 djm 975: case KEY_ECDSA:
976: case KEY_ECDSA_CERT:
1.93 djm 977: return key_curve_nid_to_bits(k->ecdsa_nid);
1.10 markus 978: }
979: return 0;
1.12 markus 980: }
981:
1.27 itojun 982: static RSA *
1.13 markus 983: rsa_generate_private_key(u_int bits)
1.12 markus 984: {
1.95 djm 985: RSA *private = RSA_new();
986: BIGNUM *f4 = BN_new();
1.61 deraadt 987:
1.17 stevesk 988: if (private == NULL)
1.95 djm 989: fatal("%s: RSA_new failed", __func__);
990: if (f4 == NULL)
991: fatal("%s: BN_new failed", __func__);
992: if (!BN_set_word(f4, RSA_F4))
993: fatal("%s: BN_new failed", __func__);
994: if (!RSA_generate_key_ex(private, bits, f4, NULL))
995: fatal("%s: key generation failed.", __func__);
996: BN_free(f4);
1.17 stevesk 997: return private;
1.12 markus 998: }
999:
1.27 itojun 1000: static DSA*
1.13 markus 1001: dsa_generate_private_key(u_int bits)
1.12 markus 1002: {
1.95 djm 1003: DSA *private = DSA_new();
1.61 deraadt 1004:
1.12 markus 1005: if (private == NULL)
1.95 djm 1006: fatal("%s: DSA_new failed", __func__);
1007: if (!DSA_generate_parameters_ex(private, bits, NULL, 0, NULL,
1008: NULL, NULL))
1009: fatal("%s: DSA_generate_parameters failed", __func__);
1.12 markus 1010: if (!DSA_generate_key(private))
1.95 djm 1011: fatal("%s: DSA_generate_key failed.", __func__);
1.12 markus 1012: return private;
1013: }
1014:
1.92 djm 1015: int
1016: key_ecdsa_bits_to_nid(int bits)
1017: {
1018: switch (bits) {
1019: case 256:
1020: return NID_X9_62_prime256v1;
1021: case 384:
1022: return NID_secp384r1;
1023: case 521:
1024: return NID_secp521r1;
1025: default:
1026: return -1;
1027: }
1028: }
1029:
1030: int
1.94 djm 1031: key_ecdsa_key_to_nid(EC_KEY *k)
1.92 djm 1032: {
1033: EC_GROUP *eg;
1034: int nids[] = {
1035: NID_X9_62_prime256v1,
1036: NID_secp384r1,
1037: NID_secp521r1,
1038: -1
1039: };
1.94 djm 1040: int nid;
1.92 djm 1041: u_int i;
1042: BN_CTX *bnctx;
1.94 djm 1043: const EC_GROUP *g = EC_KEY_get0_group(k);
1.92 djm 1044:
1.94 djm 1045: /*
1046: * The group may be stored in a ASN.1 encoded private key in one of two
1047: * ways: as a "named group", which is reconstituted by ASN.1 object ID
1048: * or explicit group parameters encoded into the key blob. Only the
1049: * "named group" case sets the group NID for us, but we can figure
1050: * it out for the other case by comparing against all the groups that
1051: * are supported.
1052: */
1053: if ((nid = EC_GROUP_get_curve_name(g)) > 0)
1054: return nid;
1.92 djm 1055: if ((bnctx = BN_CTX_new()) == NULL)
1056: fatal("%s: BN_CTX_new() failed", __func__);
1057: for (i = 0; nids[i] != -1; i++) {
1058: if ((eg = EC_GROUP_new_by_curve_name(nids[i])) == NULL)
1059: fatal("%s: EC_GROUP_new_by_curve_name failed",
1060: __func__);
1.94 djm 1061: if (EC_GROUP_cmp(g, eg, bnctx) == 0)
1.92 djm 1062: break;
1063: EC_GROUP_free(eg);
1064: }
1065: BN_CTX_free(bnctx);
1066: debug3("%s: nid = %d", __func__, nids[i]);
1.94 djm 1067: if (nids[i] != -1) {
1068: /* Use the group with the NID attached */
1069: EC_GROUP_set_asn1_flag(eg, OPENSSL_EC_NAMED_CURVE);
1070: if (EC_KEY_set_group(k, eg) != 1)
1071: fatal("%s: EC_KEY_set_group", __func__);
1072: }
1.92 djm 1073: return nids[i];
1074: }
1075:
1076: static EC_KEY*
1077: ecdsa_generate_private_key(u_int bits, int *nid)
1078: {
1079: EC_KEY *private;
1080:
1081: if ((*nid = key_ecdsa_bits_to_nid(bits)) == -1)
1082: fatal("%s: invalid key length", __func__);
1083: if ((private = EC_KEY_new_by_curve_name(*nid)) == NULL)
1084: fatal("%s: EC_KEY_new_by_curve_name failed", __func__);
1085: if (EC_KEY_generate_key(private) != 1)
1086: fatal("%s: EC_KEY_generate_key failed", __func__);
1.94 djm 1087: EC_KEY_set_asn1_flag(private, OPENSSL_EC_NAMED_CURVE);
1.92 djm 1088: return private;
1089: }
1090:
1.12 markus 1091: Key *
1.13 markus 1092: key_generate(int type, u_int bits)
1.12 markus 1093: {
1094: Key *k = key_new(KEY_UNSPEC);
1095: switch (type) {
1.17 stevesk 1096: case KEY_DSA:
1.12 markus 1097: k->dsa = dsa_generate_private_key(bits);
1098: break;
1.92 djm 1099: case KEY_ECDSA:
1100: k->ecdsa = ecdsa_generate_private_key(bits, &k->ecdsa_nid);
1101: break;
1.12 markus 1102: case KEY_RSA:
1103: case KEY_RSA1:
1104: k->rsa = rsa_generate_private_key(bits);
1105: break;
1.87 djm 1106: case KEY_RSA_CERT_V00:
1107: case KEY_DSA_CERT_V00:
1.83 djm 1108: case KEY_RSA_CERT:
1109: case KEY_DSA_CERT:
1110: fatal("key_generate: cert keys cannot be generated directly");
1.12 markus 1111: default:
1.17 stevesk 1112: fatal("key_generate: unknown type %d", type);
1.12 markus 1113: }
1.17 stevesk 1114: k->type = type;
1.12 markus 1115: return k;
1116: }
1117:
1.83 djm 1118: void
1119: key_cert_copy(const Key *from_key, struct Key *to_key)
1120: {
1121: u_int i;
1122: const struct KeyCert *from;
1123: struct KeyCert *to;
1124:
1125: if (to_key->cert != NULL) {
1126: cert_free(to_key->cert);
1127: to_key->cert = NULL;
1128: }
1129:
1130: if ((from = from_key->cert) == NULL)
1131: return;
1132:
1133: to = to_key->cert = cert_new();
1134:
1135: buffer_append(&to->certblob, buffer_ptr(&from->certblob),
1136: buffer_len(&from->certblob));
1137:
1.87 djm 1138: buffer_append(&to->critical,
1139: buffer_ptr(&from->critical), buffer_len(&from->critical));
1140: buffer_append(&to->extensions,
1141: buffer_ptr(&from->extensions), buffer_len(&from->extensions));
1.83 djm 1142:
1.87 djm 1143: to->serial = from->serial;
1.83 djm 1144: to->type = from->type;
1145: to->key_id = from->key_id == NULL ? NULL : xstrdup(from->key_id);
1146: to->valid_after = from->valid_after;
1147: to->valid_before = from->valid_before;
1148: to->signature_key = from->signature_key == NULL ?
1149: NULL : key_from_private(from->signature_key);
1150:
1151: to->nprincipals = from->nprincipals;
1152: if (to->nprincipals > CERT_MAX_PRINCIPALS)
1153: fatal("%s: nprincipals (%u) > CERT_MAX_PRINCIPALS (%u)",
1154: __func__, to->nprincipals, CERT_MAX_PRINCIPALS);
1155: if (to->nprincipals > 0) {
1156: to->principals = xcalloc(from->nprincipals,
1157: sizeof(*to->principals));
1158: for (i = 0; i < to->nprincipals; i++)
1159: to->principals[i] = xstrdup(from->principals[i]);
1160: }
1161: }
1162:
1.12 markus 1163: Key *
1.55 jakob 1164: key_from_private(const Key *k)
1.12 markus 1165: {
1166: Key *n = NULL;
1167: switch (k->type) {
1.17 stevesk 1168: case KEY_DSA:
1.87 djm 1169: case KEY_DSA_CERT_V00:
1.83 djm 1170: case KEY_DSA_CERT:
1.12 markus 1171: n = key_new(k->type);
1.68 markus 1172: if ((BN_copy(n->dsa->p, k->dsa->p) == NULL) ||
1173: (BN_copy(n->dsa->q, k->dsa->q) == NULL) ||
1174: (BN_copy(n->dsa->g, k->dsa->g) == NULL) ||
1175: (BN_copy(n->dsa->pub_key, k->dsa->pub_key) == NULL))
1176: fatal("key_from_private: BN_copy failed");
1.12 markus 1177: break;
1.92 djm 1178: case KEY_ECDSA:
1179: case KEY_ECDSA_CERT:
1180: n = key_new(k->type);
1181: n->ecdsa_nid = k->ecdsa_nid;
1182: if ((n->ecdsa = EC_KEY_new_by_curve_name(k->ecdsa_nid)) == NULL)
1183: fatal("%s: EC_KEY_new_by_curve_name failed", __func__);
1184: if (EC_KEY_set_public_key(n->ecdsa,
1185: EC_KEY_get0_public_key(k->ecdsa)) != 1)
1186: fatal("%s: EC_KEY_set_public_key failed", __func__);
1187: break;
1.12 markus 1188: case KEY_RSA:
1189: case KEY_RSA1:
1.87 djm 1190: case KEY_RSA_CERT_V00:
1.83 djm 1191: case KEY_RSA_CERT:
1.12 markus 1192: n = key_new(k->type);
1.68 markus 1193: if ((BN_copy(n->rsa->n, k->rsa->n) == NULL) ||
1194: (BN_copy(n->rsa->e, k->rsa->e) == NULL))
1195: fatal("key_from_private: BN_copy failed");
1.12 markus 1196: break;
1197: default:
1.17 stevesk 1198: fatal("key_from_private: unknown type %d", k->type);
1.12 markus 1199: break;
1200: }
1.83 djm 1201: if (key_is_cert(k))
1202: key_cert_copy(k, n);
1.12 markus 1203: return n;
1204: }
1205:
1206: int
1207: key_type_from_name(char *name)
1208: {
1.35 deraadt 1209: if (strcmp(name, "rsa1") == 0) {
1.12 markus 1210: return KEY_RSA1;
1.35 deraadt 1211: } else if (strcmp(name, "rsa") == 0) {
1.12 markus 1212: return KEY_RSA;
1.35 deraadt 1213: } else if (strcmp(name, "dsa") == 0) {
1.12 markus 1214: return KEY_DSA;
1.35 deraadt 1215: } else if (strcmp(name, "ssh-rsa") == 0) {
1.12 markus 1216: return KEY_RSA;
1.35 deraadt 1217: } else if (strcmp(name, "ssh-dss") == 0) {
1.12 markus 1218: return KEY_DSA;
1.92 djm 1219: } else if (strcmp(name, "ecdsa") == 0 ||
1220: strcmp(name, "ecdsa-sha2-nistp256") == 0 ||
1221: strcmp(name, "ecdsa-sha2-nistp384") == 0 ||
1222: strcmp(name, "ecdsa-sha2-nistp521") == 0) {
1223: return KEY_ECDSA;
1.83 djm 1224: } else if (strcmp(name, "ssh-rsa-cert-v00@openssh.com") == 0) {
1.87 djm 1225: return KEY_RSA_CERT_V00;
1226: } else if (strcmp(name, "ssh-dss-cert-v00@openssh.com") == 0) {
1227: return KEY_DSA_CERT_V00;
1228: } else if (strcmp(name, "ssh-rsa-cert-v01@openssh.com") == 0) {
1.83 djm 1229: return KEY_RSA_CERT;
1.87 djm 1230: } else if (strcmp(name, "ssh-dss-cert-v01@openssh.com") == 0) {
1.83 djm 1231: return KEY_DSA_CERT;
1.92 djm 1232: } else if (strcmp(name, "ecdsa-sha2-nistp256-cert-v01@openssh.com") == 0 ||
1233: strcmp(name, "ecdsa-sha2-nistp384-cert-v01@openssh.com") == 0 ||
1234: strcmp(name, "ecdsa-sha2-nistp521-cert-v01@openssh.com") == 0)
1235: return KEY_ECDSA_CERT;
1236:
1.18 markus 1237: debug2("key_type_from_name: unknown key type '%s'", name);
1.12 markus 1238: return KEY_UNSPEC;
1.25 markus 1239: }
1240:
1241: int
1.92 djm 1242: key_ecdsa_nid_from_name(const char *name)
1243: {
1244: if (strcmp(name, "ecdsa-sha2-nistp256") == 0 ||
1245: strcmp(name, "ecdsa-sha2-nistp256-cert-v01@openssh.com") == 0)
1246: return NID_X9_62_prime256v1;
1247: if (strcmp(name, "ecdsa-sha2-nistp384") == 0 ||
1248: strcmp(name, "ecdsa-sha2-nistp384-cert-v01@openssh.com") == 0)
1249: return NID_secp384r1;
1250: if (strcmp(name, "ecdsa-sha2-nistp521") == 0 ||
1251: strcmp(name, "ecdsa-sha2-nistp521-cert-v01@openssh.com") == 0)
1252: return NID_secp521r1;
1253:
1254: debug2("%s: unknown/non-ECDSA key type '%s'", __func__, name);
1255: return -1;
1256: }
1257:
1258: int
1.25 markus 1259: key_names_valid2(const char *names)
1260: {
1261: char *s, *cp, *p;
1262:
1263: if (names == NULL || strcmp(names, "") == 0)
1264: return 0;
1265: s = cp = xstrdup(names);
1266: for ((p = strsep(&cp, ",")); p && *p != '\0';
1.36 deraadt 1267: (p = strsep(&cp, ","))) {
1.25 markus 1268: switch (key_type_from_name(p)) {
1269: case KEY_RSA1:
1270: case KEY_UNSPEC:
1271: xfree(s);
1272: return 0;
1273: }
1274: }
1275: debug3("key names ok: [%s]", names);
1276: xfree(s);
1277: return 1;
1.12 markus 1278: }
1279:
1.83 djm 1280: static int
1281: cert_parse(Buffer *b, Key *key, const u_char *blob, u_int blen)
1282: {
1.87 djm 1283: u_char *principals, *critical, *exts, *sig_key, *sig;
1284: u_int signed_len, plen, clen, sklen, slen, kidlen, elen;
1.83 djm 1285: Buffer tmp;
1286: char *principal;
1287: int ret = -1;
1.87 djm 1288: int v00 = key->type == KEY_DSA_CERT_V00 ||
1289: key->type == KEY_RSA_CERT_V00;
1.83 djm 1290:
1291: buffer_init(&tmp);
1292:
1293: /* Copy the entire key blob for verification and later serialisation */
1294: buffer_append(&key->cert->certblob, blob, blen);
1295:
1.87 djm 1296: elen = 0; /* Not touched for v00 certs */
1297: principals = exts = critical = sig_key = sig = NULL;
1298: if ((!v00 && buffer_get_int64_ret(&key->cert->serial, b) != 0) ||
1299: buffer_get_int_ret(&key->cert->type, b) != 0 ||
1.91 djm 1300: (key->cert->key_id = buffer_get_cstring_ret(b, &kidlen)) == NULL ||
1.83 djm 1301: (principals = buffer_get_string_ret(b, &plen)) == NULL ||
1302: buffer_get_int64_ret(&key->cert->valid_after, b) != 0 ||
1303: buffer_get_int64_ret(&key->cert->valid_before, b) != 0 ||
1.87 djm 1304: (critical = buffer_get_string_ret(b, &clen)) == NULL ||
1305: (!v00 && (exts = buffer_get_string_ret(b, &elen)) == NULL) ||
1306: (v00 && buffer_get_string_ptr_ret(b, NULL) == NULL) || /* nonce */
1307: buffer_get_string_ptr_ret(b, NULL) == NULL || /* reserved */
1.83 djm 1308: (sig_key = buffer_get_string_ret(b, &sklen)) == NULL) {
1309: error("%s: parse error", __func__);
1310: goto out;
1311: }
1312:
1.84 djm 1313: if (kidlen != strlen(key->cert->key_id)) {
1314: error("%s: key ID contains \\0 character", __func__);
1315: goto out;
1316: }
1317:
1.83 djm 1318: /* Signature is left in the buffer so we can calculate this length */
1319: signed_len = buffer_len(&key->cert->certblob) - buffer_len(b);
1320:
1321: if ((sig = buffer_get_string_ret(b, &slen)) == NULL) {
1322: error("%s: parse error", __func__);
1323: goto out;
1324: }
1325:
1326: if (key->cert->type != SSH2_CERT_TYPE_USER &&
1327: key->cert->type != SSH2_CERT_TYPE_HOST) {
1328: error("Unknown certificate type %u", key->cert->type);
1329: goto out;
1330: }
1331:
1332: buffer_append(&tmp, principals, plen);
1333: while (buffer_len(&tmp) > 0) {
1334: if (key->cert->nprincipals >= CERT_MAX_PRINCIPALS) {
1.84 djm 1335: error("%s: Too many principals", __func__);
1.83 djm 1336: goto out;
1337: }
1.91 djm 1338: if ((principal = buffer_get_cstring_ret(&tmp, &plen)) == NULL) {
1.84 djm 1339: error("%s: Principals data invalid", __func__);
1340: goto out;
1341: }
1.83 djm 1342: key->cert->principals = xrealloc(key->cert->principals,
1343: key->cert->nprincipals + 1, sizeof(*key->cert->principals));
1344: key->cert->principals[key->cert->nprincipals++] = principal;
1345: }
1346:
1347: buffer_clear(&tmp);
1348:
1.87 djm 1349: buffer_append(&key->cert->critical, critical, clen);
1350: buffer_append(&tmp, critical, clen);
1.83 djm 1351: /* validate structure */
1352: while (buffer_len(&tmp) != 0) {
1.85 djm 1353: if (buffer_get_string_ptr_ret(&tmp, NULL) == NULL ||
1354: buffer_get_string_ptr_ret(&tmp, NULL) == NULL) {
1.87 djm 1355: error("%s: critical option data invalid", __func__);
1356: goto out;
1357: }
1358: }
1359: buffer_clear(&tmp);
1360:
1361: buffer_append(&key->cert->extensions, exts, elen);
1362: buffer_append(&tmp, exts, elen);
1363: /* validate structure */
1364: while (buffer_len(&tmp) != 0) {
1365: if (buffer_get_string_ptr_ret(&tmp, NULL) == NULL ||
1366: buffer_get_string_ptr_ret(&tmp, NULL) == NULL) {
1367: error("%s: extension data invalid", __func__);
1.83 djm 1368: goto out;
1369: }
1370: }
1371: buffer_clear(&tmp);
1372:
1373: if ((key->cert->signature_key = key_from_blob(sig_key,
1374: sklen)) == NULL) {
1.84 djm 1375: error("%s: Signature key invalid", __func__);
1.83 djm 1376: goto out;
1377: }
1378: if (key->cert->signature_key->type != KEY_RSA &&
1.92 djm 1379: key->cert->signature_key->type != KEY_DSA &&
1380: key->cert->signature_key->type != KEY_ECDSA) {
1.84 djm 1381: error("%s: Invalid signature key type %s (%d)", __func__,
1.83 djm 1382: key_type(key->cert->signature_key),
1383: key->cert->signature_key->type);
1384: goto out;
1385: }
1386:
1387: switch (key_verify(key->cert->signature_key, sig, slen,
1388: buffer_ptr(&key->cert->certblob), signed_len)) {
1389: case 1:
1.84 djm 1390: ret = 0;
1.83 djm 1391: break; /* Good signature */
1392: case 0:
1.84 djm 1393: error("%s: Invalid signature on certificate", __func__);
1.83 djm 1394: goto out;
1395: case -1:
1.84 djm 1396: error("%s: Certificate signature verification failed",
1397: __func__);
1.83 djm 1398: goto out;
1399: }
1400:
1401: out:
1402: buffer_free(&tmp);
1403: if (principals != NULL)
1404: xfree(principals);
1.87 djm 1405: if (critical != NULL)
1406: xfree(critical);
1407: if (exts != NULL)
1408: xfree(exts);
1.83 djm 1409: if (sig_key != NULL)
1410: xfree(sig_key);
1411: if (sig != NULL)
1412: xfree(sig);
1413: return ret;
1414: }
1415:
1.12 markus 1416: Key *
1.55 jakob 1417: key_from_blob(const u_char *blob, u_int blen)
1.12 markus 1418: {
1419: Buffer b;
1.92 djm 1420: int rlen, type, nid = -1;
1421: char *ktype = NULL, *curve = NULL;
1.12 markus 1422: Key *key = NULL;
1.92 djm 1423: EC_POINT *q = NULL;
1.12 markus 1424:
1425: #ifdef DEBUG_PK
1426: dump_base64(stderr, blob, blen);
1427: #endif
1428: buffer_init(&b);
1429: buffer_append(&b, blob, blen);
1.91 djm 1430: if ((ktype = buffer_get_cstring_ret(&b, NULL)) == NULL) {
1.57 djm 1431: error("key_from_blob: can't read key type");
1432: goto out;
1433: }
1434:
1.12 markus 1435: type = key_type_from_name(ktype);
1.92 djm 1436: if (key_type_plain(type) == KEY_ECDSA)
1437: nid = key_ecdsa_nid_from_name(ktype);
1.12 markus 1438:
1.35 deraadt 1439: switch (type) {
1.87 djm 1440: case KEY_RSA_CERT:
1441: (void)buffer_get_string_ptr_ret(&b, NULL); /* Skip nonce */
1442: /* FALLTHROUGH */
1.12 markus 1443: case KEY_RSA:
1.87 djm 1444: case KEY_RSA_CERT_V00:
1.12 markus 1445: key = key_new(type);
1.57 djm 1446: if (buffer_get_bignum2_ret(&b, key->rsa->e) == -1 ||
1447: buffer_get_bignum2_ret(&b, key->rsa->n) == -1) {
1448: error("key_from_blob: can't read rsa key");
1.83 djm 1449: badkey:
1.57 djm 1450: key_free(key);
1451: key = NULL;
1452: goto out;
1453: }
1.12 markus 1454: #ifdef DEBUG_PK
1455: RSA_print_fp(stderr, key->rsa, 8);
1456: #endif
1457: break;
1.87 djm 1458: case KEY_DSA_CERT:
1459: (void)buffer_get_string_ptr_ret(&b, NULL); /* Skip nonce */
1460: /* FALLTHROUGH */
1.12 markus 1461: case KEY_DSA:
1.87 djm 1462: case KEY_DSA_CERT_V00:
1.12 markus 1463: key = key_new(type);
1.57 djm 1464: if (buffer_get_bignum2_ret(&b, key->dsa->p) == -1 ||
1465: buffer_get_bignum2_ret(&b, key->dsa->q) == -1 ||
1466: buffer_get_bignum2_ret(&b, key->dsa->g) == -1 ||
1467: buffer_get_bignum2_ret(&b, key->dsa->pub_key) == -1) {
1468: error("key_from_blob: can't read dsa key");
1.83 djm 1469: goto badkey;
1.57 djm 1470: }
1.12 markus 1471: #ifdef DEBUG_PK
1472: DSA_print_fp(stderr, key->dsa, 8);
1473: #endif
1474: break;
1.92 djm 1475: case KEY_ECDSA_CERT:
1476: (void)buffer_get_string_ptr_ret(&b, NULL); /* Skip nonce */
1477: /* FALLTHROUGH */
1478: case KEY_ECDSA:
1479: key = key_new(type);
1480: key->ecdsa_nid = nid;
1481: if ((curve = buffer_get_string_ret(&b, NULL)) == NULL) {
1482: error("key_from_blob: can't read ecdsa curve");
1483: goto badkey;
1484: }
1485: if (key->ecdsa_nid != key_curve_name_to_nid(curve)) {
1486: error("key_from_blob: ecdsa curve doesn't match type");
1487: goto badkey;
1488: }
1489: if (key->ecdsa != NULL)
1490: EC_KEY_free(key->ecdsa);
1491: if ((key->ecdsa = EC_KEY_new_by_curve_name(key->ecdsa_nid))
1492: == NULL)
1493: fatal("key_from_blob: EC_KEY_new_by_curve_name failed");
1494: if ((q = EC_POINT_new(EC_KEY_get0_group(key->ecdsa))) == NULL)
1495: fatal("key_from_blob: EC_POINT_new failed");
1496: if (buffer_get_ecpoint_ret(&b, EC_KEY_get0_group(key->ecdsa),
1497: q) == -1) {
1498: error("key_from_blob: can't read ecdsa key point");
1499: goto badkey;
1500: }
1501: if (key_ec_validate_public(EC_KEY_get0_group(key->ecdsa),
1502: q) != 0)
1503: goto badkey;
1504: if (EC_KEY_set_public_key(key->ecdsa, q) != 1)
1505: fatal("key_from_blob: EC_KEY_set_public_key failed");
1506: #ifdef DEBUG_PK
1507: key_dump_ec_point(EC_KEY_get0_group(key->ecdsa), q);
1508: #endif
1509: break;
1.12 markus 1510: case KEY_UNSPEC:
1511: key = key_new(type);
1512: break;
1513: default:
1514: error("key_from_blob: cannot handle type %s", ktype);
1.57 djm 1515: goto out;
1.12 markus 1516: }
1.83 djm 1517: if (key_is_cert(key) && cert_parse(&b, key, blob, blen) == -1) {
1518: error("key_from_blob: can't parse cert data");
1519: goto badkey;
1520: }
1.12 markus 1521: rlen = buffer_len(&b);
1522: if (key != NULL && rlen != 0)
1523: error("key_from_blob: remaining bytes in key blob %d", rlen);
1.57 djm 1524: out:
1525: if (ktype != NULL)
1526: xfree(ktype);
1.92 djm 1527: if (curve != NULL)
1528: xfree(curve);
1529: if (q != NULL)
1530: EC_POINT_free(q);
1.12 markus 1531: buffer_free(&b);
1532: return key;
1533: }
1534:
1535: int
1.55 jakob 1536: key_to_blob(const Key *key, u_char **blobp, u_int *lenp)
1.12 markus 1537: {
1538: Buffer b;
1539: int len;
1540:
1541: if (key == NULL) {
1542: error("key_to_blob: key == NULL");
1543: return 0;
1544: }
1545: buffer_init(&b);
1.35 deraadt 1546: switch (key->type) {
1.87 djm 1547: case KEY_DSA_CERT_V00:
1548: case KEY_RSA_CERT_V00:
1.83 djm 1549: case KEY_DSA_CERT:
1.92 djm 1550: case KEY_ECDSA_CERT:
1.83 djm 1551: case KEY_RSA_CERT:
1552: /* Use the existing blob */
1553: buffer_append(&b, buffer_ptr(&key->cert->certblob),
1554: buffer_len(&key->cert->certblob));
1555: break;
1.12 markus 1556: case KEY_DSA:
1557: buffer_put_cstring(&b, key_ssh_name(key));
1558: buffer_put_bignum2(&b, key->dsa->p);
1559: buffer_put_bignum2(&b, key->dsa->q);
1560: buffer_put_bignum2(&b, key->dsa->g);
1561: buffer_put_bignum2(&b, key->dsa->pub_key);
1562: break;
1.92 djm 1563: case KEY_ECDSA:
1564: buffer_put_cstring(&b, key_ssh_name(key));
1565: buffer_put_cstring(&b, key_curve_nid_to_name(key->ecdsa_nid));
1566: buffer_put_ecpoint(&b, EC_KEY_get0_group(key->ecdsa),
1567: EC_KEY_get0_public_key(key->ecdsa));
1568: break;
1.12 markus 1569: case KEY_RSA:
1570: buffer_put_cstring(&b, key_ssh_name(key));
1.14 markus 1571: buffer_put_bignum2(&b, key->rsa->e);
1.12 markus 1572: buffer_put_bignum2(&b, key->rsa->n);
1573: break;
1574: default:
1.31 markus 1575: error("key_to_blob: unsupported key type %d", key->type);
1576: buffer_free(&b);
1577: return 0;
1.12 markus 1578: }
1579: len = buffer_len(&b);
1.48 markus 1580: if (lenp != NULL)
1581: *lenp = len;
1582: if (blobp != NULL) {
1583: *blobp = xmalloc(len);
1584: memcpy(*blobp, buffer_ptr(&b), len);
1585: }
1.12 markus 1586: memset(buffer_ptr(&b), 0, len);
1587: buffer_free(&b);
1588: return len;
1589: }
1590:
1591: int
1592: key_sign(
1.55 jakob 1593: const Key *key,
1.40 markus 1594: u_char **sigp, u_int *lenp,
1.55 jakob 1595: const u_char *data, u_int datalen)
1.12 markus 1596: {
1.35 deraadt 1597: switch (key->type) {
1.87 djm 1598: case KEY_DSA_CERT_V00:
1.83 djm 1599: case KEY_DSA_CERT:
1.12 markus 1600: case KEY_DSA:
1601: return ssh_dss_sign(key, sigp, lenp, data, datalen);
1.92 djm 1602: case KEY_ECDSA_CERT:
1603: case KEY_ECDSA:
1604: return ssh_ecdsa_sign(key, sigp, lenp, data, datalen);
1.87 djm 1605: case KEY_RSA_CERT_V00:
1.83 djm 1606: case KEY_RSA_CERT:
1.12 markus 1607: case KEY_RSA:
1608: return ssh_rsa_sign(key, sigp, lenp, data, datalen);
1609: default:
1.56 markus 1610: error("key_sign: invalid key type %d", key->type);
1.12 markus 1611: return -1;
1612: }
1613: }
1614:
1.44 markus 1615: /*
1616: * key_verify returns 1 for a correct signature, 0 for an incorrect signature
1617: * and -1 on error.
1618: */
1.12 markus 1619: int
1620: key_verify(
1.55 jakob 1621: const Key *key,
1622: const u_char *signature, u_int signaturelen,
1623: const u_char *data, u_int datalen)
1.12 markus 1624: {
1.26 markus 1625: if (signaturelen == 0)
1626: return -1;
1627:
1.35 deraadt 1628: switch (key->type) {
1.87 djm 1629: case KEY_DSA_CERT_V00:
1.83 djm 1630: case KEY_DSA_CERT:
1.12 markus 1631: case KEY_DSA:
1632: return ssh_dss_verify(key, signature, signaturelen, data, datalen);
1.92 djm 1633: case KEY_ECDSA_CERT:
1634: case KEY_ECDSA:
1635: return ssh_ecdsa_verify(key, signature, signaturelen, data, datalen);
1.87 djm 1636: case KEY_RSA_CERT_V00:
1.83 djm 1637: case KEY_RSA_CERT:
1.12 markus 1638: case KEY_RSA:
1639: return ssh_rsa_verify(key, signature, signaturelen, data, datalen);
1640: default:
1.56 markus 1641: error("key_verify: invalid key type %d", key->type);
1.12 markus 1642: return -1;
1643: }
1.42 markus 1644: }
1645:
1646: /* Converts a private to a public key */
1647: Key *
1.55 jakob 1648: key_demote(const Key *k)
1.42 markus 1649: {
1650: Key *pk;
1.43 markus 1651:
1.63 djm 1652: pk = xcalloc(1, sizeof(*pk));
1.42 markus 1653: pk->type = k->type;
1654: pk->flags = k->flags;
1.92 djm 1655: pk->ecdsa_nid = k->ecdsa_nid;
1.42 markus 1656: pk->dsa = NULL;
1.92 djm 1657: pk->ecdsa = NULL;
1.42 markus 1658: pk->rsa = NULL;
1659:
1660: switch (k->type) {
1.87 djm 1661: case KEY_RSA_CERT_V00:
1.83 djm 1662: case KEY_RSA_CERT:
1663: key_cert_copy(k, pk);
1664: /* FALLTHROUGH */
1.42 markus 1665: case KEY_RSA1:
1666: case KEY_RSA:
1667: if ((pk->rsa = RSA_new()) == NULL)
1668: fatal("key_demote: RSA_new failed");
1669: if ((pk->rsa->e = BN_dup(k->rsa->e)) == NULL)
1670: fatal("key_demote: BN_dup failed");
1671: if ((pk->rsa->n = BN_dup(k->rsa->n)) == NULL)
1672: fatal("key_demote: BN_dup failed");
1673: break;
1.87 djm 1674: case KEY_DSA_CERT_V00:
1.83 djm 1675: case KEY_DSA_CERT:
1676: key_cert_copy(k, pk);
1677: /* FALLTHROUGH */
1.42 markus 1678: case KEY_DSA:
1679: if ((pk->dsa = DSA_new()) == NULL)
1680: fatal("key_demote: DSA_new failed");
1681: if ((pk->dsa->p = BN_dup(k->dsa->p)) == NULL)
1682: fatal("key_demote: BN_dup failed");
1683: if ((pk->dsa->q = BN_dup(k->dsa->q)) == NULL)
1684: fatal("key_demote: BN_dup failed");
1685: if ((pk->dsa->g = BN_dup(k->dsa->g)) == NULL)
1686: fatal("key_demote: BN_dup failed");
1687: if ((pk->dsa->pub_key = BN_dup(k->dsa->pub_key)) == NULL)
1688: fatal("key_demote: BN_dup failed");
1689: break;
1.92 djm 1690: case KEY_ECDSA_CERT:
1691: key_cert_copy(k, pk);
1692: /* FALLTHROUGH */
1693: case KEY_ECDSA:
1694: if ((pk->ecdsa = EC_KEY_new_by_curve_name(pk->ecdsa_nid)) == NULL)
1695: fatal("key_demote: EC_KEY_new_by_curve_name failed");
1696: if (EC_KEY_set_public_key(pk->ecdsa,
1697: EC_KEY_get0_public_key(k->ecdsa)) != 1)
1698: fatal("key_demote: EC_KEY_set_public_key failed");
1699: break;
1.42 markus 1700: default:
1701: fatal("key_free: bad key type %d", k->type);
1702: break;
1703: }
1704:
1705: return (pk);
1.83 djm 1706: }
1707:
1708: int
1709: key_is_cert(const Key *k)
1710: {
1.87 djm 1711: if (k == NULL)
1712: return 0;
1713: switch (k->type) {
1714: case KEY_RSA_CERT_V00:
1715: case KEY_DSA_CERT_V00:
1716: case KEY_RSA_CERT:
1717: case KEY_DSA_CERT:
1.92 djm 1718: case KEY_ECDSA_CERT:
1.87 djm 1719: return 1;
1720: default:
1721: return 0;
1722: }
1.83 djm 1723: }
1724:
1725: /* Return the cert-less equivalent to a certified key type */
1726: int
1727: key_type_plain(int type)
1728: {
1729: switch (type) {
1.87 djm 1730: case KEY_RSA_CERT_V00:
1.83 djm 1731: case KEY_RSA_CERT:
1732: return KEY_RSA;
1.87 djm 1733: case KEY_DSA_CERT_V00:
1.83 djm 1734: case KEY_DSA_CERT:
1735: return KEY_DSA;
1.92 djm 1736: case KEY_ECDSA_CERT:
1737: return KEY_ECDSA;
1.83 djm 1738: default:
1739: return type;
1740: }
1741: }
1742:
1743: /* Convert a KEY_RSA or KEY_DSA to their _CERT equivalent */
1744: int
1.87 djm 1745: key_to_certified(Key *k, int legacy)
1.83 djm 1746: {
1747: switch (k->type) {
1748: case KEY_RSA:
1749: k->cert = cert_new();
1.87 djm 1750: k->type = legacy ? KEY_RSA_CERT_V00 : KEY_RSA_CERT;
1.83 djm 1751: return 0;
1752: case KEY_DSA:
1753: k->cert = cert_new();
1.87 djm 1754: k->type = legacy ? KEY_DSA_CERT_V00 : KEY_DSA_CERT;
1.83 djm 1755: return 0;
1.92 djm 1756: case KEY_ECDSA:
1.97 ! djm 1757: if (legacy)
! 1758: fatal("%s: legacy ECDSA certificates are not supported",
! 1759: __func__);
1.92 djm 1760: k->cert = cert_new();
1761: k->type = KEY_ECDSA_CERT;
1762: return 0;
1.83 djm 1763: default:
1764: error("%s: key has incorrect type %s", __func__, key_type(k));
1765: return -1;
1766: }
1767: }
1768:
1769: /* Convert a KEY_RSA_CERT or KEY_DSA_CERT to their raw key equivalent */
1770: int
1771: key_drop_cert(Key *k)
1772: {
1773: switch (k->type) {
1.87 djm 1774: case KEY_RSA_CERT_V00:
1.83 djm 1775: case KEY_RSA_CERT:
1776: cert_free(k->cert);
1777: k->type = KEY_RSA;
1778: return 0;
1.87 djm 1779: case KEY_DSA_CERT_V00:
1.83 djm 1780: case KEY_DSA_CERT:
1781: cert_free(k->cert);
1782: k->type = KEY_DSA;
1783: return 0;
1.92 djm 1784: case KEY_ECDSA_CERT:
1785: cert_free(k->cert);
1786: k->type = KEY_ECDSA;
1787: return 0;
1.83 djm 1788: default:
1789: error("%s: key has incorrect type %s", __func__, key_type(k));
1790: return -1;
1791: }
1792: }
1793:
1.92 djm 1794: /*
1795: * Sign a KEY_RSA_CERT, KEY_DSA_CERT or KEY_ECDSA_CERT, (re-)generating
1796: * the signed certblob
1797: */
1.83 djm 1798: int
1799: key_certify(Key *k, Key *ca)
1800: {
1801: Buffer principals;
1802: u_char *ca_blob, *sig_blob, nonce[32];
1803: u_int i, ca_len, sig_len;
1804:
1805: if (k->cert == NULL) {
1806: error("%s: key lacks cert info", __func__);
1807: return -1;
1808: }
1809:
1810: if (!key_is_cert(k)) {
1811: error("%s: certificate has unknown type %d", __func__,
1812: k->cert->type);
1813: return -1;
1814: }
1815:
1.92 djm 1816: if (ca->type != KEY_RSA && ca->type != KEY_DSA &&
1817: ca->type != KEY_ECDSA) {
1.83 djm 1818: error("%s: CA key has unsupported type %s", __func__,
1819: key_type(ca));
1820: return -1;
1821: }
1822:
1823: key_to_blob(ca, &ca_blob, &ca_len);
1824:
1825: buffer_clear(&k->cert->certblob);
1826: buffer_put_cstring(&k->cert->certblob, key_ssh_name(k));
1827:
1.87 djm 1828: /* -v01 certs put nonce first */
1.96 djm 1829: arc4random_buf(&nonce, sizeof(nonce));
1830: if (!key_cert_is_legacy(k))
1.87 djm 1831: buffer_put_string(&k->cert->certblob, nonce, sizeof(nonce));
1832:
1.83 djm 1833: switch (k->type) {
1.87 djm 1834: case KEY_DSA_CERT_V00:
1.83 djm 1835: case KEY_DSA_CERT:
1836: buffer_put_bignum2(&k->cert->certblob, k->dsa->p);
1837: buffer_put_bignum2(&k->cert->certblob, k->dsa->q);
1838: buffer_put_bignum2(&k->cert->certblob, k->dsa->g);
1839: buffer_put_bignum2(&k->cert->certblob, k->dsa->pub_key);
1840: break;
1.92 djm 1841: case KEY_ECDSA_CERT:
1842: buffer_put_cstring(&k->cert->certblob,
1843: key_curve_nid_to_name(k->ecdsa_nid));
1844: buffer_put_ecpoint(&k->cert->certblob,
1845: EC_KEY_get0_group(k->ecdsa),
1846: EC_KEY_get0_public_key(k->ecdsa));
1847: break;
1.87 djm 1848: case KEY_RSA_CERT_V00:
1.83 djm 1849: case KEY_RSA_CERT:
1850: buffer_put_bignum2(&k->cert->certblob, k->rsa->e);
1851: buffer_put_bignum2(&k->cert->certblob, k->rsa->n);
1852: break;
1853: default:
1854: error("%s: key has incorrect type %s", __func__, key_type(k));
1855: buffer_clear(&k->cert->certblob);
1856: xfree(ca_blob);
1857: return -1;
1858: }
1859:
1.87 djm 1860: /* -v01 certs have a serial number next */
1.92 djm 1861: if (!key_cert_is_legacy(k))
1.87 djm 1862: buffer_put_int64(&k->cert->certblob, k->cert->serial);
1863:
1.83 djm 1864: buffer_put_int(&k->cert->certblob, k->cert->type);
1865: buffer_put_cstring(&k->cert->certblob, k->cert->key_id);
1866:
1867: buffer_init(&principals);
1868: for (i = 0; i < k->cert->nprincipals; i++)
1869: buffer_put_cstring(&principals, k->cert->principals[i]);
1870: buffer_put_string(&k->cert->certblob, buffer_ptr(&principals),
1871: buffer_len(&principals));
1872: buffer_free(&principals);
1873:
1874: buffer_put_int64(&k->cert->certblob, k->cert->valid_after);
1875: buffer_put_int64(&k->cert->certblob, k->cert->valid_before);
1876: buffer_put_string(&k->cert->certblob,
1.87 djm 1877: buffer_ptr(&k->cert->critical), buffer_len(&k->cert->critical));
1878:
1879: /* -v01 certs have non-critical options here */
1.92 djm 1880: if (!key_cert_is_legacy(k)) {
1.87 djm 1881: buffer_put_string(&k->cert->certblob,
1882: buffer_ptr(&k->cert->extensions),
1883: buffer_len(&k->cert->extensions));
1884: }
1885:
1886: /* -v00 certs put the nonce at the end */
1.92 djm 1887: if (key_cert_is_legacy(k))
1.87 djm 1888: buffer_put_string(&k->cert->certblob, nonce, sizeof(nonce));
1.83 djm 1889:
1890: buffer_put_string(&k->cert->certblob, NULL, 0); /* reserved */
1891: buffer_put_string(&k->cert->certblob, ca_blob, ca_len);
1892: xfree(ca_blob);
1893:
1894: /* Sign the whole mess */
1895: if (key_sign(ca, &sig_blob, &sig_len, buffer_ptr(&k->cert->certblob),
1896: buffer_len(&k->cert->certblob)) != 0) {
1897: error("%s: signature operation failed", __func__);
1898: buffer_clear(&k->cert->certblob);
1899: return -1;
1900: }
1901: /* Append signature and we are done */
1902: buffer_put_string(&k->cert->certblob, sig_blob, sig_len);
1903: xfree(sig_blob);
1904:
1905: return 0;
1906: }
1907:
1908: int
1909: key_cert_check_authority(const Key *k, int want_host, int require_principal,
1910: const char *name, const char **reason)
1911: {
1912: u_int i, principal_matches;
1913: time_t now = time(NULL);
1914:
1915: if (want_host) {
1916: if (k->cert->type != SSH2_CERT_TYPE_HOST) {
1917: *reason = "Certificate invalid: not a host certificate";
1918: return -1;
1919: }
1920: } else {
1921: if (k->cert->type != SSH2_CERT_TYPE_USER) {
1922: *reason = "Certificate invalid: not a user certificate";
1923: return -1;
1924: }
1925: }
1926: if (now < 0) {
1927: error("%s: system clock lies before epoch", __func__);
1928: *reason = "Certificate invalid: not yet valid";
1929: return -1;
1930: }
1931: if ((u_int64_t)now < k->cert->valid_after) {
1932: *reason = "Certificate invalid: not yet valid";
1933: return -1;
1934: }
1935: if ((u_int64_t)now >= k->cert->valid_before) {
1936: *reason = "Certificate invalid: expired";
1937: return -1;
1938: }
1939: if (k->cert->nprincipals == 0) {
1940: if (require_principal) {
1941: *reason = "Certificate lacks principal list";
1942: return -1;
1943: }
1.88 djm 1944: } else if (name != NULL) {
1.83 djm 1945: principal_matches = 0;
1946: for (i = 0; i < k->cert->nprincipals; i++) {
1947: if (strcmp(name, k->cert->principals[i]) == 0) {
1948: principal_matches = 1;
1949: break;
1950: }
1951: }
1952: if (!principal_matches) {
1953: *reason = "Certificate invalid: name is not a listed "
1954: "principal";
1955: return -1;
1956: }
1957: }
1958: return 0;
1.87 djm 1959: }
1960:
1961: int
1962: key_cert_is_legacy(Key *k)
1963: {
1964: switch (k->type) {
1965: case KEY_DSA_CERT_V00:
1966: case KEY_RSA_CERT_V00:
1967: return 1;
1968: default:
1969: return 0;
1970: }
1.4 markus 1971: }
1.92 djm 1972:
1.93 djm 1973: /* XXX: these are really begging for a table-driven approach */
1.92 djm 1974: int
1975: key_curve_name_to_nid(const char *name)
1976: {
1977: if (strcmp(name, "nistp256") == 0)
1978: return NID_X9_62_prime256v1;
1979: else if (strcmp(name, "nistp384") == 0)
1980: return NID_secp384r1;
1981: else if (strcmp(name, "nistp521") == 0)
1982: return NID_secp521r1;
1983:
1984: debug("%s: unsupported EC curve name \"%.100s\"", __func__, name);
1985: return -1;
1986: }
1987:
1.93 djm 1988: u_int
1989: key_curve_nid_to_bits(int nid)
1990: {
1991: switch (nid) {
1992: case NID_X9_62_prime256v1:
1993: return 256;
1994: case NID_secp384r1:
1995: return 384;
1996: case NID_secp521r1:
1997: return 521;
1998: default:
1999: error("%s: unsupported EC curve nid %d", __func__, nid);
2000: return 0;
2001: }
2002: }
2003:
1.92 djm 2004: const char *
2005: key_curve_nid_to_name(int nid)
2006: {
2007: if (nid == NID_X9_62_prime256v1)
2008: return "nistp256";
2009: else if (nid == NID_secp384r1)
2010: return "nistp384";
2011: else if (nid == NID_secp521r1)
2012: return "nistp521";
2013:
2014: error("%s: unsupported EC curve nid %d", __func__, nid);
2015: return NULL;
1.93 djm 2016: }
2017:
2018: const EVP_MD *
2019: key_ec_nid_to_evpmd(int nid)
2020: {
2021: int kbits = key_curve_nid_to_bits(nid);
2022:
2023: if (kbits == 0)
2024: fatal("%s: invalid nid %d", __func__, nid);
2025: /* RFC5656 section 6.2.1 */
2026: if (kbits <= 256)
2027: return EVP_sha256();
2028: else if (kbits <= 384)
2029: return EVP_sha384();
2030: else
2031: return EVP_sha512();
1.92 djm 2032: }
2033:
2034: int
2035: key_ec_validate_public(const EC_GROUP *group, const EC_POINT *public)
2036: {
2037: BN_CTX *bnctx;
2038: EC_POINT *nq = NULL;
2039: BIGNUM *order, *x, *y, *tmp;
2040: int ret = -1;
2041:
2042: if ((bnctx = BN_CTX_new()) == NULL)
2043: fatal("%s: BN_CTX_new failed", __func__);
2044: BN_CTX_start(bnctx);
2045:
2046: /*
2047: * We shouldn't ever hit this case because bignum_get_ecpoint()
2048: * refuses to load GF2m points.
2049: */
2050: if (EC_METHOD_get_field_type(EC_GROUP_method_of(group)) !=
2051: NID_X9_62_prime_field) {
2052: error("%s: group is not a prime field", __func__);
2053: goto out;
2054: }
2055:
2056: /* Q != infinity */
2057: if (EC_POINT_is_at_infinity(group, public)) {
2058: error("%s: received degenerate public key (infinity)",
2059: __func__);
2060: goto out;
2061: }
2062:
2063: if ((x = BN_CTX_get(bnctx)) == NULL ||
2064: (y = BN_CTX_get(bnctx)) == NULL ||
2065: (order = BN_CTX_get(bnctx)) == NULL ||
2066: (tmp = BN_CTX_get(bnctx)) == NULL)
2067: fatal("%s: BN_CTX_get failed", __func__);
2068:
2069: /* log2(x) > log2(order)/2, log2(y) > log2(order)/2 */
2070: if (EC_GROUP_get_order(group, order, bnctx) != 1)
2071: fatal("%s: EC_GROUP_get_order failed", __func__);
2072: if (EC_POINT_get_affine_coordinates_GFp(group, public,
2073: x, y, bnctx) != 1)
2074: fatal("%s: EC_POINT_get_affine_coordinates_GFp", __func__);
2075: if (BN_num_bits(x) <= BN_num_bits(order) / 2) {
2076: error("%s: public key x coordinate too small: "
2077: "bits(x) = %d, bits(order)/2 = %d", __func__,
2078: BN_num_bits(x), BN_num_bits(order) / 2);
2079: goto out;
2080: }
2081: if (BN_num_bits(y) <= BN_num_bits(order) / 2) {
2082: error("%s: public key y coordinate too small: "
2083: "bits(y) = %d, bits(order)/2 = %d", __func__,
2084: BN_num_bits(x), BN_num_bits(order) / 2);
2085: goto out;
2086: }
2087:
2088: /* nQ == infinity (n == order of subgroup) */
2089: if ((nq = EC_POINT_new(group)) == NULL)
2090: fatal("%s: BN_CTX_tmp failed", __func__);
2091: if (EC_POINT_mul(group, nq, NULL, public, order, bnctx) != 1)
2092: fatal("%s: EC_GROUP_mul failed", __func__);
2093: if (EC_POINT_is_at_infinity(group, nq) != 1) {
2094: error("%s: received degenerate public key (nQ != infinity)",
2095: __func__);
2096: goto out;
2097: }
2098:
2099: /* x < order - 1, y < order - 1 */
2100: if (!BN_sub(tmp, order, BN_value_one()))
2101: fatal("%s: BN_sub failed", __func__);
2102: if (BN_cmp(x, tmp) >= 0) {
2103: error("%s: public key x coordinate >= group order - 1",
2104: __func__);
2105: goto out;
2106: }
2107: if (BN_cmp(y, tmp) >= 0) {
2108: error("%s: public key y coordinate >= group order - 1",
2109: __func__);
2110: goto out;
2111: }
2112: ret = 0;
2113: out:
2114: BN_CTX_free(bnctx);
2115: EC_POINT_free(nq);
2116: return ret;
2117: }
2118:
2119: int
2120: key_ec_validate_private(const EC_KEY *key)
2121: {
2122: BN_CTX *bnctx;
2123: BIGNUM *order, *tmp;
2124: int ret = -1;
2125:
2126: if ((bnctx = BN_CTX_new()) == NULL)
2127: fatal("%s: BN_CTX_new failed", __func__);
2128: BN_CTX_start(bnctx);
2129:
2130: if ((order = BN_CTX_get(bnctx)) == NULL ||
2131: (tmp = BN_CTX_get(bnctx)) == NULL)
2132: fatal("%s: BN_CTX_get failed", __func__);
2133:
2134: /* log2(private) > log2(order)/2 */
2135: if (EC_GROUP_get_order(EC_KEY_get0_group(key), order, bnctx) != 1)
2136: fatal("%s: EC_GROUP_get_order failed", __func__);
2137: if (BN_num_bits(EC_KEY_get0_private_key(key)) <=
2138: BN_num_bits(order) / 2) {
2139: error("%s: private key too small: "
2140: "bits(y) = %d, bits(order)/2 = %d", __func__,
2141: BN_num_bits(EC_KEY_get0_private_key(key)),
2142: BN_num_bits(order) / 2);
2143: goto out;
2144: }
2145:
2146: /* private < order - 1 */
2147: if (!BN_sub(tmp, order, BN_value_one()))
2148: fatal("%s: BN_sub failed", __func__);
2149: if (BN_cmp(EC_KEY_get0_private_key(key), tmp) >= 0) {
2150: error("%s: private key >= group order - 1", __func__);
2151: goto out;
2152: }
2153: ret = 0;
2154: out:
2155: BN_CTX_free(bnctx);
2156: return ret;
2157: }
2158:
2159: #if defined(DEBUG_KEXECDH) || defined(DEBUG_PK)
2160: void
2161: key_dump_ec_point(const EC_GROUP *group, const EC_POINT *point)
2162: {
2163: BIGNUM *x, *y;
2164: BN_CTX *bnctx;
2165:
2166: if (point == NULL) {
2167: fputs("point=(NULL)\n", stderr);
2168: return;
2169: }
2170: if ((bnctx = BN_CTX_new()) == NULL)
2171: fatal("%s: BN_CTX_new failed", __func__);
2172: BN_CTX_start(bnctx);
2173: if ((x = BN_CTX_get(bnctx)) == NULL || (y = BN_CTX_get(bnctx)) == NULL)
2174: fatal("%s: BN_CTX_get failed", __func__);
2175: if (EC_METHOD_get_field_type(EC_GROUP_method_of(group)) !=
2176: NID_X9_62_prime_field)
2177: fatal("%s: group is not a prime field", __func__);
2178: if (EC_POINT_get_affine_coordinates_GFp(group, point, x, y, bnctx) != 1)
2179: fatal("%s: EC_POINT_get_affine_coordinates_GFp", __func__);
2180: fputs("x=", stderr);
2181: BN_print_fp(stderr, x);
2182: fputs("\ny=", stderr);
2183: BN_print_fp(stderr, y);
2184: fputs("\n", stderr);
2185: BN_CTX_free(bnctx);
2186: }
2187:
2188: void
2189: key_dump_ec_key(const EC_KEY *key)
2190: {
2191: const BIGNUM *exponent;
2192:
2193: key_dump_ec_point(EC_KEY_get0_group(key), EC_KEY_get0_public_key(key));
2194: fputs("exponent=", stderr);
2195: if ((exponent = EC_KEY_get0_private_key(key)) == NULL)
2196: fputs("(NULL)", stderr);
2197: else
2198: BN_print_fp(stderr, EC_KEY_get0_private_key(key));
2199: fputs("\n", stderr);
2200: }
2201: #endif /* defined(DEBUG_KEXECDH) || defined(DEBUG_PK) */
2202: