DeepAI AI Chat
Log In Sign Up

The C_π-calculus: a Model for Confidential Name Passing

02/26/2019
by   Ivan Prokic, et al.
0

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 π-calculus in which channels are considered as confidential information. The only difference with respect to the π-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 π-calculus in our calculus.

READ FULL TEXT

page 1

page 2

page 3

page 4

03/15/2018

Tracing sharing in an imperative pure calculus

We introduce a type and effect system, for an imperative object calculus...
02/16/2018

A Calculus for Modeling Floating Authorizations

Controlling resource usage in distributed systems is a challenging task ...
10/17/2017

Privacy by typing in the π-calculus

In this paper we propose a formal framework for studying privacy in info...
03/15/2018

Tracing sharing in an imperative pure calculus (Extended Version)

We introduce a type and effect system, for an imperative object calculus...
04/16/2018

Trees from Functions as Processes

Levy-Longo Trees and Bohm Trees are the best known tree structures on th...
08/27/2018

On the Distributability of Mobile Ambients

Modern society is dependent on distributed software systems and to verif...
08/05/2018

On the Distributability of Mobile Ambients (Technical Report)

Modern society is dependent on distributed software systems and to verif...