Vehicular Ad-Hoc Network(VANET)is not only an important part of the Internet of Things(Io T),but also a key research field of driverless technology.It can effectively increase traffic efficiency,promote drivers’ driving experience,and improve traffic intelligent management level.In VANET,due to a large number of vehicles and their high-speed mobility,the vastness of road network coverage,and the complexity of road conditions etc.the communication in VANET faces the challenges of complex communication environment,rapid movement of nodes,and frequent exit and access of communication nodes.A traditional VANET system usually includes two main communication modes:Vehicle to Vehicle(V2V)and Vehicle to Infrastructure(V2I).All of the two kinds of communication are carried out in the wireless communication channel.The openness of the wireless channel makes it vulnerable to various security attacks,such as the eavesdropping,interfering,compiling or replaying attacks.Therefore,a well-designed VANET communication system must meet the security requirements.At the same time,some information(such as emergency braking message)in VANET has strong timeliness and must be processed in time.Therefore,the communication also needs to meet the requirements of efficiency.Starting from the two key requirements of security and efficiency of communication in VANET,based on the full investigation of the existing security communication protocols,and combined with the latest progress of 5G mobile communication technology,this paper focuses on the key challenges faced in secure communication of VANET,such as security information transmission,vehicle identity and trajectory privacy protection,efficient implementation of message authentication algorithm and so on.This paper makes an in-depth study on the implementation of security communication mechanism of VANET.The main research contents and contributions of this paper are reflected in the following aspects.Two existing secure communication protocols for VANET: LIAP and PAHAP are analyzed in detail.In view of the shortcomings of the two protocols in security and efficiency of identity authentication,an improved lightweight identity authentication protocol in VANET(i-LIAP)is proposed.Aiming at the problem that the identity authentication mode of dynamic secret session process(DSSP)in LIAP protocol is vulnerable to parallel session attack,a new asynchronous dynamic secret session process(ADSSP)is proposed.Different from the solution of using two-way DSSP identity authentication to solve parallel session attack as being proposed in PAHAP protocol,ADSSP fundamentally solves the problem of parallel session attack by means of asymmetric data transmission.The analysis shows that ADSSP method not only can effectively meet the security requirements of identity authentication,but also has higher identity authentication efficiency.In view of the security risks and practical feasibility of the distribution of Authentication Sequence(AS)in LIAP protocol and PAHAP protocol,i-LIAP changes the distribution method of authentication sequence from the original TA centralized distribution to the gradual diffusion of RSU.On the one hand,this method avoids the security risk caused by TA’s centralized management of vehicles’ identity authentication sequences.On the other hand,the allocation of AS no longer requires TA to predict the driving trajectory of relevant vehicles in advance,which is more feasible in reality.Aiming at the requirements of high message authentication efficiency and low communication delay brought by 5G mobile communication,a secure D2 D message authentication scheme for 5G-enabled VANETs with complete privacy protection is proposed.The protocol adopts the message authentication technology based on pseudonym and group signature to realize the authentication in V2 I and V2 V communication respectively.At the same time,in order to improve the efficiency of V2 V message authentication,the protocol designs an efficient group signature algorithm based on zero knowledge proof of discrete logarithm.In addition,in order to reduce the calculation time overhead of modular exponentiation in the group signature algorithm,the protocol adopts a pre-computing method,by which the modular exponentiation operation is transformed into modular multiplication and table query operations.This can greatly improve the efficiency of modular exponentiation operation.However,the cost is that it brings about 1024 m storage overhead to the vehicles.The analysis shows that HDMA protocol solves the problem of storage and query overhead for large Certificate Revocation List(CRL)in the existing VANET protocol by combining pseudonym-based signature and group signature technology.At the same time,it realizes the complete protection of vehicles’ identity and trajectory privacy.Aiming at the shortcomings of the existing secure communication protocol in VANETs that use single message authentication technology,based on the pseudonym based and group-signature based message authentication protocols,a hybrid message authentication protocol against framing attack for VANETs is proposed.In order to improve the efficiency of V2 V message communication,the protocol proposes a secure and efficient group signature message authentication algorithm based on bilinear pairing,in which only two bilinear pairing equations are used to realize the signature and verification of messages.Compared with the existing protocols based on the short group signature algorithm proposed by Boneh,the group signature algorithm has better computational efficiency.In addition,in order to improve the security of the protocol,an anti-framing factor is embedded in the group signature message authentication algorithm.So that even in case that some Road-Side Units(RSU)are invaded,the vehicles can still resist the framing attack.The security and computing performance analysis shows that SEMA protocol has good computing and communication performance both on the vehicles and RSU.Finally,NS3 and SUMO simulation shows that SEMA can also meet the requirements of secure communication in real traffic scenario. |