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