Get in Line: Ongoing Co-Presence Verification of a Vehicle Formation Based on Driving Trajectories

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Standard

Get in Line: Ongoing Co-Presence Verification of a Vehicle Formation Based on Driving Trajectories. / Vaas, Christian; Juuti, Mika; Asokan, N.; Martinovic, Ivan.

Proceedings - 3rd IEEE European Symposium on Security and Privacy, EURO S and P 2018. IEEE, 2018. p. 199-213.

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Harvard

Vaas, C, Juuti, M, Asokan, N & Martinovic, I 2018, Get in Line: Ongoing Co-Presence Verification of a Vehicle Formation Based on Driving Trajectories. in Proceedings - 3rd IEEE European Symposium on Security and Privacy, EURO S and P 2018. IEEE, pp. 199-213, IEEE European Symposium on Security and Privacy , London, United Kingdom, 24/04/2018. https://doi.org/10.1109/EuroSP.2018.00022

APA

Vaas, C., Juuti, M., Asokan, N., & Martinovic, I. (2018). Get in Line: Ongoing Co-Presence Verification of a Vehicle Formation Based on Driving Trajectories. In Proceedings - 3rd IEEE European Symposium on Security and Privacy, EURO S and P 2018 (pp. 199-213). IEEE. https://doi.org/10.1109/EuroSP.2018.00022

Vancouver

Vaas C, Juuti M, Asokan N, Martinovic I. Get in Line: Ongoing Co-Presence Verification of a Vehicle Formation Based on Driving Trajectories. In Proceedings - 3rd IEEE European Symposium on Security and Privacy, EURO S and P 2018. IEEE. 2018. p. 199-213 https://doi.org/10.1109/EuroSP.2018.00022

Author

Vaas, Christian ; Juuti, Mika ; Asokan, N. ; Martinovic, Ivan. / Get in Line: Ongoing Co-Presence Verification of a Vehicle Formation Based on Driving Trajectories. Proceedings - 3rd IEEE European Symposium on Security and Privacy, EURO S and P 2018. IEEE, 2018. pp. 199-213

Bibtex - Download

@inproceedings{1d4f01c5347b4c80a955ad2a4b58b989,
title = "Get in Line: Ongoing Co-Presence Verification of a Vehicle Formation Based on Driving Trajectories",
abstract = "Intelligent transportation systems and the advent of smart cities have created a renewed research interest in vehicular networks (VANET). These ad-hoc networks are the key technology for new collaborative approaches to increase the efficiency and safety of our roads. In effect, city-scale field trials are being conducted by major high-tech companies to explore the capabilities and limitations of vehicle-to-infrastructure and vehicle-to-vehicle communication. Initial advances have led to safety enhancing applications like electronic emergency brake light, cooperative collision avoidance and cooperative adaptive cruise control. In IEEE standard 1609.2, security measures to guarantee the integrity and authenticity of VANET messages are specified. However, physical properties like spatial proximity and driving direction are not considered. These become notably important when vehicles make decisions that concern the safety of users for example to avoid a collision.We propose a novel approach to verify the ongoing co-presence of two vehicles. Our method is based on the observation that the trajectory through a road network can be used to uniquely define a vehicle's location as well as its driving direction. Our system provides a protocol to authenticate VANET messages for a group of vehicles driving in succession and to de-authenticate vehicles that have left the formation.To demonstrate the feasibility of trajectories as proof for co-presence, we implemented a smartphone application and conducted driving experiments under real-world conditions. We analyze the road network of several major cities from different continents to show the generalizability of our approach. Additionally, we systematically evaluate the security properties of our system by performing city-scale simulations under realistic conditions.",
keywords = "Authentication, distributed systems security, Mobile security and privacy, Systems security, co-presence verification, platooning, road train, VANET",
author = "Christian Vaas and Mika Juuti and N. Asokan and Ivan Martinovic",
note = "Acceptance notification received Nov 21st 2017",
year = "2018",
month = "7",
day = "6",
doi = "10.1109/EuroSP.2018.00022",
language = "English",
pages = "199--213",
booktitle = "Proceedings - 3rd IEEE European Symposium on Security and Privacy, EURO S and P 2018",
publisher = "IEEE",

}

RIS - Download

TY - GEN

T1 - Get in Line: Ongoing Co-Presence Verification of a Vehicle Formation Based on Driving Trajectories

AU - Vaas, Christian

AU - Juuti, Mika

AU - Asokan, N.

AU - Martinovic, Ivan

N1 - Acceptance notification received Nov 21st 2017

PY - 2018/7/6

Y1 - 2018/7/6

N2 - Intelligent transportation systems and the advent of smart cities have created a renewed research interest in vehicular networks (VANET). These ad-hoc networks are the key technology for new collaborative approaches to increase the efficiency and safety of our roads. In effect, city-scale field trials are being conducted by major high-tech companies to explore the capabilities and limitations of vehicle-to-infrastructure and vehicle-to-vehicle communication. Initial advances have led to safety enhancing applications like electronic emergency brake light, cooperative collision avoidance and cooperative adaptive cruise control. In IEEE standard 1609.2, security measures to guarantee the integrity and authenticity of VANET messages are specified. However, physical properties like spatial proximity and driving direction are not considered. These become notably important when vehicles make decisions that concern the safety of users for example to avoid a collision.We propose a novel approach to verify the ongoing co-presence of two vehicles. Our method is based on the observation that the trajectory through a road network can be used to uniquely define a vehicle's location as well as its driving direction. Our system provides a protocol to authenticate VANET messages for a group of vehicles driving in succession and to de-authenticate vehicles that have left the formation.To demonstrate the feasibility of trajectories as proof for co-presence, we implemented a smartphone application and conducted driving experiments under real-world conditions. We analyze the road network of several major cities from different continents to show the generalizability of our approach. Additionally, we systematically evaluate the security properties of our system by performing city-scale simulations under realistic conditions.

AB - Intelligent transportation systems and the advent of smart cities have created a renewed research interest in vehicular networks (VANET). These ad-hoc networks are the key technology for new collaborative approaches to increase the efficiency and safety of our roads. In effect, city-scale field trials are being conducted by major high-tech companies to explore the capabilities and limitations of vehicle-to-infrastructure and vehicle-to-vehicle communication. Initial advances have led to safety enhancing applications like electronic emergency brake light, cooperative collision avoidance and cooperative adaptive cruise control. In IEEE standard 1609.2, security measures to guarantee the integrity and authenticity of VANET messages are specified. However, physical properties like spatial proximity and driving direction are not considered. These become notably important when vehicles make decisions that concern the safety of users for example to avoid a collision.We propose a novel approach to verify the ongoing co-presence of two vehicles. Our method is based on the observation that the trajectory through a road network can be used to uniquely define a vehicle's location as well as its driving direction. Our system provides a protocol to authenticate VANET messages for a group of vehicles driving in succession and to de-authenticate vehicles that have left the formation.To demonstrate the feasibility of trajectories as proof for co-presence, we implemented a smartphone application and conducted driving experiments under real-world conditions. We analyze the road network of several major cities from different continents to show the generalizability of our approach. Additionally, we systematically evaluate the security properties of our system by performing city-scale simulations under realistic conditions.

KW - Authentication

KW - distributed systems security

KW - Mobile security and privacy

KW - Systems security

KW - co-presence verification

KW - platooning

KW - road train

KW - VANET

U2 - 10.1109/EuroSP.2018.00022

DO - 10.1109/EuroSP.2018.00022

M3 - Conference contribution

SP - 199

EP - 213

BT - Proceedings - 3rd IEEE European Symposium on Security and Privacy, EURO S and P 2018

PB - IEEE

ER -

ID: 16122826