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
N1 - Publisher Copyright:
© 2021 IEEE.
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 - http://www.scopus.com/inward/record.url?scp=85112820563&partnerID=8YFLogxK
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 -
