dc.contributor | 資科系 | - |
dc.creator (作者) | 左瑞麟 | - |
dc.creator (作者) | Tso, Raylin | - |
dc.creator (作者) | Wu, Tsu‑Yang | - |
dc.creator (作者) | Lee, Zhiyuan | - |
dc.creator (作者) | Yang, Lei | - |
dc.date (日期) | 2021-01 | - |
dc.date.accessioned | 23-十二月-2021 15:40:15 (UTC+8) | - |
dc.date.available | 23-十二月-2021 15:40:15 (UTC+8) | - |
dc.date.issued (上傳時間) | 23-十二月-2021 15:40:15 (UTC+8) | - |
dc.identifier.uri (URI) | http://nccur.lib.nccu.edu.tw/handle/140.119/138321 | - |
dc.description.abstract (摘要) | In recent years, with the development of cloud computing, the Internet of Things (IoT), and other technologies, mobile intelligent transportation systems, particularly the vehicular ad hoc network (VANET), have been growing quickly. Researchers have attempted to use fog computing in VANETs in order to meet real-world requirements for their deployment. Fog computing is an extension of cloud computing, and thus, it inevitably inherits the same security challenges. Further, because VANETs are in an open network environment, they will also face several other potential security and privacy issues. In this study, to promote secure interaction in fog-based VANETs, a new authentication key exchange (AKE) scheme that uses fog nodes as relay nodes has been designed. The scheme completes mutual authentication and generates a session key for later confidential communication. The automatic verification tool ProVerif and the BAN (Burrows–Abadi–Needham) logic were used to formally verify the security of the scheme, and an informal analysis shows that it can resist multiple known attacks. The simulation and analysis results show that the proposed scheme is successful. Finally, performance evaluation shows the effectiveness of the approach. Compared with the previously proposed privacy protection authentication protocols, the results of the proposed scheme are more computationally efficient. | - |
dc.format.extent | 3033343 bytes | - |
dc.format.mimetype | application/pdf | - |
dc.relation (關聯) | The Journal of Supercomputing, Vol.77, pp.6992-7020 | - |
dc.subject (關鍵詞) | IoT ; Authentication ; Key exchange ; VANET | - |
dc.title (題名) | Provably secure authentication key exchange scheme using fog nodes in vehicular ad hoc networks | - |
dc.type (資料類型) | article | - |
dc.identifier.doi (DOI) | 10.1007/s11227-020-03548-9 | - |
dc.doi.uri (DOI) | https://doi.org/10.1007/s11227-020-03548-9 | - |