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

Tom Chothia, E Najm, J-F Pradat-Peyre, VV Donzeau-Gouge

Research output: Contribution to conference (unpublished)Paper

18 Citations (Scopus)
Original languageEnglish
Pages115-130
Number of pages16
DOIs
Publication statusPublished - 1 Sept 2006
EventProceedings of 26th International Conference on Formal Techniques for Networked and Distributed Systems (FORTE 2006), Paris, France, September 26-29, 2006 -
Duration: 1 Sept 2006 → …

Conference

ConferenceProceedings of 26th International Conference on Formal Techniques for Networked and Distributed Systems (FORTE 2006), Paris, France, September 26-29, 2006
Period1/09/06 → …

Cite this