Secure Key Agreement and Authentication Protocol for Message Confirmation in Vehicular Cloud Computing
With the development of vehicular ad-hoc networks (VANETs) and Internet of vehicles (IoVs), a large amount of useful information is generated for vehicle drivers and traffic management systems. The amount of vehicle and traffic information is as large as the number of vehicles and it is enormous whe...
| Main Authors: | , , , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
MDPI AG
2020-09-01
|
| Series: | Applied Sciences |
| Subjects: | |
| Online Access: | https://www.mdpi.com/2076-3417/10/18/6268 |
| _version_ | 1797554199905435648 |
|---|---|
| author | JoonYoung Lee SungJin Yu MyeongHyun Kim YoungHo Park SangWoo Lee BoHeung Chung |
| author_facet | JoonYoung Lee SungJin Yu MyeongHyun Kim YoungHo Park SangWoo Lee BoHeung Chung |
| author_sort | JoonYoung Lee |
| collection | DOAJ |
| description | With the development of vehicular ad-hoc networks (VANETs) and Internet of vehicles (IoVs), a large amount of useful information is generated for vehicle drivers and traffic management systems. The amount of vehicle and traffic information is as large as the number of vehicles and it is enormous when compared to vehicle calculation and storage performance. To resolve this problem, VANET uses a combined cloud computing technology, called vehicular cloud computing (VCC), which controls vehicle-related data, and helps vehicle drivers directly or indirectly. However, VANETs remain vulnerable to attacks such as tracking, masquerade and man-in-the-middle attacks because VANETs communicate via open networks. To overcome these issues, many researchers have proposed secure authentication protocols for message confirmation with vehicular cloud computing. However, many researchers have pointed out that some proposed protocols use ideal tamper-proof devices (TPDs). They demonstrated that realistic TPDs cannot prevent adversaries attack. Limbasiya et al. presented a message confirmation scheme for vehicular cloud computing using a realistic TPD in order to prevent these problems. However, their proposed scheme still has security weaknesses over a TPD and does not guarantee mutual authentication. This paper proposes a secure key agreement and authentication protocol to address the security weaknesses inherent in the protocol of Limbasiya et al. The suggested protocol withstands malicious attacks and ensures secure mutual authentication for privacy-preserving. We prove that the proposed protocol can provide session key security using Real-Or-Random (ROR) model. We also employed Automated Validation of Internet Security Protocols and Applications (AVISPA) simulation tool to show that the proposed protocol is able to defeat replay and man-in-the-middle attacks. Furthermore, we established that the proposed protocol can resist other malicious attacks by conducting the informal security analysis. We proved that our proposed protocol is lightweight and suitable for VCC environments. |
| first_indexed | 2024-03-10T16:27:19Z |
| format | Article |
| id | doaj.art-53327ca660b54114b2f5741d0d896863 |
| institution | Directory Open Access Journal |
| issn | 2076-3417 |
| language | English |
| last_indexed | 2024-03-10T16:27:19Z |
| publishDate | 2020-09-01 |
| publisher | MDPI AG |
| record_format | Article |
| series | Applied Sciences |
| spelling | doaj.art-53327ca660b54114b2f5741d0d8968632023-11-20T13:06:16ZengMDPI AGApplied Sciences2076-34172020-09-011018626810.3390/app10186268Secure Key Agreement and Authentication Protocol for Message Confirmation in Vehicular Cloud ComputingJoonYoung Lee0SungJin Yu1MyeongHyun Kim2YoungHo Park3SangWoo Lee4BoHeung Chung5School of Electronics Engineering, Kyungpook National University, Daegu 41566, KoreaSchool of Electronics Engineering, Kyungpook National University, Daegu 41566, KoreaSchool of Electronics Engineering, Kyungpook National University, Daegu 41566, KoreaSchool of Electronics Engineering, Kyungpook National University, Daegu 41566, KoreaElectronics and Telecommunications Research Institute, Daejeon 34129, KoreaElectronics and Telecommunications Research Institute, Daejeon 34129, KoreaWith the development of vehicular ad-hoc networks (VANETs) and Internet of vehicles (IoVs), a large amount of useful information is generated for vehicle drivers and traffic management systems. The amount of vehicle and traffic information is as large as the number of vehicles and it is enormous when compared to vehicle calculation and storage performance. To resolve this problem, VANET uses a combined cloud computing technology, called vehicular cloud computing (VCC), which controls vehicle-related data, and helps vehicle drivers directly or indirectly. However, VANETs remain vulnerable to attacks such as tracking, masquerade and man-in-the-middle attacks because VANETs communicate via open networks. To overcome these issues, many researchers have proposed secure authentication protocols for message confirmation with vehicular cloud computing. However, many researchers have pointed out that some proposed protocols use ideal tamper-proof devices (TPDs). They demonstrated that realistic TPDs cannot prevent adversaries attack. Limbasiya et al. presented a message confirmation scheme for vehicular cloud computing using a realistic TPD in order to prevent these problems. However, their proposed scheme still has security weaknesses over a TPD and does not guarantee mutual authentication. This paper proposes a secure key agreement and authentication protocol to address the security weaknesses inherent in the protocol of Limbasiya et al. The suggested protocol withstands malicious attacks and ensures secure mutual authentication for privacy-preserving. We prove that the proposed protocol can provide session key security using Real-Or-Random (ROR) model. We also employed Automated Validation of Internet Security Protocols and Applications (AVISPA) simulation tool to show that the proposed protocol is able to defeat replay and man-in-the-middle attacks. Furthermore, we established that the proposed protocol can resist other malicious attacks by conducting the informal security analysis. We proved that our proposed protocol is lightweight and suitable for VCC environments.https://www.mdpi.com/2076-3417/10/18/6268VANETvehicular cloud computingmessage confirmationcryptanalysismutual authenticationAVISPA |
| spellingShingle | JoonYoung Lee SungJin Yu MyeongHyun Kim YoungHo Park SangWoo Lee BoHeung Chung Secure Key Agreement and Authentication Protocol for Message Confirmation in Vehicular Cloud Computing Applied Sciences VANET vehicular cloud computing message confirmation cryptanalysis mutual authentication AVISPA |
| title | Secure Key Agreement and Authentication Protocol for Message Confirmation in Vehicular Cloud Computing |
| title_full | Secure Key Agreement and Authentication Protocol for Message Confirmation in Vehicular Cloud Computing |
| title_fullStr | Secure Key Agreement and Authentication Protocol for Message Confirmation in Vehicular Cloud Computing |
| title_full_unstemmed | Secure Key Agreement and Authentication Protocol for Message Confirmation in Vehicular Cloud Computing |
| title_short | Secure Key Agreement and Authentication Protocol for Message Confirmation in Vehicular Cloud Computing |
| title_sort | secure key agreement and authentication protocol for message confirmation in vehicular cloud computing |
| topic | VANET vehicular cloud computing message confirmation cryptanalysis mutual authentication AVISPA |
| url | https://www.mdpi.com/2076-3417/10/18/6268 |
| work_keys_str_mv | AT joonyounglee securekeyagreementandauthenticationprotocolformessageconfirmationinvehicularcloudcomputing AT sungjinyu securekeyagreementandauthenticationprotocolformessageconfirmationinvehicularcloudcomputing AT myeonghyunkim securekeyagreementandauthenticationprotocolformessageconfirmationinvehicularcloudcomputing AT younghopark securekeyagreementandauthenticationprotocolformessageconfirmationinvehicularcloudcomputing AT sangwoolee securekeyagreementandauthenticationprotocolformessageconfirmationinvehicularcloudcomputing AT boheungchung securekeyagreementandauthenticationprotocolformessageconfirmationinvehicularcloudcomputing |