Trupil Limbasiya, Debasis Das: Secure message confirmation scheme based on batch verification in vehicular cloud computing. Phys. Commun. 34: 310-320 (2019)