A framework for dynamic byzantine storage

Proceedings of the International Conference on Dependable Systems and Networks

Volumn , Issue , 2004, Pages 325-334

  Martin, Jean Philippe ^a   Alvisi, Lorenzo ^a  

^a UNIVERSITY OF TEXAS AT AUSTIN   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CRYPTOGRAPHY; INFORMATION DISSEMINATION; INFORMATION RETRIEVAL; SEMANTICS; SERVERS; THEOREM PROVING;

ATOMIC SEMANTICS; MESSAGE ROUND-TRIP; QUOROM-BASED PROTOCOLS; SYNCHRONIZED CLOCKS;

NETWORK PROTOCOLS;

EID: 4544294533     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/dsn.2004.1311902     Document Type: Conference Paper

References (19)

1. I. Abraham and D. Malkhi. Probabilistic quorums for dynamic systems. In Proc. 17th Intl. Symp. on Distributed Computing (DISC), Oct. 2003.
2. L. Alvisi, D. Malkhi, E. Pierce, M. Reiter, and R. Wright. Dynamic Byzantine quorum systems. In Proc. of the Intl. Conference on Dependable Systems and Networks (DSN), June 2000.
3. L. Alvisi, D. Malkhi, E. Pierce, and M. K. Reiter. Fault detection for byzantine quorum systems. IEEE Trans. Parallel Distrib. Syst., 12(9):996-1007, 2001.
4. G. V. Chockler, I. Keidar, and R. Vitenberg. Group communication specifications: a comprehensive study. ACM Computing Surveys (CSUR), 33(4):427-469, 2001.
5. S. Davidson, H. Garcia-Molina, and D. Skeen. Consistency in a partitioned network: a survey. ACM Computing Surveys (CSUR) Volume 17, Issue 3, pages 341-370, Sept. 1985.
6. S. Dolev, S. Gilbert, N. Lynch, A. Shvartsman, and J. Welch. Geoquorums: Implementing atomic memory in mobile ad hoc networks. In Proc. 17th Intl. Symp. on Distributed Computing (DISC), Oct. 2003.
7. J.R. Douceur. The sybil attack. In Proc. of the IPTPS02 Workshop, March 2002.
8. S. Gilbert, N. Lynch, and A. Shvartsman. Rambo II: Rapidly reconfigurable atomic memory for dynamic networks. In Proc. 17th Intl. Symp. on Distributed Computing (DISC), pages 259-268, June 2003.
9. G. R. Goodson, J. J. Wylie, G. R. Ganger, and M. K. Reiter. Efficient consistency for erasure-coded data via versioning servers. Technical Report CMU-CS-03-127, Carnegie Mellon University, 2003.
10. L. Kong, A. Subbiah, M. Ahamad, and D.M. Blough. A reconfigurable byzantine quorum approach for the agile store. In Proc. 22nd Intl. Symp. on Reliable Distributed Systems (SRDS), Oct. 2003.
11. L.Lamport. On interprocess communications. Distributed Computing, pages 77-101, 1986.
12. N. Lynch and A. Shvartsman. RAMBO: A reconfigurable atomic memory service for dynamic networks. In Proc. 16th Intl. Symp. on Distributed Computing (DISC), pages 173-190, Oct. 2002.
13. D. Malkhi and M. Reiter. Byzantine quorum systems. Distributed Computing 11/4, pages 203-213, 1998.
14. D. Malkhi and M. Reiter. Secure and scalable replication in Phalanx. In Proc. 17th IEEE Symp. on Reliable Distributed Systems (SRDS), Oct 1998.
15. J-P. Martin and L. Alvisi. A framework for dynamic byzantine storage. Technical Report TR04-08, The University of Texas at Austin, 2004.
16. J-P. Martin, L. Alvisi, and M. Dahlin. Minimal Byzantine storage. In Proc. 16th Intl. Symp. on Distributed Computing (DISC), pages 311-325, Oct. 2002.
17. J-P. Martin, L. Alvisi, and M. Dahlin. Small Byzantine quorum systems. In Proc. of the Intl. Conference on Dependable Systems and Networks (DSN), pages 374-383, June 2002.
18. E. Pierce and L. Alvisi. A framework for semantic reasoning about byzantine quorum systems. In Brief Announcements, Proc. 20th Symp. on Principles of Distributed Computing (PODC), pages 317-319, Aug. 2001.
19. R. Rodrigues, B. Liskov, and L. Shrira. The design of a robust peer-to-peer system. In Tenth ACM SIGOPS European Workshop, Sept. 2002.