Abstract | ||
---|---|---|
Distributed applications can be structured using sessions that specify flows of messages between roles. We design a small specific language to declare sessions. We then build a compiler, called s2ml, that transforms these declarations down to ML modules securely implementing the sessions. Every run of a well-typed program executing a session through its generated module is guaranteed to follow the session specification, despite any low-level attempt by coalitions of remote peers to deviate from their roles. We detail the inner workings of our compiler, along with our design choices, and illustrate the usage of s2ml with two examples: a simple remote procedure call session, and a complex session for a conference management system. |
Year | Venue | Keywords |
---|---|---|
2007 | TGC | protocol compiler,session specification,inner working,secure session,simple remote procedure call,small specific language,design choice,complex session,conference management system,low-level attempt,well-typed program,remote peer,remote procedure call,management system,distributed application,specification language |
Field | DocType | Volume |
Remote procedure call,Programming language,Cryptographic protocol,Computer science,Compiler,Conference management | Conference | 4912 |
ISSN | ISBN | Citations |
0302-9743 | 3-540-78662-7 | 5 |
PageRank | References | Authors |
0.46 | 16 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Ricardo Corin | 1 | 406 | 21.69 |
pierremalo denielou | 2 | 270 | 12.11 |