Abstract
Agreement problems like interactive consistency, reliable broadcast, group membership, etc. require a high protocol overhead when they must be solved under general (and thus hard) fault assumptions. Known signature methods contribute to more efficient solutions by protecting forwarded information from being altered undetectably. This paper presents a new signature generation technique, which prevents the occurrence of malicious Byzantine faults in the sender with very high probability. Hence, it is not necessary to exchange multicast messages among the receivers for an equality check. This advantage opens an extended design space of agreement protocols with fewer messages, fewer timeouts and thus lower execution times. The new unique signature generation algorithm (called UniSig) is based on alternately stepwise generation of coded sequence numbers and digital signatures. Different messages cannot obtain the same valid signature, because the steps to increment the coded sequence number are included in UniSig. Deviations from the program execution path are very likely to lead to detectably corrupted signatures. Hence, for each sequence number a valid signature can be generated only once.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Ö. Babaoglu, R. Drummond: Streets of Byzantium: network architectures for fast reliable broadcast; IEEE Trans. on Software Eng., vol. SE-11, no. 6, 1985, pp. 546–554.
Y. Chen, W. Bücken, K. Echtle: Efficient algorithms for system diagnosis with both processor and comparator faults; IEEE Transactions on Parallel and Distributed Systems, vol. 4, no. 4, 1993, pp. 371–381.
Y. Chen, K. Echtle: Evaluation of deterministic fault injection for fault-tolerant protocol testing; FTCS-21, Digest of Papers, IEEE Press, 1991, pp. 418–425.
F. Cristian: Synchronous atomic broadcast for redundant broadcast channels; The Journal of Real-Time Systems, vol. 2, 1990, pp. 195–212.
F. Cristian: Reaching agreement on processor-group membership in synchronous distributed systems; Distributed Computing, vol. 4, Springer, 1991, pp. 175–187.
M. Dal Cin: On distributed system-level self-diagnosis; 4th Int. Conf. on Fault-Tolerant Computing, Informatik-Fachberichte 214, Springer, 1989, pp. 186–196.
D. Dolev, N. Lynch, S. Pinter, E. Stark, W. Weihl: Reaching approximate agreement in the presence of faults; 3rd Symp. on Reliability in Distributed Software and Database Systems, Conf. Proc., IEEE Press, 1983, pp. 145–154.
K. Echtle: Fault masking and sequence agreement by a voting protocol with low message number; 6th Symp. Reliability in Distributed Software and Database Systems, Conf. Proc., IEEE Press, 1987, pp. 149–160.
K. Echtle: Distance agreement protocols; FTCS-19, Digest of Papers, IEEE Press, 1989, pp. 191–198.
K. Echtle, M. Leu: The EFA fault injector for fault-tolerant distributed system testing; Fault-Tolerant Parallel and Distributed Syst., Conf. Proc., IEEE Press, 1992, pp. 28–35.
K. Echtle, M. Leu: Fault-detecting network membership protocols for unknown topologies; 4th Int. Working Conf. on Dependable Computing for Critical Applications DCCA-4, Conf. Proc., Springer, 1994, pp. 69–90.
K. Echtle, M. Leu: Test of fault-tolerant distributed systems by fault injection; Fault-Tolerant Parallel and Distributed Systems, IEEE Press, 1995, pp. 244–251.
K. Echtle, A. Masum: A multiple bus broadcast protocol resilient to non-cooperative Byzantine faults; FTCS-26, Digest of Papers, IEEE Press, 1996, pp. 158–167.
P. Ezhilchelvan: Early stopping algorithms for distributed agreement under fail-stop, omission, and timing fault types; 6th symp. Reliability in Distributed Software and Database Systems, Conf. Proc., IEEE Press, 1987, pp. 201–212.
M. Fischer, N. Lynch, M. Paterson: Impossibility of distributed consensus with one faulty process; Journal of the ACM, vol. 32, no. 2, 1985, pp. 374–382.
F. DiGiandomenica, M. L. Guidotti, F. Grandoni, L. Simoncini: A gracefully degradable algorithm for byzantine agreement; 6th Symp. Reliability in Distributed Software and Database Systems, Conf. Proc., IEEE Press, 1987, pp. 188–200.
E. Jenn, J. Arlat, M. Rimén, J. Ohlsson, J. Karlsson: Fault injection into VHDL models: the MEFISTO tool; FTCS-24, Digest of Papers, 1994, pp. 66–75.
H. Kopetz, G. Grünsteidl, J. Reisinger: Fault-tolerant membership service in a synchronous distributed real-time system; Dependable Computing for Critical Applications, Dependable Comp. and Fault-Tolerant Systems, vol. 4, Springer, 1991, pp. 411–429.
M. Leu: Relative signatures for fault tolerance and their implementation; 1st European Dependable Computing Conf. EDCC-1, LNCS 852, Springer, 1994, pp. 563–580.
T. Lovric: Processor fault simulation with ProFI; European Simulation Symposium ESS 95, Conf. Proc., 1995, pp. 353–357.
D. Powell: Failure mode assumptions and assumption coverage; FTCS-22, Digest of Papers, 1992, pp. 386–395.
M. Pease, R. Shostak, L. Lamport: Reaching agreement in the presence of faults; Journal of the ACM, vol. 27, no. 2, 1980, pp. 228–234.
J. Rufino, P. Verissimo, G. Arroz, C. Almeida, L. Rodrigues: Fault-tolerant broadcasts in CAN; FTCS-28, Digest of Papers, 1998, pp. 150–159.
H. R. Strong, D. Dolev: Byzantine agreement; Compcon 83, Conf. Proc., IEEE Press, 1983, pp. 77–81.
C. Temple: Avoiding the babbling-idiot failure in a time-triggered communication system; FTCS-28, Digest of Papers, 1998, pp. 218–227.
J. Turek, D. Shasha: The many faces of consensus in distributed systems; Computer, IEEE Press, June 1992, pp. 8–17.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Echtle, K. (1999). Avoiding Malicious Byzantine Faults by a New Signature Generation Technique. In: Hlavička, J., Maehle, E., Pataricza, A. (eds) Dependable Computing — EDCC-3. EDCC 1999. Lecture Notes in Computer Science, vol 1667. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48254-7_9
Download citation
DOI: https://doi.org/10.1007/3-540-48254-7_9
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-66483-3
Online ISBN: 978-3-540-48254-3
eBook Packages: Springer Book Archive