On the Security of Multi-Party Protocols in Distributed Systems

  • Danny Dolev
  • Avi Wigderson
Conference paper

Abstract

Security of protocols for network communication has received considerable attention in recent years. We concentrate on ensuring the security of cryptographic protocols in distributed systems.

In a distributed system, beyond eavesdropping, a saboteur may impersonate another user or alter messages being sent. A saboteur who is also a user may send conflicting messages or use other illegal messages in order to uncover secret information.

The problem we address, in its most general form, is: “given a multi-party protocol which is provably secure when all the participants monitor every message being sent, can the protocol be modified to be secure in a distributed system?”

We use the Byzantine Agreement, Crusader Agreement, and other specific checks to improve protocols by making them secure in a general distributed network. We examine the trade-off between detection of faulty behaviour and the number of messages exchanged.

Keywords

Private Information Signature Scheme Secret Information Signed Message Cryptographic Protocol 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. (Da).
    D. Dolev, “The Byzantine Generals Strike Again,” Journal of Algorithms, vol. 3, no. 1, pp. 14–30, 1982.CrossRefGoogle Scholar
  2. (DEK).
    D. Dolev, S. Even, and R. M. Karp, “On the Security of Ping-Pong Protocols,” CRYPT82, Santa Barbara, Aug. 1982.Google Scholar
  3. (DH).
    W. Diffie, and M. Hellman, “New Direction in Cryptography,” IEEE Trans. on Information Theory, IT-22, 6, pp. 644–654, 1976.CrossRefGoogle Scholar
  4. (DLM).
    R. A. DeMillo, N. A. Lynch, and M. Merritt, “Cryptographic Protocols,” Proceedings of the 14th ACM SIGACT Symposium on Theory of Computing, May 1982.Google Scholar
  5. (DR).
    D. Dolev, and R. Reischuk, “Bounds on Information Exchange for Byzantine Agreement,” Proceedings of the ACM SIGACT-SIGOPS Symposium on Principles of Distributed Systems, Aug. 1982.Google Scholar
  6. (DS).
    D. Dolev, and H. R. Strong, “Polynomial Algorithms for Multiple Processor Agreement,” Proceedings of the 14th ACM SIGACT Symposium on Theory of Computing, May 1982.Google Scholar
  7. (DY).
    D. Dolev, A. C. Yao, “On the Security of Public Key Protocols,” to appear, IEEE Trans. on Information Theory.Google Scholar
  8. (FLP).
    M. J. Fischer, N. A. Lynch, and M. S. Paterson, “Impossibility of Distributed Consensus with One Faulty Process,” unpublished manuscript, Aug. 1982.Google Scholar
  9. (LSP).
    L. Lamport, R. Shostak, and M. Pease, “The Byzantine Generals Problem,” ACM Trans. on Programming Languages and Systems, to appear.Google Scholar
  10. (LW).
    R. J. Lipton, and A. Wigderson, “Multi-Party Cryptographic Protocols,” unpublished manuscript, May 1962.Google Scholar
  11. (NS).
    R. M. Needham, and M. D. Schroeder, Using Encryption for Authentication in Large Networks of Computers,“ CACM, vol. 21, no. 12, pp. 993–999, 1978.Google Scholar
  12. (PSL).
    Presence of Faults,“ JACM, vol. 27, no. 2, pp. 228–234, 1980.Google Scholar
  13. (RSA).
    R. Rivest, A. Shamir, and L. Adleman, “A method for obtaining digital signa- tures and public-key cryptosystems,” CACM, vol. 21, pp. 120–126, 1978.CrossRefGoogle Scholar

Copyright information

© Springer Science+Business Media New York 1983

Authors and Affiliations

  • Danny Dolev
    • 1
  • Avi Wigderson
    • 2
  1. 1.Institute of Mathematics and Computer ScienceHebrew UniversityJerusalemIsrael
  2. 2.Electrical Engineering and Computer Science DepartmentPrinceton UniversityPrincetonUSA

Personalised recommendations