Abstract
TLS is currently receiving much attention and seems to be the most promising candidate as a secure protocol for the current and future online services. Many security protocols have been developed to handle security problems in various circumstances. However, these protocols are often limited and related to precised contexts and architectures and cannot answer special application and networks needs such as securing transactions between several vehicles in vehicular networks. In this paper, we propose to extend the Transport Layer Security (TLS) protocol by using ETSI and IEEE certificates to securely exchange data between multiple vehicular network components through a single TLS session. We propose a formal validation of our extension with the HLPSL language using AVISPA. The proposed extension is currently being implemented over OPENSSL.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
European Telecommunications Standards Institute: Intelligent Transport Systems. http://www.etsi.org/technologies-clusters/technologies/intelligent-transport
European Telecommunications Standards Institute: ETSI TS 103 097 V1.2.1: Intelligent Transport Systems (ITS), Security header and certificate formats, June 2015
Intelligent Transportation Systems Committee et al.: IEEE standard for wireless access in vehicular environments-security services for applications and management messages. IEEE Vehicular Technology Society Standard, 1609.2, January 2016
Dierks, T., Rescorla, E.: The Transport Layer Security (TLS) protocol version 1.2. In: IETF, August 2008
Housley, R.: Internet X.509 Public Key Infrastructure, RFC 2459: Network Working Group Request for Comments, January 1999
Barnes, R., Thomson, M., Pironti, A., Langley, A.: Deprecating secure sockets layer version 3.0. In: IETF, June 2015
Eronen, P., Tschofenig, H.: Pre-Shared Key Ciphersuites for Transport Layer Security (TLS), RFC 4279: Network Working Group Request for Comments, December 2005
Thomas, S.A.: SSL and TLS Essentials Securing the Web. Wiley Computer Publishing, Canada (2000)
ITS Security(ISE). http://www.irt-systemx.fr/en/project/ise/
Preparing Secure Vehicle-to-X Communication Systems (PRESERVE). https://www.preserve-project.eu/
Aniss, H.: Overview of an ITS project: SCOOP@F, Communication Technologies for Vehicles, May 2016
Leinmller, T., Buttyan, L., Hubaux, J.-P., et al.: SEVECOM-secure vehicle communication. In: IST Mobile and Wireless Communication Summit (2006)
ITU-T X.696: Information Technology - ASN.1 Encoding Rules: Specification of Octet Encoding Rules (OER), August 2014
Raya, M., Papadimitratos, P., Hubaux, J.-P.: Securing vehicular communications. IEEE Wirel. Commun. Mag., 8–15 (2006). Special Issue on Inter-Vehicular Communications 13.LCA-ARTICLE-2006-015
Share of new cars sold that are connected to the Internet worldwide from 2015 to 2025. http://www.statista.com/statistics/275849/number-of-vehicles-connected-to-the-internet/
Mavrogiannopoulos, N., Gillmor, D.: Using OpenPGP Keys for Transport Layer Security (TLS) Authentication, February 2011
McGrew, D., Bailey, D., Campagna, M., Dugal, R.: AES-CCM Elliptic Curve Cryptography (ECC) Cipher Suites for TLS, June 2014
Automated Validation of Internet Security Protocols and Applications (AVISPA). http://www.avispa-project.org/
Acknowledgment
This research work has been conducted in cooperation with members of the ITS Security (ISE) project.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this paper
Cite this paper
Msahli, M., Serhrouchni, A., Labiod, H., Kaiser, A., Lonc, B. (2017). TLS for Cooperative ITS Services. In: Peng, SL., Lee, GL., Klette, R., Hsu, CH. (eds) Internet of Vehicles. Technologies and Services for Smart Cities. IOV 2017. Lecture Notes in Computer Science(), vol 10689. Springer, Cham. https://doi.org/10.1007/978-3-319-72329-7_16
Download citation
DOI: https://doi.org/10.1007/978-3-319-72329-7_16
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-72328-0
Online ISBN: 978-3-319-72329-7
eBook Packages: Computer ScienceComputer Science (R0)