Hiding names: Private authentication in the applied pi calculus (2003)

by C Fournet, M Abadi
Venue:In Symp. on Software Security, volume LNCS 2609