Hide and New in the Pi-Calculus

Marco Giunti, Catuscia Palamidessi, Frank D. Valencia

In this paper, we enrich the pi-calculus with an operator for confidentiality (hide), whose main effect is to restrict the access to the object of the communication, thus represent…