An Efficient Batch Verification Protocol for Value Added Services | IEEE Conference Publication | IEEE Xplore