Authenticity by typing for security protocols (0)

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