The Cpi-calculus: a Model for Confidential Name Passing
Sharing confidential information in distributed systems is a necessity in many applications, however, it opens the problem of controlling information sharing even among trusted parties. In this paper, we present a formal model in which dissemination of information is disabled at the level of the syntax in a direct way. We introduce a subcalculi of the p-calculus in which channels are considered as confidential information. The only difference with respect to the pi-calculus is that channels once received cannot be forwarded later on. Another contribution of the model is that some privacy notions already studied in the past, such as group creation and name hiding, are directly representable without any additional language constructs. We also present an encoding of the pi-calculus in our calculus.
Sun 7 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
16:00 - 18:00 | |||
16:00 30mFull-paper | Value-Dependent Session Design in a Dependently Typed Language PLACES Jan de Muijnck-Hughes University of Glasgow, Edwin Brady University of St. Andrews, UK, Wim Vanderbauwhede University of Glasgow | ||
16:30 30mTalk | Fluid Types: Statically Verified Distributed Protocols with Refinements PLACES Fangyi Zhou Imperial College London, Francisco Ferreira Imperial College London, Rumyana Neykova Brunel University London, Nobuko Yoshida Imperial College London | ||
17:00 30mTalk | The Cpi-calculus: a Model for Confidential Name Passing PLACES Ivan Prokić University of Novi Sad | ||
17:30 5mDay closing | Closing remarks PLACES |