A Provably Secure Server-Aided Verification Signature | IEEE Conference Publication | IEEE Xplore