Lightweight and secure vehicle track verification scheme via broadcast communication channels
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...
Saved in:
| Main Authors: | , , , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
POSTS&TELECOM PRESS Co., LTD
2023-10-01
|
| Series: | 网络与信息安全学报 |
| Subjects: | |
| Online Access: | http://www.cjnis.com.cn/thesisDetails#10.11959/j.issn.2096-109x.2023077 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1841529595553120256 |
|---|---|
| author | Zhiqiang NING Yuanyuan WANG Chi ZHANG Lingbo WEI Nenghai YU Yue HAO |
| author_facet | Zhiqiang NING Yuanyuan WANG Chi ZHANG Lingbo WEI Nenghai YU Yue HAO |
| author_sort | Zhiqiang NING |
| collection | DOAJ |
| description | 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. |
| format | Article |
| id | doaj-art-2d87cc4f6dd54822b4d458d0c262793d |
| institution | Kabale University |
| issn | 2096-109X |
| language | English |
| publishDate | 2023-10-01 |
| publisher | POSTS&TELECOM PRESS Co., LTD |
| record_format | Article |
| series | 网络与信息安全学报 |
| spelling | doaj-art-2d87cc4f6dd54822b4d458d0c262793d2025-01-15T03:16:59ZengPOSTS&TELECOM PRESS Co., LTD网络与信息安全学报2096-109X2023-10-019718159581301Lightweight and secure vehicle track verification scheme via broadcast communication channelsZhiqiang NINGYuanyuan WANGChi ZHANGLingbo WEINenghai YUYue HAOIn 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.http://www.cjnis.com.cn/thesisDetails#10.11959/j.issn.2096-109x.2023077timestampDoppler effectvehicle tracksecure verification |
| spellingShingle | Zhiqiang NING Yuanyuan WANG Chi ZHANG Lingbo WEI Nenghai YU Yue HAO Lightweight and secure vehicle track verification scheme via broadcast communication channels 网络与信息安全学报 timestamp Doppler effect vehicle track secure verification |
| title | Lightweight and secure vehicle track verification scheme via broadcast communication channels |
| title_full | Lightweight and secure vehicle track verification scheme via broadcast communication channels |
| title_fullStr | Lightweight and secure vehicle track verification scheme via broadcast communication channels |
| title_full_unstemmed | Lightweight and secure vehicle track verification scheme via broadcast communication channels |
| title_short | Lightweight and secure vehicle track verification scheme via broadcast communication channels |
| title_sort | lightweight and secure vehicle track verification scheme via broadcast communication channels |
| topic | timestamp Doppler effect vehicle track secure verification |
| url | http://www.cjnis.com.cn/thesisDetails#10.11959/j.issn.2096-109x.2023077 |
| work_keys_str_mv | AT zhiqiangning lightweightandsecurevehicletrackverificationschemeviabroadcastcommunicationchannels AT yuanyuanwang lightweightandsecurevehicletrackverificationschemeviabroadcastcommunicationchannels AT chizhang lightweightandsecurevehicletrackverificationschemeviabroadcastcommunicationchannels AT lingbowei lightweightandsecurevehicletrackverificationschemeviabroadcastcommunicationchannels AT nenghaiyu lightweightandsecurevehicletrackverificationschemeviabroadcastcommunicationchannels AT yuehao lightweightandsecurevehicletrackverificationschemeviabroadcastcommunicationchannels |