An Efficient Identity-Based Proxy Blind Signature for Semioffline Services

Algorithm 3

.

,

is the successful interaction number between and

return true iff

for and

and