Fast authentication mechanism with provable correctness for cluster-based VANETs
Article first published online: 14 JUN 2013
Copyright © 2013 John Wiley & Sons, Ltd.
Security and Communication Networks
Volume 7, Issue 6, pages 1016–1030, June 2014
How to Cite
Lee, J.-S. and Huang, Y.-C. (2014), Fast authentication mechanism with provable correctness for cluster-based VANETs. Security Comm. Networks, 7: 1016–1030. doi: 10.1002/sec.818
- Issue published online: 24 APR 2014
- Article first published online: 14 JUN 2013
- Manuscript Accepted: 2 MAY 2013
- Manuscript Revised: 25 AUG 2012
- Manuscript Received: 5 SEP 2011
- ad hoc networks;
- BAN logic
Vehicle ad hoc networks are self-configurable networks with dynamic topologies. All involved nodes in vehicle ad hoc networks, including vehicles and roadside devices, have to share the responsibility for achieving handover operation and providing communication services. Such networks are more vulnerable to the malicious attacks than traditional wireless networks because of the shortage of the fixed infrastructure. Moreover, because the vehicles always move from one area to another very quick, how to handle the handover between roadside devices has become a crucial challenge in designing the system. For providing secure and seamless communications in such networks, we develop a robust and fast handover mechanism. We have conducted essential experiments to demonstrate the superiority of the new mechanism to other works. In particular, we have applied the BAN logic model to prove the correctness of mutual authentication between involved participants. Copyright © 2013 John Wiley & Sons, Ltd.