Types and effects for asymmetric cryptographic protocols.

Andrew D. Gordon Alan Jeffrey Types and effects for asymmetric cryptographic protocols. 435-483 2004 12 Journal of Computer Security 3-4 db/journals/jcs/jcs12.html#GordonJ04