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

by M Abadi, C Fournet
Venue:in POPL. ACM,