Divertible protocols and atomic proxy cryptography
Zero knowledge proofs of identity