Summary: Secure Implementation of Channel Abstractions
Mart��n Abadi #
abadi@research.bell�labs.com
Bell Labs Research
Lucent Technologies
C�edric Fournet
fournet@microsoft.com
Microsoft Research
Georges Gonthier +
Georges.Gonthier@inria.fr
INRIA Rocquencourt
September 27, 2000
Abstract
Communication in distributed systems often relies on useful abstrac�
tions such as channels, remote procedure calls, and remote method invo�
cations. The implementations of these abstractions sometimes provide se�
curity properties, in particular through encryption. In this paper we study
those security properties, focusing on channel abstractions. We introduce
a simple high�level language that includes constructs for creating and us�
ing secure channels. The language is a variant of the join�calculus and

Source: Abadi, Mart�n - Department of Computer Science, University of California at Santa Cruz

Collections: Computer Technologies and Information Sciences