Secure Communications Processing for Distributed Languages

Cédric Fournet
Georges Gonthier
IEEE Symposium on Security and Privacy(1999), pp. 74-88

Abstract

Research Areas