An Efficient and Provably Secure Authenticated Key Agreement Protocol for Fog-Based Vehicular Ad-Hoc Networks
- 3 March 2019
- journal article
- research article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Internet of Things Journal
- Vol. 6 (5), 8065-8075
- https://doi.org/10.1109/jiot.2019.2902840
Abstract
The maturity of cloud computing, the Internet of Things technology, and intelligent transportation system has promoted the rapid development of vehicular ad-hoc networks (VANETs). To keep pace with real-world demands (mobility, low latency, etc.) in a practical VANETs deployment, there have been attempts to integrate fog computing with VANETs. To facilitate secure interaction in fog-based VANETs, we design a new authenticated key agreement protocol without bilinear pairing. This protocol achieves mutual authentication, generates a securely agreed session key for secret communication, and supports privacy protection. We also give a strict formal security proof and demonstrate how the proposed protocol meets the security requirements in the fog-based VANETs. We then evaluate the efficiency of the proposed protocol, and it shows the practicality of the protocol.Keywords
Funding Information
- National Natural Science Foundation of China (61572379, 61572370, 61872192)
- Henan University of Technology (31401164)
- Natural Science Foundation of Jiangsu Province (BK20181394)
- Qing Lan Project of Jiangsu Province
- Nanjing University of Posts and Telecommunications
- Cloud Technology Endowed Professorship
This publication has 38 references indexed in Scilit:
- A Fog-Based DSS Model for Driving Rule Violation Monitoring Framework on the Internet of ThingsInternational Journal of Advanced Science and Technology, 2015
- An Efficient Identity-Based Conditional Privacy-Preserving Authentication Scheme for Vehicular Ad Hoc NetworksIEEE Transactions on Information Forensics and Security, 2015
- Message Authentication Using Proxy Vehicles in Vehicular Ad Hoc NetworksIEEE Transactions on Vehicular Technology, 2015
- A secure authentication scheme for VANETs with batch verificationWireless Networks, 2014
- New Publicly Verifiable Databases with Efficient UpdatesIEEE Transactions on Dependable and Secure Computing, 2014
- New Algorithms for Secure Outsourcing of Large-Scale Systems of Linear EquationsIEEE Transactions on Information Forensics and Security, 2014
- A survey on vehicular cloud computingJournal of Network and Computer Applications, 2014
- An anonymous multi-server authenticated key agreement scheme based on trust computing using smart cards and biometricsExpert Systems with Applications, 2014
- Toward a secure batch verification with group testing for VANETWireless Networks, 2013
- Authenticated Key Exchange Secure against Dictionary AttacksLecture Notes in Computer Science, 2000