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

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

doi:10.1109/ICCWorkshops50388.2021.9473591

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

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

Electrical Engineering

United Arab Emirates University

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

22 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 language	British English
Title of host publication	2021 IEEE International Conference on Communications Workshops, ICC Workshops 2021 - Proceedings
Publisher	Institute of Electrical and Electronics Engineers Inc.
ISBN (Electronic)	9781728194417
DOIs	https://doi.org/10.1109/ICCWorkshops50388.2021.9473591
State	Published - Jun 2021
Event	2021 IEEE International Conference on Communications Workshops, ICC Workshops 2021 - Virtual, Online Duration: 14 Jun 2021 → 23 Jun 2021

Publication series

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

Conference

Conference	2021 IEEE International Conference on Communications Workshops, ICC Workshops 2021
City	Virtual, Online
Period	14/06/21 → 23/06/21

UN SDGs

This output contributes to the following UN Sustainable Development Goals (SDGs)

SDG 9 Industry, Innovation, and Infrastructure
SDG 11 Sustainable Cities and Communities

Keywords

Cooperative Communication
IoT Application
Key-Exchange Distribution

Access to Document

10.1109/ICCWorkshops50388.2021.9473591

OpenUrl availability

Full text

Cite this

Al-Hamadi, H., Nasir, N., Yeun, C. Y., & Damiani, E. (2021). A Verified Protocol for Secure Autonomous and Cooperative Public Transportation in Smart Cities. In 2021 IEEE International Conference on Communications Workshops, ICC Workshops 2021 - Proceedings Article 9473591 (2021 IEEE International Conference on Communications Workshops, ICC Workshops 2021 - Proceedings). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/ICCWorkshops50388.2021.9473591

Al-Hamadi, Hussam ; Nasir, Nida ; Yeun, Chan Yeob et al. / A Verified Protocol for Secure Autonomous and Cooperative Public Transportation in Smart Cities. 2021 IEEE International Conference on Communications Workshops, ICC Workshops 2021 - Proceedings. Institute of Electrical and Electronics Engineers Inc., 2021. (2021 IEEE International Conference on Communications Workshops, ICC Workshops 2021 - Proceedings).

@inproceedings{0e48903b9d3d405788f091054bc29af0,

title = "A Verified Protocol for Secure Autonomous and Cooperative Public Transportation in Smart Cities",

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.",

keywords = "Cooperative Communication, IoT Application, Key-Exchange Distribution",

author = "Hussam Al-Hamadi and Nida Nasir and Yeun, \{Chan Yeob\} and Ernesto Damiani",

note = "Publisher Copyright: {\textcopyright} 2021 IEEE.; 2021 IEEE International Conference on Communications Workshops, ICC Workshops 2021 ; Conference date: 14-06-2021 Through 23-06-2021",

year = "2021",

month = jun,

doi = "10.1109/ICCWorkshops50388.2021.9473591",

language = "British English",

series = "2021 IEEE International Conference on Communications Workshops, ICC Workshops 2021 - Proceedings",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

booktitle = "2021 IEEE International Conference on Communications Workshops, ICC Workshops 2021 - Proceedings",

address = "United States",

}

Al-Hamadi, H, Nasir, N, Yeun, CY & Damiani, E 2021, A Verified Protocol for Secure Autonomous and Cooperative Public Transportation in Smart Cities. in 2021 IEEE International Conference on Communications Workshops, ICC Workshops 2021 - Proceedings., 9473591, 2021 IEEE International Conference on Communications Workshops, ICC Workshops 2021 - Proceedings, Institute of Electrical and Electronics Engineers Inc., 2021 IEEE International Conference on Communications Workshops, ICC Workshops 2021, Virtual, Online, 14/06/21. https://doi.org/10.1109/ICCWorkshops50388.2021.9473591

A Verified Protocol for Secure Autonomous and Cooperative Public Transportation in Smart Cities. / Al-Hamadi, Hussam; Nasir, Nida; Yeun, Chan Yeob et al.
2021 IEEE International Conference on Communications Workshops, ICC Workshops 2021 - Proceedings. Institute of Electrical and Electronics Engineers Inc., 2021. 9473591 (2021 IEEE International Conference on Communications Workshops, ICC Workshops 2021 - Proceedings).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

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

AU - Al-Hamadi, Hussam

AU - Nasir, Nida

AU - Yeun, Chan Yeob

AU - Damiani, Ernesto

PY - 2021/6

Y1 - 2021/6

N2 - 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.

AB - 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.

KW - Cooperative Communication

KW - IoT Application

KW - Key-Exchange Distribution

UR - https://www.scopus.com/pages/publications/85112820563

U2 - 10.1109/ICCWorkshops50388.2021.9473591

DO - 10.1109/ICCWorkshops50388.2021.9473591

M3 - Conference contribution

AN - SCOPUS:85112820563

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

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

PB - Institute of Electrical and Electronics Engineers Inc.

T2 - 2021 IEEE International Conference on Communications Workshops, ICC Workshops 2021

Y2 - 14 June 2021 through 23 June 2021

ER -

Al-Hamadi H, Nasir N, Yeun CY , Damiani E. A Verified Protocol for Secure Autonomous and Cooperative Public Transportation in Smart Cities. In 2021 IEEE International Conference on Communications Workshops, ICC Workshops 2021 - Proceedings. Institute of Electrical and Electronics Engineers Inc. 2021. 9473591. (2021 IEEE International Conference on Communications Workshops, ICC Workshops 2021 - Proceedings). doi: 10.1109/ICCWorkshops50388.2021.9473591

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

Abstract

Publication series

Conference

UN SDGs

Keywords

Access to Document

OpenUrl availability

Other files and links

Fingerprint

Cite this