В этом протоколе также используется ANDOS [1175]. Он удовлетворяет всем шести требованиям хорошего протокола голосования. Он не удовлетворяет седьмому требованию, но обладает двумя свойствами, дополня тощими перечисленные в начале раздела шесть свойств :
7. Избиратель может изменить свое мнение (т.е., аннулировать свой бюллетень и проголосовать заново) в течение заданного периода времени.
8. Если избиратель обнаруживает, что его бюллетень посчитан неправильно, он может установить и и с-править проблему, не рискуя безопасностью своего бюллетеня .
Вот этот протокол:
(1) ЦИК публикует список всех правомочных избирателей .
(2) В течение определенного срока каждый избиратель сообщает в ЦИК, собирается ли он голосовать .
(3) ЦИК публикует список избирателей, участвующих в выборах .
(4) Каждый избиратель получает идентификационный номер, /, с помощью протокола ANDOS.
(5) Каждый избиратель генерирует пару открытый ключ/закрытый ключ : к, d. If Если v - это бюллетень, то избиратель создает и посылает в ЦИК следующее сообщение :
I,Ek(I, v)
Это сообщение должно быть послано анонимно.
(6) ЦИК подтверждает получение бюллетеня, публикуя: Ek(I, v)
(7) Каждый избиратель посылает ЦИК: I, d
(8) ЦИК расшифровывает бюллетени. В конце выборов она публикует их результаты и, для каждого варианта выбора, список соответствующий значений Ek(I, v).
(9) Если избиратель обнаруживает, что его бюллетень подсчитан неправильно, он протестует, посылая ЦИК : /, Ek(I, v), d
(10) Если избиратель хочет изменить свой бюллетень с v на v', он посылает ЦИК: