Skip to main content

How to Securely Replicate Services

Publication ,  Journal Article
Reiter, MK; Birman, KP
Published in: ACM Transactions on Programming Languages and Systems (TOPLAS)
January 5, 1994

We present a method for constructing replicated services that retain their availability and integrity despite several servers and clients being corrupted by an intruder, in addition to others failing benignly. We also address the issue of maintaining a causal order among client requests. We illustrate a security breach resulting from an intruder's ability to effect a violation of causality in the sequence of requests processed by the service and propose an approach to counter this attack. An important and novel feature of our techniques is that the client need not be able to identify or authenticate even a single server. Instead, the client is required to possess only a single public key for the service. We demonstrate the performance of our techniques with a service we have implemented using one of our protocols. © 1994, ACM. All rights reserved.

Duke Scholars

Published In

ACM Transactions on Programming Languages and Systems (TOPLAS)

DOI

EISSN

1558-4593

ISSN

0164-0925

Publication Date

January 5, 1994

Volume

16

Issue

3

Start / End Page

986 / 1009

Related Subject Headings

  • Software Engineering
  • 4612 Software engineering
  • 4606 Distributed computing and systems software
  • 0806 Information Systems
  • 0803 Computer Software
 

Citation

APA
Chicago
ICMJE
MLA
NLM
Reiter, M. K., & Birman, K. P. (1994). How to Securely Replicate Services. ACM Transactions on Programming Languages and Systems (TOPLAS), 16(3), 986–1009. https://doi.org/10.1145/177492.177745

Published In

ACM Transactions on Programming Languages and Systems (TOPLAS)

DOI

EISSN

1558-4593

ISSN

0164-0925

Publication Date

January 5, 1994

Volume

16

Issue

3

Start / End Page

986 / 1009

Related Subject Headings

  • Software Engineering
  • 4612 Software engineering
  • 4606 Distributed computing and systems software
  • 0806 Information Systems
  • 0803 Computer Software