Secure communications processing for distributed languages

Author

Avadi, M. ; Fournet, Cédric ; Gonthier, G.

fYear

1999

fDate

1999

Firstpage

74

Lastpage

88

Abstract

Communications processing is an important part of distributed language systems with facilities such as RPC (remote procedure call) and RMI (remote method invocation). For security, messages may require cryptographic operations in addition to ordinary marshaling. We investigate a method for wrapping communications processing around an entity with secure local communication, such as a single machine or a protected network. The wrapping extends security properties of local communication to distributed communication. We formulate and analyze the method within a process calculus

Keywords

cryptography; distributed programming; parallel languages; process algebra; RMI; RPC; cryptographic operations; distributed communication; distributed languages; local communication; marshaling; process calculus; protected network; remote method invocation; remote procedure call; secure communications processing; secure local communication; security properties; wrapping; Algorithm design and analysis; Calculus; Communication system security; Cryptographic protocols; Cryptography; Distributed computing; Machinery; Mechanical factors; Protection; Wrapping;

fLanguage

English

Publisher

ieee

Conference_Titel

Security and Privacy, 1999. Proceedings of the 1999 IEEE Symposium on

Conference_Location

Oakland, CA

ISSN

1081-6011

Print_ISBN

0-7695-0176-1

Type

conf

DOI

10.1109/SECPRI.1999.766719

Filename

766719