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

DOI10.1007/11888116_9zbMath1225.68038OpenAlexW1554214622MaRDI QIDQ3613062

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)

Related Items

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

Uses Software

• PRISM
• MWB

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Probable innocence revisited
• Weak Probabilistic Anonymity
• Programming Languages and Systems
• CONCUR 2005 – Concurrency Theory