DocumentCode :
2828849
Title :
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
Link To Document :
بازگشت