دانلود رایگان ترجمه مقاله آنالیز طرح امنیتی احراز هویت وسیله نقلیه توسط RSU ها در وانت (نشریه اسپرینگر 2016)

آنالیز طرح امنیتی احراز هویت وسیله نقلیه توسط RSU ها در وانت

A secure analysis of vehicular authentication security scheme of RSUs in VANET

Abstract

The Vehicular Ad-Hoc Network (VANET) is a network to provide communication between nearby V2V (Vehicular to vehicular) and V2I(Vehicular to Infrastructure). In order to increase the network efficiency, it is required to have stability of transmission and security of reliability. In this paper, we propose a novel Vehicular Authentication Security Scheme (VASS) guaranteeing secure RSUs (Roadside Units) to OBUs(On-Board Units) in VANET on the basis of the ID-based authentication scheme using hi-pass card (or highway pass ticket) and license plate number. We show a usefulness and effectiveness of VASS after analyzed by the Petri nets.

1 Introduction

In Vehicular Ad-Hoc Network(VANET)s, it includes the communication between vehicles and the communication with the Roadside Units (RSUs) installed in major regions. In particular, data such as vehicle location, current time, direction, speed, traffic volume remarks, acceleration and deceleration is distributed by On-Board Units (OBUs) in the VANET. According to such data, VANET plays the role of smoothly manipulating road traffic volume through traffic flow control, accident prevention countermeasures, solution for complicated traffic volume and announcement of alternate roads [1–11].

In the VANET, it is one of the important problems to authenticated vehicle successfully. Raya et al. [9] proposed an authenticated method using large numbers of anonymous public and private key pairs, but this work needs high computation cost and high storage cost. Lu et al. [10] introduced ECPP(Efficient Conditional Privacy Preservation) protocol for VANETs which has three levels of user privacy, to achieve authentication, anonymity, and untraceability. In ECPP, RSUs are responsible for issuing temporary public key certificates to vehicles. However, ECPP uses the signatures and public key certificates on each message resulting in high computation cost for verifying the message. Zhang et al. [11] proposed RAISE (RSU-aided messages authentication scheme) method using the symmetric key hash message authentication code (HMAC) to reduce the signature cost. In [8], PPAS(Privacy preservation authentication scheme) was proposed for V2I (Vehicular to Infrastructure) communication environments which has a lightweight authentication. As mentioned above [8–11], we found that designing a security and privacy preservation authentication scheme with low computation and authentication latency in VANET still remains as a major challenge.

This study focuses on the authentication problem on each vehicle in the communication between vehicles in the high way environment. In other words, definite authentication on vehicles in the communication occurred between vehicles not only prevents accidents but can also be used as basic data for post-accident responsibility matters. Especially, it is necessary to a mutually different ID(identity) in the communication between vehicles, the transmission/reception media should not be tampered, and confidentiality for the communication messages between entities be guaranteed. In order to show the safety efficiency on the security, a novel security mechanism has been proposed for VANET and is verified a usefulness and effectiveness by modeling the Petri Net. Petri nets [12] as a graphical and mathematical tools, are a uniform environment for modeling, analysis, and control of complex systems. The modeling of Petri nets may detect flaws and errors in the security scheme design, and subsequently improve the correctness of the security protocol. We used Petri nets in the security analysis of the proposed scheme.

The remainder of the paper is organized as follows. Followed by the introduction of Sect. 1, Sect. 2 deals with the preliminaries and assumption for this works, Sect. 3 explains about Vehicular Authentication Security Scheme (VASS) proposed in this study. In Sect. 4, models with Petri Net, and through this, proposes how smoothly the mechanism that varies frequently according to the security purpose can be applied. Section 5 explains about future research assignments along with the conclusion of this study