An efficient and secure navigation protocol based on vehicular cloud

Vehicular cloud is the new paradigm of vehicular ad hoc networks (VANETs), which not only takes the recent advance of vehicular technology, but also keeps up with the trend of cloud computing for big data processing and complicated intelligent analysis over VANET environments. In this paper, we present a model for secure navigation systems based on vehicular cloud, which fully utilizes the advantages of cloud computing. In particular, we make up for the limitations of prior VANET-based secure navigation protocols and provide a stronger notion of security for secure navigation services in terms of insider threats and data leakage points of view. We propose a new secure and privacy-preserving navigation protocol based on vehicular cloud, which resolves the limitations of previous approaches. Moreover, the proposed protocol is highly efficient because it does not rely on bilinear pairing operations unlike prior secure navigation protocols in the literature. We demonstrate comprehensive analysis to confirm the fulfilment of the security objectives and the efficiency of the proposed protocol.