Knowledge, Belief, and Semantics in the Analysis of Cryptographic Protocols
- 1 October 1992
- journal article
- Published by SAGE Publications in Journal of Computer Security
- Vol. 1 (3-4) , 317-334
- https://doi.org/10.3233/jcs-1992-13-407
Abstract
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 sKeywords
This publication has 0 references indexed in Scilit: