2006
Analysing the Mute Anonymous File-Sharing System Using the pi-calculus
Publication
Publication
Presented at the
Formal Methods for Networked and Distributed Systems
Additional Metadata | |
---|---|
Springer | |
E. Najm , not CWI et al | |
Lecture Notes in Computer Science | |
Formal Methods for Networked and Distributed Systems | |
Organisation | Computer Security |
Chothia, T. (2006). Analysing the Mute Anonymous File-Sharing System Using the pi-calculus. In E. Najm & . not . CWI et al (Eds.), Lecture Notes in Computer Science. Springer. |
See Also |
---|