Source to destination communication in the presence of faults

We present a protocol for reliable communication between two processors via an unreliable, and possibly even malicious, communication media. Reliable communication means that all messages are accepted in the same order as sent, with no modifications, omissions, insertions or duplications. Our protocol is resilient to processor crashes (in which the entire memory of the processor is erased), and duplication and reordering on the link. *Department of Computer Science,Technion, Haifa, Israel. Partially supported by grant No. 8640301 from the United States Israel Binational Science Foundation (BSF) and by the Fund for Basic Research Administered by the Israeli Academy of Sciences and

[1]  Baruch Awerbuch,et al.  A quantitative approach to dynamic networks , 1990, PODC '90.

[2]  Adrian Segall,et al.  Reliable link initialization procedures , 1988, IEEE Trans. Commun..

[3]  Nancy A. Lynch,et al.  I/o automata: a model for discrete event systems , 1988 .

[4]  H. Zimmermann,et al.  OSI Reference Model - The ISO Model of Architecture for Open Systems Interconnection , 1980, IEEE Transactions on Communications.

[5]  Nancy A. Lynch,et al.  Hierarchical correctness proofs for distributed algorithms , 1987, PODC '87.

[6]  S. Finn.  Resynch Procedures and a Fail-Safe Network Protocol , 1979, IEEE Trans. Commun..

[7]  Nancy A. Lynch,et al.  Data link layer: two impossibility results , 1988, PODC '88.

[8]  Andrew S. Tanenbaum,et al.  Computer Networks , 1981 .

[9]  Baruch Schieber,et al.  The intractability of bounded protocols for non-FIFO channels , 1989, PODC '89.

[10]  Raphael Rom,et al.  Failsafe End-to-End Protocols in Computer Networks with Changing Topology , 1987, IEEE Trans. Commun..

[11]  Yehuda Afek,et al.  End-to-end communication in unreliable networks , 1988, PODC '88.

[12]  Nir Shavit,et al.  Polynomial end-to-end communication , 1989, 30th Annual Symposium on Foundations of Computer Science.

[13]  Da-Wei Wang,et al.  Tight bounds for the sequence transmission problem , 1989, PODC '89.

[14]  Geoffrey Brown,et al.  Self-Stabilization of the Alternating-Bit Protocol , 1989, The Sixteenth Conference of Electrical and Electronics Engineers in Israel,.