Shi-Jinn Horng et al.: b-SPECS+: Batch Verification for Secure Pseudonymous Authentication in VANET. (2013)journals/tifs/HorngTPFWLK1310.1109/TIFS.2013.2277471b-SPECS+: Batch Verification for Secure Pseudonymous Authentication in VANET.7Shi-Jinn Horng1Shiang-Feng Tzeng2Yi Pan 00013Pingzhi Fan4Xian Wang 00025Tianrui Li 00016Muhammad Khurram Khan71860-1875IEEE Trans. Inf. Forensics Secur.IEEE Trans. Inf. Forensics Secur.8112013provenance information for RDF data of dblp record 'journals/tifs/HorngTPFWLK13'2023-09-30T10:28:40+0200