Title :
Secure communications processing for distributed languages
Author :
Avadi, M. ; Fournet, Cédric ; Gonthier, G.
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;
Conference_Titel :
Security and Privacy, 1999. Proceedings of the 1999 IEEE Symposium on
Conference_Location :
Oakland, CA
Print_ISBN :
0-7695-0176-1
DOI :
10.1109/SECPRI.1999.766719