On the secure implementation of security protocols (2004)

by Pablo Giambiagi, Mads Dam
Venue:Sci. Comput. Program