On the security of mix-net with anonymity revocation

摘要

We study the security of Mix-net in the presence of anonymity revocation. For Mix-net, many have been discussed about users' anonymity and servers' correctness but their security sounds unclear if anonymity is revocable. In this paper, we give the security definitions of Mix-net in the presence of anonymity revocation and discuss their validity and robustness. Following the discussion, we focus on the scheme of Mix-net 3 presented in CSS2001 as a example, and consider the security of new one improving 3 to be revocable.