The Design and Analysis of Cryptographic Protocols.

Richard A. DeMillo, Nancy A. Lynch, Michael Merritt

Browse the full CRYPTO paper archive.