Server-Aided Verification Signature with Privacy for Mobile Computing

Algorithm 2

SA verification Signature with message-signature privacy based on BLS signature.

  Verifier (param, )        Server (param)

Input: (, ), pk

, = ,

;

                  ;

Output:

, if = ;

, if otherwise.