Name
Abstract | ||
|---|---|---|
Distributed applications can be structured as parties that exchange messages according to some pre-arranged communication patterns. These sessions (or contracts, or protocols) simplify distributed programming: when coding a role for a given session, each party just has to follow the intended message flow, under the assumption that the other parties are also compliant. In an adversarial setting, remote parties may not be trusted to play their role. Hence, defensive implementations also have to monitor one another, in order to detect any deviation from the assigned roles of a session. This task involves low-level coding below session abstractions, thus giving up most of their benefits. We explore language-based support for sessions. We extend the ML language with session types that express flows of messages between roles, such that well-typed programs always play their roles. We compile session type declarations to cryptographic communication protocols that can shield programs from any low-level attempt by coalitions of remote peers to deviate from their roles. Our main result is that, when reasoning about programs that use our session implementation, one can safely assume that all session peers comply with their roles--without trusting their remote implementations. |
Year | DOI | Venue |
|---|---|---|
2007 | 10.1109/CSF.2007.29 | Venice |
Keywords | Field | DocType |
session type declaration,secure implementations,communication protocol,session peer,session implementation,remote implementation,typed session abstractions,session abstraction,assigned role,remote party,session type,remote peer,authentication,distributed programming,cryptography,distributed application,payloads,cryptographic protocols,remote monitoring,programming languages | Authentication,Cryptographic protocol,Computer science,Computer security,Cryptography,Coding (social sciences),Implementation,Compiler,Session ID,Distributed computing,Communications protocol | Conference |
ISSN | ISBN | Citations |
1940-1434 | 0-7695-2819-8 | 29 |
PageRank | References | Authors |
1.55 | 25 | 5 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Ricardo Corin | 1 | 406 | 21.69 |
| pierremalo denielou | 2 | 270 | 12.11 |
| Cédric Fournet | 3 | 3698 | 213.79 |
| Karthikeyan Bhargavan | 4 | 1325 | 76.07 |
| James Leifer | 5 | 44 | 2.20 |