A Framework for the Study of Cryptographic Protocols.

Authors :: Goos, G.
Hartmanis, J.
Barstow, D.
Brauer, W.
Brinch Hansen, P.
Gries, D.
Luckham, D.
Moler, C.
Pnueli, A.
Seegmüller, G.
Stoer, J.
Wirth, N.
Williams, Hugh C.
Berger, Richard
Kannan, Sampath
Peralta, René
Source :: Advances in Cryptology - CRYPTO -- 85 Proceedings; 1986, p87-103, 17p
Publication Year :: 1986
Abstract: We develop a simple model of computation under which to study the meaning of cryptographic protocol and security. We define a protocol as a mathematical object and security as a possible property of this object. Having formalized the concept of a secure protocol we study its general properties. We back up our contention that the model is reasonable by solving some well known cryptography problems within the framework of the model. [ABSTRACT FROM AUTHOR]