Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Brijesh Kumar Chaurasia"'
Publikováno v:
2010 International Conference on Computational Intelligence and Communication Networks.
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 fr