Distributed Computing and Cryptography

by Feigenbaum, Joan; Merrit, Michael

• ISBN13: 9780821865903
• ISBN10: 0821865900
• Format: Hardcover
• Copyright: 1990-12-01
• Publisher: Amer Mathematical Society

Summary

This book, the second volume in the new DIMACS book series, contains the proceedings of a workshop held in Princeton, New Jersey in October 1989. The workshop, which drew seventy-four participants from five countries, addressed a wide range of practical and theoretical questions arising in the overlap of distributed computation and cryptography. In addition to fifteen papers based on formal talks presented at the workshop, this volume also contains two contributed papers on related topics, and an extensive summary of informal discussions that took place during the workshop, including some open questions raised. The book requires basic background in computer science and either a familiarity with the notation and terminology of distributed computing and cryptography, or a willingness to do some background reading. Students, researchers, and engineers interested in the theoretical and practical aspects of distributed computing and cryptography will appreciate the overview the book provides of some of the major questions at the forefront of research in these areas.

Table of Contents

Open questions, talk abstracts, and summary of discussions

Formal definitions for secure distributed protocols

Perfect privacy for two-party protocols

On the structure of secret key exchange protocols

Privacy-enhanced electronic mail

Program result checking against adaptive programs and in cryptographic settings

The scope of a logic of authentication

Secure policy enforcement in internetworks

On expected polynomial time simulation of zero knowledge protocols

Cryptographic protection of databases and software

Secret bit transmission using a random deal of cards

Security against replay chosen-ciphertext attack

New directions in testing

Towards a theory of cryptographic systems: A critique of crypto-complexity

Feedback in discrete communication

On necessary conditions for secure distributed computation

Secure IX network

Reasoning about cryptographic protocols

Table of Contents provided by Publisher. All Rights Reserved.