Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Secure Implementation of Channel Abstractions Martn Abadi #
 

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