On unifying some cryptographic protocol logics
We present a logic for analyzing cryptographic protocols. This logic encompasses a unification of four of its predecessors in the BAN family of logics, namely those given in [GNY90], [AT91], [vO93], and BAN itself [BAN89]. We also present a model-theoretic semantics with respect to which the logic is sound. The logic herein captures all of the desirable features of its predecessors and more; nonetheless, it accomplishes this with no more axioms or rules than the simplest of its predecessors.
|Conference||Proceedings of the 1994 IEEE Symposium on Research in Security and Privacy|
Syverson, Paul F. (Paul F.), & Van Oorschot, P. (1994). On unifying some cryptographic protocol logics. In Proceedings of the IEEE Computer Society Symposium on Research in Security and Privacy (pp. 14–28).