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

by M Abadi, C Fournet
Venue:in: 28th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL