@inproceedings{LP11, author = {Y. Li and J. Pang}, title = {An inductive approach to provable anonymity}, booktitle = {Proc.\ 6th Conference on Availability, Reliability and Security (ARES'11)}, publisher = {IEEE Computer Society}, year = {2011}, pages = {454--459}, url = {http://satoss.uni.lu/members/jun/papers/FARES11.pdf} }