With the rapid advancement of wireless technology in the automotive industry, vehicles have become increasingly interconnected. It is crucial that the communication and authentication protocols employed achieve a certain level of privacy. Very often, the privacy properties of these protocols are studied in an ad hoc or informal manner, leading to varying interpretations among different authors due to the absence of a unified model. In this paper, we address this gap by proposing a formal and unified approach to analyzing privacy in automotive communication systems. Drawing inspiration from the Hermans-Pashalidis-Vercauteren-Preneel (HPVP) model [2] and Vaudenay’s model used in RFID technology, we introduce the first comprehensive privacy model specifically designed for the automotive sector. This model provides a structured basis for evaluating security and privacy properties, ensuring consistency and clarity across different studies. Additionally, we propose an automotive scheme similar to the PKE protocol that Vaudenay introduced in his work. We prove that our scheme achieves security and narrow-forward privacy within the context of the proposed model. Our work not only establishes a foundational step towards enhancing privacy standards in automotive wireless communications but also paves the way for future research to build upon this unified structure. By standardizing the analysis of privacy, we aim to improve security, reliability, and trust in the development of interconnected vehicular networks.

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

A Security and Privacy Model for Automotive

  • Teodor-Cosmin Curcudel

摘要

With the rapid advancement of wireless technology in the automotive industry, vehicles have become increasingly interconnected. It is crucial that the communication and authentication protocols employed achieve a certain level of privacy. Very often, the privacy properties of these protocols are studied in an ad hoc or informal manner, leading to varying interpretations among different authors due to the absence of a unified model. In this paper, we address this gap by proposing a formal and unified approach to analyzing privacy in automotive communication systems. Drawing inspiration from the Hermans-Pashalidis-Vercauteren-Preneel (HPVP) model [2] and Vaudenay’s model used in RFID technology, we introduce the first comprehensive privacy model specifically designed for the automotive sector. This model provides a structured basis for evaluating security and privacy properties, ensuring consistency and clarity across different studies. Additionally, we propose an automotive scheme similar to the PKE protocol that Vaudenay introduced in his work. We prove that our scheme achieves security and narrow-forward privacy within the context of the proposed model. Our work not only establishes a foundational step towards enhancing privacy standards in automotive wireless communications but also paves the way for future research to build upon this unified structure. By standardizing the analysis of privacy, we aim to improve security, reliability, and trust in the development of interconnected vehicular networks.