This review provides an overview of the current state of the field of anonymity research with particular reference to the formal specification of anonymity as a security property.
Full report : PDF 336K
@techreport(SS-YCS-389, author = "Joss Wright and Susan Stepney and John A. Clark and Jeremy Jacob", title = "Formalizing Anonymity: A Review", institution = "Department of Computer Science, University of York", number = "YCS-2005-389", month = jun, year = 2005 )