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 -calculus

Cited in

(9)

• Secrecy and group creation
• Abstract interpretation of mobile systems
• Secrecy types for asymmetric communication.
• A static analysis of cryptographic processes: the denotational approach
• Types for the ambient calculus
• Type-based information flow analysis for the \(\pi\)-calculus
• Hidden Group Structure
• Encoding distributed areas and local communication into the -calculus
• Automatic verification of security protocols in the symbolic model: the verifier ProVerif

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)