Oorschot. "A Unified Cryptographic Protocol Logic". Manuscript. (Preliminary versions of parts of this paper (1996)

by P F Syverson, P C van