Reference : RT-ByzCast: Byzantine-Resilient Real-Time Reliable Broadcast
Scientific journals : Article
Engineering, computing & technology : Computer science
Security, Reliability and Trust
http://hdl.handle.net/10993/37812
RT-ByzCast: Byzantine-Resilient Real-Time Reliable Broadcast
English
Kozhaya, David [ABB Corporate Research > > > Research Scientist]
Decouchant, Jérémie mailto [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
Verissimo, Paulo [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
1-Mar-2019
IEEE Transactions on Computers
Institute of Electrical and Electronics Engineers
68
3
Yes (verified by ORBilu)
International
0018-9340
1557-9956
Los Alamitos
NY
[en] Real-time distributed systems ; probabilistic losses ; reliable broadcast ; Byzantine behavior ; Intrusion tolerant
[en] Today’s cyber-physical systems face various impediments to achieving their intended goals, namely, communication uncertainties and faults, relative to the increased integration of networked and wireless devices, hinder the synchronism needed to meet real-time deadlines. Moreover, being critical, these systems are also exposed to significant security threats. This threat combination increases the risk of physical damage. This paper addresses these problems by studying how to build the first real-time Byzantine reliable broadcast protocol (RTBRB) tolerating network uncertainties, faults, and attacks. Previous literature describes either real-time reliable broadcast protocols, or asynchronous (non real-time) Byzantine ones. We first prove that it is impossible to implement RTBRB using traditional distributed computing paradigms, e.g., where the error/failure detection mechanisms of processes are decoupled from the broadcast algorithm itself, even with the help of the most powerful failure detectors. We circumvent this impossibility by proposing RT-ByzCast, an algorithm based on aggregating digital signatures in a sliding time-window and on empowering processes with self-crashing capabilities to mask and bound losses. We show that RT-ByzCast (i) operates in real-time by proving that messages broadcast by correct processes are delivered within a known bounded delay, and (ii) is reliable by demonstrating that correct processes using our algorithm crash themselves with a negligible probability, even with message loss rates as high as 60%.
Researchers
http://hdl.handle.net/10993/37812
10.1109/TC.2018.2871443

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
RTBCast-and-Appendix.pdfAuthor preprint3.51 MBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.