Computational Secrecy by Typing for the Pi Calculus

DOI10.1007/11924661_16MaRDI QIDQ5385600zbMATH OpenOpenAlexFDO

Authors Martín Abadi, Ricardo Corin, Cédric Fournet

Publication date 6 May 2008

Published in Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11924661_16

Mathematics Subject Classification ID

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

Recommendations

• CONCUR 2005 – Concurrency Theory
• Secrecy by typing in security protocols
• Cryptographically Sound Implementations for Communicating Processes
• Secrecy types for asymmetric communication.
• scientific article; zbMATH DE number 1701344

Cited in

(11)

• Secrecy types for asymmetric communication.
• Linked data privacy
• Non-termination and secure information flow
• Secure implementations of typed channel abstractions
• Cryptographically Sound Implementations for Communicating Processes
• scientific article; zbMATH DE number 1500645 (Why is no real title available?)
• scientific article; zbMATH DE number 1759623 (Why is no real title available?)
• Towards Secrecy for Rewriting in Weakly Adhesive Categories
• A survey of symbolic methods in computational analysis of cryptographic systems
• Computationally Sound Typing for Non-interference: The Case of Deterministic Encryption
• CONCUR 2005 – Concurrency Theory

This page was built for publication: Computational Secrecy by Typing for the Pi Calculus

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