Showing papers on "Otway–Rees protocol published in 1984"
TL;DR: The method of projections is a new approach to reduce the complexity of analyzing nontrivial communication protocols by showing how to construct image protocols for each function.
Abstract: The method of projections is a new approach to reduce the complexity of analyzing nontrivial communication protocols. A protocol system consists of a network of protocol entities and communication channels. Protocol entities interact by exchanging messages through channels; messages in transit may be lost, duplicated as well as reordered. Our method is intended for protocols with several distinguishable functions. We show how to construct image protocols for each function. An image protocol is specified just like a real protocol. An image protocol system is said to be faithful if it preserves all safety and liveness properties of the original protocol system concerning the projected function. An image protocol is smaller than the original protocol and can typically be more easily analyzed. Two protocol examples are employed herein to illustrate our method. An application of this method to verify a version of the high-level data link control (HDLC) protocol is described in a companion paper.
244 citations
TL;DR: A new protocol for establishing secure communications over an insecure communications charmel in the absence of trusted third parties or authenticated keys is presented, which forces a potential eavesdropper to reveal his existence by modifying and seriously garbling the communication.
Abstract: We present a new protocol for establishing secure communications over an insecure communications charmel in the absence of trusted third parties or authenticated keys. The protocol is an improvement over the simpler protocol in which the communicating parties exchanged their public encryption keys and used them to encrypt messages. It forces a potential eavesdropper--if he wants to understand the messages--to reveal his existence by modifying and seriously garbling the communication.
162 citations