scientific article; zbMATH DE number 1962756

MaRDI QIDQ4418586zbMATH OpenFDO

Authors Martín Abadi, Cédric Fournet

Publication date 11 August 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2609/26090317.htm

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25) Authentication, digital signatures and secret sharing (94A62)

Recommendations

• Private authentication
• Primitives for authentication in process algebras.
• A calculus for cryptographic protocols: The spi calculus
• The Applied Pi Calculus
• scientific article; zbMATH DE number 2090928

Cited in

(8)

• Primitives for authentication in process algebras.
• Private authentication
• Models and emerging trends of concurrent constraint programming
• The Applied Pi Calculus
• Analysing the MUTE Anonymous File-Sharing System Using the Pi-Calculus
• scientific article; zbMATH DE number 2090928 (Why is no real title available?)
• Hide and new in the -calculus
• A pure labeled transition semantics for the applied pi calculus

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