A Batch Verification for Multiple Proxy Signature.

Shiang-Feng Tzeng Cheng-Chi Lee Min-Shiang Hwang

Published in: Parallel Process. Lett. (2011)

Keyphrases

model checking
database systems
formal verification
proxy signature scheme