Check out the new USENIX Web site.
Next: Revocation in Group Signature Up: Group Signature Schemes and Previous: Coalition-Resistance

Security Arguments

Theorem 1   Under the assumption that a smart card is tamper-resistant, the group signature scheme proposed in section 3.1 is secure.


\begin{proof}\textit{(sketch of)}\\ We have to show that our scheme satisfies a... ...ature.\\ (vii) Coalition-Resistance: see the remark in section 3.2. \end{proof}