An Efficient Anonymity Analysis Algorithm
一种有效的匿名分析算法

Anonymity is the main approach to protect users' privacy. Currently researches mainly concentrate on the concrete anonymity schemes, but seldom concern how to evaluate the security of an anonymity mechanism. In this pa- per, a complete anonymity reasoning system is addressed that it relies on the closely relationship between anonymity and unlinkability. Based on the anonymity reasoning system, an anonymity analysis algorithm is designed, which it can find out the concealing anonymity exposure, can evaluate and analyze the security of the anonymous mechanism, and can help design a new anonymity protection scheme.