Types and effects for asymmetric cryptographic protocols (2002)

by A Gordon, A Jeffrey
Venue:In 15th IEEE Computer Security Foundations Workshop (CSFW 15), Cape Breton