Anonymous Formal methods

From SecurityForest

• Title: Group Principals and the Formalization of Anonymity

Description:

Author: Paul F. Syverson and Stuart G. Stubblebine.

Download: 1999syverson-fm99.pdf (http://chacs.nrl.navy.mil/publications/CHACS/1999/1999syverson-fm99.pdf)

Rated:

---

• Title: Information Hiding, Anonymity and Privacy

Description: A Modular Approach to Information Hiding, Anonymity and Privacy

Author: Dominic Hughes and Vitaly Shmatikov.

Download: shmat_anon.ps (http://www.csl.sri.com/users/shmat/shmat_anon.ps)

Rated:

---

• Title: Anonymity and Information Hiding in Multiagent Systems

Description:

Author: Joseph Y. Halpern and Kevin R. O'Neill.

Download: halpern-oneill-2003.pdf (http://freehaven.net/anonbib/cache/halpern-oneill-2003.pdf)

Rated:

---

• Title: Probabilistic Model Checking of an Anonymity System

Description: Uses formal methods to analyze probabilistic anonymity systems like Crowds. Confirms that anonymity degrades with a larger crowd: as N grows, the fact that the request came from you becomes more suspicious.

Author: Vitaly Shmatikov.

Download: shmat_crowds.ps (http://www.csl.sri.com/users/shmat/shmat_crowds.ps)

Rated: