• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Vehicular Communications >Continuous authentication for VANET
【24h】

Continuous authentication for VANET

机译：vanet连续身份验证

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Vehicular Ad-hoc Network (VANET) services use a range of information, such as traffic conditions and location information, for safe and convenient driving. Information exchange in VANET happens in Vehicle-to-Infrastructure (V2I) and Vehicle-to-Vehicle (V2V) communication modes. Several V2I and V2V authentication protocol suites are proposed to protect the information from attacks, namely replay, masquerading and man-in-the-middle. This paper identifies critical weaknesses in the protocols proposed for V2I and V2V communication modes and proposes a new protocol suite as a countermeasure. Our protocol suite is composed of driver authentication, V2I and V2V key exchanges, information exchange, offline password change and vehicle complain protocols. Our V2I key exchange protocol facilitates handoff capability to ensure continuous authentication when vehicles move from the coverage of one roadside unit (RSU) to another. The protocol also assures detectability to denial-of-service (DoS). Our V2V key exchange protocol enables vehicles to verify the time-bounded validity of certificates of vehicles and integrity of keys. We use the random oracle model to prove the security of our key exchange protocols and prove various security attributes of the protocols informally. Tamarin tool is used to formally verify the security properties of our driver authentication and key exchange protocols. Performance comparisons show that our driver authentication and key exchange protocols assure lesser computation overhead and more functional attributes than the existing protocols. Simulation performance ensures the fast key dissemination capability of our protocol suite. (C) 2020 Elsevier Inc. All rights reserved.
机译：车辆ad-hoc网络（vanet）服务使用一系列信息，如交通状况和位置信息，用于安全方便。 VANET中的信息交换发生在车辆到基础设施（V2I）和车辆到车辆（V2V）通信模式中。提出了几种V2I和V2V认证协议套件，以保护信息免受攻击，即重播，伪装和中间人的攻击。本文识别为V2I和V2V通信模式提出的协议中的关键缺陷，并提出了一种新的协议套件作为对策。我们的协议套件由驱动程序认证，V2I和V2V密钥交换，信息交换，离线密码更改和车辆申诉协议组成。我们的V2I密钥交换协议有助于切换能力，以确保当车辆从一个路边单元（RSU）的覆盖范围移动到另一个路边单位（RSU）的覆盖范围时，确保连续身份验证。该协议还确保可检测到拒绝服务（DOS）。我们的V2V密钥交换协议使车辆能够验证车辆证书的有效性和键的完整性。我们使用随机Oracle模型来证明我们的密钥交换协议的安全性，并非正式地证明协议的各种安全属性。 Tamarin工具用于正式验证我们的驱动程序身份验证和密钥交换协议的安全性属性。性能比较表明，我们的驱动程序身份验证和密钥交换协议确保较小的计算开销和比现有协议更常用的属性。仿真性能可确保我们协议套件的快速关键传播能力。 （c）2020 Elsevier Inc.保留所有权利。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号