Analysing the MUTE Anonymous File-Sharing System Using the Pi-Calculus

DOI10.1007/11888116_9MaRDI QIDQ3613062zbMATH OpenOpenAlexFDO

Authors Tom Chothia

Publication date 11 March 2009

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

Full work available at URL https://doi.org/10.1007/11888116_9

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25) Distributed systems (68M14)

Recommendations

• scientific article; zbMATH DE number 1690176
• scientific article; zbMATH DE number 1962756
• A calculus for cryptographic protocols: The spi calculus
• scientific article; zbMATH DE number 2090930
• Measuring anonymity in P2P anonymous communication system

Cites work

• scientific article; zbMATH DE number 1689868 (Why is no real title available?)
• scientific article; zbMATH DE number 1690176 (Why is no real title available?)
• scientific article; zbMATH DE number 1512615 (Why is no real title available?)
• scientific article; zbMATH DE number 2087806 (Why is no real title available?)
• An introduction to the -calculus.
• CONCUR 2005 – Concurrency Theory
• Probable innocence revisited
• Programming Languages and Systems
• Weak probabilistic anonymity

Cited in

(4)

• A Framework for Automatically Checking Anonymity with μCRL
• A survey of symbolic methods for establishing equivalence-based properties in cryptographic protocols
• Probabilistic anonymity via coalgebraic simulations
• Formalizing provable anonymity in Isabelle/HOL

Describes a project that uses

Uses Software

• MWB
• PRISM

This page was built for publication: Analysing the MUTE Anonymous File-Sharing System Using the Pi-Calculus

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