TLS for Cooperative ITS Services

  • Mounira MsahliEmail author
  • Ahmed Serhrouchni
  • Houda Labiod
  • Arnaud Kaiser
  • Brigitte Lonc
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 10689)


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.


Intelligent transportation systems Vehicular communications ETSI IEEE Certificate Security TLS 



This research work has been conducted in cooperation with members of the ITS Security (ISE) project.


  1. 1.
    European Telecommunications Standards Institute: Intelligent Transport Systems.
  2. 2.
    European Telecommunications Standards Institute: ETSI TS 103 097 V1.2.1: Intelligent Transport Systems (ITS), Security header and certificate formats, June 2015Google Scholar
  3. 3.
    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 2016Google Scholar
  4. 4.
    Dierks, T., Rescorla, E.: The Transport Layer Security (TLS) protocol version 1.2. In: IETF, August 2008Google Scholar
  5. 5.
    Housley, R.: Internet X.509 Public Key Infrastructure, RFC 2459: Network Working Group Request for Comments, January 1999Google Scholar
  6. 6.
    Barnes, R., Thomson, M., Pironti, A., Langley, A.: Deprecating secure sockets layer version 3.0. In: IETF, June 2015Google Scholar
  7. 7.
    Eronen, P., Tschofenig, H.: Pre-Shared Key Ciphersuites for Transport Layer Security (TLS), RFC 4279: Network Working Group Request for Comments, December 2005Google Scholar
  8. 8.
    Thomas, S.A.: SSL and TLS Essentials Securing the Web. Wiley Computer Publishing, Canada (2000)Google Scholar
  9. 9.
  10. 10.
    Preparing Secure Vehicle-to-X Communication Systems (PRESERVE).
  11. 11.
    Aniss, H.: Overview of an ITS project: SCOOP@F, Communication Technologies for Vehicles, May 2016Google Scholar
  12. 12.
    Leinmller, T., Buttyan, L., Hubaux, J.-P., et al.: SEVECOM-secure vehicle communication. In: IST Mobile and Wireless Communication Summit (2006)Google Scholar
  13. 13.
    ITU-T X.696: Information Technology - ASN.1 Encoding Rules: Specification of Octet Encoding Rules (OER), August 2014Google Scholar
  14. 14.
    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-015Google Scholar
  15. 15.
    Share of new cars sold that are connected to the Internet worldwide from 2015 to 2025.
  16. 16.
    Mavrogiannopoulos, N., Gillmor, D.: Using OpenPGP Keys for Transport Layer Security (TLS) Authentication, February 2011Google Scholar
  17. 17.
    McGrew, D., Bailey, D., Campagna, M., Dugal, R.: AES-CCM Elliptic Curve Cryptography (ECC) Cipher Suites for TLS, June 2014Google Scholar
  18. 18.
    Automated Validation of Internet Security Protocols and Applications (AVISPA).

Copyright information

© Springer International Publishing AG 2017

Authors and Affiliations

  • Mounira Msahli
    • 1
    Email author
  • Ahmed Serhrouchni
    • 1
  • Houda Labiod
    • 1
  • Arnaud Kaiser
    • 2
  • Brigitte Lonc
    • 3
  1. 1.Telecom-paristechParisFrance
  2. 2.IRT-SYSTEMXPalaiseauFrance
  3. 3.RENAULTGuyancourtFrance

Personalised recommendations