Paper Info
Title
Secure service discovery protocol for intelligent transport systems: proof of correctness
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.
Year
DOI
Venue
2011
10.1145/2069000.2069018
DIVANet@MSWiM
Keywords
Field
DocType
Security, Service discovery, Vehicular systems, Location-based services
Computer security,Computer science,Correctness,Computer network,Location-based service,Vehicular communication systems,Intelligent transportation system,Neighbor Discovery Protocol,Service discovery,Communications protocol,Scalability
Conference
Citations 
PageRank 
References 
5
0.49
7
Authors
2
Name
Order
Citations
PageRank
Kaouther Abrougui19811.01
Azzedine Boukerche24301418.60