scientific article; zbMATH DE number 1759623

zbMATH Open0999.68148MaRDI QIDQ4536614FDOQ4536614

G. Ghelli, Andrew D. Gordon, Luca Cardelli

Publication date: 25 June 2002

Title of this publication is not available (Why is that?)

Recommendations

• Secrecy and group creation
• Computational Secrecy by Typing for the Pi Calculus
• CONCUR 2005 – Concurrency Theory
• scientific article; zbMATH DE number 1759481
• Hide and new in the \(\pi\)-calculus

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited In (9)

• Type-based information flow analysis for the \(\pi\)-calculus
• Types for the ambient calculus
• Secrecy and group creation
• Secrecy types for asymmetric communication.
• Abstract interpretation of mobile systems
• A static analysis of cryptographic processes: the denotational approach
• Hidden Group Structure
• Automatic Verification of Security Protocols in the Symbolic Model: The Verifier ProVerif
• Encoding Distributed Areas and Local Communication into the π-Calculus

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4536614)