research-article

A Byzantine-Tolerant Distributed Consensus Algorithm for Connected Vehicles Using Proof-of-Eligibility

Authors:

Shinichi Shiraishi,

Douglas M. BloughAuthors Info & Claims

MSWIM '19: Proceedings of the 22nd International ACM Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems

Pages 225 - 234

https://doi.org/10.1145/3345768.3355910

Published: 25 November 2019 Publication History

Abstract

Emerging applications in connected vehicles have tremendous potential for advances in safety, navigation, traffic management and fuel efficiency, while also posing new security challenges such as false information attacks. This paper targets the problem of securing critical information that is disseminated among nearby vehicles for safety and traffic efficiency purposes through distributed consensus. We present a consensus algorithm, which uses a "proof of eligibility" test to establish that a group of vehicles are actually within the vicinity of the information source. With the presence of a limited number of compromised (Byzantine faulty) participants, our algorithm provides correct consensus among healthy vehicles in real time. The algorithm provides fast and reliable consensus group formation and private key distribution without privileged members, trusted setup, or leader election. In addition to proving a safety property of our consensus algorithm, we have implemented it on top of a widely-used vehicle simulation environment (SUMO, OMNeT++ and Veins) and evaluated its performance on a model of the streets in a real midtown area. Simulation results demonstrate that the algorithm can reach consensus very efficiently (within 9.5s) and with up to 30% of compromised vehicles in a given area. The simulations also demonstrate the ability of our algorithm to more quickly disseminate information about a traffic accident and more efficiently route traffic around the accident site, as compared to previous robust information dissemination approaches.

References

[1]

M. Al-Kahtani. 2012. Survey on security attacks in Vehicular Ad hoc Networks (VANETs). In Signal Processing and Communication Systems (ICSPCS), 2012 6th International Conference on. IEEE.

[2]

M. Arshad, Z. Ullah, N. Ahmad, M. Khalid, H. Criuckshank, and Y. Cao. 2018. A survey of local/cooperative-based malicious information detection techniques in VANETs. EURASIP Journal on Wireless Communications and Networking 1 (2018).

[3]

J. Augustine, G. Pandurangan, and P. Robinson. 2013. Fast byzantine agreement in dynamic networks. In Proceedings of the 2013 ACM symposium on Principles of distributed computing. ACM.

[4]

Abdulkader B., Pascale L., and Frédéric G. 2015. Solving Consensus in Opportunistic Networks. In ICDCN.

[5]

Z. Cao, J. Kong, U. Lee, M. Gerla, and Z. Chen. 2008. Proof-of-relevance: Filtering false data via authentic consensus in vehicle ad-hoc networks. In INFOCOM Workshops 2008, IEEE. IEEE.

[6]

M. Castro, B. Liskov, et al. 1999. Practical Byzantine fault tolerance. In OSDI, Vol. 99.

Digital Library

[7]

D. Cavin, Y. Sasson, and A. Schiper. 2004. Consensus with unknown participants or fundamental self-organization. In International Conference on Ad-Hoc Networks and Wireless. Springer.

[8]

Q. Chen, Y. Yin, Y. Feng, Z M. Mao, and H. Liu. [n. d.]. Exposing Congestion Attack on Emerging Connected Vehicle based Traffic Signal Control. ([n. d.]).

[9]

Q. Ding, X. Li, M. Jiang, and X. Zhou. 2010. Reputation management in vehicular ad hoc networks. In Int'l Conf. on Multimedia Technology. IEEE.

[10]

F. Dotzer, L. Fischer, and P. Magiera. 2005. Vars: A vehicle ad-hoc network reputation system. In World of Wireless Mobile and Multimedia Networks, 2005. WoWMoM 2005. Sixth IEEE International Symposium on a. IEEE.

[11]

J. Douceur. 2002. The sybil attack. In International workshop on peer-to-peer systems. Springer.

[12]

T. Garip, H. Kim, P. Reiher, and M. Gerla. 2017. INTERLOC: An interferenceaware RSSI-based localization and Sybil attack detection mechanism for vehicular ad hoc networks. In 14th Annual Consumer Comm. & Networking Conf. IEEE.

[13]

M. Ghosh, A. Varghese, A. Gupta, A. A Kherani, and S. Muthaiah. 2010. Detecting misbehaviors in VANET with integrated root-cause analysis. Ad Hoc Networks 8, 7 (2010), 778--790.

Digital Library

[14]

F. Greve and S. Tixeuil. 2007. Knowledge connectivity vs. synchrony requirements for fault-tolerant agreement in unknown networks. In Dependable Systems and Networks, 2007. DSN'07. 37th Annual IEEE/IFIP International Conference on. IEEE.

[15]

J. Grover, Nitesh. Prajapati, V. Laxmi, and Manoj. Gaur. 2011. Machine learning approach for multiple misbehavior detection in VANET. In International Conference on Advances in Computing and Communications. Springer.

[16]

R. Guerraoui, F. Huc, and A. Kermarrec. 2013. Highly dynamic distributed computing with byzantine failures. In Proceedings of the 2013 ACM symposium on Principles of distributed computing. ACM.

[17]

D. Krajzewicz, J. Erdmann, M. Behrisch, and L. Bieker. 2012. Recent Development and Applications of SUMO - Simulation of Urban Mobility. International Journal On Advances in Systems and Measurements 5, 3&4 (December 2012).

[18]

L. Lamport et al. 2001. Paxos made simple. ACM Sigact News 32, 4 (2001).

[19]

L. Lamport, R. Shostak, and M. Pease. 1982. The Byzantine generals problem. ACM Transactions on Programming Languages and Systems (TOPLAS) 4, 3 (1982).

Digital Library

[20]

T. Leinmüller, E. Schoch, F. Kargl, and C. Maihöfer. 2010. Decentralized position verification in geographic ad hoc routing. Security and communication networks 3, 4 (2010).

[21]

Z. Li and C. Chigan. 2014. On joint privacy and reputation assurance for vehicular ad hoc networks. IEEE Transactions on Mobile Computing 13, 10 (2014).

[22]

N. Lo and H. Tsai. 2007. Illusion attack on vanet applications-a message plausibility problem. In Globecom Workshops, 2007 IEEE. IEEE.

[23]

NHTSA. [n. d.]. Federal Motor Vehicle Safety Standards; V2V Communications. https://www.federalregister.gov/documents/2017/01/12/2016--31059/ federal-motor-vehicle-safety-standards-v2v-communications#h-1

[24]

NHTSA. 2017. Federal Motor Vehicle Safety Standards; V2V Communications. Retrieved May 20, 2019 from https://www.federalregister.gov/documents/2017/01/ 12/2016--31059/federal-motor-vehicle-safety-standards-v2v-communications

[25]

D. Ongaro and J. Ousterhout. 2014. In search of an understandable consensus algorithm. In USENIX Annual Technical Conference.

[26]

OpenStreetMap contributors. 2017. Planet dump retrieved from https://planet.osm.org . https://www.openstreetmap.org.

[27]

J. Petit and Z. Mammeri. 2011. Dynamic consensus for secured vehicular ad hoc networks. In Wireless and Mobile Computing, Networking and Communications (WiMob), 2011 IEEE 7th International Conference on. IEEE.

[28]

C. Qi and M. Z. Morley. [n. d.]. Connected cars can lie, posing a new threat to smart cities. https://theconversation.com/ connected-cars-can-lie-posing-a-new-threat-to-smart-cities-95339

[29]

K. Rabieh, M. Mahmoud, T. N Guo, and M. Younis. 2015. Cross-layer scheme for detecting large-scale colluding Sybil attack in VANETs. In 2015 IEEE International Conference on Communications (ICC). IEEE.

[30]

C. Sommer, R. German, and F. Dressler. 2011. Bidirectionally Coupled Network and Road Traffic Simulation for Improved IVC Analysis. IEEE Transactions on Mobile Computing 10, 1 (January 2011). https://doi.org/10.1109/TMC.2010.133

Digital Library

[31]

R. van der Heijden, S. Dietzel, and F. Kargl. 2013. Misbehavior detection in vehicular ad-hoc networks. 1st GI/ITG KuVS Fachgespräch Inter-Vehicle Communication. University of Innsbruck (2013).

[32]

R. van der Heijden, S. Dietzel, T. Leinmüller, and F. Kargl. 2016. Survey on misbehavior detection in cooperative intelligent transportation systems. arXiv preprint arXiv:1610.06810 (2016).

[33]

L.Wu and H. Tsai. 2013. Modeling vehicle-to-vehicle visible light communication link duration with empirical data. In Globecom Workshops, 2013. IEEE.

[34]

W. Wu, J. Cao, and M. Raynal. 2008. Eventual clusterer: A modular approach to designing hierarchical consensus protocols in manets. IEEE Transactions on Parallel & Distributed Systems 6 (2008).

[35]

Y. Yao, B. Xiao, G. Wu, X. Liu, Z. Yu, K. Zhang, and X. Zhou. 2019. Multi-channel based Sybil attack detection in vehicular ad hoc networks using RSSI. IEEE Transactions on Mobile Computing 18, 2 (2019).

Digital Library

Cited By

Mendonça JAsl ALucchetti FVölp M(2024)Confirmed-Location Group Membership for Intrusion-Resilient Cooperative Maneuvers2024 IEEE 99th Vehicular Technology Conference (VTC2024-Spring)10.1109/VTC2024-Spring62846.2024.10683184(01-07)Online publication date: 24-Jun-2024
https://doi.org/10.1109/VTC2024-Spring62846.2024.10683184
Koushkbaghi SSafi MAmani AJalili MYu X(2024)Byzantine-Resilient Second-Order Consensus in Networked SystemsIEEE Transactions on Cybernetics10.1109/TCYB.2024.335926254:9(4915-4927)Online publication date: Sep-2024
https://doi.org/10.1109/TCYB.2024.3359262
Adejumo AAdejo AAlenogeghene CEkweme CAke KAjiboye R(2024)Optimizing Node Communication in Vehicle-to-Vehicle Networks: A Relay Selection Algorithm Based on Multi-Metric Consensus Parameters2024 International Conference on Science, Engineering and Business for Driving Sustainable Development Goals (SEB4SDG)10.1109/SEB4SDG60871.2024.10629857(1-11)Online publication date: 2-Apr-2024
https://doi.org/10.1109/SEB4SDG60871.2024.10629857
Show More Cited By

Index Terms

A Byzantine-Tolerant Distributed Consensus Algorithm for Connected Vehicles Using Proof-of-Eligibility

Recommendations

Development of a methodology to demonstrate the environmental impact of connected vehicles under lane-changing conditions

This paper describes a lane-change model for connected vehicles, and evaluates the environmental impact per road level of service (LOS) when a host vehicle makes a lane change. During manual driving, the host vehicle accelerates or decelerates to create ...
Urban Traffic Simulation Methodology for Connected Vehicles Congestion Avoidance
iiWAS '20: Proceedings of the 22nd International Conference on Information Integration and Web-based Applications & Services

Enhancing traffic experience in congested urban areas is one of the main challenge of Intelligent Transportation Systems caused by road infrastructure, time and investment cost. Since road infrastructure have very small chances to be changed and the ...
Future connected vehicles: challenges and opportunities for spatio-temporal computing
SIGSPATIAL '15: Proceedings of the 23rd SIGSPATIAL International Conference on Advances in Geographic Information Systems

Modern vehicles are increasingly being equipped with rich instrumentation that enables them to collect location aware data on a wide variety of travel related phenomena such as the real-world performance of engines and powertrain, driver preferences, ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

MSWIM '19: Proceedings of the 22nd International ACM Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems

November 2019

340 pages

ISBN:9781450369046

DOI:10.1145/3345768

General Chair:
Antonio A. F. Loureiro
Federal University of Minas Gerais, Brazil
,
Program Chairs:
Salil Kanhere
University of New South Wales, Australia
,
Paolo Bellavista
University of Bologna, Italy

Copyright © 2019 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

SIGSIM: ACM Special Interest Group on Simulation and Modeling

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 25 November 2019

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Funding Sources

Ministry of Education (MOE) of Taiwan
Ministry of Science and Technology (MOST) of Taiwan

Conference

MSWiM '19

Sponsor:

SIGSIM

MSWiM '19: 22nd Int'l ACM Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems

November 25 - 29, 2019

FL, Miami Beach, USA

Acceptance Rates

Overall Acceptance Rate 398 of 1,577 submissions, 25%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

15
Total Citations
View Citations
365
Total Downloads

Downloads (Last 12 months)27
Downloads (Last 6 weeks)2

Reflects downloads up to 03 Mar 2025

Other Metrics

View Author Metrics

Citations

Cited By

Mendonça JAsl ALucchetti FVölp M(2024)Confirmed-Location Group Membership for Intrusion-Resilient Cooperative Maneuvers2024 IEEE 99th Vehicular Technology Conference (VTC2024-Spring)10.1109/VTC2024-Spring62846.2024.10683184(01-07)Online publication date: 24-Jun-2024
https://doi.org/10.1109/VTC2024-Spring62846.2024.10683184
Koushkbaghi SSafi MAmani AJalili MYu X(2024)Byzantine-Resilient Second-Order Consensus in Networked SystemsIEEE Transactions on Cybernetics10.1109/TCYB.2024.335926254:9(4915-4927)Online publication date: Sep-2024
https://doi.org/10.1109/TCYB.2024.3359262
Adejumo AAdejo AAlenogeghene CEkweme CAke KAjiboye R(2024)Optimizing Node Communication in Vehicle-to-Vehicle Networks: A Relay Selection Algorithm Based on Multi-Metric Consensus Parameters2024 International Conference on Science, Engineering and Business for Driving Sustainable Development Goals (SEB4SDG)10.1109/SEB4SDG60871.2024.10629857(1-11)Online publication date: 2-Apr-2024
https://doi.org/10.1109/SEB4SDG60871.2024.10629857
Zhang YCheong CLi SCao YZhang XLiu D(2024)False message detection in Internet of Vehicle through machine learning and vehicle consensusInformation Processing & Management10.1016/j.ipm.2024.10382761:6(103827)Online publication date: Nov-2024
https://doi.org/10.1016/j.ipm.2024.103827
Feng CXu ZZhu XKlaine PZhang L(2023)Wireless Distributed Consensus in Vehicle to Vehicle Networks for Autonomous DrivingIEEE Transactions on Vehicular Technology10.1109/TVT.2023.324399572:6(8061-8073)Online publication date: Jun-2023
https://doi.org/10.1109/TVT.2023.3243995
Suo DMo BZhao JSarma S(2023)Proof of Travel for Trust-Based Data Validation in V2I CommunicationIEEE Internet of Things Journal10.1109/JIOT.2023.323662310:11(9565-9584)Online publication date: 1-Jun-2023
https://doi.org/10.1109/JIOT.2023.3236623
Suo DMoore JBoesch MPost KSarma S(2022)Location-Based Schemes for Mitigating Cyber Threats on Connected and Automated Vehicles: A Survey and Design FrameworkIEEE Transactions on Intelligent Transportation Systems10.1109/TITS.2020.303875523:4(2919-2937)Online publication date: Apr-2022
https://doi.org/10.1109/TITS.2020.3038755
Kim SKim B(2022)On the Byzantine-Fault- Tolerant Consensus in Blockchain Built on Internet of Vehicles2022 International Conference on Electronics, Information, and Communication (ICEIC)10.1109/ICEIC54506.2022.9748278(1-4)Online publication date: 6-Feb-2022
https://doi.org/10.1109/ICEIC54506.2022.9748278
Liu HBlough D(2022)Cooperative Task-Oriented Group Formation for Vehicular Networks2022 IEEE 19th Annual Consumer Communications & Networking Conference (CCNC)10.1109/CCNC49033.2022.9700701(584-592)Online publication date: 8-Jan-2022
https://doi.org/10.1109/CCNC49033.2022.9700701
Morales DVelloso PLaubé ANguyen TPujolle G(2022)A performance evaluation of C4M consensus algorithmAnnals of Telecommunications10.1007/s12243-022-00931-w78:3-4(169-182)Online publication date: 3-Nov-2022
https://doi.org/10.1007/s12243-022-00931-w
Show More Cited By

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Figures

Tables

Media

View Table of Conten