Show simple item record

dc.contributor.authorPalaniswamy, Basker
dc.contributor.authorCamtepe, Seyit
dc.contributor.authorFoo, Ernest
dc.contributor.authorSimpson, Leonie
dc.contributor.authorBaee, Mir Ali Rezazadeh
dc.contributor.authorPieprzyk, Josef
dc.date.accessioned2021-02-25T02:02:04Z
dc.date.available2021-02-25T02:02:04Z
dc.date.issued2020
dc.identifier.issn2214-2096en_US
dc.identifier.doi10.1016/j.vehcom.2020.100255en_US
dc.identifier.urihttp://hdl.handle.net/10072/402592
dc.description.abstractVehicular Ad-hoc Network (VANET) services use a range of information, such as traffic conditions and location information, for safe and convenient driving. Information exchange in VANET happens in Vehicle-to-Infrastructure (V2I) and Vehicle-to-Vehicle (V2V) communication modes. Several V2I and V2V authentication protocol suites are proposed to protect the information from attacks, namely replay, masquerading and man-in-the-middle. This paper identifies critical weaknesses in the protocols proposed for V2I and V2V communication modes and proposes a new protocol suite as a countermeasure. Our protocol suite is composed of driver authentication, V2I and V2V key exchanges, information exchange, offline password change and vehicle complain protocols. Our V2I key exchange protocol facilitates handoff capability to ensure continuous authentication when vehicles move from the coverage of one roadside unit (RSU) to another. The protocol also assures detectability to denial-of-service (DoS). Our V2V key exchange protocol enables vehicles to verify the time-bounded validity of certificates of vehicles and integrity of keys. We use the random oracle model to prove the security of our key exchange protocols and prove various security attributes of the protocols informally. Tamarin tool is used to formally verify the security properties of our driver authentication and key exchange protocols. Performance comparisons show that our driver authentication and key exchange protocols assure lesser computation overhead and more functional attributes than the existing protocols. Simulation performance ensures the fast key dissemination capability of our protocol suite.en_US
dc.description.peerreviewedYesen_US
dc.languageEnglishen_US
dc.publisherElsevieren_US
dc.relation.ispartofpagefrom100255en_US
dc.relation.ispartofjournalVehicular Communicationsen_US
dc.relation.ispartofvolume25en_US
dc.subject.fieldofresearchInformation and Computing Sciencesen_US
dc.subject.fieldofresearchcode08en_US
dc.subject.keywordsScience & Technologyen_US
dc.subject.keywordsTelecommunicationsen_US
dc.subject.keywordsTransportation Science & Technologyen_US
dc.subject.keywordsTransportationen_US
dc.titleContinuous authentication for VANETen_US
dc.typeJournal articleen_US
dc.type.descriptionC1 - Articlesen_US
dcterms.bibliographicCitationPalaniswamy, B; Camtepe, S; Foo, E; Simpson, L; Baee, MAR; Pieprzyk, J, Continuous authentication for VANET, Vehicular Communications, 2020, 25, pp. 100255en_US
dc.date.updated2021-02-25T02:00:43Z
gro.hasfulltextNo Full Text
gro.griffith.authorFoo, Ernest


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

  • Journal articles
    Contains articles published by Griffith authors in scholarly journals.

Show simple item record