Analysing unlinkability and anonymity using the applied pi calculus (2010)

by M Arapinis, T Chothia, E Ritter, M D Ryan
Venue:In Proc. 23rd Computer Security Foundations Symposium (CSF’10