A Top-Down Look at a Secure Message

Cédric Fournet
Georges Gonthier
FSTTCS (1999), pp. 122-141

Abstract