@Article{Shm04,
author={V. Shmatikov},
title={Probabilistic Model Checking of an Anonymity System},
journal={Journal of Computer Security},
year={2004},

volume={12},
number={3/4},
pages={355--377},
month={},
note={},
key={2004}
}