Server-Aided Verification Signature with Privacy for Mobile Computing

Algorithm 1

with message privacy based on Waters signature.

  Verifier (param, )        Server (param)

Input: (, = (, )), pk = (, PK)

  = ,

, =

                   = , ,

                   = , )

Output:

, if = ;

, if otherwise.