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

by A D Gordon, Jeffrey
Venue:Journal of Computer Security