|
[Shm04]
V. Shmatikov.
Probabilistic Model Checking of an Anonymity System.
Journal of Computer Security, 12(3/4), pages 355-377.
2004.
[bib]
http://www.cs.utexas.edu/~shmat/index.html
|
|
Downloads:
 bib
|
|
Available from:
http://www.cs.utexas.edu/~shmat/index.html
|