Universal accumulators with efficient nonmembership proofs
Group signatures with verifier-local revocation