1 /* $OpenBSD: x_crl.c,v 1.34 2019/03/13 20:34:00 tb Exp $ */
2 /* Copyright (C) 1995-1998 Eric Young (eay@cryptsoft.com)
5 * This package is an SSL implementation written
6 * by Eric Young (eay@cryptsoft.com).
7 * The implementation was written so as to conform with Netscapes SSL.
9 * This library is free for commercial and non-commercial use as long as
10 * the following conditions are aheared to. The following conditions
11 * apply to all code found in this distribution, be it the RC4, RSA,
12 * lhash, DES, etc., code; not just the SSL code. The SSL documentation
13 * included with this distribution is covered by the same copyright terms
14 * except that the holder is Tim Hudson (tjh@cryptsoft.com).
16 * Copyright remains Eric Young's, and as such any Copyright notices in
17 * the code are not to be removed.
18 * If this package is used in a product, Eric Young should be given attribution
19 * as the author of the parts of the library used.
20 * This can be in the form of a textual message at program startup or
21 * in documentation (online or textual) provided with the package.
23 * Redistribution and use in source and binary forms, with or without
24 * modification, are permitted provided that the following conditions
26 * 1. Redistributions of source code must retain the copyright
27 * notice, this list of conditions and the following disclaimer.
28 * 2. Redistributions in binary form must reproduce the above copyright
29 * notice, this list of conditions and the following disclaimer in the
30 * documentation and/or other materials provided with the distribution.
31 * 3. All advertising materials mentioning features or use of this software
32 * must display the following acknowledgement:
33 * "This product includes cryptographic software written by
34 * Eric Young (eay@cryptsoft.com)"
35 * The word 'cryptographic' can be left out if the rouines from the library
36 * being used are not cryptographic related :-).
37 * 4. If you include any Windows specific code (or a derivative thereof) from
38 * the apps directory (application code) you must include an acknowledgement:
39 * "This product includes software written by Tim Hudson (tjh@cryptsoft.com)"
41 * THIS SOFTWARE IS PROVIDED BY ERIC YOUNG ``AS IS'' AND
42 * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
43 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
44 * ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
45 * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
46 * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
47 * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
48 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
49 * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
50 * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
53 * The licence and distribution terms for any publically available version or
54 * derivative of this code cannot be changed. i.e. this code cannot simply be
55 * copied and put under another distribution licence
56 * [including the GNU Public Licence.]
61 #include <openssl/opensslconf.h>
63 #include <openssl/asn1t.h>
64 #include <openssl/err.h>
65 #include <openssl/x509.h>
66 #include <openssl/x509v3.h>
68 #include "asn1_locl.h"
70 static int X509_REVOKED_cmp(const X509_REVOKED * const *a,
71 const X509_REVOKED * const *b);
72 static void setup_idp(X509_CRL *crl, ISSUING_DIST_POINT *idp);
74 static const ASN1_TEMPLATE X509_REVOKED_seq_tt[] = {
76 .offset = offsetof(X509_REVOKED, serialNumber),
77 .field_name = "serialNumber",
78 .item = &ASN1_INTEGER_it,
81 .offset = offsetof(X509_REVOKED, revocationDate),
82 .field_name = "revocationDate",
83 .item = &ASN1_TIME_it,
86 .flags = ASN1_TFLG_SEQUENCE_OF | ASN1_TFLG_OPTIONAL,
87 .offset = offsetof(X509_REVOKED, extensions),
88 .field_name = "extensions",
89 .item = &X509_EXTENSION_it,
93 const ASN1_ITEM X509_REVOKED_it = {
94 .itype = ASN1_ITYPE_SEQUENCE,
95 .utype = V_ASN1_SEQUENCE,
96 .templates = X509_REVOKED_seq_tt,
97 .tcount = sizeof(X509_REVOKED_seq_tt) / sizeof(ASN1_TEMPLATE),
98 .size = sizeof(X509_REVOKED),
99 .sname = "X509_REVOKED",
102 static int def_crl_verify(X509_CRL *crl, EVP_PKEY *r);
103 static int def_crl_lookup(X509_CRL *crl, X509_REVOKED **ret,
104 ASN1_INTEGER *serial, X509_NAME *issuer);
106 static X509_CRL_METHOD int_crl_meth = {
107 .crl_lookup = def_crl_lookup,
108 .crl_verify = def_crl_verify
111 static const X509_CRL_METHOD *default_crl_method = &int_crl_meth;
113 /* The X509_CRL_INFO structure needs a bit of customisation.
114 * Since we cache the original encoding the signature wont be affected by
115 * reordering of the revoked field.
118 crl_inf_cb(int operation, ASN1_VALUE **pval, const ASN1_ITEM *it, void *exarg)
120 X509_CRL_INFO *a = (X509_CRL_INFO *)*pval;
122 if (!a || !a->revoked)
125 /* Just set cmp function here. We don't sort because that
126 * would affect the output of X509_CRL_print().
128 case ASN1_OP_D2I_POST:
129 (void)sk_X509_REVOKED_set_cmp_func(a->revoked, X509_REVOKED_cmp);
136 static const ASN1_AUX X509_CRL_INFO_aux = {
137 .flags = ASN1_AFLG_ENCODING,
138 .asn1_cb = crl_inf_cb,
139 .enc_offset = offsetof(X509_CRL_INFO, enc),
141 static const ASN1_TEMPLATE X509_CRL_INFO_seq_tt[] = {
143 .flags = ASN1_TFLG_OPTIONAL,
144 .offset = offsetof(X509_CRL_INFO, version),
145 .field_name = "version",
146 .item = &ASN1_INTEGER_it,
149 .offset = offsetof(X509_CRL_INFO, sig_alg),
150 .field_name = "sig_alg",
151 .item = &X509_ALGOR_it,
154 .offset = offsetof(X509_CRL_INFO, issuer),
155 .field_name = "issuer",
156 .item = &X509_NAME_it,
159 .offset = offsetof(X509_CRL_INFO, lastUpdate),
160 .field_name = "lastUpdate",
161 .item = &ASN1_TIME_it,
164 .flags = ASN1_TFLG_OPTIONAL,
165 .offset = offsetof(X509_CRL_INFO, nextUpdate),
166 .field_name = "nextUpdate",
167 .item = &ASN1_TIME_it,
170 .flags = ASN1_TFLG_SEQUENCE_OF | ASN1_TFLG_OPTIONAL,
171 .offset = offsetof(X509_CRL_INFO, revoked),
172 .field_name = "revoked",
173 .item = &X509_REVOKED_it,
176 .flags = ASN1_TFLG_EXPLICIT | ASN1_TFLG_SEQUENCE_OF | ASN1_TFLG_OPTIONAL,
177 .offset = offsetof(X509_CRL_INFO, extensions),
178 .field_name = "extensions",
179 .item = &X509_EXTENSION_it,
183 const ASN1_ITEM X509_CRL_INFO_it = {
184 .itype = ASN1_ITYPE_SEQUENCE,
185 .utype = V_ASN1_SEQUENCE,
186 .templates = X509_CRL_INFO_seq_tt,
187 .tcount = sizeof(X509_CRL_INFO_seq_tt) / sizeof(ASN1_TEMPLATE),
188 .funcs = &X509_CRL_INFO_aux,
189 .size = sizeof(X509_CRL_INFO),
190 .sname = "X509_CRL_INFO",
193 /* Set CRL entry issuer according to CRL certificate issuer extension.
194 * Check for unhandled critical CRL entry extensions.
198 crl_set_issuers(X509_CRL *crl)
201 GENERAL_NAMES *gens, *gtmp;
202 STACK_OF(X509_REVOKED) *revoked;
204 revoked = X509_CRL_get_REVOKED(crl);
207 for (i = 0; i < sk_X509_REVOKED_num(revoked); i++) {
208 X509_REVOKED *rev = sk_X509_REVOKED_value(revoked, i);
209 STACK_OF(X509_EXTENSION) *exts;
210 ASN1_ENUMERATED *reason;
212 gtmp = X509_REVOKED_get_ext_d2i(rev, NID_certificate_issuer,
214 if (!gtmp && (j != -1)) {
215 crl->flags |= EXFLAG_INVALID;
222 crl->issuers = sk_GENERAL_NAMES_new_null();
226 if (!sk_GENERAL_NAMES_push(crl->issuers, gtmp))
231 reason = X509_REVOKED_get_ext_d2i(rev, NID_crl_reason,
233 if (!reason && (j != -1)) {
234 crl->flags |= EXFLAG_INVALID;
239 rev->reason = ASN1_ENUMERATED_get(reason);
240 ASN1_ENUMERATED_free(reason);
242 rev->reason = CRL_REASON_NONE;
244 /* Check for critical CRL entry extensions */
246 exts = rev->extensions;
248 for (j = 0; j < sk_X509_EXTENSION_num(exts); j++) {
249 ext = sk_X509_EXTENSION_value(exts, j);
250 if (ext->critical > 0) {
251 if (OBJ_obj2nid(ext->object) ==
252 NID_certificate_issuer)
254 crl->flags |= EXFLAG_CRITICAL;
263 /* The X509_CRL structure needs a bit of customisation. Cache some extensions
264 * and hash of the whole CRL.
267 crl_cb(int operation, ASN1_VALUE **pval, const ASN1_ITEM *it, void *exarg)
269 X509_CRL *crl = (X509_CRL *)*pval;
270 STACK_OF(X509_EXTENSION) *exts;
276 case ASN1_OP_NEW_POST:
281 crl->idp_reasons = CRLDP_ALL_REASONS;
282 crl->meth = default_crl_method;
283 crl->meth_data = NULL;
285 crl->crl_number = NULL;
286 crl->base_crl_number = NULL;
289 case ASN1_OP_D2I_POST:
290 #ifndef OPENSSL_NO_SHA
291 X509_CRL_digest(crl, EVP_sha1(), crl->sha1_hash, NULL);
293 crl->idp = X509_CRL_get_ext_d2i(crl,
294 NID_issuing_distribution_point, NULL, NULL);
296 setup_idp(crl, crl->idp);
298 crl->akid = X509_CRL_get_ext_d2i(crl,
299 NID_authority_key_identifier, NULL, NULL);
301 crl->crl_number = X509_CRL_get_ext_d2i(crl,
302 NID_crl_number, NULL, NULL);
304 crl->base_crl_number = X509_CRL_get_ext_d2i(crl,
305 NID_delta_crl, NULL, NULL);
306 /* Delta CRLs must have CRL number */
307 if (crl->base_crl_number && !crl->crl_number)
308 crl->flags |= EXFLAG_INVALID;
310 /* See if we have any unhandled critical CRL extensions and
311 * indicate this in a flag. We only currently handle IDP,
312 * AKID and deltas, so anything else critical sets the flag.
314 * This code accesses the X509_CRL structure directly:
315 * applications shouldn't do this.
318 exts = crl->crl->extensions;
320 for (idx = 0; idx < sk_X509_EXTENSION_num(exts); idx++) {
322 ext = sk_X509_EXTENSION_value(exts, idx);
323 nid = OBJ_obj2nid(ext->object);
324 if (nid == NID_freshest_crl)
325 crl->flags |= EXFLAG_FRESHEST;
326 if (ext->critical > 0) {
327 /* We handle IDP, AKID and deltas */
328 if (nid == NID_issuing_distribution_point ||
329 nid == NID_authority_key_identifier ||
330 nid == NID_delta_crl)
332 crl->flags |= EXFLAG_CRITICAL;
337 if (!crl_set_issuers(crl))
340 if (crl->meth->crl_init) {
341 if (crl->meth->crl_init(crl) == 0)
346 case ASN1_OP_FREE_POST:
347 if (crl->meth->crl_free) {
348 if (!crl->meth->crl_free(crl))
352 AUTHORITY_KEYID_free(crl->akid);
354 ISSUING_DIST_POINT_free(crl->idp);
355 ASN1_INTEGER_free(crl->crl_number);
356 ASN1_INTEGER_free(crl->base_crl_number);
357 sk_GENERAL_NAMES_pop_free(crl->issuers, GENERAL_NAMES_free);
363 /* Convert IDP into a more convenient form */
366 setup_idp(X509_CRL *crl, ISSUING_DIST_POINT *idp)
370 /* Set various flags according to IDP */
371 crl->idp_flags |= IDP_PRESENT;
372 if (idp->onlyuser > 0) {
374 crl->idp_flags |= IDP_ONLYUSER;
376 if (idp->onlyCA > 0) {
378 crl->idp_flags |= IDP_ONLYCA;
380 if (idp->onlyattr > 0) {
382 crl->idp_flags |= IDP_ONLYATTR;
386 crl->idp_flags |= IDP_INVALID;
388 if (idp->indirectCRL > 0)
389 crl->idp_flags |= IDP_INDIRECT;
391 if (idp->onlysomereasons) {
392 crl->idp_flags |= IDP_REASONS;
393 if (idp->onlysomereasons->length > 0)
394 crl->idp_reasons = idp->onlysomereasons->data[0];
395 if (idp->onlysomereasons->length > 1)
397 (idp->onlysomereasons->data[1] << 8);
398 crl->idp_reasons &= CRLDP_ALL_REASONS;
401 DIST_POINT_set_dpname(idp->distpoint, X509_CRL_get_issuer(crl));
404 static const ASN1_AUX X509_CRL_aux = {
406 .flags = ASN1_AFLG_REFCOUNT,
407 .ref_offset = offsetof(X509_CRL, references),
408 .ref_lock = CRYPTO_LOCK_X509_CRL,
411 static const ASN1_TEMPLATE X509_CRL_seq_tt[] = {
413 .offset = offsetof(X509_CRL, crl),
415 .item = &X509_CRL_INFO_it,
418 .offset = offsetof(X509_CRL, sig_alg),
419 .field_name = "sig_alg",
420 .item = &X509_ALGOR_it,
423 .offset = offsetof(X509_CRL, signature),
424 .field_name = "signature",
425 .item = &ASN1_BIT_STRING_it,
429 const ASN1_ITEM X509_CRL_it = {
430 .itype = ASN1_ITYPE_SEQUENCE,
431 .utype = V_ASN1_SEQUENCE,
432 .templates = X509_CRL_seq_tt,
433 .tcount = sizeof(X509_CRL_seq_tt) / sizeof(ASN1_TEMPLATE),
434 .funcs = &X509_CRL_aux,
435 .size = sizeof(X509_CRL),
441 d2i_X509_REVOKED(X509_REVOKED **a, const unsigned char **in, long len)
443 return (X509_REVOKED *)ASN1_item_d2i((ASN1_VALUE **)a, in, len,
448 i2d_X509_REVOKED(X509_REVOKED *a, unsigned char **out)
450 return ASN1_item_i2d((ASN1_VALUE *)a, out, &X509_REVOKED_it);
454 X509_REVOKED_new(void)
456 return (X509_REVOKED *)ASN1_item_new(&X509_REVOKED_it);
460 X509_REVOKED_free(X509_REVOKED *a)
462 ASN1_item_free((ASN1_VALUE *)a, &X509_REVOKED_it);
466 X509_REVOKED_dup(X509_REVOKED *a)
468 return ASN1_item_dup(&X509_REVOKED_it, a);
472 d2i_X509_CRL_INFO(X509_CRL_INFO **a, const unsigned char **in, long len)
474 return (X509_CRL_INFO *)ASN1_item_d2i((ASN1_VALUE **)a, in, len,
479 i2d_X509_CRL_INFO(X509_CRL_INFO *a, unsigned char **out)
481 return ASN1_item_i2d((ASN1_VALUE *)a, out, &X509_CRL_INFO_it);
485 X509_CRL_INFO_new(void)
487 return (X509_CRL_INFO *)ASN1_item_new(&X509_CRL_INFO_it);
491 X509_CRL_INFO_free(X509_CRL_INFO *a)
493 ASN1_item_free((ASN1_VALUE *)a, &X509_CRL_INFO_it);
497 d2i_X509_CRL(X509_CRL **a, const unsigned char **in, long len)
499 return (X509_CRL *)ASN1_item_d2i((ASN1_VALUE **)a, in, len,
504 i2d_X509_CRL(X509_CRL *a, unsigned char **out)
506 return ASN1_item_i2d((ASN1_VALUE *)a, out, &X509_CRL_it);
512 return (X509_CRL *)ASN1_item_new(&X509_CRL_it);
516 X509_CRL_free(X509_CRL *a)
518 ASN1_item_free((ASN1_VALUE *)a, &X509_CRL_it);
522 X509_CRL_dup(X509_CRL *x)
524 return ASN1_item_dup(&X509_CRL_it, x);
528 X509_REVOKED_cmp(const X509_REVOKED * const *a, const X509_REVOKED * const *b)
530 return(ASN1_INTEGER_cmp((*a)->serialNumber, (*b)->serialNumber));
534 X509_CRL_add0_revoked(X509_CRL *crl, X509_REVOKED *rev)
540 inf->revoked = sk_X509_REVOKED_new(X509_REVOKED_cmp);
541 if (!inf->revoked || !sk_X509_REVOKED_push(inf->revoked, rev)) {
542 ASN1error(ERR_R_MALLOC_FAILURE);
545 inf->enc.modified = 1;
550 X509_CRL_verify(X509_CRL *crl, EVP_PKEY *r)
552 if (crl->meth->crl_verify)
553 return crl->meth->crl_verify(crl, r);
558 X509_CRL_get0_by_serial(X509_CRL *crl, X509_REVOKED **ret,
559 ASN1_INTEGER *serial)
561 if (crl->meth->crl_lookup)
562 return crl->meth->crl_lookup(crl, ret, serial, NULL);
567 X509_CRL_get0_by_cert(X509_CRL *crl, X509_REVOKED **ret, X509 *x)
569 if (crl->meth->crl_lookup)
570 return crl->meth->crl_lookup(crl, ret,
571 X509_get_serialNumber(x), X509_get_issuer_name(x));
576 def_crl_verify(X509_CRL *crl, EVP_PKEY *r)
578 return(ASN1_item_verify(&X509_CRL_INFO_it,
579 crl->sig_alg, crl->signature, crl->crl, r));
583 crl_revoked_issuer_match(X509_CRL *crl, X509_NAME *nm, X509_REVOKED *rev)
590 if (!X509_NAME_cmp(nm, X509_CRL_get_issuer(crl)))
596 nm = X509_CRL_get_issuer(crl);
598 for (i = 0; i < sk_GENERAL_NAME_num(rev->issuer); i++) {
599 GENERAL_NAME *gen = sk_GENERAL_NAME_value(rev->issuer, i);
600 if (gen->type != GEN_DIRNAME)
602 if (!X509_NAME_cmp(nm, gen->d.directoryName))
610 def_crl_lookup(X509_CRL *crl, X509_REVOKED **ret, ASN1_INTEGER *serial,
613 X509_REVOKED rtmp, *rev;
616 rtmp.serialNumber = serial;
617 /* Sort revoked into serial number order if not already sorted.
618 * Do this under a lock to avoid race condition.
620 if (!sk_X509_REVOKED_is_sorted(crl->crl->revoked)) {
621 CRYPTO_w_lock(CRYPTO_LOCK_X509_CRL);
622 sk_X509_REVOKED_sort(crl->crl->revoked);
623 CRYPTO_w_unlock(CRYPTO_LOCK_X509_CRL);
625 idx = sk_X509_REVOKED_find(crl->crl->revoked, &rtmp);
628 /* Need to look for matching name */
629 for (; idx < sk_X509_REVOKED_num(crl->crl->revoked); idx++) {
630 rev = sk_X509_REVOKED_value(crl->crl->revoked, idx);
631 if (ASN1_INTEGER_cmp(rev->serialNumber, serial))
633 if (crl_revoked_issuer_match(crl, issuer, rev)) {
636 if (rev->reason == CRL_REASON_REMOVE_FROM_CRL)
645 X509_CRL_set_default_method(const X509_CRL_METHOD *meth)
648 default_crl_method = &int_crl_meth;
650 default_crl_method = meth;
654 X509_CRL_METHOD_new(int (*crl_init)(X509_CRL *crl),
655 int (*crl_free)(X509_CRL *crl),
656 int (*crl_lookup)(X509_CRL *crl, X509_REVOKED **ret,
657 ASN1_INTEGER *ser, X509_NAME *issuer),
658 int (*crl_verify)(X509_CRL *crl, EVP_PKEY *pk))
662 m = malloc(sizeof(X509_CRL_METHOD));
665 m->crl_init = crl_init;
666 m->crl_free = crl_free;
667 m->crl_lookup = crl_lookup;
668 m->crl_verify = crl_verify;
669 m->flags = X509_CRL_METHOD_DYNAMIC;
674 X509_CRL_METHOD_free(X509_CRL_METHOD *m)
678 if (!(m->flags & X509_CRL_METHOD_DYNAMIC))
684 X509_CRL_set_meth_data(X509_CRL *crl, void *dat)
686 crl->meth_data = dat;
690 X509_CRL_get_meth_data(X509_CRL *crl)
692 return crl->meth_data;
696 X509_CRL_get_signature_nid(const X509_CRL *crl)
698 return OBJ_obj2nid(crl->sig_alg->algorithm);
701 const STACK_OF(X509_EXTENSION) *
702 X509_CRL_get0_extensions(const X509_CRL *crl)
704 return crl->crl->extensions;
708 X509_CRL_get_version(const X509_CRL *crl)
710 return ASN1_INTEGER_get(crl->crl->version);
714 X509_CRL_get0_lastUpdate(const X509_CRL *crl)
716 return crl->crl->lastUpdate;
720 X509_CRL_get_lastUpdate(X509_CRL *crl)
722 return crl->crl->lastUpdate;
726 X509_CRL_get0_nextUpdate(const X509_CRL *crl)
728 return crl->crl->nextUpdate;
732 X509_CRL_get_nextUpdate(X509_CRL *crl)
734 return crl->crl->nextUpdate;
738 X509_CRL_get_issuer(const X509_CRL *crl)
740 return crl->crl->issuer;
743 STACK_OF(X509_REVOKED) *
744 X509_CRL_get_REVOKED(X509_CRL *crl)
746 return crl->crl->revoked;
750 X509_CRL_get0_signature(const X509_CRL *crl, const ASN1_BIT_STRING **psig,
751 const X509_ALGOR **palg)
754 *psig = crl->signature;
756 *palg = crl->sig_alg;