Knowledge, Belief, and Semantics in the Analysis of Cryptographic Protocols
Paul F. Syverson · Journal of Computer Security · 1992
We resolve a debate over the appropriateness for cryptographic protocol analysis of formalisms representing knowledge vs. those representing belief by showing that they are equally adequate for protocol analysis on the logical level. We discuss the s