Mobile values, new names, and secure communication

Cédric Fournet
POPL (2001), pp. 104-115

Abstract