TR-243: On Unifying Some Cryptographic Protocol Logics
杏吧原创 University
Technical Report TR-243
May 1994
On Unifying Some Cryptographic Protocol Logics
Paul F. Syverson & Paul C. van Oorschot
Abstract
We present a logic for analyzing cryptographic proto颅cols. 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 it颅self (BAN89]. We also present a model-theoretic se颅mantics 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.