基于广播通信信道的轻量级车辆轨迹安全验证方案

宁志强; 汪媛媛; 张驰; 魏凌波; 俞能海; HAO Yue

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

您当前的位置：

首页 >

文章列表页 >

基于广播通信信道的轻量级车辆轨迹安全验证方案

学术论文 | 更新时间：2024-06-03

- 基于广播通信信道的轻量级车辆轨迹安全验证方案
- Lightweight and secure vehicle track verification scheme via broadcast communication channels
- 网络与信息安全学报 2023年9卷第5期页码：71-81
- 作者机构：
  
  1. 中国科学技术大学网络空间安全学院，安徽合肥 230001
  2. San Francisco State University, Department of Computer Science, Houghton, San Francisco, CA 94132
- 作者简介：
  
  [ "宁志强（1997− ），男，安徽池州人，中国科学技术大学硕士生，主要研究方向为车辆轨迹安全验证" ]
  [ "汪媛媛（1995− ），女，安徽桐城人，中国科学技术大学博士生，主要研究方向为临近空间网络、网络优化" ]
  [ "张驰（1977− ），男，广西百色人，博士，中国科学技术大学副教授，主要研究方向为无线网络、网络安全和区块链技术" ]
  [ "魏凌波（1979− ），女，陕西周至人，博士，中国科学技术大学副研究员，主要研究方向为应用密码学和区块链技术" ]
  [ "俞能海（1964− ），男，安徽无为人，中国科学技术大学教授、博士生导师，主要研究方向为视频处理与多媒体通信、信息检索、媒体内容安全" ]
  [ "HAO Yue（1987− ），男，博士，旧金山州立大学副教授，主要研究方向为无线网络和网络安全" ]
- 基金信息：
  
  国家自然科学基金;The National Natural Science Foundation of China(61871362);国家自然科学基金;The National Natural Science Foundation of China(U19B2023)
- DOI：10.11959/j.issn.2096-109x.2023077
  中图分类号： TP302
- 网络首发：2023-10，
  
  纸质出版：2023-10-25
- 稿件说明：
移动端阅览
宁志强, 汪媛媛, 张驰, 等. 基于广播通信信道的轻量级车辆轨迹安全验证方案[J]. 网络与信息安全学报, 2023,9(5):71-81.

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.
宁志强, 汪媛媛, 张驰, 等. 基于广播通信信道的轻量级车辆轨迹安全验证方案[J]. 网络与信息安全学报, 2023,9(5):71-81. DOI： 10.11959/j.issn.2096-109x.2023077.

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 .

浏览量

115

下载量

CSCD

文章被引用时，请邮件提醒。

提交

工具集

关联资源

暂无数据