A top-down look at a secure message

DOI10.1007/3-540-46691-6_10MaRDI QIDQ4501667zbMATH OpenFDO

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

Publication date 4 September 2000

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-46691-6_10

zbMATH Keywords

cryptographic primitivescryptographic protocolsdesign 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 implementation of channel abstractions
• Secure Enforcement for Global Process Specifications
• Secure implementations of typed channel abstractions
• Cryptographically Sound Implementations for Communicating Processes
• scientific article; zbMATH DE number 1956551 (Why is no real title available?)
• Relating Process Languages for Security and Communication Correctness (Extended Abstract)
• Foundations of Security Analysis and Design II

This page was built for publication: A top-down look at a secure message

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