research-article

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

Authors:

DIVANet '11: Proceedings of the first ACM international symposium on Design and analysis of intelligent vehicular networks and applications

Pages 101 - 108

https://doi.org/10.1145/2069000.2069018

Published: 04 November 2011 Publication History

Get Access

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.

References

[1]

Patrick Tsang and Sean Smith, "Ppaa: Peer-to-peer anonymous authentication," vol. 5037, pp. 55--74, 2008.

Digital Library

Google Scholar

[2]

Calandriello, G., Papadimitratos, P., Lloy, A., and Hubaux, J.-P., "Effcient and robust pseudonymous authentication in vanets," In Proceedings of VANET'07, 2007.

Digital Library

Google Scholar

[3]

Lin X, Sun X, Ho P-H, and Shen X, "Gsis: a secure and privacy preserving protocol for vehicular communications," IEEE Transaction on Vehicular Technology, vol. 56(6), pp. 3442--3456, 2007.

Crossref

Google Scholar

[4]

Zhang, C., Lin, X., Lu, R., Ho, P.-H., and Shen, X., "An efficient message authentication scheme for vehicular communications," in IEEE Transactions on Vehicular Technology, vol. 57(6), pp. 3357--3368, 2008.

Crossref

Google Scholar

[5]

Wasef, A. and Shen, X., "Ppgcv: privacy preserving group communications protocol for vehicular ad hoc networks," In Proceedings of IEEE ICC'08, p. 1458--1463, 2008.

Google Scholar

[6]

Studer, A., Bai, F., Bellur, B., and Perrig, A., "Flexible, extensible, and efficient vanet authentication," Journal of Communications and Networks (JCN), (Special Issue on Secure Wireless Networks), vol. 11(6), pp. 574--588, 2009.

Crossref

Google Scholar

[7]

Fischer, L., Aijaz, A., Eckert, C., and Vogt, D., "Secure revocable anonymous authenticated inter-vehicle communication (sraac)," In Proceedings of Workshop on Embedded Security in Cars (ESCAR), 2006.

Google Scholar

[8]

Kamat, P., Baliga, A., and Trappe, W., "An identity-based security framework for vanets," In VANET '06: Proceedings of the 3rd International Workshop on Vehicular Ad Hoc Networks, p. 94--95, 2006.

Digital Library

Google Scholar

[9]

Perrig, A., Canneti, R., Song, D., and Tygar, J. D., "The tesla broadcast authentication protocol," RSA Cryptobytes, vol. 5(2), pp. 2--13, 2002.

Google Scholar

[10]

Lin, X., Sun, X., Wang, X., Zhang, C., Ho, P.-H., and Shen, X., "Tsvc: timed efficient and secure vehicular communications with privacy preserving," IEEE Transactions on Wireless Communications, vol. 7(12), 2008.

Digital Library

Google Scholar

[11]

Marshall Riley, Kemal Akkaya, and Kenny Fong, "Group-based hybrid authentication scheme for cooperative collision warnings in vanets," Security and Communication Networks, 2011.

Google Scholar

Cited By

View all

Fakhfakh FTounsi MMosbah M(2019)An Evaluative Review of the Formal Verification for VANET Protocols2019 15th International Wireless Communications & Mobile Computing Conference (IWCMC)10.1109/IWCMC.2019.8766783(1209-1214)Online publication date: Jun-2019
https://doi.org/10.1109/IWCMC.2019.8766783
Bedogni LBononi LDi Felice MD'Elia ACinotti TDe Grande RNotare MDarehshoorzadeh A(2015)WhatIF ApplicationProceedings of the 5th ACM Symposium on Development and Analysis of Intelligent Vehicular Networks and Applications10.1145/2815347.2818725(9-18)Online publication date: 2-Nov-2015
https://dl.acm.org/doi/10.1145/2815347.2818725
Albraheem LAlRodhan MAldhlaan A(2014)Toward Designing Efficient Service Discovery Protocol in Vehicular NetworksInternet of Vehicles – Technologies and Services10.1007/978-3-319-11167-4_9(87-98)Online publication date: 2014
https://doi.org/10.1007/978-3-319-11167-4_9
Show More Cited By

Index Terms

Secure service discovery protocol for intelligent transport systems: proof of correctness
1. Networks
  1. Network types
    1. Mobile networks
    2. Wireless access networks

Recommendations

Towards a balanced and reliable localization of services in heterogeneous vehicular ad hoc networks
Q2SWinet '11: Proceedings of the 7th ACM symposium on QoS and security for wireless and mobile networks

Recent studies on service discovery protocols in vehicular networks have shown promising results. However, very little work has been reported on how to integrate the fault tolerance and QoS features into service discovery protocols. These features are ...
Context-aware and location-based service discovery protocol for vehicular networks
PE-WASUN '09: Proceedings of the 6th ACM symposium on Performance evaluation of wireless ad hoc, sensor, and ubiquitous networks

Vehicular Networks (VN) have attracted recent attention from researchers mainly motivated by the potential applications that will leverage Intelligent Transportation Systems (ITS). Such applications include road safety and security, traffic monitoring ...
Design and performance evaluation of QoS aware and location based service discovery protocol for vehicular networks
MSWIM '10: Proceedings of the 13th ACM international conference on Modeling, analysis, and simulation of wireless and mobile systems

Recently, we have witnessed a growing interest in the study of service discovery in vehicular networks that guarantee QoS to service requesters. To the best of our knowledge, none of the existing service discovery protocols in Vehicular Networks have ...

Comments

Information & Contributors

Information

Published In

DIVANet '11: Proceedings of the first ACM international symposium on Design and analysis of intelligent vehicular networks and applications

November 2011

140 pages

ISBN:9781450309042

DOI:10.1145/2069000

General Chair:
Regina Borges de Araujo
Federal University of Sao Carlos, Brazil
,
Program Chairs:
Azzedine Boukerche
University of Ottawa, Canada
,
Richard W. Pazzi
Sapienza, Università di Roma, Italy

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 04 November 2011

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

MSWiM '11

Sponsor:

SIGSIM

MSWiM '11: The 14th ACM International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems

November 4, 2011

Florida, Miami, USA

Acceptance Rates

Overall Acceptance Rate 70 of 308 submissions, 23%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

6
Total Citations
View Citations
155
Total Downloads

Downloads (Last 12 months)2
Downloads (Last 6 weeks)0

Reflects downloads up to 10 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Fakhfakh FTounsi MMosbah M(2019)An Evaluative Review of the Formal Verification for VANET Protocols2019 15th International Wireless Communications & Mobile Computing Conference (IWCMC)10.1109/IWCMC.2019.8766783(1209-1214)Online publication date: Jun-2019
https://doi.org/10.1109/IWCMC.2019.8766783
Bedogni LBononi LDi Felice MD'Elia ACinotti TDe Grande RNotare MDarehshoorzadeh A(2015)WhatIF ApplicationProceedings of the 5th ACM Symposium on Development and Analysis of Intelligent Vehicular Networks and Applications10.1145/2815347.2818725(9-18)Online publication date: 2-Nov-2015
https://dl.acm.org/doi/10.1145/2815347.2818725
Albraheem LAlRodhan MAldhlaan A(2014)Toward Designing Efficient Service Discovery Protocol in Vehicular NetworksInternet of Vehicles – Technologies and Services10.1007/978-3-319-11167-4_9(87-98)Online publication date: 2014
https://doi.org/10.1007/978-3-319-11167-4_9
Adigun ABensaber BBiskri I(2013)Protocol of change pseudonyms for VANETs38th Annual IEEE Conference on Local Computer Networks - Workshops10.1109/LCNW.2013.6758514(162-167)Online publication date: Oct-2013
https://doi.org/10.1109/LCNW.2013.6758514
Gañán CMuñoz JEsparza OMata-Díaz JHernández-Serrano JAlins J(2013)COACH: COllaborative certificate stAtus CHecking mechanism for VANETsJournal of Network and Computer Applications10.1016/j.jnca.2012.02.00636:5(1337-1351)Online publication date: Sep-2013
https://doi.org/10.1016/j.jnca.2012.02.006
Adigun AAmar Bensaber BBiskri IAraujo RNotare M(2012)Proof of concept of a security based on lifetime of communication's pseudonyms for the VANETsProceedings of the second ACM international symposium on Design and analysis of intelligent vehicular networks and applications10.1145/2386958.2386975(111-114)Online publication date: 21-Oct-2012
https://dl.acm.org/doi/10.1145/2386958.2386975

View Options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

Towards a balanced and reliable localization of services in heterogeneous vehicular ad hoc networks

Context-aware and location-based service discovery protocol for vehicular networks

Design and performance evaluation of QoS aware and location based service discovery protocol for vehicular networks

Comments

Published In

Sponsors

Publisher

Publication History

Permissions

Check for updates

Author Tags

Qualifiers

Conference

Acceptance Rates

Other Metrics

Article Metrics

Other Metrics

Cited By

Login options

Full Access

PDF

eReader

Abstract

References

Cited By

Index Terms

Recommendations

Towards a balanced and reliable localization of services in heterogeneous vehicular ad hoc networks

Context-aware and location-based service discovery protocol for vehicular networks

Design and performance evaluation of QoS aware and location based service discovery protocol for vehicular networks

Comments

Information

Published In

Sponsors

Publisher

Publication History

Permissions

Check for updates

Author Tags

Qualifiers

Conference

Acceptance Rates

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

Get Access

Login options

Full Access

View options

PDF

eReader

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations