Ladislav Huraj Helmut Reiser Efficient Verification of Delegation in Distributed Group Membership Management. 265-280 2004 conf/dbsec/2004 DBSec db/conf/dbsec/dbsec2004.html#HurajR04