12. SRDS 1993: Princeton, New Jersey, USA

12th Symposium on Reliable Distributed Systems, October 6-8, 1993, Princeton, New Jersey, USA, Proceedings. IEEE Computer Society, 1993, ISBN 0-8186-4310-2

Prototype Systems

Farnam Jahanian, Sameh A. Fakhouri, Ragunathan Rajkumar: Processor Group Membership Protocols: Specification, Design, and Implementation. 2-11
Friedemann Schwenkreis: APRICOTS - A Prototype Implementation of a ConTract System: Management of the Control Flow and the Communication System. 12-21

Mathematical Techniques

Malathi Veeraraghavan, Kishor S. Trivedi: An Approach for Combinatorial Performance and Availability Analysis. 24-33
Henk Schepers, Rob Gerth: A Compositinal Proof Theory for Fault Tolerant Real-Time Distributed Systems. 34-43
Yu Lo Cyrus Chang, Leslie C. Lander, Horng-Shing Lu, Martin T. Wells: Bayesian Analysis for Fault Location in Homogeneous Distributed Systems. 44-53

Checkpointing

Golden G. Richard III, Mukesh Singhal: Using Logging and Asynchronous Checkpointing to Implement Recoverable Distributed Shared Memory. 58-67
S. L. Peterson, Phil Kearns: Rollback Based on Vector Time. 68-77
Yi-Min Wang, W. Kent Fuchs: Lazy Checkpointing Coordination for Bounding Rollback Propagation. 78-85
David B. Johnson: Efficient Transparent Optimistic Rollback Recovery for Distributed Application Programs. 86-95

Agreement Protocols

Khaled S. Soufi, Geneva G. Belford: An O(1) Quorum Consensus Protocol Tailored for the Client/Server Architecture. 98-104
Matti A. Hiltunen, Richard D. Schlichting: An Approach to Constructing Modular Fault-Tolerant Protocols. 105-114
Paulo Veríssimo, Antonio Casimiro, Luís Rodrigues: Using Atomic Broadcast to Implement a posteriori Agreement for Clock Synchronization. 115-124

Security

Rasikan David, Sang Hyuk Son: A Secure Two Phase Locking Protocol. 126-135
Gene Tsudik, Els Van Herreweghen: Some Remarks on Protecting Weak Keys and Poorly-Chosen Secrets from Guessing Attacks. 136-142
Qi Shi, John A. McDermid: Constructing Secure Distributed Systems Using Components. 143-152

Last update Mon May 20 16:01:45 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page