scientific article; zbMATH DE number 1500645

zbMATH Open0983.94511MaRDI QIDQ4501667FDOQ4501667

Authors: Martín Abadi, Georges Gonthier, Cédric Fournet 

Publication date: 4 September 2000

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

Recommendations

• Cryptographically Sound Implementations for Communicating Processes
• Secure implementations of typed channel abstractions
• Secure implementation of channel abstractions
• A calculus for cryptographic protocols: The spi calculus
• Computational Secrecy by Typing for the Pi Calculus

zbMATH Keywords

cryptographic protocolscryptographic primitivesdesign of secure distributed implementationshigh-level process calculi

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25) Cryptography (94A60)

Cited In (7)

• Secure Enforcement for Global Process Specifications
• Relating Process Languages for Security and Communication Correctness (Extended Abstract)
• Secure implementations of typed channel abstractions
• Foundations of Security Analysis and Design II
• Secure implementation of channel abstractions
• Title not available (Why is that?)
• Cryptographically Sound Implementations for Communicating Processes

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 Q4501667)