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