Name
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. |
Year | DOI | Venue |
|---|---|---|
1999 | 10.1109/SECPRI.1999.766719 | PROCEEDINGS OF THE 1999 IEEE SYMPOSIUM ON SECURITY AND PRIVACY |
Keywords | Field | DocType |
process algebra,cryptography,machinery,process calculus,remote procedure call,cryptographic protocols,calculus,algorithm design and analysis,secure communication,distributed computing,distributed programming,rpc,marshaling | Remote procedure call,Algorithm design,Cryptographic protocol,Computer security,Computer science,Cryptography,Marshalling,Security properties,Process calculus,Distributed computing | Conference |
ISSN | Citations | PageRank |
1081-6011 | 6 | 0.66 |
References | Authors | |
17 | 3 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Martín Abadi | 1 | 12074 | 1324.31 |
| Cédric Fournet | 2 | 3698 | 213.79 |
| Georges Gonthier | 3 | 2275 | 195.06 |