8ffcdd7733e655c1dd8438cf9265e2b8b50051b3
[openssl.git] / crypto / x509v3 / v3_crld.c
1 /* v3_crld.c */
2 /*
3  * Written by Dr Stephen N Henson (steve@openssl.org) for the OpenSSL project
4  * 1999.
5  */
6 /* ====================================================================
7  * Copyright (c) 1999-2008 The OpenSSL Project.  All rights reserved.
8  *
9  * Redistribution and use in source and binary forms, with or without
10  * modification, are permitted provided that the following conditions
11  * are met:
12  *
13  * 1. Redistributions of source code must retain the above copyright
14  *    notice, this list of conditions and the following disclaimer.
15  *
16  * 2. Redistributions in binary form must reproduce the above copyright
17  *    notice, this list of conditions and the following disclaimer in
18  *    the documentation and/or other materials provided with the
19  *    distribution.
20  *
21  * 3. All advertising materials mentioning features or use of this
22  *    software must display the following acknowledgment:
23  *    "This product includes software developed by the OpenSSL Project
24  *    for use in the OpenSSL Toolkit. (http://www.OpenSSL.org/)"
25  *
26  * 4. The names "OpenSSL Toolkit" and "OpenSSL Project" must not be used to
27  *    endorse or promote products derived from this software without
28  *    prior written permission. For written permission, please contact
29  *    licensing@OpenSSL.org.
30  *
31  * 5. Products derived from this software may not be called "OpenSSL"
32  *    nor may "OpenSSL" appear in their names without prior written
33  *    permission of the OpenSSL Project.
34  *
35  * 6. Redistributions of any form whatsoever must retain the following
36  *    acknowledgment:
37  *    "This product includes software developed by the OpenSSL Project
38  *    for use in the OpenSSL Toolkit (http://www.OpenSSL.org/)"
39  *
40  * THIS SOFTWARE IS PROVIDED BY THE OpenSSL PROJECT ``AS IS'' AND ANY
41  * EXPRESSED OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
42  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
43  * PURPOSE ARE DISCLAIMED.  IN NO EVENT SHALL THE OpenSSL PROJECT OR
44  * ITS CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
45  * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
46  * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
47  * LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
48  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT,
49  * STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
50  * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED
51  * OF THE POSSIBILITY OF SUCH DAMAGE.
52  * ====================================================================
53  *
54  * This product includes cryptographic software written by Eric Young
55  * (eay@cryptsoft.com).  This product includes software written by Tim
56  * Hudson (tjh@cryptsoft.com).
57  *
58  */
59
60 #include <stdio.h>
61 #include "cryptlib.h"
62 #include <openssl/conf.h>
63 #include <openssl/asn1.h>
64 #include <openssl/asn1t.h>
65 #include <openssl/x509v3.h>
66
67 #include "internal/x509_int.h"
68
69 static void *v2i_crld(const X509V3_EXT_METHOD *method,
70                       X509V3_CTX *ctx, STACK_OF(CONF_VALUE) *nval);
71 static int i2r_crldp(const X509V3_EXT_METHOD *method, void *pcrldp, BIO *out,
72                      int indent);
73
74 const X509V3_EXT_METHOD v3_crld = {
75     NID_crl_distribution_points, 0, ASN1_ITEM_ref(CRL_DIST_POINTS),
76     0, 0, 0, 0,
77     0, 0,
78     0,
79     v2i_crld,
80     i2r_crldp, 0,
81     NULL
82 };
83
84 const X509V3_EXT_METHOD v3_freshest_crl = {
85     NID_freshest_crl, 0, ASN1_ITEM_ref(CRL_DIST_POINTS),
86     0, 0, 0, 0,
87     0, 0,
88     0,
89     v2i_crld,
90     i2r_crldp, 0,
91     NULL
92 };
93
94 static STACK_OF(GENERAL_NAME) *gnames_from_sectname(X509V3_CTX *ctx,
95                                                     char *sect)
96 {
97     STACK_OF(CONF_VALUE) *gnsect;
98     STACK_OF(GENERAL_NAME) *gens;
99     if (*sect == '@')
100         gnsect = X509V3_get_section(ctx, sect + 1);
101     else
102         gnsect = X509V3_parse_list(sect);
103     if (!gnsect) {
104         X509V3err(X509V3_F_GNAMES_FROM_SECTNAME, X509V3_R_SECTION_NOT_FOUND);
105         return NULL;
106     }
107     gens = v2i_GENERAL_NAMES(NULL, ctx, gnsect);
108     if (*sect == '@')
109         X509V3_section_free(ctx, gnsect);
110     else
111         sk_CONF_VALUE_pop_free(gnsect, X509V3_conf_free);
112     return gens;
113 }
114
115 static int set_dist_point_name(DIST_POINT_NAME **pdp, X509V3_CTX *ctx,
116                                CONF_VALUE *cnf)
117 {
118     STACK_OF(GENERAL_NAME) *fnm = NULL;
119     STACK_OF(X509_NAME_ENTRY) *rnm = NULL;
120     if (!strncmp(cnf->name, "fullname", 9)) {
121         fnm = gnames_from_sectname(ctx, cnf->value);
122         if (!fnm)
123             goto err;
124     } else if (!strcmp(cnf->name, "relativename")) {
125         int ret;
126         STACK_OF(CONF_VALUE) *dnsect;
127         X509_NAME *nm;
128         nm = X509_NAME_new();
129         if (!nm)
130             return -1;
131         dnsect = X509V3_get_section(ctx, cnf->value);
132         if (!dnsect) {
133             X509V3err(X509V3_F_SET_DIST_POINT_NAME,
134                       X509V3_R_SECTION_NOT_FOUND);
135             return -1;
136         }
137         ret = X509V3_NAME_from_section(nm, dnsect, MBSTRING_ASC);
138         X509V3_section_free(ctx, dnsect);
139         rnm = nm->entries;
140         nm->entries = NULL;
141         X509_NAME_free(nm);
142         if (!ret || sk_X509_NAME_ENTRY_num(rnm) <= 0)
143             goto err;
144         /*
145          * Since its a name fragment can't have more than one RDNSequence
146          */
147         if (sk_X509_NAME_ENTRY_value(rnm,
148                                      sk_X509_NAME_ENTRY_num(rnm) - 1)->set) {
149             X509V3err(X509V3_F_SET_DIST_POINT_NAME,
150                       X509V3_R_INVALID_MULTIPLE_RDNS);
151             goto err;
152         }
153     } else
154         return 0;
155
156     if (*pdp) {
157         X509V3err(X509V3_F_SET_DIST_POINT_NAME,
158                   X509V3_R_DISTPOINT_ALREADY_SET);
159         goto err;
160     }
161
162     *pdp = DIST_POINT_NAME_new();
163     if (!*pdp)
164         goto err;
165     if (fnm) {
166         (*pdp)->type = 0;
167         (*pdp)->name.fullname = fnm;
168     } else {
169         (*pdp)->type = 1;
170         (*pdp)->name.relativename = rnm;
171     }
172
173     return 1;
174
175  err:
176     sk_GENERAL_NAME_pop_free(fnm, GENERAL_NAME_free);
177     sk_X509_NAME_ENTRY_pop_free(rnm, X509_NAME_ENTRY_free);
178     return -1;
179 }
180
181 static const BIT_STRING_BITNAME reason_flags[] = {
182     {0, "Unused", "unused"},
183     {1, "Key Compromise", "keyCompromise"},
184     {2, "CA Compromise", "CACompromise"},
185     {3, "Affiliation Changed", "affiliationChanged"},
186     {4, "Superseded", "superseded"},
187     {5, "Cessation Of Operation", "cessationOfOperation"},
188     {6, "Certificate Hold", "certificateHold"},
189     {7, "Privilege Withdrawn", "privilegeWithdrawn"},
190     {8, "AA Compromise", "AACompromise"},
191     {-1, NULL, NULL}
192 };
193
194 static int set_reasons(ASN1_BIT_STRING **preas, char *value)
195 {
196     STACK_OF(CONF_VALUE) *rsk = NULL;
197     const BIT_STRING_BITNAME *pbn;
198     const char *bnam;
199     int i, ret = 0;
200     rsk = X509V3_parse_list(value);
201     if (!rsk)
202         return 0;
203     if (*preas)
204         return 0;
205     for (i = 0; i < sk_CONF_VALUE_num(rsk); i++) {
206         bnam = sk_CONF_VALUE_value(rsk, i)->name;
207         if (!*preas) {
208             *preas = ASN1_BIT_STRING_new();
209             if (!*preas)
210                 goto err;
211         }
212         for (pbn = reason_flags; pbn->lname; pbn++) {
213             if (!strcmp(pbn->sname, bnam)) {
214                 if (!ASN1_BIT_STRING_set_bit(*preas, pbn->bitnum, 1))
215                     goto err;
216                 break;
217             }
218         }
219         if (!pbn->lname)
220             goto err;
221     }
222     ret = 1;
223
224  err:
225     sk_CONF_VALUE_pop_free(rsk, X509V3_conf_free);
226     return ret;
227 }
228
229 static int print_reasons(BIO *out, const char *rname,
230                          ASN1_BIT_STRING *rflags, int indent)
231 {
232     int first = 1;
233     const BIT_STRING_BITNAME *pbn;
234     BIO_printf(out, "%*s%s:\n%*s", indent, "", rname, indent + 2, "");
235     for (pbn = reason_flags; pbn->lname; pbn++) {
236         if (ASN1_BIT_STRING_get_bit(rflags, pbn->bitnum)) {
237             if (first)
238                 first = 0;
239             else
240                 BIO_puts(out, ", ");
241             BIO_puts(out, pbn->lname);
242         }
243     }
244     if (first)
245         BIO_puts(out, "<EMPTY>\n");
246     else
247         BIO_puts(out, "\n");
248     return 1;
249 }
250
251 static DIST_POINT *crldp_from_section(X509V3_CTX *ctx,
252                                       STACK_OF(CONF_VALUE) *nval)
253 {
254     int i;
255     CONF_VALUE *cnf;
256     DIST_POINT *point = NULL;
257     point = DIST_POINT_new();
258     if (!point)
259         goto err;
260     for (i = 0; i < sk_CONF_VALUE_num(nval); i++) {
261         int ret;
262         cnf = sk_CONF_VALUE_value(nval, i);
263         ret = set_dist_point_name(&point->distpoint, ctx, cnf);
264         if (ret > 0)
265             continue;
266         if (ret < 0)
267             goto err;
268         if (!strcmp(cnf->name, "reasons")) {
269             if (!set_reasons(&point->reasons, cnf->value))
270                 goto err;
271         } else if (!strcmp(cnf->name, "CRLissuer")) {
272             point->CRLissuer = gnames_from_sectname(ctx, cnf->value);
273             if (!point->CRLissuer)
274                 goto err;
275         }
276     }
277
278     return point;
279
280  err:
281     DIST_POINT_free(point);
282     return NULL;
283 }
284
285 static void *v2i_crld(const X509V3_EXT_METHOD *method,
286                       X509V3_CTX *ctx, STACK_OF(CONF_VALUE) *nval)
287 {
288     STACK_OF(DIST_POINT) *crld = NULL;
289     GENERAL_NAMES *gens = NULL;
290     GENERAL_NAME *gen = NULL;
291     CONF_VALUE *cnf;
292     int i;
293     if (!(crld = sk_DIST_POINT_new_null()))
294         goto merr;
295     for (i = 0; i < sk_CONF_VALUE_num(nval); i++) {
296         DIST_POINT *point;
297         cnf = sk_CONF_VALUE_value(nval, i);
298         if (!cnf->value) {
299             STACK_OF(CONF_VALUE) *dpsect;
300             dpsect = X509V3_get_section(ctx, cnf->name);
301             if (!dpsect)
302                 goto err;
303             point = crldp_from_section(ctx, dpsect);
304             X509V3_section_free(ctx, dpsect);
305             if (!point)
306                 goto err;
307             if (!sk_DIST_POINT_push(crld, point)) {
308                 DIST_POINT_free(point);
309                 goto merr;
310             }
311         } else {
312             if (!(gen = v2i_GENERAL_NAME(method, ctx, cnf)))
313                 goto err;
314             if (!(gens = GENERAL_NAMES_new()))
315                 goto merr;
316             if (!sk_GENERAL_NAME_push(gens, gen))
317                 goto merr;
318             gen = NULL;
319             if (!(point = DIST_POINT_new()))
320                 goto merr;
321             if (!sk_DIST_POINT_push(crld, point)) {
322                 DIST_POINT_free(point);
323                 goto merr;
324             }
325             if (!(point->distpoint = DIST_POINT_NAME_new()))
326                 goto merr;
327             point->distpoint->name.fullname = gens;
328             point->distpoint->type = 0;
329             gens = NULL;
330         }
331     }
332     return crld;
333
334  merr:
335     X509V3err(X509V3_F_V2I_CRLD, ERR_R_MALLOC_FAILURE);
336  err:
337     GENERAL_NAME_free(gen);
338     GENERAL_NAMES_free(gens);
339     sk_DIST_POINT_pop_free(crld, DIST_POINT_free);
340     return NULL;
341 }
342
343 static int dpn_cb(int operation, ASN1_VALUE **pval, const ASN1_ITEM *it,
344                   void *exarg)
345 {
346     DIST_POINT_NAME *dpn = (DIST_POINT_NAME *)*pval;
347
348     switch (operation) {
349     case ASN1_OP_NEW_POST:
350         dpn->dpname = NULL;
351         break;
352
353     case ASN1_OP_FREE_POST:
354         X509_NAME_free(dpn->dpname);
355         break;
356     }
357     return 1;
358 }
359
360
361 ASN1_CHOICE_cb(DIST_POINT_NAME, dpn_cb) = {
362         ASN1_IMP_SEQUENCE_OF(DIST_POINT_NAME, name.fullname, GENERAL_NAME, 0),
363         ASN1_IMP_SET_OF(DIST_POINT_NAME, name.relativename, X509_NAME_ENTRY, 1)
364 } ASN1_CHOICE_END_cb(DIST_POINT_NAME, DIST_POINT_NAME, type)
365
366
367 IMPLEMENT_ASN1_FUNCTIONS(DIST_POINT_NAME)
368
369 ASN1_SEQUENCE(DIST_POINT) = {
370         ASN1_EXP_OPT(DIST_POINT, distpoint, DIST_POINT_NAME, 0),
371         ASN1_IMP_OPT(DIST_POINT, reasons, ASN1_BIT_STRING, 1),
372         ASN1_IMP_SEQUENCE_OF_OPT(DIST_POINT, CRLissuer, GENERAL_NAME, 2)
373 } ASN1_SEQUENCE_END(DIST_POINT)
374
375 IMPLEMENT_ASN1_FUNCTIONS(DIST_POINT)
376
377 ASN1_ITEM_TEMPLATE(CRL_DIST_POINTS) =
378         ASN1_EX_TEMPLATE_TYPE(ASN1_TFLG_SEQUENCE_OF, 0, CRLDistributionPoints, DIST_POINT)
379 ASN1_ITEM_TEMPLATE_END(CRL_DIST_POINTS)
380
381 IMPLEMENT_ASN1_FUNCTIONS(CRL_DIST_POINTS)
382
383 ASN1_SEQUENCE(ISSUING_DIST_POINT) = {
384         ASN1_EXP_OPT(ISSUING_DIST_POINT, distpoint, DIST_POINT_NAME, 0),
385         ASN1_IMP_OPT(ISSUING_DIST_POINT, onlyuser, ASN1_FBOOLEAN, 1),
386         ASN1_IMP_OPT(ISSUING_DIST_POINT, onlyCA, ASN1_FBOOLEAN, 2),
387         ASN1_IMP_OPT(ISSUING_DIST_POINT, onlysomereasons, ASN1_BIT_STRING, 3),
388         ASN1_IMP_OPT(ISSUING_DIST_POINT, indirectCRL, ASN1_FBOOLEAN, 4),
389         ASN1_IMP_OPT(ISSUING_DIST_POINT, onlyattr, ASN1_FBOOLEAN, 5)
390 } ASN1_SEQUENCE_END(ISSUING_DIST_POINT)
391
392 IMPLEMENT_ASN1_FUNCTIONS(ISSUING_DIST_POINT)
393
394 static int i2r_idp(const X509V3_EXT_METHOD *method, void *pidp, BIO *out,
395                    int indent);
396 static void *v2i_idp(const X509V3_EXT_METHOD *method, X509V3_CTX *ctx,
397                      STACK_OF(CONF_VALUE) *nval);
398
399 const X509V3_EXT_METHOD v3_idp = {
400     NID_issuing_distribution_point, X509V3_EXT_MULTILINE,
401     ASN1_ITEM_ref(ISSUING_DIST_POINT),
402     0, 0, 0, 0,
403     0, 0,
404     0,
405     v2i_idp,
406     i2r_idp, 0,
407     NULL
408 };
409
410 static void *v2i_idp(const X509V3_EXT_METHOD *method, X509V3_CTX *ctx,
411                      STACK_OF(CONF_VALUE) *nval)
412 {
413     ISSUING_DIST_POINT *idp = NULL;
414     CONF_VALUE *cnf;
415     char *name, *val;
416     int i, ret;
417     idp = ISSUING_DIST_POINT_new();
418     if (!idp)
419         goto merr;
420     for (i = 0; i < sk_CONF_VALUE_num(nval); i++) {
421         cnf = sk_CONF_VALUE_value(nval, i);
422         name = cnf->name;
423         val = cnf->value;
424         ret = set_dist_point_name(&idp->distpoint, ctx, cnf);
425         if (ret > 0)
426             continue;
427         if (ret < 0)
428             goto err;
429         if (!strcmp(name, "onlyuser")) {
430             if (!X509V3_get_value_bool(cnf, &idp->onlyuser))
431                 goto err;
432         } else if (!strcmp(name, "onlyCA")) {
433             if (!X509V3_get_value_bool(cnf, &idp->onlyCA))
434                 goto err;
435         } else if (!strcmp(name, "onlyAA")) {
436             if (!X509V3_get_value_bool(cnf, &idp->onlyattr))
437                 goto err;
438         } else if (!strcmp(name, "indirectCRL")) {
439             if (!X509V3_get_value_bool(cnf, &idp->indirectCRL))
440                 goto err;
441         } else if (!strcmp(name, "onlysomereasons")) {
442             if (!set_reasons(&idp->onlysomereasons, val))
443                 goto err;
444         } else {
445             X509V3err(X509V3_F_V2I_IDP, X509V3_R_INVALID_NAME);
446             X509V3_conf_err(cnf);
447             goto err;
448         }
449     }
450     return idp;
451
452  merr:
453     X509V3err(X509V3_F_V2I_IDP, ERR_R_MALLOC_FAILURE);
454  err:
455     ISSUING_DIST_POINT_free(idp);
456     return NULL;
457 }
458
459 static int print_gens(BIO *out, STACK_OF(GENERAL_NAME) *gens, int indent)
460 {
461     int i;
462     for (i = 0; i < sk_GENERAL_NAME_num(gens); i++) {
463         BIO_printf(out, "%*s", indent + 2, "");
464         GENERAL_NAME_print(out, sk_GENERAL_NAME_value(gens, i));
465         BIO_puts(out, "\n");
466     }
467     return 1;
468 }
469
470 static int print_distpoint(BIO *out, DIST_POINT_NAME *dpn, int indent)
471 {
472     if (dpn->type == 0) {
473         BIO_printf(out, "%*sFull Name:\n", indent, "");
474         print_gens(out, dpn->name.fullname, indent);
475     } else {
476         X509_NAME ntmp;
477         ntmp.entries = dpn->name.relativename;
478         BIO_printf(out, "%*sRelative Name:\n%*s", indent, "", indent + 2, "");
479         X509_NAME_print_ex(out, &ntmp, 0, XN_FLAG_ONELINE);
480         BIO_puts(out, "\n");
481     }
482     return 1;
483 }
484
485 static int i2r_idp(const X509V3_EXT_METHOD *method, void *pidp, BIO *out,
486                    int indent)
487 {
488     ISSUING_DIST_POINT *idp = pidp;
489     if (idp->distpoint)
490         print_distpoint(out, idp->distpoint, indent);
491     if (idp->onlyuser > 0)
492         BIO_printf(out, "%*sOnly User Certificates\n", indent, "");
493     if (idp->onlyCA > 0)
494         BIO_printf(out, "%*sOnly CA Certificates\n", indent, "");
495     if (idp->indirectCRL > 0)
496         BIO_printf(out, "%*sIndirect CRL\n", indent, "");
497     if (idp->onlysomereasons)
498         print_reasons(out, "Only Some Reasons", idp->onlysomereasons, indent);
499     if (idp->onlyattr > 0)
500         BIO_printf(out, "%*sOnly Attribute Certificates\n", indent, "");
501     if (!idp->distpoint && (idp->onlyuser <= 0) && (idp->onlyCA <= 0)
502         && (idp->indirectCRL <= 0) && !idp->onlysomereasons
503         && (idp->onlyattr <= 0))
504         BIO_printf(out, "%*s<EMPTY>\n", indent, "");
505
506     return 1;
507 }
508
509 static int i2r_crldp(const X509V3_EXT_METHOD *method, void *pcrldp, BIO *out,
510                      int indent)
511 {
512     STACK_OF(DIST_POINT) *crld = pcrldp;
513     DIST_POINT *point;
514     int i;
515     for (i = 0; i < sk_DIST_POINT_num(crld); i++) {
516         BIO_puts(out, "\n");
517         point = sk_DIST_POINT_value(crld, i);
518         if (point->distpoint)
519             print_distpoint(out, point->distpoint, indent);
520         if (point->reasons)
521             print_reasons(out, "Reasons", point->reasons, indent);
522         if (point->CRLissuer) {
523             BIO_printf(out, "%*sCRL Issuer:\n", indent, "");
524             print_gens(out, point->CRLissuer, indent);
525         }
526     }
527     return 1;
528 }
529
530 int DIST_POINT_set_dpname(DIST_POINT_NAME *dpn, X509_NAME *iname)
531 {
532     int i;
533     STACK_OF(X509_NAME_ENTRY) *frag;
534     X509_NAME_ENTRY *ne;
535     if (!dpn || (dpn->type != 1))
536         return 1;
537     frag = dpn->name.relativename;
538     dpn->dpname = X509_NAME_dup(iname);
539     if (!dpn->dpname)
540         return 0;
541     for (i = 0; i < sk_X509_NAME_ENTRY_num(frag); i++) {
542         ne = sk_X509_NAME_ENTRY_value(frag, i);
543         if (!X509_NAME_add_entry(dpn->dpname, ne, -1, i ? 0 : 1)) {
544             X509_NAME_free(dpn->dpname);
545             dpn->dpname = NULL;
546             return 0;
547         }
548     }
549     /* generate cached encoding of name */
550     if (i2d_X509_NAME(dpn->dpname, NULL) < 0) {
551         X509_NAME_free(dpn->dpname);
552         dpn->dpname = NULL;
553         return 0;
554     }
555     return 1;
556 }