Batch Verification and Finding Invalid Signatures in a Group Signature Scheme.

Kitae Kim Ikkwon Yie Seongan Lim Daehun Nyang

Published in: Int. J. Netw. Secur. (2011)

Keyphrases

group signature scheme
signature scheme
signature verification
model checking
formal verification