1 /* crypto/asn1/x_crl.c */
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/asn1t.h>
62 #include "asn1_locl.h"
63 #include <openssl/x509.h>
64 #include <openssl/x509v3.h>
66 static int X509_REVOKED_cmp(const X509_REVOKED
*const *a
,
67 const X509_REVOKED
*const *b
);
68 static void setup_idp(X509_CRL
*crl
, ISSUING_DIST_POINT
*idp
);
70 ASN1_SEQUENCE(X509_REVOKED
) = {
71 ASN1_SIMPLE(X509_REVOKED
,serialNumber
, ASN1_INTEGER
),
72 ASN1_SIMPLE(X509_REVOKED
,revocationDate
, ASN1_TIME
),
73 ASN1_SEQUENCE_OF_OPT(X509_REVOKED
,extensions
, X509_EXTENSION
)
74 } ASN1_SEQUENCE_END(X509_REVOKED
)
76 static int def_crl_verify(X509_CRL
*crl
, EVP_PKEY
*r
);
77 static int def_crl_lookup(X509_CRL
*crl
,
78 X509_REVOKED
**ret
, ASN1_INTEGER
*serial
,
81 static X509_CRL_METHOD int_crl_meth
= {
88 static const X509_CRL_METHOD
*default_crl_method
= &int_crl_meth
;
91 * The X509_CRL_INFO structure needs a bit of customisation. Since we cache
92 * the original encoding the signature wont be affected by reordering of the
95 static int crl_inf_cb(int operation
, ASN1_VALUE
**pval
, const ASN1_ITEM
*it
,
98 X509_CRL_INFO
*a
= (X509_CRL_INFO
*)*pval
;
100 if (!a
|| !a
->revoked
)
104 * Just set cmp function here. We don't sort because that would
105 * affect the output of X509_CRL_print().
107 case ASN1_OP_D2I_POST
:
108 (void)sk_X509_REVOKED_set_cmp_func(a
->revoked
, X509_REVOKED_cmp
);
115 ASN1_SEQUENCE_enc(X509_CRL_INFO
, enc
, crl_inf_cb
) = {
116 ASN1_OPT(X509_CRL_INFO
, version
, ASN1_INTEGER
),
117 ASN1_SIMPLE(X509_CRL_INFO
, sig_alg
, X509_ALGOR
),
118 ASN1_SIMPLE(X509_CRL_INFO
, issuer
, X509_NAME
),
119 ASN1_SIMPLE(X509_CRL_INFO
, lastUpdate
, ASN1_TIME
),
120 ASN1_OPT(X509_CRL_INFO
, nextUpdate
, ASN1_TIME
),
121 ASN1_SEQUENCE_OF_OPT(X509_CRL_INFO
, revoked
, X509_REVOKED
),
122 ASN1_EXP_SEQUENCE_OF_OPT(X509_CRL_INFO
, extensions
, X509_EXTENSION
, 0)
123 } ASN1_SEQUENCE_END_enc(X509_CRL_INFO
, X509_CRL_INFO
)
126 * Set CRL entry issuer according to CRL certificate issuer extension. Check
127 * for unhandled critical CRL entry extensions.
130 static int crl_set_issuers(X509_CRL
*crl
)
134 GENERAL_NAMES
*gens
, *gtmp
;
135 STACK_OF(X509_REVOKED
) *revoked
;
137 revoked
= X509_CRL_get_REVOKED(crl
);
140 for (i
= 0; i
< sk_X509_REVOKED_num(revoked
); i
++) {
141 X509_REVOKED
*rev
= sk_X509_REVOKED_value(revoked
, i
);
142 STACK_OF(X509_EXTENSION
) *exts
;
143 ASN1_ENUMERATED
*reason
;
145 gtmp
= X509_REVOKED_get_ext_d2i(rev
,
146 NID_certificate_issuer
, &j
, NULL
);
147 if (!gtmp
&& (j
!= -1)) {
148 crl
->flags
|= EXFLAG_INVALID
;
155 crl
->issuers
= sk_GENERAL_NAMES_new_null();
159 if (!sk_GENERAL_NAMES_push(crl
->issuers
, gtmp
))
164 reason
= X509_REVOKED_get_ext_d2i(rev
, NID_crl_reason
, &j
, NULL
);
165 if (!reason
&& (j
!= -1)) {
166 crl
->flags
|= EXFLAG_INVALID
;
171 rev
->reason
= ASN1_ENUMERATED_get(reason
);
172 ASN1_ENUMERATED_free(reason
);
174 rev
->reason
= CRL_REASON_NONE
;
176 /* Check for critical CRL entry extensions */
178 exts
= rev
->extensions
;
180 for (j
= 0; j
< sk_X509_EXTENSION_num(exts
); j
++) {
181 ext
= sk_X509_EXTENSION_value(exts
, j
);
182 if (ext
->critical
> 0) {
183 if (OBJ_obj2nid(ext
->object
) == NID_certificate_issuer
)
185 crl
->flags
|= EXFLAG_CRITICAL
;
197 * The X509_CRL structure needs a bit of customisation. Cache some extensions
198 * and hash of the whole CRL.
200 static int crl_cb(int operation
, ASN1_VALUE
**pval
, const ASN1_ITEM
*it
,
203 X509_CRL
*crl
= (X509_CRL
*)*pval
;
204 STACK_OF(X509_EXTENSION
) *exts
;
209 case ASN1_OP_NEW_POST
:
214 crl
->idp_reasons
= CRLDP_ALL_REASONS
;
215 crl
->meth
= default_crl_method
;
216 crl
->meth_data
= NULL
;
218 crl
->crl_number
= NULL
;
219 crl
->base_crl_number
= NULL
;
222 case ASN1_OP_D2I_POST
:
223 #ifndef OPENSSL_NO_SHA
224 X509_CRL_digest(crl
, EVP_sha1(), crl
->sha1_hash
, NULL
);
226 crl
->idp
= X509_CRL_get_ext_d2i(crl
,
227 NID_issuing_distribution_point
, NULL
,
230 setup_idp(crl
, crl
->idp
);
232 crl
->akid
= X509_CRL_get_ext_d2i(crl
,
233 NID_authority_key_identifier
, NULL
,
236 crl
->crl_number
= X509_CRL_get_ext_d2i(crl
,
237 NID_crl_number
, NULL
, NULL
);
239 crl
->base_crl_number
= X509_CRL_get_ext_d2i(crl
,
242 /* Delta CRLs must have CRL number */
243 if (crl
->base_crl_number
&& !crl
->crl_number
)
244 crl
->flags
|= EXFLAG_INVALID
;
247 * See if we have any unhandled critical CRL extensions and indicate
248 * this in a flag. We only currently handle IDP so anything else
249 * critical sets the flag. This code accesses the X509_CRL structure
250 * directly: applications shouldn't do this.
253 exts
= crl
->crl
->extensions
;
255 for (idx
= 0; idx
< sk_X509_EXTENSION_num(exts
); idx
++) {
257 ext
= sk_X509_EXTENSION_value(exts
, idx
);
258 nid
= OBJ_obj2nid(ext
->object
);
259 if (nid
== NID_freshest_crl
)
260 crl
->flags
|= EXFLAG_FRESHEST
;
261 if (ext
->critical
> 0) {
262 /* We handle IDP and deltas */
263 if ((nid
== NID_issuing_distribution_point
)
264 || (nid
== NID_authority_key_identifier
)
265 || (nid
== NID_delta_crl
))
267 crl
->flags
|= EXFLAG_CRITICAL
;
272 if (!crl_set_issuers(crl
))
275 if (crl
->meth
->crl_init
) {
276 if (crl
->meth
->crl_init(crl
) == 0)
281 case ASN1_OP_FREE_POST
:
282 if (crl
->meth
->crl_free
) {
283 if (!crl
->meth
->crl_free(crl
))
287 AUTHORITY_KEYID_free(crl
->akid
);
289 ISSUING_DIST_POINT_free(crl
->idp
);
290 ASN1_INTEGER_free(crl
->crl_number
);
291 ASN1_INTEGER_free(crl
->base_crl_number
);
292 sk_GENERAL_NAMES_pop_free(crl
->issuers
, GENERAL_NAMES_free
);
298 /* Convert IDP into a more convenient form */
300 static void setup_idp(X509_CRL
*crl
, ISSUING_DIST_POINT
*idp
)
303 /* Set various flags according to IDP */
304 crl
->idp_flags
|= IDP_PRESENT
;
305 if (idp
->onlyuser
> 0) {
307 crl
->idp_flags
|= IDP_ONLYUSER
;
309 if (idp
->onlyCA
> 0) {
311 crl
->idp_flags
|= IDP_ONLYCA
;
313 if (idp
->onlyattr
> 0) {
315 crl
->idp_flags
|= IDP_ONLYATTR
;
319 crl
->idp_flags
|= IDP_INVALID
;
321 if (idp
->indirectCRL
> 0)
322 crl
->idp_flags
|= IDP_INDIRECT
;
324 if (idp
->onlysomereasons
) {
325 crl
->idp_flags
|= IDP_REASONS
;
326 if (idp
->onlysomereasons
->length
> 0)
327 crl
->idp_reasons
= idp
->onlysomereasons
->data
[0];
328 if (idp
->onlysomereasons
->length
> 1)
329 crl
->idp_reasons
|= (idp
->onlysomereasons
->data
[1] << 8);
330 crl
->idp_reasons
&= CRLDP_ALL_REASONS
;
333 DIST_POINT_set_dpname(idp
->distpoint
, X509_CRL_get_issuer(crl
));
336 ASN1_SEQUENCE_ref(X509_CRL
, crl_cb
, CRYPTO_LOCK_X509_CRL
) = {
337 ASN1_SIMPLE(X509_CRL
, crl
, X509_CRL_INFO
),
338 ASN1_SIMPLE(X509_CRL
, sig_alg
, X509_ALGOR
),
339 ASN1_SIMPLE(X509_CRL
, signature
, ASN1_BIT_STRING
)
340 } ASN1_SEQUENCE_END_ref(X509_CRL
, X509_CRL
)
342 IMPLEMENT_ASN1_FUNCTIONS(X509_REVOKED
)
344 IMPLEMENT_ASN1_DUP_FUNCTION(X509_REVOKED
)
346 IMPLEMENT_ASN1_FUNCTIONS(X509_CRL_INFO
)
347 IMPLEMENT_ASN1_FUNCTIONS(X509_CRL
)
348 IMPLEMENT_ASN1_DUP_FUNCTION(X509_CRL
)
350 static int X509_REVOKED_cmp(const X509_REVOKED
*const *a
,
351 const X509_REVOKED
*const *b
)
353 return (ASN1_STRING_cmp((ASN1_STRING
*)(*a
)->serialNumber
,
354 (ASN1_STRING
*)(*b
)->serialNumber
));
357 int X509_CRL_add0_revoked(X509_CRL
*crl
, X509_REVOKED
*rev
)
362 inf
->revoked
= sk_X509_REVOKED_new(X509_REVOKED_cmp
);
363 if (!inf
->revoked
|| !sk_X509_REVOKED_push(inf
->revoked
, rev
)) {
364 ASN1err(ASN1_F_X509_CRL_ADD0_REVOKED
, ERR_R_MALLOC_FAILURE
);
367 inf
->enc
.modified
= 1;
371 int X509_CRL_verify(X509_CRL
*crl
, EVP_PKEY
*r
)
373 if (crl
->meth
->crl_verify
)
374 return crl
->meth
->crl_verify(crl
, r
);
378 int X509_CRL_get0_by_serial(X509_CRL
*crl
,
379 X509_REVOKED
**ret
, ASN1_INTEGER
*serial
)
381 if (crl
->meth
->crl_lookup
)
382 return crl
->meth
->crl_lookup(crl
, ret
, serial
, NULL
);
386 int X509_CRL_get0_by_cert(X509_CRL
*crl
, X509_REVOKED
**ret
, X509
*x
)
388 if (crl
->meth
->crl_lookup
)
389 return crl
->meth
->crl_lookup(crl
, ret
,
390 X509_get_serialNumber(x
),
391 X509_get_issuer_name(x
));
395 static int def_crl_verify(X509_CRL
*crl
, EVP_PKEY
*r
)
397 return (ASN1_item_verify(ASN1_ITEM_rptr(X509_CRL_INFO
),
398 crl
->sig_alg
, crl
->signature
, crl
->crl
, r
));
401 static int crl_revoked_issuer_match(X509_CRL
*crl
, X509_NAME
*nm
,
409 if (!X509_NAME_cmp(nm
, X509_CRL_get_issuer(crl
)))
415 nm
= X509_CRL_get_issuer(crl
);
417 for (i
= 0; i
< sk_GENERAL_NAME_num(rev
->issuer
); i
++) {
418 GENERAL_NAME
*gen
= sk_GENERAL_NAME_value(rev
->issuer
, i
);
419 if (gen
->type
!= GEN_DIRNAME
)
421 if (!X509_NAME_cmp(nm
, gen
->d
.directoryName
))
428 static int def_crl_lookup(X509_CRL
*crl
,
429 X509_REVOKED
**ret
, ASN1_INTEGER
*serial
,
432 X509_REVOKED rtmp
, *rev
;
434 rtmp
.serialNumber
= serial
;
436 * Sort revoked into serial number order if not already sorted. Do this
437 * under a lock to avoid race condition.
439 if (!sk_X509_REVOKED_is_sorted(crl
->crl
->revoked
)) {
440 CRYPTO_w_lock(CRYPTO_LOCK_X509_CRL
);
441 sk_X509_REVOKED_sort(crl
->crl
->revoked
);
442 CRYPTO_w_unlock(CRYPTO_LOCK_X509_CRL
);
444 idx
= sk_X509_REVOKED_find(crl
->crl
->revoked
, &rtmp
);
447 /* Need to look for matching name */
448 for (; idx
< sk_X509_REVOKED_num(crl
->crl
->revoked
); idx
++) {
449 rev
= sk_X509_REVOKED_value(crl
->crl
->revoked
, idx
);
450 if (ASN1_INTEGER_cmp(rev
->serialNumber
, serial
))
452 if (crl_revoked_issuer_match(crl
, issuer
, rev
)) {
455 if (rev
->reason
== CRL_REASON_REMOVE_FROM_CRL
)
463 void X509_CRL_set_default_method(const X509_CRL_METHOD
*meth
)
466 default_crl_method
= &int_crl_meth
;
468 default_crl_method
= meth
;
471 X509_CRL_METHOD
*X509_CRL_METHOD_new(int (*crl_init
) (X509_CRL
*crl
),
472 int (*crl_free
) (X509_CRL
*crl
),
473 int (*crl_lookup
) (X509_CRL
*crl
,
477 int (*crl_verify
) (X509_CRL
*crl
,
481 m
= OPENSSL_malloc(sizeof(X509_CRL_METHOD
));
484 m
->crl_init
= crl_init
;
485 m
->crl_free
= crl_free
;
486 m
->crl_lookup
= crl_lookup
;
487 m
->crl_verify
= crl_verify
;
488 m
->flags
= X509_CRL_METHOD_DYNAMIC
;
492 void X509_CRL_METHOD_free(X509_CRL_METHOD
*m
)
494 if (!(m
->flags
& X509_CRL_METHOD_DYNAMIC
))
499 void X509_CRL_set_meth_data(X509_CRL
*crl
, void *dat
)
501 crl
->meth_data
= dat
;
504 void *X509_CRL_get_meth_data(X509_CRL
*crl
)
506 return crl
->meth_data
;
509 IMPLEMENT_STACK_OF(X509_REVOKED
)
511 IMPLEMENT_ASN1_SET_OF(X509_REVOKED
)
513 IMPLEMENT_STACK_OF(X509_CRL
)
514 IMPLEMENT_ASN1_SET_OF(X509_CRL
)