Mobile values, new names, and secure communication (2001)

by M Abadi, C Fournet
Venue:In Proc. POPL'01