scientific article; zbMATH DE number 1500645

MaRDI QIDQ4501667zbMATH OpenFDO

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

Publication date 4 September 2000

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)

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

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
• Secure implementation of channel abstractions
• Foundations of Security Analysis and Design II
• scientific article; zbMATH DE number 1956551 (Why is no real title available?)
• 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)