Now showing items 17-21 of 21

    • Protocol Composition in Horus 

      Van Renesse, Robbert; Birman, Kenneth P. (Cornell University, 1995-03)
      Horus is a communication architecture that treats a protocol as an abstract data type. Protocol layers can be stacked on top of each other in a variety of ways, at run-time. This paper starts out with describing the many ...
    • Reducing Costs Of Byzantine Fault Tolerant Distributed Applications 

      Ho, Chi (2011-08-31)
      Byzantine fault tolerance (BFT) is a powerful technique for building software that tolerates arbitrary failures. The technique has been developed since the 70s and has a rich research literature. Yet no production system ...
    • A Security Architecture for Fault-Tolerant Systems 

      Reiter, Michael K.; Birman, Kenneth P.; Van Renesse, Robbert (Cornell University, 1993-06)
      Process groups are a common abstraction for fault-tolerant computing in distributed systems. We present a security architecture that extends the process group into a security abstraction. Integral parts of this architecture ...
    • Toward Robust High Performance Distributed Services 

      Song, Yeejiun (2011-08-31)
      This thesis presents steps towards simplifying the implementation of robust high performance distributed services. First, we investigate consensus algorithms in the context of fault tolerant systems. Consensus algorithms, ...
    • Towards A Secure Federated Information System 

      Liu, Mon Jed (2012-08-20)
      We are entering an era in which federated information systems are widely used to share information and computation. Federated systems support new services and capabilities by integrating computer systems across independent ...