DocumentCode :
2347427
Title :
Verification of Privacy Preserving Authentication Protocol for VANETs
Author :
Chaurasia, Brijesh Kumar ; Keshari, Shruti ; Verma, Shekhar ; Tomar, G.S.
Author_Institution :
Indian Inst. of Inf. Technol., Allahabad, India
fYear :
2010
fDate :
26-28 Nov. 2010
Firstpage :
243
Lastpage :
248
Abstract :
The paper presents verification of privacy preserving authentication protocol for VANETs using SPIN tool. The authentication process involves authentication of the moving vehicle and the corresponding road side unit (RSU) by a fixed infrastructure from (CTA) through RSU. The whole process needs only one request and reply between different entities. The work described the impact of known attack on the protocol, graphically specification, its behavior in terms of reliability and its correctly verification using the integrated specification verifying JSPIN tool.
Keywords :
message authentication; protocols; vehicular ad hoc networks; JSPIN tool; privacy preserving authentication protocol; road side unit; vanet; vehicular ad hoc networks; PROMELA; Vehicular ad hoc networks; road side units; vehicles;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Computational Intelligence and Communication Networks (CICN), 2010 International Conference on
Conference_Location :
Bhopal
Print_ISBN :
978-1-4244-8653-3
Electronic_ISBN :
978-0-7695-4254-6
Type :
conf
DOI :
10.1109/CICN.2010.58
Filename :
5701972
Link To Document :
بازگشت