Establishing End-to-End Secure Channel for IoT Devices through an Untrusted C-ITS Network

Simon Bouget, Shahid Raza, Martin Furuhed

2021

Abstract

Critical infrastructure is becoming increasingly connected, with tighter integration to the Internet of Things (IoT). Transportation systems in particular are getting smarter with increased cooperation between vehicles and the supporting infrastructure (V2X communications), and with intelligent devices introduced in the ecosystem, either tightly integrated to the vehicle (e.g. ECUs, cameras, ...) or external sensors (e.g. temperature sensor in an attached container, smart traffic light, ...). A number of communication and security protocols are being standardized for this Cooperative Intelligent Transport Systems (C-ITS). However, using the current C-ITS standards, the security of individual devices may terminate at the gateway of a vehicle, and consequently in most existing vehicles, individual systems leak sensitive data across vendors. In this paper, we propose an end-to-end security architecture between C-ITS devices and back-end servers, in which sensitive data from individual devices can be transmitted without trusting third-parties providing the communication infrastructure (e.g. proxies, vehicle gateways, routers). The proposed solution is a standard-based integrated system that exploits recent IoT security standards and ensures inter-operability between C-ITS protocols and conventional Internet protocols. We perform a formal analysis of our architecture using the Tamarin Prover and show that it guarantees the secrecy and authenticity of the communications under adversarial settings.

Paper Citation

in Harvard Style

Bouget S., Raza S. and Furuhed M. (2021). Establishing End-to-End Secure Channel for IoT Devices through an Untrusted C-ITS Network. In Proceedings of the 7th International Conference on Vehicle Technology and Intelligent Transport Systems - Volume 1: VEHITS, ISBN 978-989-758-513-5, pages 562-570. DOI: 10.5220/0010462305620570

in Bibtex Style

@conference{vehits21,
author={Simon Bouget and Shahid Raza and Martin Furuhed},
title={Establishing End-to-End Secure Channel for IoT Devices through an Untrusted C-ITS Network},
booktitle={Proceedings of the 7th International Conference on Vehicle Technology and Intelligent Transport Systems - Volume 1: VEHITS,},
year={2021},
pages={562-570},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0010462305620570},
isbn={978-989-758-513-5},
}

in EndNote Style

TY - CONF

JO - Proceedings of the 7th International Conference on Vehicle Technology and Intelligent Transport Systems - Volume 1: VEHITS,
TI - Establishing End-to-End Secure Channel for IoT Devices through an Untrusted C-ITS Network
SN - 978-989-758-513-5
AU - Bouget S.
AU - Raza S.
AU - Furuhed M.
PY - 2021
SP - 562
EP - 570
DO - 10.5220/0010462305620570