Secure Implementation of Channel Abstractions

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

Abstract

Research Areas