Function-based connection protocol development and verification for secure communication in vehicle environment

The latest advancement of information communication technology has facilitated the development of multifunctional high-performance vehicular communication system and the great strides in user convenience. Still, due to the nature of inter-vehicle communication and that of the communication system between internal and external devices, problems of intruders’ attacks arise in transmission sections. Any successful attack on vehicular operating, steering, controlling and imaging systems by intruders would end up in grave safety and privacy issues. In this regard, the need for safe and secure vehicular communication is considered important. In the same vein, the importance of research on hardware security and secure communication protocols is emphasized. This Paper designed a secure vehicular communication protocol using hash locks, random numbers and time-stamps. The proposed protocol was experimentally tested with the formal verification tool Casper/FDR and proved to be secure against diverse attacks from intruders. In brief, the proposed protocol turned out to be safe against deadlock and livelock and to finish without trouble.