DMCA

Analysing the Mute Anonymous File-Sharing System Using the Pi-calculus, in "26th IFIP WG 6.1 international conference on formal techniques for networked and distributed systems (2006)

by Tom Chothia
Venue:Lecture Notes in Computer Science, n o 4229
Citations:9 - 3 self