Describir: A Bilinear Mapping Based Ring Signature Scheme with Batch Verification for Applications in VANETs