Server–aided aggregate verification signature: security definition and construction. (10th April 2015)