Search

The rapid advancements in computer systems and wireless sensor networks (WSNs) motivate many intelligent transportation systems (ITSs) applications in smart cities, such as vehicular ad hoc networks (VANETs). The WSN supports data exchange between mobile vehicles and servers to provide effective traffic control and smooth service for VANET users. However, the vehicle environment still faces many challenges. One of the VANET concerns is the privacy and security of data flows from heterogeneous systems. Therefore, we suggest a Provably Online/Offline Signcryption (POOSC) protocol for vehicular communication in VANET to preserve data confidentiality and ciphertext unforgeability. In this architecture, the transmitter registered in the Identity-Based Cryptosystems (IBC) environment can safely and efficiently communicate with the receiver in the Public-Key Infrastructure (PKI) environment despite the limitations and challenges of heterogeneous systems. In a Random Oracle Model (ROM), we show that our protocol is safe against Indistinguishability-Adaptive Chosen-Ciphertext Attacks (IND-CCA2) under the Computational Diffie–Hellman (CDH) assumption and Existential Unforgeability-Adaptive Chosen Message Attacks (EUF-CMA) under the Discret-Logarithm (DL) assumption. Moreover, the POOSC protocol overcomes the certificate authority burden. Besides, we designed the POOSC protocol with a free pairing that achieves low computation cost and better scalability for VANET environments. The POOSC effectively meets non-repudiation, integrity, and authentication in a logically single step. [ABSTRACT FROM AUTHOR]

The autonomous vehicles emergence is a significant step forward in the development of safe and dependable intelligent transportation systems. In vehicular automation, digital connectivity has been one of the most critical specifications. In this paper, we focus on the autonomous train, which is one of the most rapidly growing applications of autonomous vehicles. In this context, we address the issue of safety by the proposition of Enhanced Train-centric Communication-Based Train Control (ETcCBTC), which provides efficient control of rail traffic. To ensure the operation's safety, we've implemented a new safety-checking approach based on process algebra, which aims to track and correct in real time the train behavior. The proposed ETcCBTC system's performance is tested using extensive simulations and compared to CBTC and TcCBTC. In terms of checking success, transmission load, and response time, the obtained results demonstrate that ETcCBTC outperforms the concurrent systems. [ABSTRACT FROM AUTHOR]