A.: Authenticity by typing for security protocols (2003)

by A Gordon, Jeffrey
Venue:Journal of Computer Security