loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
2003 International Conference on Dependable Systems and Networks (DSN'03)
Reliable Broadcast in a Computational Hybrid Model with Byzantine Faults, Crashes, and Recoveries
San Francisco, California
June 22-June 25
ISBN: 0-7695-1952-0
ASCII Text
x 
 
Michael Backes, Christian Cachin, "Reliable Broadcast in a Computational Hybrid Model with Byzantine Faults, Crashes, and Recoveries," Dependable Systems and Networks, International Conference on, pp. 37, 2003 International Conference on Dependable Systems and Networks (DSN'03), 2003.
 
 
BibTex
x
 
@article{ 10.1109/DSN.2003.1209914,
author = {Michael Backes and Christian Cachin},
title = {Reliable Broadcast in a Computational Hybrid Model with Byzantine Faults, Crashes, and Recoveries},
journal ={Dependable Systems and Networks, International Conference on},
volume = {0},
year = {2003},
isbn = {0-7695-1952-0},
pages = {37},
doi = {http://doi.ieeecomputersociety.org/10.1109/DSN.2003.1209914},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Dependable Systems and Networks, International Conference on
TI - Reliable Broadcast in a Computational Hybrid Model with Byzantine Faults, Crashes, and Recoveries
SN - 0-7695-1952-0
SP
EP
A1 - Michael Backes,
A1 - Christian Cachin,
PY - 2003
KW - null
VL - 0
JA - Dependable Systems and Networks, International Conference on
ER -
 
Michael Backes, IBM Research
Christian Cachin, IBM Research
This paper presents a formal model for asynchronous distributed systems with parties that exhibit Byzantine faults or that crash and subsequently recover. Motivated by practical considerations, it represents an intermediate step between crash-recovery models for distributed computing and proactive security methods for tolerating arbitrary faults. The model is computational and based on complexity-theoretic techniques from modern cryptography, which allows for reasoning about cryptographic protocols in a formal way. One of the most important problems in fault-tolerant distributed computing, reliable broadcast, is then investigated in this hybrid model. A definition of reliable broadcast is presented and an implementation is given based on the protocol of Bracha (PODC ?84).
Citation:
Michael Backes, Christian Cachin, "Reliable Broadcast in a Computational Hybrid Model with Byzantine Faults, Crashes, and Recoveries," dsn, pp.37, 2003 International Conference on Dependable Systems and Networks (DSN'03), 2003
Usage of this product signifies your acceptance of the Terms of Use.