Springer
E. Najm , not CWI et al
Lecture Notes in Computer Science
Formal Methods for Networked and Distributed Systems
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.