Paul Syverson, A Logic for the Analysis of Cryptographic Protocols
NRL Formal Report 9305, December 1990

<blockquote>
A corrected version of the logic and semantics from
"Formal Semantics for Logics of Cryptographic Protocols" is presented.
Also presented are soundness and completeness proofs for the logic.
</blockquote>