Lightweight and secure vehicle track verification scheme via broadcast communication channels

Zhiqiang NING; Yuanyuan WANG; Chi ZHANG; Lingbo WEI; Nenghai YU; Yue HAO

doi:10.11959/j.issn.2096-109x.2023077

您当前的位置：

首页 >

文章列表页 >

Lightweight and secure vehicle track verification scheme via broadcast communication channels

Papers | 更新时间：2024-06-03

- Lightweight and secure vehicle track verification scheme via broadcast communication channels
- Chinese Journal of Network and Information Security Vol. 9, Issue 5, Pages: 71-81(2023)
- 作者机构：
  
  1. 中国科学技术大学网络空间安全学院，安徽合肥 230001
  2. San Francisco State University, Department of Computer Science, Houghton, San Francisco, CA 94132
- 作者简介：
- 基金信息：
- DOI：10.11959/j.issn.2096-109x.2023077
  CLC： TP302
- Online First：2023-10，
  
  Published：25 October 2023
- 稿件说明：
移动端阅览
Zhiqiang NING, Yuanyuan WANG, Chi ZHANG, et al. Lightweight and secure vehicle track verification scheme via broadcast communication channels[J]. Chinese Journal of Network and Information Security, 2023, 9(5): 71-81.
DOI：

Zhiqiang NING, Yuanyuan WANG, Chi ZHANG, et al. Lightweight and secure vehicle track verification scheme via broadcast communication channels[J]. Chinese Journal of Network and Information Security, 2023, 9(5): 71-81. DOI： 10.11959/j.issn.2096-109x.2023077.

摘要

在智慧交通系统中，智能汽车需要实时广播车辆轨迹消息来协调驾驶决策，保证行车安全。然而，攻击者可以通过修改消息的发送时间戳或操纵信号发射的载波频率伪造车辆轨迹。针对该问题，提出了一种轻量级车辆轨迹验证方案。无须任何特殊硬件支持，基于同一广播通信信道完成对车辆轨迹的安全验证；无须时间同步，每个验证点计算消息接收时间与发送时间戳的时间间隔，通过联立两两验证点的时间间隔所形成的空间位置约束方程，达到了抗时间戳伪造攻击的防御效果；每个验证点计算消息到达频率和预定发射频率的多普勒频移，通过联立两两验证点的频移所形成的速度矢量约束方程，实现了抗载波频率操纵攻击的安全目的。通过形式化分析，表明增加验证点的数目可以提高车辆轨迹验证的准确率。最后，真实环境中的实验结果表明，当验证点数量设定为3个时，方案展现出了最佳的性能。与现有方案相比，在分别验证真实车辆轨迹和虚假车辆轨迹时，方案具有更高的正确率，更低的错误拒绝率和错误接受率。

Abstract

In intelligent transportation systems

it is crucial for smart vehicles to broadcast real-time vehicle track messages to coordinate driving decisions and ensure driving safety.However

attackers can manipulate vehicle tracks by modifying timestamps or manipulating signal frequencies

posing a threat to security.To address this problem

a lightweight vehicle track verification scheme was proposed

utilizing the broadcast communication channels to achieve secure verification of vehicle tracks without any special hardware support.Without time synchronization

each verifier calculated the time interval between the reception time of the message and the sending timestamp.Spatial position constraint equations are formulated by combining these time intervals between any two verifiers

effectively defending against timestamp forgery attacks.Additionally

each verifier calculates the Doppler frequency shift between the arrival frequency and the scheduled transmit frequency.Velocity vector constraint equations were formulated by combining these frequency shifts between any two verifiers

providing defense against carrier frequency manipulation attacks.Formal analysis shows that increasing the number of verifiers improves the accuracy of the proposed verification scheme.Experimental results in a real-world environment further validate that the proposed verification scheme exhibits the best performance when the number of verifiers is set to 3.Compared to the existing solution

the proposed verification scheme has a higher accuracy

lower false rejection rate

and lower false acceptance rate when validating true vehicle track and false vehicle track separately.

关键词

Keywords

references

DE-BRUHL B , WEERAKKODY S , SINOPOLI B , et al . Is your commute driving you crazy:a study of misbehavior in vehicular platoons [C ] // Proceedings of the 8th ACM Conference on Security ＆Privacy in Wireless and Mobile Networks . 2015 : 1 - 11 .

PI W , YANG P T , DUAN D L , et al . Malicious user detection for cooperative mobility tracking in autonomous driving [J ] . IEEE Internet of Things Journal , 2020 , 7 ( 6 ): 4922 - 4936 .

LEON F , GAVRILESCU M . A review of tracking and trajectory prediction methods for autonomous driving [J ] . Mathematics , 2021 , 9 ( 6 ): 660 .

DONGRE S , RAHBARI H . Message sieving to mitigate smart gridlock attacks in V2V [C ] // Proceedings of the 14th ACM Conference on Security and Privacy in Wireless and Mobile Networks . 2021 : 129 - 134 .

SUN M S , MAN Y M , LI M , et al . SVM:secure vehicle motion verification with a single wireless receiver [C ] // Proceedings of the 13th ACM Conference on Security ＆ Privacy in Wireless and Mobile Networks . 2020 : 65 - 76 .

DE-MEO P , MESSINA F , POSTORINO M N , et al . A reputation framework to share resources into IoT-based environments [C ] // IEEE 14th International Conference on Networking Sensing and Control . 2017 : 513 - 518 .

GROZA B , MURVAY P S . Security solutions for the controller area network:bringing authentication to in vehicle networks [J ] . IEEE Vehicular Technology Magazine , 2018 , 13 ( 1 ): 40 - 47 .

SUN M S , LI M , GERDES R . Verification and inference of positions in vehicular networks through anonymous beaconing [J ] . IEEE Transactions on Mobile Computing , 2014 , 13 ( 10 ): 2415 - 2428 .

YAN G J , CHOUDHARY G , WEIGLE M C , et al . Providing VANET security through active position detection [C ] // Proceedings of the Fourth ACM International Workshop on Vehicular Ad Hoc Networks . 2007 : 73 - 74 .

DU C L , ZHANG R D , LOU W J , et al . Mob track:locating indoor interfering radios with a single device [C ] // IEEE INFOCOM , 2016 : 1 - 9 .

KOOPMAN P , WAGNER M . Autonomous vehicle safety:an interdisciplinary challenge [J ] . IEEE Intelligent Transportation Systems Magazine , 2017 , 9 ( 1 ): 90 - 96 .

SANDERS C , WANG Y Q . Localizing spoofing attacks on vehicular GPS using vehicle-to-vehicle communications [J ] . IEEE Transactions on Vehicular Technology , 2020 , 69 ( 12 ): 15656 - 15667 .

BAKER R , MARTINOVIC I . Secure location verification with a mobile receiver [C ] // Proceedings of the 2nd ACM Workshop on Cyber-Physical Systems Security and Privacy . 2016 : 35 - 46 .

YAO Y , XIAO B , WU G f , et al . A novel sybil attack detection method based on RSSI for VANET [C ] // IEEE International Conference on Dependable Systems and Networks . 2017 : 591 - 602 .

SUN M S , LI M , GERDES R . A data trust framework for VANETsenabling false data detection and secure vehicle tracking [C ] // IEEE Conference on Communications and Network Security . 2017 : 1 - 9 .

SUN M S . Secure motion claim verification and decision-making for vehicular cyber-physical systems [D ] . Arizona:University of Arizona , 2021 .

LEINMULLER T , SCHOCH E , KARGL F . Position verification approaches for vehicular ad hoc networks [J ] . IEEE Wireless Communications Magazine , 2006 , 13 ( 5 ): 16 - 21 .

WONG W E , LI X L , LAPLANTE P A . Be more familiar with our enemies and pave the way forward:a review of the roles bugs played in software failures [J ] . Journal of Systems and Software , 2017 , 133 ( 11 ): 68 - 94 .

LI C L , FU Y C , RICHARD F YU , et al . Vehicle position correction:a vehicular blockchain networks-based GPS error sharing framework [J ] . IEEE Transactions on Intelligent Transportation Systems , 2021 , 22 ( 2 ): 898 - 912 .

LI F N , CHANG L B . MEKF with navigation frame attitude error parameterization for INS/GPS [J ] . IEEE Sensors Journal , 2020 , 20 ( 3 ): 1536 - 1549 .

RANGANATHAN A , ÓLAFSDÓTTIR H , CAPKUN S . SPREE:a spoofing resistant GPS receiver [C ] // Proceedings of the 22nd Annual International Conference on Mobile Computing and Networking . 2016 : 348 - 360 .

Views

115

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

No data

Related Author

No data

Related Institution

No data

⁰