Secure Communications Processing for Distributed Languages

  title={Secure Communications Processing for Distributed Languages},
  author={Mart{\'i}n Abadi and C{\'e}dric Fournet and Georges Gonthier},
  booktitle={IEEE Symposium on Security and Privacy},
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… CONTINUE READING
Highly Cited
This paper has 34 citations. REVIEW CITATIONS