Протокол электронного голосования основан на принципе слепых посредников – защита информации обеспечивается шифрованием разных частей разными ключами и её передачей разным получателям. В протоколе также используется схема разделения секрета Шамира (криптографическая схема распределения ключей шифрования) и криптосистема Пэйе.

«Безопасность протокола проверена различными верификаторами, в том числе Scyther, Avispa, SPIN», – отмечает Илья Писарев.

Изначально проект разрабатывался аспирантом в качестве дипломной работы. Тогда в основу протокола было положено 4 основных требования:

• – право на избрание (голосовать могут только те люди, которые представлены в списке для голосования)
• – честность (все голоса корректно подсчитаны)
• – индивидуальная и универсальная проверяемость (индивидуальная – голосующий может проверить, что его голос корректно учтен, универсальная – любой наблюдатель со стороны может проверить, что результат голосования корректный)
• – секретность голоса (никто не знает, как проголосовал пользователь)

Однако после получение грантов на разработку протокол был модифицирован для выполнения самых сложных задач. Он стал также отвечать требованиям «свободы от полученных данных» (любые остаточные данные системы не позволяют понять, как проголосовал пользователь) и «сопротивление принуждению» (любые воздействия на голосующего, в том числе видеосъёмка галочки в интерфейсе, за кого проголосовал пользователь, или любые остаточные данные не позволяют доказать, что пользователь в реальности проголосовал каким-либо образом).

Разработка ученых является простой в реализации и может найти практическое применение в любом электронном голосовании, требующим защиты информации.

Результаты проекта отражены в сборнике Международного конгресса по информационно-коммуникационным технологиям.

Автор: Даниил Скрягин