@inproceedings{LP14, author = {Y. Li and J. Pang}, title = {A strand space approach to provable anonymity}, booktitle = {Proc.\ 2nd Workshop on Formal Techniques for Safety-Critical Systems (FTSCS'13)}, publisher = {Springer-Verlag}, series = {Communications in Computer and Information Science}, year = {2014}, volume = {419}, pages = {71-87} }