Group signature

Essential to a group signature scheme is a group manager, who is in charge of adding group members and has the ability to reveal the original signer in the event of disputes. In some systems the responsibilities of adding members and revoking signature anonymity are separated and given to a membership manager and revocation manager respectively. Many schemes have been proposed, however all should follow these basic requirements:

Soundness and completeness

Valid signatures by group members always verify correctly, and invalid signatures always fail verification.

Unforgeable

Only members of the group can create valid group signatures.

Anonymity

Given a message and its signature, the identity of the individual signer cannot be determined without the group manager's secret key.

Traceability

Given any valid signature, the group manager should be able to trace which user issued the signature. (This and the previous requirement imply that only the group manager can break users' anonymity.)

Unlinkability

Given two messages and their signatures, we cannot tell if the signatures were from the same signer or not.

No framing

Even if all other group members (and the managers) collude, they cannot forge a signature for a non-participating group member.

Unforgeable tracing verification

The revocation manager cannot falsely accuse a signer of creating a signature he did not create.

Coalition resistance

A colluding subset of group members cannot generate a valid signature that the group manager cannot link to one of the colluding group members.

The ACJT 2000, BBS04, and BS04 (in CCS) group signature schemes are some of the state of the art. (Note: this might be an incomplete list.)

Boneh, Boyen and Shacham published in 2004 (BBS04, Crypto04) a novel group signature scheme based on bilinear maps. Signatures in this scheme are approximately the size of a standard RSA signature (around 200 bytes). The security of the scheme is proven in the random oracle model and relies on the Strong Diffie Hellman assumption (SDH) and a new assumption in bilinear groups called the Decision linear assumption (DLin).

A more formal definition that is geared towards provable security was given by Bellare, Micciancio and Warinschi.