Computational Secrecy by Typing for the pi Calculus (2006)

by M Abadi, R Corin, C Fournet
Venue:APLAS, Lecture Notes in Computer Science 4279