Tolerate critical AKID in CRLs.
[openssl.git] / crypto / asn1 / x_crl.c
index 0c4dd554c7efcf08db88aa0dfcd75cc1c752c3c7..dc0106365a7d75229048996a6f9a3dfffa81a86c 100644 (file)
@@ -58,8 +58,8 @@
 
 #include <stdio.h>
 #include "cryptlib.h"
-#include "asn1_locl.h"
 #include <openssl/asn1t.h>
+#include "asn1_locl.h"
 #include <openssl/x509.h>
 #include <openssl/x509v3.h>
 
@@ -73,6 +73,20 @@ ASN1_SEQUENCE(X509_REVOKED) = {
        ASN1_SEQUENCE_OF_OPT(X509_REVOKED,extensions, X509_EXTENSION)
 } ASN1_SEQUENCE_END(X509_REVOKED)
 
+static int def_crl_verify(X509_CRL *crl, EVP_PKEY *r);
+static int def_crl_lookup(X509_CRL *crl,
+               X509_REVOKED **ret, ASN1_INTEGER *serial, X509_NAME *issuer);
+
+static X509_CRL_METHOD int_crl_meth =
+       {
+       0,
+       0,0,
+       def_crl_lookup,
+       def_crl_verify
+       };
+
+static const X509_CRL_METHOD *default_crl_method = &int_crl_meth;
+
 /* The X509_CRL_INFO structure needs a bit of customisation.
  * Since we cache the original encoding the signature wont be affected by
  * reordering of the revoked field.
@@ -88,7 +102,7 @@ static int crl_inf_cb(int operation, ASN1_VALUE **pval, const ASN1_ITEM *it,
                 * would affect the output of X509_CRL_print().
                 */
                case ASN1_OP_D2I_POST:
-               sk_X509_REVOKED_set_cmp_func(a->revoked,X509_REVOKED_cmp);
+               (void)sk_X509_REVOKED_set_cmp_func(a->revoked,X509_REVOKED_cmp);
                break;
        }
        return 1;
@@ -105,6 +119,89 @@ ASN1_SEQUENCE_enc(X509_CRL_INFO, enc, crl_inf_cb) = {
        ASN1_EXP_SEQUENCE_OF_OPT(X509_CRL_INFO, extensions, X509_EXTENSION, 0)
 } ASN1_SEQUENCE_END_enc(X509_CRL_INFO, X509_CRL_INFO)
 
+/* Set CRL entry issuer according to CRL certificate issuer extension.
+ * Check for unhandled critical CRL entry extensions.
+ */
+
+static int crl_set_issuers(X509_CRL *crl)
+       {
+
+       int i, j;
+       GENERAL_NAMES *gens, *gtmp;
+       STACK_OF(X509_REVOKED) *revoked;
+
+       revoked = X509_CRL_get_REVOKED(crl);
+
+       gens = NULL;
+       for (i = 0; i < sk_X509_REVOKED_num(revoked); i++)
+               {
+               X509_REVOKED *rev = sk_X509_REVOKED_value(revoked, i);
+               STACK_OF(X509_EXTENSION) *exts;
+               ASN1_ENUMERATED *reason;
+               X509_EXTENSION *ext;
+               gtmp = X509_REVOKED_get_ext_d2i(rev, 
+                                               NID_certificate_issuer,
+                                               &j, NULL);
+               if (!gtmp && (j != -1))
+                       {
+                       crl->flags |= EXFLAG_INVALID;
+                       return 1;
+                       }
+
+               if (gtmp)
+                       {
+                       gens = gtmp;
+                       if (!crl->issuers)
+                               {
+                               crl->issuers = sk_GENERAL_NAMES_new_null();
+                               if (!crl->issuers)
+                                       return 0;
+                               }
+                       if (!sk_GENERAL_NAMES_push(crl->issuers, gtmp))
+                               return 0;
+                       }
+               rev->issuer = gens;
+
+               reason = X509_REVOKED_get_ext_d2i(rev, NID_crl_reason,
+                                                               &j, NULL);
+               if (!reason && (j != -1))
+                       {
+                       crl->flags |= EXFLAG_INVALID;
+                       return 1;
+                       }
+
+               if (reason)
+                       {
+                       rev->reason = ASN1_ENUMERATED_get(reason);
+                       ASN1_ENUMERATED_free(reason);
+                       }
+               else
+                       rev->reason = CRL_REASON_NONE;  
+
+               /* Check for critical CRL entry extensions */
+
+               exts = rev->extensions;
+
+               for (j = 0; j < sk_X509_EXTENSION_num(exts); j++)
+                       {
+                       ext = sk_X509_EXTENSION_value(exts, j);
+                       if (ext->critical > 0)
+                               {
+                               if (OBJ_obj2nid(ext->object) ==
+                                       NID_certificate_issuer)
+                                       continue;
+                               crl->flags |= EXFLAG_CRITICAL;
+                               break;
+                               }
+                       }
+
+
+               }
+
+       return 1;
+
+       }
+
 /* The X509_CRL structure needs a bit of customisation. Cache some extensions
  * and hash of the whole CRL.
  */
@@ -123,7 +220,12 @@ static int crl_cb(int operation, ASN1_VALUE **pval, const ASN1_ITEM *it,
                crl->akid = NULL;
                crl->flags = 0;
                crl->idp_flags = 0;
-               crl->meth = 0;
+               crl->idp_reasons = CRLDP_ALL_REASONS;
+               crl->meth = default_crl_method;
+               crl->meth_data = NULL;
+               crl->issuers = NULL;
+               crl->crl_number = NULL;
+               crl->base_crl_number = NULL;
                break;
 
                case ASN1_OP_D2I_POST:
@@ -138,6 +240,15 @@ static int crl_cb(int operation, ASN1_VALUE **pval, const ASN1_ITEM *it,
                crl->akid = X509_CRL_get_ext_d2i(crl,
                                NID_authority_key_identifier, NULL, NULL);      
 
+               crl->crl_number = X509_CRL_get_ext_d2i(crl,
+                               NID_crl_number, NULL, NULL);    
+
+               crl->base_crl_number = X509_CRL_get_ext_d2i(crl,
+                               NID_delta_crl, NULL, NULL);     
+               /* Delta CRLs must have CRL number */
+               if (crl->base_crl_number && !crl->crl_number)
+                       crl->flags |= EXFLAG_INVALID;
+
                /* See if we have any unhandled critical CRL extensions and 
                 * indicate this in a flag. We only currently handle IDP so
                 * anything else critical sets the flag.
@@ -150,28 +261,47 @@ static int crl_cb(int operation, ASN1_VALUE **pval, const ASN1_ITEM *it,
 
                for (idx = 0; idx < sk_X509_EXTENSION_num(exts); idx++)
                        {
+                       int nid;
                        ext = sk_X509_EXTENSION_value(exts, idx);
+                       nid = OBJ_obj2nid(ext->object);
+                       if (nid == NID_freshest_crl)
+                               crl->flags |= EXFLAG_FRESHEST;
                        if (ext->critical > 0)
                                {
-                               /* We handle IDP now so permit it */
-                               if (OBJ_obj2nid(ext->object) ==
-                                       NID_issuing_distribution_point)
-                                       continue;
+                               /* We handle IDP and deltas */
+                               if ((nid == NID_issuing_distribution_point)
+                                       || (nid == NID_authority_key_identifier)
+                                       || (nid == NID_delta_crl))
+                                       break;;
                                crl->flags |= EXFLAG_CRITICAL;
                                break;
                                }
                        }
-               if (crl->meth && crl->meth->crl_init)
-                       return crl->meth->crl_init(crl);
+
+
+               if (!crl_set_issuers(crl))
+                       return 0;
+
+               if (crl->meth->crl_init)
+                       {
+                       if (crl->meth->crl_init(crl) == 0)
+                               return 0;
+                       }
                break;
 
                case ASN1_OP_FREE_POST:
-               if (crl->meth && crl->meth->crl_free)
-                       return crl->meth->crl_free(crl);
+               if (crl->meth->crl_free)
+                       {
+                       if (!crl->meth->crl_free(crl))
+                               return 0;
+                       }
                if (crl->akid)
                        AUTHORITY_KEYID_free(crl->akid);
                if (crl->idp)
                        ISSUING_DIST_POINT_free(crl->idp);
+               ASN1_INTEGER_free(crl->crl_number);
+               ASN1_INTEGER_free(crl->base_crl_number);
+               sk_GENERAL_NAMES_pop_free(crl->issuers, GENERAL_NAMES_free);
                break;
                }
        return 1;
@@ -214,7 +344,10 @@ static void setup_idp(X509_CRL *crl, ISSUING_DIST_POINT *idp)
                if (idp->onlysomereasons->length > 1)
                        crl->idp_reasons |=
                                (idp->onlysomereasons->data[1] << 8);
+               crl->idp_reasons &= CRLDP_ALL_REASONS;
                }
+
+       DIST_POINT_set_dpname(idp->distpoint, X509_CRL_get_issuer(crl));
        }
 
 ASN1_SEQUENCE_ref(X509_CRL, crl_cb, CRYPTO_LOCK_X509_CRL) = {
@@ -224,6 +357,7 @@ ASN1_SEQUENCE_ref(X509_CRL, crl_cb, CRYPTO_LOCK_X509_CRL) = {
 } ASN1_SEQUENCE_END_ref(X509_CRL, X509_CRL)
 
 IMPLEMENT_ASN1_FUNCTIONS(X509_REVOKED)
+IMPLEMENT_ASN1_DUP_FUNCTION(X509_REVOKED)
 IMPLEMENT_ASN1_FUNCTIONS(X509_CRL_INFO)
 IMPLEMENT_ASN1_FUNCTIONS(X509_CRL)
 IMPLEMENT_ASN1_DUP_FUNCTION(X509_CRL)
@@ -252,19 +386,68 @@ int X509_CRL_add0_revoked(X509_CRL *crl, X509_REVOKED *rev)
 
 int X509_CRL_verify(X509_CRL *crl, EVP_PKEY *r)
        {
-       if (crl->meth && crl->meth->crl_verify)
+       if (crl->meth->crl_verify)
                return crl->meth->crl_verify(crl, r);
-       return(ASN1_item_verify(ASN1_ITEM_rptr(X509_CRL_INFO),
-               crl->sig_alg, crl->signature,crl->crl,r));
+       return 0;
        }
 
 int X509_CRL_get0_by_serial(X509_CRL *crl,
                X509_REVOKED **ret, ASN1_INTEGER *serial)
        {
-       X509_REVOKED rtmp;
+       if (crl->meth->crl_lookup)
+               return crl->meth->crl_lookup(crl, ret, serial, NULL);
+       return 0;
+       }
+
+int X509_CRL_get0_by_cert(X509_CRL *crl, X509_REVOKED **ret, X509 *x)
+       {
+       if (crl->meth->crl_lookup)
+               return crl->meth->crl_lookup(crl, ret,
+                                               X509_get_serialNumber(x),
+                                               X509_get_issuer_name(x));
+       return 0;
+       }
+
+static int def_crl_verify(X509_CRL *crl, EVP_PKEY *r)
+       {
+       return(ASN1_item_verify(ASN1_ITEM_rptr(X509_CRL_INFO),
+               crl->sig_alg, crl->signature,crl->crl,r));
+       }
+
+static int crl_revoked_issuer_match(X509_CRL *crl, X509_NAME *nm,
+                                               X509_REVOKED *rev)
+       {
+       int i;
+
+       if (!rev->issuer)
+               {
+               if (!nm)
+                       return 1;
+               if (!X509_NAME_cmp(nm, X509_CRL_get_issuer(crl)))
+                       return 1;
+               return 0;
+               }
+
+       if (!nm)
+               nm = X509_CRL_get_issuer(crl);
+
+       for (i = 0; i < sk_GENERAL_NAME_num(rev->issuer); i++)
+               {
+               GENERAL_NAME *gen = sk_GENERAL_NAME_value(rev->issuer, i);
+               if (gen->type != GEN_DIRNAME)
+                       continue;
+               if (!X509_NAME_cmp(nm, gen->d.directoryName))
+                       return 1;
+               }
+       return 0;
+
+       }
+
+static int def_crl_lookup(X509_CRL *crl,
+               X509_REVOKED **ret, ASN1_INTEGER *serial, X509_NAME *issuer)
+       {
+       X509_REVOKED rtmp, *rev;
        int idx;
-       if (crl->meth && crl->meth->crl_lookup)
-               return crl->meth->crl_lookup(crl, ret, serial);
        rtmp.serialNumber = serial;
        /* Sort revoked into serial number order if not already sorted.
         * Do this under a lock to avoid race condition.
@@ -276,18 +459,70 @@ int X509_CRL_get0_by_serial(X509_CRL *crl,
                CRYPTO_w_unlock(CRYPTO_LOCK_X509_CRL);
                }
        idx = sk_X509_REVOKED_find(crl->crl->revoked, &rtmp);
-       /* If found assume revoked: want something cleverer than
-        * this to handle entry extensions in V2 CRLs.
-        */
-       if(idx >= 0)
+       if(idx < 0)
+               return 0;
+       /* Need to look for matching name */
+       for(;idx < sk_X509_REVOKED_num(crl->crl->revoked); idx++)
                {
-               if (ret)
-                       *ret = sk_X509_REVOKED_value(crl->crl->revoked, idx);
-               return 1;
+               rev = sk_X509_REVOKED_value(crl->crl->revoked, idx);
+               if (ASN1_INTEGER_cmp(rev->serialNumber, serial))
+                       return 0;
+               if (crl_revoked_issuer_match(crl, issuer, rev))
+                       {
+                       if (ret)
+                               *ret = rev;
+                       if (rev->reason == CRL_REASON_REMOVE_FROM_CRL)
+                               return 2;
+                       return 1;
+                       }
                }
        return 0;
        }
 
+void X509_CRL_set_default_method(const X509_CRL_METHOD *meth)
+       {
+       if (meth == NULL)
+               default_crl_method = &int_crl_meth;
+       else 
+               default_crl_method = meth;
+       }
+
+X509_CRL_METHOD *X509_CRL_METHOD_new(
+       int (*crl_init)(X509_CRL *crl),
+       int (*crl_free)(X509_CRL *crl),
+       int (*crl_lookup)(X509_CRL *crl, X509_REVOKED **ret,
+                               ASN1_INTEGER *ser, X509_NAME *issuer),
+       int (*crl_verify)(X509_CRL *crl, EVP_PKEY *pk))
+       {
+       X509_CRL_METHOD *m;
+       m = OPENSSL_malloc(sizeof(X509_CRL_METHOD));
+       if (!m)
+               return NULL;
+       m->crl_init = crl_init;
+       m->crl_free = crl_free;
+       m->crl_lookup = crl_lookup;
+       m->crl_verify = crl_verify;
+       m->flags = X509_CRL_METHOD_DYNAMIC;
+       return m;
+       }
+
+void X509_CRL_METHOD_free(X509_CRL_METHOD *m)
+       {
+       if (!(m->flags & X509_CRL_METHOD_DYNAMIC))
+               return;
+       OPENSSL_free(m);
+       }
+
+void X509_CRL_set_meth_data(X509_CRL *crl, void *dat)
+       {
+       crl->meth_data = dat;
+       }
+
+void *X509_CRL_get_meth_data(X509_CRL *crl)
+       {
+       return crl->meth_data;
+       }
+
 IMPLEMENT_STACK_OF(X509_REVOKED)
 IMPLEMENT_ASN1_SET_OF(X509_REVOKED)
 IMPLEMENT_STACK_OF(X509_CRL)