Tom Chothia Analysing the MUTE Anonymous File-Sharing System Using the Pi-Calculus. 115-130 2006 conf/forte/2006 FORTE http://dx.doi.org/10.1007/11888116_9 db/conf/forte/forte2006.html#Chothia06