Static validation of security protocols (2005)

by Chiara Bodei, Mikael Buchholtz, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson
Venue:Journal of Computer Security