]> git.sur5r.net Git - openldap/blobdiff - servers/slapd/acl.c
ITS#4587, selfwrite should apply to more than just USERS acl's
[openldap] / servers / slapd / acl.c
index ca88758241078fb25162c6ddbc8a1b6186083410..0f623417888ad5f4f01be89a2ff1f37e5f2884c7 100644 (file)
@@ -2,7 +2,7 @@
 /* $OpenLDAP$ */
 /* This work is part of OpenLDAP Software <http://www.openldap.org/>.
  *
- * Copyright 1998-2004 The OpenLDAP Foundation.
+ * Copyright 1998-2006 The OpenLDAP Foundation.
  * All rights reserved.
  *
  * Redistribution and use in source and binary forms, with or without
 #include "slap.h"
 #include "sets.h"
 #include "lber_pvt.h"
-
-#ifdef LDAP_SLAPI
-#include "slapi/slapi.h"
-#endif /* LDAPI_SLAPI */
+#include "lutil.h"
 
 #define ACL_BUF_SIZE   1024    /* use most appropriate size */
 
-/*
- * speed up compares
- */
-static struct berval 
-       aci_bv_entry            = BER_BVC("entry"),
-       aci_bv_children         = BER_BVC("children"),
-       aci_bv_br_entry         = BER_BVC("[entry]"),
-       aci_bv_br_all           = BER_BVC("[all]"),
-       aci_bv_access_id        = BER_BVC("access-id"),
-       aci_bv_anonymous        = BER_BVC("anonymous"),
-       aci_bv_public           = BER_BVC("public"),
-       aci_bv_users            = BER_BVC("users"),
-       aci_bv_self             = BER_BVC("self"),
-       aci_bv_dnattr           = BER_BVC("dnattr"),
-       aci_bv_group            = BER_BVC("group"),
-       aci_bv_role             = BER_BVC("role"),
-       aci_bv_set              = BER_BVC("set"),
-       aci_bv_set_ref          = BER_BVC("set-ref"),
-       aci_bv_grant            = BER_BVC("grant"),
-       aci_bv_deny             = BER_BVC("deny"),
-
-       aci_bv_ip_eq            = BER_BVC("IP="),
+static const struct berval     acl_bv_ip_eq = BER_BVC( "IP=" );
 #ifdef LDAP_PF_LOCAL
-       aci_bv_path_eq          = BER_BVC("PATH="),
-       aci_bv_dirsep           = BER_BVC(LDAP_DIRSEP),
+static const struct berval     acl_bv_path_eq = BER_BVC("PATH=");
 #endif /* LDAP_PF_LOCAL */
-       
-       aci_bv_group_class      = BER_BVC(SLAPD_GROUP_CLASS),
-       aci_bv_group_attr       = BER_BVC(SLAPD_GROUP_ATTR),
-       aci_bv_role_class       = BER_BVC(SLAPD_ROLE_CLASS),
-       aci_bv_role_attr        = BER_BVC(SLAPD_ROLE_ATTR),
-       aci_bv_set_attr         = BER_BVC(SLAPD_ACI_SET_ATTR);
 
-
-static AccessControl * acl_get(
+static AccessControl * slap_acl_get(
        AccessControl *ac, int *count,
        Operation *op, Entry *e,
        AttributeDescription *desc,
@@ -84,7 +52,7 @@ static AccessControl * acl_get(
        int nmatch, regmatch_t *matches,
        AccessControlState *state );
 
-static slap_control_t acl_mask(
+static slap_control_t slap_acl_mask(
        AccessControl *ac, slap_mask_t *mask,
        Operation *op, Entry *e,
        AttributeDescription *desc,
@@ -94,35 +62,18 @@ static slap_control_t acl_mask(
        int count,
        AccessControlState *state );
 
-#ifdef SLAPD_ACI_ENABLED
-static int aci_mask(
-       Operation *op, Entry *e,
-       AttributeDescription *desc,
-       struct berval *val,
-       struct berval *aci,
-       int nmatch,
-       regmatch_t *matches,
-       slap_access_t *grant,
-       slap_access_t *deny,
-       struct berval *scope);
-#endif
-
 static int     regex_matches(
        struct berval *pat, char *str, char *buf,
        int nmatch, regmatch_t *matches);
-static int     string_expand(
-       struct berval *newbuf, struct berval *pattern,
-       char *match, int nmatch, regmatch_t *matches);
 
-typedef        struct AciSetCookie {
-       Operation *op;
-       Entry *e;
-} AciSetCookie;
+typedef        struct AclSetCookie {
+       SetCookie       asc_cookie;
+#define        asc_op          asc_cookie.set_op
+       Entry           *asc_e;
+} AclSetCookie;
 
-SLAP_SET_GATHER aci_set_gather;
-SLAP_SET_GATHER aci_set_gather2;
-static int aci_match_set ( struct berval *subj, Operation *op,
-    Entry *e, int setref );
+SLAP_SET_GATHER acl_set_gather;
+SLAP_SET_GATHER acl_set_gather2;
 
 /*
  * access_allowed - check whether op->o_ndn is allowed the requested access
@@ -130,7 +81,7 @@ static int aci_match_set ( struct berval *subj, Operation *op,
  * the whole attribute is assumed (all values).
  *
  * This routine loops through all access controls and calls
- * acl_mask() on each applicable access control.
+ * slap_acl_mask() on each applicable access control.
  * The loop exits when a definitive answer is reached or
  * or no more controls remain.
  *
@@ -144,7 +95,25 @@ static int aci_match_set ( struct berval *subj, Operation *op,
  */
 
 int
-access_allowed_mask(
+slap_access_always_allowed(
+       Operation               *op,
+       Entry                   *e,
+       AttributeDescription    *desc,
+       struct berval           *val,
+       slap_access_t           access,
+       AccessControlState      *state,
+       slap_mask_t             *maskp )
+{
+       assert( maskp != NULL );
+
+       /* assign all */
+       ACL_LVL_ASSIGN_MANAGE( *maskp );
+
+       return 1;
+}
+
+int
+slap_access_allowed(
        Operation               *op,
        Entry                   *e,
        AttributeDescription    *desc,
@@ -156,99 +125,33 @@ access_allowed_mask(
        int                             ret = 1;
        int                             count;
        AccessControl                   *a = NULL;
-       Backend *be;
-       int     be_null = 0;
 
 #ifdef LDAP_DEBUG
-       char accessmaskbuf[ACCESSMASK_MAXLEN];
+       char                            accessmaskbuf[ACCESSMASK_MAXLEN];
 #endif
-       slap_mask_t mask;
-       slap_control_t control;
-       const char *attr;
-       regmatch_t matches[MAXREMATCHES];
-       int        st_same_attr = 0;
-       static AccessControlState state_init = ACL_STATE_INIT;
-
+       slap_mask_t                     mask;
+       slap_control_t                  control;
+       slap_access_t                   access_level;
+       const char                      *attr;
+       regmatch_t                      matches[MAXREMATCHES];
+       int                             st_same_attr = 0;
+
+       assert( op != NULL );
        assert( e != NULL );
        assert( desc != NULL );
-       assert( access > ACL_NONE );
-       if ( maskp ) ACL_INVALIDATE( *maskp );
+       assert( maskp != NULL );
 
+       access_level = ACL_LEVEL( access );
        attr = desc->ad_cname.bv_val;
 
        assert( attr != NULL );
 
-       if( op && op->o_is_auth_check &&
-               ( access == ACL_SEARCH || access == ACL_READ ))
-       {
-               access = ACL_AUTH;
-       }
-
-       if( state ) {
-               if ( state->as_vd_ad==desc) {
-                       if ( state->as_recorded ) {
-                               if( state->as_recorded & ACL_STATE_RECORDED_NV &&
-                                       val == NULL )
-                               {
-                                       return state->as_result;
-                               } else if ( state->as_recorded & ACL_STATE_RECORDED_VD &&
-                                       val != NULL && state->as_vd_acl == NULL )
-                               {
-                                       return state->as_result;
-                               }
-                       }
-                       st_same_attr = 1;
-               } else {
-                       *state = state_init;
-               }
-
-               state->as_vd_ad=desc;
-       }
-
-       Debug( LDAP_DEBUG_ACL,
-               "=> access_allowed: %s access to \"%s\" \"%s\" requested\n",
-           access2str( access ), e->e_dn, attr );
-
-       if ( op == NULL ) {
-               /* no-op call */
-               goto done;
-       }
-
-       be = op->o_bd;
-       if ( be == NULL ) {
-               be = &backends[0];
-               be_null = 1;
-#ifdef LDAP_DEVEL
-               /*
-                * FIXME: experimental; use first backend rules
-                * iff there is no global_acl (ITS#3100) */
-               if ( frontendDB->be_acl == NULL ) 
-#endif
-               {
-                       op->o_bd = be;
-               }
-       }
-       assert( be != NULL );
-
-#ifdef LDAP_SLAPI
-       if ( op->o_pb != NULL ) {
-               ret = slapi_int_access_allowed( op, e, desc, val, access, state );
-               if ( ret == 0 ) {
-                       /* ACL plugin denied access */
-                       goto done;
-               }
-       }
-#endif /* LDAP_SLAPI */
+       ACL_INIT( mask );
 
        /* grant database root access */
-       if ( be != NULL && be_isroot( op ) ) {
-               Debug( LDAP_DEBUG_ACL,
-                   "<= root access granted\n",
-                       0, 0, 0 );
-               if ( maskp ) {
-                       mask = ACL_LVL_WRITE;
-               }
-
+       if ( be_isroot( op ) ) {
+               Debug( LDAP_DEBUG_ACL, "<= root access granted\n", 0, 0, 0 );
+               mask = ACL_LVL_MANAGE;
                goto done;
        }
 
@@ -256,8 +159,13 @@ access_allowed_mask(
         * no-user-modification operational attributes are ignored
         * by ACL_WRITE checking as any found here are not provided
         * by the user
+        *
+        * NOTE: but they are not ignored for ACL_MANAGE, because
+        * if we get here it means a non-root user is trying to 
+        * manage data, so we need to check its privileges.
         */
-       if ( access >= ACL_WRITE && is_at_no_user_mod( desc->ad_type )
+       if ( access_level == ACL_WRITE
+               && is_at_no_user_mod( desc->ad_type )
                && desc != slap_schema.si_ad_entry
                && desc != slap_schema.si_ad_children )
        {
@@ -268,57 +176,34 @@ access_allowed_mask(
        }
 
        /* use backend default access if no backend acls */
-       if( be != NULL && be->be_acl == NULL ) {
-               Debug( LDAP_DEBUG_ACL,
-                       "=> access_allowed: backend default %s access %s to \"%s\"\n",
-                       access2str( access ),
-                       be->be_dfltaccess >= access ? "granted" : "denied",
-                       op->o_dn.bv_val ? op->o_dn.bv_val : "(anonymous)" );
-               ret = be->be_dfltaccess >= access;
-
-               if ( maskp ) {
-                       int     i;
-
-                       mask = ACL_PRIV_LEVEL;
-                       for ( i = ACL_NONE; i <= be->be_dfltaccess; i++ ) {
-                               mask |= ACL_ACCESS2PRIV( i );
-                       }
-               }
+       if ( op->o_bd->be_acl == NULL ) {
+               int     i;
 
-               goto done;
-
-#ifdef notdef
-       /* be is always non-NULL */
-       /* use global default access if no global acls */
-       } else if ( be == NULL && frontendDB->be_acl == NULL ) {
                Debug( LDAP_DEBUG_ACL,
-                       "=> access_allowed: global default %s access %s to \"%s\"\n",
+                       "=> slap_access_allowed: backend default %s "
+                       "access %s to \"%s\"\n",
                        access2str( access ),
-                       frontendDB->be_dfltaccess >= access ? "granted" : "denied", op->o_dn.bv_val );
-               ret = frontendDB->be_dfltaccess >= access;
-
-               if ( maskp ) {
-                       int     i;
+                       op->o_bd->be_dfltaccess >= access_level ? "granted" : "denied",
+                       op->o_dn.bv_val ? op->o_dn.bv_val : "(anonymous)" );
+               ret = op->o_bd->be_dfltaccess >= access_level;
 
-                       mask = ACL_PRIV_LEVEL;
-                       for ( i = ACL_NONE; i <= global_default_access; i++ ) {
-                               mask |= ACL_ACCESS2PRIV( i );
-                       }
+               mask = ACL_PRIV_LEVEL;
+               for ( i = ACL_NONE; i <= op->o_bd->be_dfltaccess; i++ ) {
+                       ACL_PRIV_SET( mask, ACL_ACCESS2PRIV( i ) );
                }
 
                goto done;
-#endif
        }
 
        ret = 0;
        control = ACL_BREAK;
 
-       if( st_same_attr ) {
+       if ( st_same_attr ) {
                assert( state->as_vd_acl != NULL );
 
                a = state->as_vd_acl;
                count = state->as_vd_acl_count;
-               if ( !ACL_IS_INVALID( state->as_vd_acl_mask )) {
+               if ( !ACL_IS_INVALID( state->as_vd_acl_mask ) ) {
                        mask = state->as_vd_acl_mask;
                        AC_MEMCPY( matches, state->as_vd_acl_matches, sizeof(matches) );
                        goto vd_access;
@@ -327,93 +212,264 @@ access_allowed_mask(
        } else {
                if ( state ) state->as_vi_acl = NULL;
                a = NULL;
-               ACL_INIT(mask);
+               ACL_PRIV_ASSIGN( mask, *maskp );
                count = 0;
-               memset(matches, '\0', sizeof(matches));
+               memset( matches, '\0', sizeof( matches ) );
        }
 
-       while((a = acl_get( a, &count, op, e, desc, val,
-               MAXREMATCHES, matches, state )) != NULL)
+       while ( ( a = slap_acl_get( a, &count, op, e, desc, val,
+               MAXREMATCHES, matches, state ) ) != NULL )
        {
                int i;
 
-               for (i = 0; i < MAXREMATCHES && matches[i].rm_so > 0; i++) {
+               for ( i = 0; i < MAXREMATCHES && matches[i].rm_so > 0; i++ ) {
                        Debug( LDAP_DEBUG_ACL, "=> match[%d]: %d %d ", i,
-                           (int)matches[i].rm_so, (int)matches[i].rm_eo );
-                       if( matches[i].rm_so <= matches[0].rm_eo ) {
+                               (int)matches[i].rm_so, (int)matches[i].rm_eo );
+                       if ( matches[i].rm_so <= matches[0].rm_eo ) {
                                int n;
-                               for ( n = matches[i].rm_so; n < matches[i].rm_eo; n++) {
+                               for ( n = matches[i].rm_so; n < matches[i].rm_eo; n++ ) {
                                        Debug( LDAP_DEBUG_ACL, "%c", e->e_ndn[n], 0, 0 );
                                }
                        }
                        Debug( LDAP_DEBUG_ARGS, "\n", 0, 0, 0 );
                }
 
-               if (state) {
-                       if (state->as_vi_acl == a && (state->as_recorded & ACL_STATE_RECORDED_NV)) {
-                               Debug( LDAP_DEBUG_ACL, "access_allowed: result from state (%s)\n", attr, 0, 0 );
+               if ( state ) {
+                       if ( state->as_vi_acl == a &&
+                               ( state->as_recorded & ACL_STATE_RECORDED_NV ) )
+                       {
+                               Debug( LDAP_DEBUG_ACL,
+                                       "=> slap_access_allowed: result from state (%s)\n",
+                                       attr, 0, 0 );
                                ret = state->as_result;
                                goto done;
                        } else {
-                               Debug( LDAP_DEBUG_ACL, "access_allowed: no res from state (%s)\n", attr, 0, 0);
+                               Debug( LDAP_DEBUG_ACL,
+                                       "=> slap_access_allowed: no res from state (%s)\n",
+                                       attr, 0, 0 );
                        }
                }
 
 vd_access:
-               control = acl_mask( a, &mask, op,
+               control = slap_acl_mask( a, &mask, op,
                        e, desc, val, MAXREMATCHES, matches, count, state );
 
                if ( control != ACL_BREAK ) {
                        break;
                }
 
-               memset(matches, '\0', sizeof(matches));
+               memset( matches, '\0', sizeof( matches ) );
        }
 
        if ( ACL_IS_INVALID( mask ) ) {
                Debug( LDAP_DEBUG_ACL,
-                       "=> access_allowed: \"%s\" (%s) invalid!\n",
+                       "=> slap_access_allowed: \"%s\" (%s) invalid!\n",
                        e->e_dn, attr, 0 );
-               ACL_INIT(mask);
+               ACL_PRIV_ASSIGN( mask, *maskp );
 
        } else if ( control == ACL_BREAK ) {
                Debug( LDAP_DEBUG_ACL,
-                       "=> access_allowed: no more rules\n", 0, 0, 0);
+                       "=> slap_access_allowed: no more rules\n", 0, 0, 0 );
 
                goto done;
        }
 
+       ret = ACL_GRANT( mask, access );
+
        Debug( LDAP_DEBUG_ACL,
-               "=> access_allowed: %s access %s by %s\n",
-               access2str( access ),
-               ACL_GRANT(mask, access) ? "granted" : "denied",
-               accessmask2str( mask, accessmaskbuf ) );
+               "=> slap_access_allowed: %s access %s by %s\n",
+               access2str( access ), ret ? "granted" : "denied",
+               accessmask2str( mask, accessmaskbuf, 1 ) );
 
-       ret = ACL_GRANT(mask, access);
+done:
+       ACL_PRIV_ASSIGN( *maskp, mask );
+       return ret;
+}
+
+int
+fe_access_allowed(
+       Operation               *op,
+       Entry                   *e,
+       AttributeDescription    *desc,
+       struct berval           *val,
+       slap_access_t           access,
+       AccessControlState      *state,
+       slap_mask_t             *maskp )
+{
+       BackendDB               *be_orig;
+       int                     rc;
+
+       /*
+        * NOTE: control gets here if FIXME
+        * if an appropriate backend cannot be selected for the operation,
+        * we assume that the frontend should handle this
+        * FIXME: should select_backend() take care of this,
+        * and return frontendDB instead of NULL?  maybe for some value
+        * of the flags?
+        */
+       be_orig = op->o_bd;
+
+       if ( op->o_bd == NULL ) {
+               op->o_bd = select_backend( &op->o_req_ndn, 0, 0 );
+               if ( op->o_bd == NULL )
+                       op->o_bd = frontendDB;
+       }
+       rc = slap_access_allowed( op, e, desc, val, access, state, maskp );
+       op->o_bd = be_orig;
+
+       return rc;
+}
+
+int
+access_allowed_mask(
+       Operation               *op,
+       Entry                   *e,
+       AttributeDescription    *desc,
+       struct berval           *val,
+       slap_access_t           access,
+       AccessControlState      *state,
+       slap_mask_t             *maskp )
+{
+       int                             ret = 1;
+       AccessControl                   *a = NULL;
+       int                             be_null = 0;
+
+#ifdef LDAP_DEBUG
+       char                            accessmaskbuf[ACCESSMASK_MAXLEN];
+#endif
+       slap_mask_t                     mask;
+       slap_access_t                   access_level;
+       const char                      *attr;
+       int                             st_same_attr = 0;
+       static AccessControlState       state_init = ACL_STATE_INIT;
+
+       assert( e != NULL );
+       assert( desc != NULL );
+
+       access_level = ACL_LEVEL( access );
+
+       assert( access_level > ACL_NONE );
+
+       ACL_INIT( mask );
+       if ( maskp ) ACL_INVALIDATE( *maskp );
+
+       attr = desc->ad_cname.bv_val;
+
+       assert( attr != NULL );
+
+       if ( op ) {
+               if ( op->o_is_auth_check &&
+                       ( access_level == ACL_SEARCH || access_level == ACL_READ ) )
+               {
+                       access = ACL_AUTH;
+
+               } else if ( get_manageDIT( op ) && access_level == ACL_WRITE &&
+                       desc == slap_schema.si_ad_entry )
+               {
+                       access = ACL_MANAGE;
+               }
+       }
+
+       if ( state ) {
+               if ( state->as_vd_ad == desc ) {
+                       if ( ( state->as_recorded & ACL_STATE_RECORDED_NV ) &&
+                               val == NULL )
+                       {
+                               return state->as_result;
+
+                       } else if ( ( state->as_recorded & ACL_STATE_RECORDED_VD ) &&
+                               val != NULL && state->as_vd_acl == NULL )
+                       {
+                               return state->as_result;
+                       }
+                       st_same_attr = 1;
+               } else {
+                       *state = state_init;
+               }
+
+               state->as_vd_ad = desc;
+       }
+
+       Debug( LDAP_DEBUG_ACL,
+               "=> access_allowed: %s access to \"%s\" \"%s\" requested\n",
+               access2str( access ), e->e_dn, attr );
+
+       if ( op == NULL ) {
+               /* no-op call */
+               goto done;
+       }
+
+       if ( op->o_bd == NULL ) {
+               op->o_bd = LDAP_STAILQ_FIRST( &backendDB );
+               be_null = 1;
+
+#ifdef LDAP_DEVEL
+               /*
+                * FIXME: experimental; use first backend rules
+                * iff there is no global_acl (ITS#3100) */
+               if ( frontendDB->be_acl != NULL ) {
+                       op->o_bd = frontendDB;
+               }
+#endif /* LDAP_DEVEL */
+       }
+       assert( op->o_bd != NULL );
+
+       /* this is enforced in backend_add() */
+       if ( op->o_bd->bd_info->bi_access_allowed ) {
+               /* delegate to backend */
+               ret = op->o_bd->bd_info->bi_access_allowed( op, e,
+                               desc, val, access, state, &mask );
+
+       } else {
+               /* use default (but pass through frontend
+                * for global ACL overlays) */
+               ret = frontendDB->bd_info->bi_access_allowed( op, e,
+                               desc, val, access, state, &mask );
+       }
+
+       if ( !ret ) {
+               if ( ACL_IS_INVALID( mask ) ) {
+                       Debug( LDAP_DEBUG_ACL,
+                               "=> access_allowed: \"%s\" (%s) invalid!\n",
+                               e->e_dn, attr, 0 );
+                       ACL_INIT( mask );
+
+               } else {
+                       Debug( LDAP_DEBUG_ACL,
+                               "=> access_allowed: no more rules\n", 0, 0, 0 );
+
+                       goto done;
+               }
+       }
+
+       Debug( LDAP_DEBUG_ACL,
+               "=> access_allowed: %s access %s by %s\n",
+               access2str( access ), ret ? "granted" : "denied",
+               accessmask2str( mask, accessmaskbuf, 1 ) );
 
 done:
-       if( state != NULL ) {
+       if ( state != NULL ) {
                /* If not value-dependent, save ACL in case of more attrs */
-               if ( !(state->as_recorded & ACL_STATE_RECORDED_VD) ) {
+               if ( !( state->as_recorded & ACL_STATE_RECORDED_VD ) ) {
                        state->as_vi_acl = a;
                        state->as_result = ret;
                }
                state->as_recorded |= ACL_STATE_RECORDED;
        }
-       if (be_null) op->o_bd = NULL;
-       if ( maskp ) *maskp = mask;
+       if ( be_null ) op->o_bd = NULL;
+       if ( maskp ) ACL_PRIV_ASSIGN( *maskp, mask );
        return ret;
 }
 
 
 /*
- * acl_get - return the acl applicable to entry e, attribute
+ * slap_acl_get - return the acl applicable to entry e, attribute
  * attr.  the acl returned is suitable for use in subsequent calls to
  * acl_access_allowed().
  */
 
 static AccessControl *
-acl_get(
+slap_acl_get(
        AccessControl *a,
        int                     *count,
        Operation       *op,
@@ -476,7 +532,8 @@ acl_get(
                                                continue;
 
                                } else if ( a->acl_dn_style == ACL_STYLE_ONE ) {
-                                       int     rdnlen = -1, sep = 0;
+                                       ber_len_t       rdnlen = 0;
+                                       int             sep = 0;
 
                                        if ( dnlen <= patlen )
                                                continue;
@@ -523,7 +580,7 @@ acl_get(
 
                        if( state && !( state->as_recorded & ACL_STATE_RECORDED_VD )) {
                                state->as_recorded |= ACL_STATE_RECORDED_VD;
-                               state->as_vd_acl = prev;
+                               state->as_vd_acl = a;
                                state->as_vd_acl_count = *count;
                                state->as_vd_access = a->acl_access;
                                state->as_vd_access_count = 1;
@@ -534,8 +591,11 @@ acl_get(
                                Debug( LDAP_DEBUG_ACL,
                                        "acl_get: valpat %s\n",
                                        a->acl_attrval.bv_val, 0, 0 );
-                               if (regexec(&a->acl_attrval_re, val->bv_val, 0, NULL, 0))
+                               if ( regexec( &a->acl_attrval_re, val->bv_val, 0, NULL, 0 ) )
+                               {
                                        continue;
+                               }
+
                        } else {
                                int match = 0;
                                const char *text;
@@ -545,7 +605,7 @@ acl_get(
        
                                if ( a->acl_attrs[0].an_desc->ad_type->sat_syntax != slap_schema.si_syn_distinguishedName ) {
                                        if (value_match( &match, desc,
-                                               desc->ad_type->sat_equality, 0,
+                                               a->acl_attrval_mr, 0,
                                                val, &a->acl_attrval, &text ) != LDAP_SUCCESS ||
                                                        match )
                                                continue;
@@ -559,12 +619,12 @@ acl_get(
                                        if ( vdnlen < patlen )
                                                continue;
        
-                                       if ( a->acl_dn_style == ACL_STYLE_BASE ) {
+                                       if ( a->acl_attrval_style == ACL_STYLE_BASE ) {
                                                if ( vdnlen > patlen )
                                                        continue;
        
-                                       } else if ( a->acl_dn_style == ACL_STYLE_ONE ) {
-                                               int rdnlen = -1;
+                                       } else if ( a->acl_attrval_style == ACL_STYLE_ONE ) {
+                                               ber_len_t       rdnlen = 0;
        
                                                if ( !DN_SEPARATOR( val->bv_val[vdnlen - patlen - 1] ) )
                                                        continue;
@@ -573,11 +633,11 @@ acl_get(
                                                if ( rdnlen != vdnlen - patlen - 1 )
                                                        continue;
        
-                                       } else if ( a->acl_dn_style == ACL_STYLE_SUBTREE ) {
+                                       } else if ( a->acl_attrval_style == ACL_STYLE_SUBTREE ) {
                                                if ( vdnlen > patlen && !DN_SEPARATOR( val->bv_val[vdnlen - patlen - 1] ) )
                                                        continue;
        
-                                       } else if ( a->acl_dn_style == ACL_STYLE_CHILDREN ) {
+                                       } else if ( a->acl_attrval_style == ACL_STYLE_CHILDREN ) {
                                                if ( vdnlen <= patlen )
                                                        continue;
        
@@ -585,7 +645,7 @@ acl_get(
                                                        continue;
                                        }
        
-                                       if ( strcmp( a->acl_attrval.bv_val, val->bv_val + vdnlen - patlen ))
+                                       if ( strcmp( a->acl_attrval.bv_val, val->bv_val + vdnlen - patlen ) )
                                                continue;
                                }
                        }
@@ -607,6 +667,303 @@ acl_get(
        return( NULL );
 }
 
+static int
+acl_mask_dn(
+       Operation               *op,
+       Entry                   *e,
+       AttributeDescription    *desc,
+       struct berval           *val,
+       AccessControl           *a,
+       int                     nmatch,
+       regmatch_t              *matches,
+       slap_dn_access          *b,
+       struct berval           *opndn )
+{
+       /*
+        * if access applies to the entry itself, and the
+        * user is bound as somebody in the same namespace as
+        * the entry, OR the given dn matches the dn pattern
+        */
+       /*
+        * NOTE: styles "anonymous", "users" and "self" 
+        * have been moved to enum slap_style_t, whose 
+        * value is set in a_dn_style; however, the string
+        * is maintaned in a_dn_pat.
+        */
+       if ( b->a_self ) {
+               const char *dummy;
+               int rc, match = 0;
+
+               /* must have DN syntax */
+               if ( desc->ad_type->sat_syntax != slap_schema.si_syn_distinguishedName ) return 1;
+
+               /* check if the target is an attribute. */
+               if ( val == NULL ) return 1;
+
+               /* target is attribute, check if the attribute value
+                * is the op dn.
+                */
+               rc = value_match( &match, desc,
+                       desc->ad_type->sat_equality, 0,
+                       val, opndn, &dummy );
+               /* on match error or no match, fail the ACL clause */
+               if ( rc != LDAP_SUCCESS || match != 0 )
+                       return 1;
+       }
+
+       if ( b->a_style == ACL_STYLE_ANONYMOUS ) {
+               if ( !BER_BVISEMPTY( opndn ) ) {
+                       return 1;
+               }
+
+       } else if ( b->a_style == ACL_STYLE_USERS ) {
+               if ( BER_BVISEMPTY( opndn ) ) {
+                       return 1;
+               }
+
+       } else if ( b->a_style == ACL_STYLE_SELF ) {
+               struct berval   ndn, selfndn;
+               int             level;
+
+               if ( BER_BVISEMPTY( opndn ) || BER_BVISNULL( &e->e_nname ) ) {
+                       return 1;
+               }
+
+               level = b->a_self_level;
+               if ( level < 0 ) {
+                       selfndn = *opndn;
+                       ndn = e->e_nname;
+                       level = -level;
+
+               } else {
+                       ndn = *opndn;
+                       selfndn = e->e_nname;
+               }
+
+               for ( ; level > 0; level-- ) {
+                       if ( BER_BVISEMPTY( &ndn ) ) {
+                               break;
+                       }
+                       dnParent( &ndn, &ndn );
+               }
+                       
+               if ( BER_BVISEMPTY( &ndn ) || !dn_match( &ndn, &selfndn ) )
+               {
+                       return 1;
+               }
+
+       } else if ( b->a_style == ACL_STYLE_REGEX ) {
+               if ( !ber_bvccmp( &b->a_pat, '*' ) ) {
+                       int             tmp_nmatch;
+                       regmatch_t      tmp_matches[2],
+                                       *tmp_matchesp = tmp_matches;
+
+                       int             rc = 0;
+
+                       switch ( a->acl_dn_style ) {
+                       case ACL_STYLE_REGEX:
+                               if ( !BER_BVISNULL( &a->acl_dn_pat ) ) {
+                                       tmp_matchesp = matches;
+                                       tmp_nmatch = nmatch;
+                                       break;
+                               }
+                       /* FALLTHRU: applies also to ACL_STYLE_REGEX when pattern is "*" */
+
+                       case ACL_STYLE_BASE:
+                               tmp_matches[0].rm_so = 0;
+                               tmp_matches[0].rm_eo = e->e_nname.bv_len;
+                               tmp_nmatch = 1;
+                               break;
+
+                       case ACL_STYLE_ONE:
+                       case ACL_STYLE_SUBTREE:
+                       case ACL_STYLE_CHILDREN:
+                               tmp_matches[0].rm_so = 0;
+                               tmp_matches[0].rm_eo = e->e_nname.bv_len;
+                               tmp_matches[1].rm_so = e->e_nname.bv_len - a->acl_dn_pat.bv_len;
+                               tmp_matches[1].rm_eo = e->e_nname.bv_len;
+                               tmp_nmatch = 2;
+                               break;
+
+                       default:
+                               /* error */
+                               rc = 1;
+                               break;
+                       }
+
+                       if ( rc ) {
+                               return 1;
+                       }
+
+                       if ( !regex_matches( &b->a_pat, opndn->bv_val,
+                               e->e_ndn, tmp_nmatch, tmp_matchesp ) )
+                       {
+                               return 1;
+                       }
+               }
+
+       } else {
+               struct berval   pat;
+               ber_len_t       patlen, odnlen;
+               int             got_match = 0;
+
+               if ( e->e_dn == NULL )
+                       return 1;
+
+               if ( b->a_expand ) {
+                       struct berval   bv;
+                       char            buf[ACL_BUF_SIZE];
+                       
+                       int             tmp_nmatch;
+                       regmatch_t      tmp_matches[2],
+                                       *tmp_matchesp = tmp_matches;
+
+                       int             rc = 0;
+
+                       bv.bv_len = sizeof( buf ) - 1;
+                       bv.bv_val = buf;
+
+                       switch ( a->acl_dn_style ) {
+                       case ACL_STYLE_REGEX:
+                               if ( !BER_BVISNULL( &a->acl_dn_pat ) ) {
+                                       tmp_matchesp = matches;
+                                       tmp_nmatch = nmatch;
+                                       break;
+                               }
+                       /* FALLTHRU: applies also to ACL_STYLE_REGEX when pattern is "*" */
+
+                       case ACL_STYLE_BASE:
+                               tmp_matches[0].rm_so = 0;
+                               tmp_matches[0].rm_eo = e->e_nname.bv_len;
+                               tmp_nmatch = 1;
+                               break;
+
+                       case ACL_STYLE_ONE:
+                       case ACL_STYLE_SUBTREE:
+                       case ACL_STYLE_CHILDREN:
+                               tmp_matches[0].rm_so = 0;
+                               tmp_matches[0].rm_eo = e->e_nname.bv_len;
+                               tmp_matches[1].rm_so = e->e_nname.bv_len - a->acl_dn_pat.bv_len;
+                               tmp_matches[1].rm_eo = e->e_nname.bv_len;
+                               tmp_nmatch = 2;
+                               break;
+
+                       default:
+                               /* error */
+                               rc = 1;
+                               break;
+                       }
+
+                       if ( rc ) {
+                               return 1;
+                       }
+
+                       if ( acl_string_expand( &bv, &b->a_pat, 
+                                       e->e_nname.bv_val,
+                                       tmp_nmatch, tmp_matchesp ) )
+                       {
+                               return 1;
+                       }
+                       
+                       if ( dnNormalize(0, NULL, NULL, &bv,
+                                       &pat, op->o_tmpmemctx )
+                                       != LDAP_SUCCESS )
+                       {
+                               /* did not expand to a valid dn */
+                               return 1;
+                       }
+
+               } else {
+                       pat = b->a_pat;
+               }
+
+               patlen = pat.bv_len;
+               odnlen = opndn->bv_len;
+               if ( odnlen < patlen ) {
+                       goto dn_match_cleanup;
+
+               }
+
+               if ( b->a_style == ACL_STYLE_BASE ) {
+                       /* base dn -- entire object DN must match */
+                       if ( odnlen != patlen ) {
+                               goto dn_match_cleanup;
+                       }
+
+               } else if ( b->a_style == ACL_STYLE_ONE ) {
+                       ber_len_t       rdnlen = 0;
+
+                       if ( odnlen <= patlen ) {
+                               goto dn_match_cleanup;
+                       }
+
+                       if ( !DN_SEPARATOR( opndn->bv_val[odnlen - patlen - 1] ) ) {
+                               goto dn_match_cleanup;
+                       }
+
+                       rdnlen = dn_rdnlen( NULL, opndn );
+                       if ( rdnlen - ( odnlen - patlen - 1 ) != 0 ) {
+                               goto dn_match_cleanup;
+                       }
+
+               } else if ( b->a_style == ACL_STYLE_SUBTREE ) {
+                       if ( odnlen > patlen && !DN_SEPARATOR( opndn->bv_val[odnlen - patlen - 1] ) ) {
+                               goto dn_match_cleanup;
+                       }
+
+               } else if ( b->a_style == ACL_STYLE_CHILDREN ) {
+                       if ( odnlen <= patlen ) {
+                               goto dn_match_cleanup;
+                       }
+
+                       if ( !DN_SEPARATOR( opndn->bv_val[odnlen - patlen - 1] ) ) {
+                               goto dn_match_cleanup;
+                       }
+
+               } else if ( b->a_style == ACL_STYLE_LEVEL ) {
+                       int             level = b->a_level;
+                       struct berval   ndn;
+
+                       if ( odnlen <= patlen ) {
+                               goto dn_match_cleanup;
+                       }
+
+                       if ( level > 0 && !DN_SEPARATOR( opndn->bv_val[odnlen - patlen - 1] ) )
+                       {
+                               goto dn_match_cleanup;
+                       }
+                       
+                       ndn = *opndn;
+                       for ( ; level > 0; level-- ) {
+                               if ( BER_BVISEMPTY( &ndn ) ) {
+                                       goto dn_match_cleanup;
+                               }
+                               dnParent( &ndn, &ndn );
+                               if ( ndn.bv_len < patlen ) {
+                                       goto dn_match_cleanup;
+                               }
+                       }
+                       
+                       if ( ndn.bv_len != patlen ) {
+                               goto dn_match_cleanup;
+                       }
+               }
+
+               got_match = !strcmp( pat.bv_val, &opndn->bv_val[ odnlen - patlen ] );
+
+dn_match_cleanup:;
+               if ( pat.bv_val != b->a_pat.bv_val ) {
+                       slap_sl_free( pat.bv_val, op->o_tmpmemctx );
+               }
+
+               if ( !got_match ) {
+                       return 1;
+               }
+       }
+
+       return 0;
+}
+
 /*
  * Record value-dependent access control state
  */
@@ -622,8 +979,102 @@ acl_get(
                } \
        } while( 0 )
 
+static int
+acl_mask_dnattr(
+       Operation               *op,
+       Entry                   *e,
+       struct berval           *val,
+       AccessControl           *a,
+       Access                  *b,
+       int                     i,
+       regmatch_t              *matches,
+       int                     count,
+       AccessControlState      *state,
+       slap_dn_access          *bdn,
+       struct berval           *opndn )
+{
+       Attribute       *at;
+       struct berval   bv;
+       int             rc, match = 0;
+       const char      *text;
+       const char      *attr = bdn->a_at->ad_cname.bv_val;
+
+       assert( attr != NULL );
+
+       if ( BER_BVISEMPTY( opndn ) ) {
+               return 1;
+       }
+
+       Debug( LDAP_DEBUG_ACL, "<= check a_dn_at: %s\n", attr, 0, 0 );
+       bv = *opndn;
+
+       /* see if asker is listed in dnattr */
+       for ( at = attrs_find( e->e_attrs, bdn->a_at );
+               at != NULL;
+               at = attrs_find( at->a_next, bdn->a_at ) )
+       {
+               if ( value_find_ex( bdn->a_at,
+                       SLAP_MR_ATTRIBUTE_VALUE_NORMALIZED_MATCH |
+                               SLAP_MR_ASSERTED_VALUE_NORMALIZED_MATCH,
+                       at->a_nvals,
+                       &bv, op->o_tmpmemctx ) == 0 )
+               {
+                       /* found it */
+                       match = 1;
+                       break;
+               }
+       }
+
+       if ( match ) {
+               /* have a dnattr match. if this is a self clause then
+                * the target must also match the op dn.
+                */
+               if ( bdn->a_self ) {
+                       /* check if the target is an attribute. */
+                       if ( val == NULL ) return 1;
+
+                       /* target is attribute, check if the attribute value
+                        * is the op dn.
+                        */
+                       rc = value_match( &match, bdn->a_at,
+                               bdn->a_at->ad_type->sat_equality, 0,
+                               val, &bv, &text );
+                       /* on match error or no match, fail the ACL clause */
+                       if ( rc != LDAP_SUCCESS || match != 0 )
+                               return 1;
+               }
+
+       } else {
+               /* no dnattr match, check if this is a self clause */
+               if ( ! bdn->a_self )
+                       return 1;
+
+               ACL_RECORD_VALUE_STATE;
+               
+               /* this is a self clause, check if the target is an
+                * attribute.
+                */
+               if ( val == NULL )
+                       return 1;
+
+               /* target is attribute, check if the attribute value
+                * is the op dn.
+                */
+               rc = value_match( &match, bdn->a_at,
+                       bdn->a_at->ad_type->sat_equality, 0,
+                       val, &bv, &text );
+
+               /* on match error or no match, fail the ACL clause */
+               if ( rc != LDAP_SUCCESS || match != 0 )
+                       return 1;
+       }
+
+       return 0;
+}
+
+
 /*
- * acl_mask - modifies mask based upon the given acl and the
+ * slap_acl_mask - modifies mask based upon the given acl and the
  * requested access to entry e, attribute attr, value val.  if val
  * is null, access to the whole attribute is assumed (all values).
  *
@@ -632,7 +1083,7 @@ acl_get(
  */
 
 static slap_control_t
-acl_mask(
+slap_acl_mask(
        AccessControl           *a,
        slap_mask_t             *mask,
        Operation               *op,
@@ -644,13 +1095,13 @@ acl_mask(
        int                     count,
        AccessControlState      *state )
 {
-       int             i, odnlen, patlen;
-       Access  *b;
+       int             i;
+       Access          *b;
 #ifdef LDAP_DEBUG
-       char accessmaskbuf[ACCESSMASK_MAXLEN];
-       char accessmaskbuf1[ACCESSMASK_MAXLEN];
-#endif
-       const char *attr;
+       char            accessmaskbuf[ACCESSMASK_MAXLEN];
+#endif /* DEBUG */
+       const char      *attr;
+       slap_mask_t     a2pmask = ACL_ACCESS2PRIV( *mask );
 
        assert( a != NULL );
        assert( mask != NULL );
@@ -661,243 +1112,87 @@ acl_mask(
        assert( attr != NULL );
 
        Debug( LDAP_DEBUG_ACL,
-               "=> acl_mask: access to entry \"%s\", attr \"%s\" requested\n",
-               e->e_dn, attr, 0 );
-
-       Debug( LDAP_DEBUG_ACL,
-               "=> acl_mask: to %s by \"%s\", (%s) \n",
-               val ? "value" : "all values",
-               op->o_ndn.bv_val ?  op->o_ndn.bv_val : "",
-               accessmask2str( *mask, accessmaskbuf ) );
-
-
-       if( state && ( state->as_recorded & ACL_STATE_RECORDED_VD )
-               && state->as_vd_acl == a )
-       {
-               b = state->as_vd_access;
-               i = state->as_vd_access_count;
-
-       } else {
-               b = a->acl_access;
-               i = 1;
-       }
-
-       for ( ; b != NULL; b = b->a_next, i++ ) {
-               slap_mask_t oldmask, modmask;
-
-               ACL_INVALIDATE( modmask );
-
-               /* AND <who> clauses */
-               if ( b->a_dn_pat.bv_len != 0 ) {
-                       Debug( LDAP_DEBUG_ACL, "<= check a_dn_pat: %s\n",
-                               b->a_dn_pat.bv_val, 0, 0);
-                       /*
-                        * if access applies to the entry itself, and the
-                        * user is bound as somebody in the same namespace as
-                        * the entry, OR the given dn matches the dn pattern
-                        */
-                       if ( bvmatch( &b->a_dn_pat, &aci_bv_anonymous ) ) {
-                               if ( op->o_ndn.bv_len != 0 ) {
-                                       continue;
-                               }
-
-                       } else if ( bvmatch( &b->a_dn_pat, &aci_bv_users ) ) {
-                               if ( op->o_ndn.bv_len == 0 ) {
-                                       continue;
-                               }
-
-                       } else if ( bvmatch( &b->a_dn_pat, &aci_bv_self ) ) {
-                               if ( op->o_ndn.bv_len == 0 ) {
-                                       continue;
-                               }
-                               
-                               if ( e->e_dn == NULL || !dn_match( &e->e_nname, &op->o_ndn ) ) {
-                                       continue;
-                               }
-
-                       } else if ( b->a_dn_style == ACL_STYLE_REGEX ) {
-                               if ( !ber_bvccmp( &b->a_dn_pat, '*' ) ) {
-                                       int             tmp_nmatch;
-                                       regmatch_t      tmp_matches[2],
-                                                       *tmp_matchesp = tmp_matches;
-
-                                       int             rc = 0;
-
-                                       switch ( a->acl_dn_style ) {
-                                       case ACL_STYLE_REGEX:
-                                               if ( !BER_BVISNULL( &a->acl_dn_pat ) ) {
-                                                       tmp_matchesp = matches;
-                                                       tmp_nmatch = nmatch;
-                                                       break;
-                                               }
-                                       /* FALLTHRU: applies also to ACL_STYLE_REGEX when pattern is "*" */
-
-                                       case ACL_STYLE_BASE:
-                                               tmp_matches[0].rm_so = 0;
-                                               tmp_matches[0].rm_eo = e->e_nname.bv_len;
-                                               tmp_nmatch = 1;
-                                               break;
-
-                                       case ACL_STYLE_ONE:
-                                       case ACL_STYLE_SUBTREE:
-                                       case ACL_STYLE_CHILDREN:
-                                               tmp_matches[0].rm_so = 0;
-                                               tmp_matches[0].rm_eo = e->e_nname.bv_len;
-                                               tmp_matches[1].rm_so = e->e_nname.bv_len - a->acl_dn_pat.bv_len;
-                                               tmp_matches[1].rm_eo = e->e_nname.bv_len;
-                                               tmp_nmatch = 2;
-                                               break;
-
-                                       default:
-                                               /* error */
-                                               rc = 1;
-                                               break;
-                                       }
-
-                                       if ( rc ) {
-                                               continue;
-                                       }
-
-                                       if ( !regex_matches( &b->a_dn_pat,
-                                               op->o_ndn.bv_val, e->e_ndn,
-                                               tmp_nmatch, tmp_matchesp ) )
-                                       {
-                                               continue;
-                                       }
-                               }
-
-                       } else {
-                               struct berval pat;
-                               int got_match = 0;
-
-                               if ( e->e_dn == NULL )
-                                       continue;
-
-                               if ( b->a_dn_expand ) {
-                                       struct berval   bv;
-                                       char            buf[ACL_BUF_SIZE];
-                                       
-                                       int             tmp_nmatch;
-                                       regmatch_t      tmp_matches[2],
-                                                       *tmp_matchesp = tmp_matches;
-
-                                       int             rc = 0;
-
-                                       bv.bv_len = sizeof( buf ) - 1;
-                                       bv.bv_val = buf;
-
-                                       switch ( a->acl_dn_style ) {
-                                       case ACL_STYLE_REGEX:
-                                               if ( !BER_BVISNULL( &a->acl_dn_pat ) ) {
-                                                       tmp_matchesp = matches;
-                                                       tmp_nmatch = nmatch;
-                                                       break;
-                                               }
-                                       /* FALLTHRU: applies also to ACL_STYLE_REGEX when pattern is "*" */
-
-                                       case ACL_STYLE_BASE:
-                                               tmp_matches[0].rm_so = 0;
-                                               tmp_matches[0].rm_eo = e->e_nname.bv_len;
-                                               tmp_nmatch = 1;
-                                               break;
-
-                                       case ACL_STYLE_ONE:
-                                       case ACL_STYLE_SUBTREE:
-                                       case ACL_STYLE_CHILDREN:
-                                               tmp_matches[0].rm_so = 0;
-                                               tmp_matches[0].rm_eo = e->e_nname.bv_len;
-                                               tmp_matches[1].rm_so = e->e_nname.bv_len - a->acl_dn_pat.bv_len;
-                                               tmp_matches[1].rm_eo = e->e_nname.bv_len;
-                                               tmp_nmatch = 2;
-                                               break;
-
-                                       default:
-                                               /* error */
-                                               rc = 1;
-                                               break;
-                                       }
-
-                                       if ( rc ) {
-                                               continue;
-                                       }
-
-                                       if ( string_expand( &bv, &b->a_dn_pat, 
-                                                       e->e_nname.bv_val,
-                                                       tmp_nmatch, tmp_matchesp ) )
-                                       {
-                                               continue;
-                                       }
-                                       
-                                       if ( dnNormalize(0, NULL, NULL, &bv,
-                                                       &pat, op->o_tmpmemctx )
-                                                       != LDAP_SUCCESS )
-                                       {
-                                               /* did not expand to a valid dn */
-                                               continue;
-                                       }
-
-                               } else {
-                                       pat = b->a_dn_pat;
-                               }
-
-                               patlen = pat.bv_len;
-                               odnlen = op->o_ndn.bv_len;
-                               if ( odnlen < patlen ) {
-                                       goto dn_match_cleanup;
+               "=> acl_mask: access to entry \"%s\", attr \"%s\" requested\n",
+               e->e_dn, attr, 0 );
 
-                               }
+       Debug( LDAP_DEBUG_ACL,
+               "=> acl_mask: to %s by \"%s\", (%s) \n",
+               val ? "value" : "all values",
+               op->o_ndn.bv_val ?  op->o_ndn.bv_val : "",
+               accessmask2str( *mask, accessmaskbuf, 1 ) );
 
-                               if ( b->a_dn_style == ACL_STYLE_BASE ) {
-                                       /* base dn -- entire object DN must match */
-                                       if ( odnlen != patlen ) {
-                                               goto dn_match_cleanup;
-                                       }
 
-                               } else if ( b->a_dn_style == ACL_STYLE_ONE ) {
-                                       int rdnlen = -1;
+       if( state && ( state->as_recorded & ACL_STATE_RECORDED_VD )
+               && state->as_vd_acl == a )
+       {
+               b = state->as_vd_access;
+               i = state->as_vd_access_count;
 
-                                       if ( odnlen <= patlen ) {
-                                               goto dn_match_cleanup;
-                                       }
+       } else {
+               b = a->acl_access;
+               i = 1;
+       }
 
-                                       if ( !DN_SEPARATOR( op->o_ndn.bv_val[odnlen - patlen - 1] ) ) {
-                                               goto dn_match_cleanup;
-                                       }
+       for ( ; b != NULL; b = b->a_next, i++ ) {
+               slap_mask_t oldmask, modmask;
 
-                                       rdnlen = dn_rdnlen( NULL, &op->o_ndn );
-                                       if ( rdnlen != odnlen - patlen - 1 ) {
-                                               goto dn_match_cleanup;
-                                       }
+               ACL_INVALIDATE( modmask );
 
-                               } else if ( b->a_dn_style == ACL_STYLE_SUBTREE ) {
-                                       if ( odnlen > patlen && !DN_SEPARATOR( op->o_ndn.bv_val[odnlen - patlen - 1] ) ) {
-                                               goto dn_match_cleanup;
-                                       }
+               /* AND <who> clauses */
+               if ( !BER_BVISEMPTY( &b->a_dn_pat ) ) {
+                       Debug( LDAP_DEBUG_ACL, "<= check a_dn_pat: %s\n",
+                               b->a_dn_pat.bv_val, 0, 0);
+                       /*
+                        * if access applies to the entry itself, and the
+                        * user is bound as somebody in the same namespace as
+                        * the entry, OR the given dn matches the dn pattern
+                        */
+                       /*
+                        * NOTE: styles "anonymous", "users" and "self" 
+                        * have been moved to enum slap_style_t, whose 
+                        * value is set in a_dn_style; however, the string
+                        * is maintaned in a_dn_pat.
+                        */
 
-                               } else if ( b->a_dn_style == ACL_STYLE_CHILDREN ) {
-                                       if ( odnlen <= patlen ) {
-                                               goto dn_match_cleanup;
-                                       }
+                       if ( acl_mask_dn( op, e, desc, val, a, nmatch, matches,
+                               &b->a_dn, &op->o_ndn ) )
+                       {
+                               continue;
+                       }
+               }
 
-                                       if ( !DN_SEPARATOR( op->o_ndn.bv_val[odnlen - patlen - 1] ) ) {
-                                               goto dn_match_cleanup;
-                                       }
-                               }
+               if ( !BER_BVISEMPTY( &b->a_realdn_pat ) ) {
+                       struct berval   ndn;
 
-                               got_match = !strcmp( pat.bv_val, op->o_ndn.bv_val + odnlen - patlen );
+                       Debug( LDAP_DEBUG_ACL, "<= check a_realdn_pat: %s\n",
+                               b->a_realdn_pat.bv_val, 0, 0);
+                       /*
+                        * if access applies to the entry itself, and the
+                        * user is bound as somebody in the same namespace as
+                        * the entry, OR the given dn matches the dn pattern
+                        */
+                       /*
+                        * NOTE: styles "anonymous", "users" and "self" 
+                        * have been moved to enum slap_style_t, whose 
+                        * value is set in a_dn_style; however, the string
+                        * is maintaned in a_dn_pat.
+                        */
 
-dn_match_cleanup:;
-                               if ( pat.bv_val != b->a_dn_pat.bv_val ) {
-                                       slap_sl_free( pat.bv_val, op->o_tmpmemctx );
-                               }
+                       if ( op->o_conn && !BER_BVISNULL( &op->o_conn->c_ndn ) )
+                       {
+                               ndn = op->o_conn->c_ndn;
+                       } else {
+                               ndn = op->o_ndn;
+                       }
 
-                               if ( !got_match ) {
-                                       continue;
-                               }
+                       if ( acl_mask_dn( op, e, desc, val, a, nmatch, matches,
+                               &b->a_realdn, &ndn ) )
+                       {
+                               continue;
                        }
                }
 
-               if ( b->a_sockurl_pat.bv_len ) {
+               if ( !BER_BVISEMPTY( &b->a_sockurl_pat ) ) {
                        if ( ! op->o_conn->c_listener ) {
                                continue;
                        }
@@ -918,7 +1213,7 @@ dn_match_cleanup:;
 
                                        bv.bv_len = sizeof( buf ) - 1;
                                        bv.bv_val = buf;
-                                       if ( string_expand( &bv, &b->a_sockurl_pat,
+                                       if ( acl_string_expand( &bv, &b->a_sockurl_pat,
                                                        e->e_ndn, nmatch, matches ) )
                                        {
                                                continue;
@@ -938,7 +1233,7 @@ dn_match_cleanup:;
                        }
                }
 
-               if ( b->a_domain_pat.bv_len ) {
+               if ( !BER_BVISEMPTY( &b->a_domain_pat ) ) {
                        if ( !op->o_conn->c_peer_domain.bv_val ) {
                                continue;
                        }
@@ -963,7 +1258,7 @@ dn_match_cleanup:;
                                                bv.bv_len = sizeof(buf) - 1;
                                                bv.bv_val = buf;
 
-                                               if ( string_expand(&bv, &b->a_domain_pat,
+                                               if ( acl_string_expand(&bv, &b->a_domain_pat,
                                                                e->e_ndn, nmatch, matches) )
                                                {
                                                        continue;
@@ -993,7 +1288,7 @@ dn_match_cleanup:;
                        }
                }
 
-               if ( b->a_peername_pat.bv_len ) {
+               if ( !BER_BVISEMPTY( &b->a_peername_pat ) ) {
                        if ( !op->o_conn->c_peer_name.bv_val ) {
                                continue;
                        }
@@ -1020,7 +1315,7 @@ dn_match_cleanup:;
 
                                                bv.bv_len = sizeof( buf ) - 1;
                                                bv.bv_val = buf;
-                                               if ( string_expand( &bv, &b->a_peername_pat,
+                                               if ( acl_string_expand( &bv, &b->a_peername_pat,
                                                                e->e_ndn, nmatch, matches ) )
                                                {
                                                        continue;
@@ -1039,20 +1334,18 @@ dn_match_cleanup:;
                                                int             port_number = -1;
                                                
                                                if ( strncasecmp( op->o_conn->c_peer_name.bv_val, 
-                                                                       aci_bv_ip_eq.bv_val, aci_bv_ip_eq.bv_len ) != 0 ) 
+                                                                       acl_bv_ip_eq.bv_val,
+                                                                       acl_bv_ip_eq.bv_len ) != 0 ) 
                                                        continue;
 
-                                               ip.bv_val = op->o_conn->c_peer_name.bv_val + aci_bv_ip_eq.bv_len;
-                                               ip.bv_len = op->o_conn->c_peer_name.bv_len - aci_bv_ip_eq.bv_len;
+                                               ip.bv_val = op->o_conn->c_peer_name.bv_val + acl_bv_ip_eq.bv_len;
+                                               ip.bv_len = op->o_conn->c_peer_name.bv_len - acl_bv_ip_eq.bv_len;
 
                                                port = strrchr( ip.bv_val, ':' );
                                                if ( port ) {
-                                                       char    *next;
-                                                       
                                                        ip.bv_len = port - ip.bv_val;
                                                        ++port;
-                                                       port_number = strtol( port, &next, 10 );
-                                                       if ( next[0] != '\0' )
+                                                       if ( lutil_atoi( &port_number, port ) != 0 )
                                                                continue;
                                                }
                                                
@@ -1082,11 +1375,14 @@ dn_match_cleanup:;
                                                struct berval path;
                                                
                                                if ( strncmp( op->o_conn->c_peer_name.bv_val,
-                                                                       aci_bv_path_eq.bv_val, aci_bv_path_eq.bv_len ) != 0 )
+                                                                       acl_bv_path_eq.bv_val,
+                                                                       acl_bv_path_eq.bv_len ) != 0 )
                                                        continue;
 
-                                               path.bv_val = op->o_conn->c_peer_name.bv_val + aci_bv_path_eq.bv_len;
-                                               path.bv_len = op->o_conn->c_peer_name.bv_len - aci_bv_path_eq.bv_len;
+                                               path.bv_val = op->o_conn->c_peer_name.bv_val
+                                                       + acl_bv_path_eq.bv_len;
+                                               path.bv_len = op->o_conn->c_peer_name.bv_len
+                                                       - acl_bv_path_eq.bv_len;
 
                                                if ( ber_bvcmp( &b->a_peername_pat, &path ) != 0 )
                                                        continue;
@@ -1101,8 +1397,8 @@ dn_match_cleanup:;
                        }
                }
 
-               if ( b->a_sockname_pat.bv_len ) {
-                       if ( !op->o_conn->c_sock_name.bv_val ) {
+               if ( !BER_BVISEMPTY( &b->a_sockname_pat ) ) {
+                       if ( BER_BVISNULL( &op->o_conn->c_sock_name ) ) {
                                continue;
                        }
                        Debug( LDAP_DEBUG_ACL, "<= check a_sockname_path: %s\n",
@@ -1121,7 +1417,7 @@ dn_match_cleanup:;
 
                                        bv.bv_len = sizeof( buf ) - 1;
                                        bv.bv_val = buf;
-                                       if ( string_expand( &bv, &b->a_sockname_pat,
+                                       if ( acl_string_expand( &bv, &b->a_sockname_pat,
                                                        e->e_ndn, nmatch, matches ) )
                                        {
                                                continue;
@@ -1140,84 +1436,33 @@ dn_match_cleanup:;
                }
 
                if ( b->a_dn_at != NULL ) {
-                       Attribute       *at;
-                       struct berval   bv;
-                       int rc, match = 0;
-                       const char *text;
-                       const char *attr = b->a_dn_at->ad_cname.bv_val;
-
-                       assert( attr != NULL );
-
-                       if ( op->o_ndn.bv_len == 0 ) {
+                       if ( acl_mask_dnattr( op, e, val, a, b, i,
+                                       matches, count, state,
+                                       &b->a_dn, &op->o_ndn ) )
+                       {
                                continue;
                        }
+               }
 
-                       Debug( LDAP_DEBUG_ACL, "<= check a_dn_at: %s\n",
-                               attr, 0, 0);
-                       bv = op->o_ndn;
+               if ( b->a_realdn_at != NULL ) {
+                       struct berval   ndn;
 
-                       /* see if asker is listed in dnattr */
-                       for( at = attrs_find( e->e_attrs, b->a_dn_at );
-                               at != NULL;
-                               at = attrs_find( at->a_next, b->a_dn_at ) )
+                       if ( op->o_conn && !BER_BVISNULL( &op->o_conn->c_ndn ) )
                        {
-                               if( value_find_ex( b->a_dn_at,
-                                       SLAP_MR_ATTRIBUTE_VALUE_NORMALIZED_MATCH |
-                                               SLAP_MR_ASSERTED_VALUE_NORMALIZED_MATCH,
-                                       at->a_nvals,
-                                       &bv, op->o_tmpmemctx ) == 0 )
-                               {
-                                       /* found it */
-                                       match = 1;
-                                       break;
-                               }
-                       }
-
-                       if( match ) {
-                               /* have a dnattr match. if this is a self clause then
-                                * the target must also match the op dn.
-                                */
-                               if ( b->a_dn_self ) {
-                                       /* check if the target is an attribute. */
-                                       if ( val == NULL ) continue;
-
-                                       /* target is attribute, check if the attribute value
-                                        * is the op dn.
-                                        */
-                                       rc = value_match( &match, b->a_dn_at,
-                                               b->a_dn_at->ad_type->sat_equality, 0,
-                                               val, &bv, &text );
-                                       /* on match error or no match, fail the ACL clause */
-                                       if (rc != LDAP_SUCCESS || match != 0 )
-                                               continue;
-                               }
+                               ndn = op->o_conn->c_ndn;
                        } else {
-                               /* no dnattr match, check if this is a self clause */
-                               if ( ! b->a_dn_self )
-                                       continue;
-
-                               ACL_RECORD_VALUE_STATE;
-                               
-                               /* this is a self clause, check if the target is an
-                                * attribute.
-                                */
-                               if ( val == NULL )
-                                       continue;
-
-                               /* target is attribute, check if the attribute value
-                                * is the op dn.
-                                */
-                               rc = value_match( &match, b->a_dn_at,
-                                       b->a_dn_at->ad_type->sat_equality, 0,
-                                       val, &bv, &text );
+                               ndn = op->o_ndn;
+                       }
 
-                               /* on match error or no match, fail the ACL clause */
-                               if (rc != LDAP_SUCCESS || match != 0 )
-                                       continue;
+                       if ( acl_mask_dnattr( op, e, val, a, b, i,
+                                       matches, count, state,
+                                       &b->a_realdn, &ndn ) )
+                       {
+                               continue;
                        }
                }
 
-               if ( b->a_group_pat.bv_len ) {
+               if ( !BER_BVISEMPTY( &b->a_group_pat ) ) {
                        struct berval bv;
                        struct berval ndn = BER_BVNULL;
                        int rc;
@@ -1226,6 +1471,9 @@ dn_match_cleanup:;
                                continue;
                        }
 
+                       Debug( LDAP_DEBUG_ACL, "<= check a_group_pat: %s\n",
+                               b->a_group_pat.bv_val, 0, 0 );
+
                        /* b->a_group is an unexpanded entry name, expanded it should be an 
                         * entry with objectclass group* and we test to see if odn is one of
                         * the values in the attribute group
@@ -1277,7 +1525,7 @@ dn_match_cleanup:;
                                        continue;
                                }
                                
-                               if ( string_expand( &bv, &b->a_group_pat,
+                               if ( acl_string_expand( &bv, &b->a_group_pat,
                                                e->e_nname.bv_val,
                                                tmp_nmatch, tmp_matchesp ) )
                                {
@@ -1309,9 +1557,12 @@ dn_match_cleanup:;
                        }
                }
 
-               if ( b->a_set_pat.bv_len != 0 ) {
-                       struct berval bv;
-                       char buf[ACL_BUF_SIZE];
+               if ( !BER_BVISEMPTY( &b->a_set_pat ) ) {
+                       struct berval   bv;
+                       char            buf[ACL_BUF_SIZE];
+
+                       Debug( LDAP_DEBUG_ACL, "<= check a_set_pat: %s\n",
+                               b->a_set_pat.bv_val, 0, 0 );
 
                        if ( b->a_set_style == ACL_STYLE_EXPAND ) {
                                int             tmp_nmatch;
@@ -1319,7 +1570,7 @@ dn_match_cleanup:;
                                                *tmp_matchesp = tmp_matches;
                                int             rc = 0;
 
-                               bv.bv_len = sizeof(buf) - 1;
+                               bv.bv_len = sizeof( buf ) - 1;
                                bv.bv_val = buf;
 
                                rc = 0;
@@ -1359,17 +1610,18 @@ dn_match_cleanup:;
                                        continue;
                                }
                                
-                               if ( string_expand( &bv, &b->a_set_pat,
+                               if ( acl_string_expand( &bv, &b->a_set_pat,
                                                e->e_nname.bv_val,
                                                tmp_nmatch, tmp_matchesp ) )
                                {
                                        continue;
                                }
 
-                       }else{
+                       } else {
                                bv = b->a_set_pat;
                        }
-                       if (aci_match_set( &bv, op, e, 0 ) == 0) {
+                       
+                       if ( acl_match_set( &bv, op, e, NULL ) == 0 ) {
                                continue;
                        }
                }
@@ -1409,130 +1661,45 @@ dn_match_cleanup:;
                        }
                }
 
-#ifdef SLAPD_ACI_ENABLED
-               if ( b->a_aci_at != NULL ) {
-                       Attribute       *at;
-                       slap_access_t grant, deny, tgrant, tdeny;
-                       struct berval parent_ndn, old_parent_ndn;
-                       BerVarray bvals = NULL;
-                       int ret,stop;
+#ifdef SLAP_DYNACL
+               if ( b->a_dynacl ) {
+                       slap_dynacl_t   *da;
+                       slap_access_t   tgrant, tdeny;
+
+                       Debug( LDAP_DEBUG_ACL, "<= check a_dynacl\n",
+                               0, 0, 0 );
 
                        /* this case works different from the others above.
-                        * since aci's themselves give permissions, we need
+                        * since dynamic ACL's themselves give permissions, we need
                         * to first check b->a_access_mask, the ACL's access level.
                         */
-
-                       if ( e->e_nname.bv_len == 0 ) {
-                               /* no ACIs in the root DSE */
-                               continue;
-                       }
-
                        /* first check if the right being requested
                         * is allowed by the ACL clause.
                         */
-                       if ( ! ACL_GRANT( b->a_access_mask, *mask ) ) {
+                       if ( ! ACL_PRIV_ISSET( b->a_access_mask, a2pmask ) ) {
                                continue;
                        }
+
                        /* start out with nothing granted, nothing denied */
-                       ACL_INIT(tgrant);
-                       ACL_INIT(tdeny);
-
-                       /* get the aci attribute */
-                       at = attr_find( e->e_attrs, b->a_aci_at );
-                       if ( at != NULL ) {
-#if 0
-                               /* FIXME: this breaks acl caching;
-                                * see also ACL_RECORD_VALUE_STATE below */
-                               ACL_RECORD_VALUE_STATE;
-#endif
-                               /* the aci is an multi-valued attribute.  The
-                               * rights are determined by OR'ing the individual
-                               * rights given by the acis.
-                               */
-                               for ( i = 0; !BER_BVISNULL( &at->a_nvals[i] ); i++ ) {
-                                       if (aci_mask( op,
-                                               e, desc, val,
-                                               &at->a_nvals[i],
-                                               nmatch, matches,
-                                               &grant, &deny,  &aci_bv_entry ) != 0)
-                                       {
-                                               tgrant |= grant;
-                                               tdeny |= deny;
-                                       }
-                               }
-                               Debug(LDAP_DEBUG_ACL, "<= aci_mask grant %s deny %s\n",
-                                         accessmask2str(tgrant,accessmaskbuf), 
-                                         accessmask2str(tdeny, accessmaskbuf1), 0);
+                       ACL_INVALIDATE(tgrant);
+                       ACL_INVALIDATE(tdeny);
 
-                       }
-                       /* If the entry level aci didn't contain anything valid for the 
-                        * current operation, climb up the tree and evaluate the
-                        * acis with scope set to subtree
-                        */
-                       if( (tgrant == ACL_PRIV_NONE) && (tdeny == ACL_PRIV_NONE) ){
-                               dnParent(&(e->e_nname), &parent_ndn);
-                               while ( parent_ndn.bv_val != old_parent_ndn.bv_val ){
-                                       old_parent_ndn = parent_ndn;
-                                       Debug(LDAP_DEBUG_ACL, "checking ACI of %s\n", parent_ndn.bv_val, 0, 0);
-                                       ret = backend_attribute(op, NULL, &parent_ndn, b->a_aci_at, &bvals, ACL_AUTH);
-                                       switch(ret){
-                                       case LDAP_SUCCESS :
-                                               stop = 0;
-                                               if (!bvals){
-                                                       break;
-                                               }
+                       for ( da = b->a_dynacl; da; da = da->da_next ) {
+                               slap_access_t   grant,
+                                               deny;
 
-                                               for( i = 0; bvals[i].bv_val != NULL; i++){
-#if 0
-                                                       /* FIXME: this breaks acl caching;
-                                                        * see also ACL_RECORD_VALUE_STATE above */
-                                                       ACL_RECORD_VALUE_STATE;
-#endif
-                                                       if (aci_mask(op, e, desc, val, &bvals[i],
-                                                                       nmatch, matches,
-                                                                       &grant, &deny, &aci_bv_children) != 0)
-                                                       {
-                                                               tgrant |= grant;
-                                                               tdeny |= deny;
-                                                               /* evaluation stops as soon as either a "deny" or a 
-                                                                * "grant" directive matches.
-                                                                */
-                                                               if( (tgrant != ACL_PRIV_NONE) || (tdeny != ACL_PRIV_NONE) ){
-                                                                       stop = 1;
-                                                               }
-                                                       }
-                                                       Debug(LDAP_DEBUG_ACL, "<= aci_mask grant %s deny %s\n", 
-                                                               accessmask2str(tgrant,accessmaskbuf),
-                                                               accessmask2str(tdeny, accessmaskbuf1), 0);
-                                               }
-                                               break;
+                               ACL_INVALIDATE(grant);
+                               ACL_INVALIDATE(deny);
 
-                                       case LDAP_NO_SUCH_ATTRIBUTE:
-                                               /* just go on if the aci-Attribute is not present in
-                                                * the current entry 
-                                                */
-                                               Debug(LDAP_DEBUG_ACL, "no such attribute\n", 0, 0, 0);
-                                               stop = 0;
-                                               break;
+                               Debug( LDAP_DEBUG_ACL, "    <= check a_dynacl: %s\n",
+                                       da->da_name, 0, 0 );
 
-                                       case LDAP_NO_SUCH_OBJECT:
-                                               /* We have reached the base object */
-                                               Debug(LDAP_DEBUG_ACL, "no such object\n", 0, 0, 0);
-                                               stop = 1;
-                                               break;
+                               (void)( *da->da_mask )( da->da_private, op, e, desc, val, nmatch, matches, &grant, &deny );
 
-                                       default:
-                                               stop = 1;
-                                               break;
-                                       }
-                                       if (stop){
-                                               break;
-                                       }
-                                       dnParent(&old_parent_ndn, &parent_ndn);
-                               }
+                               tgrant |= grant;
+                               tdeny |= deny;
                        }
 
-
                        /* remove anything that the ACL clause does not allow */
                        tgrant &= b->a_access_mask & ACL_PRIV_MASK;
                        tdeny &= ACL_PRIV_MASK;
@@ -1542,7 +1709,7 @@ dn_match_cleanup:;
                                continue;
                        }
 
-                       /* this could be improved by changing acl_mask so that it can deal with
+                       /* this could be improved by changing slap_acl_mask so that it can deal with
                         * by clauses that return grant/deny pairs.  Right now, it does either
                         * additive or subtractive rights, but not both at the same time.  So,
                         * we need to combine the grant/deny pair into a single rights mask in
@@ -1561,14 +1728,14 @@ dn_match_cleanup:;
                        }
 
                } else
-#endif
+#endif /* SLAP_DYNACL */
                {
                        modmask = b->a_access_mask;
                }
 
                Debug( LDAP_DEBUG_ACL,
                        "<= acl_mask: [%d] applying %s (%s)\n",
-                       i, accessmask2str( modmask, accessmaskbuf ), 
+                       i, accessmask2str( modmask, accessmaskbuf, 1 ), 
                        b->a_type == ACL_CONTINUE
                                ? "continue"
                                : b->a_type == ACL_BREAK
@@ -1596,9 +1763,11 @@ dn_match_cleanup:;
                        *mask = modmask;
                }
 
+               a2pmask = *mask;
+
                Debug( LDAP_DEBUG_ACL,
                        "<= acl_mask: [%d] mask: %s\n",
-                       i, accessmask2str(*mask, accessmaskbuf), 0 );
+                       i, accessmask2str(*mask, accessmaskbuf, 1), 0 );
 
                if( b->a_type == ACL_CONTINUE ) {
                        continue;
@@ -1616,7 +1785,7 @@ dn_match_cleanup:;
 
        Debug( LDAP_DEBUG_ACL,
                "<= acl_mask: no more <who> clauses, returning %s (stop)\n",
-               accessmask2str(*mask, accessmaskbuf), 0, 0 );
+               accessmask2str(*mask, accessmaskbuf, 1), 0, 0 );
        return ACL_STOP;
 }
 
@@ -1631,8 +1800,7 @@ int
 acl_check_modlist(
        Operation       *op,
        Entry   *e,
-       Modifications   *mlist
-)
+       Modifications   *mlist )
 {
        struct berval *bv;
        AccessControlState state = ACL_STATE_INIT;
@@ -1642,7 +1810,7 @@ acl_check_modlist(
 
        be = op->o_bd;
        if ( be == NULL ) {
-               be = &backends[0];
+               be = LDAP_STAILQ_FIRST(&backendDB);
                be_null = 1;
                op->o_bd = be;
        }
@@ -1661,18 +1829,32 @@ acl_check_modlist(
                Debug( LDAP_DEBUG_ACL,
                        "=> access_allowed: backend default %s access %s to \"%s\"\n",
                        access2str( ACL_WRITE ),
-                       op->o_bd->be_dfltaccess >= ACL_WRITE ? "granted" : "denied", op->o_dn.bv_val );
+                       op->o_bd->be_dfltaccess >= ACL_WRITE
+                               ? "granted" : "denied",
+                       op->o_dn.bv_val );
                ret = (op->o_bd->be_dfltaccess >= ACL_WRITE);
                goto done;
        }
 
        for ( ; mlist != NULL; mlist = mlist->sml_next ) {
+               /*
+                * Internal mods are ignored by ACL_WRITE checking
+                */
+               if ( mlist->sml_flags & SLAP_MOD_INTERNAL ) {
+                       Debug( LDAP_DEBUG_ACL, "acl: internal mod %s:"
+                               " modify access granted\n",
+                               mlist->sml_desc->ad_cname.bv_val, 0, 0 );
+                       continue;
+               }
+
                /*
                 * no-user-modification operational attributes are ignored
                 * by ACL_WRITE checking as any found here are not provided
                 * by the user
                 */
-               if ( is_at_no_user_mod( mlist->sml_desc->ad_type ) ) {
+               if ( is_at_no_user_mod( mlist->sml_desc->ad_type )
+                               && ! ( mlist->sml_flags & SLAP_MOD_MANAGING ) )
+               {
                        Debug( LDAP_DEBUG_ACL, "acl: no-user-mod %s:"
                                " modify access granted\n",
                                mlist->sml_desc->ad_cname.bv_val, 0, 0 );
@@ -1681,13 +1863,16 @@ acl_check_modlist(
 
                switch ( mlist->sml_op ) {
                case LDAP_MOD_REPLACE:
+               case LDAP_MOD_INCREMENT:
                        /*
                         * We must check both permission to delete the whole
                         * attribute and permission to add the specific attributes.
                         * This prevents abuse from selfwriters.
                         */
                        if ( ! access_allowed( op, e,
-                               mlist->sml_desc, NULL, ACL_WRITE, &state ) )
+                               mlist->sml_desc, NULL,
+                               ( mlist->sml_flags & SLAP_MOD_MANAGING ) ? ACL_MANAGE : ACL_WDEL,
+                               &state ) )
                        {
                                ret = 0;
                                goto done;
@@ -1705,7 +1890,9 @@ acl_check_modlist(
                                bv->bv_val != NULL; bv++ )
                        {
                                if ( ! access_allowed( op, e,
-                                       mlist->sml_desc, bv, ACL_WRITE, &state ) )
+                                       mlist->sml_desc, bv,
+                                       ( mlist->sml_flags & SLAP_MOD_MANAGING ) ? ACL_MANAGE : ACL_WADD,
+                                       &state ) )
                                {
                                        ret = 0;
                                        goto done;
@@ -1716,7 +1903,9 @@ acl_check_modlist(
                case LDAP_MOD_DELETE:
                        if ( mlist->sml_values == NULL ) {
                                if ( ! access_allowed( op, e,
-                                       mlist->sml_desc, NULL, ACL_WRITE, NULL ) )
+                                       mlist->sml_desc, NULL,
+                                       ( mlist->sml_flags & SLAP_MOD_MANAGING ) ? ACL_MANAGE : ACL_WDEL,
+                                       NULL ) )
                                {
                                        ret = 0;
                                        goto done;
@@ -1728,7 +1917,9 @@ acl_check_modlist(
                                bv->bv_val != NULL; bv++ )
                        {
                                if ( ! access_allowed( op, e,
-                                       mlist->sml_desc, bv, ACL_WRITE, &state ) )
+                                       mlist->sml_desc, bv,
+                                       ( mlist->sml_flags & SLAP_MOD_MANAGING ) ? ACL_MANAGE : ACL_WDEL,
+                                       &state ) )
                                {
                                        ret = 0;
                                        goto done;
@@ -1753,53 +1944,58 @@ done:
        return( ret );
 }
 
-static int
-aci_get_part(
-       struct berval *list,
-       int ix,
-       char sep,
-       struct berval *bv )
+int
+acl_get_part(
+       struct berval   *list,
+       int             ix,
+       char            sep,
+       struct berval   *bv )
 {
-       int len;
-       char *p;
+       int     len;
+       char    *p;
 
-       if (bv) {
+       if ( bv ) {
                BER_BVZERO( bv );
        }
        len = list->bv_len;
        p = list->bv_val;
-       while (len >= 0 && --ix >= 0) {
-               while (--len >= 0 && *p++ != sep) ;
+       while ( len >= 0 && --ix >= 0 ) {
+               while ( --len >= 0 && *p++ != sep )
+                       ;
        }
-       while (len >= 0 && *p == ' ') {
+       while ( len >= 0 && *p == ' ' ) {
                len--;
                p++;
        }
-       if (len < 0)
-               return(-1);
+       if ( len < 0 ) {
+               return -1;
+       }
 
-       if (!bv)
-               return(0);
+       if ( !bv ) {
+               return 0;
+       }
 
        bv->bv_val = p;
-       while (--len >= 0 && *p != sep) {
+       while ( --len >= 0 && *p != sep ) {
                bv->bv_len++;
                p++;
        }
-       while (bv->bv_len > 0 && *--p == ' ')
+       while ( bv->bv_len > 0 && *--p == ' ' ) {
                bv->bv_len--;
-       return(bv->bv_len);
+       }
+       
+       return bv->bv_len;
 }
 
-typedef struct aci_set_gather_t {
+typedef struct acl_set_gather_t {
        SetCookie               *cookie;
        BerVarray               bvals;
-} aci_set_gather_t;
+} acl_set_gather_t;
 
 static int
-aci_set_cb_gather( Operation *op, SlapReply *rs )
+acl_set_cb_gather( Operation *op, SlapReply *rs )
 {
-       aci_set_gather_t        *p = (aci_set_gather_t *)op->o_callback->sc_private;
+       acl_set_gather_t        *p = (acl_set_gather_t *)op->o_callback->sc_private;
        
        if ( rs->sr_type == REP_SEARCH ) {
                BerValue        bvals[ 2 ];
@@ -1842,17 +2038,17 @@ aci_set_cb_gather( Operation *op, SlapReply *rs )
 }
 
 BerVarray
-aci_set_gather( SetCookie *cookie, struct berval *name, AttributeDescription *desc )
+acl_set_gather( SetCookie *cookie, struct berval *name, AttributeDescription *desc )
 {
-       AciSetCookie            *cp = (AciSetCookie *)cookie;
+       AclSetCookie            *cp = (AclSetCookie *)cookie;
        int                     rc = 0;
        LDAPURLDesc             *ludp = NULL;
        Operation               op2 = { 0 };
        SlapReply               rs = {REP_RESULT};
        AttributeName           anlist[ 2 ], *anlistp = NULL;
        int                     nattrs = 0;
-       slap_callback           cb = { NULL, aci_set_cb_gather, NULL, NULL };
-       aci_set_gather_t        p = { 0 };
+       slap_callback           cb = { NULL, acl_set_cb_gather, NULL, NULL };
+       acl_set_gather_t        p = { 0 };
        const char              *text = NULL;
        static struct berval    defaultFilter_bv = BER_BVC( "(objectClass=*)" );
 
@@ -1861,7 +2057,7 @@ aci_set_gather( SetCookie *cookie, struct berval *name, AttributeDescription *de
         * also return the syntax or some "comparison cookie".
         */
        if ( strncasecmp( name->bv_val, "ldap:///", STRLENOF( "ldap:///" ) ) != 0 ) {
-               return aci_set_gather2( cookie, name, desc );
+               return acl_set_gather2( cookie, name, desc );
        }
 
        rc = ldap_url_parse( name->bv_val, &ludp );
@@ -1881,7 +2077,7 @@ aci_set_gather( SetCookie *cookie, struct berval *name, AttributeDescription *de
        /* Grab the searchbase and see if an appropriate database can be found */
        ber_str2bv( ludp->lud_dn, 0, 0, &op2.o_req_dn );
        rc = dnNormalize( 0, NULL, NULL, &op2.o_req_dn,
-                       &op2.o_req_ndn, cp->op->o_tmpmemctx );
+                       &op2.o_req_ndn, cp->asc_op->o_tmpmemctx );
        BER_BVZERO( &op2.o_req_dn );
        if ( rc != LDAP_SUCCESS ) {
                goto url_done;
@@ -1896,13 +2092,13 @@ aci_set_gather( SetCookie *cookie, struct berval *name, AttributeDescription *de
        /* Grab the filter */
        if ( ludp->lud_filter ) {
                ber_str2bv_x( ludp->lud_filter, 0, 0, &op2.ors_filterstr,
-                               cp->op->o_tmpmemctx );
+                               cp->asc_op->o_tmpmemctx );
                
        } else {
                op2.ors_filterstr = defaultFilter_bv;
        }
 
-       op2.ors_filter = str2filter_x( cp->op, op2.ors_filterstr.bv_val );
+       op2.ors_filter = str2filter_x( cp->asc_op, op2.ors_filterstr.bv_val );
        if ( op2.ors_filter == NULL ) {
                rc = LDAP_PROTOCOL_ERROR;
                goto url_done;
@@ -1917,7 +2113,7 @@ aci_set_gather( SetCookie *cookie, struct berval *name, AttributeDescription *de
                        ;
 
                anlistp = slap_sl_malloc( sizeof( AttributeName ) * ( nattrs + 2 ),
-                               cp->op->o_tmpmemctx );
+                               cp->asc_op->o_tmpmemctx );
 
                for ( ; ludp->lud_attrs[ nattrs ]; nattrs++ ) {
                        ber_str2bv( ludp->lud_attrs[ nattrs ], 0, 0, &anlistp[ nattrs ].an_name );
@@ -1940,27 +2136,19 @@ aci_set_gather( SetCookie *cookie, struct berval *name, AttributeDescription *de
        
        p.cookie = cookie;
        
+       op2.o_hdr = cp->asc_op->o_hdr;
        op2.o_tag = LDAP_REQ_SEARCH;
-       op2.o_protocol = LDAP_VERSION3;
        op2.o_ndn = op2.o_bd->be_rootndn;
        op2.o_callback = &cb;
-       op2.o_time = slap_get_time();
+       slap_op_time( &op2.o_time, &op2.o_tincr );
        op2.o_do_not_cache = 1;
        op2.o_is_auth_check = 0;
-       op2.o_threadctx = cp->op->o_threadctx;
-       op2.o_tmpmemctx = cp->op->o_tmpmemctx;
-       op2.o_tmpmfuncs = cp->op->o_tmpmfuncs;
-#ifdef LDAP_SLAPI
-       op2.o_pb = cp->op->o_pb;
-#endif
-       op2.o_conn = cp->op->o_conn;
-       op2.o_connid = cp->op->o_connid;
-       ber_dupbv_x( &op2.o_req_dn, &op2.o_req_ndn, cp->op->o_tmpmemctx );
+       ber_dupbv_x( &op2.o_req_dn, &op2.o_req_ndn, cp->asc_op->o_tmpmemctx );
        op2.ors_slimit = SLAP_NO_LIMIT;
        op2.ors_tlimit = SLAP_NO_LIMIT;
        op2.ors_attrs = anlistp;
        op2.ors_attrsonly = 0;
-       op2.o_sync_slog_size = -1;
+       op2.o_private = cp->asc_op->o_private;
 
        cb.sc_private = &p;
 
@@ -1971,28 +2159,28 @@ aci_set_gather( SetCookie *cookie, struct berval *name, AttributeDescription *de
 
 url_done:;
        if ( op2.ors_filter ) {
-               filter_free_x( cp->op, op2.ors_filter );
+               filter_free_x( cp->asc_op, op2.ors_filter );
        }
        if ( !BER_BVISNULL( &op2.o_req_ndn ) ) {
-               slap_sl_free( op2.o_req_ndn.bv_val, cp->op->o_tmpmemctx );
+               slap_sl_free( op2.o_req_ndn.bv_val, cp->asc_op->o_tmpmemctx );
        }
        if ( !BER_BVISNULL( &op2.o_req_dn ) ) {
-               slap_sl_free( op2.o_req_dn.bv_val, cp->op->o_tmpmemctx );
+               slap_sl_free( op2.o_req_dn.bv_val, cp->asc_op->o_tmpmemctx );
        }
        if ( ludp ) {
                ldap_free_urldesc( ludp );
        }
        if ( anlistp && anlistp != anlist ) {
-               slap_sl_free( anlistp, cp->op->o_tmpmemctx );
+               slap_sl_free( anlistp, cp->asc_op->o_tmpmemctx );
        }
 
        return p.bvals;
 }
 
 BerVarray
-aci_set_gather2( SetCookie *cookie, struct berval *name, AttributeDescription *desc )
+acl_set_gather2( SetCookie *cookie, struct berval *name, AttributeDescription *desc )
 {
-       AciSetCookie    *cp = (AciSetCookie *)cookie;
+       AclSetCookie    *cp = (AclSetCookie *)cookie;
        BerVarray       bvals = NULL;
        struct berval   ndn;
        int             rc = 0;
@@ -2001,56 +2189,56 @@ aci_set_gather2( SetCookie *cookie, struct berval *name, AttributeDescription *d
         * plain strings, since syntax is not known.  It should
         * also return the syntax or some "comparison cookie".
         */
-       rc = dnNormalize( 0, NULL, NULL, name, &ndn, cp->op->o_tmpmemctx );
+       rc = dnNormalize( 0, NULL, NULL, name, &ndn, cp->asc_op->o_tmpmemctx );
        if ( rc == LDAP_SUCCESS ) {
                if ( desc == slap_schema.si_ad_entryDN ) {
                        bvals = (BerVarray)slap_sl_malloc( sizeof( BerValue ) * 2,
-                                       cp->op->o_tmpmemctx );
+                                       cp->asc_op->o_tmpmemctx );
                        bvals[ 0 ] = ndn;
                        BER_BVZERO( &bvals[ 1 ] );
                        BER_BVZERO( &ndn );
 
                } else {
-                       backend_attribute( cp->op,
-                               cp->e, &ndn, desc, &bvals, ACL_NONE );
+                       backend_attribute( cp->asc_op,
+                               cp->asc_e, &ndn, desc, &bvals, ACL_NONE );
                }
 
                if ( !BER_BVISNULL( &ndn ) ) {
-                       slap_sl_free( ndn.bv_val, cp->op->o_tmpmemctx );
+                       slap_sl_free( ndn.bv_val, cp->asc_op->o_tmpmemctx );
                }
        }
 
        return bvals;
 }
 
-static int
-aci_match_set (
+int
+acl_match_set (
        struct berval *subj,
        Operation *op,
        Entry *e,
-       int setref
-)
+       struct berval *default_set_attribute )
 {
        struct berval   set = BER_BVNULL;
        int             rc = 0;
-       AciSetCookie    cookie;
+       AclSetCookie    cookie;
 
-       if (setref == 0) {
+       if ( default_set_attribute == NULL ) {
                ber_dupbv_x( &set, subj, op->o_tmpmemctx );
+
        } else {
                struct berval           subjdn, ndn = BER_BVNULL;
                struct berval           setat;
-               BerVarray               bvals;
+               BerVarray               bvals = NULL;
                const char              *text;
                AttributeDescription    *desc = NULL;
 
                /* format of string is "entry/setAttrName" */
-               if ( aci_get_part( subj, 0, '/', &subjdn ) < 0 ) {
-                       return(0);
+               if ( acl_get_part( subj, 0, '/', &subjdn ) < 0 ) {
+                       return 0;
                }
 
-               if ( aci_get_part( subj, 1, '/', &setat ) < 0 ) {
-                       setat = aci_bv_set_attr;
+               if ( acl_get_part( subj, 1, '/', &setat ) < 0 ) {
+                       setat = *default_set_attribute;
                }
 
                /*
@@ -2078,9 +2266,11 @@ aci_match_set (
        }
 
        if ( !BER_BVISNULL( &set ) ) {
-               cookie.op = op;
-               cookie.e = e;
-               rc = ( slap_set_filter( aci_set_gather, (SetCookie *)&cookie, &set,
+               cookie.asc_op = op;
+               cookie.asc_e = e;
+               rc = ( slap_set_filter(
+                       acl_set_gather,
+                       (SetCookie *)&cookie, &set,
                        &op->o_ndn, &e->e_nname, NULL ) > 0 );
                slap_sl_free( set.bv_val, op->o_tmpmemctx );
        }
@@ -2088,363 +2278,94 @@ aci_match_set (
        return(rc);
 }
 
-#ifdef SLAPD_ACI_ENABLED
-static int
-aci_list_map_rights(
-       struct berval *list )
-{
-       struct berval bv;
-       slap_access_t mask;
-       int i;
-
-       ACL_INIT(mask);
-       for (i = 0; aci_get_part(list, i, ',', &bv) >= 0; i++) {
-               if (bv.bv_len <= 0)
-                       continue;
-               switch (*bv.bv_val) {
-               case 'c':
-                       ACL_PRIV_SET(mask, ACL_PRIV_COMPARE);
-                       break;
-               case 's':
-                       /* **** NOTE: draft-ietf-ldapext-aci-model-0.3.txt defines
-                        * the right 's' to mean "set", but in the examples states
-                        * that the right 's' means "search".  The latter definition
-                        * is used here.
-                        */
-                       ACL_PRIV_SET(mask, ACL_PRIV_SEARCH);
-                       break;
-               case 'r':
-                       ACL_PRIV_SET(mask, ACL_PRIV_READ);
-                       break;
-               case 'w':
-                       ACL_PRIV_SET(mask, ACL_PRIV_WRITE);
-                       break;
-               case 'x':
-                       /* **** NOTE: draft-ietf-ldapext-aci-model-0.3.txt does not 
-                        * define any equivalent to the AUTH right, so I've just used
-                        * 'x' for now.
-                        */
-                       ACL_PRIV_SET(mask, ACL_PRIV_AUTH);
-                       break;
-               default:
-                       break;
-               }
+#ifdef SLAP_DYNACL
 
-       }
-       return(mask);
-}
+/*
+ * dynamic ACL infrastructure
+ */
+static slap_dynacl_t   *da_list = NULL;
 
-static int
-aci_list_has_attr(
-       struct berval *list,
-       const struct berval *attr,
-       struct berval *val )
+int
+slap_dynacl_register( slap_dynacl_t *da )
 {
-       struct berval bv, left, right;
-       int i;
+       slap_dynacl_t   *tmp;
 
-       for (i = 0; aci_get_part(list, i, ',', &bv) >= 0; i++) {
-               if (aci_get_part(&bv, 0, '=', &left) < 0
-                       || aci_get_part(&bv, 1, '=', &right) < 0)
-               {
-                       if (ber_bvstrcasecmp(attr, &bv) == 0)
-                               return(1);
-               } else if (val == NULL) {
-                       if (ber_bvstrcasecmp(attr, &left) == 0)
-                               return(1);
-               } else {
-                       if (ber_bvstrcasecmp(attr, &left) == 0) {
-                               /* this is experimental code that implements a
-                                * simple (prefix) match of the attribute value.
-                                * the ACI draft does not provide for aci's that
-                                * apply to specific values, but it would be
-                                * nice to have.  If the <attr> part of an aci's
-                                * rights list is of the form <attr>=<value>,
-                                * that means the aci applies only to attrs with
-                                * the given value.  Furthermore, if the attr is
-                                * of the form <attr>=<value>*, then <value> is
-                                * treated as a prefix, and the aci applies to 
-                                * any value with that prefix.
-                                *
-                                * Ideally, this would allow r.e. matches.
-                                */
-                               if (aci_get_part(&right, 0, '*', &left) < 0
-                                       || right.bv_len <= left.bv_len)
-                               {
-                                       if (ber_bvstrcasecmp(val, &right) == 0)
-                                               return(1);
-                               } else if (val->bv_len >= left.bv_len) {
-                                       if (strncasecmp( val->bv_val, left.bv_val, left.bv_len ) == 0)
-                                               return(1);
-                               }
-                       }
+       for ( tmp = da_list; tmp; tmp = tmp->da_next ) {
+               if ( strcasecmp( da->da_name, tmp->da_name ) == 0 ) {
+                       break;
                }
        }
-       return(0);
-}
 
-static slap_access_t
-aci_list_get_attr_rights(
-       struct berval *list,
-       const struct berval *attr,
-       struct berval *val )
-{
-    struct berval bv;
-    slap_access_t mask;
-    int i;
-
-       /* loop through each rights/attr pair, skip first part (action) */
-       ACL_INIT(mask);
-       for (i = 1; aci_get_part(list, i + 1, ';', &bv) >= 0; i += 2) {
-               if (aci_list_has_attr(&bv, attr, val) == 0)
-                       continue;
-               if (aci_get_part(list, i, ';', &bv) < 0)
-                       continue;
-               mask |= aci_list_map_rights(&bv);
+       if ( tmp != NULL ) {
+               return -1;
        }
-       return(mask);
-}
-
-static int
-aci_list_get_rights(
-       struct berval *list,
-       const struct berval *attr,
-       struct berval *val,
-       slap_access_t *grant,
-       slap_access_t *deny )
-{
-    struct berval perm, actn;
-    slap_access_t *mask;
-    int i, found;
-
-       if (attr == NULL || attr->bv_len == 0 
-                       || ber_bvstrcasecmp( attr, &aci_bv_entry ) == 0) {
-               attr = &aci_bv_br_entry;
+       
+       if ( da->da_mask == NULL ) {
+               return -1;
        }
+       
+       da->da_private = NULL;
+       da->da_next = da_list;
+       da_list = da;
 
-       found = 0;
-       ACL_INIT(*grant);
-       ACL_INIT(*deny);
-       /* loop through each permissions clause */
-       for (i = 0; aci_get_part(list, i, '$', &perm) >= 0; i++) {
-               if (aci_get_part(&perm, 0, ';', &actn) < 0)
-                       continue;
-               if (ber_bvstrcasecmp( &aci_bv_grant, &actn ) == 0) {
-                       mask = grant;
-               } else if (ber_bvstrcasecmp( &aci_bv_deny, &actn ) == 0) {
-                       mask = deny;
-               } else {
-                       continue;
-               }
-
-               found = 1;
-               *mask |= aci_list_get_attr_rights(&perm, attr, val);
-               *mask |= aci_list_get_attr_rights(&perm, &aci_bv_br_all, NULL);
-       }
-       return(found);
+       return 0;
 }
 
-static int
-aci_group_member (
-       struct berval   *subj,
-       struct berval   *defgrpoc,
-       struct berval   *defgrpat,
-       Operation       *op,
-       Entry           *e,
-       int             nmatch,
-       regmatch_t      *matches
-)
+static slap_dynacl_t *
+slap_dynacl_next( slap_dynacl_t *da )
 {
-       struct berval subjdn;
-       struct berval grpoc;
-       struct berval grpat;
-       ObjectClass *grp_oc = NULL;
-       AttributeDescription *grp_ad = NULL;
-       const char *text;
-       int rc;
-
-       /* format of string is "group/objectClassValue/groupAttrName" */
-       if (aci_get_part(subj, 0, '/', &subjdn) < 0) {
-               return(0);
-       }
-
-       if (aci_get_part(subj, 1, '/', &grpoc) < 0) {
-               grpoc = *defgrpoc;
-       }
-
-       if (aci_get_part(subj, 2, '/', &grpat) < 0) {
-               grpat = *defgrpat;
-       }
-
-       rc = slap_bv2ad( &grpat, &grp_ad, &text );
-       if( rc != LDAP_SUCCESS ) {
-               rc = 0;
-               goto done;
-       }
-       rc = 0;
-
-       grp_oc = oc_bvfind( &grpoc );
-
-       if (grp_oc != NULL && grp_ad != NULL ) {
-               char buf[ACL_BUF_SIZE];
-               struct berval bv, ndn;
-               bv.bv_len = sizeof( buf ) - 1;
-               bv.bv_val = (char *)&buf;
-               if ( string_expand(&bv, &subjdn,
-                               e->e_ndn, nmatch, matches) )
-               {
-                       rc = LDAP_OTHER;
-                       goto done;
-               }
-               if ( dnNormalize( 0, NULL, NULL, &bv, &ndn, op->o_tmpmemctx ) == LDAP_SUCCESS ) {
-                       rc = ( backend_group( op, e, &ndn, &op->o_ndn,
-                               grp_oc, grp_ad ) == 0 );
-                       slap_sl_free( ndn.bv_val, op->o_tmpmemctx );
-               }
+       if ( da ) {
+               return da->da_next;
        }
-
-done:
-       return(rc);
+       return da_list;
 }
 
-static int
-aci_mask(
-       Operation               *op,
-       Entry                   *e,
-       AttributeDescription    *desc,
-       struct berval           *val,
-       struct berval           *aci,
-       int                     nmatch,
-       regmatch_t              *matches,
-       slap_access_t           *grant,
-       slap_access_t           *deny,
-       struct berval           *scope
-)
+slap_dynacl_t *
+slap_dynacl_get( const char *name )
 {
-    struct berval bv, perms, sdn;
-       int rc;
-               
-
-       assert( desc->ad_cname.bv_val != NULL );
-
-       /* parse an aci of the form:
-               oid#scope#action;rights;attr;rights;attr$action;rights;attr;rights;attr#dnType#subjectDN
-
-          See draft-ietf-ldapext-aci-model-04.txt section 9.1 for
-          a full description of the format for this attribute.
-          Differences: "this" in the draft is "self" here, and
-          "self" and "public" is in the position of dnType.
-
-          For now, this routine only supports scope=entry.
-        */
-       /* check that the aci has all 5 components */
-       if (aci_get_part(aci, 4, '#', NULL) < 0)
-               return(0);
-
-       /* check that the aci family is supported */
-       if (aci_get_part(aci, 0, '#', &bv) < 0)
-               return(0);
-
-       /* check that the scope matches */
-       if (aci_get_part(aci, 1, '#', &bv) < 0
-               || ber_bvstrcasecmp( scope, &bv ) != 0)
-       {
-               return(0);
-       }
-
-       /* get the list of permissions clauses, bail if empty */
-       if (aci_get_part(aci, 2, '#', &perms) <= 0)
-               return(0);
-
-       /* check if any permissions allow desired access */
-       if (aci_list_get_rights(&perms, &desc->ad_cname, val, grant, deny) == 0)
-               return(0);
+       slap_dynacl_t   *da;
 
-       /* see if we have a DN match */
-       if (aci_get_part(aci, 3, '#', &bv) < 0)
-               return(0);
-
-       if (aci_get_part(aci, 4, '#', &sdn) < 0)
-               return(0);
-
-       if (ber_bvstrcasecmp( &aci_bv_access_id, &bv ) == 0) {
-               struct berval ndn;
-               rc = 0;
-               if ( dnNormalize( 0, NULL, NULL, &sdn, &ndn, op->o_tmpmemctx ) == LDAP_SUCCESS ) {
-                       if ( dn_match( &op->o_ndn, &ndn ) ) {
-                               rc = 1;
-                       }
-                       slap_sl_free( ndn.bv_val, op->o_tmpmemctx );
+       for ( da = slap_dynacl_next( NULL ); da; da = slap_dynacl_next( da ) ) {
+               if ( strcasecmp( da->da_name, name ) == 0 ) {
+                       break;
                }
-               return (rc);
-
-       } else if (ber_bvstrcasecmp( &aci_bv_public, &bv ) == 0) {
-               return(1);
-
-       } else if (ber_bvstrcasecmp( &aci_bv_self, &bv ) == 0) {
-               if (dn_match(&op->o_ndn, &e->e_nname))
-                       return(1);
-
-       } else if (ber_bvstrcasecmp( &aci_bv_dnattr, &bv ) == 0) {
-               Attribute *at;
-               AttributeDescription *ad = NULL;
-               const char *text;
+       }
 
-               rc = slap_bv2ad( &sdn, &ad, &text );
+       return da;
+}
+#endif /* SLAP_DYNACL */
 
-               if( rc != LDAP_SUCCESS ) {
-                       return 0;
-               }
+/*
+ * statically built-in dynamic ACL initialization
+ */
+static int (*acl_init_func[])( void ) = {
+#ifdef SLAP_DYNACL
+       /* TODO: remove when ACI will only be dynamic */
+#if SLAPD_ACI_ENABLED == SLAPD_MOD_STATIC
+       dynacl_aci_init,
+#endif /* SLAPD_ACI_ENABLED */
+#endif /* SLAP_DYNACL */
 
-               rc = 0;
+       NULL
+};
 
-               bv = op->o_ndn;
+int
+acl_init( void )
+{
+       int     i, rc;
 
-               for(at = attrs_find( e->e_attrs, ad );
-                       at != NULL;
-                       at = attrs_find( at->a_next, ad ) )
-               {
-                       if (value_find_ex( ad,
-                               SLAP_MR_ATTRIBUTE_VALUE_NORMALIZED_MATCH |
-                                       SLAP_MR_ASSERTED_VALUE_NORMALIZED_MATCH,
-                               at->a_nvals,
-                               &bv, op->o_tmpmemctx) == 0 )
-                       {
-                               rc = 1;
-                               break;
-                       }
+       for ( i = 0; acl_init_func[ i ] != NULL; i++ ) {
+               rc = (*(acl_init_func[ i ]))();
+               if ( rc != 0 ) {
+                       return rc;
                }
-
-               return rc;
-
-
-       } else if (ber_bvstrcasecmp( &aci_bv_group, &bv ) == 0) {
-               if (aci_group_member(&sdn, &aci_bv_group_class,
-                               &aci_bv_group_attr, op, e, nmatch, matches))
-                       return(1);
-
-       } else if (ber_bvstrcasecmp( &aci_bv_role, &bv ) == 0) {
-               if (aci_group_member(&sdn, &aci_bv_role_class,
-                               &aci_bv_role_attr, op, e, nmatch, matches))
-                       return(1);
-
-       } else if (ber_bvstrcasecmp( &aci_bv_set, &bv ) == 0) {
-               if (aci_match_set(&sdn, op, e, 0))
-                       return(1);
-
-       } else if (ber_bvstrcasecmp( &aci_bv_set_ref, &bv ) == 0) {
-               if (aci_match_set(&sdn, op, e, 1))
-                       return(1);
-
        }
 
-       return(0);
+       return 0;
 }
 
-#endif /* SLAPD_ACI_ENABLED */
-
-static int
-string_expand(
+int
+acl_string_expand(
        struct berval   *bv,
        struct berval   *pat,
        char            *match,
@@ -2528,8 +2449,8 @@ string_expand(
        *dp = '\0';
        bv->bv_len = size;
 
-       Debug( LDAP_DEBUG_TRACE, "=> string_expand: pattern:  %.*s\n", (int)pat->bv_len, pat->bv_val, 0 );
-       Debug( LDAP_DEBUG_TRACE, "=> string_expand: expanded: %s\n", bv->bv_val, 0, 0 );
+       Debug( LDAP_DEBUG_TRACE, "=> acl_string_expand: pattern:  %.*s\n", (int)pat->bv_len, pat->bv_val, 0 );
+       Debug( LDAP_DEBUG_TRACE, "=> acl_string_expand: expanded: %s\n", bv->bv_val, 0, 0 );
 
        return 0;
 }
@@ -2555,7 +2476,7 @@ regex_matches(
                str = "";
        };
 
-       string_expand( &bv, pat, buf, nmatch, matches );
+       acl_string_expand( &bv, pat, buf, nmatch, matches );
        rc = regcomp( &re, newbuf, REG_EXTENDED|REG_ICASE );
        if ( rc ) {
                char error[ACL_BUF_SIZE];