Secure Implementation of Channel Abstractions

Cédric Fournet
Georges Gonthier
Inf. Comput., 174 (2002), pp. 37-83

Abstract