2011 年 3 巻 p. 97-100
Anonymity is an important security requirement for protocols such as voting schemes. It is often guaranteed by using anonymous channels such as mixnets. In this paper, we present a technique for automatically verifying the anonymity of protocols that use anonymous channels by using Proverif, a tool for the automatic verification of security protocols. We use this technique to verify the voting scheme developed by Fujioka, Okamoto, and Ohta.