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