A Decentralized Authenticated Key Agreement Scheme Based on Smart Contract for Securing Vehicular Ad-Hoc Networks

被引:7
作者
Wei, Lu [1 ,2 ,3 ]
Cui, Jie [1 ,2 ,3 ]
Zhong, Hong [1 ,2 ,3 ]
Bolodurina, Irina [4 ]
Gu, Chengjie [5 ]
He, Debiao [6 ,7 ]
机构
[1] Anhui Univ, Sch Comp Sci & Technol, Minist Educ, Key Lab Intelligent Comp & Signal Proc, Hefei 230601, Peoples R China
[2] Anhui Univ, Anhui Engn Lab IoT Secur Technol, Hefei 230039, Peoples R China
[3] Anhui Univ, Inst Phys Sci & Informat Technol, Hefei 230601, Peoples R China
[4] Orenburg State Univ, Fac Math & Informat Technol, Orenburg 460018, Russia
[5] New H3C Grp, Secur Res Inst, Hefei 230088, Peoples R China
[6] Wuhan Univ, Sch Cyber Sci & Engn, Wuhan 430072, Peoples R China
[7] MatrixElements Technol, Shanghai Key Lab Privacy Preserving Comp, Shanghai 201204, Peoples R China
基金
中国国家自然科学基金;
关键词
Authenticated key agreement; decentralization; public blockchain; security and privacy; smart contract; VANETs; EFFICIENT; PROTOCOL;
D O I
10.1109/TMC.2023.3288930
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
Since the communication channels in vehicular ad-hoc networks (VANETs) are wireless and open, malicious adversaries can monitor or fabricate messages transmitted across them. To secure vehicular communications, an authenticated key agreement (AKA) scheme needs to be designed for VNAETs. Traditional VANETs AKA schemes require the trusted authority (TA) to authenticate the legality of message and corresponding sender. However, the TA in these schemes is vulnerable to suffer from single-point-of-failure issues. Some blockchain-based VANETs AKA schemes have been proposed recently to address the deficiency. However, these schemes rely on the consortium or private blockchain in which TAs are still required for key generation, resulting that the practicality is limited. To solve the issue, we design a smart contract-based VANETs AKA scheme, where the AKA algorithm of our proposed scheme is implemented on smart contract deployed on a public blockchain system and the TA that is responsible for key generation will not be required. The security proof and analysis show that our proposed scheme satisfies the session-key semantic security and essential security and privacy requirements, respectively. The performance analysis demonstrates that our proposed scheme outperforms existing blockchain-based VANETs AKA schemes.
引用
收藏
页码:4318 / 4333
页数:16
相关论文
共 33 条
  • [1] Provably Secure Escrow-Less Chebyshev Chaotic Map-Based Key Agreement Protocol for Vehicle to Grid Connections With Privacy Protection
    Abbasinezhad-Mood, Dariush
    Ostad-Sharif, Arezou
    Mazinani, Sayyed Majid
    Nikooghadam, Morteza
    [J]. IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, 2020, 16 (12) : 7287 - 7294
  • [2] [Anonymous], OMNET DISCRETE EVENT
  • [3] [Anonymous], 2020, NIST Special Publication 800-63B
  • [4] [Anonymous], 2021, Smart contract
  • [5] [Anonymous], Simulation of Urban Mobility (SUMO)
  • [6] [Anonymous], 2022, Truffle suite: A world class development environment, testing framework and asset pipeline for blockchains using the Ethereum virtual machine
  • [7] [Anonymous], 2022, Web3.js: Ethereum Javascript API
  • [8] [Anonymous], The open source vehicular network simulation framework
  • [9] [Anonymous], 2022, Ganache: A personal Ethereum blockchain
  • [10] Canetti R, 2002, LECT NOTES COMPUT SC, V2332, P337