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

DIVANet'11 - Proceedings of the 1st ACM International Symposium on Design and Analysis of Intelligent Vehicular Networks and Applications

Volumn , Issue , 2011, Pages 101-107

  Abrougui, Kaouther ^a   Boukerche, Azzedine ^a  

^a Natural Sciences and Engineering Research Council of Canada   (Canada)

Author keywords

Location based services; Security; Service discovery; Vehicular systems

Indexed keywords

COMMUNICATION DELAYS; IF THERE ARE; INTELLIGENT TRANSPORT SYSTEMS; INTELLIGENT TRANSPORTATION SYSTEMS; LOCATION-BASED SERVICES; MESSAGE COMPLEXITY; NETWORK SCALABILITY; PROOF OF CORRECTNESS; ROAD CONDITION; SAFETY APPLICATIONS; SECURE SERVICE DISCOVERY; SECURITY; SERVICE DISCOVERY; SERVICE DISCOVERY PROTOCOL;

INTELLIGENT SYSTEMS; NETWORK PROTOCOLS; SYSTEMS ANALYSIS; TRAFFIC CONTROL;

NETWORK SECURITY;

EID: 83055180279     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2069000.2069018     Document Type: Conference Paper

References (11)

1. Patrick Tsang and Sean Smith, "Ppaa: Peer-to-peer anonymous authentication," vol. 5037, pp. 55-74, 2008.
2. Calandriello G, Papadimitratos P, Lloy A, and Hubaux J-P, "Effcient and robust pseudonymous authentication in vanets," In Proceedings of VANET'07, 2007.
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. (Pubitemid 350201103)
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.
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.
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.
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.
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. (Pubitemid 46634337)
9. Perrig A, Canneti R, Song D, and Tygar JD,"The tesla broadcast authentication protocol," RSA Cryptobytes, vol. 5(2), pp. 2-13, 2002.
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.
11. Marshall Riley, Kemal Akkaya, and Kenny Fong, "Group-based hybrid authentication scheme for cooperative collision warnings in vanets," Security and Communication Networks, 2011.