Role Interchangeability and Verification of Electronic Voting
Ken Mano, Yoshinobu Kawabe, Hideki Sakurada, Yasuyuki Tsukada · 2006
We propose a new information-hiding property called role interchangeability. We specify the property in multiagent systems, and describe its relationship with known anonymity and privacy properties. Then a method is presented to prove role interchangeability of a protocol described as an automaton. As a case study, we apply our method to the formal verification of the FOO electronic voting protocol.