Types and effects for asymmetric cryptographic protocols (2002)

by Andrew D Gordon, Alan Jeffrey
Venue:In Proceedings, 15th Computer Security Foundations Workshop. IEEE Computer