]> git.sur5r.net Git - openldap/blobdiff - servers/slapd/schema_init.c
More ITS#6532: Support (:UUIDOrderingMatch:=foo)
[openldap] / servers / slapd / schema_init.c
index f40d91f749d5bf9560f0f4cb20973095ac89eb30..39ddc0ff6bd95b7296d1c394b76ed2ac400943bc 100644 (file)
@@ -2,7 +2,7 @@
 /* $OpenLDAP$ */
 /* This work is part of OpenLDAP Software <http://www.openldap.org/>.
  *
- * Copyright 1998-2007 The OpenLDAP Foundation.
+ * Copyright 1998-2011 The OpenLDAP Foundation.
  * All rights reserved.
  *
  * Redistribution and use in source and binary forms, with or without
  * <http://www.OpenLDAP.org/license.html>.
  */
 
+/*
+ * Syntaxes - implementation notes:
+ *
+ * Validate function(syntax, value):
+ *   Called before the other functions here to check if the value
+ *   is valid according to the syntax.
+ *
+ * Pretty function(syntax, input value, output prettified...):
+ *   If it exists, maps different notations of the same value to a
+ *   unique representation which can be stored in the directory and
+ *   possibly be passed to the Match/Indexer/Filter() functions.
+ *
+ *   E.g. DN "2.5.4.3 = foo\,bar, o = BAZ" -> "cn=foo\2Cbar,o=BAZ",
+ *   but unlike DN normalization, "BAZ" is not mapped to "baz".
+ */
+
+/*
+ * Matching rules - implementation notes:
+ *
+ * Matching rules match an attribute value (often from the directory)
+ * against an asserted value (e.g. from a filter).
+ *
+ * Invoked with validated and commonly pretty/normalized arguments, thus
+ * a number of matching rules can simply use the octetString functions.
+ *
+ * Normalize function(...input value, output normalized...):
+ *   If it exists, maps matching values to a unique representation
+ *   which is passed to the Match/Indexer/Filter() functions.
+ *
+ *   Different matching rules can normalize values of the same syntax
+ *   differently.  E.g. caseIgnore rules normalize to lowercase,
+ *   caseExact rules do not.
+ *
+ * Match function(*output matchp, ...value, asserted value):
+ *   On success, set *matchp.  0 means match.  For ORDERING/most EQUALITY,
+ *   less/greater than 0 means value less/greater than asserted.  However:
+ *
+ *   In extensible match filters, ORDERING rules match if value<asserted.
+ *
+ *   EQUALITY rules may order values differently than ORDERING rules for
+ *   speed, since EQUALITY ordering is only used for SLAP_AT_SORTED_VAL.
+ *   Some EQUALITY rules do not order values (ITS#6722).
+ *
+ * Indexer function(...attribute values, *output keysp,...):
+ *   Generates index keys for the attribute values.  Backends can store
+ *   them in an index, a {key->entry ID set} mapping, for the attribute.
+ *
+ *   A search can look up the DN/scope and asserted values in the
+ *   indexes, if any, to narrow down the number of entires to check
+ *   against the search criteria.
+ *
+ * Filter function(...asserted value, *output keysp,...):
+ *   Generates index key(s) for the asserted value, to be looked up in
+ *   the index from the Indexer function.  *keysp is an array because
+ *   substring matching rules can generate multiple lookup keys.
+ *
+ * Index keys:
+ *   A key is usually a hash of match type, attribute value and schema
+ *   info, because one index can contain keys for many filtering types.
+ *
+ *   Some indexes instead have EQUALITY keys ordered so that if
+ *   key(val1) < key(val2), then val1 < val2 by the ORDERING rule.
+ *   That way the ORDERING rule can use the EQUALITY index.
+ *
+ * Substring indexing:
+ *   This chops the attribute values up in small chunks and indexes all
+ *   possible chunks of certain sizes.  Substring filtering looks up
+ *   SOME of the asserted value's chunks, and the caller uses the
+ *   intersection of the resulting entry ID sets.
+ *   See the index_substr_* keywords in slapd.conf(5).
+ */
+
 #include "portable.h"
 
 #include <stdio.h>
 
 #define authzMatch                             octetStringMatch
 
+/* X.509 PMI ldapSyntaxes */
+/* FIXME: need to create temporary OIDs under OpenLDAP's arc;
+ * these are currently hijacked
+ *
+ *     1.3.6.1.4.1.4203.666            OpenLDAP
+ *     1.3.6.1.4.1.4203.666.11         self-contained works
+ *     1.3.6.1.4.1.4203.666.11.10      X.509 PMI
+ *     1.3.6.1.4.1.4203.666.11.10.2    X.509 PMI ldapSyntaxes
+ *     1.3.6.1.4.1.4203.666.11.10.2.1  AttributeCertificate (supported)
+ *     1.3.6.1.4.1.4203.666.11.10.2.2  AttributeCertificateExactAssertion (supported)
+ *     1.3.6.1.4.1.4203.666.11.10.2.3  AttributeCertificateAssertion (not supported)
+ *     1.3.6.1.4.1.4203.666.11.10.2.4  AttCertPath (X-SUBST'ed right now in pmi.schema)
+ *     1.3.6.1.4.1.4203.666.11.10.2.5  PolicySyntax (X-SUBST'ed right now in pmi.schema)
+ *     1.3.6.1.4.1.4203.666.11.10.2.6  RoleSyntax (X-SUBST'ed right now in pmi.schema)
+ */
+#if 0 /* from <draft-ietf-pkix-ldap-schema-02.txt> (expired) */
+#define attributeCertificateSyntaxOID                  "1.2.826.0.1.3344810.7.5"
+#define attributeCertificateExactAssertionSyntaxOID    "1.2.826.0.1.3344810.7.6"
+#define attributeCertificateAssertionSyntaxOID         "1.2.826.0.1.3344810.7.7"
+#else /* from OpenLDAP's experimental oid arc */
+#define X509_PMI_SyntaxOID                             "1.3.6.1.4.1.4203.666.11.10.2"
+#define attributeCertificateSyntaxOID                  X509_PMI_SyntaxOID ".1"
+#define attributeCertificateExactAssertionSyntaxOID    X509_PMI_SyntaxOID ".2"
+#define attributeCertificateAssertionSyntaxOID         X509_PMI_SyntaxOID ".3"
+#endif
+
 unsigned int index_substr_if_minlen = SLAP_INDEX_SUBSTR_IF_MINLEN_DEFAULT;
 unsigned int index_substr_if_maxlen = SLAP_INDEX_SUBSTR_IF_MAXLEN_DEFAULT;
 unsigned int index_substr_any_len = SLAP_INDEX_SUBSTR_ANY_LEN_DEFAULT;
@@ -74,6 +172,13 @@ generalizedTimeValidate(
        Syntax *syntax,
        struct berval *in );
 
+#ifdef SUPPORT_OBSOLETE_UTC_SYNTAX
+static int
+utcTimeValidate(
+       Syntax *syntax,
+       struct berval *in );
+#endif /* SUPPORT_OBSOLETE_UTC_SYNTAX */
+
 static int
 inValidate(
        Syntax *syntax,
@@ -113,12 +218,18 @@ enum {
        SLAP_X509_V3            = 2
 };
 
+enum {
+       SLAP_TAG_UTCTIME                = 0x17U,
+       SLAP_TAG_GENERALIZEDTIME        = 0x18U
+};
+
+
 #define        SLAP_X509_OPTION        (LBER_CLASS_CONTEXT|LBER_CONSTRUCTED)
 
 enum {
        SLAP_X509_OPT_C_VERSION         = SLAP_X509_OPTION + 0,
-       SLAP_X509_OPT_C_ISSUERUNIQUEID  = SLAP_X509_OPTION + 1,
-       SLAP_X509_OPT_C_SUBJECTUNIQUEID = SLAP_X509_OPTION + 2,
+       SLAP_X509_OPT_C_ISSUERUNIQUEID  = LBER_CLASS_CONTEXT + 1,
+       SLAP_X509_OPT_C_SUBJECTUNIQUEID = LBER_CLASS_CONTEXT + 2,
        SLAP_X509_OPT_C_EXTENSIONS      = SLAP_X509_OPTION + 3
 };
 
@@ -126,8 +237,43 @@ enum {
        SLAP_X509_OPT_CL_CRLEXTENSIONS  = SLAP_X509_OPTION + 0
 };
 
+/*
+GeneralName ::= CHOICE {
+  otherName                 [0] INSTANCE OF OTHER-NAME,
+  rfc822Name                [1] IA5String,
+  dNSName                   [2] IA5String,
+  x400Address               [3] ORAddress,
+  directoryName             [4] Name,
+  ediPartyName              [5] EDIPartyName,
+  uniformResourceIdentifier [6] IA5String,
+  iPAddress                 [7] OCTET STRING,
+  registeredID              [8] OBJECT IDENTIFIER }
+*/
+enum {
+       SLAP_X509_GN_OTHERNAME          = SLAP_X509_OPTION + 0,
+       SLAP_X509_GN_RFC822NAME         = SLAP_X509_OPTION + 1,
+       SLAP_X509_GN_DNSNAME            = SLAP_X509_OPTION + 2,
+       SLAP_X509_GN_X400ADDRESS        = SLAP_X509_OPTION + 3,
+       SLAP_X509_GN_DIRECTORYNAME      = SLAP_X509_OPTION + 4,
+       SLAP_X509_GN_EDIPARTYNAME       = SLAP_X509_OPTION + 5,
+       SLAP_X509_GN_URI                = SLAP_X509_OPTION + 6,
+       SLAP_X509_GN_IPADDRESS          = SLAP_X509_OPTION + 7,
+       SLAP_X509_GN_REGISTEREDID       = SLAP_X509_OPTION + 8
+};
+
+/* X.509 PMI related stuff */
+enum {
+       SLAP_X509AC_V1          = 0,
+       SLAP_X509AC_V2          = 1
+};
+
+enum {
+       SLAP_X509AC_ISSUER      = SLAP_X509_OPTION + 0
+};
+
 /* X.509 certificate validation */
-static int certificateValidate( Syntax *syntax, struct berval *in )
+static int
+certificateValidate( Syntax *syntax, struct berval *in )
 {
        BerElementBuffer berbuf;
        BerElement *ber = (BerElement *)&berbuf;
@@ -199,17 +345,25 @@ static int certificateValidate( Syntax *syntax, struct berval *in )
 }
 
 /* X.509 certificate list validation */
-static int certificateListValidate( Syntax *syntax, struct berval *in )
+static int
+checkTime( struct berval *in, struct berval *out );
+
+static int
+certificateListValidate( Syntax *syntax, struct berval *in )
 {
        BerElementBuffer berbuf;
        BerElement *ber = (BerElement *)&berbuf;
        ber_tag_t tag;
-       ber_len_t len;
+       ber_len_t len, wrapper_len;
+       char *wrapper_start;
+       int wrapper_ok = 0;
        ber_int_t version = SLAP_X509_V1;
+       struct berval bvdn, bvtu;
 
        ber_init2( ber, in, LBER_USE_DER );
-       tag = ber_skip_tag( ber, &len );        /* Signed wrapper */
+       tag = ber_skip_tag( ber, &wrapper_len );        /* Signed wrapper */
        if ( tag != LBER_SEQUENCE ) return LDAP_INVALID_SYNTAX;
+       wrapper_start = ber->ber_ptr;
        tag = ber_skip_tag( ber, &len );        /* Sequence */
        if ( tag != LBER_SEQUENCE ) return LDAP_INVALID_SYNTAX;
        tag = ber_peek_tag( ber, &len );
@@ -222,32 +376,42 @@ static int certificateListValidate( Syntax *syntax, struct berval *in )
        tag = ber_skip_tag( ber, &len );        /* Signature Algorithm */
        if ( tag != LBER_SEQUENCE ) return LDAP_INVALID_SYNTAX;
        ber_skip_data( ber, len );
-       tag = ber_skip_tag( ber, &len );        /* Issuer DN */
+       tag = ber_peek_tag( ber, &len );        /* Issuer DN */
        if ( tag != LBER_SEQUENCE ) return LDAP_INVALID_SYNTAX;
+       len = ber_ptrlen( ber );
+       bvdn.bv_val = in->bv_val + len;
+       bvdn.bv_len = in->bv_len - len;
+       tag = ber_skip_tag( ber, &len );
        ber_skip_data( ber, len );
        tag = ber_skip_tag( ber, &len );        /* thisUpdate */
        /* Time is a CHOICE { UTCTime, GeneralizedTime } */
-       if ( tag != 0x17U && tag != 0x18U ) return LDAP_INVALID_SYNTAX;
+       if ( tag != SLAP_TAG_UTCTIME && tag != SLAP_TAG_GENERALIZEDTIME ) return LDAP_INVALID_SYNTAX;
+       bvtu.bv_val = (char *)ber->ber_ptr;
+       bvtu.bv_len = len;
        ber_skip_data( ber, len );
        /* Optional nextUpdate */
        tag = ber_skip_tag( ber, &len );
-       if ( tag == 0x17U || tag == 0x18U ) {
+       if ( tag == SLAP_TAG_UTCTIME || tag == SLAP_TAG_GENERALIZEDTIME ) {
                ber_skip_data( ber, len );
                tag = ber_skip_tag( ber, &len );
        }
        /* revokedCertificates - Sequence of Sequence, Optional */
        if ( tag == LBER_SEQUENCE ) {
                ber_len_t seqlen;
-               if ( ber_peek_tag( ber, &seqlen ) == LBER_SEQUENCE ) {
-                       /* Should NOT be empty */
-                       ber_skip_data( ber, len );
+               ber_tag_t stag;
+               stag = ber_peek_tag( ber, &seqlen );
+               if ( stag == LBER_SEQUENCE || !len ) {
+                       /* RFC5280 requires non-empty, but X.509(2005) allows empty. */
+                       if ( len )
+                               ber_skip_data( ber, len );
                        tag = ber_skip_tag( ber, &len );
                }
        }
-       /* Optional Extensions */
+       /* Optional Extensions - Sequence of Sequence */
        if ( tag == SLAP_X509_OPT_CL_CRLEXTENSIONS ) { /* ? */
+               ber_len_t seqlen;
                if ( version != SLAP_X509_V2 ) return LDAP_INVALID_SYNTAX;
-               tag = ber_skip_tag( ber, &len );
+               tag = ber_peek_tag( ber, &seqlen );
                if ( tag != LBER_SEQUENCE ) return LDAP_INVALID_SYNTAX;
                ber_skip_data( ber, len );
                tag = ber_skip_tag( ber, &len );
@@ -259,9 +423,127 @@ static int certificateListValidate( Syntax *syntax, struct berval *in )
        /* Signature */
        if ( tag != LBER_BITSTRING ) return LDAP_INVALID_SYNTAX; 
        ber_skip_data( ber, len );
+       if ( ber->ber_ptr == wrapper_start + wrapper_len ) wrapper_ok = 1;
        tag = ber_skip_tag( ber, &len );
        /* Must be at end now */
-       if ( len || tag != LBER_DEFAULT ) return LDAP_INVALID_SYNTAX;
+       /* NOTE: OpenSSL tolerates CL with garbage past the end */
+       if ( len || tag != LBER_DEFAULT ) {
+               struct berval issuer_dn = BER_BVNULL, thisUpdate;
+               char tubuf[STRLENOF("YYYYmmddHHMMSSZ") + 1];
+               int rc;
+
+               if ( ! wrapper_ok ) {
+                       return LDAP_INVALID_SYNTAX;
+               }
+
+               rc = dnX509normalize( &bvdn, &issuer_dn );
+               if ( rc != LDAP_SUCCESS ) {
+                       rc = LDAP_INVALID_SYNTAX;
+                       goto done;
+               }
+
+               thisUpdate.bv_val = tubuf;
+               thisUpdate.bv_len = sizeof(tubuf); 
+               if ( checkTime( &bvtu, &thisUpdate ) ) {
+                       rc = LDAP_INVALID_SYNTAX;
+                       goto done;
+               }
+
+               Debug( LDAP_DEBUG_ANY,
+                       "certificateListValidate issuer=\"%s\", thisUpdate=%s: extra cruft past end of certificateList\n",
+                       issuer_dn.bv_val, thisUpdate.bv_val, 0 );
+
+done:;
+               if ( ! BER_BVISNULL( &issuer_dn ) ) {
+                       ber_memfree( issuer_dn.bv_val );
+               }
+
+               return rc;
+       }
+
+       return LDAP_SUCCESS;
+}
+
+/* X.509 PMI Attribute Certificate Validate */
+static int
+attributeCertificateValidate( Syntax *syntax, struct berval *in )
+{
+       BerElementBuffer berbuf;
+       BerElement *ber = (BerElement *)&berbuf;
+       ber_tag_t tag;
+       ber_len_t len;
+       ber_int_t version;
+       int cont = 0;
+
+       ber_init2( ber, in, LBER_USE_DER );
+       
+       tag = ber_skip_tag( ber, &len );        /* Signed wrapper */
+       if ( tag != LBER_SEQUENCE ) return LDAP_INVALID_SYNTAX;
+
+       tag = ber_skip_tag( ber, &len );        /* Sequence */
+       if ( tag != LBER_SEQUENCE ) return LDAP_INVALID_SYNTAX;
+
+       tag = ber_peek_tag( ber, &len );        /* Version */
+       if ( tag != LBER_INTEGER ) return LDAP_INVALID_SYNTAX;
+       tag = ber_get_int( ber, &version );     /* X.509 only allows v2 */
+       if ( version != SLAP_X509AC_V2 ) return LDAP_INVALID_SYNTAX;
+
+       tag = ber_skip_tag( ber, &len );        /* Holder */
+       if ( tag != LBER_SEQUENCE ) return LDAP_INVALID_SYNTAX;
+       ber_skip_data( ber, len );
+
+       tag = ber_skip_tag( ber, &len );        /* Issuer */
+       if ( tag != SLAP_X509AC_ISSUER ) return LDAP_INVALID_SYNTAX;
+       ber_skip_data( ber, len );
+
+       tag = ber_skip_tag( ber, &len );        /* Signature */
+       if ( tag != LBER_SEQUENCE ) return LDAP_INVALID_SYNTAX;
+       ber_skip_data( ber, len );
+
+       tag = ber_skip_tag( ber, &len );        /* Serial number */
+       if ( tag != LBER_INTEGER ) return LDAP_INVALID_SYNTAX;
+       ber_skip_data( ber, len );
+
+       tag = ber_skip_tag( ber, &len );        /* AttCertValidityPeriod */
+       if ( tag != LBER_SEQUENCE ) return LDAP_INVALID_SYNTAX;
+       ber_skip_data( ber, len );
+
+       tag = ber_skip_tag( ber, &len );        /* Attributes */
+       if ( tag != LBER_SEQUENCE ) return LDAP_INVALID_SYNTAX;
+       ber_skip_data( ber, len );
+
+       tag = ber_peek_tag( ber, &len );
+
+       if ( tag == LBER_BITSTRING ) {  /* issuerUniqueID */
+               tag = ber_skip_tag( ber, &len );
+               ber_skip_data( ber, len );
+               tag = ber_peek_tag( ber, &len );
+       }
+
+       if ( tag == LBER_SEQUENCE ) {   /* extensions or signatureAlgorithm */
+               tag = ber_skip_tag( ber, &len );
+               ber_skip_data( ber, len );
+               cont++;
+               tag = ber_peek_tag( ber, &len );
+       }
+
+       if ( tag == LBER_SEQUENCE ) {   /* signatureAlgorithm */
+               tag = ber_skip_tag( ber, &len );
+               ber_skip_data( ber, len );
+               cont++;
+               tag = ber_peek_tag( ber, &len );
+       }
+
+       if ( tag == LBER_BITSTRING ) {  /* Signature */
+               tag = ber_skip_tag( ber, &len );
+               ber_skip_data( ber, len );
+               cont++;
+               tag = ber_peek_tag( ber, &len );
+       }
+
+       /* Must be at end now */
+       if ( len != 0 || tag != LBER_DEFAULT || cont < 2 ) return LDAP_INVALID_SYNTAX;
+
        return LDAP_SUCCESS;
 }
 
@@ -275,13 +557,12 @@ octetStringMatch(
        void *assertedValue )
 {
        struct berval *asserted = (struct berval *) assertedValue;
-       int match = value->bv_len - asserted->bv_len;
+       ber_slen_t d = (ber_slen_t) value->bv_len - (ber_slen_t) asserted->bv_len;
 
-       if( match == 0 ) {
-               match = memcmp( value->bv_val, asserted->bv_val, value->bv_len );
-       }
+       /* For speed, order first by length, then by contents */
+       *matchp = d ? (sizeof(d) == sizeof(int) ? d : d < 0 ? -1 : 1)
+               : memcmp( value->bv_val, asserted->bv_val, value->bv_len );
 
-       *matchp = match;
        return LDAP_SUCCESS;
 }
 
@@ -301,12 +582,20 @@ octetStringOrderingMatch(
        int match = memcmp( value->bv_val, asserted->bv_val,
                (v_len < av_len ? v_len : av_len) );
 
-       if( match == 0 ) match = v_len - av_len;
+       if( match == 0 )
+               match = sizeof(v_len) == sizeof(int)
+                       ? (int) v_len - (int) av_len
+                       : v_len < av_len ? -1 : v_len > av_len;
+
+       /* If used in extensible match filter, match if value < asserted */
+       if ( flags & SLAP_MR_EXT )
+               match = (match >= 0);
 
        *matchp = match;
        return LDAP_SUCCESS;
 }
 
+/* Initialize HASHcontext from match type and schema info */
 static void
 hashPreset(
        HASH_CONTEXT *HASHcontext,
@@ -326,6 +615,7 @@ hashPreset(
        return;
 }
 
+/* Set HASHdigest from HASHcontext and value:len */
 static void
 hashIter(
        HASH_CONTEXT *HASHcontext,
@@ -338,7 +628,7 @@ hashIter(
        HASH_Final( HASHdigest, &ctx );
 }
 
-/* Index generation function */
+/* Index generation function: Attribute values -> index hash keys */
 int octetStringIndexer(
        slap_mask_t use,
        slap_mask_t flags,
@@ -384,7 +674,7 @@ int octetStringIndexer(
        return LDAP_SUCCESS;
 }
 
-/* Index generation function */
+/* Index generation function: Asserted value -> index hash key */
 int octetStringFilter(
        slap_mask_t use,
        slap_mask_t flags,
@@ -545,7 +835,7 @@ done:
        return LDAP_SUCCESS;
 }
 
-/* Substrings Index generation function */
+/* Substring index generation function: Attribute values -> index hash keys */
 static int
 octetStringSubstringsIndexer(
        slap_mask_t use,
@@ -665,6 +955,7 @@ octetStringSubstringsIndexer(
        return LDAP_SUCCESS;
 }
 
+/* Substring index generation function: Assertion value -> index hash keys */
 static int
 octetStringSubstringsFilter (
        slap_mask_t use,
@@ -851,8 +1142,8 @@ bitStringValidate(
        }
 
        /* RFC 4517 Section 3.3.2 Bit String:
-     * BitString    = SQUOTE *binary-digit SQUOTE "B"
-     * binary-digit = "0" / "1"
+        *      BitString    = SQUOTE *binary-digit SQUOTE "B"
+        *      binary-digit = "0" / "1"
         *
         * where SQUOTE [RFC4512] is
         *      SQUOTE  = %x27 ; single quote ("'")
@@ -947,12 +1238,7 @@ bitStringValidate(
   ...
       
  *
- * Note: normalization strips any leading "0"s, unless the
- * bit string is exactly "'0'B", so the normalized example,
- * in slapd, would result in
- * 
- * 1.3.6.1.4.1.1466.0=#04024869,o=test,c=gb#'101'B
- * 
+ * Note:
  * RFC 4514 clarifies that SHARP, i.e. "#", doesn't have to
  * be escaped except when at the beginning of a value, the
  * definition of Name and Optional UID appears to be flawed,
@@ -976,11 +1262,11 @@ bitStringValidate(
  *
  * in fact "com#'1'B" is a valid IA5 string.
  *
- * As a consequence, current slapd code assumes that the
- * presence of portions of a BitString at the end of the string 
- * representation of a NameAndOptionalUID means a BitString
- * is expected, and cause an error otherwise.  This is quite
- * arbitrary, and might change in the future.
+ * As a consequence, current slapd code takes the presence of
+ * #<valid BitString> at the end of the string representation
+ * of a NameAndOptionalUID to mean this is indeed a BitString.
+ * This is quite arbitrary - it has changed the past and might
+ * change in the future.
  */
 
 
@@ -1051,7 +1337,8 @@ nameUIDPretty(
 
                        if ( rc == LDAP_SUCCESS ) {
                                ber_dupbv_x( &dnval, val, ctx );
-                               dnval.bv_len -= uidval.bv_len + 1;
+                               uidval.bv_val--;
+                               dnval.bv_len -= ++uidval.bv_len;
                                dnval.bv_val[dnval.bv_len] = '\0';
 
                        } else {
@@ -1068,36 +1355,18 @@ nameUIDPretty(
                }
 
                if( !BER_BVISNULL( &uidval ) ) {
-                       int     i, c, got1;
                        char    *tmp;
 
                        tmp = slap_sl_realloc( out->bv_val, out->bv_len 
-                               + STRLENOF( "#" ) + uidval.bv_len + 1,
+                               + uidval.bv_len + 1,
                                ctx );
                        if( tmp == NULL ) {
                                ber_memfree_x( out->bv_val, ctx );
                                return LDAP_OTHER;
                        }
                        out->bv_val = tmp;
-                       out->bv_val[out->bv_len++] = '#';
-                       out->bv_val[out->bv_len++] = '\'';
-
-                       got1 = uidval.bv_len < sizeof("'0'B"); 
-                       for( i = 1; i < uidval.bv_len - 2; i++ ) {
-                               c = uidval.bv_val[i];
-                               switch(c) {
-                                       case '0':
-                                               if( got1 ) out->bv_val[out->bv_len++] = c;
-                                               break;
-                                       case '1':
-                                               got1 = 1;
-                                               out->bv_val[out->bv_len++] = c;
-                                               break;
-                               }
-                       }
-
-                       out->bv_val[out->bv_len++] = '\'';
-                       out->bv_val[out->bv_len++] = 'B';
+                       memcpy( out->bv_val + out->bv_len, uidval.bv_val, uidval.bv_len );
+                       out->bv_len += uidval.bv_len;
                        out->bv_val[out->bv_len] = '\0';
                }
        }
@@ -1231,9 +1500,10 @@ uniqueMemberMatch(
        }
 
        if( valueUID.bv_len && assertedUID.bv_len ) {
-               match = valueUID.bv_len - assertedUID.bv_len;
-               if ( match ) {
-                       *matchp = match;
+               ber_slen_t d;
+               d = (ber_slen_t) valueUID.bv_len - (ber_slen_t) assertedUID.bv_len;
+               if ( d ) {
+                       *matchp = sizeof(d) == sizeof(int) ? d : d < 0 ? -1 : 1;
                        return LDAP_SUCCESS;
                }
 
@@ -1384,7 +1654,7 @@ booleanMatch(
 {
        /* simplistic matching allowed by rigid validation */
        struct berval *asserted = (struct berval *) assertedValue;
-       *matchp = value->bv_len != asserted->bv_len;
+       *matchp = (int) asserted->bv_len - (int) value->bv_len;
        return LDAP_SUCCESS;
 }
 
@@ -1528,8 +1798,8 @@ UTF8StringNormalize(
        void *ctx )
 {
        struct berval tmp, nvalue;
-       int flags;
-       int i, wasspace;
+       int flags, wasspace;
+       ber_len_t i;
 
        assert( SLAP_MR_IS_VALUE_OF_SYNTAX( use ) != 0 );
 
@@ -1547,8 +1817,9 @@ UTF8StringNormalize(
                ? LDAP_UTF8_APPROX : 0;
 
        val = UTF8bvnormalize( val, &tmp, flags, ctx );
+       /* out of memory or syntax error, the former is unlikely */
        if( val == NULL ) {
-               return LDAP_OTHER;
+               return LDAP_INVALID_SYNTAX;
        }
        
        /* collapse spaces (in place) */
@@ -1604,7 +1875,7 @@ directoryStringSubstringsMatch(
        int match = 0;
        SubstringsAssertion *sub = assertedValue;
        struct berval left = *value;
-       int i;
+       ber_len_t i;
        int priorspace=0;
 
        if ( !BER_BVISNULL( &sub->sa_initial ) ) {
@@ -1777,7 +2048,7 @@ approxMatch(
        }
 
        /* Work through the asserted value's words, to see if at least some
-          of the words are there, in the same order. */
+        * of the words are there, in the same order. */
        len = 0;
        while ( (ber_len_t) nextchunk < assertv->bv_len ) {
                len = strcspn( assertv->bv_val + nextchunk, SLAPD_APPROX_DELIMITER);
@@ -1987,6 +2258,118 @@ telephoneNumberNormalize(
        return LDAP_SUCCESS;
 }
 
+static int
+postalAddressValidate(
+       Syntax *syntax,
+       struct berval *in )
+{
+       struct berval bv = *in;
+       ber_len_t c;
+
+       for ( c = 0; c < in->bv_len; c++ ) {
+               if ( in->bv_val[c] == '\\' ) {
+                       c++;
+                       if ( strncasecmp( &in->bv_val[c], "24", STRLENOF( "24" ) ) != 0
+                               && strncasecmp( &in->bv_val[c], "5C", STRLENOF( "5C" ) ) != 0 )
+                       {
+                               return LDAP_INVALID_SYNTAX;
+                       }
+                       continue;
+               }
+
+               if ( in->bv_val[c] == '$' ) {
+                       bv.bv_len = &in->bv_val[c] - bv.bv_val;
+                       if ( UTF8StringValidate( NULL, &bv ) != LDAP_SUCCESS ) {
+                               return LDAP_INVALID_SYNTAX;
+                       }
+                       bv.bv_val = &in->bv_val[c] + 1;
+               }
+       }
+
+       bv.bv_len = &in->bv_val[c] - bv.bv_val;
+       return UTF8StringValidate( NULL, &bv );
+}
+
+static int
+postalAddressNormalize(
+       slap_mask_t usage,
+       Syntax *syntax,
+       MatchingRule *mr,
+       struct berval *val,
+       struct berval *normalized,
+       void *ctx )
+{
+       BerVarray lines = NULL, nlines = NULL;
+       ber_len_t l, c;
+       int rc = LDAP_SUCCESS;
+       MatchingRule *xmr = NULL;
+       char *p;
+
+       if ( SLAP_MR_ASSOCIATED( mr, slap_schema.si_mr_caseIgnoreListMatch ) ) {
+               xmr = slap_schema.si_mr_caseIgnoreMatch;
+
+       } else {
+               xmr = slap_schema.si_mr_caseExactMatch;
+       }
+
+       for ( l = 0, c = 0; c < val->bv_len; c++ ) {
+               if ( val->bv_val[c] == '$' ) {
+                       l++;
+               }
+       }
+
+       lines = slap_sl_calloc( sizeof( struct berval ), 2 * ( l + 2 ), ctx );
+       nlines = &lines[l + 2];
+
+       lines[0].bv_val = val->bv_val;
+       for ( l = 0, c = 0; c < val->bv_len; c++ ) {
+               if ( val->bv_val[c] == '$' ) {
+                       lines[l].bv_len = &val->bv_val[c] - lines[l].bv_val;
+                       l++;
+                       lines[l].bv_val = &val->bv_val[c + 1];
+               }
+       }
+       lines[l].bv_len = &val->bv_val[c] - lines[l].bv_val;
+
+       normalized->bv_len = l;
+
+       for ( l = 0; !BER_BVISNULL( &lines[l] ); l++ ) {
+               /* NOTE: we directly normalize each line,
+                * without unescaping the values, since the special
+                * values '\24' ('$') and '\5C' ('\') are not affected
+                * by normalization */
+               rc = UTF8StringNormalize( usage, NULL, xmr, &lines[l], &nlines[l], ctx );
+               if ( rc != LDAP_SUCCESS ) {
+                       rc = LDAP_INVALID_SYNTAX;
+                       goto done;
+               }
+
+               normalized->bv_len += nlines[l].bv_len;
+       }
+
+       normalized->bv_val = slap_sl_malloc( normalized->bv_len + 1, ctx );
+
+       p = normalized->bv_val;
+       for ( l = 0; !BER_BVISNULL( &nlines[l] ); l++ ) {
+               p = lutil_strbvcopy( p, &nlines[l] );
+               *p++ = '$';
+       }
+       *--p = '\0';
+
+       assert( p == &normalized->bv_val[normalized->bv_len] );
+
+done:;
+       if ( nlines != NULL ) {
+               for ( l = 0; !BER_BVISNULL( &nlines[ l ] ); l++ ) {
+                       slap_sl_free( nlines[l].bv_val, ctx );
+               }
+
+               slap_sl_free( lines, ctx );
+       }
+
+       return rc;
+}
+
 int
 numericoidValidate(
        Syntax *syntax,
@@ -2110,29 +2493,36 @@ integerMatch(
                if( vsign < 0 ) match = -match;
        }
 
+       /* Ordering rule used in extensible match filter? */
+       if ( (flags & SLAP_MR_EXT) && (mr->smr_usage & SLAP_MR_ORDERING) )
+               match = (match >= 0);
+
        *matchp = match;
        return LDAP_SUCCESS;
 }
 
+/* 10**Chop < 256**Chopbytes and Chop > Chopbytes<<1 (for sign bit and itmp) */
 #define INDEX_INTLEN_CHOP 7
+#define INDEX_INTLEN_CHOPBYTES 3
 
 static int
 integerVal2Key(
-       struct berval val,
+       struct berval *in,
        struct berval *key,
-       struct berval itmp
-)
+       struct berval *tmp,
+       void *ctx )
 {
-       /* index format:
-        * only if too large: one's complement <sign*length of chopped bytes>,
+       /* Integer index key format, designed for memcmp to collate correctly:
+        * if too large: one's complement sign*<approx exponent=chopped bytes>,
         * two's complement value (sign-extended or chopped as needed),
-        * with 1st byte of the above adjusted as follows:
-        *   inverse sign in the top <number of length-bytes + 1> bits,
-        *   then the sign bit as delimiter.
+        * however in first byte above, the top <number of exponent-bytes + 1>
+        * bits are the inverse sign and next bit is the sign as delimiter.
         */
-       ber_slen_t k = index_intlen_strlen, chop = 0;
-       unsigned char neg = 0xff, signmask = 0x80;
-       unsigned char lenbuf[sizeof(k) + 2], *lenp;
+       ber_slen_t k = index_intlen_strlen;
+       ber_len_t chop = 0;
+       unsigned signmask = ~0x7fU;
+       unsigned char lenbuf[sizeof(k) + 2], *lenp, neg = 0xff;
+       struct berval val = *in, itmp = *tmp;
 
        if ( val.bv_val[0] != '-' ) {
                neg = 0;
@@ -2140,17 +2530,13 @@ integerVal2Key(
        }
 
        /* Chop least significant digits, increase length instead */
-       if ( val.bv_len > k ) {
-               chop = (val.bv_len - k + 2) / 7;        /* 2 fewer digits */
+       if ( val.bv_len > (ber_len_t) k ) {
+               chop = (val.bv_len-k+2)/INDEX_INTLEN_CHOP; /* 2 fewer digits */
                val.bv_len -= chop * INDEX_INTLEN_CHOP; /* #digits chopped */
-               chop *= 3;      /* >#key bytes chopped: 256**3 > 10**7 */
-               if ( chop > 0x7fffffff ) {
-                       memset( key->bv_val, neg ^ 0xff, index_intlen );
-                       return 0;
-               }
+               chop *= INDEX_INTLEN_CHOPBYTES;         /* #bytes added */
        }
 
-       if ( lutil_str2bin( &val, &itmp )) {
+       if ( lutil_str2bin( &val, &itmp, ctx )) {
                return LDAP_INVALID_SYNTAX;
        }
 
@@ -2160,31 +2546,32 @@ integerVal2Key(
                itmp.bv_len--;
        }
 
-       k = (ber_slen_t) index_intlen - ((ber_slen_t) itmp.bv_len + chop);
+       k = (ber_slen_t) index_intlen - (ber_slen_t) (itmp.bv_len + chop);
        if ( k > 0 ) {
                assert( chop == 0 );
                memset( key->bv_val, neg, k );  /* sign-extend */
        } else if ( k != 0 || ((itmp.bv_val[0] ^ neg) & 0xc0) ) {
+               /* Got exponent -k, or no room for 2 sign bits */
                lenp = lenbuf + sizeof(lenbuf);
-               k = -k;
+               chop = - (ber_len_t) k;
                do {
-                       *--lenp = k ^ neg;
+                       *--lenp = ((unsigned char) chop & 0xff) ^ neg;
                        signmask >>= 1;
-               } while ( (k >>= 8) != 0 || (signmask >> 1) <= (*lenp ^ neg) );
-               /* With n bytes used in lenbuf, the top n+1 bits of signmask
-                * are 1, and the top n+2 bits of *lenp are the sign bit. */
+               } while ( (chop >>= 8) != 0 || (signmask >> 1) & (*lenp ^ neg) );
+               /* With n bytes in lenbuf, the top n+1 bits of (signmask&0xff)
+                * are 1, and the top n+2 bits of lenp[0] are the sign bit. */
                k = (lenbuf + sizeof(lenbuf)) - lenp;
-               if ( k > index_intlen )
+               if ( k > (ber_slen_t) index_intlen )
                        k = index_intlen;
                memcpy( key->bv_val, lenp, k );
                itmp.bv_len = index_intlen - k;
        }
        memcpy( key->bv_val + k, itmp.bv_val, itmp.bv_len );
-       key->bv_val[0] ^= (unsigned char) -signmask & 0xff; /* invert sign */
+       key->bv_val[0] ^= (unsigned char) signmask & 0xff; /* invert sign */
        return 0;
 }
 
-/* Index generation function */
+/* Index generation function: Ordered index */
 static int
 integerIndexer(
        slap_mask_t use,
@@ -2238,19 +2625,19 @@ integerIndexer(
                        else if ( itmp.bv_len > maxstrlen )
                                itmp.bv_len = maxstrlen;
                }
-               rc = integerVal2Key( values[i], &keys[i], itmp );
+               rc = integerVal2Key( &values[i], &keys[i], &itmp, ctx );
                if ( rc )
-                       goto leave;
+                       goto func_leave;
        }
        *keysp = keys;
-leave:
+func_leave:
        if ( itmp.bv_val != ibuf ) {
                slap_sl_free( itmp.bv_val, ctx );
        }
        return rc;
 }
 
-/* Index generation function */
+/* Index generation function: Ordered index */
 static int
 integerFilter(
        slap_mask_t use,
@@ -2274,6 +2661,8 @@ integerFilter(
 
        keys[0].bv_len = index_intlen;
        keys[0].bv_val = slap_sl_malloc( index_intlen, ctx );
+       keys[1].bv_len = 0;
+       keys[1].bv_val = NULL;
 
        iv.bv_len = value->bv_len < index_intlen_strlen + INDEX_INTLEN_CHOP-1
                ? value->bv_len : index_intlen_strlen + INDEX_INTLEN_CHOP-1;
@@ -2284,7 +2673,7 @@ integerFilter(
                iv.bv_len = sizeof(ibuf);
        }
 
-       rc = integerVal2Key( *value, keys, iv );
+       rc = integerVal2Key( value, keys, &iv, ctx );
        if ( rc == 0 )
                *keysp = keys;
 
@@ -2564,6 +2953,7 @@ UUIDNormalize(
 
                } else {
                        slap_sl_free( normalized->bv_val, ctx );
+                       BER_BVZERO( normalized );
                        return LDAP_INVALID_SYNTAX;
                }
 
@@ -2718,15 +3108,70 @@ integerBitOrMatch(
        return LDAP_SUCCESS;
 }
 
+static int
+checkNum( struct berval *in, struct berval *out )
+{
+       /* parse serialNumber */
+       ber_len_t neg = 0, extra = 0;
+       char first = '\0';
+
+       out->bv_val = in->bv_val;
+       out->bv_len = 0;
+
+       if ( out->bv_val[0] == '-' ) {
+               neg++;
+               out->bv_len++;
+       }
+
+       if ( strncasecmp( out->bv_val, "0x", STRLENOF("0x") ) == 0 ) {
+               first = out->bv_val[2];
+               extra = 2;
+
+               out->bv_len += STRLENOF("0x");
+               for ( ; out->bv_len < in->bv_len; out->bv_len++ ) {
+                       if ( !ASCII_HEX( out->bv_val[out->bv_len] ) ) break;
+               }
+
+       } else if ( out->bv_val[0] == '\'' ) {
+               first = out->bv_val[1];
+               extra = 3;
+
+               out->bv_len += STRLENOF("'");
+
+               for ( ; out->bv_len < in->bv_len; out->bv_len++ ) {
+                       if ( !ASCII_HEX( out->bv_val[out->bv_len] ) ) break;
+               }
+               if ( strncmp( &out->bv_val[out->bv_len], "'H", STRLENOF("'H") ) != 0 ) {
+                       return -1;
+               }
+               out->bv_len += STRLENOF("'H");
+
+       } else {
+               first = out->bv_val[0];
+               for ( ; out->bv_len < in->bv_len; out->bv_len++ ) {
+                       if ( !ASCII_DIGIT( out->bv_val[out->bv_len] ) ) break;
+               }
+       }
+
+       if ( !( out->bv_len > neg ) ) {
+               return -1;
+       }
+
+       if ( ( out->bv_len > extra + 1 + neg ) && ( first == '0' ) ) {
+               return -1;
+       }
+
+       return 0;
+}
+
 static int
 serialNumberAndIssuerCheck(
        struct berval *in,
        struct berval *sn,
        struct berval *is,
-       void *ctx
-)
+       void *ctx )
 {
-       int is_hex = 0, n;
+       ber_len_t n;
 
        if( in->bv_len < 3 ) return LDAP_INVALID_SYNTAX;
 
@@ -2754,357 +3199,1441 @@ serialNumberAndIssuerCheck(
 
        } else {
                /* Parse GSER format */ 
-               int havesn=0,haveissuer=0;
+               enum {
+                       HAVE_NONE = 0x0,
+                       HAVE_ISSUER = 0x1,
+                       HAVE_SN = 0x2,
+                       HAVE_ALL = ( HAVE_ISSUER | HAVE_SN )
+               } have = HAVE_NONE;
+
+               int numdquotes = 0;
                struct berval x = *in;
                struct berval ni;
                x.bv_val++;
-               x.bv_len-=2;
-
-               /* eat leading spaces */
-               for( ; (x.bv_val[0] == ' ') && x.bv_len; x.bv_val++, x.bv_len--) {
-                       /* empty */;
-               }
-
-               if ( x.bv_len < STRLENOF("serialNumber 0,issuer \"\"")) {
-                       return LDAP_INVALID_SYNTAX;
-               }
-
-               /* should be at issuer or serialNumber NamedValue */
-               if( strncasecmp( x.bv_val, "issuer", STRLENOF("issuer")) == 0 ) {
-                       /* parse issuer */
-                       x.bv_val += STRLENOF("issuer");
-                       x.bv_len -= STRLENOF("issuer");
-
-                       if( x.bv_val[0] != ' ' ) return LDAP_INVALID_SYNTAX;
-                       x.bv_val++; x.bv_len--;
+               x.bv_len -= 2;
 
+               do {
                        /* eat leading spaces */
-                       for( ; (x.bv_val[0] == ' ') && x.bv_len; x.bv_val++, x.bv_len--) {
+                       for ( ; (x.bv_val[0] == ' ') && x.bv_len; x.bv_val++, x.bv_len-- ) {
                                /* empty */;
                        }
 
-                       /* For backward compatibility, this part is optional */
-                       if( !strncasecmp( x.bv_val, "rdnSequence:", STRLENOF("rdnSequence:"))) {
-                               x.bv_val += STRLENOF("rdnSequence:");
-                               x.bv_len -= STRLENOF("rdnSequence:");
-                       }
+                       /* should be at issuer or serialNumber NamedValue */
+                       if ( strncasecmp( x.bv_val, "issuer", STRLENOF("issuer") ) == 0 ) {
+                               if ( have & HAVE_ISSUER ) return LDAP_INVALID_SYNTAX;
 
-                       if( x.bv_val[0] != '"' ) return LDAP_INVALID_SYNTAX;
-                       x.bv_val++; x.bv_len--;
+                               /* parse issuer */
+                               x.bv_val += STRLENOF("issuer");
+                               x.bv_len -= STRLENOF("issuer");
 
-                       is->bv_val = x.bv_val;
-                       is->bv_len = 0;
+                               if ( x.bv_val[0] != ' ' ) return LDAP_INVALID_SYNTAX;
+                               x.bv_val++;
+                               x.bv_len--;
 
-                       for( ; is->bv_len < x.bv_len; ) {
-                               if ( is->bv_val[is->bv_len] != '"' ) {
-                                       is->bv_len++;
-                                       continue;
+                               /* eat leading spaces */
+                               for ( ; (x.bv_val[0] == ' ') && x.bv_len; x.bv_val++, x.bv_len-- ) {
+                                       /* empty */;
+                               }
+
+                               /* For backward compatibility, this part is optional */
+                               if ( strncasecmp( x.bv_val, "rdnSequence:", STRLENOF("rdnSequence:") ) == 0 ) {
+                                       x.bv_val += STRLENOF("rdnSequence:");
+                                       x.bv_len -= STRLENOF("rdnSequence:");
+                               }
+
+                               if ( x.bv_val[0] != '"' ) return LDAP_INVALID_SYNTAX;
+                               x.bv_val++;
+                               x.bv_len--;
+
+                               is->bv_val = x.bv_val;
+                               is->bv_len = 0;
+
+                               for ( ; is->bv_len < x.bv_len; ) {
+                                       if ( is->bv_val[is->bv_len] != '"' ) {
+                                               is->bv_len++;
+                                               continue;
+                                       }
+                                       if ( is->bv_val[is->bv_len+1] == '"' ) {
+                                               /* double dquote */
+                                               is->bv_len += 2;
+                                               continue;
+                                       }
+                                       break;
+                               }
+                               x.bv_val += is->bv_len + 1;
+                               x.bv_len -= is->bv_len + 1;
+
+                               have |= HAVE_ISSUER;
+
+                       } else if ( strncasecmp( x.bv_val, "serialNumber", STRLENOF("serialNumber") ) == 0 )
+                       {
+                               if ( have & HAVE_SN ) return LDAP_INVALID_SYNTAX;
+
+                               /* parse serialNumber */
+                               x.bv_val += STRLENOF("serialNumber");
+                               x.bv_len -= STRLENOF("serialNumber");
+
+                               if ( x.bv_val[0] != ' ' ) return LDAP_INVALID_SYNTAX;
+                               x.bv_val++;
+                               x.bv_len--;
+
+                               /* eat leading spaces */
+                               for ( ; (x.bv_val[0] == ' ') && x.bv_len; x.bv_val++, x.bv_len-- ) {
+                                       /* empty */;
+                               }
+
+                               if ( checkNum( &x, sn ) ) {
+                                       return LDAP_INVALID_SYNTAX;
+                               }
+
+                               x.bv_val += sn->bv_len;
+                               x.bv_len -= sn->bv_len;
+
+                               have |= HAVE_SN;
+
+                       } else {
+                               return LDAP_INVALID_SYNTAX;
+                       }
+
+                       /* eat leading spaces */
+                       for ( ; (x.bv_val[0] == ' ') && x.bv_len; x.bv_val++, x.bv_len-- ) {
+                               /* empty */;
+                       }
+
+                       if ( have == HAVE_ALL ) {
+                               break;
+                       }
+
+                       if ( x.bv_val[0] != ',' ) {
+                               return LDAP_INVALID_SYNTAX;
+                       }
+
+                       x.bv_val++;
+                       x.bv_len--;
+               } while ( 1 );
+
+               /* should have no characters left... */
+               if ( x.bv_len ) return LDAP_INVALID_SYNTAX;
+
+               if ( numdquotes == 0 ) {
+                       ber_dupbv_x( &ni, is, ctx );
+
+               } else {
+                       ber_len_t src, dst;
+
+                       ni.bv_len = is->bv_len - numdquotes;
+                       ni.bv_val = ber_memalloc_x( ni.bv_len + 1, ctx );
+                       for ( src = 0, dst = 0; src < is->bv_len; src++, dst++ ) {
+                               if ( is->bv_val[src] == '"' ) {
+                                       src++;
+                               }
+                               ni.bv_val[dst] = is->bv_val[src];
+                       }
+                       ni.bv_val[dst] = '\0';
+               }
+                       
+               *is = ni;
+       }
+
+       return 0;
+}
+       
+static int
+serialNumberAndIssuerValidate(
+       Syntax *syntax,
+       struct berval *in )
+{
+       int rc;
+       struct berval sn, i;
+
+       Debug( LDAP_DEBUG_TRACE, ">>> serialNumberAndIssuerValidate: <%s>\n",
+               in->bv_val, 0, 0 );
+
+       rc = serialNumberAndIssuerCheck( in, &sn, &i, NULL );
+       if ( rc ) {
+               goto done;
+       }
+
+       /* validate DN -- doesn't handle double dquote */ 
+       rc = dnValidate( NULL, &i );
+       if ( rc ) {
+               rc = LDAP_INVALID_SYNTAX;
+       }
+
+       if ( in->bv_val[0] == '{' && in->bv_val[in->bv_len-1] == '}' ) {
+               slap_sl_free( i.bv_val, NULL );
+       }
+
+       Debug( LDAP_DEBUG_TRACE, "<<< serialNumberAndIssuerValidate: <%s> err=%d\n",
+               in->bv_val, rc, 0 );
+
+done:;
+       return rc;
+}
+
+static int
+serialNumberAndIssuerPretty(
+       Syntax *syntax,
+       struct berval *in,
+       struct berval *out,
+       void *ctx )
+{
+       int rc;
+       struct berval sn, i, ni = BER_BVNULL;
+       char *p;
+
+       assert( in != NULL );
+       assert( out != NULL );
+
+       BER_BVZERO( out );
+
+       Debug( LDAP_DEBUG_TRACE, ">>> serialNumberAndIssuerPretty: <%s>\n",
+               in->bv_val, 0, 0 );
+
+       rc = serialNumberAndIssuerCheck( in, &sn, &i, ctx );
+       if ( rc ) {
+               goto done;
+       }
+
+       rc = dnPretty( syntax, &i, &ni, ctx );
+
+       if ( in->bv_val[0] == '{' && in->bv_val[in->bv_len-1] == '}' ) {
+               slap_sl_free( i.bv_val, ctx );
+       }
+
+       if ( rc ) {
+               rc = LDAP_INVALID_SYNTAX;
+               goto done;
+       }
+
+       /* make room from sn + "$" */
+       out->bv_len = STRLENOF("{ serialNumber , issuer rdnSequence:\"\" }")
+               + sn.bv_len + ni.bv_len;
+       out->bv_val = slap_sl_malloc( out->bv_len + 1, ctx );
+
+       if ( out->bv_val == NULL ) {
+               out->bv_len = 0;
+               rc = LDAP_OTHER;
+               goto done;
+       }
+
+       p = out->bv_val;
+       p = lutil_strcopy( p, "{ serialNumber " /*}*/ );
+       p = lutil_strbvcopy( p, &sn );
+       p = lutil_strcopy( p, ", issuer rdnSequence:\"" );
+       p = lutil_strbvcopy( p, &ni );
+       p = lutil_strcopy( p, /*{*/ "\" }" );
+
+       assert( p == &out->bv_val[out->bv_len] );
+
+done:;
+       Debug( LDAP_DEBUG_TRACE, "<<< serialNumberAndIssuerPretty: <%s> => <%s>\n",
+               in->bv_val, rc == LDAP_SUCCESS ? out->bv_val : "(err)", 0 );
+
+       slap_sl_free( ni.bv_val, ctx );
+
+       return LDAP_SUCCESS; 
+}
+
+static int
+slap_bin2hex(
+       struct berval *in,
+       struct berval *out,
+       void *ctx )
+
+{      
+       /* Use hex format. '123456789abcdef'H */
+       unsigned char *ptr, zero = '\0';
+       char *sptr;
+       int first;
+       ber_len_t i, len, nlen;
+
+       assert( in != NULL );
+       assert( !BER_BVISNULL( in ) );
+       assert( out != NULL );
+       assert( !BER_BVISNULL( out ) );
+
+       ptr = (unsigned char *)in->bv_val;
+       len = in->bv_len;
+
+       /* Check for minimal encodings */
+       if ( len > 1 ) {
+               if ( ptr[0] & 0x80 ) {
+                       if ( ( ptr[0] == 0xff ) && ( ptr[1] & 0x80 ) ) {
+                               return -1;
+                       }
+
+               } else if ( ptr[0] == 0 ) {
+                       if ( !( ptr[1] & 0x80 ) ) {
+                               return -1;
+                       }
+                       len--;
+                       ptr++;
+               }
+
+       } else if ( len == 0 ) {
+               /* FIXME: this should not be possible,
+                * since a value of zero would have length 1 */
+               len = 1;
+               ptr = &zero;
+       }
+
+       first = !( ptr[0] & 0xf0U );
+       nlen = len * 2 - first + STRLENOF("''H"); /* quotes, H */
+       if ( nlen >= out->bv_len ) {
+               out->bv_val = slap_sl_malloc( nlen + 1, ctx );
+       }
+       sptr = out->bv_val;
+       *sptr++ = '\'';
+       i = 0;
+       if ( first ) {
+               sprintf( sptr, "%01X", ( ptr[0] & 0x0fU ) );
+               sptr++;
+               i = 1;
+       }
+       for ( ; i < len; i++ ) {
+               sprintf( sptr, "%02X", ptr[i] );
+               sptr += 2;
+       }
+       *sptr++ = '\'';
+       *sptr++ = 'H';
+       *sptr = '\0';
+
+       assert( sptr == &out->bv_val[nlen] );
+
+       out->bv_len = nlen;
+
+       return 0;
+}
+
+#define SLAP_SN_BUFLEN (64)
+
+/*
+ * This routine is called by certificateExactNormalize when
+ * certificateExactNormalize receives a search string instead of
+ * a certificate. This routine checks if the search value is valid
+ * and then returns the normalized value
+ */
+static int
+serialNumberAndIssuerNormalize(
+       slap_mask_t usage,
+       Syntax *syntax,
+       MatchingRule *mr,
+       struct berval *in,
+       struct berval *out,
+       void *ctx )
+{
+       struct berval sn, sn2, sn3, i, ni;
+       char sbuf2[SLAP_SN_BUFLEN];
+       char sbuf3[SLAP_SN_BUFLEN];
+       char *p;
+       int rc;
+
+       assert( in != NULL );
+       assert( out != NULL );
+
+       Debug( LDAP_DEBUG_TRACE, ">>> serialNumberAndIssuerNormalize: <%s>\n",
+               in->bv_val, 0, 0 );
+
+       rc = serialNumberAndIssuerCheck( in, &sn, &i, ctx );
+       if ( rc ) {
+               return rc;
+       }
+
+       rc = dnNormalize( usage, syntax, mr, &i, &ni, ctx );
+
+       if ( in->bv_val[0] == '{' && in->bv_val[in->bv_len-1] == '}' ) {
+               slap_sl_free( i.bv_val, ctx );
+       }
+
+       if ( rc ) {
+               return LDAP_INVALID_SYNTAX;
+       }
+
+       /* Convert sn to canonical hex */
+       sn2.bv_val = sbuf2;
+       if ( sn.bv_len > sizeof( sbuf2 ) ) {
+               sn2.bv_val = slap_sl_malloc( sn.bv_len, ctx );
+       }
+       sn2.bv_len = sn.bv_len;
+       if ( lutil_str2bin( &sn, &sn2, ctx )) {
+               rc = LDAP_INVALID_SYNTAX;
+               goto func_leave;
+       }
+
+       sn3.bv_val = sbuf3;
+       sn3.bv_len = sizeof(sbuf3);
+       if ( slap_bin2hex( &sn2, &sn3, ctx ) ) {
+               rc = LDAP_INVALID_SYNTAX;
+               goto func_leave;
+       }
+
+       out->bv_len = STRLENOF( "{ serialNumber , issuer rdnSequence:\"\" }" )
+               + sn3.bv_len + ni.bv_len;
+       out->bv_val = slap_sl_malloc( out->bv_len + 1, ctx );
+
+       if ( out->bv_val == NULL ) {
+               out->bv_len = 0;
+               rc = LDAP_OTHER;
+               goto func_leave;
+       }
+
+       p = out->bv_val;
+
+       p = lutil_strcopy( p, "{ serialNumber " /*}*/ );
+       p = lutil_strbvcopy( p, &sn3 );
+       p = lutil_strcopy( p, ", issuer rdnSequence:\"" );
+       p = lutil_strbvcopy( p, &ni );
+       p = lutil_strcopy( p, /*{*/ "\" }" );
+
+       assert( p == &out->bv_val[out->bv_len] );
+
+func_leave:
+       Debug( LDAP_DEBUG_TRACE, "<<< serialNumberAndIssuerNormalize: <%s> => <%s>\n",
+               in->bv_val, rc == LDAP_SUCCESS ? out->bv_val : "(err)", 0 );
+
+       if ( sn2.bv_val != sbuf2 ) {
+               slap_sl_free( sn2.bv_val, ctx );
+       }
+
+       if ( sn3.bv_val != sbuf3 ) {
+               slap_sl_free( sn3.bv_val, ctx );
+       }
+
+       slap_sl_free( ni.bv_val, ctx );
+
+       return rc;
+}
+
+static int
+certificateExactNormalize(
+       slap_mask_t usage,
+       Syntax *syntax,
+       MatchingRule *mr,
+       struct berval *val,
+       struct berval *normalized,
+       void *ctx )
+{
+       BerElementBuffer berbuf;
+       BerElement *ber = (BerElement *)&berbuf;
+       ber_tag_t tag;
+       ber_len_t len;
+       ber_int_t i;
+       char serialbuf2[SLAP_SN_BUFLEN];
+       struct berval sn, sn2 = BER_BVNULL;
+       struct berval issuer_dn = BER_BVNULL, bvdn;
+       char *p;
+       int rc = LDAP_INVALID_SYNTAX;
+
+       assert( val != NULL );
+
+       Debug( LDAP_DEBUG_TRACE, ">>> certificateExactNormalize: <%p, %lu>\n",
+               val->bv_val, val->bv_len, 0 );
+
+       if ( BER_BVISEMPTY( val ) ) goto done;
+
+       if ( SLAP_MR_IS_VALUE_OF_ASSERTION_SYNTAX(usage) ) {
+               return serialNumberAndIssuerNormalize( 0, NULL, NULL, val, normalized, ctx );
+       }
+
+       assert( SLAP_MR_IS_VALUE_OF_ATTRIBUTE_SYNTAX(usage) != 0 );
+
+       ber_init2( ber, val, LBER_USE_DER );
+       tag = ber_skip_tag( ber, &len );        /* Signed Sequence */
+       tag = ber_skip_tag( ber, &len );        /* Sequence */
+       tag = ber_peek_tag( ber, &len );        /* Optional version? */
+       if ( tag == SLAP_X509_OPT_C_VERSION ) {
+               tag = ber_skip_tag( ber, &len );
+               tag = ber_get_int( ber, &i );   /* version */
+       }
+
+       /* NOTE: move the test here from certificateValidate,
+        * so that we can validate certs with serial longer
+        * than sizeof(ber_int_t) */
+       tag = ber_skip_tag( ber, &len );        /* serial */
+       sn.bv_len = len;
+       sn.bv_val = (char *)ber->ber_ptr;
+       sn2.bv_val = serialbuf2;
+       sn2.bv_len = sizeof(serialbuf2);
+       if ( slap_bin2hex( &sn, &sn2, ctx ) ) {
+               rc = LDAP_INVALID_SYNTAX;
+               goto done;
+       }
+       ber_skip_data( ber, len );
+
+       tag = ber_skip_tag( ber, &len );        /* SignatureAlg */
+       ber_skip_data( ber, len );
+       tag = ber_peek_tag( ber, &len );        /* IssuerDN */
+       len = ber_ptrlen( ber );
+       bvdn.bv_val = val->bv_val + len;
+       bvdn.bv_len = val->bv_len - len;
+
+       rc = dnX509normalize( &bvdn, &issuer_dn );
+       if ( rc != LDAP_SUCCESS ) goto done;
+
+       normalized->bv_len = STRLENOF( "{ serialNumber , issuer rdnSequence:\"\" }" )
+               + sn2.bv_len + issuer_dn.bv_len;
+       normalized->bv_val = ch_malloc( normalized->bv_len + 1 );
+
+       p = normalized->bv_val;
+
+       p = lutil_strcopy( p, "{ serialNumber " /*}*/ );
+       p = lutil_strbvcopy( p, &sn2 );
+       p = lutil_strcopy( p, ", issuer rdnSequence:\"" );
+       p = lutil_strbvcopy( p, &issuer_dn );
+       p = lutil_strcopy( p, /*{*/ "\" }" );
+
+       rc = LDAP_SUCCESS;
+
+done:
+       Debug( LDAP_DEBUG_TRACE, "<<< certificateExactNormalize: <%p, %lu> => <%s>\n",
+               val->bv_val, val->bv_len, rc == LDAP_SUCCESS ? normalized->bv_val : "(err)" );
+
+       if ( issuer_dn.bv_val ) ber_memfree( issuer_dn.bv_val );
+       if ( sn2.bv_val != serialbuf2 ) ber_memfree_x( sn2.bv_val, ctx );
+
+       return rc;
+}
+
+/* X.509 PKI certificateList stuff */
+static int
+checkTime( struct berval *in, struct berval *out )
+{
+       int rc;
+       ber_len_t i;
+       char buf[STRLENOF("YYYYmmddHHMMSSZ") + 1];
+       struct berval bv;
+
+       assert( in != NULL );
+       assert( !BER_BVISNULL( in ) );
+       assert( !BER_BVISEMPTY( in ) );
+
+       if ( in->bv_len < STRLENOF( "YYmmddHHMMSSZ" ) ) {
+               return -1;
+       }
+
+       if ( out != NULL ) {
+               assert( !BER_BVISNULL( out ) );
+               assert( out->bv_len >= sizeof( buf ) );
+               bv.bv_val = out->bv_val;
+
+       } else {
+               bv.bv_val = buf;
+       }
+
+       for ( i = 0; i < STRLENOF( "YYYYmmddHHMMSS" ); i++ ) {
+               if ( !ASCII_DIGIT( in->bv_val[i] ) ) break;
+       }
+
+       if ( in->bv_val[i] != 'Z' ) {
+               return -1;
+       }
+       i++;
+
+       if ( i != in->bv_len ) {
+               return -1;
+       }
+
+       if ( i == STRLENOF( "YYYYmmddHHMMSSZ" ) ) {
+               lutil_strncopy( bv.bv_val, in->bv_val, i );
+               bv.bv_len = i;
+               
+       } else if ( i == STRLENOF( "YYmmddHHMMSSZ" ) ) {
+               char *p = bv.bv_val;
+               if ( in->bv_val[0] < '7' ) {
+                       p = lutil_strcopy( p, "20" );
+
+               } else {
+                       p = lutil_strcopy( p, "19" );
+               }
+               lutil_strncopy( p, in->bv_val, i );
+               bv.bv_len = 2 + i;
+
+       } else {
+               return -1;
+       }
+
+       rc = generalizedTimeValidate( NULL, &bv );
+       if ( rc == LDAP_SUCCESS && out != NULL ) {
+               if ( out->bv_len > bv.bv_len ) {
+                       out->bv_val[ bv.bv_len ] = '\0';
+               }
+               out->bv_len = bv.bv_len;
+       }
+
+       return rc != LDAP_SUCCESS;
+}
+
+static int
+issuerAndThisUpdateCheck(
+       struct berval *in,
+       struct berval *is,
+       struct berval *tu,
+       void *ctx )
+{
+       int numdquotes = 0;
+       struct berval x = *in;
+       struct berval ni = BER_BVNULL;
+       /* Parse GSER format */ 
+       enum {
+               HAVE_NONE = 0x0,
+               HAVE_ISSUER = 0x1,
+               HAVE_THISUPDATE = 0x2,
+               HAVE_ALL = ( HAVE_ISSUER | HAVE_THISUPDATE )
+       } have = HAVE_NONE;
+
+
+       if ( in->bv_len < STRLENOF( "{issuer \"\",thisUpdate \"YYMMDDhhmmssZ\"}" ) ) return LDAP_INVALID_SYNTAX;
+
+       if ( in->bv_val[0] != '{' && in->bv_val[in->bv_len-1] != '}' ) {
+               return LDAP_INVALID_SYNTAX;
+       }
+
+       x.bv_val++;
+       x.bv_len -= STRLENOF("{}");
+
+       do {
+               /* eat leading spaces */
+               for ( ; (x.bv_val[0] == ' ') && x.bv_len; x.bv_val++, x.bv_len-- ) {
+                       /* empty */;
+               }
+
+               /* should be at issuer or thisUpdate */
+               if ( strncasecmp( x.bv_val, "issuer", STRLENOF("issuer") ) == 0 ) {
+                       if ( have & HAVE_ISSUER ) return LDAP_INVALID_SYNTAX;
+
+                       /* parse issuer */
+                       x.bv_val += STRLENOF("issuer");
+                       x.bv_len -= STRLENOF("issuer");
+
+                       if ( x.bv_val[0] != ' ' ) return LDAP_INVALID_SYNTAX;
+                       x.bv_val++;
+                       x.bv_len--;
+
+                       /* eat leading spaces */
+                       for ( ; (x.bv_val[0] == ' ') && x.bv_len; x.bv_val++, x.bv_len-- ) {
+                               /* empty */;
+                       }
+
+                       /* For backward compatibility, this part is optional */
+                       if ( strncasecmp( x.bv_val, "rdnSequence:", STRLENOF("rdnSequence:") ) != 0 ) {
+                               return LDAP_INVALID_SYNTAX;
+                       }
+                       x.bv_val += STRLENOF("rdnSequence:");
+                       x.bv_len -= STRLENOF("rdnSequence:");
+
+                       if ( x.bv_val[0] != '"' ) return LDAP_INVALID_SYNTAX;
+                       x.bv_val++;
+                       x.bv_len--;
+
+                       is->bv_val = x.bv_val;
+                       is->bv_len = 0;
+
+                       for ( ; is->bv_len < x.bv_len; ) {
+                               if ( is->bv_val[is->bv_len] != '"' ) {
+                                       is->bv_len++;
+                                       continue;
                                }
                                if ( is->bv_val[is->bv_len+1] == '"' ) {
                                        /* double dquote */
-                                       is->bv_len+=2;
+                                       is->bv_len += 2;
                                        continue;
                                }
                                break;
                        }
-                       x.bv_val += is->bv_len+1;
-                       x.bv_len -= is->bv_len+1;
+                       x.bv_val += is->bv_len + 1;
+                       x.bv_len -= is->bv_len + 1;
+
+                       have |= HAVE_ISSUER;
+
+               } else if ( strncasecmp( x.bv_val, "thisUpdate", STRLENOF("thisUpdate") ) == 0 )
+               {
+                       if ( have & HAVE_THISUPDATE ) return LDAP_INVALID_SYNTAX;
+
+                       /* parse thisUpdate */
+                       x.bv_val += STRLENOF("thisUpdate");
+                       x.bv_len -= STRLENOF("thisUpdate");
+
+                       if ( x.bv_val[0] != ' ' ) return LDAP_INVALID_SYNTAX;
+                       x.bv_val++;
+                       x.bv_len--;
+
+                       /* eat leading spaces */
+                       for ( ; (x.bv_val[0] == ' ') && x.bv_len; x.bv_val++, x.bv_len-- ) {
+                               /* empty */;
+                       }
+
+                       if ( x.bv_val[0] != '"' ) return LDAP_INVALID_SYNTAX;
+                       x.bv_val++;
+                       x.bv_len--;
+
+                       tu->bv_val = x.bv_val;
+                       tu->bv_len = 0;
+
+                       for ( ; tu->bv_len < x.bv_len; tu->bv_len++ ) {
+                               if ( tu->bv_val[tu->bv_len] == '"' ) {
+                                       break;
+                               }
+                       }
+                       x.bv_val += tu->bv_len + 1;
+                       x.bv_len -= tu->bv_len + 1;
+
+                       have |= HAVE_THISUPDATE;
+
+               } else {
+                       return LDAP_INVALID_SYNTAX;
+               }
+
+               /* eat leading spaces */
+               for ( ; (x.bv_val[0] == ' ') && x.bv_len; x.bv_val++, x.bv_len-- ) {
+                       /* empty */;
+               }
+
+               if ( have == HAVE_ALL ) {
+                       break;
+               }
+
+               if ( x.bv_val[0] != ',' ) {
+                       return LDAP_INVALID_SYNTAX;
+               }
+
+               x.bv_val++;
+               x.bv_len--;
+       } while ( 1 );
+
+       /* should have no characters left... */
+       if ( x.bv_len ) return LDAP_INVALID_SYNTAX;
+
+       if ( numdquotes == 0 ) {
+               ber_dupbv_x( &ni, is, ctx );
+
+       } else {
+               ber_len_t src, dst;
+
+               ni.bv_len = is->bv_len - numdquotes;
+               ni.bv_val = ber_memalloc_x( ni.bv_len + 1, ctx );
+               for ( src = 0, dst = 0; src < is->bv_len; src++, dst++ ) {
+                       if ( is->bv_val[src] == '"' ) {
+                               src++;
+                       }
+                       ni.bv_val[dst] = is->bv_val[src];
+               }
+               ni.bv_val[dst] = '\0';
+       }
+               
+       *is = ni;
+
+       return 0;
+}
+
+static int
+issuerAndThisUpdateValidate(
+       Syntax *syntax,
+       struct berval *in )
+{
+       int rc;
+       struct berval i, tu;
+
+       Debug( LDAP_DEBUG_TRACE, ">>> issuerAndThisUpdateValidate: <%s>\n",
+               in->bv_val, 0, 0 );
+
+       rc = issuerAndThisUpdateCheck( in, &i, &tu, NULL );
+       if ( rc ) {
+               goto done;
+       }
+
+       /* validate DN -- doesn't handle double dquote */ 
+       rc = dnValidate( NULL, &i );
+       if ( rc ) {
+               rc = LDAP_INVALID_SYNTAX;
+
+       } else if ( checkTime( &tu, NULL ) ) {
+               rc = LDAP_INVALID_SYNTAX;
+       }
+
+       if ( in->bv_val[0] == '{' && in->bv_val[in->bv_len-1] == '}' ) {
+               slap_sl_free( i.bv_val, NULL );
+       }
+
+       Debug( LDAP_DEBUG_TRACE, "<<< issuerAndThisUpdateValidate: <%s> err=%d\n",
+               in->bv_val, rc, 0 );
+
+done:;
+       return rc;
+}
+
+static int
+issuerAndThisUpdatePretty(
+       Syntax *syntax,
+       struct berval *in,
+       struct berval *out,
+       void *ctx )
+{
+       int rc;
+       struct berval i, tu, ni = BER_BVNULL;
+       char *p;
 
-                       if ( x.bv_len < STRLENOF(",serialNumber 0")) {
-                               return LDAP_INVALID_SYNTAX;
-                       }
+       assert( in != NULL );
+       assert( out != NULL );
 
-                       haveissuer++;
+       BER_BVZERO( out );
 
-               } else if( strncasecmp( x.bv_val, "serialNumber",
-                       STRLENOF("serialNumber")) == 0 )
-               {
-                       /* parse serialNumber */
-                       int neg=0;
-                       x.bv_val += STRLENOF("serialNumber");
-                       x.bv_len -= STRLENOF("serialNumber");
+       Debug( LDAP_DEBUG_TRACE, ">>> issuerAndThisUpdatePretty: <%s>\n",
+               in->bv_val, 0, 0 );
 
-                       if( x.bv_val[0] != ' ' ) return LDAP_INVALID_SYNTAX;
-                       x.bv_val++; x.bv_len--;
+       rc = issuerAndThisUpdateCheck( in, &i, &tu, ctx );
+       if ( rc ) {
+               goto done;
+       }
 
-                       /* eat leading spaces */
-                       for( ; (x.bv_val[0] == ' ') && x.bv_len; x.bv_val++, x.bv_len--) {
-                               /* empty */;
-                       }
-                       
-                       sn->bv_val = x.bv_val;
-                       sn->bv_len = 0;
+       rc = dnPretty( syntax, &i, &ni, ctx );
 
-                       if( sn->bv_val[0] == '-' ) {
-                               neg++;
-                               sn->bv_len++;
-                       }
+       if ( in->bv_val[0] == '{' && in->bv_val[in->bv_len-1] == '}' ) {
+               slap_sl_free( i.bv_val, ctx );
+       }
 
-                       if ( sn->bv_val[0] == '0' && ( sn->bv_val[1] == 'x' ||
-                               sn->bv_val[1] == 'X' )) {
-                               is_hex = 1;
-                               for( ; sn->bv_len < x.bv_len; sn->bv_len++ ) {
-                                       if ( !ASCII_HEX( sn->bv_val[sn->bv_len] )) break;
-                               }
-                       } else if ( sn->bv_val[0] == '\'' ) {
-                               for( ; sn->bv_len < x.bv_len; sn->bv_len++ ) {
-                                       if ( !ASCII_HEX( sn->bv_val[sn->bv_len] )) break;
-                               }
-                               if ( sn->bv_val[sn->bv_len] == '\'' &&
-                                       sn->bv_val[sn->bv_len+1] == 'H' )
-                                       is_hex = 1;
-                               else
-                                       return LDAP_INVALID_SYNTAX;
-                               sn->bv_len += 2;
-                       } else {
-                               for( ; sn->bv_len < x.bv_len; sn->bv_len++ ) {
-                                       if ( !ASCII_DIGIT( sn->bv_val[sn->bv_len] )) break;
-                               }
-                       }
+       if ( rc || checkTime( &tu, NULL ) ) {
+               rc = LDAP_INVALID_SYNTAX;
+               goto done;
+       }
 
-                       if (!( sn->bv_len > neg )) return LDAP_INVALID_SYNTAX;
-                       if (( sn->bv_len > 1+neg ) && ( sn->bv_val[neg] == '0' )) {
-                               return LDAP_INVALID_SYNTAX;
-                       }
+       /* make room */
+       out->bv_len = STRLENOF("{ issuer rdnSequence:\"\", thisUpdate \"\" }")
+               + ni.bv_len + tu.bv_len;
+       out->bv_val = slap_sl_malloc( out->bv_len + 1, ctx );
+
+       if ( out->bv_val == NULL ) {
+               out->bv_len = 0;
+               rc = LDAP_OTHER;
+               goto done;
+       }
 
-                       x.bv_val += sn->bv_len; x.bv_len -= sn->bv_len;
+       p = out->bv_val;
+       p = lutil_strcopy( p, "{ issuer rdnSequence:\"" /*}*/ );
+       p = lutil_strbvcopy( p, &ni );
+       p = lutil_strcopy( p, "\", thisUpdate \"" );
+       p = lutil_strbvcopy( p, &tu );
+       p = lutil_strcopy( p, /*{*/ "\" }" );
 
-                       if ( x.bv_len < STRLENOF( ",issuer \"\"" )) {
-                               return LDAP_INVALID_SYNTAX;
-                       }
+       assert( p == &out->bv_val[out->bv_len] );
 
-                       havesn++;
+done:;
+       Debug( LDAP_DEBUG_TRACE, "<<< issuerAndThisUpdatePretty: <%s> => <%s>\n",
+               in->bv_val, rc == LDAP_SUCCESS ? out->bv_val : "(err)", 0 );
 
-               } else return LDAP_INVALID_SYNTAX;
+       slap_sl_free( ni.bv_val, ctx );
 
-               if( x.bv_val[0] != ',' ) return LDAP_INVALID_SYNTAX;
-               x.bv_val++; x.bv_len--;
+       return rc; 
+}
 
-               /* eat spaces */
-               for( ; (x.bv_val[0] == ' ') && x.bv_len; x.bv_val++, x.bv_len--) {
+static int
+issuerAndThisUpdateNormalize(
+       slap_mask_t usage,
+       Syntax *syntax,
+       MatchingRule *mr,
+       struct berval *in,
+       struct berval *out,
+       void *ctx )
+{
+       struct berval i, ni, tu, tu2;
+       char sbuf[STRLENOF("YYYYmmddHHMMSSZ") + 1];
+       char *p;
+       int rc;
+
+       assert( in != NULL );
+       assert( out != NULL );
+
+       Debug( LDAP_DEBUG_TRACE, ">>> issuerAndThisUpdateNormalize: <%s>\n",
+               in->bv_val, 0, 0 );
+
+       rc = issuerAndThisUpdateCheck( in, &i, &tu, ctx );
+       if ( rc ) {
+               return rc;
+       }
+
+       rc = dnNormalize( usage, syntax, mr, &i, &ni, ctx );
+
+       if ( in->bv_val[0] == '{' && in->bv_val[in->bv_len-1] == '}' ) {
+               slap_sl_free( i.bv_val, ctx );
+       }
+
+       tu2.bv_val = sbuf;
+       tu2.bv_len = sizeof( sbuf );
+       if ( rc || checkTime( &tu, &tu2 ) ) {
+               return LDAP_INVALID_SYNTAX;
+       }
+
+       out->bv_len = STRLENOF( "{ issuer rdnSequence:\"\", thisUpdate \"\" }" )
+               + ni.bv_len + tu2.bv_len;
+       out->bv_val = slap_sl_malloc( out->bv_len + 1, ctx );
+
+       if ( out->bv_val == NULL ) {
+               out->bv_len = 0;
+               rc = LDAP_OTHER;
+               goto func_leave;
+       }
+
+       p = out->bv_val;
+
+       p = lutil_strcopy( p, "{ issuer rdnSequence:\"" /*}*/ );
+       p = lutil_strbvcopy( p, &ni );
+       p = lutil_strcopy( p, "\", thisUpdate \"" );
+       p = lutil_strbvcopy( p, &tu2 );
+       p = lutil_strcopy( p, /*{*/ "\" }" );
+
+       assert( p == &out->bv_val[out->bv_len] );
+
+func_leave:
+       Debug( LDAP_DEBUG_TRACE, "<<< issuerAndThisUpdateNormalize: <%s> => <%s>\n",
+               in->bv_val, rc == LDAP_SUCCESS ? out->bv_val : "(err)", 0 );
+
+       slap_sl_free( ni.bv_val, ctx );
+
+       return rc;
+}
+
+static int
+certificateListExactNormalize(
+       slap_mask_t usage,
+       Syntax *syntax,
+       MatchingRule *mr,
+       struct berval *val,
+       struct berval *normalized,
+       void *ctx )
+{
+       BerElementBuffer berbuf;
+       BerElement *ber = (BerElement *)&berbuf;
+       ber_tag_t tag;
+       ber_len_t len;
+       ber_int_t version;
+       struct berval issuer_dn = BER_BVNULL, bvdn,
+               thisUpdate, bvtu;
+       char *p, tubuf[STRLENOF("YYYYmmddHHMMSSZ") + 1];
+       int rc = LDAP_INVALID_SYNTAX;
+
+       assert( val != NULL );
+
+       Debug( LDAP_DEBUG_TRACE, ">>> certificateListExactNormalize: <%p, %lu>\n",
+               val->bv_val, val->bv_len, 0 );
+
+       if ( BER_BVISEMPTY( val ) ) goto done;
+
+       if ( SLAP_MR_IS_VALUE_OF_ASSERTION_SYNTAX(usage) ) {
+               return issuerAndThisUpdateNormalize( 0, NULL, NULL, val, normalized, ctx );
+       }
+
+       assert( SLAP_MR_IS_VALUE_OF_ATTRIBUTE_SYNTAX(usage) != 0 );
+
+       ber_init2( ber, val, LBER_USE_DER );
+       tag = ber_skip_tag( ber, &len );        /* Signed wrapper */
+       if ( tag != LBER_SEQUENCE ) return LDAP_INVALID_SYNTAX;
+       tag = ber_skip_tag( ber, &len );        /* Sequence */
+       if ( tag != LBER_SEQUENCE ) return LDAP_INVALID_SYNTAX;
+       tag = ber_peek_tag( ber, &len );
+       /* Optional version */
+       if ( tag == LBER_INTEGER ) {
+               tag = ber_get_int( ber, &version );
+               assert( tag == LBER_INTEGER );
+               if ( version != SLAP_X509_V2 ) return LDAP_INVALID_SYNTAX;
+       }
+       tag = ber_skip_tag( ber, &len );        /* Signature Algorithm */
+       if ( tag != LBER_SEQUENCE ) return LDAP_INVALID_SYNTAX;
+       ber_skip_data( ber, len );
+
+       tag = ber_peek_tag( ber, &len );        /* IssuerDN */
+       if ( tag != LBER_SEQUENCE ) return LDAP_INVALID_SYNTAX;
+       len = ber_ptrlen( ber );
+       bvdn.bv_val = val->bv_val + len;
+       bvdn.bv_len = val->bv_len - len;
+       tag = ber_skip_tag( ber, &len );
+       ber_skip_data( ber, len );
+
+       tag = ber_skip_tag( ber, &len );        /* thisUpdate */
+       /* Time is a CHOICE { UTCTime, GeneralizedTime } */
+       if ( tag != SLAP_TAG_UTCTIME && tag != SLAP_TAG_GENERALIZEDTIME ) return LDAP_INVALID_SYNTAX;
+       bvtu.bv_val = (char *)ber->ber_ptr;
+       bvtu.bv_len = len;
+
+       rc = dnX509normalize( &bvdn, &issuer_dn );
+       if ( rc != LDAP_SUCCESS ) goto done;
+
+       thisUpdate.bv_val = tubuf;
+       thisUpdate.bv_len = sizeof(tubuf);
+       if ( checkTime( &bvtu, &thisUpdate ) ) {
+               rc = LDAP_INVALID_SYNTAX;
+               goto done;
+       }
+
+       normalized->bv_len = STRLENOF( "{ issuer rdnSequence:\"\", thisUpdate \"\" }" )
+               + issuer_dn.bv_len + thisUpdate.bv_len;
+       normalized->bv_val = ch_malloc( normalized->bv_len + 1 );
+
+       p = normalized->bv_val;
+
+       p = lutil_strcopy( p, "{ issuer rdnSequence:\"" );
+       p = lutil_strbvcopy( p, &issuer_dn );
+       p = lutil_strcopy( p, "\", thisUpdate \"" );
+       p = lutil_strbvcopy( p, &thisUpdate );
+       p = lutil_strcopy( p, /*{*/ "\" }" );
+
+       rc = LDAP_SUCCESS;
+
+done:
+       Debug( LDAP_DEBUG_TRACE, "<<< certificateListExactNormalize: <%p, %lu> => <%s>\n",
+               val->bv_val, val->bv_len, rc == LDAP_SUCCESS ? normalized->bv_val : "(err)" );
+
+       if ( issuer_dn.bv_val ) ber_memfree( issuer_dn.bv_val );
+
+       return rc;
+}
+
+/* X.509 PMI serialNumberAndIssuerSerialCheck
+
+AttributeCertificateExactAssertion     ::= SEQUENCE {
+   serialNumber              CertificateSerialNumber,
+   issuer                    AttCertIssuer }
+
+CertificateSerialNumber ::= INTEGER
+
+AttCertIssuer ::=    [0] SEQUENCE {
+issuerName                     GeneralNames OPTIONAL,
+baseCertificateID         [0] IssuerSerial OPTIONAL,
+objectDigestInfo          [1] ObjectDigestInfo OPTIONAL }
+-- At least one component shall be present
+
+GeneralNames ::= SEQUENCE SIZE (1..MAX) OF GeneralName
+
+GeneralName ::= CHOICE {
+  otherName                 [0] INSTANCE OF OTHER-NAME,
+  rfc822Name                [1] IA5String,
+  dNSName                   [2] IA5String,
+  x400Address               [3] ORAddress,
+  directoryName             [4] Name,
+  ediPartyName              [5] EDIPartyName,
+  uniformResourceIdentifier [6] IA5String,
+  iPAddress                 [7] OCTET STRING,
+  registeredID              [8] OBJECT IDENTIFIER }
+
+IssuerSerial ::= SEQUENCE {
+   issuer       GeneralNames,
+   serial       CertificateSerialNumber,
+   issuerUID UniqueIdentifier OPTIONAL }
+
+ObjectDigestInfo ::= SEQUENCE {
+   digestedObjectType ENUMERATED {
+      publicKey           (0),
+      publicKeyCert       (1),
+      otherObjectTypes    (2) },
+   otherObjectTypeID      OBJECT IDENTIFIER OPTIONAL,
+   digestAlgorithm        AlgorithmIdentifier,
+   objectDigest           BIT STRING }
+
+ * The way I interpret it, an assertion should look like
+
+ { serialNumber 'dd'H,
+   issuer { issuerName { directoryName:rdnSequence:"cn=yyy" }, -- optional
+            baseCertificateID { serial '1d'H,
+                                issuer { directoryName:rdnSequence:"cn=zzz" },
+                                issuerUID <value>              -- optional
+                              },                               -- optional
+            objectDigestInfo { ... }                           -- optional
+          }
+ }
+ * with issuerName, baseCertificateID and objectDigestInfo optional,
+ * at least one present; the way it's currently implemented, it is
+
+ { serialNumber 'dd'H,
+   issuer { baseCertificateID { serial '1d'H,
+                                issuer { directoryName:rdnSequence:"cn=zzz" }
+                              }
+          }
+ }
+
+ * with all the above parts mandatory.
+ */
+static int
+serialNumberAndIssuerSerialCheck(
+       struct berval *in,
+       struct berval *sn,
+       struct berval *is,
+       struct berval *i_sn,    /* contain serial of baseCertificateID */
+       void *ctx )
+{
+       /* Parse GSER format */ 
+       enum {
+               HAVE_NONE = 0x0,
+               HAVE_SN = 0x1,
+               HAVE_ISSUER = 0x2,
+               HAVE_ALL = ( HAVE_SN | HAVE_ISSUER )
+       } have = HAVE_NONE, have2 = HAVE_NONE;
+       int numdquotes = 0;
+       struct berval x = *in;
+       struct berval ni;
+
+       if ( in->bv_len < 3 ) return LDAP_INVALID_SYNTAX;
+
+       /* no old format */
+       if ( in->bv_val[0] != '{' && in->bv_val[in->bv_len-1] != '}' ) return LDAP_INVALID_SYNTAX;
+
+       x.bv_val++;
+       x.bv_len -= 2;
+
+       do {
+
+               /* eat leading spaces */
+               for ( ; (x.bv_val[0] == ' ') && x.bv_len; x.bv_val++, x.bv_len-- ) {
                        /* empty */;
                }
 
-               /* should be at remaining NamedValue */
-               if( !haveissuer && (strncasecmp( x.bv_val, "issuer",
-                       STRLENOF("issuer" )) == 0 ))
-               {
-                       /* parse issuer */
+               /* should be at issuer or serialNumber NamedValue */
+               if ( strncasecmp( x.bv_val, "issuer", STRLENOF("issuer") ) == 0 ) {
+                       if ( have & HAVE_ISSUER ) {
+                               return LDAP_INVALID_SYNTAX;
+                       }
+
+                       /* parse IssuerSerial */
                        x.bv_val += STRLENOF("issuer");
                        x.bv_len -= STRLENOF("issuer");
 
-                       if( x.bv_val[0] != ' ' ) return LDAP_INVALID_SYNTAX;
-                       x.bv_val++; x.bv_len--;
+                       if ( x.bv_val[0] != ' ' ) return LDAP_INVALID_SYNTAX;
+                       x.bv_val++;
+                       x.bv_len--;
 
                        /* eat leading spaces */
-                       for( ; (x.bv_val[0] == ' ') && x.bv_len; x.bv_val++, x.bv_len--) {
-                                /* empty */;
+                       for ( ; (x.bv_val[0] == ' ') && x.bv_len; x.bv_val++, x.bv_len-- ) {
+                               /* empty */;
                        }
 
-                       /* For backward compatibility, this part is optional */
-                       if( !strncasecmp( x.bv_val, "rdnSequence:", STRLENOF("rdnSequence:"))) {
-                               x.bv_val += STRLENOF("rdnSequence:");
-                               x.bv_len -= STRLENOF("rdnSequence:");
+                       if ( x.bv_val[0] != '{' /*}*/ ) return LDAP_INVALID_SYNTAX;
+                       x.bv_val++;
+                       x.bv_len--;
+
+                       /* eat leading spaces */
+                       for ( ; (x.bv_val[0] == ' ') && x.bv_len; x.bv_val++, x.bv_len-- ) {
+                               /* empty */;
                        }
 
-                       if( x.bv_val[0] != '"' ) return LDAP_INVALID_SYNTAX;
-                       x.bv_val++; x.bv_len--;
+                       if ( strncasecmp( x.bv_val, "baseCertificateID ", STRLENOF("baseCertificateID ") ) != 0 ) {
+                               return LDAP_INVALID_SYNTAX;
+                       }
+                       x.bv_val += STRLENOF("baseCertificateID ");
+                       x.bv_len -= STRLENOF("baseCertificateID ");
 
-                       is->bv_val = x.bv_val;
-                       is->bv_len = 0;
+                       /* eat leading spaces */
+                       for ( ; (x.bv_val[0] == ' ') && x.bv_len; x.bv_val++, x.bv_len-- ) {
+                               /* empty */;
+                       }
 
-                       for( ; is->bv_len < x.bv_len; ) {
-                               if ( is->bv_val[is->bv_len] != '"' ) {
-                                       is->bv_len++;
-                                       continue;
+                       if ( x.bv_val[0] != '{' /*}*/ ) return LDAP_INVALID_SYNTAX;
+                       x.bv_val++;
+                       x.bv_len--;
+
+                       do {
+                               /* eat leading spaces */
+                               for ( ; (x.bv_val[0] == ' ') && x.bv_len; x.bv_val++, x.bv_len-- ) {
+                                       /* empty */;
                                }
-                               if ( is->bv_val[is->bv_len+1] == '"' ) {
-                                       /* double dquote */
-                                       is->bv_len+=2;
-                                       continue;
+
+                               /* parse issuer of baseCertificateID */
+                               if ( strncasecmp( x.bv_val, "issuer ", STRLENOF("issuer ") ) == 0 ) {
+                                       if ( have2 & HAVE_ISSUER ) {
+                                               return LDAP_INVALID_SYNTAX;
+                                       }
+
+                                       x.bv_val += STRLENOF("issuer ");
+                                       x.bv_len -= STRLENOF("issuer ");
+
+                                       /* eat leading spaces */
+                                       for ( ; (x.bv_val[0] == ' ') && x.bv_len; x.bv_val++, x.bv_len-- ) {
+                                               /* empty */;
+                                       }
+
+                                       if ( x.bv_val[0] != '{' /*}*/ ) return LDAP_INVALID_SYNTAX;
+                                       x.bv_val++;
+                                       x.bv_len--;
+
+                                       /* eat leading spaces */
+                                       for ( ; (x.bv_val[0] == ' ') && x.bv_len; x.bv_val++, x.bv_len-- ) {
+                                               /* empty */;
+                                       }
+
+                                       if ( strncasecmp( x.bv_val, "directoryName:rdnSequence:", STRLENOF("directoryName:rdnSequence:") ) != 0 ) {
+                                               return LDAP_INVALID_SYNTAX;
+                                       }
+                                       x.bv_val += STRLENOF("directoryName:rdnSequence:");
+                                       x.bv_len -= STRLENOF("directoryName:rdnSequence:");
+
+                                       if ( x.bv_val[0] != '"' ) return LDAP_INVALID_SYNTAX;
+                                       x.bv_val++;
+                                       x.bv_len--;
+
+                                       is->bv_val = x.bv_val;
+                                       is->bv_len = 0;
+
+                                       for ( ; is->bv_len < x.bv_len; ) {
+                                               if ( is->bv_val[is->bv_len] != '"' ) {
+                                                       is->bv_len++;
+                                                       continue;
+                                               }
+                                               if ( is->bv_val[is->bv_len + 1] == '"' ) {
+                                                       /* double dquote */
+                                                       is->bv_len += 2;
+                                                       continue;
+                                               }
+                                               break;
+                                       }
+                                       x.bv_val += is->bv_len + 1;
+                                       x.bv_len -= is->bv_len + 1;
+
+                                       /* eat leading spaces */
+                                       for ( ; (x.bv_val[0] == ' ') && x.bv_len; x.bv_val++, x.bv_len-- ) {
+                                               /* empty */;
+                                       }
+
+                                       if ( x.bv_val[0] != /*{*/ '}' ) return LDAP_INVALID_SYNTAX;
+                                       x.bv_val++;
+                                       x.bv_len--;
+
+                                       have2 |= HAVE_ISSUER;
+
+                               } else if ( strncasecmp( x.bv_val, "serial ", STRLENOF("serial ") ) == 0 ) {
+                                       if ( have2 & HAVE_SN ) {
+                                               return LDAP_INVALID_SYNTAX;
+                                       }
+
+                                       x.bv_val += STRLENOF("serial ");
+                                       x.bv_len -= STRLENOF("serial ");
+
+                                       /* eat leading spaces */
+                                       for ( ; (x.bv_val[0] == ' ') && x.bv_len; x.bv_val++, x.bv_len--) {
+                                               /* empty */;
+                                       }
+
+                                       if ( checkNum( &x, i_sn ) ) {
+                                               return LDAP_INVALID_SYNTAX;
+                                       }
+
+                                       x.bv_val += i_sn->bv_len;
+                                       x.bv_len -= i_sn->bv_len;
+
+                                       have2 |= HAVE_SN;
+
+                               } else {
+                                       return LDAP_INVALID_SYNTAX;
                                }
-                               break;
+
+                               /* eat leading spaces */
+                               for ( ; (x.bv_val[0] == ' ') && x.bv_len; x.bv_val++, x.bv_len-- ) {
+                                       /* empty */;
+                               }
+
+                               if ( have2 == HAVE_ALL ) {
+                                       break;
+                               }
+
+                               if ( x.bv_val[0] != ',' ) return LDAP_INVALID_SYNTAX;
+                               x.bv_val++;
+                               x.bv_len--;
+                       } while ( 1 );
+
+                       if ( x.bv_val[0] != /*{*/ '}' ) return LDAP_INVALID_SYNTAX;
+                       x.bv_val++;
+                       x.bv_len--;
+
+                       /* eat leading spaces */
+                       for ( ; (x.bv_val[0] == ' ') && x.bv_len; x.bv_val++, x.bv_len-- ) {
+                               /* empty */;
+                       }
+
+                       if ( x.bv_val[0] != /*{*/ '}' ) return LDAP_INVALID_SYNTAX;
+                       x.bv_val++;
+                       x.bv_len--;
+
+                       have |= HAVE_ISSUER;
+
+               } else if ( strncasecmp( x.bv_val, "serialNumber", STRLENOF("serialNumber") ) == 0 ) {
+                       if ( have & HAVE_SN ) {
+                               return LDAP_INVALID_SYNTAX;
                        }
-                       x.bv_val += is->bv_len+1;
-                       x.bv_len -= is->bv_len+1;
 
-               } else if( !havesn && (strncasecmp( x.bv_val, "serialNumber",
-                       STRLENOF("serialNumber")) == 0 ))
-               {
                        /* parse serialNumber */
-                       int neg=0;
                        x.bv_val += STRLENOF("serialNumber");
                        x.bv_len -= STRLENOF("serialNumber");
 
-                       if( x.bv_val[0] != ' ' ) return LDAP_INVALID_SYNTAX;
-                       x.bv_val++; x.bv_len--;
+                       if ( x.bv_val[0] != ' ' ) return LDAP_INVALID_SYNTAX;
+                       x.bv_val++;
+                       x.bv_len--;
 
                        /* eat leading spaces */
-                       for( ; (x.bv_val[0] == ' ') && x.bv_len ; x.bv_val++, x.bv_len--) {
+                       for ( ; (x.bv_val[0] == ' ') && x.bv_len; x.bv_val++, x.bv_len-- ) {
                                /* empty */;
                        }
                        
-                       sn->bv_val = x.bv_val;
-                       sn->bv_len = 0;
-
-                       if( sn->bv_val[0] == '-' ) {
-                               neg++;
-                               sn->bv_len++;
-                       }
-
-                       if ( sn->bv_val[0] == '0' && ( sn->bv_val[1] == 'x' ||
-                               sn->bv_val[1] == 'X' )) {
-                               is_hex = 1;
-                               for( ; sn->bv_len < x.bv_len; sn->bv_len++ ) {
-                                       if ( !ASCII_HEX( sn->bv_val[sn->bv_len] )) break;
-                               }
-                       } else if ( sn->bv_val[0] == '\'' ) {
-                               for( ; sn->bv_len < x.bv_len; sn->bv_len++ ) {
-                                       if ( !ASCII_HEX( sn->bv_val[sn->bv_len] )) break;
-                               }
-                               if ( sn->bv_val[sn->bv_len] == '\'' &&
-                                       sn->bv_val[sn->bv_len+1] == 'H' )
-                                       is_hex = 1;
-                               else
-                                       return LDAP_INVALID_SYNTAX;
-                               sn->bv_len += 2;
-                       } else {
-                               for( ; sn->bv_len < x.bv_len; sn->bv_len++ ) {
-                                       if ( !ASCII_DIGIT( sn->bv_val[sn->bv_len] )) break;
-                               }
-                       }
-
-                       if (!( sn->bv_len > neg )) return LDAP_INVALID_SYNTAX;
-                       if (( sn->bv_len > 1+neg ) && ( sn->bv_val[neg] == '0' )) {
+                       if ( checkNum( &x, sn ) ) {
                                return LDAP_INVALID_SYNTAX;
                        }
 
                        x.bv_val += sn->bv_len;
                        x.bv_len -= sn->bv_len;
 
-               } else return LDAP_INVALID_SYNTAX;
+                       have |= HAVE_SN;
+
+               } else {
+                       return LDAP_INVALID_SYNTAX;
+               }
 
-               /* eat trailing spaces */
-               for( ; (x.bv_val[0] == ' ') && x.bv_len; x.bv_val++, x.bv_len--) {
+               /* eat spaces */
+               for ( ; (x.bv_val[0] == ' ') && x.bv_len; x.bv_val++, x.bv_len-- ) {
                        /* empty */;
                }
 
-               /* should have no characters left... */
-               if( x.bv_len ) return LDAP_INVALID_SYNTAX;
+               if ( have == HAVE_ALL ) {
+                       break;
+               }
+
+               if ( x.bv_val[0] != ',' ) {
+                       return LDAP_INVALID_SYNTAX;
+               }
+               x.bv_val++ ;
+               x.bv_len--;
+       } while ( 1 );
+
+       /* should have no characters left... */
+       if( x.bv_len ) return LDAP_INVALID_SYNTAX;
 
+       if ( numdquotes == 0 ) {
                ber_dupbv_x( &ni, is, ctx );
-               *is = ni;
 
-               /* need to handle double dquotes here */
+       } else {
+               ber_len_t src, dst;
+
+               ni.bv_len = is->bv_len - numdquotes;
+               ni.bv_val = ber_memalloc_x( ni.bv_len + 1, ctx );
+               for ( src = 0, dst = 0; src < is->bv_len; src++, dst++ ) {
+                       if ( is->bv_val[src] == '"' ) {
+                               src++;
+                       }
+                       ni.bv_val[dst] = is->bv_val[src];
+               }
+               ni.bv_val[dst] = '\0';
        }
+
+       *is = ni;
+
+       /* need to handle double dquotes here */
        return 0;
 }
-       
+
+/* X.509 PMI serialNumberAndIssuerSerialValidate */
 static int
-serialNumberAndIssuerValidate(
+serialNumberAndIssuerSerialValidate(
        Syntax *syntax,
        struct berval *in )
 {
        int rc;
-       struct berval sn, i;
+       struct berval sn, i, i_sn;
 
-       Debug( LDAP_DEBUG_TRACE, ">>> serialNumberAndIssuerValidate: <%s>\n",
+       Debug( LDAP_DEBUG_TRACE, ">>> serialNumberAndIssuerSerialValidate: <%s>\n",
                in->bv_val, 0, 0 );
 
-       rc = serialNumberAndIssuerCheck( in, &sn, &i, NULL );
-       if ( rc )
-               return rc;
+       rc = serialNumberAndIssuerSerialCheck( in, &sn, &i, &i_sn, NULL );
+       if ( rc ) {
+               goto done;
+       }
 
        /* validate DN -- doesn't handle double dquote */ 
        rc = dnValidate( NULL, &i );
-       if( rc )
+       if ( rc ) {
                rc = LDAP_INVALID_SYNTAX;
+       }
 
-       if( in->bv_val[0] == '{' && in->bv_val[in->bv_len-1] == '}' ) {
+       if ( in->bv_val[0] == '{' && in->bv_val[in->bv_len-1] == '}' ) {
                slap_sl_free( i.bv_val, NULL );
        }
 
-       Debug( LDAP_DEBUG_TRACE, "<<< serialNumberAndIssuerValidate: OKAY\n",
-               0, 0, 0 );
+done:;
+       Debug( LDAP_DEBUG_TRACE, "<<< serialNumberAndIssuerSerialValidate: <%s> err=%d\n",
+               in->bv_val, rc, 0 );
+
        return rc;
 }
 
-int
-serialNumberAndIssuerPretty(
+/* X.509 PMI serialNumberAndIssuerSerialPretty */
+static int
+serialNumberAndIssuerSerialPretty(
        Syntax *syntax,
        struct berval *in,
        struct berval *out,
        void *ctx )
 {
-       int n, rc;
-       struct berval sn, i, ni;
+       struct berval sn, i, i_sn, ni = BER_BVNULL;
+       char *p;
+       int rc;
 
        assert( in != NULL );
        assert( out != NULL );
 
-       Debug( LDAP_DEBUG_TRACE, ">>> serialNumberAndIssuerPretty: <%s>\n",
+       Debug( LDAP_DEBUG_TRACE, ">>> serialNumberAndIssuerSerialPretty: <%s>\n",
                in->bv_val, 0, 0 );
 
-       rc = serialNumberAndIssuerCheck( in, &sn, &i, ctx );
-       if ( rc )
-               return rc;
+       rc = serialNumberAndIssuerSerialCheck( in, &sn, &i, &i_sn, ctx );
+       if ( rc ) {
+               goto done;
+       }
 
        rc = dnPretty( syntax, &i, &ni, ctx );
 
-       if( in->bv_val[0] == '{' && in->bv_val[in->bv_len-1] == '}' ) {
+       if ( in->bv_val[0] == '{' && in->bv_val[in->bv_len-1] == '}' ) {
                slap_sl_free( i.bv_val, ctx );
        }
 
-       if( rc ) return LDAP_INVALID_SYNTAX;
+       if ( rc ) {
+               rc = LDAP_INVALID_SYNTAX;
+               goto done;
+       }
 
        /* make room from sn + "$" */
-       out->bv_len = STRLENOF("{ serialNumber , issuer rdnSequence:\"\" }")
-               + sn.bv_len + ni.bv_len;
+       out->bv_len = STRLENOF("{ serialNumber , issuer { baseCertificateID { issuer { directoryName:rdnSequence:\"\" }, serial  } } }")
+               + sn.bv_len + ni.bv_len + i_sn.bv_len;
        out->bv_val = slap_sl_malloc( out->bv_len + 1, ctx );
 
-       if( out->bv_val == NULL ) {
+       if ( out->bv_val == NULL ) {
                out->bv_len = 0;
-               slap_sl_free( ni.bv_val, ctx );
-               return LDAP_OTHER;
+               rc = LDAP_OTHER;
+               goto done;
        }
 
-       n = 0;
-       AC_MEMCPY( &out->bv_val[n], "{ serialNumber ",
-               STRLENOF("{ serialNumber "));
-       n = STRLENOF("{ serialNumber ");
-
-       AC_MEMCPY( &out->bv_val[n], sn.bv_val, sn.bv_len );
-       n += sn.bv_len;
-
-       AC_MEMCPY( &out->bv_val[n], ", issuer rdnSequence:\"", STRLENOF(", issuer rdnSequence:\""));
-       n += STRLENOF(", issuer rdnSequence:\"");
+       p = out->bv_val;
+       p = lutil_strcopy( p, "{ serialNumber " );
+       p = lutil_strbvcopy( p, &sn );
+       p = lutil_strcopy( p, ", issuer { baseCertificateID { issuer { directoryName:rdnSequence:\"" );
+       p = lutil_strbvcopy( p, &ni );
+       p = lutil_strcopy( p, "\" }, serial " );
+       p = lutil_strbvcopy( p, &i_sn );
+       p = lutil_strcopy( p, " } } }" );
 
-       AC_MEMCPY( &out->bv_val[n], ni.bv_val, ni.bv_len );
-       n += ni.bv_len;
+       assert( p == &out->bv_val[out->bv_len] );
 
-       AC_MEMCPY( &out->bv_val[n], "\" }", STRLENOF("\" }"));
-       n += STRLENOF("\" }");
-
-       out->bv_val[n] = '\0';
-
-       assert( n == out->bv_len );
-
-       Debug( LDAP_DEBUG_TRACE, "<<< serialNumberAndIssuerPretty: <%s>\n",
-               out->bv_val, 0, 0 );
+done:;
+       Debug( LDAP_DEBUG_TRACE, "<<< serialNumberAndIssuerSerialPretty: <%s> => <%s>\n",
+               in->bv_val, rc == LDAP_SUCCESS ? out->bv_val : "(err)", 0 );
 
        slap_sl_free( ni.bv_val, ctx );
 
-       return LDAP_SUCCESS
+       return rc
 }
 
+/* X.509 PMI serialNumberAndIssuerSerialNormalize */
 /*
- * This routine is called by certificateExactNormalize when
- * certificateExactNormalize receives a search string instead of
- * a certificate. This routine checks if the search value is valid
- * and then returns the normalized value
+ * This routine is called by attributeCertificateExactNormalize
+ * when attributeCertificateExactNormalize receives a search 
+ * string instead of a attribute certificate. This routine 
+ * checks if the search value is valid and then returns the 
+ * normalized value
  */
 static int
-serialNumberAndIssuerNormalize(
+serialNumberAndIssuerSerialNormalize(
        slap_mask_t usage,
        Syntax *syntax,
        MatchingRule *mr,
@@ -3112,97 +4641,122 @@ serialNumberAndIssuerNormalize(
        struct berval *out,
        void *ctx )
 {
-       struct berval sn, sn2, i, ni;
-       char sbuf[64], *stmp = sbuf;
+       struct berval i, ni = BER_BVNULL,
+               sn, sn2 = BER_BVNULL, sn3 = BER_BVNULL,
+               i_sn, i_sn2 = BER_BVNULL, i_sn3 = BER_BVNULL;
+       char sbuf2[SLAP_SN_BUFLEN], i_sbuf2[SLAP_SN_BUFLEN],
+               sbuf3[SLAP_SN_BUFLEN], i_sbuf3[SLAP_SN_BUFLEN];
+       char *p;
        int rc;
-       ber_len_t n;
 
        assert( in != NULL );
        assert( out != NULL );
 
-       Debug( LDAP_DEBUG_TRACE, ">>> serialNumberAndIssuerNormalize: <%s>\n",
+       Debug( LDAP_DEBUG_TRACE, ">>> serialNumberAndIssuerSerialNormalize: <%s>\n",
                in->bv_val, 0, 0 );
 
-       rc = serialNumberAndIssuerCheck( in, &sn, &i, ctx );
-       if ( rc )
-               return rc;
+       rc = serialNumberAndIssuerSerialCheck( in, &sn, &i, &i_sn, ctx );
+       if ( rc ) {
+               goto func_leave;
+       }
 
        rc = dnNormalize( usage, syntax, mr, &i, &ni, ctx );
 
-       if( in->bv_val[0] == '{' && in->bv_val[in->bv_len-1] == '}' ) {
+       if ( in->bv_val[0] == '{' && in->bv_val[in->bv_len-1] == '}' ) {
                slap_sl_free( i.bv_val, ctx );
        }
 
-       if( rc ) return LDAP_INVALID_SYNTAX;
+       if ( rc ) {
+               rc = LDAP_INVALID_SYNTAX;
+               goto func_leave;
+       }
 
        /* Convert sn to canonical hex */
-       if ( sn.bv_len > sizeof( sbuf )) {
-               stmp = slap_sl_malloc( sn.bv_len, ctx );
-       }
-       sn2.bv_val = stmp;
+       sn2.bv_val = sbuf2;
        sn2.bv_len = sn.bv_len;
-       if ( lutil_str2bin( &sn, &sn2 )) {
+       if ( sn.bv_len > sizeof( sbuf2 ) ) {
+               sn2.bv_val = slap_sl_malloc( sn.bv_len, ctx );
+       }
+       if ( lutil_str2bin( &sn, &sn2, ctx ) ) {
                rc = LDAP_INVALID_SYNTAX;
-               goto leave;
+               goto func_leave;
        }
 
-       /* make room for sn + "$" */
-       out->bv_len = STRLENOF( "{ serialNumber , issuer rdnSequence:\"\" }" )
-               + ( sn2.bv_len * 2 + 3 ) + ni.bv_len;
+        /* Convert i_sn to canonical hex */
+       i_sn2.bv_val = i_sbuf2;
+       i_sn2.bv_len = i_sn.bv_len;
+       if ( i_sn.bv_len > sizeof( i_sbuf2 ) ) {
+               i_sn2.bv_val = slap_sl_malloc( i_sn.bv_len, ctx );
+       }
+       if ( lutil_str2bin( &i_sn, &i_sn2, ctx ) ) {
+               rc = LDAP_INVALID_SYNTAX;
+               goto func_leave;
+       }
+
+       sn3.bv_val = sbuf3;
+       sn3.bv_len = sizeof(sbuf3);
+       if ( slap_bin2hex( &sn2, &sn3, ctx ) ) {
+               rc = LDAP_INVALID_SYNTAX;
+               goto func_leave;
+       }
+
+       i_sn3.bv_val = i_sbuf3;
+       i_sn3.bv_len = sizeof(i_sbuf3);
+       if ( slap_bin2hex( &i_sn2, &i_sn3, ctx ) ) {
+               rc = LDAP_INVALID_SYNTAX;
+               goto func_leave;
+       }
+
+       out->bv_len = STRLENOF("{ serialNumber , issuer { baseCertificateID { issuer { directoryName:rdnSequence:\"\" }, serial  } } }")
+               + sn3.bv_len + ni.bv_len + i_sn3.bv_len;
        out->bv_val = slap_sl_malloc( out->bv_len + 1, ctx );
 
-       if( out->bv_val == NULL ) {
+       if ( out->bv_val == NULL ) {
                out->bv_len = 0;
-               slap_sl_free( ni.bv_val, ctx );
                rc = LDAP_OTHER;
-               goto leave;
+               goto func_leave;
        }
 
-       n = 0;
-       AC_MEMCPY( &out->bv_val[n], "{ serialNumber ",
-               STRLENOF( "{ serialNumber " ));
-       n = STRLENOF( "{ serialNumber " );
+       p = out->bv_val;
 
-       AC_MEMCPY( &out->bv_val[n], sn.bv_val, sn.bv_len );
-       {
-               int j;
-               unsigned char *v = (unsigned char *)sn2.bv_val;
-               out->bv_val[n++] = '\'';
-               for ( j = 0; j < sn2.bv_len; j++ ) {
-                       snprintf( &out->bv_val[n], out->bv_len - n + 1,
-                               "%02X", v[j] );
-                       n += 2;
-               }
-               out->bv_val[n++] = '\'';
-               out->bv_val[n++] = 'H';
-       }
+       p = lutil_strcopy( p, "{ serialNumber " );
+       p = lutil_strbvcopy( p, &sn3 );
+       p = lutil_strcopy( p, ", issuer { baseCertificateID { issuer { directoryName:rdnSequence:\"" );
+       p = lutil_strbvcopy( p, &ni );
+       p = lutil_strcopy( p, "\" }, serial " );
+       p = lutil_strbvcopy( p, &i_sn3 );
+       p = lutil_strcopy( p, " } } }" );
 
-       AC_MEMCPY( &out->bv_val[n], ", issuer rdnSequence:\"", STRLENOF( ", issuer rdnSequence:\"" ));
-       n += STRLENOF( ", issuer rdnSequence:\"" );
+       assert( p == &out->bv_val[out->bv_len] );
 
-       AC_MEMCPY( &out->bv_val[n], ni.bv_val, ni.bv_len );
-       n += ni.bv_len;
+func_leave:
+       Debug( LDAP_DEBUG_TRACE, "<<< serialNumberAndIssuerSerialNormalize: <%s> => <%s>\n",
+               in->bv_val, rc == LDAP_SUCCESS ? out->bv_val : "(err)", 0 );
 
-       AC_MEMCPY( &out->bv_val[n], "\" }", STRLENOF( "\" }" ));
-       n += STRLENOF( "\" }" );
+       if ( sn2.bv_val != sbuf2 ) {
+               slap_sl_free( sn2.bv_val, ctx );
+       }
 
-       out->bv_val[n] = '\0';
+       if ( i_sn2.bv_val != i_sbuf2 ) {
+               slap_sl_free( i_sn2.bv_val, ctx );
+       }
 
-       assert( n == out->bv_len );
+       if ( sn3.bv_val != sbuf3 ) {
+               slap_sl_free( sn3.bv_val, ctx );
+       }
 
-       Debug( LDAP_DEBUG_TRACE, "<<< serialNumberAndIssuerNormalize: <%s>\n",
-               out->bv_val, 0, 0 );
+       if ( i_sn3.bv_val != i_sbuf3 ) {
+               slap_sl_free( i_sn3.bv_val, ctx );
+       }
 
-leave:
-       if ( stmp != sbuf )
-               slap_sl_free( stmp, ctx );
        slap_sl_free( ni.bv_val, ctx );
 
        return rc;
 }
 
+/* X.509 PMI attributeCertificateExactNormalize */
 static int
-certificateExactNormalize(
+attributeCertificateExactNormalize(
        slap_mask_t usage,
        Syntax *syntax,
        MatchingRule *mr,
@@ -3214,17 +4768,18 @@ certificateExactNormalize(
        BerElement *ber = (BerElement *)&berbuf;
        ber_tag_t tag;
        ber_len_t len;
-       ber_int_t i;
-       char serialbuf[64], *serial = serialbuf;
-       ber_len_t seriallen;
+       char issuer_serialbuf[SLAP_SN_BUFLEN], serialbuf[SLAP_SN_BUFLEN];
+       struct berval sn, i_sn, sn2, i_sn2;
        struct berval issuer_dn = BER_BVNULL, bvdn;
-       unsigned char *p;
+       char *p;
        int rc = LDAP_INVALID_SYNTAX;
 
-       if( BER_BVISEMPTY( val ) ) goto done;
+       if ( BER_BVISEMPTY( val ) ) {
+               goto done;
+       }
 
-       if( SLAP_MR_IS_VALUE_OF_ASSERTION_SYNTAX(usage) ) {
-               return serialNumberAndIssuerNormalize(0,NULL,NULL,val,normalized,ctx);
+       if ( SLAP_MR_IS_VALUE_OF_ASSERTION_SYNTAX(usage) ) {
+               return serialNumberAndIssuerSerialNormalize( 0, NULL, NULL, val, normalized, ctx );
        }
 
        assert( SLAP_MR_IS_VALUE_OF_ATTRIBUTE_SYNTAX(usage) != 0 );
@@ -3232,102 +4787,99 @@ certificateExactNormalize(
        ber_init2( ber, val, LBER_USE_DER );
        tag = ber_skip_tag( ber, &len );        /* Signed Sequence */
        tag = ber_skip_tag( ber, &len );        /* Sequence */
-       tag = ber_peek_tag( ber, &len );        /* Optional version? */
-       if ( tag == SLAP_X509_OPT_C_VERSION ) {
-               tag = ber_skip_tag( ber, &len );
-               tag = ber_get_int( ber, &i );   /* version */
-       }
-
-       /* NOTE: move the test here from certificateValidate,
-        * so that we can validate certs with serial longer
-        * than sizeof(ber_int_t) */
-       tag = ber_peek_tag( ber, &len );        /* serial */
-
-       /* Use hex format. '123456789abcdef'H
-        */
-       {
-               unsigned char *ptr;
-               char *sptr;
-               
-               tag = ber_skip_tag( ber, &len );
-               ptr = (unsigned char *)ber->ber_ptr;
-               ber_skip_data( ber, len );
-
-               /* Check for minimal encodings */
-               if ( len > 1 ) {
-                       if ( ptr[0] & 0x80 ) {
-                               if (( ptr[0] == 0xff ) && ( ptr[1] & 0x80 ))
-                                       return LDAP_INVALID_SYNTAX;
-                       } else if ( ptr[0] == 0 ) {
-                               if (!( ptr[1] & 0x80 ))
-                                       return LDAP_INVALID_SYNTAX;
-                       }
-               }
-
-               seriallen = len * 2 + 4;        /* quotes, H, NUL */
-               if ( seriallen > sizeof( serialbuf ))
-                       serial = slap_sl_malloc( seriallen, ctx );
-               sptr = serial;
-               *sptr++ = '\'';
-               for ( i = 0; i<len; i++ ) {
-                       sprintf( sptr, "%02X", ptr[i] );
-                       sptr += 2;
-               }
-               *sptr++ = '\'';
-               *sptr++ = 'H';
-               seriallen--;
-       }
-       tag = ber_skip_tag( ber, &len );        /* SignatureAlg */
+       tag = ber_skip_tag( ber, &len );        /* (Mandatory) version; must be v2(1) */
        ber_skip_data( ber, len );
-       tag = ber_peek_tag( ber, &len );        /* IssuerDN */
+       tag = ber_skip_tag( ber, &len );        /* Holder Sequence */
+       ber_skip_data( ber, len );
+
+       /* Issuer */
+       tag = ber_skip_tag( ber, &len );        /* Sequence */
+                                               /* issuerName (GeneralNames sequence; optional)? */
+       tag = ber_skip_tag( ber, &len );        /* baseCertificateID (sequence; optional)? */
+       tag = ber_skip_tag( ber, &len );        /* GeneralNames (sequence) */
+       tag = ber_skip_tag( ber, &len );        /* directoryName (we only accept this form of GeneralName) */
+       if ( tag != SLAP_X509_GN_DIRECTORYNAME ) { 
+               rc = LDAP_INVALID_SYNTAX; 
+               goto done;
+       }
+       tag = ber_peek_tag( ber, &len );        /* sequence of RDN */
        len = ber_ptrlen( ber );
        bvdn.bv_val = val->bv_val + len;
        bvdn.bv_len = val->bv_len - len;
-
        rc = dnX509normalize( &bvdn, &issuer_dn );
-       if( rc != LDAP_SUCCESS ) goto done;
-
-       normalized->bv_len = STRLENOF( "{ serialNumber , issuer rdnSequence:\"\" }" )
-               + seriallen + issuer_dn.bv_len;
-       normalized->bv_val = ch_malloc(normalized->bv_len+1);
-
-       p = (unsigned char *)normalized->bv_val;
-
-       AC_MEMCPY(p, "{ serialNumber ", STRLENOF( "{ serialNumber " ));
-       p += STRLENOF( "{ serialNumber " );
+       if ( rc != LDAP_SUCCESS ) goto done;
+       
+       tag = ber_skip_tag( ber, &len );        /* sequence of RDN */
+       ber_skip_data( ber, len ); 
+       tag = ber_skip_tag( ber, &len );        /* serial number */
+       if ( tag != LBER_INTEGER ) {
+               rc = LDAP_INVALID_SYNTAX; 
+               goto done;
+       }
+       i_sn.bv_val = (char *)ber->ber_ptr;
+       i_sn.bv_len = len;
+       i_sn2.bv_val = issuer_serialbuf;
+       i_sn2.bv_len = sizeof(issuer_serialbuf);
+       if ( slap_bin2hex( &i_sn, &i_sn2, ctx ) ) {
+               rc = LDAP_INVALID_SYNTAX;
+               goto done;
+       }
+       ber_skip_data( ber, len );
 
-       AC_MEMCPY(p, serial, seriallen);
-       p += seriallen;
+                                               /* issuerUID (bitstring; optional)? */
+                                               /* objectDigestInfo (sequence; optional)? */
 
-       AC_MEMCPY(p, ", issuer rdnSequence:\"", STRLENOF( ", issuer rdnSequence:\"" ));
-       p += STRLENOF( ", issuer rdnSequence:\"" );
+       tag = ber_skip_tag( ber, &len );        /* Signature (sequence) */
+       ber_skip_data( ber, len );
+       tag = ber_skip_tag( ber, &len );        /* serial number */ 
+       if ( tag != LBER_INTEGER ) {
+               rc = LDAP_INVALID_SYNTAX; 
+               goto done;
+       }
+       sn.bv_val = (char *)ber->ber_ptr;
+       sn.bv_len = len;
+       sn2.bv_val = serialbuf;
+       sn2.bv_len = sizeof(serialbuf);
+       if ( slap_bin2hex( &sn, &sn2, ctx ) ) {
+               rc = LDAP_INVALID_SYNTAX;
+               goto done;
+       }
+       ber_skip_data( ber, len );
 
-       AC_MEMCPY(p, issuer_dn.bv_val, issuer_dn.bv_len);
-       p += issuer_dn.bv_len;
+       normalized->bv_len = STRLENOF( "{ serialNumber , issuer { baseCertificateID { issuer { directoryName:rdnSequence:\"\" }, serial  } } }" )
+               + sn2.bv_len + issuer_dn.bv_len + i_sn2.bv_len;
+       normalized->bv_val = ch_malloc( normalized->bv_len + 1 );
 
-       AC_MEMCPY(p, "\" }", STRLENOF( "\" }" ));
-       p += STRLENOF( "\" }" );
+       p = normalized->bv_val;
 
-       *p = '\0';
+       p = lutil_strcopy( p, "{ serialNumber " );
+       p = lutil_strbvcopy( p, &sn2 );
+       p = lutil_strcopy( p, ", issuer { baseCertificateID { issuer { directoryName:rdnSequence:\"" );
+       p = lutil_strbvcopy( p, &issuer_dn );
+       p = lutil_strcopy( p, "\" }, serial " );
+       p = lutil_strbvcopy( p, &i_sn2 );
+       p = lutil_strcopy( p, " } } }" );
 
-       Debug( LDAP_DEBUG_TRACE, "certificateExactNormalize: %s\n",
+       Debug( LDAP_DEBUG_TRACE, "attributeCertificateExactNormalize: %s\n",
                normalized->bv_val, NULL, NULL );
 
        rc = LDAP_SUCCESS;
 
 done:
        if ( issuer_dn.bv_val ) ber_memfree( issuer_dn.bv_val );
-       if ( serial != serialbuf ) ber_memfree_x( serial, ctx );
+       if ( i_sn2.bv_val != issuer_serialbuf ) ber_memfree_x( i_sn2.bv_val, ctx );
+       if ( sn2.bv_val != serialbuf ) ber_memfree_x( sn2.bv_val, ctx );
 
        return rc;
 }
 
+
 static int
 hexValidate(
        Syntax *syntax,
        struct berval *in )
 {
-       int     i;
+       ber_len_t       i;
 
        assert( in != NULL );
        assert( !BER_BVISNULL( in ) );
@@ -3352,7 +4904,7 @@ hexNormalize(
        struct berval *normalized,
        void *ctx )
 {
-       int     i;
+       ber_len_t       i;
 
        assert( val != NULL );
        assert( normalized != NULL );
@@ -3443,7 +4995,7 @@ csnSidNormalize(
        assert( SLAP_MR_IS_VALUE_OF_ATTRIBUTE_SYNTAX(usage) != 0 );
 
        ptr = ber_bvchr( val, '#' );
-       if ( ptr == NULL || ptr - val->bv_val == val->bv_len ) {
+       if ( ptr == NULL || ptr == &val->bv_val[val->bv_len] ) {
                return LDAP_INVALID_SYNTAX;
        }
 
@@ -3451,7 +5003,7 @@ csnSidNormalize(
        bv.bv_len = val->bv_len - ( ptr + 1 - val->bv_val );
 
        ptr = ber_bvchr( &bv, '#' );
-       if ( ptr == NULL || ptr - val->bv_val == val->bv_len ) {
+       if ( ptr == NULL || ptr == &val->bv_val[val->bv_len] ) {
                return LDAP_INVALID_SYNTAX;
        }
 
@@ -3459,7 +5011,7 @@ csnSidNormalize(
        bv.bv_len = val->bv_len - ( ptr + 1 - val->bv_val );
                
        ptr = ber_bvchr( &bv, '#' );
-       if ( ptr == NULL || ptr - val->bv_val == val->bv_len ) {
+       if ( ptr == NULL || ptr == &val->bv_val[val->bv_len] ) {
                return LDAP_INVALID_SYNTAX;
        }
 
@@ -3498,7 +5050,7 @@ csnValidate(
        bv = *in;
 
        ptr = ber_bvchr( &bv, '#' );
-       if ( ptr == NULL || ptr - bv.bv_val == bv.bv_len ) {
+       if ( ptr == NULL || ptr == &bv.bv_val[bv.bv_len] ) {
                return LDAP_INVALID_SYNTAX;
        }
 
@@ -3518,7 +5070,7 @@ csnValidate(
        bv.bv_len = in->bv_len - ( bv.bv_val - in->bv_val );
 
        ptr = ber_bvchr( &bv, '#' );
-       if ( ptr == NULL || ptr - in->bv_val == in->bv_len ) {
+       if ( ptr == NULL || ptr == &in->bv_val[in->bv_len] ) {
                return LDAP_INVALID_SYNTAX;
        }
 
@@ -3536,7 +5088,7 @@ csnValidate(
        bv.bv_len = in->bv_len - ( bv.bv_val - in->bv_val );
 
        ptr = ber_bvchr( &bv, '#' );
-       if ( ptr == NULL || ptr - in->bv_val == in->bv_len ) {
+       if ( ptr == NULL || ptr == &in->bv_val[in->bv_len] ) {
                return LDAP_INVALID_SYNTAX;
        }
 
@@ -3562,6 +5114,114 @@ csnValidate(
        return hexValidate( NULL, &bv );
 }
 
+/* Normalize a CSN in OpenLDAP 2.1 format */
+static int
+csnNormalize21(
+       slap_mask_t usage,
+       Syntax *syntax,
+       MatchingRule *mr,
+       struct berval *val,
+       struct berval *normalized,
+       void *ctx )
+{
+       struct berval   gt, cnt, sid, mod;
+       struct berval   bv;
+       char            buf[ STRLENOF( "YYYYmmddHHMMSS.uuuuuuZ#SSSSSS#SID#ssssss" ) + 1 ];
+       char            *ptr;
+       ber_len_t       i;
+
+       assert( SLAP_MR_IS_VALUE_OF_SYNTAX( usage ) != 0 );
+       assert( !BER_BVISEMPTY( val ) );
+
+       gt = *val;
+
+       ptr = ber_bvchr( &gt, '#' );
+       if ( ptr == NULL || ptr == &gt.bv_val[gt.bv_len] ) {
+               return LDAP_INVALID_SYNTAX;
+       }
+
+       gt.bv_len = ptr - gt.bv_val;
+       if ( gt.bv_len != STRLENOF( "YYYYmmddHH:MM:SSZ" ) ) {
+               return LDAP_INVALID_SYNTAX;
+       }
+
+       if ( gt.bv_val[ 10 ] != ':' || gt.bv_val[ 13 ] != ':' ) {
+               return LDAP_INVALID_SYNTAX;
+       }
+
+       cnt.bv_val = ptr + 1;
+       cnt.bv_len = val->bv_len - ( cnt.bv_val - val->bv_val );
+
+       ptr = ber_bvchr( &cnt, '#' );
+       if ( ptr == NULL || ptr == &val->bv_val[val->bv_len] ) {
+               return LDAP_INVALID_SYNTAX;
+       }
+
+       cnt.bv_len = ptr - cnt.bv_val;
+       if ( cnt.bv_len != STRLENOF( "0x0000" ) ) {
+               return LDAP_INVALID_SYNTAX;
+       }
+
+       if ( strncmp( cnt.bv_val, "0x", STRLENOF( "0x" ) ) != 0 ) {
+               return LDAP_INVALID_SYNTAX;
+       }
+
+       cnt.bv_val += STRLENOF( "0x" );
+       cnt.bv_len -= STRLENOF( "0x" );
+
+       sid.bv_val = ptr + 1;
+       sid.bv_len = val->bv_len - ( sid.bv_val - val->bv_val );
+               
+       ptr = ber_bvchr( &sid, '#' );
+       if ( ptr == NULL || ptr == &val->bv_val[val->bv_len] ) {
+               return LDAP_INVALID_SYNTAX;
+       }
+
+       sid.bv_len = ptr - sid.bv_val;
+       if ( sid.bv_len != STRLENOF( "0" ) ) {
+               return LDAP_INVALID_SYNTAX;
+       }
+
+       mod.bv_val = ptr + 1;
+       mod.bv_len = val->bv_len - ( mod.bv_val - val->bv_val );
+       if ( mod.bv_len != STRLENOF( "0000" ) ) {
+               return LDAP_INVALID_SYNTAX;
+       }
+
+       bv.bv_len = STRLENOF( "YYYYmmddHHMMSS.uuuuuuZ#SSSSSS#SID#ssssss" );
+       bv.bv_val = buf;
+
+       ptr = bv.bv_val;
+       ptr = lutil_strncopy( ptr, gt.bv_val, STRLENOF( "YYYYmmddHH" ) );
+       ptr = lutil_strncopy( ptr, &gt.bv_val[ STRLENOF( "YYYYmmddHH:" ) ],
+               STRLENOF( "MM" ) );
+       ptr = lutil_strncopy( ptr, &gt.bv_val[ STRLENOF( "YYYYmmddHH:MM:" ) ],
+               STRLENOF( "SS" ) );
+       ptr = lutil_strcopy( ptr, ".000000Z#00" );
+       ptr = lutil_strbvcopy( ptr, &cnt );
+       *ptr++ = '#';
+       *ptr++ = '0';
+       *ptr++ = '0';
+       *ptr++ = sid.bv_val[ 0 ];
+       *ptr++ = '#';
+       *ptr++ = '0';
+       *ptr++ = '0';
+       for ( i = 0; i < mod.bv_len; i++ ) {
+               *ptr++ = TOLOWER( mod.bv_val[ i ] );
+       }
+       *ptr = '\0';
+
+       assert( ptr == &bv.bv_val[bv.bv_len] );
+
+       if ( csnValidate( syntax, &bv ) != LDAP_SUCCESS ) {
+               return LDAP_INVALID_SYNTAX;
+       }
+
+       ber_dupbv_x( normalized, &bv, ctx );
+
+       return LDAP_SUCCESS;
+}
+
 /* Normalize a CSN in OpenLDAP 2.3 format */
 static int
 csnNormalize23(
@@ -3573,8 +5233,10 @@ csnNormalize23(
        void *ctx )
 {
        struct berval   gt, cnt, sid, mod;
+       struct berval   bv;
+       char            buf[ STRLENOF( "YYYYmmddHHMMSS.uuuuuuZ#SSSSSS#SID#ssssss" ) + 1 ];
        char            *ptr;
-       int             i;
+       ber_len_t       i;
 
        assert( SLAP_MR_IS_VALUE_OF_SYNTAX( usage ) != 0 );
        assert( !BER_BVISEMPTY( val ) );
@@ -3582,46 +5244,54 @@ csnNormalize23(
        gt = *val;
 
        ptr = ber_bvchr( &gt, '#' );
-       if ( ptr == NULL || ptr - gt.bv_val == gt.bv_len ) {
+       if ( ptr == NULL || ptr == &gt.bv_val[gt.bv_len] ) {
                return LDAP_INVALID_SYNTAX;
        }
 
        gt.bv_len = ptr - gt.bv_val;
-       assert( gt.bv_len == STRLENOF( "YYYYmmddHHMMSSZ" ) );
+       if ( gt.bv_len != STRLENOF( "YYYYmmddHHMMSSZ" ) ) {
+               return LDAP_INVALID_SYNTAX;
+       }
 
        cnt.bv_val = ptr + 1;
        cnt.bv_len = val->bv_len - ( cnt.bv_val - val->bv_val );
 
        ptr = ber_bvchr( &cnt, '#' );
-       if ( ptr == NULL || ptr - val->bv_val == val->bv_len ) {
+       if ( ptr == NULL || ptr == &val->bv_val[val->bv_len] ) {
                return LDAP_INVALID_SYNTAX;
        }
 
        cnt.bv_len = ptr - cnt.bv_val;
-       assert( cnt.bv_len == STRLENOF( "000000" ) );
+       if ( cnt.bv_len != STRLENOF( "000000" ) ) {
+               return LDAP_INVALID_SYNTAX;
+       }
 
        sid.bv_val = ptr + 1;
        sid.bv_len = val->bv_len - ( sid.bv_val - val->bv_val );
                
        ptr = ber_bvchr( &sid, '#' );
-       if ( ptr == NULL || ptr - val->bv_val == val->bv_len ) {
+       if ( ptr == NULL || ptr == &val->bv_val[val->bv_len] ) {
                return LDAP_INVALID_SYNTAX;
        }
 
        sid.bv_len = ptr - sid.bv_val;
-       assert( sid.bv_len == STRLENOF( "00" ) );
+       if ( sid.bv_len != STRLENOF( "00" ) ) {
+               return LDAP_INVALID_SYNTAX;
+       }
 
        mod.bv_val = ptr + 1;
        mod.bv_len = val->bv_len - ( mod.bv_val - val->bv_val );
-       assert( mod.bv_len == STRLENOF( "000000" ) );
+       if ( mod.bv_len != STRLENOF( "000000" ) ) {
+               return LDAP_INVALID_SYNTAX;
+       }
 
-       normalized->bv_len = STRLENOF( "YYYYmmddHHMMSS.uuuuuuZ#SSSSSS#SID#ssssss" );
-       normalized->bv_val = ber_memalloc_x( normalized->bv_len + 1, ctx );
+       bv.bv_len = STRLENOF( "YYYYmmddHHMMSS.uuuuuuZ#SSSSSS#SID#ssssss" );
+       bv.bv_val = buf;
 
-       ptr = normalized->bv_val;
+       ptr = bv.bv_val;
        ptr = lutil_strncopy( ptr, gt.bv_val, gt.bv_len - 1 );
        ptr = lutil_strcopy( ptr, ".000000Z#" );
-       ptr = lutil_strncopy( ptr, cnt.bv_val, cnt.bv_len );
+       ptr = lutil_strbvcopy( ptr, &cnt );
        *ptr++ = '#';
        *ptr++ = '0';
        for ( i = 0; i < sid.bv_len; i++ ) {
@@ -3633,7 +5303,12 @@ csnNormalize23(
        }
        *ptr = '\0';
 
-       assert( ptr - normalized->bv_val == normalized->bv_len );
+       assert( ptr == &bv.bv_val[bv.bv_len] );
+       if ( csnValidate( syntax, &bv ) != LDAP_SUCCESS ) {
+               return LDAP_INVALID_SYNTAX;
+       }
+
+       ber_dupbv_x( normalized, &bv, ctx );
 
        return LDAP_SUCCESS;
 }
@@ -3650,7 +5325,7 @@ csnNormalize(
 {
        struct berval   cnt, sid, mod;
        char            *ptr;
-       int             i;
+       ber_len_t       i;
 
        assert( val != NULL );
        assert( normalized != NULL );
@@ -3667,40 +5342,56 @@ csnNormalize(
                return csnNormalize23( usage, syntax, mr, val, normalized, ctx );
        }
 
-       assert( val->bv_len == STRLENOF( "YYYYmmddHHMMSS.uuuuuuZ#SSSSSS#SID#ssssss" ) );
+       if ( val->bv_len == STRLENOF( "YYYYmmddHH:MM:SSZ#0xSSSS#I#ssss" ) ) {
+               /* Openldap 2.1 */
+
+               return csnNormalize21( usage, syntax, mr, val, normalized, ctx );
+       }
+
+       if ( val->bv_len != STRLENOF( "YYYYmmddHHMMSS.uuuuuuZ#SSSSSS#SID#ssssss" ) ) {
+               return LDAP_INVALID_SYNTAX;
+       }
 
        ptr = ber_bvchr( val, '#' );
-       if ( ptr == NULL || ptr - val->bv_val == val->bv_len ) {
+       if ( ptr == NULL || ptr == &val->bv_val[val->bv_len] ) {
                return LDAP_INVALID_SYNTAX;
        }
 
-       assert( ptr - val->bv_val == STRLENOF( "YYYYmmddHHMMSS.uuuuuuZ" ) );
+       if ( ptr - val->bv_val != STRLENOF( "YYYYmmddHHMMSS.uuuuuuZ" ) ) {
+               return LDAP_INVALID_SYNTAX;
+       }
 
        cnt.bv_val = ptr + 1;
        cnt.bv_len = val->bv_len - ( cnt.bv_val - val->bv_val );
 
        ptr = ber_bvchr( &cnt, '#' );
-       if ( ptr == NULL || ptr - val->bv_val == val->bv_len ) {
+       if ( ptr == NULL || ptr == &val->bv_val[val->bv_len] ) {
                return LDAP_INVALID_SYNTAX;
        }
 
-       assert( ptr - cnt.bv_val == STRLENOF( "000000" ) );
+       if ( ptr - cnt.bv_val != STRLENOF( "000000" ) ) {
+               return LDAP_INVALID_SYNTAX;
+       }
 
        sid.bv_val = ptr + 1;
        sid.bv_len = val->bv_len - ( sid.bv_val - val->bv_val );
                
        ptr = ber_bvchr( &sid, '#' );
-       if ( ptr == NULL || ptr - val->bv_val == val->bv_len ) {
+       if ( ptr == NULL || ptr == &val->bv_val[val->bv_len] ) {
                return LDAP_INVALID_SYNTAX;
        }
 
        sid.bv_len = ptr - sid.bv_val;
-       assert( sid.bv_len == STRLENOF( "000" ) );
+       if ( sid.bv_len != STRLENOF( "000" ) ) {
+               return LDAP_INVALID_SYNTAX;
+       }
 
        mod.bv_val = ptr + 1;
        mod.bv_len = val->bv_len - ( mod.bv_val - val->bv_val );
 
-       assert( mod.bv_len == STRLENOF( "000000" ) );
+       if ( mod.bv_len != STRLENOF( "000000" ) ) {
+               return LDAP_INVALID_SYNTAX;
+       }
 
        ber_dupbv_x( normalized, val, ctx );
 
@@ -4011,11 +5702,15 @@ generalizedTimeOrderingMatch(
                (v_len < av_len ? v_len : av_len) - 1 );
        if ( match == 0 ) match = v_len - av_len;
 
+       /* If used in extensible match filter, match if value < asserted */
+       if ( flags & SLAP_MR_EXT )
+               match = (match >= 0);
+
        *matchp = match;
        return LDAP_SUCCESS;
 }
 
-/* Index generation function */
+/* Index generation function: Ordered index */
 int generalizedTimeIndexer(
        slap_mask_t use,
        slap_mask_t flags,
@@ -4071,7 +5766,7 @@ int generalizedTimeIndexer(
        return LDAP_SUCCESS;
 }
 
-/* Index generation function */
+/* Index generation function: Ordered index */
 int generalizedTimeFilter(
        slap_mask_t use,
        slap_mask_t flags,
@@ -4362,8 +6057,10 @@ firstComponentNormalize(
 
        if( val->bv_len < 3 ) return LDAP_INVALID_SYNTAX;
 
-       if( val->bv_val[0] != '(' /*')'*/ &&
-               val->bv_val[0] != '{' /*'}'*/ )
+       if( ! ( val->bv_val[0] == '(' /*')'*/
+                       && val->bv_val[val->bv_len - 1] == /*'('*/ ')' )
+               && ! ( val->bv_val[0] == '{' /*'}'*/
+                       && val->bv_val[val->bv_len - 1] == /*'('*/ '}' ) )
        {
                return LDAP_INVALID_SYNTAX;
        }
@@ -4378,7 +6075,7 @@ firstComponentNormalize(
 
        /* grab next word */
        comp.bv_val = &val->bv_val[len];
-       len = val->bv_len - len;
+       len = val->bv_len - len - STRLENOF(/*"{"*/ "}");
        for( comp.bv_len = 0;
                !ASCII_SPACE(comp.bv_val[comp.bv_len]) && comp.bv_len < len;
                comp.bv_len++ )
@@ -4403,9 +6100,9 @@ firstComponentNormalize(
 }
 
 static char *country_gen_syn[] = {
-       "1.3.6.1.4.1.1466.115.121.1.15",
-       "1.3.6.1.4.1.1466.115.121.1.26",
-       "1.3.6.1.4.1.1466.115.121.1.44",
+       "1.3.6.1.4.1.1466.115.121.1.15",        /* Directory String */
+       "1.3.6.1.4.1.1466.115.121.1.26",        /* IA5 String */
+       "1.3.6.1.4.1.1466.115.121.1.44",        /* Printable String */
        NULL
 };
 
@@ -4442,13 +6139,17 @@ static slap_syntax_defs_rec syntax_defs[] = {
                X_BINARY X_NOT_H_R ")",
                SLAP_SYNTAX_BINARY|SLAP_SYNTAX_BER,
                NULL, sequenceValidate, NULL},
+       {"( " attributeCertificateSyntaxOID " DESC 'X.509 AttributeCertificate' "
+               X_BINARY X_NOT_H_R ")",
+               SLAP_SYNTAX_BINARY|SLAP_SYNTAX_BER,
+               NULL, attributeCertificateValidate, NULL},
 #if 0  /* need to go __after__ printableString */
        {"( 1.3.6.1.4.1.1466.115.121.1.11 DESC 'Country String' )",
                0, "1.3.6.1.4.1.1466.115.121.1.44",
                countryStringValidate, NULL},
 #endif
        {"( 1.3.6.1.4.1.1466.115.121.1.12 DESC 'Distinguished Name' )",
-               0, NULL, dnValidate, dnPretty},
+               SLAP_SYNTAX_DN, NULL, dnValidate, dnPretty},
        {"( 1.2.36.79672281.1.5.0 DESC 'RDN' )",
                0, NULL, rdnValidate, rdnPretty},
 #ifdef LDAP_COMP_MATCH
@@ -4498,7 +6199,7 @@ static slap_syntax_defs_rec syntax_defs[] = {
        {"( 1.3.6.1.4.1.1466.115.121.1.33 DESC 'MHS OR Address' )",
                0, NULL, NULL, NULL},
        {"( 1.3.6.1.4.1.1466.115.121.1.34 DESC 'Name And Optional UID' )",
-               0, NULL, nameUIDValidate, nameUIDPretty },
+               SLAP_SYNTAX_DN, NULL, nameUIDValidate, nameUIDPretty },
        {"( 1.3.6.1.4.1.1466.115.121.1.35 DESC 'Name Form Description' )",
                0, NULL, NULL, NULL},
        {"( 1.3.6.1.4.1.1466.115.121.1.36 DESC 'Numeric String' )",
@@ -4512,7 +6213,7 @@ static slap_syntax_defs_rec syntax_defs[] = {
        {"( 1.3.6.1.4.1.1466.115.121.1.40 DESC 'Octet String' )",
                0, NULL, blobValidate, NULL},
        {"( 1.3.6.1.4.1.1466.115.121.1.41 DESC 'Postal Address' )",
-               0, NULL, UTF8StringValidate, NULL},
+               0, NULL, postalAddressValidate, NULL},
        {"( 1.3.6.1.4.1.1466.115.121.1.42 DESC 'Protocol Information' )",
                0, NULL, NULL, NULL},
        {"( 1.3.6.1.4.1.1466.115.121.1.43 DESC 'Presentation Address' )",
@@ -4568,11 +6269,19 @@ static slap_syntax_defs_rec syntax_defs[] = {
        {"( 1.3.6.1.1.15.4 DESC 'Certificate Pair Assertion' )",
                SLAP_SYNTAX_HIDE, NULL, NULL, NULL},
        {"( 1.3.6.1.1.15.5 DESC 'Certificate List Exact Assertion' )",
-               SLAP_SYNTAX_HIDE, NULL, NULL, NULL},
+               SLAP_SYNTAX_HIDE, NULL,
+               issuerAndThisUpdateValidate,
+               issuerAndThisUpdatePretty},
        {"( 1.3.6.1.1.15.6 DESC 'Certificate List Assertion' )",
                SLAP_SYNTAX_HIDE, NULL, NULL, NULL},
        {"( 1.3.6.1.1.15.7 DESC 'Algorithm Identifier' )",
                SLAP_SYNTAX_HIDE, NULL, NULL, NULL},
+       {"( " attributeCertificateExactAssertionSyntaxOID " DESC 'AttributeCertificate Exact Assertion' )",
+               SLAP_SYNTAX_HIDE, NULL,
+               serialNumberAndIssuerSerialValidate,
+               serialNumberAndIssuerSerialPretty},
+       {"( " attributeCertificateAssertionSyntaxOID " DESC 'AttributeCertificate Assertion' )",
+               SLAP_SYNTAX_HIDE, NULL, NULL, NULL},
 
 #ifdef SLAPD_AUTHPASSWD
        /* needs updating */
@@ -4608,12 +6317,24 @@ char *certificateExactMatchSyntaxes[] = {
        "1.3.6.1.4.1.1466.115.121.1.8" /* certificate */,
        NULL
 };
+char *certificateListExactMatchSyntaxes[] = {
+       "1.3.6.1.4.1.1466.115.121.1.9" /* certificateList */,
+       NULL
+};
+char *attributeCertificateExactMatchSyntaxes[] = {
+       attributeCertificateSyntaxOID  /* attributeCertificate */,
+       NULL
+};
+
 #ifdef LDAP_COMP_MATCH
 char *componentFilterMatchSyntaxes[] = {
        "1.3.6.1.4.1.1466.115.121.1.8" /* certificate */,
+       "1.3.6.1.4.1.1466.115.121.1.9" /* certificateList */,
+       attributeCertificateSyntaxOID /* attributeCertificate */,
        NULL
 };
 #endif
+
 char *directoryStringSyntaxes[] = {
        "1.3.6.1.4.1.1466.115.121.1.44" /* printableString */,
        NULL
@@ -4645,8 +6366,6 @@ char *objectIdentifierFirstComponentMatchSyntaxes[] = {
  * 2.5.13.33*  keywordMatch
  * 2.5.13.36+  certificatePairExactMatch
  * 2.5.13.37+  certificatePairMatch
- * 2.5.13.38+  certificateListExactMatch
- * 2.5.13.39+  certificateListMatch
  * 2.5.13.40+  algorithmIdentifierMatch
  * 2.5.13.41*  storedPrefixMatch
  * 2.5.13.42   attributeCertificateMatch
@@ -4730,21 +6449,21 @@ static slap_mrule_defs_rec mrule_defs[] = {
 
 #ifdef LDAP_COMP_MATCH
        {"( 1.2.36.79672281.1.13.2 NAME 'componentFilterMatch' "
-               "SYNTAX 1.2.36.79672281.1.5.2 )",
+               "SYNTAX 1.2.36.79672281.1.5.2 )", /* componentFilterMatch assertion */
                SLAP_MR_EXT|SLAP_MR_COMPONENT, componentFilterMatchSyntaxes,
                NULL, NULL , componentFilterMatch,
                octetStringIndexer, octetStringFilter,
                NULL },
 
         {"( 1.2.36.79672281.1.13.6 NAME 'allComponentsMatch' "
-                "SYNTAX 1.2.36.79672281.1.5.3 )",
+                "SYNTAX 1.2.36.79672281.1.5.3 )", /* allComponents */
                 SLAP_MR_EQUALITY|SLAP_MR_EXT|SLAP_MR_COMPONENT, NULL,
                 NULL, NULL , allComponentsMatch,
                 octetStringIndexer, octetStringFilter,
                 NULL },
 
         {"( 1.2.36.79672281.1.13.7 NAME 'directoryComponentsMatch' "
-                "SYNTAX 1.2.36.79672281.1.5.3 )",
+                "SYNTAX 1.2.36.79672281.1.5.3 )", /* allComponents */
                 SLAP_MR_EQUALITY|SLAP_MR_EXT|SLAP_MR_COMPONENT, NULL,
                 NULL, NULL , directoryComponentsMatch,
                 octetStringIndexer, octetStringFilter,
@@ -4760,13 +6479,13 @@ static slap_mrule_defs_rec mrule_defs[] = {
 
        {"( 2.5.13.3 NAME 'caseIgnoreOrderingMatch' "
                "SYNTAX 1.3.6.1.4.1.1466.115.121.1.15 )",
-               SLAP_MR_ORDERING, directoryStringSyntaxes,
+               SLAP_MR_ORDERING | SLAP_MR_EXT, directoryStringSyntaxes,
                NULL, UTF8StringNormalize, octetStringOrderingMatch,
                NULL, NULL,
                "caseIgnoreMatch" },
 
        {"( 2.5.13.4 NAME 'caseIgnoreSubstringsMatch' "
-               "SYNTAX 1.3.6.1.4.1.1466.115.121.1.58 )",
+               "SYNTAX 1.3.6.1.4.1.1466.115.121.1.58 )", /* Substring Assertion */
                SLAP_MR_SUBSTR, directoryStringSyntaxes,
                NULL, UTF8StringNormalize, directoryStringSubstringsMatch,
                octetStringSubstringsIndexer, octetStringSubstringsFilter,
@@ -4781,13 +6500,13 @@ static slap_mrule_defs_rec mrule_defs[] = {
 
        {"( 2.5.13.6 NAME 'caseExactOrderingMatch' "
                "SYNTAX 1.3.6.1.4.1.1466.115.121.1.15 )",
-               SLAP_MR_ORDERING, directoryStringSyntaxes,
+               SLAP_MR_ORDERING | SLAP_MR_EXT, directoryStringSyntaxes,
                NULL, UTF8StringNormalize, octetStringOrderingMatch,
                NULL, NULL,
                "caseExactMatch" },
 
        {"( 2.5.13.7 NAME 'caseExactSubstringsMatch' "
-               "SYNTAX 1.3.6.1.4.1.1466.115.121.1.58 )",
+               "SYNTAX 1.3.6.1.4.1.1466.115.121.1.58 )", /* Substring Assertion */
                SLAP_MR_SUBSTR, directoryStringSyntaxes,
                NULL, UTF8StringNormalize, directoryStringSubstringsMatch,
                octetStringSubstringsIndexer, octetStringSubstringsFilter,
@@ -4802,25 +6521,27 @@ static slap_mrule_defs_rec mrule_defs[] = {
 
        {"( 2.5.13.9 NAME 'numericStringOrderingMatch' "
                "SYNTAX 1.3.6.1.4.1.1466.115.121.1.36 )",
-               SLAP_MR_ORDERING, NULL,
+               SLAP_MR_ORDERING | SLAP_MR_EXT, NULL,
                NULL, numericStringNormalize, octetStringOrderingMatch,
                NULL, NULL,
                "numericStringMatch" },
 
        {"( 2.5.13.10 NAME 'numericStringSubstringsMatch' "
-               "SYNTAX 1.3.6.1.4.1.1466.115.121.1.58 )",
+               "SYNTAX 1.3.6.1.4.1.1466.115.121.1.58 )", /* Substring Assertion */
                SLAP_MR_SUBSTR, NULL,
                NULL, numericStringNormalize, octetStringSubstringsMatch,
                octetStringSubstringsIndexer, octetStringSubstringsFilter,
                "numericStringMatch" },
 
        {"( 2.5.13.11 NAME 'caseIgnoreListMatch' "
-               "SYNTAX 1.3.6.1.4.1.1466.115.121.1.41 )",
+               "SYNTAX 1.3.6.1.4.1.1466.115.121.1.41 )", /* Postal Address */
                SLAP_MR_EQUALITY | SLAP_MR_EXT, NULL,
-               NULL, NULL, NULL, NULL, NULL, NULL },
+               NULL, postalAddressNormalize, octetStringMatch,
+               octetStringIndexer, octetStringFilter,
+               NULL },
 
        {"( 2.5.13.12 NAME 'caseIgnoreListSubstringsMatch' "
-               "SYNTAX 1.3.6.1.4.1.1466.115.121.1.58 )",
+               "SYNTAX 1.3.6.1.4.1.1466.115.121.1.58 )", /* Substring Assertion */
                SLAP_MR_SUBSTR, NULL,
                NULL, NULL, NULL, NULL, NULL,
                "caseIgnoreListMatch" },
@@ -4841,7 +6562,7 @@ static slap_mrule_defs_rec mrule_defs[] = {
 
        {"( 2.5.13.15 NAME 'integerOrderingMatch' "
                "SYNTAX 1.3.6.1.4.1.1466.115.121.1.27 )",
-               SLAP_MR_ORDERING | SLAP_MR_ORDERED_INDEX, NULL,
+               SLAP_MR_ORDERING | SLAP_MR_EXT | SLAP_MR_ORDERED_INDEX, NULL,
                NULL, NULL, integerMatch,
                NULL, NULL,
                "integerMatch" },
@@ -4862,7 +6583,7 @@ static slap_mrule_defs_rec mrule_defs[] = {
 
        {"( 2.5.13.18 NAME 'octetStringOrderingMatch' "
                "SYNTAX 1.3.6.1.4.1.1466.115.121.1.40 )",
-               SLAP_MR_ORDERING, NULL,
+               SLAP_MR_ORDERING | SLAP_MR_EXT, NULL,
                NULL, NULL, octetStringOrderingMatch,
                NULL, NULL,
                "octetStringMatch" },
@@ -4883,7 +6604,7 @@ static slap_mrule_defs_rec mrule_defs[] = {
                NULL },
 
        {"( 2.5.13.21 NAME 'telephoneNumberSubstringsMatch' "
-               "SYNTAX 1.3.6.1.4.1.1466.115.121.1.58 )",
+               "SYNTAX 1.3.6.1.4.1.1466.115.121.1.58 )", /* Substring Assertion */
                SLAP_MR_SUBSTR, NULL,
                NULL, telephoneNumberNormalize, octetStringSubstringsMatch,
                octetStringSubstringsIndexer, octetStringSubstringsFilter,
@@ -4895,7 +6616,7 @@ static slap_mrule_defs_rec mrule_defs[] = {
                NULL, NULL, NULL, NULL, NULL, NULL },
 
        {"( 2.5.13.23 NAME 'uniqueMemberMatch' "
-               "SYNTAX 1.3.6.1.4.1.1466.115.121.1.34 )",
+               "SYNTAX 1.3.6.1.4.1.1466.115.121.1.34 )", /* Name And Optional UID */
                SLAP_MR_EQUALITY | SLAP_MR_EXT, NULL,
                NULL, uniqueMemberNormalize, uniqueMemberMatch,
                uniqueMemberIndexer, uniqueMemberFilter,
@@ -4915,13 +6636,13 @@ static slap_mrule_defs_rec mrule_defs[] = {
 
        {"( 2.5.13.28 NAME 'generalizedTimeOrderingMatch' "
                "SYNTAX 1.3.6.1.4.1.1466.115.121.1.24 )",
-               SLAP_MR_ORDERING | SLAP_MR_ORDERED_INDEX, NULL,
+               SLAP_MR_ORDERING | SLAP_MR_EXT | SLAP_MR_ORDERED_INDEX, NULL,
                NULL, generalizedTimeNormalize, generalizedTimeOrderingMatch,
                NULL, NULL,
                "generalizedTimeMatch" },
 
        {"( 2.5.13.29 NAME 'integerFirstComponentMatch' "
-               "SYNTAX 1.3.6.1.4.1.1466.115.121.1.27 )",
+               "SYNTAX 1.3.6.1.4.1.1466.115.121.1.27 )", /* Integer */
                SLAP_MR_EQUALITY | SLAP_MR_EXT,
                        integerFirstComponentMatchSyntaxes,
                NULL, firstComponentNormalize, integerMatch,
@@ -4929,7 +6650,7 @@ static slap_mrule_defs_rec mrule_defs[] = {
                NULL },
 
        {"( 2.5.13.30 NAME 'objectIdentifierFirstComponentMatch' "
-               "SYNTAX 1.3.6.1.4.1.1466.115.121.1.38 )",
+               "SYNTAX 1.3.6.1.4.1.1466.115.121.1.38 )", /* OID */
                SLAP_MR_EQUALITY | SLAP_MR_EXT,
                        objectIdentifierFirstComponentMatchSyntaxes,
                NULL, firstComponentNormalize, octetStringMatch,
@@ -4937,18 +6658,44 @@ static slap_mrule_defs_rec mrule_defs[] = {
                NULL },
 
        {"( 2.5.13.34 NAME 'certificateExactMatch' "
-               "SYNTAX 1.3.6.1.1.15.1 )",
+               "SYNTAX 1.3.6.1.1.15.1 )", /* Certificate Exact Assertion */
                SLAP_MR_EQUALITY | SLAP_MR_EXT, certificateExactMatchSyntaxes,
                NULL, certificateExactNormalize, octetStringMatch,
                octetStringIndexer, octetStringFilter,
                NULL },
 
        {"( 2.5.13.35 NAME 'certificateMatch' "
-               "SYNTAX 1.3.6.1.1.15.2 )",
+               "SYNTAX 1.3.6.1.1.15.2 )", /* Certificate Assertion */
                SLAP_MR_EQUALITY | SLAP_MR_EXT, NULL,
                NULL, NULL, NULL, NULL, NULL,
                NULL },
 
+       {"( 2.5.13.38 NAME 'certificateListExactMatch' "
+               "SYNTAX 1.3.6.1.1.15.5 )", /* Certificate List Exact Assertion */
+               SLAP_MR_EQUALITY | SLAP_MR_EXT, certificateListExactMatchSyntaxes,
+               NULL, certificateListExactNormalize, octetStringMatch,
+               octetStringIndexer, octetStringFilter,
+               NULL },
+
+       {"( 2.5.13.39 NAME 'certificateListMatch' "
+               "SYNTAX 1.3.6.1.1.15.6 )", /* Certificate List Assertion */
+               SLAP_MR_EQUALITY | SLAP_MR_EXT, NULL,
+               NULL, NULL, NULL, NULL, NULL,
+               NULL },
+
+       {"( 2.5.13.45 NAME 'attributeCertificateExactMatch' "
+               "SYNTAX " attributeCertificateExactAssertionSyntaxOID " )",
+               SLAP_MR_EQUALITY | SLAP_MR_EXT | SLAP_MR_HIDE, attributeCertificateExactMatchSyntaxes,
+               NULL, attributeCertificateExactNormalize, octetStringMatch,
+               octetStringIndexer, octetStringFilter,
+               NULL },
+
+       {"( 2.5.13.46 NAME 'attributeCertificateMatch' "
+               "SYNTAX " attributeCertificateAssertionSyntaxOID " )",
+               SLAP_MR_EQUALITY | SLAP_MR_EXT | SLAP_MR_HIDE, NULL,
+               NULL, NULL, NULL, NULL, NULL,
+               NULL },
+
        {"( 1.3.6.1.4.1.1466.109.114.1 NAME 'caseExactIA5Match' "
                "SYNTAX 1.3.6.1.4.1.1466.115.121.1.26 )",
                SLAP_MR_EQUALITY | SLAP_MR_EXT, NULL,
@@ -4980,7 +6727,7 @@ static slap_mrule_defs_rec mrule_defs[] = {
 #ifdef SLAPD_AUTHPASSWD
        /* needs updating */
        {"( 1.3.6.1.4.1.4203.666.4.1 NAME 'authPasswordMatch' "
-               "SYNTAX 1.3.6.1.4.1.1466.115.121.1.40 )",
+               "SYNTAX 1.3.6.1.4.1.1466.115.121.1.40 )", /* Octet String */
                SLAP_MR_HIDE | SLAP_MR_EQUALITY, NULL,
                NULL, NULL, authPasswordMatch,
                NULL, NULL,
@@ -4988,14 +6735,14 @@ static slap_mrule_defs_rec mrule_defs[] = {
 #endif
 
        {"( 1.2.840.113556.1.4.803 NAME 'integerBitAndMatch' "
-               "SYNTAX 1.3.6.1.4.1.1466.115.121.1.27 )",
+               "SYNTAX 1.3.6.1.4.1.1466.115.121.1.27 )", /* Integer */
                SLAP_MR_EXT, NULL,
                NULL, NULL, integerBitAndMatch,
                NULL, NULL,
                "integerMatch" },
 
        {"( 1.2.840.113556.1.4.804 NAME 'integerBitOrMatch' "
-               "SYNTAX 1.3.6.1.4.1.1466.115.121.1.27 )",
+               "SYNTAX 1.3.6.1.4.1.1466.115.121.1.27 )", /* Integer */
                SLAP_MR_EXT, NULL,
                NULL, NULL, integerBitOrMatch,
                NULL, NULL,
@@ -5010,7 +6757,7 @@ static slap_mrule_defs_rec mrule_defs[] = {
 
        {"( 1.3.6.1.1.16.3 NAME 'UUIDOrderingMatch' "
                "SYNTAX 1.3.6.1.1.16.1 )",
-               SLAP_MR_ORDERING | SLAP_MR_MUTATION_NORMALIZER, NULL,
+               SLAP_MR_ORDERING | SLAP_MR_EXT | SLAP_MR_MUTATION_NORMALIZER, NULL,
                NULL, UUIDNormalize, octetStringOrderingMatch,
                octetStringIndexer, octetStringFilter,
                "UUIDMatch"},
@@ -5024,8 +6771,8 @@ static slap_mrule_defs_rec mrule_defs[] = {
 
        {"( 1.3.6.1.4.1.4203.666.11.2.3 NAME 'CSNOrderingMatch' "
                "SYNTAX 1.3.6.1.4.1.4203.666.11.2.1 )",
-               SLAP_MR_HIDE | SLAP_MR_ORDERING | SLAP_MR_ORDERED_INDEX, NULL,
-               NULL, NULL, csnOrderingMatch,
+               SLAP_MR_HIDE | SLAP_MR_ORDERING | SLAP_MR_EXT | SLAP_MR_ORDERED_INDEX, NULL,
+               NULL, csnNormalize, csnOrderingMatch,
                NULL, NULL,
                "CSNMatch" },
 
@@ -5038,7 +6785,7 @@ static slap_mrule_defs_rec mrule_defs[] = {
 
        /* FIXME: OID is unused, but not registered yet */
        {"( 1.3.6.1.4.1.4203.666.4.12 NAME 'authzMatch' "
-               "SYNTAX 1.3.6.1.4.1.4203.666.2.7 )",
+               "SYNTAX 1.3.6.1.4.1.4203.666.2.7 )", /* OpenLDAP authz */
                SLAP_MR_HIDE | SLAP_MR_EQUALITY, NULL,
                NULL, authzNormalize, authzMatch,
                NULL, NULL,