Paul F. Syverson and Paul C. van Oorschot,
``On Unifying Some Cryptographic Protocol Logics,''
Proceedings of the 1994 IEEE Computer Society Symposium
on Research in Security and Privacy Oakland CA May 1994
IEEE CS Press (Los Alamitos, 1994)
<a href="1994syverson-sp.ps">
 PostScript</a>

<blockquote>
 We present a logic for analyzing cryptographic protocols. This logic
encompasses a unification of four of its predecessors in the BAN family of
logics including BAN itself. 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.
</blockquote>