Hiding Names: Private Authentication in the Applied Pi Calculus

Cédric Fournet
ISSS (2002), pp. 317-338

Abstract