Private authentication. (2004)

by M Abadi, C Fournet
Venue:Theor. Comput. Sci.,