Sciweavers

115 search results - page 2 / 23
» An Optimal Atomic Broadcast Protocol and an Implementation F...
Sort
View
EUROCRYPT
2007
Springer
13 years 9 months ago
Round-Efficient Secure Computation in Point-to-Point Networks
Essentially all work studying the round complexity of secure computation assumes broadcast as an atomic primitive. Protocols constructed under this assumption tend to have very poo...
Jonathan Katz, Chiu-Yuen Koo
CORR
2010
Springer
158views Education» more  CORR 2010»
13 years 5 months ago
Epistemic Model Checking for Knowledge-Based Program Implementation: an Application to Anonymous Broadcast
Knowledge-based programs provide an abstract level of description of protocols in which agent actions are related to their states of knowledge. The paper describes how epistemic mo...
Omar I. Al-Bataineh, Ron van der Meyden
COOPIS
2004
IEEE
13 years 9 months ago
Active Replication in CORBA: Standards, Protocols, and Implementation Framework
This paper presents a proposal for integrating in a single CORBA middleware platform two important OMG specifications: FTCORBA, which provides fault-tolerance support for CORBA obj...
Alysson Neves Bessani, Joni da Silva Fraga, Lau Ch...
ICDCS
2009
IEEE
14 years 2 months ago
Implementing a Register in a Dynamic Distributed System
Providing distributed processes with concurrent objects is a fundamental service that has to be offered by any distributed system. The classical shared read/write register is one ...
Roberto Baldoni, Silvia Bonomi, Anne-Marie Kermarr...
DSN
2002
IEEE
13 years 10 months ago
Secure Intrusion-tolerant Replication on the Internet
This paper describes a Secure INtrusion-Tolerant Replication Architecture1 (SINTRA) for coordination in asynchronous networks subject to Byzantine faults. SINTRA supplies a number...
Christian Cachin, Jonathan A. Poritz