A Verified Protocol for Secure Autonomous and Cooperative Public Transportation in Smart Cities

Hussam Al-Hamadi, Nida Nasir, Chan Yeob Yeun, Ernesto Damiani

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

16 Scopus citations

Abstract

This paper presents a new secure communication scheme for an Intelligent Public Transportation System (IPTS). The proposed scheme generates a cryptographic key and aims to share it among the ATSoI's participant entities securely. It mitigates several cyber-threats such as; DoS attack, replay attack, Man-In-The-Middle Attack, and eavesdropping activities with more potential occurrences in such cooperative systems. Moreover, it relies on a nonce instead of a timestamp to avoid time synchronization problems. Thus, it provides mutual authentication, confidentiality, message integrity, the privacy of the entities' IDs, and checking the entities' availability. A formal verification tool (ProVerif) is used to validate the proposed protocol's security robustness through two main steps. Firstly, coding of the proposed protocol using ProVerif syntax. Secondly, performing the analysis of the attack trace for the failure queries.

Original languageBritish English
Title of host publication2021 IEEE International Conference on Communications Workshops, ICC Workshops 2021 - Proceedings
PublisherInstitute of Electrical and Electronics Engineers Inc.
ISBN (Electronic)9781728194417
DOIs
StatePublished - Jun 2021
Event2021 IEEE International Conference on Communications Workshops, ICC Workshops 2021 - Virtual, Online
Duration: 14 Jun 202123 Jun 2021

Publication series

Name2021 IEEE International Conference on Communications Workshops, ICC Workshops 2021 - Proceedings

Conference

Conference2021 IEEE International Conference on Communications Workshops, ICC Workshops 2021
CityVirtual, Online
Period14/06/2123/06/21

Keywords

  • Cooperative Communication
  • IoT Application
  • Key-Exchange Distribution

Fingerprint

Dive into the research topics of 'A Verified Protocol for Secure Autonomous and Cooperative Public Transportation in Smart Cities'. Together they form a unique fingerprint.

Cite this