Jump to Content

Secure Implementation of Channel Abstractions

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

Abstract

Research Areas