scientific article; zbMATH DE number 1759623

MaRDI QIDQ4536614zbMATH OpenFDO

Authors Luca Cardelli, Andrew D. Gordon, G. Ghelli

Publication date 25 June 2002

Mathematics Subject Classification ID

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

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

Cited in

(9)

• Type-based information flow analysis for the \(\pi\)-calculus
• Automatic verification of security protocols in the symbolic model: the verifier ProVerif
• Types for the ambient calculus
• Encoding distributed areas and local communication into the \(\pi \)-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

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)