Joss Wright, Susan Stepney, John A. Clark, Jeremy Jacob.
Formalizing Anonymity: A Review .

Technical Report YCS-2005-389, University of York. June 2005.

Abstract:

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.

@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
)