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

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

网络与信息安全学报 ›› 2023, Vol. 9 ›› Issue (5): 71-81.doi: 10.11959/j.issn.2096-109x.2023077

• 学术论文 • 上一篇

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

宁志强¹, 汪媛媛¹, 张驰¹, 魏凌波¹, 俞能海¹, HAO Yue²

¹ 中国科学技术大学网络空间安全学院，安徽合肥 230001
² San Francisco State University, Department of Computer Science, Houghton, San Francisco, CA 94132

修回日期:2023-08-18 出版日期:2023-10-01 发布日期:2023-10-01
作者简介:宁志强（1997− ），男，安徽池州人，中国科学技术大学硕士生，主要研究方向为车辆轨迹安全验证
汪媛媛（1995− ），女，安徽桐城人，中国科学技术大学博士生，主要研究方向为临近空间网络、网络优化
张驰（1977− ），男，广西百色人，博士，中国科学技术大学副教授，主要研究方向为无线网络、网络安全和区块链技术
魏凌波（1979− ），女，陕西周至人，博士，中国科学技术大学副研究员，主要研究方向为应用密码学和区块链技术
俞能海（1964− ），男，安徽无为人，中国科学技术大学教授、博士生导师，主要研究方向为视频处理与多媒体通信、信息检索、媒体内容安全
HAO Yue（1987− ），男，博士，旧金山州立大学副教授，主要研究方向为无线网络和网络安全
基金资助:
国家自然科学基金(61871362);国家自然科学基金(U19B2023)

Lightweight and secure vehicle track verification scheme via broadcast communication channels

Zhiqiang NING¹, Yuanyuan WANG¹, Chi ZHANG¹, Lingbo WEI¹, Nenghai YU¹, Yue HAO²

¹ School of Cyber Science and Technology, University of Science and Technology of China, Hefei 230001, China
² Department of Computer Science, San Francisco State University, San Francisco, CA 94132, USA

Revised:2023-08-18 Online:2023-10-01 Published:2023-10-01
Supported by:
The National Natural Science Foundation of China(61871362);The National Natural Science Foundation of China(U19B2023)

摘要/Abstract

摘要：

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

Key words: timestamp, Doppler effect, vehicle track, secure verification

中图分类号:

TP302

宁志强, 汪媛媛, 张驰, 魏凌波, 俞能海, HAO Yue. 基于广播通信信道的轻量级车辆轨迹安全验证方案[J]. 网络与信息安全学报, 2023, 9(5): 71-81.

Zhiqiang NING, Yuanyuan WANG, Chi ZHANG, Lingbo WEI, Nenghai YU, Yue HAO. Lightweight and secure vehicle track verification scheme via broadcast communication channels[J]. Chinese Journal of Network and Information Security, 2023, 9(5): 71-81.

图/表 14

图1

图2

图3

图4

图5

图6

图7

图8

图9

图10

图11

图12

图13

图14

参考文献 22

[1]	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.
[2]	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.
[3]	LEON F , GAVRILESCU M . A review of tracking and trajectory prediction methods for autonomous driving[J]. Mathematics, 2021,9(6): 660.
[4]	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.
[5]	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.
[6]	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.
[7]	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.
[8]	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.
[9]	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.
[10]	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.
[11]	KOOPMAN P , WAGNER M . Autonomous vehicle safety:an interdisciplinary challenge[J]. IEEE Intelligent Transportation Systems Magazine, 2017,9(1): 90-96.
[12]	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.
[13]	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.
[14]	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.
[15]	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.
[16]	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.
[17]	SUN M S . Secure motion claim verification and decision-making for vehicular cyber-physical systems[D]. Arizona:University of Arizona, 2021.
[18]	LEINMULLER T , SCHOCH E , KARGL F . Position verification approaches for vehicular ad hoc networks[J]. IEEE Wireless Communications Magazine, 2006,13(5): 16-21.
[19]	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.
[20]	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.
[21]	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.
[22]	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.

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

Lightweight and secure vehicle track verification scheme via broadcast communication channels

在线阅读

pdf下载

可视化

摘要/Abstract

引用本文

使用本文

图/表 14

参考文献 22

相关文章 15

Metrics

推荐阅读 0

[1]	谢绒娜, 范晓楠, 李苏浙, 黄宇欣, 史国振. 基于标签的数据流转控制策略冗余与冲突检测方法[J]. 网络与信息安全学报, 2023, 9(5): 21-32.
[2]	曹进, 石小平, 马如慧, 李晖. 融合双层卫星网络的星地和星间AKA协议[J]. 网络与信息安全学报, 2023, 9(1): 18-31.
[3]	谢绒娜, 范晓楠, 袁琳, 郭子晨, 朱家玉, 史国振. 在线社交网络中延伸访问控制机制研究[J]. 网络与信息安全学报, 2021, 7(5): 123-131.
[4]	牛玉坤,魏凌波,张驰,张霞,GustavoVejarano. 基于比特币区块链的公共无线局域网接入控制隐私保护研究[J]. 网络与信息安全学报, 2020, 6(2): 56-66.
[5]	翁健,魏林锋,张悦. 网络空间安全人才培养探讨[J]. 网络与信息安全学报, 2019, 5(3): 44-53.
[6]	孙磊,李帅,郭松辉. SR-IOV密码设备中断传输过程建模[J]. 网络与信息安全学报, 2019, 5(1): 56-65.
[7]	聂德雷,赵博,王崇,汪欣,燕昺昊. 拟态多执行体架构下的超时阈值计算方法[J]. 网络与信息安全学报, 2018, 4(10): 68-76.
[8]	吴邱涵,胡卫. 基于SM2算法和区块链的移动端身份认证协议设计[J]. 网络与信息安全学报, 2018, 4(9): 60-65.
[9]	陈扬,扈红超,刘文彦,霍树民,梁浩. 云环境下基于动态异构的拜占庭系统[J]. 网络与信息安全学报, 2018, 4(5): 1-9.
[10]	刘丹军,蔡桂林,王宝生. AMTD：一种适应性移动目标防御方法[J]. 网络与信息安全学报, 2018, 4(1): 15-25.
[11]	张建标,朱元曦,胡俊,王晓. 面向云环境的虚拟机可信迁移方案[J]. 网络与信息安全学报, 2018, 4(1): 6-14.
[12]	张淼,季新生,艾健健,刘文彦,扈红超,霍树民. 基于操作系统多样性的虚拟机安全部署策略[J]. 网络与信息安全学报, 2017, 3(10): 35-43.
[13]	赵硕,季新生,程国振,毛宇星. 面向多租户的关键虚拟机动态迁移方法研究[J]. 网络与信息安全学报, 2017, 3(8): 8-17.
[14]	周凯,彭长根,朱义杰,何建琼. 基于马尔可夫模型的同态加密位置隐私保护方案[J]. 网络与信息安全学报, 2017, 3(1): 54-60.
[15]	冯丙文,翁健,卢伟. 基于隐私保护的数字图像取证外包技术框架研究[J]. 网络与信息安全学报, 2016, 2(8): 23-31.