See this document in CiteSeerX!

The safety and liveness properties of a protocol family  (Make Corrections)  
for versatile survivable storage infrastructures Garth R. Goodson, Jay J....



  Home/Search   Context   Related

 
View or download:
hp.com/personal/Ja...CMUPDL03105.pdf
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  hp.com/personal/Jay_Wylie/publ... (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: Survivable storage systems mask faults. A protocol family shifts the decision of which types of faults from implementation time to data-item creation time. If desired, each data-item can be protected from different types and numbers of faults with changes only to client-side logic. This paper presents proofs of the safety and liveness properties for a family of storage access protocols that exploit data versioning to efficiently provide consistency for erasure-coded data. Members of the... (Update)

Active bibliography (related documents):   More   All
2.5:   The Safety and Liveness Properties of a Protocol.. - Goodson, Wylie.. (2004)   (Correct)
0.6:   Efficient Byzantine-tolerant erasure-coded storage - Garth Goodson Jay (2003)   (Correct)
0.4:   A Protocol Family for Versatile Survivable Storage - Infrastructures Garth Goodson   (Correct)

Similar documents based on text:
0.0:   Unknown -   (Correct)

BibTeX entry:   (Update)

@misc{ survivable-safety,
  author = "For Versatile Survivable",
  title = "The Safety and Liveness Properties of a Protocol Family",
  url = "citeseer.ist.psu.edu/739864.html" }
Citations (may not include all citations):
645   How to share a secret (context) - Shamir - 1979
326   Linearizability: a correctness condition for concurrent obje.. (context) - Herlihy, Wing - 1990
177   Fail-stop processors: an approach to designing faulttolerant.. - Schlichting, Schneider - 1983
163   Efficient dispersal of information for security (context) - Rabin - 1989
120   ACM Transactions on Programming Languages and Systems (context) - Lamport, Shostak et al. - 1982
55   Failure detection and consensus in the crash-recovery model - Aguilera, Chen et al. - 2000
54   Network time protocol (context) - Mills - 1992
46   Survivable information storage systems - Wylie, Bigrigg et al. - 2000
46   Fault-tolerant wait-free shared objects - Jayanti, Chandra et al. - 1998
29   Distributed agreement in the presence of processor and commu.. (context) - Perry, Toueg - 1986
27   An Architecture for Survivable Coordination in Large Distrib.. - Malkhi, Reiter - 2000
25   Dynamic byzantine quorum systems - Alvisi, Malkhi et al. - 2000
23   Advances in Cryptology - CRYPTO (context) - Krawczyk, made - 1993
23   Adaptive distributed and fault-tolerant systems - Hiltunen, Schlichting - 1996
20   Efficient Byzantinetolerant erasure-coded storage - Goodson, Wylie et al. - 2004
20   Securely replicating authentication services (context) - Gong - 1989
20   Obstruction-free synchronization: double-ended queues as an .. (context) - Herlihy, Luchangco et al. - 2003
18   International Symposium on Distributed Computing (context) - Martin, Alvisi et al. - 2002
16   ACM Transactions on Programming Languages (context) - Herlihy - 1991
15   Constructing adaptive software in distributed systems - Chen, Hiltunen et al. - 2001
10   Self-adjusting quorum systems for byzantine fault tolerance - Pierce - 2001
4   IEEE Symposium on Reliable Distributed Networks (context) - Malkhi, Reiter et al. - 1998
4   A protocol family for versatile survivable storage infrastru.. - Goodson, Wylie et al. - 2003
3   Byzantine generals in action: implementing fail-stop process.. - Schneider - 1984
2   Reliable broadcast in a computational hybrid model with Byza.. - Backes, Cachin - 2003
2   Revisiting safety and liveness in the context of failures (context) - Charron-Bost, Toueg et al. - 2000

Documents on the same site (http://www.hpl.hp.com/personal/Jay_Wylie/publications/):   More
A Protocol Family for Versatile Survivable Storage - Infrastructures Garth Goodson   (Correct)
Efficient Byzantine-tolerant erasure-coded storage - Garth Goodson Jay (2003)   (Correct)
Fault-Scalable Byzantine Fault-Tolerant Services - Michael Abd-El-Malek Gregory   (Correct)

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC