Secure service discovery protocol for intelligent transport systems: proof of correctness

  • Authors:
  • Kaouther Abrougui;Azzedine Boukerche

  • Affiliations:
  • University of Ottawa, Ottawa, ON, Canada;University of Ottawa, Ottawa, ON, Canada

  • Venue:
  • Proceedings of the first ACM international symposium on Design and analysis of intelligent vehicular networks and applications
  • Year:
  • 2011

Quantified Score

Hi-index 0.00

Visualization

Abstract

Intelligent Transportation Systems (ITS) have attracted many researchers that invested a lot of effort to develop many applications mainly for vehicular systems. Existing and investigated applications in vehicular systems are classified in two folds: safety applications and convenience applications. The first type of applications focuses mainly on drivers security and safety on the roads by providing warnings and alerts if there are accidents or disasters. The second type of applications helps drivers and passengers to localize services, get accurate weather or road condition information, get entertainment access, or even interact with surrounding services. Thus, a secure service discovery and communication protocol is mandatory in order to prevent from many attacks and malicious processes in the vehicular system. An efficient service discovery protocol should guarantee a secure discovery and communication in the vehicular system while maintaining the network scalability and a low communication delay. In this paper, we present the possible attacks that can happen at the discovery level and at the routing level. Then, we present our secure service discovery protocol for vehicular systems designed for the convenience type of applications. We prove the correctness of our proposed scheme and we compute its message complexity.