blob: 3fe29c8b16746cbb95ce1ff954bbf98bb66420bf [file] [log] [blame]
Damien Millerf3747bf2013-01-18 11:44:04 +11001/*
2 * Copyright (c) 2012 Damien Miller <djm@mindrot.org>
3 *
4 * Permission to use, copy, modify, and distribute this software for any
5 * purpose with or without fee is hereby granted, provided that the above
6 * copyright notice and this permission notice appear in all copies.
7 *
8 * THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
9 * WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
10 * MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR
11 * ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
12 * WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
13 * ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
14 * OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
15 */
16
djm@openbsd.org60b18252015-01-26 02:59:11 +000017/* $OpenBSD: krl.c,v 1.30 2015/01/26 02:59:11 djm Exp $ */
Damien Millerf3747bf2013-01-18 11:44:04 +110018
19#include "includes.h"
20
deraadt@openbsd.org087266e2015-01-20 23:14:00 +000021#include <sys/param.h> /* MIN */
Damien Millerf3747bf2013-01-18 11:44:04 +110022#include <sys/types.h>
Damien Millerd60b2102013-01-20 22:49:58 +110023#include <openbsd-compat/sys-tree.h>
24#include <openbsd-compat/sys-queue.h>
Damien Millerf3747bf2013-01-18 11:44:04 +110025
26#include <errno.h>
27#include <fcntl.h>
28#include <limits.h>
29#include <string.h>
30#include <time.h>
31#include <unistd.h>
32
djm@openbsd.org74de2542014-12-04 01:49:59 +000033#include "sshbuf.h"
djm@openbsd.orge7fd9522015-01-13 19:04:35 +000034#include "ssherr.h"
djm@openbsd.org74de2542014-12-04 01:49:59 +000035#include "sshkey.h"
Damien Millerf3747bf2013-01-18 11:44:04 +110036#include "authfile.h"
Damien Millerf3747bf2013-01-18 11:44:04 +110037#include "misc.h"
38#include "log.h"
djm@openbsd.org56d1c832014-12-21 22:27:55 +000039#include "digest.h"
djm@openbsd.orga165bab2015-01-14 15:02:39 +000040#include "bitmap.h"
Damien Millerf3747bf2013-01-18 11:44:04 +110041
42#include "krl.h"
43
44/* #define DEBUG_KRL */
45#ifdef DEBUG_KRL
46# define KRL_DBG(x) debug3 x
47#else
48# define KRL_DBG(x)
49#endif
50
51/*
52 * Trees of revoked serial numbers, key IDs and keys. This allows
53 * quick searching, querying and producing lists in canonical order.
54 */
55
56/* Tree of serial numbers. XXX make smarter: really need a real sparse bitmap */
57struct revoked_serial {
58 u_int64_t lo, hi;
59 RB_ENTRY(revoked_serial) tree_entry;
60};
61static int serial_cmp(struct revoked_serial *a, struct revoked_serial *b);
62RB_HEAD(revoked_serial_tree, revoked_serial);
63RB_GENERATE_STATIC(revoked_serial_tree, revoked_serial, tree_entry, serial_cmp);
64
65/* Tree of key IDs */
66struct revoked_key_id {
67 char *key_id;
68 RB_ENTRY(revoked_key_id) tree_entry;
69};
70static int key_id_cmp(struct revoked_key_id *a, struct revoked_key_id *b);
71RB_HEAD(revoked_key_id_tree, revoked_key_id);
72RB_GENERATE_STATIC(revoked_key_id_tree, revoked_key_id, tree_entry, key_id_cmp);
73
74/* Tree of blobs (used for keys and fingerprints) */
75struct revoked_blob {
76 u_char *blob;
djm@openbsd.org74de2542014-12-04 01:49:59 +000077 size_t len;
Damien Millerf3747bf2013-01-18 11:44:04 +110078 RB_ENTRY(revoked_blob) tree_entry;
79};
80static int blob_cmp(struct revoked_blob *a, struct revoked_blob *b);
81RB_HEAD(revoked_blob_tree, revoked_blob);
82RB_GENERATE_STATIC(revoked_blob_tree, revoked_blob, tree_entry, blob_cmp);
83
84/* Tracks revoked certs for a single CA */
85struct revoked_certs {
djm@openbsd.org74de2542014-12-04 01:49:59 +000086 struct sshkey *ca_key;
Damien Millerf3747bf2013-01-18 11:44:04 +110087 struct revoked_serial_tree revoked_serials;
88 struct revoked_key_id_tree revoked_key_ids;
89 TAILQ_ENTRY(revoked_certs) entry;
90};
91TAILQ_HEAD(revoked_certs_list, revoked_certs);
92
93struct ssh_krl {
94 u_int64_t krl_version;
95 u_int64_t generated_date;
96 u_int64_t flags;
97 char *comment;
98 struct revoked_blob_tree revoked_keys;
99 struct revoked_blob_tree revoked_sha1s;
100 struct revoked_certs_list revoked_certs;
101};
102
103/* Return equal if a and b overlap */
104static int
105serial_cmp(struct revoked_serial *a, struct revoked_serial *b)
106{
107 if (a->hi >= b->lo && a->lo <= b->hi)
108 return 0;
109 return a->lo < b->lo ? -1 : 1;
110}
111
112static int
113key_id_cmp(struct revoked_key_id *a, struct revoked_key_id *b)
114{
115 return strcmp(a->key_id, b->key_id);
116}
117
118static int
119blob_cmp(struct revoked_blob *a, struct revoked_blob *b)
120{
121 int r;
122
123 if (a->len != b->len) {
124 if ((r = memcmp(a->blob, b->blob, MIN(a->len, b->len))) != 0)
125 return r;
126 return a->len > b->len ? 1 : -1;
127 } else
128 return memcmp(a->blob, b->blob, a->len);
129}
130
131struct ssh_krl *
132ssh_krl_init(void)
133{
134 struct ssh_krl *krl;
135
136 if ((krl = calloc(1, sizeof(*krl))) == NULL)
137 return NULL;
138 RB_INIT(&krl->revoked_keys);
139 RB_INIT(&krl->revoked_sha1s);
140 TAILQ_INIT(&krl->revoked_certs);
141 return krl;
142}
143
144static void
145revoked_certs_free(struct revoked_certs *rc)
146{
147 struct revoked_serial *rs, *trs;
148 struct revoked_key_id *rki, *trki;
149
150 RB_FOREACH_SAFE(rs, revoked_serial_tree, &rc->revoked_serials, trs) {
151 RB_REMOVE(revoked_serial_tree, &rc->revoked_serials, rs);
152 free(rs);
153 }
154 RB_FOREACH_SAFE(rki, revoked_key_id_tree, &rc->revoked_key_ids, trki) {
155 RB_REMOVE(revoked_key_id_tree, &rc->revoked_key_ids, rki);
156 free(rki->key_id);
157 free(rki);
158 }
159 if (rc->ca_key != NULL)
djm@openbsd.org74de2542014-12-04 01:49:59 +0000160 sshkey_free(rc->ca_key);
Damien Millerf3747bf2013-01-18 11:44:04 +1100161}
162
163void
164ssh_krl_free(struct ssh_krl *krl)
165{
166 struct revoked_blob *rb, *trb;
167 struct revoked_certs *rc, *trc;
168
169 if (krl == NULL)
170 return;
171
172 free(krl->comment);
173 RB_FOREACH_SAFE(rb, revoked_blob_tree, &krl->revoked_keys, trb) {
174 RB_REMOVE(revoked_blob_tree, &krl->revoked_keys, rb);
175 free(rb->blob);
176 free(rb);
177 }
178 RB_FOREACH_SAFE(rb, revoked_blob_tree, &krl->revoked_sha1s, trb) {
179 RB_REMOVE(revoked_blob_tree, &krl->revoked_sha1s, rb);
180 free(rb->blob);
181 free(rb);
182 }
183 TAILQ_FOREACH_SAFE(rc, &krl->revoked_certs, entry, trc) {
184 TAILQ_REMOVE(&krl->revoked_certs, rc, entry);
185 revoked_certs_free(rc);
186 }
187}
188
189void
190ssh_krl_set_version(struct ssh_krl *krl, u_int64_t version)
191{
192 krl->krl_version = version;
193}
194
djm@openbsd.org74de2542014-12-04 01:49:59 +0000195int
Damien Millerf3747bf2013-01-18 11:44:04 +1100196ssh_krl_set_comment(struct ssh_krl *krl, const char *comment)
197{
198 free(krl->comment);
199 if ((krl->comment = strdup(comment)) == NULL)
djm@openbsd.org74de2542014-12-04 01:49:59 +0000200 return SSH_ERR_ALLOC_FAIL;
201 return 0;
Damien Millerf3747bf2013-01-18 11:44:04 +1100202}
203
204/*
205 * Find the revoked_certs struct for a CA key. If allow_create is set then
206 * create a new one in the tree if one did not exist already.
207 */
208static int
djm@openbsd.org74de2542014-12-04 01:49:59 +0000209revoked_certs_for_ca_key(struct ssh_krl *krl, const struct sshkey *ca_key,
Damien Millerf3747bf2013-01-18 11:44:04 +1100210 struct revoked_certs **rcp, int allow_create)
211{
212 struct revoked_certs *rc;
djm@openbsd.org74de2542014-12-04 01:49:59 +0000213 int r;
Damien Millerf3747bf2013-01-18 11:44:04 +1100214
215 *rcp = NULL;
216 TAILQ_FOREACH(rc, &krl->revoked_certs, entry) {
djm@openbsd.org74de2542014-12-04 01:49:59 +0000217 if (sshkey_equal(rc->ca_key, ca_key)) {
Damien Millerf3747bf2013-01-18 11:44:04 +1100218 *rcp = rc;
219 return 0;
220 }
221 }
222 if (!allow_create)
223 return 0;
224 /* If this CA doesn't exist in the list then add it now */
225 if ((rc = calloc(1, sizeof(*rc))) == NULL)
djm@openbsd.org74de2542014-12-04 01:49:59 +0000226 return SSH_ERR_ALLOC_FAIL;
227 if ((r = sshkey_from_private(ca_key, &rc->ca_key)) != 0) {
Damien Millerf3747bf2013-01-18 11:44:04 +1100228 free(rc);
djm@openbsd.org74de2542014-12-04 01:49:59 +0000229 return r;
Damien Millerf3747bf2013-01-18 11:44:04 +1100230 }
231 RB_INIT(&rc->revoked_serials);
232 RB_INIT(&rc->revoked_key_ids);
233 TAILQ_INSERT_TAIL(&krl->revoked_certs, rc, entry);
djm@openbsd.orge7fd9522015-01-13 19:04:35 +0000234 KRL_DBG(("%s: new CA %s", __func__, sshkey_type(ca_key)));
Damien Millerf3747bf2013-01-18 11:44:04 +1100235 *rcp = rc;
236 return 0;
237}
238
239static int
240insert_serial_range(struct revoked_serial_tree *rt, u_int64_t lo, u_int64_t hi)
241{
242 struct revoked_serial rs, *ers, *crs, *irs;
243
244 KRL_DBG(("%s: insert %llu:%llu", __func__, lo, hi));
Damien Miller1d2c4562014-02-04 11:18:20 +1100245 memset(&rs, 0, sizeof(rs));
Damien Millerf3747bf2013-01-18 11:44:04 +1100246 rs.lo = lo;
247 rs.hi = hi;
248 ers = RB_NFIND(revoked_serial_tree, rt, &rs);
249 if (ers == NULL || serial_cmp(ers, &rs) != 0) {
250 /* No entry matches. Just insert */
251 if ((irs = malloc(sizeof(rs))) == NULL)
djm@openbsd.org74de2542014-12-04 01:49:59 +0000252 return SSH_ERR_ALLOC_FAIL;
Damien Millerf3747bf2013-01-18 11:44:04 +1100253 memcpy(irs, &rs, sizeof(*irs));
254 ers = RB_INSERT(revoked_serial_tree, rt, irs);
255 if (ers != NULL) {
256 KRL_DBG(("%s: bad: ers != NULL", __func__));
257 /* Shouldn't happen */
Damien Millera7522d92013-01-20 22:35:31 +1100258 free(irs);
djm@openbsd.orge7fd9522015-01-13 19:04:35 +0000259 return SSH_ERR_INTERNAL_ERROR;
Damien Millerf3747bf2013-01-18 11:44:04 +1100260 }
261 ers = irs;
262 } else {
263 KRL_DBG(("%s: overlap found %llu:%llu", __func__,
264 ers->lo, ers->hi));
265 /*
266 * The inserted entry overlaps an existing one. Grow the
267 * existing entry.
268 */
269 if (ers->lo > lo)
270 ers->lo = lo;
271 if (ers->hi < hi)
272 ers->hi = hi;
273 }
djm@openbsd.orge7fd9522015-01-13 19:04:35 +0000274
Damien Millerf3747bf2013-01-18 11:44:04 +1100275 /*
276 * The inserted or revised range might overlap or abut adjacent ones;
277 * coalesce as necessary.
278 */
279
280 /* Check predecessors */
281 while ((crs = RB_PREV(revoked_serial_tree, rt, ers)) != NULL) {
282 KRL_DBG(("%s: pred %llu:%llu", __func__, crs->lo, crs->hi));
283 if (ers->lo != 0 && crs->hi < ers->lo - 1)
284 break;
285 /* This entry overlaps. */
286 if (crs->lo < ers->lo) {
287 ers->lo = crs->lo;
288 KRL_DBG(("%s: pred extend %llu:%llu", __func__,
289 ers->lo, ers->hi));
290 }
291 RB_REMOVE(revoked_serial_tree, rt, crs);
292 free(crs);
293 }
294 /* Check successors */
295 while ((crs = RB_NEXT(revoked_serial_tree, rt, ers)) != NULL) {
296 KRL_DBG(("%s: succ %llu:%llu", __func__, crs->lo, crs->hi));
297 if (ers->hi != (u_int64_t)-1 && crs->lo > ers->hi + 1)
298 break;
299 /* This entry overlaps. */
300 if (crs->hi > ers->hi) {
301 ers->hi = crs->hi;
302 KRL_DBG(("%s: succ extend %llu:%llu", __func__,
303 ers->lo, ers->hi));
304 }
305 RB_REMOVE(revoked_serial_tree, rt, crs);
306 free(crs);
307 }
308 KRL_DBG(("%s: done, final %llu:%llu", __func__, ers->lo, ers->hi));
309 return 0;
310}
311
312int
djm@openbsd.org74de2542014-12-04 01:49:59 +0000313ssh_krl_revoke_cert_by_serial(struct ssh_krl *krl, const struct sshkey *ca_key,
Damien Millerf3747bf2013-01-18 11:44:04 +1100314 u_int64_t serial)
315{
316 return ssh_krl_revoke_cert_by_serial_range(krl, ca_key, serial, serial);
317}
318
319int
djm@openbsd.orge7fd9522015-01-13 19:04:35 +0000320ssh_krl_revoke_cert_by_serial_range(struct ssh_krl *krl,
321 const struct sshkey *ca_key, u_int64_t lo, u_int64_t hi)
Damien Millerf3747bf2013-01-18 11:44:04 +1100322{
323 struct revoked_certs *rc;
djm@openbsd.org74de2542014-12-04 01:49:59 +0000324 int r;
Damien Millerf3747bf2013-01-18 11:44:04 +1100325
326 if (lo > hi || lo == 0)
djm@openbsd.orge7fd9522015-01-13 19:04:35 +0000327 return SSH_ERR_INVALID_ARGUMENT;
djm@openbsd.org74de2542014-12-04 01:49:59 +0000328 if ((r = revoked_certs_for_ca_key(krl, ca_key, &rc, 1)) != 0)
329 return r;
Damien Millerf3747bf2013-01-18 11:44:04 +1100330 return insert_serial_range(&rc->revoked_serials, lo, hi);
331}
332
333int
djm@openbsd.org74de2542014-12-04 01:49:59 +0000334ssh_krl_revoke_cert_by_key_id(struct ssh_krl *krl, const struct sshkey *ca_key,
Damien Millerf3747bf2013-01-18 11:44:04 +1100335 const char *key_id)
336{
337 struct revoked_key_id *rki, *erki;
338 struct revoked_certs *rc;
djm@openbsd.org74de2542014-12-04 01:49:59 +0000339 int r;
Damien Millerf3747bf2013-01-18 11:44:04 +1100340
djm@openbsd.org74de2542014-12-04 01:49:59 +0000341 if ((r = revoked_certs_for_ca_key(krl, ca_key, &rc, 1)) != 0)
342 return r;
Damien Millerf3747bf2013-01-18 11:44:04 +1100343
djm@openbsd.orge7fd9522015-01-13 19:04:35 +0000344 KRL_DBG(("%s: revoke %s", __func__, key_id));
Damien Millerf3747bf2013-01-18 11:44:04 +1100345 if ((rki = calloc(1, sizeof(*rki))) == NULL ||
346 (rki->key_id = strdup(key_id)) == NULL) {
347 free(rki);
djm@openbsd.org74de2542014-12-04 01:49:59 +0000348 return SSH_ERR_ALLOC_FAIL;
Damien Millerf3747bf2013-01-18 11:44:04 +1100349 }
350 erki = RB_INSERT(revoked_key_id_tree, &rc->revoked_key_ids, rki);
351 if (erki != NULL) {
352 free(rki->key_id);
353 free(rki);
354 }
355 return 0;
356}
357
358/* Convert "key" to a public key blob without any certificate information */
359static int
djm@openbsd.org74de2542014-12-04 01:49:59 +0000360plain_key_blob(const struct sshkey *key, u_char **blob, size_t *blen)
Damien Millerf3747bf2013-01-18 11:44:04 +1100361{
djm@openbsd.org74de2542014-12-04 01:49:59 +0000362 struct sshkey *kcopy;
Damien Millerf3747bf2013-01-18 11:44:04 +1100363 int r;
364
djm@openbsd.org74de2542014-12-04 01:49:59 +0000365 if ((r = sshkey_from_private(key, &kcopy)) != 0)
366 return r;
367 if (sshkey_is_cert(kcopy)) {
368 if ((r = sshkey_drop_cert(kcopy)) != 0) {
369 sshkey_free(kcopy);
370 return r;
Damien Millerf3747bf2013-01-18 11:44:04 +1100371 }
372 }
djm@openbsd.org74de2542014-12-04 01:49:59 +0000373 r = sshkey_to_blob(kcopy, blob, blen);
markus@openbsd.org905fe302015-01-12 14:05:19 +0000374 sshkey_free(kcopy);
Damien Miller86687062014-07-02 15:28:02 +1000375 return r;
Damien Millerf3747bf2013-01-18 11:44:04 +1100376}
377
378/* Revoke a key blob. Ownership of blob is transferred to the tree */
379static int
djm@openbsd.orge7fd9522015-01-13 19:04:35 +0000380revoke_blob(struct revoked_blob_tree *rbt, u_char *blob, size_t len)
Damien Millerf3747bf2013-01-18 11:44:04 +1100381{
382 struct revoked_blob *rb, *erb;
383
384 if ((rb = calloc(1, sizeof(*rb))) == NULL)
djm@openbsd.org74de2542014-12-04 01:49:59 +0000385 return SSH_ERR_ALLOC_FAIL;
Damien Millerf3747bf2013-01-18 11:44:04 +1100386 rb->blob = blob;
387 rb->len = len;
388 erb = RB_INSERT(revoked_blob_tree, rbt, rb);
389 if (erb != NULL) {
390 free(rb->blob);
391 free(rb);
392 }
393 return 0;
394}
395
396int
djm@openbsd.org74de2542014-12-04 01:49:59 +0000397ssh_krl_revoke_key_explicit(struct ssh_krl *krl, const struct sshkey *key)
Damien Millerf3747bf2013-01-18 11:44:04 +1100398{
399 u_char *blob;
djm@openbsd.org74de2542014-12-04 01:49:59 +0000400 size_t len;
401 int r;
Damien Millerf3747bf2013-01-18 11:44:04 +1100402
djm@openbsd.org74de2542014-12-04 01:49:59 +0000403 debug3("%s: revoke type %s", __func__, sshkey_type(key));
404 if ((r = plain_key_blob(key, &blob, &len)) != 0)
405 return r;
Damien Millerf3747bf2013-01-18 11:44:04 +1100406 return revoke_blob(&krl->revoked_keys, blob, len);
407}
408
409int
djm@openbsd.org74de2542014-12-04 01:49:59 +0000410ssh_krl_revoke_key_sha1(struct ssh_krl *krl, const struct sshkey *key)
Damien Millerf3747bf2013-01-18 11:44:04 +1100411{
412 u_char *blob;
djm@openbsd.org74de2542014-12-04 01:49:59 +0000413 size_t len;
414 int r;
Damien Millerf3747bf2013-01-18 11:44:04 +1100415
djm@openbsd.org74de2542014-12-04 01:49:59 +0000416 debug3("%s: revoke type %s by sha1", __func__, sshkey_type(key));
djm@openbsd.org56d1c832014-12-21 22:27:55 +0000417 if ((r = sshkey_fingerprint_raw(key, SSH_DIGEST_SHA1,
418 &blob, &len)) != 0)
djm@openbsd.org74de2542014-12-04 01:49:59 +0000419 return r;
Damien Millerf3747bf2013-01-18 11:44:04 +1100420 return revoke_blob(&krl->revoked_sha1s, blob, len);
421}
422
423int
djm@openbsd.org74de2542014-12-04 01:49:59 +0000424ssh_krl_revoke_key(struct ssh_krl *krl, const struct sshkey *key)
Damien Millerf3747bf2013-01-18 11:44:04 +1100425{
djm@openbsd.org74de2542014-12-04 01:49:59 +0000426 if (!sshkey_is_cert(key))
Damien Millerf3747bf2013-01-18 11:44:04 +1100427 return ssh_krl_revoke_key_sha1(krl, key);
428
djm@openbsd.org74de2542014-12-04 01:49:59 +0000429 if (sshkey_cert_is_legacy(key) || key->cert->serial == 0) {
Damien Millerf3747bf2013-01-18 11:44:04 +1100430 return ssh_krl_revoke_cert_by_key_id(krl,
431 key->cert->signature_key,
432 key->cert->key_id);
433 } else {
434 return ssh_krl_revoke_cert_by_serial(krl,
435 key->cert->signature_key,
436 key->cert->serial);
437 }
438}
439
440/*
djm@openbsd.org74de2542014-12-04 01:49:59 +0000441 * Select the most compact section type to emit next in a KRL based on
442 * the current section type, the run length of contiguous revoked serial
Damien Millerf3747bf2013-01-18 11:44:04 +1100443 * numbers and the gaps from the last and to the next revoked serial.
444 * Applies a mostly-accurate bit cost model to select the section type
445 * that will minimise the size of the resultant KRL.
446 */
447static int
448choose_next_state(int current_state, u_int64_t contig, int final,
449 u_int64_t last_gap, u_int64_t next_gap, int *force_new_section)
450{
451 int new_state;
452 u_int64_t cost, cost_list, cost_range, cost_bitmap, cost_bitmap_restart;
453
454 /*
455 * Avoid unsigned overflows.
456 * The limits are high enough to avoid confusing the calculations.
457 */
458 contig = MIN(contig, 1ULL<<31);
459 last_gap = MIN(last_gap, 1ULL<<31);
460 next_gap = MIN(next_gap, 1ULL<<31);
461
462 /*
463 * Calculate the cost to switch from the current state to candidates.
464 * NB. range sections only ever contain a single range, so their
465 * switching cost is independent of the current_state.
466 */
467 cost_list = cost_bitmap = cost_bitmap_restart = 0;
468 cost_range = 8;
469 switch (current_state) {
470 case KRL_SECTION_CERT_SERIAL_LIST:
471 cost_bitmap_restart = cost_bitmap = 8 + 64;
472 break;
473 case KRL_SECTION_CERT_SERIAL_BITMAP:
474 cost_list = 8;
475 cost_bitmap_restart = 8 + 64;
476 break;
477 case KRL_SECTION_CERT_SERIAL_RANGE:
478 case 0:
479 cost_bitmap_restart = cost_bitmap = 8 + 64;
480 cost_list = 8;
481 }
482
483 /* Estimate base cost in bits of each section type */
484 cost_list += 64 * contig + (final ? 0 : 8+64);
485 cost_range += (2 * 64) + (final ? 0 : 8+64);
486 cost_bitmap += last_gap + contig + (final ? 0 : MIN(next_gap, 8+64));
487 cost_bitmap_restart += contig + (final ? 0 : MIN(next_gap, 8+64));
488
489 /* Convert to byte costs for actual comparison */
490 cost_list = (cost_list + 7) / 8;
491 cost_bitmap = (cost_bitmap + 7) / 8;
492 cost_bitmap_restart = (cost_bitmap_restart + 7) / 8;
493 cost_range = (cost_range + 7) / 8;
494
495 /* Now pick the best choice */
496 *force_new_section = 0;
497 new_state = KRL_SECTION_CERT_SERIAL_BITMAP;
498 cost = cost_bitmap;
499 if (cost_range < cost) {
500 new_state = KRL_SECTION_CERT_SERIAL_RANGE;
501 cost = cost_range;
502 }
503 if (cost_list < cost) {
504 new_state = KRL_SECTION_CERT_SERIAL_LIST;
505 cost = cost_list;
506 }
507 if (cost_bitmap_restart < cost) {
508 new_state = KRL_SECTION_CERT_SERIAL_BITMAP;
509 *force_new_section = 1;
510 cost = cost_bitmap_restart;
511 }
djm@openbsd.orge7fd9522015-01-13 19:04:35 +0000512 KRL_DBG(("%s: contig %llu last_gap %llu next_gap %llu final %d, costs:"
Damien Millerf3747bf2013-01-18 11:44:04 +1100513 "list %llu range %llu bitmap %llu new bitmap %llu, "
Damien Millerd677ad12013-04-23 15:18:51 +1000514 "selected 0x%02x%s", __func__, (long long unsigned)contig,
515 (long long unsigned)last_gap, (long long unsigned)next_gap, final,
516 (long long unsigned)cost_list, (long long unsigned)cost_range,
517 (long long unsigned)cost_bitmap,
518 (long long unsigned)cost_bitmap_restart, new_state,
djm@openbsd.orge7fd9522015-01-13 19:04:35 +0000519 *force_new_section ? " restart" : ""));
Damien Millerf3747bf2013-01-18 11:44:04 +1100520 return new_state;
521}
522
djm@openbsd.orga165bab2015-01-14 15:02:39 +0000523static int
524put_bitmap(struct sshbuf *buf, struct bitmap *bitmap)
525{
526 size_t len;
527 u_char *blob;
528 int r;
529
530 len = bitmap_nbytes(bitmap);
531 if ((blob = malloc(len)) == NULL)
532 return SSH_ERR_ALLOC_FAIL;
533 if (bitmap_to_string(bitmap, blob, len) != 0) {
534 free(blob);
535 return SSH_ERR_INTERNAL_ERROR;
536 }
537 r = sshbuf_put_bignum2_bytes(buf, blob, len);
538 free(blob);
539 return r;
540}
541
Damien Millerf3747bf2013-01-18 11:44:04 +1100542/* Generate a KRL_SECTION_CERTIFICATES KRL section */
543static int
djm@openbsd.org74de2542014-12-04 01:49:59 +0000544revoked_certs_generate(struct revoked_certs *rc, struct sshbuf *buf)
Damien Millerf3747bf2013-01-18 11:44:04 +1100545{
djm@openbsd.orge7fd9522015-01-13 19:04:35 +0000546 int final, force_new_sect, r = SSH_ERR_INTERNAL_ERROR;
Damien Millerf3747bf2013-01-18 11:44:04 +1100547 u_int64_t i, contig, gap, last = 0, bitmap_start = 0;
548 struct revoked_serial *rs, *nrs;
549 struct revoked_key_id *rki;
550 int next_state, state = 0;
djm@openbsd.org74de2542014-12-04 01:49:59 +0000551 struct sshbuf *sect;
djm@openbsd.orga165bab2015-01-14 15:02:39 +0000552 struct bitmap *bitmap = NULL;
Damien Millerf3747bf2013-01-18 11:44:04 +1100553
djm@openbsd.org74de2542014-12-04 01:49:59 +0000554 if ((sect = sshbuf_new()) == NULL)
555 return SSH_ERR_ALLOC_FAIL;
Damien Millerf3747bf2013-01-18 11:44:04 +1100556
djm@openbsd.org74de2542014-12-04 01:49:59 +0000557 /* Store the header: CA scope key, reserved */
djm@openbsd.org60b18252015-01-26 02:59:11 +0000558 if ((r = sshkey_puts(rc->ca_key, buf)) != 0 ||
djm@openbsd.org74de2542014-12-04 01:49:59 +0000559 (r = sshbuf_put_string(buf, NULL, 0)) != 0)
560 goto out;
Damien Millerf3747bf2013-01-18 11:44:04 +1100561
Damien Millerf3747bf2013-01-18 11:44:04 +1100562 /* Store the revoked serials. */
563 for (rs = RB_MIN(revoked_serial_tree, &rc->revoked_serials);
564 rs != NULL;
565 rs = RB_NEXT(revoked_serial_tree, &rc->revoked_serials, rs)) {
djm@openbsd.orge7fd9522015-01-13 19:04:35 +0000566 KRL_DBG(("%s: serial %llu:%llu state 0x%02x", __func__,
Damien Millerd677ad12013-04-23 15:18:51 +1000567 (long long unsigned)rs->lo, (long long unsigned)rs->hi,
djm@openbsd.orge7fd9522015-01-13 19:04:35 +0000568 state));
Damien Millerf3747bf2013-01-18 11:44:04 +1100569
570 /* Check contiguous length and gap to next section (if any) */
571 nrs = RB_NEXT(revoked_serial_tree, &rc->revoked_serials, rs);
572 final = nrs == NULL;
573 gap = nrs == NULL ? 0 : nrs->lo - rs->hi;
574 contig = 1 + (rs->hi - rs->lo);
575
576 /* Choose next state based on these */
577 next_state = choose_next_state(state, contig, final,
578 state == 0 ? 0 : rs->lo - last, gap, &force_new_sect);
579
580 /*
581 * If the current section is a range section or has a different
582 * type to the next section, then finish it off now.
583 */
584 if (state != 0 && (force_new_sect || next_state != state ||
585 state == KRL_SECTION_CERT_SERIAL_RANGE)) {
djm@openbsd.orge7fd9522015-01-13 19:04:35 +0000586 KRL_DBG(("%s: finish state 0x%02x", __func__, state));
Damien Millerf3747bf2013-01-18 11:44:04 +1100587 switch (state) {
588 case KRL_SECTION_CERT_SERIAL_LIST:
589 case KRL_SECTION_CERT_SERIAL_RANGE:
590 break;
591 case KRL_SECTION_CERT_SERIAL_BITMAP:
djm@openbsd.orga165bab2015-01-14 15:02:39 +0000592 if ((r = put_bitmap(sect, bitmap)) != 0)
djm@openbsd.org74de2542014-12-04 01:49:59 +0000593 goto out;
djm@openbsd.orga165bab2015-01-14 15:02:39 +0000594 bitmap_free(bitmap);
Damien Millerf3747bf2013-01-18 11:44:04 +1100595 bitmap = NULL;
596 break;
597 }
djm@openbsd.org74de2542014-12-04 01:49:59 +0000598 if ((r = sshbuf_put_u8(buf, state)) != 0 ||
599 (r = sshbuf_put_stringb(buf, sect)) != 0)
600 goto out;
601 sshbuf_reset(sect);
Damien Millerf3747bf2013-01-18 11:44:04 +1100602 }
603
604 /* If we are starting a new section then prepare it now */
605 if (next_state != state || force_new_sect) {
djm@openbsd.orge7fd9522015-01-13 19:04:35 +0000606 KRL_DBG(("%s: start state 0x%02x", __func__,
607 next_state));
Damien Millerf3747bf2013-01-18 11:44:04 +1100608 state = next_state;
djm@openbsd.org74de2542014-12-04 01:49:59 +0000609 sshbuf_reset(sect);
Damien Millerf3747bf2013-01-18 11:44:04 +1100610 switch (state) {
611 case KRL_SECTION_CERT_SERIAL_LIST:
612 case KRL_SECTION_CERT_SERIAL_RANGE:
613 break;
614 case KRL_SECTION_CERT_SERIAL_BITMAP:
djm@openbsd.orga165bab2015-01-14 15:02:39 +0000615 if ((bitmap = bitmap_new()) == NULL) {
djm@openbsd.org74de2542014-12-04 01:49:59 +0000616 r = SSH_ERR_ALLOC_FAIL;
Damien Millerf3747bf2013-01-18 11:44:04 +1100617 goto out;
djm@openbsd.org74de2542014-12-04 01:49:59 +0000618 }
Damien Millerf3747bf2013-01-18 11:44:04 +1100619 bitmap_start = rs->lo;
djm@openbsd.org74de2542014-12-04 01:49:59 +0000620 if ((r = sshbuf_put_u64(sect,
621 bitmap_start)) != 0)
622 goto out;
Damien Millerf3747bf2013-01-18 11:44:04 +1100623 break;
624 }
625 }
626
627 /* Perform section-specific processing */
628 switch (state) {
629 case KRL_SECTION_CERT_SERIAL_LIST:
djm@openbsd.org74de2542014-12-04 01:49:59 +0000630 for (i = 0; i < contig; i++) {
631 if ((r = sshbuf_put_u64(sect, rs->lo + i)) != 0)
632 goto out;
633 }
Damien Millerf3747bf2013-01-18 11:44:04 +1100634 break;
635 case KRL_SECTION_CERT_SERIAL_RANGE:
djm@openbsd.org74de2542014-12-04 01:49:59 +0000636 if ((r = sshbuf_put_u64(sect, rs->lo)) != 0 ||
637 (r = sshbuf_put_u64(sect, rs->hi)) != 0)
638 goto out;
Damien Millerf3747bf2013-01-18 11:44:04 +1100639 break;
640 case KRL_SECTION_CERT_SERIAL_BITMAP:
641 if (rs->lo - bitmap_start > INT_MAX) {
642 error("%s: insane bitmap gap", __func__);
643 goto out;
644 }
645 for (i = 0; i < contig; i++) {
djm@openbsd.orga165bab2015-01-14 15:02:39 +0000646 if (bitmap_set_bit(bitmap,
647 rs->lo + i - bitmap_start) != 0) {
djm@openbsd.org74de2542014-12-04 01:49:59 +0000648 r = SSH_ERR_ALLOC_FAIL;
Damien Millerf3747bf2013-01-18 11:44:04 +1100649 goto out;
djm@openbsd.org74de2542014-12-04 01:49:59 +0000650 }
Damien Millerf3747bf2013-01-18 11:44:04 +1100651 }
652 break;
653 }
654 last = rs->hi;
655 }
656 /* Flush the remaining section, if any */
657 if (state != 0) {
djm@openbsd.orge7fd9522015-01-13 19:04:35 +0000658 KRL_DBG(("%s: serial final flush for state 0x%02x",
659 __func__, state));
Damien Millerf3747bf2013-01-18 11:44:04 +1100660 switch (state) {
661 case KRL_SECTION_CERT_SERIAL_LIST:
662 case KRL_SECTION_CERT_SERIAL_RANGE:
663 break;
664 case KRL_SECTION_CERT_SERIAL_BITMAP:
djm@openbsd.orga165bab2015-01-14 15:02:39 +0000665 if ((r = put_bitmap(sect, bitmap)) != 0)
djm@openbsd.org74de2542014-12-04 01:49:59 +0000666 goto out;
djm@openbsd.orga165bab2015-01-14 15:02:39 +0000667 bitmap_free(bitmap);
Damien Millerf3747bf2013-01-18 11:44:04 +1100668 bitmap = NULL;
669 break;
670 }
djm@openbsd.org74de2542014-12-04 01:49:59 +0000671 if ((r = sshbuf_put_u8(buf, state)) != 0 ||
672 (r = sshbuf_put_stringb(buf, sect)) != 0)
673 goto out;
Damien Millerf3747bf2013-01-18 11:44:04 +1100674 }
djm@openbsd.orge7fd9522015-01-13 19:04:35 +0000675 KRL_DBG(("%s: serial done ", __func__));
Damien Millerf3747bf2013-01-18 11:44:04 +1100676
677 /* Now output a section for any revocations by key ID */
djm@openbsd.org74de2542014-12-04 01:49:59 +0000678 sshbuf_reset(sect);
Damien Millerf3747bf2013-01-18 11:44:04 +1100679 RB_FOREACH(rki, revoked_key_id_tree, &rc->revoked_key_ids) {
djm@openbsd.orge7fd9522015-01-13 19:04:35 +0000680 KRL_DBG(("%s: key ID %s", __func__, rki->key_id));
djm@openbsd.org74de2542014-12-04 01:49:59 +0000681 if ((r = sshbuf_put_cstring(sect, rki->key_id)) != 0)
682 goto out;
Damien Millerf3747bf2013-01-18 11:44:04 +1100683 }
djm@openbsd.org74de2542014-12-04 01:49:59 +0000684 if (sshbuf_len(sect) != 0) {
685 if ((r = sshbuf_put_u8(buf, KRL_SECTION_CERT_KEY_ID)) != 0 ||
686 (r = sshbuf_put_stringb(buf, sect)) != 0)
687 goto out;
Damien Millerf3747bf2013-01-18 11:44:04 +1100688 }
689 r = 0;
690 out:
djm@openbsd.orga165bab2015-01-14 15:02:39 +0000691 bitmap_free(bitmap);
djm@openbsd.org74de2542014-12-04 01:49:59 +0000692 sshbuf_free(sect);
Damien Millerf3747bf2013-01-18 11:44:04 +1100693 return r;
694}
695
696int
djm@openbsd.org74de2542014-12-04 01:49:59 +0000697ssh_krl_to_blob(struct ssh_krl *krl, struct sshbuf *buf,
698 const struct sshkey **sign_keys, u_int nsign_keys)
Damien Millerf3747bf2013-01-18 11:44:04 +1100699{
djm@openbsd.orge7fd9522015-01-13 19:04:35 +0000700 int r = SSH_ERR_INTERNAL_ERROR;
Damien Millerf3747bf2013-01-18 11:44:04 +1100701 struct revoked_certs *rc;
702 struct revoked_blob *rb;
djm@openbsd.org74de2542014-12-04 01:49:59 +0000703 struct sshbuf *sect;
704 u_char *sblob = NULL;
705 size_t slen, i;
Damien Millerf3747bf2013-01-18 11:44:04 +1100706
707 if (krl->generated_date == 0)
708 krl->generated_date = time(NULL);
709
djm@openbsd.org74de2542014-12-04 01:49:59 +0000710 if ((sect = sshbuf_new()) == NULL)
711 return SSH_ERR_ALLOC_FAIL;
Damien Millerf3747bf2013-01-18 11:44:04 +1100712
713 /* Store the header */
djm@openbsd.org74de2542014-12-04 01:49:59 +0000714 if ((r = sshbuf_put(buf, KRL_MAGIC, sizeof(KRL_MAGIC) - 1)) != 0 ||
715 (r = sshbuf_put_u32(buf, KRL_FORMAT_VERSION)) != 0 ||
716 (r = sshbuf_put_u64(buf, krl->krl_version)) != 0 ||
717 (r = sshbuf_put_u64(buf, krl->generated_date) != 0) ||
718 (r = sshbuf_put_u64(buf, krl->flags)) != 0 ||
719 (r = sshbuf_put_string(buf, NULL, 0)) != 0 ||
720 (r = sshbuf_put_cstring(buf, krl->comment)) != 0)
721 goto out;
Damien Millerf3747bf2013-01-18 11:44:04 +1100722
723 /* Store sections for revoked certificates */
724 TAILQ_FOREACH(rc, &krl->revoked_certs, entry) {
djm@openbsd.org74de2542014-12-04 01:49:59 +0000725 sshbuf_reset(sect);
726 if ((r = revoked_certs_generate(rc, sect)) != 0)
Damien Millerf3747bf2013-01-18 11:44:04 +1100727 goto out;
djm@openbsd.org74de2542014-12-04 01:49:59 +0000728 if ((r = sshbuf_put_u8(buf, KRL_SECTION_CERTIFICATES)) != 0 ||
729 (r = sshbuf_put_stringb(buf, sect)) != 0)
730 goto out;
Damien Millerf3747bf2013-01-18 11:44:04 +1100731 }
732
733 /* Finally, output sections for revocations by public key/hash */
djm@openbsd.org74de2542014-12-04 01:49:59 +0000734 sshbuf_reset(sect);
Damien Millerf3747bf2013-01-18 11:44:04 +1100735 RB_FOREACH(rb, revoked_blob_tree, &krl->revoked_keys) {
djm@openbsd.org4e62cc62015-01-19 17:35:48 +0000736 KRL_DBG(("%s: key len %zu ", __func__, rb->len));
markus@openbsd.org00975652015-01-12 19:22:46 +0000737 if ((r = sshbuf_put_string(sect, rb->blob, rb->len)) != 0)
djm@openbsd.org74de2542014-12-04 01:49:59 +0000738 goto out;
Damien Millerf3747bf2013-01-18 11:44:04 +1100739 }
djm@openbsd.org74de2542014-12-04 01:49:59 +0000740 if (sshbuf_len(sect) != 0) {
741 if ((r = sshbuf_put_u8(buf, KRL_SECTION_EXPLICIT_KEY)) != 0 ||
742 (r = sshbuf_put_stringb(buf, sect)) != 0)
743 goto out;
Damien Millerf3747bf2013-01-18 11:44:04 +1100744 }
djm@openbsd.org74de2542014-12-04 01:49:59 +0000745 sshbuf_reset(sect);
Damien Millerf3747bf2013-01-18 11:44:04 +1100746 RB_FOREACH(rb, revoked_blob_tree, &krl->revoked_sha1s) {
djm@openbsd.org4e62cc62015-01-19 17:35:48 +0000747 KRL_DBG(("%s: hash len %zu ", __func__, rb->len));
markus@openbsd.org00975652015-01-12 19:22:46 +0000748 if ((r = sshbuf_put_string(sect, rb->blob, rb->len)) != 0)
djm@openbsd.org74de2542014-12-04 01:49:59 +0000749 goto out;
Damien Millerf3747bf2013-01-18 11:44:04 +1100750 }
djm@openbsd.org74de2542014-12-04 01:49:59 +0000751 if (sshbuf_len(sect) != 0) {
752 if ((r = sshbuf_put_u8(buf,
753 KRL_SECTION_FINGERPRINT_SHA1)) != 0 ||
754 (r = sshbuf_put_stringb(buf, sect)) != 0)
755 goto out;
Damien Millerf3747bf2013-01-18 11:44:04 +1100756 }
757
758 for (i = 0; i < nsign_keys; i++) {
djm@openbsd.org60b18252015-01-26 02:59:11 +0000759 KRL_DBG(("%s: signature key %s", __func__,
760 sshkey_ssh_name(sign_keys[i])));
djm@openbsd.org74de2542014-12-04 01:49:59 +0000761 if ((r = sshbuf_put_u8(buf, KRL_SECTION_SIGNATURE)) != 0 ||
djm@openbsd.org60b18252015-01-26 02:59:11 +0000762 (r = sshkey_puts(sign_keys[i], buf)) != 0)
Damien Millerf3747bf2013-01-18 11:44:04 +1100763 goto out;
djm@openbsd.org74de2542014-12-04 01:49:59 +0000764
765 if ((r = sshkey_sign(sign_keys[i], &sblob, &slen,
766 sshbuf_ptr(buf), sshbuf_len(buf), 0)) == -1)
767 goto out;
djm@openbsd.org4e62cc62015-01-19 17:35:48 +0000768 KRL_DBG(("%s: signature sig len %zu", __func__, slen));
djm@openbsd.org74de2542014-12-04 01:49:59 +0000769 if ((r = sshbuf_put_string(buf, sblob, slen)) != 0)
770 goto out;
Damien Millerf3747bf2013-01-18 11:44:04 +1100771 }
772
773 r = 0;
774 out:
Damien Millerf3747bf2013-01-18 11:44:04 +1100775 free(sblob);
djm@openbsd.org74de2542014-12-04 01:49:59 +0000776 sshbuf_free(sect);
Damien Millerf3747bf2013-01-18 11:44:04 +1100777 return r;
778}
779
780static void
781format_timestamp(u_int64_t timestamp, char *ts, size_t nts)
782{
783 time_t t;
784 struct tm *tm;
785
786 t = timestamp;
787 tm = localtime(&t);
djm@openbsd.orgb6de5ac2014-11-21 01:00:38 +0000788 if (tm == NULL)
deraadt@openbsd.orgf101d822015-01-18 14:01:00 +0000789 strlcpy(ts, "<INVALID>", nts);
djm@openbsd.orgb6de5ac2014-11-21 01:00:38 +0000790 else {
791 *ts = '\0';
792 strftime(ts, nts, "%Y%m%dT%H%M%S", tm);
793 }
Damien Millerf3747bf2013-01-18 11:44:04 +1100794}
795
796static int
djm@openbsd.org74de2542014-12-04 01:49:59 +0000797parse_revoked_certs(struct sshbuf *buf, struct ssh_krl *krl)
Damien Millerf3747bf2013-01-18 11:44:04 +1100798{
djm@openbsd.orga165bab2015-01-14 15:02:39 +0000799 int r = SSH_ERR_INTERNAL_ERROR;
Damien Miller633de332014-05-15 13:48:26 +1000800 u_char type;
801 const u_char *blob;
djm@openbsd.orga165bab2015-01-14 15:02:39 +0000802 size_t blen, nbits;
djm@openbsd.org74de2542014-12-04 01:49:59 +0000803 struct sshbuf *subsect = NULL;
Damien Millerf3747bf2013-01-18 11:44:04 +1100804 u_int64_t serial, serial_lo, serial_hi;
djm@openbsd.orga165bab2015-01-14 15:02:39 +0000805 struct bitmap *bitmap = NULL;
Damien Millerf3747bf2013-01-18 11:44:04 +1100806 char *key_id = NULL;
djm@openbsd.org74de2542014-12-04 01:49:59 +0000807 struct sshkey *ca_key = NULL;
Damien Millerf3747bf2013-01-18 11:44:04 +1100808
djm@openbsd.org74de2542014-12-04 01:49:59 +0000809 if ((subsect = sshbuf_new()) == NULL)
810 return SSH_ERR_ALLOC_FAIL;
Damien Millerf3747bf2013-01-18 11:44:04 +1100811
djm@openbsd.org74de2542014-12-04 01:49:59 +0000812 /* Header: key, reserved */
813 if ((r = sshbuf_get_string_direct(buf, &blob, &blen)) != 0 ||
814 (r = sshbuf_skip_string(buf)) != 0)
Damien Millerf3747bf2013-01-18 11:44:04 +1100815 goto out;
djm@openbsd.org74de2542014-12-04 01:49:59 +0000816 if ((r = sshkey_from_blob(blob, blen, &ca_key)) != 0)
Damien Millerf3747bf2013-01-18 11:44:04 +1100817 goto out;
818
djm@openbsd.org74de2542014-12-04 01:49:59 +0000819 while (sshbuf_len(buf) > 0) {
820 if (subsect != NULL) {
821 sshbuf_free(subsect);
822 subsect = NULL;
Damien Millerf3747bf2013-01-18 11:44:04 +1100823 }
djm@openbsd.org74de2542014-12-04 01:49:59 +0000824 if ((r = sshbuf_get_u8(buf, &type)) != 0 ||
825 (r = sshbuf_froms(buf, &subsect)) != 0)
826 goto out;
djm@openbsd.orge7fd9522015-01-13 19:04:35 +0000827 KRL_DBG(("%s: subsection type 0x%02x", __func__, type));
828 /* sshbuf_dump(subsect, stderr); */
Damien Millerf3747bf2013-01-18 11:44:04 +1100829
830 switch (type) {
831 case KRL_SECTION_CERT_SERIAL_LIST:
djm@openbsd.org74de2542014-12-04 01:49:59 +0000832 while (sshbuf_len(subsect) > 0) {
833 if ((r = sshbuf_get_u64(subsect, &serial)) != 0)
Damien Millerf3747bf2013-01-18 11:44:04 +1100834 goto out;
djm@openbsd.org74de2542014-12-04 01:49:59 +0000835 if ((r = ssh_krl_revoke_cert_by_serial(krl,
836 ca_key, serial)) != 0)
Damien Millerf3747bf2013-01-18 11:44:04 +1100837 goto out;
Damien Millerf3747bf2013-01-18 11:44:04 +1100838 }
839 break;
840 case KRL_SECTION_CERT_SERIAL_RANGE:
djm@openbsd.org74de2542014-12-04 01:49:59 +0000841 if ((r = sshbuf_get_u64(subsect, &serial_lo)) != 0 ||
842 (r = sshbuf_get_u64(subsect, &serial_hi)) != 0)
Damien Millerf3747bf2013-01-18 11:44:04 +1100843 goto out;
djm@openbsd.org74de2542014-12-04 01:49:59 +0000844 if ((r = ssh_krl_revoke_cert_by_serial_range(krl,
845 ca_key, serial_lo, serial_hi)) != 0)
Damien Millerf3747bf2013-01-18 11:44:04 +1100846 goto out;
Damien Millerf3747bf2013-01-18 11:44:04 +1100847 break;
848 case KRL_SECTION_CERT_SERIAL_BITMAP:
djm@openbsd.orga165bab2015-01-14 15:02:39 +0000849 if ((bitmap = bitmap_new()) == NULL) {
djm@openbsd.org74de2542014-12-04 01:49:59 +0000850 r = SSH_ERR_ALLOC_FAIL;
Damien Millerf3747bf2013-01-18 11:44:04 +1100851 goto out;
852 }
djm@openbsd.org74de2542014-12-04 01:49:59 +0000853 if ((r = sshbuf_get_u64(subsect, &serial_lo)) != 0 ||
djm@openbsd.orga165bab2015-01-14 15:02:39 +0000854 (r = sshbuf_get_bignum2_bytes_direct(subsect,
855 &blob, &blen)) != 0)
Damien Millerf3747bf2013-01-18 11:44:04 +1100856 goto out;
djm@openbsd.orga165bab2015-01-14 15:02:39 +0000857 if (bitmap_from_string(bitmap, blob, blen) != 0) {
djm@openbsd.org74de2542014-12-04 01:49:59 +0000858 r = SSH_ERR_INVALID_FORMAT;
Damien Millerf3747bf2013-01-18 11:44:04 +1100859 goto out;
860 }
djm@openbsd.orga165bab2015-01-14 15:02:39 +0000861 nbits = bitmap_nbits(bitmap);
djm@openbsd.orge7fd9522015-01-13 19:04:35 +0000862 for (serial = 0; serial < (u_int64_t)nbits; serial++) {
Damien Millerf3747bf2013-01-18 11:44:04 +1100863 if (serial > 0 && serial_lo + serial == 0) {
864 error("%s: bitmap wraps u64", __func__);
djm@openbsd.org74de2542014-12-04 01:49:59 +0000865 r = SSH_ERR_INVALID_FORMAT;
Damien Millerf3747bf2013-01-18 11:44:04 +1100866 goto out;
867 }
djm@openbsd.orga165bab2015-01-14 15:02:39 +0000868 if (!bitmap_test_bit(bitmap, serial))
Damien Millerf3747bf2013-01-18 11:44:04 +1100869 continue;
djm@openbsd.org74de2542014-12-04 01:49:59 +0000870 if ((r = ssh_krl_revoke_cert_by_serial(krl,
871 ca_key, serial_lo + serial)) != 0)
Damien Millerf3747bf2013-01-18 11:44:04 +1100872 goto out;
Damien Millerf3747bf2013-01-18 11:44:04 +1100873 }
djm@openbsd.orga165bab2015-01-14 15:02:39 +0000874 bitmap_free(bitmap);
Damien Millerf3747bf2013-01-18 11:44:04 +1100875 bitmap = NULL;
876 break;
877 case KRL_SECTION_CERT_KEY_ID:
djm@openbsd.org74de2542014-12-04 01:49:59 +0000878 while (sshbuf_len(subsect) > 0) {
879 if ((r = sshbuf_get_cstring(subsect,
880 &key_id, NULL)) != 0)
Damien Millerf3747bf2013-01-18 11:44:04 +1100881 goto out;
djm@openbsd.org74de2542014-12-04 01:49:59 +0000882 if ((r = ssh_krl_revoke_cert_by_key_id(krl,
883 ca_key, key_id)) != 0)
Damien Millerf3747bf2013-01-18 11:44:04 +1100884 goto out;
Damien Millerf3747bf2013-01-18 11:44:04 +1100885 free(key_id);
886 key_id = NULL;
887 }
888 break;
889 default:
890 error("Unsupported KRL certificate section %u", type);
djm@openbsd.org74de2542014-12-04 01:49:59 +0000891 r = SSH_ERR_INVALID_FORMAT;
Damien Millerf3747bf2013-01-18 11:44:04 +1100892 goto out;
893 }
djm@openbsd.org74de2542014-12-04 01:49:59 +0000894 if (sshbuf_len(subsect) > 0) {
Damien Millerf3747bf2013-01-18 11:44:04 +1100895 error("KRL certificate section contains unparsed data");
djm@openbsd.org74de2542014-12-04 01:49:59 +0000896 r = SSH_ERR_INVALID_FORMAT;
Damien Millerf3747bf2013-01-18 11:44:04 +1100897 goto out;
898 }
899 }
900
djm@openbsd.org74de2542014-12-04 01:49:59 +0000901 r = 0;
Damien Millerf3747bf2013-01-18 11:44:04 +1100902 out:
Damien Millerf3747bf2013-01-18 11:44:04 +1100903 if (bitmap != NULL)
djm@openbsd.orga165bab2015-01-14 15:02:39 +0000904 bitmap_free(bitmap);
Damien Millerf3747bf2013-01-18 11:44:04 +1100905 free(key_id);
djm@openbsd.org74de2542014-12-04 01:49:59 +0000906 sshkey_free(ca_key);
907 sshbuf_free(subsect);
908 return r;
Damien Millerf3747bf2013-01-18 11:44:04 +1100909}
910
911
912/* Attempt to parse a KRL, checking its signature (if any) with sign_ca_keys. */
913int
djm@openbsd.org74de2542014-12-04 01:49:59 +0000914ssh_krl_from_blob(struct sshbuf *buf, struct ssh_krl **krlp,
djm@openbsd.orge7fd9522015-01-13 19:04:35 +0000915 const struct sshkey **sign_ca_keys, size_t nsign_ca_keys)
Damien Millerf3747bf2013-01-18 11:44:04 +1100916{
djm@openbsd.org74de2542014-12-04 01:49:59 +0000917 struct sshbuf *copy = NULL, *sect = NULL;
918 struct ssh_krl *krl = NULL;
Damien Millerf3747bf2013-01-18 11:44:04 +1100919 char timestamp[64];
djm@openbsd.orge7fd9522015-01-13 19:04:35 +0000920 int r = SSH_ERR_INTERNAL_ERROR, sig_seen;
djm@openbsd.org74de2542014-12-04 01:49:59 +0000921 struct sshkey *key = NULL, **ca_used = NULL, **tmp_ca_used;
Damien Miller633de332014-05-15 13:48:26 +1000922 u_char type, *rdata = NULL;
923 const u_char *blob;
djm@openbsd.org74de2542014-12-04 01:49:59 +0000924 size_t i, j, sig_off, sects_off, rlen, blen, nca_used;
925 u_int format_version;
Damien Millerf3747bf2013-01-18 11:44:04 +1100926
Damien Miller30710702013-07-18 16:09:44 +1000927 nca_used = 0;
Damien Millerf3747bf2013-01-18 11:44:04 +1100928 *krlp = NULL;
djm@openbsd.org74de2542014-12-04 01:49:59 +0000929 if (sshbuf_len(buf) < sizeof(KRL_MAGIC) - 1 ||
930 memcmp(sshbuf_ptr(buf), KRL_MAGIC, sizeof(KRL_MAGIC) - 1) != 0) {
Damien Millerf3747bf2013-01-18 11:44:04 +1100931 debug3("%s: not a KRL", __func__);
djm@openbsd.org74de2542014-12-04 01:49:59 +0000932 return SSH_ERR_KRL_BAD_MAGIC;
Damien Millerf3747bf2013-01-18 11:44:04 +1100933 }
934
935 /* Take a copy of the KRL buffer so we can verify its signature later */
djm@openbsd.org74de2542014-12-04 01:49:59 +0000936 if ((copy = sshbuf_fromb(buf)) == NULL) {
937 r = SSH_ERR_ALLOC_FAIL;
938 goto out;
939 }
940 if ((r = sshbuf_consume(copy, sizeof(KRL_MAGIC) - 1)) != 0)
941 goto out;
Damien Millerf3747bf2013-01-18 11:44:04 +1100942
943 if ((krl = ssh_krl_init()) == NULL) {
944 error("%s: alloc failed", __func__);
945 goto out;
946 }
947
djm@openbsd.org74de2542014-12-04 01:49:59 +0000948 if ((r = sshbuf_get_u32(copy, &format_version)) != 0)
Damien Millerf3747bf2013-01-18 11:44:04 +1100949 goto out;
Damien Millerf3747bf2013-01-18 11:44:04 +1100950 if (format_version != KRL_FORMAT_VERSION) {
djm@openbsd.org74de2542014-12-04 01:49:59 +0000951 r = SSH_ERR_INVALID_FORMAT;
Damien Millerf3747bf2013-01-18 11:44:04 +1100952 goto out;
953 }
djm@openbsd.org74de2542014-12-04 01:49:59 +0000954 if ((r = sshbuf_get_u64(copy, &krl->krl_version)) != 0 ||
955 (r = sshbuf_get_u64(copy, &krl->generated_date)) != 0 ||
956 (r = sshbuf_get_u64(copy, &krl->flags)) != 0 ||
957 (r = sshbuf_skip_string(copy)) != 0 ||
958 (r = sshbuf_get_cstring(copy, &krl->comment, NULL)) != 0)
Damien Millerf3747bf2013-01-18 11:44:04 +1100959 goto out;
Damien Millerf3747bf2013-01-18 11:44:04 +1100960
961 format_timestamp(krl->generated_date, timestamp, sizeof(timestamp));
Damien Millerd677ad12013-04-23 15:18:51 +1000962 debug("KRL version %llu generated at %s%s%s",
963 (long long unsigned)krl->krl_version, timestamp,
964 *krl->comment ? ": " : "", krl->comment);
Damien Millerf3747bf2013-01-18 11:44:04 +1100965
966 /*
967 * 1st pass: verify signatures, if any. This is done to avoid
968 * detailed parsing of data whose provenance is unverified.
969 */
970 sig_seen = 0;
djm@openbsd.org74de2542014-12-04 01:49:59 +0000971 if (sshbuf_len(buf) < sshbuf_len(copy)) {
972 /* Shouldn't happen */
973 r = SSH_ERR_INTERNAL_ERROR;
974 goto out;
975 }
976 sects_off = sshbuf_len(buf) - sshbuf_len(copy);
977 while (sshbuf_len(copy) > 0) {
978 if ((r = sshbuf_get_u8(copy, &type)) != 0 ||
979 (r = sshbuf_get_string_direct(copy, &blob, &blen)) != 0)
Damien Millerf3747bf2013-01-18 11:44:04 +1100980 goto out;
djm@openbsd.orge7fd9522015-01-13 19:04:35 +0000981 KRL_DBG(("%s: first pass, section 0x%02x", __func__, type));
Damien Millerf3747bf2013-01-18 11:44:04 +1100982 if (type != KRL_SECTION_SIGNATURE) {
983 if (sig_seen) {
984 error("KRL contains non-signature section "
985 "after signature");
djm@openbsd.orge7fd9522015-01-13 19:04:35 +0000986 r = SSH_ERR_INVALID_FORMAT;
Damien Millerf3747bf2013-01-18 11:44:04 +1100987 goto out;
988 }
989 /* Not interested for now. */
990 continue;
991 }
992 sig_seen = 1;
993 /* First string component is the signing key */
djm@openbsd.org74de2542014-12-04 01:49:59 +0000994 if ((r = sshkey_from_blob(blob, blen, &key)) != 0) {
995 r = SSH_ERR_INVALID_FORMAT;
Damien Millerf3747bf2013-01-18 11:44:04 +1100996 goto out;
997 }
djm@openbsd.org74de2542014-12-04 01:49:59 +0000998 if (sshbuf_len(buf) < sshbuf_len(copy)) {
999 /* Shouldn't happen */
1000 r = SSH_ERR_INTERNAL_ERROR;
1001 goto out;
1002 }
1003 sig_off = sshbuf_len(buf) - sshbuf_len(copy);
Damien Millerf3747bf2013-01-18 11:44:04 +11001004 /* Second string component is the signature itself */
djm@openbsd.org74de2542014-12-04 01:49:59 +00001005 if ((r = sshbuf_get_string_direct(copy, &blob, &blen)) != 0) {
1006 r = SSH_ERR_INVALID_FORMAT;
Damien Millerf3747bf2013-01-18 11:44:04 +11001007 goto out;
1008 }
1009 /* Check signature over entire KRL up to this point */
djm@openbsd.org74de2542014-12-04 01:49:59 +00001010 if ((r = sshkey_verify(key, blob, blen,
djm@openbsd.orge7fd9522015-01-13 19:04:35 +00001011 sshbuf_ptr(buf), sshbuf_len(buf) - sig_off, 0)) != 0)
Damien Millerf3747bf2013-01-18 11:44:04 +11001012 goto out;
Damien Millerf3747bf2013-01-18 11:44:04 +11001013 /* Check if this key has already signed this KRL */
1014 for (i = 0; i < nca_used; i++) {
djm@openbsd.org74de2542014-12-04 01:49:59 +00001015 if (sshkey_equal(ca_used[i], key)) {
Damien Millerf3747bf2013-01-18 11:44:04 +11001016 error("KRL signed more than once with "
1017 "the same key");
djm@openbsd.orge7fd9522015-01-13 19:04:35 +00001018 r = SSH_ERR_INVALID_FORMAT;
Damien Millerf3747bf2013-01-18 11:44:04 +11001019 goto out;
1020 }
1021 }
1022 /* Record keys used to sign the KRL */
djm@openbsd.org74de2542014-12-04 01:49:59 +00001023 tmp_ca_used = reallocarray(ca_used, nca_used + 1,
1024 sizeof(*ca_used));
1025 if (tmp_ca_used == NULL) {
1026 r = SSH_ERR_ALLOC_FAIL;
1027 goto out;
1028 }
1029 ca_used = tmp_ca_used;
Damien Millerf3747bf2013-01-18 11:44:04 +11001030 ca_used[nca_used++] = key;
1031 key = NULL;
1032 break;
1033 }
1034
djm@openbsd.org74de2542014-12-04 01:49:59 +00001035 if (sshbuf_len(copy) != 0) {
1036 /* Shouldn't happen */
1037 r = SSH_ERR_INTERNAL_ERROR;
1038 goto out;
1039 }
1040
Damien Millerf3747bf2013-01-18 11:44:04 +11001041 /*
1042 * 2nd pass: parse and load the KRL, skipping the header to the point
1043 * where the section start.
1044 */
djm@openbsd.org74de2542014-12-04 01:49:59 +00001045 sshbuf_free(copy);
1046 if ((copy = sshbuf_fromb(buf)) == NULL) {
1047 r = SSH_ERR_ALLOC_FAIL;
1048 goto out;
1049 }
1050 if ((r = sshbuf_consume(copy, sects_off)) != 0)
1051 goto out;
1052 while (sshbuf_len(copy) > 0) {
1053 if (sect != NULL) {
1054 sshbuf_free(sect);
1055 sect = NULL;
1056 }
1057 if ((r = sshbuf_get_u8(copy, &type)) != 0 ||
djm@openbsd.orge7fd9522015-01-13 19:04:35 +00001058 (r = sshbuf_froms(copy, &sect)) != 0)
Damien Millerf3747bf2013-01-18 11:44:04 +11001059 goto out;
djm@openbsd.orge7fd9522015-01-13 19:04:35 +00001060 KRL_DBG(("%s: second pass, section 0x%02x", __func__, type));
Damien Millerf3747bf2013-01-18 11:44:04 +11001061
1062 switch (type) {
1063 case KRL_SECTION_CERTIFICATES:
djm@openbsd.org74de2542014-12-04 01:49:59 +00001064 if ((r = parse_revoked_certs(sect, krl)) != 0)
Damien Millerf3747bf2013-01-18 11:44:04 +11001065 goto out;
1066 break;
1067 case KRL_SECTION_EXPLICIT_KEY:
1068 case KRL_SECTION_FINGERPRINT_SHA1:
djm@openbsd.org74de2542014-12-04 01:49:59 +00001069 while (sshbuf_len(sect) > 0) {
1070 if ((r = sshbuf_get_string(sect,
1071 &rdata, &rlen)) != 0)
Damien Millerf3747bf2013-01-18 11:44:04 +11001072 goto out;
Damien Millerf3747bf2013-01-18 11:44:04 +11001073 if (type == KRL_SECTION_FINGERPRINT_SHA1 &&
Damien Miller30710702013-07-18 16:09:44 +10001074 rlen != 20) {
Damien Millerf3747bf2013-01-18 11:44:04 +11001075 error("%s: bad SHA1 length", __func__);
djm@openbsd.org74de2542014-12-04 01:49:59 +00001076 r = SSH_ERR_INVALID_FORMAT;
Damien Millerf3747bf2013-01-18 11:44:04 +11001077 goto out;
1078 }
djm@openbsd.org74de2542014-12-04 01:49:59 +00001079 if ((r = revoke_blob(
Damien Millerf3747bf2013-01-18 11:44:04 +11001080 type == KRL_SECTION_EXPLICIT_KEY ?
1081 &krl->revoked_keys : &krl->revoked_sha1s,
djm@openbsd.org74de2542014-12-04 01:49:59 +00001082 rdata, rlen)) != 0)
Damien Miller30710702013-07-18 16:09:44 +10001083 goto out;
djm@openbsd.orge7fd9522015-01-13 19:04:35 +00001084 rdata = NULL; /* revoke_blob frees rdata */
Damien Millerf3747bf2013-01-18 11:44:04 +11001085 }
1086 break;
1087 case KRL_SECTION_SIGNATURE:
1088 /* Handled above, but still need to stay in synch */
djm@openbsd.org74de2542014-12-04 01:49:59 +00001089 sshbuf_reset(sect);
1090 sect = NULL;
1091 if ((r = sshbuf_skip_string(copy)) != 0)
Damien Millerf3747bf2013-01-18 11:44:04 +11001092 goto out;
Damien Millerf3747bf2013-01-18 11:44:04 +11001093 break;
1094 default:
1095 error("Unsupported KRL section %u", type);
djm@openbsd.org74de2542014-12-04 01:49:59 +00001096 r = SSH_ERR_INVALID_FORMAT;
Damien Millerf3747bf2013-01-18 11:44:04 +11001097 goto out;
1098 }
djm@openbsd.org74de2542014-12-04 01:49:59 +00001099 if (sshbuf_len(sect) > 0) {
Damien Millerf3747bf2013-01-18 11:44:04 +11001100 error("KRL section contains unparsed data");
djm@openbsd.org74de2542014-12-04 01:49:59 +00001101 r = SSH_ERR_INVALID_FORMAT;
Damien Millerf3747bf2013-01-18 11:44:04 +11001102 goto out;
1103 }
1104 }
1105
1106 /* Check that the key(s) used to sign the KRL weren't revoked */
1107 sig_seen = 0;
1108 for (i = 0; i < nca_used; i++) {
1109 if (ssh_krl_check_key(krl, ca_used[i]) == 0)
1110 sig_seen = 1;
1111 else {
djm@openbsd.org74de2542014-12-04 01:49:59 +00001112 sshkey_free(ca_used[i]);
Damien Millerf3747bf2013-01-18 11:44:04 +11001113 ca_used[i] = NULL;
1114 }
1115 }
1116 if (nca_used && !sig_seen) {
1117 error("All keys used to sign KRL were revoked");
djm@openbsd.orge7fd9522015-01-13 19:04:35 +00001118 r = SSH_ERR_KEY_REVOKED;
Damien Millerf3747bf2013-01-18 11:44:04 +11001119 goto out;
1120 }
1121
1122 /* If we have CA keys, then verify that one was used to sign the KRL */
1123 if (sig_seen && nsign_ca_keys != 0) {
1124 sig_seen = 0;
1125 for (i = 0; !sig_seen && i < nsign_ca_keys; i++) {
1126 for (j = 0; j < nca_used; j++) {
1127 if (ca_used[j] == NULL)
1128 continue;
djm@openbsd.org74de2542014-12-04 01:49:59 +00001129 if (sshkey_equal(ca_used[j], sign_ca_keys[i])) {
Damien Millerf3747bf2013-01-18 11:44:04 +11001130 sig_seen = 1;
1131 break;
1132 }
1133 }
1134 }
1135 if (!sig_seen) {
djm@openbsd.org74de2542014-12-04 01:49:59 +00001136 r = SSH_ERR_SIGNATURE_INVALID;
Damien Millerf3747bf2013-01-18 11:44:04 +11001137 error("KRL not signed with any trusted key");
1138 goto out;
1139 }
1140 }
1141
1142 *krlp = krl;
djm@openbsd.org74de2542014-12-04 01:49:59 +00001143 r = 0;
Damien Millerf3747bf2013-01-18 11:44:04 +11001144 out:
djm@openbsd.org74de2542014-12-04 01:49:59 +00001145 if (r != 0)
Damien Millerf3747bf2013-01-18 11:44:04 +11001146 ssh_krl_free(krl);
djm@openbsd.org74de2542014-12-04 01:49:59 +00001147 for (i = 0; i < nca_used; i++)
1148 sshkey_free(ca_used[i]);
Damien Millerf3747bf2013-01-18 11:44:04 +11001149 free(ca_used);
Damien Miller30710702013-07-18 16:09:44 +10001150 free(rdata);
djm@openbsd.org74de2542014-12-04 01:49:59 +00001151 sshkey_free(key);
1152 sshbuf_free(copy);
1153 sshbuf_free(sect);
1154 return r;
Damien Millerf3747bf2013-01-18 11:44:04 +11001155}
1156
1157/* Checks whether a given key/cert is revoked. Does not check its CA */
1158static int
djm@openbsd.org74de2542014-12-04 01:49:59 +00001159is_key_revoked(struct ssh_krl *krl, const struct sshkey *key)
Damien Millerf3747bf2013-01-18 11:44:04 +11001160{
1161 struct revoked_blob rb, *erb;
1162 struct revoked_serial rs, *ers;
1163 struct revoked_key_id rki, *erki;
1164 struct revoked_certs *rc;
djm@openbsd.org74de2542014-12-04 01:49:59 +00001165 int r;
Damien Millerf3747bf2013-01-18 11:44:04 +11001166
1167 /* Check explicitly revoked hashes first */
Damien Miller1d2c4562014-02-04 11:18:20 +11001168 memset(&rb, 0, sizeof(rb));
djm@openbsd.org56d1c832014-12-21 22:27:55 +00001169 if ((r = sshkey_fingerprint_raw(key, SSH_DIGEST_SHA1,
djm@openbsd.org74de2542014-12-04 01:49:59 +00001170 &rb.blob, &rb.len)) != 0)
1171 return r;
Damien Millerf3747bf2013-01-18 11:44:04 +11001172 erb = RB_FIND(revoked_blob_tree, &krl->revoked_sha1s, &rb);
1173 free(rb.blob);
1174 if (erb != NULL) {
djm@openbsd.orge7fd9522015-01-13 19:04:35 +00001175 KRL_DBG(("%s: revoked by key SHA1", __func__));
djm@openbsd.org74de2542014-12-04 01:49:59 +00001176 return SSH_ERR_KEY_REVOKED;
Damien Millerf3747bf2013-01-18 11:44:04 +11001177 }
1178
1179 /* Next, explicit keys */
Damien Miller1d2c4562014-02-04 11:18:20 +11001180 memset(&rb, 0, sizeof(rb));
djm@openbsd.org74de2542014-12-04 01:49:59 +00001181 if ((r = plain_key_blob(key, &rb.blob, &rb.len)) != 0)
1182 return r;
Damien Millerf3747bf2013-01-18 11:44:04 +11001183 erb = RB_FIND(revoked_blob_tree, &krl->revoked_keys, &rb);
1184 free(rb.blob);
1185 if (erb != NULL) {
djm@openbsd.orge7fd9522015-01-13 19:04:35 +00001186 KRL_DBG(("%s: revoked by explicit key", __func__));
djm@openbsd.org74de2542014-12-04 01:49:59 +00001187 return SSH_ERR_KEY_REVOKED;
Damien Millerf3747bf2013-01-18 11:44:04 +11001188 }
1189
djm@openbsd.org74de2542014-12-04 01:49:59 +00001190 if (!sshkey_is_cert(key))
Damien Millerf3747bf2013-01-18 11:44:04 +11001191 return 0;
1192
1193 /* Check cert revocation */
djm@openbsd.org74de2542014-12-04 01:49:59 +00001194 if ((r = revoked_certs_for_ca_key(krl, key->cert->signature_key,
1195 &rc, 0)) != 0)
1196 return r;
Damien Millerf3747bf2013-01-18 11:44:04 +11001197 if (rc == NULL)
1198 return 0; /* No entry for this CA */
1199
1200 /* Check revocation by cert key ID */
Damien Miller1d2c4562014-02-04 11:18:20 +11001201 memset(&rki, 0, sizeof(rki));
Damien Millerf3747bf2013-01-18 11:44:04 +11001202 rki.key_id = key->cert->key_id;
1203 erki = RB_FIND(revoked_key_id_tree, &rc->revoked_key_ids, &rki);
1204 if (erki != NULL) {
djm@openbsd.orge7fd9522015-01-13 19:04:35 +00001205 KRL_DBG(("%s: revoked by key ID", __func__));
djm@openbsd.org74de2542014-12-04 01:49:59 +00001206 return SSH_ERR_KEY_REVOKED;
Damien Millerf3747bf2013-01-18 11:44:04 +11001207 }
1208
Damien Miller60565bc2013-02-12 10:56:42 +11001209 /*
1210 * Legacy cert formats lack serial numbers. Zero serials numbers
1211 * are ignored (it's the default when the CA doesn't specify one).
1212 */
djm@openbsd.org74de2542014-12-04 01:49:59 +00001213 if (sshkey_cert_is_legacy(key) || key->cert->serial == 0)
Damien Millerf3747bf2013-01-18 11:44:04 +11001214 return 0;
1215
Damien Miller1d2c4562014-02-04 11:18:20 +11001216 memset(&rs, 0, sizeof(rs));
Damien Millerf3747bf2013-01-18 11:44:04 +11001217 rs.lo = rs.hi = key->cert->serial;
1218 ers = RB_FIND(revoked_serial_tree, &rc->revoked_serials, &rs);
1219 if (ers != NULL) {
djm@openbsd.orge7fd9522015-01-13 19:04:35 +00001220 KRL_DBG(("%s: revoked serial %llu matched %llu:%llu", __func__,
Damien Millerf3747bf2013-01-18 11:44:04 +11001221 key->cert->serial, ers->lo, ers->hi));
djm@openbsd.org74de2542014-12-04 01:49:59 +00001222 return SSH_ERR_KEY_REVOKED;
Damien Millerf3747bf2013-01-18 11:44:04 +11001223 }
1224 KRL_DBG(("%s: %llu no match", __func__, key->cert->serial));
Damien Millerf3747bf2013-01-18 11:44:04 +11001225 return 0;
1226}
1227
1228int
djm@openbsd.org74de2542014-12-04 01:49:59 +00001229ssh_krl_check_key(struct ssh_krl *krl, const struct sshkey *key)
Damien Millerf3747bf2013-01-18 11:44:04 +11001230{
1231 int r;
1232
djm@openbsd.orge7fd9522015-01-13 19:04:35 +00001233 KRL_DBG(("%s: checking key", __func__));
Damien Millerf3747bf2013-01-18 11:44:04 +11001234 if ((r = is_key_revoked(krl, key)) != 0)
1235 return r;
djm@openbsd.org74de2542014-12-04 01:49:59 +00001236 if (sshkey_is_cert(key)) {
Damien Millerf3747bf2013-01-18 11:44:04 +11001237 debug2("%s: checking CA key", __func__);
1238 if ((r = is_key_revoked(krl, key->cert->signature_key)) != 0)
1239 return r;
1240 }
djm@openbsd.orge7fd9522015-01-13 19:04:35 +00001241 KRL_DBG(("%s: key okay", __func__));
Damien Millerf3747bf2013-01-18 11:44:04 +11001242 return 0;
1243}
1244
Damien Millerf3747bf2013-01-18 11:44:04 +11001245int
djm@openbsd.org74de2542014-12-04 01:49:59 +00001246ssh_krl_file_contains_key(const char *path, const struct sshkey *key)
Damien Millerf3747bf2013-01-18 11:44:04 +11001247{
djm@openbsd.org74de2542014-12-04 01:49:59 +00001248 struct sshbuf *krlbuf = NULL;
1249 struct ssh_krl *krl = NULL;
1250 int oerrno = 0, r, fd;
Damien Millerf3747bf2013-01-18 11:44:04 +11001251
1252 if (path == NULL)
1253 return 0;
1254
djm@openbsd.org74de2542014-12-04 01:49:59 +00001255 if ((krlbuf = sshbuf_new()) == NULL)
1256 return SSH_ERR_ALLOC_FAIL;
Damien Millerf3747bf2013-01-18 11:44:04 +11001257 if ((fd = open(path, O_RDONLY)) == -1) {
djm@openbsd.org74de2542014-12-04 01:49:59 +00001258 r = SSH_ERR_SYSTEM_ERROR;
1259 oerrno = errno;
1260 goto out;
Damien Millerf3747bf2013-01-18 11:44:04 +11001261 }
djm@openbsd.org1195f4c2015-01-08 10:14:08 +00001262 if ((r = sshkey_load_file(fd, krlbuf)) != 0) {
djm@openbsd.org74de2542014-12-04 01:49:59 +00001263 oerrno = errno;
1264 goto out;
Damien Millerf3747bf2013-01-18 11:44:04 +11001265 }
djm@openbsd.org74de2542014-12-04 01:49:59 +00001266 if ((r = ssh_krl_from_blob(krlbuf, &krl, NULL, 0)) != 0)
1267 goto out;
Damien Millerf3747bf2013-01-18 11:44:04 +11001268 debug2("%s: checking KRL %s", __func__, path);
djm@openbsd.org74de2542014-12-04 01:49:59 +00001269 r = ssh_krl_check_key(krl, key);
1270 out:
1271 close(fd);
1272 sshbuf_free(krlbuf);
Damien Millerf3747bf2013-01-18 11:44:04 +11001273 ssh_krl_free(krl);
djm@openbsd.org74de2542014-12-04 01:49:59 +00001274 if (r != 0)
1275 errno = oerrno;
1276 return r;
Damien Millerf3747bf2013-01-18 11:44:04 +11001277}