Oorschot, "On Unifying Some Cryptographic Protocol Logics (1994)

by P Syverson, P C van
Venue:in Proc of 1994 IEEE Computer Society Symposium on Security and Privacy