Skip navigation

Crypto-Chain: a relay resilience framework for smart vehicles

Crypto-Chain: a relay resilience framework for smart vehicles

Sani, Abubakar Sadiq, Yuan, Dong, Bertino, Elisa and Dong, Zhao Yang (2021) Crypto-Chain: a relay resilience framework for smart vehicles. In: ACSAC 2021. Annual Computer Security Applications Conference. Dec 6, 2021 - Dec 10, 2021. Austin, Texas, USA. Annual Computer Security Applications Conference (ACSAC) . Association for Computing Machinery (ACM), 1601 Broadway, Times Square, New York City. (In Press)

[img] PDF (Author's accepted manuscript)
33857_SANI_Crypto_Chain.pdf - Published Version
Restricted to Repository staff only

Download (717kB) | Request a copy
Official URL: http://www.acsac.org/

Abstract

Recent findings show that smart vehicles can be exposed to relay attacks resulting from weaknesses in cryptographic operations, such as authentication and key derivation, or poor implementation of these operations. Relay attacks refer to attacks in which authentication is evaded without needing to attack a smart vehicle itself. They are a recurrent problem in practice. In this paper, we formulate the necessary relay resilience settings for strengthening authentication and key derivation and achieving the secure design and efficient implementation of cryptographic protocols based on universal composability, which allows the modular design and analysis of cryptographic protocols. We introduce Crypto-Chain, a relay resilience framework that extends Kusters's universal composition theorem on a fixed number of protocol systems to prevent bypass of cryptographic operations and avoid implementation errors. Our framework provides an ideal crypto-chain functionality that supports several cryptographic primitives. Furthermore, we provide an ideal functionality for mutual authentication and key derivation in Crypto-Chain by which cryptographic protocols can use cryptographic operations, knowledge about the computation time of the operations, and cryptographic timestamps to ensure relay resilience. As a proof of concept, we first propose and implement a mutual authentication and key derivation protocol (MKD) that confirms the efficiency and relay resilience capabilities of Crypto-Chain and then apply Crypto-Chain to fix two protocols used in smart vehicles, namely Megamos Crypto and Hitag-AES/Pro.

Item Type: Conference Proceedings
Title of Proceedings: ACSAC 2021. Annual Computer Security Applications Conference. Dec 6, 2021 - Dec 10, 2021. Austin, Texas, USA.
Uncontrolled Keywords: relay resilience, universal composability, smart vehicles, key exchange, mutual authentication and key derivation
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Q Science > QA Mathematics > QA76 Computer software
T Technology > TL Motor vehicles. Aeronautics. Astronautics
Faculty / School / Research Centre / Research Group: Faculty of Liberal Arts & Sciences
Faculty of Liberal Arts & Sciences > Internet of Things and Security (ISEC)
Related URLs:
Last Modified: 15 Sep 2021 17:57
Selected for GREAT 2016: None
Selected for GREAT 2017: None
Selected for GREAT 2018: None
Selected for GREAT 2019: None
Selected for REF2021: None
URI: http://gala.gre.ac.uk/id/eprint/33857

Actions (login required)

View Item View Item

Downloads

Downloads per month over past year

View more statistics