Showing papers on "Otway–Rees protocol published in 1985"
18 Aug 1985
TL;DR: A simple model of computation under which to study the meaning of cryptographic protocol and security is developed and back up its contention that the model is reasonable by solving some well known cryptography problems within the framework of the model.
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.
20 citations