Hide and New in the Pi-Calculus

  title={Hide and New in the Pi-Calculus},
  author={M. Giunti and C. Palamidessi and F. Valencia},
  • M. Giunti, C. Palamidessi, F. Valencia
  • Published in EXPRESS/SOS 2012
  • Computer Science
  • 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 representing confidentiality in a natural way. The hide operator is meant for local communication, and it differs from new in that it forbids the extrusion of the name and hence has a static scope. Consequently, a communication channel in the scope of a hide can be implemented as a dedicated channel, and it is more secure than… CONTINUE READING
    The Cπ-calculus: a Model for Confidential Name Passing
    Static Semantics of Secret Channel Abstractions
    • 2
    • PDF
    A calculus for modeling floating authorizations
    GoPi: Compiling Linear and Static Channels in Go
    • 1
    • PDF
    A Calculus for Modeling Floating Authorizations
    • 1
    • PDF
    A Typed Model for Dynamic Authorizations
    • 3
    • PDF


    Publications referenced by this paper.
    Just fast keying in the pi calculus
    • 150
    • PDF
    Secure implementations of typed channel abstractions
    • 39
    • PDF
    The security pi-calculus and non-interference
    • 39
    Secure Implementation of Channel Abstractions
    • 55
    • PDF
    Proof techniques for cryptographic processes
    • 130
    • PDF
    Mobile values, new names, and secure communication
    • 945
    • PDF
    Secrecy and Group Creation
    • 54
    • PDF
    Bisimulation in name-passing calculi without matching
    • 65
    • PDF
    On the Expressive Power of Polyadic Synchronisation in pi-calculus
    • 122
    • PDF
    A calculus for cryptographic protocols: the spi calculus
    • 1,491
    • PDF